4.7. The Euclidean Space#

This section consolidates major results for the real Euclidean space \(\RR^n\) as a ready reference. \(\RR^2\) (the 2-dimensional plane) and \(\RR^3\) the 3-dimensional space are the most familiar spaces to us.

\(\RR^n\) is a generalization in \(n\) dimensions.

Definition 4.89 (\(\RR^n\) and Euclidean space)

For any positive integer \(n\), the set of all \(n\)-tuples of real numbers forms an \(n\)-dimensional vector space over \(\RR\) which is denoted as \(\RR^n\). It is sometimes called real coordinate space.

An element \(\bx\) in \(\RR^n\) is written as

\[ \bx = (x_1, x_2, \ldots, x_n), \]

where each \(x_i\) is a real number.

Vector space operations on \(\RR^n\) are defined by:

\[\begin{split} &\bx + \by = (x_1 + y_1, x_2 + y_2, \dots, x_n + y_n), \Forall \bx, \by \in \RR^n.\\ & \alpha \bx = (\alpha x_1, \alpha x_2, \dots, \alpha x_n) \Forall \bx \in \RR^n, \alpha \in \RR. \end{split}\]

When equipped with the standard inner product and standard norm (defined below), \(\RR^n\) becomes the Euclidean space.

Definition 4.90 (Standard basis)

\(\RR^n\) comes with the standard ordered basis \(\BBB = \{\be_1, \be_2, \dots, \be_n\}\):

\[\begin{split} \begin{aligned} & \be_1 = (1,0,\dots, 0),\\ & \be_2 = (0,1,\dots, 0),\\ &\vdots\\ & \be_n = (0,0,\dots, 1) \end{aligned} \end{split}\]

An arbitrary vector \(\bx\in\RR^n\) can be written as

\[ \bx = \sum_{i=1}^{n}x_i \be_i. \]

4.7.1. Inner Products#

Definition 4.91 (Standard inner product/ dot product)

The standard inner product (a.k.a. dot product) on \(\RR^n\) is defined as:

\[ \langle \bx, \by \rangle = \sum_{i=1}^{n} x_i y_i = x_1 y_1 + x_2 y_2 + \dots + x_n y_n \quad \forall \bx, \by \in \RR^n. \]

This makes \(\RR^n\) an inner product space.

Remark 4.10

The dot product is always a real number. Hence we have symmetry:

\[ \langle x, y \rangle = \langle y, x \rangle \]

It is a real inner product.

Definition 4.92 (\(\bQ\) inner product)

Let \(\bQ\) be an \(n \times n\) real symmetric positive definite matrix. The \(\bQ\) inner product is defined as:

\[ \langle \bx, \by \rangle_Q \triangleq \bx^T \bQ \by. \]

\(\bQ\) inner product reduces to standard dot product when \(\bQ = \bI\).

4.7.2. Norms#

We use norms as a measure of strength of a signal or size of an error. Different norms signify different aspects of the signal.

Definition 4.93 (Euclidean norm)

The length of the vector (a.k.a. Euclidean norm or \(\ell_2\) norm) is defined as:

\[ \| \bx \| = \sqrt{\langle \bx, \bx \rangle} = \sqrt{\sum_{i=1}^{n} x_i^2} \quad \forall \bx \in \RR^n. \]

This makes \(\RR^n\) a normed linear space.

4.7.2.1. Angles#

Definition 4.94 (Angle)

The angle \(\theta\) between two vectors is given by:

\[ \theta = \cos^{-1} \frac{ \langle \bx, \by \rangle }{\| \bx \| \| \by \|}. \]

4.7.2.2. \(\ell_p\) Norms#

In addition to standard Euclidean norm, we define a family of norms indexed by \(p \in [1, \infty]\) known as \(\ell_p\) norms over \(\RR^n\).

Definition 4.95 (\(\ell_p\) norm)

Let \(p \in [1, \infty]\). For any \(n \in \Nat\), the \(l_p\) norm denoted as \(\| \cdot \|_p : \RR^n \to \RR\) mapping any vector \(\bx \in \RR^n\) to a non-negative number is defined as:

\[\begin{split} \| \bx \|_p = \begin{cases} \left ( \sum_{i=1}^{n} | x_i |^p \right ) ^ {\frac{1}{p}} & \text{ if } & p \in [1, \infty)\\ \underset{1 \leq i \leq n}{\max} |x_i| & \text{ if } & p = \infty \end{cases}\, . \end{split}\]

