Tychonoff space
E898481
A Tychonoff space is a topological space that is both completely regular and Hausdorff, forming a central class in general topology with strong separation and embedding properties.
All labels observed (4)
| Label | Occurrences |
|---|---|
| Tychonoff space canonical | 2 |
| Tikhonov space | 1 |
| Tychonoff separation axiom T3.5 | 1 |
| Tychonoff spaces | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T10991579 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Tychonoff space Context triple: [Hausdorff space, isWeakerThan, Tychonoff space]
-
A.
Lindelöf space
A Lindelöf space is a topological space in which every open cover has a countable subcover, generalizing a key compactness property.
-
B.
Tychonoff theorem for products of compact spaces
The Tychonoff theorem for products of compact spaces is a fundamental result in topology stating that any product of compact topological spaces is compact, a statement that is equivalent in strength to the axiom of choice.
-
C.
Stone–Čech compactification
The Stone–Čech compactification is a construction in topology that associates to any topological space a universal, maximally extensive compact Hausdorff space into which it densely embeds.
-
D.
Alexandrov–Hausdorff theorem
The Alexandrov–Hausdorff theorem is a result in descriptive set theory that characterizes analytic sets as continuous images of Baire space, playing a key role in the study of definable sets in Polish spaces.
-
E.
Freudenthal compactification
The Freudenthal compactification is a topological construction that extends a non-compact, locally compact space by adding a boundary of “ends” to obtain a compact space that more finely captures its asymptotic structure than the one-point (Alexandrov) compactification.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Tychonoff space Target entity description: A Tychonoff space is a topological space that is both completely regular and Hausdorff, forming a central class in general topology with strong separation and embedding properties.
-
A.
Lindelöf space
A Lindelöf space is a topological space in which every open cover has a countable subcover, generalizing a key compactness property.
-
B.
Tychonoff theorem for products of compact spaces
The Tychonoff theorem for products of compact spaces is a fundamental result in topology stating that any product of compact topological spaces is compact, a statement that is equivalent in strength to the axiom of choice.
-
C.
Stone–Čech compactification
The Stone–Čech compactification is a construction in topology that associates to any topological space a universal, maximally extensive compact Hausdorff space into which it densely embeds.
-
D.
Alexandrov–Hausdorff theorem
The Alexandrov–Hausdorff theorem is a result in descriptive set theory that characterizes analytic sets as continuous images of Baire space, playing a key role in the study of definable sets in Polish spaces.
-
E.
Freudenthal compactification
The Freudenthal compactification is a topological construction that extends a non-compact, locally compact space by adding a boundary of “ends” to obtain a compact space that more finely captures its asymptotic structure than the one-point (Alexandrov) compactification.
- F. None of above. chosen
Statements (46)
| Predicate | Object |
|---|---|
| instanceOf |
separation axiom
ⓘ
topological space property ⓘ |
| alsoKnownAs |
Tikhonov space
ⓘ
linked to:
Tychonoff space
completely regular Hausdorff space ⓘ |
| characterizedBy |
admits a topological embedding into a product of copies of the real line R
ⓘ
admits a topological embedding into a product of unit intervals [0,1] ⓘ for every closed set F and point x not in F there exists a continuous f:X→[0,1] with f(x)=0 and f(F)={1} ⓘ points and closed sets can be separated by continuous real-valued functions ⓘ |
| closedUnder |
taking continuous images that are Hausdorff
ⓘ
taking products ⓘ taking subspaces ⓘ taking sums (topological disjoint unions) ⓘ |
| definedAs | a topological space that is both completely regular and Hausdorff ⓘ |
| everySpaceHas | a Stone–Čech compactification if and only if it is Tychonoff ⓘ |
| generalizes | metric space separation properties ⓘ |
| hasAssociatedConstruction | Stone–Čech compactification ⓘ |
| hasConsequence |
continuous real-valued functions separate points from closed sets
ⓘ
the topology is determined by its ring of continuous real-valued functions C(X) ⓘ |
| hasHistoricalNote |
the separation axiom T3.5 is often identified with being Tychonoff
ⓘ
the term Tikhonov space is common in Russian and some European literature ⓘ |
| hasProperty |
Hausdorff
ⓘ
Tychonoff separation axiom T3.5 ⓘ
linked to:
Tychonoff space
completely regular ⓘ |
| implies |
Hausdorff space
ⓘ
Kolmogorov space ⓘ
linked to:
Kolmogorov space (T0 space)
T1 space ⓘ completely regular space ⓘ regular space ⓘ |
| isImpliedBy |
Polish space
ⓘ
compact Hausdorff space ⓘ completely metrizable space ⓘ locally compact Hausdorff space ⓘ metric space ⓘ normal completely regular Hausdorff space ⓘ normed vector space with its norm topology ⓘ topological manifold ⓘ |
| namedAfter | Andrey Tychonoff ⓘ |
| playsCentralRoleIn |
the representation of spaces as subspaces of cubes [0,1]^I
ⓘ
the theory of compactifications ⓘ |
| relatedTo |
Tietze extension theorem
ⓘ
Tychonoff product theorem ⓘ Urysohn lemma ⓘ |
| usedIn |
functional analysis
ⓘ
general topology ⓘ measure theory ⓘ topological algebra ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Tychonoff space Description of subject: A Tychonoff space is a topological space that is both completely regular and Hausdorff, forming a central class in general topology with strong separation and embedding properties.
Referenced by (5)
Full triples — surface form annotated when it differs from this entity's canonical label.