Riesz sequence

From Wikipedia, the free encyclopedia

A sequence of vectors (xn) in a Hilbert space H is called a Riesz sequence if there exist constants 0 < c \leq C such that

c\left( \sum_n | a_n|^2 \right) \leq \left\Vert \sum_n a_n x_n \right\Vert^2 \leq C \left( \sum_n | a_n|^2 \right)

for all sequences of scalars (a_n) \in l^2. A Riesz sequence is called a Riesz basis if

\overline{\mathop{\rm span} (x_n)} = H .

[edit] Theorems

If H is a finite-dimensional space, then every basis of H is a Riesz basis.

Let \phi \in L_2(\mathbb{R}), φn(x) = φ(xn) and \hat{\phi} be the Fourier transform of φ. Define constants c and C sch that 0 < c \leq C. Then the following are equivalent:

1. \quad \forall (a_n) \in l_2,\ \ c\left( \sum_n | a_n|^2 \right) \leq \left\Vert \sum_n a_n \phi_n \right\Vert^2 \leq C \left( \sum_n | a_n|^2 \right)
2. \quad c\leq\sum_{n}\left|\hat{\phi}(\omega + 2\pi n)\right|^2\leq C

The first of the above conditions is the definition for n} to form a Riesz basis for the space it spans.

[edit] See also


This article incorporates material from Riesz sequence on PlanetMath, which is licensed under the GFDL.

This article incorporates material from Riesz basis on PlanetMath, which is licensed under the GFDL.