We mention the special cases. \(p=1\) gives us:

\[ \|\bx\|_1 = \sum_{i=1}^n |x_i|= |x_1| + |x_2| + \dots + | x_n|. \]

\(p=2\) gives us:

\[ \| \bx \|_2 = \left ( \sum_{i=1}^{n} | x_i |^2 \right ) ^ {\frac{1}{2}} \]

which is same as the standard Euclidean norm.

\(p=\infty\) gives us:

\[ \|\bx\|_{\infty} = \underset{1 \leq i \leq n}{\max} |x_i|. \]

We need to justify that \(\ell_p\) norm defined as above is indeed a norm. Before that, we state the Hölder’s inequality for the Euclidean space.

Theorem 4.110 (Hölder’s inequality)

Let \(\bu, \bv \in \RR^n\). Let \(p \in [1, \infty]\) and let \(q\) be its conjugate exponent.

We have:

(4.4)#\[\| \bu \bv \|_1 \leq \| \bu \|_p \| \bv \|_q\]

where \(\bu \bv\) denotes the element-wise multiplication given by:

\[ \bu \bv = (u_1 v_1, \dots, u_n v_n). \]

Proof. If \(\bu = \bzero\) or \(\bv = \bzero\), then (4.4) follows immediately.

Now, consider the case where \(\bu \neq \bzero\) and \(\bv \neq \bzero\).

If \(p=1\), then \(q = \infty\). We have:

\[ \| \bu \bv \|_1 = \sum_{i=1}^n |u_i v_i| \leq \underset{1 \leq j \leq n}{\max} |v_j| \sum_{i=1}^n |u_i | = \| \bu \|_1 \| \bv \|_{\infty}. \]

The same argument applies for the case of \(p=\infty\) and \(q=1\) too. For the case of \(p,q \in (1,\infty)\), we have:

\[ \| \bu \|_p = \left (\sum_{k=1}^{n} | u_k |^p \right ) ^ {\frac{1}{p}} \text {and } \| \bv \|_q = \left (\sum_{k=1}^{n} | v_k |^q \right ) ^ {\frac{1}{q}}. \]

We recall the Hölder's inequality for real numbers. For any \(n \in \Nat\), \(a_1, \dots, a_n \geq 0\), \(b_1, \dots, b_n \geq 0\), \(p, q\) being conjugate exponents, we have:

\[ \sum_{k=1}^n a_k b_k \leq \left ( \sum_{k=1}^n a_k^p \right )^{\frac{1}{p}} \left ( \sum_{k=1}^n b_k^q \right )^{\frac{1}{q}}. \]

Let \(a_k = |u_k|\) and \(b_k = |v_k|\). Then

\[ \| \bu \bv \|_1 = \sum_{k=1}^n |u_k v_k| \leq \sum_{k=1}^n |u_k | |v_k| \leq \left ( \sum_{k=1}^n |u_k |^p \right )^{\frac{1}{p}} \left ( \sum_{k=1}^n |v_k|^q \right )^{\frac{1}{q}} = \| \bu \|_p \| \bv \|_q. \]

We are now ready to prove that \(\ell_p\) norm is indeed a norm.

Theorem 4.111 (\(\ell_p\) norms are norms)

For any \(n \in \Nat\) and any \(p \in [1, \infty]\), the function \(\| \cdot \|_p\) as defined in Definition 4.95 is a norm.

Proof. [Positive definiteness] By definition, if \(\bu \neq \bzero\), then \(\| \bu \|_p > 0\). Similarly, \(\| \bu \|_p = 0\) implies \(\bu = \bzero\).

[Positive homogeneity] Let \(\alpha \in \RR\). If \(p < \infty\), then

\[ \| \alpha \bu \|_p = \left (\sum_{k=1}^{n} | \alpha u_k |^p \right ) ^ {\frac{1}{p}} = | \alpha | \left (\sum_{k=1}^{n} | u_k |^p \right ) ^ {\frac{1}{p}} = | \alpha | \| \bu \|_p. \]

For \(p=\infty\),

\[ \| \alpha \bu \|_{\infty} = \underset{1 \leq i \leq n}{\max} |\alpha u_i| = | \alpha | \underset{1 \leq i \leq n}{\max} |u_i| = |\alpha | \| \bu \|_{\infty}. \]

