Professional Documents
Culture Documents
Theorem Bolzano Prove
Theorem Bolzano Prove
May 2, 2023
Lets prove that if (M, d) is a metric space ,let be S ⊆ M a compact subset, hence it is bounded
and close.
Let’s first defined what is a compact set. Let be uα a bunch open sets such that :
[
S⊆ uα
α
So we can write :
∞
[
S⊆ Bn (p) = M
i=1
S ⊆ Br (p)
But that is the definition of bounded set. Hence, if S is compact set, so it is necessarily bounded.
1
2. Compact sets is close
Lets take a point x outside S and construct close balls around this point :
We are taking the closure of the open set B 1 (x), so the close ball is a close set. Lets now take
n
the complement of this ball :
C
B 1 (x)
n
The complement of the close ball is necessarily open, we will represent this open set by :
C
B 1 (x) = S 1 (x)
n n
We think about S 1 (x) as being the open set that contains all the points that are outside the
n
close ball. Hence :
∞
[
S ⊆ M \(x) = S 1 (x)
n
n=1
Assume that these sequence of S 1 (x) are ordered. Therefore, we can write :
n
2
But this means that the complement of S is open, so S must be close.