Definition:Real Interval/Notation

From ProofWiki
Jump to navigation Jump to search

Definition

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}$.


Unbounded Intervals

Some authors (sensibly, perhaps) prefer not to use the $\infty$ symbol and instead use $\to$ and $\gets$ for $+\infty$ and $-\infty$ repectively.

In Wirth interval notation, such intervals are written as follows:

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


Conventional Notation

These are the notations usually seen for real intervals:

\(\ds \left ({a, b}\right)\) \(:=\) \(\ds \set {x \in \R: a < x < b}\) Open real interval
\(\ds \left [{a, b}\right)\) \(:=\) \(\ds \set {x \in \R: a \le x < b}\) Half-open real interval
\(\ds \left ({a, b}\right]\) \(:=\) \(\ds \set {x \in \R: a < x \le b}\) Half-open real interval
\(\ds \left [{a, b}\right]\) \(:=\) \(\ds \set {x \in \R: a \le x \le b}\) Closed real interval

but they can be confused with other usages for this notation.

In particular, there exists the danger of taking $\paren {a, b}$ to mean an ordered pair.


Reverse-Bracket Notation

In order to avoid the ambiguity problem arising from the conventional notation for intervals where an open real interval can be confused with an ordered pair, some authors use the reverse-bracket notation for open and half-open intervals:

\(\ds \left ] {\, a, b} \right [\) \(:=\) \(\ds \set {x \in \R: a < x < b}\) Open real interval
\(\ds \left [ {a, b} \right [\) \(:=\) \(\ds \set {x \in \R: a \le x < b}\) Half-open on the right
\(\ds \left ] {\, a, b} \right ]\) \(:=\) \(\ds \set {x \in \R: a < x \le b}\) Half-open on the left

These are often considered to be both ugly and confusing, and hence are limited in popularity.


Some sources use a deliberately explicit notation, along the lines:

$I: a < x < b$ to denote $\openint a b$
$I: a \le x \le b$ to denote $\closedint a b$
$I: a \le x < b$ to denote $\hointr a b$

For the sake of convenience, the $I$ is often omitted, for example:

$a < x < b$ to denote $\openint a b$

However, this notation is discouraged on $\mathsf{Pr} \infty \mathsf{fWiki}$.


Sources