Arens fort room
The Arens Fort space , named after the mathematicians RF Arens and MK Fort , is a specially constructed example of a topological space that is often used as a counterexample due to its properties.
definition
The underlying set is , that is , the set of all pairs of natural numbers . The subset is called the -th column. The set becomes a topological space, the Arens Fort space , by declaring the following sets to be open :
- Any amount in that doesn't include zero .
- Any set that contains the zero point and all but finitely many points in all but finitely many columns.
Topological properties
- The Arens Fort room is a normal Hausdorff room
- Each point is the countable average of closed environments .
- The Arens Fort room is a Lindelöf room
- Exactly the finite subsets are compact .
Missing properties
- The Arens-Fort space does not satisfy either the first or the second countability axiom .
- The Arens Fort room cannot be metrised .
- The Arens Fort room is not compact.
Counterexamples
- In metric spaces, the second axiom of countability follows from the separability . The Arens-Fort space shows that this does not apply in general, because it is separable (it itself only consists of countably many points), but according to the above, it does not satisfy the second axiom of countability.
- If one counts the points as in Cantor's first diagonal argument , one obtains a sequence that always has sequence members in every column and thus in every zero neighborhood.
- is the only accumulation point of this sequence, but no subsequence of this sequence converges to .
- Subspaces of Kelley spaces are generally not Kelley spaces. The Arens-Fort space is not a Kelley space, because the compact subsets are precisely the finite ones, but by means of Stone-Čech compactification it is a subspace of a compact and thus a Kelley space.
- The locally uniform convergence does not follow from the compact convergence . Looking at them through
- and
- defined functions , the sequence of functions converges point by point to . Since precisely the finite sets are compact, there is even compact convergence. Every function is continuous, because it is constantly equal to 0 in the zero neighborhood , but the limit function is discontinuous because it takes the value 1 in every zero neighborhood. In particular, there is no locally uniform convergence, because otherwise the limit function would have to be continuous.
literature
- Richard Arens : Note of Convergence in Topology. In: Mathematics Magazine . Vol. 23, No. 5, 1950, pp. 229-234, doi: 10.2307 / 3028991 .
- Lynn Arthur Steen , J. Arthur Seebach: Counterexamples in Topology. 2nd edition. Springer, New York NY et al. 1978, ISBN 0-387-90312-7 .