Euclidean Spaces: Algebraic Structure and Inner Product

Euclidean n-Space

So far we have looked strictly at Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{R}} - the set of real numbers. We will now extend our reach to higher dimensions and looked at Euclidean $n$-space.

Definition: For each positive integer $n$, the Euclidean $n$-Space denoted $\mathbb {R} ^{n}$ is the set of all points $\mathbf {x} =(x_{1},x_{2},...,x_{n})$ such that $x_{1},x_{2},...,x_{n}\in \mathbb {R}$. The $k^{\mathrm {th} }$ coordinate of the point $\mathbf {x}$ is the real number $x_{k}$.

In the case where $n=1$ we have that Euclidean 1-space is simply the real line $\mathbb {R}$. When $n=2$ we are looking at points $(x,y)$ in the plane, and when $n=3$ we are looking in at points $(x,y,z)$ in three-dimensional space.

The graphic in this link illustrates how we can visualize Euclidean $n$-space for $n=1,2,3$.

Of course when $n\geq 4$ it is practically impossibly to visualize Euclidean $n$-space and so, we will usually talk merely about the points (or vectors) which make up the space. Like with the cases above, the point $\mathbf {x} =(x_{1},x_{2},...,x_{n})$ for $x_{1},x_{2},...,x_{n}\in \mathbb {R}$ symbolically imply the existence of $n$ mutually perpendicular axes that intersect at a point called the origin we denote by:

${\begin{aligned}\quad \mathbf {0} =(0,0,...,0)\end{aligned}}$

The point $\mathbf {x}$ is described to be located in respect to Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{0}} , i.e., the point Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{x}} is located Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_1} along the first axis, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_2} along the the second axis, …, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_n} along the Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n^{\mathrm{th}}} axis. Sometimes we instead prefer to visualize Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{x}} as a vector (arrow) the starts at the origin and whose arrowhead ends at the point Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle (x_1, x_2, ..., x_n)} .

Basic Operations Euclidean n-Space

In a moment we will look at some operations defined on Euclidean n-space that the reader should already be familiar with. Before we do though, the reader should note that all of the operations defined below are in compliance to the field axioms of the real numbers in that all of the operations below are all in conjunction with the operations Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle +} of addition and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \cdot} of multiplication of reals.

Definition: If Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbb{x} = (x_1, x_2, ..., x_n), \mathbb{y} = (y_1, y_2, ..., y_n) \in \mathbb{R}^n} then we define Equality Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{x} = \mathbf{y}} if and only if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle x_k = y_k} for all Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle k \in \{ 1, 2, ..., n \}} .

For example, if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{x} = (1, 4, 7)} and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{y} = (1, 3, 7)} then Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{x} \neq \mathbf{y}} since Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle 4 \neq 3} .

Definition: If Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{x} = (x_1, x_2, ..., x_n), \mathbf{y} = (y_1, y_2, ..., y_n) \in \mathbb{R}^n} then Addition is defined to be Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{x} + \mathbf{y} = (x_1 + y_1, x_2 + y_2, ..., x_n + y_n)} and Subtraction is defined to be Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{x} - \mathbf{y} = (x_1 - y_1, x_2 - y_2, ..., x_n - y_n)} .

For example, consider the points Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{x} = (1, 4, 2, 6), \mathbf{y} = (3, -2, 0.5, \pi) \in \mathbb{R}^4} . Then:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \quad \mathbf{x} + \mathbf{y} = (1+3, 4 +(-2), 2 + 0.5, 6 + \pi) = (4, -2, 2.5, 6 + \pi) \end{align}}

And furthermore we have that:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \quad \mathbf{x} - \mathbf{y} = (1 - 3, 4 - (-2), 2 - 0.5, 6 - \pi) = (-2, 6, 1.5, 6 -\pi) \end{align}}

Note that in general Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{x} + \mathbf{y} \neq \mathbf{y} + \mathbf{x}} which we are already familiar with in the case when Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle n = 1} .

Definition: If Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{x} = (x_1, x_2, ..., x_n) \in \mathbb{R}^n} then Scalar Multiplication by the scalar Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a \in \mathbb{R}} is defined to be

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle a \mathbf{x} = a(x_1, x_2, ..., x_n) = (ax_1, ax_2, ..., ax_n)} .

For example, consider the point Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \mathbf{x} = (1, 2, 3, 4, 5) \in \mathbb{R}^5} and $a=2\in \mathbb {R}$. Then:

Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://wikimedia.org/api/rest_v1/":): {\displaystyle \begin{align} \quad a\mathbf{x} = 2(1, 2, 3, 4, 5) = (2, 4, 6, 8, 10) \end{align}}

Licensing

Content obtained and/or adapted from:

• Euclidean n-Space, mathonline.wikidot.com under a CC BY-SA license
• Basic Operations on Euclidean n-Space, mathonline.wikidot.com under a CC BY-SA license
• The Euclidean Inner Product, mathonline.wikidot.com under a CC BY-SA license