20/05/19 07:28:14 LoI+QO8H.net
ID:woZIY97T
これは質問少年(笑
何度も説明したのに、僕が何を言っているかさえ分っていないアホ(笑
>大きいεを考える必要はない、ではなく、考えてはいけない、と言っているのです
だから「考えてはいけない」などと言ったことは一度もない(笑
あるなら挙げてみろバカ(笑
お前ほど国語力のないバカはいない（呆
>εが小さいところで調べておけば、自動的にεが大きいところでも調べたことになるのです
だからそれは間違いだと何度も声明しただろバカ(笑
x=3で連続だからといってX=30で連続とは限らないのだ(笑
分るか？ アホ少年(笑
179:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/05/19 07:31:08 4vAnFYcr.net
>>144
(引用開始)
近傍系が上方集合（英語版）系であるという性質を用いれば、
∀ N∈ N_f(x),∃ M∈ M_x： M⊆ f^{-1}(V)
∀ N∈ N_f(x),∃ M∈ M_x： f(M)⊆ N
などのように言い換えることもできる。後者は逆像ではなく像を使った言い換えになっている。言葉で言えば、これはどんなに小さな近傍を選んでもそれに写される近傍が必ず見つけられることを言っているのである。
(引用終り)
ここは、結構面白いかも（＾＾
昔、「なんで逆像を使う？」と聞かれて、うまく説明できなかった
今見ると、順像を使う方式もあるのですね
でも、逆像の方が良いみたいですが
180:哀れな素人
20/05/19 07:33:14 LoI+QO8H.net
スレ主よ、質問少年はサル石以上にしつこいから、
今後も延々と粘着して来るぞ(笑
そして、アホだから、今後も延々と
εは任意だから、どんな巨大な数でもいいです、
ε=1000000と取ってもいいです、
と主張し続けるだろう(笑
この少年はε-δ論法がどういうものか、まったく分っていないのである(笑
181:哀れな素人
20/05/19 07:43:40 LoI+QO8H.net
ちなみに粋蕎が僕が酔狂と名付けた男だ(笑
広島在住で、たしか40歳代とか書いていたように思う(笑
飲んだくれであることを自ら認めている(笑
なぜかは知らないが平日の昼間から投稿している(笑
↓粋狂のおバカ発言（笑
√2や1/3は超現実数じゃ。
小数部分が０の整数を純整数という。
182:１３２人目の素数さん
20/05/19 07:47:05 ApaPDEMJ.net
>>150
はいはい、安達さんは自分が言ってること理解できないのですねー
任意の正なるεを持ってきて、δ=εとする
0＜|x|＜δ→|x|＜ε
これがε=10000000000の時に成り立たないのは何故なんでしたっけ？
183:哀れな素人
20/05/19 07:48:09 LoI+QO8H.net
もちろんサル石と、ｴﾓがなりぷっ様と呼んでいる男も、
質問少年や酔狂と同じで、
「εは任意だから、どんな巨大な数でもいい」
と考えているのである(笑
お前はこれからこれらアホ軍団に悩まされることなるぞ(笑
184:１３２人目の素数さん
20/05/19 07:50:00 ApaPDEMJ.net
>>150
＞x=3で連続だからといってX=30で連続とは限らないのだ(笑
はい、安達さんがそのような誤解をしているだろうということは百もお見通しなんですよw
安達さん、x=3での連続を今考えてるのになぜx=30での連続性の話が出てくるのですか？
意味不明なんですけどw
εδは、ある点における連続性を調べるときに使うものなのですよ
もちろん、一様連続とか安達さんには理解できない概念もありますが、今考えたいのは各点における連続性の話ですから
連続性と一様連続の違いなんて、安達さんには百年勉強したってわかるはずがないと思います
185:哀れな素人
20/05/19 07:51:08 LoI+QO8H.net
見ろ、アホの質問少年が出て来た(笑
>ε=10000000000の時に成り立たない
成り立たない、などと一度も書いたことはないのに、
この少年はアホだから、僕がそう主張していると思っているのだ(笑
とにかくアホすぎて付き合いきれない(笑
186:１３２人目の素数さん
20/05/19 07:51:22 ApaPDEMJ.net
>>155
>>155
＞「εは任意だから、どんな巨大な数でもいい」
＞
＞と考えているのである(笑
てことは、安達さんはどんなに巨大な数でもいいというわけじゃないと思ってるってことじゃないですか
>>150
＞だから「考えてはいけない」などと言ったことは一度もない(笑
ほら、これ嘘ですよ
187:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/05/19 07:52:38 4vAnFYcr.net
>>152
哀れな素人さん、どうも
ガロアスレのスレ主です（＾＾
>>145 ID:woZIY97T は、おサルでしょうねｗ（＾＾；
>スレ主よ、質問少年はサル石以上にしつこいから、
>今後も延々と粘着して来るぞ(笑
ええ、おサルさん、相手してやりますよｗ
でも、哀れな素人さんが、某スレに引き付けて頂いているので、助かっています
今後も、よろしくお願いいたします。ｍ（＿ ＿）ｍ
188:１３２人目の素数さん
20/05/19 07:53:15 ApaPDEMJ.net
>>157
y=xのときはいいんでしたっけ？
任意の正数εに対して、δ=√εが存在して
0＜|x|＜δ→|x^2|＜ε
x→0のときx^2→0の証明です
このときは、ε=100000000000でも良いんでしたっけ？
189:哀れな素人
20/05/19 07:53:46 LoI+QO8H.net
>>156
>x=3での連続を今考えてるのになぜx=30での連続性の話が出てくるのですか？
お前が
>εが小さいところで調べておけば、自動的にεが大きいところでも調べたことになるのです
と書いているからである(笑
バカか、お前は(笑
190:１３２人目の素数さん
20/05/19 07:55:27 ApaPDEMJ.net
>>161
いや、だからεはyを制限するのだと何度言えばわかるんですかね
xが制限を受けるのはδですよ
ε=10000000000000でも、δ=0.00000000001とかにしておけば、考えるべきxは3-0.00000000001～3+ 0.00000000001の超狭い範囲になりますよ
191:哀れな素人
20/05/19 07:58:28 LoI+QO8H.net
>>159
違う(笑
ID:woZIY97T が質問少年だ(笑
ですます体の、中高生のような、女のような文章を書くからすぐ分る(笑
>>160
しつこいバカ
ε=100000000000はいけないなどといつたことは一度もないのだアホ
どんな巨大な数でもいいが、そんなのは不必要で無駄だと言っているのである(笑
何度言えば分るのか、お前は（アホすぎて付き合っていられない
192:１３２人目の素数さん
20/05/19 08:00:07 ApaPDEMJ.net
>>163
x=3では連続だけど、x=30で連続でない場合は、ε=1000000000の場合を考えてはいけないのですよね？
ほら、嘘じゃないですか
安達さんは任意のε取れない場合があると言ってるんじゃないんですか？
193:哀れな素人
20/05/19 08:03:42 LoI+QO8H.net
>>162
お前のアホさに真に呆れる(笑
εがyを制限するのではなく、δがxが制限するのでもなく、
その逆なのだアホ(笑
だからδ=0.00000000001と取るなら、
ε=100000000000と取る必要はないと言っているのだ白痴(笑
194:１３２人目の素数さん
20/05/19 08:06:17 ApaPDEMJ.net
>>165
＞だからδ=0.00000000001と取るなら、
＞ε=100000000000と取る必要はないと言っているのだ白痴(笑
∀ε ∃δ
∀δ ∃ε
の違いがなーんにもわかってないですね
そういえば、安達さんは
∀ε∀δ
だと思ってるんでしたっけ？
前εもδも任意だみたいなこと言ってましたね
195:哀れな素人
20/05/19 08:07:07 LoI+QO8H.net
>>164
どこまでアホなんだ、お前は(笑
>ε=1000000000の場合を考えてはいけない
そんなことを僕がどこに書いた(笑
考えてもいいが、不必要で無駄だと言っているのだアホ(笑
まだ分らんのか(笑
お前の相手をすると一日が潰れてしまうからここまで(笑
アホとは付き合っていられない(笑
196:１３２人目の素数さん
20/05/19 08:08:51 ApaPDEMJ.net
>>167
x=3で連続、x=30で不連続の時でも、ε=1000000000ととっても良いのですね？
じゃ別にx=3で連続、x=30で不連続の例をあげる必要ないじゃないですか
なにを言いたいんですか、この例で
197:１３２人目の素数さん
20/05/19 08:47:54 6J5B37r3.net
>>166
＞∀ε ∃δ
＞∀δ ∃ε
＞の違いがなーんにもわかってないですね
確かに
初心者の典型的なつまづきですね
∀ε ∃δ の場合、δはεの関数、δ（ε）
∀δ ∃ε の場合、εはδの関数 ε（δ）
ε－δ論文の場合、前者
つまり、点ａについて、関数ｆの値域の範囲εを定めれば、
それに合わせて定義域の近傍の範囲δ（ε）が決まって
｜ａ－ｘ’｜＜δ（ε）ならば ｜ｆ（ａ）－ｆ（ｘ’）｜＜ε
となるとき、関数ｆは点ａで連続、と定義する
ということ
198:哀れな素人
20/05/19 11:13:14.91 LoI+QO8H.net
>>168
何度同じ質問をしているのだアホ(笑
お前が
>εが小さいところで調べておけば、自動的にεが大きいところでも調べたことになるのです
と書いているからだ(笑
x=3で連続、x=30で不連続の場合があるから、
>εが小さいところで調べておけば、自動的にεが大きいところでも調べたことになるのです
ということにはならないのだアホ(笑
分るか？(笑
国語力ゼロのアホ(笑
199:現代数学の系譜 雑談
20/05/19 11:14:09.30 a8Dbjf7f.net
>>143
補足
Q：連続写像の定義には，なぜ開集合の「逆像
200:」をつかうのですか？ 取りあえず貼る（＾＾ http://www12.plala.or.jp/echohta/top.html 位相空間・質問箱 大田春外 http://www12.plala.or.jp/echohta/top/QA/QA013.html 読者からの質問と回答 01121 ? 01130 大田春外 (抜粋) Ｙ．Ｙ．さんからの質問 #01129 連続写像の定義には，なぜ開集合の「逆像」をつかうのですか？ 位相空間の間の連続写像の定義に「逆像」を用いるのはなぜでしょうか． 写像による位相構造の保存が連続性の意味であると思うのですが，そうだとしたら，開写像や閉写像の定義の方が，直感的には連続の定義として受け入れやすいと感じています． 大学の講義では，距離空間間の連続写像の定義から命題として， 「写像 f: X ---> Y が連続 <=> Y の任意の開集合 O に対し，f^{-1}(O) が X の開集合」 を導き，これを一般の位相空間における連続写像の定義とする流れをとっていました． 論理展開としては理解できますが，何となく受け入れ難さを感じています． よろしくお願いします． お答えします： 連続性が何を表現しているかということを考えてみるとよいのではないでしょうか． 一般に，写像 f: X ---> Y は，空間 X を空間 Y に変形するときの点の対応を表していると考えることが出来ます． このとき「 f が連続であるとは，この変形によって X が破れない（＝切れない）」ことを表現しています。 このことは 『はじめよう位相空間』に詳しく説明しました． 一方，位相空間は，開集合が増加すると離散的な状態になり，開集合が減少すると密着的な状態になるという性質があります． したがって，写像 f: X ---> Y が連続になる（すなわち，X が破れない，離散的にならない）ためには，あくまで大ざっぱに言えばですが，f によって開集合が増えないことが必要です． つづく
201:哀れな素人
20/05/19 11:14:14.08 LoI+QO8H.net
お前にもう一度質問しておく(笑
ε-δ論法で、関数y=x^2の、x→2のときの極限を論じる際に、
お前はどのようなｘ、ｙの範囲を考えているのか(笑
これに答えてみよ(笑
そうすればε=1000000と取ることがいかにばかげているか分る(笑
お前はこういうことを考えていないから、
ε=1000000と取ることのばかばかしさが分らないのだ(笑
[cos x]の件に関しては答えなくていい(笑
202:現代数学の系譜 雑談
20/05/19 11:14:40.87 a8Dbjf7f.net
>>171
つづき
開集合の逆像による連続性の定義は，大ざっぱに言えば，Y の開集合が X の開集合になると言うことですので，f によって開集合が増えないことを表しています．
このことは，集合 X に２つの位相構造 T_1 と T_2 を考え， 写像
f: (X, T_1) ---> (X, T_2)
を恒等写像とすれば，一層はっきりすると思います．このとき，開集合の逆像による f の連続性の定義は，T_1 ⊇ T_2 であることと同値です． 以上が，連続性の定義に，開集合の「逆像」を用いる理由です．
Ｙ．Ｙ．さんと同じ疑問を持つ人は他にもいると見えて，D. J. Vellman という人がトポロジーの講義をしていたら，聴講していた同僚の先生から「像によって写像の連続性を定義することを出来ないか」という質問を受けたと，数学の雑誌に書いています．彼は１つの答えを見つけましたが，そのことも 『はじめよう位相空間』の最後の章で触れておきました．
URLﾘﾝｸ(www12.plala.or.jp)
はじめよう位相空間
大田春外著
日本評論社
本書は２０００年３月まで『数学セミナー』誌に同じ表題で連載した原稿を加筆，修正したものです。本書の演習問題のいくつかは，その際の読者からの質問をもとにして作られています。読者からの有意義な質問と激励にあらためて感謝いたします。
URLﾘﾝｸ(researchmap.jp)
大田 春外
オオタ ハルト (Haruto Ohta)
以上
203:哀れな素人
20/05/19 11:20:09.70 LoI+QO8H.net
>>169
そんなことは誰だって分っている(笑
問題は、この質問少年その他のアホが、
εは任意だからどんな巨大な数でもいい、と考えていることなのだ(笑
たとえばε-δ論法で、関数y=x^2の、x→2のときの極限を論じる際に、
このバカどもは、εは任意だからε=1000000と取ってもいい、
と
204:主張しているのだ(笑 だから、それがいかにアホなことかを教えてやろうと思って、 >>172のような質問を出しているのである(笑 ところがこのバカどもは答えないのだ(笑 質問の意味が分らないらしい(笑 つまりεδ論法が根本的に分っていないということだ(笑
205:１３２人目の素数さん
20/05/19 11:37:22.46 ApaPDEMJ.net
>>170
だから、それってεが小さいときはいいけど、大きくなったらダメってことじゃないですか
x=3で連続でx=30で不連続なときは、εが巨大だとダメなんですよね？
>>172
ようやくなに言いたいかわかりました
だから、それも巨大なεを禁止する理由にはならないですよね
εの値によって場合分けしとけばいいだけの話ですよ
206:１３２人目の素数さん
20/05/19 11:53:51 6J5B37r3.net
>>174
>εは任意だからどんな巨大な数でもいい
なんか不都合なことある？ないよね？
なんか「開集合の逆像が…」とかいってる人もいるけど
距離がなくなっただけのことで、いくらでも大きい開集合がとれる点で同じ
なにがいいたいのか全然わからないな
207:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/19 11:54:40 a8Dbjf7f.net
>>171 追加
こちらが分かり易いかも（＾＾
URLﾘﾝｸ(blog.livedoor.jp)
龍孫江の数学日誌
連結性、連続性及び位相について
(抜粋)
連結性, 連続性および位相について (その５)
2018年08月09日
前回は「連続性」にまつわる 3 つの定義をおさらいし, 点列連続性の定義から, 写像の連続性を
限りなく近付く点同士の像はまた限りなく近付くような写像と意味づけました.
この直観的な意味を知ったうえで, まずは ε-δ 論法の定義を見返しましょう.
ε-δ 論法の主たる眼目は「点 x の δ 近傍の像が f(x) の ε 近傍に包まれるようにできる」ですから,
これもまた「x に "近い" 点を f(x)
に "近い" 点に写す」というイメージを定式化したものだと言えそうです.
しかし, 単に「δ 近傍の像が ε 近傍に包まれる」だけで
ε や δ に何の制約もない状況では, これは何がいいたいのか判りません。きわめて小さい正数
δ>0 をとっているのに, ε がなかなか小さくできないようであれば,
「x に "近い" 点を f(x)
に "近い" 点に写す」という看板に偽りありということになります.
そこで現れるのが, δ (と ε) に与えられた関係「いかなる (微少な) 正数 ε
に対しても, 然るべき (微少な) 正数 δ
によって云々」です. この文言によって, われわれが漠然と述べてきた標語「"近い" 点を "近い" 点に写す」において, 値域の "近さ" の関係こそが主であり, 定義域の "近さ" は値域のそれに従するものでしかないことが明らかにされるのです.
まず ε によって, 値域における像 f(x)
の "近さの基準" が設定されます. ここに包まれないものは「近くないと見なすぞ」というわけです. この近さの基準をふまえて
x の "近さの基準" δ を設ければ, それは
ε によって大きくも小さくもなるだろうけれど, 少なくとも像の "近く"
δ 近傍の像は総て f(x)
の "近く" に写っていると判ります. このように解き明かしていくと, いよいよ当初の疑問であった
連続性はなぜ逆像によって定義されるのか
に手が掛かります.
つづく
208:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/19 11:55:07 a8Dbjf7f.net
>>177
つづき
例. 2
点集合 {x,y}
に離散位相を定めたものを X, 密着位相を入れたものを Y
とせよ.
f:X→Y を底集合の恒等写像とすると,
f は連続かつ全単射だが
逆写像
g*f-1
は連続でない, 特に
f は同相ではない.
同じ集合に強弱の異なる位相を入れているのですから同相 (位相構造の同型) であるはずはなく,
そもそもの集合の濃度も小さく, つまりは容易な例なのですが
209:, この例こそは「連続／不連続とは何か」をもっとも端的な形で示しています. ほとんど明らかながら, 一通り証明しましょう. 密着空間からの写像 g はどうでしょうか. このとき, 定義域の 2 点で "とても近い" にも拘わらず, 写像で写してみると "近い" とは言いきれない組が存在しており, この写像が「近い点を近い点に写す」という標語に適するとは考えられません. では「近い点を近い点に写す」という標語を充たす写像を求めるにはどうすればよいのでしょう. この標語を精確に表現するならば, ある点の像 f(x) の近傍を考える場合に, x の (それなりの) 近傍がその近傍中に写されるような写像こそを連続写像と定めたいのです. このような写像を求めるには, ε-δ 論法の時と同様に, まず値域での関係, すなわち「2 点の像は "近い" のか」を最初に問わねばなりません. そのうえで, それらを引き戻すことで「定義域内では近いのに, 写すとそれほど近いとは言えない」ような点が存在するかを論じることができます. これを位相構造, すなわち開集合だけで表現しようとしたものが「開集合の逆像はまた開集合である」という連続の定義に他ならないのです. 最後までご覧いただきありがとうございました. 参考になりましたら, こちらもポチッと. （付録） 連結性, 連続性および位相について (その２) 2018年08月03日 この位相空間 X を R の素スペクトルといい, Spec R と表す. また, このように定義される位相をザリスキ位相という. (引用終り) 以上
210:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/19 11:57:37 a8Dbjf7f.net
>>178
(引用開始)
例. 2
点集合 {x,y}
に離散位相を定めたものを X, 密着位相を入れたものを Y
とせよ.
f:X→Y を底集合の恒等写像とすると,
f は連続かつ全単射だが
逆写像
g*f-1
は連続でない, 特に
f は同相ではない.
(引用終り)
この例いいね
”点集合 {x,y}
に離散位相を定めたものを X, 密着位相を入れたものを Y”
なるほど
違う位相を入れたときに、逆像を使う方が扱い易いのか（＾＾；
211:哀れな素人
20/05/19 12:49:37.13 LoI+QO8H.net
>>175
分らないアホだな(笑
大きくなったらダメとも、εが巨大だとダメとも言っていない(笑
巨大なεを禁止する、とも言っていない(笑
とにかく国語力が壊滅的にダメだ、お前は(笑
何でお前はそんなにアホなのか(笑
>>176
お前もか(笑
不都合なことがあるなどとは一言も言っていない(笑
不必要で無駄だと言っているのである(笑
何でy=x^2の、x→2のときの極限を論じる際に、
ε=1000000と取る必要があるのか(笑
昼はここまで(笑
212:１３２人目の素数さん
20/05/19 12:56:56.90 ApaPDEMJ.net
>>180
εの値によって場合分けして、各場合ごとにδを選べば良いだけですよね
結局なにが言いたいのかさっぱりわかりません
213:粋蕎 ◆C2UdlLHDRI
20/05/19 15:13:29 7g3VTWLw.net
ま～た極限と連続の定義を混ぜて解釈し始めよったか
214:１３２人目の素数さん
20/05/19 22:44:28 hkrdHMen.net
国文科の爺さんが一番国語力が無いね
215:１３２人目の素数さん
20/05/19 23:00:23 zGnRKvHU.net
>>183
数学力がこのスレでびりっけつは断然コピペ工学部だろ。
216:１３２人目の素数さん
20/05/20 02:25:00.54 oF+A5ee1.net
>>167
>どこまでアホなんだ、お前は(笑
>>ε=1000000000の場合を考えてはいけない
>そんなことを僕がどこに書いた(笑
>考えてもいいが、不必要で無駄だと言っているのだアホ(笑
では必要で無駄じゃないεの値を具体的に答えて下さい
217:哀れな素人
20/05/20 08:10:52 ncHJGaZr.net
>>185
だからそれを教えてやろうと思って>>172の質問を出しているのである(笑
答えは教えない(笑
自分で考えよ(笑
218:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/05/20 08:13:25 y6TLK5vJ.net
>>177 補足
(引用開始)
まず ε によって, 値域における像 f(x)
の "近さの基準" が設定されます. ここに包まれないものは「近くないと見なすぞ」というわけです. この近さの基準をふまえて
x の "近さの基準" δ を設ければ, それは
ε によって大きくも小さくもなるだろうけれど, 少なくとも像の "近く"
δ 近傍の像は総て f(x)
の "近く" に写っていると判ります. このように解き明かしていくと, いよいよ当初の疑問であった
連続性はなぜ逆像によって定義されるのか
に手が掛かります.
(引用終り)
”連続性はなぜ逆像によって定義されるのか”？
さらに補足すれば
＜簡単に一変数実関数で考えると＞
１．”連続”は、値域 像 f(x) つまり Y側の事情で決まっています
２．下記の「跳躍不連続性」の例で考えれば
３．「Y側で、開集合の部分を探す。その逆像が、X側で開集合になっていることを確認する」
それが、ごく自然な連続であることの確認手順であり、また、連続の定義になる！
そう理解するのが、分り易いと思います！！（＾＾
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
219:%86%E9%A1%9E 不連続性の分類 (抜粋) 例 2: 跳躍不連続性 https://upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Discontinuity_jump.eps.png/220px-Discontinuity_jump.eps.png 点 x0 = 1 は跳躍不連続点である。 (引用終り) 以上
220:哀れな素人
20/05/20 08:20:51 ncHJGaZr.net
εδ論法とは、εとδをどんどん小さくするとどうなるか、
あるいは、εとδをいくらでも小さく取れる、という論法なのである(笑
だから小さく取らないと意味がないのである(笑
分るか？(笑
だからどんな動画や教科書でも小さなεδを取って説明しているはずだ(笑
任意だからどんな巨大な数でもいい、
などと言っているのはお前らのようなバカしかいないのだ(笑
今朝はここまで(笑
221:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/05/20 08:23:39 y6TLK5vJ.net
>>187 補足の補足
> ３．「Y側で、開集合の部分を探す。その逆像が、X側で開集合になっていることを確認する」
> それが、ごく自然な連続であることの確認手順であり、また、連続の定義になる！
一変数実関数の場合は
「Y側で、開集合の部分を探すと、必ず その逆像が X側で開集合になっています」
ですので、 「Y側で、開集合の部分を探す」だけで、関数の連続部分の調査が終了します
このことからも、”連続性はなぜ逆像によって定義されるのか”は あきらかですね（＾＾；
222:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/05/20 08:28:44 y6TLK5vJ.net
>>188
哀れな素人さん、どうも（＾＾
(引用開始)
εδ論法とは、εとδをどんどん小さくするとどうなるか、
あるいは、εとδをいくらでも小さく取れる、という論法なのである(笑
だから小さく取らないと意味がないのである(笑
(引用終り)
同意です
”開集合”を考えると明かですね
”開集合”の範囲内に εが収まるように δを取らないと意味がない
大きい εや δを考える意味がない
”位相”の教養が不足していますね（＾＾；
223:１３２人目の素数さん
20/05/20 08:47:44 oF+A5ee1.net
>>186
だから
∀ε>0 に対し 0<|x-2|<√(ε+4)-2 ⇒ |y-4|<ε だから lim[x→2]y=4
と答えてるだろがｗ おまえ字読めないの？
さあ早く>>185に答えろ また逃げる気か？
224:１３２人目の素数さん
20/05/20 12:05:46 rkCXtjJm.net
>>190
すみません、開集合だとしても、任意の開集合を考えますよね？
小さい開集合も大きい開集合も定義では全て調べる必要があるのですよ
しかし、小さい開集合だけ調べておけば、大きい開集合で成り立つのは明らかだということなのです
225:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/20 16:45:00 vYwp2FSf.net
>>192
>すみません、開集合だとしても、任意の開集合を考えますよね？
>小さい開集合も大きい開集合も定義では全て調べる必要があるのですよ
>しかし、小さい開集合だけ調べておけば、大きい開集合で成り立つのは明らかだということなのです
どうも
コメントありがとう
ですが、話が数学なので、はっきり申し上げるが
「小さい開集合だけ調べておけば、大きい開集合で成り立つのは明らか」は不成立でしょうね
例えば、下記の「関数の連続性と一様連続性」ご参照
さて、ある開区間 I＝（x1,x2） ∈ Xで、その区間内に（発散する）極 又は 跳躍不連続点（>>187） x0 （x1<x0<x2）があったとします
なので、開区間 I 全体では、連続ではない！
だから 二つの開区間（x1,x0） と （x0,x2） とに分けて、考えればいいけど（つまりは、δ、εは、ある限界以上は大きくできない）
それで、 ”連続”なる 二つの開区間（x1,x0） と （x0,x2） に分けるといいけど
理論的には、「連続の定義」の中で、 「”連続”なる 二つの開区間（x1,x0） と （x0,x2） に分ければ」とか言うと
それは、数学的にはまずいよね （つまり 「連続の定義」を規定する中で、”連続”が先験的に分かっているという理屈になるからね）
だから、「δ、εは 適当に小さく取れて」で
一貫して説明しないとまずいですよね
（参考）
URLﾘﾝｸ(mathtrain.jp)
高校数学の美しい物語
関数の連続性と一様連続性 最終更新:2019/06/05
(抜粋)
関数の連続性のイメージ
いきなり厳密な定義を書くとひるんでしますので，まずはイメージから。
関数が連続であるとは，直感的には「関数がつながっている，ちぎれていない」という意味です。
ここまで理解できれば高校範囲では十分です。以下は大学内容です。
連続関数の厳密な定義は冒頭の定義を ε-δ を使って書けばよいだけです。（ε-δ を用いた極限の定義ははさみうちの原理の証明を参照してください。）
連続性の定義：
考えている区間内の任意の実数 a と，任意の正の実数 ε に対して，ある δ が存在して「|x-a|<δ なら |f(x)-f(a)|<ε」が成立する。
(引用終り)
226:１３２人目の素数さん
20/05/20 17:29:58 rkCXtjJm.net
>>193
いやだから、εに相当する行った先の開集合は任意にとりますよね
227:ってことですよ
228:粋蕎 ◆C2UdlLHDRI
20/05/20 19:57:09 N5dEyDd3.net
( ･Ａ･)
( ﾟдﾟ)
( Д ) ﾟ ﾟ
( Д ) ......._。......_。 ｺﾛｺﾛｺﾛ…
安達老人に任せたら次世代がバカになる…
ｽﾎﾟﾎﾟﾎﾟﾎﾟﾎﾟﾎﾟｰﾝ!!!
。 。
。 ｡ 。 。 ﾟ
。 ｡ﾟ。゜。 ﾟ｡ 。
/ ／/ ／ ／
( Д ) Д)Д))
ｽﾊﾟﾊﾟﾊﾟﾊﾟﾊﾟﾊﾟｰﾝ!!!!!!
+ ,, * +
" ＋※" + ∴ * ※ *
* * +※ ﾞ* ※ * ＋
+ "※ ∴ * + * ∴ +
* ※"+* ∵ ※ *"
( Д ) Д)Д))
229:１３２人目の素数さん
20/05/20 21:20:16.46 oF+A5ee1.net
分るか爺さん>>185に答えられずまた逃亡ｗ
この爺さん答えに困ると決まって逃亡するからなあ
国文科出身者ってこんなんばっかなの？ この爺さんが異常なの？
230:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/05/20 21:31:14 y6TLK5vJ.net
>>193
お答えします
１．下記の 例 3: 真性不連続の図と式を見て下さい
２．この図で、5/(x-1)＝π/6 (つまり x=1+30/π)とすると f(x)＝1/2です
３．で、εを小さく 例えば ε＝0.1 とすれば、Yの側で 1/2±0.1 で、真性不連続点を含まない範囲に取れます。
４．しかし、ε＝2として、1/2±2の範囲を考えると、真性不連続点を含むことになります。それは、数学的には面白くない状況であり、あまり意味がない
５．たしかに、仰るように ”連続性の定義のε-δ に反しているわけではない”ですね（多分、厳密には（小さいεのδの値を、大きいεに適用すれば良い？））。
６．だが、明らかに 数学的に重要なのは、「εをいくらでも小さく取れる」であり、力点は「εの小さい方」にありますよね （＾＾；
（それに、εが大きすぎると、ε-δ法に対する 位相空間の開集合の逆像を使う方法 との関係も見にくいし）
（参考）
(>>187より)
URLﾘﾝｸ(ja.wikipedia.org)
不連続性の分類
(抜粋)
例 3: 真性不連続性
URLﾘﾝｸ(upload.wikimedia.org)
3. 函数
f(x)
= sin(5/(x-1)) for x<1
= 0 for x=1
= 0.1/(x-1) for x>1
を考えれば、点 x0 = 1 は真性不連続点である。真性不連続点であるためには、極限のどちらか一方が存在しないか無限大であればよい。
なお、この例の関数を複素数変数に拡張しても、その不連続性は真性不連続性である。
(>>193より)
URLﾘﾝｸ(mathtrain.jp)
高校数学の美しい物語
関数の連続性と一様連続性 最終更新:2019/06/05
(抜粋)
連続性の定義：
考えている区間内の任意の実数 a と，任意の正の実数 ε に対して，ある δ が存在して「|x-a|<δ なら |f(x)-f(a)|<ε」が成立する。
(引用終り)
231:哀れな素人
20/05/20 22:18:30 ncHJGaZr.net
>>191
何度言えば分るのかアホ(笑
お前の答えは>>172に対する答えではない(笑
僕はεやδのことを質問しているのではない(笑
どんな範囲のｘ、ｙを考えているのか、と質問しているのである(笑
分るか？(笑
お前が答えた式のｘ、ｙとしてお前は具体的に、
どんな範囲のｘ、ｙを考えているのか、と質問しているのだ(笑
分るか？(笑
何でお前らはこんな単純な質問の意味が理解できないのか(笑
お前らは本当に真性のアホである(笑
それから僕はいつも2chに張り付いているわけではない(笑
午後からは一度も見ないこともしばしばあるのだ(笑
お前らのようなアホの相手をするのは時間の無駄だから(笑
とにかく「任意だからどんな巨大な数でもいい」
などと考えているのはお前らアホ軍団四人組だけである(笑
今夜もここまで(笑
232:粋蕎 ◆C2UdlLHDRI
20/05/20 22:30:41 N5dEyDd3.net
∀ε(>0)と書かれてる時点で正実数全体を考えてる事になるけどね
233:１３２人目の素数さん
20/05/20 22:35:35 oF+A5ee1.net
>>198
>0<|x-2|<√(ε+4)-2
これがxの範囲でなくて何なの？
>|y-4|<ε
これがyの範囲でなくて何なの？
屁理屈はいいからまず答えろ x,yの範囲ではなく何なのか？
234:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/05/21 07:52:31 ROnGhytK.net
>>197 訂正
２．この図で、5/(x-1)＝π/6 (つまり x=1+30/π)とすると f(x)＝1/2です
↓
２．この図で、5/(x-1)＝-11π/6 (つまり x=1-30/(11π))とすると f(x)＝1/2です
補足
f(x)
= sin(5/(x-1)) for x<1
で、f(x)＝1/2となる点を求めようとしたのだが、周期2πで
5/(x-1)＝π/6-2nπとして、n=1のときが x=1-30/(11π)<1 です
エクセルで計算すると、0.131882129 になりました
大変失礼しましたｍ（＿ ＿）ｍ
235:哀れな素人
20/05/21 08:09:5
236:6 ID:FnEc9WYK.net
237:粋蕎 ◆C2UdlLHDRI
20/05/21 08:38:03 yrtUewGg.net
安達老人…定義域または値域と不等式の関係さえ分かってないで言っとるとは恐れ入るわ
238:１３２人目の素数さん
20/05/21 15:28:09 A8Jg1LlG.net
>>202
すみません、これ何を言わせたいのか全くわからないのですけど、誰か教えてくださいよ
>>201さんとかわからないんですか？
あなたも安達さん系統の人だからなんかわかるんじゃないですか？
239:１３２人目の素数さん
20/05/21 15:34:28 A8Jg1LlG.net
>>197
小さいεを考えるだけで十分であり、大きなεを考える必要はない
それはそうですよ
しかしですね、安達さんは、大きなεを考えてはいけないと言っているのですよ
>>197
＞（多分、厳密には（小さいεのδの値を、大きいεに適用すれば良い？））。
安達さんはこの操作を否定します
バカか(笑)巨大なεをとることに意味はないのだ(笑)
というわけです
240:１３２人目の素数さん
20/05/21 15:35:00 A8Jg1LlG.net
考える必要がない、と口では言っていますが、実際言っていることは考えてはいけない、なのです
安達さんはその違いがわからないのです
241:粋蕎 ◆C2UdlLHDRI
20/05/21 15:42:34 yrtUewGg.net
>>153
安達老人。何度も言うとるが
自然数∈整数∈有理数∈実数∈超実数∈累超実数∈超現実数
じゃぞ
242:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/21 16:22:09 /Gwy0a5c.net
>>204
>>>201さんとかわからないんですか？
>あなたも安達さん系統の人だからなんかわかるんじゃないですか？
うん？ 呼んだ？（＾＾；
あなた達、なんで、哀れな素人さんと、延々 エンドレスの議論しているのですか？
ユークリッド幾何の第五公準を知っていますか？
哀れな素人さんは、文系の人ですよ
あなた達、ヒマなんですか？（＾＾；
243:１３２人目の素数さん
20/05/21 16:50:13 MrMDabso.net
>>207
＞自然数∈整数∈有理数∈実数∈超実数∈累超実数∈超現実数
粋蕎・・・おまえも名声乞食同様、集合論の∈を誤解する馬鹿だったか
244:１３２人目の素数さん
20/05/21 16:51:52 MrMDabso.net
>>208
＞ユークリッド幾何の第五公準を知っていますか？
その質問にどういう意味がある？
自惚れ素人の質問は、いつもながら意図が不明
245:１３２人目の素数さん
20/05/21 16:53:05 A8Jg1LlG.net
>>208
ひまだからおもちゃで遊んでるんじゃないですかw
あなたでもやっぱり解読不可能だということなんでしょうかね
246:粋蕎 ◆C2UdlLHDRI
20/05/21 17:18:25 yrtUewGg.net
>>209
ああ所属と集合を一緒くたにした書き方をした
1からの自然数から成る半群∈0からの自然数から成るモノイド∈整数環∈有理数体∈実数体∈超実数体∈累超実数体∈超現実数体
247:１３２人目の素数さん
20/05/21 17:41:53 MrMDabso.net
>>212
根本的に分かってないな
包含関係だから⊂を使う
例えば
自然数（モノイド）⊂整数（環）⊂有理数（体）⊂実数（実閉体）⊂複素数（代数的閉体）
248:１３２人目の素数さん
20/05/21 17:57:20 MrMDabso.net
∈と⊂の混同って、世間ではざらなのか？
自分は◆e.a0E5TtKEがこの間違いをやらかしたのを見たとき
正真正銘の馬鹿だとおもったもんだが
249:１３２人目の素数さん
20/05/21 18:05:44 WT/FVANi.net
公理的集合論だとa∈aという記法は普通なんだろ
数学だと見ることはないね
250:１３２人目の素数さん
20/05/21 19:33:34 MrMDabso.net
>>215
＞公理的集合論だとa∈aという記法は普通なんだろ
いいや
それ、正則性公理に反するし
（正則性公理抜いた集合論も考えられなくはないが、通常の数学では使わない）
251:粋蕎 ◆C2UdlLHDRI
20/05/21 19:35:48 yrtUewGg.net
ほーん
>>213
じゃあ順序体に関して言えば
1からの自然数から成る半群⊂0からの自然数から成るモノイド⊂整数環⊂有理数体⊂実数体⊂超実数体⊂累超実数体⊂超現実数体=順序体の集合
で良ぇのかな｡
252:１３２人目の素数さん
20/05/21 20:16:45 A8Jg1LlG.net
a∈aてかa∈bじゃないですかね
a,bどちらも集合で
253:１３２人目の素数さん
20/05/21 21:07:01 MrMDabso.net
公理的集合論では、集合以外のものは存在しないから
集合Sの一番外側の{}を外したときに出てくるのがSの要素
一方集合S'が、集合Sに含まれる、というのは
集合S'の要素が集合Sの要素であるとき
254:、そのときに限る したがって要素（∈）と、包含（⊂）は全然異なる
255:１３２人目の素数さん
20/05/21 22:27:39 UJO/I9oe.net
>>202
x,yの範囲ではなく何なのか？と聞いてるのにまた答えない
おまえ逃げてばっかりだな
もうおまえ出てくんなよ
256:１３２人目の素数さん
20/05/21 22:34:43 UJO/I9oe.net
分るか爺さんはもしかして定義域、値域を聞いてるのか？
f:R→R f(x)=x^2 だよ
バカみたいに範囲範囲じゃなくちゃんと通じる言葉でしゃべれやアホ爺
257:粋蕎 ◆C2UdlLHDRI
20/05/22 03:16:30 OHCJf9VK.net
>>45で述べた超現実数の認識を更新する。儂は勘違いしとった｡
超現実数体では 1=0.999…;…999…;…999…;…+ε である。超現実数では任意の無限小差、違いも加味する為｡
累超実数体では 1=0.999…;…999…;…999…;… である。累超実数体では上位の無限小累超実数差が排斥される為｡
超実数体では 1=0.999…;…999… である。超実数体では無限小超々実数差が排斥される為｡
実数体では 1=0.999… である。実数体では無限小差が排斥される為｡
有限数学では 0.999… 其の物が認められない。有限数学では無限概念と共に無限小数が排斥される為｡
安達数学では無限概念と共に無限小数を排斥され意味を失した 0.999… を 0.999…999 の意味で略述する事を認めた有限数学｡
安達数学は周回遅れや世代遅れ、世紀遅れどころではない、時代遅れも時代遅れ、古代の数学｡
258:粋蕎 ◆C2UdlLHDRI
20/05/22 03:22:11 OHCJf9VK.net
今、0.999…を1の準表示とする｡
⇔0.333…を1/3の準表示とする｡
⇔1.41413562…を√2の準表示とする｡
a-(aの準表示)=a*{1-(1の準表示)}=a*(1-0.999…)=a*ε
無理数の小数展開のランダム性に捕らわれとった、此んな小学生乃至中学生で簡単に分かる事じゃった｡
何も 1-0.999…=0≠ε とせず 1-0.999…≠ε としても連続性担保できたんじゃ｡
何の問題も無く、連続体に成る。否、手抜かり述べ足らず考え足らずじゃった｡
>>45は実に杞憂じゃった、不必要かつ余計にファジィ解に分類しておった｡
誰か言った通りじゃった｡
> いや、現れるんじゃないかな
> 差は 0.000…1 だね
> 1が立つのはω桁目
つまり此の動画の云う通りじゃった訳じゃ｡
0.999... Repeating Is Equal To 1, But Something Like It Is Not (Introduction To The Surreal Numbers) - YouTube
URLﾘﾝｸ(www.youtube.com)
尚、安達氏未到達
259:粋蕎 ◆C2UdlLHDRI
20/05/22 03:24:24 OHCJf9VK.net
1-1.999…/2=2/2-1.999…)/2=(2-1.999…)/2=(1+1-1+0.999…)/2=(1-0.999…)/2=ε/2
尚、数論でも難しいもんは超現実数に舞台を移すと余計に難しくなるが同質｡
12年前に「いや超現実数でも 0.999…=1 だからｗ」と言った人の意見に流されたばかりか
流された先に>>45の杞憂に停滞してもうた｡
ふむ、超現実数体の連続性は如何なる累超実数体の連続性よりも洗練されとった｡
此う成るとカントールの対角線論法は超現実数対象の際には補正せにゃならんじゃろうな｡
260:粋蕎 ◆C2UdlLHDRI
20/05/22 03:42:03 OHCJf9VK.net
Reject前 Surreal(1-0.999…)=0≠ε & Game(1-0.999…)=ε≠0
Reject後 Surreal(1-0.999…)=ε≠0 & Game(1-0.999…)=ε≠0
よって 1-0.999…=ε≠0 なる結果を得るに当たりhackenbush gameを持ち出す迄も無いので
比較は超現実数とhackenbush gameではなく超実数と超現実数で良い事に成る｡
改定前 Surreal(1-0.999…)=0≠ε & Game(1-0.999…)=ε≠0
改定後 hyperreal(1-0.999…)=0≠ε & Surreal(1-0.999…)=ε≠0
他
1-0.999…=:ε≠0
0.999…=1-ε<1.999…/2=1-ε/2<1
1/3-0.333…=1/3-0.999…/3=(1-0.999…)/3=ε/3
√2-1.414213562…=ε*√2
e
261:-2.718281828…=e*ε π-3.141592653…=π*ε 此れに例えば超々極限を取れば超現実数εは0とされた超々実数が得られ 更に超極限を取れば超現実数εだけでなく無限小超々実数も0とされた超実数が得られ 極限を取れば超現実数εや無限小超々実数だけでなく無限小超実数も0とされた実数が得られる｡ どうやら1-0.999…=εなるεを0とする概念の正体は Archimedes性、超Archimedes性を含む任意の累超Archimedes性じゃった様じゃ｡ 連続位相で尚且つ体を成しつつ 0.999…≠1 を成すのが 超現実数 という名の全順序体の最終拡張､ 任意の如何なる実無限小も如何なる実無限大も認め内包する超現実数体｡ 正偶数半群⊂零抜き自然数半環⊂零含み自然数monoid⊂整数環⊂有理数体⊂実代数的数体⊂実数体⊂超実数体⊂累超実数体⊂超現実数体=全順序体の集合
262:粋蕎 ◆C2UdlLHDRI
20/05/22 03:47:00 OHCJf9VK.net
超現実数体上の 1 1/3 √2 π について ε=(:最小超限順序数ωの逆数) とすれば
1=0.999…+ε=0.999…+0.999…*ε+ε^2=0.999…+0.999…*ε+0.999…*ε^2+ε^3=…
={Σ[k=1,ω-1]0.999…*ε^k}-ε^ω
1/3=0.333…+ε/3=0.333…+0.333…*ε+ε^2/3=0.333…+0.333…*ε+0.333…*ε^2+ε^3/3=…
={Σ[k=1,ω-1]0.333…*ε^k}-ε^ω/3
√2=1.414…+√2*ε=1.414…+1.414…*ε+√2*ε^2=1.414…+1.414…*ε+1.414…*ε^2+√2*ε^3=…
={Σ[k=1,ω-1]1.414…*ε^k}-√2*ε^ω
π=3.141…+π*ε=3.141…+3.141…*ε+π*ε^2=3.141…+3.141…*ε+3.141…*ε^2+π*ε^3=…
={Σ[k=1,ω-1]3.141…*ε^k}-π*ε^ω
超現実数体では 1=0.999…;…999…;…999…;…+ε である。超現実数では任意の無限小差、違いも加味する為｡
累超実数体では 1=0.999…;…999…;…999…;… である。累超実数体では上位の無限小累超実数差が排斥される為｡
超実数体では 1=0.999…;…999… である。超実数体では無限小超々実数差が排斥される為｡
実数体では 1=0.999… である。実数体では無限小差が排斥される為｡
有限数学では 0.999… 其の物が認められない。有限数学では無限概念と共に無限小数が排斥される為｡
安達数学では無限概念と共に無限小数を排斥され意味を失した 0.999… を 0.999…999 の意味で略述する事を認めた有限数学｡
安達数学は周回遅れや世代遅れ、世紀遅れどころではない、時代遅れも時代遅れ、古代の数学｡
安達老人まとめ
・無限概念が絡む数を認める事を拒絶、超実数・累超実数・超現実数のみならず無限小数も排斥
・無限小数を含む無限概念を排斥した序でだと思われるが無断で0.999…を0.999…999の略記として記述
・連続性判定と極限概念を錯誤
・不等式による定義域または値域の判断力を喪失
263:粋蕎 ◆C2UdlLHDRI
20/05/22 04:36:06 OHCJf9VK.net
超現実数は任意の無限小順序を備える。反対に
累超Archimedes性で無限小累超実数roundingにより下位の無限小累超実数が丸められ超実数を得る｡
超々Archimedes性で無限小超々々実数roundingにより無限小超々々実数が丸められ超々実数を得る｡
超Archimedes性で無限小超々実数roundingにより無限小超々実数が丸められ超実数を得る｡
Archimedes性で無限小超実数rounding(=標準化関数)により無限小超実数が丸められ実数を得る｡
0.999… を 1 とする性質の正体は無限小roundingだった｡
264:哀れな素人
20/05/22 07:56:25 sVechzr6.net
>>205
お前もくどいな(笑
>安達さんは、大きなεを考えてはいけないと言っているのですよ
そんなことは一言も言っていない(笑
そんなことは一言も言っていないと言い続けているのに
延々と同じことを書くアホ(笑
お前ほど国語力が壊滅的にダメなアホはいない(笑
>>211
>ひまだからおもちゃで遊んでるんじゃないですかw
自分のアホさも知らず延々とアホを晒しているバカが言うことか(笑
>>220
何を意味不明なことを書いているのか(笑
どんな範囲のｘ、ｙを考えているのか、
と訊いているのである(笑
それに言っただろ、2chに張り付いているわけではない、と(笑
昨日も午後からはこのスレは一度も見ていない(笑
お前らのようなアホを相手にするのは時間の無駄だから(笑
今朝もここまで(笑
265:１３２人目の素数さん
20/05/22 08:28:44 kXbn6oPF.net
>>228
また逃げた
もうおまえ出てくんなよ
266:１３２人目の素数さん
20/05/22 08:30:54 kXbn6oPF.net
>>200から逃げてばかりの分るか爺さんはもう出て来るな
267:哀れな素人
20/05/22 11:35:34 sVechzr6.net
>>230
まったくお前もしつこいな(笑
だから|x-2|、|y-4|、このx、yとして
どのような範囲のx、yをお前は考えているのか、
と質問しているのである(笑
何でこんな簡単な質問の意味も理解できないのか、お前らは(笑
逃げた逃げたと書いているが、質問の意味も分らないアホに
一体何と答えればいいのか(笑
もう一週間以上お前ら（とくに質問少年）は答えていない(笑
逃げ続けているのはお前ら（とくに質問少年）ではないか(笑
ったくアホすぎて付き合っていられない(笑
たぶん今日もこれ以上、このスレを覗くことはないだろう(笑
ちなみにスレ主がコピペで説明しているが、お前らは納得したのか？(笑
それともまだ「任意だからどんな巨大な数でもいい」と思っているのか(笑
まあどう思おうと勝手だが、お前らのように考えているアホはお前らしかいない(笑
268:１３２人目の素数さん
20/05/22 12:59:35 aB1T5l6w.net
>>231
>>197
＞５．たしかに、仰るように ”連続性の定義のε-δ に反しているわけではない”ですね（多分、厳密には（小さいεのδの値を、大きいεに適用すれば良い？））。
スレ主さんのこのレス、意味わかってますか？
安達さんとスレ主さんとの違いは、これを理解できてるかどうかです
スレ主さんはわかってますが、安達さんはわかってない
εは大きく取る必要はないと口では言っていても、実際言ってることはεは大きくしてはいけないになっている
269: わかります？
270:現代数学の系譜 雑談 古典ガロア理論も読む
20/05/22 21:25:18.61 gk5ulKI8.net
メモ貼る
URLﾘﾝｸ(www.quantamagazine.org)
Quanta magazine
KNOT THEORY
Graduate Student Solves Decades-Old Conway Knot Problem
(抜粋)
It took Lisa Piccirillo less than a week to answer a long-standing question about a strange knot discovered over half a century ago by the legendary John Conway.
URLﾘﾝｸ(d2r55xnwy6nx47.cloudfront.net)
Lisa Piccirillo’s solution to the Conway knot problem helped her land a tenure-track position at the Massachusetts Institute of Technology.
n the summer of 2018, at a conference on low-dimensional topology and geometry, Lisa Piccirillo heard about a nice little math problem. It seemed like a good testing ground for some techniques she had been developing as a graduate student at the University of Texas, Austin.
“I didn’t allow myself to work on it during the day,” she said, “because I didn’t consider it to be real math. I thought it was, like, my homework.”
The question asked whether the Conway knot ? a snarl discovered more than half a century ago by the legendary mathematician John Horton Conway ? is a slice of a higher-dimensional knot.
“Sliceness” is one of the first natural questions knot theorists ask about knots in higher-dimensional spaces, and mathematicians had been able to answer it for all of the thousands of knots with 12 or fewer crossings ? except one. The Conway knot, which has 11 crossings, had thumbed its nose at mathematicians for decades.
つづく
271:現代数学の系譜 雑談 古典ガロア理論も読む
20/05/22 21:26:15.89 gk5ulKI8.net
>>233
つづき
Before the week was out, Piccirillo had an answer: The Conway knot is not “slice.” A few days later, she met with Cameron Gordon, a professor at UT Austin, and casually mentioned her solution.
“I said, ‘What?? That’s going to the Annals right now!’” Gordon said, referring to Annals of Mathematics, one of the discipline’s top journals.
“I don’t think she’d recognized what an old and famous problem this was,” Gordon said.
Piccirillo’s proof appeared in Annals of Mathematics in February. The paper, combined with her other work, has secured her a tenure-track job offer from the Massachusetts Institute of Technology that will begin on July 1, only 14 months after she finished her doctorate.
The question of the Conway knot’s sliceness was famous not just because of how long it had gone unsolved.
Slice knots give mathematicians a way to probe the strange nature of four-dimensional space, in which two-dimensional spheres can be knotted, sometimes in such crumpled ways that
272:they can’t be smoothed out. Sliceness is “connected to some of the deepest questions in four-dimensional topology right now,” said Charles Livingston, an emeritus professor at Indiana University. (引用終り) 以上
273:１３２人目の素数さん
20/05/22 23:28:17 kXbn6oPF.net
>>231
だから>>191でx,yの範囲を答えてるだろ
それに対しお前は>>191はx,yの範囲ではないと主張してるんだろ？
だから>>191がx,yの範囲ではないなら何なのか聞いているのにおまえは逃げ続けて答えない
なんでそんなに逃げ続ける必要があるのか？ それは>>185から逃げるためである
逃亡しかできない分るか爺さんは数学板に不要 いいかげんどっか失せろや
274:１３２人目の素数さん
20/05/22 23:30:18 kXbn6oPF.net
さっさと>>185に答えるか、今すぐ数学板から失せるか
好きな方を選べやアホ爺さん
275:哀れな素人
20/05/23 07:53:47 apNgHhOh.net
>>232
まったくしつこいアホだな(笑
>εは大きくしてはいけない
僕はそんなことは一言も言っていないのである(笑
一体何度言えば分るのか(笑
大きく取る必要はないと言っているのだ(笑
その理由を教えてやろうと思って>>172の質問を出しているのだ(笑
それにεを大きく取っても連続であるかどうかは不明なのである(笑
εを小さくしたときに初めて連続か不連続かが分るののである(笑
分るか？(笑
極限についても同様だ(笑
y=x^2の、x→2の極限について考える際に、
何でε=1000000のような巨大な数を取る必要があるのか(笑
とにかくお前は全然分っていない(笑
くだらないレスを書く前に>>172について考えよ(笑
276:哀れな素人
20/05/23 07:55:02 apNgHhOh.net
ID:kXbn6oPF
これはサル石ではなさそうだ(笑
どうも文章がサル石とは少し違う(笑
だから|x-2|、|y-4|、このx、yとして
どのような範囲のx、yをお前は考えているのか、
と質問しているのであって、
この質問の意味も分からないようなアホを相手に
一体何を語ればよいのか(笑
今朝もここまで(笑
277:哀れな素人
20/05/23 08:05:20 apNgHhOh.net
URLﾘﾝｸ(www.youtube.com)
URLﾘﾝｸ(www.youtube.com)
↑関数の連続に関する動画
URLﾘﾝｸ(www.youtube.com)
URLﾘﾝｸ(www.youtube.com)
関数の極限に関する動画
どんな動画もεδを小さな範囲に取って説明しているだろ(笑
ε=1000000などと取って説明していないだろ(笑
wikipediaにもε、δは数学で非常に小さな数を表すと書かれているだろ(笑
「任意だからどんな巨大な数でもいい」
などと考えているバカはお前らしかいないのだ(笑
278:現代数学の系譜 雑談 古典ガロア理論も読む
20/05/23 09:03:32.65 jlNBK+nU.net
メモ
URLﾘﾝｸ(www.shinshu-u.ac.jp)
理学クエストトップ
信州大学 理学部
空間の代数的模型 -圏を行き来して幾何学的対象を理解する-
現在の研究テーマ：空間の代数的模型
栗林 勝彦
数学科
279:１３２人目の素数さん
20/05/23 10:02:08 9RDbx8CD.net
>>238
＞だから|x-2|、|y-4|、このx、yとして
＞どのような範囲のx、yをお前は考えているのか、
＞と質問しているのであって、
スレ主さんがこれに助け舟だしてくれない時点で、こんな意味不明な文章は安達さんしか理解できないのだとわかっていただきたいものですけどねぇ
280:哀れな素人
20/05/23 11:15:42 apNgHhOh.net
>>241
超低脳ウルトラ馬鹿乙(笑
こんな質問の意味を理解できないバカはお前だけ(笑
くだらないレスを書く暇があるなら早く答えを書け(笑
ちなみにスレ主はお前が思っているようなレベルの男ではない(笑
そのことはサル石が一番よく知っている(笑
コピペしかできないところを見れば分るだろう(笑
しかしそんなスレ主でさえ、お前らのように
「任意だからどんな巨大な数でもいい」
などというアホなことは考えていない(笑
そんなことを考えているバカはお前のような超低脳ウルトラ馬鹿だけ(笑
アホの相手はここまで(笑
281:１３２人目の素数さん
20/05/23 12:00:05 9RDbx8CD.net
安達さんもイプシロンデルタはコピペしかできてなかったですけどね
282:１３２人目の素数さん
20/05/23 13:18:23.37 qT7w3mi3.net
>>238
x,yの範囲を答えてるのに答えてないと強弁し>>185から逃げ続けるアホ爺は数学板に不要 さっさと失せろ
283:１３２人目の素数さん
20/05/23 13:22:12.51 qT7w3mi3.net
>>342
「あれ？アホ爺も分かって�
284:ｫたかな？」と思うこともあったが、その後コピペしてただけってバレてるしね
285:哀れな素人
20/05/24 08:01:31.29 iBM07Qq9.net
ε、δは数学で非常に小さな数を表す、
という正しいことをコピペして何が悪いのか(笑
お前らのようなアホが常識を知らないからコピペしただけ(笑
何度でもいうが、お前らは
「任意だからどんな巨大な数でもいい」と思っているが、
そんなアホなことを考えているのはお前らだけ(笑
常識のないアホが数学をやると、お前らのようになる（ｹﾞﾗｹﾞﾗ
286:１３２人目の素数さん
20/05/24 10:14:26 PZHyt/0p.net
>>246
非常に小さな数って具体的にはいくつ以下？
287:１３２人目の素数さん
20/05/24 10:54:35 PZHyt/0p.net
アホ爺 ↓に答えらえず逃亡
・「どんな巨大な数でもいい」の否定は何か？
・「0<|x-2|<√(ε+4)-2」がxの範囲でないなら何か？
・「|y-4|<ε」がyの範囲でないなら何か？
・「必要で無駄じゃないε」とは具体的にはどんな値か？
・「非常に小さな数」とは具体的にはいくつ以下か？
アホ爺よ これ以上逃げ回って恥を上塗るくらいならさっさと消え失せたら？
288:現代数学の系譜 雑談 古典ガロア理論も読む
20/05/24 13:05:57.84 WD4sBPKv.net
＜メモ＞
楕円曲線に、”27”って 結構出てくるね
URLﾘﾝｸ(ja.wikipedia.org)
谷山?志村予想
谷山・志村予想（たにやましむらよそう、Taniyama?Shimura conjecture）は、「すべての有理数体上に定義された楕円曲線はモジュラーである」という主張
参考文献
導手について
27で割れない場合 リチャード・テイラー他 1999 Conrad, B.; Diamond, F.; Taylor, R. (1999). “Modularity of Certain Potentially Barsotti-Tate Galois Representations” (PDF). J. Amer. Math. Soc. 12: pp. 521-567.
URLﾘﾝｸ(www.ams.org)
JOURNAL OF THE
AMERICAN MATHEMATICAL SOCIETY
Volume 12, Number 2, April 1999, Pages 521?567
S 0894-0347(99)00287-8
MODULARITY OF CERTAIN POTENTIALLY BARSOTTI-TATE
GALOIS REPRESENTATIONS
BRIAN CONRAD, FRED DIAMOND, AND RICHARD TAYLOR
(抜粋)
Theorem. If E is an elliptic curve over Q with conductor not divisible by 27, then E is modular.
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
数理解析研究所講究録 1345 巻 2003 年 1-30
楕円ファイバー空間の構造
京都大学・数理解析研究所 中山 昇 (Noboru Nakayama)
(抜粋)
今回の研究集会で行った楕円ファイバー空間についての 4 日間 (8 時間) の連続講演
の簡単な紹介をする. 内容は主に論文 [15], [16] の解説である. 詳しくはこの文献を参
照されたい. 尚, 本稿では解析空間はハウスドルフ (Hausdorff) で第二可算な複素解析
空間を意味する.
P10
基本楕円ファイバー空間を記述する手段としてワイエルシュトラスモデルによる方
法 [12] がある. S 上の可逆層 L と 4a^3+27b^2 が S^* で 0 をもたない大域切断
つづく
289:現代数学の系譜 雑談 古典ガロア理論も読む
20/05/24 13:07:10.50 WD4sBPKv.net
>>249
つづき
URLﾘﾝｸ(toyama.repo.nii.ac.jp)
富山大学学術情報リポジトリ 2018/02/01
第25 回整数論サマースクール報告集
「楕円曲線とモジュラー形式の計算」
木村巌・横山俊一・編
P13
2.2.2 Weierstrass の標準形
E′: y^2 = x^3 - 27c^4x - 54c6 (2.5)
URLﾘﾝｸ(ja.wikipedia.org)
楕円曲線
楕円曲線は、楕円ではないことに注意すべきである。「楕円」ということばの由来については楕円積分、楕円関数を参照。
このように、楕円曲線は次のように見なすことができる。
一次元のアーベル多様体
三次の平面代数曲線で、有理点を持つもの
複素数を加法群とみて、二重周期を持つ格子で割った商空間（複素数体上のみ、複素数上の楕円曲線）
4.4 モジュラー性定理とフェルマーの最終定理への応用
モジュラー性定理は、以前は谷山志村予想としても知られていたが、Q の上の全ての楕円曲線 E はモジュラー曲線であるということであり、言い換えると、楕円曲線のハッセ・ヴェイユのゼータ関数はウェイト 2 でレベル 1 のモジュラー形式のL-関数であるということを言っている。
ここに N はアーベル多様体 E の導手（英語版）である。（導手とは、E の判別式 Δ(E) として同じ素数により割ることのできる整数を言う。）
（余録）
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
数理解析研究所講究録
971 巻 1996 年 30-39
楕円曲線の数論の歴史
早稲田大学 足立恒雄
(引用終り)
290:１３２人目の素数さん
20/05/25 04:50:22 a2BCPKof.net
古代ギリシャ時代の有限数学では 0.999… 其の物が認められない。有限数学では無限概念と共に無限小数が排斥される為｡
実数体では 1=0.999… である。実数体では無限小差が排斥される為｡
超実数体では 1=0.999…;…999… である。超実数体では無限小超々実数差が排斥される為｡
超々実数体では 1=0.999…;…999…;…999… である。超々実数体では無限小超々々実数差が排斥される為｡
累超実数体では 1=0.999…;…999…;…999…;… である。累超実数体では上位の無限小累超実数差が排斥される為｡
超現実数体では 1=0.999…;…999…;…999…;…+ε である。超現実数では任意の無限小差、違いも加味する為｡
超現実数体上の 1 1/3 √2 π について ε=(:最小超限順序数ωの逆数) とすれば
1=0.999…+ε=0.999…+0.999…*ε+ε^2=0.999…+0.999…*ε+0.999…*ε^2+ε^3=…
={Σ[k=1,ω-1]0.999…*ε^k}-ε^ω
1/3=0.333…+ε/3=0.333…+0.333…*ε+ε^2/3=0.333…+0.333…*ε+0.333…*ε^2+ε^3/3=…
={Σ[k=1,ω-1]0.333…*ε^k}-ε^ω/3
√2=1.414…+√2*ε=1.414…+1.414…*ε+√2*ε^2=1.414…+1.414…*ε+1.414…*ε^2+√2*ε^3=…
={Σ[k=1,ω-1]1.414…*ε^k}-√2*ε^ω
π=3.141…+π*ε=3.141…+3.141…*ε+π*ε^2=3.141…+3.141…*ε+3.141…*ε^2+π*ε^3=…
={Σ[k=1,ω-1]3.141…*ε^k}-π*ε^ω
291:１３２人目の素数さん
20/05/25 04:50:55 a2BCPKof.net
あ、間違って此処に書いた
292:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/05/25 06:26:45 eyKRxUQp.net
>>251-252
どんまい
ありがとう（＾＾
293:哀れな素人
20/05/25 07:36:26 dTHhCGiV.net
>>530
お前のしつこさとアホさに呆れる(笑
大きく取る必要はない、という文章は、
大きく取ってはいけない、という意味ではないぞ(笑
お前、それが分っているのか？(笑
大きく取る必要はない、とは、
大きく取ってもかまわないが、その必要はない、という意味だ(笑
分るか？(笑
僕は「どんな巨大な数でもいい」は間違いだと言っているのではない(笑
そんな巨大な数を取るのは不必要で無意味だと言っているのだ(笑
一体何度説明すれば分かるのか、お前らは(笑
で。なぜ不必要で無意味であるかを教えてやろうと思って、
|x-2|、|y-4|、このx、yとして
お前はどんな範囲のx、yを考えているのか、と質問しているのだ(笑
ところがお前はトンチンカンで的外れな答えを繰り返し、
しかもそれがトンチンカンで的外れな答えであることさえ気付いていない(笑
と、こう書いても延々と同じ質問と嘲笑を書き続けるに違いない(笑
アホとはこういうものである(笑
294:哀れな素人
20/05/25 07:39:52 dTHhCGiV.net
花咲か爺さんの桜の木の下に宝が埋まっていると分れば、
その桜の木の下を掘ればいいのであって、
村中の土を掘り返す必要はないのである(笑
分るか？(笑
「任意だからどんな巨大な数でもいい」というのは、
「とにかく土の下に宝が埋まっているのだから、
村中の土を掘り返せばいいのだ」というのと同じくらい、
ばかげたことであり不必要なことであり無駄なことなのである(笑
分るか？(笑
僕は村中の土を掘り返してはいけない、と言っているのではない(笑
そんなことは不必要で無駄なことだと言っているのである(笑
分るか？(笑
295:１３２人目の素数さん
20/05/25 08:17:28 0kzc96OE.net
>>254 >>255
アホ爺は今日も逃亡ｗ
296:粋蕎 ◆C2UdlLHDRI
20/05/25 10:10
297::24 ID:a2BCPKof.net
298:１３２人目の素数さん
20/05/25 10:41:07 CAsqqzur.net
>>135
＞２．あと、例えば、ある１点x0で不連続な関数があって、不連続なx0の近傍での連続を考える場合に、不連続な部分を含める意味もまた、無いのです
T1空間なら成り立つはずです
ε-δ論法の対象が距離空間なりハウスドルフ性を持っているから成り立つだけで
いじわるな位相だと不連続な点を分離できないことがある
299:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 12:10:08 ynbMVhgd.net
>258
>＞２．あと、例えば、ある１点x0で不連続な関数があって、不連続なx0の近傍での連続を考える場合に、不連続な部分を含める意味もまた、無いのです
>T1空間なら成り立つはずです
>ε-δ論法の対象が距離空間なりハウスドルフ性を持っているから成り立つだけで
>いじわるな位相だと不連続な点を分離できないことがある
仰る通り。T1空間、ハウスドルフは下記ね。なお、下記”いくつかの分離公理の図示”は見ておくのが良いと思う
（図を使わない ブルバキ流には反するがね（なお、私は図を使ってイメージを作る方が絶対良いと思うよ））
ところで、ε-δ論法が普通活躍する 一変数実関数を考えると、
ハウスドルフ性は満たされているので、y=f(x)で ｙ側に開集合が取れれば（それをOyとして）、
即 逆像f^-1(Oy) もまた 開集合になるのです
さて、y=sin(x) の実関数を考えると、明らかに ｜y｜<=1であって
連続性を論じるのに、ε＝２とか取っても、なんだかな～です。間違いではないが
ε＝２とかすると、開集合の逆像対応も見にくくなるのです
だから、間違いではないが、教育的ではないと思います
（参考）
URLﾘﾝｸ(ja.wikipedia.org)
T1空間
数学の位相空間論周辺分野における T1-空間（T1-くうかん、英: T1 space）は、相異なる二点を選べば必ず、その各々の点がもう一方の点を含まない開近傍を持つ位相空間を言う。同じことが位相的に識別可能な二点についてのみ成り立つ場合は R0-空間と言う。条件 T1 および R0 は分離公理の例である。
T1-空間は別名、迫接空間[訳語疑問点]（accessible space; 到達可能空間）あるいはフレシェ空間ともいい、R0-は別名、対称空間とも呼ばれる。[* 1]
注釈
1^ 「フレシェ空間」という語は函数解析学で全く別の意味でよく用いられ、列型空間の一種であるフレシェ・ウリゾーン空間のことを単にフレシェ空間と呼ぶこともあるので、T1 と呼ぶ方が紛れがない。
同様に、「対称空間」の語もリーマン対称空間などを含む別な意味で使われるほうが一般に知られているので、避けたほうが無難である。
つづく
300:現代数学の系譜 雑談 ◆e.a0E5TtKE
20/05/25 12:10:41 ynbMVhgd.net
>>259
つづき
URLﾘﾝｸ(ja.wikipedia.org)
分離公理
数学の位相空間論周辺分野において、考えたい種類の位相空間を割り出すための様々な制約条件が知られている。そういった制約のうちのいくつかが分離公理（ぶんりこうり、英: separation axioms）と呼ばれる条件によって与えられる。アンドレイ・チホノフ（英語版）に因んで、チホノフの分離公理とも呼ばれる。
分離公理が「公理」であるのは、位相空間に関する概念を定義するときに、これらの条件を余分な公理として追加して、位相空間がどのようなものかによってより制限された概念を得るという意味においてのみである。
現代的なアプローチでは、きっぱりと位相空間を公理化（英語版）してしまってから位相空間の「種類」について述べるという形になっているが、「分離公理」の語が定着している。いくつかの分離公理に "T" が�
301:tくのは「分離公理」を意味するドイツ語の Trennungsaxiom に由来する。 分離公理に関する用語の正確な意味は時とともに変化してきた。特に、古い文献を参照する際には、そこで述べられているそれぞれの条件の定義が、自分がそうだと思っている語の意味と一致しているかどうか確認しておくべきである。 https://upload.wikimedia.org/wikipedia/commons/8/8f/Separation_axioms_illustrated.png いくつかの分離公理の図示。青い領域は開集合を、赤い四角は閉集合を、黒い点は空間の点を意味する。 X がハウスドルフ あるいは T2 若しくは分離空間であるとは、X における任意の相異なる二点が近傍で分離されることを言う。従って X がハウスドルフであるための必要十分条件は T0 かつ R1 なることである。ハウスドルフ空間は必ず T1 になる。 https://ja.wikipedia.org/wiki/%E3%83%8F%E3%82%A6%E3%82%B9%E3%83%89%E3%83%AB%E3%83%95%E7%A9%BA%E9%96%93 ハウスドルフ空間 数学におけるハウスドルフ空間（ハウスドルフくうかん、英: Hausdorff space）とは、異なる点がそれらの近傍によって分離できるような位相空間のことである。これは分離空間(separated space)またはT2 空間とも呼ばれる。 https://ja.wikipedia.org/wiki/%E9%96%8B%E9%9B%86%E5%90%88 開集合 (引用終り) 以上
302:１３２人目の素数さん
20/05/25 12:44:15 7LlZYqhp.net
>>255
わかりますよ
それについては誰も文句言ってません
でも、安達さん口ではそう言ってますが、本当は違うこと思ってるじゃないですか
桜の木だけ調べてもいいけど村中の木を調べても良いのですよね？
安達さんを批判してる人は、村中の木を調べる愚直な方法について考えているわけです
イプシロンデルタ論法ですよね
任意のイプシロンを考えて良いと
その時どうなるかって話なのに、誰かさんはxやyの範囲わかるか？わかるか？と延々に質問し続けていますよ？
村中の木を調べていいはずなのに、桜の木の場合だけを考えようとしている
おかしいですよねぇ
303:哀れな素人
20/05/26 08:02:27 toUsS2Dt.net
>>261
分らん奴だな(笑
桜の木の下に宝が埋まっていると分っているのに、
なぜ村中の木を調べる必要があるのか(笑
なぜそんな無駄なことをする必要があるのか(笑
村中の木を調べても良いが、
そんな無駄なことをする必要はないのである(笑
そのことを教えてやろうと思って
>>172の質問を出しているのだ(笑
実際、どんな動画や数学書を見ても、
ε=1000000のようなεを取って説明しているものはないだろう(笑
それがなぜだか分るか？(笑
304:１３２人目の素数さん
20/05/26 08:33:25.41 MC4o+gWw.net
>>262
言ったはずだが。屁理屈はいいので↓に答えろと
・「どんな巨大な数でもいい」の否定は何か？
・「0<|x-2|<√(ε+4)-2」がxの範囲でないなら何か？
・「|y-4|<ε」がyの範囲でないなら何か？
・「必要で無駄じゃないε」とは具体的にはどんな値か？
・「非常に小さな数」とは具体的にはいくつ以下か？
305:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/26 10:16:21 /1WeSRXo.net
メモ
URLﾘﾝｸ(ja.wikipedia.org)
一様連続
一様連続性の定義はユークリッド空間や、それを一般化した概念である距離空間において定義される。 さらに一般に一様空間上でも定義可能である。
一様空間
位相空間の間の連続写像が位相的性質を保つように、一様空間の間の一様的性質を保つ写像は一様連続写像と呼ばれる。一様連続性は厳密には次のように定義される[1]：
定義 f を一様空間X から一様空間Y への写像とする時、f が一様連続 であるとは以下の性質を満たす事をいう：Y の任意の近縁V に対しX の適切な近縁U を取れば全てのx 、y ∈X に対し、
(x,y)∈ U → (f(x),f(y))∈ V
特にf が全単射でf 、f -1 がいずれも一様連続であるとき、f は一様同型 であるという。
任意の一様連続写像は、一様性から誘導される位相に関して、必ず連続である[1] 。
一様空間と一様連続写像の全体はひとつの圏を成す。一様空間の間の同型射は一様同型と呼ばれる。
URLﾘﾝｸ(ja.wikipedia.org)
一様空間
数学の一分野、位相空間論における一様空間（いちようくうかん、英: uniform space）は一様構造を備えた集合である。一様空間は（完備、一様連続、一様被覆などの）付加的な構造を備えた位相空間にもなっている。
一様構造と位相構造の概念的な違いは、一様空間においては点の近さや相対的な近さといったようなある種の概念が定式化できるというようなことにある。
つまり、「点 x の点 a への近さは、点 y の点 bへの近さよりも近い」といったような考察は一様空間において意味を成すのである。
対する一般の位相空間では、部分集合 A, B が与えられれば、「点 x が集合 A にどれほどでも近い（x が A の閉包に属する）」とか「集合 A は集合 B よりも小さい近傍である」といったようなことは言える。
しかし点の近さの概念や相対的な近さといったようなものは、位相構造のみでは記述することができない。
一様空間は距離空間と位相群を一般化する概念であり、それゆえに解析学における議論の多くの基盤を与えるものとなっている。
つづく
306:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/26 10:16:58 /1WeSRXo.net
>>264
つづき
目次
1 定義
1.1 近縁系による定義
1.2 擬距離による定義
1.3 一様被覆による定義
2 一様空間の位相
2.1 一様化可能空間
3 一様連続性
一様連続性
詳細は「一様連続」を参照
位相空間の間の連続写像が位相的性質を保つように、一様空間の間の一様的性質を保つ写像は一様連続写像と呼ばれる。一様空間と一様連続写像の全体はひとつの圏を成す。一様空間の間の同型射は一様同型と呼ばれる。
一様連続写像は近縁系の逆像がふたたび近縁系となるような写像として定義される。あるいは同じことだが、一様被覆の逆像がふたたび一様被覆となるような写像と言ってもよい。
任意の一様連続写像は、一様性から誘導される位相に関して、必ず連続である。
(引用終り)
以上
307:１３２人目の素数さん
20/05/26 12:01:34.80 dol2Tbep.net
>>262
xとyの範囲の意味が安達さん以外誰もわかってないのですけど？？
xとyをεやδの不等式で表すのは、範囲じゃないんですよね？
308:１３２人目の素数さん
20/05/26 12:32:06 6iZ5iimt.net
数学掲示板群 URLﾘﾝｸ(x0000.net)
学術の巨大掲示板群 - アルファ・ラボ URLﾘﾝｸ(x0000.net)<)
微分幾何学入門
URLﾘﾝｸ(x0000.net)
309:現代数学の系譜 雑談 古典ガロア理論も読む
20/05/27 07:22:00.81 dv6rS0Xa.net
＜デデキントエータ関数（イータ関数とも）についてメモ＞
URLﾘﾝｸ(www.nippyo.co.jp)
『数学セミナー』2020年3月号
「高校数学ではじめる整数論」
連載●第 12 回
オイラーの無限積 付録
谷口 隆◎神戸大学大学院理学研究科
エータ関数
URLﾘﾝｸ(ja.wikipedia.org)
デデキントのイータ関数
η (z)=q^{1/24}Π_{m=1}～{∞}(1-q^{m}), q=e^{2πiz} (下記のモジュラー形式の記法より借用した)
モジュラー変換
URLﾘﾝｸ(ja.wikipedia.org)
モジュラー形式
モジュラー形式は、モジュラー群という大きな群についての対称性をもつ上半平面上の複素解析的函数である。歴史的には数論で興味をもたれる対象であり、現代においても主要な研究対象である一方で、代数トポロジーや弦理論などの他分野にも現れる。
モジュラー函数（英: modular function）[note 1]は重さ 0 、つまりモジュラー群の作用に関して不変であるモジュラー形式のことを言う。そしてそれゆえに、直線束の切断としてではなく、モジュラー領域上の函数として理解することができる。
また、「モジュラー函数」はモジュラー群について不変なモジュラー形式であるが、無限遠点で f(z) が正則性を満たすという条件は必要ない。その代わり、モジュラー函数は無限遠点では有理型である。
モジュラー形式論は、もっと一般の場合である保型形式論の特別な場合であり、従って現在では、離散群の豊かな理論のもっとも具体的な部分であると見ることもできる。
目次
1 SL2(Z) のモジュラー形式
1.1 標準的な定義
1.2 格子上の函数としての扱い
1.3 モジュラー曲線上の函数としての扱い
2 例
3 モジュラー函数
4 一般レベルのモジュラー形式
4.1 リーマン面 Γ\H*
4.2 定義
4.3 結果
4.4 q-展開
4.5 整形式とカスプ形式
4.6 保型因子とその他の一般化
5 一般化
6 歴史
つづく
310:現代数学の系譜 雑談 古典ガロア理論も読む
20/05/27 07:22:40.27 dv6rS0Xa.net
つづき
リーマン面 Γ\H*
Γ を SL(2,Z) の部分群で有限な指数を持つとすると、そのような群 Γ は、SL(2,Z) と同様に上半平面 H に作用する。商位相空間 Γ\H はハウスドルフ空間であることが示される。
この空間は必ずしもコンパクトでないが、カスプ（尖点）と呼ばれる有限個の点を加えてコンパクト化できる。
カスプは H の境界を実軸とみなしたときにそのうちで有理数 Q に対応する点もしくは ∞ であり、その点を固定する Γ の放物元（トレースが ±2 である行列）が存在するような点をさす。[1]
これをつけ加えてコンパクトな位相空間 Γ\H* を考える事ができる。この商空間にリーマン面の構造を与えることができ、Γ\H 上の正則函数や有理型函数を定義することができる。
ここに「カスプにおいて有理型」であるとは、虚軸の正部分に沿った z → i?∞ なる極限においてモジュラー形式が有理型であることをいう。
f(z + 1) = f(z) すなわち、モジュラー形式が周期 1 を持つ周期函数であり、したがってフーリエ級数展開を持つことに注意。
保型因子とその他の一般化
デテキント・エータ函数は、
η (z)=q^{1/24}Π_{n=1}～{∞}(1-q^{n}), q=e^{2πiz}
と定義され、モジュラー判別式（英語版） Δ(z) = η(z)24 はウェイト 12 のモジュラー形式である。この 24 という数は、次元 24 をもつリーチ格子（英語版） に関係する。有名なラマヌジャン予想は、任意の素数 p に対して qp の係数は、絶対値 2p11/2 以下であることを主張し、ピエール・ドリーニュによってヴェイユ予想に関する研究の結果より、解決された。
URLﾘﾝｸ(ja.wikipedia.org)
カスプ形式
カスプ形式(cusp form)、もしくは尖点形式とは、モジュラー形式のうちカスプでのフーリエ級数展開の定数項が 0 であるものをいう。
参考文献
Serre, Jean-Pierre, A Course in Arithmetic, Graduate Texts in Mathematics, No. 7, Springer-Verlag, 1978. ISBN 0-387-90040-3
Shimura, Goro, An Introduction to the Arithmetic Theory of Automorphic Functions, Princeton University Press, 1994. ISBN 0-691-08092-5
つづく
311:現代数学の系譜 雑談 古典ガロア理論も読む
20/05/27 07:23:05.29 dv6rS0Xa.net
つづき
URLﾘﾝｸ(ja.wikipedia.org)
j-不変量
数学では、複素変数 τ の函数としたときのフェリックス・クライン(Felix Klein)の j-不変量 (j-invariant)、（もしくは、j-函数と呼ぶこともある）とは、複素数の上半平面上に定義された SL(2, Z) のウェイト 0 のモジュラー函数を言う。
尖点（カスプ）で一位の極を持つ以外は正則な、一意的な函数である。
jの有理函数はモジュラーであり、実はすべてのモジュラー函数を与える。古典的には、j-不変量は C 上の楕円曲線のパラメータ化として研究されていたが、驚くべきことに、モンスター群の対称性との関係を持っている（この関係はモンストラス・ムーンシャインと呼ばれる）。
目次
1 定義
2 基本領域
3 類体論と j-不変量
4 超越的性質
5 q-展開とムーンシャイン
5.1 ムーンシャイン
6 別の表現
7 テータ函数による表現
8 代数的定義
9 逆函数
10 π公式
11 特殊値
定義
詳細は「楕円曲線」、「複素数上の楕円曲線」、および「モジュラー形式」を参照
ここにモジュラー判別式(modular discriminant) Δ は
Δ=(g_2)^3-27(g_3)^2
である。
Δ はウェイト 12 のモジュラー形式であることと、g2 はウェイト 4 のモジュラー形式であるのでその3乗はウェイト 12 であることを示すことができる。
このようにこれらの商と従って j はウェイト 0 のモジュラ函数であり、特に、SL(2, Z) の作用の下に不変な有理型函数である。以下に説明するように、j は全射であり、このことは C 上の楕円曲線の同型類と複素数の間の全単射を与えることを意味する。
つづく
312:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/05/27 07:23:32 dv6rS0Xa.net
つづき
類体論と j-不変量
j-不変量は、多くの注目すべき性質をもっている。
τ が虚数乗法であると、すなわち、虚数部が正である虚二次体の任意の元である（従って、j-不変量が定義される）と、j (τ) は代数的整数である[1]。
体の拡大 Q[j (τ), τ]/Q(τ) はアーベル的、すなわち、ガロア群がアーベル的になる。
Λ を {1, τ} で生成される C の中の格子とすると、乗法の下に Λ を固定する Q(τ) のすべての元が、整環（英語版）(order)と呼ばれる環の単位元(unit)を形成することがの容易にわかる。
同じような方法で同一の整環の生成子 {1, τ′} を持つ格子は、Q(τ) 上で j (τ) の代数的共役である j (τ') を定義する。包含関係に従い、Q(τ) の唯一の最大整環は、Q(τ) の代数的整数の環の τ の値であり、Q(τ) の不分岐拡大を導く。
これらの古典的な結果は、虚数乗法論の出発点となっている。
代数的定義
今までは、j を複素変数の函数として考えてきたが、楕円曲線の同型類の不変量としては、j を純粋に代数的に定義することもできる。
π公式
同様な公式は、ラマヌジャン・佐藤級数（英語版）(Ramanujan-Sato series)を参照。
(引用終り)
以上
313:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/05/27 07:24:14 dv6rS0Xa.net
>>271
＜余録メモ＞
URLﾘﾝｸ(www.nippyo.co.jp)
「高校数学ではじめる整数論」付録ページ
谷口 隆◎神戸大学大学院理学研究科
2019年4月号「素数のレース」 4月号詳細情報 付録PDF（3月12日up！）
2019年5月号「関とベルヌーイの数列」 5月号詳細情報 付録PDF（4月12日up！）
2019年6月号「あまりたちのなすサイクル」 6月号詳細情報 付録PDF（5月10日up！）
2019年7月号「素数は無数に」 7月号詳細情報 付録PDF（6月12日up！）
2019年8月号「ベルトランの仮説」 8月号詳細情報 付録PDF（7月12日up！）
2019年9月号「ラマヌジャンの論文集」 9月号詳細情報 付録PDF（8月13日up！）
2019年10月号「素因数分解の一意性」 10月号詳細情報 付録PDF（9月11日up！）
2019年11月号「ガウス整数環」 11月号詳細情報 付録PDF（10月11日up！）
2019年12月号「推測する」 12月号詳細情報 付録PDF（11月12日up！）
2020年1月号「ルジャンドル記号」 1月号詳細情報 付録PDF（12月12日up！）
2020年2月号「相互律鑑賞会」 2月号詳細情報 付録PDF（1月10日up！）
2020年3月号「オイラーの無限積」 3月号詳細情報 付録PDF（2月13日up！）
314:哀れな素人
20/05/27 08:08:35.00 Z2rDQ2p1.net
>>263
しつこいアホだな(笑
何でお前はそんな無意味な質問を延々と続けるのか(笑
僕は「どんな巨大な数でもいい」
という考えを否定しているわけではないのに(笑
「どんな巨大な数でもいい」の否定は一つではない(笑
「どんな巨大な数でもいいわけではない」がその一つの答えだ(笑
しかしそれは「巨大な数ではいけない」という意味ではない(笑
「巨大な数では意味がない」という意味も含まれている(笑
分るか？(笑
僕は「巨大な数では意味がない」と言っているのだ(笑
分るか？(笑
「巨大な数ではいけない」と言っているわけではないのだ(笑
分るか？(笑
それ以下の質問には答えない(笑
その答えを教えてやろうと思ってお前らに質問しているのだ(笑
僕は答えを教える気はない(笑
お前が自分で考えよ(笑
お前が一万回同じ質問をしても答えない(笑
315:哀れな素人
20/05/27 08:10:13.11 Z2rDQ2p1.net
>>266
xとyの範囲の意味が分らないおバカはお前らだけ(笑
フツーの数学徒なら誰でも答えられる(笑
僕はx、yとδ、εの関係などを質問しているのではない(笑
どんな範囲のx、yを考えているのか、と質問しているのだ(笑
何でこんな簡単な質問の意味が分らないのか、お前らは(笑
こんな簡単な質問の意味が分らないということが、
お前らがεδ論法が分っていない決定的証拠なのである(笑
316:１３２人目の素数さん
20/05/27 09:26:47.50 /0KzVtdE.net
>>273
不正解ｗ
>>274
>僕はx、yとδ、εの関係などを質問しているのではない(笑
>どんな範囲のx、yを考えているのか、と質問しているのだ(笑
εδ論法を全く分かってないｗ
アホ爺はやはりアホだったｗ
317:１３２人目の素数さん
20/05/27 22:19:28 /0KzVtdE.net
>>273
>僕は「巨大な数では意味がない」と言っているのだ(笑
意味のあるεとはどんな値？具体的に答えてね
318:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/05/27 23:33:54 dv6rS0Xa.net
メモ
URLﾘﾝｸ(ja.wikipedia.org)
楕円曲線
複素数体上の楕円曲線
楕円曲線の複素射影平面（英語版）の中のトーラスの埋め込みとしての定式化は、ヴァイエルシュトラスの楕円関数の不思議な性質から自然に導かれる。
複素数上に、どの楕円曲線も九個の変曲点を持っている。これらの点のうちの二つを通るどの直線も、三つ目の変曲点を通る。九つの点と12の直線はこのようにしてヘッセ配置（英語版）を成す。
代数体上の楕円曲線
有理数体 Q 上、あるいは一般に代数体 K 上定義された曲線 E/K についても接線と割線の方法 (the tangent and secant method) による加法は、E にも適用できる。群構造を定義したときにも述べたように、明示公式から、2つの K-有理点 P, Q の和は、P と Q を結ぶ直線は K 上に係数を持つゆえ、再び K 上に座標を持つ。
このようにして、E の K-有理点全体のなす集合は E の複素数点（K が実代数体の場合は実数点）全体のなす群の部分群を成す。この意味において、楕円曲線はアーベル群、すなわち P + Q = Q + P となっている。
高さ
代数体 K 上の楕円曲線上の点に対し、高さが定まる。
絶対的高さ (absolute height)
対数的高さ (logarithmic height)
標準的高さ (Canonical height) もしくは ネロン・テイトの高さ（英: Neron?Tate height
つづく
319:現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE
20/05/27 23:34:26 dv6rS0Xa.net
>>277
つづき
有理点の構造
E(K) の中の Z のコピーの数、同じことであるが無限位数の独立な点の個数を、E(K) の階数あるいはランク（英語版）と呼ぶ。また、E(K) の中の有限巡回群の有限個の直和となっている部分はE(K)の有限位数の点全体からなる部分群に対応する。そこでこの部分をねじれ部分群といい、E(K)の有限位数の点をねじれ点ともいう。
具体的には小さなランクの楕円曲線しか知られていないにもかかわらず、任意に大きなランクの楕円曲線が存在するとも予想されている。有理数体 Q 上で考えた場合、正確なランクが判明している楕円曲線のうち、最大のランクを持つ楕円曲線は、2009年にノーム・エルキース（英語版）により発見された
y2 + xy + y = x3 ? x2 + 31368015812338065133318565292206590792820353345x + 302038802698566087335643188429543498624522041683874493555186062568159847
であり、そのランクは 19 である[11]。正確なランクが判明していなくてもよければ、最低でも 28 のランクを持つ楕円曲線が、同じくエルキースによって発見されている。 ランクの決定に関しては、楕円曲線上のゼータ関数によって記述できるというバーチ・スウィンナートン＝ダイアー予想が存在する。
URLﾘﾝｸ(en.wikipedia.org)
Hesse configuration
In geometry, the Hesse configuration, introduced by Colin Maclaurin and studied by Hesse (1844),[1] is a configuration of 9 points and 12 lines with three points per line and four lines through each point.
It can be realized in the complex projective plane as the set of inflection points of an elliptic curve, but it has no realization in the Euclidean plane.
(引用終り)
以上
320:哀れな素人
20/05/28 07:28:10.43 ZTfqyE9U.net
ID:/0KzVtdE
>εδ論法を全く分かってないｗ
それがお前(笑
>意味のあるεとはどんな値？具体的に答えてね
それを教えてやろうと思って>>172の質問を出しているのである(笑
何度言えば分るのか、アホ(笑
ε-δ論法のεやδは小さく取らないと意味がないのである(笑
お前らはこんな常識さえ知らずに、
「任意だからどんな巨大な数でもいい」などと
アホ丸出しのことを延々と強弁しているのだ(笑
321:１３２人目の素数さん
20/05/28 08:00:21.59 HJmCPiag.net
林家コピ平 楕円曲線ブームの真っ最中
秋風亭降太「コピ平くんの座布団 全部持ってって！！！」
322:現代数学の系譜 雑談
20/05/28 11:03:48.36 LOTC0/EA.net
>>278
>有理数体 Q 上で考えた場合、正確なランクが判明している楕円曲線のうち、最大のランクを持つ楕円曲線は、2009年にノーム・エルキース（英語版）により発見された
>y2 + xy + y = x3 - x2 + 31368015812338065133318565292206590792820353345x + 302038802698566087335643188429543498624522041683874493555186062568159847
>であり、そのランクは 19 である[11]。
英文wikipediaでは、ランク20 by Noam Elkies and Zev Klagsbrunの記載があるね
あと、Notesで、NagaoとNagao - Kouyaが出てくるけど、はて？（＾＾；
（参考）
URLﾘﾝｸ(en.wikipedia.org)
Elliptic curve
The elliptic curve with biggest exactly known rank is
y2 + xy + y = x3 - x2 - 244537673336319601463803487168961769270757573821859853707x + 961710182053183034546222979258806817743270682028964434238957830989898438151121499931
It has rank 20, found by Noam Elkies and Zev Klagsbrun in 2020.[4]
Notes
4 URLﾘﾝｸ(web.math.pmf.unizg.hr)
Dujella, Andrej. "History of elliptic curves rank records". University of Zagreb.
The "folklore" conjecture is that a rank can be arbitrary large. However there are also recent heuristic arguments that suggest the boundedness of the rank of elliptic curves.
The highest rank of an elliptic curve which is (unconditionally) known exactly (not only a lower bound for rank) is equal to 20, and it is found by Elkies-Klagsbrun in 2020.
The following table contains some historical data on elliptic curve rank records.
________________________________________________________________________________
rank >= year Author(s)
17 1992 Nagao
20 1993 Nagao
21 1994 Nagao - Kouya
323:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/05/28 11:19:43 LOTC0/EA.net
>>281
メモ追加
URLﾘﾝｸ(www.sci.u-toyama.ac.jp)
岩澤理論の楕円曲線の数論への応用
松野 一夫 (東京都立大学)
1 楕円曲線と Birch, Swinnerton-Dyer 予想
具体的に E が与えられたときに, E(F) の torsion 部分を求めることは難しくないが,
自由部分の rank や生成元を求めるのは大変で, (確実に決定できる) アルゴリズムも今
のところない. Birch, Swinnerton-Dyer 予想はその rank に関する予想である.
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
電子情報通信学会論文誌 A Vol． j82－A No．8 pp．1269－1277 1999年8月
代数曲線とその応用論文小特集
論文
素数位数を有する楕円曲線の構成とその計算量評価
堀内 啓次†
笠原 正雄†
布田 裕一†† 境 隆一・††† 金子 昌信††
情報セキュリティ技術の研究が活発にな
われている．こうした流れの中，昨今，特に注目され
ている方式として楕円曲線を利用した暗号方式（楕円
暗号）を挙げることができる．楕円曲線を利用するこ
とによる有利な点はその離散対数問題を解く準指数時
間のアルゴリズムが存在しないことである．
324:１３２人目の素数さん
2020/05/2
325:8(木) 11:39:48.92 ID:prBZWIvZ.net
326:１３２人目の素数さん
20/05/28 11:45:39.48 prBZWIvZ.net
・「どんな巨大な数でもいい」の否定は何か？
・「0<|x-2|<√(ε+4)-2」がxの範囲でないなら何か？
・「|y-4|<ε」がyの範囲でないなら何か？
・「必要で無駄じゃないε」とは具体的にはどんな値か？
・「非常に小さな数」とは具体的にはいくつ以下か？
・「数直線上の穴」の具体例は何か？
から逃げ続ける安達弘志（アホ爺）は完全なインチキなのである(笑
327:現代数学の系譜 雑談
20/05/28 11:46:02.86 LOTC0/EA.net
>>282
メモ追加
URLﾘﾝｸ(www.comp.tmu.ac.jp)
山形大学理学部数理科学科 2014 年度後期「数理情報特選 F/数理科学特別講義 E」講義資料 1
計算する立場からの楕円曲線論入門
The arithmetic of elliptic curves from a viewpoint of computation
横山 俊一1（Shun’ichi Yokoyama）
九州大学大学院 数理学研究院
講義のサポートページ 著者のウェブページにて, 講義概要や配布資料の電子版等を公開しています. 詳細は
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp) をご覧ください.
楕円曲線は他の 3 次曲線とは一線を画している. 最近では
整数論の最先端への応用だけではなく, 我々の情報化社会を支える暗号技術やゲーム機の開発などに
も用いられている. 実はその背後では, 楕円曲線特有の「ふしぎな性質」や「計算の難しさ」が伴と
なっている.
本稿（本講義）では, 学部で学ぶ代数学の基礎（群・環・体の基本的な性質）だけを仮定して, 楕
円曲線の豊穣な世界を覗き見る事を目指す. 実際に楕円曲線に「触れて」みるためには, 計算機を用
いた実験が有効である. そこで楕円曲線を実際に計算する事を通して, 楕円曲線の持つ「ふしぎな性
質」や「計算の難しさ」を実感してもらいたい.
以後ほぼ全てのプログラム例を通じて, 無料の統合ソフトウェア Sage（セージ）を用いる2
. Sage
は正式版のリリースが今から約 10 年前という, 比較的最近発足したプロジェクトであり, プログラミ
ング初心者にもやさしい言語 Python（パイソン）をベースとして作られている. 本稿のもう一つの
目的として, この Sage に慣れ親しむことを目指す. 計算実習の時間も有効活用して欲しい.
本資料について
この講義資料は, 2014 年度後期・山形大学理学部数理科学科集中講義：
? 数理情報特選 F（学部 4 年生が履修可能）
? 数理科学特別講義 E（大学院修士学生が履修可能）
の講義ノートです. 講義初回に出席者には 1 冊ずつ配付するほか, 講義のサポートページ
URLﾘﾝｸ(www2.math.kyushu-u.ac.jp)
に電子版（pdf ファイル）を置きます. 誤植等を見つけた方はぜひ横山までお知らせください. 速やかに改訂版
と差し替えます
328:１３２人目の素数さん
20/05/28 12:02:48.66 prBZWIvZ.net
>>284
>・「どんな巨大な数でもいい」の否定は何か？
には一応答えてたねｗ
でも「否定は複数ある」とかアホ丸出しの不正解なので、完全なインチキであることに変わりなしｗ
329:現代数学の系譜 雑談
20/05/28 14:03:58.67 LOTC0/EA.net
メモ
URLﾘﾝｸ(www.math.nagoya-u.ac.jp)
第66回 幾何学シンポジウム 予稿集
2019年8月26日 (月) ? 2019年8月29日 (木)
名古屋大学東山キャンパス
P184
ブラックホール幾何
330:白水徹也 (名古屋大学多元数理科学研究科) この数年でブラックホールの観測が進み、それらは一般相対論の予言と見事に一致する。本 講演では、一般相対論におけるブラックホールの幾何学的な性質の概観を解説するとともに、 最近の発展についても触れたい。 III. 21 世紀ブラックホール 20 世紀終わりから今日までの間、理論、観測の双方の著しい発展に後押しされ、ブラックホール 研究は大きな広がりを見せている。一つは超弦理論などから動機付けられた高次元時空ブラックホー ル。一方、観測では 2015 年にブラックホールの合体からの重力波が検出されている。また、今年に 入って、電波望遠鏡による「ブラックホールの撮影」も記憶に新しい。ブラックホール自体は観測は できないため、できるだけ近くを見る、ということが重要となる。現在の観測では、シュバルツシル トブラックホールを例にとると、重力波ではブラックホール (面積) 半径の 3/2 倍の r = 3m 周辺ま で検証されていることになっている。そこで、最近ではブラックホール周辺の数学的定式化が注目を 浴びている。ここでは、高次元ブラックホールと強重力場に焦点をあて、解説を行う。 つづく
331:現代数学の系譜 雑談
20/05/28 14:04:26.54 LOTC0/EA.net
>>287
つづき
A. 高次元ブラックホール
すでに触れたように高次元時空において大域的に漸近的に平坦な静的ブラックホール解は唯一で
あることが知られている。一方で、定常解では H ? SD?2 のマイヤーズ・ペリー解が古くから知ら
れていたが、2001 年に Emparan と Reall によりブラックリング解 (H ? S2 × S) が 5 次元時空で発見されたのを契機に、
5 次元時空において、S3, S2 × S1 の有限連結和の解も発見され、系統的解の
生成も整備された。ただし、軸対称性 U(1) に加え、さらに U(1) 対称性があるものに限られる。こ
れは、H への制限は高次元時空では 4 次元と比べ、緩やかなものとなっていることからきている。実
際に H への制限は、山辺不変量が正で与えられる。D = 4 の場合が、ガウス・ボネ定理により、S2
に限定されていた。D ? 5 ではトポロジーへの制限が緩和される。このように高次元ブラックホール
は想像以上に豊かな構造を持ち合わせていることが広く認識された [2, 3]。
以上は大域的に漸近的に平坦な時空に限ったが、レンズ空間やある空間方向に併進対称性がある
ような場合なども考えることができる。例えばブラックストリング解 (H ? SD?3 × R) が存在する。
この数年では数値シミュレーションが進み、多くのブラックホール解が摂動に対して不安定であ
ることが報告されている [4]。極端な場合、裸の特異点の出現が指摘されており、高次元時空におい
ては宇宙検閲仮説が破れる傾向があるようだ。
URLﾘﾝｸ(ja.wikipedia.org)
宇宙検閲官仮説（うちゅうけんえつかんかせつ）または、宇宙検閲仮説（うちゅうけんえつかせつ、cosmic censorship hypothesis）とは、一般相対性理論研究に登場する概念で、時空に裸の特異点が自然に発生することはないだろう、というロジャー・ペンローズが提唱した予想である。
目次
1 概要
2 5次元宇宙における破れ
(引用終り)
以上