jaj•a•person's notes
Search
Search
Dark mode
Light mode
Explorer
Tag: m/thm/topology
See
Topology MOC.
43 items with this tag.
A bijection is open iff it is closed
public
m/thm/topology
state/tidy
lang/en
sembr
A continuous bijection from compact to Hausdorff is a homeomorphism
public
m/thm/topology
state/tidy
lang/en
sembr
A map is a homeomorphism iff it is bijective, continuous, and open
public
m/thm/topology
state/tidy
lang/en
sembr
A topological space is discrete iff every point is its own connected component
public
m/thm/topology
state/tidy
lang/en
sembr
Alexander subbasis theorem
public
m/thm/topology
state/tidy
lang/en
sembr
Artin braid group
public
m/thm/topology
missing/proof
state/develop
lang/en
sembr
Borsuk-Ulam theorem
public
m/thm/topology
missing/proof
state/develop
lang/en
sembr
Brouwer's fixed point theorem
public
m/thm/topology
missing/proof
state/develop
lang/en
lang/de
sembr
Canonical projections are open
public
m/thm/topology
state/tidy
lang/en
sembr
Cardinality of a topology
public
m/thm/topology
state/develop
lang/en
sembr
Closed subsets of a compact space are compact
public
m/thm/topology
state/tidy
lang/en
sembr
Compact subsets of a Hausdorff space are closed
public
m/thm/topology
state/tidy
lang/en
sembr
Conditions for uniqueness of the limit
public
m/thm/topology
state/tidy
lang/en
sembr
Connected subspaces of the real line are intervals
public
m/thm/topology
state/tidy
lang/en
sembr
Connectedness is transitive
public
m/thm/topology
state/tidy
lang/en
sembr
Continuity
public
m/def/topology
m/thm/topology
state/tidy
sembr
lang/en
Coproduct topology
public
m/def/topology
m/thm/topology
state/tidy
lang/en
sembr
Every fibre of a local injection is discrete
public
m/thm/topology
state/tidy
lang/en
sembr
Hausdorff space
public
m/def/topology
m/thm/topology
state/develop
lang/en
sembr
Hausdorffness is preserved by subspaces, products, and coproducts, but not quotients
public
m/thm/topology
state/develop
lang/en
sembr
Heine-Borel theorem
public
m/thm/topology
state/tidy
lang/en
sembr
Lattice subgroup
public
m/def/group
m/thm/topology
state/tidy
lang/en
sembr
Lift of a map to a covering space
public
m/def/topology
m/thm/topology
m/thm/homotopy
state/tidy
lang/en
sembr
Limit points are limits of convergent subsequences in a first-countable space
public
m/thm/topology
missing/proof
state/develop
lang/en
sembr
Limit points are points contained in the closure of every end piece
public
m/thm/topology
missing/proof
state/develop
lang/en
sembr
Locally path connected spaces have identical connected and path-connected components
public
m/thm/topology
missing/proof
state/develop
lang/en
sembr
Main theorem of connectedness
public
m/thm/topology
state/tidy
lang/en
sembr
Metrizable implies Hausdorff
public
m/thm/topology
state/tidy
lang/en
sembr
Norms are equivalent iff they induce the same topology
public
m/thm/topology
state/develop
lang/en
sembr
Orbit space of a properly discontinuous group action
public
m/thm/topology
state/tidy
lang/en
sembr
Product topology
public
m/def/topology
m/thm/topology
state/tidy
lang/en
sembr
Proving open map with a subbasis
public
m/thm/topology
state/tidy
lang/en
sembr
Quotient topology
public
m/def/topology
m/thm/topology
state/tidy
lang/en
sembr
Regular monomorphisms in the category of topological spaces
public
m/thm/topology
missing/proof
state/stub
lang/en
sembr
Sequential closedness
public
m/def/topology
m/thm/topology
state/tidy
lang/en
sembr
Sequential continuity
public
m/thm/topology
state/tidy
lang/en
sembr
Sequentially compact space
public
m/def/topology
m/thm/topology
state/tidy
lang/en
sembr
Subspace topology
public
m/def/topology
m/thm/topology
state/tidy
lang/en
sembr
The boundary of a ball is not a retract
public
m/thm/topology
missing/proof
state/develop
lang/en
sembr
The continuous image of a compact space is compact
public
m/thm/topology
state/tidy
lang/en
sembr
The intersection of nested inhabited Hausdorff-compact sets is inhabited
public
m/thm/topology
state/tidy
lang/en
sembr
The intersection of topologies on a fixed set is again a topology
public
m/thm/topology
state/tidy
lang/en
sembr
Topological subbasis
public
m/def/topology
m/thm/topology
state/tidy
lang/en
sembr