
Let A = (Ax)x ∈ Xbe a family of commuting normal operators in a separable Hilbert space H0. Obtaining the spectral expansion of A involves constructing of the corresponding joint resolution of identity E. The support supp E is not, in general, a set of full measure. This causes numerous difficulties, in particular, when proving the projection spectral theorem, i.e. the main theorem about the expansion in generalized joint eigenvectors. In this work, we show that supp E has a full outer measure under the conditions of the projection spectral theorem. Using this result, we simplify the proof of the theorem and refine its assertions.
Spectral theorem, support, Several-variable operator theory (spectral, Fredholm, etc.), Joint resolution of identity, joint resolution of identity, Generalized eigenvector, projection spectral theorem, generalized eigenvector, Spectrum, resolvent, (Generalized) eigenfunction expansions of linear operators; rigged Hilbert spaces
Spectral theorem, support, Several-variable operator theory (spectral, Fredholm, etc.), Joint resolution of identity, joint resolution of identity, Generalized eigenvector, projection spectral theorem, generalized eigenvector, Spectrum, resolvent, (Generalized) eigenfunction expansions of linear operators; rigged Hilbert spaces
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
