In the simplest and most often used case, a Hilbert space consisting of infinite sequences of the form
denotes the Hilbert space of symmetric (respectively, anti-symmetric) functions in variables , . The scalar product of two sequences and of the form (1) is equal to
In the case when the sequences consist of symmetric functions, one speaks of a symmetric (or boson) Fock space, and in the case of sequences of anti-symmetric functions the Fock space is called anti-symmetric (or fermion). Fock spaces were first introduced by V.A. Fock [V.A. Fok]  in this simplest case.
In the general case of an arbitrary Hilbert space , the Fock space (or ) constructed over is the symmetrized (or anti-symmetrized) tensor exponential of , that is, the space
where the symbol denotes the direct orthogonal sum of Hilbert spaces, , , and , , is for the symmetrized or for the anti-symmetrized -th tensor power of . In the case definition (2) is equivalent to the definition of a Fock space given at the beginning of the article, if one identifies the spaces and so that the tensor product
of the sequence of functions
corresponds to the function
where the summation is taken over all permutations of the indices ; is the sign of , and the sign or in (3) corresponds to the symmetric or anti-symmetric case.
In quantum mechanics, the Fock spaces or serve as the state spaces of quantum-mechanical systems consisting of an arbitrary (but finite) number of identical particles such that the state space of each separate particle is . Here, depending on which of the Fock spaces — the symmetric or the anti-symmetric — describes this system, the particles themselves are called bosons or fermions, respectively. For every the subspace , , is called the -particle subspace: The vectors in it describe those states in which there are exactly particles; the unit vector , (in the notation of (1): ), called the vacuum vector, describes the state of the system in which there are no particles.
In studying linear operators acting on the Fock spaces and , one often applies a special formalism called the method of second quantization. It is based on introducing two families of linear operators on each of the spaces : the so-called annihilation operators , , and the family of operators adjoint to them , called creation operators. The annihilation operators are given as the closures of the operators acting on the vectors
where are the symmetrized (for ) or anti-symmetrized tensor products of the sequences of vectors , according to the formulas
where and . The creation operators act on the vectors (3) according to the formulas
Here for every , : , and , that is, states of the physical system with particles are mapped by the annihilation operators to states with particles, and by the creation operators to states with particles. Creation and annihilation operators occur in many cases of a similar system as "generators" in the collection of all operators (bounded and unbounded) acting on Fock spaces. The representation of such operators in the form of a sum (finite or infinite) of operators of the form
— the so-called normal form of an operator — and methods of dealing with operators based on such a representation (computing functions of them, reducing operators to the "simplest" form, various examples of approximation, etc.) also constitute the content of the formalism of second quantization mentioned above (see ).
In the case of a symmetric Fock space over a real space there is a canonical isomorphism between that space and the Hilbert space of square-integrable functionals in a Gaussian linear random process defined on such that
This isomorphism, called the Itô–Segal–Wick mapping, is uniquely determined by the condition that for any orthonormal system of elements and any collection of non-negative integers the vector
( times times ) is mapped to the functional
|||V. Fock, Z. Phys. , 75 (1932) pp. 622–647|
|||F.A. Berezin, "The method of second quantization" , Acad. Press (1966) (Translated from Russian) (Revised (augmented) second edition: Kluwer, 1989)|
|||R.L. Dobrushin, R.A. Minlos, "Polynomials in linear random functions" Russian Math. Surveys , 32 : 2 (1971) pp. 71–127 Uspekhi Mat. Nauk , 32 : 2 (1977) pp. 67–122|
|||B. Simon, "The Euclidean (quantum) field theory" , Princeton Univ. Press (1974)|
The number operator , , where runs through an orthonormal basis of , has as eigen spaces with eigen value the spaces . It is interpreted as giving the number of particles.
|[a1]||N.N. [N.N. Bogolyubov] Bogolubov, A.A. Logunov, I.T. Todorov, "Introduction to axiomatic quantum field theory" , Benjamin (1975) (Translated from Russian)|
|[a2]||P.J.M. Bongaarts, "The mathematical structure of free quantum fields. Gaussian systems" E.A. de Kerf (ed.) H.G.J. Pijls (ed.) , Proc. Seminar. Mathematical structures in field theory , CWI, Amsterdam (1984–1986) pp. 1–50|
Fock space. R.A. Minlos (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Fock_space&oldid=13259