このブログは、旧・はてなダイアリー「檜山正幸のキマイラ飼育記 メモ編」(http://d.hatena.ne.jp/m-hiyama-memo/)のデータを移行・保存したものであり、今後(2019年1月以降)更新の予定はありません。

今後の更新は、新しいブログ http://m-hiyama-memo.hatenablog.com/ で行います。

三項スカラー積と双対性

X, Yは位相可測空間で、φ:X→Y は連続写像、μがX上の測度、fはX上の関数、gはY上の関数とする。

まず二項の場合の双対性は:

  • *(g)|μ>X = <g|φ*(μ)>Y

積分で書くと:

 \int_{x \in X} g(\phi(x))\mu(dx) = \int_{y\in Y}g(y)(\phi_* \mu)(dy)

三項の場合の双対性は:

  • <A|φ*(g)|μ>X = <φ|-(A)|g|φ*(μ)>Y
  • -|(B)|φ*(g)|μ>X = <B|g|φ*(μ)>Y

積分で書くと:

 \int_{x \in A} g(\phi(x))\mu(dx) = \int_{y\in \phi_{\vdash}(A)}g(y)(\phi_* \mu)(dy)

 \int_{x \in \phi^{\dashv}(B)} g(\phi(x))\mu(dx) = \int_{y\in B}g(y)(\phi_* \mu)(dy)

三項を二項に直したいときは、集合Aを、Aの特徴関数χAにして掛け算すればよい。χは、ディラック確率関係Δと事実上同じで、

  • χA(x) = ΔA(x)

つまり、

  • χA = ΔA

あるいは、

 \chi_{A}(x) = \int_{\xi \in A\subseteq X}\delta(x, d\xi)