[過去ﾛｸﾞ] Inter-universal geometry と ABC予想 (応援スレ) 60 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

683(2): 2021/10/30(土)11:06 ID:zgBubH+2(10/31) AAS
>>682
つづき

> ３．について
>　φの性質から明らかにa>φ(a)ですから
>　φ(a_n-1)=a_nと定義すれば当然a_n-1>φ(a_n-1)=a_nですが何か？
>　もしかしてφの定義も理解できん？
>「任意のa∈Mに対してφ(a)∈M_a={x∈M|x<a}」だよ

なるほど、分かったけど、やっぱ記述が荒いね
松坂和夫氏の「集合・位相入門」の文脈では、”∈”が”＜”の扱いなんだね
それは、ノイマンの正則性公理（下記）の意図でもある
省9

---

684(2): 2021/10/30(土)11:06 ID:zgBubH+2(11/31) AAS
>>683
つづき

(参考)
外部ﾘﾝｸ:ja.wikipedia.org
正則性公理（英: axiom of regularity）は、別名基礎の公理（きそのこうり、英: axiom of foundation） とも呼ばれ、ZF公理系を構成する公理の一つで、1925年にジョン・フォン・ノイマンによって導入された。
・∀xについて、無限下降列である x∈x_{1}∈x_{2}∈・・・ は存在しない。

外部ﾘﾝｸ:ja.wikipedia.org
モストフスキ崩壊(潰し,収縮とも)補題とは、集合論の命題でアンジェイ・モストフスキの名に因む。
概要
RをクラスX上の二項関係で以下の3条件を満たすものとする。
省5

---

685: 2021/10/30(土)11:19 ID:jsIfaBFZ(7/23) AAS
>>682　無意味なので全部スルー
>>683　
>松坂和夫氏の「集合・位相入門」の文脈では、”∈”が”＜”の扱いなんだね
　は？なにわけわかんないこといってんだ？
　モストフスキ？関係ない　貴様、🐎🦌なのか？
>>684　無意味なコピペするな

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.278s*