TheoremBase

Open Boxes in ℝⁿ

The open box R(a,b) in ℝⁿ is the set of points whose i-th component lies strictly between aia_i and bib_i for every i; RnR_n is the set of all open boxes of ℝⁿ.

Statement

In the setting of Euclidean Space and Real Matrices: Standing Notation, let n∈Nn\in\mathbb{N}.

Open box. For a,b∈Rna,b\in\mathbb{R}^{n}, the open box R(a,b)R(a,b) is the subset

R(a,b)={x∈Rn:ai<xi<bi for every i∈[n]}R(a,b)=\{x\in\mathbb{R}^{n}:a_{i}<x_{i}<b_{i}\text{ for every }i\in[n]\}

of Rn\mathbb{R}^{n} (a set, being a subclass of the set Rn\mathbb{R}^{n}, by Subclasses of Sets Are Sets, the Union and Power Set of a Set Exist Uniquely, Binary Unions of Sets Are Sets, and the Universal Class Is Proper (i)).

The open boxes of Rn\mathbb{R}^{n}. The set of open boxes of Rn\mathbb{R}^{n} is

Rn={R(a,b):a,b∈Rn}\mathcal{R}_{n}=\{R(a,b):a,b\in\mathbb{R}^{n}\}

(a set, being a class of subsets of Rn\mathbb{R}^{n}, by Subclasses of Sets Are Sets, the Union and Power Set of a Set Exist Uniquely, Binary Unions of Sets Are Sets, and the Universal Class Is Proper (iii) and Subclasses of Sets Are Sets, the Union and Power Set of a Set Exist Uniquely, Binary Unions of Sets Are Sets, and the Universal Class Is Proper (i)).

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…