Undergrad Limit of limits of linear combinations of indicator functions

Click For Summary
The discussion revolves around proving that a function f, which is the pointwise limit of a sequence of non-decreasing functions f_n defined on R^n, is also the limit of step functions. Each function f_i is represented as a linear combination of indicator functions of rectangles. While it is established that the integral of the absolute difference between f and f_n approaches zero, concerns are raised about the validity of this convergence under different metrics. Specifically, pointwise convergence is noted to hold except on a measure-zero set in R^n. The discussion emphasizes the complexities involved in extending the properties of step functions to the limit function f.
Unconscious
Messages
77
Reaction score
12
I have a sequence of functions ##0\leq f_1\leq f_2\leq ... \leq f_n \leq ...##, each one defined in ##\mathbb{R}^n## with values in ##\mathbb{R}##. I have also that ##f_n\uparrow f##.
Every ##f_i## is the limit (almost everywhere) of "step" functions, that is a linear combination of rectangles indicator functions.

Is there a way to prove that also ##f## is the limit of "step" functions?
 
Physics news on Phys.org
Unconscious said:
Is there a way to prove that also is the limit of "step" functions?
In what sense? You certainly will have \int \vert f-f_{n} \vert \rightarrow 0 but I think you will have problems with other metrics .
 
I mean pointwise convergence, optionally except on a measure-zero set of ##\mathbb{R}^n##.
 
There are probably loads of proofs of this online, but I do not want to cheat. Here is my attempt: Convexity says that $$f(\lambda a + (1-\lambda)b) \leq \lambda f(a) + (1-\lambda) f(b)$$ $$f(b + \lambda(a-b)) \leq f(b) + \lambda (f(a) - f(b))$$ We know from the intermediate value theorem that there exists a ##c \in (b,a)## such that $$\frac{f(a) - f(b)}{a-b} = f'(c).$$ Hence $$f(b + \lambda(a-b)) \leq f(b) + \lambda (a - b) f'(c))$$ $$\frac{f(b + \lambda(a-b)) - f(b)}{\lambda(a-b)}...

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K