[Triangle inequality] Let \(\bu, \bv \in \RR^n\). If \(p=1\), then

\[ \| \bu + \bv \|_1 = \sum_{i=1}^n | u_i + v_i | \leq \sum_{i=1}^n | u_i | + |v_i | = \| \bu \|_1 + \| \bv \|_1. \]

If \(p=\infty\), then:

\[ \| \bu + \bv \|_{\infty} = \underset{1 \leq i \leq n}{\max} | u_i + v_i| \leq \underset{1 \leq i \leq n}{\max} (| u_i| + |v_i|) \leq \underset{1 \leq i \leq n}{\max} |u_i| + \underset{1 \leq i \leq n}{\max} |v_i| = \| \bu \|_{\infty} + \| \bv \|_{\infty}. \]

We are left with the case \(p \in (1, \infty)\).

\[\begin{split} \begin{aligned} \| \bu + \bv \|_p^p &= \sum_{i=1}^n |u_i + v_i |^p \\ &= \sum_{i=1}^n |u_i + v_i | |u_i + v_i |^{p-1}\\ &\leq \sum_{i=1}^n |u_i | |u_i + v_i |^{p-1} + \sum_{i=1}^n |v_i | |u_i + v_i |^{p-1}. \end{aligned} \end{split}\]

By Hölder’s inequality:

\[\begin{split} \begin{aligned} \sum_{i=1}^n |u_i | |u_i + v_i |^{p-1} &\leq \left (\sum_{i=1}^n |u_i |^p \right )^{\frac{1}{p}} \left (\sum_{i=1}^n |u_i + v_i|^{(p-1)q} \right )^{\frac{1}{q}}\\ &= \| \bu \|_p \left (\sum_{i=1}^n |u_i + v_i|^p \right )^{\frac{1}{q}}\\ &= \| \bu \|_p \| \bu + \bv \|_p^{\frac{p}{q}}. \end{aligned} \end{split}\]

Note that \((p-1)q = p\) since \(p,q\) are conjugate exponents.

Similarly:

\[ \sum_{i=1}^n |v_i | |u_i + v_i |^{p-1} \leq \| \bv \|_p \| \bu + \bv \|_p^{\frac{p}{q}}. \]

Combining, we get:

\[ \| \bu + \bv \|_p^p \leq (\| \bu \|_p + \| \bv \|_p) \| \bu + \bv \|_p^{\frac{p}{q}}. \]

Note that:

\[ p - \frac{p}{q} = p \left (1 - \frac{1}{q} \right ) = p \frac{1}{p} = 1. \]

Thus, dividing both sides by \(\| \bu + \bv \|_p^{\frac{p}{q}}\), we get:

\[ \| \bu + \bv \|_p \leq \| \bu \|_p + \| \bv \|_p \]

as desired.

4.7.2.3. \(\ell_2\) Norm#

As we can see from definition, \(\ell_2\) norm is same as the Euclidean norm.

So we have:

\[ \| \bx \| = \| \bx \|_2. \]

4.7.2.4. \(\ell_1\) Norm#

From above definition, we have

\[ \|\bx\|_1 = \sum_{i=1}^n |x_i|= |x_1| + |x_2| + \dots + | x_n|. \]

4.7.2.5. Quasi-norms#

In some cases it is useful to extend the notion of \(\ell_p\) norms to the case where \(0 < p < 1\).

In such cases norm as defined in Definition 4.95 doesn’t satisfy triangle inequality. Hence it is not a proper norm function. We call such functions as quasi-norms.

4.7.2.6. \(\ell_0\) “norm”#

Of specific mention is \(\ell_0\) “norm”. It isn’t even a quasi-norm. Note the use of quotes around the word norm to distinguish \(l_0\) “norm” from usual norms.

Definition 4.96 (\(\ell_0\) “norm”)

\(\ell_0\) “norm” is defined as:

\[ \| \bx \|_0 = | \supp(\bx) | \]

where \(\supp(\bx) = \{ i : x_i \neq 0\}\) denotes the support of \(\bx\).

Note that \(\| \bx \|_0\) defined above doesn’t follow the definition in Definition 4.95.

Yet we can show that:

\[ \lim_{p\to 0} \| \bx \|_p^p = | \supp(\bx) |. \]

which justifies the notation.

