91Ó°ÊÓ

In functional analysis, a **normed space** forms the cornerstone of various mathematical frameworks. A normed space, denoted as \(X\), is a vector space equipped with a function called a norm. The norm, typically symbolized by \(\| \cdot \|\), assigns a non-negative scalar to each vector in the space. This scalar serves as a measure of the 'size' or 'length' of the vector.

Key properties of a norm include:

• **Non-negativity**: The norm of any vector \(x\) is always zero or positive, \(\|x\| \geq 0\).
• **Definiteness**: \(\|x\| = 0\) if and only if \(x\) is the zero vector.
• **Scalability**: \(\|\alpha x\| = |\alpha| \cdot \|x\|\), where \(\alpha\) is a scalar.
• **Triangle Inequality**: \(\|x + y\| \leq \|x\| + \|y\|\).

These properties make normed spaces a fundamental structure for discussing convergence, continuity, and more within mathematics.

The **dual space** of a normed space \(X\), denoted \(X'\), is a critical concept in understanding how functionals operate within these spaces. The dual space consists of all bounded linear functionals which map vectors from \(X\) into the scalar field (typically \(\mathbb{R}\) or \(\mathbb{C}\)).

A functional \(f : X \to \mathbb{R}\) (or \(\mathbb{C}\)) is termed *linear* if it satisfies:

• **Additivity**: \(f(x + y) = f(x) + f(y)\)
• **Homogeneity**: \(f(\alpha x) = \alpha f(x)\)

Moreover, \(f\) is **bounded** if there exists a constant \(C\) such that for all \(x \in X\), \(|f(x)| \leq C \|x\|\).

The significance of the dual space reflects in numerous mathematical disciplines, offering insight and tools for solving various equations and confirming properties of the spaces.

A **bounded linear functional** is an essential element of functional analysis, residing within the dual space of a normed space. It is a linear transformation from a vector space to its underlying field (like \(\mathbb{R}\) or \(\mathbb{C}\)), ensuring both linearity and boundedness.

Bounded linear functionals must respect the following conditions:

• **Linearity**: For vectors \(x, y \in X\) and scalars \(\alpha\), the functional \(f\) satisfies \(f(x + y) = f(x) + f(y)\) and \(f(\alpha x) = \alpha f(x)\).
• **Boundedness**: There exists a constant \(C\) such that \(|f(x)| \leq C \|x\|\) for all \(x \in X\). This ensures the functional does not grow excessively with the vector's magnitude, preserving a type of controlled growth.

A continuous linear functional over a complete normed space can be extended to the entire space without loss of boundedness, highlighting their role in various applications including optimization, differential equations, and statistics.