
数学の基礎「齋藤正彦著」p22からの抜粋です。
定義
(X,≦)を順序集合,AをXの部分集合とする。
「1) aがAの元でAの全ての元xに対してx≦aが成り立つ時,aをAの最大元といい,maxAと書く,Aの全ての元xに対してa≦xが成り立つ時,aをAの最小元といい,minAと書く。最大元や最小元は存在するとは限らない,あるとすれば一つしかない。
2) aがAの元で,Aのいかなる元xに対してもa<xとならない時,aを極大元という。x<aなるAの元が存在しない時,aを極小元という。極大元や極小元は存在しない事も有るし,沢山存在する事もある」
と定義が紹介されてるのですが最大元と極大元についてのこの文意
"aがAの元でAの全ての元xに対してx≦aが成り立つ"と"aがAの元で,Aのいかなる元xに対してもa<xとならない"
とは同値だと思います。
違いが分かりません。
一体,どのように違うのでしょうか?
No.4ベストアンサー
- 回答日時:
>最大元と極大元の定義の違いが分かりません
最大元と極大元は抽象的に考えても違いが分からなくて当然だと思います。ここは具体例で理解するのがよいと思います。
例はいろいろ考えられますが、たとえば、(x,y)∈R^2について、
(x1,y1)≦(x2,y2)をx1≦x2かつy1≦y2と定義します。
A={(0,0),(0,1),(0,2),(1,0),(1,1),(2,0)}
のとき、Aの最大元は存在しませんが、極大元は3個あります。ちなみに最小限は(0,0)の1個ですね。
ところで、最大元が存在する場合は、全順序集合、半順序集合に関係なく、それは極大元でもあります。しかし、その逆は成り立ちません。
その意味で、「同値」ではありませんね。
No.3
- 回答日時:
最大元の定義で
>Aの全ての元xに対してa≦xが成り立つ時,
ってある「a≦xが成り立つ」という部分がポイント.
これは
・aとxの間に順序が定義できて
・なおかつ,a≦xが成り立つ
という意味.
順序集合ってのは,
任意の元同士で順序が定義できるとは限らない
任意の元同士で順序が定義できるのは「全順序集合」っていう.
順序集合の定義をよくみてみよう.
a≦b,b≦c => a≦c
とかあるけども,これは
「aとb,bとcが順序つけできたら」という前提がある.
大抵の本には「例」としてでている
「べき集合」で「包含関係を順序とする」やつを考えればわかる.
極大元の方は
>a<xとならない
ってある.「a<x」ってのは
・aとxが順序つけできる
・なおかつ,a<xである
ということで,それが否定されているのだから
・aとxは順序付けできない
・または,a>=xである
ということ.
最大元と違うでしょう?
こんな風に分解すれば
どんな元同士でも順序つけできる「全順序集合」なら
同値なのは明らかなのはわかるでしょう
全順序・順序の違いとかは極めて重要です.
例をいろいろ構築して,きちんと理解しましょう.
ここがわかってないと,このあとの各種の帰納法や
Zornの補題とかZermeloの整列可能定理とかが・・
只でさえ黒魔術の呪文に見えるのに,
ますます破滅的に見えて混乱します.
No.2
- 回答日時:
ここで言っているところの順序集合とは、
すべての元の間に順序関係が定義されているわけではない、
いわゆる半順序集合ですね。
これに対して、すべての元の間に順序関係が定義されているのは、
全順序集合となります。
全順序集合なら、
"aがAの元でAの全ての元xに対してx≦aが成り立つ" ⇔ "aがAの元で,Aのいかなる元xに対してもa<xとならない"
は成り立ちますが、
半順序集合では同値になりません。
2つの元の間に、順序関係そのものが定義されていない場合があるからです。
たとえば、「大相撲」は全順序集合と言えます。番付順が順序関係です。
大関と横綱では横綱の方がえらく、横綱が複数いれば東の正横綱がえらい。
これに対して、他の場合は一般には半順序集合です。
たとえば「勤め人」の集合を考えます。
会社Aの中では、普通は「社長」が一番エラい。これが極大値になります。
しかし、「A社の社長」と「B社の社長」とでは、どちらが偉いということは定義されません。
この場合、会社の数だけ偉い人の極値(社長)があることになります。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
このQ&Aを見た人はこんなQ&Aも見ています
-
みんなに挑戦してほしい「色彩検定」
これまで多くの方々が受検したが「色彩検定」。その目的や活用法は人それぞれ。今回は、色彩検定に影響を受けた男女3名にインタビュー。
-
順序集合について…
数学
-
e^(x^2)の積分に関して
数学
-
最大元と最大値 最小元と最小値の違いはなんですか?
数学
-
4
リーマン積分可能であることの証明
数学
-
5
最大と極大
数学
-
6
ハッセ図の書き方が全然わかりません。 ぐぐっても意味が分かりません。 これを例題として、考え方を教え
大学・短大
-
7
e^-2xの積分
数学
-
8
「一点aを閉集合であることを示せ」。 一点aは集合でないのでこの文章は間違ってますよね?
数学
-
9
積分で1/x^2 はどうなるのでしょうか?
数学
-
10
上界と上限と最大値の違い
数学
-
11
n,m∈Z(整数全体の集合)に対しn~m⇔n−mが4の倍数は同値関係である事はわかりますが、完全代表
数学
-
12
全射の総数
数学
-
13
リーマン積分
数学
-
14
א (アレフ)の書き方
数学
-
15
上限や最大元についての質問です。
数学
-
16
基底であることを示す問題
数学
-
17
逆元の計算方法
数学
-
18
Uの意味が分かりません。
数学
-
19
空集合のべき集合
数学
-
20
順序を保つ写像
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
人気Q&Aランキング
-
4
「互いに素」の定義…「1と2は互...
-
5
三角関数(たとえばf(x)=sinxと...
-
6
虚数含めてどんな数でも0乗し...
-
7
マイナス7は素数ですか?
-
8
0^1(0の1乗)はいくつでしょ...
-
9
直和分解とは? 同値関係、同値類
-
10
最大元と極大元の定義の違いが...
-
11
代数の巡回群の問題です。
-
12
1未満と1以下の違い
-
13
数字の1とは何なのか?
-
14
2進数の符号ビットの入った数...
-
15
負数の累乗は???
-
16
cos(wt)のフーリエ変換について
-
17
変数の宣言の名称を教えてくだ...
-
18
0は3の倍数?
-
19
【代数】aとbが互いに素である...
-
20
なぜ、直角三角形ではないのにs...
おすすめ情報
公式facebook
公式twitter