3

Most textbooks say, that given a (countable) basis ${|\phi_n\rangle}$ of a Hilbert space, that every vector $|\psi\rangle$ of the space can be written as:

$$\psi\rangle=\sum_{n=1}^\infty a_n|\phi_n\rangle$$

But this an infinite linear combination, and every vector should be expressed by a finite linear combination.

So I think that they are an orthogonal set, which generates the vector space as an infinite linear combination (the difference between infinite and finite LC means that orthonormal sets are usually smaller than basis).

But for the rest of the properties, ${|\phi_n\rangle}$ looks like a basis to me.

So, is ${|\phi_n\rangle}$ a basis or just an orthogonal set?

Qmechanic
  • 220,844
jinawee
  • 12,675
  • 7
  • 60
  • 102

2 Answers2

6

It is a basis. The trouble is that "basis" is actually vague if removed from specific context, and what we have here is a Schauder basis. The definition you learned in basic linear algebra that requires a finite linear combination is a Hamel basis.

Stan Liou
  • 7,794
5

It's a matter of definition.

According to Hirzebruch/Scharlau, Einführung in die Funktionalanalysis (1971), Definition 21.10:

An orthonormal system $\{x_i\}_{i\in I}$ that meets the [proven equivalent] conditions of this theorem is called a Hilbert basis or just basis of $X$.

Wikipedia calls it an orthonormal basis, which is a Schauder basis if your infinite-dimensional Hilbert space is separable.

Christoph
  • 14,001