- ベストアンサー
sup()とmax()の違い
- みんなの回答 （4）
- 専門家の回答
質問者が選んだベストアンサー
supと書く(supを使う)のは maxは必ずしも存在するとは限らないからです。 数学では存在するかどうかわからないものを使うということはありえません。厳密さが数学を支えているからです。（仮定として使うことはありますが。） 数学を勉強していけば、supを求めるときに、じつはmaxが存在して、その値に等しいから、sup＝max＝ある値 というような使い方がよく出てきます。
その他の回答 (3)
- jmh
- ベストアンサー率23% (71/304)
> あえてｓｕｐ > 逆ではなくって？
- weredragon
- ベストアンサー率33% (3/9)
平たく言うと、「max は集合の中にその値をとる 元が存在していなくてはいけないが、supはそうとも 限らない」です。 たとえば、区間[0,1) を考えてみると、 max は存在しない。0.999999・・・・なので。 一方のsup は1です。
- adinat
- ベストアンサー率64% (269/414)
supは上限です。最小の上界ともいいます。その定義から現実にはsupは達成されるとは限りません。一方最大値の方は必ず達成されます。 簡単な例ですが、(0,1)上で関数y=xを考えてみます。明らかに上限は1ですが、じゃあyが1になるようなxはあるのか？と問われるとこれはないと言わざるを得ません。1にいくらでも近くは取れるのですが。というわけでこの場合、最大値は「ない」わけです。ちなみに最大値が存在すれば、それはいつでも上限と一致します。だけどこの例からも分かるようにsupはいつでもあるのですが、maxが存在するとは限らないのです。
補足
そうなのですが、ではあえてsupと記述してある参考書の関数には必ずmaxが存在してないのでしょうか?あえてsupと書く理由がわからないので… 最適化問題のラグランジュ関数なのですが… min f(x) s.t g(x)<=0 の問題のラグランジュ L(x,λ)=f(x)+λg(x) λ>=0の時の sup(L(x,λ))を考えたいのですが、これはmaxと書けばいいじゃんと思ってしまうのです…
関連するQ&A
- sup | f (x)-f (y) | について
sup | f (x)-f (y) | についての質問です。 今、ある閉区間で f は定義されているものとし、この区間で有界とします。 A = sup {f (x)} 、B = inf {f(x)} とおきます。 このとき、教科書によると sup | f (x)-f (y) | ＝ A - B になるそうです。 しかし、以下の理由から私は sup （ f (x)-f (y) ） = A - B になるように思います。 ・A - B が（ f (x)-f (y) ） の上界になる事 任意に f (x) 、f (y) をとります。 このときA、Bの定義から f (x) ≤ A 、-f (y) ≤ -B となります。 したがって f (x) - f (y) ≤ A-B となり、A - B は（ f (x)-f (y) ） の上界になります。 ・A - B が（ f (x)-f (y) ） の最小上界である事 任意に正の数２εをとります。 （εだと以下やりにくいため２εとしました） A - B -２ε ＜ f (x)-f (y) となる f (x) 、f (y) を見つければOKです。 A - B -２ε＝ （A-ε） - （B+ε） と変形すると、A、Bの定義から A-ε ＜ f (x) 、 -(B+ε) ＜ -f (y) となる f (x) 、f (y) がとれます。 したがって両辺を足してA - B -２ε ＜ f (x)-f (y) となります。 この証明が正しければ sup （ f (x)-f (y) ） = A - B となりますが、すると sup （ f (x)-f (y) ） ＝ sup | f (x)-f (y) | となりますが、これは正しいのでしょうか？ 今のところ反例が思いつかないので、正しいのか分からないのですが、 わざわざ絶対値をつけているため、この式は成り立たないように思うのですが… 私の考えで間違っているところがあれば教えて頂きたいです。
- ベストアンサー
- 数学・算数
- sup{-1/x:x∈（0,∞）}=0であることを上限の定義に従って証明
R（実数全体）においてsup{-1/x:x∈（0,∞）}=0であることを上限の定義に従って示せ。 という問題がでました。 以下が私が考える証明です。 任意のa∈{-1/x:x∈（0,∞）}に対し、a＜０であるから、０は{-1/x:x∈（0,∞）}の上界の一つである。 x＜０とすると、Rの稠密性より、 x＜z＜0となるz{-1/x:x∈（0,∞）}が存在する。 従って、xは(0,1)の上界ではない。 以上から、０が最小上界である。 というのが私の証明です。 まずこの証明の流れが正しいかが心配です。 あと気になっていることが２点あるのですが、まず、{-1/x:x∈（0,∞）}は(-1,0)の範囲にあるということをこの証明の中で述べたほうがよいかということです。 ２点目は、この問題はもとからxを使っているので、証明の中の３行目で、『x＜０とすると』のxは使ってもよいかということです。駄目な場合は、どの文字が一番適しているかを教えてほしいです。 カイトウよろしくお願いします。
- ベストアンサー
- 数学・算数
- sup{-1/x:x∈（0,∞）}=0であることを上限の定義に従って証明
実数Rにおいて、sup{-1/x:x∈（0,∞）}=0であることを上限の定義に従って示せ。 という問題が出ました。 以下が私の考えた証明です。 任意のa∈{-1/x:x∈（0,∞）}に対し、a＜０であるから、 ０は{-1/x:x∈（0,∞）}の上界の1つである。 ｙ＜０とすると、Rの稠密性より、 ｙ＜ｚ＜０となるｚ∈{-1/x:x∈（0,∞）}が存在する。 従ってｙは（0，1）の上界ではない。 以上から、０が最小上界である。 大体はいいらしいのですが、 ＞ｚ∈{-1/x:x∈（0,∞）}が存在する がちょっと問題があるみたいです。 Rの稠密性を使っても、{-1/x:x∈（0,∞）}のように、限定した集合の中にｚが入ることは分からない、というのが問題みたいです。 ここが問題だということは理解できたのですが、それを証明の中にどのようにして述べればいいのかがわかりません。 回答お願いします。
- ベストアンサー
- 数学・算数
- ｘ＞０を定義域とする関数ｆ（ｘ）＝12（e^3x
ｘ＞０を定義域とする関数ｆ（ｘ）＝12（e^3x-3e^x)/e^2x-1について、以下の問いに答えよ。 （１）関数ｙ＝ｆ（ｘ）（ｘ＞０）は、実数全体を定義域とする逆関数を持つことを示せ。 すなわち、任意の実数aに対して、f(x)=aとなるｘ＞０がただ１つ存在することを示せ。 （２）前問（１）で定められた逆関数をｙ＝ｇ（ｘ）（－∞＜ｘ＜∞）とする。このとき、定積分∫8 27（下が8で上が27です） ｇ（ｘ）ｄｘ を求めよ。 解説とその理由をお願いします。 また、すなわち、任意の実数aに対して、f(x)=aとなるｘ＞０がただ１つ存在することを示せ の部分の意味もどういうことかご説明お願いします。
- ベストアンサー
- 数学・算数
- 集合 上限 下限
集合 上限 下限 Wikipediaによれば、 上界の集合の最小元（つまり、最小の上界）のことを、上限といい、sup(A) と書く。 下界の集合の最大元（つまり、最大の下界）のことを、下限といい、inf(A) と書く。 http://www.misojiro.t.u-tokyo.ac.jp/~murota/lect-kisosuri/supmax031208.pdf を参考にしたのですが理解出来できませんでした。 Ａを実数の部分集合とするとき、 実数 a が、Ａの上界であるとは、Ａの任意の元x に対して、x≦a が成り立つことである。 そのなかで、最小の上界を上限と言う。 ピンときません・・・ 具体例を示して教えて頂けるとありがたいです。 ご回答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- ファイルメーカーのMax関数について教えてください。
ファイルメーカーを勉強中なのですが、 Max関数でIDを自動取得しようとすると「再帰定義」 のメッセージが出てうまくいきません。 Max(ID)+1 ↑このような設定にしています。 最大値に+1した値を新規レコードのIDにしたいのですが、 ファイルメーカーではできないのでしょうか？ Max関数以外でもいいのですが、方法がありましたら 教えてください。
- ベストアンサー
- その他(データベース)
- 上界と上限と最大値の違い
上界と上限と最大値の違いはなんでしょうか なんとなく違う気はするのですが、うまく説明することができません これらはどのように使い分ければよいのでしょうか 明確な定義などはあるのでしょうか
- ベストアンサー
- 数学・算数
- 上界と下界、上限と下限
上界と下界、上限と下限 数列の定義（解析演習 by 杉浦光夫さん)のpage4に上界と下界、上限と下限の説明があります。 [実数Rの部分集合Aにおいて、実数xですべてのAの元aに対してa<=xとなるものを上界]という説明は納得できました。 一方で上限の説明で [Aの上界に最小元が存在するときこれを上限という]という説明がよく理解できません。 Aの上界という部分では集合Aのうちの最大の値を持つ元がでてくると思うのですが、「最小元」を持ち出して「上限」と言っているのがよくわかりませんでした。 上限の具体的な例など教えていただけますでしょうか？ また、Aの上界に最小元が存在しないとき、の例というのはどういうものでしょうか。
- ベストアンサー
- 数学・算数
お礼
なるほど。では教科書はまだ最大値があるかわからない状態だからsupと表していたんですね。よくわかりました。