Difference between revisions of "Open interval"
(Created page with "An '''open interval''' is an interval which has neither a maximum nor a minimum element. Open intervals are denoted by <math>(a,b)</math> where <math>a</math> is t...") |
m (Wording changes for clarity.) |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
− | An '''open interval''' is an [[interval]] which has neither a [[maximum]] nor a [[minimum]] element. Open intervals are denoted by <math>(a,b)</math> where <math>a</math> is the [[Greatest lower bound | infimum]] (greatest lower bound) and <math>b</math> is the [[Least upper bound | supremum]] (least upper bound). Alternatively, an open interval is the [[set]] of all <math>x</math> such that <math>x</math> satisfies both of the [[Inequality|inequalities]] <math>a < x</math> and <math>x < b</math>. | + | An '''open interval''' is an [[interval]] which has neither a [[maximum]] nor a [[minimum]] element. Open intervals are denoted by <math>(a,b)</math> where <math>a</math> is the [[Greatest lower bound | infimum]] (greatest lower bound) and <math>b</math> is the [[Least upper bound | supremum]] (least upper bound). Alternatively, an open interval <math>(a,b)</math> is the [[set]] of all <math>x</math> such that <math>x</math> satisfies both of the [[Inequality|inequalities]] <math>a < x</math> and <math>x < b</math>. |
− | In an open interval, it is possible that either <math>a</math> or <math>b</math>, or both, do not exist. If | + | In an open interval, it is possible that either the infimum <math>a</math> or the supremum <math>b</math>, or both, do not exist. If the infimum is nonexistent, the value of <math>a</math> is written as <math>-\infty</math>; if the supremum is nonexistent, the value of <math>b</math> is written as <math>\infty</math>. The corresponding inequality is always considered true in these cases, since <math>-\infty < x</math> and <math>x < +\infty</math> by definition. |
Every open interval is an [[open set]]. | Every open interval is an [[open set]]. |
Latest revision as of 16:20, 19 September 2022
An open interval is an interval which has neither a maximum nor a minimum element. Open intervals are denoted by where is the infimum (greatest lower bound) and is the supremum (least upper bound). Alternatively, an open interval is the set of all such that satisfies both of the inequalities and .
In an open interval, it is possible that either the infimum or the supremum , or both, do not exist. If the infimum is nonexistent, the value of is written as ; if the supremum is nonexistent, the value of is written as . The corresponding inequality is always considered true in these cases, since and by definition.
Every open interval is an open set.
Examples
, the set of all real numbers, is an open interval with neither an upper bound nor a lower bound.
, the set of positive real numbers, is an open interval with a lower bound but no upper bound.
, the set of negative real numbers, is an open interval with an upper bound but no lower bound.
, the set of real numbers strictly between and , is an open interval with both an upper bound and a lower bound.
The empty set, having no elements and therefore neither a maximum nor a minimum, is considered an open interval.
See also
This article is a stub. Help us out by expanding it.