Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme
Group

General Topology

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.

Browse By
General Topology
Filter Results5 entries
Sources
Tychonoff's Theorem (Wikipedia)
Wikimedia FoundationHas Member: Tychonoff's Theorem, Lead paragraph
Quote, 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 paragraph
Quote, 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 paragraph
Quote, 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 paragraph
Quote, 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 paragraph
Quote, 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
Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.