Lecture 9
Review
- Let (and as usual, let ). What is the set
- Let (and let be as usual). What is the set .
- Let and let . Is open? No, is not a interior point.
- Let and let . Is open? Yes, is a interior point, we can set radius to and all the points of
Continue on new materials
Metric space
Theorem 2.27
If is a metric spae and , then.
- is closed.
- if and only if is closed. Proof: is closed.
- for every closed set such that . closed, and , so
Theorem 2.28
non- and bounded above,
Proof:
Let , To show , we need to show ,
Let . Since is not an upper bound of , such that .
Since is an upper bound of , . So , so .
EOP
Remark 2.29
Let be a metric space, . " is open" is short for " is open in "/ is open relative to .
This means , .
Suppose . .
Example: , , , is open in , is not open on .
Theorem 2.30
Let ,then is open in open in such that
Proof:
Observe. If , then (ball in and ball in ).
Suppose open in such that . Let . Then so such that intersect both sides with to get
Suppose is open in . Then such that
Let , .
Each is open in so is open in . We need to show .
To show . . So . Also, by assumption, .
To show .
EOP
Compact sets
Definition 2.31/2.32
Let be a metric space .
Let be an index set. Suppose , is an open set (in ) and suppose . Then we say is an open cover of .
Let be an open cover of . Suppose such that . Then we say is a finite subcover of of .
Definition
We say is compact if every open cover of contains a finite subcover.
i.e. (This is important) open cover of , finite subcover of of .
Examples: .
1.. is not compact.
as we can build an infinite open cover and it does not have a finite subcover because:
Suppose we consider the sub-collection , Then is not in the union, where .
EOP