PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
category of Hilbert spaces (Definition)
Definition 0.1   The category $\mathcal{H}ilb_f$ of finite-dimensional Hilbert spaces is defined as the category whose objects are all finite-dimensional Hilbert spaces $\mathcal{H}_f$ , and whose morphisms are linear maps between $\mathcal{H}_f$ spaces. The isomorphisms in $\mathcal{H}ilb_f$ are all isometric isomorphisms.

Furthermore, one also has the following, general definition for any Hilbert space.

Definition 0.2   The category $\mathcal{H}ilb$ of Hilbert spaces is defined as the category whose objects are all Hilbert spaces $\mathcal{H}$ , and whose morphisms are linear maps between $\mathcal{H}$ spaces. The isomorphisms in $\mathcal{H}ilb$ are all isometric isomorphisms.
Remark 0.1  

The category of $\mathcal{H}ilb$ Hilbert spaces has direct sums and is a Cartesian category.




"category of Hilbert spaces" is owned by bci1.
(view preamble | get metadata)

View style:

See Also: direct sum of Hilbert spaces, classification of Hilbert spaces, index of categories

Other names:  $Hilb$
Also defines:  isomorphisms in $Hilb$, Hilbert space morphisms
Keywords:  category, Hilbert spaces, operators, category of Hilbert spaces, direct sum of Hilbert spaces
Log in to rate this entry.
(view current ratings)

Cross-references: direct sums, isometric isomorphisms, isomorphisms, linear maps, morphisms, objects, Hilbert spaces, finite-dimensional, category
There are 2 references to this entry.

This is version 5 of category of Hilbert spaces, born on 2008-09-22, modified 2009-01-26.
Object id is 11070, canonical name is CategoryOfHilbertSpaces.
Accessed 1201 times total.

Classification:
AMS MSC18-00 (Category theory; homological algebra :: General reference works )
 46E20 (Functional analysis :: Linear function spaces and their duals :: Hilbert spaces of continuous, differentiable or analytic functions)
 46C15 (Functional analysis :: Inner product spaces and their generalizations, Hilbert spaces :: Characterizations of Hilbert spaces)
 46C50 (Functional analysis :: Inner product spaces and their generalizations, Hilbert spaces :: Generalizations of inner products )
 46C05 (Functional analysis :: Inner product spaces and their generalizations, Hilbert spaces :: Hilbert and pre-Hilbert spaces: geometry and topology )
 46K15 (Functional analysis :: Topological algebras with an involution :: Hilbert algebras)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)