This is an old revision of the document!
Real coordinate space
Definition
Recursive definition:
$ p\in \mathbb N $ | $ p>1 $ |
$ \mathbb R^1=\mathbb R $ |
$ \mathbb R^p=\mathbb R^{p-1}\times \mathbb R, \hspace{1cm}$ |
Discussion
$ a< b \equiv \forall i.\ a_i< b_i$ |
$ a> b \equiv \forall i.\ a_i> b_i$ |
$ a\le b \equiv \forall i.\ a_i\le b_i$ |
$ a\ge b \equiv \forall i.\ a_i\ge b_i$ |
$ [a,b]\equiv\{x\ |\ \forall i.\ a_i\le x_i\le b_i\}$ |
$ ]a,b]\equiv\{x\ |\ \forall i.\ a_i<x_i\le b_i\}$ |
$ [a,b[\ \equiv\{x\ |\ \forall i.\ a_i\le x_i<b_i\}$ |
$ ]a,b[\ \equiv\{x\ |\ \forall i.\ a_i<x_i<b_i\}$ |
Reference
Context
Subset of
Requirements