## Orthonormal basis for non-separable inner-product space

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Suppose X is an inner product space, with Hilbert space completion H (actually, I'm interested in the real 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.

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...?

-

2
Something here sounds fishy. If $X$ is an incomplete inner product space and $H$ is its completion then an orthonormal basis for $H$ which consists of elements of $X$ is in particular an orthonormal basis for $X$, but some incomplete inner product spaces (which are necessarily not separable) do not have an orthonormal basis. – Mark Schwarzmann Aug 26 2010 at 9:53
Ah, well that would give a counter-example for sure! Do you have a reference? – Matthew Daws Aug 26 2010 at 9:57

2
Ah, Google comes to the rescue: secure.wikimedia.org/wikipedia/en/wiki/… – Matthew Daws Aug 26 2010 at 10:03
Mark: if you write that up into an answer, I'll accept it (as it was news to me that non-separable (incomplete) inner-product spaces might fail to have an o.n. basis. – Matthew Daws Aug 26 2010 at 10:07

1
Sorry, last commment. If you access, a better reference is jstor.org/stable/2318908 – Matthew Daws Aug 26 2010 at 10:12
show 1 more comment

## 4 Answers

This is Problem 54 in Halmos' "A Hilbert Space Problem Book". However, I think this is a concrete counterexample. [Please let me know if not viewable.]

-

As Mark hasn't typed his comment into an answer, I'm accepting this.  Thanks all. – Matthew Daws Aug 28 2010 at 12:24

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

-

On the arXiv this (2010-09-09) morning:

1009.1441 [ps, pdf, other]

Title: Inner product space with no ortho-normal basis without choice.
Authors: Saharon Shelah
Primary Subject: math.LO

We prove in ZF that there is an inner product space, in fact, nicely definable with no orthonormal basis.

-

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.

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.

However, there may be nice spaces that have the property you mentioned. I believe the following is an example:

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.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 8, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9177252650260925, "perplexity_flag": "middle"}