Interval (mathematics)

From Free net encyclopedia

In mathematics, interval is a concept relating to the sequence and set-membership of one or more numbers.

1 Algebra
2 Higher mathematics
3 Intervals in partial orders
4 Interval arithmetic
5 Relational operations
6 Alternative notation
7 External links

Algebra

In elementary algebra, an interval is a set that contains every real number between two indicated numbers, and possibly the two numbers themselves. Interval notation is the notation in which permitted values for a variable are expressed as ranging over a certain interval; "<math>5 < x < 9</math>" is an example of the application of interval notation. In conventional interval notation, parentheses ( <math>()</math> ) indicate exclusion while square brackets ( <math>[]</math> ) indicate inclusion. For example, the interval "<math>(10,20)</math>" indicates the set of all real numbers between <math>10</math> and <math>20</math> but does not include <math>10</math> or <math>20</math>, the first and last numbers of the interval, respectively. On the other hand, the interval "<math>[10,20]</math>" includes both every number between <math>10</math> and <math>20</math> as well as <math>10</math> and <math>20</math>. Other possibilities are listed below.

[edit]

Higher mathematics

In higher mathematics, a formal definition is the following: An interval is a subset <math>S</math> of a totally ordered set <math>T</math> with the property that whenever <math>x</math> and <math>y</math> are in <math>S</math> and <math>x<z<y</math> then <math>z</math> is in <math>S</math>.

As mentioned above, a particularly important case is when <math>T=\mathbb{R}</math>, the set of real numbers.

Intervals of <math>\mathbb{R}</math> are of the following eleven different types (where <math>a</math> and <math>b</math> are real numbers, with <math>a < b</math>):

<math>(a,b)=\{x\,|\,a<x<b\}</math>
<math>[a,b]=\{x\,|\,a\leq x\leq b\}</math>
<math>[a,b)=\{x\,|\,a\,\leq x<b\}</math>
<math>(a,b]=\{x\,|\,a<x\leq b\}</math>
<math>(a,\infty)=\{x\,|\,x>a\}</math>
<math>[a,\infty)=\{x\,|\,x\geq a\}</math>
<math>(-\infty,b)=\{x\,|\,x<b\}</math>
<math>(-\infty,b]=\{x\,|\,x\leq b\}</math>
<math>(-\infty,\infty)=\mathbb{R}</math> itself, the set of all real numbers
<math>\{a\}</math>
<math>\varnothing</math> the empty set

In each case where they appear above, a and b are known as endpoints of the interval.

Intervals using the round brackets ( or ) as in the general interval (a,b) or specific examples (-1,3) and (2,4) are called open intervals and the endpoints are not included in the set. Intervals using the square brackets [ or ] as in the general interval [a,b] or specific examples [-1,3] and [2,4] are called closed intervals and the endpoints are included in the set. Intervals using both square and round brackets [ and ) or ( and ] as in the general intervals (a,b] and [a,b) or specific examples [-1,3) and (2,4] are called half-closed intervals or half-open intervals.

Intervals play an important role in the theory of integration, because they are the simplest sets whose "size" or "measure" or "length" is easy to define (see above). The concept of measure can then be extended to more complicated sets, leading to the Borel measure and eventually to the Lebesgue measure.

Intervals are precisely the connected subsets of <math>\mathbb{R}</math>. They are also precisely the convex subsets of <math>\mathbb{R}</math>. Since a continuous image of a connected set is connected, it follows that if <math>f:\mathbb{R}\rightarrow\mathbb{R}</math> is a continuous function and I is an interval, then its image <math>f(I)</math> is also an interval. This is one formulation of the intermediate value theorem.

[edit]

Intervals in partial orders

In order theory, one usually considers partially ordered sets. However, the above notations and definitions can immediately be applied to this general case as well. Of special interest in this general setting are intervals of the form [a,b].

For a partially ordered set (P, ≤) and two elements a and b of P, one defines the set

[a, b] = { x | a ≤ x ≤ b }

One may choose to restrict this definition to pairs of elements with the property that a ≤ b. Alternatively, the intervals without this condition will just coincide with the empty set, which in the former case would not be considered as an interval.

[edit]

Interval arithmetic

Interval arithmetic, also called interval mathematics, interval analysis, and interval computation, is being developed by mathematicians since the 1950s and 1960s as an approach to putting bounds on rounding errors in mathematical computation and thus obtaining very reliable results. Where classical arithmetic defines operations on individual numbers, interval arithmetic defines a set of operations on intervals:

T · S = { x | there is some y in T, and some z in S, such that x = y · z }.

The basic operations of interval arithmetic are, for two intervals [a,b] and [c,d] that are subsets of the real line (-∞, ∞),

[a,b] + [c,d] = [a+c, b+d]
[a,b] - [c,d] = [a-d, b-c]
[a,b] * [c,d] = [min (ac, ad, bc, bd), max (ac, ad, bc, bd)]
[a,b] / [c,d] = [min (a/c, a/d, b/c, b/d), max (a/c, a/d, b/c, b/d)]

Division by an interval containing zero is not defined under the basic interval arithmetic.

The addition and multiplication operations are commutative, associative and sub-distributive: the set X ( Y + Z ) is a subset of XY + XZ.

[edit]

Relational operations

Relational operations on intervals can be defined in tri-state logic {true, false, uncertain}:

T · S is true if for any x in T, and any y in S, x · y is true
T · S is false if for any x in T, and any y in S, x · y is false
otherwise T · S is uncertain

Often intervals are considered as estimations of some individual numbers. In that case for both arithmetic and relational interval operations the following is true: if x in T and y in S, then the result of T · S contains x · y.

[edit]

Alternative notation

An alternative way of writing intervals, commonly seen in France and some other European countries, is shown below:

]a,b[ = { x | a < x < b }
[a,b] = { x | a ≤ x ≤ b }
[a,b[ = { x | a ≤ x < b }
]a,b] = { x | a < x ≤ b }

Another notation in use in some countries (e.g. Czech Republic) uses parentheses for an open interval and angle brackets for an closed interval, with numbers separated by semicolon.

[edit]