Fact-checked by Grok 2 weeks ago

Totally disconnected space

In topology, a totally disconnected space is a topological space in which every connected subset contains at most one point.^[1] Equivalently, the connected components of such a space are precisely the singleton sets.^[1] Totally disconnected spaces are necessarily T1 spaces, since the connected components (singletons) are closed subsets.^[2] They are also hereditarily disconnected, meaning every subspace is totally disconnected. However, these spaces need not be discrete or have isolated points; for instance, the rational numbers \mathbb{Q} equipped with the subspace topology from \mathbb{R} form a countable, metrizable totally disconnected space without isolated points.^[1] Another fundamental example is the Cantor set, a compact, perfect, and uncountable totally disconnected subset of \mathbb{R}.^[1] In more structured settings, such as locally compact Hausdorff spaces, totally disconnected spaces admit a basis of compact clopen neighborhoods at each point.^[3] Prominent applications appear in number theory, where the field of p-adic numbers \mathbb{Q}_p carries a totally disconnected topology that is complete, locally compact, and Hausdorff, enabling p-adic analysis with properties contrasting those of the real numbers.^[4]

Definitions

Primary Definition

In topology, a totally disconnected space is a topological space X in which the only connected subsets are the empty set and the singletons \{x\} for each x \in X.^[5] This condition implies that the connected component of every point x \in X is precisely the singleton \{x\}.^[5] The concept emerged in early 20th-century developments in general topology, with the terminology varying across texts; note that some authors use "totally disconnected" to mean what is here called "totally separated" (quasicomponents are singletons), while "hereditarily disconnected" was employed in some foundational works, such as Kuratowski (1968), to describe spaces where no subspace with more than one point is connected. In locally compact Hausdorff spaces, totally disconnected spaces admit the characterization that for any two distinct points x, y \in X, there exist disjoint clopen sets U and V with x \in U, y \in V, and U \cup V = X.^[3]

Equivalent Characterizations

A topological space is totally path-disconnected if and only if its path components are singletons, meaning that there are no non-constant continuous paths connecting distinct points.^[6] Total disconnectedness implies this condition, as the image of any continuous path is a connected subset, and thus cannot contain more than one point in a totally disconnected space.^[7] Another equivalent formulation involves quasicomponents: a space is totally separated if its quasicomponents are singletons, where the quasicomponent of a point is the intersection of all clopen sets containing that point.^[8] In such spaces, every pair of distinct points possesses disjoint clopen neighborhoods. Every totally separated space is totally disconnected, since each quasicomponent contains the connected component of the point.^[8] The converse holds for locally compact Hausdorff spaces, where the two notions coincide due to the availability of compact clopen neighborhoods facilitating separation.^[7]^[8] Totally separated spaces are characterized by the existence of a collection of clopen sets that separate points: for any two distinct points, there is a clopen set containing one but not the other. This separating property distinguishes total separatedness from mere disconnectedness but differs from zero-dimensionality, which requires a basis consisting entirely of clopen sets rather than just separators. In compact Hausdorff spaces, however, the existence of such point-separating clopen sets is equivalent to total disconnectedness.^[7] In metric spaces, zero-dimensional spaces (small inductive dimension zero) are totally disconnected.^[9]

Examples

Discrete and Finite Examples

A set equipped with the discrete topology provides one of the simplest examples of a totally disconnected space, as every singleton subset is both open and closed, ensuring that the connected components are precisely the individual points.^[5] In this topology, any subset with more than one element can be separated into disjoint open sets containing each point, confirming the absence of nontrivial connected subsets.^[10] Finite sets endowed with the discrete topology further illustrate this property, where the space is both finite and totally disconnected, and every subset is clopen due to the openness of all singletons. In such spaces, the finiteness implies that the topology is necessarily discrete if the space is totally disconnected, as any non-discrete finite topology would admit connected subsets larger than singletons.^[5] The rational numbers \mathbb{Q}, considered as a subspace of the real numbers \mathbb{R} with the standard topology, offer a foundational example of a totally disconnected space that is not discrete; here, the connected components are singletons, yet no points are isolated since every open interval in \mathbb{R} contains infinitely many rationals. In any totally disconnected space, the set of isolated points—those singletons that are open—forms an open subset, as it is the union of such open singletons, though examples like \mathbb{Q} demonstrate the existence of non-isolated points where components are points without being open.^[5]^[11]

