Orthonormal basis for non-separable inner-product space - MathOverflow most recent 30 from http://mathoverflow.net 2013-06-20T10:05:44Z http://mathoverflow.net/feeds/question/36734 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/36734/orthonormal-basis-for-non-separable-inner-product-space Orthonormal basis for non-separable inner-product space Matthew Daws 2010-08-26T09:07:51Z 2010-09-09T06:53:35Z <p>Suppose X is an inner product space, with Hilbert space completion H (actually, I'm interested in the <em>real</em> scalar case, but I doubt there's any difference). If H is separable, then so is X, and I can find a (countable or finite) orthonormal basis of H inside X. Indeed, start with some countable subset Y of X which is dense in H. Then, by induction, we can move to a linearly independent subset of Y, and then apply Gram–Schmidt, again by induction. The point (to me, anyway) is that at any stage, we never take limits, and so we never leave X.</p> <p>Now, what happens if H is not assumed separable? I've tried to use a Zorn's Lemma argument, but I keep end up wanting to take limits (or, rather, infinite sums) which gives me an orthonormal basis (in the generalised, non-countable, sense) in H, but I cannot ensure that it's in X. Am I just missing something obvious, or is there a slight technicality here...?</p> http://mathoverflow.net/questions/36734/orthonormal-basis-for-non-separable-inner-product-space/36744#36744 Answer by Tunococ for Orthonormal basis for non-separable inner-product space Tunococ 2010-08-26T10:45:21Z 2010-08-26T10:45:21Z <p>I don't think we can do that unless you can make sense out of uncountable sums. The Gram-Schmidt algorithm cannot transform a basis into an orthogonal one unless the original basis has no limit ordinal in its well-ordering. For example, take X as the space of square summable sequences. We can construct a Hamel basis by adding vectors to the set of standard basis vectors (1 at one position and 0 everywhere else). Obviously any non-zero vector in X cannot be orthogonal to every standard basis vector, so the Hamel basis cannot be made orthogonal. (In other words, if these standard basis vectors are considered the "first" vectors in our basis, the least upper bound of all standard basis vectors cannot be orthogonalized.) This shows that it may not be possible just to have an uncountable set of orthogonal vectors.</p> <p>My argument is not comprehensive. It might be the case that some special choices of the first "countably many" vectors may lead to a valid construction of an uncountable set of orthogonal vectors.</p> <p>However, there may be nice spaces that have the property you mentioned. I believe the following is an example:</p> <p>Take X as a space of functions $f:R \to R$ such that $f^{-1}(0)$ is the complement of a countable set and $\sum_{f(x) \ne 0} f(x)^2$ is finite. X is pretty much like the space of square-summable sequences, but each sequence is indexed by a real number instead of a positive integer. We define standard basis vectors as functions that are 1 at only one point and 0 everywhere else. [I believe] these standard basis vectors form a complete orthogonal basis in your sense.</p> http://mathoverflow.net/questions/36734/orthonormal-basis-for-non-separable-inner-product-space/36749#36749 Answer by Gerald Edgar for Orthonormal basis for non-separable inner-product space Gerald Edgar 2010-08-26T11:50:30Z 2010-08-26T11:50:30Z <p>Sci.math, March 8, 2000 <a href="http://groups.google.com/group/sci.math.research/browse_frm/thread/d5203fde1d70850a" rel="nofollow">LINK</a></p> http://mathoverflow.net/questions/36734/orthonormal-basis-for-non-separable-inner-product-space/36759#36759 Answer by Ady for Orthonormal basis for non-separable inner-product space Ady 2010-08-26T13:06:42Z 2010-08-26T13:06:42Z <p>This is Problem 54 in Halmos' "A Hilbert Space Problem Book". However, I think <a href="http://www.angelfire.com/journal/mathematics/innerproduct.pdf" rel="nofollow">this</a> is a concrete counterexample. [Please let me know if not viewable.]</p> http://mathoverflow.net/questions/36734/orthonormal-basis-for-non-separable-inner-product-space/38148#38148 Answer by Andrew Stacey for Orthonormal basis for non-separable inner-product space Andrew Stacey 2010-09-09T06:53:35Z 2010-09-09T06:53:35Z <p>On the arXiv this (2010-09-09) morning:</p> <p><a href="http://arxiv.org/abs/1009.1441" rel="nofollow" title="Abstract">1009.1441</a> [<a href="http://arxiv.org/ps/1009.1441" rel="nofollow" title="Download PostScript">ps</a>, <a href="http://arxiv.org/pdf/1009.1441" rel="nofollow" title="Download PDF">pdf</a>, <a href="http://arxiv.org/format/1009.1441" rel="nofollow" title="Other formats">other</a>]</p> <p><strong>Title:</strong> Inner product space with no ortho-normal basis without choice.<br> <strong>Authors:</strong> <a href="http://arxiv.org/find/math/1/au:+Shelah_S/0/1/0/all/0/1" rel="nofollow">Saharon Shelah</a><br> <strong>Primary Subject:</strong> math.LO</p> <p>We prove in ZF that there is an inner product space, in fact, nicely definable with no orthonormal basis.</p>