Abstract
We study operators with located graph in Bishop-style constructive mathematics. It is shown that a bounded operator has an adjoint if and only if its graph is located. Locatedness of the graph is a necessary and sufficient condition for an unbounded normal operator to have a spectral decomposition. These results suggest that located operators are the right generalization of bounded operators with an adjoint.
| Original language | English |
|---|---|
| Pages (from-to) | 107-122 |
| Journal | Mathematical Logic Quarterly |
| Volume | 48 |
| Issue number | S1 |
| DOIs | |
| Publication status | Published - 2002 |
Fingerprint
Dive into the research topics of 'Located operators'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver