
数学の基礎「齋藤正彦著」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で質問しましょう!
似たような質問が見つかりました
- 数学 極大元も極小元も存在しないような集合ってどんなのがありますか? 3 2022/11/18 13:12
- 物理学 電磁気学での質問です。 電荷のない空間ではポテンシャルの極大点, 極小点が存在しないことを証明せよ. 3 2023/05/12 22:39
- 政治 超至急、この宇宙で最高の叡知と軍事を兼ね備えた、巨大惑星国家「イユノフ帝国」が地球を侵略するようなん 2 2022/12/26 16:10
- 文学・小説 至急、この宇宙で最高の叡知と軍事を兼ね備えた、巨大惑星国家「ソフィレ帝国」が地球を侵略するようなんで 1 2022/06/20 19:50
- 数学 多様体について質問です。 Rを実数全体としてf:S^n={(p_1,…,p_(n+1)∈R^(n+1 2 2023/06/24 00:54
- 数学 関数の極値と微分係数の関係について 6 2023/04/23 14:35
- 数学 代数学 環 1 2022/10/12 17:29
- 哲学 この世界の最小の存在って何ですか? おそらくその最小の存在ですら3次元(立体)ですよね? 12 2022/08/12 22:26
- 数学 条件付き極値問題といわれる問題です。ラグランジュの乗数法 について、質問したいことがあります。 条件 3 2023/05/15 21:38
- 政治 日本人義勇兵が2千人も居れば、日本人義勇兵連隊を作れますね? 3 2022/03/24 10:57
このQ&Aを見た人はこんなQ&Aも見ています
-
極大元をもたない例について
数学
-
極大元も極小元も存在しないような集合ってどんなのがありますか?
数学
-
集積点が、まったく分かりません!!
数学
-
-
4
順序集合について…
数学
-
5
「ノルム、絶対値、長さ」の違いについて
数学
-
6
実数の整列化について
数学
-
7
一次独立だけど、基底にならないベクトルの組ってありますか?
数学
-
8
e^(x^2)の積分に関して
数学
-
9
群論、「部分集合の元による語(word)」について
数学
-
10
【代数学】置換の位数を数える方法
数学
-
11
行列:rankの問題
数学
-
12
この数学の記号(文字)の読み方が分かりません
数学
-
13
y=x^x^xを微分すると何になりますか?
数学
-
14
先日、1年生前期の成績が発表されたのですが必修科目を1つ落としてしまいました。全ての授業に出席し授業
学校
おすすめ情報
このQ&Aを見た人がよく見るQ&A
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
べき乗
-
皆さん定義を教えてください 「...
-
「互いに素」の定義…「1と2は互...
-
1未満と1以下の違い
-
eの0乗は1ってどういう原理です...
-
日本語 ことば ひとまわり ふた...
-
なぜ、直角三角形ではないのにs...
-
Excel関数で、セル内の文字列の...
-
無限から無限を引いたら何にな...
-
0^1(0の1乗)はいくつでしょ...
-
IEEEとISOでLANの定義が示され...
-
2変数関数の極値について
-
ACCESSでTXTにデータエクスポー...
-
数学Ⅱ 計算問題問、以下[2]等...
-
多様体
-
ACCESS IIF関数 複数条件の設...
-
エクセルで「”」インチの表示形...
-
√6=√(-2)(-3)=√(-...
-
フーリエ変換について質問です。
-
頒布権、複製権、氏名表示権、...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
べき乗
-
「互いに素」の定義…「1と2は互...
-
1未満と1以下の違い
-
日本語 ことば ひとまわり ふた...
-
無限から無限を引いたら何にな...
-
ACCESS VBAでインポート定義の場所
-
ヘシアンが0の場合どうやって極...
-
√6=√(-2)(-3)=√(-...
-
なぜ、直角三角形ではないのにs...
-
eの0乗は1ってどういう原理です...
-
複雑な家庭とは
-
「logx^2=2logx」が間違って...
-
tanhXの近似式について
-
1wordとは、何文字ですか?
-
数字の1とは何なのか?
-
ACCESS IIF関数 複数条件の設...
-
数学の両辺2乗と√について教え...
-
e<3の証明を教えてください。
-
ACCESSでTXTにデータエクスポー...
おすすめ情報