Length of complement:
So length()=0 but is uncountable with cardinality equal to
Fractal Dimension
, Let number of intervals of size it takes to cover
Dimension must be bounded
Example
if is finite
Open Set
A set is open if for all there exists an
Limit Point
A point is called a limit point of a set if every intersects at some point other than
Thm Limits and Limit Points
is a limit point of set iff for some sequence contained in A satisfying for all .
in order to distinguish it from isolated points. It may not be in the set while an isolated point is always in the set.
Proof
assume is a limit point of .
Since it's a limit point for each we can pick:
with the stipulation that . Clearly . assume where but . Let be arbitrary. By the definition of convergence there exists a term a in the sequence satisfying ,and the proof is complete.
Isolated Point
A point is an isolated point it is not a limit point of
Closed Set
A set is closed if it contains all its limit points
Thm Cauchy and Closed
A set is closed iff every Cauchy sequence contained in has a limit in
Proof
Let be closed. Assume that is a Cauchy sequence such that for all
Since every Cauchy sequence is convergent then so that then since is a limit point by definition then it must be in .
If every Cauchy sequence has a limit in then so does every convergent sequence
Thm Density and Limit Points
For every there exists a sequence of rational numbers that converge to
Closure of a set
Given a set let be the the set of all limit points of
For any , is closed and is the smallest closed set that contains .
Let be open
Let be a limit point of
Every neighbourhood of contains some or for some . So
Let be closed. Since is closed. Let . cannot be a limit point, so that
Union and Intersection Theorems
De Morgan's Law
For any collection of sets
1) The unions of an arbitrary collection of open sets is open 2) The intersection of finitely many open sets is open 3) The intersection of an arbitrary collection of open sets is open 4) The union of finitely many closed sets is closed
Proof
Let
If then for some there exists
Suppose are open
let
For each there exists
Take , Then for all
Thm Open from Disjoint Open
Every open set can be written as a countable union of (disjoint) open intervals
Interior/Exterior/Boundary Points
Let
is an interior point if there exists so that ()
is an exterior point if there exists so that ()
a boundary point is not interior or not exterior (), limit point of and , ( and )
for since so is a limit point of which is a contradiction since is closed
Let , let be a limit point
suppose that
Since it's a limit point
Sine
So
Compact Sets
is compact if every sequence in has a subsequence that converges to a limit in .
Thm. Sup and Inf in Compact
If is compact and nonempty then and both exist in
Proof
Let , for any we can pick an such that , thus . Therefore . Same idea for .
Bounded Sets
Set is bounded iff there exists s.t
Thm Compact Closed Bounded
A is compact iff it is closed and bounded
Ex. Cantor set is compact
Proof
Let be compact. For contradiction, assume it is not bounded.
Then there exists with and there is an with . Since is compact there exists a convergent subsequence of , , But , so is not bounded and therefore not convergent and has no convergent subsequence, so it can't be in .
Let be closed and bounded. Let be a sequence in . Since is bounded is bounded by BW, has a convergent subsequence . Since is closed converges to an element of .
Thm Nested Compact Sets
If
s a nested sequence of nonempty compact sets, then the intersection
Open Cover
Let .
An open cover for is a (possibly infinite) collection of open sets whose union contains the set or:
\lvert y_{N}-y \rvert <\min\left{ \frac{\lvert x_{i}-y \rvert}{2}:1\leq i\leq n \right}