16/08/16 23:01:29.79 sVyM+Zr5.net
>>457 余り4Cですか？
467:１３２人目の素数さん
16/08/16 23:07:29.78 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:１３２人目の素数さん
16/08/16 23:10:30.24 BueGbAd9.net
>>458
4*C としたのは計算がしやすいと思ったから、そうしただけです。
469:１３２人目の素数さん
16/08/16 23:23:18.02 sVyM+Zr5.net
>>460
あまり4x+2ではなく2x+2になりませんか？
470:１３２人目の素数さん
16/08/16 23:37:07.16 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
16/08/16 23:57:44.50 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:１３２人目の素数さん
16/08/17 01:07:09.58 np5ZiPWj.net
流れたのでもう一度質問します
位相空間論で、一般的には(?)x∈開集合U⊂VとなるVをxの近傍とすると定義していますが、x∈開集合UとなるUをxの近傍とするという定義を見ることがたまにあります。後者の定義をすることでその後の理論においてうれしいことがあれば教えて下さい。
473:１３２人目の素数さん
16/08/17 06:31:35.05 b3JZ8xII.net
近傍系も開近傍系も一方を定めれば他方も定まるのでどっちでもいいんじゃないの
474:１３２人目の素数さん
16/08/17 10:17:39.46 zlplALOY.net
>>464
近傍を開集合のみとする方が古い定義
開集合を含む集合とした方が、ある点の近傍全体がそのままフィルターになったり、
閉近傍、コンパクト近傍という言い方ができたりして便利
といったことが森毅の「位相のこころ」に書いてあったと思う
475:１３２人目の素数さん
16/08/17 11:25:29.81 x+29ziwT.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑は松坂和夫著『解析入門3』です。
定理2の系の証明はどう記述すればいいのでしょうか？
証明を書いてください。
476:￥ ◆2VB8wsVUoo
16/08/17 11:53:34.16 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:１３２人目の素数さん
16/08/17 12:36:49.06 AP9E3VWV.net
最初は「こんな有名な数学者でも気づかなかった間違いを指摘できた俺すげえ、つーかこんな間違いに気づかないとかどんだけ馬鹿なの？本当に数学者？」状態だったのに、調子乗りすぎてどんどん馬鹿晒した挙句ついに>>467まで来たか
478:１３２人目の素数さん
16/08/17 12:46:03.91 IbYlex64.net
>>467
実際容易だし
479:￥ ◆2VB8wsVUoo
16/08/17 12:55:31.73 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
16/08/17 12:59:58.31 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
16/08/17 14:01:36.50 z7oUOJDv.net
￥
482:￥ ◆2VB8wsVUoo
16/08/17 14:01:59.46 z7oUOJDv.net
￥
483:￥ ◆2VB8wsVUoo
16/08/17 14:02:23.12 z7oUOJDv.net
￥
484:￥ ◆2VB8wsVUoo
16/08/17 14:02:46.71 z7oUOJDv.net
￥
485:￥ ◆2VB8wsVUoo
16/08/17 14:03:12.00 z7oUOJDv.net
￥
486:￥ ◆2VB8wsVUoo
16/08/17 14:03:37.37 z7oUOJDv.net
￥
487:￥ ◆2VB8wsVUoo
16/08/17 14:04:02.47 z7oUOJDv.net
￥
488:￥ ◆2VB8wsVUoo
16/08/17 14:04:32.27 z7oUOJDv.net
￥
489:￥ ◆2VB8wsVUoo
16/08/17 14:04:51.97 z7oUOJDv.net
￥
490:￥ ◆2VB8wsVUoo
16/08/17 14:05:12.46 z7oUOJDv.net
￥
491:￥ ◆2VB8wsVUoo
16/08/17 17:54:52.08 z7oUOJDv.net
￥
492:１３２人目の素数さん
16/08/17 18:49:59.89 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:１３２人目の素数さん
16/08/17 18:53:56.11 hv/nVVO4.net
証明の途中結果を使ってすぐに得られる結果も系と呼ばれる
494:￥ ◆2VB8wsVUoo
16/08/17 18:57:40.86 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:１３２人目の素数さん
16/08/17 19:44:56.13 LwTQ5JVX.net
>>484
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
496:￥ ◆2VB8wsVUoo
16/08/17 20:32:13.89 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:１３２人目の素数さん
16/08/17 21:56:44.07 x+29ziwT.net
URLﾘﾝｸ(imgur.com)
↑は松坂和夫著『解析入門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:１３２人目の素数さん
16/08/17 21:57:36.18 x+29ziwT.net
URLﾘﾝｸ(imgur.com)
↑は松坂和夫著『解析入門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:１３２人目の素数さん
16/08/17 22:05:24.20 LwTQ5JVX.net
>>489
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
500:１３２人目の素数さん
16/08/17 22:05:51.93 LwTQ5JVX.net
>>490
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
501:￥ ◆2VB8wsVUoo
16/08/17 23:30:50.10 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:１３２人目の素数さん
16/08/18 10:06:36.57 SZlWr6wV.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑は松坂和夫著『解析入門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:１３２人目の素数さん
16/08/18 10:07:00.80 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:１３２人目の素数さん
16/08/18 10:07:19.75 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:１３２人目の素数さん
16/08/18 10:07:52.35 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:１３２人目の素数さん
16/08/18 10:12:04.79 sHDeF0vp.net
>>494
>>490
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
507:１３２人目の素数さん
16/08/18 10:12:30.59 sHDeF0vp.net
>>495
>>490
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
508:１３２人目の素数さん
16/08/18 10:12:50.26 sHDeF0vp.net
>>496
>>490
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
509:１３２人目の素数さん
16/08/18 10:13:07.45 sHDeF0vp.net
>>497
>>490
>>429
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
510:￥ ◆2VB8wsVUoo
16/08/18 10:41:57.64 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
16/08/18 10:43:10.92 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:???
> かつて僕（増田哲也、痴漢で逮捕）が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってく�
512:黷ｻうな先生を > 探して各地のいろんな先生方を訪ねて回った時の事である。理論物理学を大学院で専攻しようとして理 > 論物理学の初歩をかじっていた僕（増田哲也、痴漢で逮捕）は、当時京都大学数理解析研究所に居られた超一流の理論物理学者で > おられる中西先生にこんな質問をした事がある。 > > 僕（増田哲也、痴漢で逮捕） ： 「理論物理学では円周率が様々な所に出てきますが、それには何か深い物理的な理由があるの > でしょうか？」 > > 中西先生： 「そういう事を何時も頭の片隅に置いておくのはとても大切な事です。でもそんな事ばかり > 考えていたら研究論文が書けなくなります。研究者とはそんな甘いものではありません。」 > > 僕（増田哲也、痴漢で逮捕） ： 「は－そうなんですか－」 > > 結局僕（増田哲也、痴漢で逮捕）は京都大学の中西先生ではなく、別の先生に大学院の指導教官になって頂き、理論物理学ではな > く純粋数学を専攻した。しかしこの時の中西先生のお言葉は今でも何となく「気になって」いる > >5541 ：名無しさん ：2016/08/14(日) 00:22:38 ID:??? > いい加減、芳雄に謝罪しろ >
513:￥ ◆2VB8wsVUoo
16/08/18 10:43:28.98 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:???
> いい加減、芳雄に謝罪しろ
>
514:￥ ◆2VB8wsVUoo
16/08/18 10:43:50.62 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:???
> いい加減、芳雄に謝罪しろ
>
515:￥ ◆2VB8wsVUoo
16/08/18 10:44:38.53 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:???
> いい加減、芳雄に謝罪しろ
>
516:￥ ◆2VB8wsVUoo
16/08/18 10:44:55.45 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:???
> いい加減、芳雄に謝罪しろ
>
517:￥ ◆2VB8wsVUoo
16/08/18 10:45:09.01 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:???
> いい加減、芳雄に謝罪しろ
>
518:￥ ◆2VB8wsVUoo
16/08/18 10:45:55.86 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:???
> いい加減、芳雄に謝罪しろ
>
519:￥ ◆2VB8wsVUoo
16/08/18 10:46:16.58 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:???
> いい加減、芳雄に謝罪しろ
>
520:￥ ◆2VB8wsVUoo
16/08/18 10:46:33.79 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:???
> いい加減、芳雄に謝罪しろ
>
521:￥ ◆2VB8wsVUoo
16/08/18 11:29:59.00 9CCmgyaT.net
￥
522:￥ ◆2VB8wsVUoo
16/08/18 11:30:16.65 9CCmgyaT.net
￥
523:￥ ◆2VB8wsVUoo
16/08/18 11:30:34.16 9CCmgyaT.net
￥
524:￥ ◆2VB8wsVUoo
16/08/18 11:30:51.32 9CCmgyaT.net
￥
525:￥ ◆2VB8wsVUoo
16/08/18 11:31:08.83 9CCmgyaT.net
￥
526:￥ ◆2VB8wsVUoo
16/08/18 11:31:27.59 9CCmgyaT.net
￥
527:￥ ◆2VB8wsVUoo
16/08/18 11:31:46.13 9CCmgyaT.net
￥
528:￥ ◆2VB8wsVUoo
16/08/18 11:32:23.38 9CCmgyaT.net
￥
529:￥ ◆2VB8wsVUoo
16/08/18 11:32:40.84 9CCmgyaT.net
￥
530:￥ ◆2VB8wsVUoo
16/08/18 11:32:58.00 9CCmgyaT.net
￥
531:１３２人目の素数さん
16/08/18 14:29:20.96 cQz5VB+/.net
ゴミ
532:１３２人目の素数さん
16/08/18 14:36:23.78 SZlWr6wV.net
URLﾘﾝｸ(imgur.com)
↑は松坂和夫著『解析入門3』の問題です。
集合論というと怪しげで役に立たないようなイメージですが、
この問題のように具体的な関数を構成するときに、役に立つ場合があるんですね。
533:１３２人目の素数さん
16/08/18 14:37:49.66 SZlWr6wV.net
↑の問題の定理4とは、Bernsteinの定理のことです。
証明は↓です。
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
534:￥ ◆2VB8wsVUoo
16/08/18 14:50:54.40 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:???
> いい加減、芳雄に謝罪しろ
>
535:￥ ◆2VB8wsVUoo
16/08/18 15:04:48.38 9CCmgyaT.net
￥
536:￥ ◆2VB8wsVUoo
16/08/18 15:05:07.16 9CCmgyaT.net
￥
537:￥ ◆2VB8wsVUoo
16/08/18 15:05:24.67 9CCmgyaT.net
￥
538:￥ ◆2VB8wsVUoo
16/08/18 15:05:42.05 9CCmgyaT.net
￥
539:￥ ◆2VB8wsVUoo
16/08/18 15:06:00.85 9CCmgyaT.net
￥
540:￥ ◆2VB8wsVUoo
16/08/18 15:06:25.99 9CCmgyaT.net
￥
541:￥ ◆2VB8wsVUoo
16/08/18 15:06:43.64 9CCmgyaT.net
￥
542:￥ ◆2VB8wsVUoo
16/08/18 15:07:02.79 9CCmgyaT.net
￥
543:￥ ◆2VB8wsVUoo
16/08/18 15:07:24.91 9CCmgyaT.net
￥
544:￥ ◆2VB8wsVUoo
16/08/18 15:07:43.91 9CCmgyaT.net
￥
545:１３２人目の素数さん
16/08/18 18:08:56.25 SZlWr6wV.net
三角関数の厳密な定義は、
級数を使ったもの
積分を使ったもの
微分方程式を使ったもの
のほかにどういうものがありますか？
ラングの『Undergraduate Analysis』という本では、
f’= g
g’= -f
f(0) = 0
g(0) = 1
を満たす (-∞, +∞) で定義された関数 f, g の存在を仮定して、その一意性を証明し、
sin := f
cos := g
と定義しています。 f, g の存在はその後の級数を扱っている章で証明しています。
これだけのことから、次々と、 f, g の性質を導き出していて大変面白いです。
546:１３２人目の素数さん
16/08/18 18:11:45.89 SZlWr6wV.net
初等関数の厳密な定義をいろいろ集めて一つの本にしたら面白いと思うのですが、
そのような本はありませんか？
日本語の本ではないようですが。
547:￥ ◆2VB8wsVUoo
16/08/18 19:27:21.08 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:???
> いい加減、芳雄に謝罪しろ
>
548:１３２人目の素数さん
16/08/18 19:54:37.49 mjyNcpuR.net
>>536
何をもって厳密な定義と呼べるかは、定義域によるでしょう。
sin(x)、cos(x)、tan(x)のxが実数ならば、高校数学の単位円を使った定義で十分でしょう。
現代数学では、同値であればどれを定義としても良いという考え方が一般的です。
549:１３２人目の素数さん
16/08/18 20:03:48.50 SZlWr6wV.net
>>539
ありがとうございます。
角度を厳密に定義するのが難しいからそれを回避するために、
いろいろな定義が考えられているそうですが、角度を定義せず
に利用している高校式の定義は十分厳密なのでしょうか？
550:１３２人目の素数さん
16/08/18 20:49:37.40 jOaJk0RN.net
行列式について質問です。
行列式は添え字に注目して偶順列と奇順列に分け
前者に+、後者に-をつけたものの総和と定義されています。
それは分かるんですが、なぜそんな適当な値が、自然現象に多く見られたり
また微積分学などでヤコビアンやヘシアンなどとして出現したり、
３次以上の高次元でも機能するのでしょうか。
また連立方程式に関するクラメールの公式にも行列式は出現します。
冒頭の定義に従い決定されたこの数値がこのように数学の色々な場面で
突然出てくるのが理解できません。なぜこんな数値が都合よく出てくるんでしょうか。
また多くの数学者も、何の疑問も感じずに文章中で平気で行列式を出してきますが
彼らの頭の中はこのデタラメな数が必然的に利用できると考えるほど高度なのでしょうか。
いずれにしろ、この行列式とは何者なんでしょうか。誰も分かりやすく説明しようと
しないし、にもかかわらず数学のあらゆる場面で出てきます。
また、行列AがベクトルBに作用しているときに、面積が｜DET（A)｜倍されるというのも
唐突で理解できません。なぜ行列とベクトルが作用しているだけなのに、｜｜をつけると
行列式の計算になるのでしょうか。
わけのわからないことばかりです。分かりやすい解説をお願いします。
551:￥ ◆2VB8wsVUoo
16/08/18 20:55:58.34 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:???
> いい加減、芳雄に謝罪しろ
>
552:１３２人目の素数さん
16/08/18 21:11:25.32 SZlWr6wV.net
定理7：
URLﾘﾝｸ(imgur.com)
系：
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑は松坂和夫著『解析入門3』です。
「定理7およびその系は連続の濃度アレフがすでに相当大きい濃度であることを示唆する。」などと
書かれていますが、首肯できません。
なぜなら、それ以前に既に、「可算集合の可算個の和集合が可算である」という結果を得ているからです。
そのときには、アレフゼロがすでに相当大きい濃度であることを示唆するなどとは一切書いていませんでした。
ちょっと平等性に欠けます。バランス感覚が悪いと言わざるを得ません。
553:１３２人目の素数さん
16/08/18 21:34:28.01 gZn1ENO4.net
行列式って行変形と列変形 混ぜていいですか？
554:￥ ◆2VB8wsVUoo
16/08/18 21:36:21.45 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:???
> いい加減、芳雄に謝罪しろ
>
555:１３２人目の素数さん
16/08/18 22:03:47.17 2aaDv9fY.net
>>541
行列式って行列を線形変換と考えた時の体積変化率なんだよ。
あらゆる図形（集合）が一定の体積変化率で変換される。
それが行列式の値。
だから色々な所で使われているんじゃないの。
556:１３２人目の素数さん
16/08/18 22:08:56.52 2DpVZVBh.net
>>546
いや分からないのは
行列の各要素の二番目の添え字に注目して偶順列と奇順列に分け
前者に+、後者に-をつけたものの総和が体積を含めて色んなところに
出てくること自体なんですが
557:１３２人目の素数さん
16/08/18 22:49:26.79 SZlWr6wV.net
ラングの『Undergraduate Analysis』の三角関数の定義の部分を少し読んでみましたが、
いい加減なところがあります。
また、三角関数の幾何学的な説明がまったくありません。
558:￥ ◆2VB8wsVUoo
16/08/18 23:41:33.81 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:???
> かつて僕（増田哲也、痴漢で逮捕）が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってくれそうな先生を
> 探して各地のいろんな先生方を訪ねて回った時の事である。理論物理学を大学院で専攻しようとして理
> 論物理学の初歩をかじっていた僕（増田哲也、痴漢で逮捕）は、当時京都大�
559:w数理解析研究所に居られた超一流の理論物理学者で > おられる中西先生にこんな質問をした事がある。 > > 僕（増田哲也、痴漢で逮捕） ： 「理論物理学では円周率が様々な所に出てきますが、それには何か深い物理的な理由があるの > でしょうか？」 > > 中西先生： 「そういう事を何時も頭の片隅に置いておくのはとても大切な事です。でもそんな事ばかり > 考えていたら研究論文が書けなくなります。研究者とはそんな甘いものではありません。」 > > 僕（増田哲也、痴漢で逮捕） ： 「は－そうなんですか－」 > > 結局僕（増田哲也、痴漢で逮捕）は京都大学の中西先生ではなく、別の先生に大学院の指導教官になって頂き、理論物理学ではな > く純粋数学を専攻した。しかしこの時の中西先生のお言葉は今でも何となく「気になって」いる > >5541 ：名無しさん ：2016/08/14(日) 00:22:38 ID:??? > いい加減、芳雄に謝罪しろ >
560:１３２人目の素数さん
16/08/19 01:25:18.66 wftM4C2+.net
>>547
こういう根源的な疑問に対しては、はっきり言って解答はまだ出ていないんだよね。
ある問題を解こうとして出てきた一つの形式的とも言える数式が数学のあらゆる分野に顔をだす理由は何か、なんて
この数百年の数学史の中で答が得られていないのだから誰もこれだという理由など出せないと思うのが
逆説的ではあるが論理的な態度なのかもね。
俺は、連立一次方程式が一意的に解けるための条件を記述するための決定的な形式だから、と思いたい。
「微分」が世界を線形化して眺める強力な手法なのだから、
変化する量の級数展開において2次以降を無視することで得られる連立一次式が世界のどこにでも顔を出すのは当然じゃないか、ってね。
561:１３２人目の素数さん
16/08/19 01:37:59.47 tKgwmzZv.net
ん？そういう種類の問いかけだったのかな？
（符合付き）体積のように多重線型性と交代性を持つ量であれば、成分ごとにばらしていくと必然的に
「各要素の二番目の添え字に注目して偶順列と奇順列に分け前者に+、後者に-をつけたもの」
が現れるってことでいいんじゃないの
562:１３２人目の素数さん
16/08/19 01:46:45.22 58ygW8hW.net
>>551
そんなものがきっちり現れること自体がミステリアスすぎるだろ
思いついた奴、頭やべえんじゃね
563:１３２人目の素数さん
16/08/19 02:04:22.47 tKgwmzZv.net
>>552
それに対する答えは>>546と>>550の後半が相応しい
行列の成分から作られる和の作為的な形に、質問者は疑問を持っているように見えたので、
この解釈なら>>551が答えになるかと思った
564:１３２人目の素数さん
16/08/19 02:28:40.98 1D7aKzxN.net
グラスマン代数で形式化だろうけど
これもどこから出てくるのか分からんな
565:１３２人目の素数さん
16/08/19 02:46:00.24 8evYSvhe.net
グラスマン代数は、それこそ多重線型性と交代性からでてくるだろ
俺的には計量（内積）の方が不思議だ
566:１３２人目の素数さん
16/08/19 03:21:36.99 FY4cVszt.net
>>547
行列を行ベクトルの組または列ベクトルの組と見ると、
行列式は正規化された双線型交代形式と見なせる。
添字の置換の偶奇で項の符号が変わることは、
その交代性を表現している。
567:１３２人目の素数さん
16/08/19 06:28:58.78 wFw5As7s.net
URLﾘﾝｸ(imgur.com)
↑は、Serge Lang著『Undergraduate Analysis』です。
赤い線を引いたところを見てください。
証明していることは、
π/2 ≦ t ≦ π
の範囲内に一意的に、 a = cos(t), b = sin(t) となる t が存在するということです。
他の範囲には、 a = cos(t), b = sin(t) となる t が存在しないということはチェックしていません。
いい加減ですね。
568:１３２人目の素数さん
16/08/19 06:36:13.11 wFw5As7s.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑は、Serge Lang著『Undergraduate Analysis』の三角関数の定義の部分です。
x > 0 かつ cos(x) = 0 となる実数 x が存在することを証明するところが面白いですね。
569:１３２人目の素数さん
16/08/19 06:59:02.60 wFw5As7s.net
We shall prove that there is a number x > 0 su
570:ch that sin(x) = 1. In view of the relation between sin and cos, this amounts to proving that there is a number x > 0 such that cos(x) = 0. と書かれていますが問題があります。 x > 0 かつ sin(x) = 1 となる実数 x が存在する ⇒ x > 0 かつ cos(x) = 0 となる実数 x が存在する は直ちに言えますが、 x > 0 かつ cos(x) = 0 となる実数 x が存在する ⇒ x > 0 かつ sin(x) = 1 となる実数 x が存在する は直ちには言えないかと思います。
571:１３２人目の素数さん
16/08/19 07:00:04.17 wFw5As7s.net
>>559
URLﾘﾝｸ(i.imgur.com)
の右下を参照してください。
572:１３２人目の素数さん
16/08/19 07:47:16.11 8JY992PY.net
>>557
他の範囲って？
573:￥ ◆2VB8wsVUoo
16/08/19 07:51:51.24 jyKjuYWZ.net
★★★『芳雄とは何ぞや？コイツに親の資格がアルのか？
⇒息子の邪魔してるだけ。そやし焼いてしまうべき。』★★★
親ともあろうものが子供の向上心を砕き、そして近視眼的で打算的な考え
から「安全パイを取って、そして安易な人生を選択させる」なんて発想を
押し付けたらダメ。
こんな考え方をスルから国家がダメになり、そして学問が閉塞するだけ。
★★★『芳雄が頻繁に連呼する「研究者としての基本的態度」とは何ぞや？
⇒中身の安っぽさをメッキで誤魔化し、偉く見せ掛ける偽善的態度。』★★★
現役の研究者を自称する理学部教授ともあろう者が、こういう近視眼的で打算的な
考えを持つのみならず、周囲の若輩にこういう安易な態度を高圧的な物言いで押し
付けるとは何事か。しかも恩着せがましい指導者を気取り、周囲に毒を撒き散らす。
こういう無責任な卑怯者は『自らの身の処し方』をきちんと考え、死を以て逃げ切
る安易な逃亡行為を行ってはならない。きちんと自分の毒を認め、そしてソレを
広く世間に知らしめ、その恥ずかしい愚かさを深く悔いなければならない。
研究者を自称する者が、こういう『科学を冒涜する態度』は決して許されない。
芳雄の様な野郎は、粉末にナルまできちんと砕いてしまうべき。こういう無責任
で卑怯な野郎には、そのケツに「無責任と卑怯者の二つの焼き印」を焼き込んで
烙印を押し、罰とするべき。きちんと烙印を押してこういう不見識者を毒物だと
社会が認識するまでは、決して安易に見逃してはならない。こういう奴が居るか
ら日本の教育がダメになる。
￥
>>593
そうなんですか？私はそういう事は何も知らないので、ココでそれをちゃ
んと解説して貰えませんかね。もしその内容を私が理解し、そして納得し
た場合に『のみ』、その「芳雄の研究業績の素晴らしさとやら」を認めな
い事もありませんがね。あの『糞みたいな人格』は別としてですが。
￥
>593:１３２人目の素数さん 2016/08/09(火) 16:54:15.88 ID:tButZE2x
>でも芳雄は素晴らしい研究業績を残したよね
>
>そのことについては？
>
574:１３２人目の素数さん
16/08/19 08:24:06.09 wFw5As7s.net
>>561
[0, 2*π] - [π/2, π]
です。
575:￥ ◆2VB8wsVUoo
16/08/19 08:25:44.29 jyKjuYWZ.net
★★★『芳雄とは何ぞや？コイツに親の資格がアルのか？
⇒息子の邪魔してるだけ。そやし焼いてしまうべき。』★★★
親ともあろうものが子供の向上心を砕き、そして近視眼的で打算的な考え
から「安全パイを取って、そして安易な人生を選択させる」なんて発想を
押し付けたらダメ。
こんな考え方をスルから国家がダメになり、そして学問が閉塞するだけ。
★★★『芳雄が頻繁に連呼する「研究者としての基本的態度」とは何ぞや？
⇒中身の安っぽさをメッキで誤魔化し、偉く見せ掛ける偽善的態度。』★★★
現役の研究者を自称する理学部教授ともあろう者が、こういう近視眼的で打算的な
考えを持つのみならず、周囲の若輩にこういう安易な態度を高圧的な物言いで押し
付けるとは何事か。しかも恩着せがましい指導者を気取り、周囲に毒を撒き散らす。
こういう無責任な卑怯者は『自らの身の処し方』をきちんと考え、死を以て逃げ切
る安易な逃亡行為を行ってはならない。きちんと自分の毒を認め、そしてソレを
広く世間に知らしめ、その恥ずかしい愚かさを深く悔いなければならない。
研究者を自称する者が、こういう『科学を冒涜する態度』は決して許されない。
芳雄の様な野郎は、粉末にナルまできちんと砕いてしまうべき。こういう無責任
で卑怯な野郎には、そのケツに「無責任と卑怯者の二つの焼き印」を焼き込んで
烙印を押し、罰とするべき。きちんと烙印を押してこういう不見識者を毒物だと
社会が認識するまでは、決して安易に見逃してはならない。こういう奴が居るか
ら日本の教育がダメになる。
￥
>>593
そうなんですか？私はそういう事は何も知らないので、ココでそれをちゃ
んと解説して貰えませんかね。もしその内容を私が理解し、そして納得し
た場合に『のみ』、その「芳雄の研究業績の素晴らしさとやら」を認めな
い事もありませんがね。あの『糞みたいな人格』は別としてですが。
￥
>593:１３２人目の素数さん 2016/08/09(火) 16:54:15.88 ID:tButZE2x
>でも芳雄は素晴らしい研究業績を残したよね
>
>そのことについては？
>
576:１３２人目の素数さん
16/08/19 12:01:52.32 wFw5As7s.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
やっと、松坂和夫著『解析入門3』の濃度のところが終わりました。
問題って解くのが面倒ですよね？
早く本全体
577:を読み終わりたいし。 でも、なぜか、問題を解くのが重要と力説する人がいますね。 やっぱり解いたほうがいいんですかね？ とりあえず、問1を解いてみました。 明らかに φ は全単射ですけど、証明せよと言われると面倒ですね。 φが単射であること： (m, n) ≠ (m', n') とする。 (1) m + n = m' + n' のとき n ≠ n' でなければならない。 φ(m', n') - φ(m, n) = n' - n ≠ 0 (2) m + n ≠ m' + n' のとき m' + n' > m + n と仮定してよい。 m' + n' ≧ m + n + 1 であるから、 φ(m', n') - φ(m, n) = (1/2)*(m' + n' - 1)*(m' + n' - 2) + n' - {(1/2)*(m + n - 1)*(m + n - 2) + n} ≧ (1/2)*(m' + n' - 1)*(m' + n' - 2) + 1 - {(1/2)*(m + n - 1)*(m + n - 2) + (m + n - 1)} = (1/2)*(m' + n' - 1)*(m' + n' - 2) + 1 - (1/2)*(m + n)*(m + n - 1) ≧ (1/2)*(m + n)*(m + n - 1) + 1 - (1/2)*(m + n)*(m + n - 1) = 1 > 0 これで、 φ が単射であることが示された。
578:１３２人目の素数さん
16/08/19 12:02:24.16 wFw5As7s.net
φが全射であること：
l を Z^+ の任意の元とする。
A := {k ∈ Z^+ | (1/2)*k*(k-1) < l} とおく。
1 ∈ A だから、 A ≠ Φ
l < l + 2 ≦ (1/2)*(l+2)*(l+1) だから、 l + 1 は A の上界である。
A は上に有界であるから、最大値 k' が存在する。
k' + 1 は A の元ではないから
(1/2)*k'*(k'-1) < l ≦ (1/2)*(k'+1)*k' が成り立つ。
n := l - (1/2)*k'*(k'-1)
m := k' - n + 1
とおく。
n ≧ 1
m = k' - n + 1 = k' - {l - (1/2)*k'*(k'-1)} + 1 = (1/2)*k'*(k'+1) - l + 1 ≧ 1
であるから、
n, m ∈ Z^+ である。
(1/2)*(m + n - 1)*(m + n - 2) + n = (1/2)*k'*(k'-1) + {l - (1/2)*k'*(k'-1)} = l
であるから、
φ は全射である。
579:￥ ◆2VB8wsVUoo
16/08/19 12:30:41.33 jyKjuYWZ.net
￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5568 ：名無しさん：2016/08/17(水) 18:26:13 ID:???
> うるさい
>
>5569 ：kmath1107★：2016/08/17(水) 21:46:32 ID:???
> 人への念の盗み見による介入を阻め。
>
>5571 ：名無しさん：2016/08/17(水) 23:39:07 ID:???
> うるさい
>
>5576 ：kmath1107★ ：2016/08/18(木) 20:58:14 ID:???
> 人への念の盗み見による介入を阻め。
>
>5577 ：名無しさん ：2016/08/18(木) 21:05:02 ID:???
> >>5575
> うるさい
>
> >>5576
> 賛同致します
>
>5578 ：kmath1107★ ：2016/08/19(金) 08:46:22 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5577 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>
>5582 ：￥ ◆2VB8wsVUoo ：2016/08/19(金) 08:53:36 ID:???
> 芳雄が理想とし、自ら体現する大学教授とは？
> ０．自分が『お教授である』という利点を徹底活用して、偉そうに振舞う。
> １．年寄りや権威には擦り寄って顔色を窺い、ラクして損しない様にスル。
> ２．難しい分野や困難な研究テーマは徹底して避けて、努力を最小化する。
> ３．高い学歴とか権威を効率的に利用して、自分を飾って偉く見せ掛ける。
> ４．他人に見える部分だけを巧みに繕ってメッキし、人格者のフリをする。
> ５．相手のオツムの質を窺い、シッタカだけで見識がある様に見せ掛ける。
> ６．自分よりも優秀な人間は絶対に敵に回さないでヘラヘラと仲良くする。
> ７．自分から見てダメオツムな野郎は、上から目線で威圧して屈服させる。
> ８．大して中身が無いカラッポ知識を針小棒大に騒ぎ立て、蘊蓄を傾ける。
> ９．自分の大脳が働いてない低能ぶりは、口先で適当に誤魔化して逃げる。
>
> ￥
>
580:１３２人目の素数さん
16/08/19 12:57:04.98 o0cRbQRI.net
ゴミ
581:１３２人目の素数さん
16/08/19 13:35:42.26 VQn7+kz5.net
ここは君の日記帳やないんやで
582:￥ ◆2VB8wsVUoo
16/08/19 14:18:36.14 jyKjuYWZ.net
￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5568 ：名無しさん：2016/08/17(水) 18:26:13 ID:???
> うるさい
>
>5569 ：kmath1107★：2016/08/17(水) 21:46:32 ID:???
> 人への念の盗み見による介入を阻め。
>
>5571 ：名無しさん：2016/08/17(水) 23:39:07 ID:???
> うるさい
>
>5576 ：kmath1107★ ：2016/08/18(木) 20:58:14 ID:???
> 人への念の盗み見による介入を阻め。
>
>5577 ：名無しさん ：2016/08/18(木) 21:05:02 ID:???
> >>5575
> うるさい
>
> >>5576
> 賛同致します
>
>5578 ：kmath1107★ ：2016/08/19(金) 08:46:22 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5577 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>
>5582 ：￥ ◆2VB8wsVUoo ：2016/08/19(金) 08:53:36 ID:???
> 芳雄が理想とし、自ら体現する大学教授とは？
> ０．自分が『お教授である』という利点を徹底活用して、偉そうに振舞う。
> １．年寄りや権威には擦り寄って顔色を窺い、ラクして損しない様にスル。
> ２．難しい分野や困難な研究テーマは徹底して避けて、努力を最小化する。
> ３．高い学歴とか権威を効率的に利用して、自分を飾って偉く見せ掛ける。
> ４．他人に見える部分だけを巧みに繕ってメッキし、人格者のフリをする。
> ５．相手のオツムの質を窺い、シッタカだけで見識がある様に見せ掛ける。
> ６．自分よりも優秀な人間は絶対に敵に回さないでヘラヘラと仲良くする。
> ７．自分から見てダメオツムな野郎は、上から目線で威圧して屈服させる。
> ８．大して中身が無いカラッポ知識を針小棒大に騒ぎ立て、蘊蓄を傾ける。
> ９．自分の大脳が働いてない低能ぶりは、口先で適当に誤魔化して逃げる。
>
> ￥
>
583:￥ ◆2VB8wsVUoo
16/08/19 15:21:38.25 jyKjuYWZ.net
￥
584:￥ ◆2VB8wsVUoo
16/08/19 15:21:54.28 jyKjuYWZ.net
￥
585:￥ ◆2VB8wsVUoo
16/08/19 15:22:10.78 jyKjuYWZ.net
￥
586:￥ ◆2VB8wsVUoo
16/08/19 15:22:28.26 jyKjuYWZ.net
￥
587:￥ ◆2VB8wsVUoo
16/08/19 15:22:45.47 jyKjuYWZ.net
￥
588:￥ ◆2VB8wsVUoo
16/08/19 15:23:00.69 jyKjuYWZ.net
￥
589:￥ ◆2VB8wsVUoo
16/08/19 15:23:18.67 jyKjuYWZ.net
￥
590:￥ ◆2VB8wsVUoo
16/08/19 15:23:35.90 jyKjuYWZ.net
￥
591:￥ ◆2VB8wsVUoo
16/08/19 15:23:52.51 jyKjuYWZ.net
￥
592:￥ ◆2VB8wsVUoo
16/08/19 15:24:10.64 jyKjuYWZ.net
￥
593:１３２人目の素数さん
16/08/19 17:09:59.20 wFw5As7s.net
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑は松坂和夫著『解析入門3』の濃度のところの問題の2です。
写像が全射と書いてありますが、 φ に移る X^n の元がないため、
全射ではありません。
594:￥ ◆2VB8wsVUoo
16/08/19 18:31:18.67 jyKjuYWZ.net
￥
595:１３２人目の素数さん
16/08/19 18:43:49.55 wFw5As7s.net
代数的数全体の集合が可算であることの証明ですが、以下であっていますか？
P_n を n 次の整係数多項式全体とする。
写像 (Z-{0})×Z^n ∋ (a_n, a_(n-1), …, a_0) → a_n*x^n + a_(n-1)*x^(n-1) + … + a_0 ∈ P_n
は明らかに全単射である。 (Z-{0})×Z^n は可算だから P_n も可算である。
URLﾘﾝｸ(i.imgur.com)
↑の定理2により、 I = ∪_{n=1}^{∞} P_n は可算である。
p ∈ I とする。
A_p を p = 0 の複素数解全体の集合とする。
∪_{p∈I} A_p は代数的数全体の集合に等しい。
A_p は有限集合であり、 I は可算集合であるから、
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑の定理2の系により、 ∪_{p∈I} A_p は可算集合である。
596:１３２人目の素数さん
16/08/19 19:22:48.07 DEqUqOsm.net
第３巻で集合と位相を扱っている構成になっているんですね
597:１３２人目の素数さん
16/08/19 19:26:38.95 i0lSJY6g.net
>>553
「各要素の二番目の添え字に注目して偶順列と奇順列
に分け前者に+、後者に-をつけたものの総和量」
などというヘンテコな量が体積だの面積だの
はたまた連立一次方程式に出てくること自体が
理解できない
なによりも分からないのはこのヘンテコな量が微積、統計
あらゆるところに平気な顔をして出てくるところ
598:１３２人目の素数さん
16/08/19 19:31:58.40 tKgwmzZv.net
おまえは質問への回答を何一つ読んでいないのか
599:１３２人目の素数さん
16/08/19 19:32:54.10 oehvi7ZB.net
あるプログラムのコードで arccos(x) の x=1 付近を 2√(1-√(x)) で近似していました。開発者はどうやってこれを導いたのだと思いますか？
600:１３２人目の素数さん
16/08/19 19:42:30.26 i0lSJY6g.net
>>586
回答になってないものばかりだからな
一つ言えることは、行列式というのは偶然そう表せる
神秘的な量であって、説明に苦しむからみんな黙っているということ
あとは精々、連立一次方程式を解くためという、比較的分かりやすい
説明が加えられるだけで、本質は神秘的に体積などに一致する量で
説明し出すと失敗するので、どいつもこいつも卑怯にも黙ってること
601:￥ ◆2VB8wsVUoo
16/08/19 19:43:14.41 jyKjuYWZ.net
￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5568 ：名無しさん：2016/08/17(水) 18:26:13 ID:???
> うるさい
>
>5569 ：kmath1107★：2016/08/17(水) 21:46:32 ID:???
> 人への念の盗み見による介入を阻め。
>
>5571 ：名無しさん：2016/08/17(水) 23:39:07 ID:???
> うるさい
>
>5576 ：kmath1107★ ：2016/08/18(木) 20:58:14 ID:???
> 人への念の盗み見による介入を阻め。
>
>5577 ：名無しさん ：2016/08/18(木) 21:05:02 ID:???
> >>5575
> うるさい
>
> >>5576
> 賛同致します
>
>5578 ：kmath1107★ ：2016/08/19(金) 08:46:22 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5577 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>
>5582 ：￥ ◆2VB8wsVUoo ：2016/08/19(金) 08:53:36 ID:???
> 芳雄が理想とし、自ら体現する大学教授とは？
> ０．自分が『お教授である』という利点を徹底活用して、偉そうに振舞う。
> １．年寄りや権威には擦り寄って顔色を窺い、ラクして損しない様にスル。
> ２．難しい分野や困難な研究テーマは徹底して避けて、努力を最小化する。
> ３．高い学歴とか権威を効率的に利用して、自分を飾って偉く見せ掛ける。
> ４．他人に見える部分だけを巧みに繕ってメッキし、人格者のフリをする。
> ５．相手のオツムの質を窺い、シッタカだけで見識がある様に見せ掛ける。
> ６．自分よりも優秀な人間は絶対に敵に回さないでヘラヘラと仲良くする。
> ７．自分から見てダメオツムな野郎は、上から目線で威圧して屈服させる。
> ８．大して中身が無いカラッポ知識を針小棒大に騒ぎ立て、蘊蓄を傾ける。
> ９．自分の大脳が働いてない低能ぶりは、口先で適当に誤魔化して逃げる。
>
> ￥
>
602:１３２人目の素数さん
16/08/19 19:44:45.88 tKgwmzZv.net
連立一次方程式を解くためって分かりやすいのか？
もしかして、自分の知ってる例がそれしかないってことはないよね
603:１３２人目の素数さん
16/08/19 19:47:44.67 i0lSJY6g.net
>>590
分母が０つまりDETが０になると解けないからDETを研究する意味がある
その他の分野では、そもそもDETが体積になることからして証明されていない
604:１３２人目の素数さん
16/08/19 19:49:18.48 i0lSJY6g.net
いやそもそもｎ元一次連立方程式からしてクラメルの公式
で表せるかどうか証明されているのか
605:１３２人目の素数さん
16/08/19 19:50:48.96 tKgwmzZv.net
行列式が底面積×高さを表していることは知らないの？
606:１３２人目の素数さん
16/08/19 19:53:43.22 tKgwmzZv.net
>>546などはかなり納得のいく理由だと思うんだが、
クラメルの公式のような形式的としか思えないものが分かりやすいってどんな感覚だよ…
607:１３２人目の素数さん
16/08/19 19:54:50.46 G9C6753h.net
>>585
行列の定義はヘンテコだと思わんのか
縦横に数を羅列しただけの変な表なのに
行列の定義がヘンテコだから行列式の定義も変な計算式になるのよ
608:１３２人目の素数さん
16/08/19 19:58:31.41 i0lSJY6g.net
sgnの定義と体積が結び付くのが神秘的で説明のしようがないから
２流以下の数学者のクソどもは黙ってるんだよ
609:１３２人目の素数さん
16/08/19 20:00:16.80 i0lSJY6g.net
あるいはそこまで研究してないで応用にしか関心がない
理工学系とかな。sgnによる符号付とその総和である行列式
が何で体積になったり、色々なところに出てくるのか考えたことがないから
決まりきった説明しかできない
610:１３２人目の素数さん
16/08/19 20:05:14.89 tKgwmzZv.net
人の話を聞かない奴だね…
611:１３２人目の素数さん
16/08/19 20:09:17.44 i0lSJY6g.net
>>598
お前の説明はクソだから死ねよタコ
612:１３２人目の素数さん
16/08/19 20:10:31.72 i0lSJY6g.net
行列要素にサイン関数をつけたものの総和
がなんで体積なのか全然説明になってない
613:１３２人目の素数さん
16/08/19 20:19:58.33 i0lSJY6g.net
しいて言えば神秘的にそうなるというのが一つの回答
ミステリー以外に理由がないからほとんどの数学関係者は
説明ができない
614:１３２人目の素数さん
16/08/19 20:26:10.01 i0lSJY6g.net
符号付体積の説明なら
URLﾘﾝｸ(www2.kaiyodai.ac.jp)
でも見た方がすぐわかる
ただこのサイトでも、何で要素にsgnをつけたものの総和が体積なのかは
説明できてない
615:１３２人目の素数さん
16/08/19 20:27:19.97 VQn7+kz5.net
>>551
符号つき面積はなぜ交代性があるのかよく分からないな
なんで昔の人は面積をではなく、符号つき面積なんてものを考えてそこに交代性を課したんだろう
616:１３２人目の素数さん
16/08/19 21:13:01.07 8JY992PY.net
>>563
英語読めてる？
617:１３２人目の素数さん
16/08/19 21:20:03.85 8JY992PY.net
>>587
√(2(1 - x)) ではないの？
618:１３２人目の素数さん
16/08/19 21:26:00.20 wFw5As7s.net
[0, π/2) ∪ (π, 2*π) には、
a = cos(t)
b = sin(t)
となるような t が存在しないことを言わないと
いけないですが、そのチェックをしていません。
619:１３２人目の素数さん
16/08/19 21:27:20.17 wFw5As7s.net
>>604
[0, π/2) ∪ (π, 2*π) には、
a = cos(t)
b = sin(t)
となるような t が存在しないことを言わないと
いけないですが、そのチェックをしていません。
620:１３２人目の素数さん
16/08/19 21:29:59.32 7lu8XDTk.net
行列式が体積と関係することの説明：
n個のベクトル a_1,a_2,…,a_n∈R^n で張られる
n次元の平行四辺形の符号付体積を S(a_1,…,a_n) と置く。
幾何学的な直観により、S(a_1,…,a_n) はn重交代線形性を持つことが分かる。
さらに、e_i＝(0,…,0,1,0,…,0) (i番目の要素のみが1)と置けば、
S(e_1,…,e_n)＝1
が成り立つことが分かる。これらの性質から、
S(a_1,…,a_n)＝Σ[σ∈S_n] sgn(σ)a_{1σ(1)}…a_{nσ(n)}
が出る。すなわち、S(a_1,…,a_n) は a_1,…,a_n の行列式となる。
621:１３２人目の素数さん
16/08/19 21:45:36.00 wFw5As7s.net
>>587
x ≒ 0 のとき、
(1 - x^2/4)^2 ≒ 1 - (1/2!)*x^2 + (1/4!)*x^4 ± …
だからではないでしょうか？
622:１３２人目の素数さん
16/08/19 22:00:35.17 i0lSJY6g.net
>>608
説明になってない
ゴミ
623:１３２人目の素数さん
16/08/19 22:06:09.82 wFw5As7s.net
>>587
x ≒ 0 のとき、
(1 - x^2/4)^2 = 1 - x^2/2 + x^4/16 ≒ 1 - x^2/2 + x^4/24 = 1 - (1/2!)*x^2 + (1/4!)*x^4 ≒ cos(x)
です。
(1 - x^2/4)^2 は [0, 2] で狭義単調減少関数ですから、逆関数が存在します。
その逆関数が、
x = 2*sqrt(1-sqrt(y))
です。
624:１３２人目の素数さん
16/08/19 22:11:48.69 wFw5As7s.net
>>587
実際に、グラフを描いてみると以下のようになります：
URLﾘﾝｸ(www.wolframalpha.com)(1+-+x%5E2%2F4)%5E2,+cos(x),+x+%3D+-2+to+2
625:１３２人目の素数さん
16/08/19 22:25:09.37 tKgwmzZv.net
>>610
それでは君の意図は伝わらないから話の続けようがない
何故説明になっていないのか、どういう観点から説明を見直すべきなのか、を伝えないと
626:１３２人目の素数さん
16/08/19 22:36:41.26 i0lSJY6g.net
n個のベクトル a_1,a_2,…,a_n∈R^n で張られる
n次元の平行四辺形の符号付体積を S(a_1,…,a_n) と置く。
.＞ここまでは理解可能、ここから下が意味不明
幾何学的な直観により、S(a_1,…,a_n) はn重交代線形性を持つことが分かる。
さらに、e_i＝(0,…,0,1,0,…,0) (i番目の要素のみが1)と置けば、
S(e_1,…,e_n)＝1
が成り立つことが分かる。これらの性質から、
S(a_1,…,a_n)＝Σ[σ∈S_n] sgn(σ)a_{1σ(1)}…a_{nσ(n)}
が出る。すなわち、S(a_1,…,a_n) は a_1,…,a_n の行列式となる。
627:１３２人目の素数さん
16/08/19 22:40:19.29 tKgwmzZv.net
そこかよ…
俺も含め、色んな人がその手の説明をしてきただろ
分からないなら分からないと、その時に素直に言えよ…
628:１３２人目の素数さん
16/08/19 22:40:40.57 wFw5As7s.net
松坂和夫さんは妙に集合論が好きみたいですね。
集合・位相入門という本も書いていますし。
629:１３２人目の素数さん
16/08/19 22:55:13.73 7lu8XDTk.net
>>614
＞さらに、e_i＝(0,…,0,1,0,…,0) (i番目の要素のみが1)と置けば、
＞
＞S(e_1,…,e_n)＝1
＞
＞が成り立つことが分かる。
少なくともここは認めろよｗ
e_1,e_2,…,e_nは長さが1のn本のベクトルで、
それらは互いに直行しているんだぞ。
そのようなn本のベクトルで張られるn次元の平行四辺形は
n次元の超立方体であり、その立体の体積が「1」でないのだとしたら、
一体いくつにすべきなんだよバカタレが
630:１３２人目の素数さん
16/08/19 22:57:05.68 tKgwmzZv.net
「俺の理解できる説明になっていない」ことを
「説明になっていない」等と書く奴は放っておけ
631:１３２人目の素数さん
16/08/19 22:57:54.67 7lu8XDTk.net
ていうか、こいつ例の大日本帝国ナンチャラだろ
以前はIMO厨としてバカみたいに大暴れしてたな
未だにこんなところで躓いているとかレベル低すぎ
632:１３２人目の素数さん
16/08/20 00:12:14.87 zEgGLRG5.net
>>616
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
633:１３２人目の素数さん
16/08/20 00:12:40.45 zEgGLRG5.net
>>612
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
634:１３２人目の素数さん
16/08/20 00:13:02.79 zEgGLRG5.net
>>611
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
635:１３２人目の素数さん
16/08/20 00:13:19.46 zEgGLRG5.net
>>609
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
636:１３２人目の素数さん
16/08/20 00:13:36.49 zEgGLRG5.net
>>607
>>369
>>407
いったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうか
637:１３２人目の素数さん
16/08/20 00:13:56.02 zEgGLRG5.net
>>616
答えられないんですね(笑)
638:１３２人目の素数さん
16/08/20 00:14:13.00 zEgGLRG5.net
>>612
答えられないんですね(笑)
639:１３２人目の素数さん
16/08/20 00:14:29.48 zEgGLRG5.net
>>611
答えられないんですね(笑)
640:１３２人目の素数さん
16/08/20 00:14:46.20 zEgGLRG5.net
>>609
答えられないんですね(笑)
641:１３２人目の素数さん
16/08/20 00:15:02.46 zEgGLRG5.net
>>607
答えられないんですね(笑)
642:１３２人目の素数さん
16/08/20 00:15:25.65 zEgGLRG5.net
369 １３２人目の素数さん 2016/08/15(月) 04:48:07.69 ID:nsWW7UjZ
URLﾘﾝｸ(imgur.com)
URLﾘﾝｸ(imgur.com)
↑は、 sin(x), cos(x) の有理式を積分する方法について書かれたものです。
●「さらに、 0 ≦ x ≦ Pi/2 のときには cos(x) ≧ 0、 0 ≦ t ≦ 1 だから」
●「x が他の範囲にあるときには、対応する t の範囲と sin(x)、 cos(x) の符号に気をつけて計算する必要がある。」
などと書かれていますが、間違っています。
平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。
ところが、 x の値によらず、 cos(x) = (1 - t^2) / (1 + t^2) ですから、そんな心配は無用です。
計算は以下です：
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)
643:１３２人目の素数さん
16/08/20 00:15:44.05 zEgGLRG5.net
407 １３２人目の素数さん sage 2016/08/15(月) 11:31:53.82 ID:tdVmeQVW
>>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)
と計算すればいいだけの話。
644:１３２人目の素数さん
16/08/20 00:16:11.54 zEgGLRG5.net
>>630
>>369
>>407
これのいったいどこをどう読み取れば「平たく言えば、 x の値によっては、 cos(x) = - (1 - t^2) / (1 + t^2) になることがあるから注意せよということを言っています。」となるのでしょうね
645:１３２人目の素数さん
16/08/20 00:16:39.55 zEgGLRG5.net
なんで答えられないんですか
646:１３２人目の素数さん
16/08/20 00:17:18.27 zEgGLRG5.net
まさか他人の誤植を見つけるのが得意なのに自分の誤解は見抜けないんですか？
647:１３２人目の素数さん
16/08/20 00:17:20.85 xOAoc05W.net
君の場合、答えても理解しないからなあ。
それを指摘されたからって荒らすなよ。
648:１３２人目の素数さん
16/08/20 00:17:55.78 zEgGLRG5.net
その程度の脳味噌しか持ってないのに偉そうに書き込みを続けるんですか？
649:１３２人目の素数さん
16/08/20 00:19:12.72 zEgGLRG5.net
行列の話じゃないです
>>369に関する話です
650:１３２人目の素数さん
16/08/20 00:22:59.89 ZLAF0ECK.net
日付が変わ�
651:ﾁた途端、何かを誤魔化すかのように連投で流れぶった切り 行列の謎はもういいのかい？
652:１３２人目の素数さん
16/08/20 02:01:52.39 zpV+HW0Z.net
>>637
君数学の才能無いよ
653:１３２人目の素数さん
16/08/20 02:08:34.12 zEgGLRG5.net
>>639
大丈夫です、>>369よりはあるので
654:￥ ◆2VB8wsVUoo
16/08/20 03:43:36.21 DeDh3mAU.net
￥
>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5568 ：名無しさん：2016/08/17(水) 18:26:13 ID:???
> うるさい
>
>5569 ：kmath1107★：2016/08/17(水) 21:46:32 ID:???
> 人への念の盗み見による介入を阻め。
>
>5571 ：名無しさん：2016/08/17(水) 23:39:07 ID:???
> うるさい
>
>5576 ：kmath1107★ ：2016/08/18(木) 20:58:14 ID:???
> 人への念の盗み見による介入を阻め。
>
>5577 ：名無しさん ：2016/08/18(木) 21:05:02 ID:???
> >>5575
> うるさい
>
> >>5576
> 賛同致します
>
>5578 ：kmath1107★ ：2016/08/19(金) 08:46:22 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5577 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>
>5582 ：￥ ◆2VB8wsVUoo ：2016/08/19(金) 08:53:36 ID:???
> 芳雄が理想とし、自ら体現する大学教授とは？
> ０．自分が『お教授である』という利点を徹底活用して、偉そうに振舞う。
> １．年寄りや権威には擦り寄って顔色を窺い、ラクして損しない様にスル。
> ２．難しい分野や困難な研究テーマは徹底して避けて、努力を最小化する。
> ３．高い学歴とか権威を効率的に利用して、自分を飾って偉く見せ掛ける。
> ４．他人に見える部分だけを巧みに繕ってメッキし、人格者のフリをする。
> ５．相手のオツムの質を窺い、シッタカだけで見識がある様に見せ掛ける。
> ６．自分よりも優秀な人間は絶対に敵に回さないでヘラヘラと仲良くする。
> ７．自分から見てダメオツムな野郎は、上から目線で威圧して屈服させる。
> ８．大して中身が無いカラッポ知識を針小棒大に騒ぎ立て、蘊蓄を傾ける。
> ９．自分の大脳が働いてない低能ぶりは、口先で適当に誤魔化して逃げる。
>
> ￥
>
655:１３２人目の素数さん
16/08/20 05:08:37.51 9n1ukBKQ.net
>>640
w
656:１３２人目の素数さん
16/08/20 05:31:44.16 Rn1STDtR.net
自分と戦ってるの？
657:１３２人目の素数さん
16/08/20 08:10:43.73 9TVbDO6E.net
URLﾘﾝｸ(imgur.com)
↑は、松坂和夫著『解析入門3』の問題です。
解答を見ると、
i ≠ j のとき、 X_i ∩ X_j = φ であると仮定してよい
と書かれています。
その理由を教えてください。
658:１３２人目の素数さん
16/08/20 08:30:30.11 z1CpxiP5.net
相対性理論応用 固有時間の差異を利用した標高差の精密測量に世界で初めて成功
URLﾘﾝｸ(www3.nhk.or.jp)
火山災害や地殻変動の予測が可能に
時間が流れる速さの極めてわずかな違いから、２つの場所の標高の差を精密に測ることに
東京大学などの研究チームが世界で初めて成功しました。
将来、標高の変化をリアルタイムで把握できれば、火山災害などの予測につながるとしています。