Understanding Normed Linear Spaces: $R^n$ and $C^n$

The question asks about the nature of $R^n$ (n-tuples of real numbers) and $C^n$ (n-tuples of complex numbers) as normed linear spaces. Let's break down what this means.

What are $R^n$ and $C^n$?

• $R^n$: This represents the set of all possible ordered lists (or sequences) of $n$ real numbers. For example, if $n=2$, $R^2$ includes points like $(1.5, -3.2)$, $(0, 0)$, $(\pi, e)$.
• $C^n$: Similarly, this is the set of all ordered lists of $n$ complex numbers. A complex number has the form $a + bi$, where $a$ and $b$ are real numbers and $i$ is the imaginary unit ($\sqrt{-1}$). For example, if $n=1$, $C^1$ is just the set of complex numbers $C$. If $n=2$, $C^2$ includes elements like $(1+2i, 3-i)$.

What is a Normed Linear Space?

A normed linear space is a combination of two important mathematical concepts:

• Linear Space (or Vector Space): This is a set of objects (like vectors, functions, or in this case, n-tuples) that can be added together and multiplied by scalars (numbers), following certain rules (like associativity, commutativity, distributivity). Both $R^n$ and $C^n$ are fundamental examples of vector spaces. You can add two vectors in $R^n$ component-wise, and multiply a vector by a scalar, and the result stays within $R^n$. The same applies to $C^n$.
• Norm: A norm is a function that assigns a non-negative "length" or "magnitude" to each vector in the space. It must satisfy specific properties:
  • The norm of a vector is zero if and only if the vector is the zero vector ($\|v\| = 0 \iff v = 0$).
  • The norm of a scalar multiple of a vector is the absolute value of the scalar times the norm of the vector ($\| \alpha v \| = |\alpha| \|v\|$).
  • The norm satisfies the triangle inequality: the norm of the sum of two vectors is less than or equal to the sum of their norms ($\|u + v\| \le \|u\| + \|v\|$).
  A vector space equipped with a norm is called a normed linear space.

Norms on $R^n$ and $C^n$

We can define various norms on $R^n$ and $C^n$. Here are a few common examples for a vector $x = (x_1, x_2, \dots, x_n)$:

• Euclidean Norm ($L_2$ norm): This is the standard "straight-line" distance from the origin. $ \|x\|_2 = \sqrt{|x_1|^2 + |x_2|^2 + \dots + |x_n|^2} = \sqrt{\sum_{i=1}^n |x_i|^2} $ For $C^n$, $|x_i|$ represents the modulus of the complex number $x_i$.
• Manhattan Norm ($L_1$ norm): This sums the absolute values of the components. $ \|x\|_1 = |x_1| + |x_2| + \dots + |x_n| = \sum_{i=1}^n |x_i| $
• Maximum Norm ($L_\infty$ norm): This is the largest absolute value among the components. $ \|x\|_\infty = \max(|x_1|, |x_2|, \dots, |x_n|) = \max_{i} |x_i| $

In general, for any real number $p \ge 1$, we can define the $L_p$ norm:

This formula defines a valid norm for any $p \ge 1$. Since there are infinitely many choices for the value of $p$ (e.g., $p=1, 1.5, 2, 3, \pi, \dots$), there are infinitely many different norms we can define on $R^n$ and $C^n$ using this formula alone.

Conclusion

Both $R^n$ and $C^n$ are vector spaces. The existence of multiple ways to define a norm (like the different $L_p$ norms) demonstrates that they can be equipped with a norm in many ways. Specifically, because we can choose infinitely many values for $p$ in the $L_p$ norm definition, both $R^n$ and $C^n$ can be made into normed linear spaces in an infinite number of ways.