数学系YouTuberについて語れ。

**１３２人目の素数さん** · 2020/01/14(火) 23:25:59.59

ヨビノリ、鈴木貫太郎、masakikoga、etc...

**１３２人目の素数さん** · 2020/05/23(土) 16:39:39.87

>>456
それはそうですが、通常の自然数と同型ではないので別物ってことになりますね。

**１３２人目の素数さん** · 2020/05/23(土) 16:42:50.46

>>455
ああ、本当だごめん
俺が勘違いしてたわ、気づかなかった
確かに有理整数の加法群を最近扱ってなかったから、普通に勘違いしてた

個々の訂正が難しいから時を戻そう
「代数専攻さんの理解が誤っている」「PAで証明できれば証明できたことになる(>>413の2段落目以降全て)」「したがってヨビノリは間違いとは言えない」
という俺の主張は同じだな

**１３２人目の素数さん** · 2020/05/23(土) 16:52:46.05

そろそろ別スレでやれ

**１３２人目の素数さん** · 2020/05/23(土) 17:03:43.11

【新事実】有理整数Zは乗法群

①乗法結合法則　　　　　　a(bc)=(ab)c　　　　　　(∀a,b,c∈Z)
②乗法単位元の存在　　　1・n=n・1=n　　　　　　　(∃1∈Z,∀n∈Z)
③乗法逆元の存在　　　　　m(-1)=1　i.e.　m=-1　　(∀m∈Z,∃-1∈Z)

**１３２人目の素数さん** · 2020/05/23(土) 17:06:03.54

>>460
③に追加

m・1=1　i.e.　m=1

つまりZの乗法逆元は1と-1

**１３２人目の素数さん** · 2020/05/23(土) 17:24:55.17

>>460　ネタということにして誤魔化そうとしてるだろ？

＞③乗法逆元の存在　　　　　m(-1)=1　i.e.　m=-1　　(∀m∈Z,∃-1∈Z)

正しくは以下
③乗法逆元の存在　　　　　m(1/m)=1　　(∀m∈Z,∃1/ｍ∈Q)

つまり２の逆元は１／２、３の逆元は１／３、・・・
有理数だが整数じゃないな

**１３２人目の素数さん** · 2020/05/23(土) 17:27:32.78

>>460
【既成事実】有理整数Zは「加法」群

①結合法則　　　　　　a+(b+c)=(a+b)+c　　　　(∀a,b,c∈Z)
②単位元の存在　　　　0+n=n+0=n　　　　　　　(∃0∈Z,∀n∈Z)
③逆元の存在　　　　　m+(-ｍ)=0　　　　　　　　(∀m∈Z,∃-ｍ∈Z)

**１３２人目の素数さん** · 2020/05/23(土) 17:40:10.68

また任意厨かよ
2の逆元や3の逆元を考える必要はない

∀m∈Zに対して

m・1=1　すなわちm=1

または

m(-1)=1　すなわちm=-1

をみたすような1,-1∈Zが存在する

**１３２人目の素数さん** · 2020/05/23(土) 17:46:49.12

ところで、
生成元が１個のモノイドは可換だが、
生成元が２個のモノイドはもはや可換ではない

x+0=x
x+a(y)=a(x+y)
x+b(y)=b(x+y)
と定義する

a(0)+b(0)≠b(0)+a(0)

a(0)+b(0)
=b(a(0)+0)
=b(a(0))

b(0)+a(0)
=a(b(0)+0)
=a(b(0))

**１３２人目の素数さん** · 2020/05/23(土) 17:49:42.72

醜い論争が起きないのが数学のいいところだと思ってたけど普通に起きるんだな

**１３２人目の素数さん** · 2020/05/23(土) 18:04:20.85

>>464
＞2の逆元や3の逆元を考える必要はない
これは●●い・・・

群の逆元の定義読んだか？

（逆元の存在）G の”どんな”元 g に対しても、g・x=x・g=1 となるような G の元 x が存在する

だから2でも3でも4でもなんでも、対応する逆元が存在しないとダメだぞ！

**１３２人目の素数さん** · 2020/05/23(土) 18:08:04.56

写像f：X→Y

すべてのx∈Xに対して
f(x)∈Yとなるf(x)が存在する

