Cosmic Space¶

A regular topological space with a countable family of subsets refining every open neighborhood.

Version: v1 · 2026-10-17 · History
Domain-specific #: 14109
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: General Topology → Mathematics

Core Idea¶

In Michael's original usage, a cosmic space is a regular topological space with a countable network. A network is a family of subsets that refines every open neighborhood: for each point x in an open U, some member N contains x and lies inside U. The members need not be open. For a regular target, the same property is equivalent to being a continuous image of a separable metric space; regularity cannot be omitted from this named-type statement.[^{ref-846cde22b420][}ref-50dfafa02a6e]

Use Within the Domain¶

General topology uses cosmicity to distinguish a countable network from the stronger requirement of a countable open base. The ordinary real line qualifies by its rational-endpoint open intervals. Michael constructed a more revealing example by changing the topology of a plane: he proved the result cosmic but not a k-space and hence not metrizable. Cosmic spaces therefore reach beyond the separable metric spaces that supply their image witnesses.[^ref-846cde22b420]

Clarity¶

Ask whether the proposed space is regular and whether one countable family refines every point-in-open-neighborhood pair. A countable cover alone is insufficient. If the proof uses a continuous map from a separable metric space, also verify regularity of the image. A network set need not itself be an open neighborhood, so the cosmic label does not license every argument that needs a countable base.[^{ref-846cde22b420][}ref-50dfafa02a6e]

Manages Complexity¶

The network compresses many open-neighborhood checks into one countable family of subsets. Alternatively, a regular space may be recognized through a separable metric source and continuous surjection. Michael uses that route for his modified plane rather than listing a network member by member. Neither route claims the target itself is metrizable.[^ref-846cde22b420]

Abstract Reasoning¶

To show cosmicity, exhibit regularity and a countable network, or a continuous surjection from a separable metric source onto a regular target. To disprove an overstrong inference, compare Michael's cosmic non-k-space: because every metric space is a k-space, cosmicity does not imply metrizability. The example also reminds the reader that a countable network and a countable open base answer different theorem premises.[^{ref-846cde22b420][}ref-50dfafa02a6e]

Knowledge Transfer¶

The same membership test applies to a familiar metric space and a specially constructed nonmetric space. What transfers is the regularity-plus-network relation, not the real line's metric or Michael's construction details. The live Topological Space node is the reviewed broader parent; the graph-theoretic Network Prime is a different identity despite the shared word.[^ref-846cde22b420]

Example¶

For the usual real line, the rational-endpoint intervals form a countable open base and therefore a network. Mapped back: the real line is the regular carrier, the intervals are the countable family, and for every x inside open U one such interval fits between x and U. This is an elementary deduction from the definition, not a worked example attributed to Michael. His modified plane supplies the unlike original nonmetrizable case.[^ref-846cde22b420]

Relationships to Other Abstractions¶

Current abstraction Cosmic Space Domain-specific

Parents (1) — more general patterns this builds on

Cosmic Space is a kind of Topological Space Domain-specific

A cosmic space is a topological space with regularity and a countable network.

Hierarchy paths (5) — routes to 3 parentless roots

Cosmic Space → Topological Space → Closure

Show alternative paths (4)

Neighborhood in Abstraction Space¶

Cosmic Space sits in a sparse region of the domain-specific corpus (66^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Topological Vector Spaces (10 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-17

Not to Be Confused With¶

Second-countable space: requires a countable open base; a cosmic space needs only a countable network of subsets.
Separable metric space: is cosmic, but Michael's modified plane shows the converse fails.
Arbitrary continuous metric image: the original cosmic characterization is stated for a regular target.
Graph network: concerns vertices and connections, not a family refining topological neighborhoods.[^{ref-846cde22b420][}ref-50dfafa02a6e]

References¶

[^ref-846cde22b420]: Ernest A. Michael, “On k-Spaces, kR-Spaces and k(X),” Pacific Journal of Mathematics 47, no. 2 (1973): 487–498, especially p. 487 and Example 1.1 with Lemmas 3.1 and 3.8, pp. 489–491. https://msp.org/pjm/1973/47-2/pjm-v47-n2-p16-p.pdf [^ref-50dfafa02a6e]: Thomas W. Rishel, “Nice Spaces, Nice Maps” (printed title uses a semicolon), in General Topology and Its Relations to Modern Analysis and Algebra: Proceedings of the Third Prague Topological Symposium (1972), 375–383, Definition 4.6 and Theorem 4.7 on p. 381. https://dml.cz/bitstream/handle/10338.dmlcz/700765/Toposym_03-1971-1_80.pdf