Definition 4.97 (\(\bQ\) norm)

The \(\bQ\) norm induced by \(\bQ\) inner product is given by

\[ \| \bx \|_Q = \sqrt{\bx^T \bQ \bx}. \]

4.7.2.7. Equivalence of Norms#

\(\RR^n\) is a finite dimensional vector space and all norms on \(\RR^n\) are equivalent. However, reaching this conclusion requires some hoofs to go through. Here is the roadmap.

  1. We first establish that \(\ell_1\) and \(\ell_2\) norms are equivalent.

  2. We then establish that \(\ell_2\) and \(\ell_{\infty}\) norms are equivalent.

  3. We recall the Heine-Borel theorem for Euclidean metric and show that closed and bounded sets of \((\RR^n, \| \cdot \|_2)\) are compact.

  4. We then take advantage of the fact that equivalent norms lead to same topologies (open, closed and compact sets) as well as bounded sets and show that closed and bounded sets of \((\RR^n, \| \cdot \|_1)\) are also compact.

  5. We are then in a position to demonstrate that all norms on \(\RR^n\) are indeed equivalent.

Theorem 4.112 (Equivalence of \(\ell_1\) and \(\ell_2\) norms)

The \(\ell_1\) and \(\ell_2\) norms on \(\RR^n\) are equivalent. In particular, for any \(\bx \in \RR^n\)

\[ \frac{1}{\sqrt{n}} \| \bx \|_1 \leq \| \bx \|_2 \leq \| \bx \|_1. \]

Alternatively,

\[ \| \bx \|_2 \leq \| \bx \|_1 \leq \sqrt{n} \| \bx \|_2. \]

Proof. By Cauchy-Schwarz inequality

\[ \| \bx \|_1 = \sum_{i=1}^n | x_i | = \sum_{i=1}^n | x_i | . 1 \leq \| \bx \|_2 \| \bone \|_2 = \sqrt{n} \| \bx \|_2 \]

where \(\bone\) is the vector of all ones. Thus,

\[ \frac{1}{\sqrt{n}} \| \bx \|_1 \leq \| \bx_2 \|. \]

Also,

\[ \| \bx \|_2^2 = \sum_{i=1}^n | x_i|^2 \leq \left (\sum_{i=1}^n |x_i| \right )^2 = \| \bx \|_1^2. \]

Thus,

\[ \| \bx \|_2 \leq \| \bx \|_1. \]

Thus, the two norms are equivalent.

Theorem 4.113 (Equivalence of \(\ell_2\) and \(\ell_{\infty}\) norms)

The \(\ell_2\) and \(\ell_{\infty}\) norms on \(\RR^n\) are equivalent. In particular, for any \(\bx \in \RR^n\)

\[ \frac{1}{\sqrt{n}} \| \bx \|_2 \leq \| \bx \|_{\infty} \leq \| \bx \|_2. \]

Alternatively,

\[ \| \bx \|_{\infty} \leq \| \bx \|_2 \leq \sqrt{n} \| \bx \|_{\infty}. \]

Proof. Let \(\| \bx \|_{\infty} = \sup \{ |x_i|\}\).

  1. Then, \(|x_i| \leq \| \bx \|_{\infty}\).

  2. Thus, \(|x_i|^2 \leq \| \bx \|_{\infty}^2\).

  3. Taking the sum \(\| \bx \|_2^2 \leq n \| \bx \|_{\infty}^2\).

  4. Taking the square root \(\| \bx \|_2 \leq \sqrt{n}\| \bx \|_{\infty}\).

For the other side, we note that

\[ \| \bx \|_{\infty}^2 = \left (\sup \{ |x_i|\} \right )^2 \leq \sum_{i=1}^n |x_i|^2 = \| \bx \|_2^2. \]

Thus, \(\| \bx \|_{\infty} \leq \| \bx \|_2\). Thus, the two norms are equivalent.

Theorem 4.114 (Equivalence of \(\ell_1\), \(\ell_2\), and \(\ell_{|infty}\) norms)

The \(\ell_1\), \(\ell_2\) and \(\ell_{\infty}\) norms on \(\RR^n\) are equivalent.