このとき方程式を立てろ

(解答)

任意のx∈Xに対して

f(x)=0

となるようなY={0}を選べばよい

**１３２人目の素数さん** · 2020/05/23(土) 18:10:47.28

>>467
違うな
任意性の範囲がわかってない

**１３２人目の素数さん** · 2020/05/23(土) 18:12:19.52

>>468
任意性の範囲とは
すべてのx∈Xとあるが
ある関数f(x)に対して
方程式f(x)=0の解の範囲が
「すべて」のx∈Xである

**１３２人目の素数さん** · 2020/05/23(土) 18:15:10.33

>>468
なにトンチンカンなこといってんだ？

写像　rev：G→G
すべてのg∈Gに対して、それぞれあるrev(g)∈Gが存在し
g・rev(g)＝rev(g)・ｇ=1となる

G＝Zのとき、上記の命題を満たす写像revが存在するか？

**１３２人目の素数さん** · 2020/05/23(土) 18:20:02.10

>>470
それ「任意」要らんじゃん

「f(x)=0となるx∈Xが存在する」

これだけ

**１３２人目の素数さん** · 2020/05/23(土) 18:22:10.55

>>471
同じことだよ

rev：Z→Z

(対応)
1→1　　
-1→-1

任意のm∈Zに対して

m・rev(1)=rev(1)・m=1
m・rev(-1)=rev(-1)・m=1

をみたす-1,1∈Zが存在する

**１３２人目の素数さん** · 2020/05/23(土) 18:23:18.95

>>472
関数でないものは方程式にならない
それゆえ任意性が必要になる

**１３２人目の素数さん** · 2020/05/23(土) 18:27:27.19

>>473
全然違うぞｗ

じゃ、
rev(2)となる整数はいくつだ？
rev(3)となる整数はいくつだ？

さあ示せｗ

任意のm∈Zに対して

m・rev(m)=rev(m)・m=1
m・rev(m)=rev(m)・m=1

をみたすrev(m)∈Zが存在することを示せｗ

**１３２人目の素数さん** · 2020/05/23(土) 18:28:43.57

>>475
だから任意性と言うのは存在性に依存しているんだよ
それがわからないなら黙ってろ

**１３２人目の素数さん** · 2020/05/23(土) 18:31:19.04

>>474
参考のためにa8RN5dFTの出身大学と学部を教えてくれるか？
もしかして・・・大学行ってない？

（今までの調査事例）
・大阪大学工学部卒で∈と⊂の意味が分ってない人がいた
・京都大学文学部卒でε－δのεの任意性が分かってない人がいた

はっきりいわせてもらうけど、君は上記の二人より症状が重い

**１３２人目の素数さん** · 2020/05/23(土) 18:32:43.04

>>476
>>477の質問に答えたら、今日は黙ってあげよう

**１３２人目の素数さん** · 2020/05/23(土) 18:32:55.56

方程式の解の存在範囲が
関数の定義域だというこがわからないなら
数学は諦めた方がよい

**１３２人目の素数さん** · 2020/05/23(土) 18:42:46.44

>>479
じゃ、聞くけど、方程式2x=1を満たす”整数”xは？

あなたこそ数学諦めたほうがいい

論理が分からないあなたには絶対無理だから

**１３２人目の素数さん** · 2020/05/23(土) 18:43:56.01

>>458
何か勘違いしてるね
君はツッコむ側の人間ではなく笑われる側の人間だよ

**１３２人目の素数さん** · 2020/05/23(土) 18:46:34.01

もしかして・・・a8RN5dFTは、おっちゃん？

**１３２人目の素数さん** · 2020/05/23(土) 18:49:08.02

>>480
>じゃ、聞くけど、方程式2x=1を満たす”整数”xは？

ほらな任意性を理解してないし馬鹿にしてやがる
もう一度言う
解の存在範囲が定義域だ

**１３２人目の素数さん** · 2020/05/23(土) 18:52:32.64

関数のグラフってすべてを描ききれないよな？
それだから方程式の解の存在範囲内でグラフを描く
そういう意味だ

**１３２人目の素数さん** · 2020/05/23(土) 18:54:01.16

