TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼
Inter-universal geometry と ABC予想 27
0は自然数か?
【Coq】コンピューターで証明しよう【コック】
面白い問題おしえて〜な 27問目
痴漢バレて叩かれた腹いせに荒らすのはやめろ
\section{TeX の時間} %%% 第 XIII 節 %%%
数理論理学(数学基礎論) その13
【 数 学 検 定 】 数 学 検 定 1 級 の た め の ス レ
統計ソフトSTATAの部屋 Ver.2
【自称数学者】三鷹の大類昌俊 Part7【つどい出禁】
75 :
>>74 追加
>>36より再録)
・(>>31より)∈−順序は、推移的なので、xの任意の元 u ∈ x が成立つと、x ∈ y → u ∈ y成立(∵推移性より)
 だから、この場合は”x ∈ y → x ⊂ y ”成立
(引用終り)

順序というのは、すべからく、推移律を満たすものである(下記)w(^^;

https://ja.wikipedia.org/wiki/%E9%A0%86%E5%BA%8F%E9%9B%86%E5%90%88
順序集合
(抜粋)
定義
全順序集合、半順序集合、およびこれらよりさらに弱い概念である前順序集合の定義を述べる為にまず以下の性質を考える。ここで P は集合であり、「<=」を P 上で定義された二項関係とする。

・反射律:P の任意の元 a に対し、a <= a が成り立つ。
・推移律:P の任意の元 a, b, c に対し、a <= b かつ b <= c ならば a <= c が成り立つ。
・反対称律:P の任意の元 a, b に対し、a <= b かつ b <= a ならば a = b が成り立つ。
・全順序律:P の任意の元 a, b に対し、a <= b または b <= a が成り立つ。
「<=」が全順序律を満たさない場合、「a <= b」でも「b <= a」でもないケースがある。このようなケースにあるとき a と b は比較不能 (incomparable) であるという。

前順序・半順序・全順序
P を集合とし、<= を P 上で定義された二項関係 とする。
・<= が反射律と推移律を満たすとき、<= を P 上の前順序(英語版)という。
・<= が前順序でありさらに反対称律を満たすとき、<= を P 上の半順序という。
・<= が半順序でありさらに全順序律を満たすとき、<= を P 上の全順序という。
<= が前順序であるとき (P, <=) を前順序集合という。同様に <= が半順序なら (P, <=) は半順序集合、全順序なら (P, <=) は全順序集合という。

現代数学の系譜 工学物理雑談 古典ガロア理論も読む42
分からない問題はここに書いてね443
【自称数学者】三鷹の大類昌俊 Part8【つどい出禁】
Inter-universal geometry と ABC予想 28
分からない問題はここに書いてね459
「増田哲也→猫◆→狢◆→狸◆」 次は!?
13×小学校のかけ算順序問題
            パズル        
茂木健一郎の数学
数学板ID表示制検討スレッド
--------------------
コナミスポーツ 武蔵浦和
【AKB48卒業生】相笠萌応援スレpart.72〜2018.4.6に20才になる女子大生もえちゃん
イカスtelnetクライアントってなに?
【宝塚歌劇】舞台の感想を書き留めておくスレ
スパリゾートハワイアンズダンシングチーム66無し
どうせ吹いたスレタイでも集めようぜ43
☆ おまえらが幸せだな〜と感じる瞬間 ☆
佐藤良子 「よいこのスレッド」 Part28
ソニーグローバルソリューションズ フェーズ 4
【逃げる安倍首相】総裁選 公開討論会や街頭演説を大幅減へ 首相陣営「石破氏と同列に並ぶ必要はない」単独でのテレビ出演などに重点
【qi】ワイヤレス給電【チー】part3
【日経】【1日30円とり続けるぞ】【225先物】
【open】泰葉CAFE 60【ID梨】
【うんこちゃん】加藤純一総合スレpart817
5月21日、雨が降るといいね
『stardustfate』 詐欺 ヤフオクストア被害者の会
福井県のラーメン・その30
【画像】森公美子「アベノマスク届いたけど口や鼻が出てしまうんだが・・・」 [875850925]
セントラル警備保障(CSP)ってどうよ? その19
【ガセ厳禁】地方局飛び乗り・飛び降り Part102
TOP カテ一覧 スレ一覧 100〜終まで 2ch元 削除依頼