21/05/28 17:13:44.48 uSGdl6YO.net
整礎の無限降下列を誤解して血迷うサル二匹
下記の山崎浩一 「数理構造特論」嫁め
反論？ バカか？ サルが間違っているから、嫁めというだけのことよ（＾＾
まず、定義 6.2.1「極小元を持つ」という性質を満たすとき, 整礎 (well-founded) である」
これを、
頭に叩き込め～！ｗ（＾＾；
（参考）
URLﾘﾝｸ(www.cs.gunma-u.ac.jp)
山崎浩一のホームページ
群馬大学 大学院理工学府 電子情報部門 教授
下記大学に異動しました：
東京電機大学 理工学部 理学系 数理情報学コース
URLﾘﾝｸ(www.cs.gunma-u.ac.jp)
連絡事項
数理構造特論 講義予定 (2018/ 4/10更新)
講義の資料 (Materials)
講義ノート (2018/06/20) (PDFファイル)
URLﾘﾝｸ(www.cs.gunma-u.ac.jp)
数理構造特論 山崎浩一 群馬大 October 11, 2018
(抜粋)
6.2. 整礎関係 : 「関係」の世界での帰納法
無限降下列と整礎
・ <R を X 上の二項関係とする. x1 >R x2 >R x3 >R · · · なる無限列を 無限降下列 と呼ぶ.
・ 次の定義は無限降下列と深く関係する
定義 6.2.1. X 上の二項関係 <R が「空で無い任意の (X の) 部分集合 Y に対して, Y は極小
元を持つ」という性質を満たすとき, 整礎 (well-founded) であるという.
・ 整礎を論理式で表わすと以下のようになる. (最後は y = z と成り得るので z not≦ y ではなく z not< y となる).
略
以下は “空でない任意の部分集合 A は最小値を持つ” という自然数の性質を表している.
N は全順序なので, z not< y ならば y ≦ z となる (5.4 章の例 5.4.3 参照).
つづく