From Pythagoras to Fourier and From Geometry to Nature

DOI: https://doi.org/10.55060/b.p2fg2n.ch003.220215.006

Chapter 3. Hilbert and Metric Spaces

Downloads:
212
Full-Text Views:
53

Hereafter, for simplicity of writing, we will abandon the notation in bold to denote vectors.

The vector space ℋ on R is said to be equipped with a scalar product if there is a law that each pair x, y of elements of ℋ is associated with a real number, denoted by the symbol (x, y), so that the following properties hold ∀x, y, z ∈ ℋ, ∀α, βR:

  1. (x, x) ≥ 0

  2. (x,x)=0x=0(zerovector)

  3. (αx + βy, z) = α(x, z) + β(y, z)

  4. (x, y) = (y, x)

By the above properties it is even possible to prove the following ones:

  1. 5.

    (αx, αx) = |α|2(x, x)

  2. 6.

    |(x,y)|(x,x)(y,y)

  3. 7.

    (x+y,x+y)(x,x)+(y,y)x,y

In (6) (the Cauchy-Schwarz inequality) the equality holds if and only if x and y are linearly dependent. In (7) the equality holds only if x = 0 or x = αy with α ≥ 0.

From the above-mentioned properties it immediately follows that every space endowed with a scalar product is a normed space (and therefore also metric) with the definition of norm given by:

x(x,x)

In particular, from property (7) it follows that every space equipped with a scalar product is a normed space. If the thus obtained normed space ℋ is complete, then it is called a Hilbert space. Completeness means that every sequence that satisfies the Cauchy convergence criterion converges to a vector that belongs to the space.

Two vectors x, y of ℋ are said to be orthogonal if their scalar product vanishes: (x, y) = 0.

3.1 Infinite Dimensional Vector Spaces; The Space Lw2

The space constituted by the polynomial functions has an infinite dimension, since whatever n the vectors {1, x, x2, x3, … , xn} are linearly independent. Indeed a linear combination of them (i.e. a polynomial) is identically zero if and only if all the coefficients of the combination are zero.

The space Lw2(a,b) , with w(x) a non-negative real weight function not vanishing almost everywhere in (a, b), is made of almost continuous real functions in (a, b) and such that the integral of the function f 2(x)w(x) in (a, b) is bounded [86].

The scalar product is defined by:

(f,g)wabf(x)g(x)w(x)dx

Note the transition from discrete to continuous: when the vectors u, v have a discrete number n of components, their scalar product with weight w is the sum of products u1v1w1 + u2v2w2 + ⋯ + unvnwn.

When the functions f(x), g(x) and w(x) are defined on the interval (a, b), their components must be interpreted as the infinite values assumed in (a, b) and the scalar product is transformed into the integral of the products f (x)g(x)w(x):

k=1nukvkwkabf(x)g(x)w(x)dx

A set (also called system) of functions of a Hilbert space is said to be complete if it is possible to approximate any function of space to less than a predetermined ɛ number by means of a finite linear combination of elements of the system.

Suppose we have an orthonormal complete system of functions {un(x)}, (n = 0, 1, 2, … ), such that ∀h, k:

(uh,uk)w=abuh(x)uk(x)w(x)dx=δh,k

Then, expanding a function f(x) in (a, b) by means of the uniformly convergent series:

f(x)=f0u0(x)+f1u1(x)++fnun(x)+
proceeding analogously to the discrete case, we find that the components fk of the function f(x), with respect to the aforementioned basis, are given by the numbers:
fk=(f,uk)w=abf(x)uk(x)w(x)dx
which are called the Fourier coefficients of the function f(x).