Tychonoff space

E898481

separation axiom topological space property

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.

Try in SPARQL Jump to: Surface forms Disambiguation Statements Elicitation Referenced by

All labels observed (1)

Label	Occurrences
Tychonoff space canonical	2

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 NERFINISHED ⓘ 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 NERFINISHED ⓘ
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 NERFINISHED ⓘ Tychonoff separation axiom T3.5 NERFINISHED ⓘ completely regular ⓘ
implies	Hausdorff space ⓘ Kolmogorov space NERFINISHED ⓘ 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 NERFINISHED ⓘ
playsCentralRoleIn	the representation of spaces as subspaces of cubes [0,1]^I ⓘ the theory of compactifications ⓘ
relatedTo	Tietze extension theorem NERFINISHED ⓘ Tychonoff product theorem NERFINISHED ⓘ Urysohn lemma NERFINISHED ⓘ
usedIn	functional analysis ⓘ general topology ⓘ measure theory ⓘ topological algebra ⓘ

How these facts were elicited

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Hausdorff → isWeakerThan → Tychonoff space ⓘ

subject surface form: Hausdorff space

Hausdorff → relatedConcept → Tychonoff space ⓘ