jaj•a•person's notes
Search
Search
Dark mode
Light mode
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