📂ルベーグ空間

L2空間における平行移動、変調、および拡大の作用素

定理¹

$T_{a}, E_{b}, D_{c}$ はユニタリで、逆作用素は次の通りだ。

$$ T_{a}^{-1} = T_{-a} = \left( T_{a} \right)^{ \ast } $$

$$ E_{b}^{-1} = E_{-b} = \left( E_{b} \right)^{ \ast } $$

$$ D_{c}^{-1} = D_{1/c} = \left( D_{c} \right)^{ \ast } $$

ここで、$T_{a}, E_{b}, D_{c}$ はそれぞれ $L^{2}$ で定義されたトランスレーション、モジュレーション、ダイレーションである。

証明

トランスレーション

$t := x - a$ として置換すると、

$$ \begin{align*} \langle T_{a} f , g \rangle =& \int_{-\infty}^{\infty} f \left( x - a \right) \overline{g \left( x \right)} dx \\ =& \int_{-\infty}^{\infty} f \left( t \right) \overline{g \left( t + a \right)} dt \\ =& \langle f , T_{-a} g \rangle \\ =& \langle f , T_{a}^{ \ast } g \rangle \end{align*} $$

$T_{-a} = T_{a}^{ \ast }$ だから、

$$ T_{a} T_{a}^{ \ast } = T_{a} T_{-a} = I = T_{-a} T_{a} = T_{a}^{ \ast } T_{a} $$

■

モジュレーション

$\displaystyle e^{2 \pi i b x} = \overline{e^{-2 \pi i b x}}$ だから、

$$ \begin{align*} \langle E_{b} f , g \rangle =& \int_{-\infty}^{\infty} e^{2 \pi i b x} f \left( x \right) \overline{g \left( x \right)} dx \\ =& \int_{-\infty}^{\infty} f \left( x \right) \overline{e^{-2 \pi i b x}} \overline{ g \left( x \right)} \\ =& \int_{-\infty}^{\infty} f \left( x \right) \overline{ e^{2 \pi i (-b) x} g \left( x \right)} \\ =& \langle f , E_{-b} g \rangle \\ =& \langle f , E_{b}^{ \ast } g \rangle \end{align*} $$

$E_{-b} = E_{b}^{ \ast }$ だから、

$$ E_{b} E_{b}^{ \ast } = E_{b} E_{-b} = I = E_{-b} E_{b} = E_{b}^{ \ast } E_{b} $$

■

ダイレーション

$\displaystyle t := {{ x } \over { c }}$ として置換すると、

$$ \begin{align*} \langle D_{c} f , g \rangle =& \int_{-\infty}^{\infty} {{ 1 } \over { \sqrt{c} }} f \left( {{ x } \over { c }} \right) \overline{g \left( x \right)} dx \\ =& \int_{-\infty}^{\infty} f \left( t \right) {{ 1 } \over { \sqrt{c} }} \overline{g \left( ct \right)} c dt \\ =& \int_{-\infty}^{\infty} f \left( t \right) \overline{ \sqrt{c} g \left( ct \right)} c dt \\ =& \langle f , D_{1/c} g \rangle \\ =& \langle f , D_{c}^{ \ast } g \rangle \end{align*} $$

$D_{1/c} = D_{c}^{ \ast }$ だから、

$$ D_{c} D_{c}^{ \ast } = D_{c} D_{1/c} = I = D_{1/c} D_{c} = D_{c}^{ \ast } D_{c} $$

■