The concept of compactness is a fundamental property in mathematical analysis and topology, particularly within the real numbers and the complex plane. In Euclidean spaces such as (\mathbb{R}^n) or (\mathbb{C}), a set is defined as compact if it is both closed and bounded. This dual condition ensures that the set does not extend infinitely in any direction and contains all of its boundary points. The definition is rooted in the Heine-Borel theorem, which establishes the equivalence of this characterization with the more general topological definition: a set (K) is compact if every open cover of (K) admits a finite subcover that still covers (K).
Understanding the properties of compact sets is essential because compactness guarantees powerful analytical results. For instance, the Weierstrass Theorem asserts that a continuous function defined on a compact set will attain both its maximum and minimum values. Additionally, the Bolzano-Weierstrass Theorem states that every bounded sequence in (\mathbb{R}^n) or (\mathbb{C}) admits a convergent subsequence, a property closely tied to the compactness of the underlying domain.
Defining Characteristics of Compact Sets
To determine whether a set is compact, one must verify two conditions: closedness and boundedness.
- Closed: A set is closed if it contains all of its limit points. In other words, every point on the boundary of the set is an element of the set itself. If a set does not contain its boundary, it is considered open (or partially open), and it fails the closedness criterion.
- Bounded: A set is bounded if it fits entirely within a sphere of finite radius. This implies that there is a maximum distance from the origin (or any fixed point) to any point in the set. If a set extends infinitely, it is unbounded.
Examples of Compact Sets
Several examples illustrate the application of these definitions:
- Closed Intervals: The set (K = { x \in \mathbb{R} \mid 0 \leq x \leq 2 }) is compact. It is bounded because all points lie between 0 and 2, and it is closed because it includes the boundary points 0 and 2.
- Closed Disk: The set (K = { (x,y) \in \mathbb{R}^2 \mid x^2 + y^2 \leq 1 }) represents a closed disk of radius 1 centered at the origin. It is bounded (radius is finite) and closed (contains the boundary circle (x^2 + y^2 = 1)).
- Closed Rectangle: In the complex plane, the set ({z = x + iy : a \leq x \leq b, c \leq y \leq d}) is compact. It is the Cartesian product of closed intervals ([a, b] \times [c, d]), making it both closed and bounded.
- Finite Sets: Any finite set of points in (\mathbb{C}) (e.g., (S = {1, i, -1, -i})) is compact. It is trivially bounded and closed because finite sets have no limit points (they contain all their limit points vacuously).
- Intersections of Closed Sets: The set ({z \in \mathbb{C} : \text{Re}(z) \geq 0 \text{ and } |z| \leq 1}) is the intersection of the closed half-plane and the closed disk. Since the intersection of closed sets is closed, and it is contained within the bounded disk, it is compact.
Examples of Non-Compact Sets
Conversely, sets failing either the closed or bounded condition are not compact:
- Open Disk: The set (Br(0) = {z \in \mathbb{C} : |z| < r}) is bounded but not closed. It does not contain its boundary (|z| = r). An open cover such as ({B{r-1/n}(0) : n \in \mathbb{N}}) admits no finite subcover, demonstrating its lack of compactness.
- The Entire Complex Plane: (\mathbb{C}) is closed but unbounded, hence not compact.
- Right Half-Plane: The set ({z \in \mathbb{C} : \text{Re}(z) \geq 0}) is closed but unbounded, and therefore not compact.
The Boundary of a Compact Set
The query specifically asks about the relationship between a compact set and the boundedness of its boundary. Based on the provided source material, we can derive a definitive answer.
If a set (K) is compact in (\mathbb{R}^n) or (\mathbb{C}), it must satisfy the Heine-Borel conditions: it is closed and bounded.
- Boundedness of the Set: Since (K) is bounded, there exists a finite radius (R) such that all points (x \in K) satisfy (|x| \leq R).
- Definition of the Boundary: The boundary of a set, denoted (\partial K), consists of points where every neighborhood contains points both inside (K) and outside (K). Crucially, for a closed set (K), the boundary is a subset of (K) (because the set contains all its limit points).
- Inclusion: Because (\partial K \subseteq K), every point in the boundary is also in the set (K).
- Conclusion: Since all points in (K) are bounded by radius (R), all points in (\partial K) are also bounded by radius (R).
Therefore, the boundary of a compact set is bounded.
Furthermore, because a compact set is closed, its boundary is not only bounded but also a closed set. A bounded, closed set is itself compact. Thus, the boundary of a compact set is a compact set.
Theoretical Implications
The boundedness of the boundary is a direct consequence of the boundedness of the set itself. This property is utilized in various theorems:
- Cantor's Intersection Theorem: This theorem states that if ({Kj}) is a nested sequence of non-empty compact subsets of (\mathbb{C}) (i.e., (K1 \supset K2 \supset \dots)), then the intersection (\bigcap{j=1}^{\infty} K_j) is not empty. This relies on the fact that the sets are closed and bounded, preventing the sequence from "escaping to infinity" or "leaking at the edge."
- Bolzano-Weierstrass Theorem: This theorem states that every bounded sequence in (\mathbb{R}^n) or (\mathbb{C}) admits a convergent subsequence. The intuitive idea is that if you place infinitely many points into a finite (bounded) region, they must accumulate somewhere. This accumulation point is a limit point. If the set containing the sequence is also closed (and thus compact), the subsequence converges to a point within the set.
Conclusion
In summary, a compact set in Euclidean space is defined as a set that is both closed and bounded. This definition, equivalent to the topological definition of finite open covers, ensures that the set is "finite" in extent and contains its boundaries. Consequently, any subset of a compact set, including its boundary, must also be bounded. The boundary of a compact set is itself a bounded and closed set, and therefore compact.