Definition:Half-Open Rectangle

Definition

Let $a_1, \ldots, a_n, b_1, \ldots, b_n$ be real numbers.

The set:

$\ds \prod_{i \mathop = 1}^n \hointr {a_i} {b_i} = \hointr {a_1} {b_1} \times \cdots \times \hointr {a_n} {b_n} \subseteq \R^n$

Here, $\times$ denotes Cartesian product.

The collection of all half-open $n$-rectangles is denoted $\JJ_{ho}$, or $\JJ_{ho}^n$ if the dimension $n$ is to be emphasized.

In case $a_i \ge b_i$ for some $i$, the rectangle is taken to be the empty set $\O$.

A convenient notation for the half-open rectangle $\ds \prod_{i \mathop = 1}^n \hointr {a_i} {b_i}$ is $\horectr {\mathbf a} {\mathbf b}$.

Sets of the form:

$\horectl {\mathbf a} {\mathbf b} \:= \ds \prod_{i \mathop = 1}^n \hointl {a_i} {b_i}$

can equally well be called half-open rectangles as those of the form $\horectr {\mathbf a} {\mathbf b}$.

However, these are rarely encountered.

The $\LaTeX$ code for $\horectr {a} {b}$ is \horectr {a} {b} .

This is a custom $\mathsf{Pr} \infty \mathsf{fWiki}$ command designed to implement Wirth interval notation and its derivatives.

The name is derived from half-open rectangle on the right.