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: Statements Referenced by

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 ⓘ

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 ⓘ

subject surface form: Hausdorff space