Proof. We proceed as follows:

  1. By Theorem 4.112, \(\ell_1\) and \(\ell_2\) norms are equivalent.

  2. By Theorem 4.113, \(\ell_2\) and \(\ell_{\infty}\) norms are equivalent.

  3. By Theorem 4.58, equivalence of norms is an equivalence relation.

  4. Hence, by transitivity, \(\ell_1\) and \(\ell_{\infty}\) norms are equivalent.

Theorem 4.115 (Heine Borel theorem)

A subset of the normed linear space \((\RR^n, \| \cdot \|_2)\) is compact if and only if it is a closed and bounded set.

Proof. The distance metric induced by \(\| \cdot \|_2\) is the Euclidean distance.

This result is follows directly from Theorem 3.84.

Theorem 4.116 (Closed and bounded sets under \(\ell_1\) norm)

A subset of the normed linear space \((\RR^n, \| \cdot \|_1)\) is compact if and only if it is a closed and bounded set.

Proof. We just need to show that if a set is closed and bounded in \((\RR^n, \| \cdot \|_1)\), then it is compact in \((\RR^n, \| \cdot \|_1)\).

  1. The norms \(\| \cdot \|_1\) and \(\| \cdot \|_2\) are equivalent (Theorem 4.114).

  2. Hence, the metrics induced by them are (strongly) equivalent (Theorem 4.59).

  3. Thus, the open sets and closed sets in \((\RR^n, \| \cdot \|_1)\) and \((\RR^n, \| \cdot \|_2)\) are identical.

  4. Hence, the compact sets in \((\RR^n, \| \cdot \|_1)\) and \((\RR^n, \| \cdot \|_2)\) are identical (Theorem 3.90).

  5. Also the bounded sets in \((\RR^n, \| \cdot \|_1)\) and \((\RR^n, \| \cdot \|_2)\) are identical due to Theorem 4.57.

  6. Now, let \(A\) be a closed and bounded set in \((\RR^n, \| \cdot \|_1)\).

  7. Then, \(A\) is closed and bounded in \((\RR^n, \| \cdot \|_2)\).

  8. But then by Heine Borel theorem, \(A\) is compact in \((\RR^n, \| \cdot \|_2)\).

  9. But then, \(A\) is compact in \((\RR^n, \| \cdot \|_1)\) also.

Theorem 4.117 (Equivalence of norms on the Euclidean space)

Let \(n \in \Nat\). All norms on \(\RR^n\) are equivalent.

Proof. The \(\ell_1\) norm \(\| \cdot \|_1 : \RR^n \to \RR\) is given by:

\[ \| \bx \|_1 = \sum_{i=1}^n | x_i |. \]

We shall show that any norm \(\| \cdot \| : \RR^n \to \RR\) is equivalent to \(\| \cdot \|_1 : \RR^n \to \RR\). Then, since norm equivalence is an equivalence relation (Theorem 4.59), hence all norms are equivalent.

In particular, if \(\| \cdot \|_a\) and \(\| \cdot \|_b\) are two different norms on \(\RR^n\), then \(\| \cdot \|_a \sim \| \cdot \|_1\) and \(\| \cdot \|_b \sim \| \cdot \|_1\) implies that \(\| \cdot \|_a \sim \| \cdot \|_b\) due to Theorem 4.59.

Towards this end, let’s show that any norm \(\| \cdot \|\) is indeed equivalent to \(\| \cdot \|_1\).

We first show that there exists a constant \(c_1 > 0\) such that

\[ \| \bx \| \leq c_1 \| \bx \|_1 \Forall \bx \in \RR^n. \]

  1. Let \(\{ \be_i \}\) be the standard basis for \(\RR^n\).

  2. Let \(c = \max \{ \| \be_i \|, i=1,\dots, n\}\).

  3. Then, for any \(\bx \in \RR^n\), we have

    \[\begin{split} \| \bx \| &= \left \| \sum_{i=1}^n x_i \be_i \right \|\\ &\leq \sum_{i=1}^n \| x_i \be_i \| \\ &= \sum_{i=1}^n | x_i| \| \be_i \| \\ &\leq \sum_{i=1}^n | x_i| c \\ &= c \| \bx \|_1. \end{split}\]

We now show that there exists a constant \(c_2 > 0\) such that

