【数学】悪名高い ε-N 論法とは？【ずんだもん解説・ゆっくり解説】

No video

【数学】悪名高い ε-N 論法とは？【ずんだもん解説・ゆっくり解説】

Рет қаралды 23,872

Ай бұрын

この動画は、セイント女神沢学園　現代社会サバイバル研究会 (現サバ研) のメンバーとヒラリバタフライ男爵が織りなす、真の茶番劇である。
※動画の一部に、生成 AI (ChatGPT, Stable Diffusion など) の生成物を使用しています。
▛ 参考文献
イプシロン-デルタ論法 - Wikipedia
w.wiki/3YmS
ϵ−δ 論法の形成過程の考察 : 解析学の基礎の転換の要因
www.kurims.kyo...
▛ X (Twitter)
/ kenn_0imp_jp
▛ 使用している素材
下記の素晴らしいフリー素材を利用しています。感謝!!
・いらすとや www.irasutoya....
・VOICEVOX: ずんだもん (立ち絵: 坂本アヒル様)
・VOICEVOX: 四国めたん (立ち絵: 坂本アヒル様)
・VOICEVOX: No.7 (立ち絵: moiky 様)
・VOICEVOX: 中国うさぎ (blueberry 様)
・VOICEVOX: 春日部つむぎ (立ち絵: 坂本アヒル様)
・VOICEVOX: もち子さん (立ち絵: moiky 様)
・VOICEVOX: 櫻歌ミコ (立ち絵: moiky 様)
・VOICEVOX: 雨晴はう
・効果音ラボ soundeffect-la...
・フリーBGM DOVA-SYNDROME dova-s.jp/
・フリーBGM・音楽素材MusMus musmus.main.jp/
・OtoLogic otologic.jp/
・ポケットサウンド pocket-se.info/

Пікірлер: 73

@ataualpha7456 Ай бұрын

εδ習ったときに教授が、数学者たちが納得する隙のない証明の形としてこれで納得した（することにした）と言っとった。文章での証明で様々な表現があるかもしれないが、この固定したやり方で無駄な隙を探すことを排除できるし楽ってことだわな。同時に、故に数学は暗記する面が強くなったとも仰っておられた。

@user-kq2me8ut4d Ай бұрын

この動画でいいと思った点は2つ。1つは、「∀n, n>N ⇒」の部分を「先頭のN項を捨てれば」と読む意訳。「∀」に引きずられて「Nから先はすべて」という読み方しか考えてませんでしたが、なるほど、逆の言い方のほうが分かりやすいかも。もう1つは、Nがεに依存することをN(ε)と書くと、「1つに決まるわけじゃないから関数のように書くのはちょっと…」と後ろめたかったのですが、関数にできるとは「限らない」けど、関数にできれば「それに越したことはない」、なぜなら「自動化できるから」という説明です。和の極限については、「a_n+b_nは収束するがa_n, b_nそれぞれは収束しない」という例も出すとよかったかも？あとたとえば「a_1=3, a_{n+1}=√(a_n+2)で定まる数列の極限を求めよ」とかで、極限をαとおいてα=√(α+2)を解いてα=2とやる場合、何でa_nが収束すると分かる？それ確かめなくていいんだったら、「a_1=1, a_{n+1}=－a_n+1」とかでもα=－α+1でα=1/2ってやっていいことになるよ？とか…

@amakusaiyeyasu3680 Ай бұрын

ずんだもんのIQが珍しく高いチャンネル。面白かったです。

@ringo2872 Ай бұрын

ε-Nよりもε-δの方がしっくりくる人いる？

@ssd8789 Ай бұрын

おそらくいません ε-N論法は数列の項が十分進めば、ある点を中心としたどんなに小さなエリアへも入ってゆく　ときそれは収束する数列で、その点は収束先と呼ばれる　というだけの定義ですしかしε-δによる関数の極限f(x)→A (x→a)は、 Aの近くという言葉がどんなに狭いエリアを指していても十分aの近くのx≠aなら、f(x)はAの近くにいる　ようにできる　ということですからあれを実数の世界で二重に考えたようなもので、いくらか難易度があがっています

