# Definition:Real Interval/Unit Interval/Closed

< Definition:Real Interval | Unit Interval(Redirected from Definition:Closed Unit Interval)

Jump to navigation
Jump to search
## Definition

The closed interval from $0$ to $1$ is denoted $\mathbb I$ (or a variant) by some authors:

- $\mathbb I := \closedint 0 1 = \set {x \in \R: 0 \le x \le 1}$

This is often referred to as the **closed unit interval**.

## Notation

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

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

## Sources

- 1964: William K. Smith:
*Limits and Continuity*... (previous) ... (next): $\S 2.1$: Sets - 1965: Claude Berge and A. Ghouila-Houri:
*Programming, Games and Transportation Networks*... (previous) ... (next): $1$. Preliminary ideas; sets, vector spaces: $1.1$. Sets - 1966: Richard A. Dean:
*Elements of Abstract Algebra*... (previous) ... (next): $\S 0.2$. Sets - 1967: George McCarty:
*Topology: An Introduction with Application to Topological Groups*... (previous) ... (next): Introduction: Special Symbols