- 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/
- 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が主流？
- 931 名前：１３２人目の素数さん mailto:sage [2022/11/13(日) 00:01:54.43 ID:8JuPYBWp.net]
- 接空間の間に誘導される抽象的な写像の意味での微分についてはdfの方が一般的な気がする
- 932 名前：１３２人目の素数さん [2022/11/18(金) 15:34:51.84 ID:Ek2LZ9cy.net]
- G/Φ(G)が巡回群ならGは巡回群である。
Φ(G):フラッチニ部分群
よろしくお願いします。
- 933 名前：１３２人目の素数さん [2022/11/18(金) 19:43:47.70 ID:3nUcDPGY.net]
- lim sup_{D∋z → 1} |f(z)|の定義は何
- 934 名前：ですか？ []
- [ここ壊れてます]
- 935 名前：１３２人目の素数さん mailto:sage [2022/11/18(金) 19:51:10.99 ID:h1p4weZH.net]
- あった
https://groupprops.subwiki.org/w/index.php?title=Cyclic_Frattini_quotient_implies_cyclic&mobileaction=toggle_view_desktop
- 936 名前：１３２人目の素数さん [2022/11/18(金) 19:56:21.44 ID:JuebbEhF.net]
- >>896
x∈G-Φ(G)とするとxとΦ(G)でGを生成するけどΦ(G)は生成系から取り除けるのでxで生成されるってんじゃないの？
- 937 名前：１３２人目の素数さん mailto:sage [2022/11/18(金) 21:47:38.79 ID:me8PpwxB.net]
- >>896
G/Φ(G) の生成元の代表元の一つをgとしてgで生成される部分群Hを考える。
G=Hでないとすると、Hを含むGの極大部分群はΦ(G)とgを共に含むことからGと一致することになって矛盾。
- 938 名前：１３２人目の素数さん mailto:sage [2022/11/18(金) 21:54:33.78 ID:FydCEdUH.net]
- 補題 x∈φ(G),S⊂G,<{x}∪S> → <S> = G
(∵) <S>≠Gなら極大部分群Mを<S>⊂Mとなるようにとれる
x∈Mだから<{x}∪S>⊂M □
系 φ(G)が有限生成、S⊂G、<{sφ(G) | s∈S}> = G/φ(G) → <S>=G
(∵) 補題を用いてφ(G)の生成元の個数についての帰納法□
系 φ(G)が有限生成、G/φ(G)が巡回群→Gが巡回群
- 939 名前：１３２人目の素数さん mailto:sage [2022/11/19(土) 07:19:49.93 ID:4Ksz2N/Y.net]
- >>899-901
どうもありがとうございました。
ちょっと私の頭がボケていました。
- 940 名前：１３２人目の素数さん [2022/11/19(土) 10:18:48.95 ID:E9ryBNT0.net]
- 関数の上極限が教科書に書いてないのはなぜですか？
- 941 名前：１３２人目の素数さん [2022/11/19(土) 10:31:14.47 ID:+73shWYA.net]
- その教科書のレベルが低いからです
- 942 名前：１３２人目の素数さん [2022/11/19(土) 11:29:33.01 ID:E9ryBNT0.net]
- 関数の上極限が書いてある本の例をあげてください。
- 943 名前：１３２人目の素数さん mailto:sage [2022/11/19(土) 14:06:14.27 ID:jsOadLPr.net]
- 解析概論とかなら載ってるんじゃない？知らんけど。
載ってない微積の教科書探す方が難しい気がするが。
- 944 名前：１３２人目の素数さん [2022/11/19(土) 14:24:55.19 ID:E9ryBNT0.net]
- 解析概論、杉浦、小平
書いていませんね。
- 945 名前：１３２人目の素数さん mailto:sage [2022/11/19(土) 14:39:46.31 ID:jsOadLPr.net]
- 実数列の上極限と実関数の極限は定義されているけど、って意味だったりする？
- 946 名前：１３２人目の素数さん [2022/11/19(土) 14:45:16.12 ID:E9ryBNT0.net]
- 「実数列の上極限と実関数の極限」の定義はもちろん書いてあります。
- 947 名前：１３２人目の素数さん [2022/11/19(土) 14:51:18.34 ID:E9ryBNT0.net]
- 野村隆昭著『複素関数論講義』
奇妙なことですが、複素関数が連続であることの定義は書いてあるのですが、複素関数の極限の定義が書いてありません。
そして、いきなり複素関数の微分の定義が書いてあります。
著者が亡くなってしまっているので、連絡できないのが残念です。
- 948 名前：１３２人目の素数さん mailto:sage [2022/11/19(土) 15:05:34.53 ID:jsOadLPr.net]
- >>909
じゃあいいじゃん
その二つの定義わかっていれば実関数の上極限くらい定義できるでしょ
それで二通り以上の定義の仕方が思いついたがどちらを採用すべきか、とかならそのように具体的に質問すべき
- 949 名前：１３２人目の素数さん [2022/11/19(土) 15:39:47.13 ID:E9ryBNT0.net]
- >>911
それでは、数列の極限が定義されていれば、関数の極限の定義は自分で定義できるから不要ということでしょうか？
- 950 名前：１３２人目の素数さん [2022/11/19(土) 16:26:36.84 ID:gYjtdFdQ.net]
- 当然そうはならない
- 951 名前：１３２人目の素数さん mailto:sage [2022/11/19(土) 16:29:00.47 ID:Z2rwBay6.net]
- >>907
書いてある。
- 952 名前：１３２人目の素数さん [2022/11/19(土) 16:33:00.76 ID:gYjtdFdQ.net]
- >>907
書いてあるそうだ
- 953 名前：１３２人目の素数さん [2022/11/19(土) 17:00:50.63 ID:kRCAsDBm.net]
- 書いてあるなしはどうでも良くね？
必要あるなら書くし
無ければ書かないかあるいは書くてだけ
- 954 名前：１３２人目の素数さん [2022/11/19(土) 18:05:46.34 ID:gYjtdFdQ.net]
- どうでもよくないのは
ウソをついているかどうか
- 955 名前：１３２人目の素数さん [2022/11/19(土) 20:52:43.03 ID:upZ/9WVw.net]
- >>910
>複素関数の極限の定義
本を持っていないからなんとも言えないけど、複素関数列の極限の意味ですか？
>>912
関数の列や、もっと一般にフィル
- 956 名前：ターづけられた関数族の極限は、
その関数が属する関数空間にどんな位相を入れるかで、扱い方が異なります。
単に数列の極限を知っているからといって、関数列の極限を自力て書けるかどうかというと、
初学者には厳しいのではないでしょうか。 [] - [ここ壊れてます]
- 957 名前：１３２人目の素数さん [2022/11/19(土) 21:01:53.83 ID:E9ryBNT0.net]
- >>918
「複素関数の極限の定義」についてですが、『複素関数論講義』には、
lim_{z→a} f(z) = A
の定義が書いてありません。
一方、
lim_{z→a} f(z) = f(a) の定義は書いてあります。
そこが奇妙だと思います。
- 958 名前：１３２人目の素数さん [2022/11/19(土) 21:07:11.94 ID:upZ/9WVw.net]
- >>919
本の不備を論うことそのものが目的でないならば、お答えします。
lim_{z→a} f(z) = A
の定義は、任意の正数 ε に対し, 正数 δ が存在し, |z-a| < δ なる任意の複素数 z に対し,
|f(z) - A| < ε となることです。
これは、正確には、関数の極限ではなく、関数『による』極限です。
- 959 名前：１３２人目の素数さん [2022/11/19(土) 21:45:39.50 ID:X0cNy/6h.net]
- >>920
>>|z-a| < δ なる任意の複素数 z に対し,
「0<|z-a| < δ なる任意の複素数 z に対し」にしないと
導関数の定義が書きにくいのでは？
- 960 名前：１３２人目の素数さん mailto:sage [2022/11/19(土) 22:26:52.99 ID:MpF5zjRB.net]
- >>912
数列の極限の定義から関数f(x)のx→aのとき極限の定義を想像しようとすると、ある収束列x_n→aを取って考えれば十分なのか全て考えなくてはならないのか、x_n=aとなるようなnがあって良いのか、といった点で(読者によっては)疑問が生じる
今考えている問題に比べるときちんと定義を書いてしかるべき問題だと思う
- 961 名前：１３２人目の素数さん [2022/11/19(土) 22:28:22.55 ID:kRCAsDBm.net]
- >>921
分母になるから？
0のときは除外で
- 962 名前：１３２人目の素数さん [2022/11/19(土) 23:08:15.52 ID:X0cNy/6h.net]
- こんなところに気を遣うのは嫌だけどね
|
 |