@oikuraEuler Ай бұрын

じゃあ俺逆張りやからε-δの方がしっくり来るわ

@user-ameno_ Ай бұрын

先にε-Nを学んだからかもしれませんが、δの方が理解しやすかったです

@paeria_haigin Ай бұрын

くっそてきとうに要約するとε-N論法は数列でε-δ論法は実数。ε-δ論法はε-N論法より強い。

@ringo2872 Ай бұрын

@@ssd8789関数と数列に関する別の定義なのか…よく見てなかったわ

@dworld-zz Ай бұрын

作者は数学を勉強しながら動画を制作しているので、誤りが含まれている可能性があります。間違いに気づいた方や、補足情報・関連情報をお持ちの方は、コメントで教えてもらえると助かります。

@proper_tajiri8175 Ай бұрын

15:26 後で回収されているからまだ良いのですが、この仮定の用い方は初学者がやる典型的なミスであり、この順番でロジックを考えるのはよろしくないです。まず、証明したいことは「和の誤差」がε未満に抑えられることであり、そのためにεを固定したわけですが、そこに対して使える仮定「a_nとb_nが収束する」はεとは関係ないわけです。なので、a_nとb_nの許容誤差はそれぞれε_a, ε_bとでもしておき、「ε_a, ε_bはn_aとn_bの取り方によりいくらでも小さい物にできる」という事実に気を付けてから、本題の証明を考えていくべきなのです。また、今回の場合ε_a, ε_bはともにε/2で十分でしたが、それは本来三角不等式でバラして評価できることに気づいてから分かることであり、しかも足し合わせたときに許容誤差ギリギリです。つまりε_a, ε_bを選ぶ作戦としては「危険」なのです。証明は多少スマートですが、初学者が適当にマネをすべきではありません。足したときにεをはみ出てしまう恐れのある値を選ぶぐらいなら、ε/2よりももっと小さいε/100とかでもよいわけですし、とにかく「仮定から利用できるε_a, ε_bは目的に合わせていくらでも小さく取って証明に使える」ということを強調することが初学者に対しては重要だと思われます。

@mk2754 22 күн бұрын

位相空間上の収束の定義が一番しっくりくる

@jalmar40298 Ай бұрын

n_0の具体的な定め方の議論で、「10^(-k)

@proper_tajiri8175 Ай бұрын

13:30 εに対してn_0を一意に定める関数を用意する必要は別にないはずです。必要なのは存在性だけですから。確かに関数があった方が論証はしやすいかったり、その関数をさらに別の議論に用いたりできる場合はあると思いますが、ε-N論法それ自体に必要と言うわけではないでしょう。また、そのような関数が定義できない場合でそのような関数の存在性がどうしても欲しいなら選択公理を持ち出すことも考えられます。

@thinking_ya10 14 күн бұрын

他の動画のずんだもんよりクレバーキャラなの草

@TOTO-ik5uf Ай бұрын

気になってたやつだ！！！

@kuropattsunbob 7 күн бұрын

ここのずんだもん声低めでかわいいね

@175ch 15 күн бұрын

この問題の真実って、「許容誤差0」なんじゃない？つまり、許容誤差が0に収束するってこと

@user-tw6ci9vb8f Ай бұрын

ε-Nは極限の「定義」だからわかるもわからないも無く「そういうもん」として受け入れるもんなんだよな。数学以前に文章力が問われてる ε-Nでつまづくかどうかが、数学を超えて学問全般への適性の試金石の一つなんだって経験的に理解した

@distearroyl2673 Ай бұрын

0.) 考えている公理系と「矛盾しない」ことを確認する事 1.) 「定義」が「主張」している内容を理解すること 2.) その「有用性」を理解することこれらは全て別の話だと思うけど、「受け入れる」というのははたして何を指しているのでしょうか。

@175ch 15 күн бұрын

「そういうもん」として受け入れるのは思考停止なんよ

@user-tw6ci9vb8f 15 күн бұрын

@@175ch そういう話じゃないっすねー

