Encyclopedia > Orthonormal basis

  Article Content

Orthonormal basis

In mathematics, an orthonormal basis of an inner product space (i.e., a vector space with an inner product), or in particular of a Hilbert space, is a set of elements whose span is dense in the space, in which the elements are mutually orthogonal and normal, that is of length 1. Note that an orthonormal basis is not generally a "basis", i.e., it is not generally possible to write every member of the space as a linear combination of finitely many members of an orthonormal basis. That is why the word "dense" is used here. Nor is it possible to speak of an orthormal basis of any vector space unless it first has an inner product; Banach spaces do not generally have orthonormal bases.

Examples of orthonormal bases include:

  • the set {(1,0,0),(0,1,0),(0,0,1)} forms an orthonormal basis of R3
  • the set {fn : nZ} with fn(x) = exp(2πinx) forms an orthonormal basis of the complex space L2([0,1])
  • the set {eb : bB} with eb(c) = 1 if b=c and 0 otherwise forms an orthonormal basis of l2(B).

Note that in the infinite-dimensional case, an orthonormal basis will not be a basis in the sense of linear algebra; to distinguish the two, the latter bases are also called Hamel bases.

Using Zorn's lemma, one can show that every Hilbert space admits an orthonormal basis; furthermore, any two orthonormal bases of the same space have the same cardinality. A Hilbert space is separable if and only if it admits a countable orthonormal basis.

If B is an orthonormal basis of H, then every element x of H may be written as

<math>x=\sum_{b\in B}\langle x,b\rangle b</math>
and the norm of x can be given by
<math>\|x\|^2=\sum_{b\in B}|\langle x,b\rangle |^2</math>.
Even if B is uncountable, only countably many terms in this sum will be non-zero, and the expression is therefore well-defined. This sum is also called the Fourier expansion of x.

If B is an orthonormal basis of H, then H is isomorphic to l2(B) in the following sense: there exists a bijective linear map Φ : H -> l2(B) such that

<math>\langle\Phi(x),\Phi(y)\rangle=\langle x,y\rangle</math>
for all x and y in H.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Museums in England

... Derwent Valley Mills World Heritage Site Greater Manchester Manchester City: Imperial War Museum Salford: The ...

 
 
 
This page was created in 37.5 ms