Table of Contents
The study of continuous functions is a fundamental part of topology and analysis. One interesting question is: how “large” is the set of all continuous functions from one space to another? This idea is formalized through the concept of cardinality, which measures the size of infinite sets.
What Is Cardinality?
Cardinality is a way to compare the sizes of sets, even infinite ones. For example, the set of natural numbers has a cardinality called aleph-null (ℵ₀), which is the smallest infinity. The set of real numbers has a larger cardinality called the continuum, often denoted as 𝓬.
Continuous Functions and Their Space
The space of continuous functions, usually denoted as C(X, Y), consists of all functions from a space X to a space Y that are continuous. When X and Y are topological spaces, understanding how many such functions exist can reveal deep properties about these spaces.
Cardinality of Continuous Functions from a Compact Interval
Consider the space of continuous functions from the interval [0, 1] to the real numbers ℝ. Since [0, 1] is compact and connected, and ℝ is uncountably infinite, the set C([0, 1], ℝ) has the same cardinality as the set of all real-valued functions on [0, 1].
It can be shown that the cardinality of C([0, 1], ℝ) is equal to 𝓬, the cardinality of the continuum. This is because each continuous function is determined by its values on a dense subset, and there are only 𝓬 many such functions.
General Results on Cardinality
More generally, if X is an uncountable compact space and Y is an uncountable Hausdorff space, then the set of continuous functions C(X, Y) often has the same cardinality as the set of all functions from X to Y. This cardinality can be as large as 2^|X|, where |X| is the cardinality of the space X.
Summary of Key Points
- The cardinality of the set of continuous functions depends on the spaces involved.
- For [0, 1] to ℝ, the cardinality is the continuum 𝓬.
- In many cases, the cardinality of C(X, Y) equals 2^|X|.
- This reflects the vast diversity of continuous functions even on “small” spaces.
Understanding the size of these sets helps mathematicians grasp the richness of continuous functions and the structure of the spaces they connect. It also highlights the profound differences between finite and infinite sets in analysis.