- 1 名前：１３２人目の素数さん [2016/08/04(木) 13:35:31.47 ID:BiQqH1x/.net]
- 大学で習う数学に関する質問を扱うスレ
・質問する前に教科書や参考書を読むなりググるなりして
・ただの計算は
wolframalpha.com
・数式の表記法は
mathmathmath.dote ra.net
・質問のマルチポストは非推奨
・煽り、荒らしはスルー
関連スレ
微積と線形代数のスレ2 [転載禁止]©2ch.net
wc2014.2ch.net/test/read.cgi/math/1437010047/
線形代数（初心者レベルから中級まで）
wc2014.2ch.net/test/read.cgi/math/1318252223/
分からない問題はここに書いてね416 [無断転載禁止]©2ch.net
rio2016.2ch.net/test/read.cgi/math/1469457223/
※前スレ
大学学部レベル質問スレ 2単位目
rio2016.2ch.net/test/read.cgi/math/1465307158/
- 411 名前：１３２人目の素数さん mailto:sage [2016/08/15(月) 11:23:13.41 ID:N5H1oTkt.net]
- たぶんこいつ何がおかしいのか気付いてない
- 412 名前：１３２人目の素数さん mailto:sage [2016/08/15(月) 11:31:53.82 ID:tdVmeQVW.net]
- >>369
わざわざ、
tan(x) = 2*tan(x/2) / (1 - (tan(x/2))^2)
(cos(x))^2 = = 1 / (1 + (tan(x))^2)
を使って、 cos(x) を計算しているが、どういうセンスをしているのかと言いたい。
cos(x) = 2 * (cos(x/2))^2 - 1 = 2 / (1 + (tan(x/2))^2) - 1 = 2 / (1 + t^2) - 1 = (1 - t^2) / (1 + t^2)
と計算すればいいだけの話。
- 413 名前：１３２人目の素数さん mailto:sage [2016/08/15(月) 11:43:19.05 ID:205SczkX.net]
- >>407
自分の理解力の無さをセンスの問題にすり替えるのはまあ別にいいとして、いったいどこに「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」と言われてるのでしょうか
- 414 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/15(月) 11:46:36.91 ID:8iYIg1PH.net]
- ★★★『芳雄とは何ぞや？コイツに親の資格がアルのか？
⇒息子の邪魔してるだけ。そやし焼いてしまうべき。』★★★
親ともあろうものが子供の向上心を砕き、そして近視眼的で打算的な考え
から「安全パイを取って、そして安易な人生を選択させる」なんて発想を
押し付けたらダメ。
こんな考え方をスルから国家がダメになり、そして学問が閉塞するだけ。
★★★『芳雄が頻繁に連呼する「研究者としての基本的態度」とは何ぞや？
⇒中身の安っぽさをメッキで誤魔化し、偉く見せ掛ける偽善的態度。』★★★
現役の研究者を自称する理学部教授ともあろう者が、こういう近視眼的で打算的な
考えを持つのみならず、周囲の若輩にこういう安易な態度を高圧的な物言いで押し
付けるとは何事か。しかも恩着せがましい指導者を気取り、周囲に毒を撒き散らす。
こういう無責任な卑怯者は『自らの身の処し方』をきちんと考え、死を以て逃げ切
る安易な逃亡行為を行ってはならない。きちんと自分の毒を認め、そしてソレを
広く世間に知らしめ、その恥ずかしい愚かさを深く悔いなければならない。
研究者を自称する者が、こういう『科学を冒涜する態度』は決して許されない。
芳雄の様な野郎は、粉末にナルまできちんと砕いてしまうべき。こういう無責任
で卑怯な野郎には、そのケツに「無責任と卑怯者の二つの焼き印」を焼き込んで
烙印を押し、罰とするべき。きちんと烙印を押してこういう不見識者を毒物だと
社会が認識するまでは、決して安易に見逃してはならない。こういう奴が居るか
ら日本の教育がダメになる。
￥
>>593
そうなんですか？私はそういう事は何も知らないので、ココでそれをちゃ
んと解説して貰えませんかね。もしその内容を私が理解し、そして納得し
た場合に『のみ』、その「芳雄の研究業績の素晴らしさとやら」を認めな
い事もありませんがね。あの『糞みたいな人格』は別としてですが。
￥
>593:１３２人目の素数さん 2016/08/09(火) 16:54:15.88 ID:tButZE2x
>でも芳雄は素晴らしい研究業績を残したよね
>
>そのことについては？
>
- 415 名前：１３２人目の素数さん [2016/08/15(月) 11:58:21.50 ID:tdVmeQVW.net]
- imgur.com/NYIq1GF.jpg
imgur.com/YKcw7lz.jpg
imgur.com/PNClYn2.jpg
↑杉浦光夫をまた見てみました。
見ただけで読んでいませんが、
>>400
の疑問に答えているようですね。
評判がいいだけあって、杉浦光夫の本は「痒い所に手が届く」いい本ですね。
- 416 名前：１３２人目の素数さん [2016/08/15(月) 12:03:24.86 ID:tdVmeQVW.net]
- imgur.com/abRmBLb.jpg
↑の一松信の
- 417 名前：定義だと、軌跡 C は同じだけど、曲線としては異なるのだから、
長さが異なっていても問題ない、というような態度ですね。
杉浦は一歩踏み込んでいて良心的ですね。 [] - [ここ壊れてます]
- 418 名前：１３２人目の素数さん mailto:sage [2016/08/15(月) 12:06:29.76 ID:205SczkX.net]
- 自分の不都合な事実からは目を背けただひたすらに主張を続けるあたり、貴方には議員が向いてますね
もしかしてあなた元都知事ですかい？
- 419 名前：１３２人目の素数さん [2016/08/15(月) 12:10:52.92 ID:Vn6mltEJ.net]
- mapを「曲線」と呼ぶなら足立流で問題ないが、軌跡（点集合）を「曲線」と呼ぶなら
map依存のまま話を続けるか、map依存しないことを示さないとダメだな
- 420 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/15(月) 12:33:52.05 ID:8iYIg1PH.net]
- ★★★『芳雄とは何ぞや？コイツに親の資格がアルのか？
⇒息子の邪魔してるだけ。そやし焼いてしまうべき。』★★★
親ともあろうものが子供の向上心を砕き、そして近視眼的で打算的な考え
から「安全パイを取って、そして安易な人生を選択させる」なんて発想を
押し付けたらダメ。
こんな考え方をスルから国家がダメになり、そして学問が閉塞するだけ。
★★★『芳雄が頻繁に連呼する「研究者としての基本的態度」とは何ぞや？
⇒中身の安っぽさをメッキで誤魔化し、偉く見せ掛ける偽善的態度。』★★★
現役の研究者を自称する理学部教授ともあろう者が、こういう近視眼的で打算的な
考えを持つのみならず、周囲の若輩にこういう安易な態度を高圧的な物言いで押し
付けるとは何事か。しかも恩着せがましい指導者を気取り、周囲に毒を撒き散らす。
こういう無責任な卑怯者は『自らの身の処し方』をきちんと考え、死を以て逃げ切
る安易な逃亡行為を行ってはならない。きちんと自分の毒を認め、そしてソレを
広く世間に知らしめ、その恥ずかしい愚かさを深く悔いなければならない。
研究者を自称する者が、こういう『科学を冒涜する態度』は決して許されない。
芳雄の様な野郎は、粉末にナルまできちんと砕いてしまうべき。こういう無責任
で卑怯な野郎には、そのケツに「無責任と卑怯者の二つの焼き印」を焼き込んで
烙印を押し、罰とするべき。きちんと烙印を押してこういう不見識者を毒物だと
社会が認識するまでは、決して安易に見逃してはならない。こういう奴が居るか
ら日本の教育がダメになる。
￥
>>593
そうなんですか？私はそういう事は何も知らないので、ココでそれをちゃ
んと解説して貰えませんかね。もしその内容を私が理解し、そして納得し
た場合に『のみ』、その「芳雄の研究業績の素晴らしさとやら」を認めな
い事もありませんがね。あの『糞みたいな人格』は別としてですが。
￥
>593:１３２人目の素数さん 2016/08/09(火) 16:54:15.88 ID:tButZE2x
>でも芳雄は素晴らしい研究業績を残したよね
>
>そのことについては？
>
- 421 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/15(月) 13:03:30.07 ID:8iYIg1PH.net]
- ￥
- 422 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/15(月) 13:03:48.56 ID:8iYIg1PH.net]
- ￥
- 423 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/15(月) 13:04:06.77 ID:8iYIg1PH.net]
- ￥
- 424 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/15(月) 13:04:25.12 ID:8iYIg1PH.net]
- ￥
- 425 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/15(月) 13:04:44.42 ID:8iYIg1PH.net]
- ￥
- 426 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/15(月) 13:05:02.93 ID:8iYIg1PH.net]
- ￥
- 427 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/15(月) 13:05:21.62 ID:8iYIg1PH.net]
- ￥
- 428 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/15(月) 13:05:44.84 ID:8iYIg1PH.net]
- ￥
- 429 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/15(月) 13:06:03.47 ID:8iYIg1PH.net]
- ￥
- 430 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/15(月) 13:06:23.03 ID:8iYIg1PH.net]
- ￥
- 431 名前：￥ ◆2VB8wsVUoo mailto:age [2016/08/15(月) 15:53:59.72 ID:8iYIg1PH.net]
- ￥
- 432 名前：１３２人目の素数さん mailto:sage [2016/08/15(月) 17:03:10.31 ID:1X2Hsh1j.net]
- >>407
>>411
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 433 名前：￥ ◆2VB8wsVUoo mailto:age [2016/08/15(月) 17:48:25.64 ID:8iYIg1PH.net]
- ￥
- 434 名前：１３２人目の素数さん [2016/08/15(月) 20:04:20.16 ID:tdVmeQVW.net]
- imgur.com/YfjSyK3.jpg
imgur.com/W3tkHDV.jpg
imgur.com/JAglcbB.jpg
imgur.com/uZB1jpe.jpg
↑は例の京都大学名誉教授の本に載っているワイエルシュトラスの多項式近似定理の証明です。
非常に面白い定理ですね。
f(x) = x (0 ≦ x ≦ 1/2)
f(x) = -x + 1 (1/2 ≦ x ≦ 1)
という関数に対して、定理の証明での構成法により P_n(x) を求めることを考えます。
ε = 0.01 と控えめに設定します。
M = 1/2、 δ=ε とすればＯＫです。
M / (δ^2 * ε) < n に代入して、 n を求めると、
(1/2) / (0.01)^3 = 50万 < n
となっていまいとても実用的とは言えません。
ということでおそらく実用上は役に立たない定理かと思います。
それでは、この定理は、理論的には、どんなところで役に立つのでしょうか？
単なる面白い定理というだけの定理なのでしょうか？
- 435 名前：１３２人目の素数さん [2016/08/15(月) 20:13:52.44 ID:tdVmeQVW.net]
- ε = 0.1 ともっと控えめに設定します。
M = 1/2、 δ=ε とすればＯＫです。
M / (δ^2 * ε) < n に代入して、 n を求めると、
(1/2) / (0.1)^3 = 500 < n
これなら Mathematica に計算させてグラフを描けます。
ということで、 Mathematica にグラフを描かせてみました。
定理の証明での不等式には余裕があると思いますので、実際、どの程度の近似多項式が得られるのか興味深いところです。
↓のグラフを見て、その近似度の高さに驚きました。証明では余程贅沢に不等式を使っているんですね。
imgur.com/5ukhO16.jpg
- 436 名前：１３２人目の素数さん mailto:sage [2016/08/15(月) 20:14:05.04 ID:/K33iYji.net]
- >>428
>>407
>>411
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 437 名前：１３２人目の素数さん mailto:sage [2016/08/15(月) 20:14:32.14 ID:/K33iYji.net]
- >>429
>>407
>>411
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 438 名前：１３２人目の素数さん mailto:sage [2016/08/15(月) 20:15:51.58 ID:/K33iYji.net]
- >>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 439 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/15(月) 20:51:56.34 ID:8iYIg1PH.net]
- ★★★『芳雄とは何ぞや？コイツに親の資格がアルのか？
⇒息子の邪魔してるだけ。そやし焼いてしまうべき。』★★★
親ともあろうものが子供の向上心を砕き、そして近視眼的で打算的な考え
から「安全パイを取って、そして安易な人生を選択させる」なんて発想を
押し付けたらダメ。
こんな考え方をスルから国家がダメになり、そして学問が閉塞するだけ。
★★★『芳雄が頻繁に連呼する「研究者としての基本的態度」とは何ぞや？
⇒中身の安っぽさをメッキで誤魔化し、偉く見せ掛ける偽善的態度。』★★★
現役の研究者を自称する理学部教授ともあろう者が、こういう近視眼的で打算的な
考えを持つのみならず、周囲の若輩にこういう安易な態度を高圧的な物言いで押し
付けるとは何事か。しかも恩着せがましい指導者を気取り、周囲に毒を撒き散らす。
こういう無責任な卑怯者は『自らの身の処し方』をきちんと考え、死を以て逃げ切
る安易な逃亡行為を行ってはならない。きちんと自分の毒を認め、そしてソレを
広く世間に知らしめ、その恥ずかしい愚かさを深く悔いなければならない。
研究者を自称する者が、こういう『科学を冒涜する態度』は決して許されない。
芳雄の様な野郎は、粉末にナルまできちんと砕いてしまうべき。こういう無責任
で卑怯な野郎には、そのケツに「無責任と卑怯者の二つの焼き印」を焼き込んで
烙印を押し、罰とするべき。きちんと烙印を押してこういう不見識者を毒物だと
社会が認識するまでは、決して安易に見逃してはならない。こういう奴が居るか
ら日本の教育がダメになる。
￥
>>593
そうなんですか？私はそういう事は何も知らないので、ココでそれをちゃ
んと解説して貰えませんかね。もしその内容を私が理解し、そして納得し
た場合に『のみ』、その「芳雄の研究業績の素晴らしさとやら」を認めな
い事もありませんがね。あの『糞みたいな人格』は別としてですが。
￥
>593:１３２人目の素数さん 2016/08/09(火) 16:54:15.88 ID:tButZE2x
>でも芳雄は素晴らしい研究業績を残したよね
>
>そのことについては？
>
- 440 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 12:54:37.28 ID:lfjX8G8V.net]
- ゴミ
- 441 名前：１３２人目の素数さん [2016/08/16(火) 21:22:18.01 ID:BueGbAd9.net]
- 松坂和夫著『解析入門3』には集合論の初歩が含まれています。
R を関係としたときに、 R 左閉集合、 R 右閉集合というのが登場します。
R 閉集合の間のガロア対応というのも登場します。
微分積分と何の関係があるのだろうかと思ってしまいます。
何か関連があるのでしょうか？
- 442 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 21:35:06.95 ID:SHbz00xA.net]
- new math が流行ってた時代の衒学趣味じゃないかな
- 443 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/16(火) 21:36:36.97 ID:N2o8Q9O0.net]
- ￥
>1 ：�
- 444 名前：ｼ無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5535 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 18:53:14 ID:???
> ￥
>
>5536 ：kmath1107★ ：2016/08/13(土) 21:08:24 ID:???
> 人への念の盗み見による介入を阻め。
>
>5537 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 21:25:44 ID:???
> ￥
>
>5538 ：kmath1107★ ：2016/08/13(土) 23:23:07 ID:???
> 人への念の盗み見による介入を阻め。
>
>5539 ：kmath1107★ ：2016/08/13(土) 23:41:45 ID:???
> 人への念の盗み見による介入を阻め。
>
>5540 ：名無しさん ：2016/08/14(日) 00:05:47 ID:???
> かつて僕（増田哲也、痴漢で逮捕）が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってくれそうな先生を
> 探して各地のいろんな先生方を訪ねて回った時の事である。理論物理学を大学院で専攻しようとして理
> 論物理学の初歩をかじっていた僕（増田哲也、痴漢で逮捕）は、当時京都大学数理解析研究所に居られた超一流の理論物理学者で
> おられる中西先生にこんな質問をした事がある。
>
> 僕（増田哲也、痴漢で逮捕） ： 「理論物理学では円周率が様々な所に出てきますが、それには何か深い物理的な理由があるの
> でしょうか？」
>
> 中西先生： 「そういう事を何時も頭の片隅に置いておくのはとても大切な事です。でもそんな事ばかり
> 考えていたら研究論文が書けなくなります。研究者とはそんな甘いものではありません。」
>
> 僕（増田哲也、痴漢で逮捕） ： 「は－そうなんですか－」
>
> 結局僕（増田哲也、痴漢で逮捕）は京都大学の中西先生ではなく、別の先生に大学院の指導教官になって頂き、理論物理学ではな
> く純粋数学を専攻した。しかしこの時の中西先生のお言葉は今でも何となく「気になって」いる
>
>5541 ：名無しさん ：2016/08/14(日) 00:22:38 ID:???
> いい加減、芳雄に謝罪しろ
> [] - [ここ壊れてます]
- 445 名前：１３２人目の素数さん [2016/08/16(火) 21:43:42.84 ID:BueGbAd9.net]
- >>436
ありがとうございます。
集合・位相とか線形代数とか必要なことはすべて内容に含まれているというのは、
いいのですが、この部分は、脱線しすぎなのかもしれません。
- 446 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/16(火) 21:55:31.94 ID:N2o8Q9O0.net]
- ￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5535 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 18:53:14 ID:???
> ￥
>
>5536 ：kmath1107★ ：2016/08/13(土) 21:08:24 ID:???
> 人への念の盗み見による介入を阻め。
>
>5537 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 21:25:44 ID:???
> ￥
>
>5538 ：kmath1107★ ：2016/08/13(土) 23:23:07 ID:???
> 人への念の盗み見による介入を阻め。
>
>5539 ：kmath1107★ ：2016/08/13(土) 23:41:45 ID:???
> 人への念の盗み見による介入を阻め。
>
>5540 ：名無しさん ：2016/08/14(日) 00:05:47 ID:???
> かつて僕（増田哲也、痴漢で逮捕）が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってくれそうな先生を
> 探して各地のいろんな先生方を訪ねて回った時の事である。理論物理学を大学院で専攻しようとして理
> 論物理学の初歩をかじっていた僕（増田哲也、痴漢で逮捕）は、当時京都大学数理解析研究所に居られた超一流の理論物理学者で
> おられる中西先生にこんな質問をした事がある。
>
> 僕（増田哲也、痴漢で逮捕） ： 「理論物理学では円周率が様々な所に出てきますが、それには何か深い物理的な理由があるの
> でしょうか？」
>
> 中西先生： 「そういう事を何時も頭の片隅に置いておくのはとても大切な事です。でもそんな事ばかり
> 考えていたら研究論文が書けなくなります。研究者とはそんな甘いものではありません。」
>
> 僕（増田哲也、痴漢で逮捕） ： 「は－そうなんですか－」
>
> 結局僕（増田哲也、痴漢で逮捕）は京都大学の中西先生ではなく、別の先生に大学院の指導教官になって頂き、理論物理学ではな
> く純粋数学を専攻した。しかしこの時の中西先生のお言葉は今でも何となく「気になって」いる
>
>5541 ：名無しさん ：2016/08/14(日) 00:22:38 ID:???
> いい加減、芳雄に謝罪しろ
>
- 447 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 22:09:11.59 ID:9qu3ivfF.net]
- >>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 448 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 22:09:40.02 ID:9qu3ivfF.net]
- >>428
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 449 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 22:09:57.09 ID:9qu3ivfF.net]
- >>411
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 450 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 22:10:13.96 ID:9qu3ivfF.net]
- >>410
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 451 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 22:10:33.64 ID:9qu3ivfF.net]
- >>193
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 452 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 22:10:50.71 ID:9qu3ivfF.net]
- >>146
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 453 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 22:11:10.75 ID:9qu3ivfF.net]
- >>94
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 454 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 22:11:28.33 ID:9qu3ivfF.net]
- >>49
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 455 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 22:11:49.96 ID:9qu3ivfF.net]
- >>10
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 456 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 22:15:37.81 ID:sVyM+Zr5.net]
- f(x),g(x)∈Q[x]で
f(x)(x^3-2)+g(x)(x^2+2x+2)=1をみたすf,gをどうやって見つければいいですか？
- 457 名前：１３２人目の素数さん [2016/08/16(火) 22:25:08.93 ID:BueGbAd9.net]
- ユークリッドの互除法で求まります。
- 458 名前：１３２人目の素数さん [2016/08/16(火) 22:39:17.29 ID:BueGbAd9.net]
- f(x)(x^3-2)+g(x)(x^2+2x+2)
A := x^3 - 2
B := x^2 + 2*x +2
C := x + 1/2
とおく。
A = (x - 2)*B + (4*x + 2) = (x - 2)*B + 4*(x + 1/2) = (x - 2)*B + 4*C
B = (x + 3/2)*C + 29/16
29/16 = B - (x + 3/2)*C
4*C = A - (x - 2)*B
29/4 = 4*B - (x + 3/2)*4*C = 4*B - (x + 3/2)*{A - (x - 2)*B} = -(x + 3/2)*A + {4 + (x + 3/2)*(x - 2)}*B
29/2 = -(2*x + 3)*A + {8 + (2*x + 3)*(x - 2)}*B = -(2*x + 3)*A + (2*x^2 - x + 2)*B
1 = (-2/29)*(2*x + 3)*A + (2/29)*(2*x^2 - x + 2)*B
- 459 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/16(火) 22:40:15.68 ID:N2o8Q9O0.net]
- ￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5535 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 18:53:14 ID:???
> ￥
>
>5536 ：kmath1107★ ：2016/08/13(土) 21:08:24 ID:???
> 人への念の盗み見による介入を阻め。
>
>5537 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 21:25:44 ID:???
> ￥
>
>5538 ：kmath1107★ ：2016/08/13(土) 23:23:07 ID:???
> 人への念の盗み見による介入を阻め。
>
>5539 ：kmath1107★ ：2016/08/13(土) 23:41:45 ID:???
> 人への念の盗み見による介入を阻め。
>
>5540 ：名無しさん ：2016/08/14(日) 00:05:47 ID:???
> かつて僕（増田哲也、痴漢で逮捕）が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってくれそうな先生を
> 探して各地のいろんな先生方を訪ねて回った時の事である。理論物理学を大学院で専攻しようとして理
> 論物理学の初歩をかじっていた僕（増田哲也、痴漢で逮捕）は、当時京都大学数理解析研究所に居られた超一流の理論物理学者で
> おられる中西先生にこんな質問をした事がある。
>
> 僕（増田哲也、痴漢で逮捕） ： 「理論物理学では円周率が様々な所に出てきますが、それには何か深い物理的な理由があるの
> でしょうか？」
>
> 中西先生： 「そういう事を何時も頭の片隅に置いておくのはとても大切な事です。でもそんな事ばかり
> 考えていたら研究論文が書けなくなります。研究者とはそんな甘いものではありません。」
>
> 僕（増田哲也、痴漢で逮捕） ： 「は－そうなんですか－」
>
> 結局僕（増田哲也、痴漢で逮捕）は京都大学の中西先生ではなく、別の先生に大学院の指導教官になって頂き、理論物理学ではな
> く純粋数学を専攻した。しかしこの時の中西先生のお言葉は今でも何となく「気になって」いる
>
>5541 ：名無しさん ：2016/08/14(日) 00:22:38 ID:???
> いい加減、芳雄に謝罪しろ
>
- 460 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 22:47:21.20 ID:sVyM+Zr5.net]
- >>451
f,gはどこですか？
- 461 名前：１３２人目の素数さん [2016/08/16(火) 22:48:33.92 ID:BueGbAd9.net]
- f(x) = (-2/29)*(2*x + 3)
g(x) = (2/29)*(2*x^2 - x + 2)
です。
- 462 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 22:52:38.57 ID:sVyM+Zr5.net]
- >>454
ありがとうございます。ユークリッドの互除法ですね []- [ここ壊れてます]
- 464 名前：１３２人目の素数さん [2016/08/16(火) 22:53:13.98 ID:vxzvrQT6.net]
- 何してるのか意味不明ですが、とりあえずモニック多項式として求まりませんか？
- 465 名前：１３２人目の素数さん [2016/08/16(火) 22:59:12.38 ID:BueGbAd9.net]
- A ÷ B = (x - 2) 余り 4*C
B ÷ C = (x + 3/2) 余り 29/16
という計算をしているだけです。
- 466 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 23:01:29.79 ID:sVyM+Zr5.net]
- >>457 余り4Cですか？
- 467 名前：１３２人目の素数さん [2016/08/16(火) 23:07:29.78 ID:BueGbAd9.net]
- A ÷ B = (x - 2) 余り 4*C
という計算から、 4*C は A と B の一次結合で書けます。
B ÷ C = (x + 3/2) 余り 29/16
という計算から、 29/16 は B と C の一次結合で書けます。
つまり、
1 は B と C の一次結合で書け、
C は A と B の一次結合で書けます。
ですので、
1 は A と B の一次結合で書けます。
- 468 名前：１３２人目の素数さん [2016/08/16(火) 23:10:30.24 ID:BueGbAd9.net]
- >>458
4*C としたのは計算がしやすいと思ったから、そうしただけです。
- 469 名前：１３２人目の素数さん mailto:sage [2016/08/16(火) 23:23:18.02 ID:sVyM+Zr5.net]
- >>460
あまり4x+2ではなく2x+2になりませんか？
- 470 名前：１３２人目の素数さん [2016/08/16(火) 23:37:07.16 ID:BueGbAd9.net]
- >>461
すみません。間違っていました。
A := x^3 - 2
B := x^2 + 2*x +2
C := x + 1
とおく。
A = (x - 2)*B + (2*x + 2) = (x - 2)*B + 2*C
B = (x + 1)*C + 1
1 = B - (x + 1)*C
2*C = A - (x - 2)*B
2 = 2*B - (x + 1)*2*C = 2*B - (x + 1)*{A - (x - 2)*B} = -(x + 1)*A + {2 + (x + 1)*(x - 2)}*B = -(x + 1)*A + (x^2 - x)*B
1 = (-1/2)*(x + 1)*A + (1/2)*x*(x - 1)*B
- 471 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/16(火) 23:57:44.50 ID:N2o8Q9O0.net]
- ￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5535 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 18:53:14 ID:???
> ￥
>
>5536 ：kmath1107★ ：2016/08/13(土) 21:08:24 ID:???
> 人への念の盗み見による介入を阻め。
>
>5537 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 21:25:44 ID:???
> ￥
>
>5538 ：kmath1107★ ：2016/08/13(土) 23:23:07 ID:???
> 人への念の盗み見による介入を阻め。
>
>5539 ：kmath1107★ ：2016/08/13(土) 23:41:45 ID:???
> 人への念の盗み見による介入を阻め。
>
>5540 ：名無しさん ：2016/08/14(日) 00:05:47 ID:???
> かつて僕（増田哲也、痴漢で逮捕）が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってくれそうな先生を
> 探して各地のいろんな先生方を訪ねて回った時の事である。理論物理学を大学院で専攻しようとして理
> 論物理学の初歩をかじっていた僕（増田哲也、痴漢で逮捕）は、当時京都大学数理解析研究所に居られた超一流の理論物理学者で
> おられる中西先生にこんな質問をした事がある。
>
> 僕（増田哲也、痴漢で逮捕） ： 「理論物理学では円周率が様々な所に出てきますが、それには何か深い物理的な理由があるの
> でしょうか？」
>
> 中西先生： 「そういう事を何時も頭の片隅に置いておくのはとても大切な事です。でもそんな事ばかり
> 考えていたら研究論文が書けなくなります。研究者とはそんな甘いものではありません。」
>
> 僕（増田哲也、痴漢で逮捕） ： 「は－そうなんですか－」
>
> 結局僕（増田哲也、痴漢で逮捕）は京都大学の中西先生ではなく、別の先生に大学院の指導教官になって頂き、理論物理学ではな
> く純粋数学を専攻した。しかしこの時の中西先生のお言葉は今でも何となく「気になって」いる
>
>5541 ：名無しさん ：2016/08/14(日) 00:22:38 ID:???
> いい加減、芳雄に謝罪しろ
>
- 472 名前：１３２人目の素数さん mailto:sage [2016/08/17(水) 01:07:09.58 ID:np5ZiPWj.net]
- 流れたのでもう一度質問します
位相空間論で、一般的には(?)x∈開集合U⊂VとなるVをxの近傍とすると定義していますが、x∈開集合UとなるUをxの近傍とするという定義を見ることがたまにあります。後者の定義をすることでその後の理論においてうれしいことがあれば教えて下さい。
- 473 名前：１３２人目の素数さん mailto:sage [2016/08/17(水) 06:31:35.05 ID:b3JZ8xII.net]
- 近傍系も開近傍系も一方を定めれば他方も定まるのでどっちでもいいんじゃないの
- 474 名前：１３２人目の素数さん mailto:sage [2016/08/17(水) 10:17:39.46 ID:zlplALOY.net]
- >>464
近傍を開集合のみとする方が古い定義
開集合を含む集合とした方が、ある点の近傍全体がそのままフィルターになったり、
閉近傍、コンパクト近傍という言い方ができたりして便利
といったことが森毅の「位相のこころ」に書いてあったと思う
- 475 名前：１３２人目の素数さん [2016/08/17(水) 11:25:29.81 ID:x+29ziwT.net]
- imgur.com/YUx3O7P.jpg
imgur.com/92t4foy.jpg
↑は松坂和夫著『解析入門3』です。
定理2の系の証明はどう記述すればいいのでしょうか？
証明を書いてください。
- 476 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 11:53:34.16 ID:z7oUOJDv.net]
- ￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5535 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 18:53:14 ID:???
> ￥
>
>5536 ：kmath1107★ ：2016/08/13(土) 21:08:24 ID:???
> 人への念の盗み見による介入を阻め。
>
>5537 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 21:25:44 ID:???
> ￥
>
>5538 ：kmath1107★ ：2016/08/13(土) 23:23:07 ID:???
> 人への念の盗み見による介入を阻め。
>
>5539 ：kmath1107★ ：2016/08/13(土) 23:41:45 ID:???
> 人への念の盗み見による介入を阻め。
>
>5540 ：名無しさん ：2016/08/14(日) 00:05:47 ID:???
> かつて僕（増田哲也、痴漢で逮捕）が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってくれそうな先生を
> 探して各地のいろんな先生方を訪ねて回った時の事である。理論物理学を大学院で専攻しようとして理
> 論物理学の初歩をかじっていた僕（増田哲也、痴漢で逮捕）は、当時京都大学数理解析研究所に居られた超一流の理論物理学者で
> おられる中西先生にこんな質問をした事がある。
>
> 僕（増田哲也、痴漢で逮捕） ： 「理論物理学では円周率が様々な所に出てきますが、それには何か深い物理的な理由があるの
> でしょうか？」
>
> 中西先生： 「そういう事を何時も頭の片隅に置いておくのはとても大切な事です。でもそんな事ばかり
> 考えていたら研究論文が書けなくなります。研究者とはそんな甘いものではありません。」
>
> 僕（増田哲也、痴漢で逮捕） ： 「は－そうなんですか－」
>
> 結局僕（増田哲也、痴漢で逮捕）は京都大学の中西先生ではなく、別の先生に大学院の指導教官になって頂き、理論物理学ではな
> く純粋数学を専攻した。しかしこの時の中西先生のお言葉は今でも何となく「気になって」いる
>
>5541 ：名無しさん ：2016/08/14(日) 00:22:38 ID:???
> いい加減、芳雄に謝罪しろ
>
- 477 名前：１３２人目の素数さん [2016/08/17(水) 12:36:49.06 ID:AP9E3VWV.net]
- 最初は「こんな有名な数学者でも気づかなかった間違いを指摘できた俺すげえ、つーかこんな間違いに気づかないとかどんだけ馬鹿なの？本当に数学者？」状態だったのに、調子乗りすぎてどんどん馬鹿晒した挙句ついに>>467まで来たか
- 478 名前：１３２人目の素数さん mailto:sage [2016/08/17(水) 12:46:03.91 ID:IbYlex64.net]
- >>467
実際容易だし
- 479 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 12:55:31.73 ID:z7oUOJDv.net]
- ￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5535 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 18:53:14 ID:???
> ￥
>
>5536 ：kmath1107★ ：2016/08/13(土) 21:08:24 ID:???
> 人への念の盗み見による介入を阻め。
>
>5537 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 21:25:44 ID:???
> ￥
>
>5538 ：kmath1107★ ：2016/08/13(土) 23:23:07 ID:???
> 人への念の盗み見による介入を阻め。
>
>5539 ：kmath1107★ ：2016/08/13(土) 23:41:45 ID:???
> 人への念の盗み見による介入を阻め。
>
>5540 ：名無しさん ：2016/08/14(日) 00:05:47 ID:???
> かつて僕（増田哲也、痴漢で逮捕）が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってくれそうな先生を
> 探して各地のいろんな先生方を訪ねて回った時の事である。理論物理学を大学院で専攻しようとして理
> 論物理学の初歩をかじっていた僕（増田哲也、痴漢で逮捕）は、当時京都大学数理解析研究所に居られた超一流の理論物理学者で
> おられる中西先生にこんな質問をした事がある。
>
> 僕（増田哲也、痴漢で逮捕） ： 「理論物理学では円周率が様々な所に出てきますが、それには何か深い物理的な理由があるの
> でしょうか？」
>
> 中西先生： 「そういう事を何時も頭の片隅に置いておくのはとても大切な事です。でもそんな事ばかり
> 考えていたら研究論文が書けなくなります。研究者とはそんな甘いものではありません。」
>
> 僕（増田哲也、痴漢で逮捕） ： 「は－そうなんですか－」
>
> 結局僕（増田哲也、痴漢で逮捕）は京都大学の中西先生ではなく、別の先生に大学院の指導教官になって頂き、理論物理学ではな
> く純粋数学を専攻した。しかしこの時の中西先生のお言葉は今でも何となく「気になって」いる
>
>5541 ：名無しさん ：2016/08/14(日) 00:22:38 ID:???
> いい加減、芳雄に謝罪しろ
>
- 480 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 12:59:58.31 ID:z7oUOJDv.net]
- ￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5535 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 18:53:14 ID:???
> ￥
>
>5536 ：kmath1107★ ：2016/08/13(土) 21:08:24 ID:???
> 人への念の盗み見による介入を阻め。
>
>5537 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 21:25:44 ID:???
> ￥
>
>5538 ：kmath1107★ ：2016/08/13(土) 23:23:07 ID:???
> 人への念の盗み見による介入を阻め。
>
>5539 ：kmath1107★ ：2016/08/13(土) 23:41:45 ID:???
> 人への念の盗み見による介入を阻め。
>
>5540 ：名無しさん ：2016/08/14(日) 00:05:47 ID:???
> かつて僕（増田哲也、痴漢で逮捕）が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってくれそうな先生を
> 探して各地のいろんな先生方を訪ねて回った時の事である。理論物理学を大学院で専攻しようとして理
> 論物理学の初歩をかじっていた僕（増田哲也、痴漢で逮捕）は、当時京都大学数理解析研究所に居られた超一流の理論物理学者で
> おられる中西先生にこんな質問をした事がある。
>
> 僕（増田哲也、痴漢で逮捕） ： 「理論物理学では円周率が様々な所に出てきますが、それには何か深い物理的な理由があるの
> でしょうか？」
>
> 中西先生： 「そういう事を何時も頭の片隅に置いておくのはとても大切な事です。でもそんな事ばかり
> 考えていたら研究論文が書けなくなります。研究者とはそんな甘いものではありません。」
>
> 僕（増田哲也、痴漢で逮捕） ： 「は－そうなんですか－」
>
> 結局僕（増田哲也、痴漢で逮捕）は京都大学の中西先生ではなく、別の先生に大学院の指導教官になって頂き、理論物理学ではな
> く純粋数学を専攻した。しかしこの時の中西先生のお言葉は今でも何となく「気になって」いる
>
>5541 ：名無しさん ：2016/08/14(日) 00:22:38 ID:???
> いい加減、芳雄に謝罪しろ
>
- 481 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 14:01:36.50 ID:z7oUOJDv.net]
- ￥
- 482 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 14:01:59.46 ID:z7oUOJDv.net]
- ￥
- 483 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 14:02:23.12 ID:z7oUOJDv.net]
- ￥
- 484 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 14:02:46.71 ID:z7oUOJDv.net]
- ￥
- 485 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 14:03:12.00 ID:z7oUOJDv.net]
- ￥
- 486 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 14:03:37.37 ID:z7oUOJDv.net]
- ￥
- 487 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 14:04:02.47 ID:z7oUOJDv.net]
- ￥
- 488 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 14:04:32.27 ID:z7oUOJDv.net]
- ￥
- 489 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 14:04:51.97 ID:z7oUOJDv.net]
- ￥
- 490 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 14:05:12.46 ID:z7oUOJDv.net]
- ￥
- 491 名前：￥ ◆2VB8wsVUoo mailto:age [2016/08/17(水) 17:54:52.08 ID:z7oUOJDv.net]
- ￥
- 492 名前：１３２人目の素数さん [2016/08/17(水) 18:49:59.89 ID:x+29ziwT.net]
- >>470
証明は以下のように確かに簡単です。
ですが、定理2の「系」ですから、定理2の結果を使って証明するのが筋ではないでしょうか？
「系」というより類似の定理というのが正しいのではないでしょうか？
【証明】：
I ⊂ Z^+ と仮定してよい。
おのおのの X_i がたかだか可算であるから、その元に番号をつけて
X_i = {x_i1, x_i2, x_i3, …, x_ij}
または
X_i = {x_i1, x_i2, x_i3, …, x_ij, …}
と表示することができる。そうすれば、 ∪_{i∈I} X_i の任意の元はある (i, j) ∈ (Z^+) × (Z^+)
によって x_ij と表わされるから、 (i, j) に x_ij を対応させる写像は A × B ⊂ (Z^+) × (Z^+) から
∪_{i∈I} X_i への全射となる。 ∪_{i∈I} X_i および A × B は明らかに無限集合である。定理1によって
(Z^+) × (Z^+) は可算である。 A × Bは可算集合 (Z^+) × (Z^+) の無限部分集合であるから可算である。
したがって、命題3により ∪_{i∈I} X_i は可算である。
【証明終わり】
- 493 名前：１３２人目の素数さん mailto:sage [2016/08/17(水) 18:53:56.11 ID:hv/nVVO4.net]
- 証明の途中結果を使ってすぐに得られる結果も系と呼ばれる
- 494 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 18:57:40.86 ID:z7oUOJDv.net]
- ￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5535 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 18:53:14 ID:???
> ￥
>
>5536 ：kmath1107★ ：2016/08/13(土) 21:08:24 ID:???
> 人への念の盗み見による介入を阻め。
>
>5537 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 21:25:44 ID:???
> ￥
>
>5538 ：kmath1107★ ：2016/08/13(土) 23:23:07 ID:???
> 人への念の盗み見による介入を阻め。
>
>5539 ：kmath1107★ ：2016/08/13(土) 23:41:45 ID:???
> 人への念の盗み見による介入を阻め。
>
>5540 ：名無しさん ：2016/08/14(日) 00:05:47 ID:???
> かつて僕（増田哲也、痴漢で逮捕）が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってくれそうな先生を
> 探して各地のいろんな先生方を訪ねて回った時の事である。理論物理学を大学院で専攻しようとして理
> 論物理学の初歩をかじっていた僕（増田哲也、痴漢で逮捕）は、当時京都大学数理解析研究所に居られた超一流の理論物理学者で
> おられる中西先生にこんな質問をした事がある。
>
> 僕（増田哲也、痴漢で逮捕） ： 「理論物理学では円周率が様々な所に出てきますが、それには何か深い物理的な理由があるの
> でしょうか？」
>
> 中西先生： 「そういう事を何時も頭の片隅に置いておくのはとても大切な事です。でもそんな事ばかり
> 考えていたら研究論文が書けなくなります。研究者とはそんな甘いものではありません。」
>
> 僕（増田哲也、痴漢で逮捕） ： 「は－そうなんですか－」
>
> 結局僕（増田哲也、痴漢で逮捕）は京都大学の中西先生ではなく、別の先生に大学院の指導教官になって頂き、理論物理学ではな
> く純粋数学を専攻した。しかしこの時の中西先生のお言葉は今でも何となく「気になって」いる
>
>5541 ：名無しさん ：2016/08/14(日) 00:22:38 ID:???
> いい加減、芳雄に謝罪しろ
>
- 495 名前：１３２人目の素数さん mailto:sage [2016/08/17(水) 19:44:56.13 ID:LwTQ5JVX.net]
- >>484
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 496 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 20:32:13.89 ID:z7oUOJDv.net]
- ￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5535 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 18:53:14 ID:???
> ￥
>
>5536 ：kmath1107★ ：2016/08/13(土) 21:08:24 ID:???
> 人への念の盗み見による介入を阻め。
>
>5537 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 21:25:44 ID:???
> ￥
>
>5538 ：kmath1107★ ：2016/08/13(土) 23:23:07 ID:???
> 人への念の盗み見による介入を阻め。
>
>5539 ：kmath1107★ ：2016/08/13(土) 23:41:45 ID:???
> 人への念の盗み見による介入を阻め。
>
>5540 ：名無しさん ：2016/08/14(日) 00:05:47 ID:???
> かつて僕（増田哲也、痴漢で逮捕）が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってくれそうな先生を
> 探して各地のいろんな先生方を訪ねて回った時の事である。理論物理学を大学院で専攻しようとして理
> 論物理学の初歩をかじっていた僕（増田哲也、痴漢で逮捕）は、当時京都大学数理解析研究所に居られた超一流の理論物理学者で
> おられる中西先生にこんな質問をした事がある。
>
> 僕（増田哲也、痴漢で逮捕） ： 「理論物理学では円周率が様々な所に出てきますが、それには何か深い物理的な理由があるの
> でしょうか？」
>
> 中西先生： 「そういう事を何時も頭の片隅に置いておくのはとても大切な事です。でもそんな事ばかり
> 考えていたら研究論文が書けなくなります。研究者とはそんな甘いものではありません。」
>
> 僕（増田哲也、痴漢で逮捕） ： 「は－そうなんですか－」
>
> 結局僕（増田哲也、痴漢で逮捕）は京都大学の中西先生ではなく、別の先生に大学院の指導教官になって頂き、理論物理学ではな
> く純粋数学を専攻した。しかしこの時の中西先生のお言葉は今でも何となく「気になって」いる
>
>5541 ：名無しさん ：2016/08/14(日) 00:22:38 ID:???
> いい加減、芳雄に謝罪しろ
>
- 497 名前：１３２人目の素数さん [2016/08/17(水) 21:56:44.07 ID:x+29ziwT.net]
- imgur.com/gallery/yXMU1
↑は松坂和夫著『解析入門3』です。
命題5の(B)の証明が分かりにくくないですか？
X ∩ A = ? と仮定してよい理由が分かりにくいです。
なぜ↓のように書かなかったのでしょうか？
命題5の(B)：
X が無限集合、 B がたかだか可算な集合ならば、 X ∪ B は X と対等である。
【証明】
A := B - X とおく。
X ∪ A = X ∪ (B - X) = X ∪ B である。
A ⊂ B かつ B はたかだか可算だから、 A もたかだか可算である。
X は無限集合だから、 X ∪ A も無限集合である。
X ∩ A = X ∩ (B - X) = ? であるから、
(X ∪ A) - A = X である。
(a) によって (X ∪ A) - A ～ X ∪ A となる。
(X ∪ A) - A = X
X ∪ A = X ∪ B
であるから、
X ～ X ∪ B である。
【証明終わり】
- 498 名前：１３２人目の素数さん [2016/08/17(水) 21:57:36.18 ID:x+29ziwT.net]
- imgur.com/gallery/yXMU1
↑は松坂和夫著『解析入門3』です。
命題5の(b)の証明が分かりにくくないですか？
X ∩ A = φ と仮定してよい理由が分かりにくいです。
なぜ↓のように書かなかったのでしょうか？
命題5の(b)：
X が無限集合、 B がたかだか可算な集合ならば、 X ∪ B は X と対等である。
【証明】
A := B - X とおく。
X ∪ A = X ∪ (B - X) = X ∪ B である。
A ⊂ B かつ B はたかだか可算だから、 A もたかだか可算である。
X は無限集合だから、 X ∪ A も無限集合である。
X ∩ A = X ∩ (B - X) = φ であるから、
(X ∪ A) - A = X である。
(a) によって (X ∪ A) - A ～ X ∪ A となる。
(X ∪ A) - A = X
X ∪ A = X ∪ B
であるから、
X ～ X ∪ B である。
【証明終わり】
- 499 名前：１３２人目の素数さん mailto:sage [2016/08/17(水) 22:05:24.20 ID:LwTQ5JVX.net]
- >>489
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 500 名前：１３２人目の素数さん mailto:sage [2016/08/17(水) 22:05:51.93 ID:LwTQ5JVX.net]
- >>490
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 501 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/17(水) 23:30:50.10 ID:z7oUOJDv.net]
- ￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5535 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 18:53:14 ID:???
> ￥
>
>5536 ：kmath1107★ ：2016/08/13(土) 21:08:24 ID:???
> 人への念の盗み見による介入を阻め。
>
>5537 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 21:25:44 ID:???
> ￥
>
>5538 ：kmath1107★ ：2016/08/13(土) 23:23:07 ID:???
> 人への念の盗み見による介入を阻め。
>
>5539 ：kmath1107★ ：2016/08/13(土) 23:41:45 ID:???
> 人への念の盗み見による介入を阻め。
>
>5540 ：名無しさん ：2016/08/14(日) 00:05:47 ID:???
> かつて僕（増田哲也、痴漢で逮捕）が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってくれそうな先生を
> 探して各地のいろんな先生方を訪ねて回った時の事である。理論物理学を大学院で専攻しようとして理
> 論物理学の初歩をかじっていた僕（増田哲也、痴漢で逮捕）は、当時京都大学数理解析研究所に居られた超一流の理論物理学者で
> おられる中西先生にこんな質問をした事がある。
>
> 僕（増田哲也、痴漢で逮捕） ： 「理論物理学では円周率が様々な所に出てきますが、それには何か深い物理的な理由があるの
> でしょうか？」
>
> 中西先生： 「そういう事を何時も頭の片隅に置いておくのはとても大切な事です。でもそんな事ばかり
> 考えていたら研究論文が書けなくなります。研究者とはそんな甘いものではありません。」
>
> 僕（増田哲也、痴漢で逮捕） ： 「は－そうなんですか－」
>
> 結局僕（増田哲也、痴漢で逮捕）は京都大学の中西先生ではなく、別の先生に大学院の指導教官になって頂き、理論物理学ではな
> く純粋数学を専攻した。しかしこの時の中西先生のお言葉は今でも何となく「気になって」いる
>
>5541 ：名無しさん ：2016/08/14(日) 00:22:38 ID:???
> いい加減、芳雄に謝罪しろ
>
- 502 名前：１３２人目の素数さん [2016/08/18(木) 10:06:36.57 ID:SZlWr6wV.net]
- imgur.com/wWSnXFV.jpg
imgur.com/W8DFQe1.jpg
↑は松坂和夫著『解析入門3』のBernsteinの定理の証明ですが、分かりにくくないですか？
↓のように書けば分かりやすいですよね？
X_0 := X - g(Y)
X_α := {x | x = (g○f)^n(u), n ≧ 0, u ∈ X_0}
Y_α := f(X_α)
X_β := X - X_α
Y_β := Y - Y_α
とおく。
まず、
（Ａ）g(Y_α) = X_α - X_0
を示そう。
x ∈ g(Y_α) とする。
x = g(y), y ∈ Y_α = f(X_α) と書ける。
x = g(f(x')), x' ∈ X_α と書ける。
x' ∈ X_α だから x' = (g○f)^n(u), n ≧ 0, u ∈ X_0 と書ける。
x = g(f(x')) = (g○f)(x') = (g○f)^(n+1)(u), n ≧ 0, u ∈ X_0 と書ける。
よって、
x ∈ X_α である。
また、
x = g(f(x')) ∈ g(Y) であるから、 x ∈ x_0 = X - g(Y) ではない。
したがって、
x ∈ X_α - X_0
である。
x ∈ X_α - X_0 とする。
x ∈ X_0 ではないから、
x = (g○f)^n(u), n ≧ 1, u ∈ X_0 と書ける。
x = g○(f((g○f)^(n-1)(u))), n ≧ 1, u ∈ X_0 と書ける。
(g○f)^(n-1)(u) ∈ X_α
f((g○f)^(n-1)(u)) ∈ f(X_α) = Y_α
であるから、
x = g○(f((g○f)^(n-1)(u))) ∈ g(Y_α)
以上より、 g(Y_α) = X_α - X_0 である。
- 503 名前：１３２人目の素数さん [2016/08/18(木) 10:07:00.80 ID:SZlWr6wV.net]
- 次に、
（Ｂ）y ∈ Y_β ならば g(y) ∈ X_β
を示そう。
g(y) ∈ X_α であるとして矛盾を導く。
g(y) ∈ X - g(Y) = X_0 ではないから、
g(y) ∈ X_α - X_0 である。
g(y) = (g○f)^n(u), n ≧ 1, u ∈ X_0 と書ける。
g は単射だから、
y = f((g○f)^(n-1)(u)), n ≧ 1, u ∈ X_0 である。
(g○f)^(n-1)(u) ∈ X_α であるから、
y = f((g○f)^(n-1)(u)) ∈ f(X_α) = Y_α である。
これは、 y ∈ Y_β に矛盾する。
よって、 g(y) ∈ X_β である。
以上より、 g(Y_β) ⊂ X_β である。
- 504 名前：１３２人目の素数さん [2016/08/18(木) 10:07:19.75 ID:SZlWr6wV.net]
- 次に、
（Ｃ）g(Y_β) = X_β
であることを示そう。
x ∈ X_β とする。
x ∈ X_α ではない。
x ∈ X_0（⊂ X_α） ではない。
x ∈ g(Y) である。
よって、
x = g(y), y ∈ Y となる y が存在する。
もしも、 y ∈ Y_α ならば（Ａ）より、
x = g(y) ∈ X_α となり、 x ∈ X_β に矛盾する。
よって、 y ∈ Y_β である。
以上より、
x = g(y), y ∈ Y_β となる y が存在する。
したがって、 x = g(y) ∈ g(Y_β) である。
これで、 g(Y_β) = X_β が示された。
- 505 名前：１３２人目の素数さん [2016/08/18(木) 10:07:52.35 ID:SZlWr6wV.net]
- f, g は単射であり、
X = X_α ∪ X_β
Y = Y_α ∪ Y_β
Y_α = f(X_α)
Y_β = g^(-1)(X_β)
であるから、
x ∈ X_α のとき、
F(x) = f(x)
x ∈ X_β のとき、
F(x) = g^(-1)(x)
と
F : X -> Y を定義すれば、
F は明らかに X から Y への全単射である。
- 506 名前：１３２人目の素数さん mailto:sage [2016/08/18(木) 10:12:04.79 ID:sHDeF0vp.net]
- >>494
>>490
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 507 名前：１３２人目の素数さん mailto:sage [2016/08/18(木) 10:12:30.59 ID:sHDeF0vp.net]
- >>495
>>490
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 508 名前：１３２人目の素数さん mailto:sage [2016/08/18(木) 10:12:50.26 ID:sHDeF0vp.net]
- >>496
>>490
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 509 名前：１３２人目の素数さん mailto:sage [2016/08/18(木) 10:13:07.45 ID:sHDeF0vp.net]
- >>497
>>490
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
- 510 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/18(木) 10:41:57.64 ID:9CCmgyaT.net]
- ￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5535 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 18:53:14 ID:???
> ￥
>
>5536 ：kmath1107★ ：2016/08/13(土) 21:08:24 ID:???
> 人への念の盗み見による介入を阻め。
>
>5537 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 21:25:44 ID:???
> ￥
>
>5538 ：kmath1107★ ：2016/08/13(土) 23:23:07 ID:???
> 人への念の盗み見による介入を阻め。
>
>5539 ：kmath1107★ ：2016/08/13(土) 23:41:45 ID:???
> 人への念の盗み見による介入を阻め。
>
>5540 ：名無しさん ：2016/08/14(日) 00:05:47 ID:???
> かつて僕（増田哲也、痴漢で逮捕）が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってくれそうな先生を
> 探して各地のいろんな先生方を訪ねて回った時の事である。理論物理学を大学院で専攻しようとして理
> 論物理学の初歩をかじっていた僕（増田哲也、痴漢で逮捕）は、当時京都大学数理解析研究所に居られた超一流の理論物理学者で
> おられる中西先生にこんな質問をした事がある。
>
> 僕（増田哲也、痴漢で逮捕） ： 「理論物理学では円周率が様々な所に出てきますが、それには何か深い物理的な理由があるの
> でしょうか？」
>
> 中西先生： 「そういう事を何時も頭の片隅に置いておくのはとても大切な事です。でもそんな事ばかり
> 考えていたら研究論文が書けなくなります。研究者とはそんな甘いものではありません。」
>
> 僕（増田哲也、痴漢で逮捕） ： 「は－そうなんですか－」
>
> 結局僕（増田哲也、痴漢で逮捕）は京都大学の中西先生ではなく、別の先生に大学院の指導教官になって頂き、理論物理学ではな
> く純粋数学を専攻した。しかしこの時の中西先生のお言葉は今でも何となく「気になって」いる
>
>5541 ：名無しさん ：2016/08/14(日) 00:22:38 ID:???
> いい加減、芳雄に謝罪しろ
>
- 511 名前：￥ ◆2VB8wsVUoo mailto:sage [2016/08/18(木) 10:43:10.92 ID:9CCmgyaT.net]
- ￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5535 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 18:53:14 ID:???
> ￥
>
>5536 ：kmath1107★ ：2016/08/13(土) 21:08:24 ID:???
> 人への念の盗み見による介入を阻め。
>
>5537 ：￥ ◆2VB8wsVUoo ：2016/08/13(土) 21:25:44 ID:???
> ￥
>
>5538 ：kmath1107★ ：2016/08/13(土) 23:23:07 ID:???
> 人への念の盗み見による介入を阻め。
>
>5539 ：kmath1107★ ：2016/08/13(土) 23:41:45 ID:???
> 人への念の盗み見による介入を阻め。
>
>5540 ：名無しさん ：2016/08/14(日) 00:05:47 ID:???
> かつて僕（増田哲也、痴漢で逮捕）が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってく�
|
 |