Infinite Compact Examples

One prominent example of an infinite compact totally disconnected space is the ternary Cantor set, constructed by iteratively removing the middle third of each interval starting from [0,1]. This set is compact as a closed and bounded subset of ℝ, metrizable inheriting the Euclidean metric, totally disconnected because its connected components are singletons, and perfect since every point is a limit point with no isolated points.^[12]^[13] Another key example arises in non-Archimedean analysis with the p-adic numbers ℚ_p for a prime p, which form a field equipped with the p-adic topology generated by the p-adic valuation. The space ℚ_p is totally disconnected, as its connected components are singletons, and locally compact, with a basis of compact open neighborhoods. The p-adic integers ℤ_p, consisting of p-adic numbers with non-negative valuation, are compact and homeomorphic to the Cantor set, reinforcing their totally disconnected structure without isolated points.^[14]^[15]^[16] The Cantor set further illustrates its topological universality through a homeomorphism to the countable product space 2^ℕ, where 2 denotes the discrete two-point space {0,1} and the product carries the product topology. This bijection maps ternary expansions using digits 0 and 2 to binary sequences, preserving the compact, totally disconnected, and perfect properties.^[17]^[18] While the above examples are compact, the Baire space ℕ^ℕ—sequences of natural numbers with the product topology from the discrete ℕ—is an infinite totally disconnected space that is not compact, serving as a counterexample where compactness fails despite complete metrizability and zero-dimensionality via a basis of clopen sets.^[19]^[20]

Properties

Connectedness Properties

A totally disconnected space is characterized by the property that its only connected subsets are the empty set and singletons, meaning there are no non-trivial connected subsets containing more than one point.^[5] This absence of larger connected sets implies that the space lacks any continua beyond individual points, distinguishing it from spaces with more substantial connected structures.^[21] This property is hereditary: every subspace of a totally disconnected space is itself totally disconnected. If a subspace contained a connected subset with more than one point, that subset would also be connected in the original space, contradicting the definition.^[22] Consequently, the connectedness behavior persists across all induced topologies on subsets. The connected components of a totally disconnected space are precisely the singletons, and since connected components are always closed, every singleton is closed in the space. The space thus partitions set-theoretically into these disjoint singleton components, with no larger connected pieces forming a continuum. In such a space, the closure of any connected subset remains a singleton. Any connected subset must be a singleton (or empty), and the closure of a singleton coincides with itself because singletons are closed; if the closure were larger, it would be a connected set containing more than one point by the general fact that closures of connected sets are connected, which is impossible.

Separation and Dimensionality

Totally disconnected spaces satisfy the T1 separation axiom. In such a space, the connected component of any point is the singleton containing that point, and since connected components are closed, singletons are closed sets, which is precisely the T1 condition. However, totally disconnected spaces are not necessarily Hausdorff. For instance, consider the space X = \mathbb{N} \cup \{a, b\} where \mathbb{N} is the natural numbers, equipped with a topology in which open sets are either subsets of \mathbb{N} or contain all but finitely many points of \mathbb{N}; this space is T1 and totally disconnected but fails to be Hausdorff since a and b cannot be separated by disjoint open sets.^[23] Spaces with small inductive dimension 0 (i.e., zero-dimensional spaces, which possess a basis of clopen sets) are always totally disconnected. The converse does not hold in general: not all totally disconnected spaces possess a basis consisting of clopen sets. For example, while \mathbb{Q} does have a clopen basis (given by intersections of open intervals with irrational endpoints) and thus small inductive dimension 0, there exist totally disconnected spaces without this property. In contrast, compact metric totally disconnected spaces always admit a clopen basis and are thus zero-dimensional.^[24] Furthermore, in compact Hausdorff totally disconnected spaces, the space is zero-dimensional. Compactness and the Hausdorff property together ensure normality, allowing the separation of points by clopen sets and yielding a clopen basis via the structure of connected components.

Constructions

Quotient by Connected Components

