Shawn Zhong

Shawn Zhong

钟万祥
  • Tutorials
  • Mathematics
    • Math 240
    • Math 375
    • Math 431
    • Math 514
    • Math 521
    • Math 541
    • Math 632
    • Abstract Algebra
    • Linear Algebra
    • Category Theory
  • Computer Sciences
    • CS/ECE 252
    • CS/ECE 352
    • Learn Haskell
  • Projects
    • 2048 Game
    • HiMCM 2016
    • 登峰杯 MCM
  • Course Notes
    • AP Microecon
    • AP Macroecon
    • AP Statistics
    • AP Chemistry
    • AP Physics E&M
    • AP Physics Mech
    • CLEP Psycho

Shawn Zhong

钟万祥
  • Tutorials
  • Mathematics
    • Math 240
    • Math 375
    • Math 431
    • Math 514
    • Math 521
    • Math 541
    • Math 632
    • Abstract Algebra
    • Linear Algebra
    • Category Theory
  • Computer Sciences
    • CS/ECE 252
    • CS/ECE 352
    • Learn Haskell
  • Projects
    • 2048 Game
    • HiMCM 2016
    • 登峰杯 MCM
  • Course Notes
    • AP Microecon
    • AP Macroecon
    • AP Statistics
    • AP Chemistry
    • AP Physics E&M
    • AP Physics Mech
    • CLEP Psycho

Math 521

Home / Mathematics / Notes / Math 521 / Page 2

Math 521 - 4/25

  • May 03, 2018
  • Shawn
  • Math 521
  • No comments yet
Definition 5.1: Derivative • Let f be defined (and real-valued) on [a,b] • ∀x∈[a,b], let ϕ(t)=(f(t)−f(x))/(t−x) (a t b, t≠x) • Define f^′ (x)=(lim)_(t→x)⁡ϕ(t), provided that this limit exists • f′ is called the derivative of f • If f′ is defined at point x, f is differentiable at x • If f′ is defined ∀x∈E⊂[a,b], then f is differentiable on E Theorem 5.2: Differentiability Implies Continuity • Statement ○ Let f be defined on [a,b] ○ If f is differentiable at x∈[a,b] then f is continuous at x • Proof ○ lim_(t→x)⁡(f(t)−f(x))=lim_(t→x)⁡((f(t)−f(x))/(t−x) (t−x))=lim_(t→x)⁡(f^′ (x)(t−x))=0 ○ So lim_(t→x)⁡f(t)=f(x) Theorem 5.5: Chain Rule • Statement ○ Given § f is continuous on [a,b], and f^′ (x) exists at x∈[a,b] § g is defined on I⊃im(f), and g is differentiable at f(x) ○ If h(t)=g(f(t)) (a≤t≤b), then ○ h is differentiable at x, and h^′ (x)=g^′ (f(x))⋅f^′ (x) • Proof ○ Let y=f(x) ○ By the definition of derivative § f(t)−f(x)=(t−x)(f^′ (x)+u(t)), where t∈[a,b], lim_(t→x)⁡u(t)=0 § g(s)−g(y)=(s−y)(g^′ (y)+v(s)), where s∈I, lim_(s→y)⁡v(s)=0 ○ Let s=f(t), then § h(t)−h(x)=g(f(t))−g(f(x)) § =(f(t)−f(x))(g^′ (y)+v(s)) § =(t−x)(f^′ (x)+u(t))(g^′ (y)+v(s)) ○ If t≠x, then § (ht)−hx))/(t−x)=(f^′ (x)+u(t))(g^′ (y)+v(s)) ○ As t→x § u(t)→0, and v(s)→s § So s=f(t)→f(x)=y by continuity § Therefore h′ (x)=lim_(t→x)⁡〖(ht)−hx))/(t−x)〗=f^′ (x) g^′ (y)=g^′ (f(x)) f^′ (x) Definition 5.7: Local Maximum and Local Minimum • Let X be a metric space, f:X→R • f has a local maximum at p∈X if ∃δ 0 s.t. ○ f(q)≤f(p),∀q∈X s.t. d(p,q) δ • f has a local minimum at p∈X if ∃δ 0 s.t. ○ f(q)≥f(p),∀q∈X s.t. d(p,q) δ Theorem 5.8: Local Extrema and Derivative • Statement ○ Let f be defined on [a,b] ○ If f has a local maximum (or minimum) at x∈(a,b) ○ Then f^′ (x)=0 if it exists • Proof ○ By Definition 5.7, choose δ, then § a x−δ x x+δ b ○ Suppose x−δ t x § (f(t)−f(x))/(t−x)≥0 § Let t→x (with t x), then f^′ (x)≥0 ○ Suppose x t x+δ § (f(t)−f(x))/(t−x)≤0 § Let t→x (with t x), then f^′ (x)≤0 ○ Therefore f^′ (x)=0
Read More >>

