Alexandroff Plank
   HOME

TheInfoList



OR:

Alexandroff plank in
topology In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ...
, an area of mathematics, is a
topological space In mathematics, a topological space is, roughly speaking, a geometrical space in which closeness is defined but cannot necessarily be measured by a numeric distance. More specifically, a topological space is a set whose elements are called po ...
that serves as an instructive example.


Definition

The construction of the Alexandroff plank starts by defining the topological space (X,\tau) to be the Cartesian product of ,\omega_1/math> and 1,1 where \omega_1 is the first uncountable ordinal, and both carry the interval topology. The topology \tau is extended to a topology \sigma by adding the sets of the form U(\alpha,n) = \ \cup (\alpha,\omega_1] \times (0,1/n) where p = (\omega_1,0) \in X. The Alexandroff plank is the topological space (X,\sigma). It is called plank for being constructed from a subspace of the product of two spaces.


Properties

The space (X,\sigma) has the following properties: # It is Urysohn and completely Hausdorff spaces, Urysohn, since (X,\tau) is regular. The space (X,\sigma) is not regular, since C = \ is a closed set not containing (\omega_1,0), while every neighbourhood of C intersects every neighbourhood of (\omega_1,0). # It is semiregular, since each
basis Basis may refer to: Finance and accounting * Adjusted basis, the net cost of an asset after adjusting for various tax-related items *Basis point, 0.01%, often used in the context of interest rates * Basis trading, a trading strategy consisting ...
rectangle in the topology \tau is a regular open set and so are the sets U(\alpha,n) defined above with which the topology was expanded. # It is not
countably compact In mathematics a topological space is called countably compact if every countable open cover has a finite subcover. Equivalent definitions A topological space ''X'' is called countably compact if it satisfies any of the following equivalent condit ...
, since the set \ has no upper
limit point In mathematics, a limit point, accumulation point, or cluster point of a set S in a topological space X is a point x that can be "approximated" by points of S in the sense that every neighbourhood of x with respect to the topology on X also contai ...
. # It is not
metacompact In the mathematical field of general topology, a topological space is said to be metacompact if every open cover has a point-finite open refinement. That is, given any open cover of the topological space, there is a refinement that is again an op ...
, since if \ is a covering of the ordinal space
point-finite In mathematics, a collection  \mathcal of subsets of a topological space X is said to be point-finite if every point of X lies in only finitely many members of \mathcal.. A topological space in which every open cover admits a point-finite o ...
refinement, then the covering \ of X defined by U_1 = \ \cup ([0,\omega_1] \times (0,1]), U_2 = [0,\omega_1] \times [-1,0), and U_\alpha = V_\alpha \times [-1,1] has not point-finite refinement.


See also

*


References

* Lynn Arthur Steen and J. Arthur Seebach, Jr., ''Counterexamples in Topology''. Springer-Verlag, New York, 1978. Reprinted by Dover Publications, New York, 1995. (Dover edition). * S. Watson, ''The Construction of Topological Spaces''. Recent Progress in General Topology, Elsevier, 1992. Topological spaces {{Topology-stub