大学学部レベル質問スレ 3単位目 [無断転載禁止]©2ch.net

大学で習う数学に関する質問を扱うスレ

・質問する前に教科書や参考書を読むなりググるなりして
・ただの計算は
http://wolframalpha.com
・数式の表記法は
http://mathmathmath.dote ra.net
・質問のマルチポストは非推奨
・煽り、荒らしはスルー

関連スレ
微積と線形代数のスレ2 [転載禁止]©2ch.net
http://wc2014.2ch.net/test/read.cgi/math/1437010047/
線形代数（初心者レベルから中級まで）
http://wc2014.2ch.net/test/read.cgi/math/1318252223/
分からない問題はここに書いてね416 [無断転載禁止]©2ch.net
http://rio2016.2ch.net/test/read.cgi/math/1469457223/

※前スレ
大学学部レベル質問スレ 2単位目
http://rio2016.2ch.net/test/read.cgi/math/1465307158/

>>92
>>93
>>124
遅れました。
何度も読んで理解できたと思います！
ありがとうございました。

>>146
直ちにわかるじゃん

割り切れる ⇔ 余りゼロ ⇔ f^(m)=0, m=0,1,...,k-1

>>153

余りの一意性はどうやって証明するのでしょうか？

>>153

定理3.3：
http://imgur.com/IEN9W1u.jpg

も明らかでしょうか？

すべて自明でないとして遡り続ければ公理までたどり着けるね、公理までがんばれ

￥

>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5470 ：￥ ◆2VB8wsVUoo ：2016/08/06(土) 17:43:47 ID:???
> ￥
>
>5471 ：kmath1107★ ：2016/08/07(日) 06:25:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5472 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 08:32:51 ID:???
> ￥
>
>5473 ：kmath1107★ ：2016/08/07(日) 17:43:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5474 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 17:54:48 ID:???
> ￥
>
>5475 ：名無しさん ：2016/08/08(月) 04:30:59 ID:C9rjCaNs
> 人への念の盗み見による介入を阻むことができれば、多くの人に明るい未来が来る？
>
>5476 ：kmath1107★ ：2016/08/08(月) 10:05:45 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5475 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>

>>154
それはこのステージよりも前に
証明されてることでしょ、普通。

体: L=F_11[X]/(X^2-2) (F_11=Z/11Z)で
T^3-1をL係数のとき、L上で一次式の積に因数分解できることの示し方教えてください。

>>154
http://www.ftext.org/text/subsubsection/2336

>>160

それは多項式の話ですよね。

多項式関数については話が違うかと思います。

定理3.3：
http://imgur.com/IEN9W1u.jpg

例えば、この定理ですが、多項式についてであれば、多項式の定義から
明らかに成り立つかと思います。

一方、多項式関数については証明する必要があります。

明らかに成り立つの？

p を素数として、有限体 F_p の元を係数とする多項式を考えます。

f(x) = x^p
g(x) = x

f(x) と g(x) は多項式の定義により、ことなる多項式です。

ところが、 F_p → F_p という関数だと考えると、

f = g

になります。

￥

>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5470 ：￥ ◆2VB8wsVUoo ：2016/08/06(土) 17:43:47 ID:???
> ￥
>
>5471 ：kmath1107★ ：2016/08/07(日) 06:25:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5472 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 08:32:51 ID:???
> ￥
>
>5473 ：kmath1107★ ：2016/08/07(日) 17:43:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5474 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 17:54:48 ID:???
> ￥
>
>5475 ：名無しさん ：2016/08/08(月) 04:30:59 ID:C9rjCaNs
> 人への念の盗み見による介入を阻むことができれば、多くの人に明るい未来が来る？
>
>5476 ：kmath1107★ ：2016/08/08(月) 10:05:45 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5475 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>

f(x)は多項式って>>149に書いてあるんだが

この本は微分積分の本なので、多項式関数のことを多項式と言っています。

ちなみに、↓の本でも、 polynomial function ではなく単に polynomial と書かれています。

定理3.3：
http://imgur.com/IEN9W1u.jpg

￥

