>>293
>”任意の空でない A ⊂ X が最小元を持つ”
>ことから「全順序」を示せる
示せねぇよ、🐎🦌www
整礎関係
https://ja.wikipedia.org/wiki/%E6%95%B4%E7%A4%8E%E9%96%A2%E4%BF%82
「集合あるいはクラス X 上の二項関係 R が整礎であるとは、
X の空でない任意の部分集合 S が R に関する極小元を持つことをいう。」
「全順序でない」整礎関係の例wwwwwww
・正整数全体 {1, 2, 3, ...} に a < b ⇔ [a は b を割り切る かつ a ≠ b] となる順序を入れたもの。
・固定された文字集合上の有限文字列全体に s < t ⇔ s は t の真の部分文字列である、で定まる順序。
・自然数の順序対全体の集合 N × N 上の、(n1, n2) < (m1, m2) ⇔ n1 < m1 かつ n2 < m2 となる順序。
・固定された文字集合上の正規表現全体の成す集合に、s < t ⇔ s は t の真の部分表現であるとして定義される関係。
・集合を要素とする任意のクラスの集合要素関係 ∈ 。これは正則性公理そのものである。
・任意の有限有向非輪状グラフのノード全体の、a R b ⇔ a から b へいく辺があるとして定義される関係。
純粋・応用数学(含むガロア理論)8
■ このスレッドは過去ログ倉庫に格納されています
298132人目の素数さん
2021/05/22(土) 09:59:38.77ID:hzsDhSSu■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【速報】広島東洋カープ 週刊誌に写真掲載された小園海斗、田村俊介と書類送検された矢野雅哉、前川誠太が戦力外 ★2 [Ailuropoda melanoleuca★]
- 板野友美の脱衣所撮影騒動、ホテル側が動画を事前確認していたことが判明 [muffin★]
- 【芸能】伊東四朗が引退発表 芸能界で70年活動 来年6月15日の90歳の誕生日を機に [このもん★]
- 【岐阜】いなくなった飼い犬を探して…路上で発見し車外に出た大学生 後続車にはねられ意識不明 関市 [ぐれ★]
- 【神奈川】「年休で旅行行くと言い出せず…」病気休暇を不正取得し海外旅行して懲戒免職、上司が駅で見かけて発覚 [おっさん友の会★]
- 那須川天心、誹謗中傷にクギ「やってる事いじめだし 本当につまんねえ もっと面白い事言ってくれよ」 [muffin★]
- 【悲報】亜月ねね宅の前で仁王立ちするオッサン、出現wwwwwwwwwwwwwwwwwwwwwwwwwww [398059782]
- 【名古屋アジア大会】選手「金メダル🥇が不良品なんだけど、、、」4件申し出 ジャップさぁ [377482965]
- さえないゴールド、1カ月で1割安、金利高や好調なAI企業が重荷、光るゴミ [943688309]
- 日本人、カロリーはまだ足りてるがタンパク質がもう足りない。収入に対してタンパク源が値上がりし過ぎて明らかに不足。高市早苗のせい [784319933]
- 【速報】広島カープ 小園海斗、矢野雅哉、前川誠太、田村俊介4選手を自由契約へ
- 【速報】アトリエ公式、なんG民にブチギレwwwwwwww