Math 521 - 4/23

  • May 03, 2018
  • Shawn
  • Math 521
  • No comments yet
Definition 2.45: Connected Set • Let X be a metric space, and A,B⊂X • A and B are separated if ○ A∪B ̅=∅ and A ̅∪B=∅ ○ i.e. No point of A lies in the closure of B and vice versa • E⊂X is connected if ○ E is not a union of two nonempty separated sets Theorem 2.47: Connected Subset of R • Statement ○ E⊂R is connected if and only if E has the following property ○ If x,y∈E and x z y, then z∈E • Proof (⟹) ○ By way of contrapositive, suppose ∃x,y∈E, and z∈(x,y) s.t. z∉E ○ Let A_z=E∩(−∞,z) and B_z=E∩(z,+∞) ○ Then A_z and B_z are separated and E=A_z∪B_z ○ Therefore E is not connected • Proof (⟸) ○ By way of contrapositive, suppose E is not connected ○ Then there are nonempty separated sets A and B s.t. E=A∪B ○ Let x∈A,y∈B. Without loss of generality, assume x y ○ Let z≔sup⁡(A∩[x,y]). Then by Theorem 2.28, z∈A ̅ ○ By definition of E, z∉B. So, x≤z y ○ If z∉A § x∈A and z∉A § ⇒x z y § ⇒z∉E ○ If z∈A § Since A and B are separated, z∉B ̅ § So ∃z_1 s.t. z z_1 y and z_1∉B § Then x z_1 y, so z_1∉E Theorem 4.22: Continuous Mapping of Connected Set • Statement ○ Let X,Y be metric spaces ○ Let f:X→Y be a continuous mapping ○ If E⊂X is connected then f(E)⊂Y is also connected • Proof ○ Suppose, by way of contradiction, that f(E) is not connected ○ "i.e." f(E)=A∪B, where A,B⊂Y are nonempty and separated ○ Let G≔E∩f^(−1) (A) and H≔E∩f^(−1) (B) ○ Then E=G∪H, where G,H≠∅ ○ Since A⊂A ̅, we have G⊂f^(−1) (A ̅ ) ○ Since f is continuous and A ̅ is closed, f^(−1) (A ̅ ) is also closed ○ Therefore G ̅⊂f^(−1) (A ̅ ), and hence f(G ̅ )⊂A ̅ ○ Since f(H)=B and A ̅∩B=∅, we have G ̅∩H=∅ ○ Similarly, G∩H ̅=∅ ○ So, G and H are separated ○ This is a contradiction, therefore f(E) is connected Theorem 4.23: Intermediate Value Theorem • Statement ○ Let f:R→R be continuous on [a,b] ○ If f(a) f(b) and if c statifies f(a) c f(b) ○ Then ∃x∈(a,b) s.t. f(x)=c • Proof ○ By Theorem 2.47, [a,b] is connected ○ By Theorem 4.22, f([a,b]) is a connected subset of R ○ By Theorem 2.47, the result follows
Read More >>