\[ \| \bx \|_1 \leq c_2 \| \bx \| \Forall \bx \in \RR^n. \]

  1. Define a function \(g : (\RR^n, \| \cdot \|_1) \to \RR\) as

    \[ g(\bx) = \| \bx \| \Forall \bx \in \RR^n. \]

  2. Then, for any \(\bx, \by \in \RR^n\),

    \[ | g(\bx) - g(\by)| = | \| \bx \| - \| \by \| | \leq \| \bx - \by \| \leq c \| \bx - \by \|_1. \]

  3. Thus, \(g\) is Lipschitz continuous on the normed linear space \((\RR^n, \| \cdot \|_1)\).

  4. Therefore, \(g\) is continuous.

  5. Now, let \(S = \{\by \in \RR^n \ST \| \by \|_1 = 1 \}\).

  6. \(S\) is a closed set in \((\RR^n, \| \cdot \|_1)\) since it is the boundary of the unit ball.

  7. \(S\) is also bounded since \(\| \by \|_1 \leq 1\) for every \(\by \in S\).

  8. Then, by Theorem 4.116 \(S\) is compact in \((\RR^n, \| \cdot \|_1)\).

  9. Hence, due to Theorem 3.85 \(g\) attains a minimum value at some \(\by \in S\) over the compact set \(S\).

  10. Let the minimum value of \(g\) over \(S\) be say \(m\) at some \(\by_0 \in S\).

  11. Note that \(\bzero \notin S\) by definition since \(\| \bzero \| \neq 1\).

  12. Thus,

    \[ m = g(\by_0) = \| \by_0 \| > 0. \]

  13. Thus, for all \(\by \in S\), we have \(\| \by \| \geq m > 0\).

  14. Now, for any nonzero \(\bx \in \RR^n\), the \(\ell_1\) normalized vector, \(\by = \frac{\bx }{\| \bx \|_1} \in S\).

  15. But then

    \[\begin{split} & \| \by \| \geq m\\ &\implies \left \| \frac{\bx }{\| \bx \|_1} \right \| \geq m\\ &\implies \| \bx \| \geq m \| \bx \|_1 \\ &\implies \| \bx \|_1 \leq \frac{1}{m} \| \bx \| \end{split}\]

    holds for every nonzero \(\bx \in \RR^n\).

  16. Also, the inequality \(\| \bx \|_1 \leq \frac{1}{m} \| \bx \|\) is satisfied trivially by \(\bzero\).

We have shown that for \(c_1 = c > 0\) and \(c_2 = \frac{1}{m} > 0\)

\[ \| \bv \| \leq c_1 \| \bv \|_1 \text{ and } \| \bv \|_1 \leq c_2 \| \bv \| \]

holds true for every \(\bv \in \RR^n\).

Thus, the two norms \(\| \cdot \|\) and \(\| \cdot \|_1\) are indeed equivalent.

4.7.3. Distances#

Definition 4.98 (Euclidean distance)

Distance between two vectors is defined as:

\[ d(\bx,\by) = \| \bx - \by \| = \sqrt{\sum_{i=1}^{n} (x_i - y_i)^2}. \]

This distance function is known as Euclidean metric.

This makes \(\RR^n\) a metric space.

4.7.4. General Euclidean Space#

We can generalize the definition of a Euclidean space to a more abstract case.

Definition 4.99 (General Euclidean space)

A finite dimensional real vector space \(\VV\) equipped with an inner product \(\langle \cdot, \cdot \rangle\) is called a Euclidean space if it is endowed with the norm \(\| \cdot \| : \VV \to \RR\) given by

\[ \| \bx \| = \sqrt{ \langle \bx, \bx \rangle}. \]

The norm induced by the inner product is known as the Euclidean norm.

There are several properties emerging from this definition.

  1. Let \(\VV\) be a Euclidean space.

  2. The field of scalars is \(\RR\).

  3. Assume that \(n = \dim \VV\).

  4. The inner product is a real inner product.

  5. \(\VV\) is isomorphic to \(\RR^n\).

  6. If we choose a basis \(\BBB = \{ \be_1, \dots, \be_n \}\) for \(\VV\), then the coordinates for each vector \(\bv \in \VV\) form an element of \(\RR^n\).

  7. This forms a direct bijective mapping between \(\VV\) and \(\RR^n\).

  8. \(\| \bx \|^2 = \langle \bx, \bx \rangle\).

  9. The Euclidean norm makes it a normed linear space.

  10. Recall from Theorem 4.65 that a finite dimensional normed linear space is complete.

  11. Thus, \(\VV\) is a Banach space.

  12. \(\VV\) is an inner product space which is complete.

  13. Hence \(\VV\) is also a Hilbert space.

  14. \(\RR^n\) provides additional features like \(\ell_p\) norms. Corresponding norms can be induced on \(\VV\) by a coordinate mapping.

