Math 2.0

Real functions Theorem

One-sided limits of a monotone function exist

Builds on One-sided limitMonotone convergence theorem for sequences

Statement

Let a<c<ba < c < b and let f ⁣:(a,b)→ℝf \colon (a, b) \to \mathbb{R} be increasing. Then both one-sided limits of ff at cc exist, and lim⁡x→c−f(x)=sup⁡a<x<cf(x)≤f(c)≤inf⁡c<x<bf(x)=lim⁡x→c+f(x).\lim_{x \to c^-} f(x) = \sup_{a < x < c} f(x) \le f(c) \le \inf_{c < x < b} f(x) = \lim_{x \to c^+} f(x).

Remarks

The proof is the same as for the monotone convergence theorem. The supremum exists because f(c)f(c) is an upper bound. A similar statement holds for decreasing functions, with the inequalities reversed. So ff is continuous at cc exactly when the two one-sided limits are equal. Otherwise cc is a jump discontinuity. Mathlib states the left limit as Monotone.tendsto_nhdsLT.

Reading path

To understand this page from the ground up, read these 10 pages in order. The foundations come first.

Show the path as a graph
Limit point of a set, definition, no evidence levelLimit point of a setdefinitionSequence, definition, no evidence levelSequencedefinitionLimit of a function, definition, no evidence levelLimit of a functiondefinitionReal sequence, definition, no evidence levelReal sequencedefinitionOne-sided limit, definition, no evidence levelOne-sided limitdefinitionBounded sequence, definition, no evidence levelBounded sequencedefinitionLimit of a sequence, definition, no evidence levelLimit of a sequencedefinitionMonotone sequence, definition, no evidence levelMonotone sequencedefinitionMonotone convergence theorem for sequences, statement, no evidence levelMonotone convergence …statementOne-sided limits of a monotone function exist, statement, no evidence levelOne-sided limits of a…statement
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Limit point of a set definition
  2. Sequence definition
  3. Limit of a function definition
  4. Real sequence definition
  5. One-sided limit definition
  6. Bounded sequence definition
  7. Limit of a sequence definition
  8. Monotone sequence definition
  9. Monotone convergence theorem for sequences statement
  10. One-sided limits of a monotone function exist statement

Where this leads

61 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Monotonic_function, Some basic applications and results
About this page
Tag0KJXHN0TW0
URIm2://0KJXHN0TW0
Kindstatement, theorem
WritingW0 stub
MSC26A48
StatusThis copy of the site has no build data. Run m2 status 0KJXHN0TW0.
UsesOne-sided limit, Monotone convergence theorem for sequences

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

Used by