Math 2.0

Real functions Definition

Interval

Builds on Order on the reals

Definition

A subset II of ℝ\mathbb{R} is an interval when, for all xx and yy in II and each real zz with x≤z≤yx \le z \le y, also z∈Iz \in I. For real numbers a≤ba \le b, the notation is: [a,b]={x∈ℝ:a≤x≤b},(a,b)={x∈ℝ:a<x<b},[a, b] = \{x \in \mathbb{R} : a \le x \le b\}, \qquad (a, b) = \{x \in \mathbb{R} : a < x < b\}, [a,b)={x∈ℝ:a≤x<b},(a,b]={x∈ℝ:a<x≤b}.[a, b) = \{x \in \mathbb{R} : a \le x < b\}, \qquad (a, b] = \{x \in \mathbb{R} : a < x \le b\}. The set [a,b][a, b] is a closed interval and (a,b)(a, b) is an open interval. For each real aa, the notation is [a,∞)={x:x≥a}[a, \infty) = \{x : x \ge a\}, (a,∞)={x:x>a}(a, \infty) = \{x : x > a\}, (−∞,a]={x:x≤a}(-\infty, a] = \{x : x \le a\} and (−∞,a)={x:x<a}(-\infty, a) = \{x : x < a\}.

Remarks

By the completeness axiom, each interval is one of the sets above, or ℝ\mathbb{R}, or ∅\emptyset. In some countries, the notation ]a,b[]a, b[ replaces (a,b)(a, b). The symbols ∞\infty and −∞-\infty are not real numbers. They show only that the interval has no bound on that side.

Reading path

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

Show the path as a graph
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. Construction of the reals from Cauchy sequences concept
  2. Integers object
  3. Ordered field definition
  4. Rational numbers object
  5. Ring of integers statement
  6. The rationals form a field statement
  7. The rationals form an ordered field statement
  8. Order on the reals definition
  9. Interval definition

Where this leads

396 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Interval_(mathematics), Definition of an interval
  2. Web https://en.wikipedia.org/wiki/Interval_(mathematics), Notations for intervals
About this page
Tag0TK8Y3J5RW
URIm2://0TK8Y3J5RW
Kinddefinition
WritingW1 stated
MSC26A03
DefinesInterval
UsesOrder on the reals

Markdown · JSON · Edit on GitHub

What this page needs for W2

  • edge instance_of in: one example (0 of 1)
  • edge not_instance_of in: one non-example that fails one clause (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