Math 4111 Final Review
Weierstrass M-test
Let be a series of functions.
The weierstrass M-test goes as follows:
- such that .
- converges.
Then converges uniformly.
Example:
Ver.0
,
converges. (point-wise convergence on )
,
Since diverges, we don’t know if the series converges uniformly or not using the weierstrass M-test.
Ver.1
However, if we consider the series on ,
converges uniformly. Let . This satisfies the weierstrass M-test. And this series converges uniformly on .
Ver.2
,
converges uniformly. Since , by geometric series test, converges.
M-test still not applicable here.
converges uniformly on .
Comparison test:
For a series , if
- such that
- converges
Then converges.
Proving continuity of a function
If is continuous at , then for any , there exists such that for any , if , then .
Example:
Let . For , prove that is continuous at .
Let be given. Let . Then for any , if , then
Therefore, is continuous at .
You can also use smaller and we don’t need to find the “optimal” .
Play of open covers
Example of non compact set:
is not compact, we can construct an open cover .
Every unbounded set is not compact, we construct an open cover .
Every k-cell is compact.
Every finite set is compact.
Let and is compact. Then is not compact, we can construct an open cover .
If is closed in and is compact, then is compact.
Proof:
Let be an open cover of .
is open in , if and only if is closed in .
Since is opened in , is an open cover of .
Since is compact, there exists a finite subcover of .
Since is not in the subcover, is a finite subcover of .
Therefore, is compact.
Cauchy criterion
In sequences
Def: A sequence is Cauchy if for any , there exists such that for any , .
Theorem: In , every sequence is Cauchy if and only if it is convergent.
In series
Let .
Def: A series converges if the sequence of partial sums converges.
, there exists such that for any ,
Comparison test
If and converges, then converges.
Proof:
Since converges, , there exists such that for any ,
By triangle inequality,
Therefore, , there exists such that for any ,
Therefore, is Cauchy, and converges.