User Tools

Site Tools


math104-s22:notes:lecture_16

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
math104-s22:notes:lecture_16 [2022/03/09 23:37]
pzhou created
math104-s22:notes:lecture_16 [2022/03/14 22:58] (current)
pzhou
Line 41: Line 41:
  
 \Leftarrow: suppose EE is not connected, thus E=GHE = G \sqcup H with G,HG, H open in EE (hence both G,HG, H are closed in EE, since G=E\HG = E \RM H, H=E\GH = E\RM G). Let GXG' \In X be a closed subset, such that GE=GG' \cap E = G, then GH=G' \cap H = \emptyset. In particular, GˉG\bar G \In G', hence GˉH=\bar G \cap H = \emptyset. Similarly HˉG=\bar H \cap G=\emptyset, thus G,HG,H are separated.  \Leftarrow: suppose EE is not connected, thus E=GHE = G \sqcup H with G,HG, H open in EE (hence both G,HG, H are closed in EE, since G=E\HG = E \RM H, H=E\GH = E\RM G). Let GXG' \In X be a closed subset, such that GE=GG' \cap E = G, then GH=G' \cap H = \emptyset. In particular, GˉG\bar G \In G', hence GˉH=\bar G \cap H = \emptyset. Similarly HˉG=\bar H \cap G=\emptyset, thus G,HG,H are separated. 
- 
- 
- 
-===== Continuous Maps and Compactness, Connectedness ===== 
-Prop: If f:XYf: X \to Y is continuous, and KXK \In X is compact, then f(K)f(K) is compact. \\ 
-Proof: any open cover of f(K)f(K) can be pulled back to be an open cover of KK, then we can pick a finite subcover in the domain, and the corresponding cover in the target forms a cover of f(K)f(K) 
- 
-We can also prove using sequential compactness. To see any sequence in f(K)f(K) subconverge, we can lift that sequence back to KK, find a convergent subsequence, and push them back to f(K)f(K) 
- 
-Lemma: if f:XYf: X \to Y is continuous, then for any EXE \In X, fE:EYf|_E: E \to Y is continuous.  
- 
-Lemma: if f:XYf: X \to Y is continuous, then f:Xf(X)f: X \to f(X) is continuous.  
- 
-Prop: If f:XYf: X \to Y is continuous, and KXK \In X is connected, then f(K)f(K) is connected. \\ 
-Pf: first, note that map f:Kf(K)f: K \to f(K) is also continuous. If f(K)f(K) is the disjoint union of two non-empty open subsets, f(K)=UVf(K) = U \cap V, then K=f1(U)f1(V)K = f^{-1}(U) \cap f^{-1}(V) the disjoint union of two non-empty open subsets of KK 
- 
-Intermediate value theorem: if [a,b]R[a,b] \In \R, and f:RRf: \R \to \R is continuous, then f([a,b])f([a,b]) is also a closed interval. \\ 
-Proof: since [a,b][a,b] is compact, hence f([a,b])f([a,b]) is compact, hence closed. Since [a,b][a,b] is connected, hence f([a,b])f([a,b]) 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 f:XYf: X \to Y be any map, and let xXx \in X be a point, we say **ff is continuous at xx**, if for any $\epsilon>0$, there exists $\delta>0$, such that f(Bδ(x))Bϵ(f(x))f(B_\delta(x)) \In B_\epsilon(f(x)) 
- 
-Def: Let EXE \In X and f:EYf: E \to Y. Suppose xEˉx \in \bar E. We say limpxf(p)=y\lim_{p \to x} f(p) = y if for any convergent sequence pnxp_n \to x with pnEp_n \in E, we have f(pn)yf(p_n) \to y 
- 
-note that xx may not be in EE 
- 
-Prop: f:XYf: X \to Y is continuous at xXx \in X, if and only if limpxf(p)=f(x)\lim_{p \to x} f(p) = f(x) 
- 
- 
-If f:(a,b)Rf: (a,b) \to \R is a function, and ff is not continuous at some x(a,b)x \in (a,b), then  
-  * if limtxf(t)\lim_{t \to x-} f(t) and limtx+f(t)\lim_{t \to x+} f(t) both exists, but does not equal to f(x)f(x), we say this is a simple discontinuity, or first kind discontinuity 
-  * otherwise, it is called a second kind.  
- 
-===== Uniform Continuity ===== 
-We say a function f:XYf: X \to Y is uniformly continuous, if for any ϵ>0\epsilon >0, there exists δ>0\delta > 0, such that for any pair x1,x2Xx_1, x_2 \in X with $d(x_1, x_2)<\delta$, we have d(f(x1),f(x2))<ϵd(f(x_1), f(x_2))< \epsilon 
- 
-For example, the function f:(0,1)Rf: (0, 1) \to \R f(x)=1/xf(x) =1 /x is continuous but not uniformly continuous. 
  
  
math104-s22/notes/lecture_16.1646897859.txt.gz · Last modified: 2022/03/09 23:37 by pzhou