Editing Interval (mathematics) (section)

== Properties ==
The intervals are precisely the [[connected space|connected]] subsets of <math>\R.</math> It follows that the image of an interval by any [[continuous function]] from <math>\mathbb R</math> to <math>\mathbb R</math> is also an interval. This is one formulation of the [[intermediate value theorem]].

The intervals are also the [[convex set|convex subset]]s of <math>\R.</math> The interval enclosure of a subset <math>X\subseteq \R</math> is also the [[convex hull]] of <math>X.</math>

The [[closure (topology)|closure]] of an interval is the union of the interval and the set of its finite endpoints, and hence is also an interval. (The latter also follows from the fact that the closure of every [[connected space|connected subset]] of a [[topological space]] is a connected subset.) In other words, we have{{sfnp|Tao|2016|p=214|loc = See Lemma 9.1.12}}
:<math>\operatorname{cl}(a,b)=\operatorname{cl}(a,b]=\operatorname{cl}[a,b)=\operatorname{cl}[a,b]=[a,b],</math>
:<math>\operatorname{cl}(a,+\infty)=\operatorname{cl}[a,+\infty)=[a,+\infty),</math>
:<math>\operatorname{cl}(-\infty,a)=\operatorname{cl}(-\infty,a]=(-\infty,a],</math>
:<math>\operatorname{cl}(-\infty,+\infty)=(-\infty,\infty).</math>

The intersection of any collection of intervals is always an interval. The union of two intervals is an interval if and only if they have a non-empty intersection or an open end-point of one interval is a closed end-point of the other, for example <math>(a,b) \cup [b,c] = (a,c].</math>

If <math>\R</math> is viewed as a [[metric space]], its [[open ball]]s are the open bounded intervals&nbsp;{{open-open|''c'' + ''r'', ''c'' − ''r''}}, and its [[closed ball]]s are the closed bounded intervals&nbsp;{{closed-closed|''c'' + ''r'', ''c'' − ''r''}}. In particular, the [[metric topology|metric]] and [[order topology|order]] topologies in the real line coincide, which is the standard topology of the real line.

Any element&nbsp;{{mvar|x}} of an interval&nbsp;{{mvar|I}} defines a partition of&nbsp;{{mvar|I}} into three disjoint intervals {{mvar|I}}<sub>1</sub>, {{mvar|I}}<sub>2</sub>, {{mvar|I}}<sub>3</sub>: respectively, the elements of&nbsp;{{mvar|I}} that are less than&nbsp;{{mvar|x}}, the singleton&nbsp;<math>[x,x] = \{x\},</math> and the elements that are greater than&nbsp;{{mvar|x}}. The parts {{mvar|I}}<sub>1</sub> and {{mvar|I}}<sub>3</sub> are both non-empty (and have non-empty interiors), if and only if {{mvar|x}} is in the interior of&nbsp;{{mvar|I}}.  This is an interval version of the [[trichotomy (mathematics)|trichotomy principle]].