0
$\begingroup$

A sequence of distinct vectors $\{f_1,f_2,...\}$ belonging to a separable Hilbert space $H$ is said to be a Frame if there exist positive contants $A$, $B$ such that, for $A<B$: $$A\|f\|^2\leq\sum_{n=1}^\infty |(f,f_n)|^2\leq B \|f\|^2.$$ An operator $T$ on $H$ is said "frame operator" of frame $\{f_1,f_2,...\}$, if $$Tf=\sum_{n=1}^\infty (f,f_n) f_n$$ It is known that this operator, on infite dimensional Hilbert space, has various properties. For example, it is bounded, positive, self-adjoint. Are these properties preserved also for frames on finite dimensional Hilbert space?

$\endgroup$
2
$\begingroup$

Yes, just note that $(Tf,f) = \sum_{n=1}^N \vert (f,f_n) \vert^2$, where $N$ is the (possibly infinite) number of frame vectors, and that this quantity lies between $A \Vert f \Vert^2$ and $B \Vert f \Vert^2$. This shows that $T$ is bounded with $\Vert T \Vert \le B$, and selfadjoint (because $(Tf,f) \in \mathbb{R}$ for all $f$), and positive (because $(Tf,f) \ge 0$ for all $f$).

Moreover, the frame operator is also invertible because of the lower bound, and $\Vert T^{-1} \Vert \le \frac{1}{A}$. The wikipedia page concerning frames is not bad. You should have a look if you want more information than I provided above.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.