This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
math104-s22:notes:lecture_16 [2022/03/09 23:38] pzhou |
math104-s22:notes:lecture_16 [2022/03/14 22:58] (current) pzhou |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Lecture 16 - 17 ====== | + | ====== Lecture 16 ====== |
===== connectedness ===== | ===== connectedness ===== | ||
Line 41: | Line 41: | ||
: | : | ||
- | |||
- | |||
- | |||
- | ===== Continuous Maps and Compactness, | ||
- | Prop: If is continuous, and is compact, then is compact. \\ | ||
- | Proof: any open cover of can be pulled back to be an open cover of , then we can pick a finite subcover in the domain, and the corresponding cover in the target forms a cover of . | ||
- | |||
- | We can also prove using sequential compactness. To see any sequence in subconverge, | ||
- | |||
- | Lemma: if is continuous, then for any , is continuous. | ||
- | |||
- | Lemma: if is continuous, then is continuous. | ||
- | |||
- | Prop: If is continuous, and is connected, then is connected. \\ | ||
- | Pf: first, note that map is also continuous. If is the disjoint union of two non-empty open subsets, , then the disjoint union of two non-empty open subsets of . | ||
- | |||
- | Intermediate value theorem: if , and is continuous, then is also a closed interval. \\ | ||
- | Proof: since is compact, hence is compact, hence closed. Since is connected, hence is connected, hence an interval, a closed interval. | ||
- | |||
- | ===== Discontinuity ===== | ||
- | Now we will leave the safe world of continuous functions. We consider more subtle cases of maps. | ||
- | |||
- | Def: Let be any map, and let be a point, we say ** is continuous at **, if for any $\epsilon> | ||
- | |||
- | Def: Let and . Suppose . We say if for any convergent sequence with , we have . | ||
- | |||
- | note that may not be in . | ||
- | |||
- | Prop: is continuous at , if and only if . | ||
- | |||
- | |||
- | If is a function, and is not continuous at some , then | ||
- | * if and both exists, but does not equal to , we say this is a simple discontinuity, | ||
- | * otherwise, it is called a second kind. | ||
- | |||
- | ===== Uniform Continuity ===== | ||
- | We say a function is uniformly continuous, if for any , there exists , such that for any pair with $d(x_1, x_2)< | ||
- | |||
- | For example, the function is continuous but not uniformly continuous. | ||