\(\DeclarePairedDelimiterX{\Set}[2]{\{}{\}}{#1 \nonscript\;\delimsize\vert\nonscript\; #2}\) \( \DeclarePairedDelimiter{\set}{\{}{\}}\) \( \DeclarePairedDelimiter{\parens}{\left(}{\right)}\) \(\DeclarePairedDelimiterX{\innerproduct}[1]{\langle}{\rangle}{#1}\) \(\newcommand{\ip}[1]{\innerproduct{#1}}\) \(\newcommand{\bmat}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\barray}[1]{\left[\hspace{2.0pt}\begin{matrix}#1\end{matrix}\hspace{2.0pt}\right]}\) \(\newcommand{\mat}[1]{\begin{matrix}#1\end{matrix}}\) \(\newcommand{\pmat}[1]{\begin{pmatrix}#1\end{pmatrix}}\) \(\newcommand{\mathword}[1]{\mathop{\textup{#1}}}\)
Needs:
Distance
Needed by:
Borel Sigma Algebra
Convex Multivariate Functions
Data Fitting
Hyperrectangles
Linear Functions
Multivariate Functions
Multivariate Real Densities
N-Dimensional Lines
N-Dimensional Volume Measure
Optimization Problems
Profit Maximizing Production Allocation
Real Affine Transformations
Real Balls
Real Cones
Real Inner Product
Real Linear Transformations
Real Open Sets
Real Polar Sets
Real Translates
Real Vectors
Links:
Sheet PDF
Graph PDF
Wikipedia

N-Dimensional Space

Why

If $\R $ corresponds to a line, and $\R ^2$ to a plane, and $\R ^3$ to space, does $\R ^4$ correspond to anything? What of $\R ^5$?

Definition

Let $n$ be a natural number. We call the set $\R ^n$ $n$-dimensional space (or Euclidean $n$-space, real coordinate space, real Euclidean space). We call elements of $\R ^n$ points. We identify $\R ^1$ with $\R $ in the obvious way.

We call the point associated with $x = (x_1, x_2, \dots , x_n) \in \R ^n$ with $x_i = 0$ for $1 \leqq i \leqq n$ the origin. We denote the origin by $0$. Similarly, we denote the point $x$ with $x_i = 1$ for all $i = 1, \dots , n$ by $1$.

Visualization

We can not visualize $n$-dimensional space. Thus, our intuition for it comes from real space (see Real Space).

Distance

A natural notion of distance for $\R ^n$ generalizes that in $\R ^2$ and $\R ^3$. We define the distance (or Euclidean distance) between $(x_1, x_2, \dots , x_n)$, $(y_1, y_2, \dots , y_n) \in \R ^n$ as

\[ \sqrt{(x_1 - y_1)^2 + (x_2 - y_2)^2 + \cdots + (x_n - y_n)^2}. \]

Does this have the properties that distance has in the plane and in space? We discussed these properties It does. Denote the function which associates to $x, y \in \R ^n$ their distance $d: \R ^n \times \R ^n \to \R $. So $d(x, y)$ is the distance between the points corresponding to $x$ and $y$.

$d$ is non-negative, symmetric, and the distance between two points is no larger than the sum of the distances with any third object.1

Order

Let $x, y \in \R ^n$. If $x_i < y_i$ for all $i = 1, \dots , n$ then we say $x$ is less than $y$. Likewise, if $x_i \leq y_i$ for all $i = 1, \dots , n$ then we say $x \leq y$. Likewise for $>$ and $\geq$.

Notation

If $x \in \R ^n$ is less than $y \in \R ^n$ then we write $x < y$. Similarly for $x \leq y$, $x > y$ and $x \geq y$. Other notation in the literature for $\R ^n$ includes $E^n$, which is a mnemonic for “euclidean.”


  1. Future editions will include an account. ↩︎
Copyright © 2023 The Bourbaki Authors — All rights reserved — Version 13a6779cc About Show the old page view