17/01/06 10:37:50.31 37PflW+w.net
コンパクトなどの位相を提唱した人は誰ですか？
3:１３２人目の素数さん
17/01/06 11:34:31.38 lmaUe1pT.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑の赤線を引いたところは、以下であっていますか？
S_n*(p+q) → log(2) + (1/2)*log(p/q) (n→∞)
n*(p+q) ≦ m < (n+1)*(p+q) とすると、
min{S_n*(p+q), S_(n+1)*(p+q)}
≦
S_m
≦
S_n*(p+q) + 1/(2*(n*p+1)-1) + … + 1/(2*(n+1)*p-1)
≦
S_n*(p+q) + p/(2*(n*p+1)-1)
が成り立つ。
ε を任意の正の実数とする。
n ≧ n1 ならば、 log(2) + (1/2)*log(p/q) - ε < S_n*(p+q)
n ≧ n2 ならば、 S_n*(p+q) < log(2) + (1/2)*log(p/q) + ε/2
n ≧ n3 ならば、 p/(2*(n*p+1)-1) < ε/2
となるような n1, n2, n3 が存在する。
n0 := max{n1, n2, n3} とおく。
n ≧ n0 ならば、
S_n*(p+q) + p/(2*(n*p+1)-1) < log(2) + (1/2)*log(p/q) + ε
log(2) + (1/2)*log(p/q) - ε < S_n*(p+q)
が成り立つ。
m0 := (n0-1)*(p+q) とする。
m ≧ m0 とすれば、 (n4-1)*(p+q) ≦ m < n4*(p+q) となるような
n4 ≧ n0 が存在する。
log(2) + (1/2)*log(p/q) - ε
<
min{S_n4*(p+q), S_(n4+1)*(p+q)}
≦
S_m
≦
S_n4*(p+q) + p/(2*(n4*p+1)-1)
<
log(2) + (1/2)*log(p/q) + ε
これは、
S_m → log(2) + (1/2)*log(p/q) (m→∞)
が成り立つことを示す。
4:１３２人目の素数さん
17/01/06 12:02:43.20 lmaUe1pT.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑の2枚目の赤線を引いたところの式ですが、
ln(3)
= 1 + (-1/2 - 1/4 - 1/6 - 1/8 + 1/3 + 1/5 + 1/7 + 1/9 + 1/11 + 1/13 + 1/15 + 1/17 + 1/19) + …
みたいな並べ方じゃなぜ駄目なんですか？
5:１３２人目の素数さん
17/01/06 12:08:07.39 lmaUe1pT.net
>>4
プラスの項とマイナスの項の入れ方がなぜ、
+ - + + - + + - + + - + +
なのでしょうか？
6:１３２人目の素数さん
17/01/06 16:48:37.10 lmaUe1pT.net
徹底入門 解析学
梅田 亨
固定リンク: URLﾘﾝｸ(amzn.asia)
齋藤正彦 数学講義 行列の解析学
齋藤正彦
固定リンク: URLﾘﾝｸ(amzn.asia)
7:１３２人目の素数さん
17/01/06 18:03:28.70 XPhYoKHI.net
8スレ目？
前スレ？
大学学部レベル質問スレ 7単位目 [無断転載禁止]©2ch.net
ｽﾚﾘﾝｸ(math板)
8:１３２人目の素数さん
17/01/06 18:05:28.57 pfPvt+9l.net
こっちは青天井だから全然別物
9:１３２人目の素数さん
17/01/06 18:06:40.49 XPhYoKHI.net
じゃあこっちでやれ
分からない問題はここに書いてね423 [無断転載禁止]©2ch.net
ｽﾚﾘﾝｸ(math板)
10:１３２人目の素数さん
17/01/07 19:18:40.49 cNsBhFw/.net
別物ですね。
11:１３２人目の素数さん
17/01/07 23:55:33.23 tt0ZR5bU.net
俺様ですね
12:１３２人目の素数さん
17/01/07 23:57:45.43 NUlqzsYQ.net
ところで、このスレの質問は誰が答えるんだろう
13:１３２人目の素数さん
17/01/08 00:07:46.08 hL+HUIjC.net
ひとり語りなので答えは不要
14:１３２人目の素数さん
17/01/08 00:12:10.52 45W6g/ki.net
空集合から空集合の写像が出来るので、線形性は成立する場合、元がないと証明できないというのは間違いですよね？
15:１３２人目の素数さん
17/01/08 00:13:45.97 hL+HUIjC.net
おまえがそうおもうならそうだよ
16:１３２人目の素数さん
17/01/08 00:20:37.85 45W6g/ki.net
斎藤毅さんの本には書いてあって、自分の大学の先生に聞いたらそんなの知らないと言われました。集合・位相担当の教員なのに。
>>15
ありがとうございました
17:１３２人目の素数さん
17/01/08 00:34:03.44 Tzykr4Oo.net
そもそもベクトル空間から空集合は除外してるでしょ
その上で定義される空写像も然り
18:１３２人目の素数さん
17/01/08 00:42:29.35 vZWSqpGJ.net
位相空間の本で、わざわざ台集合が空でないことを位相空間の定義に含めることがあるけど、
そのせいで定理の細かい条件を増やすだけで、何もメリットないんだよな
19:１３２人目の素数さん
17/01/08 01:47:09.21 Tzykr4Oo.net
え……そんな本あんのかよｗｗｗｗｗｗ
20:１３２人目の素数さん
17/01/08 08:10:00.54 45W6g/ki.net
確か他の本にも書いてあったぞ。ブルバキとかもそうだったかも。
逆に松坂とかの本で勉強すると、空である時の議論は一切放棄してるので勘違いが生まれるところ。
21:１３２人目の素数さん
17/01/08 08:30:05.67 h9TuFdtN.net
空であるときにどうこうというのは、本質的に重要なんですか？
多分、重要じゃないんですよね。
重箱の隅のようなどうでもいい話ですよね？
22:１３２人目の素数さん
17/01/08 10:00:52.50 hL+HUIjC.net
分からないのですか？
23:１３２人目の素数さん
17/01/08 11:13:17.59 9PTtmQA3.net
圏に始対象が存在するかどうかが重箱の隅だと思うならそれでいいよ
24:１３２人目の素数さん
17/01/08 13:08:47.31 nToamyTH.net
ベクトル空間の始対象って{0}？
25:１３２人目の素数さん
17/01/08 13:21:54.85 JkfdGeHC.net
係数体Kをfixした上で、K-ベクトル空間の圏ならそうだよ
26:１３２人目の素数さん
17/01/08 13:34:39.98 45W6g/ki.net
よかった。大学教授より博識な人がいて安心です。皆さんありがとうございました
27:１３２人目の素数さん
17/01/08 18:42:18.66 gvWE9onZ.net
うんこうんこ
28:１３２人目の素数さん
17/01/10 21:23:49.53 A0CaNSjv.net
計算量クラスについて勉強したいのですが、
素人でも分かる参考書ありますか？
PとかNPとかPSPACEとかIPとかの用語を理解できる本を探してます
29:１３２人目の素数さん
17/01/10 21:55:35.79 Fj2MrZsE.net
Introduction to the Theory of Computation
Michael Sipser
固定リンク: URLﾘﾝｸ(amzn.asia)
はどうですか？
30:１３２人目の素数さん
17/01/11 07:46:25.08 y31fTOJP.net
ありがとうございます
ただ趣味で読む程度なんで、和書で簡単なのが欲しいんです…
31:１３２人目の素数さん
17/01/12 09:59:08.93 UkE+d8kx.net
Λを非可算な添数集合とし, {f_λ(z);λ∈Λ}を解析関数とする(D_λ⊂C∪{∞}を領域とし,f_λ:D_λ→C∪{∞}は有理型関数(∀λ∈Λ))。
この時,∀λ,μ∈Λ(λ≠μ)に対してD_1:=D_λ,D_m:=D_μとし({1,2,…,m}⊂Λ (m∈N)),
f_2は連結成分⊿_1⊂D_1∩D_2にてf_λの直接接続,
f_3は連結成分⊿_2⊂D_2∩D_3にてf_2の直接接続,
:
f_μは連結成分⊿_{m-1}⊂D_{m-1}∩D_mにてf_{m-1}の直接接続.
となるような有限個の領域の列D_1,D_2,…,D_mが必ず採れる事はどうすれば示せますか?
32:１３２人目の素数さん
17/01/12 12:58:56.60 RndAw3Ac.net
問題を正しく書け
33:１３２人目の素数さん
17/01/12 13:16:11.54 UkE+d8kx.net
> 32
正しく書いとりますが。。
34:１３２人目の素数さん
17/01/12 13:55:22.40 gF68o7Ve.net
複素関数論講義
野村 隆昭
固定リンク: URLﾘﾝｸ(amzn.asia)
↑この本はどうですか？
函数論 (上巻)
竹内 端三
固定リンク: URLﾘﾝｸ(amzn.asia)
↑この本は志村五郎の『参考文献』ということのようですが、
いい本なんですか？
35:１３２人目の素数さん
17/01/12 15:01:59.81 BzeRDjcy.net
ゴミ
36:１３２人目の素数さん
17/01/12 16:34:08.10 BzeRDjcy.net
埋
37:１３２人目の素数さん
17/01/12 16:34:31.82 BzeRDjcy.net
埋
38:１３２人目の素数さん
17/01/12 16:34:59.70 BzeRDjcy.net
埋
39:１３２人目の素数さん
17/01/12 17:50:31.67 1+X5j1lf.net
>>34
竹内端三の函数論は良い教科書だと思う
40:１３２人目の素数さん
17/01/12 19:16:53.83 gF68o7Ve.net
>>34
そうですか。ありがとうございました。
函数論〈上〉 (数学全書)
辻 正次
固定リンク: URLﾘﾝｸ(amzn.asia)
これはどうですか？
なんか昔の本のほうが細かいことも丁寧に書いてありますよね。
41:１３２人目の素数さん
17/01/12 19:29:12.09 dnKFCFce.net
URLﾘﾝｸ(youtu.be)
42:１３２人目の素数さん
17/01/12 22:53:46.59 gllxSwGJ.net
なんでアールフォルスを選ばないの？
万人おすすめの教科書だよ。
43:１３２人目の素数さん
17/01/12 23:03:50.73 gF68o7Ve.net
>>42
楕円関数論は書いてありますか？
44:１３２人目の素数さん
17/01/12 23:33:53.63 +/VtZuBT.net
あるよ
45:１３２人目の素数さん
17/01/13 14:47:48.80 ENqX5HYH.net
f(x, y) = x + y - tan(x*y)
(1) (0, 0) の近くで f(x, y) = 0 から y = φ(x) と解けることを示せ。
(2) (1) の φ について、
φ'(0)
φ''(0)
φ^(3)(0)
φ^(4)(0)
φ^(5)(0)
φ^(6)(0)
を求めよ。
また、
φ(x) - [-x/(1-x)] = o(x^5) (x → 0)
であることを示せ。
URLﾘﾝｸ(imgur.com)
↑は、 φ(x) と -x/(1-x) のグラフを -0.99 ≦ x ≦ 0.99 の範囲で描いたものです。
よい精度で近似できていることが分かります。
46:１３２人目の素数さん
17/01/13 14:49:12.36 ENqX5HYH.net
>>43
そうなんですか。
でも堀川穎二がアールフォルスは古いとか書いていました。
47:１３２人目の素数さん
17/01/13 16:02:39.72 n1evP0YR.net
よかった
48:ね
49:１３２人目の素数さん
17/01/13 19:01:16.50 ENqX5HYH.net
齋藤正彦 数学講義 行列の解析学
齋藤正彦
固定リンク: URLﾘﾝｸ(amzn.asia)
50:１３２人目の素数さん
17/01/13 23:26:31.79 I9elmAwH.net
あちこちのスレで宣伝しているようだが、
ゼミ生のバイトか何かか？
51:１３２人目の素数さん
17/01/14 00:47:52.73 mALd2625.net
計算機科学と計算幾何学はどっちのほうがオモロイですか？
52:１３２人目の素数さん
17/01/14 04:40:15.41 +CCVNe0u.net
運営の頑張り実らず
過疎化進行乙
53:１３２人目の素数さん
17/01/14 12:46:11.26 wGBKlfn5.net
本人じゃね？
54:１３２人目の素数さん
17/01/14 12:47:11.39 w3wdUTP4.net
アホスレにいるぞ
複素関数論複素解析函数論 [無断転載禁止]©2ch.net
ｽﾚﾘﾝｸ(math板)
55:１３２人目の素数さん
17/01/15 01:06:47.87 8NwjxVoC.net
アホスレにこそふさわしい。
56:１３２人目の素数さん
17/01/15 05:15:09.88 684jcJgB.net
一次変換で図形の面積が|det(A)|倍になるって、いつ習ったっけ？
線型代数だろうと思って、手元の本を開いたけど載ってない。
57:１３２人目の素数さん
17/01/15 11:34:47.61 e7thGiiM.net
証明なら三角化で出来るが三角化ってどこで出たっけ
58:１３２人目の素数さん
17/01/15 11:44:38.66 684jcJgB.net
面積が|det(A)|倍になるのは2次の一次変換のときだけだね。
59:１３２人目の素数さん
17/01/15 11:46:28.01 684jcJgB.net
いろいろ調べてみたら、高校のときに買ったモノグラフ「行列」に載ってた。
2次行列の一次変換のときにしか成り立たないから、大学以降の線型代数の本をいくら探しても載ってなかったのかな？
60:１３２人目の素数さん
17/01/15 12:53:42.47 3g/ZaLbv.net
こういう幾何的なイメージをちゃんと解説してある教科書ってないよね
61:１３２人目の素数さん
17/01/15 13:24:04.39 eOevt979.net
>>59
プログラミングのための線形代数
平岡 和幸
固定リンク: URLﾘﾝｸ(amzn.asia)
に強調して書いてあります。
線型代数学
足助 太郎
固定リンク: URLﾘﾝｸ(amzn.asia)
には、かなりちゃんと書いてあります。
62:１３２人目の素数さん
17/01/15 13:33:11.78 eOevt979.net
熊原啓作さんが大学時代に勉強した解析の本：
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
河添健さんが大学時代に勉強した解析の本：
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
63:１３２人目の素数さん
17/01/16 00:37:52.10 OyXKia+2.net
この4問がどう変形すればいいのか全くわかりません。
途中までやヒントを是非いただきたいです。
よろしくお願い致します。
URLﾘﾝｸ(s1.gazo.cc)
64:１３２人目の素数さん
17/01/16 02:30:16.09 DvQGJi9Q.net
>>62
wolframalpha を知らんのか
こいつにぶち込んで結果を微分すればヒントが得られる
URLﾘﾝｸ(www.wolframalpha.com)'-y%3D(x%2B1)y%5E2
65:１３２人目の素数さん
17/01/16 07:58:12.44 kWNzgd1Z.net
量子化学でHartreeの「self-consistent field法」(自己無同着場の方法、SCF法)ってあるけど
あれをプログラミングで解く場合、どのようにプログラムすれば良いんでしょうか？
66:１３２人目の素数さん
17/01/16 10:03:46.59 O37mREuc.net
Combined Answer Book For Calculus Third and Fourth Editions
by Michael Spivak
Link: URLﾘﾝｸ(a.co)
↑の本を注文しました。
スピヴァックのCalculusは1変数だけですが、いい本ですね。
67:１３２人目の素数さん
17/01/16 10:20:13.77 Wzq0i7KP.net
>>64
化学板で聞け
68:１３２人目の素数さん
17/01/16 10:21:22.24 O37mREuc.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑ルベーグ積分って習得するのに3年もかかるんですか？
そんなに難しいアイディアだとは思えないのですが。
69:１３２人目の素数さん
17/01/16 11:41:54.80 OyXKia+2.net
>>63
やってみたんですけど
分配した後にいきなり解がでてきてるんですが、間の式ってどうなってるんでしょうか？
URLﾘﾝｸ(s1.gazo.cc)
70:１３２人目の素数さん
17/01/16 11:47:27.19 +viXJ8tP.net
>>67
どの本からの引用？ 面白いこと書いてるね
71:１３２人目の素数さん
17/01/16 12:47:09.93 O37mREuc.net
>>69
↓の本の序文です。
微分積分学入門第四課
一松 信
固定リンク: URLﾘﾝｸ(amzn.asia)
72:１３２人目の素数さん
17/01/16 13:12:44.35 lNFSfYSs.net
大学でルベーグ積分を自主ゼミしたけど数ヶ月で終わったがなー
就職後何年も経ってから思い出してみたら完璧再生！さすが自主ゼミだぜ
73:１３２人目の素数さん
17/01/16 14:48:32.82 +BgG3ngE.net
>>64
量子化学の話題はこのスレで MP8
ｽﾚﾘﾝｸ(bake板:927番)
74:１３２人目の素数さん
17/01/16 18:27:35.66 O37mREuc.net
以前も質問したのですが、
f(x, y) が C^n 級であることの定義ですが、
n 階までの偏導関数がすべて存在して、
n 階の偏導関数が連続であるとき、 C^n 級
であるという。
とは定義せず、
n 階までの偏導関数がすべて存在して、
それらがすべて連続であるとき、 C^n 級
であるという。
と定義するのはなぜですか？
75:１３２人目の素数さん
17/01/16 18:28:49.58 O37mREuc.net
無駄を嫌う数学者がなぜ前者の定義を採用するのか分かりません。
76:１３２人目の素数さん
17/01/16 18:29:17.78 O37mREuc.net
訂正します：
無駄を嫌う数学者がなぜ後者の定義を採用するのか分かりません。
77:１３２人目の素数さん
17/01/16 19:05:27.93 Trg5rizL.net
マルチ
78:１３２人目の素数さん
17/01/16 19:25:36.97 +viXJ8tP.net
マルチといえば、これを思い出す
＿ , '⌒ ⌒＼
＼＼ ﾉ// ﾍﾍ､
'(○) ｜｜|)､ ∧∧ ／￣￣￣￣￣￣￣￣
' 'へ゛ーノ ( ﾟДﾟ) ＜ 捕まっちまった！
( ￣￣￣《目 ⊃ ＼＿＿＿＿＿＿＿＿
| ー＝＝《目|
|＿＿| | |
|_|_|_|_| 丿UU
|__|_|
| ｜|
|__|__|
79:１３２人目の素数さん
17/01/16 19:26:34.04 OpwI9Isz.net
>>73
またお前か死ねよ
80:１３２人目の素数さん
17/01/17 12:48:54.94 z534gkuM.net
感想馬鹿は放置
81:１３２人目の素数さん
17/01/18 07:38:49.86 8CktZipe.net
>>66
化学板じゃ、実験しかできない有機合成馬鹿とか
生物系の馬鹿しかいないんで、こっちで聞きました
82:１３２人目の素数さん
17/01/18 09:58:03.47 w0qLY+qM.net
>>80
答えは既に聞いたので終了
83:１３２人目の素数さん
17/01/18 20:57:33.83 E8UTSJc8.net
集合論の問題です。
正則性公理(別名:基礎の公理) と他の適当な公理を使って
x_1 ∈ x_2 ∈ x_3 ∈ ... ∈ x_k ∈ x_1
と循環するような集合 x_1,...,x_k は存在しない事を示してください。
k=1 の時は z = {x_1} (対の公理)
k=2 の時は z = {x_1, x_2} (対の公理)
の集合の存在から 正則性公理 と矛盾する事が分かりました。
k≧3 については何も思いつきませんでした。
対の公理 からは {x, y, z} みたいなのは直接には作れませんよね？
84:82
17/01/19 09:47:23.52 +4HKk5Tr.net
和集合の公理 (と対の公理) を使えば普通に
z = { x_1, x_2, ..., x_k }
が作れて正則性公理と矛盾しますね...。アホな質問を書いてしまいました。
85:１３２人目の素数さん
17/01/19 12:31:45.18 UoXY1Hqr.net
感想馬鹿は放置
86:１３２人目の素数さん
17/01/19 19:11:44.05 3/vb7+6S.net
深谷賢治さんが多変数の微分積分で扱われる逆写像定理について、
完全に理解できるようになるのは、大学院生になってからだと書いて
います。
そんなに難しいんですか？
87:１３２人目の素数さん
17/01/19 20:11:46.65 3/vb7+6S.net
河東泰之とかいう人が数学の学び方について書いていますが、
厳しい人ですね。
88:１３２人目の素数さん
17/01/19 20:23:09.33 98YJz1v3.net
実績のある人の話なら…
89:１３２人目の素数さん
17/01/19 22:50:29.98 afkWerJi.net
低脳は気にしなくていい
90:１３２人目の素数さん
17/01/20 11:55:44.74 osLjk4Xn.net
書くだけで賢くなれる気がするんだろ
91:１３２人目の素数さん
17/01/20 14:33:17.87 w3rhUBOw.net
南国の香りがするトロピカル幾何の解説本はありますか？
92:１３２人目の素数さん
17/01/20 18:28:48.64 z3dG95YU.net
Wikipediaにリンクがある。
数学セミナーのバックナンバーに
「超離散化」の特集もあったはず。
93:１３２人目の素数さん
17/01/24 18:12:48.04 QVKqeEcd.net
【数学・統計モメン集まれ】 将棋・竜王戦。三浦九段出場見送りの判断は妥当との論説。 これがベイズの定理だ！ 7]
ｽﾚﾘﾝｸ(poverty板)
94:１３２人目の素数さん
17/01/24 21:47:06.69 3thvekCx.net
基礎解析なんですが
f=(xy)＾(1/3)の原点での連続性を探るために全微分可能性を考えるんだが
その際にxとyで原点について偏微分をしないといけない
この方針でとりあえずxとyの偏微分の値が出したいんですが助けてください
95:１３２人目の素数さん
17/01/24 22:16:24.51 qYXk3oq5.net
手
96:１３２人目の素数さん
17/01/24 22:54:57.51 y5TMM47o.net
Borel可測空間(R,B)上の有界測度μを考えた時に
任意のBの元Λに対してμ(K_n Δ Λ)→0となる区間塊の列{K_n}が取れる。ということが藤田宏 関数解析 383ページに書いてあるのですがうまく証明が与えられません。わかる方いましたら教えていただけないでしょうか。
97:１３２人目の素数さん
17/01/24 23:00:44.72 qYXk3oq5.net
測度論知らないと言われても
98:１３２人目の素数さん
17/01/24 23:03:07.63 y5TMM47o.net
>>96
ルベーグ測度ならいけそうなのですが、外測度から与えられた測度というわけでもないのでどのように近似列を構成したら良いか検討がつきません。
99:１３２人目の素数さん
17/01/24 23:06:07.25 qYXk3oq5.net
実数上だろ
100:１３２人目の素数さん
17/01/24 23:10:06.33 y5TMM47o.net
>>98
実数上の有界測度の場合特有のこの場面でつかうことのできる何か良い性質があるということですか？
差し出がましいのですが私はあまり頭が良くないのでもう少し具体的にご教示いただけると幸いです。
101:１３２人目の素数さん
17/01/24 23:26:59.40 qYXk3oq5.net
めんどくせーから教科書読めよ
102:１３２人目の素数さん
17/01/24 23:31:25.70 y5TMM47o.net
>>100
手元にある伊藤先生の本には該当するような命題を見つけることはできませんでした。差し支えなければこの主張に関する記述のある本を教えていただけると嬉しいです。
103:１３２人目の素数さん
17/01/24 23:33:00.56 qYXk3oq5.net
めんどくせー
104:１３２人目の素数さん
17/01/24 23:35:48.99 y5TMM47o.net
無知の知
105:１３２人目の素数さん
17/01/24 23:36:04.45 N4fIqqfl.net
めんどくせーと言いつつ一々反応するあたり、ただ知らないだけなんだろうな
106:１３２人目の素数さん
17/01/24 23:36:50.19 qYXk3oq5.net
笑
107:１３２人目の素数さん
17/01/24 23:37:20.13 qYXk3oq5.net
>>104
どうぞどうぞ
108:１３２人目の素数さん
17/01/24 23:42:04.92 N4fIqqfl.net
>>99と>>100の時間差
大方、ルベーグ測度と勘違いしていた失態を誤魔化す方法を考えていたんだろうな
109:１３２人目の素数さん
17/01/24 23:42:16.02 qYXk3oq5.net
>>104
大志をいだけ
110:１３２人目の素数さん
17/01/24 23:43:31.00 qYXk3oq5.net
>>107
答えになってないぞ
111:１３２人目の素数さん
17/01/24 23:44:44.77 qYXk3oq5.net
>>107
なにこいつ
112:１３２人目の素数さん
17/01/24 23:46:19.03 qYXk3oq5.net
>>107
ボレル測度って何？
113:１３２人目の素数さん
17/01/24 23:48:43.13 qYXk3oq5.net
>>107
逃げたの？
114:１３２人目の素数さん
17/01/24 23:50:09.21 qYXk3oq5.net
>>107
ボレル集合って何？
115:１３２人目の素数さん
17/01/24 23:55:17.51 N4fIqqfl.net
面倒くさがりのID:qYXk3oq5が俺に対してはこれほど熱心にアプローチする
元々の相手ID:y5TMM47oを差し置いて、なんだか悪い気がするな
116:１３２人目の素数さん
17/01/24 23:56:43.21 qYXk3oq5.net
答える気はないといってるだろう
117:１３２人目の素数さん
17/01/24 23:58:21.43 N4fIqqfl.net
そっか、面倒くさいから答える気はないんだ
他人に対して質問攻めにはするのにね
118:１３２人目の素数さん
17/01/25 00:01:20.88 hNQwPTtT.net
喧嘩しけるからから相手しただけだが
119:１３２人目の素数さん
17/01/25 00:02:32.83 hNQwPTtT.net
ぴろちの関数解析はお前には無理、ということだ
120:１３２人目の素数さん
17/01/25 00:03:14.12 9FjFpqS2.net
>>93
偏微分の定義に従えば共に0となります。
ただこの場合結果として全微分は可能とならないので、その方針によって連続性の判定はできません。
間違ったことを書いていたら申し訳ありません。
121:１３２人目の素数さん
17/01/25 00:07:03.16 hNQwPTtT.net
連続性を微分して判定する馬鹿に反応する馬鹿
122:１３２人目の素数さん
17/01/25 00:08:15.80 9FjFpqS2.net
>>120
プライドの高さと実力の見合わない人間のなんと哀れなことでしょうか。
123:１３２人目の素数さん
17/01/25 00:09:08.45 hNQwPTtT.net
煽っても煽っても教えません
124:１３２人目の素数さん
17/01/25 00:17:45.14 EQcrK1jo.net
昨日も今日も煽っているのは自分だということに気付いていないらしい
125:１３２人目の素数さん
17/01/25 00:18:28.08 hNQwPTtT.net
IDコロコロ
126:１３２人目の素数さん
17/01/25 13:08:49.85 Q0KjuT8d.net
荒らしをかまうのも荒らし
127:１３２人目の素数さん
17/01/29 20:25:10.26 axRMCu6y.net
F(x,y)がC^2級でF_y(x,y)≠0のとき，F(x,y)=0で定まる陰関数y=f(x)の2導関数は
d^2y/dx^2= -(F_y^2F_xx-2F_xF_yF_xy+F_x^2F_yy)/F_y^3
と書ける．
dy/dx=-F_x/F_yを単純に微分すればよいと思ったのですが
上式と一致しません．どうしたらよいのですか？
128:１３２人目の素数さん
17/01/29 20:35:20.72 M/JCeOgn.net
複雑に微分してみるとか
129:１３２人目の素数さん
17/01/29 20:43:50.75 axRMCu6y.net
>>126
解決しました
130:１３２人目の素数さん
17/01/30 21:32:54.63 9+bKP1Xd.net
ガロア理論って何のためにやるんですか？？！！
方程式が解けるとか解けないとか、作図ができるとかできないとか、
とっくに完全解決されてますよね？！？！？！？！
131:カマトト
17/01/30 21:42:22.10 f5ym1WlW.net
ガロア群の理解と新たな分野の探索の重要な手法なんだよ
いろんな概念を見ることができる。
132:不動点定理
17/01/30 22:02:28.39 f5ym1WlW.net
連続性を微分して判定する馬鹿に反応する馬鹿 に反応する馬鹿 に反応する馬鹿 に反応する馬鹿
133:１３２人目の素数さん
17/01/30 22:06:39.91 3ojNFaVo.net
大体、そんなこと言ってたら線形代数だって元々はただの連立方程式を解くために研究された(生まれた)ものだ
今さら具体的な方程式を解く(ガロア理論なら可解性を調べる)ことに興味がなくとも、だからと言って線形代数(ガロア理論)をやる必要性がなくなったわけではない
134:１３２人目の素数さん
17/01/30 22:18:41.38 kJujalsE.net
別にそんな将来の可能性なんて持ち出さずとも、代数的整数論でごく普通に使われてるっての
135:カマトト
17/01/30 22:25:57.10 f5ym1WlW.net
線形代数は元が取れる数学である。
ガロア理論は研究者になるなら必須である。 素朴なガロア理論だけではない。
代数的整数論でも、研究者レベルには経緯を払ったほうがいいと思うのだが
136:１３２人目の素数さん
17/01/30 22:31:17.84 3ojNFaVo.net
あ、はい
デサントやってたしガロアとグロタンには特に敬意払っとるつもりだが
137:１３２人目の素数さん
17/01/30 22:34:16.75 r6ayZLvD.net
敬意の話どこから出てきた？
138:１３２人目の素数さん
17/01/30 22:46:44.00 f5ym1WlW.net
早く賞をとりなされ
139:１３２人目の素数さん
17/01/31 01:07:51.92 tkokceQy.net
Z2xZ2
V4（クライン）の違いをわかりやすく説明してください。
140:１３２人目の素数さん
17/01/31 14:05:55.67 Y50MyFCr.net
乗法表でも見ろ
141:１３２人目の素数さん
17/01/31 15:56:46.95 tkokceQy.net
↑
バカはご遠慮ください
142:１３２人目の素数さん
17/01/31 15:59:55.84 Sxf25fXU.net
お釜はご遠慮ください
143:１３２人目の素数さん
17/02/01 14:22:28.87 UbcWfq6G.net
そうだったのか
144:１３２人目の素数さん
17/02/01 22:56:52.21 7WSy2Ipl.net
>>129
可解性の問題はガロア理論の応用の一つだが、それ以外にもいろいろ使い道がある
145:１３２人目の素数さん
17/02/01 23:14:50.16 EUb0ApCD.net
ガロア理論はガロア理論の基本定理のことだと思いますが、
なぜ代数学の一定理であるガロア理論の基本定理のことを
大げさにガロア理論などというのでしょうか？
他にそのような「人名＋理論」の例はありますか？
146:１３２人目の素数さん
17/02/01 23:18:51.12 IIabieBO.net
富田竹崎理論
147:１３２人目の素数さん
17/02/02 09:53:42.95 n8l0kVER.net
理化学研究所の無駄遣いが酷い！ 税金で1000万円の高級家具を買っていたことが判明
ガジェット通信
URLﾘﾝｸ(getnews.jp)
理研も購入？富裕層に大人気 高級輸入家具「カッシーナ」ってなんだ！
JCASTニュース
URLﾘﾝｸ(www.j-cast.com)
148:１３２人目の素数さん
17/02/02 11:34:38.28 qUpKa9Q0.net
無駄貼り
149:１３２人目の素数さん
17/02/02 11:50:43.77 Qs0E4Srq.net
何年前の記事を貼ってるんだ？病気か？
150:１３２人目の素数さん
17/02/02 11:54:54.90 GSMZhMbX.net
物理、化学。生物板に貼りまくりのコピペ
151:１３２人目の素数さん
17/02/02 12:33:44.59 Qs0E4Srq.net
最近カッシーナ関連が流行ってるのかな？
科学ニュース＋でも、あちこちに貼られているが。
152:１３２人目の素数さん
17/02/02 12:52:03.76 7CPRdMri.net
そんなものが流行ってるの？
あれぇ？俺の認識と違ってんだけどなー、っかっしーな。。
153:１３２人目の素数さん
17/02/03 03:44:47.90 Bx6ADteW.net
NASAやESAの無駄遣いに比べたらまだまだ小さい。
土星探査機「カッシーニ」の総費用は約34億米ドル。
なお、カッシーニの卵形線は、2定点からの距離の積が一定な軌跡。
154:１３２人目の素数さん
17/02/03 10:55:53.50 qiSB9nGJ.net
コピペにしょうもないレスをする物理屋のアホ
155:１３２人目の素数さん
17/02/04 21:38:53.73 szpSanmC.net
物理屋？
カッシーナとか割烹着とかの話は、
生物系の話題じゃないかな。
156:１３２人目の素数さん
17/02/06 09:34:40.98 umCRPd4n.net
多様体としてのS^2 (つまり球面ですね) は最低2つの局所座標系がないと全体を張れない。
って証明はどうやったらいいんでしょうか？
もちろん普通の極座標は北極/南極が抜けてるし、他にも色々試してみて無理そうだね、なんか直感でそんな気するよね。
そんなのは証明でもなんでもないですし。分からなくなってしまいました。
157:155
17/02/08 23:03:57.00 DQhr0RiY.net
[自己解決]
一枚の局所座標系(S^2,ψ)で貼れるなら、
像 ψ(S^2) は ユークリッド空間R^2 上の開集合
一方、S^2 はコンパクト
コンパクト性は連続写像ψで保たれるので ψ(S^2) もコンパクト(≠開集合) で矛盾する。
つまり一枚の局所座標系では無理だと分かる。
158:１３２人目の素数さん
17/02/09 18:48:47.68 FQbpO9Yg.net
[自己解決]
一枚の局所座標系(S^2,ψ)で貼れるなら、像 ψ(S^2) は ユークリッド空間R^2 上
の開集合一方、S^2 はコンパクト包茎コンパクト性は連続写像ψで保たれるので
ψ(S^2) もコンパクト(≠開集合) で矛盾する。
つまり一枚の局所座標系ではコンドームカンパクト無理だと分かる。
sssp://o.8ch.net/oorg.png
159:１３２人目の素数さん
17/02/10 11:53:05.23 msl4YSfa.net
自然数全体を無限個の無限集合に分割するにはどうすればいいですか
160:１３２人目の素数さん
17/02/10 11:53:51.14 UpxFG1yY.net
素数に分割
1は適当に
161:１３２人目の素数さん
17/02/10 12:07:54.44 msl4YSfa.net
式で表せるやつがいいです
162:１３２人目の素数さん
17/02/10 12:19:24.46 Y01/2Bsj.net
>>158
以下のように2次元の配列として並べればいいのではないでしょうか？
01 02 04 07 11 …
03 05 08 12 19 …
06 09 13 18 23 …
10 14 19 24 29 …
…
163:１３２人目の素数さん
17/02/10 12:20:11.94 Y01/2Bsj.net
>>158
以下のように2次元の配列として並べればいいのではないでしょうか？
01 02 04 07 11 …
03 05 08 12 17 …
06 09 13 18 23 …
10 14 19 24 29 …
…
164:１３２人目の素数さん
17/02/10 12:23:33.59 U5NqQ5EZ.net
2^n(2^m-1)と残り
165:１３２人目の素数さん
17/02/10 12:42:22.68 Y+XUleWk.net
それを言うなら(2n-1)2^(m-1)でいいじゃん
166:159
17/02/10 15:02:35.28 NScJQibH.net
>>158-160
素数pを固定
自然数nを素因数分解したときのpの指数eで分類する。
S_0 =｛n｜n≠0（mod p)}
S_1 =｛pm｜m≠0（mod p)}
････
S_e =｛(p^e)m｜m≠0（mod p)}
e = Σ(k=1,n）（[n/(p^k)] - [(n-1)/p^k]),
（たとえ素数が有限個しかなくても可能）
167:159
17/02/10 15:17:10.48 NScJQibH.net
p=2 としたものが >>164
168:158
17/02/11 00:44:22.53 jDhyio0o.net
159-164ありがとう。
165-166詳しくありがとう。
169:１３２人目の素数さん
17/02/17 07:24:00.99 /dYQQ04U.net
>>165
pで割りきれない自然数は無限にあるので...
170:１３２人目の素数さん
17/02/18 11:50:28.63 aNEeq6V5.net
普通に素因数分解したときの指数和でいいのでは
S_1 = {1,2,3,5,7,...}
S_2 = {4,6,9,10,14,...}
S_3 = {8,12,18,20,...}
...
「1∈S_1」ってのが美しくないかも知れない。
171:１３２人目の素数さん
17/02/19 08:06:20.52 Z74Mk2Ea.net
素数が無限個あることを示さにゃならぬ。
172:￥ ◆2VB8wsVUoo
17/02/21 23:40:25.04 IKx0AR8K.net
￥
173:￥ ◆2VB8wsVUoo
17/02/21 23:40:42.23 IKx0AR8K.net
￥
174:￥ ◆2VB8wsVUoo
17/02/21 23:40:58.25 IKx0AR8K.net
￥
175:￥ ◆2VB8wsVUoo
17/02/21 23:41:13.74 IKx0AR8K.net
￥
176:￥ ◆2VB8wsVUoo
17/02/21 23:41:28.87 IKx0AR8K.net
￥
177:￥ ◆2VB8wsVUoo
17/02/21 23:41:44.39 IKx0AR8K.net
￥
178:￥ ◆2VB8wsVUoo
17/02/21 23:42:00.59 IKx0AR8K.net
￥
179:￥ ◆2VB8wsVUoo
17/02/21 23:42:16.35 IKx0AR8K.net
￥
180:￥ ◆2VB8wsVUoo
17/02/21 23:42:34.97 IKx0AR8K.net
￥
181:￥ ◆2VB8wsVUoo
17/02/21 23:42:49.86 IKx0AR8K.net
￥
182:１３２人目の素数さん
17/03/27 09:11:43.71 TplpqeZ7.net
行列についての質問です
行列Ａを要素x(i,i)で２つに分割します
x(0,0)～x(i,i)までの正方形の中を行列A1
x(i+1)～x(n,n)までの正方形の中を行列A2
と分けます
こうすれば、行列は２ｘ２行列になりますが
そのとき、行列A1とA2の相関に相当する
BやCの値の求め方ってあるんですか？
|A1, B|
|C, A2|
てか、そもそも行列間の相関そのものが意味不明ですけど
そういうのってあるんですか？
183:１３２人目の素数さん
17/03/27 12:45:20.88 mTXvVqx4.net
行列が何かの確率変数の誤差共分散行列だったんだろ
184:１３２人目の素数さん
17/03/27 15:55:57.13 zQiKuuaR.net
ウンコ掲示板に差し入れですよん
／⌒ヽ
Ｃ ^～^) ∬
/ノ つ●
(ﾉ| ｘ )
厂|￣|＼
/ ノ￣丶 )
Ｕ Ｕ
185:１３２人目の素数さん
17/03/28 03:52:36.25 Z5VMYNFQ.net
成田正雄, イデアル論入門 (1970年 共立全書) より
第2章 可換環 の演習問題 7 です。 巻末略解等はなく、
ここ何日か考えているのだけど解法が分かりません。どうかよろしくお願いします。
186:１３２人目の素数さん
17/03/28 05:48:18.15 Z5VMYNFQ.net
184追記
あと a はAの非零因子と特筆する意図も分かりません。
aが零因子なら、両辺零イデアル(0)で常に成り立ちますよね。
187:１３２人目の素数さん
17/03/28 06:08:35.26 Z5VMYNFQ.net
> aが零因子なら、両辺零イデアル(0)で常に成り立ちますよね。
これ (a)=(0) となるかのように勘違いしてました。
問題では非零因子である事が重要なのでしょう。
188:美魔女
17/03/28 11:26:18.41 7iBLh9zc.net
ﾜｲﾜｲ
189:１３２人目の素数さん
17/03/28 11:28:58.50 q/7ri3kw.net
あーらやだ、ひそひそ・・・
190:１３２人目の素数さん
17/03/28 17:07:10.10 q+MW7CIx.net
ねたらアカン
191:１３２人目の素数さん
17/03/28 22:15:26.81 YAaDHmr1.net
>>184
解答のあらすじだけ。
J_n ＝ { y ∈ A ｜(a^n)y ∈ α } (n≧1)
と置くと、J_n は A の両側イデアルであることが示せる。
また、J_n ⊂ J_{n＋1} も示せる。A はネーター環だったから、J_n の増大は途中て停止する。
J_s から先が同じになっているとすると、J_s＝J_n (n≧s＋1) が成り立つことになる。
これを援用すると、欲しかった
((a^n)∩α) ＝ a^{n－s}((a^s)∩α) (n≧s＋1)
が出る。
ちなみに、この解答では a が非零因子であることを使ってないので、
なんか間違ってるかもしれん。
補足：J_n は次のようにして思いついた。
まず、示すべき等式の両辺を形式的に a^n で割ってみると、
((a^n)∩α)/a^n ＝ ((a^s)∩α)/a^s
となるので、これに相当する等式を示せばよいことが予想される。
((a^n)∩α)/a^n をどのように定式化すればいいかを模索すると、
上で定義した J_n に辿り着く。
192:１３２人目の素数さん
17/03/29 05:24:18.53 L/CSrcB8.net
基礎的な所をしょぼい本で勉強するのが間違いだよ。
AtiyahMa-Macdonaldみたいな定番をちゃんと読んでいれば
見た瞬間にArtin-Reesのレンマだな（≒つまらないな）と思うはず。
2chの「情報」に惑わされて時間を浪費してはいけない。
193:１３２人目の素数さん
17/03/29 19:30:49.74 SjgT20NZ.net
>>190 ありがとうございます。
Jn 増大系列の有限性までは理解できましたが、その先はちょっと分かりません。
自分でもう少し考えてみます。
>>191 まさにアティマク読む前の本として読んでるつもりでした。きっかけは忘れましたが2ch情報からでは無いと思います。
ここまでの70ページほどで イデアルの正規分解の一意性、ヒルベルトの基本定理、Krullのintersection定理
194: といった(たぶん)押さえておくべき点はがっつり証明が載ってて結構悪くない本だと思います。 問題略解くらい載せて欲しかったですけど。
195:１３２人目の素数さん
17/03/29 20:21:58.32 0cDw//SV.net
復刊したやつには解答ついてる
196:１３２人目の素数さん
17/03/29 20:48:03.20 dc3at//i.net
成田正雄という人の本は吉永良正といううさんくさいサイエンスライターが
推薦していましたね。
197:１３２人目の素数さん
17/03/29 22:00:44.03 qmY7hsva.net
物理関係にも胡散臭いサイエンスライターがいたよな。名前ど忘れしたが…
198:１３２人目の素数さん
17/03/29 22:02:45.52 dc3at//i.net
竹内薫さんですか？
199:１３２人目の素数さん
17/03/29 22:13:25.13 qmY7hsva.net
直ぐに出てくるなんて、やっぱその道では有名なの？
200:１３２人目の素数さん
17/03/29 22:19:44.55 qmY7hsva.net
竹内薫によく似た名前の女性の大学教授いたような。最近本書いていて、サイエンスライターの竹内薫だと勘違いしていたが。
201:１３２人目の素数さん
17/03/29 22:30:00.60 qmY7hsva.net
思い出した。翻訳家の青木薫だ。
202:192
17/03/29 23:38:16.15 SjgT20NZ.net
193 あ、旧版にも略解載ってましたわ。
たった3ページで完全に見落としてました。この本完璧ですわw
イデアル昇鎖 (α:a) ⊂ (α:a^2) ⊂ ... ⊂ (α:a^s) = (α:a^{s+1}) ... から
(a^n)∩α = a^n (α:a^n) = a^n (α:a^s)
= a^{n-s} a^s(α:a^s) = a^{n-s}((a^s)∩α) ■
確かにアティマクレベルの人には簡単すぎるかも。
aの条件は非零因子というよりベキ零を排除したかったぽいですね。
その場合は"つまらない"ので。
203:１３２人目の素数さん
17/03/30 02:44:43.83 Ti0Pn9Sv.net
自己解決してるっぽいけどレスしとく。
>>192
＞Jn 増大系列の有限性までは理解できましたが、その先はちょっと分かりません。
＞自分でもう少し考えてみます。
J_s＝J_n (n≧s＋1) が成り立っていることを認めたうえで、
((a^n)∩α) ＝ a^{n－s}((a^s)∩α) (n≧s＋1)
を示す。⊃ はそもそも J_n 抜きで普通に言えるので省略する。
⊂ のみ示す。x∈((a^n)∩α) とすると、x∈(a^n) かつ x∈α である。
前者から、x＝(a^n)y, y∈R と表せる。後者から、(a^n)y∈α となる。
よって、y∈J_n となる。J_n＝J_s だったから、y∈J_s となる。
よって、(a^s)y∈α となる。また、(a^s)y∈(a^s) である。
よって、(a^s)y∈(a^s)∩α である。よって、
x＝(a^n)y＝a^{n－s}((a^s)y)∈a^{n－s}((a^s)∩α) となる。
よって、⊂ が言えた。
この分野のことはよく知らんが、
たぶん >>200 の (α：a^n) は J_n そのものなんじゃないかな。
204:１３２人目の素数さん
17/03/30 03:00:15.77 Ti0Pn9Sv.net
(α:a^n) がどういう定義なのかは知らんが、
＞(a^n)∩α = a^n (α:a^n)
この等式から出発すると、(α:a^n)＝J_n が成り立つことが
実際に示せたわ(aが非零因子という仮定のもとで)。
y∈(α:a^n) を任意に取ると、(a^n)y ∈ a^n (α:a^n)＝(a^n)∩α⊂α
だから、(a^n)y∈α となる。すなわち、y∈J_n となる。
よって (α:a^n) ⊂ J_n となる。
逆に、y∈J_n とすると、(a^n)y∈α である。また、(a^n)y∈(a^n) である。
よって、(a^n)y∈(a^n)∩α＝a^n (α:a^n) となる。よって、(a^n)y＝(a^n)z なる
z∈(α:a^n) が取れる。a が非零因子という仮定のもとでは、y＝z となるので、
y∈(α:a^n) となる。よって、J_n ⊂ (α:a^n) となる。よって、(α:a^n)＝J_n となる。
205:１３２人目の素数さん
17/03/30 13:35:14.88 o1DFwSiI.net
>>201, 202
> (α:a^n) がどういう定義なのかは知らんが、
他の本でも記法が同じなのか知らないのですが、とりあえず J_n と同じですね。
そこから始めるとやはり非零因子の条件に大した意味はなさそうです。
206:１３２人目の素数さん
17/04/03 12:12:02.20 zQpj9cLk.net
「X を距離空間とし、 A を X の部分集合とする。
X の点 a が A - {a} の触点であるとき、 a は A の集積点とよばれる。」
と教科書に書いてあります。
なぜ、
「X を距離空間とし、 A を X の部分集合とする。
X の点 a が A - {a} の境界点であるとき、 a は A の集積点とよばれる。」
と書かないのでしょうか？ 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)
207:１３２人目の素数さん
17/04/03 12:39:31.06 zQpj9cLk.net
X の点 a が A - {a} の内点になることは決してないですよね。
208:１３２人目の素数さん
17/04/03 13:24:26.47 NC7s/ozw.net
,, = 、-、、
＜ ヽ ヽ＼
／ ＿ ＼
/ ／ ／| ＼
/ /ヽ ム/
/ _/＿＞´
━━━━（_＿＿＿＿＿,, --— 、
,, = 、-、、
＜ ヽ ヽ＼
／ ＿ ＼
/ ／ ／| ＼
/ /ヽ ム/
/ _/＿＞´
(_＿＿＿＿＿,, --— 、
━━━━━━
シャーペンの芯が上手くつかめない 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)
209:１３２人目の素数さん
17/04/03 13:25:49.22 NC7s/ozw.net
xxx
210:１３２人目の素数さん
17/04/03 21:28:32.51 DJnpuK0K.net
>>204
後者の書き方が間違ってるわけではありません。実際のところ両者の定義は同値です。
前者の定義で書かれているのは、
触点のほうが境界点より基本的な概念(と著者が考えた)からだと思います。
基本的な(簡単な)概念で書けるなら普通はそっちで書きたくなるものです。
211:１３２人目の素数さん
17/04/03 22:04:10.14 zQpj9cLk.net
>>208
X の点 a が A - {a} の内点になることは決してないので、無駄がありませんか？
212:１３２人目の素数さん
17/04/04 00:18:34.47 XM/9fTze.net
点a が A - {a} の触点 なら
点aの任意の開近傍Vについて
V∩(A - {a}) ≠φ [触点の定義より]
V∩(A - {a})^c ≠φ [a∈略 より]
よって 点a は A - {a} の境界点である。
点a が A - {a} の境界点なら
点aの任意の開近傍Vについて
V∩(A - {a}) ≠φ [※かつ V∩(A - {a})^c ≠φ ]
よって 点a は A - {a} の触点である。
「点a が A - {a} の触点」 ⇔ 「点a が A - {a} の境界点」
で同値なのは間違いないでしょ。※～の部分が無駄ですが、だから何？と。
213:１３２人目の素数さん
17/04/04 00:21:38.00 CQplQN7G.net
無駄なものが入ると分かりにくくなりますよね。
214:１３２人目の素数さん
17/04/04 00:22:46.15 s9l2VpiO.net
馬鹿相手して楽しいか
215:１３２人目の素数さん
17/04/04 01:20:56.50 0e8i0bAn.net
マルチにレスする奴は荒らし
216:１３２人目の素数さん
17/04/04 02:35:55.77 D6+98tjJ.net
単に、話の順番なんじゃない？
位相の定義のしかたには、いろいろな順番があるけど、
近傍→触点→閉包→開核→境界 の順で進む流儀だと
境界より触点のほうが基本的。
217:１３２人目の素数さん
17/04/06 01:59:44.91 9wBzR1eF.net
統計の相関の話に近いと思う�
218:ﾅすが 通常は相関行列っていうのは対称じゃないですか A=A^t でも、現実には対称じゃなくて非対称なはずだと思うんですわ 上三角形と下三角形は同じじゃないでしょ そういう統計というかデータの扱い方ってどこかにないですか？
219:１３２人目の素数さん
17/04/06 02:03:22.94 9wBzR1eF.net
相関行列というのは、直和分解された片方の行列を指しているものにすぎないと思うんです
C = C_sym + C_skew
C_skew も使う統計データの分析法ってないんですかね？
220:１３２人目の素数さん
17/04/06 02:03:35.80 5TQszjMc.net
どんな定義やねん
221:１３２人目の素数さん
17/04/13 20:26:30.31 GOGqc0vv.net
ここで聞くのが適当かどうかわかりませんがお願いします。
一般項がAn=1-(1/10)^nの無限数列をそのまま集合Aとみなしたとき、
A=｛0.9、0.99、0.999、0.9999、・・・｝
循環小数としての0.9999・・・はAの元になるのでしょうか？
もしAの元だとしたら、0.9999・・・=1なので、
1∈Aで、Aは最大値を持つのでしょうか？
222:１３２人目の素数さん
17/04/13 20:29:40.31 Bwheq6j4.net
なりません
223:１３２人目の素数さん
17/04/13 20:47:57.42 GOGqc0vv.net
>>219
早速の回答ありがとうございました。
ちなみに、B={0.1、0.11、0.111、0.1111、・・・}としたときも、
循環小数0.1111・・・はBの元ではないのでしょうか？
（0.9999・・・だけ特別なのかどうか？という疑問です）
224:１３２人目の素数さん
17/04/13 22:17:42.90 GiJ90PhB.net
0.9999・・・と同様。
次に、C={0.0、0.00、0.000、0.0000、・・・}が来る予感。
225:１３２人目の素数さん
17/04/14 07:28:44.33 Q9enZUYU.net
>>221
ありがとうございました。これで終わりですｗ
艇レベルな質問ですみませんでした。
226:１３２人目の素数さん
17/04/14 13:42:00.84 9mxKYilS.net
集合の「…は…の元」の定義を勉強しろ
227:１３２人目の素数さん
17/04/14 19:37:59.64 s4Bd3t5Y.net
「∈」は、普通未定義語なんじゃないか？
228:１３２人目の素数さん
17/04/14 20:43:12.28 s3KdbdqN.net
大学以上ということなので、ここで質問させていただきます。
15年前からいるソープ嬢が24歳と表記されていました。
ソープ嬢の年齢変換の一般式をお願いします。
表記年齢→実年齢
実年齢→表記年齢
両方頼みます。
229:１３２人目の素数さん
17/04/14 20:55:51.47 covEQyEa.net
またビッパーか
230:１３２人目の素数さん
17/04/14 21:20:50.19 FeJpyUFF.net
１５年？
そうゆうのは、たいてい
平安時代くらいから仕事してるからな。
231:１３２人目の素数さん
17/04/23 03:44:34.00 sc4FtUUh.net
23,23.9,23.99,23.999,...
でいいんじゃないの？
232:１３２人目の素数さん
17/04/24 20:46:38.01 HfoTvpJA.net
たしかに24に収束する感じだけどちょっと違うな
233:１３２人目の素数さん
17/04/25 00:59:29.55 rJxCC267.net
24で就職するのは、ソープ嬢としては遅めでは？
234:１３２人目の素数さん
17/04/27 16:00:43.02 T2UpS/OL.net
Taoのルベーグ積分の本の最初の問題で、
A: 非可算無限集合, (x_¥alpha)_{¥alpha¥in A}をx_¥alpha ¥in [0,¥infty]で
$$
¥sum_{¥alpha¥in A}x_¥alpha<¥infty
$$
を満たすものとすると$x_{¥alpha}$は高々可算個を除いて$0$であることを示せ.
とあるのですがその直前の添字集合が非可算無限集合でも定義できる
$$
¥sum_{¥alpha¥in A}x_¥alpha = ¥sup_{F¥subset A, F: finite} ¥sum_{¥alpha¥in F}x_¥alpha
$$
という定義から示すだろうとは思うのですが, 何を使えば良のかわかりません。
x_{t}:=1/t^2
くらいの例を考えればそうでないとまずいことは分かるのですが…
235:１３２人目の素数さん
17/04/27 17:21:03.73 Vn1a6H
236:05.net
237:１３２人目の素数さん
17/04/29 04:07:34.85 gs0Ijl/R.net
>232
ありがとうございました。
$A_n$の和集合で$¥{ ¥alpha ; x_¥alpha ¥not= 0 ¥}$を表わし, 示せました!
238:１３２人目の素数さん
17/04/29 16:25:25.63 ZcBj7lBC.net
高校の時、「dy/dxは分数ではない」と習った大学生です。
twitterで黒木玄という人が高木貞治の解析概論を引用して
「dy/dxは分数である」と言っていますが、本当にそうなのでしょうか？
解析概論には「dx=Δxだがdy=Δyではない」とかいてあります。
だったら合成関数の微分の式dy/dx=(dy/du)(du/dx)の右辺の
最初のduは「du=Δu」で独立にとれますが、だけど2番目のduは「du=Δuではない」ので独立にとれないことになり、
2つのduは等しくならないことになります。
本当に「dy/dxやdy/duやdu/dxは分数である」と言っていいのでしょうか？
239:１３２人目の素数さん
17/04/29 20:27:42.28 EBbgAD8L.net
今まで数学してて、微分が分数かどうかなんて気にしたことないね そこまできにする必要はないと思うよ
真剣に考えるなら、古典的な微分の定義は分数の極限みたいな形してるけど
微分の定義って他にもあって、所謂Leibnizの公式を満たす線形なものって定義もある
240:１３２人目の素数さん
17/04/29 20:35:00.79 EBbgAD8L.net
恐らく、微分の本質的な部分ってLeibnizの公式が満たされるかどうかだと俺は思うね
微分のようなもの幾つか知ってるけど全部これを満たしてる
Leibnizの公式が成立する理由が分数にあるなら、微分は分数と言って十分だと思う
そうなると最初に分数の定義って何？って話になるけど
241:１３２人目の素数さん
17/04/29 20:38:54.84 mIs/k9UU.net
分数だったらどうなの？新しいことが分かるの？
242:１３２人目の素数さん
17/04/29 20:50:26.39 HG7jLImn.net
分数だよ派：連鎖律とか逆関数の微分とか、大体分数のようにできるよ
分数じゃない派：dxとかdyは別個の関数ではなくdy/dxで一つの関数だよ
どちらも正しい
>>236
ライプニッツ則を満たす線形射(or加法写像)
243:１３２人目の素数さん
17/04/29 20:54:43.01 HG7jLImn.net
途中送信
ライプニッツ則を満たす線形射としてならそのまま代数的に一般化できる(微分環とか)し、それに次数付けして考えればコホモロジー環とかZ2-gradedなリー代数のブラケットも統一されるな
244:１３２人目の素数さん
17/04/29 20:56:29.87 mIs/k9UU.net
また質問者が置き去りｗ
245:１３２人目の素数さん
17/04/29 20:59:35.97 EBbgAD8L.net
正直、代数的な微分はそこまで知らなかったけど、リー環と繋がるんか 面白いな
>>239はリー群とか詳しいの？
246:１３２人目の素数さん
17/04/29 21:10:24.06 EBbgAD8L.net
>>234に対しての回答は>>238がいいと思う
247:１３２人目の素数さん
17/04/29 21:16:14.74 ZcBj7lBC.net
皆様、有難うございます。
結局、高木貞治の意味づけは正しいのでしょうか？
dxとdyは単独に意味がつくのでしょうか？
もしそうなら、(dy/du)(du/dx)の２つのduは同じものになるのでしょうか？
248:１３２人目の素数さん
17/04/29 23:02:00.57 tamXtdcA.net
単独のdx,dyとdy/dxにでてくるdx,dyは別物ってだけだろ
高木の本でもdy=(dy/dx)dxが成り立つという意味において
微分商dy/dxは微分dyとdxの商だと言ってるだけだったはず
結局どんな言葉遣いをしたところでdy=(dy/dx)dxが成り立つという意味以上にはなりえない
当然だが多変数にして全微分を偏微分係数の微分の一次結合として書けば
どうみても分数には見えない
249:１３２人目の素数さん
17/04/29 23:04:00.50 mIs/k9UU.net
爺のネタだろう
250:１３２人目の素数さん
17/04/29 23:23:49.75 EBbgAD8L.net
dxとかdyは個々で意味はつかないと思う
251:。 dy/dxの定義は Δy/ΔxでΔxを０に近ずけたもの Δxが十分小さい時に dy=Δy dx＝Δx って考えられるとしよう。そうすると個々に意味がある気がする。 ここで注意が必要なのは Δxは式で書くとすると Δx ＝ (x＋h) - x = h って感じよね。hはなんか小さい数字ってイメージ でもΔyは式で書くなら Δy ＝ (y+h) - y ではない。 書くとすると Δy = y(x+h) -y(x) =y(x+Δx) -y(x) でΔxに依存したyの変分ってイメージ 多分>>234の「dx=Δxだがdy=Δyではない」ってのはこういうことが言いたいんじゃないかな？ 一回微分の定義に戻るとdy/dxは Δy/ΔxでΔxを０に近ずけたものだけど ここで大事なのはΔxって0に近づくけど、どんな近づき方でもいいようにしなきゃいけないってのが大事。 そう考えると(dy/du)(du/dx)って(Δy/Δu)(Δu/Δx)なんだけど Δu/Δxって書いた時に、ΔuってΔxに依存してる気がするのよ じゃあΔy/Δuって書いたら、このΔuってΔxに依存してるから、 どんな近づき方にもいいようにしなきゃいけないことに反している気がするのよね。 だからdx,dyに単独の意味づけは定義に不適切な気がする
252:１３２人目の素数さん
17/04/29 23:35:24.12 tamXtdcA.net
高木の本だとdyはΔyの（Δxに関する）線型主要部と定義されてる
だからdy≠Δyだがdx=Δxで、dy=(dy/dx)dxになる
253:１３２人目の素数さん
17/04/29 23:38:54.87 EBbgAD8L.net
すまんけど、線形主要部って何？
何となく言いたいことは分かるんんだけど,,
254:１３２人目の素数さん
17/04/30 00:15:48.87 JceQh8dh.net
f(x)dx=g(x)dxからf(x)=g(x)を言いたい時があるので
分数っぽいとも言える
255:１３２人目の素数さん
17/04/30 02:49:31.22 0GgKCM0p.net
0に近い必要はなし
単に接線を表してるだけだから
256:１３２人目の素数さん
17/04/30 05:14:48.55 TJ3ZUf8R.net
余接空間
257:１３２人目の素数さん
17/04/30 12:57:19.89 3G6+IdPF.net
>>248
Δxの冪級数で書いたときの一次項が著者に取って主要なんだろ
258:１３２人目の素数さん
17/04/30 14:45:31.51 t5t2ZDTP.net
dx=Δxだけど(dx)^2=(Δx)^2ではないよね。
(dx)^2=0として扱うよね。
本当にdx=Δxとしていいのかな？
259:１３２人目の素数さん
17/04/30 15:48:15.05 gRkPmJOD.net
(dx)^2=0 じゃあないだろ。dx=0 になってしまう。
ddx=0 と勘違いしたんじゃないのか。
260:１３２人目の素数さん
17/04/30 16:13:19.87 t5t2ZDTP.net
>>254
f(x+Δx)をテイラー展開すると（fは十分滑らかとする）
f(x+Δx)=f(x)+f'(x)Δx+(1/2)f''(x)(Δx)^2+・・・
もしdx=Δxなら同様に
f(x+dx)=f(x)+f'(x)dx+(1/2)f''(x)(dx)^2+・・・
でもf(x+dx)=f(x)+f'(x)dxだよね。
(dx)^2=0、一般にnが2以上の時(dx)^n=0なのでは？
261:１３２人目の素数さん
17/04/30 16:41:10.44 kqCtRAjC.net
>>255の f(x+dx)=f(x)+f'(x)dx ってのは言いたいことはわかるけど違う気がする
要はそれって
f(x+dx)-f(x)-f'(x)dx=o(dx) (dx→０)ってことで
言葉遣いとしてo(dx)を無視できるっていうから、o(dx)=0って思って考えると
f(x+dx)=f(x)+f'(x)dxってことだと思うんだけど、実際 o(dx)=0ってのは違うからね
詳しくは
URLﾘﾝｸ(www.ne.jp)
262:１３２人目の素数さん
17/04/30 16:55:58.37 gRkPmJOD.net
dx=Δx ではないのは、そのとおりだが、
(dx)^2=0 は違う。
Δx は x と同じ集合の元、
dx は x とは違う集合の元だから、
dx=Δx であるわけがない。
f の定義域を式 x+dx が意味を持つ集合へ
拡張しなければ、f(x+dx) は意味を持たない。
むしろ、f(x+dx)=f(x)+f'(x)dx によって
f(x+dx) を定義すると思ったほうがいい。
f(x+Δx)=f(x)+f'(x)Δx+O(Δx^2) から
f(x+dx)=f(x)+f'(x)dx が導かれるわけじゃあない。
263:１３２人目の素数さん
17/04/30 17:12:36.22 t5t2ZDTP.net
>>256 f(x+dx)=f(x)+f'(x)dx ってのは言いたいことはわかるけど違う気がする
dy=f(x+dx)-f(x)で、f(x+dx)=f(x)+f'(x)dxは正しい式だと思いますが。
それと、dx→0というかき方は見たことがないんですけど。
Δx→0というかき方なら見たこと�
264:りますけど。 >>257 >dx=Δx であるわけがない。 ではdx=Δxと言ってる高木貞治は間違ってるということですか？
265:１３２人目の素数さん
17/04/30 17:30:12.73 gRkPmJOD.net
＞ dx→0というかき方は見たことがないんですけど。
＞ Δx→0というかき方なら見たことありますけど。
それって、dx=Δx じゃないって自分で言ってるよね。
高木貞治が何を書いてたかは覚えてないから、
その文脈で定義されたローカルな dx が何を意味するのかは
コメントできないが、
日常普通に使う dx は >>257 に書いたとおり。
266:１３２人目の素数さん
17/04/30 17:42:05.49 kqCtRAjC.net
>>258
この時のdxは十分小さな実数と思ってやってる
確かに普通はΔxって書く気がする。
まあ、>>255の書き方に合わせたってことでお願いします
あと>>258の dy=f(x+dx)-f(x) は俺はよくわからん。
まあ、ぶっちゃけdx=Δxがどうなのかって議論は凄くどうでもいい気がするけどw
もし真剣に議論するならdx、Δxを明確に定義しないと
267:１３２人目の素数さん
17/04/30 17:49:06.38 t5t2ZDTP.net
>>259 260
そもそも私はdxの定義自体がよくわからないのです。
dxの定義は何なのでしょうか？
数学ではdxを明確に定義しないでdxを使っているのでしょうか？
それともdｘは単独では定義されないのでしょうか？
268:１３２人目の素数さん
17/04/30 17:58:54.93 kqCtRAjC.net
>>261 dxは微積分では定義されないことが多いね。
恐らく、微分のdf/dx って書くから、そのままの勢いでdyとかdxってつい書いちゃっただけだと思う。
時々、テイラー展開をdxを使って書いてあったりするけど、これはdxは十分０に近い実数と考えてることが多い。
特に深い意味はないからどうでもいいと思うよw
でも、それに似たちゃんと数学的に定義されたものもあるのよね。
多分>>259はそっちで議論してる気がする。多様体上の微分で考えてるように見えるけどね
269:１３２人目の素数さん
17/04/30 18:16:51.55 gRkPmJOD.net
「十分近い」って何だよ？
dx を 0 に近い実数と考えるなら、
f(x+dx) = f(x)+f'(x)dx+(1/2)f''(x)(dx)^2+…
≒ f(x)+f'(x)dx ではあっても、
f(x+dx) = f(x)+f'(x)dx にはならないだろ。
dx を無限小(標準部分が 0 の超実数)と見ても、
{f(x+dx) - f(x)}/dx の標準部分が f'(x) になるだけで
{f(x+dx) - f(x)}/dx = f'(x) が成立するわけじゃあない。
f(x+dx) = f(x)+f'(x)dx+(1/2)f''(x)(dx)^2+… は
あくまでも f(x+dx) = f(x)+f'(x)dx+(1/2)f''(x)(dx)^2+…。
270:１３２人目の素数さん
17/04/30 18:41:16.76 kqCtRAjC.net
>>263
俺は f(x+dx) = f(x)+f'(x)dx が正しいとは言ってないと思うが、、概ね>>263の結果は正しいと思うよ
俺が言いたかったのは関数fの点xの近傍でのテイラー展開ってことで
xの近傍の元のことをx+dxって言いたかったんだ。
正直>>263の書いてる無限小とか標準部分の定義を知らんから、なんとも言えないが、、
271:１３２人目の素数さん
17/04/30 19:20:16.22 gRkPmJOD.net
俺は、f(x+dx) = f(x)+f'(x)dx が正しくなるように dx を定義すべきだと思うから、
この式を超実数ではなく微分形式で解釈しろと言ってるだけ。どちらで考えても
f(x)+f'(x)dx+(1/2)f''(x)(dx)^2+… と f(x)+f'(x)dx は同じではないが、
どっちが f(x+dx) と等しいは f(x+dx) の定義というか、dx の解釈で違ってくる。
272:１３２人目の素数さん
17/04/30 22:05:49.27 kqCtRAjC.net
>>265
なるほど、、、テイラー展開を微分形式で考えるのは初めてだわ。面白いな。
そこまで微分形式に詳しくないんだが、f(x+dx) = f(x)+f'(x)dxって式をdxを微分形式と考えるって
fの定義域にx+dxが含まれてる気がするんだけど、これってどうなん？解説してほしい。
273:１３２人目の素数さん
17/04/30 22:11:19.93 gRkPmJOD.net
いや、だから、単に
f(x+dx) = f(x)+f'(x)dx を f(x+dx) の定義にする
って、しょーもない話だよ。f を、そのように拡張する。
もともとは、定義域外なんだから。
274:１３２人目の素数さん
17/04/30 22:30:51.25 fwCQD//a.net
もうKock-Lawvere axiomでやっちゃえばいいじゃん
275:１３２人目の素数さん
17/04/30 22:43:16.92 kqCtRAjC.net
なんだ、そんなことかw
えー、、急に面白く無くなったな、、w
俺としてはf(x+dx) = f(x)+f'(x)dxが成立するって>>256で書いたけど
テイラー展開の二次以上の項を無視するって雑な意味でしかないと思うから
そんな微分形式なんて高尚なものを使うことはないと思うよw
普通はf(x+dx) = f(x)+f'(x)dxなんて考えないと思うしw
276:１３２人目の素数さん
17/04/30 22:57:55.14 gRkPmJOD.net
発端は、
277:dy/dx から切り離した dx は存在するかという話だから、 それなら微分形式があるよってこと。その dx と整合するように f(x+dx) = f(x)+f'(x)dx を成り立たせたかったら、f(x+dx) を そうやって解釈することになるでしょ。つまらん話だけど。 f(x+dx) ≒ f(x)+f'(x)dx では何の計算にも使えないし、 ≒ を = にすり替えるなんて、物理でしか許されないし。
278:１３２人目の素数さん
17/04/30 23:18:48.09 kqCtRAjC.net
やっぱり微分を分数みたいに考えるのは良くない気がしたわ
まあ、いろいろスッキリしたからいいや
279:１３２人目の素数さん
17/04/30 23:21:14.18 t5t2ZDTP.net
>>256
256さんのかいておられるf(x+dx)-f(x)-f'(x)dx=o(dx) (dx→０) という式は見たことがありません。
f(x+Δx)-f(x)-f'(x)Δx=o(Δx) (Δx→０) なら見たことがありますけど。
高木貞治流にdx＝Δxとするなら同じ式になりますが、
dx＝Δxとするなら数学的におかしくなるのは先に書いたとおりです。
>>270
単独のdxを微分形式と解釈するのなら
(dx)^2はどのように解釈するのでしょうか？
dx∧dxと解釈するのなら0になってしまいますし。
280:１３２人目の素数さん
17/04/30 23:29:34.62 JceQh8dh.net
基本定理を考えるぐらいだから分数じゃないんだろう
281:１３２人目の素数さん
17/04/30 23:34:04.77 kqCtRAjC.net
>>272すまんけど、
dx＝Δxとするなら数学的におかしくなるってどこに書いてあるっけ？
282:１３２人目の素数さん
17/04/30 23:37:09.16 +J6S9V8S.net
以下を各大さじ1で混ぜ合わせます
テーラーの定理
無限小解析
微分形式
283:１３２人目の素数さん
17/04/30 23:39:00.67 +J6S9V8S.net
釣れるネタのレシピです
284:１３２人目の素数さん
17/05/01 02:01:11.89 qhe3+eE9.net
部分積分はむしろ方針
285:１３２人目の素数さん
17/05/01 19:27:30.98 wHE+HEpg.net
>>274
234に書いてあります。
高木貞治のように「xが独立変数の時dx=Δxだが、yが従属変数の時dy=Δyではない」ならば
合成関数の微分の式dy/dx=(dy/du)(du/dx)の右辺の
dy/duのduはuが独立変数なので「du=Δu」で独立にとれますが、2番目のduはuが従属変数なのでdu=Δuではなく、独立にとれない(Δxの取り方に依存する)ことになり、2つのduは等しくならないことになります。
あなたはdx=Δx派なんですか？
286:１３２人目の素数さん
17/05/01 22:37:54.11 FnGz4ubj.net
取り敢えず、>>278はdx、Δxを何だと思ってやってるの？
なるべく従属、独立変数って言葉使わずに言ってほしい
287:１３２人目の素数さん
17/05/02 13:50:19.98 cQRys/7o.net
戯言としか思えん議論
288:１３２人目の素数さん
17/05/02 20:07:40.69 zoa/g0dm.net
>>279 dx、Δxを何だと思ってやってるの？
高木貞治の解析概論のｐ.36、37を見てください。
>>280
どこが戯言なのかを教えてください。
289:１３２人目の素数さん
17/05/02 20:30:22.09 ZNGQDHcF.net
>>281本持ってないから、高木さんの教科書に書いてあること載せてほしいな
290:１３２人目の素数さん
17/05/02 21:04:29.45 zoa/g0dm.net
>>282
解析概論p.37で、f'(x)=lim (Δy/Δx)とするとき、f'(x)Δxをdyの定義としています。
つまりdy=f'(x)Δxです。
また「xそれ自身をxの関数とみればx'=1だからdx＝Δx」と書いてあります。
これらのことからdy=f'(x)dxとなります。
291:１３２人目の素数さん
17/05/02 21:58:53.29 /IJoc1jq.net
well-definedてなに？
292:１３２人目の素数さん
17/05/02 22:29:01.59 gQeVoBVm.net
矛盾なく定義される
293:１３２人目の素数さん
17/05/02 22:57:49.06 xmyIJWOR.net
使用例
いいかげん彼氏をwell definedしようかしら
294:１３２人目の素数さん
17/05/03 01:38:04.53 pWMBkH9s.net
そりゃ、いつまでも過剰条件で解無し
のままじゃいかんからな。
295:１３２人目の素数さん
17/05/03 04:16:32.37 Km0CCXzx.net
生もの：「わしらドつきあっとる超ドレッドノート級ド付き合い漫才やねん。」。
ホモのコロケーションに位置するお焦げ矢追文化的視座から見た生ものカップリング。
296:１３２人目の素数さん
17/05/03 04:19:43.29 Km0CCXzx.net
肉体言語郎だともっとアクション路線。
297:１３２人目の素数さん
17/05/03
298:21:57:34.16 ID:pWMBkH9s.net
299:１３２人目の素数さん
17/05/05 20:21:26.26 RrHZh/8e.net
あげ
300:１３２人目の素数さん
17/05/05 22:08:49.46 M5Uqh4WR.net
x→0のときsinhx/xが1になることの証明をお願いします
301:１３２人目の素数さん
17/05/05 23:47:20.22 LJL3YQ3n.net
ロピタルの定理より自明
302:１３２人目の素数さん
17/05/06 00:14:22.33 +DPWLVWc.net
sinh(x) の定義って、(e^x - e^-x)/2 でいいの？
だったら、sin(0) = (1-1)/2 = 0 になるので、
lim[x→0]sinh(x)/x = lim[x→0]{sinh(x)-sin(0)}/(x-0)
= sinh'(0) = {(e^x)'[x=0] - (e^-x)'[x=0]}/2
= {(e^x)[x=0] - (-e^-x)[x=0]}/2
= {1 - (-1)}/2 = 1.
(e^x)' = e^x は既知とした。
303:１３２人目の素数さん
17/05/06 00:42:38.95 9sKGdgYm.net
暗算だけど、テイラー展開でいけそう
304:１３２人目の素数さん
17/05/06 04:44:47.99 +DPWLVWc.net
それもいいね。e^x がテイラー展開できれば、
lim[x→0]sinh(x)/x は計算できる。
305:１３２人目の素数さん
17/05/06 21:47:03.20 9dk2TneM.net
That is also dealt with mean value theorem: $\lim_{x \to 0} (e^{x} - 1) / x = 1$
so that $\sinh x / x = (e^x - e^{-x}) / (2x)
= e^{-x} \cdot \{ (e^{2x} - 1) / (2x) \} \rightarrow 1 \cdot 1 = 1$
as $x \rightarrow 0$.
306:１３２人目の素数さん
17/05/07 11:34:09.91 gVVV8ac7.net
これの5番を教えてください
URLﾘﾝｸ(i.imgur.com)
307:１３２人目の素数さん
17/05/07 13:35:38.04 1R7a0aV3.net
自分なりに考えたことを少しは書けよゆとり
308:１３２人目の素数さん
17/05/08 04:29:33.84 mdulbz+D.net
ボルツァノ・ワイエルシュトラスの定理の記述が中途半端だったり、
下の問題を見ると問題文中でコーシー列を紹介していたり、
大学生用なんだか高校生用なんだか判らん。
309:１３２人目の素数さん
17/05/09 09:13:28.42 dYaUzi4G.net
元京大理系C判定で美大に進学して村山橋本内閣時代の学生ですが
Z3乗の解が存在する証明の最近の歴史
310:を教えて下さい。 自分はアニメ写真の証明と制作監督が仕事ですがアニメ史だけでもZ3は超人気でエヴァも虚数の球体がそうですね手描きですが。 少女革命ウテナやまどかマギガ何て後者は主人公が名前がまどか（円の訓読み）で 登場人物全てが違うアプローチでZ3乗は実在すると言って見せるのですが 一番正しいのは慶応航空宇宙中退の河森監督の地球少女アルジュナの数学教師が熱弁するシーンですねでヤンキーが「馬鹿じゃ無いの」一言。 https://www.youtube.com/watch?v=6KfL9DRXHYk Yuki Kajiura - Credens justitiam 視聴回数 488,892 回 3,560 25 2014/11/15 に公開 Live performance of the song from Madoka at Shibuya Public Hall on September 9, 2012 プログレッシブロック何てZ3の公式其の物エレキギターがヴォーカルの動きを気にしながらの演奏フィードの近似値と愛がそうでは内科？ z3を解かせたらアニメ監督は全員数学者以上の超天才ですよドやですわね♪要するるに宗教以上の天才で良いのよバーカwwww
311:１３２人目の素数さん
17/05/09 09:23:08.69 dYaUzi4G.net
URLﾘﾝｸ(www.youtube.com)
【MAD】 マミさんのテーマ - Credens justitiam - 【原曲×合唱】
視聴回数 3,364,440 回
13,058 190
2011/11/11 にアップロード
.魔法少女まどか☆マギカより マミさんのテーマ - Credens justitiam -
URLﾘﾝｸ(www.youtube.com)
Elisa - Lost Into The Night [Initial D AMV]
チャンネル登録239 視聴回数 33,288 回
続き学生時代一般教養の物理に説明に成って無いって質問したら数回繰り返した後に「譲っても半分しか有って無いですよ」
言ったら「知らないよ」的な発言して去って行った多分世代と歳が気に入ら無い勉学的小物なんだろうなあと。
後
「映像に音楽何て邪道だよね」って在り来たりな事を美大で言い始めて高校生ギタリスト作曲家とかマブダチだったので
気持ちの意味がもう事実と違うに成って仕舞ったりとか。
312:１３２人目の素数さん
17/05/09 10:28:55.36 dYaUzi4G.net
>>301
よもやま昨日此の動画に出会って初見で泣いて仕舞った余りに美しい曲にそう言えばずっとそんな有形無形のとの
敵との闘いの人生だったあらゆる行政改革を成功させる戦力としての芸術家の人生に自分で感激して泣いて仕舞った。
学生時代にプログレに出会った運命に泣いて仕舞った。
313:１３２人目の素数さん
17/05/09 10:32:29.15 dYaUzi4G.net
コンデジの性能と調子が良かったら俺の生ギターも上げちゃうぞプログレ風本当は資産家程音楽を知ら無い
何の事かなあ解散して鳩山2期政権にでも成れば解るだろうねえ。プログレ曲トライアル。
URLﾘﾝｸ(www.youtube.com)
ターが神すぎると話題に。 視聴回数 1,965,980 回
世界トップクラスの一人村下孝蔵の一人マルチ奏法。
314:１３２人目の素数さん
17/05/09 10:40:54.17 dYaUzi4G.net
URLﾘﾝｸ(www.youtube.com)
村下孝蔵化計画efver.0.8.maxsingleCDeternalfeather悠久の翼07.mix
コンデジの仕様で2曲目が消えたけどフュージョンのライブ盤を一人で弾いてみたリズムが丁度良くて楽しかった
音入って無いがライン機材が無いので五月蠅いので自粛中
URLﾘﾝｸ(www.youtube.com)
EF-A TALE OF MEMORIES OP (EUPHORIC FIELD) CONCIERTO EN VIVO
音源違うけど一応同じ曲のライブ音源此れをエレキ1本でベースドラムヴァイオリンヴォーカルギターを1人で4本指で弾く。
村下孝蔵超尊敬してたので。
315:１３２人目の素数さん
17/05/09 10:54:50.87 dYaUzi4G.net
カレー4皿食ってまだ餃子食べてるあいつの胃はどうなってるんだと言われたものみの塔って言われてる音楽好きに。
316:１３２人目の素数さん
17/05/09 11:59:44.77 FSUy1JsK.net
お薬飲んで休みなさい
317:１３２人目の素数さん
17/05/09 13:32:56.58 dYaUzi4G.net
TMNもエルマーの冒険でサウンドプロデュースしたのだがエルマーと言えば超コンパクトレンズの代名詞。
収納式で古い設計だがズームレンズが科学的に以上に存在し無い時代にレンズが画質と無関係に動くと言う斬新なデザイン。
出し忘れ連動機能が必要だがな股間のもね
トリエルマーと言う現代ではズームで無く三点焦点レンズが有る。
まあ画質はズームは悪いエルマーも古いけど映るが所詮古いそして小さいから其れ成りに低機能。
318:￥
17/05/09 15:04:28.93 fFup5tOX.net
￥
319:￥
17/05/09 15:04:49.82 fFup5tOX.net
￥
320:￥
17/05/09 15:05:08.47 fFup5tOX.net
￥
321:￥
17/05/09 15:05:32.15 fFup5tOX.net
￥
322:￥
17/05/09 15:05:52.88 fFup5tOX.net
￥
323:￥
17/05/09 15:06:12.02 fFup5tOX.net
￥
324:￥
17/05/09 15:06:32.45 fFup5tOX.net
￥
325:￥
17/05/09 15:06:56.78 fFup5tOX.net
￥
326:￥
17/05/09 15:07:23.09 fFup5tOX.net
￥
327:￥
17/05/09 15:07:43.43 fFup5tOX.net
￥
328:１３２人目の素数さん
17/05/09 16:12:16.22 dYaUzi4G.net
URLﾘﾝｸ(twitter.com)
ベスト18決勝トーナメント1回戦後の3位のトルコ相手に苦戦敗退。西澤の宇宙開発等。
定員17人と言えば中1担任に気象大学校薦められたが高卒多いし気象庁…
URLﾘﾝｸ(twitter.com)
左ストッパー帝京の中田浩二ヒデにも苦言しかし悪く無い様なそうでも無い様な。決勝点に絡むディフェンダー元中盤。
右ボランチ明神のカバーの時の股抜き警戒もアップしようかな。股を半閉じするのがプロい。
329:１３２人目の素数さん
17/05/09 16:14:20.02 dYaUzi4G.net
高校2年上に宮本のチームメートも居たクラスメートが文学部で同学年1年の担任も高校のクラスメートが代表。
330:１３２人目の素数さん
17/05/09 16:23:38.58 dYaUzi4G.net
URLﾘﾝｸ(twitter.com)
真似るのが好きフラットスリーはウィキには日本だけが実装した事に成ってるけど静学が凄い
攻撃が一人増えるだけで凄い速いだよね全体が強いて言えば走る�
331:覧｣が長いけど。皆で走る誰かだけどか人次第だからねえ。
332:１３２人目の素数さん
17/05/09 16:44:08.64 w8gBkmJW.net
陽気のせいか、おかしなのが涌いているな。
精神科は忙しいのだろうか。
333:１３２人目の素数さん
17/05/09 17:00:41.29 dYaUzi4G.net
>>322
URLﾘﾝｸ(twitter.com)
334:１３２人目の素数さん
17/05/09 17:25:47.37 dYaUzi4G.net
静学の9番坂本紘司とか20番明神とか大胆にこう誰でもアクセスする時代にネタが意外に捗ら無いのう。
10番が高山春香そっくりだったのはまあ以下記述静学も貼るか…
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(twitter.com)
習志野から千葉大理系にに推薦で千葉勢プロ処か海外移籍までした広山望が近い頭の中身が福田が同僚とか人口密度の数学は酷い物だった。
335:１３２人目の素数さん
17/05/09 17:34:24.62 dYaUzi4G.net
2000年、当時のU-23兼日本代表監督であったフィリップ・トルシエの高い評価を受け、シドニーオリンピック代表に選出された。
また、この年A代表にも選出されアジアカップでは2得点を挙げ、日本代表のアジア制覇に貢献。
指揮官は「完璧なチームとは、8人の明神と3人のクレイジーな選手で構成される」、
「3人の個性派に、8人の明神がいればチームはできる」、
「8人の明神と3人の天才がいれば勝てる」といったニュアンスの発言を残し、
組織的な日本のチームにおいて不可欠な選手であると絶賛した。
以後、トルシエジャパンのレギュラーの座を獲得、2002 FIFAワールドカップでも3試合に出場し、日本代表初の決勝トーナメント進出に貢献した。
336:１３２人目の素数さん
17/05/09 17:38:02.82 dYaUzi4G.net
創価中村外しの事なんだけど↑中村は運動量とキープが無さ過ぎてねえ4人目の天才は確かに魅力的何だけどアレックスが超ダークホース
本当に色々流れで全く本質がバレて無くてプロい人は中村とアレックスが左利きなのが話題に成るとニヤリ中村よりアレックスなのだよ。
URLﾘﾝｸ(twitter.com)
URLﾘﾝｸ(twitter.com)
337:１３２人目の素数さん
17/05/09 18:56:57.36 OTxIyGYI.net
ある自然数nまでの全ての自然数(1~n)の持つそれぞれの全ての約数の数の和を表す式はありますか。
今のところみつかっていないでしょうか。
338:１３２人目の素数さん
17/05/09 18:57:16.66 OTxIyGYI.net
あげ
339:１３２人目の素数さん
17/05/09 19:05:35.21 OTxIyGYI.net
いや違う...間違えた、なんて言えば良いんだろう。
今聞いたことは式が解ってるんだが。
1~nまでのそれぞれの全ての約数の数の和が解っているとして
約数が重なる(同じ数になる)nに対する比は解りますか。
340:１３２人目の素数さん
17/05/09 19:19:48.91 zzdC12s0.net
約数の数の和？ 約数の和？
約数が重なる？ 約数の和が重なる？ 約数の数の和が重なる？
nに対する比？ nに対する何の比？
341:１３２人目の素数さん
17/05/09 19:19:52.06 GiSXOdEa.net
nのそれぞれの全ての約数の数の和はxとして
約数が重なって同じ数になるxに対する比は表せますか。
nを4とします 約数の和は5ですね。 4の所で約数が重なっているので２つで１つとカウントして 約数を持つ数は4になります と言うことで比は4/5ですが
1*1 2*1 3*1 2*2 4*1
それは即ち素数の数を表します。
xに対する重なりを考えた比は解りますか。
つまりnまでのxの中の重なる回数がわかればいいのです。
342:１３２人目の素数さん
17/05/09 19:26:49.05 GiSXOdEa.net
>>331
間違えた素数になるには少し1の倍数として表す事を除外する式を取りますが気にしないでください。nにたいするxの重なる回数が解ればちゃんと4までの素数の数が解りますので。
今解っているのはnまでのxを表す式であり
解って無いのが重なる回数です。
343:１３２人目の素数さん
17/05/09 19:30:51.11 GiSXOdEa.net
約数の個数と言うべきですね。
自然数nまでのそれぞれの自然数が持ちうる約数の個数のnまでの和をxとします。とxについて注釈します
344:１３２人目の素数さん
17/05/09 19:58:13.09 dYaUzi4G.net
フランス大統領が39歳か少し嫉妬するでも何かしてくれると期待してる
345:１３２人目の素数さん
17/05/09 20:00:34.49 aQPTG8Lu.net
>>327
日本語で書けない問題を出すなって（笑）。
ちゃんとした数式にもならないんだろ？
346:１３２人目の素数さん
17/05/09 20:13:04.58 GiSXOdEa.net
>>335
まあ、いいわ。
人の事舐めすぎてる。
347:１３２人目の素数さん
17/05/09 22:45:03.03 MJzS3ReC.net
2変数関数のグラフについての質問です
f(x、y)=sinx
このように2変数関数なのにyがない、xがないといったものはグラフをどう作成したらいいのでしょうか
348:１３２人目の素数さん
17/05/09 22:45:35.88 AvYyuqoO.net
難しいね
349:１３２人目の素数さん
17/05/09 22:51:21.94 kci/HQSa.net
平面 y=0 に書いた曲線のグラフを平行移動してできる曲面
350:１３２人目の素数さん
17/05/09 23:17:06.24 V7F2Tlsj.net
>>339
元々この2変数関数のグラフの作成が苦手で…
だいたいでいいので図を付けてもらえませんか？
351:１３２人目の素数さん
17/05/09 23:21:49.80 kci/HQSa.net
URLﾘﾝｸ(www.wolframalpha.com)(x,y)+%3D+sin(x)
352:１３２人目の素数さん
17/05/09 23:23:06.48 V7F2Tlsj.net
>>341
ありがとうございました
353:１３２人目の素数さん
17/05/09 23:49:16.97 V7F2Tlsj.net
もう一度いいでしょうか？
自分はこんな感じの図にグラフを書き込んでますが、>>341だとどうなってますか？
自分の書いたものみたいな略図かなにか書いてもらえますか？
(要は軸が知りたいです)
354:１３２人目の素数さん
17/05/10 00:40:09.13 /2XxUCj3.net
GeoGebraなりなんなりを使って自分でやれ
355:１３２人目の素数さん
17/05/10 00:48:31.54 h3EUagOE.net
>>341 リンク先の 3D plot: という図が
もろにそんなグラフだけど？
356:１３２人目の素数さん
17/05/10 04:47:20.30 BUpoB8Uj.net
何かを勘違いしてるかもしれないから念のため
「f(x,y)のグラフ」といったときは
z=f(x,y)のグラフを指す
ここで、z=f(x,y)=sinx (+0y)のグラフは
どこでy軸に垂直に切っても（つまりyを固定しても）z=sinxになるようなグラフ
よって、z=sinxをy軸方向に平行移動したグラフ
357:１３２人目の素数さん
17/05/10 10:36:41.16 5mNIyMJa.net
確率の問題です
うんこしてそれがゲリのときちんぽが勃起している確率を求めよ
ベイズの定理を使ってください
358:１３２人目の素数さん
17/05/10 11:11:47.50 S/a62r8B.net
13.5％
359:１３２人目の素数さん
17/05/10 18:59:41.47 R9btrMy7.net
>>347
良く出来ました！
360:￥
17/05/11 17:06:46.24 CRQs9fzc.net
￥
361:￥
17/05/11 17:07:05.87 CRQs9fzc.net
￥
362:￥
17/05/11 17:07:26.35 CRQs9fzc.net
￥
363:￥
17/05/11 17:07:47.17 CRQs9fzc.net
￥
364:￥
17/05/11 17:08:08.42 CRQs9fzc.net
￥
365:￥
17/05/11 17:08:28.65 CRQs9fzc.net
￥
366:￥
17/05/11 17:08:50.14 CRQs9fzc.net
￥
367:￥
17/05/11 17:09:14.30 CRQs9fzc.net
￥
368:￥
17/05/11 17:09:34.84 CRQs9fzc.net
￥
369:￥
17/05/11 17:09:57.22 CRQs9fzc.net
￥
370:１３２人目の素数さん
17/05/13 18:19:23.98 xVGeyVv1.net
x_1*y_1-3*x_2*y_2+x_1*y_3-x_3*y_2 で示されるスカラー積をもつR^3の部分空間を求めよ。
371:１３２人目の素数さん
17/05/13 19:11:06.36 /Cd0OeGn.net
(x_1)(y_1)-3(x_2)(y_2)+(x_1)(y_3)-(x_3)(y_2) = (x^T)Ay,
x = (x_1,x_2,x_3)^T,
y = (y_1,y_2,y_3)^T,
A = [ 1 0 1
0 -3 0
0 -1 0 ]
と置くとき
372:、 0 = det(A-λI) = (1-λ)(3+λ)λ ⇔ λ = 1,-3,0。 A の正の固有値は λ = 1 だけだが、その固有空間は Ax = 1x ⇔ x = (r,0,0),r∈R。 R^3 の部分線型空間で x・y = (x^T)Ay を内積に持つものは、 {(r,0,0) | r∈R}。
373:￥
17/05/14 06:22:21.57 fNprJr1l.net
￥
374:￥
17/05/14 06:22:44.28 fNprJr1l.net
￥
375:￥
17/05/14 06:23:10.35 fNprJr1l.net
￥
376:￥
17/05/14 06:23:37.22 fNprJr1l.net
￥
377:￥
17/05/14 06:24:02.78 fNprJr1l.net
￥
378:￥
17/05/14 06:24:24.82 fNprJr1l.net
￥
379:￥
17/05/14 06:24:47.99 fNprJr1l.net
￥
380:￥
17/05/14 06:25:12.53 fNprJr1l.net
￥
381:￥
17/05/14 06:25:38.92 fNprJr1l.net
￥
382:￥
17/05/14 06:26:02.56 fNprJr1l.net
￥
383:１３２人目の素数さん
17/05/16 17:20:50.78 F2R+hF8Z.net
lim(x、y)→∞の(x^2+y^2)/(1+x^2+y^2)
この極限値を求めよ
lim(x、y)→(0、0)の(x^2-y^2)/(x^2+y^2)
この極限値を求めよ
384:１３２人目の素数さん
17/05/16 17:21:05.57 F2R+hF8Z.net
>>372
やり方も合わせてお願いします
385:１３２人目の素数さん
17/05/16 19:22:16.72 xiWonIwd.net
こんな簡単なの自分で考えてやれ
できないなら数学は諦めろ
386:１３２人目の素数さん
17/05/17 03:55:59.13 hcR8XvNK.net
>>374
^_^
387:１３２人目の素数さん
17/05/17 18:40:33.18 GacxxPC4.net
>>372
極座標変換x=rcosθ,y=rsinθによって、
(x^2+y^2)/(1+x^2+y^2)=(r^2)/(1+r^2)→1。
(x^2-y^2)/(x^2+y^2)=cosθこれはr→∞で収束しない。
388:１３２人目の素数さん
17/05/17 18:41:59.09 GacxxPC4.net
訂正：
r→0で収束しない。
389:１３２人目の素数さん
17/05/19 12:57:25.74 TfuwQeBO.net
どこが大学以上やねん
390:１３２人目の素数さん
17/05/19 19:49:40.35 1XXgf0CE.net
最近の高校では、この程度もやらないんじゃないの？
時代だよ。
391:１３２人目の素数さん
17/05/19 21:10:40.46 6Ff/CjsZ.net
>>376
重箱の隅 すまん。当然単純誤植だが、高校生のために
(x^2-y^2)/(x^2+y^2)=cos2θ
かな。結論は変わらずだが
URLﾘﾝｸ(ja.wikipedia.org)
三角関数の公式の一覧
倍角・三倍角・半角の公式
cos2θ＝(cosθ)^2 - (sinθ)^2
392:１３２人目の素数さん
17/05/19 21:38:22.31 6Ff/CjsZ.net
>>372
ついでに、高校生向け
１）
(x^2+y^2)/(1+x^2+y^2) は、”x^2+y^2”が繰り返し出てくるから、t=x^2+y^2 とおいて
(x^2+y^2)/(1+x^2+y^2)＝t/(1+t) に書き直して、ｔ→∞で簡単
２）
(x^2-y^2)/(x^2+y^2)は、t=y/x と置いて、分母分子をx^2で割ると
(x^2-y^2)/(x^2+y^2)＝(１-t^2)/(１+t^2) になる。>>376を知っていると、これが0～1の間の値を取ることが分かるし、知らなくても、グラフを描くと分かる
>>376を知っていると、t=y/x は、t=tanθによるcos2θ倍角公式なんだけど URLﾘﾝｸ(ja.wikipedia.org)
しかし、極座標変換は知っていないと思いつかないと思うだろ？ 普通の高校生レベルだと・・
が、(x^2-y^2)/(x^2+y^2)は、同次多項式というやつなんで、下記ご参照。t=y/x で 「変数を減らして考え」るのは、これも大学受験テクやね
URLﾘﾝｸ(www.hmg-gen.com)
同次式を解説します-高校数学の勉強法 2009 偏差値４５から５５を目指す！学年で真ん中より上を目指す人のための高校数学勉強法
(抜粋)
同次式って知っていますか？文字のごとく次数の同じ式のことを同次式といいます。
数学では変数が多いほど考えにくいので変数を減らせるときは変数を減らして考えていきます。今回、 解説をする同次式も変数を減らす方法のひとつです。
同次式は、大学受験に出てくるにもかかわらず「理解できていない」どころか「知らない」という人が多いです。
プリントを見てもらえば分かると思いますが、知っていればそれほど難しい単元ではありません。これを機に 同次式を理解してしまいましょう。
393:１３２人目の素数さん
17/05/19 21:43:46.44 oGidh5P3.net
ガロア爺さん
394:１３２人目の素数さん
17/05/20 04:42:03.73 Ag2Ph0EO.net
同次式から同次因子を括り出すとき、
代数的にやると式の対称性が崩れる。
２変数同次式を極座標変換で扱うのは、
三角関数の対称性を使って式の対称性を保つ小技。
395:１３２人目の素数さん
17/05/20 19:25:09.65 D6T3Guen.net
>>333
オイラーの定数ガンマと言う本の日本語訳版より
132項~133項より
1838年ルジューヌ ディリクレが1からnまでの全ての整数の約数の平均個数はnが大きくなると
In(n)+2Γ-1 に近づくとのこと
In(1000)+2Γ-1は7.06219...
自然数nまでの厳密な重なる回数は示せないから意味ないが。
396:１３２人目の素数さん
17/05/21 13:42:53.09 yJJJjKga.net
>>383
「２変数同次式を極座標変換で扱うのは、
三角関数の対称性を使って式の対称性を保つ小技。」だが
２変数でしか使えない弱点がある
あと、>>381 " ”x^2+y^2”が繰り返し出てくるから、t=x^2+y^2 とおいて"も、 ”t=y/x と置いて”も
「２変数を１変数に纏める」という視点から見ると
共通するものが見えるだろう
397:１３２人目の素数さん
17/05/21 21:32:44.95 2Svo4lPI.net
Differential Equationでよく見る記法について質問です。
dy/dx = f(x , y)というような書き方(yはxの関数)をよく見ますが、xが確定すればyが定まるのになぜf(x)ではなくf(x, y)と書くのでしょうか。
398:１３２人目の素数さん
17/05/21 22:37:05.92 8pI6rQ4p.net
y=f(x)の形に直せない関数でもg(x,y)=0という形で表せるから
399:１３２人目の素数さん
17/05/21 22:43:46.96 2mGRzcUc.net
f(x,y)=x^2+y^2
f(x)=x^2
400:１３２人目の素数さん
17/05/21 23:50:04.16 1wi+rVXr.net
対称性や式の見栄えに拘るよりも、便利で
計算が簡単になる応用性の高い技法なんだけど、
下品だし工学ぽくてやや鼻につくな、と。
401:１３２人目の素数さん
17/05/21 23:53:46.40 1wi+rVXr.net
あ、>>389 は >>3
402:85 宛ね。 >>386 微分方程式は、未知関数を定義するためのもので、 dy/dx = f(x , y) と書く f は既知関数。 y が x の関数だから dy/dx = f(x , y) = g(x) と 書いたなら、g も y 同様の未知関数になってしまう。
403:１３２人目の素数さん
17/05/22 07:41:52.77 0yI+BCI1.net
>>389
>下品だし工学ぽくてやや鼻につくな、と。
その批判は数学的には全くの的外れ（＾＾
>>372の問題を修正して
lim(x、y)→∞の(x^n+y^n)/(1+x^n+y^n)
lim(x、y)→(0、0)の(x^n-y^n)/(x^n+y^n)
ここに、n>2の自然数としました。
>>381の手法でなら解ける
が、>>376の極座標変換x=rcosθ,y=rsinθでは、訳分からんことになるよ
404:１３２人目の素数さん
17/05/22 11:01:11.92 ub6TXlML.net
>>388
dy/dx = x^2 + y^2 なら
xx/2 = X,
-(1+2xy)/xx = U,
とおくと
dU/dX = -(1/2)UU -U/X +1/(8XX) -2,
d(U + 1/X)/dX = -(1/2)(U + 1/X)^2 -3/(8XX) -2,
これは Riccati形 なので
U = {c[J_(-3/4)(X) + J_(5/4)(X)] + [Y_(-3/4)(X) + Y_(5/4)(X)]} / {cJ_(1/4)(X) + Y_(1/4)(X)},
J_n(X)、Y_n(X) はBessel関数、cは定数。
と容易に解ける。
dy/dx = x^2 はどう解くんだろう？
405:１３２人目の素数さん
17/05/22 11:38:06.54 5AQoJ7PG.net
アホか、例だよ
406:１３２人目の素数さん
17/05/22 12:14:26.96 5AQoJ7PG.net
>dy/dx = x^2 はどう解くんだろう？
ネタだろう（笑）
407:１３２人目の素数さん
17/05/22 13:40:27.61 IwOEwQUf.net
>>391
＞lim(x、y)→∞の(x^n+y^n)/(1+x^n+y^n)
＞lim(x、y)→(0、0)の(x^n-y^n)/(x^n+y^n)
＞極座標変換x=rcosθ,y=rsinθでは、訳分からんことになるよ
へえー
408:１３２人目の素数さん
17/05/22 15:33:48.97 .net
サイコロを振った時に1の目が出る確率は1/6
これが事実（事実とは何かという言葉の定義はおいておこう）であることは疑いが無い
何で「1の目は出るか出ないかのどちらかしか無いから1/2」と答えたらだめなんですか？
この疑問を“論 理 的 に”論破してもらえますか？
409:１３２人目の素数さん
17/05/22 15:36:48.27 .net
「サイコロを振った時に出る可能性のある目は1，2，3，4，5，6であり、そのうちの1が求める場合だから1/6」
ええそうですね
私が聞きたいのは「なんでそんな解釈やロジックを採用することがこの文脈において正しいんですか」と言うことです
なぜここで「1の目は出るか出ないかのどちらかしか無い」というロジックを採用してはだめなんですか？
410:１３２人目の素数さん
17/05/22 15:40:48.32 6j80gEZq.net
ID消して質問することか？
411:１３２人目の素数さん
17/05/22 16:16:25.54 nkmKvz8G.net
IDが変わるまで待てなかったんだろう
412:１３２人目の素数さん
17/05/22 19:17:35.88 fmAIUY0X.net
べつに1/2で定義してもいいんじゃね？観測と合わないだけで困るのは定義した本人だけだから。
413:１３２人目の素数さん
17/05/22 19:29:41.26 IwOEwQUf.net
二封筒のスレへ帰れよ。
ここは、お前のような奴が出入りする場所じゃない。
>>396 の最も論理的、数学的な答えは、
それが「サイコロ」の定義だから。
これがわからない奴が、
紙に線をひいて「幅がある」とかほざくんだよ。
414:１３２人目の素数さん
17/05/22 21:23:43.68 794pu3PV.net
ord（2^4）3、ord（5^4）3って、どうなりますか？
415:１３２人目の素数さん
17/05/22 21:34:14.46 IiRvCcC1.net
>>401
いや、数え上げ確率測度の
416:１３２人目の素数さん
17/05/22 21:57:57.85 u14ztC9R.net
>>396
根元事象を理解していないか、確率の定義が異なるかのどっちか。
417:１３２人目の素数さん
17/05/22 23:04:42.03 IwOEwQUf.net
サイコロの定義が異なるんだと思うがな。
418:１３２人目の素数さん
17/05/23 01:02:01.64 0csr0lNr.net
荒らしに理由は無い
419:￥
17/05/23 17:24:43.28 Tswa3W3t
420:.net
421:￥
17/05/23 17:25:00.05 Tswa3W3t.net
￥
422:￥
17/05/23 17:25:17.76 Tswa3W3t.net
￥
423:￥
17/05/23 17:25:34.22 Tswa3W3t.net
￥
424:￥
17/05/23 17:25:53.79 Tswa3W3t.net
￥
425:￥
17/05/23 17:26:14.60 Tswa3W3t.net
￥
426:￥
17/05/23 17:26:35.91 Tswa3W3t.net
￥
427:￥
17/05/23 17:26:57.67 Tswa3W3t.net
￥
428:￥
17/05/23 17:27:20.40 Tswa3W3t.net
￥
429:￥
17/05/23 17:27:45.14 Tswa3W3t.net
￥
430:１３２人目の素数さん
17/05/24 02:33:12.51 1k0wYyUO.net
大学以上ではないですが
他にないのでここで質問します。
ネットにもありませんでした。
本を買って調べる予定ですが 知りたい事が書いてあるか解りません。
リーマン予想は
リーマン予想の式によって、もしリーマン予想が正しければ
今発見されている最大の素数の次の素数が幾つか解るのでしょうか。
リーマン予想が正しくないとして
今まで見つかった全ての素数を順番に表す式が たった1つの次の素数を外すなどと言う式が存在するのでしょうか
431:１３２人目の素数さん
17/05/24 02:58:34.02 1k0wYyUO.net
URLﾘﾝｸ(tsujimotter.hatenablog.com)
このサイト観たのですが
(与えられた数より少ない数の素数の個数が解る)と言うならば
順番に自然数の数を1ずつ増やしていき
その自然数に対して
式が与える素数の個数が1つ増えた時が次の素数なので 解りますね。
別のサイトでみたのですが
与えられた数が素数かを判定するのは容易らしいのですが
それらの話を式の理解がないなしろ纏めて
リーマン予想で素数の個数がわかるので
上記の方法で次の素数が解ることになるとして
ニュースで今まで見つかった素数より更に大きい素数を発見したと言うニュースが無いのは何故なのでしょうか
432:１３２人目の素数さん
17/05/24 03:23:04.90 siLrD/Fa.net
与えられた数が素数かを判定するのは容易ではないのですね
数年かかるみたいな話を読みました。
でもその話にはメルセンヌ素数として探したと書いてありました。
何故、リーマン予想の式を使って 素数を探さないのですか。
メルセンヌの式には素数でない外れもありますよね。
433:１３２人目の素数さん
17/05/24 11:03:00.85 REXSP3Fp.net
>>418
ID:1k0wYyUOさん、どうも。
このURLの 「2014-06-29 リーマンの素数公式を可視化する tsujimotterのノートブック 日曜数学者 tsujimotter の「趣味で数学」実践ノート」
の内容は、間違いなく大学以上やね
リーマンの素数公式を可視化する URLﾘﾝｸ(tsujimotter.info)
「使用する零点の数が増えるに従って、だんだんと個数関数に近づいていくようすが見て取れます。この辺りの面白さは実際に見てみないと分からない感覚だと思います。」
をやってみて、感動したね～。＋１づつやると・・、面白い！感動したね～（＾＾
ところで、ID:1k0wYyUOさんは、>>396-397のサイコロくんかな？
間違っていたらごめん。文体とか雰囲気が似ていたから
サイコロくんの質問は、大学未満でスレチだが
ついでなので、後で私の意見を書いておくよ
434:１３２人目の素数さん
17/05/24 11:10:15.90 phTG5b9F.net
>>420
こんにちは
サイコ野郎ではないです
435:１３２人目の素数さん
17/05/24 11:20:33.52 REXSP3Fp.net
>>396-397
サイコロくんの質問は、大学未満でスレチだが、ついでに（＾＾
＜コメント＞
１．”「サイコロを振った時に1の目が出る確率は1/6」 これが事実（事実とは何かという言葉の定義はおいておこう）であることは疑いが無い”が不成立
２．疑いありですよ！！ 例えば、下記イカサマサイコロ
URLﾘﾝｸ(gigazine.net) 2010年09月16日 15時44分02秒 イカサマ用サイコロの簡単な作り方 Gigazine
３．だから、「サイコロを振った時に1の目が出る確率は1/6」は定義です。”正しいサイコロ”に対する確率として。正しいとは”理想のサイコロ”だと。
（補足：上記 ”イカサマ用サイコロの簡単な作り方”にあるように、現実に目の前のサイコロが完全に”理想のサイコロ”かどうかを検証することは難しい。なので、日常の友達との間では（除くヤクザの博打）「サイコロを振った時に1の目が出る確率は1/6」は定義です。）
４．定義だから、”「1の目は出るか出ないかのどちらかしか無いから1/2」と答えたらだめ”だと
（補足：「1枚の宝くじ。当たるか当たらないかしか無いから1/2」と考える人ははいない。当たる確率の定義：＝当たりくじの枚数／全発行枚数 です。）
436:１３２人目の素数さん
17/05/24 11:21:32.68 REXSP3Fp.net
>>421
そうなのか、失礼した
437:１３２人目の素数さん
17/05/24 11:31:27.21 REXSP3Fp.net
>>417
>大学以上ではないですが
>他にないのでここで質問します。
一応、
分からない問題はここに書いてね426 ｽﾚﾘﾝｸ(math板)
がある
高校数学の質問スレPart397 ｽﾚﾘﾝｸ(math板)
もあるが、質問は高校以上大学未満かな？（＾＾
だが、２CHには過大な期待をしないように
下記が、質的には上と思うよ
>ネットにもありませんでした。
一応あるよ
数学問題に関するQ&A - Yahoo!知恵袋 URLﾘﾝｸ(chiebukuro.yahoo.co.jp)
大学数学 回答受付中の質問 - Yahoo!知恵袋 URLﾘﾝｸ(chiebukuro.yahoo.co.jp)
数学の質問一覧 | 教えて!goo URLﾘﾝｸ(oshiete.goo.ne.jp)
438:１３２人目の素数さん
17/05/24 11:48:47.44 REXSP3Fp.net
>>424 補足
直接回答ではないが、関連情報４つ（ほとんど知っていると思うが）
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
(抜粋)
i_love_nagoya_daganaさん2010/9/2308:17:35 Yahoo!知恵袋
素数を求める公式はありますか？
ベストアンサーに選ばれた回答 gotokotaro510さん 2010/9/23
マチャセビッチの多項式と呼ばれる
１９変数の多項式f(a,b,c,d,e,g,h,i,j,k,m,n,p,q,r,s,t,u,z)があります。
これは次のような性質を持つ、「素数を表す多項式」です。
マチャセビッチの多項式の性質
１９個の変数a,b,c,d,e,g,h,i,j,k,m,n,p,q,r,s,t,u,zに自然数を代入したとき、
f(a,b,c,d,e,g,h,i,j,k,m,n,p,q,r,s,t,u,z)が正の数となったならば、
この値は素数になります。
また、どんな素数Pに対しても、
P=f(a,b,c,d,e,g,h,i,j,k,m,n,p,q,r,s,t,u,z)
となるような１９個の自然数a,b,c,d,e,g,h,i,j,k,m,n,p,q,r,s,t,u,zが存在します。
マチャセビッチの多項式の証明は『数の世界 整数論への道』 和田秀男著 岩波書店 にあります。
URLﾘﾝｸ(ja.wikipedia.org)
素数
(抜粋)
素数生成式
多変数の高次多項式では、全ての素数を生成することができる式がいくつか知られている。例えば、k + 2 が素数となる必要十分条件は、次のディオファントス方程式が自然数解を持つことである[13]:
URLﾘﾝｸ(ja.wikipedia.org)
ウラムの螺旋
(抜粋)
素数の分布をある簡単なルールに従って2次元平面に並べ、可視化したものである。これにより、いくつかの二次多項式が非常に多くの素数を生成する傾向にあることが容易に示される。これは1963年、数学者のスタニスワフ・ウラムによって発見された。
URLﾘﾝｸ(ja.wikipedia.org)
素数の一覧
439:１３２人目の素数さん
17/05/24 12:19:29.78 OVAYTzvP.net
マチャセビッチではないですが、他の素数生成式（26変数）について
URLﾘﾝｸ(integers.hatenablog.com)
の最後の方で「２」を生成する具体的な変数を求めているのがなかなか笑える。
440:１３２人目の素数さん
17/05/24 12:59:14.99 REXSP3Fp.net
>>426
情報ありがとう
面白いね（＾＾
441:１３２人目の素数さん
17/05/24 20:01:46.48 DFToadP5.net
A = (a_i_j) を n 次正方行列とする。
σ、 τ ∈ S_n とする。
n 次正方行列 (a_σ(i)_τ(j