In any topological space X, the connected components form a partition of X. Define an equivalence relation \sim on X by setting x \sim y if and only if x and y belong to the same connected component. The quotient space X/{\sim}, equipped with the quotient topology induced by the natural projection map p: X \to X/{\sim}, identifies each connected component to a single point.^[5] This quotient space X/{\sim} is always totally disconnected. Indeed, the connected components of X/{\sim} are precisely the singletons, since any larger subset would lift to a connected subset of X spanning multiple components, which contradicts the definition of components.^[25] The construction satisfies a universal property: for any totally disconnected topological space Y and any continuous map f: X \to Y, there exists a unique continuous map \overline{f}: X/{\sim} \to Y such that f = \overline{f} \circ p. This follows because f must be constant on each connected component of X, allowing it to factor through the quotient.^[25] If X is connected, then X/{\sim} consists of a single point. Moreover, if X is locally connected (meaning every point has a neighborhood basis of connected open sets), then the connected components of X are open, making the projection p an open map and rendering X/{\sim} a discrete space; in particular, if X is Hausdorff, then so is X/{\sim}.^[26]

Embeddings and Extensions

Zero-dimensional spaces, a subclass of totally disconnected spaces, admit natural embeddings into products of discrete spaces. Specifically, any zero-dimensional Hausdorff space is homeomorphic to a subspace of a product of copies of the discrete two-point space \{0,1\}, indexed by a basis of clopen sets.^[27] Note that while compact Hausdorff totally disconnected spaces are zero-dimensional, this is not true in general, as exemplified by the rational numbers \mathbb{Q}.^[28] For such compact Hausdorff totally disconnected spaces, the embedding is closed, making the space homeomorphic to a closed subspace of \{0,1\}^M for some set M of clopen subsets.^[29] In the context of compactifications, the Stone-Čech compactification provides an extension where the remainder may be totally disconnected under suitable conditions on the original Tychonoff space. For instance, when the space X is discrete, its Stone-Čech compactification βX is a Stone space, which is compact, Hausdorff, and totally disconnected, implying that the remainder βX \ X inherits total disconnectedness. More generally, for zero-dimensional Tychonoff spaces, the remainder can exhibit total disconnectedness if the quasi-components remain singletons in the extension, though this fails in examples like the Erdős space, where βX contains non-trivial connected subsets despite X being zero-dimensional.^[30] For locally compact spaces, the Alexandroff one-point compactification extends a non-compact totally disconnected Hausdorff space while preserving total disconnectedness. Such spaces are zero-dimensional, possessing a basis of clopen sets, and the added infinity point admits clopen neighborhoods in the compactification that separate it from points in the original space. For example, the one-point compactification of a countable discrete space is compact, Hausdorff, and totally disconnected, with each original point remaining a clopen singleton and the infinity point forming its own clopen component relative to the topology. This holds more broadly for locally compact totally disconnected Hausdorff spaces like the p-adic numbers \mathbb{Q}_p, where the compactification maintains the property due to the zero-dimensional structure.^[24]^[31] In symbolic dynamics, the Nerode semigroup construction yields totally disconnected quotients of shift spaces by identifying sequences based on right ideals in the free semigroup, producing sofic subshifts as factors of full shifts. These quotients, such as irreducible sofic shifts, are closed shift-invariant subsets of product spaces with discrete factors, hence totally disconnected and zero-dimensional. This approach facilitates the study of dynamical properties while embedding the resulting spaces into totally disconnected frameworks.^[32]^[33]

Zero-Dimensional Spaces

A topological space is defined as zero-dimensional if it admits a basis for its topology consisting entirely of clopen sets, that is, sets that are both open and closed.^[34] This property ensures that the space has a particularly fine structure where neighborhoods can be chosen to be simultaneously open and closed, facilitating separations in a strong sense.^[34] Zero-dimensional spaces are necessarily totally disconnected, as the clopen basis allows any two distinct points to be separated by disjoint clopen neighborhoods, implying that the only connected subsets are singletons.^[24] However, the converse does not hold in general: a space can be totally disconnected without possessing a clopen basis. In essence, zero-dimensionality strengthens the total disconnectedness by requiring the additional structure of a clopen basis. In the compact Hausdorff setting, however, total disconnectedness and zero-dimensionality coincide: every compact Hausdorff totally disconnected space admits a clopen basis, and vice versa.^[24] This equivalence highlights a key distinction in non-compact cases. Furthermore, in the category of metric spaces, zero-dimensionality is precisely equivalent to being totally disconnected while possessing a clopen basis, underscoring that the basis condition is the distinguishing feature beyond mere disconnection.

