This group gathers theorems from general topology, also called point-set topology, the study of open sets, continuity, compactness, and separation in abstract topological spaces. It covers Tychonoff's theorem that any product of compact spaces is compact, Urysohn's lemma and the Tietze extension theorem on separating closed sets and extending continuous functions, the metrization theorems of Urysohn and of Nagata and Smirnov that say when a space can be given a metric, and Cantor's intersection theorem on nested compact sets.
All General Topology
Filter Results5 entries
Sources
Tychonoff's Theorem (Wikipedia)
Wikimedia FoundationHas Member: Tychonoff's Theorem, Lead paragraphQuote, Has Member: Tychonoff's Theorem, Lead paragraph
In mathematics, Tychonoff's theorem states that the product of any collection of compact topological spaces is compact with respect to the product topology.
View the Source Urysohn's Lemma (Wikipedia)
Wikimedia FoundationHas Member: Urysohn's Lemma, Lead paragraphQuote, Has Member: Urysohn's Lemma, Lead paragraph
In topology, Urysohn's lemma is a lemma that states that a topological space is normal if and only if any two disjoint closed subsets can be separated by a continuous function.
View the Source Tietze Extension Theorem (Wikipedia)
Wikimedia FoundationHas Member: Tietze Extension Theorem, Lead paragraphQuote, Has Member: Tietze Extension Theorem, Lead paragraph
In topology, the Tietze extension theorem (also known as the Tietze-Urysohn-Brouwer extension theorem or Urysohn-Brouwer lemma) states that any real-valued, continuous function on a closed subset of a normal topological space can be extended to the entire space, preserving boundedness if necessary.
View the Source Nagata-Smirnov metrization theorem, Wikipedia
Has Member: Nagata-Smirnov Metrization Theorem, Lead paragraphQuote, Has Member: Nagata-Smirnov Metrization Theorem, Lead paragraph
In topology, the Nagata-Smirnov metrization theorem characterizes when a topological space is metrizable.
View the Source Cantor's Intersection Theorem (Wikipedia)
Wikimedia FoundationHas Member: Cantor's Intersection Theorem, Lead paragraphQuote, Has Member: Cantor's Intersection Theorem, Lead paragraph
Cantor's intersection theorem, also called Cantor's nested intervals theorem, refers to two closely related theorems in general topology and real analysis, named after Georg Cantor, about intersections of decreasing nested sequences of non-empty compact sets.
View the Source Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.