Kategoria skończenie wymiarowych przestrzeni Hilberta
W matematyce kategoria FdHilb ma wszystkie skończenie wymiarowe przestrzenie Hilberta dla obiektów i liniowe przekształcenia między nimi jako morfizmy .
Nieruchomości
Ta kategoria
- jest monoidem ,
- posiada skończone produkty uboczne i
- jest jak sztylet zwarty .
Zgodnie z twierdzeniem Selingera, kategoria skończenie wymiarowych przestrzeni Hilberta jest kompletna w kategorii zwartej sztyletu . Wiele pomysłów z przestrzeni Hilberta, takich jak twierdzenie o braku klonowania , jest generalnie obowiązujących dla kategorii zwartych sztyletów. Zobacz ten artykuł, aby uzyskać dodatkowe informacje.