Math 521 - 4/20

  • Apr 22, 2018
  • Shawn
  • Math 521
  • No comments yet
Uniform Continuity • Let X,Y be metric spaces, f:X→Y • f is uniformly continuous on X if for every ε 0, ∃δ 0 s.t. • If p,q∈X and d_X (p,q) δ, then d_Y (f(p),f(q)) ε Theorem 4.19 • Statement ○ Let X,Y be metric spaces, X compact ○ If f:X→Y is continuous, then f is also uniformly continuous • Proof ○ Let ε 0 be given ○ Since f is continuous, ∀p∈X, ∃ϕ(p) s.t. § If q∈X, and d_X (p,q) ϕ(p), then d_Y (f(p),f(q)) ε/2 ○ Let J(p)≔{q∈X│d_X (p,q) 1/2 ϕ(p) } § p∈J(p),∀p∈X, so {J(p)} is an open cover of X § Since X is compact, {J(p)} has a finite subcover § There exists finite set of points p_1,…,p_n∈X s.t. § X⊂J(p_1 )∪…∪J(p_n ) ○ Let δ=1/2 min⁡{ϕ(p_1 ),…,ϕ(p_n )} 0 § Given p,q∈X s.t. d_X (p,q) δ § Since X⊂J(p_1 )∪…∪J(p_n ), § ∃m∈{1,2,…,n} s.t. p∈J(p_m ) ○ Hence § d_X (p,p_m ) 1/2 ϕ(p_m ) ϕ(p_m ) § d_X (q,p_m )≤d_X (p,q)+d_X (p,p_m ) δ+1/2 ϕ(p_m )≤ϕ(p_m ) ○ By the triangle inequality and definition of ϕ(p), ○ d_Y (f(p),f(q))≤d_Y (f(p),f(p_m ))+d_Y (f(p_m ),f(q)) ε/2+ε/2=ε Theorem 4.20 • Definition ○ Let E be noncompact set in R ○ Then there exists a continuous function f on E s.t. (a) f is not bounded (b) f is bounded but has no maximum (c) E is bounded, but f is not uniformly continuous • Proof : If E is bounded ○ Since E is noncompact, E must be not closed ○ So there exists a limit point x_0∈E s.t. x_0∉E ○ f(x)≔1/(x−x_0 ) establishes (c) § f is continuous by Theorem 4.9 § f is clearly unbounded § f is not uniformly continuous □ Let ε 0 and δ 0 be arbitrary □ Choose x∈E s.t. |x−x_0 | δ □ Taking t close to x_0 □ We can make |f(t)−f(x)| ε, but |t−x| δ □ Since δ 0 is arbitrary ○ g(x)≔1/(1+(x−x_0 )^2 ) establishes (b) § g is continuous by Theorem 4.9 § g is bounded, since 0 g(x) 1 § g has no maximum, since sup┬(x∈E)⁡g(x)=1, but g(x) 1 • Proof: If E is not bounded ○ f(x)≔x establishes (a) ○ h(x)≔x^2/(1+x^2 ) establishes (b) Example 4.21 • Let X=[0,2π) • Let f:X→Y given by f(t)=(cos⁡t,sin⁡t ) • Then f is continuous, and bijective • But f^(−1) is not continuous at f(0)=(1,0)
Read More >>

Math 521 - 4/18

  • Apr 22, 2018
  • Shawn
  • Math 521
  • No comments yet
