- ベストアンサー
チコノフの定理の適用について
mikaemiの回答
- mikaemi
- ベストアンサー率50% (33/65)
失礼^^ 「各店」じゃなくて、もちろん「各点」です（笑）
関連するQ&A
- ワイエルシュトラスの多項式近似定理の証明
詳しく証明を書きたいのですが、教科書等で調べてもわかりません。 f(t)を有界閉区間[a,b]で連続な任意の関数とするとき、区間[a,b]上一様にf(x)に収束するような多項式の列｛Pn(t)｝が存在する。 というものの証明です。
- 締切済み
- 数学・算数
- 中間値の定理とその系について
中間値の定理について (1)中間値の定理は逆について真でしょうか。つまり「関数f(x)が区間[a,b]で連続で、ｆ（a）≠ｆ（ｂ）ならば、ｆ（a）とｆ（ｂ）の間の任意の値ｋに対して、ｆ（ｃ）＝ｋ、a＜ｃ＜ｂを満たすｃが少なくとも一つ存在する」の逆は真かどうか (2)中間値の定理の系について、[関数f(x)が区間[a,b]で連続で、ｆ（a）≠ｆ（ｂ）、ｆ（ｘ）が単調増加または単調減少ならば、 ｆ（a）とｆ（ｂ）の間の任意の値ｋに対して、ｆ（ｃ）＝ｋ、a＜ｃ＜ｂを満たすｃがただ１つ存在する。」 の逆は言えますか？ 高校数学の範囲で詳しい解説をお願いします！
- ベストアンサー
- 数学・算数
- 陰関数の定理がわかりません
陰関数の定理について、 証明はまだ習わないで、定理だけいきなり出てきたのですが、 読んだだけではいまいち意味がつかめませんでした。 この定理が何をいおうとしているかわかり易く 説明していただけないでしょうか？ (漠然とした質問で申し訳ありません） _______________＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿ 陰関数の定理： f(x, y) をR2 におけるC1 級関数とし， 点(a, b) において f(a, b) = 0; fy(a, b) ≠ 0とする． このときa を含むある小さな開区間I をとれば I の上で定義されたC1 級関数 y = φ(x) で次の条件を満たすものがただ１つ存在する: b = φ(a), f(x, φ(x)) = 0 (x は 閉区間I内), さらに φ’(x) = -｛fx(x, φ(x))｝/｛fy(x, φ(x)｝ が成立する． _____________＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿＿
- ベストアンサー
- 数学・算数
- この定理がわかると何が良いのでしょうか？
書き方が変なところがあるかも知れませんが、ご了承ください。 以下の定理がわかると、なにが良いのか、どのような事に役立つのか、何につながるのかというのがわかりません。 よろしければ教えていただきたく思います。 本に書いてあるまま書き出します。 ＜リースの積分表示定理＞ Ｅ:ノルム空間 Ｃ：区間[0,1]で定義された全ての連続関数の作る集合 とした時、Ｃの線形汎関数ｆに対して有界変動関数φが存在し、 ｆ(x)＝∫x(t)dφ(t) (範囲は０～１) で与えられる。その時、fのノルムはφの全変動に等しい。
- ベストアンサー
- 数学・算数
- 一様連続の定理
書き方がわからず、おかしな所があるかと思いますが ご了承ください。 証明の途中の意味がわからず、もやもやしています。 ＜y=f(x)が閉区間[a,b]=Iで連続⇒fは一様連続＞ 証明 定理が成り立たないと仮定 ∃ε>0 ∀δ>0 ∀x',x''∈I:|x'-x''|<δ∧|f(x')-f(x'')|≧ε δ=1/nとして、対応するx'、x''とx'_ｎ、x''_nとしする |x'_ｎ-x''_n|<1/n |f(x'_n)-f(x''_n)|≧ε {x'_n}に対してWeierstrassの補助定理 (有界な数列は収束する部分列をもつ) からx_0に収束する部分列がある |x'_ｎ-x''_n|<1/n から x''_n→x_0 (n→∞) ↑ここの部分がわかりません 『{x'_n}に対してx_0に収束する部分列』とは 例えば{x_n_j}とかだと思うのですが、 それがあることがわかると、なぜ 『x''_nはx_0に収束することがわかる』 につながるのでしょうか。 ちなみに、証明はこのあと fの連続性とx'_n→x_0＆x''_n→x_0を使い 矛盾を導き出します。 宜しくお願い致します。
- 締切済み
- 数学・算数
- フーリエ級数の不連続点における収束について
こんにちわ。自分あ物理系のＢ２の学生です。 不連続関数をフーリエ級数展開した場合、フーリエ級数ては不連続点に対して,不連続点の右極限と左極限の相加平均に収束するのでしょうか。ギブス現象は聞いたことがあるのですが、収束性は保障されるのですか。 このような質問をいたしましたのはジョルダン・ルベーグの定理で、フーリエ級数の各点収束を示そうとしたのですが、不連続点での扱いが自分は説明できなかったからです。講義で扱ったジョルダン・ルベーグの定理は fが有界変動であり,|f|が１周期上積分可能で積分値が有限であるとする。このときfのxにおけるフーリエ級数Snが Sn→1/2 {f(x+0) + f(x-0)} as n→∞ というもので、連続性の条件はありません。証明上の問題点は、fが有界変動であるので φ(t) = f(x+t)+f(x-t)-f(x+0)-f(x-0) → 0 as t→0 なるφは有界変動であるから、単調増加する正値関数P,Nをもちいて φ(t) = P(t) - N(t) + φ(0) で表現される。このとき P(t) + N(t)→0 as t →0 (1) とあるのですが、xにおいてfが不連続の場合,(1)は成立しないと思う点です。
- 締切済み
- 数学・算数
- 中間値の定理
中間値の定理、、、 ３次方程式x^3-x^2-2x+1＝0は区間(-2.1)に少なくとも１つの実数解をもつことを証明せよ f(x)＝x^3-x^2-2x+1とする f(-2)＝（-2)^3-(-2)^2-2×-2+1＝-7 f(1)＝-1-1+2+1 f(-2)とf(1)は互いに異符号である よって中間値の定理により ｆ（x）＝0を満たすxが少なくとも1つ存在する 中間値の定理って １ 関数f(x)が閉区間[a,b]で連続で、f(a)≠f(b)の時f(a)とf(b)の間にある任意のkに対してf(c)=kを満たす点cが少なくとも一つ存在する。 ２ 特にf(x)が閉区間[a,b]で連続で、f(a)とf(b)が異符号の時f(x)＝0を満たすx即ち方程式f(x)＝の解が少なくとも一つ存在する。 これって何で中間値の定理の２番使って証明してますが何で２番使うんですか？ だって互いに異符号なのを最初に示してる時点で２を使ってますよね ２は中間値の定理ですよね あとこれがどうなったら、公式1にすればいいんですか？
- ベストアンサー
- 数学・算数
- 大学１年レベルの級数に関する問題です
∞ ∞ f(x)＝Σ(a_n・x^n)に対して、Σa_n/(n+1)が収束すれば n=1 n=1 1 ∞ ∫f(x)dx＝Σa_n/(n+1) が成立することを示せ。 0 n=1 という問題についてなのですが 私はこの問題を見たとき、次の定理 閉区間A=[a,b]上の連続関数f_n:A→R(n=1,2,・・・)を一般項とする関数項級数Σf_n(x)がA上で一様収束していれば a ∞ ∞ b ∫ Σf_n(x)dx＝Σ ∫f_n(x)dx が成立する。 b n=1 n=1 a という、項別積分の定理を使おうと思いました。 それで、f_n(x)=a_n・x^nとし、この問題において与えられたΣa_n/(n+1)が収束という条件から、Σf_n(x)が[0,1]上で一様収束することを導こうとしたのですが、うまくいきませんでした。 しかし、Σa_n/(n+1)が収束ではなく絶対収束だったら、Σf_n(x)が[0,1]上で一様収束することを導けました。 具体的には、 Σa_n/(n+1)が絶対収束より、Σ{a_n/(n+1)}x^nの収束半径Ｒは１＜Ｒを満たす。また、Σ{a_n/(n+1)}x^nとΣa_n・x^nの収束半径は等しい。 ここで 「整級数Σa_n・x^n＝Σf_n(x)の収束半径をＲとする。0<s<Rなる任意のsに対し、閉区間[-s,s]でこの関数級数は一様収束する」 という定理から、とくにs=1としてやれば、関数項級数Σf_nは[-1,1]で一様収束することが導ける。よって[0,1]でももちろん一様収束するから項別積分の定理が使える。 としました。 なのでもしかしたら”収束”という箇所がミスプリントなのでは？と思ったので質問させていただきました。 ですが、私が単に、収束という条件から答えを導き出せてない可能性のほうが高いと思うので。。。 どなたか回答よろしくお願いしますm(_ _)m ぜんぜん解けなくてとても困ってます・・・。
- ベストアンサー
- 数学・算数
- コーシーの平均値の定理の問題です。
f(x),g(x)は[a,b]で連続かつ(a,b)上微分可能とする。さらに、g(x)が狭義単調増加関数であるとき、コーシーの平均値の定理、すなわち f(b)-f(a)/g(b)-g(a)=f'(c)/g'(c) c∈(a,b) となるcがあることをつぎのように証明せよ。 閉区間[g(a),g(b)]で定義される関数h(x)=f(g^-1(x))に平均値の定理を適用するです。 わかるかたがおられたら是非とも教えてください。よろしくお願いします。
- ベストアンサー
- 数学・算数