The Riesz representation theorem is a game-changer in Hilbert spaces. It shows that every bounded linear functional can be represented as an inner product with a unique vector. This connection between abstract functionals and concrete vectors is super useful.
This theorem creates a perfect match between a Hilbert space and its dual space . It's like finding your space's mirror image, where every functional has a corresponding vector. This idea pops up all over the place in math and physics.
Linear Functionals and Dual Space
Definition and Properties of Linear Functionals
Top images from around the web for Definition and Properties of Linear Functionals Graphs of Linear Functions · Precalculus View original
Is this image relevant?
Dual space (linear algebra) - Knowino View original
Is this image relevant?
Dual space (linear algebra) - Knowino View original
Is this image relevant?
Graphs of Linear Functions · Precalculus View original
Is this image relevant?
Dual space (linear algebra) - Knowino View original
Is this image relevant?
1 of 3
Top images from around the web for Definition and Properties of Linear Functionals Graphs of Linear Functions · Precalculus View original
Is this image relevant?
Dual space (linear algebra) - Knowino View original
Is this image relevant?
Dual space (linear algebra) - Knowino View original
Is this image relevant?
Graphs of Linear Functions · Precalculus View original
Is this image relevant?
Dual space (linear algebra) - Knowino View original
Is this image relevant?
1 of 3
Linear functional is a linear map from a vector space V V V to its underlying field F \mathbb{F} F (real numbers or complex numbers)
Satisfies linearity properties for all vectors x , y ∈ V x, y \in V x , y ∈ V and scalars a ∈ F a \in \mathbb{F} a ∈ F :
Additivity: f ( x + y ) = f ( x ) + f ( y ) f(x + y) = f(x) + f(y) f ( x + y ) = f ( x ) + f ( y )
Homogeneity: f ( a x ) = a f ( x ) f(ax) = af(x) f ( a x ) = a f ( x )
Examples of linear functionals:
Evaluation functional : f ( p ) = p ( a ) f(p) = p(a) f ( p ) = p ( a ) for a fixed a ∈ R a \in \mathbb{R} a ∈ R and polynomials p p p
Integration functional : f ( g ) = ∫ a b g ( x ) d x f(g) = \int_a^b g(x) dx f ( g ) = ∫ a b g ( x ) d x for a fixed interval [ a , b ] [a, b] [ a , b ] and functions g g g
Bounded Linear Functionals and Norm
Bounded linear functional has a finite operator norm , defined as:
∥ f ∥ = sup { ∣ f ( x ) ∣ : ∥ x ∥ ≤ 1 } \|f\| = \sup\{|f(x)| : \|x\| \leq 1\} ∥ f ∥ = sup { ∣ f ( x ) ∣ : ∥ x ∥ ≤ 1 }
Measures the maximum absolute value of f f f on the unit ball of V V V
Bounded linear functionals form a normed vector space , denoted as V ∗ V^* V ∗ or B ( V , F ) B(V, \mathbb{F}) B ( V , F )
Examples of bounded linear functionals:
Evaluation functional on the space of continuous functions C ( [ a , b ] ) C([a, b]) C ([ a , b ])
Integration functional on the space of integrable functions L 1 ( [ a , b ] ) L^1([a, b]) L 1 ([ a , b ])
Dual Space and its Properties
Dual space V ∗ V^* V ∗ is the vector space of all bounded linear functionals on V V V
Dual space is a Banach space (complete normed vector space) when V V V is a normed vector space
Dual space of a Hilbert space H H H is isometrically isomorphic to H H H itself (Riesz representation theorem)
Examples of dual spaces:
Dual of ℓ p \ell^p ℓ p space is isometrically isomorphic to ℓ q \ell^q ℓ q space, where 1 / p + 1 / q = 1 1/p + 1/q = 1 1/ p + 1/ q = 1
Dual of L p ( [ a , b ] ) L^p([a, b]) L p ([ a , b ]) space is isometrically isomorphic to L q ( [ a , b ] ) L^q([a, b]) L q ([ a , b ]) space, where 1 / p + 1 / q = 1 1/p + 1/q = 1 1/ p + 1/ q = 1
Riesz Representation Theorem
Statement and Significance of the Theorem
Riesz representation theorem states that for every bounded linear functional f f f on a Hilbert space H H H , there exists a unique vector y ∈ H y \in H y ∈ H such that:
f ( x ) = ⟨ x , y ⟩ f(x) = \langle x, y \rangle f ( x ) = ⟨ x , y ⟩ for all x ∈ H x \in H x ∈ H
∥ f ∥ = ∥ y ∥ \|f\| = \|y\| ∥ f ∥ = ∥ y ∥
Establishes a one-to-one correspondence between the Hilbert space H H H and its dual space H ∗ H^* H ∗
Allows the representation of abstract linear functionals as inner products with concrete vectors
Fundamental result in functional analysis with applications in quantum mechanics , signal processing , and other fields
Isomorphism between Hilbert Space and its Dual
Riesz representation theorem induces an isometric isomorphism between H H H and H ∗ H^* H ∗
Isomorphism is a bijective linear map that preserves the vector space structure
Isometric isomorphism additionally preserves the norm, i.e., ∥ f ∥ = ∥ y ∥ \|f\| = \|y\| ∥ f ∥ = ∥ y ∥ for the corresponding f ∈ H ∗ f \in H^* f ∈ H ∗ and y ∈ H y \in H y ∈ H
Examples of isometric isomorphisms:
ℓ 2 \ell^2 ℓ 2 space is isometrically isomorphic to its dual ( ℓ 2 ) ∗ (\ell^2)^* ( ℓ 2 ) ∗
L 2 ( [ a , b ] ) L^2([a, b]) L 2 ([ a , b ]) space is isometrically isomorphic to its dual ( L 2 ( [ a , b ] ) ) ∗ (L^2([a, b]))^* ( L 2 ([ a , b ]) ) ∗
Reflexive Spaces and their Characterization
Reflexive space is a Banach space V V V such that the canonical embedding J : V → V ∗ ∗ J: V \to V^{**} J : V → V ∗∗ is surjective
Canonical embedding J J J maps each vector x ∈ V x \in V x ∈ V to the evaluation functional J ( x ) ∈ V ∗ ∗ J(x) \in V^{**} J ( x ) ∈ V ∗∗ defined by:
J ( x ) ( f ) = f ( x ) J(x)(f) = f(x) J ( x ) ( f ) = f ( x ) for all f ∈ V ∗ f \in V^* f ∈ V ∗
Hilbert spaces are reflexive, as a consequence of the Riesz representation theorem
Examples of reflexive spaces:
L p ( [ a , b ] ) L^p([a, b]) L p ([ a , b ]) spaces for 1 < p < ∞ 1 < p < \infty 1 < p < ∞
ℓ p \ell^p ℓ p spaces for 1 < p < ∞ 1 < p < \infty 1 < p < ∞