Bounded • A mapping f:E→Rk is bounded if • there is a real number M s.t. |f(x)|≤M,∀x∈E Theorem 4.14 • Statement ○ Let X,Y be metric spaces, X compact ○ If f:X→Y is continuous, then f(X) also is compact • Proof ○ Let {V_α } be an open cover of f(X) ○ f is continuous, so each of the sets f^(−1) (V_α ) is open by Theorem 4.8 ○ {f^(−1) (V_α )} is an open cover of X, and X is compact ○ So there is a finite set of indices {α_1,α_2,…,α_n } s.t. ○ X⊂f^(−1) (V_(α_1 ) )∪f^(−1) (V_(α_2 ) )∪…∪f^(−1) (V_(α_n ) ) ○ Since f(f^(−1) (E))⊂E,∀E⊂Y ○ f(X)⊂V_(α_1 )∪V_(α_2 )∪…∪V_(α_n ) ○ This is a finite subcover of f^(−1) (X) Theorem 4.15 • Statement ○ Let X be a compact metric space ○ If f:X→Rk is continuous, then f(X) is closed and bounded ○ Thus, f is bounded • Proof ○ See Theorem 4.14 and Theorem 2.41 Theorem 4.16 (Extreme Value Theorem) • Statement ○ Let f be a continuous real function on a compact metric space X ○ Let M≔sup┬(p∈X)⁡f(p), m≔inf┬(p∈X)⁡f(p) ○ Then ∃p,q∈X s.t. f(p)=M and f(q)=m ○ Equivalently, ∃p,q∈X s.t. f(q)≤f(x)≤f(p),∀x∈X • Proof ○ By Theorem 4.15, f(X) is closed and bounded ○ So f(x) contains M and m by Theorem 2.28 Theorem 4.17 • Statement ○ Let X,Y be metric spaces, X compact ○ Suppose f:X→Y is continuous and bijictive ○ Define f^(−1):Y→X by f^(−1) (f(x))=x,∀x∈X ○ Then f^(−1) is also continuous and bijective • Proof ○ By Theorem 4.8 applied to f^(−1) ○ It suffices to show f(V) is open in Y for all open sets V in X ○ Fix an open set V in X ○ V is open in compact metric space X ○ So V^c is closed and compact by Theorem 2.35 ○ Therefore, f(V^c ) is a compact subset of Y by Theorem 4.14 ○ So f(V^c ) is closed in Y by Theorem 2.34 ○ f is 1-1 and onto, so f(V)=(f(V^c ))^c ○ Therefore f(V) is open
Read More >>

Math 521 - 4/16

  • Apr 22, 2018
  • Shawn
  • Math 521
  • No comments yet
