|
Size: 1118
Comment:
|
Size: 1686
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| A set ''E'' is ''compact'' if and only if, for every family | '''Definition''' A set ''E'' is ''compact'' if and only if, for every family |
| Line 3: | Line 3: |
| [[latex2($E \subset \cup_{\alpha \in A}G_{\alpha}$)]], there is a finite set | [[latex2($E \subset \bigcup_{\alpha \in A}G_{\alpha}$)]], there is a finite set |
| Line 5: | Line 5: |
| [[latex2($E \subset \cup_{i=1}^{n} G_{\alpha_i}$)]]. | [[latex2($E \subset \bigcup_{i=1}^{n} G_{\alpha_i}$)]]. |
| Line 8: | Line 8: |
| [[latex2($G_n = \(\frac{1}{n},2\)$)]]. If | [[latex2($G_n = \left(\frac{1}{n},2\right)$)]]. If |
| Line 10: | Line 10: |
| [[latex2($\frac{1}{n}<x$)]]; hence, | [[latex2($\frac{1}{n} < x$)]]; hence, |
| Line 12: | Line 12: |
| [[latex2($$E \subset \cup_{n=1}^{\infty}G_n$$)]] If we choose a finite set | [[latex2($$E \subset \bigcup_{n=1}^{\infty}G_n$$)]] If we choose a finite set |
| Line 14: | Line 17: |
[[latex2($$\bigcup_{i=1}^{r} G_{n_i}=G_{n_0}$$)]] where [[latex2($n_0=\max\{n_1,...,n_r\}$)]] and [[latex2($$E \not\subset G_{n_0}=\left(\frac{1}{n_0},2\right)$$)]] Thus, we have a family of open sets [[latex2($\{G_n\}_{n \in J}$)]] such that [[latex2($E \subset \bigcup_{n \in J} G_n$)]], but no finite subfamily has this property. From the definition, it is clear that ''E'' is not compact. |
|
| Line 17: | Line 31: |
| Example [2,8] is a compact set. The unit disk including the boundary is a compact set. (3,5] is not a compact set. Note that all of these examples are of sets that are uncountably infinite. | '''Examples:''' |
| Line 19: | Line 33: |
| Introduction to Analysis 5th edition by Edward D. Gaughan | * [2,8] is a compact set. * The unit disk including the boundary is a compact set. * (3,5] is not a compact set. Note that all of these examples are of sets that are uncountably infinite. ''Definitions from: Introduction to Analysis 5th edition by Edward D. Gaughan'' '''Theorom:''' The union of compact sets is compact. |
Definition A set E is compact if and only if, for every family latex2($\{G_{ \alpha } \}_{\alpha \in A}$) of open sets such that latex2($E \subset \bigcup_{\alpha \in A}G_{\alpha}$), there is a finite set latex2($\{\alpha_1 ,..., \alpha_n \} \subset A$) such that latex2($E \subset \bigcup_{i=1}^{n} G_{\alpha_i}$).
Example: Let E=(0,1] and for each positive integer n, let latex2($G_n = \left(\frac{1}{n},2\right)$). If latex2($0<x \leq 1$), there is a positive integer n such that latex2($\frac{1}{n} < x$); hence, latex2($x \in G_n$), and thus
latex2($$E \subset \bigcup_{n=1}^{\infty}G_n$$)
If we choose a finite set latex2($n_1,...,n_r$) of positive integers, then
latex2($$\bigcup_{i=1}^{r} G_{n_i}=G_{n_0}$$)
where latex2($n_0=\max\{n_1,...,n_r\}$) and
latex2($$E \not\subset G_{n_0}=\left(\frac{1}{n_0},2\right)$$)
Thus, we have a family of open sets latex2($\{G_n\}_{n \in J}$) such that latex2($E \subset \bigcup_{n \in J} G_n$), but no finite subfamily has this property. From the definition, it is clear that E is not compact.
Heine-Borel Theorom: A set latex2(\usepackage{amsfonts} % $E \subset \mathbb{R}$) is compact iff E is closed and bounded.
Examples:
- [2,8] is a compact set.
- The unit disk including the boundary is a compact set.
- (3,5] is not a compact set.
Note that all of these examples are of sets that are uncountably infinite.
Definitions from: Introduction to Analysis 5th edition by Edward D. Gaughan
Theorom: The union of compact sets is compact.