16/07/16 08:39:02.50 i74MPJp/.net
>>43
独立性に関して、"無限個をいっぺんに扱う"ことが可能であるならば時枝さんの考えは間違ってない
俺はそんな方法を知らないが
いわゆる(2)の方針で
「無限個の共通部分は、その任意の有限個の(部分)共通部分が開集合であるとき、開集合であるという」
と定義すること自体はできるだろう
でもこれは無限個の共通部分を直接扱うときの結論とは矛盾する
だからこのようには定義されない
"無限個の独立性を直接扱えるならば"
「全体が独立でない⇒独立でない有限部分が存在する」
が真ではなくなるだろう
だから対偶は成り立たない
何度もいうけどそんな(""の部分)方法は俺は知らないけどね