Monotone function with predescribed discontinuities

  • Thread starter Thread starter e_to_the_i_pi
  • Start date Start date
  • Tags Tags
    Function
Click For Summary
SUMMARY

The discussion focuses on the properties of the unit jump function I(x) and its application in defining a piecewise function f(x) using a countable subset {x_n} of real numbers and a sequence of positive real numbers {c_n} such that the sum of c_n equals 1. The key conclusions are that the limits of f(x) approach 0 as x approaches negative infinity and 1 as x approaches positive infinity. The proof leverages the monotonicity and boundedness of the function on the interval [a,b], establishing the convergence of f(x) within this context.

PREREQUISITES
  • Understanding of piecewise functions and their properties
  • Familiarity with the concept of limits in calculus
  • Knowledge of monotonic functions and convergence
  • Basic understanding of sequences and series in real analysis
NEXT STEPS
  • Study the properties of unit step functions in mathematical analysis
  • Explore the concept of monotone convergence theorem
  • Learn about Lebesgue integration and its relation to piecewise functions
  • Investigate the implications of discontinuities in real-valued functions
USEFUL FOR

Mathematicians, students of real analysis, and anyone interested in the behavior of piecewise-defined functions and their limits.

e_to_the_i_pi
Messages
6
Reaction score
0
Let I(x) (the unit jump function) be defined piecewise by I(x)=0 iff x<0 and I(x)=1 iff x>=0.

Let {x_n} be a countable subset of R and {c_n} a sequence of positive real numbers satisfying \sum{c_n}=1. Let f:R \to R be defined by f(x)=\sum{c_n * I(x - x_n)}.

Prove that \lim_{x\to-\infty}{f(x)}=0 and \lim_{x\to\infty}{f(x)}=1.

I can prove this when {x_n} is a countable subset of (a,b) where a,b \in R. It seems as though the proof here should be very similar, but for some reason I just can't finish it..
 
Physics news on Phys.org
Posting your proof for x in (a,b) may help the helpers.
 
Since 0 <= c_n * I(x-x_n) <= c_n, for all x \in [a,b], s_n(x) = \sum^n_{k=1}{c_k * I(x-x_k)} <= \sum^n_{k=1}{c_k} <= \sum^\infty_{k=1}c_k.

So for x \in [a,b], {s_n(x)} is monotone increasing and bounded above, thus convergent.

Since I(x-x_n) <= I(y-x_n), for all x<y, f is monotone increasing on [a,b].

Now, since x_n > a for all n, I(a-x_n)=0 for all n. Thus, f(a)=0. Also, I(b-x_n)=1 for all n, so f(b)=\sum{c_k}=1.
 

Similar threads

Replies
34
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 14 ·
Replies
14
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 13 ·
Replies
13
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K