Zero-dimensional space

Geometry
Projecting a sphere to a plane
Outline History
show Branches Euclidean Non-Euclidean Elliptic Spherical Hyperbolic Non-Archimedean geometry Projective Affine Synthetic Analytic Algebraic Arithmetic Diophantine Differential Riemannian Symplectic Discrete differential Complex Finite Discrete/Combinatorial Digital Convex Computational Fractal Incidence
show Concepts Features Dimension Straightedge and compass constructions Angle Curve Diagonal Orthogonality (Perpendicular) Parallel Vertex Congruence Similarity Symmetry
show Zero-dimensional Point
show One-dimensional Line segment ray Length
show Two-dimensional Plane Area Polygon Triangle Altitude Hypotenuse Pythagorean theorem Parallelogram Square Rectangle Rhombus Rhomboid Quadrilateral Trapezoid Kite Circle Diameter Circumference Area
show Three-dimensional Volume Cube cuboid Cylinder Pyramid Sphere
show Four- / other-dimensional Tesseract Hypersphere
Geometers
show by name Aida Aryabhata Ahmes Alhazen Apollonius Archimedes Atiyah Baudhayana Bolyai Brahmagupta Cartan Coxeter Descartes Euclid Euler Gauss Gromov Hilbert Jyeṣṭhadeva Kātyāyana Khayyám Klein Lobachevsky Manava Minkowski Minggatu Pascal Pythagoras Parameshvara Poincaré Riemann Sakabe Sijzi al-Tusi Veblen Virasena Yang Hui al-Yasamin Zhang List of geometers
show by period BCE Ahmes Baudhayana Manava Pythagoras Euclid Archimedes Apollonius 1–1400s Zhang Kātyāyana Aryabhata Brahmagupta Virasena Alhazen Sijzi Khayyám al-Yasamin al-Tusi Yang Hui Parameshvara 1400s–1700s Jyeṣṭhadeva Descartes Pascal Minggatu Euler Sakabe Aida 1700s–1900s Gauss Lobachevsky Bolyai Riemann Klein Poincaré Hilbert Minkowski Cartan Veblen Coxeter Present day Atiyah Gromov
v t

In mathematics, a zero-dimensional topological space (or nildimensional space) is a topological space that has dimension zero with respect to one of several inequivalent notions of assigning a dimension to a given topological space.^[1][2] A graphical illustration of a nildimensional space is a point.^[3]

Definition[]

Specifically:

• A topological space is zero-dimensional with respect to the Lebesgue covering dimension if every open cover of the space has a refinement which is a cover by disjoint open sets.
• A topological space is zero-dimensional with respect to the finite-to-finite covering dimension if every finite open cover of the space has a refinement that is a finite open cover such that any point in the space is contained in exactly one open set of this refinement.
• A topological space is zero-dimensional with respect to the small inductive dimension if it has a base consisting of clopen sets.

The three notions above agree for separable, metrisable spaces.^{[citation needed][clarification needed]}

Properties of spaces with small inductive dimension zero[]

• A zero-dimensional Hausdorff space is necessarily totally disconnected, but the converse fails. However, a locally compact Hausdorff space is zero-dimensional if and only if it is totally disconnected. (See (Arhangel'skii & Tkachenko 2008, Proposition 3.1.7, p.136) for the non-trivial direction.)
• Zero-dimensional Polish spaces are a particularly convenient setting for descriptive set theory. Examples of such spaces include the Cantor space and Baire space.
• Hausdorff zero-dimensional spaces are precisely the subspaces of topological powers ${\displaystyle 2^{I}}$ where ${\displaystyle 2=\{0,1\}}$ is given the discrete topology. Such a space is sometimes called a Cantor cube. If I is countably infinite, ${\displaystyle 2^{I}}$ is the Cantor space.

Hypersphere[]

The zero-dimensional hypersphere is a pair of points. The zero-dimensional ball is a point.

Notes[]

• Arhangel'skii, Alexander; Tkachenko, Mikhail (2008). Topological Groups and Related Structures. Atlantis Studies in Mathematics. Vol. 1. Atlantis Press. ISBN 978-90-78677-06-2. |volume= has extra text (help)
• Engelking, Ryszard (1977). General Topology. PWN, Warsaw.
• Willard, Stephen (2004). General Topology. Dover Publications. ISBN 0-486-43479-6.

References[]