>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5470 ：￥ ◆2VB8wsVUoo ：2016/08/06(土) 17:43:47 ID:???
> ￥
>
>5471 ：kmath1107★ ：2016/08/07(日) 06:25:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5472 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 08:32:51 ID:???
> ￥
>
>5473 ：kmath1107★ ：2016/08/07(日) 17:43:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5474 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 17:54:48 ID:???
> ￥
>
>5475 ：名無しさん ：2016/08/08(月) 04:30:59 ID:C9rjCaNs
> 人への念の盗み見による介入を阻むことができれば、多くの人に明るい未来が来る？
>
>5476 ：kmath1107★ ：2016/08/08(月) 10:05:45 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5475 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>

￥

￥

￥

￥

￥

￥

￥

￥

￥

￥

ID:Eeps/FYNさん
自分でスレ建ててやったら？

スレに沿っているのに隔離する理由はありませんね

￥

>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5470 ：￥ ◆2VB8wsVUoo ：2016/08/06(土) 17:43:47 ID:???
> ￥
>
>5471 ：kmath1107★ ：2016/08/07(日) 06:25:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5472 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 08:32:51 ID:???
> ￥
>
>5473 ：kmath1107★ ：2016/08/07(日) 17:43:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5474 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 17:54:48 ID:???
> ￥
>
>5475 ：名無しさん ：2016/08/08(月) 04:30:59 ID:C9rjCaNs
> 人への念の盗み見による介入を阻むことができれば、多くの人に明るい未来が来る？
>
>5476 ：kmath1107★ ：2016/08/08(月) 10:05:45 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5475 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>

￥

￥

￥

￥

￥

￥

￥

￥

￥

￥

http://imgur.com/2z9njDk.jpg
http://imgur.com/8ychqhr.jpg

↑は、フィールズ賞受賞者の弟子であり、代数幾何学が専門の京都大学名誉教授の本です。

赤い線を引いたところを見てください。

本当にこの人は数学者といっていいのでしょうか？
普通の大学生以下の注意力しか持っていません。
昔、活躍した野球選手が現役を引退後、試合をしている様子がテレビで放映されることがあります。
草野球の素人プレイヤー以下の実力しか持っていないことが誰の目にも明らかな場合がほとんどです。

数学でも同じことが言えるのでしょうか？


F = {1-1/n | n ∈ {1, 2, 3, …}}

a1 = √2
b1 = 0

とします。

c2 = (b1 + a1) / 2 = √2/2

ですが、

c2 は F の元ではありませんし、 F の上界でもありません。

ちなみに、この京都大学名誉教授ですが、NHKのテレビ番組に出演しているのを
見たことがあります。

放送大学でも特別講義をしていました。

高木貞治の解析概論は多変数が杜撰で名著と言われるが、理解に苦しむなどと書いて
いますが、高木貞治の本は、この人の本ほどひどくはないのではないでしょうか？

￥

>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5470 ：￥ ◆2VB8wsVUoo ：2016/08/06(土) 17:43:47 ID:???
> ￥
>
>5471 ：kmath1107★ ：2016/08/07(日) 06:25:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5472 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 08:32:51 ID:???
> ￥
>
>5473 ：kmath1107★ ：2016/08/07(日) 17:43:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5474 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 17:54:48 ID:???
> ￥
>
>5475 ：名無しさん ：2016/08/08(月) 04:30:59 ID:C9rjCaNs
> 人への念の盗み見による介入を阻むことができれば、多くの人に明るい未来が来る？
>
>5476 ：kmath1107★ ：2016/08/08(月) 10:05:45 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5475 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>

￥

￥

￥

￥

￥

￥

￥

￥

￥

￥

￥

>>195
君がまちがってんじゃないの

x,y生成元で
x^6=e y^4=e yx=xy^(-1)のとき
<x,y>の群の位数ってどう求めればよいですか？

（ｘ＾ｐｙ＾ｑ）（ｘ＾ｒｙ＾ｓ）＝ｘ＾（ｐ＋ｒ）ｙ＾（ｑ（−１）＾ｒ＋ｓ）。

ある関数 f(x) をマクローリン展開できない。

一方、

f(x) = a_0 + a_1*x + a_2*x^2 + …

とべき級数で表わされるということはありますか？

たとえば、

t ∈ (-∞, +∞) で、以下の等式が成り立ちます。

exp(t) = 1 + t + (1/2!)*t^2 + (1/3!)*t^3 + (1/4!)*t^4 + …

よって、

x ∈ (-∞, +∞) で、以下の等式が成り立ちます。