4.7.5. Complex Coordinate Space#

In this section we review important features of \(n\)-dimensional complex coordinate space \(\CC^n\) defined over a field of complex numbers.

Definition 4.100 (Complex coordinate space)

Let \(\CC\) denote the field of complex numbers. For any positive integer \(n\), the set of all \(n\)-tuples of complex numbers forms an \(n\)-dimensional vector space over \(\CC\) which is denoted as \(\CC^n\) or \((\CC^n, \CC)\) and sometimes called complex coordinate space or “complex vector space*.

An element \(\bx\) in \(\CC^n\) is written as

\[ \bx = (x_1, x_2, \ldots, x_n), \]

where each \(x_i\) is a complex number.

Vector space operations on \(\CC^n\) are defined by:

\[\begin{split} & \bx + \by = (x_1 + y_1, x_2 + y_2, \dots, x_n + y_n), \Forall \bx, \by \in \CC^n.\\ & \alpha \bx = (\alpha x_1, \alpha x_2, \dots, \alpha x_n) \Forall \bx \in \CC^n, \alpha \in \CC. \end{split}\]

\(\CC^n\) comes with the standard ordered basis \(\BBB = \{\be_1, \be_2, \dots, \be_n\}\):

(4.5)#\[\begin{split}& \be_1 = (1,0,\dots, 0),\\ & \be_2 = (0,1,\dots, 0),\\ &\vdots\\ & \be_n = (0,0,\dots, 1).\end{split}\]

We note that the basis is same as the basis for \(n\) dimensional real vector space (the Euclidean space).

An arbitrary vector \(\bx \in \CC^n\) can be written as

\[ \bx = \sum_{i=1}^{n}x_i \be_i. \]

4.7.5.1. Sesquilinear Inner Product#

Definition 4.101 (Standard inner product)

Standard inner product on \(\CC^n\) is defined as:

\[ \langle \bx, \by \rangle = \sum_{i=1}^{n} x_i \overline{y_i} = x_1 \overline{y_1} + x_2 \overline{y_2} + \dots + x_n \overline{y_n} \quad \forall \bx, \by \in \CC^n \]

where \(\overline{y_i}\) denotes the complex conjugate. It is also known as the sesquilinear inner product.

This makes \(\CC^n\) an inner product space. This satisfies the inner product rule:

\[ \langle \bx, \by \rangle = \overline{\langle \by, \bx \rangle}. \]

4.7.5.2. Standard Norm#

Definition 4.102 (Norm)

The length of the vector (a.k.a. \(\ell_2\) norm) is defined as:

\[ \| \bx \| = \sqrt{\langle \bx, \bx \rangle} = \sqrt{\sum_{i=1}^{n} x_i \overline{x_i} } = \sqrt{\sum_{i=1}^{n} |x_i|^2 } \Forall \bx \in \CC^n. \]

This makes \(\CC^n\) a normed linear space.

4.7.5.3. Standard Distance#

Definition 4.103 (Distance)

The standard distance between two vectors is defined as:

\[ d(\bx,\by) = \| \bx - \by \| = \sqrt{\sum_{i=1}^{n} |x_i - y_i|^2}. \]

This makes \(\CC^n\) a metric space. It reduces to the standard Euclidean distance between real vectors.

4.7.5.4. Norms#

In addition to standard norm, we define a family of norms indexed by \(p \in [1, \infty]\) known as \(\ell_p\) norms over \(\CC^n\).

Definition 4.104

\(\ell_p\) norm is defined as:

(4.6)#\[\begin{split}\| \bx \|_p = \begin{cases} \left ( \sum_{i=1}^{n} | x |_i^p \right ) ^ {\frac{1}{p}} & p \in [1, \infty)\\ \underset{1 \leq i \leq n}{\max} |x_i| & p = \infty \end{cases}\end{split}\]

We can see that:

\[ \| \bx \| = \| \bx \|_2. \]

4.7.5.5. \(\ell_1\) Norm#

From the general definition of \(\ell_p\) norms, we have

\[ \|\bx\|_1 = \sum_{i=1}^n |x_i|= |x_1| + |x_2| + \dots + | x_n|. \]

