Hilbert C*-module

Hilbert C*-module

Hilbert C*-modules are mathematical objects which generalise the notion of a Hilbert space (which itself is a generalisation of Euclidean space), in that they endow a linear space with an "inner product" which takes values in a C*-algebra. Hilbert C*-modules were first introduced in the work of Irving Kaplansky in 1953, which developed the theory for commutative, unital algebras (though Kaplansky observed that the assumption of a unit element was not "vital"). [] it follows that

:Vert x Vert = Vert langle x, x angle Vert^frac{1}{2}

defines a norm on "E". When "E" is complete with respect to the metric induced by this norm, it is a Hilbert "A"-module or a Hilbert C*-module over the C*-algebra "A".

Examples

C*-algebras

Any C*-algebra "A" is a Hilbert "A"-module under the inner product <"a","b"> = "a"*"b". Here, the norm on the module coincides with the original norm on "A".

Hilbert spaces

A complex Hilbert space "H" is a Hilbert C-module under its inner product, the complex numbers being a C*-algebra with an involution given by complex conjugation.

Vector bundles

If "X" is a locally compact Hausdorff space and "E" a vector bundle over "X" with a Riemannian metric "g", then the space of continuous sections of "E" is a Hilbert "C(X)"-module. The inner product is given by:: langle f,h angle (x):=g(f(x),h(x)).

The converse holds as well: Every countably generated Hilbert C*-module over a commutative C*-algebra "A=C(X)" is isomorphic to the space of sections vanishing at infinity of a continuous field of Hilbert spaces over "X".

Properties

*Let {"e"λ}λ ∈ I be an approximate unit for "A" (a net of self-adjoint elements of "A" for which "xe"λ or "e"λ"x" tend to "x" for each "x" in "A"), and let "E" be a Hilbert "A"-module. Then for "x" in "E"

::egin{align}Vert x - xe_lambda Vert ^2 & = langle x - xe_lambda, x - xe_lambda angle \& = langle x, x angle - e_lambda langle x, x angle - langle x, x angle e_lambda + e_lambda langle x, x angle e_lambda xrightarrow{lambda} 0, \end{align}

:whence it follows that "EA" is dense in "E", and "x"1 = "x" when "A" is unital.

*Writing

:: langle E, E angle = operatorname{span} { langle x, y angle | x, y in E },

:then the closure of <"E","E"> is a two-sided ideal in "A". Since this will also be a C*-algebra (and will therefore have an approximate unit), a calculation similar to the preceding one verifies that "E"<"E","E"> is dense in "E". In the case when <"E","E"> is dense in "E", "E" is said to be full. This does not generally hold.

See also

* C*-algebra
* Hilbert space
* KK-theory
* Operator algebra

Notes and references

*

External links

*
* [http://www.imn.htwk-leipzig.de/~mfrank/hilmod.html Hilbert C*-Modules Home Page] , a literature list


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Hilbert space — For the Hilbert space filling curve, see Hilbert curve. Hilbert spaces can be used to study the harmonics of vibrating strings. The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It… …   Wikipedia

  • HILBERT (D.) — Le mathématicien allemand David Hilbert a ouvert la voie à plusieurs générations de chercheurs et a joué un rôle important dans l’élaboration des idées, non seulement dans sa spécialité, mais dans le cadre d’une réflexion générale sur la science …   Encyclopédie Universelle

  • HILBERT (PROBLÈMES DE) — «Qui ne se réjouirait de pouvoir soulever le voile qui cache le futur, de jeter un regard sur le développement des mathématiques, ses progrès ultérieurs, les secrets des découvertes des siècles à venir?...» Prévoir le futur des mathématiques: qui …   Encyclopédie Universelle

  • HILBERT (ESPACE DE) — La théorie des espaces hilbertiens trouve son origine dans celle des développements de fonctions arbitraires en séries de fonctions orthogonales, lesquelles apparaissent le plus souvent comme fonctions propres de certains opérateurs différentiels …   Encyclopédie Universelle

  • Hilbert's twelfth problem — Hilbert s twelfth problem, of the 23 Hilbert s problems, is the extension of Kronecker Weber theorem on abelian extensions of the rational numbers, to any base number field. The classical theory of complex multiplication does this for any… …   Wikipedia

  • Hilbert polynomial — In commutative algebra, the Hilbert polynomial of a graded commutative algebra or graded module is a polynomial in one variable that measures the rate of growth of the dimensions of its homogeneous components. The degree and the leading… …   Wikipedia

  • Hilbert–Poincaré series — In mathematics, and in particular in the field of algebra, a Hilbert–Poincaré series, named after David Hilbert and Henri Poincaré, is an adaptation of the notion of dimension to the context of graded algebraic structures (where the dimension of… …   Wikipedia

  • David Hilbert — Hilbert redirects here. For other uses, see Hilbert (disambiguation). David Hilbert David Hilbert (1912) Born …   Wikipedia

  • Hilbert's twenty-first problem — For Riemann Hilbert factorization problems on the complex plane see Riemann Hilbert. The twenty first problem of the 23 Hilbert problems, from the celebrated list put forth in 1900 by David Hilbert, was phrased like this (English translation from …   Wikipedia

  • Hilbert's syzygy theorem — In mathematics, Hilbert s syzygy theorem is a result of commutative algebra, first proved by David Hilbert (1890) in connection with the syzygy (relation) problem of invariant theory. Roughly speaking, starting with relations between polynomial… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”