exp(x^2) = 1 + x^2 + (1/2!)*x^4 + (1/3!)*x^6 + (1/4!)*x^8 + …

この事実から必然的に、 exp(x^2) はマクローリン展開できると結論できますか？

￥

>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5470 ：￥ ◆2VB8wsVUoo ：2016/08/06(土) 17:43:47 ID:???
> ￥
>
>5471 ：kmath1107★ ：2016/08/07(日) 06:25:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5472 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 08:32:51 ID:???
> ￥
>
>5473 ：kmath1107★ ：2016/08/07(日) 17:43:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5474 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 17:54:48 ID:???
> ￥
>
>5475 ：名無しさん ：2016/08/08(月) 04:30:59 ID:C9rjCaNs
> 人への念の盗み見による介入を阻むことができれば、多くの人に明るい未来が来る？
>
>5476 ：kmath1107★ ：2016/08/08(月) 10:05:45 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5475 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>

F(x, y) を2変数の有理関数とします。

∫ F(x, √(a*x^2 + b*x + c)) dx

は、置換積分により、有理関数の積分に帰着されます。

このことの幾何学的な説明をしている微分積分の本を教えてください。

http://imgur.com/LYV68FA.jpg
http://imgur.com/C5vSkJJ.jpg
http://imgur.com/QP0LZhf.jpg

↑は、 ∫ F(x, √(1 + a*x^2)) dx の置換積分の幾何学的な説明をしています。

このような説明はすべての微分積分の教科書に書くべきではないでしょうか？

このようなことの一般論はないのでしょうか？

￥

>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5470 ：￥ ◆2VB8wsVUoo ：2016/08/06(土) 17:43:47 ID:???
> ￥
>
>5471 ：kmath1107★ ：2016/08/07(日) 06:25:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5472 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 08:32:51 ID:???
> ￥
>
>5473 ：kmath1107★ ：2016/08/07(日) 17:43:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5474 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 17:54:48 ID:???
> ￥
>
>5475 ：名無しさん ：2016/08/08(月) 04:30:59 ID:C9rjCaNs
> 人への念の盗み見による介入を阻むことができれば、多くの人に明るい未来が来る？
>
>5476 ：kmath1107★ ：2016/08/08(月) 10:05:45 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5475 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>

￥

￥

￥

￥

￥

￥

￥

￥

￥

￥

>>210
すみません、そこからどうやって求めればいいでしょうか

￥

>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5470 ：￥ ◆2VB8wsVUoo ：2016/08/06(土) 17:43:47 ID:???
> ￥
>
>5471 ：kmath1107★ ：2016/08/07(日) 06:25:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5472 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 08:32:51 ID:???
> ￥
>
>5473 ：kmath1107★ ：2016/08/07(日) 17:43:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5474 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 17:54:48 ID:???
> ￥
>
>5475 ：名無しさん ：2016/08/08(月) 04:30:59 ID:C9rjCaNs
> 人への念の盗み見による介入を阻むことができれば、多くの人に明るい未来が来る？
>
>5476 ：kmath1107★ ：2016/08/08(月) 10:05:45 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5475 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>

http://imgur.com/SFNkxdi.jpg

↑は双曲線関数を利用して、定積分の値を求めようとしましたが、あと一歩のところで求められませんでした。
双曲線関数って便利ですが、微分積分の教科書にあまり載っていないことが多いのはなぜなのでしょうか？

めっちゃ見やすい。

http://imgur.com/rsX170t.jpg

↑当初の方針にしたがって、定積分の値を求めることができました。

1/cos(t) の原始関数を求めるのに、WolframAlphaの力を借りました。

￥

>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5470 ：￥ ◆2VB8wsVUoo ：2016/08/06(土) 17:43:47 ID:???
> ￥
>
>5471 ：kmath1107★ ：2016/08/07(日) 06:25:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5472 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 08:32:51 ID:???
> ￥
>
>5473 ：kmath1107★ ：2016/08/07(日) 17:43:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5474 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 17:54:48 ID:???
> ￥
>
>5475 ：名無しさん ：2016/08/08(月) 04:30:59 ID:C9rjCaNs
> 人への念の盗み見による介入を阻むことができれば、多くの人に明るい未来が来る？
>
>5476 ：kmath1107★ ：2016/08/08(月) 10:05:45 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5475 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>

