- 締切済み
最大と極大
最大元とは異なる極大元が存在するような集合の具体的な例を挙げなさい、という問題が出たのですが、どうしても最大元と極大元が同じになってしまう例しかできません。 この場合、どのような具体例があるでしょうか？
- みんなの回答 （1）
- 専門家の回答
みんなの回答
- Tacosan
- ベストアンサー率23% (3656/15482)
関連するQ&A
- 最大元と極大元の定義の違いが分かりません
数学の基礎「齋藤正彦著」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とならない" とは同値だと思います。 違いが分かりません。 一体,どのように違うのでしょうか?
- ベストアンサー
- 数学・算数
- 極大素イデアルと極大イデアル
まず、質問文が長くなったことと、定義などをいろいろ細かく指定したことをお詫びします。 また、極大素イデアルというのは maximal prime ideal を勝手に日本語にしたもので、正しい数学用語かどうかわかりません。 この質問では乗法の単位元１をもつ可換環のみを考え、素イデアルは（１）に等しくないとします。 記号の使い方で、Ａ⊆ＢはＡがＢの部分集合、Ａ⊂ＢはＡがＢの真部分集合を表すとします。 このとき、素イデアルＰに対して、Ｐ⊂Ｐ’⊂（１）を満たす素イデアルＰ’が存在しないとき、Ｐを極大素イデアルと定義します。 ある数学書には、 Ｒをネター環、ＰをＲの極大イデアル、Ａ≠（１）をＲのイデアルとするとき、 Ｐ^n ⊆Ａ⊆Ｐとなる自然数 n が存在する⇔Ａは準素イデアルで√Ａ＝Ｐが成り立つ という命題が載っていて、別の数学書には、 Ｒをネター環、ＰをＲの極大素イデアル、Ａ≠（１）をＲのイデアルとするとき、 Ｐ^n ⊆Ａとなる自然数 n が存在する⇔Ａは準素イデアルで√Ａ＝Ｐが成り立つ という命題が載っています。ふたつを見比べると、これらの命題に限れば極大素イデアルと極大イデアルは互換性をもつといえます。 質問したいのは上の命題の証明ではなく、極大素イデアルと極大イデアルは同じものかどうかということです。 極大イデアルが極大素イデアルであることは明らかですが、逆は成り立つでしょうか。 成り立たないとすれば、Ｐ⊂Ｂ⊂（１）を満たす極大素イデアルＰと素イデアルでないイデアルＢが存在する例があるはずですが、そういう例が見つかりません。 極大素イデアルが極大イデアルであることを証明しようとも試みましたが、証明できませんでした。 有理整数環Ｚでは極大素イデアルは必ず極大イデアルになり、ｋ[x, y] の極大素イデアル (x, y) も極大イデアルですが、例を挙げただけでは証明になりませんので。 どうか、アドバイスをよろしくお願いします。
- ベストアンサー
- 数学・算数
- 上限や最大元についての質問です。
以下の証明を教えてください。 理解はできるのですが、証明するとなるとよくわからなくなってしまって… １、極大元は存在したとしても一つでない場合もある。また、最大元が存在すれば、それはＡの唯一の極大言である。 ２、Ｍ⊂Ａの上限が存在するなら唯一である。Ｍの最大元が存在れあば、それはＭの上限である
- 締切済み
- 数学・算数
- 高校の数学で、極大値と最大値の違いって何ですか？
〔三次関数のグラフ〕を最近学習したものです。 極大値・極小値と最大値・最小値の違いってなんでしょうか？ 出来るだけ分かりやすく、詳しいご回答をお願いいたします。
- ベストアンサー
- 数学・算数
- 極大値・極小値 を英語で
解答でよく、 最大値をMax、最小値をMinと書くことがありますが、 極値も極大値Max、極小値Minと書いてもよいのでしょうか？ 英語では同じですが これがよいのだとすると 極値も最大値・最小値も求める問題のときに混乱してしまう気がします。 わかりやすく納得できる説明が欲しいです。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 2変数関数の最大化の問題です。
f(x, y)=-3x^2 + 18x - 4y^2 + 8y を最大化する(x, y)とそのときの最大値を求めるとき、 偏微分を用いて解くと、(x, y) = (3, 1)で極大値31をとることが分かるのですが、この時点ではf(3, 1) = 31はあくまで極大値であり、最大値であるとは言い切れませんよね？ f(3, 1) = 31が最大値であることを保証するには、何を示すのがベストでしょうか？ 具体的に解答の書き方を教えて頂けると助かります。 平方完成して解けば問題ないことなのですが、偏微分で解いたときの書き方が気になったので質問させていただきました。どうぞよろしくお願いします。
- ベストアンサー
- 数学・算数
- Zornの補題の意味は何？
Zornの補題の意味についての質問ですが、Zornの補題:順序集合Aの任意の全順序部分集合が有界ならぼ、Aは極大元を持つ、というのが、数学の教科書に載ってますが、意味がさっぱり分かりません。その理由を言えば、例えば、実数の区間Aとして、実数体Rの部分集合である、全順序集合{x|x is a real number, 0<x<2}をとれば、Aの任意の全順序部分集合は有界なので、Zornの補題より、Aには極大元（よって、この場合、最大値）が有る事になりますが、あきらかに、Aには極大元（最大値）はありません。私の考えではこのような矛盾が出てきてしまうので、Zornの補題の意味がわかりません。何か、その意味を勘違いしてるのでしょうか?教えてください。
- ベストアンサー
- 数学・算数
