Definition:Real Interval/Unbounded Closed

From ProofWiki
Jump to navigation Jump to search


There are two unbounded closed intervals involving a real number $a \in \R$, defined as:

\(\ds \hointr a \to\) \(:=\) \(\ds \set {x \in \R: a \le x}\)
\(\ds \hointl \gets a\) \(:=\) \(\ds \set {x \in \R: x \le a}\)


An arbitrary (real) interval is frequently denoted $\mathbb I$.

Sources which use the $\textbf {boldface}$ font for the number sets $\N, \Z, \Q, \R, \C$ tend also to use $\mathbf I$ for this entity.

Some sources merely use the ordinary $\textit {italic}$ font $I$.

Some sources prefer to use $J$.

Wirth Interval Notation

The notation used on this site to denote a real interval is a fairly recent innovation, and was introduced by Niklaus Emil Wirth:

\(\ds \openint a b\) \(:=\) \(\ds \set {x \in \R: a < x < b}\) Open Real Interval
\(\ds \hointr a b\) \(:=\) \(\ds \set {x \in \R: a \le x < b}\) Half-Open (to the right) Real Interval
\(\ds \hointl a b\) \(:=\) \(\ds \set {x \in \R: a < x \le b}\) Half-Open (to the left) Real Interval
\(\ds \closedint a b\) \(:=\) \(\ds \set {x \in \R: a \le x \le b}\) Closed Real Interval

The term Wirth interval notation has consequently been coined by $\mathsf{Pr} \infty \mathsf{fWiki}$.

Also denoted as

The notation using $\infty$ is usual:

\(\ds \hointr a \infty\) \(:=\) \(\ds \set {x \in \R: a \le x}\)
\(\ds \hointl {-\infty} a\) \(:=\) \(\ds \set {x \in \R: x \le a}\)

On $\mathsf{Pr} \infty \mathsf{fWiki}$ the $\gets \cdots \to$ notation is preferred.

Also known as

Some sources refer to the unbounded closed real intervals as half-open infinite (real) intervals.

Some sources use the term semi-infinite (closed) intervals.


Example $1$

Let $I$ be the unbounded closed real interval defined as:

$I := \hointl \gets 3$

Then $2 \in I$.

Also see