￥

￥

￥

￥

￥

￥

￥

￥

￥

￥

http://imgur.com/cXERI7e.jpg

↑は2次の無理関数の定積分を求めよという問題です。
（II）のような変数変換は、幾何学的な説明がないと非常に不自然ではないでしょうか？
ヒントとして、原始関数を与えられたのと対して違わない感じがします。

↓のように双曲線関数の知識を使って計算するほうが自然ではないでしょうか？

http://imgur.com/29Krp9l.jpg

￥

>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5470 ：￥ ◆2VB8wsVUoo ：2016/08/06(土) 17:43:47 ID:???
> ￥
>
>5471 ：kmath1107★ ：2016/08/07(日) 06:25:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5472 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 08:32:51 ID:???
> ￥
>
>5473 ：kmath1107★ ：2016/08/07(日) 17:43:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5474 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 17:54:48 ID:???
> ￥
>
>5475 ：名無しさん ：2016/08/08(月) 04:30:59 ID:C9rjCaNs
> 人への念の盗み見による介入を阻むことができれば、多くの人に明るい未来が来る？
>
>5476 ：kmath1107★ ：2016/08/08(月) 10:05:45 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5475 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>

http://imgur.com/wA04sqW.jpg

↑は置換積分の公式ですが、なぜ、 x(t) に単調性を要求しているのでしょうか？

その質問への回答はもう出てるだろ阿呆

http://imgur.com/wx1rQSI.jpg
http://imgur.com/aVzokrH.jpg

↑は例の京都大学名誉教授の本ですが、関数 f(x) が区間 [a, b] でリーマン積分可能で
あるための必要十分条件が書かれています。

普通の微分積分の本にこの重要で興味深い定理が載っていないのはなぜなのでしょうか？

証明には、きっと間違いがあるので、まだ読んでいませんが。

実解析の教科書には大抵載ってるのと、その判定条件を使うことはまずないため

>>247

ありがとうございます。

そうですか、面白いという理由だけで載せてほしいのですが。

￥

>1 ：名無しさん ：2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5470 ：￥ ◆2VB8wsVUoo ：2016/08/06(土) 17:43:47 ID:???
> ￥
>
>5471 ：kmath1107★ ：2016/08/07(日) 06:25:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5472 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 08:32:51 ID:???
> ￥
>
>5473 ：kmath1107★ ：2016/08/07(日) 17:43:49 ID:???
> 人への念の盗み見による介入を阻め。
>
>5474 ：￥ ◆2VB8wsVUoo ：2016/08/07(日) 17:54:48 ID:???
> ￥
>
>5475 ：名無しさん ：2016/08/08(月) 04:30:59 ID:C9rjCaNs
> 人への念の盗み見による介入を阻むことができれば、多くの人に明るい未来が来る？
>
>5476 ：kmath1107★ ：2016/08/08(月) 10:05:45 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5475 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>

>>246
この定理は、ルベーグ積分の創始者であるルベーグ本人が発表した定理だったはず。
ルベーグ自身が創設したルベーグ積分の概念を使って、リーマン積分可能であるための
必要十分条件をゼロ集合と関連付けて表現したもので、ルベーグ積分とリーマン積分の関係を
如実に表す定理となっている。この定理が実質的に役に立つことはあまりないのだが、
「リーマン積分とルベーグ積分ってどういう関係なの？」という素朴な興味に答えてくれる定理であり、
その意味では大変に面白く、かつ重要な定理と言える。
自身が作った道具でこのような特徴づけを発表できたのは、さぞかし痛快だったと思われる。


ところで、ルベーグ積分を知ってる人でもたまにこの定理を知らない人がいて、
そういう人にこの定理を紹介すると怪訝な顔をされる。

「え？リーマン積分なのにルベーグ測度？なんか概念がごっちゃになってない？なんか勘違いしてない？」
「ていうか、こんな定理が成り立つとは思えない」

といった感じのリアクションである。
ルベーグ本人が発表した定理なのに、その定理の内容を聞いても腑に落ちることがなく、
疑問符がつくようでは、ルベーグ積分の「こころ」が全く分かってないことになり、
呆れるばかりである。やっぱり創始者は偉大だなと思うのだった。

勉強になります。

>>246
解析入門I（杉浦光夫）にも載ってるよ。
第IV章§9定理9.5