現代数学の系譜 工学物理雑談 古典ガロア理論も読む62at MATH
現代数学の系譜 工学物理雑談 古典ガロア理論も読む62 - 暇つぶし2ch597: ・z∈xで、xの元で z∈y_min なるzがあると、(かつ ∈を、不等号<と考えると)、y_minが極小元であることに反する  ↓↑ ”∀x(∃y_min (y_min ∈x)→∃y_min (y_min ∈x ∧ ¬∃z(z∈x ∧ z∈y_min))).  Equivalently, if x ≠ 0, ∃y_min ∈ x (x ∩ y_min = 0),”  言われて見ると、そうかという感じ まあ、基礎の公理(正則性公理)は、集合の宇宙を規定しているという見方と それを裏から見れば、∈-順序が、等号(=)を含まない不等号”<”の性質だと規定していると見ることもできるね そういう、裏から見たり、表から見たり、上から見たりと(^^ 多角的に見るのが、理解の早道と思う 以上




次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch