- ベストアンサー
最大元と極大元の定義の違いが分かりません
jmhの回答
- jmh
- ベストアンサー率23% (71/304)
> …とは同値だと思います。 > 証明は?
関連するQ&A
- 高校の数学で、極大値と最大値の違いって何ですか?
〔三次関数のグラフ〕を最近学習したものです。 極大値・極小値と最大値・最小値の違いってなんでしょうか? 出来るだけ分かりやすく、詳しいご回答をお願いいたします。
- ベストアンサー
- 数学・算数
- 極大素イデアルと極大イデアル
まず、質問文が長くなったことと、定義などをいろいろ細かく指定したことをお詫びします。 また、極大素イデアルというのは maximal prime ideal を勝手に日本語にしたもので、正しい数学用語かどうかわかりません。 この質問では乗法の単位元1をもつ可換環のみを考え、素イデアルは(1)に等しくないとします。 記号の使い方で、A⊆BはAがBの部分集合、A⊂BはAがBの真部分集合を表すとします。 このとき、素イデアルPに対して、P⊂P’⊂(1)を満たす素イデアルP’が存在しないとき、Pを極大素イデアルと定義します。 ある数学書には、 Rをネター環、PをRの極大イデアル、A≠(1)をRのイデアルとするとき、 P^n ⊆A⊆Pとなる自然数 n が存在する⇔Aは準素イデアルで√A=Pが成り立つ という命題が載っていて、別の数学書には、 Rをネター環、PをRの極大素イデアル、A≠(1)をRのイデアルとするとき、 P^n ⊆Aとなる自然数 n が存在する⇔Aは準素イデアルで√A=Pが成り立つ という命題が載っています。ふたつを見比べると、これらの命題に限れば極大素イデアルと極大イデアルは互換性をもつといえます。 質問したいのは上の命題の証明ではなく、極大素イデアルと極大イデアルは同じものかどうかということです。 極大イデアルが極大素イデアルであることは明らかですが、逆は成り立つでしょうか。 成り立たないとすれば、P⊂B⊂(1)を満たす極大素イデアルPと素イデアルでないイデアルBが存在する例があるはずですが、そういう例が見つかりません。 極大素イデアルが極大イデアルであることを証明しようとも試みましたが、証明できませんでした。 有理整数環Zでは極大素イデアルは必ず極大イデアルになり、k[x, y] の極大素イデアル (x, y) も極大イデアルですが、例を挙げただけでは証明になりませんので。 どうか、アドバイスをよろしくお願いします。
- ベストアンサー
- 数学・算数
- 極大値・極小値 を英語で
解答でよく、 最大値をMax、最小値をMinと書くことがありますが、 極値も極大値Max、極小値Minと書いてもよいのでしょうか? 英語では同じですが これがよいのだとすると 極値も最大値・最小値も求める問題のときに混乱してしまう気がします。 わかりやすく納得できる説明が欲しいです。 よろしくお願いします。
- ベストアンサー
- 数学・算数
- 全ての集合の定義を元とする無限集合は定義可能?
年末以来ずっとべき集合というものを考えていたのですが、このべき集合というものがある限り、すべての集合を元とする無限集合を定義できない事が判りました。 すなわち、 今、考えられる全ての集合を元とする無限集合Xが定義可能と仮定する。 すると、その無限集合からべき集合Power(X)が必ず定義可能である。 Power(X)はXの元になっていないために、最初の仮定が間違っていることが証明される。 この事実が意味する事は、 「集合Xからべき集合P(X)を造ることが出来る」-----(A) 「集合を元とした無限集合Xを定義することができる」---(B) 暗黙の前提としている公理系では(A)と(B)が両立しないという事になります。 この袋小路はどう考えればよいのでしょうか? (A)が常に真ではない? (B)が常に真ではない? (A)が偽の場合のみ(B)が真である? (A)が真の場合は(B)が偽である? 暗黙の公理系になにか公理を見落としている(不足している)? 考えるヒントを頂ければ助かります。
- ベストアンサー
- 数学・算数
- ある大学の入試の問題 極大極小値
f(x)=a³+x²-cx-dは極大値、極小値をもつ。また、f´(-1/3)=0かつf(-1/3)>0であり、a、bは自然数、cは実数とする (1)f´(x)=0が異なる2つの実数解をもつための必要十分条件は ac>(ア) (2)f´(-1/3)=0かつf(-1/3)>0という条件は c=1/3(a-(イ)) 2a-(ウ)>(エ)d (3)上記を満たすaのうち、aが最小となるのはd=(オ)の時である このとき、f(x)=(カ)であり f(x)はx=-1/3のとき極大値(キ)をとり、x=(ク)のとき極小値をとる ※答えは数字または数式です よかったら回答お願いします
- 締切済み
- 大学受験
- 上限や最大元についての質問です。
以下の証明を教えてください。 理解はできるのですが、証明するとなるとよくわからなくなってしまって… 1、極大元は存在したとしても一つでない場合もある。また、最大元が存在すれば、それはAの唯一の極大言である。 2、M⊂Aの上限が存在するなら唯一である。Mの最大元が存在れあば、それはMの上限である
- 締切済み
- 数学・算数
お礼
納得できました。大変有難うございます。