Prove That Compactness Is A Topological Property

by
Prove That Compactness Is A Topological Property

In topology, one of the most important ideas is understanding which properties of spaces remain unchanged under continuous transformations. These are known as topological properties. Among them, compactness plays a central role in analysis and topology because it generalizes the idea of finiteness in a geometric or spatial sense. To prove that compactness is a topological property means showing that if two spaces are topologically equivalent (homeomorphic), then either both are compact or neither is compact. This concept is fundamental because it shows that compactness depends only on the structure of open sets, not on distances or specific metrics.

What Is Compactness?

A topological space is called compact if every open cover of the space has a finite subcover. This definition may seem abstract at first, but it captures an important idea even if a space is covered by infinitely many open sets, it is still possible to select only finitely many of them that still cover the entire space.

Formally, if X is a topological space and {Uα} is a collection of open sets such that

X ⊆ ⋃ Uα,

then compactness means there exists a finite subset Uα1, Uα2,…, Uαn that still covers X.

What Is a Topological Property?

A property is called topological if it is preserved under homeomorphisms. A homeomorphism is a continuous bijection between two spaces with a continuous inverse. If two spaces are homeomorphic, they are considered topologically identical, even if their geometric shapes look different.

Examples of topological properties include connectedness, separability, and compactness. These properties depend only on the structure of open sets, not on measurements like distance or angles.

Definition of Homeomorphism

A function f X → Y between two topological spaces is a homeomorphism if

  • f is continuous
  • f is bijective (one-to-one and onto)
  • its inverse f⁻¹ is also continuous

If such a function exists, X and Y are said to be homeomorphic, meaning they share the same topological structure.

Statement to Prove

We want to prove that compactness is a topological property. In other words, we must show that if X is a compact space and Y is homeomorphic to X, then Y is also compact.

This means compactness is preserved under homeomorphisms.

Proof That Compactness Is a Topological Property

Let X and Y be topological spaces, and let f X → Y be a homeomorphism. Assume that X is compact. We need to show that Y is also compact.

Step 1 Start with an open cover of Y

Let {Vβ} be an open cover of Y. This means

Y ⊆ ⋃ Vβ

where each Vβ is open in Y.

Step 2 Use continuity of the inverse map

Since f is a homeomorphism, f⁻¹ exists and is continuous. Consider the preimages of the open sets

f⁻¹(Vβ)

Because f⁻¹ is continuous, each f⁻¹(Vβ) is open in X.

Step 3 Form an open cover of X

We claim that the collection {f⁻¹(Vβ)} forms an open cover of X. To see this, take any x in X. Since f is onto, there exists y in Y such that y = f(x). Since {Vβ} covers Y, there exists some β such that y ∈ Vβ.

This implies

x ∈ f⁻¹(Vβ)

Therefore, every point in X is contained in at least one f⁻¹(Vβ), so {f⁻¹(Vβ)} is an open cover of X.

Step 4 Use compactness of X

Since X is compact, there exists a finite subcover

f⁻¹(Vβ1), f⁻¹(Vβ2),…, f⁻¹(Vβn)

that still covers X.

Step 5 Map back to Y

Now apply f to both sides. Since f is bijective, we get

  • f(f⁻¹(Vβi)) = Vβi

Thus, the sets Vβ1, Vβ2,…, Vβn cover Y.

Step 6 Conclude compactness of Y

We have shown that every open cover of Y has a finite subcover. Therefore, Y is compact.

This completes the proof that compactness is preserved under homeomorphisms.

Why This Proof Matters

This result is important because it shows that compactness depends only on the structure of open sets and not on geometric shape or size. Two spaces that look completely different can still share compactness if they are topologically equivalent.

For example, a closed interval 0,1 in the real numbers is compact. Any space homeomorphic to it must also be compact, even if it looks curved or distorted.

Intuition Behind Compactness as a Topological Property

The key idea is that compactness is defined entirely using open sets and covers, which are preserved under homeomorphisms. Since homeomorphisms preserve openness and set structure, the finite subcover property must also be preserved.

This makes compactness fundamentally different from metric properties like distance or angle, which are not necessarily preserved under topological transformations.

Examples of Compact Spaces

  • Closed intervals in real numbers, such as 0,1
  • Closed and bounded subsets of Euclidean space (Heine-Borel theorem)
  • Finite topological spaces
  • Circular shapes like the unit circle S¹

All these spaces remain compact under homeomorphisms, reinforcing the idea that compactness is purely topological.

Non-Compact Spaces

Some spaces are not compact, such as

  • The open interval (0,1)
  • The real line â„
  • Unbounded Euclidean spaces like â„ⁿ

Any space homeomorphic to these will also be non-compact, further confirming the invariance of compactness under topological equivalence.

We have shown that compactness is a topological property by proving that it is preserved under homeomorphisms. Starting from an open cover of a space Y, we used the continuity and bijective nature of a homeomorphism to transfer the problem to a compact space X. By applying compactness in X, we obtained a finite subcover and mapped it back to Y, proving that Y is also compact.

This result highlights the deep relationship between structure and continuity in topology. Compactness does not depend on distance or shape but only on how open sets interact within a space. This makes it one of the most fundamental and powerful concepts in modern mathematical analysis and topology.