Fock Space - Definition

Definition

Fock space is the (Hilbert) direct sum of tensor products of copies of a single-particle Hilbert space

Here represents the states of no particles, the state of one particle, the states of two identical particles etc.

A typical state in is given by

where

is a vector of length 1, called the vacuum state and is a complex coefficient,
is a state in the single particle Hilbert space,
, and is a complex coefficient
etc.

The convergence of this infinite sum is important if is to be a Hilbert space. Technically we require to be the Hilbert space completion of the algebraic direct sum. It consists of all infinite tuples |\Psi\rangle_\nu = (|\Psi_0\rangle_\nu, |\Psi_1\rangle_\nu ,
|\Psi_2\rangle_\nu, \ldots) such that the norm, defined by the inner product is finite

where the particle norm is defined by

i.e. the restriction of the norm on the tensor product

For two states

, and

the inner product on is then defined as

where we use the inner products on each of the -particle Hilbert spaces. Note that, in particular the particle subspaces are orthogonal for different .

Read more about this topic:  Fock Space

Famous quotes containing the word definition:

    The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.
    Samuel Taylor Coleridge (1772–1834)

    I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.”
    Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)

    The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.
    William James (1842–1910)