# Definition:Real Interval/Unit Interval/Closed

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}$.
{"ft_lang_label":"__label__en","ft_lang_prob":0.7592748,"math_prob":0.99977475,"size":1738,"snap":"2021-21-2021-25","text_gpt3_token_len":553,"char_repetition_ratio":0.13148789,"word_repetition_ratio":0.10452962,"special_character_ratio":0.3452244,"punctuation_ratio":0.21186441,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.99998033,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-06-12T14:39:37Z\",\"WARC-Record-ID\":\"<urn:uuid:ea22d01f-d9c1-4b6d-9b0a-ec7485f06d49>\",\"Content-Length\":\"41822\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:8c2cfcdc-bada-4100-84d1-723f54ea8584>\",\"WARC-Concurrent-To\":\"<urn:uuid:68873b69-5f5e-4032-8f1e-7cd97bd8e955>\",\"WARC-IP-Address\":\"104.21.84.229\",\"WARC-Target-URI\":\"https://proofwiki.org/wiki/Definition:Real_Interval/Unit_Interval/Closed\",\"WARC-Payload-Digest\":\"sha1:CPCAKKJ25H5R2LWJ3PEYPAGATI4AQV7Y\",\"WARC-Block-Digest\":\"sha1:4B73L47I3FFI3PXXWQIVXA7YFFZEAPCE\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-25/CC-MAIN-2021-25_segments_1623487584018.1_warc_CC-MAIN-20210612132637-20210612162637-00353.warc.gz\"}"}