Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2412.03776 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866915230898978816 |
|---|---|
| author | Lack, Stephen Tobin, Shay |
| author_facet | Lack, Stephen Tobin, Shay |
| contents | The categories of real and of complex Hilbert spaces with bounded linear maps have received purely categorical characterisations by Chris Heunen and Andre Kornell. These characterisations are achieved through Solèr's theorem, a result which shows that certain orthomodularity conditions on a Hermitian space over an involutive division ring result in a Hilbert space with the division ring being either the reals, complexes or quaternions. The characterisation by Heunen and Kornell makes use of a monoidal structure, which in turn excludes the category of quaternionic Hilbert spaces. We provide an alternative characterisation without the assumption of monoidal structure on the category. This new approach not only gives a new characterisation of the categories of real and of complex Hilbert spaces, but also the category of quaternionic Hilbert spaces. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2412_03776 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A characterisation for the category of Hilbert spaces Lack, Stephen Tobin, Shay Category Theory 18M40, 46C15 The categories of real and of complex Hilbert spaces with bounded linear maps have received purely categorical characterisations by Chris Heunen and Andre Kornell. These characterisations are achieved through Solèr's theorem, a result which shows that certain orthomodularity conditions on a Hermitian space over an involutive division ring result in a Hilbert space with the division ring being either the reals, complexes or quaternions. The characterisation by Heunen and Kornell makes use of a monoidal structure, which in turn excludes the category of quaternionic Hilbert spaces. We provide an alternative characterisation without the assumption of monoidal structure on the category. This new approach not only gives a new characterisation of the categories of real and of complex Hilbert spaces, but also the category of quaternionic Hilbert spaces. |
| title | A characterisation for the category of Hilbert spaces |
| topic | Category Theory 18M40, 46C15 |
| url | https://arxiv.org/abs/2412.03776 |