[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む83 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
252(3): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2020/02/11(火)22:17 ID:CB29Ozfy(12/13) AAS
>>247 補足
＞コンパクト性定理（英: Compactness theorem）とは、一階述語論理の文の集合がモデルを持つこと（充足可能であること）と、その集合の任意の有限部分集合がモデルを持つことが同値であるという定理である。
これ、初見では、意味を掴むのが難しいと思うので、外しているかも知れないが、解説してみると下記
１．可算無限個の箱の列で、”黒い”という状態を考えてみよう
２．可算無限個の箱の列が、全体として”黒い”ということは、任意の有限部分集合が”黒い”ことと定義する
３．普通に 「可算無限個の箱の列で、”黒い”」の否定は、「”どこかある部分が、”黒い”という状態ではない」となるだろう
４．これは、「任意の有限部分集合が”黒い”」という記述と符合していて、「任意の有限部分集合が”黒い”」が否定されるならば、「”どこかある部分が、”黒い”という状態ではない」となる
省3
256(1): 2020/02/11(火)22:25 ID:yCL40qf3(44/44) AAS
>>252
＞外しているかも知れないが
外してます
尻尾の同値関係でいうと、
同値類に属する任意有限個の列について
共通の尻尾は存在しますが
無限個の列については、共通の尻尾が存在しない場合があります
省5
257: 2020/02/11(火)22:26 ID:0FRNs0u+(1/2) AAS
>>252
> 可算無限個の箱の列が、全体として”黒い”ということは、
> 任意の有限部分集合が”黒い”ことと定義する
有限数列全体の集合の要素として無限数列が存在することはありえないのに
258(2): 2020/02/11(火)22:48 ID:0FRNs0u+(2/2) AAS
>>252
スレ主の定理(おっちゃん歓喜の定理) = setaの定理
超越数は存在しない
[証明]
超越数は無限小数である
任意の有限小数は超越数でない
(*) setaは以下のアカウント名に由来する
省5
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s