User Tools

Site Tools


math104-s21:s:antonthan

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
math104-s21:s:antonthan [2021/05/07 02:30]
45.48.153.5 [Problem 15]
math104-s21:s:antonthan [2022/01/11 18:30] (current)
24.253.46.239 ↷ Links adapted because of a move operation
Line 50: Line 50:
 === (a) === === (a) ===
  
-We show that Cauchy condition on B(X)B(X) implies that the sequence converges (uniformly) to a function f(x)f(x), which can be found through pointwise convergence.  We can then use the uniform convergence to show that f(x)f(x) is bounded (and obviously, defined on every point in XX), so it is an element of B(X)B(X).  So, every Cauchy sequence converges in B(X)B(X), so the metric space is complete.+We show that Cauchy condition on B(X)B(X) is the definition of being uniformly Cauchy.  Uniformly Cauchy implies uniform convergence, and our convergent function is bounded, so B(X)B(X) is complete.
  
 === (b) === === (b) ===
Line 57: Line 57:
  
 Therefore, the set of continuous functions is closed. Therefore, the set of continuous functions is closed.
 +
 +Easier way: consider that a set is closed iff it contains all its limit points, and consider a sequence of continuous functions that uniformly converges.
  
 === (c) === === (c) ===
Line 145: Line 147:
 ==== Problem 14 ==== ==== Problem 14 ====
  
 +We consider the function g(x)=f(x)f(x+T/2)g(x) = f(x) - f(x + T/2), which is continuous.  Show that g(0)=g(T/2)g(0) = -g(T/2), and then use IVT.
 ==== Problem 15 ==== ==== Problem 15 ====
  
Line 163: Line 165:
 ==== Problem 17 ==== ==== Problem 17 ====
  
 +Consider f(x)eg(x)f(x)e^{g(x)}, which is continuous and differentiable on the same intervals.  We take its derivative and apply MVT, and we are done.
 ==== Problem 18 ==== ==== Problem 18 ====
  
 === (a) === === (a) ===
 +
 +Let partition $P_n = \{0, 1/n, 2/n, \ldots, n/n\}$.  Note that mesh(Pn)=1/nmesh(P_n) = 1/n and L(f,Pn)RnU(f,Pn)L(f, P_n) \leq R_n \leq U(f, P_n).  
 +
 +The idea now is to use Ross 32.7.  Let ϵ>0\epsilon > 0, and since ff is integrable, there exists a δ>0\delta > 0 that satisfies mesh(P)<δ    U(f,P)L(f,P)<ϵmesh(P) < \delta \implies U(f, P) - L(f, P) < \epsilon for all partitions PP.  We choose nn large enough such that mesh(Pn)<δmesh(P_n) < \delta, so that we get the inequalities: U(f,Pn)ϵ<RnU(f,PnU(f, P_n) - \epsilon < R_n \leq U(f, P_n and L(f,Pn)Rn<L(f,Pn)+ϵL(f, P_n) \leq R_n < L(f, P_n) + \epsilon This gives us:
 +
 +U(f)supn(U(f,Pn))=limRn=infn(L(f,Pn))L(f)U(f) \leq \sup_n(U(f, P_n)) = lim R_n = \inf_n(L(f, P_n)) \leq L(f)
 +
 +Since we also have L(f)=U(f)L(f) = U(f) by integrability, limRn=01f(x)dxlim R_n = \int_0^1 f(x)dx, as desired.
  
 === (b) === === (b) ===
Line 385: Line 396:
  
 ===== ඞ ඞ ඞ ඞ ඞ ===== ===== ඞ ඞ ඞ ඞ ඞ =====
-{{ :math104:s:amongus.mp4 |}}+{{ math104-s21:s:amongus.mp4 |}}
math104-s21/s/antonthan.1620379802.txt.gz · Last modified: 2021/05/07 02:30 by 45.48.153.5