Arens–Fort space

From The Right Wiki
Jump to navigationJump to search
File:ArensFortSpace ZeroNeighbourhood.svg
Example neighborhood of (0,0) in the Arens–Fort space

In mathematics, the Arens–Fort space is a special example in the theory of topological spaces, named for Richard Friederich Arens and M. K. Fort, Jr.

Definition

The Arens–Fort space is the topological space (X,τ) where X is the set of ordered pairs of non-negative integers (m,n). A subset UX is open, that is, belongs to τ, if and only if:

  • U does not contain (0,0), or
  • U contains (0,0) and also all but a finite number of points of all but a finite number of columns, where a column is a set {(m,n):0n} with 0m fixed.

In other words, an open set is only "allowed" to contain (0,0) if only a finite number of its columns contain significant gaps, where a gap in a column is significant if it omits an infinite number of points.

Properties

It is

It is not:

There is no sequence in X{(0,0)} that converges to (0,0). However, there is a sequence x=(xi)i=1 in X{(0,0)} such that (0,0) is a cluster point of x.

See also

References

  • Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples in Topology (Dover reprint of 1978 ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-486-68735-3, MR 0507446