
数学の基礎「齋藤正彦著」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も見ています
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
ヘシアンが0の場合どうやって極...
-
1未満と1以下の違い
-
べき乗
-
「互いに素」の定義…「1と2は互...
-
複雑な家庭とは
-
日本語 ことば ひとまわり ふた...
-
性暴力ってどこまでOK,どこから...
-
eの0乗は1ってどういう原理です...
-
行を入れ替えると行列式が-1倍...
-
無限から無限を引いたら何にな...
-
【算数・数学】足し算の定義を...
-
数学の質問です loge 3=1.1に...
-
平方和、平方差とは?
-
最大元と極大元の定義の違いが...
-
代数学
-
「logx^2=2logx」が間違って...
-
ノートンのウイルス定義のバー...
-
lim(x→0) (1+1/x)^x って答え...
-
1+1=2の証明
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
無限から無限を引いたら何にな...
-
eの0乗は1ってどういう原理です...
-
1未満と1以下の違い
-
最大元と極大元の定義の違いが...
-
ヘシアンが0の場合どうやって極...
-
合法ロリの年齢的定義は、何歳...
-
「logx^2=2logx」が間違って...
-
「互いに素」の定義…「1と2は互...
-
性暴力ってどこまでOK,どこから...
-
5桁の整数nにおいて,万の位,...
-
日本語 ことば ひとまわり ふた...
-
「たて目」っていうのは要する...
-
同時(性)の定義の意味、そして...
-
1wordとは、何文字ですか?
-
なぜ、直角三角形ではないのにs...
-
e<3の証明を教えてください。
-
行を入れ替えると行列式が-1倍...
-
ユーザー定義関数をアドイン登...
おすすめ情報