A unitary family with the required Weyl relations is
Translations preserve the norm and the multiplier has modulus one. Multiplication of two such operators leaves the phase after extracting , proving the relation. Translation and modulation are strongly continuous, first on compactly supported smooth functions by direct estimates, then on all of by density and unitarity.
If a bounded operator commutes with all , it commutes with translations and every modulation . The spectral theorem for the multiplication coordinate therefore makes it commute with all bounded multiplication operators and interval projections. One can see its form directly: on a finite interval , set . For bounded supported in , commutation gives . Testing characteristic functions shows almost everywhere. On increasing intervals these functions agree on overlaps and yield a single with .
Commutation with translations says almost everywhere for every . Convolving with a smooth approximate identity produces smooth functions invariant under every translation, hence constants. Passing to the local limit makes constant almost everywhere. Therefore is a scalar operator, and the unitary family acts irreducibly.

Articles by others on the same topic (0)

There are currently no matching articles.