>>483
そりゃ
「（逆元の存在）G の”どんな”元 g に対しても、
　g・x=x・g=1 となるような G の元 x が存在する」
と書いてあるのに、２や３の乗法逆元を示さずして
Zは乗法群！とかいいだしたら馬鹿にされるでしょ　頭おかしいもん

こういう非論理的トンチンカン発言を真顔でいう人って
おっちゃん（理科大のわけのわからん学科卒）しか知らんのだが
違うなら出身大学・学部を教えてくれ　
数学板トンデモリストのトップに書いとくから

**１３２人目の素数さん** · 2020/05/23(土) 18:57:42.84

>>485
じゃあ定義を改めないとな
間違っているよ

**１３２人目の素数さん** · 2020/05/23(土) 18:58:42.84

>>485
ああ馬鹿にしているって数学を馬鹿にしているっていう意味だよ

**１３２人目の素数さん** · 2020/05/23(土) 19:00:42.93

>>486
a8RN5dFT　群の公理を否定・・・

ほんとあんたどこの大学の何学部を出たの？

理学部数学科でないことだけは分かるよ

だって群の公理も知らない上に否定するとか、ありえんもんｗ

群だっていうんだったら、群の公理満たさなくちゃダメでしょ

**１３２人目の素数さん** · 2020/05/23(土) 19:02:42.04

>>487
数学を馬鹿にしてるのは君
そして私はそんな不遜な君を馬鹿にしているｗ

で、どこの大学の何学部を出るとそんな不遜な態度がとれるの？
参考のために教えてくれたまえ

**１３２人目の素数さん** · 2020/05/23(土) 19:04:45.66

任意の元は任意だから任意に変形できるｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ

また三大戦犯
田島一郎
横田一郎
内田伏一

の被害者がいたか

**１３２人目の素数さん** · 2020/05/23(土) 19:06:22.95

2や3の逆元というが
それはグラフの話に置き換えると
グラフ外の元を調べろと言っているようなもの
恥を知れ

**１３２人目の素数さん** · 2020/05/23(土) 19:08:14.50

>>490
a8RN5dFT、ついに発●

君が
田島一郎
横田一郎
内田伏一
の本を理解できなかったのは、著者ではなく君の読解のせいだろう

君、国語の成績悪かっただろ
どこの大学の何学部だ？悪いけど旧帝大は無理そうだな・・・

**１３２人目の素数さん** · 2020/05/23(土) 19:08:16.23

定義を読めてないのは君だよ＾＾

**１３２人目の素数さん** · 2020/05/23(土) 19:10:46.66

>>491
何わけのわからん言い訳してるんだ？この馬鹿

Zが乗法群だといいきったのは君
２や３はZの要素
群の公理によれば、当然逆元がZの中に存在していなくてはならない

それが分からん、ということは
群の公理を全く知らんか、知ってたが文章が正しく読めなかったかのいずれか

君、ほんと大学どこ？学部どこ？

**１３２人目の素数さん** · 2020/05/23(土) 19:13:54.85

>>494
2や3の逆元を考える必要はない
なぜなら
∀n∈Z，∃-1,1∈Z；　以下略

の-1と1によってZの定義域は制限されているからだ

意味はわかるか？

**１３２人目の素数さん** · 2020/05/23(土) 19:15:06.83

じゃあな
学歴厨に用はねえよ
せいぜい高校生の時に予め定義された定義域の中で関数の
最大値と最小値を求めていたんでしょう

バカがざまーみろ

**１３２人目の素数さん** · 2020/05/23(土) 19:22:26.88

そりゃあZが体だっていうのなら
2や3の逆元を言わなきゃならんが
Zは乗法群であるとしか言っていない

**１３２人目の素数さん** · 2020/05/23(土) 19:24:03.75

>>466
バカが論争するとこうなる

**１３２人目の素数さん** · 2020/05/23(土) 19:24:36.58

>497

苦しい

**１３２人目の素数さん** · 2020/05/23(土) 19:26:14.95

>>481
俺がどういう人間であっても数学上の事実は変わらない
2と呼べるような概念が登場する代数は一般にはない
一方でペアノの公理は自然数と呼べるような概念が登場する(ペアノの公理の目的からして当然なのだが)
ヨビノリは間違いではない

**１３２人目の素数さん** · 2020/05/23(土) 19:35:50.96

