Properties of Compact Sets in Normed Spaces (e.g., the closure of a compact set is compact)

Introduction

In the study of normed spaces, compact sets play a fundamental role due to their strong topological properties. A set is compact if it is both closed and bounded, and in finite-dimensional normed spaces, this aligns with the Heine-Borel theorem. However, in infinite-dimensional normed spaces, the notion of compactness is more nuanced. While boundedness ensures that a set is contained within a closed ball, compactness requires additional conditions, such as being closed and equicontinuous. This article explores key properties of compact sets in normed spaces, with a focus on their closure, continuity, and interactions with other topological concepts.

Closure of Compact Sets

A critical property of compact sets in normed spaces is that the closure of a compact set is itself compact. This follows directly from the definition of closure: if $ K $ is a compact set, then its closure $ \overline{K} $ is precisely $ K $ itself. Consequently, $ \overline{K} $ is compact. This result is particularly significant in normed spaces, where the closure of a compact set retains its compactness, even if the original set is not closed.

The closure of a compact set is also a closed set, as compactness implies closedness in finite-dimensional spaces. However, in infinite-dimensional spaces, the closure of a compact set may not be compact, though this is not the case here. In this context, the closure of a compact set is compact by definition, making compact sets closed under taking closures. This property underscores the importance of compact sets in ensuring continuity and convergence in normed spaces.

Compactness and Boundedness

In normed spaces, compact sets are closely tied to the concepts of boundedness and closedness. A set is bounded if all its elements lie within some closed ball, and compactness in normed spaces requires that a set be both closed and bounded. This is analogous to the Heine-Borel theorem in finite-dimensional Euclidean spaces, where compactness is equivalent to being closed and bounded.

However, in infinite-dimensional normed spaces, boundedness alone is insufficient to guarantee compactness. For example, in $ \ell^2 $, the set of all sequences with finite support is bounded but not compact. This highlights the distinction between finite and infinite dimensions. Despite this limitation, the closure of a bounded set remains compact, ensuring that boundedness is a prerequisite for compactness in normed spaces.

Continuity and Compact Sets

Compact sets are particularly significant in the context of continuity. In normed spaces, a function $ f: X \to Y $ is continuous if and only if it is continuous at every point of its domain. A key result in topology is that a continuous function maps compact sets to compact sets. This property is crucial in functional analysis, where compactness often arises in the context of continuity and convergence.

In normed spaces, the continuity of a function is closely tied to the structure of the space. For instance, if $ f: X \to \mathbb{R} $ is a continuous function and $ X $ is compact, then $ f $ is uniformly continuous on $ X $. This result extends to higher-dimensional spaces, where compactness ensures that functions exhibit uniform continuity, a property essential for analysis.

Intersections of Compact Sets

Another fundamental property of compact sets in normed spaces is that the intersection of any finite number of compact sets is compact. This follows from the definition of compactness: the intersection of finitely many closed sets is closed, and compactness in normed spaces requires closedness and boundedness. Thus, the intersection of compact sets is compact, preserving the topological structure.

This property is particularly useful in proving the compactness of more complex sets, such as the product of compact sets. In finite-dimensional spaces, the product of compact sets is compact, but in infinite-dimensional spaces, this is not generally true. However, in normed spaces, the intersection of compact sets remains compact, reinforcing the role of compactness in topological structures.

Product of Compact Sets

In normed spaces, the product of compact sets is compact under certain conditions. Specifically, in finite-dimensional spaces, the product of compact sets is compact, a result that align