Applications in Number Theory and Dynamics

In number theory, the field of p-adic numbers \mathbb{Q}_p, for a prime p, is equipped with a totally disconnected topology that arises from the p-adic valuation, making it a complete metric space where connected components are singletons.^[35] This structure is essential for the local-global principle, which posits that a polynomial equation has a solution over the rationals if and only if it has solutions over the reals and all p-adic fields, facilitating proofs in Diophantine problems.^[36] Furthermore, \mathbb{Q}_p serves as a building block for the adele ring, a restricted product of all completions of the rationals (including reals and p-adics), which encodes global information locally and underpins class field theory and the study of automorphic forms in algebraic number theory.^[37] In symbolic dynamics, shift spaces—defined as closed shift-invariant subsets of the infinite product \{0,1,\dots,k-1\}^{\mathbb{Z}} for some k \geq 2, endowed with the product topology—are totally disconnected compact spaces that model discrete-time dynamical systems.^[38] These spaces enable the analysis of chaotic behavior through topological conjugacy, where expansive homeomorphisms on totally disconnected sets correspond to subshifts, allowing the encoding of complex orbits via symbolic sequences.^[38] A key application is the computation of topological entropy, which quantifies the exponential growth rate of periodic points and measures chaos in systems like the logistic map, with subshifts of finite type providing minimal models for mixing properties and thermodynamic formalism.^[39] Profinite groups, which are compact Hausdorff totally disconnected topological groups arising as inverse limits of finite discrete groups, play a central role in modeling infinite Galois groups in algebraic number theory.^[40] For instance, the absolute Galois group of the rationals, \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}), is profinite, capturing the action on roots of unity and enabling the study of ramification via inertia subgroups.^[41] In arithmetic geometry, profinite groups generalize to étale fundamental groups of schemes, which classify finite étale covers and provide a Galois-theoretic framework for the Langlands program, with the étale site topology inducing the profinite structure on these groups.^[42] The Cantor set exemplifies the utility of totally disconnected spaces in complex dynamics, where it serves as a topological model for certain Julia sets on the boundary of the Mandelbrot set, facilitating symbolic coding of orbits under quadratic iterations z \mapsto z^2 + c.^[43] For parameters c outside the Mandelbrot set (where the Julia set is totally disconnected and Cantor-like), the dynamics can be conjugated to a full shift on the Cantor set, allowing the representation of repelling points via bi-infinite sequences that encode itinerary under the map, thus simplifying the study of hyperbolic components and parameter rays.^[44] This coding leverages the total disconnectedness to embed the symbolic dynamics directly onto the Julia set, revealing fractal self-similarity and aiding in the proof of density of hyperbolicity in the Mandelbrot boundary.^[43]

References

