Skip to main content
7 events
when toggle format what by license comment
Jun 29, 2022 at 15:33 comment added Yemon Choi But if you replace the word "maximal" in your comment with the property "has dense linear span" then yes, I think that should work.
Jun 29, 2022 at 15:32 comment added Yemon Choi I think that arguing via maximality in an incomplete inner product space can be a bit risky. If you consider C[-1,1] with the usual (L^2) inner product and then define V to be the set of all f in C[-1,1] such that $\int_{-1}^0 f = \int_0^1 f$ then one can show that no non-zero vector in C[-1,1] is orthogonal to all of V. Hence, if $(u_n)$ is an ONB of $V$ then it is a maximal orthonormal set in C[-1,1] but it does not span C[-1,1]
Jun 29, 2022 at 14:05 comment added Naruto So, basically, by Zorns lemma and Gram-Schmidt orthogonalization process, I can obtain a maximal sequence ${u_{n}}$ in an inner product space $A^{\infty}(\Omega).$ and then, as what you said, it follows.
Jun 29, 2022 at 13:57 vote accept Naruto
Jun 24, 2022 at 15:19 history edited Yemon Choi CC BY-SA 4.0
added details in response to request in comments.
Jun 24, 2022 at 13:42 comment added Naruto Can you provide some more details?
Jun 15, 2022 at 22:29 history answered Yemon Choi CC BY-SA 4.0