@user-lw1nq7ey1j 15 күн бұрын

数学のどんな定義だって我々の直感的なイメージを元に作られている。もちろん矛盾しないように多少の調整はあるだろうけど。数学の命題を証明したり、難しい問題を解くときのアイデアというのは、直感的にイメージで理解しているから思いついたり、イメージを厳密に論理で書き下すことで解けたりする。だから定義が直感的に(εnの場合は図で)理解できることはかなり重要まあ数学全般に言えることだけどね

@175ch 13 күн бұрын

@@user-tw6ci9vb8f 「与えられた定義に問題はない」と思い込んでるのが思考停止。極限やε-δ論法周りは数学というより文章問題だから、定義自体が間違っている可能性もあるんじゃない？

@merdekaataumati1949 Ай бұрын

機械科の学生だけど、イプシロン-デルタ論法で習ったのだ。

@slimea463 26 күн бұрын

俺も機械科で１回生のころε-δ論法と習った。むずすぎるから分からなくていいよって書いてあった気がするが

@user-hg2gn3sk1r 23 күн бұрын

εNは無限大の時、εδは任意の値の代入でできるって感じで実は別物… εNだとlim (x=♾️)、εδはlim(x=a)ってことやね

@user-rb1es1xm1s 17 күн бұрын

@@user-hg2gn3sk1rというか両者は収束を議論する対象が数列と関数で違うという点が1番カナメだと思います。εδ的にn→∞⇒f(x)→c(ただし-∞≦c≦∞)を示すこともあるので…

@user-hh9cd3jt7u 8 күн бұрын

自分は理数系という幻想が打ち砕かれたトラウマ

@user-bi2lx2xq7t Ай бұрын

ε−N論法が難しいんじゃなくて、まず実数が難しい。「自然数で番号付けされた数列を使って、操作を無限に繰り返すんだったら、別に有理数の集合だけで理論を展開しても良くないか?」という疑念がある段階で、その学生は沈没している。「√2などの数値計算は結局、1ステップごとに、有理数で挟み込むのだから、それを無限に繰り返せばいい」という、曖昧な捉え方で、気づいたらε−N論法どころか、関数の極限まで話が進むのが怖いところである。こういった学生には、とにかく「その極限が必ず、有理数の集合の中に存在するかは、明らかではないよね」とか「この数値計算の方法では、″唯一つの″実数が選ばれるかどうかが、明らかではないよね(√2に対応する数が2つあって、それぞれ等しくないかもしれないよね。)」という話をして、何が自明でないのかを確認して、実数と極限をしっかり理解することが重要。 (それを理解しなくても、ある程度のfまで可積分であるとか、テイラー展開可能であるとか、仮定してしまえば、ベクトル解析まで理解できると言われればそれまでだが) 8:30 この定義は、⇒の記号が入ってないんですけど、そのことは動画でfollowされているということでしょうか？

@user-bi2lx2xq7t Ай бұрын

@@ssd8789P⇒Qタイプの定義が、Qだけの定義で書ける場合があるのですね。これは驚嘆しました。

@jalmar40298 Ай бұрын

>この定義は、⇒の記号が入ってないんですけど、そのことは動画でfollowされているということでしょうか？これは一階述語論理の論理式でよくある略記の仕方です　知らないのであれば適当な文献を調べてね

@user-bi2lx2xq7t Ай бұрын

@@jalmar40298まず、あなたがその文献を記載するべきですよ（笑）

@saundersn.6147 Ай бұрын

