Definition:Character of Topological Space

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

• 1989: Ryszard Engelking: General Topology (revised and completed ed.)

• Mizar article TOPGEN_2:def 2