- 293 名前：現代数学の系譜 雑談 [2020/07/26(日) 20:15:49.85 ID:uQ4z/5zX.net]
- >>260
つづき
ブール代数の表現論における集合体
ストーン表現
任意の有限ブール代数はある集合の冪として表現できる。
この冪集合はブール代数のアトムの集合で、ブール代数の各元はそれに属するアトムの集合（和がブール代数のその元になるもの）に対応付けられる。
この冪集合表現はもっと一般に任意の完備かつアトミックなブール代数に対しても構成できる。
完備アトミックでないブール代数の場合にも、冪集合の代わりに集合体を考えることによって冪集合表現の一般化を考えることができる。
そのためにやるべき事は、まず有限ブール代数のアトムをその超フィルターに対応付けて、アトムが有限ブール代数の元に属するのはその元がそのアトムに対応する超フィルターに含まれることと定める。
これは自身の超フィルターの集合をとり、ブール代数の各元をそれを含む超フィルターに対応付けることによって複体の集合を構成するというブール代数の構成法を導く。
この構成法は集合代数としてのブール代数の表現もきちんと誘導し、その表現はストーン表現として知られる。
これはブール代数のストーン表現論における基本であり、順序集合論におけるイデアルやフィルターに基づく（デデキント切断に類似した）完備化の例である。
https://ja.wikipedia.org/wiki/%E6%9C%89%E9%99%90%E5%8A%A0%E6%B3%95%E7%9A%84%E6%B8%AC%E5%BA%A6
有限加法的測度
(抜粋)
有限加法的測度（ゆうげんかほうてきそくど、英: finitely additive measure）または容積（ようせき、英: content, 独: Inhalt）とは、測度と同様に与えられた集合の部分集合に対して 非負の拡張実数を割り当てる集合函数である。
代表的な有限加法的測度としてジョルダン測度がある。
完全加法族上の測度は「可算加法的」測度である（任意の完全加法族は有限加法族であり、任意の測度は有限加法的測度である）。
有限加法的測度は、ある条件下で一意的な測度への拡張が存在する（E.ホップの拡張定理）。
つづく
|
 |
