Definition:Character of Topological Space
Jump to navigation
Jump to search
Definition
Let $T$ be a topological space.
The character of (the topological space) $T$ is the supremum of the set of characters of the points of $T$:
- $\chi \left({T}\right) := \sup \left\{ {\chi \left({x, T}\right): x \in T}\right\}$
Sources
- Mizar article TOPGEN_2:def 2