[1]
[PDF] Chapter V Connected Spaces
A connected. \ space has exactly one component itself. In a totally disconnected space, for example ,. \. \. the components are the singletons. In very ...
[2]
[PDF] Topology (H) Lecture 17
May 8, 2021 · Note that any totally disconnected space is (T1), since by totally dis- connectedness, any single point set {x} is a connected component and ...
[3]
[PDF] Smooth Representations of Totally Disconnected Groups
Mar 12, 2012 · In particular, a totally disconnected space is Hausdorff. The sets U, V in the definition are not only open but also closed. We claim that ...
[4]
[PDF] The p-adic numbers
Small in the p-adic topology means divisible by a large power of p, which is ... . So the p-adic integers are compact, totally disconnected and Hausdorff,.
[5]
Section 5.7 (004R): Connected components—The Stacks project
A topological space is totally disconnected if the connected components are all singletons. A discrete space is totally disconnected. A totally disconnected ...
[6]
[PDF] Path components. - Math 535 - General Topology Additional notes
Oct 22, 2012 · A topological space X is totally disconnected if its only connected subspaces are singletons {x}. Show that X is totally disconnected if and ...
[7]
[PDF] GeneralTopologyWillard.pdf - Rexresearch1.com
... totally disconnected iff the components in X are the points. Equivalently then, X is totally disconnected iff the only nonempty connected subsets of X are ...
[8]
[PDF] Counterexamples in Topology - rexresearch1
A necessary and sufficient condition that X be totally separated is that its quasicomponents be single points; clearly every totally separated space is ...
[9]
[PDF] R. Engelking: General Topology Introduction 1 Topological spaces
Jan 1, 2012 · metrizable space, metrics,. Two metrics %1 and %2 are called equivalent if they induce the same topology on X. ... term totally disconnected ...
[10]
On the non-monotony of dimension - MSP
The spaces Zn, 1 ^ n < co, and X, constructed above, are totally disconnected, compact, Hausdorff, and hence, 0-dimensional in all three senses.
[11]
[PDF] Zero-dimensional spaces and their inverse limits - Scholars' Mine
It should be clear that every zero-dimensional space is totaly disconnected. Example 1 The best known examples of zero-dimensional compact metric spaces are ...
[12]
[PDF] Notes on Introductory Point-Set Topology - Cornell Mathematics
As a trivial example, a space with the discrete topology is certainly totally disconnected since every subset is open and closed, so no subspace with more ...<|separator|>
[13]
[PDF] Tutorial Sheet 6, Topology 2011
Prove that Q, with the subspace topology inherited from R, is totally disconnected, but not discrete. Solution: It is not discrete because {p/q} is not open ...<|separator|>
[14]
[PDF] THE CANTOR SET
With this definition we can prove two more important facts about the Cantor set. Theorem 1.7. The Cantor set C is perfect and totally disconnected. Proof ...
[15]
[PDF] Characterization of Cantor Spaces - UTK Math
The Cantor set is perfect, compact, nonempty, and totally disconnected. Nonempty is obvious. Compact follows from Heine-Borel as it is a closed and bounded ...
[16]
[PDF] The p-adic Numbers - mimuw
Corollary: Zp is compact and Qp is locally compact. Proof: Zp is homeomorphic to C . Since C is a bounded, closed subset of Euclidean space, it is compact.Missing: ℤ_p | Show results with:ℤ_p
[17]
[PDF] p-adic numbers - Brandeis
Feb 1, 2021 · Z/p n. Z. Page 119. Topology of Zp and Qp. We have shown that Zp is totally disconnected, and compact. Also, it is perfect, meaning that it has ...
[18]
[PDF] The Frame of the Cantor Set - Departamento de Matemática
Sep 28, 2018 · Qp is locally compact, totally disconnected, 0-dimensional, and ... For each prime number p, Zp is homeomorphic to the Cantor set ...Missing: ℤ_p | Show results with:ℤ_p
[19]
[PDF] Trees, the Cantor set and the irrational numbers
This gives rise to a metric topology on the product space. 2. N. , the distance ... , which is homeomorphic to 2. N. , confirming the fact that removing a ...
[20]
[PDF] What are Cantor Spaces? | OSU Math
We say a topological space X is a Cantor Space if it is homeomorphic to 2N. For example,. ▷ 2N,C. ▷ Countable products of finite discrete spaces∗ (e.g. 3N). ▷ ...
[21]
[PDF] Computable Analysis Over the Generalized Baire Space
Jul 21, 2015 · Baire space is totally disconnected. Proof. We need to prove that ... This lemma is important to establish a connection between Baire space and ...
[22]
[PDF] Topological methods in second order arithmetic
The Baire Space is totally disconnected. Proof. We need only show that given distinct sequences a,8 there is a clopen set with a E A and f3 Ef ...
[23]
totally disconnected space in nLab
### Summary of Equivalent Characterizations and Definitions of Totally Disconnected Spaces
[24]
P47: Totally disconnected - π-Base
Some authors (for example zbMATH 0684.54001) use "totally disconnected" to mean Totally separated and "hereditarily disconnected" to mean Totally disconnected.
[25]
Is totally disconnected space, Hausdorff? - Math Stack Exchange
Nov 1, 2015 · No. A totally disconnected space need not to be Hausdorff. Only T1 separation axiom is satisfied.
[26]
Lemma 5.7.9 (08ZL)—The Stacks project
Then \pi _0(X) is a totally disconnected space and any continuous map X \to Y from X to a totally disconnected space Y factors through \pi _0(X). Proof ...
[27]
https://math.stackexchange.com/questions/83781/is-a-countable-totally-disconnected-hausdorff-space-necessarily-totally-separat
[28]
A totally disconnected compact Hausdorff space is homeomorphic to ...
Jun 24, 2025 · A totally disconnected compact Hausdorff space is homeomorphic to a closed subspace of a product of discrete two-point spaces. Ask Question.
[29]
Is a countable, totally disconnected Hausdorff space necessarily ...
Nov 20, 2011 · By a standard embedding argument, a space is zero-dimensional if and only if it is homeomorphic to a subspace of some (possibly uncountable) ...
[30]
5.26 Extremally disconnected spaces - Stacks Project
A topological space X is called extremally disconnected if the closure of every open subset of X is open. If X is Hausdorff and extremally disconnected, then X ...
[31]
totally disconnected and zero-dimensional spaces - MathOverflow
Sep 1, 2010 · A space is hereditarily disconnected if no subspace is connected, i.e., if the components of all points are singletons. (Edit: There seems to be ...
[32]
one point compactification of discrete space - Math Stack Exchange
Nov 28, 2014 · One point compactification of discrete topological space is a profinite space. By definition, profinite space is inverse limit of finite discrete topological ...One-point compactification of a locally connected space.Connectedness of one point compactification of QMore results from math.stackexchange.com
[33]
Subshifts with a free semigroup - MathOverflow
Sep 26, 2017 · For an irreducible sofic shift which is not periodic you will have this property. The Fischer cover gives a strongly connected deterministic ...Subshifts with the same entropy - symbolic dynamicsSubshifts of finite type of guaranteed positive entropyMore results from mathoverflow.netMissing: ideal totally disconnected
[34]
A language hierarchy and Kitchens-type theorem for self-similar ...
Nov 1, 2019 · Labeled trees also occur in modern symbolic dynamics, which is concerned with the properties of shift spaces on arbitrary groups or semigroups ( ...
[35]
zero dimensional - PlanetMath.org
Mar 22, 2013 · Examples of zero-dimensional spaces are: the set Q ℚ of rational numbers (with subspace topology induced from the usual metric topology on R ...
[36]
[PDF] Number Theory With A View Toward Algebraic Geometry - KSU Math
Oct 10, 2022 · Proposition 1.5.2 (p-adic Manifold) p-adic field Qp is totally disconnected Hausdorff space whose topological dimen- sion is 0. By these ...
[37]
[PDF] THE LOCAL-GLOBAL PRINCIPLE 1. Introduction Hensel created p ...
Hensel created p-adic numbers near the start of the 20th century and they had some early positive influences: Hensel used them to solve a conjecture of Dedekind ...Missing: totally disconnected adeles
[38]
p-adic numbers and adeles
This section of the 'number theory and physics archive' explains the basic ideas underlying, p-adic valuations, p-adic numbers,and adeles.Missing: totally disconnected
[39]
[PDF] Symbolic dynamics and subshifts of finite type
Show that a system (X, f) is topologically conjugate to a subshift if and only if X is totally disconnected and (X, f) is expansive. Given a subshift X ⊂ Q.Missing: Nerode ideal
[40]
Symbolic dynamics - Scholarpedia
Nov 16, 2008 · Symbolic dynamics is the study of shift spaces, which consist of infinite or bi-infinite sequences defined by a shift-invariant constraint on the finite-length ...Missing: Nerode | Show results with:Nerode
[41]
profinite group in nLab
Jul 1, 2025 · A profinite group is an inverse limit of a system of finite groups. The finite groups are considered as compact discrete topological groups.
[42]
[PDF] ´Etale fundamental group - Purdue Math
More generally, a group is called profinite if it is an inverse limit of finite groups. Such a group can always be topologized in this way. We can now state the.
[43]
[PDF] Galois theory for schemes - of /websites
A topological group that arises in this way is called a profinite group. Profinite groups are compact (Exercise 1.9(a)) and totally disconnected; it can be.
[44]
[PDF] Complex Dynamics and Symbolic Dynamics
In this section we recall some of the elementary properties of complex quadratic polynomials, including a description of their Julia sets and the Mandelbrot set ...
[45]
[PDF] Julia Sets and the Mandelbrot Set
Definition: Totally Disconnected. A subset S of the complex plane is totally disconnected if no pair of distinct points in S can be connected by a path in S.Missing: models symbolic coding total