
数学の基礎「齋藤正彦著」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も見ています
-
プロが教えるわが家の防犯対策術!
ホームセキュリティのプロが、家庭の防犯対策を真剣に考える 2組のご夫婦へ実際の防犯対策術をご紹介!どうすれば家と家族を守れるのかを教えます!
-
e^(x^2)の積分に関して
数学
-
上限や最大元についての質問です。
数学
-
集積点が、まったく分かりません!!
数学
-
-
4
最大と極大
数学
-
5
最大元と最大値 最小元と最小値の違いはなんですか?
数学
-
6
この数学の記号(文字)の読み方が分かりません
数学
-
7
固有値の値について
数学
-
8
e^-2xの積分
数学
-
9
上界と上限と最大値の違い
数学
-
10
順序を保つ写像
数学
-
11
最大元と最小元をもつことの証明について
数学
-
12
全射の総数
数学
-
13
偏微分の記号∂の読み方について教えてください。
数学
-
14
行列の積の可換条件
数学
-
15
順序集合について…
数学
-
16
ベクトル関数の概略を図示せよという問題があるのですが、解き方がさっぱりわかりません。 例えばなんです
物理学
-
17
ハッセ図の書き方が全然わかりません。 ぐぐっても意味が分かりません。 これを例題として、考え方を教え
大学・短大
-
18
リーマン積分可能であることの証明
数学
-
19
極大元も極小元も存在しないような集合ってどんなのがありますか?
数学
-
20
実数の整列化について
数学
おすすめ情報
このQ&Aを見た人がよく見るQ&A
人気Q&Aランキング
-
4
直和分解とは? 同値関係、同値類
-
5
三角関数(たとえばf(x)=sinxと...
-
6
フーリエ級数展開の初項はなぜa...
-
7
日本語 ことば ひとまわり ふた...
-
8
P(A∩B)=PA(B)×P(A) に何故なる...
-
9
真度、精度の信頼区間について
-
10
1+1はなぜ2なのか?
-
11
有理数の部分集合が開集合でな...
-
12
最大元と極大元の定義の違いが...
-
13
DFTの周期性の証明
-
14
ACCESS VBAでインポート定義の場所
-
15
p⇒q=(¬p)∨qについて
-
16
事象A、B、C、...が互いに独立...
-
17
ACCESS IIF関数 複数条件の設...
-
18
べき乗
-
19
“半日”って何時間のことなんで...
-
20
√ ルート 定義
おすすめ情報
公式facebook
公式twitter