>>497
＞そりゃあZが体だっていうのなら
＞2や3の逆元を言わなきゃならんが

同じことだが？

もちろん、体でなくとも乗法群になってる場合はある
例えば非負の有理数全体Q+とか
ただし、この場合は加法で半群だから

Zは加法群だから、0以外で乗法群を成しているなら当然体になる
つまり君の主張は「Zは体である」といってるのと同じ

そんなこともわからんの？
マジでどこの大学？もしかして高卒？

**１３２人目の素数さん** · 2020/05/23(土) 19:38:31.12

>>501
体の定義はわかるか？

環
0を除いてすべての元が単元

だぞ？

体でない乗法群の話をしている

**１３２人目の素数さん** · 2020/05/23(土) 19:44:26.27

>>502
＞体の定義はわかるか？

もちろん知っている

＞環
＞0を除いてすべての元が単元
＞だぞ？

そういう君は、単元の意味知ってるか？

逆元を持つ元のことだぞ？

だから２も３も逆元持ってないと駄目だぞ

つまり「非零元の全体が乗法に関して群を成す」と同じだぞ

**１３２人目の素数さん** · 2020/05/23(土) 19:45:39.84

a8RN5dFTよ

乗法群の定義を書いてみろ

間違いをズバリ指摘してやる

**１３２人目の素数さん** · 2020/05/23(土) 20:19:28.59

お前らで別のスレ立てろ。それ以上はスレチだ。

**１３２人目の素数さん** · 2020/05/23(土) 20:38:49.63

a8RN5dFTに捧ぐ

https://www.youtube.com/watch?v=KDM6OD24nhc

**１３２人目の素数さん** · 2020/05/23(土) 21:42:11.69

>>506
どういう意味だｗ

**１３２人目の素数さん** · 2020/05/24(日) 00:04:33.67

もはやみんなヨビノリそっちのけなのが笑える

**１３２人目の素数さん** · 2020/05/24(日) 01:04:52.01

時代は龍孫江だろ

**１３２人目の素数さん** · 2020/05/24(日) 01:09:10.83

学部二年までの内容の解説動画は既に数え切れないほどあるからね
龍孫江はその上のレベルを解説してるからありがたい

**１３２人目の素数さん** · 2020/05/24(日) 02:50:00.36

多分>>1に名前出てる特に、前二者はこのスレ見てるだろうねｗ

**１３２人目の素数さん** · 2020/05/24(日) 19:14:33.91

EGA-CHANNEL
https://www.youtube.com/channel/UCL6JY2DXJNDOIqCP1CRADng

**１３２人目の素数さん** · 2020/05/25(月) 07:32:40.26

で、超分かるは、普通のレベルの学校に通う高校生が定期テスト対策として利用する分には必要十分って事でよろしかったですか？

**１３２人目の素数さん** · 2020/05/25(月) 08:34:31.05

よろしいのではないでしょうか？　

**数学系YouTuberの纏め** · 2020/05/27(水) 00:45:12.63

https://www.youtube.com/watch?v=38U0Mhp3MbQ
初の数学授業】300年前に天才フェルマーが残した数学界最大の難問

https://www.youtube.com/user/tomoyukiyamakami/videos学部レベルのチャンネル発見
情報系チャンネル発見

https://www.youtube.com/channel/UCw4bRUt733vSqIEJ1n8FcFg
数学ボーイZ / SUGAKU BOY Z

https://www.youtube.com/channel/UCa3deeOqjjXJEkCbOArOdoA
math_0

Masaki Koga [数学解説]　https://www.youtube.com/channel/UCOjBG3Bu6sDxfGi15SMNF1Q/videos
AKITOの勉強チャンネル　https://www.youtube.com/channel/UC95yR8Sk5cmPxd6qfmYYSMw/videos
ほぼほぼ受験数学

千京　https://www.youtube.com/user/sengyou/videos
高卒～学部2年レベルの数学解説

nekonoteschool　https://www.youtube.com/user/nekonoteschool/videos

Kenichi Bannai　https://www.youtube.com/user/KENICHIBANNAI/videos
ここは大学の授業そのまんまだけど、遠くからの板書そのまんま映してて見やすさ最悪だな

