A 回答 (8件)
- 最新から表示
- 回答順に表示
No.8
- 回答日時:
お礼でも補足でもどちらでもよいので、♯6のお礼を書かれた日を出来れば教えていただいてもよいですか。
お礼通知メールがどうも遅れることが多いようで、少し気になっているので。♯6に書かれていることですが、infの定義をよく復習されるべきです。ちゃんと回答にも念のため書いたのですけどねえ。
任意のxに対してα≦f(x)を成立させるαをfの下界といいます。明らかに任意の関数fに対して、可界の集合は半区間(-∞,*]になります。この区間の右端*のことをfの下限といいます。すなわち最大の下界のことを下限(infimum)というのです。このことから、fの下限inf(f)とfの任意の下界αに対して、α≦inf(f)が成り立ちます。
これでも理解できないようでしたら、僕では助けになれません。
No.7
- 回答日時:
#5です。
#6さんの証明がわかりやすくて、とてもいいと思いました。> 直感的にはinfとはminと同じようなものであるのだから、一番小さい部分を足してきたものよりは、大きくなるのだ、という感じです。
私は、与えられた不等式に「fとgを同時に小さくするよりも、別々に小さくしたほうが、より小さい値を実現できる」みたいなイメージを持ちました。そして、infの定義に直接的な縁もない「加法」が入っている、右辺の「歪な形」のほうを主役に考えてしまいました。直感を言葉に直したい気持ちではいますが、最初の直感の方向が間違っていました。
もはや無意味ですが、#5で意図したのは、
> ∃x0∈X;f(x0)+g(x0)<α"+ε
から、
inf(f)+inf(g)≦f(x0)+g(x0)<α"+ε
となり、ε>0が任意だから、
inf(f)+inf(g)≦α"
というものです。
存在が確認できるx0さんに登場してもらうことで、右辺の「抱き合わせ販売」を解除しようとしました。
#1-#4さんにつきましては、#6さんのような証明に誘導するつもりでしたら、すみません。場を乱してしまったことをお詫びいたします。
No.6
- 回答日時:
任意のxに対して、infの定義より、
inf(f)≦f(x)
inf(g)≦g(x)
です。したがって、任意のxに対して、
inf(f)+inf(g)≦f(x)+g(x)
です。よって、inf(f)+inf(g)はf+gのひとつの下界ですが、infは最大の下界のことだから、inf(f)+inf(g)≦inf(f+g)です。
ε-δでやってもよいですが、少し面倒ですし、上の議論の方がinfの意味が明確になっていていいでしょう。直感的にはinfとはminと同じようなものであるのだから、一番小さい部分を足してきたものよりは、大きくなるのだ、という感じです。
inf(f)とはα≦f(x)を満たすαのうち、最大のもの、という理解で十分です。ε>0を使えば、inf(f)+εはもはや下界ではない、つまり¬(inf(f)+ε<f)というわけですね。記号論理を使いこなすことも重要ですが、直感的に分かる、ということをきちんと言葉に直すことの方がより重要です。そうでないと、直感的に分かっている、というのは、ただなんとなく正しいような気がする、と言っているのと変わらないです。
御回答有難うございます。
> よって、inf(f)+inf(g)はf+gのひとつの下界ですが、
> infは最大の下界のことだから、inf(f)+inf(g)≦inf(f+g)です。
ここの所がどうしてもしっくり来ません(なんかごまかされてるようで)。
「inf(f)≦f(x)
inf(g)≦g(x)
です。したがって、任意のxに対して、
inf(f)+inf(g)≦f(x)+g(x)」
は勿論納得です。
h(x):=f(x)+g(x)とおくと、
h(x)≦inf{h(x)∈R;x∈X}…(*)とは言えませんよね?
(h(x)≦sup{h(x)∈R;x∈X}なら言えますが)
(*)が言えれば後はすんなり
inf{f(x);x∈X}+inf{g(x);x∈X}≦inf{f(x)+g(x);x∈X}が言えるのですが、、、
No.5
- 回答日時:
> (ii)" R∋r>α"ならrは{ f(x)+g(x) : x ∈ X }の下界ではない
なら、「任意のε>0に対して、α"+εは{ f(x)+g(x) : x ∈ X }の下界ではない」ですよね。下界でないってことは・・。
すると、fとgをつないでる鎖がとれるので、
> (直観的には分かりますが)
でイメージされていることが使えると思います。
あとは、ε>0は任意だから・・。
有難うございます。
>> (ii)" R∋r>α"ならrは{ f(x)+g(x) : x ∈ X }の下界ではない
> なら、「任意のε>0に対して、α"+εは{ f(x)+g(x) : x ∈ X }の下界ではない」で
> すよね。下界でないってことは・・。
∃x0∈X;f(x0)+g(x0)<α"+ε
f(x0)+g(x0)-ε<α"
ですよね。
うーん、ここから先に進めません。
No.2
- 回答日時:
>(略)と表す。
というのがinfの定義ですよね。それを今回の場合 A = { f(x) : x ∈ X } などに対して書き下すとどうなりますか?
> >(略)と表す。というのがinfの定義ですよね。
> それを今回の場合 A = { f(x) : x ∈ X } などに対して書き下すとどうなりますか
> ?
それぞれ
(i) αが{ f(x) : x ∈ X }(⊂R)の下界
(ii) R∋r>αならrは{ f(x) : x ∈ X }の下界ではない
の時、
α:=inf{ f(x) : x ∈ X }
(i)' α'が{ g(x) : x ∈ X }(⊂R)の下界
(ii)' R∋r>α'ならrは{ g(x) : x ∈ X }の下界ではない
の時、
α':=inf{ g(x) : x ∈ X }
(i)" α"が{ f(x)+g(x) : x ∈ X }(⊂R)の下界
(ii)" R∋r>α"ならrは{ f(x)+g(x) : x ∈ X }の下界ではない
の時、
α":=inf{ f(x)+g(x) : x ∈ X }
となりますが、、、
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 解析学の問題がわかりません 1 2023/01/12 22:59
- 数学 積分と不等式 2 2023/01/26 21:52
- 数学 確率について ①Xが実数値をとる確率変数で、f(x)=0(x<=-1),1/4x+1/4 (-1<= 2 2022/06/20 18:44
- 数学 代数学 環 1 2022/10/12 17:29
- 数学 R上の実数値連続関数fが周期pを持つならば次式か成り立つことを示せ。 ∫[x→x+p] f(t)dt 2 2022/09/13 10:38
- 数学 解析学の問題がわからず困っています。 2 2023/01/12 23:07
- 数学 原始関数の存在性の証明について 数学科の3回生です。院試の勉強でつまづいたので助けてほしいです。 R 6 2022/11/13 19:19
- 高校 合成関数の定義域につきまして 1 2022/05/18 17:26
- 数学 大学数学 解析学 区間[a,b]で有界な関数f(x)が[a,b)で連続であるとき、f(x)は[a,b 2 2022/12/23 04:04
- 数学 内田伏一著「集合と位相」裳華房 p28 定理7.1 (カントール )べき集合から集合への単射の不存在 3 2022/11/04 11:54
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
f(x) g(x) とは?
-
マクローリンの定理の適用のし...
-
大学の問題です。
-
いえる??
-
微分の公式の証明
-
yとf(x)の違いについて
-
数学 fとf(x) の違いについて
-
極限、不連続
-
z^5=1の虚数解の一つをαと置く...
-
f(0)とf(0+)の違い。(+は上付き...
-
数学の洋書を読んでいて分から...
-
次の等式を満たす関数f(x)を求...
-
f(x)=xe^-2xの極大値
-
Gnuplotについて エラーメッセ...
-
関数f(x)=x³は一対一関数です...
-
なんで(4)なんですけど 積分定...
-
定積分の計算
-
フーリエ級数について
-
【数3 式と曲線】 F(x、y)=0と...
-
積分 大小関係
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
f(x) g(x) とは?
-
数学の f(f(x))とはどういう意...
-
微小量とはいったいなんでしょ...
-
大学の問題です。
-
差分表現とは何でしょうか? 問...
-
微分について
-
"交わる"と"接する"の定義
-
f(x)=sin(x)/x って、とくにf(0...
-
どんな式でも偶関数か奇関数の...
-
数学II 積分
-
f(x)=|x-3|+|x-2|+|x-1|の最...
-
関数f(x)がC∞-級関数であること...
-
左上図、左下図、右上図、右下...
-
極限、不連続
-
三次関数が三重解を持つ条件とは?
-
数学 fとf(x) の違いについて
-
導関数の値が0=定数関数 ど...
-
微分の公式の導き方
-
数学の洋書を読んでいて分から...
-
数学についてです。 任意の3次...
おすすめ情報