例えば, ∀ε > 0 でさえ, ∀ε [ ε > 0 ] の略記. 集合A(あるいは領域A)の要素となる変数 x において, ∀x [ x∈ A ⇛ P(x) ] ∃x [ x∈ A ∧ P(x) ] をそれぞれ ∀x ∈ A [ P(x) ] ∃x ∈ A [ P(x) ] と略記する. ”∈” のような所属関係と同様に, 大小関係も「区間への所属」と読み替えれば同じ理屈が通用する. さらに解析学ではほぼ, この[ ~ ] のスコープを表す括弧さえ省略する. （動画のように. ) 該当箇所を冗長に省略せずにそのままの順序を保って表現すると, ∀ε [ ε > 0 ⇛ ∀n_0 [ n_0 ∈ N ∧ ∀n [ n > n_0 ⇛ | α - a_n | < ε ] ] ] 解析では慣習で, 動画のようにこれを何重にも省略したかなりルーズな記述をすることがしばしばあるけど，逆に論理学ではスコープまで省略することはあまりないね. ”∀” と ”∃” では, ”⇛” と ”∧” の部分が異なっているので, 動画の該当箇所では, ∀n > n_0 の部分の ”∀” が ”∃” だったなら, 動画のように ”⇛” を省略すると意味が変わってしまうから使えなくなる.

@user-river_mountain Ай бұрын

8番ゲームはいいとして、スイカ出口はクソゲーな雰囲気しかしない…

@kitsune4546 27 күн бұрын

位相空間やるとεNに感謝するようになります

@user-bd8gj7uh3s Ай бұрын

8番ゲームは草

@cot4rd 29 күн бұрын

数学と関係のない与太話だけど、参加料金募って自分が作った有料ゲームの賞品付き大会開くってワンチャン賭博罪が成立しそうねw (日本のEスポーツでは、賞金を出す大会であればメーカーが賞金を出すのではなくスポンサーが出すだとか、参加料金を原資にした賞金・賞品の提供をしてはならないだとか言う形で体裁を整えている)

@user-yv2nh9ot4d Ай бұрын

∃n0∈Nの解釈が間違っていると思います。具体的には、n0を最小値にする必要はなく、最小値＋１でも良いし、多対１の関数でも問題ありません。どのような関数でも解が存在していて、その解がn0の条件を満たすことが証明できれば問題ないです。それと、∃n0∈Nのn0が満たす条件の下線が∀n>n0になっていましたが、条件は最後までの方が適切だと思います。

@ktom8142 Ай бұрын

理系の大学って普通はこんな難しそうなこと1年で全員やるんですか？数学科だけですか？

@nokemoyajuu Ай бұрын

全部ではないけど、数学科だけでもない

@Razphyxia Ай бұрын

工学部は1年で習うらしいです自分は高専出身ですが、高専2年の時にやりました

@nekonekko9047 23 күн бұрын

95%の理系学生は学ぶと思います

@user-kl7hd2vv3e 13 күн бұрын

εδは分野によっては基本中の基本

@ktom8142 13 күн бұрын

・・・まじか。自分は理系院卒だけど、一度も習ったことも聞いたこともない

@neko523 Ай бұрын

有名なやつだ

@user-be3gj5tc1j Ай бұрын

😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😅😊😊😊😊😊😊😊😊😊😊😮😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😮😊😊😊😊😊😊😊😊😊😊😊😊😮😊😮😊😊😊😊😊😊😊😊😊😊😊😊😊😮😊😊😊😊😊😊😊😊😊😮😊😊😊😊😊😊😊😊😊😮😊😊😮😊😊😊😊😮😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😮😮😮😊😊😮😊😊😊😊😊😊😊😊😊😮😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊😊

@user-be3gj5tc1j Ай бұрын

@user-kl7hd2vv3e 13 күн бұрын

同時に実数のキモさも露わになったんよな

@user-fx8ok2kb8g 10 күн бұрын

次の数列は、0 に収束するでしょうか？ 0, 1, 0, 0, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, … だんだんと0の出現個数が増えるので、そのうち0だらけになります。 0に近づいていく、という曖昧な表現のままでは、人によって結論が異なってしまいます。ヒトは無限の操作ができない生き物なので、論理による判定法があるとはっきりします。ε-N論法やε-N論法は、無限の操作の代わりに、論理によって判定する発想です。素晴らしい発明ですが、理解するまではすっごいストレスですよね笑動画面白かったです！

@user-fx8ok2kb8g 10 күн бұрын

ε-Nがふたつ並んでしまっていますが、ふたつめは関数の収束についてのε-δと書きたかったです。コメント編集がバグってて編集できなかったので、ここに追記しました。