Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

That is, what are some good examples of vector spaces which are inner product spaces but in which not every Cauchy sequence converges?

share|improve this question
add comment

3 Answers

up vote 8 down vote accepted

Any non-closed subspace of a Hilbert space will do. For example, the linear span of a Hilbert basis of an infinite-dimensional Hilbert space.

For an explicit example, take $H = \ell^2(\mathbb{R})$, the vector space of square summable sequences of real numbers with pointwise operations and inner product $$\Bigl\langle \{a_n\},\{b_n\}\Bigr\rangle = \sum_{k=1}^{\infty} a_kb_k.$$ Let $\mathbf{e}_i$ be the sequence that has a $1$ in the $i$th coordinate and $0$s elsewhere. Then $\{\mathbf{e}_i\mid i\in\mathbb{N}\}$ is a Hilbert basis for $H$, and its linear span (the vector space of all almost null sequences) is an inner product space that is not complete.

share|improve this answer
add comment

Lots of natural subspaces of Hilbert spaces aren't Hilbert spaces (which is the same thing as saying they're not closed). Two examples that come to mind are the subspace of sequences in $\ell^2(\mathbb{Z})$ at most finitely many terms of which are nonzero (the compactly supported sequences) and the continuous functions $C([0, 1])$ under the $L^2$-norm. (Note that you don't have to quotient out by anything here because it's already true that a continuous function with zero $L^2$-norm is identically zero.)

share|improve this answer
    
Can you give an example on a nonconvergent Cacuhy sequence of continuous functions on $C([0,1])$? –  Gadi A May 18 '11 at 7:39
2  
@Gadi A: The sequence of continuous functions given by $u_n (x) = max( (2 x)^n, 1)$ is a Cauchy sequence in $L^2$, but converges in $L^2$ norm to the non-continuous function that is 0 on (0, 1/2), and 1 on (1/2, 1). –  Michael Ulm May 18 '11 at 7:51
    
Or use f(x)=$x^n$, which converges to f=0 for x in [0,1), and f(1)=1 –  gary May 19 '11 at 6:37
    
@gary: no. In $L^2$ it just converges to the (equivalence class of the) zero function. –  Qiaochu Yuan May 19 '11 at 6:47
    
I did not read that the OP was using the $L^2$ norm, my bad. –  gary May 19 '11 at 13:21
add comment

A slightly different example than already mentioned would be a (sub-) vector space over the rationals. You can take any real or complex Hilbert space, for example, and consider the linear subspace over the rational numbers.

Edit: Sorry for the confusion: It would seem that "inner product space" is usually defined to be over the real or complex numbers, although the definition also works if one uses the rational numbers instead (or any other normed field). So, striktly speaking, the restriction of the ground field to the rational numbers is not an example of an inner product space that is incomplete.

share|improve this answer
1  
This won't be a (real or complex) inner product space. I've never heard of anyone considering inner product spaces over $\mathbb{Q}$. –  Qiaochu Yuan May 18 '11 at 8:19
1  
Tim: strictly speaking, there is no meaning to "the linear subspace over Q" of a Hilbert space since there is no one "linear subspace over Q". The construction depends on a choice of basis. –  KCd May 18 '11 at 8:51
1  
Qiaochu: Perhaps the term "inner product space" is usually applied over R or C, but vector spaces over other fields with nondegenerate bilinear forms on them (perhaps pos. definite) definitely get used when you study quadratic forms over different fields. –  KCd May 18 '11 at 8:52
1  
@Qiaochu: Also for me, when I hear "incomplete" my mind turns to the rationals. It seems $\mathbb{Q}^n$ satisfies the axioms of an inner product space with the inner product inherited from $\mathbb{R}^n$, though Wikipedia demands that the field be $\mathbb{R}$ or $\mathbb{C}$. –  Ross Millikan May 18 '11 at 13:44
    
@KCd: sure, but in my experience the particular term "inner product space" refers to one over $\mathbb{R}$ or $\mathbb{C}$ (maybe over $\mathbb{H}$). –  Qiaochu Yuan May 18 '11 at 13:46
show 1 more comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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