- 915 名前：１３２人目の素数さん [2022/10/19(水) 12:01:04.88 ID:DwfAJI7Z.net]
- >>831 補足
>ヴィタリ集合V(非可算)は、非可測です！
数え上げ測度(下記)では
ヴィタリ集合V(非可算)は、その元を1と数えて、
∞に発散する測度が定義できるかも
(参考)
https://ja.wikipedia.org/wiki/%E6%95%B0%E3%81%88%E4%B8%8A%E3%81%92%E6%B8%AC%E5%BA%A6
数え上げ測度
定義
可測空間 S 上の数え上げ測度とは、任意の可測集合 A に対してその元の個数 |A| ∈ N ∪ {∞} を対応させる写像によって定義される測度のことである。ここで、N は自然数全体の成す集合 {0, 1, 2, ...} であり、A が有限でないならばその濃度に関わらず |A| = ∞ とする。
ここで、それが完全加法族である限りにおいて S 上の可測集合族 M の取り方によらず、
略
が成立する
などの事実は定義から直ちにわかる（2. は一つでも有限でないものがあれば両辺が ∞ として一致するという意味で成り立つから、全て有限のときを確かめればよいがこちらも明らかであろう）。
特に、任意の集合 A に対して μ(A) が定義できるので、可測集合族 M としては 2^S 全体をとることができて、(S, 2^S, μ) は測度空間になる。数え上げ測度が σ-有限であることと集合 S が可算であることは同値になる。
|
 |
