Slide 7
Slide 7 text
σΟϦΫϨաఔ
Antoniak(1974) ʹσΟϦΫϨաఔͷఆٛͱͯ͠ҎԼ͕ࣔ͞Ε͍ͯΔ 4ɽ
.
Definition 3.
.
.
.
.
.
.
.
.
Θ Λू߹ɼA Λ Θ ͷ෦ू߹Λཁૉͱ͢Δ σ ू߹ମͱ͢Δɽα Λ
(Θ, A ) ্ͷۭͰͳ͍༗ݶଌ (ඇෛͰ༗ݶՃ๏త) ͱ͢Δɽͯ͢ͷ
k = 1, 2, · · · ͱ Θ ͷ͋ΒΏΔՄଌׂ (B1, · · · , Bk) ʹ͍ͭͯɼ
(P(B1), · · · , P(Bk)) ͷಉ͕࣌ύϥϝʔλ (α(B1), · · · , α(Bk)) Λͭ
σΟϦΫϨɼ͢ͳΘͪ (P(B1), · · · , P(Bk)) ∈ D(α(B1), · · · , α(Bk)) ͳΒ
ɼ(Θ, A ) ্ͷϥϯμϜͳ֬ଌ P Λ (Θ, A ) ্ͷύϥϝʔλ α Λ
ͭσΟϦΫϨաఔͱ͍͍ɼP ∈ D(α) ͱ͔͘ɽ(α(Bi) = 0 ͷͱ͖ɼ
P(Bi) = 0 ͕֬ 1 ͰΓཱͭɽ)
·ͨɼAntoniak(1974) ʹ࣮࣭తʹҎԼΛҙຯ͢Δهड़͋Δɽ
ʮ͜ͷఆٛ ([0, 1]A , BFA ) ্ͷ֬ P ͷଘࡏΛຬ͍ͨͯ͠Δɽ͜͜
Ͱ [0, 1]A A ͔Β [0, 1] ͷશͯͷؔͷۭؒΛද͢ͱ͠ɼBFA γ
Ϧϯμʔू߹ʹΑΓੜ͞ΕΔ σ ू߹ମΛද͢ͱ͢Δɽ
ʯ
4Ferguron(1973) ʹΑΓఆٛ͞ΕͨͷͰ͋Δ͕ɼ͜͜Ͱ͜ͷهड़Λ༻͍Δɽ
@seetheworld1992 σΟϦΫϨաఔͷఆٛ 2016/12/21 7 / 7