純粋・応用数学(含むガロア理論)2
■ このスレッドは過去ログ倉庫に格納されています
クレレ誌:
https://ja.wikipedia.org/wiki/%E3%82%AF%E3%83%AC%E3%83%AC%E8%AA%8C
クレレ誌はアカデミーの紀要ではない最初の主要な数学学術誌の一つである(Neuenschwander 1994, p. 1533)。ニールス・アーベル、ゲオルク・カントール、ゴットホルト・アイゼンシュタインらの研究を含む著名な論文を掲載してきた。
(引用終り)
そこで
現代の純粋・応用数学(含むガロア理論)を目指して
新スレを立てる(^^;
<関連過去スレ(含むガロア理論)>
・現代数学の系譜 工学物理雑談 古典ガロア理論も読む84
https://rio2016.5ch.net/test/read.cgi/math/1582200067/
・現代数学の系譜 工学物理雑談 古典ガロア理論も読む83
https://rio2016.5ch.net/test/read.cgi/math/1581243504/
<前スレ>
純粋・応用数学
https://rio2016.5ch.net/test/read.cgi/math/1582599485/1- 全称記号について
任意の:自由に選べる
すべての:全部
という珍説をほざいてた奴いたなw たとえば文が
任意の
任意の
任意の
……
と続くと汚いから
任意の
すべての
各
……
というように書いてあるだけであって
意味は同じなんだよ
同じ全称記号なのに
任意のとすべてのでは意味が違うなんていう珍説は
日本語をおざなりにしている高校数学バカらしい発想だったわ >>83-84
(引用開始)
”もう少し具体的な話をしましょう。位相空間X上の点列{xn}が点x∈Xに収束することの定義は以下の通りでした。
∀U∈N(x) ∃N∈N ̄ ∀n∈N ̄ n>=N⇒xn∈U
ただしN(x)はxの近傍系です。
ここでFN={xn?n>=N}とおいてみましょう。すると上の収束の定義は次のように書き換えられます。
∀U∈N(x) ∃N∈N ̄ FN⊂U
これがフィルターで書いた場合の収束であり、上の記事の中でいう命題2.3です。つまりフィルター基底B={FN?N∈N ̄}の収束をみているわけです。
このように点列の収束は集合の包含関係で書き換えられます。さらにこの形で書けばFNが点列である必要すらなくね?という発想に至りこれを一般の集合で書き直すことでフィルターの定義にたどり着きます。
(この辺りの「具体的な抽象化の過程」は上の記事では触れなかったのでここで書いておくことにしました。)”
(引用終り)
なるほど
そうだったのか〜!(^^; >>78
だから巨大なεで説明している動画や本があるなら挙げてみよ(笑
「εは任意だからどんな巨大な数でもいい」
と書いてある本があるなら挙げてみよ(笑
どんな動画も小さなεで説明しているし、
wikipediaにもεは数学で非常に小さな数を表すと書いてある(笑
εは小さな数というのが常識だから、いちいち
「任意の小さなε」と書かれていないだけなのである(笑
お前のようなアホが数学をやると、こうなる(笑 εは任意、だから幾らでも小さい値をとることができる。
そこがポイントなんだがね。
しかし、その大きさ自体を議論しても意味がない。
極限の議論において、その絶対値には意味がないからだ。
“巨大なε”、だの、“εは小さな数というのが常識”、だのと言っていることが、
ああ、こいつはわかっていないんだな、と突っ込まれている。
いい加減に気がつけ。 >>87
例えば, ε = 1/2 において, δ が決 定できたなら, 自動的に, ε = 1 や ε = 100 など, 1/2 より大きい ε についても, δ が決定できたことになるの で, 考察する必要はない.
https://www.rms2005.org/cgi-bin/lime/lime.cgi?0018
7pの例2.5を見てください
εは100をとっても良いと書かれていますね >>86
そんなしょうもない美意識のために論理的な分かりやすさを犠牲にして悦に入っているから
外国に後れを取るんじゃないか? 全部はわかりやすいけど、任意はわかりづらいと感じるような人はレベルが低いだけだと思いますけどねぇ >>87
追加
http://tetobourbakiはてなぶろぐ /entry/2018/07/11/191714
記号の世界?
20180711
位相空間論とフィルター数学
位相空間論の性質を論じるにあたって,フィルターが非常に便利です.この記事では,フィルターの使い方を解説します.
最初の節では,フィルターやフィルターの収束を定義します.位相空間の基本的な用語をフィルターで言い換えていきます.
次の節では,コンパクト性やハウスドルフ性に関する性質を見ていきます.特に,コンパクト空間の直積空間がコンパクトであるというチコノフの定理を証明します.
この記事の議論を見れば,今回の話は位相空間である必要はなくて単にフィルターの収束が決まっていればいいのではないかと思われると思います.実際にその通りで,位相空間を一般化した収束空間というものがあります.収束空間は少し難しいので,最後の節では位相空間より少しだけ一般化した前位相空間について解説します.前位相空間を勉強すると,位相空間の公理の理解も深まります.
(以下,口調が変わります.)
フィルターの収束
コンパクトとハウスドルフ
コンパクト性
ハウスドルフ性
前位相空間
参考文献
前位相空間
今回の記事の議論では,フィルターの収束だけで様々なことが言えた.フィルターの収束は近傍系から定義できる.そこで近傍系を一般化しても,収束だけで様々なことが議論できるということが想像できる.そのようなモチベーションで一般化したものが前位相空間である.
参考文献
フィルターを使った議論に興味を持たれた方には.
柴田敏男『集合と位相空間』(共立出版)
N. Bourbaki, "General Topology"
をオススメする.私が書いたpdfでよければ,
https://drive.google.com/file/d/1Z3smrJluBWoe_hkhiMfImPw9LhKiL7jz/view
フィルターと一様構造
Love ブルバキ (@lovebourbaki)
つづく >>91
君、本当は英語で書かれた数学の本または論文を読んだことないだろ
ところで、君だったら"For Any"をどう翻訳するかね? 自分が一番じゃないと嫌な人間にとっては競争相手を混乱させるために
分かりづらいほうが都合がいいんだろうけど >>93
つづき
(追記)一通り書き終わってからの感想をいうと,手を動かしていくと,どん
どん分かっていきます.多くの議論がフィルターの直感的な議論で難しくなく理
解できます.普通,位相空間というといろいろな用語が出てきて混乱しがちだと
思いますが,この pdf のやり方だとフィルターに慣れてしまえば一貫して似たよ
うな議論をするだけなので難しくなくなります.
http://unununum.はてなぶろぐ/entry/2017/08/11/194942
uniのスケッチノート
2017-08-11
フィルターとネットの基本事項
https://www.dropbox.com/s/adelh61roc554b6/Filter_Net%28ver.2.0%29.pdf?dl=0
目次
4.6 圏論的視点からの考察
(引用終り)
以上 >>89
そこがポイントだということを質問少年その他は分っていないのである(笑
ただ任意と書いてあるから「どんな巨大な数でもいい」と主張しているだけなのだ(笑
εは小さくなければ意味がないということも分らず
「任意だから」「どんな巨大な数でもいい」と主張しているだけなのである(笑
僕は巨大なεを取ってはいけないとか、
巨大なεを取るのは論理的に間違いだ、と言っているのではない(笑
最初はどんな巨大なεを取ってもかまわない、と言っているのだ(笑
しかし最終的には小さなεでないと連続も極限も証明できないのだから、
最初から小さなεだけを考えればよいと言っているのである(笑
質問少年その他が「最初はどんな巨大なεを取ってもかまわない」という意味で、
「任意だからどんな巨大な数でもいい」と言っているなら
それは僕と同じだから、論争する必要はないのだ(笑
ところがこの少年たちはそれとは違う意味で
「任意だからどんな巨大な数でもいい」と主張しているのである(笑
で、どんな意味でそう主張しているのかと訊いても答えない(笑 >>97
それがFor Every"や"For All"と同じ意味で使われることについてはどう思う? 任意の事情聴取が事実上の強制であるように
数学用語の任意は字句通りに受け取ってはいけないということ
それだけだ >>99
ニュアンスがちょっとづつずれてると思う
真面目に調べたことないからはっきりは分からないけれど >>101
数学的には同じ意味です
が、>>86と全く同じ理由で書き分けられます
もう少し英語の文献でも勉強しましょうね >>102
ネイティブの外人は案外ちゃんと書き分けてるかもよ? >>103
ほう、それは面白い
では、ソースを出してください >>104
それは書いた本人に聞かないと意図があったかどうか分からん >>103
君のためにFor Any – For Every – For Allが同じ意味で使われることのソースを貼っておこうか
ググればすぐ出てくるが
https://teachingcalculus.com/2012/08/20/for-any-for-every-for-all/ >>96 追加
https://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A3%E3%83%AB%E3%82%BF%E3%83%BC_(%E6%95%B0%E5%AD%A6)
フィルター (filter) とは半順序集合の特別な部分集合のことである。実際には半順序集合として、特定の集合の冪集合に包含関係で順序を入れた物が考察されることが多い。フィルターが初めて用いられたのは一般位相幾何学 (general topology) の研究であったが、現在では順序理論や束の理論でも用いられている。順序理論的な意味でのフィルターの双対概念はイデアル(英語版)である。
類似の概念として1922年にエリアキム・H・ムーアと H. L. スミスによって導入されたネットの概念がある。
目次
1 歴史
2 定義
3 写像とフィルター
4 冪集合の上のフィルター
4.1 例
4.2 モデル理論におけるフィルター
4.3 超積
4.4 位相幾何学におけるフィルター
4.5 一様空間におけるフィルター
5 他分野への応用
5.1 社会選択理論 (経済学) におけるフィルター
歴史
1936年9月のブルバキ会合ではアンドレ・ヴェイユによる数学原論の「位相」[1]の草稿に関して議論がなされた。その草稿でヴェイユは点列の収束を議論する上で空間に第二可算公理の成立を要求していたが(下の#位相幾何学におけるフィルターも参照)、この制限を除くためにアンリ・カルタンが会合中に見つけた解決の糸口がフィルターである[2]。
フィルターの概念の初出として一般に言及されるのは、ブルバキの他メンバーの勧めを基にカルタンが翌年に提出した2つの論文[3][4]である。 >>106
意味じゃなくてニュアンスの話なんだが… >>108
数学でニュアンスは重要ですか?
意味が同じなら別の記号や言葉を使ってもいいのが数学の良いところでしょ? >>107 追加
https://ja.wikipedia.org/wiki/%E6%9C%89%E5%90%91%E7%82%B9%E6%97%8F
有向点族(ゆうこうてんぞく、directed family of points)とは、点列を一般化した概念で、ムーア (Eliakim Hastings Moore) とスミス (H. L. Smith) により1922年に定義された。有向点族はネット (net)、有向点列、 Moore-Smith 列などとも呼ばれる。
点列との違いは添え字にあり、点列が自然数という可算な全順序集合の元で添え字付けられるのに対し、有向点族はより一般的な順序集合である(可算または非可算な)有向集合の元で添え字付けられている。
有向点族の概念の利点として以下の2つがある:
点列にある「可算性」、「全順序性」という束縛がなくなる。点列の場合はこうした束縛ゆえに定理を証明する際に空間に可算性に関する何らかの仮定(第一可算公理など)を課さねばならなくなる事があるのに対し、有向点族ではそのような条件なしに同様の定理が証明できる場合がある。
複数の収束概念を統一的に扱う事ができる。例えば点列の収束、実数値関数の収束、リーマン積分におけるリーマン和等は有向点族の収束概念の特殊ケースとみなせる。
特に重要なのは、開集合、閉包、連続性などの位相構造に関する概念を有向点族の収束性で特徴づけられる事である。それに対し点列の場合はその添え字の可算性ゆえ、同様の特徴づけを行うには空間の方にも可算性に関する条件が必要となる(詳細は列型空間を参照)。
なお、添え字集合を有向集合にした事は、位相空間上の各点の近傍系が有向集合である(詳細後述)事と相性がよく、これも点列概念の不十分さを解消する上で一役買っている。
点列概念から可算性を取り除くもう一つの方法として、1937年にアンリ・カルタンによって生み出されたフィルターの概念が知られているが、実はフィルターの概念は収束という観点から見た場合には有向点族の概念と実質的に同値である事が知られている。
https://en.wikipedia.org/wiki/Net_(mathematics)
Net (mathematics) >>109
数学の予想が面白いかどうかとか哲学的にどうとか言ってる数学者にとっては
ニュアンスも大事なんじゃねーの? >>98
>質問少年その他が「最初はどんな巨大なεを取ってもかまわない」という意味で、
>「任意だからどんな巨大な数でもいい」と言っているなら
>それは僕と同じだから、論争する必要はないのだ(笑
>ところがこの少年たちはそれとは違う意味で
>「任意だからどんな巨大な数でもいい」と主張しているのである(笑
>で、どんな意味でそう主張しているのかと訊いても答えない(笑
なーーーーーるほど!!!
ようやくわかりましたよ、安達さん
安達理論の根本のところは、任意でも微笑とか巨大でもなく、”最初”という部分です
だから話が通じないんですね 安達さんにとっては、εδ論法とは、どんどんεを小さくしていき、それぞれのεに対してδが存在するかを確かめていく一連の操作を表しているのですね
ちょうど、よくある説明にあるように、動画の説明をそのまま鵜呑みにしている
εは巨大でいい、と言った時点で、εを小さくしていく操作が含まれていないように聞こえてしまって、だから安達さんは延々とイヤイヤイヤイヤ言っている >>113
そう感じただけ
ただの数式以上のものを求めている感じがするんだよね >>110
例えば, ε = 1/2 において, δ が決 定できたなら, 自動的に, ε = 1 や ε = 100 など, 1/2 より大きい ε についても, δ が決定できたことになるの で, 考察する必要はない.
https://www.rms2005.org/cgi-bin/lime/lime.cgi?0018
7pの例2.5を見てください
ε=100でも良いと書かれていますが、どう思いますか? >>115
妄想で批判的な意見を書き込むのはいただけないな >>117
別に数学者を批判しているわけじゃないが
割とロマンチストなのかとは思うけど >>118
そこじゃない
妄想で>>91や>>95のようなことを書いていたでしょ? >>120
根拠がないじゃん?
実際>>91は>>102で論破されたでしょ? >>121
ここで論破したからって本職の数学者に直に質問して実はそうなんだよ〜みたいなこと言われたら
意味ないじゃん? >>122
それも妄想か仮定の話じゃん?
君の主張には根拠がないじゃん? そもそも翻訳に文句を言うくらいなら、最初から英語の文献で勉強すればよくね 任意ってのは「どれでも」「どのひとつを取っても」という意味。
∀ε>0 なら「(0,∞)∩Rのどの元を取っても」となる。
極限の定義なら「(0,∞)∩Rのどの元を取ってもそれに対しδが存在して・・・」となる。
だから(0,∞)∩Rの特定の元にだけ言及してもナンセンス。
分かったか?安達 >だから(0,∞)∩Rの特定の元にだけ言及してもナンセンス。
なんだから「εとして最初は・・・」なる安達の発言はまったく解かってない証拠。
そもそも安達は「最初は・・・」と言うくせに「最後は・・・」は決して言わないw >>98
だから…。
最初から考える小さなεって何よ?
それがお前が解ってない証拠なんだよ。 セタは昨夜
「εδがなんだ!俺様にはフィルタがある!」
と発●してたが、結局
「εδが分らん馬鹿はフィルタもやっぱり全然分かっとらん」
と露見w
https://rio2016.5ch.net/test/read.cgi/math/1592600706/86-87
工学部の落ちこぼれには大学数学は到底ムリだから綺麗さっぱり諦めろwww >>112
>安達理論の根本のところは、任意でも微笑とか巨大でもなく、”最初”という部分です
バカか、お前は(笑
話が通じないのはそんな部分ではない(笑
で、お前らはどんな意味で任意だからどんな巨大な数でもいい」
と主張しているのか(笑
もうその理由は分っている、「任意」だからだ(笑
「εは任意の正数」という、ただそれだけの理由で、
お前らは「どんな巨大な数でもいい」と主張しているのだ(笑
アホくさ(笑
>>129
>最初から考える小さなεって何よ?
そんな質問をすること自体、お前が何も分っていない証拠(笑 >>98
>最初から小さなεだけを考えればよいと言っているのである
無意味w
どれだけ小さなεを考えても、必ずそれより小さなε’が無数にある
安達が死ぬほど嫌いな、集合の濃度でいえば
「(0,∞)において、ε以上の数の全体と、ε未満の数の全体は同濃度」
なんだよw >>11 補足
> 3.現代数学においては、εδは 位相空間論とか圏論とか、そのた収束を扱う より高度な、かつ分り易く本質的な概念で置き換えられている
補足
まあ、下記の”極限 千葉大学大学院理学研究科 松田茂樹 (2012?) ”でも、どぞ
”通常の数列の極限”が、圏論的視点から抽象化され、”本質的な概念で置き換えられている”ってことです(^^;
http://www.math.s.chiba-u.ac.jp/~matsu/profile.html
氏名: 松田 茂樹 (まつだ しげき)
所属: 千葉大学理学部数学・情報数理学科
http://www.math.s.chiba-u.ac.jp/~matsu/math/index.html
数学の話題
http://www.math.s.chiba-u.ac.jp/~matsu/math/limit.pdf
極限 千葉大学大学院理学研究科 松田茂樹 (2012?) 千葉大の4年生、院生向けの極限の紹介文
P15
(2.4.25). 通常の数列の極限でも, 収束する数列の無限部分列は同じ値に収束した。類似の命題が逆系や順系の極限についても成立する。 >>131
>>最初から考える小さなεって何よ?
>そんな質問をすること自体、お前が何も分っていない証拠(笑
はい、また逃亡 >>134
じゃ、圏論による数列の収束の定義、書いてみて( ̄ー ̄)ニヤリ
書けるでしょ?
だからいってるじゃない
わけもわからず道に落ちてるもの拾って食うなって
ハラ壊すよw >>131
安達さん、数学ではですね、εδはεを小さくしていく仮定ではないのです
任意のεに対して、あるδが存在するというその関係だけが大事なのですよ
だんだんεを小さくしていくという様子は、どこにもありません どんな意味で任意と言っているのか
そのままの意味です
εδは、εをどんどん小さくしていく過程ではないのですから、任意のεを取ってきてそれに対応するδを見出すことができることを示すことさえできれば良いのです ID:hoayWjrE
ID:lKx1j1Nu
で、最初から小さなεだけを考えればよい、
ということはわかりますか(笑
で、任意のεの意味はわかりましたか(笑
で、最初から考える小さなεはわかりましたか(笑
分ったら教えてくださいねー(ゲラゲラ ID:2Oslh1MN
で、任意のεに対して、あるδが存在するかどうかは、
巨大なεではわからない、ということはわかりますか(笑
で、任意のεを取ってきてそれに対応するδを見出すことは
巨大なεでは示せないということはわかりますか(笑
で、巨大なεでは連続も極限も極限も示せない、
ということはわかりますか(笑
で、
>なぜε-N論法やε-δ論法で数列や関数の極限が示せるのか
の答えはわかりましたか(笑
分ったら教えてくださいねー(ゲラゲラ Ε wikipedia
小文字の「ε」は
数学で、ε-δ論法などで見られるように非常に小さな数を表す記号としてよく用いられる。
「非常に小さな数」とは書いてありますが
「任意の数」とは書いてないですよー(笑
「フツーの数」とか「巨大な数」とは書いてないですよー(笑
わかりますか(笑
わからないんですね(ゲラゲラ 例えば, ε = 1/2 において, δ が決 定できたなら, 自動的に, ε = 1 や ε = 100 など, 1/2 より大きい ε についても, δ が決定できたことになるの で, 考察する必要はない.
https://www.rms2005.org/cgi-bin/lime/lime.cgi?0018
7pの例2.5を見てください
もう一度貼っておきましょうかね
大きなεでもδはあるのですよ
安達さんのそもそもの間違えは、εが微小だと考えてることではなく、εδがεをどんどん小さくしていきながら代入していく操作だと考えているところにあります 安達君、ε-δやε-Nの議論では固定した正の実数εに対して正の実数δまたは固定したεに対して自然数Nを定めた後、
議論の最後に固定した正の実数εを変数扱いして自由に走らせることが出来る。
これが任意の正の実数εに対して或る……という意味である。 >>144
>εδがεをどんどん小さくしていきながら代入していく操作
εδの確認を「反例探しの失敗の連鎖」と考えるなら、あながち間違ってない
あるε1でδ1が存在し、反例でないことがわかった
次に反例を探すとしたら、ε1より小さいε2だろう
で、ε2でδ2が存在し、反例でないことがわかった
次に反例を探すとしたら、ε2より小さいε3だろう
だからどんどん小さくしていくのは間違ってない
ただ、それだけではダメだがね
いかなるε>0についても必ずあるεnが存在して
ε>εnとなるように、小さくしていかなくてはならない 正確には、「固定した」は「任意に固定した」である。 で、εδが位相的なものとか圏論とかで全て置き換えられるなら、ランダウの記号とかももちろんその方向で扱えるんだよね?
どう置き換えるのか説明してよ。 もちろん定義を置き換えるだけでなく、証明全体を置き換えられるようにね。
εδ使わないで。 >>146
そんな考えは少しでも認めてはいけませんよ
無限に代入する操作なんて永遠に終わることのないのですから
安達さんの可能無限観を認めることにもつながるので、少しの妥協も許されません >大きなεでもδはあるのですよ
当り前ですよー(ゲラゲラ
ID:hFJ/0qDD
そんなことは誰でも分っている(笑
ところが質問少年その他の池沼は分っていないのだ(笑
その証拠に
>なぜε-N論法やε-δ論法で数列や関数の極限が示せるのか
という質問に一度も答えていない(笑 はぁ?
なら別にいいってことですよね?ε大きくても
εは別に微小である必要ないですよね? >>150
もちろん、無限回の代入を証明として認めるつもりはない
ただ、「0より大きい最小の実数が存在しない」という
基本的なことがわかってないようなので、あえて書かせていただいた
妥協ではなく、むしろ教育的指導 >>141
>で、最初から小さなεだけを考えればよい、
>ということはわかりますか(笑
小さなεって何ですか?
最初から?最後はどうなるの?
早く答えてねー また逃亡ですかー? >>153
いいえ、ダメですよ
安達さんは無限回の代入行為が終わらなくても良いと考えています
終わることのない無限の過程、それ自体が極限だと思い込んでるのです
ですから、最小の正の実数がないために終わりがないことを指摘することは、なんにもならないんですよ >>151
>その証拠に
>>なぜε-N論法やε-δ論法で数列や関数の極限が示せるのか
>という質問に一度も答えていない(笑
答えたが安達が理解できないだけやんw
自分の理解力の無さを人のせいにすんなw >>151
>その証拠に
>>なぜε-N論法やε-δ論法で数列や関数の極限が示せるのか
>という質問に一度も答えていない(笑
数列や関数の極限はε-Nやε-δで定義される。
それだけの話。 >>151
数列や関数の正の無限大+∞か負の無限大-∞への発散もε-Nやε-δで定義される。 >「0より大きい最小のεなんて存在しない」
質問少年という池沼さんは、こう書いてますよー(笑
>全ての正数よりも小さな正の超実数が存在します、無限小ですね。
(ゲラゲラ
>終わることのない無限の過程、それ自体が極限だと思い込んでるのです
と池沼さんが仰っております(ゲラゲラ
>>157
それでは答えになっていない(笑 >終わることのない無限の過程、それ自体が極限だと思い込んでるのです
それはお前ではないか(笑
>普通の世界では…は極限値を表します。
>無限小数や無限級数は極限値です。
↑これがお前の過去のバカ丸出しレス(笑 >>159
ε-Nやε-δで数列や関数の極限が定義出来るときは、極限が存在することも保証されている。
ε-Nやε-δで数列や関数の極限が定義出来ず存在しないとき、数列や関数は正の無限大∞か負の無限大-∞に発散する。 >>161
それでは答えになっていない(笑
お前は知らないだろうが、質問少年その他の池沼どもは、
εδ論法の原理も分らず、
巨大なεでは連続も極限も示せない、ということも分らず、
ただ単に「任意の正数ε」と書いてある、
という、ただそれだけの理由で、
「任意だからどんな巨大な数でもいい」と言っているのだ(笑
ばかばかしくて話にならない(笑 >>159
正の無限大∞は正確には正の無限大+∞。
高校でいう数列や関数が振動するときは、極限が存在せず、このときその数列か関数は発散する。 >>162
ε-Nやε-δで数列や関数の極限について議論するときは、その前にチラシの裏で計算するのが先。 >>162
εδの原理は、記号の定義だけで完結してるんですよ
それ以上のことを求める安達数学ではダメってだけじゃないですか >>159
>>>157
>それでは答えになっていない(笑
だーかーらー
εδ論法を用いた定義が気に入らないなら自分で定義を考案して下さいねー
数学コミュニティに受け入れられるといいですねー >>159
>「0より大きい最小のεなんて存在しない」
そのとおりだか? >>159
>>全ての正数よりも小さな正の超実数が存在します、無限小ですね。
超実数は実数ではないので、無視
εN、εδ では、実数のみで収束、極限を定義する
>Q.なぜε-N論法やε-δ論法で数列や関数の極限が示せるのか
>A.数列や関数の極限はε-Nやε-δで定義される。
>それでは答えになっていない
それなら問いがおかしい
もし、
「なぜε-N論法やε-δ論法で数列や関数の極限が定義できるのか?」
という問いなら、こう答える
「聞くだけヤボでしょ」 https://rio2016.5ch.net/test/read.cgi/math/1592600706/l50
>y=xもy=0もフツーの意味では連続関数だ(笑>>75
↑などと「フツーの連続」を知ってるフリしてる安達だが↑
↓まるでわかってないことをこれでもかと見せつける安達↓
https://rio2016.5ch.net/test/read.cgi/math/1582599485/
f(x)=x(xは有理数)
0(xは無理数)
意味不明(笑
それにx=0で連続ではない(笑
そんなのは至る所不連続な関数である(笑 >>169
x=0で連続ですけどねw
ついでにいうと
f(x)=1/b(xが0以外の有理数で既約分数a/bで表せるとき)
1(x=0のとき)
0(xが無理数)
の場合 fは無理数点で連続 ☆工学部卒でもできてほしい問題
lim(n→∞)(1+i/n)^n
の絶対値が1になることを証明せよ >>165
お前、本当に「巨大なεでは連続も極限も示せない」
ということが分っているのか?(笑
>∀ε>0 に対し 0<|x-2|<√(ε+4)-2 ⇒ |y-4|<ε だから lim[x→2]y=4
このεに1000000000000を代入してもy→4 は示せない、
ということは分っているのか(笑
それでもお前は「任意だからどんな巨大な数でもいい」
と言い続けているのだが、その理由は何なんだ(笑 f(x)=x(xは有理数)
0(xは無理数)
こんなのは至る所で不連続な関数であることすら分らず、
x=0で連続だとドヤ顔でいう池沼の群れ(笑
f(x)=1/b(xが0以外の有理数で既約分数a/bで表せるとき)
1(x=0のとき)
0(xが無理数)
の場合 fは無理数点で連続
↑真性の池沼(笑 >>172
出た! 答えを見ても分からない安達w
>>∀ε>0 に対し 0<|x-2|<√(ε+4)-2 ⇒ |y-4|<ε だから lim[x→2]y=4
>このεに1000000000000を代入してもy→4 は示せない、
>ということは分っているのか(笑
任意の正数について示してるのになんでわざわざ特定の正数に限定する話になるんだよ
おまえまったく分かってないなw
>それでもお前は「任意だからどんな巨大な数でもいい」
>と言い続けているのだが、その理由は何なんだ(笑
まず巨大というのは相対的にしか意味が無い。おまえは何と比べて巨大と言ってるのか?
1/1000000 は 1/10000000000000000 と比べれば巨大だw
「任意だからどんな正数でもいい」とは「どんな正数に対しても条件を満たすδの存在を示さなければならない」という意味だ。
おまえが勝手に「どんな正数でも証明になる」と勘違いしてるだけ。
いい加減に理解しろよアホ ID:lKx1j1Nu
こうしてこの池沼がまた顔を出す(笑
このεに1000000000000を代入してもy→4 は示せないのだから、
任意の正数について示してることにはならないのである(笑
巨大なεでは、どんな正数に対しても条件を満たすδの存在を示せないのである(笑
ったくアホすぎて手が付けられない(笑 >>171
極座標に返還すると
(1+i/n)^n=√(1+1/n^2) (cos nθ+i sin nθ)
よって絶対値はlim(n→∞) √(1+1/n^2) = 1
こうかな?
高校数学でやったような記憶がある >>175
>このεに1000000000000を代入してもy→4 は示せないのだから、
>任意の正数について示してることにはならないのである(笑
代入するなんて言ってるのはおまえ一人なんだがw
>>∀ε>0 に対し 0<|x-2|<√(ε+4)-2 ⇒ |y-4|<ε だから lim[x→2]y=4
どこにも代入するなんて書いてないんだがw
任意の正数εに対して条件を満たすδ=√(ε+4)-2の存在が示されてるんだがw
なんでおまえは理解できんの?池沼?痴呆? 713哀れな素人2020/06/14(日) 13:06:40.58ID:m7MOsIOm
f(x)=x(xは有理数)
0(xは無理数)
意味不明(笑
それにx=0で連続ではない(笑
https://rio2016.5ch.net/test/read.cgi/math/1582599485/
すごい発見だね、どんなεのときδがないの?
耳が痛いのである(笑
たしかホモダチが1超えるのはナンセンスと言っていたの思い出したのである(笑
ε=1なのである(笑
δ=1があるわバシッ
顔が痛いのである(笑
ε=1/2なのである(笑
δ=1/2があるわバシッ
顔が痛いのである(笑
ε=1/4なのである(笑
δ=1/4があるわバシッ
・・・
>>146
>εδがεをどんどん小さくしていきながら代入していく操作
εを半減し続けてもδのないεが示せず終わらないとき、
δがないことの証明が失敗し続けてるだけと見て、
探し方が甘いだけで頑張ればδがない可能性が否定できないと言い張るわけか 論理式が読めないから高校でやる言葉での定義しか分からないのが安達
なのでεδで極限が定義できるのはなぜかをしきりに聞くんだけど当然理解できない
∀xPxを示しても意味が分からないので勝手にP100000に読み替えて藁人形を始める >>176
んー、正しくは
lim(n→∞)(1+1/n^2)^(n/2)=1
を証明する必要はありますね >>173
フツーの連続は知っている設定>>168じゃなかったのか?
無理数のとき┃f(x)┃=0≦┃x┃、有理数のとき┃f(x)┃=┃x┃≦┃x┃
結局┃f(x)┃≦┃x┃だから、任意の正数εについて┃x┃<ε→┃f(x)┃<ε
f(0)=0だから、┃x-0┃<ε→┃f(x)ーf(0)┃<ε >>172
「巨大なε」などと言ってる時点で、君が理解していないことは明白。 >>177
だからお前らに訊いているのだ、
>∀ε>0 に対し 0<|x-2|<√(ε+4)-2 ⇒ |y-4|<ε だから lim[x→2]y=4
この式でy→4が示せるのはなぜか、と(笑
ところがお前らは答えない(笑
ID:nz0Kphm8
同類の池沼登場(笑
f(x)=x(xは有理数)
0(xは無理数)
こんな関数が至る所で不連続であることすら分らない池沼(笑
εδで極限が定義できるのはなぜか、早く答えてくれ(笑
ID:aRnaJeHb
こいつも同類の池沼(笑
お前が何も理解していないのは明白(笑
結局毎日毎日池沼しか出て来ない(笑 まずは、安達さんの納得する極限の定義を述べていただきたいのですけどね
皆さん、εδが極限の定義だと思ってるから、なぜそれで証明できるのかと聞かれても定義だからとしか答えようがないんですけど ■ このスレッドは過去ログ倉庫に格納されています