龍孫江の数学日誌 in YouTube　https://www.youtube.com/channel/UCO34XpHxdG8P2n5aTPXSaZQ/videos
代数の授業をYoutube向けに見やすく作ってくれてる

みつのきチャンネル　https://www.youtube.com/user/70883190/videos
解析の授業
数学お助けチャンネルCollatz
https://www.youtube.com/channel/UCcjoTR4Edc8cbe15_4sCSXQ/videos
解析学勉強チャンネル
https://www.youtube.com/channel/UCoRckEUhiuOPl-gy_TKyKTQ/videos
easyarithmetican / atelier aterui
https://www.youtube.com/user/atelieraterui/videos
Saburo Higuchi
https://www.youtube.com/user/subringh/videos

**数学系YouTuberの纏め(修正)** · 2020/05/27(水) 00:55:51.62

**１３２人目の素数さん** · 2020/05/27(水) 23:58:38.09

式変形チャンネル
ゼロから始める群論入門 2020
https://youtu.be/OPxvvl0zJFE

**１３２人目の素数さん** · 2020/05/28(木) 00:06:13.71

バース掛布岡田　バックスクリーン3連発
https://youtu.be/1CEQKUqy42k

**１３２人目の素数さん** · 2020/05/28(木) 00:45:32.30

バルサ展開　よっぽど数学的だと思うよ
http://www.youtube.com/watch?v=yMkJht0GxOs

**１３２人目の素数さん** · 2020/05/28(木) 01:21:22.00

中田の数学動画、以前はディスったけど結構よくないか？

**１３２人目の素数さん** · 2020/05/28(木) 09:21:52.80

いちいち宣伝しに来なくていいよ

**１３２人目の素数さん** · 2020/05/28(木) 12:41:15.17

ツベは結局キッカケを掴むものであって、どの動画を通して興味を持ったら専門書を買って勉強するしかない。

学問に王道なしとは言ったものだが、そういうことだと思う。ただ前述の通り、切っ掛け作りとしての利用はいいと思う。

**１３２人目の素数さん** · 2020/05/30(土) 22:45:14.79

>>519
テイラー展開のような数学の動画かと思っただろｗ

**１３２人目の素数さん** · 2020/05/31(日) 10:54:18.10

チャンネル登録者数1万人未満の良質なチャンネルをあげてくれ。

**１３２人目の素数さん** · 2020/06/01(月) 13:00:36.83

Best Math Channel on Youtube
https://youtu.be/yRlsmiECG4U

**１３２人目の素数さん** · 2020/06/01(月) 20:20:54.16

式変形は今は何の仕事してるんや

**１３２人目の素数さん** · 2020/06/02(火) 00:20:34.71

放送大学の学生

**１３２人目の素数さん** · 2020/06/02(火) 02:14:23.29

YouTuber

**１３２人目の素数さん** · 2020/06/02(火) 15:49:14.10

お節介なのは自覚してるがあの程度の再生回数で生活していけるんか

**１３２人目の素数さん** · 2020/06/03(水) 11:28:26.00

杉浦の解析入門の極限の定義が他と違うんだな
式変形チャンネルで初めて知ったよ

**１３２人目の素数さん** · 2020/06/04(木) 00:39:47.17

＞杉浦の解析入門の極限の定義が他と違うんだな

以前に数学の本スレだか微積スレで話題になっていたな
まあどうでもいいで終わる話

**１３２人目の素数さん** · 2020/06/04(木) 09:25:12.34

lim_{x->a} f(x)=A の定義で、x=aも許すとしているのはだいぶ違うでしよ。

**１３２人目の素数さん** · 2020/06/04(木) 15:09:00.26

まあ連続性とかの話になると変わらないよな
それはともかく、定義域を明示しないで単に「関数」とか、どこから取ったのか分からない「a」とか使う微積の本が多い中、位相の言葉でそこら辺明確に記述している杉浦の本は貴重だと思う

**１３２人目の素数さん** · 2020/06/04(木) 15:25:37.78

数学掲示板群 ttp://x0000.net/forum.aspx?id=1

学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net
数学物理学化学生物学天文学地理地学
IT 電子工学言語学国語方言など

PS 連続と離散を統一した！
ttp://x0000.net/topic.aspx?id=3709-0
微分幾何学入門
ttp://x0000.net/topic.aspx?id=3694-0