We use norms as a measure of strength of a signal or size of an error. Different norms signify different aspects of the signal.

4.7.5.6. Quasi-Norms#

In some cases it is useful to extend the notion of \(\ell_p\) norms to the case where \(0 < p < 1\).

In such cases norm as defined in (4.6) doesn’t satisfy triangle inequality, hence it is not a proper norm function. We call such functions as quasi-norms.

4.7.5.7. \(\ell_0\) “norm”#

Of specific mention is \(\ell_0\) “norm”. It isn’t even a quasi-norm. Note the use of quotes around the word norm to distinguish \(\ell_0\) “norm” from usual norms.

Definition 4.105

The \(\ell_0\) “norm” is defined as:

(4.7)#\[\| \bx \|_0 = | \supp(\bx) |\]

where \(\supp(\bx) = \{ i \ST x_i \neq 0\}\) denotes the support of \(\bx\).

Note that \(\| \bx \|_0\) defined above doesn’t follow the definition in (4.6). Yet we can show that:

\[ \lim_{p\to 0} \| \bx \|_p^p = | \supp(\bx) | \]

which justifies the notation.

4.7.6. \(\CC^n\) over \(\RR\)#

We next consider the real vector space of complex coordinates.

Definition 4.106 (Real vector space of complex coordinates)

For any positive integer \(n\), the set of all \(n\)-tuples of complex numbers forms an \(n\)-dimensional vector space over \(\RR\) which is denoted as \((\CC^n, \RR)\)

An element \(\bx\) in \((\CC^n, \RR)\) is written as

\[ \bx = (x_1, x_2, \ldots, x_n), \]

where each \(x_i\) is a complex number.

Vector space operations on \((\CC^n, \RR)\) are defined by:

\[\begin{split} & \bx + \by = (x_1 + y_1, x_2 + y_2, \dots, x_n + y_n), \Forall \bx, \by \in \CC^n.\\ & \alpha \bx = (\alpha x_1, \alpha x_2, \dots, \alpha x_n) \Forall \bx \in \CC^n, \alpha \in \RR. \end{split}\]

Theorem 4.118 (Standard basis and dimension)

The standard basis for \((\CC^n, \RR)\) is given by \(\BBB = \{\be_1, \be_2, \dots, \be_n, \be_{n+1}, \dots, \be_{2n}\}\):

(4.8)#\[\begin{split}& \be_1 = (1,0,\dots, 0),\\ & \be_2 = (0,1,\dots, 0),\\ &\vdots\\ & \be_n = (0,0,\dots, 1),\\ & \be_{n+1} = (i,0,\dots, 0),\\ & \be_{n+2} = (0,i,\dots, 0),\\ &\vdots\\ & \be_{2 n} = (0,0,\dots, i).\end{split}\]

The dimension of \((\CC^n, \RR)\) is \(2 n\).

It is easy to see that \((\CC^n, \RR)\) is isomorphic to \(\RR^{2 n}\).

4.7.6.1. Bilinear Inner Product#

Definition 4.107 (Bilinear inner product)

The bilinear inner product on \((\CC^n, \RR)\) is defined as:

\[ \langle \bx, \by \rangle_B = \Re (\langle \bx, \by \rangle) = \sum_{i=1}^{n} \Re (x_i \overline{y_i}) = \sum_{i=1}^{n} \Re (x_i) \Re (y_i) + \Im (x_i) \Im (y_i) \Forall \bx, \by \in \CC^n. \]

This inner product satisfies all the requirements of a real inner product (Definition 4.72) as shown in Example 4.25. This makes \((\CC^n, \RR)\) a real inner product space.

4.7.6.2. Standard Norm#

Definition 4.108 (Norm on \((\CC^n, \RR)\))

The length of the vector (a.k.a. \(\ell_2\) norm) is defined as:

\[ \| \bx \| = \sqrt{\langle \bx, \bx \rangle_B} = \sqrt{\sum_{i=1}^{n} \Re (x_i)^2 + \Im (x_i)^2} = \sqrt{\sum_{i=1}^{n} |x_i|^2 } \Forall \bx \in \CC^n. \]

This makes \((\CC^n, \RR)\) a normed linear space. We note that the definition of the norm for both \((\CC^n, \RR)\) and \((\CC^n, \CC)\) is identical.