- 1 名前：１３２人目の素数さん mailto:sage [2022/08/04(木) 23:29:28.02 ID:0Ho6Owof.net]
- 大学で習う数学に関する質問を扱うスレ
・質問する前に教科書や参考書を読むなりググるなりして
・ただの計算は
wolframalpha.com
・数式の表記法は
mathmathmath.dote ra.net
・質問のマルチポストは非推奨
・煽り、荒らしはスルー
※前スレ
大学学部レベル質問スレ 18単位目
https://rio2016.5ch.net/test/read.cgi/math/1651147986/
- 830 名前：１３２人目の素数さん mailto:sage [2022/11/07(月) 12:16:44.16 ID:KiVjt9l5.net]
- そのこころは？
lestroarmonico@mathraphsody
数学ほど恐ろしく役に立つものはない．
役に立つとき，それは時として真に恐ろしいものになりうる．それはすでにアーノルドが指摘した．
「すべての数学は流体力学と弾道計算と暗号理論に要約される」
- 831 名前：１３２人目の素数さん [2022/11/07(月) 13:36:07.54 ID:/JWvkJfq.net]
- 数学のまともな演習書がないのはなぜでしょうか？
微分積分に限っても、よい演習書がないように思います。
- 832 名前：１３２人目の素数さん [2022/11/07(月) 13:43:25.99 ID:/JWvkJfq.net]
- 杉浦光夫他著『解析演習』
塹江誠夫他著『詳説演習微分積分学』
三村征雄他著『大学演習微分積分学』
福田他著『詳解微積分演習 I, II』
小寺平治著『明解演習微分積分』
を持っていますが、これはいいと言える演習はこの中にはありません。
- 833 名前：１３２人目の素数さん mailto:sage [2022/11/07(月) 13:44:34.49 ID:Hy7THX4N.net]
- >>800
演習書で勉強できると思ってる能無しを淘汰するためwww
- 834 名前：１３２人目の素数さん mailto:age [2022/11/07(月) 17:03:14.99 ID:xq0QdQh
]
- [ここ壊れてます]
- 835 名前：G.net mailto: 高校までの数学は
やたらにたくさんの演習問題とそれを含む本があり良い物も多い。
ところが大学からは途端にそういう本が少なくなり、良い物も極端に少なくなる。
まるでラーメン屋や錬金術師が
自分たちの秘伝のレシピを人に教えたくないから
隠しているような…
わかりづらい事をわかりづらく述べる本しか存在しない。
全くもって、けしからんぞい ( '‘ω‘) [] - [ここ壊れてます]
- 836 名前：１３２人目の素数さん [2022/11/07(月) 19:52:19.75 ID:8yAwXDdq.net]
- >>803
例を考えるのが面倒だからだよ
それでも位相空間論とか集合論とかには
途轍もない例がいろいろ載ってて捗る本
- 837 名前：１３２人目の素数さん [2022/11/08(火) 05:21:53.64 ID:Mb93uGhw.net]
- 結局は売れるかどうか
- 838 名前：１３２人目の素数さん mailto:sage [2022/11/08(火) 08:04:11.04 ID:JDTPyi11.net]
- >>803
学部受験感覚で
学習参考書やドリル学習に頼り続けて
思考停止に陥って自分で考えて勉強することをサボってるようなのが
研究ができるとは誰も考えてはいない。
- 839 名前：１３２人目の素数さん [2022/11/08(火) 08:51:11.56 ID:Zzk2por/.net]
- >>800
>数学のまともな演習書がないのはなぜ
まともな演習書というのは人により違うのではないかな
沢山の問題載ってるっていう意味なら
マグロウヒル大学演習シリーズとか？
- 840 名前：１３２人目の素数さん mailto:sage [2022/11/08(火) 08:51:34.20 ID:OVS4KMY4.net]
- なんで試験問題は正規分布にしたがうように作るの？
GPの割り振りを考えると合格点以上で一様分布になるのが理想に思える
- 841 名前：１３２人目の素数さん mailto:sage [2022/11/08(火) 09:31:44.63 ID:V6Z+4Dcd.net]
- 元々は中学教師だった桑田昭三が、受け持った生徒が勘で志望校の変更を決められてしまったことを憂いて、
科学的に判定できないのかと考えた末に、あらゆるデータは正規分布に従うというケトレーの法則(中心極限定理が出たあとに影響を受けて主張された法則だが、もちろん現在では間違っている)を使い、
学力分布は正規分布とみなせるはずだ、と仮定して偏差値によって志望校の判定を行った
それが噂として広まり、70年代前半に全国に広まった
仮に正規分布になるように問題を作ってるとして、本末転倒だしそんなことが可能かも疑わしいが、いずれにしても正規分布に従う必要性は皆無
ただ歴史的にそうなったものを思考停止で使ってるだけ
桑田昭三本人も、偏差値は教育の全てではない、選抜資料として使っているのは同じ国の人間として恥ずかしく思うとまで嘆いてる
- 842 名前：１３２人目の素数さん [2022/11/08(火) 09:33:39.22 ID:Zzk2por/.net]
- >>808
>正規分布にしたがうように作る
そんなことしてるかというか
中心極限定理で自然と正規分布になるよ
>合格点以上で一様分布になるのが理想
理想である理由が飲み込めないが
少なくともそういう異様な分布に
するのはかなり無理そうだ
- 843 名前：１３２人目の素数さん mailto:sage [2022/11/08(火) 09:42:22.09 ID:V6Z+4Dcd.net]
- >>810
中心極限定理によって、標本平均と母平均の誤差が正規分布になることは言えるが、
標本分布そのものが正規分布になる根拠はない
- 844 名前：１３２人目の素数さん mailto:sage [2022/11/08(火) 09:43:04.54 ID:8O/8anYl.net]
- >>808
選抜試験なので合格者の平均が50点くらいで分散がなるべく大きくなるように作る
なるべく受験生の実力を正確に判定するには分散がなるべく大きくなるように作るのが理想、平均がどちらかによると分散も落ちる
- 845 名前：１３２人目の素数さん mailto:sage [2022/11/08(火) 09:46:24.50 ID:V6Z+4Dcd.net]
- >>812
平均も分散も任意の確率分布で定義できるので、
その説明は正規分布関係ない
- 846 名前：１３２人目の素数さん mailto:sage [2022/11/08(火) 10:02:36.41 ID:c2GFqi41.net]
- >>813
そう、正規分布になるよう作ってるわけではない
そもそも最大値、最小値あ
- 847 名前：るんだから正規分布になんぞなりようがない
なるべく合格者の最低が50店くらい、最小値0,最大値100分散がなるべく大きいというふうに作る
その意味での理想は0～100まで一様分布になることだけどもちろん問題の難易度レベル設定だけではそうなるハズもなく、結果合格者最低が中央値にくる部分だけ取り出すと50点が平均の二項分布になるように作る
それが受験生が多いと正規分布と見た目に似るというだけ [] - [ここ壊れてます]
- 848 名前：１３２人目の素数さん [2022/11/08(火) 10:21:00.42 ID:Zzk2por/.net]
- >>811
>中心極限定理によって、標本平均と母平均の誤差が正規分布になることは言える
誤認してるね
- 849 名前：１３２人目の素数さん mailto:sage [2022/11/08(火) 10:31:07.85 ID:c2GFqi41.net]
- ちょっと>>814は変だな
例えば倍率が5倍の入試なら上位1/5が50点～100点、下位4/5が0点～50点が理想、さらに分散が大きければ大きいほど良い
結果分布はある程度は正規分布の曲線に似るという話、正規分布を目指すわけではない
- 850 名前：１３２人目の素数さん mailto:age [2022/11/09(水) 00:43:55.67 ID:WmCuMeoy.net]
- >>804
良い問題を作るのにも
才能がいるもんなぁ。
たぶん、人に説明したり設問する能力が低い著者が多いんだろうな。
>>806
演習問題は別に悪くねぇだろ。
演習問題の繰り返しは高度なパターン認識が身につく、
解く事で身についたり、理解するっていうタイプの人の助けになる。
それと思考停止ってwワロタwww
そんな日本語存在しないだろ？
どういう意味ですか？辞書に載ってないんですけど。
英語でなんていうか、わかる？
- 851 名前：１３２人目の素数さん mailto:sage [2022/11/09(水) 03:12:50.48 ID:eBY3TMUx.net]
- >>817
そこで自分で考えないからダメなんだよ
脊髄反射で口論ぐらいのレベルの発想な時点でダメッダメ。
ちょっとは自分で考えろ。
- 852 名前：１３２人目の素数さん [2022/11/09(水) 07:00:03.00 ID:B/DJYwwY.net]
- >>817
思考停止とは、物事を考えることや、判断することをやめてしまう状態をあらわす言葉です。思考停止は無意識のうちに起こっている場合もあります。
思考停止に陥ってしまう原因は、多くの場合過度のストレスが原因です。
- 853 名前：１３２人目の素数さん mailto:age [2022/11/09(水) 07:05:57.89 ID:WmCuMeoy.net]
- >>819
はい、嘘。
じゃあ、なぜ辞書に載っていないのだ？
英語だと何ていうの？
定義もなく雰囲気で誰かが作った造語でしょ？
くだらん。
- 854 名前：１３２人目の素数さん [2022/11/09(水) 07:14:12.87 ID:B/DJYwwY.net]
- 最後は、「思考停止」という言葉の由来や成り立ちについてご紹介していきますよ。「思考停止」はネットスラングなどでもなく、考えることの「思考」とやめることの「停止」を合わせたシンプルな成り立ちとなっています。「思考停止」という言葉以外にも、「フリーズ」や「頭が真っ白になる」「なげやりになる」などの言葉で表すことができますよ。
freezeを思考停止すると訳している場合も多そうだ
- 855 名前：１３２人目の素数さん [2022/11/09(水) 07:36:28.11 ID:fqJAz+yW.net]
- 2つのべき級数の合成がまたべき級数になるということが書いてある微分積分の本が少ないのは
なぜでしょうか？
笠原さんの本には書いてありました。
- 856 名前：１３２人目の素数さん [2022/11/09(水) 07:39:04.27 ID:fqJAz+yW.net]
- 三村征雄他著『大学演習微分積分学』には、べき級数の逆数がべき級数になるということの
証明が書いてありました。
2つのべき級数の合成がまたべき級数になることは同様に証明できると書いてあります。
確かにそうなんですが、合成のほうを証明しておけば、逆数のほうはその系として自動的
に証明できます。ですので、合成のほうの証明を書くべきだったと思います。
- 857 名前：１３２人目の素数さん [2022/11/09(水) 07:49:24.65 ID:stGMZ2S2.net]
- >>817
>たぶん、人に説明したり設問する能力が低い著者が多いんだろうな。
説明はするが理解はそちらの責任
設問は面倒だから細々したことが好きな人にお任せ
て人がほとんどだと思うが
- 858 名前：１３２人目の素数さん mailto:sage [2022/11/09(水) 08:09:37.03 ID:J+CVlm+7.net]
- >wワロタwww
そんな日本語存在しないだろ？
どういう意味ですか？辞書に載ってないんですけど。
- 859 名前：１３２人目の素数さん [2022/11/09(水) 08:21:42.64 ID:stGMZ2S2.net]
- >>822
>2つのべき級数の合成がまたべき級数になる
|x-a|<rで�
- 860 名前：羡ｩするべき級数y=f(x)を
|y-b|<sで収束するべき級数z=g(y)に
|f(a)-b|<sの場合に合成しz=g(f(x))？
無限の項のべき乗の展開はその場で足さずに
それを無限に足したときに次数毎にまとめて足す？
g(f(c))の値を計算するときはf(c)をf(x)の各項にx=cを代入して足したあとにg(y)の各項にy=f(c)を代入するとなると
足す順序がg(f(x))で次数毎にまとめて足してx=cを代入するのと変わるからなんか面倒くさいなあ
収束考えない形式的な話ならいいだろうけど [] - [ここ壊れてます]
- 861 名前：１３２人目の素数さん [2022/11/09(水) 08:24:31.72 ID:stGMZ2S2.net]
- >>823
>逆数のほうはその系として
1/f(x)をz=1/yとy=f(x)の合成とするのだろうけど
この場合1/yはどこで展開してもいいのかな
それともy=b=f(a)で展開するのに限定？
- 862 名前：１３２人目の素数さん [2022/11/09(水) 08:24:35.51 ID:fqJAz+yW.net]
- (1 + x)^{1/x} = e - (e/2) * x + e * (11/24) * x^2 - e * (7/16) * x^3 + e * (2447/5760) * x^4 ± …
ということを証明したりできて非常に重要だと思います。
- 863 名前：１３２人目の素数さん mailto:sage [2022/11/09(水) 09:20:59.69 ID:rSjEr+UE.net]
- 証明自体は
その点の近傍で解析的⇔その点の近傍で正則
を使う方が楽だからそんなに意味はない
- 864 名前：１３２人目の素数さん [2022/11/09(水) 10:12:36.90 ID:fqJAz+yW.net]
- 笠原さんの本のpp.146-147の命題4.24の証明ですが、2重級数についてのこの本では証明されていない
命題を使っています。
それは、正項2重級数 a_{i,j} が収束するとき、 a_{i,j} = 農{i} 農{j} a_{i,j} = 農{j} 農{i} a_{i,j}
が成り立つという命題です。
- 865 名前：１３２人目の素数さん [2022/11/09(水) 10:19:33.42 ID:fqJAz+yW.net]
- 訂正します：
>>830
それは、
a_{i,j} ≧ 0 とするとき、
。
農{i} 農{j} a_{i,j}, 農{j} 農{i} a_{i,j} の一方が収束するとき、他方も収束し、
農{i} 農{j} a_{i,j} = 農{i} 農{j} a_{i,j}
であるという命題です。
- 866 名前：１３２人目の素数さん [2022/11/09(水) 20:18:56.64 ID:8cjaUrTa.net]
- >>810
それ中心極限定理じゃないよ
得点の分布そのものの話であって標本平均の分布の話ではない
得点の分布が正規分布に似た形になることが多いのは
極端に劣る者や優れる者は少ないという当たり前のことが反映されただけでしょ
- 867 名前：１３２人目の素数さん [2022/11/09(水) 21:09:04.15 ID:l+ohbC7p.net]
- 多変数関数f:Rm→Rnの微分(フレシェ微分？)ってDfと書くのが標準ですか？f’とも書きますか？
- 868 名前：１３２人目の素数さん [2022/11/10(木) 10:47:31.63 ID:c1Ki+l2Q.net]
- あげ
- 869 名前：１３２人目の素数さん [2022/11/10(木) 13:48:24.62 ID:1gcbxk+I.net]
- 笠原晧司著『微分積分学』
定理に登場する関数についての必要な条件（連続であるなど）が書いてないことがありますね。
こういういい加減なところが嫌ですね。
- 870 名前：１３２人目の素数さん [2022/11/10(木) 13:50:17.98 ID:1gcbxk+I.net]
- 『対話・微分積分学』を読むと注意深い人なのかなと思ってしまいますが、そうではないですよね。
- 871 名前：１３２人目の素数さん [2022/11/10(木) 14:16:49.55 ID:6KZhqe4Z.net]
- はぁそうですかって言われそう
- 872 名前：１３２人目の素数さん [2022/11/10(木) 18:20:05.78 ID:Jqt7fTZg.net]
- あげ
- 873 名前：１３２人目の素数さん [2022/11/10(木) 18:47:48.41 ID:Jzi64XVF.net]
- その本は出来損ないだ
捨ててしまえ
- 874 名前：１３２人目の素数さん [2022/11/10(木) 19:08:02.84 ID:4RS2XXwZ.net]
- 時間の速さは毎秒何秒ですか？
秒は普遍ですか？
なんでそうなのですか？
光の速度はなんで３×１０＾８〔ｍ/sec〕なんですか？
- 875 名前：１３２人目の素数さん [2022/11/10(木) 19:12:56.33 ID:1uZTZuo8.net]
- 測ったらそうなっていた
- 876 名前：１３２人目の素数さん [2022/11/10(木) 19:30:38.93 ID:HqjBZ+pd.net]
- 多変数関数f:Rm→Rnの微分(フレシェ微分？)ってDfと書くのが標準ですか？f’とも書きますか？
- 877 名前：１３２人目の素数さん [2022/11/10(木) 19:34:48.04 ID:2zKzkeFn.net]
- フレシェ微分はFréchet derivativeと書きますね
- 878 名前：１３２人目の素数さん [2022/11/10(木) 19:35:24.75 ID:HqjBZ+pd.net]
- >>843
え？なんだって？
- 879 名前：１３２人目の素数さん [2022/11/11(金) 11:38:40.82 ID:QXXk3U5V.net]
- 笠原さんの本に、
f(x) = (1 + x)^{1/x} の x → +∞ のときの漸近展開。
log f(x) = (1/x) * log(x) + 1/x^2 + o(1/x^2)
f(x) = 1 + [(1/x) * log(x) + 1/x^2 + o(1/x^2)] + (1/2) * [(1/x) * log(x) + 1/x^2 + o(1/x^2)]^2 + o(1/x^2)
と書かれているのですが、
f(x) = 1 + [(1/x) * log(x) + 1/x^2 + o(1/x^2)] + (1/2) * [(1/x) * log(x) + 1/x^2 + o(1/x^2)]^2 + o(1/x^2)
の最後の項�
- 880 名前：ｪ o(1/x^2) になるのはなぜですか？ []
- [ここ壊れてます]
- 881 名前：１３２人目の素数さん [2022/11/11(金) 11:42:12.34 ID:ywXBgazh.net]
- 知らん
- 882 名前：１３２人目の素数さん mailto:sage [2022/11/11(金) 12:47:45.34 ID:wlJLI17w.net]
- プライムで微分を表すのは一変数だと思ってる時だけだろ？
- 883 名前：１３２人目の素数さん [2022/11/11(金) 14:42:24.88 ID:a7T2BLnZ.net]
- >>847
なんで1変数とn変数で記号が違うんですか？
- 884 名前：１３２人目の素数さん mailto:sage [2022/11/11(金) 15:12:35.14 ID:kFcBiWah.net]
- 階乗の一般化って複素数の範囲に限ってもガンマ関数以外にも作れそうだけども他にどんなのがあるの？
それとも一意になるならその証明が知りたい
- 885 名前：１３２人目の素数さん [2022/11/11(金) 17:25:42.96 ID:UXjCDpw9.net]
- >>849
ボーア・モーレルップの定理
- 886 名前：１３２人目の素数さん [2022/11/11(金) 18:21:17.83 ID:DoYfqzDg.net]
- >>848
多変数だとどの変数で微分したかが重要だからです
- 887 名前：１３２人目の素数さん [2022/11/11(金) 20:23:38.09 ID:PZiuVD7P.net]
- >>851
？
どの変数でとかじゃなくて単に「fの微分」ですが
- 888 名前：１３２人目の素数さん [2022/11/11(金) 20:28:20.05 ID:8aLca1ki.net]
- わからないんですね
- 889 名前：１３２人目の素数さん [2022/11/11(金) 20:34:39.46 ID:c39reFRG.net]
- 劣等感婆参上
- 890 名前：１３２人目の素数さん [2022/11/11(金) 22:46:04.27 ID:ywXBgazh.net]
- Hadamard's gamma function
- 891 名前：１３２人目の素数さん [2022/11/12(土) 00:56:11.89 ID:iKYodEi8.net]
- 微分がdfの意味ならf'は使わない
- 892 名前：１３２人目の素数さん mailto:age [2022/11/12(土) 08:50:17.08 ID:ehr11irC.net]
- >>848
1変数xについての関数ならば
記入しなくてもその微分操作は 「xについて微分すること」 と
文脈で解る。いっぽう、多変数だと…どれについてかが分からんだろ。
ドラクエで敵が1種類か2種類以上かの違いだ。
・1種類なら 「こうげき」 を選んで君のコマンドはそれで終わりだ。
・2種類以上なら、 「こうげき」 を選んで
次に 「スライムかオオアリクイか」を選ぶ。
もしも、後者で 「こうげき」 で手を止めたらコマンド入力のまま、先に進まねぇ。
なぜなら、コマンド、君の操作が意味を為していないから。
- 893 名前：１３２人目の素数さん [2022/11/12(土) 08:51:43.79 ID:zSON5trv.net]
- >>855
歴史の本で見たことがある
- 894 名前：１３２人目の素数さん [2022/11/12(土) 09:02:05.58 ID:HArWnKKe.net]
- 日本語の微分積分の本を何冊か見てみました。
例えば、
e^x = 1 + x + (1/2)*x^2 + … + (1/n!)*x^n + o(x^n)
と書いてある本ばかりです。
ですが、以下も成り立ちます。
e^x = 1 + x + (1/2)*x^2 + … + (1/n!)*x^n + O(x^{n+1})
f = O(x^{n+1}) ⇒ f = o(x^n)
が成り立つので、
e^x = 1 + x + (1/2)*x^2 + … + (1/n!)*x^n + O(x^{n+1})
のほうが情報量が多いです。
これはなぜなのでしょうか？
- 895 名前：１３２人目の素数さん mailto:sage [2022/11/12(土) 10:21:47.55 ID:c2EVxIbL.net]
- 著者の趣味
- 896 名前：１３２人目の素数さん mailto:sage [2022/11/12(土) 10:35:30.27 ID:LtgoxlaZ.net]
- e^x = 1 + x + (1/2)*x^2 + … + (1/n!)*x^n + (1/(n+1)!)*x^(n+1) + o(x^{n+1})
のほうが情報量が多いです。
- 897 名前：１３２人目の素数さん mailto:sage [2022/11/12(土) 11:03:24.44 ID:c2EVxIbL.net]
- そんな事誰でもわかるという事実がいつまでもいつまでも理解できない無能
- 898 名前：１３２人目の素数さん mailto:age [2022/11/12(土) 11:07:42.79 ID:ehr11irC.net]
- >>857
高校生レベルの丁寧な解説なのに
誰も褒め称えてくれない…
承認欲求が満たされない…鬱だ死のう…( '‘ω‘)
- 899 名前：１３２人目の素数さん [2022/11/12(土) 11:43:22.81 ID:kXEoQ1Dr.net]
- >>863
fが写像ならdfは一変数でも多変数でも使うのに
fが関数の時にはf'はなぜ一変数の時しか使わないのか
ここまで踏み込んで説明しなかったからかもしれない
- 900 名前：１３２人目の素数さん [2022/11/12(土) 11:46:23.28 ID:fjCpmB1X.net]
- >>857
もう死んだかな？
偏微分じゃないからどの変数とかいう概念がないんだけど
- 901 名前：１３２人目の素数さん [2022/11/12(土) 11:54:36.34 ID:0it9VBFW.net]
- 1変数の時は’とかd/dx
偏微分の時は∂/∂xi
全微分の時はdf
普通の関数の時こうなってるんですからフレシェ微分という全微分に対応するものには’は使わないのです
- 902 名前：１３２人目の素数さん [2022/11/12(土) 12:16:38.3
]
- [ここ壊れてます]
- 903 名前：7 ID:owcmt/n0.net mailto: Dfとdfはどっちがスタンダードなの？ []
- [ここ壊れてます]
- 904 名前：１３２人目の素数さん [2022/11/12(土) 13:13:40.29 ID:47O69Kl1.net]
- 1変数とn変数で同じ記号使っちゃだめなの？
- 905 名前：１３２人目の素数さん [2022/11/12(土) 13:20:56.18 ID:0it9VBFW.net]
- f(x,y)があって、y=g(x)としたときに
df/dx=∂f/∂x+∂f/∂y*dy/dx
と書けるわけですけど、df/dxと∂f/∂x区別しないと訳わからないことになりますよね
- 906 名前：１３２人目の素数さん [2022/11/12(土) 13:23:59.81 ID:oal+64Ya.net]
- >>869
そういう質問じゃあないと思うよ
- 907 名前：１３２人目の素数さん [2022/11/12(土) 13:47:30.09 ID:0it9VBFW.net]
- わからないんですね
- 908 名前：１３２人目の素数さん [2022/11/12(土) 14:20:45.92 ID:psppLueC.net]
- >>869
>>df/dxと∂f/∂x区別しないと訳わからないことになりますよね
もしかしてこれを否定されたと思った？
このこと自体は正しい。
- 909 名前：１３２人目の素数さん [2022/11/12(土) 14:27:02.25 ID:0it9VBFW.net]
- わからないんですね
- 910 名前：１３２人目の素数さん [2022/11/12(土) 14:33:39.84 ID:OsiIECCH.net]
- >>869
本筋とあんま関係ないけどこの書き方って分かりにくいよな
左辺のfが正確には一変数関数f(x,g(x))を表してるのに対して右辺の∂f/∂xや∂f/∂yのfは二変数関数を表してるから両辺でfの意味が違う
- 911 名前：１３２人目の素数さん [2022/11/12(土) 14:38:19.20 ID:HArWnKKe.net]
- >>861
e^x は例として出しただけです。
f(x) = f(0) + f'(0)*x + (f''(0)/2)*x^2 + … + (f^{(n)}(0)/n!)*x^n + (f^{(n+1)}(0)/(n+1)!)*x^{n+1} + o(x^{n+1})
は成り立たないが、
f(x) = f(0) + f'(0)*x + (f''(0)/2)*x^2 + … + (f^{(n)}(0)/n!)*x^n + + O(x^{n+1})
は成り立つという場合にも、教科書の形式に従うと、
f(x) = f(0) + f'(0)*x + (f''(0)/2)*x^2 + … + (f^{(n)}(0)/n!)*x^n + + o(x^{n+1})
などと書いてしまう人が出てきます。
- 912 名前：１３２人目の素数さん [2022/11/12(土) 14:39:21.38 ID:HArWnKKe.net]
- 訂正します：
>>861
e^x は例として出しただけです。
f(x) = f(0) + f'(0)*x + (f''(0)/2)*x^2 + … + (f^{(n)}(0)/n!)*x^n + (f^{(n+1)}(0)/(n+1)!)*x^{n+1} + o(x^{n+1})
は成り立たないが、
f(x) = f(0) + f'(0)*x + (f''(0)/2)*x^2 + … + (f^{(n)}(0)/n!)*x^n + + O(x^{n+1})
は成り立つという場合にも、教科書の形式に従うと、
f(x) = f(0) + f'(0)*x + (f''(0)/2)*x^2 + … + (f^{(n)}(0)/n!)*x^n + + o(x^{n})
などと書いてしまう人が出てきます。
- 913 名前：１３２人目の素数さん mailto:sage [2022/11/12(土) 14:45:37.88 ID:Z55pADda.net]
- そう書いてしまう人が出てくるかはわからないけど、そう間違ってしまう人がいたらその人の考えが足りなかったというだけでは。
教科書の進行上不都合が出てこないなら甘い評価で進めても問題なかろう
- 914 名前：１３２人目の素数さん [2022/11/12(土) 15:26:52.30 ID:iKYodEi8.net]
- >>874
分かりにくいって？
分かりやすくするためにこう書いているんだけど
- 915 名前：874 [2022/11/12(土) 15:39:03.66 ID:f050CcFt.net]
- >>878
一つの式の中で同じ記号を別の意味で使ってなんで分かりやすくなるんだ
- 916 名前：１３２人目の素数さん mailto:age [2022/11/12(土) 15:51:19.81 ID:ehr11irC.net]
- たまに高校生や大学1年のキッズで見かける。
y=f(x)=x^2 (について導関数を求めると…)
dy/dx = 2x (を得る。そして)
dy = 3x * dx
みたいに3行目で意味不明な操作をする人が
いるけどああいう感じの人なんだろうな。
dy/dx を分数だと思ってやがる。
(記号の見た目が似てるだけであって、分数ではない)
- 917 名前：１３２人目の素数さん mailto:age [2022/11/12(土) 15:52:53.77 ID:ehr11irC.net]
- 訂正 3行目
dy = 2x * dx
dyがあっちに行って、dxがこっちに行って…
とかいう意味不明な操作。
- 918 名前：１３２人目の素数さん [2022/11/12(土) 16:12:10.79 ID:ag9KozdJ.net]
- 微分形式表現だと思えば別に間違ってもないですけど
- 919 名前：１３２人目の素数さん [2022/11/12(土) 16:13:16.83 ID:iKYodEi8.net]
- >>879
同じモノだからさ
fという値
それがx,yに関連している2変数関数だから
∂f/∂xという記法
y=g(x)という関係も含めたらxの1変数関数だから
df/dxという記法
何を意味しているのか明瞭だから区別して書いている
- 920 名前：１３２人目の素数さん [2022/11/12(土) 16:18:51.58 ID:iKYodEi8.net]
- 大体
df/dx=∂f/∂x+∂f/∂y・dy/dx
の∂f/∂xも∂f/∂yもy=g(x)が代入されているxの1変数関数
だからこそ左辺の1変数関数（の微分である1変数関数）と
1変数関数として一致している
モチロンこれを
df(x,g(x))/dx=∂f/∂x(x,g(x))+∂f/∂y(x,g(x))・dg(x)/dx
と書くことを妨げるモノではない
- 921 名前：874 [2022/11/12(土) 16:31:32.48 ID:I3jirpBg.net]
- うーん、まあいいや
俺は>>884の最後の式みたいに書いてあった方が分かる
- 922 名前：１３２人目の素数さん mailto:age [2022/11/12(土) 16:49:51.60 ID:ehr11irC.net]
- >>882
正気か、おまえ。
- 923 名前：１３２人目の素数さん [2022/11/12(土) 17:00:40.14 ID:D+G+7nHj.net]
- わからないんですね
- 924 名前：１３２人目の素数さん mailto:sage [2022/11/12(土) 17:41:14.35 ID:VjRS2YpT.net]
- >>875
余計な仮定なしの極普通の条件「n回まで微分可そしてそれが連続」から言えるのは
f(x) = f(0) + .. + (1/n!).f⁽ⁿ⁾(0).xⁿ + o(xⁿ)
教科書は一般論を述べたいはずなのでこれでいいんです.
解析関数のように O(x^{n+1}) と書ける場合を含んでいるし
その必要があれば O で書くでしょう. これで混乱する人はもっと他の所で躓くはず
fのn階導関数が連続ならば
f(x) = f(0) + ∫[0,x] f⁽¹⁾(ξ₁) dξ₁
= f(0) + ∫ [0,x] { f¹(0) + ∫ [0,ξ₁]f⁽²⁾(ξ₂)dξ₂ } dξ₁
= f(0) + f¹(0).x + ∫ [0,x] dξ₁ ∫ [0,ξ₁] dξ₂ f⁽²⁾(ξ₂)
= f(0) + f¹(0).x + ∫∫ [0,x]² dξ² χ(0≦ξ₂≦ξ₁≦x) f⁽²⁾(ξ₂)
= f(0) + .. + ∫..∫ [0,x]ⁿdξⁿ χ(0≦ξₙ≦..≦ξ₂≦ξ₁≦x).f⁽ⁿ⁾(ξₙ)
= f(0) + .. + ∫ [0,x] dξₙ (1/(n-1)!) ∫..∫ [ξₙ,x]ⁿ⁻¹dξⁿ⁻¹ f⁽ⁿ⁾(ξₙ)
= f(0) + .. + (1/(n-1)!).∫ [0,x]dξ (x-ξ)ⁿ⁻¹{ f⁽ⁿ⁾(0) + q(ξ) } .... ( q(ξ) := f⁽ⁿ⁾(ξ) - f⁽ⁿ⁾(0) )
= f(0) + .. + (1/n!).f⁽ⁿ⁾(0).xⁿ + (1/(n-1)!).∫ [0,x]dξ (x-ξ)ⁿ⁻¹q(ξ)
|∫[0,x]dξ (x-ξ)ⁿ⁻¹q(ξ)| ≦ (xⁿ/n!).sup{0≦ξ≦x}(|q(ξ)|) = o(xⁿ)
∵ lim{x→0} sup{0≦ξ≦x}(|q(ξ)|) = 0 {f⁽ⁿ⁾(ξ)の連続性}
よって f(x) = f(0) + .. + (1/n!).fⁿ(0).xⁿ + o(xⁿ)
> f(x) = f(0) + f'(0)*x + (f''(0)/2)*x^2 + … + (f^{(n)}(0)/n!)*x^n + (f^{(n+1)}(0)/(n+1)!)*x^{n+1} + o(x^{n+1})
> は成り立たないが,
これは、あまり考えたく無い条件「f^{(n+1)}(ξ)は連続ではない」が必要になります
そういうのは必要が生じたら考えればいいだけであって記法の心配とは無縁の話でしょう
- 925 名前：888 mailto:sage [2022/11/12(土) 19:37:10.05 ID:VjRS2YpT.net]
- 訂正: 「n回まで微分可」だけでよい.
「そしてそれが連続」である必要はない.
f(x) = f(0) + .. + ∫ [0,x] dξₙ₋₁ (1/(n-2)!) ∫..∫ [ξₙ₋₁,x]ⁿ⁻²dξⁿ⁻² f⁽ⁿ⁻¹⁾(ξₙ₋₁)
= f(0) + .. + ∫ [0,x] dξₙ₋₁ (1/(n-2)!) (x-ξₙ₋₁)ⁿ⁻² f⁽ⁿ⁻¹⁾(ξₙ₋₁)
= f(0) + .. + ∫ [0,x] dξₙ₋₁ (1/(n-2)!) (x-ξₙ₋₁)ⁿ⁻² { f⁽ⁿ⁻¹⁾(0)+ f⁽ⁿ⁾(0)ξₙ₋₁ + o(ξₙ₋₁) } .... (∵ 微分の定義)
= f(0) + .. + (1/(n-1)!). f⁽ⁿ⁻¹⁾(0).xⁿ⁻¹ + (B(n-1, 2)/(n-2)!).f⁽ⁿ⁾(0).xⁿ + Rₙ(x) .... (B(a,b)はベータ関数)
= f(0) + .. + (1/(n-1)!). f⁽ⁿ⁻¹⁾(0).xⁿ⁻¹ + (1/n!).f⁽ⁿ⁾(0).xⁿ + Rₙ(x)
Rₙ(x) := (1/(n-2)!) .∫ [0,x] dξ (x-ξ)ⁿ⁻².o(ξ)
|Rₙ(x)| ≦ (1/(n-2)!) |∫ [0,x] dξ (x-ξ)ⁿ⁻².ξ. o(ξ)/ξ | ≦ (1/n!). |x|ⁿ. sup(|o(ξ)/ξ|)
lim[x→0] sup(|o(ξ)/ξ|) = 0 ∴ Rₙ(x) = o(xⁿ)
よって f(x) = f(0) + .. +(1/(n-1)!). f⁽ⁿ⁻¹⁾(0).xⁿ⁻¹ + (1/n!).f⁽ⁿ⁾(0).xⁿ + o(xⁿ)
> f(x) = f(0) + f'(0)*x + (f''(0)/2)*x^2 + … + (f^{(n)}(0)/n!)*x^n + (f^{(n+1)}(0)/(n+1)!)*x^{n+1} + o(x^{n+1})
> は成り立たないが
そんなのは存在しない
- 926 名前：１３２人目の素数さん mailto:sage [2022/11/12(土) 19:57:40.35 ID:VjRS2YpT.net]
- (追記) >>888, >>889 の証明は x ≧ 0 についてのもの
x<0 については
g(t) := f(-t) と置いて
t≧0 についての証明: g(t) = g(0) + .. + (1/n!).g⁽ⁿ⁾(0).tⁿ + o(tⁿ) より
f(-t) = f(0) + .. + (1/n!).(-1)ⁿ.f⁽ⁿ⁾(0).tⁿ + o(tⁿ) .... ∵ g⁽ⁿ⁾(t) = (-1)ⁿ. f⁽ⁿ⁾(-t)
x=-t で置き換えれば
x≦0 についての f(x) = f(0) + .. + (1/n!).f⁽ⁿ⁾(0).xⁿ + o(xⁿ) を得る.
- 927 名前：１３２人目の素数さん [2022/11/12(土) 20:46:07.40 ID:PWYQ/msE.net]
- >>889
『余計な仮定』ということについて疑問がありますけど, テイラーの公式:
f(a+h) = f(a) + Df(a)(h) + ・・・(1/n!) D^n f(a)(h^n) + o(|h|^n)
は, f が a の近傍で n-1 回微分可能で, D^{n-1}f が
点 a でのみ微分可能であっても成り立つのではないですか？
- 928 名前：１３２人目の素数さん [2022/11/12(土) 21:16:30.78 ID:2eB0J2sg.net]
- ソリャそうだ
- 929 名前：１３２人目の素数さん [2022/11/12(土) 21:45:48.86 ID:rB7flw++.net]
- 沙羅双樹
- 930 名前：１３２人目の素数さん [2022/11/12(土) 23:56:09.15 ID:noIkKf8g.net]
- dfとDfならdfが主流？
|
 |
