Math 2.0

Operator theory Particular families of operators Example

Multiplication operator

Example

Let (Ω,μ)(\Omega, \mu) be a σ\sigma-finite measure space and let φ ⁣:Ω→ℂ\varphi \colon \Omega \to \C be an essentially bounded measurable function. The multiplication operator MφM_\varphi on the Lebesgue space L2(Ω,μ)L^2(\Omega, \mu) is (Mφf)(x)=φ(x)f(x).(M_\varphi f)(x) = \varphi(x) f(x).

Check of the main properties:

  1. MφM_\varphi is bounded with ∥Mφ∥=∥φ∥∞\norm{M_\varphi} = \norm{\varphi}_\infty, since ∫∣φf∣2 dμ≤∥φ∥∞2∫∣f∣2 dμ\int \abs{\varphi f}^2 \, d\mu \le \norm{\varphi}_\infty^2 \int \abs{f}^2 \, d\mu, and σ\sigma-finiteness gives sets of finite positive measure on which ∣φ∣\abs{\varphi} is close to ∥φ∥∞\norm{\varphi}_\infty.
  2. Its adjoint is MφˉM_{\bar\varphi}, because ∫φfgˉ dμ=∫f φˉg‾ dμ\int \varphi f \bar g \, d\mu = \int f \, \overline{\bar\varphi g} \, d\mu.
  3. It is a normal operator, since MφMφˉ=M∣φ∣2=MφˉMφM_\varphi M_{\bar\varphi} = M_{\abs{\varphi}^2} = M_{\bar\varphi} M_\varphi.
  4. Its spectrum is the essential range of φ\varphi.

A concrete case: on L2[0,1]L^2[0, 1] with Lebesgue measure, take φ(x)=x\varphi(x) = x. Then MφM_\varphi is self-adjoint and positive, its spectrum is [0,1][0, 1], and it has no eigenvalues: xf(x)=λf(x)x f(x) = \lambda f(x) almost everywhere forces f=0f = 0 almost everywhere.

Remarks

The spectral theorem for bounded normal operators says that every bounded normal operator on a separable Hilbert space is unitarily equivalent to a multiplication operator of this form. So multiplication operators are, up to unitary equivalence, all the normal operators.

Further reading

  1. Web https://en.wikipedia.org/wiki/Multiplication_operator
About this page
Tag9F6B05QAWH
URIm2://9F6B05QAWH
Kindexample
WritingW0 stub
MSC47B38, 47B15
IllustratesSpectral theorem for bounded normal operators
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.