Riesz sequence

In mathematics, a sequence of vectors (x_n) in a Hilbert space ${\displaystyle (H,\langle \cdot ,\cdot \rangle )}$ is called a Riesz sequence if there exist constants ${\displaystyle 0<c\leq C<+\infty }$ such that

${\displaystyle 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 the ℓ^p space ℓ². A Riesz sequence is called a Riesz basis if

${\displaystyle {\overline {\mathop {\rm {span}} (x_{n})}}=H}$.

Alternatively, one can define the Riesz basis as a family of the form ${\displaystyle \left\{x_{n}\right\}_{n=1}^{\infty }=\left\{Ue_{n}\right\}_{n=1}^{\infty }}$, where ${\displaystyle \left\{e_{n}\right\}_{n=1}^{\infty }}$ is an orthonormal basis for ${\displaystyle H}$ and ${\displaystyle U:H\rightarrow H}$ is a bounded bijective operator. Hence, Riesz bases need not be orthonormal, i.e., they are a generalization of orthonormal bases.