Metric Spaces and Compactness in R^n A metric space is a space with a metric, which is a function that measures the distance between points in the space. In...
A metric space is a space with a metric, which is a function that measures the distance between points in the space. In the context of R^n, the metric is the Euclidean distance, which measures the distance between two points by summing the squares of the differences between their coordinates.
A metric space is compact if every closed subset in the space has a finite diameter, meaning it can be covered by a finite number of balls of equal radius. Intuitively, this means that the space is "well-behaved" and can be represented by a finite number of coordinates.
The following are some key properties of metric spaces:
Closed sets are compact.
Compact sets are sequentially compact.
A space is compact if and only if every sequence in the space has a convergent subnet.
Compact spaces are reflexive.
Every compact space is connected.
Some important theorems about metric spaces and compactness are:
Every infinite metric space has a countable compact subset.
A metric space is compact if and only if it is second-countable.
A metric space is completely regular if it is compact and Hausdorff.
Examples:
R^n: The Euclidean metric on R^n induces the standard topology on the space, making it a compact metric space.
Compact spaces in R^2: The square unit in R^2 is a compact set, while the entire plane is not compact.
Compact spaces in R^3: The sphere in R^3 with radius 1 is a compact set, while the entire space is not compact