0
$\begingroup$

If $\{\frac{f_{n}}{\|f_{n}\|}\}_{n\in I}$ is an orthonormal basis for a separable Hilbert space $H$, and $\{f_{n}\}_{n\in I}$ is a complete and orthogonal set in $H$, is it true that $\{f_{n}\}_{n\in I}$ is a basis for $H$?

If this is not always true, when it would be?

  • 1
    Will you please define what you mean by "basis for $H$"? (It is not an orthonormal basis unless $\|f_n\|=1$ for all $n$, and it is not a vector space basis(reference [1](http://math.stackexchange.com/questions/13641/an-orthonormal-set-cannot-be-a-basis-in-an-infinite-dimension-vector-space) and [2](http://math.stackexchange.com/q/17627/)) unless $H$ is finite dimensional, but I don't know whether you have something else in mind.)2012-05-28
  • 3
    If you mean Schauder Basis (every $x$ has a unique representation $\sum\alpha_n f_n$), then yes. More generally, if $\{f_n\}_{n=1}^\infty$ is a Schauder Basis of $H$ (as orthonormal bases are), then so is $\{\alpha_n f_n\}_{n=1}^\infty$ for any sequence of non-zero scalars $\{\alpha_n\}$.2012-05-28
  • 0
    Okay, I found this in wikipedia: http://en.wikipedia.org/wiki/Orthonormal_basis ,"* Given a Hilbert space H and a set S of mutually orthogonal vectors in H, we can take the smallest closed linear subspace V of H containing S. Then S will be an orthogonal basis of V; which may of course be smaller than H itself, being an incomplete orthogonal set, or be H, when it is a complete orthogonal set.*" So, since my set is complete it will be an orthogonal basis. Any one help me to prove it!2012-05-28
  • 0
    @Liza: So if you are meaning to ask, "Is the smallest closed linear subspace of $H$ containing $\{f_n\}$ equal to $H$?" then the answer is "Yes." Such a subspace also contains an orthonormal basis $\{f_n/\|f_n\|\}$ for $H$. It is still not 100% clear to me what your question is asking. The quote you gave never precisely defined "orthogonal basis," but my guess is you meant what I wrote above, which in this case is equivalent to whether it is a Schauder basis as mentioned in David Mitra's comment.2012-05-28

1 Answers 1