Continuous • Definition ○ Suppose X,Y are metric spaces, E⊂X, p∈E, and f:E→Y ○ f is continuous at p if for every ε 0, there exists δ 0 s.t. ○ If x∈E,d_X (x,p) δ, then d_Y (f(x),f(p)) ε ○ If f is continuous at every point p∈E, then f is continuous on E • Note ○ f must be defined at p to be continous at p (as opposed to limit) ○ If p is an isolated point of E ○ Then every function f whose domain is E is continous at p Theorem 4.6 • In the context of Definition 4.5, if p is also a limit point of E, then • f is continious at p if and only if (lim)_(x→p)⁡f(x)=f(p) Theorem 4.7 • Statement ○ Suppose X,Y,Z are metric spaces, E⊂X,f:E→Y, g:f(E)→Z, and ○ h:E→Z defined by h(x)=g(f(x)),∀x∈E ○ If f is continuous at p∈E, and g is continuous at f(p) ○ Then h is continuous at p • Note: h is called the composition of f and g and is called g∘f • Proof ○ Let ε 0 be given ○ Since g is continuous at f(p),∃η 0 s.t. § If y∈f(E) and d_Y (y,f(p)) η, then d_Z (g(y),g(f(p))) ε ○ Since f is continuous at p, ∃δ 0 s.t. § If x∈E and d_X (x,p) δ, then d_Y (f(x),f(p)) η ○ Consequently, if d_X (x,p) δ, and x∈E, then § d_Z (g(f(x)),g(f(p)))=d_Z (hx),hp)) ε ○ So, h is continuous at p by definition Theorem 4.8 • Statement ○ Given metric spaces X,Y ○ f:X→Y is continuous if and only if ○ f^(−1) (V) is open in X for every open set V⊂Y • Proof (⟹) ○ Suppose f is continuous on X, and V⊂Y is open ○ We want to show all points of f^(−1) (V) are interior points ○ Suppose p∈X, and f(p)∈V, then p∈f^(−1) (V) ○ V is open, so ∃ε 0 s.t. y∈V if d_Y (f(p),y) ε ○ Since f is continuous at p, ∃δ 0 s.t. § If d_X (x,p) δ, then d_Y (f(x),f(p)) ε ○ So x∈f^(−1) (V) if d_X (x,p) δ ○ This shows that p is an interior point of f^(−1) (V) ○ Therefore f^(−1) (V) is open in X • Proof (⟸) ○ Suppose f^(−1) (V) is open in X for every open set V⊂Y ○ Fix p∈X, ε 0 ○ Let V≔{y∈Y│d_Y (y,f(p)) ε } ○ V is open, so f^(−1) (V) is also open ○ Thus, ∃δ 0 s.t. if d_X (p,x) δ, then x∈f^(−1) (V) ○ But if x∈f^(−1) (V), then f(x)∈V so d_Y (f(x),f(p)) ε ○ So, f:X→Y is continuous at p ○ Since p∈X was arbitrary, f is continuous on X • Corollary ○ Given metric spaces X,Y ○ f:X→Y is continuous on X if and only if ○ f^(−1) (V) is closed in X for every closed set V in Y • Proof ○ A set is closed if and only if its complement is open ○ Also, f^(−1) (E^c )=[f^(−1) (E)]^c, for every E⊂Y
Read More >>
  • 1
  • 2
  • 3
  • 4
  • …
  • 8

Search

  • Home Page
  • Tutorials
  • Mathematics
    • Math 240 - Discrete Math
    • Math 375 - Linear Algebra
    • Math 431 - Intro to Probability
    • Math 514 - Numerical Analysis
    • Math 521 - Analysis I
    • Math 541 - Abstract Algebra
    • Math 632 - Stochastic Processes
    • Abstract Algebra @ 万门大学
    • Linear Algebra @ 万门大学
    • Category Theory
  • Computer Sciences
    • CS/ECE 252 - Intro to Computer Engr.
    • CS/ECE 352 - Digital System Fund.
    • Learn Haskell
  • Projects
    • 2048 Game
    • HiMCM 2016
    • 登峰杯 MCM
  • Course Notes
    • AP Macroeconomics
    • AP Microeconomics
    • AP Chemistry
    • AP Statistics
    • AP Physics C: E&M
    • AP Physics C: Mechanics
    • CLEP Psychology

WeChat Account

Categories

  • Notes (418)
    • AP (115)
      • AP Macroeconomics (20)
      • AP Microeconomics (23)
      • AP Physics C E&M (25)
      • AP Physics C Mechanics (28)
      • AP Statistics (19)
    • Computer Sciences (2)
    • Mathematics (300)
      • Abstract Algebra (29)
      • Category Theory (7)
      • Linear Algebra (29)
      • Math 240 (42)
      • Math 375 (71)
      • Math 514 (18)
      • Math 521 (39)
      • Math 541 (39)
      • Math 632 (26)
  • Projects (4)
  • Tutorials (11)

Archives

  • October 2019
  • May 2019
  • April 2019
  • March 2019
  • February 2019
  • December 2018
  • November 2018
  • October 2018
  • September 2018
  • July 2018
  • May 2018
  • April 2018
  • March 2018
  • February 2018
  • January 2018
  • December 2017
  • November 2017
  • October 2017
  • September 2017
  • August 2017
  • July 2017
  • June 2017

WeChat Account

Links

RobeZH's thoughts on Algorithms - Ziyi Zhang
Copyright © 2018.      
TOP