Proving Nondecreasingness of Fn When Converging to F

  • Thread starter Thread starter bobbarker
  • Start date Start date
  • Tags Tags
    Converging
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
2 replies · 3K views
bobbarker
Messages
8
Reaction score
0

Homework Statement


Prove: If {Fn} converges to F on [a,b] and Fn is nondecreasing for each n[tex]\in[/tex] N, then F is nondecreasing.

Homework Equations


n/a

The Attempt at a Solution


First, it doesn't say if Fn converges pointwise or uniformly, so I'm not entirely sure how to deal with that. Just prove uniformly and then it holds for pointwise as well?

My work so far:

Suppose Fn converges to F and Fn is nondecreasing: i.e., for all n [tex]\in[/tex] N, x1 [tex]\leq[/tex] x2 [tex]\Rightarrow[/tex] Fn(x1) [tex]\leq[/tex] Fn(x2).

So [tex]\forall[/tex] [tex]\epsilon[/tex] > 0, [tex]\exists[/tex] N1 [tex]\in[/tex]N, such that [tex]\forall[/tex] n [tex]\geq[/tex] N1, sup{|Fn(x)-F(x)|: x [tex]\in[/tex] [a,b]} < [tex]\epsilon[/tex].

Equivalently, ||Fn(x) - F(x)||[tex]_{}[a,b][/tex] < [tex]\epsilon[/tex]

| ||Fn(x)||[tex]_{}[a,b][/tex] - ||F(x)||[tex]_{}[a,b][/tex] | < [tex]\epsilon[/tex] by the reverse triang. inequal

||F(x)||[tex]_{}[a,b][/tex] - [tex]\epsilon[/tex] < ||Fn(x)||[tex]_{}[a,b][/tex] < ||F(x)||[tex]_{}[a,b][/tex] + [tex]\epsilon[/tex]

I feel like I'm heading down a dead end. Any ideas?
 
Physics news on Phys.org


bobbarker said:
First, it doesn't say if Fn converges pointwise or uniformly, so I'm not entirely sure how to deal with that. Just prove uniformly and then it holds for pointwise as well?

Since a sequence of functions that converges uniformly also converges pointwise, you actually want to prove it for the case of pointwise convergence (A weaker hypothesis gives a more general theorem). It will also be much more direct to prove this way since you will be comparing two points and taking limits at those points.
 


Here's a hint. Suppose f(c)>f(d) with c<d. Pick epsilon equal to |f(c)-f(d)|/2. Now remember what pointwise convergence means.