**１３２人目の素数さん** · 2020/06/04(木) 15:27:33.31

一変数ならaを除外するケースもよく考えるが
杉浦みたいに最初から多変数でやるなら「どうでもいい」も一つの考え方
必要になればaを除外すりゃあいい

**１３２人目の素数さん** · 2020/06/04(木) 17:44:37.47

そんなわけないだろ
多変数だって 1/|x| でx→0の極限とか扱うだろ

**１３２人目の素数さん** · 2020/06/04(木) 20:36:14.48

多変数で1/|x| のx→0の極限とか考える時にx=0を極限の定義に入れるか入れないかで
何か形式論以上に違うことがあるとは思えない

**１３２人目の素数さん** · 2020/06/04(木) 21:04:49.71

>>535
そうだな
そして「定義が違うことに興味を持つ」というのもまた一つの考え方であり、>>531のように強制的に話を終わらせる権利など誰にもない

**１３２人目の素数さん** · 2020/06/04(木) 22:47:41.95

うんYouTuberの話を続けて

**１３２人目の素数さん** · 2020/06/05(金) 09:48:34.77

akitoの話すスピードが遅い件について
2倍速でも遅いんだが等倍で見てるやついるのか？
しかも同じこと言いすぎ

**１３２人目の素数さん** · 2020/06/05(金) 09:56:39.90

2つの定数の間に1つの変数がある

**１３２人目の素数さん** · 2020/06/05(金) 13:56:37.05

>>539
式変形チャンネルの内容の話しているやん

ちなみに、高校の教科書では極限はx=aの時を除外しているよ
古賀チャンネルでも話題にしていた

**１３２人目の素数さん** · 2020/06/05(金) 18:46:26.59

ちょー長い数学セミにゃー　←このチャンネルどう思う？

**１３２人目の素数さん** · 2020/06/06(土) 11:41:21.16

>>542
ごめん勘違いした

**１３２人目の素数さん** · 2020/06/06(土) 15:29:05.90

>>542
極限の誤解を解く
https://youtu.be/cPNttp7b1Gs

**１３２人目の素数さん** · 2020/06/06(土) 15:51:09.27

>>542
定義域にaが含まれているかどうかだけの問題

**１３２人目の素数さん** · 2020/06/06(土) 15:54:58.39

Youtuberが細かいところにこだわってアクセス数稼ぐには向いているw
結局は大学数学も初年級の話ばかりだしね

フーリエ変換とか動画を使うと波動の重ね合わせがわかりやすいし
Youtube向きだと思うんだが

**１３２人目の素数さん** · 2020/06/06(土) 17:14:43.37

>>547
それは物理系の動画で沢山ある
むしろ沢山あり過ぎるが内容は数学てには怪しいのが多い

**１３２人目の素数さん** · 2020/06/06(土) 17:33:13.19

九州大学大学院数理学府 1次募集
合格者数/受験者数
R02 60/76
H31 50/62
H30 53/66
H29 60/74
H28 53/67
H27 53/78
H26 52/66
H25 54/78

**１３２人目の素数さん** · 2020/06/07(日) 15:08:17.38

明日からただよびに数学永島豪氏登場。
https://www.youtube.com/watch?v=P4Pb69XyXWU

**１３２人目の素数さん** · 2020/06/07(日) 17:44:21.37

https://www.youtube.com/playlist?list=PLOeWeGWDQL09pAgRPMlh5fIgKy-h5BdqB

天才youtuberがいたぞ

**１３２人目の素数さん** · 2020/06/07(日) 18:33:23.90

>>551
怖くて最後まで見られんかったよ

**１３２人目の素数さん** · 2020/06/07(日) 18:50:03.76

凄まじ過ぎる
ヤバい

**１３２人目の素数さん** · 2020/06/07(日) 20:16:17.89

>>551
途中で同僚に呼ばれて素に戻っとるやん。

**１３２人目の素数さん** · 2020/06/07(日) 22:20:25.46

http://www.youtube.com/watch?v=QE7MAyHTNSY
天才　　

**１３２人目の素数さん** · 2020/06/08(月) 08:18:01.17

>>551
この人何者?
他の動画も揃いも揃ってヤバいんだが