Inner product spaces

The most highly developed theory of squaring things

December 31, 2018 — February 11, 2019

algebra

functional analysis

Hilbert space

metrics

nonparametric

Suspiciously similar content

The most well-worn tool in the functional analysis kit. Let’s walk through the classic setup, as a refresher to my dusty brains. Many details will be skipped, much violence will be done to details

1 Normed spaces

We work on normed spaces which are vector spaces endowed with a notion of distance.

We are considering particular types of normed spaces, which have the additional structure of inner products, and norms induced by their inner products.

But first!

We take a normed space $F$ , which will be a space of functions $T \to V$ . When I say functions I mean ODE solutions, signals, vectors and even the trivial case of scalars, which are constant functions, but since there are functions of functions in the mix, we need to keep constant in mind what we are working with. I call $T$ the index set, which we may as well take $C^{N},$ and $V$ the state set, which can be $C^{M}$ why not? The other case I care about often is $T = Z$ but… later.

1.1 Operators

Let’s say we have two normed spaces, $F$ and $G .$ An operator $Φ$ on $F$ is a map $F \to G .$ We think of it, for the current purpose, as a function-valued function of functions. We call the operator continuous at $x$ if for any $ϵ > 0$ there exists $δ > 0$ such that $∥ x - y ∥_{F} < δ \Rightarrow ∥ Φ x - Φ y ∥_{G} < ϵ .$ We are especially interested in a particular type of operator, the functional.

1.2 Functionals

A functional $ϕ$ on $F$ , is a map $F \to C$ (or $\to R$ , but let’s come back to that later). A linear functional $ϕ$ is one satisfying $ϕ (a f + b g) = a ϕ (x) + b ϕ (g)$ for each $f, g \in F .$ A functional is bounded iff there exists a finite $A$ such that $| ϕ (f) | \leq A ∥ f ∥$ for each $f \in F .$ Note that this does not exclude functionals that are not themselves bounded. It’s easy to show that for linear functionals, boundedness and continuity are the same. (So, what is an example of non-continuous linear functional? Long story.)

Ok, that’s enough of that.

Inner products.

2 Inner product space

If $F$ is also an inner product space over $F$ then it is associated with an inner product $⟨ \cdot, \cdot ⟩ : F \times F \to F,$ which satisfies the following properties for any $f, g, h \in F$ and $α \in F$ :

$⟨ f, f ⟩ \geq 0$ with equality iff $f = 0$
$⟨ f, g ⟩ = \overset{―}{⟨ g, f ⟩}$
$⟨ a f, g ⟩ = a ⟨ f, g ⟩$
$⟨ f, g + h ⟩ = ⟨ f, g ⟩ + ⟨ f, h ⟩$

The inner product induces an associated norm $∥ f ∥ := \sqrt{⟨ f, f ⟩},$ so the inner product space is also a normed space, but one where the norm has special properties. The most special property is the Cauchy-Schwarz inequality: $| ⟨ f, g ⟩ | \leq ∥ f ∥ ∥ g ∥$ which we can show in the “classic” proof. We assume that $⟨ g, g ⟩ > 0$ or there is nothing to do. Next we note that for all $α,$ $⟨ f - α g, f - α g ⟩$ is real and positive. Thence, $\begin{aligned} 0 & \leq ⟨ f - α g, f - α g ⟩ \\ = ⟨ f, f ⟩ + ⟨ - α g, f ⟩ + ⟨ f, - α g ⟩ + ⟨ - α g, - α g ⟩ \\ = ⟨ f, f ⟩ + ⟨ f, - α g ⟩^{*} + ⟨ f, - α g ⟩ + | α |^{2} ⟨ g, g ⟩ \\ = ⟨ f, f ⟩ + 2 R (⟨ f, - α g ⟩) + | α |^{2} ⟨ g, g ⟩ \\ = ⟨ f, f ⟩ - 2 α^{*} R (⟨ f, g ⟩) + | α |^{2} ⟨ g, g ⟩ \\ = ⟨ f, f ⟩ - 2 {(\frac{⟨ f, g ⟩}{⟨ g, g ⟩})}^{*} R (⟨ f, g ⟩) + {| \frac{⟨ f, g ⟩}{⟨ g, g ⟩} |}^{2} ⟨ g, g ⟩ & choosing α = ⟨ f, g ⟩ / ⟨ g, g ⟩ \\ = ⟨ f, f ⟩ - 2 \frac{⟨ f, g ⟩^{*}}{⟨ g, g ⟩} R (⟨ f, g ⟩) + \frac{| ⟨ f, g ⟩ |^{2}}{⟨ g, g ⟩} \\ 0 & \leq ⟨ f, f ⟩ ⟨ g, g ⟩ - 2 ⟨ f, g ⟩^{*} R (⟨ f, g ⟩) + | ⟨ f, g ⟩ |^{2} \\ | ⟨ f, g ⟩ |^{2} & = ⟨ f, f ⟩ ⟨ g, g ⟩ - 2 ⟨ f, g ⟩^{*} R (⟨ f, g ⟩) \\ = ⟨ f, f ⟩ ⟨ g, g ⟩ - 2 ⟨ f, g ⟩ ⟨ f, g ⟩ & since all terms are real \\ \leq ⟨ f, f ⟩ ⟨ g, g ⟩ \end{aligned}$

If $F$ is complete (i.e. it contains the limit of all convergent sequences within it) we call it a Hilbert space.

The choice of norm has given us lots of magical properties.

Let’s consider the functionals generated by the inner product; take any $h \in F .$ Then $ϕ : f \mapsto ⟨ f, h ⟩$ is clearly a linear functional and it’s simple to show (by Cauchy-Schwarz) that it’s bounded and hence continuous.

The famous Riesz representation theorem, workhorse of statistical learning, is a converse.

Famous and important specialisation: A separable Hilbert space is one with a countable basis. Polynomical bases in particular are interesting.

3 Classic inner product spaces

3.1 $ℓ_{2}$

3.2 $L_{2}$

4 Reproducing kernel Hilbert spaces

5 Projection operators