16/11/06 10:54:12.14 0YhMgXeu.net
>>182
> いったいどんな数列が生き残るのか？
答え：全てのR^Nが生き残る
201:１３２人目の素数さん
16/11/06 10:55:48.19 nJxS0NAD.net
>>182
補足もクソもない。そのようなおかしな数列は、R^N の中にも Z^N の中にも存在しえない
(扱うこと自体は可能だが、R^N や Z^N の中では扱えない)。
よって、そのようなおかしな数列が扱えるような適切な空間を構成するのが先。
スレ主はそこをすっ飛ばしているのでポエムにしかなってない。
＞だが、その定義では、最初の時枝記事で、箱が可算無限個あるとされる数列の中で、いったいどんな数列が生き残るのか？
N の元を添え字とする実数列(すなわちR^Nの元)が生き残り、
スレ主が提唱するおかしな数列だけが消滅する。
もともとおかしな数列であって単なるゴミだから、消滅しても全く問題ない。
202:１３２人目の素数さん
16/11/06 10:55:51.01 HFEBVKW8.net
>>182
これは酷い
203:現代数学の系譜11 ガロア理論を読む
16/11/06 11:19:21.35 ivLdkhn2.net
>>179
>>110は別に難しいことはやってないよ
普通の代数和を使って、無限列は極限 lim(n→∞) で処理しただけ
それは、>>173-174 時枝記事 (2)有限の極限として間接に扱うの方針通り
別のやり方で、下記のような定義も可能だ
π＝ 3.14159 26535 8979… ＝a1. a2a3a4a5・・・an・・・
ｅ＝ 2.71828 18284 5904… ＝b1. b2b3b4b5・・・bn・・・
ここで、πとｅの少数第n-1位までの部分数列を定義する
πn＝ 3 14159 26535 8979・・・an ＝a1a2a3a4a5・・・an
ｅn＝ 2 71828 18284 5904・・・bn ＝b1b2b3b4b5・・・bn
有限のモノイドの文字の連接（演算記号＊とする）を借りると
πn＊ｅn＝a1a2a3a4a5・・・an b1b2b3b4b5・・・bn
可算無限を考えるなら極限 lim(n→∞) を考えて
lim(n→∞) πn＊ｅn＝a1a2a3a4a5・・・an… b1b2b3b4b5・・・bn…
前半がπを表現し、後半がｅを表現する
この極限 lim(n→∞) は、大学数学では頻出テクでしょ
頭から連番が付かないから困る？
２つ添え字ijを使う。大学数学では頻出テク（>>61）
前半を(1,1),(1,2),・・・・(1,n),・・・
後半を(2,1),(2,2),・・・・(2,n),・・・
とする。これで無問題
可付番で、可算無限
204:だから、時枝記事の数列の定義に合う
205:１３２人目の素数さん
16/11/06 11:31:52.18 0YhMgXeu.net
大前提：時枝やHart氏はR^ωの元を考えている
［R^ωの定義を理解できないスレ主の脳内］
→箱の個数は可算無限。当然ωの濃度も可算無限。
→3.14159...2.71828...も可算無限の箱に入れられるではないか！
→このような数列も考えなければいけないはずだ！
→決定番号は有限値にならない！時枝は間違っている！（したり顔）
［スレ主に対する全員の突っ込み］
・それはR^ωの元ではない。R^(ω2)の元です。
・ωとω2は濃度としては可算無限で等しいですが、集合としては異なるものです。
・R^(ω2）を考えたいの？どうぞ勝手にやってください（・・・こいつ馬鹿じゃねーの？）
206:現代数学の系譜11 ガロア理論を読む
16/11/06 11:37:30.42 ivLdkhn2.net
>>184
>答え：全てのR^Nが生き残る
lim(n→∞) で
πを表現する数列S(π)=3 14159265358979…は生き残る
e＝ 3.7 でe/10^n＝0.0・・・037 （ 3は少数第ｎ位で、7は少数第ｎ+1位）を表現する数列S(e/10^n)=0 0・・・037は生き残る
だから、二つの和
π＋e/10^n＝3 14159265358979…37 を表現する数列S(π＋e/10^n)=3 14159265358979…37は生き残る
ＱＥＤ
207:現代数学の系譜11 ガロア理論を読む
16/11/06 11:38:08.28 ivLdkhn2.net
>>186
ageるなって、このプロ固定やろう！ そんなに稼ぎが大事か
208:現代数学の系譜11 ガロア理論を読む
16/11/06 11:42:24.68 ivLdkhn2.net
>>185
>もともとおかしな数列であって単なるゴミだから、消滅しても全く問題ない。
おお、消滅定理か！ 論文かけるぞ！ どうぞ
100年まってるよ
209:現代数学の系譜11 ガロア理論を読む
16/11/06 11:44:56.10 ivLdkhn2.net
>>188
>・それはR^ωの元ではない。R^(ω2)の元です。
>・ωとω2は濃度としては可算無限で等しいですが、集合としては異なるものです。
話は逆で、R^ωの元から、R^(ω100)の元を作るのが、時枝記事だよ
210:１３２人目の素数さん
16/11/06 11:46:24.21 nJxS0NAD.net
>>189,191
何いってるんだこいつ。そこは
＞「"3.14159265358979… 37"の最後の"3","7"の添え字はNでは表せない」から、その数列は扱わない？？
＞そう定義するならそれもあり
＞だが、その定義では、最初の時枝記事で、箱が可算無限個あるとされる数列の中で、いったいどんな数列が生き残るのか？
これが話の前提であって、「スレ主が提唱するおかしな数列を扱わない場合には何が生き残るのか」
っていう話なんだから、生き残るのは R^N の数列だけだろ。
だって、そもそも扱わないという前提の話なんだから。
論文が何だって？お前、日本語が読めないのか？
211:１３２人目の素数さん
16/11/06 11:50:26.19 nJxS0NAD.net
「扱わない」という前提の話に対して「扱った場合」の結論を持ってくるアホｗ
何の反論にもなってないし、そもそも数学以前に日本語の問題ｗ
消滅定理が何だって？バカじゃねーの。
212:１３２人目の素数さん
16/11/06 11:57:28.29 HFEBVKW8.net
>>187
全く分かってないようなので具体的に教えてやろう
まず
3.14159265358979… 2718281828459…
なるものが未定義（これが定義できないというのがそもそもの問題）
にもかかわらずお前は
＞ここで、数列 2718281828459…をπ＝ xの後ろに連結すると
＞z ＝ 3.14159265358979…2718281828459…
などと訳の分からないことを言っている
そして仮に
3.14159265358979… 2718281828459…
なる実数（≠π）が定義できたとして
lim[n→∞]π'n=π≠3.14159265358979… 2718281828459…
ゆえにお前は何重にも間違ってる。そもそも基礎が全くわかっていない。
213:１３２人目の素数さん
16/11/06 11:59:06.44 0YhMgXeu.net
>>192
> 話は逆で、R^ωの元から、R^(ω100)の元を作るのが、時枝記事だよ
あのさぁ。
［時枝の話］
R^ωの元から100個のR^ωを作り、その100個のR^ωを扱う。
［スレ主の話］
R^ωの元から1個のR^(ω100）を作り、1個のR^(ω100）を扱う。
この二つが違うことくらい分かるでしょう？
R^(ω100）の元だって"作る"ことは可能だよ？
だけど時枝の記事はそんな元を"扱わない"って言ってるんだよ。
214:１３２人目の素数さん
16/11/06 12:04:40.16 6UoZYVsS.net
>>189
スレ主の使ってるSという関数は実数xに対してその10進数無限小数展開を対応させているものだ
nが自然数であるときπとe/10^nは実数として足すことができる。その演算結果を3.14 a_4 a_5 ...とすると
S(π+e/10^n)=3.14… a_4 a_5 …であって
3.14…37ではない
またスレ主はπの10進数小数展開において小数第n-1位で区切ったものをπ_nとしてS(π+e/10^n)=3.14…(n-3個の数字) 37とした。
これ自体は正しいがここから安易にlimというものを考えるには注意が必要となる
単なる10進表記として見る場合3.14…(n-3個の数字) 37のn→∞の極限は3.14…となりπそのものである
しかし3.14…(n-3個の数字) 37を単なる文字列として見た場合はそのn→∞の極限というのはまだ考えられていない
一つの解決策はn+2におけるnをωに取り替えてω+2と思うことだが、こうすると10進表記という元々の意味合いが失われる
スレ主が安易に極限操
215:作なるものが成立し、それが実数の中で保存されると思ったのが間違いである。
216:１３２人目の素数さん
16/11/06 12:08:28.08 nJxS0NAD.net
>>189,191
もしかしてこのバカは、
・「扱わない」という前提のもとでも「扱える」ことが帰着される
とでも言いたいのだろうか？
だとしたら矛盾が生じるから、スレ主は自滅する。
もし「扱える」ことが帰着されるのなら、最初から R^N の中で考えればいいのであり、
R^N で考えても「扱える」ことが帰着されることになる。
しかし、既に述べたように、R^N の中では「扱えない」ので矛盾する。
スレ主のおかしな数列を扱うには、スレ主自身が>>187で書いているように、
２つ添え字ijを使うなどして、R^Nから はみ出した別の空間を用意しなければならない。
結局、>>189,191 が何を言いたいのか全く意味不明。
「扱わない」という前提の話に対して「扱った場合」の結論を持ってくる、日本語の読めないアホ
としか言いようがない。
217:１３２人目の素数さん
16/11/06 12:18:47.90 0YhMgXeu.net
>>82で言ったとおり、
・自覚がないが悪意もない馬鹿（＝誤答おじさん）はマシ。
・非誠実で悪意のある馬鹿（＝スレ主）は最悪。
このスレ主の場合、単なる馬鹿ではなく、
スレを伸ばすために役者を演っている可能性もある。
いずれにせよ数学板で論理を解さない人間がデカイ顔をすると
どうにも始末に負えないという典型例。
関わった人間全員が時間を浪費。
儲かるのはad業者とプロ固定のみ。
218:現代数学の系譜11 ガロア理論を読む
16/11/06 12:32:00.17 ivLdkhn2.net
>>192 追加
>>188
>・それはR^ωの元ではない。R^(ω2)の元です。
そうそう、>>160と>>189に書いたが、e＝ 2.718281828459…の桁数を落として、２桁にした
だから、このモデルではR^(ω2)の元ではない。R^ωの元になるよ
lim(n→∞) で >>160のように
π＋e/10^n＝3 14159265358979…37 を表現する数列S(π＋e/10^n)=3 14159265358979…37
これは、明らかにR^ωの元 （エクセルのround関数による定義は>>182で説明の通り）
e＝ 1.7に変更とすると
π＋e/10^n＝3 14159265358979…17 を表現する数列S(π＋e/10^n)=3 14159265358979…17
これも、明らかにR^ωの元 （上記に同じ）
なお、エクセルのround関数による定義は>>182の通り
これで、R^ωの元 だということは、ご納得頂けるだろう
そこで、>>160にも書いているが、
lim(n→∞) で、数列S(π＋e/10^n)=3 14159265358979…17 を代表として、S(π＋e/10^n)=3 14159265358979…37 を100列のうちの一つの数列とする
決定番号や如何に？ 二つの比較で、… 17と… 37とで、違いは、1と3のところだけ
とすると、決定番号がどうなるか？ πは超越数で無限桁だということを認めるとどうなる？
決定番号が決められない？ だから、この数列は排除？
これ、R^ωの元だよ。排除して、何が残る？
219:現代数学の系譜11 ガロア理論を読む
16/11/06 12:33:33.74 ivLdkhn2.net
>>195
上げるなって、プロ固定！
220:現代数学の系譜11 ガロア理論を読む
16/11/06 12:37:34.77 ivLdkhn2.net
>>195
混乱している
普通に我々が実数をコーシー列で考えている場合は、自然にユークリッド距離が入る
ユークリッド距離を前提として
3.14159265358979… 2718281828459…はπに収束するよ
221:１３２人目の素数さん
16/11/06 12:38:15.78 nJxS0NAD.net
>>200
＞π＋e/10^n＝3 14159265358979…17 を表現する数列S(π＋e/10^n)=3 14159265358979…17
＞これも、明らかにR^ωの元 （上記に同じ）
eの方を2桁にしても無駄。これはR^ωの元にならないよ。
なぜなら、「3 14159265358979…17」における末尾の「17」は、
"無限桁目" とでも表現すべき桁にしか出現しえないから。
そのようなシロモノはR^ωの元にならない。
222:現代数学の系譜11 ガロア理論を読む
16/11/06 12:39:09.42 ivLdkhn2.net
>>196
じゃ、>>200はどうだ
すべて、R^ωの中だ
223:現代数学の系譜11 ガロア理論を読む
16/11/06 12:42:13.36 ivLdkhn2.net
>>203
それは、極限lim(n→∞) を考えないという意味？
意味不明だね
円周率πを表現する数列は？
極限lim(n→∞) を考えない？
極限lim(n→∞) を考えないで
円周率πを表現する数列に関する同値類分類をどうやって実現するんだ？
224:１３２人目の素数さん
16/11/06 12:42:28.09 nJxS0NAD.net
>>204
＞すべて、R^ωの中だ
間違っている。「3 14159265358979…17」における末尾の「17」は、
"無限桁目" とでも表現すべき桁にしか出現しえないので、
R^ωの元にならない。
225:現代数学の系譜11 ガロア理論を読む
16/11/06 12:45:16.97 ivLdkhn2.net
>>198
いみ分からん
話が哲学すぎて
論文書いてきくれ
100年待っている
追伸
>>200で、すべてR^Nに収まるモデルを作ったよ
なお>>205も見てね
226:１３２人目の素数さん
16/11/06 12:45:27.32 nJxS0NAD.net
>>205
バーーカ。
普通の10進法展開で普通にπを無限小数展開すると
π＝3 14159265358979…
となり、これに対応する R^N の中の数列を x とすると、これは
x_1
227:＝3, x_2＝1, x_3＝4, x_4＝1, … などとなり、R^N の中で扱える。一方で、お前が考える 「3 14159265358979…17」を R^N の中の数列として表現しようとすると、 それを y とでも置けば y_1＝3, y_2＝1, y_3＝4, y_4＝1, … などとなり、末尾の「17」を表現する y_i が i∈N の範囲では存在しない。 だから、お前の考える 「3 14159265358979…17」は R^N の中では存在し得ない。
228:現代数学の系譜11 ガロア理論を読む
16/11/06 12:46:00.36 ivLdkhn2.net
>>206
つー、>>205
229:現代数学の系譜11 ガロア理論を読む
16/11/06 12:51:58.82 ivLdkhn2.net
>>208
ふーん、>>182で書いた、エクセルのround関数を使った式がわからんと？
lim(n→∞)
π''''n=round(4Σ(n=0, n→∞)(-1)^n/(2n+1), n-1) +e/10^n （単純な二つの式の和であることにご注意。ここにe＝ 3.7 ） >>182
πがR^N の中で扱える
その通り
同じ理由で、3 14159265358979…17 もR^N の中で扱える
だって、lim(n→∞) しか使ってないから
230:１３２人目の素数さん
16/11/06 12:54:11.70 nJxS0NAD.net
>>210
だからさあ、「3 14159265358979…17」という数列が R^N の元だと
言い張るのなら、具体的にこれを y∈R^N の表記で記述してみろよ。
y_1＝3, y_2＝1, y_3＝4, y_4＝1, …
こうなるしかないんだから、末尾の「17」を表現する y_i が i∈N の範囲では存在しないだろ。
お前の考える 「3 14159265358979…17」は R^N の中では存在し得ないんだよ。
もしかしてお前、
・ π ∈ R
・ (πの10進法展開に対応する数列) ∈ R^N
の2種類を混同してるんじゃないだろうな？
とにかく、お前の考える 「3 14159265358979…17」は
R^N の中では存在し得ないことは明白だぞ。
231:現代数学の系譜11 ガロア理論を読む
16/11/06 12:56:55.30 ivLdkhn2.net
>>197
＞一つの解決策はn+2におけるnをωに取り替えてω+2と思うことだが、こうすると10進表記という元々の意味合いが失われる
>>182を見てね
エクセルのround関数を使った式で
lim(n→∞)
π''''n=round(4Σ(n=0, n→∞)(-1)^n/(2n+1), n-1) +e/10^n （単純な二つの式の和であることにご注意。ここにe＝ 3.7 ） >>182
とした
だから、ω+2不要だよ
232:１３２人目の素数さん
16/11/06 12:57:51.99 nJxS0NAD.net
>>210
＞πがR^N の中で扱える
＞その通り
＞同じ理由で、3 14159265358979…17 もR^N の中で扱える
＞だって、lim(n→∞) しか使ってないから
やっぱりお前、
R における極限値の意味での π ∈ R と、
(πの10進法展開に対応する数列) ∈ R^N とを
混同してるんじゃないのか？
ある数列が R^N の元であるか否かは、N から R への写像によって
その数列が表現できるかどうかで決まるんだぞ。
「3 14159265358979…17」という数列が R^N の元だと言い張るのなら、
具体的にこれを y∈R^N の表記で記述してみろよ。
y_1＝3, y_2＝1, y_3＝4, y_4＝1, …
こうなるしかないんだから、末尾の「17」を表現する y_i が i∈N の範囲では存在しないだろ。
お前の考える 「3 14159265358979…17」は R^N の中では存在し得ないんだよ。
233:現代数学の系譜11 ガロア理論を読む
16/11/06 12:57:56.66 ivLdkhn2.net
>>211
それは決定番号が決められないから、都合悪い
そういう主張と同じだよ
234:現代数学の系譜11 ガロア理論を読む
16/11/06 12:58:49.64 ivLdkhn2.net
>>213
つー、>>214
235:１３２人目の素数さん
16/11/06 12:59:22.33 6UoZYVsS.net
>>210
とりあえず極限操作をしたいのであれば位相を入れることから始めよう
通常のユークリッド位相であれば
3.14…(n-3個の数字) 37 →3.14…
となり末尾の37は消え失せる
数列空間にどんな位相を入れ
3.14…(n-3個の数字) 37 →3.14…(ω個の数字)37
を導いたのか、それをまず定義する必要がある
236:１３２人目の素数さん
16/11/06 13:02:19.96 nJxS0NAD.net
>>214-215
何いってるんだこいつ。
都合が悪いんじゃなくて、R^N の定義に照らし合わせると
3 14159265358979…17 ∈ R^N
が「成 り 立 た な い」と言ってるんだよ。もし
3 14159265358979…17 ∈ R^N
が成り立つと言い張るのなら、末尾の「17」を表現する y_i の「i」は
一体いくつなんだよ。i＝∞ とでも表現するしかないだろ。
そのような i は i∈N を満たしてないんだから、
3 14159265358979…17 ∈ R^N は成り立たないだろ。
このような現象は、都合がいいとか悪いとかじゃないだろ。
お前がいうところの
3 14159265358979…17 ∈ R^N
という主張が「間違っている」という話だろ。バーーカ。
237:現代数学の系譜11 ガロア理論を読む
16/11/06 13:02:21.39 ivLdkhn2.net
>>193
つー、>>200
238:１３２人目の素数さん
16/11/06 13:03:12.37 6UoZYVsS.net
>>212
答えになってない
通常ユークリッド位相の極限としてみると末尾の37は消えるから、その意味でR^ωで閉じてる
しかしスレ主は末尾の37を残してしまったがために、よく分からない位相を考えさらにω+2を用意せざるをえなくなった
239:現代数学の系譜11 ガロア理論を読む
16/11/06 13:05:23.09 ivLdkhn2.net
>>217
その理屈だと、無限小数πを表現する無限数列について
同値類ができなくなる
時枝問題は
無限小数πを表現する無限数列の同値類分類との両立が求められている
240:１３２人目の素数さん
16/11/06 13:06:46.91 0YhMgXeu.net
>>204
> じゃ、>>200はどうだ
> すべて、R^ωの中だ
>>200
> π＋e/10^n＝3 14159265358979…37 を表現する数列S(π＋e/10^n)=3 14159265358979…37
> これは、明らかにR^ωの元 （エクセルのround関数による定義は>>182で説明の通り）
スレ主の間違い。314159265358979…37はR^ωの元ではない。
これはR^(ω+2)の元であり、R^ωの元ではない。
ここでindex set ω,ω+2はそれぞれ
・ω＝N＝{1,2,3,...}
・ω+2＝{1,2,3,...,ω,ω+1}である。
314159265358979…37の"3","7"のindexはそれぞれ"ω","ω+1"である。
241:現代数学の系譜11 ガロア理論を読む
16/11/06 13:09:27.36 ivLdkhn2.net
>>219
>通常ユークリッド位相の極限としてみると末尾の37は消えるから、その意味でR^ωで閉じてる
Y
242:es >しかしスレ主は末尾の37を残してしまったがために、よく分からない位相を考えさらにω+2を用意せざるをえなくなった おれは、別に位相や距離は考えていないが ”よく分からない”という批判は時枝のしっぽの同値類分類にこそある 本来、ユークリッド位相の極限としてみると消えるべき末尾で同値類分類をするというのだから 批判はそっくり時枝記事に行くよ
243:１３２人目の素数さん
16/11/06 13:09:36.08 nJxS0NAD.net
>>220
同値類は R^N の中で普通に定義可能だろｗｗｗｗｗｗｗｗｗｗｗｗｗｗ
過去スレに何度も「～」という記号で具体的な定義つきで貼られてただろｗｗｗｗｗｗｗｗｗｗｗ
お前も最初はヘンな数列を持ち出さずに R^N の中で普通に議論してただろｗｗｗｗｗｗｗｗｗｗｗ
244:現代数学の系譜11 ガロア理論を読む
16/11/06 13:13:24.19 ivLdkhn2.net
>>221
その批判は成り立たないよ
>>182の式をよく見てね
π''''n=round(4Σ(n=0, n→∞)(-1)^n/(2n+1), n-1) +e/10^n >>182
これと
π'n=round(4Σ(n=0, n→∞)(-1)^n/(2n+1), n-1)
は数式としては、その性質において差はないよ
だから、後者がωなら前者もωだよ
245:現代数学の系譜11 ガロア理論を読む
16/11/06 13:14:07.92 ivLdkhn2.net
>>223
どうぞ論文を
100年まってますよ
246:１３２人目の素数さん
16/11/06 13:18:38.00 6UoZYVsS.net
>>222
しっぽの同値類はx,y∈R^ωに対して
x~y⇔(def)∃n∈ω,∀m>n,π_m(x)=π_m(y) ただしπ_m:R^ω→Rはm番目の標準射影
としてR^ωの中で完結している
消えるべき末尾での同値類なんて時枝は取っていない
247:１３２人目の素数さん
16/11/06 13:19:56.55 nJxS0NAD.net
>>225
以下の3行は、過去スレから拾ってきたものである。
＞実数列の集合 R^Nを考える.
＞s = (s1，s2，s3 ，・・・)，s'=(s'1， s'2， s'3，・・・ )∈R^Nは，ある番号から先のしっぽが一致する∃n0：n >= n0 → sn＝ s'n とき同値s ～ s'と定義しよう
＞(いわばコーシーのべったり版).
ほらね、R^N の中だけで普通に同値類が定義できてるじゃん。
これでスレ主は完全に論破された。
・ R^N の中だけで普通に同値類は定義できる。
・ 3 14159265358979…17 ∈ R^N は成り立たない。どの理屈を採用するかではなく、これは完全に成り立たない。
248:現代数学の系譜11 ガロア理論を読む
16/11/06 13:20:12.72 ivLdkhn2.net
>>216
その批判こそ、時枝の>>114-115
に当てはまる
>>114-115で位相は定義されていないよ
そして、無限数列のしっぽで同値類分類をするという
そこから、決定番号を導くところで破綻していると思うよ
249:現代数学の系譜11 ガロア理論を読む
16/11/06 13:20:42.26 ivLdkhn2.net
>>227
つー>>228
250:１３２人目の素数さん
16/11/06 13:22:00.90 6UoZYVsS.net
>>228
時枝は>>114-115でlimなんて持ち出していないから当然位相なんて考える必要ない
しかしスレ主は反例構成においてlimを使ってるのでそのlimは何かと聞いている
251:１３２人目の素数さん
16/11/06 13:23:00.64 0YhMgXeu.net
>>224
> π''''n=round(4Σ(n=0, n→∞)(-1)^n/(2n+1), n-1) +e/10^n >>182
> これと
> π'n=round(4Σ(n=0, n→∞)(-1)^n/(2n+1), n-1)
>
> は数式としては、その性質において差はないよ
>
> だから、後者がωなら前者もωだよ
ほう。
じゃあ自分自身で導いた矛盾を自分自身で何とかしたまえよ。
前者でR^ωの元314159265358979…37が生じるというなら、
"3"と"7"の添え字をindex set ωの元で表してみなさい。
252:１３２人目の素数さん
16/11/06 13:27:38.37 nJxS0NAD.net
>>228
「 R^N の中だけで普通に同値類が定義できる」という話をしているのに、
「そこでは位相が定義されていない」という返答では意味が通らない。
まさか、同値類を定義するのに位相が不可欠だと勘違いしているのか？
同値類を定義するのに位相は全く必要ないよ。
だから、お前のレスは何の反論にもなってない。
253:現代数学の系譜11 ガロア理論を読む
16/11/06 13:30:50.10 ivLdkhn2.net
再録＆修正>>176
時枝記事の解法が成り立たない理由は、主に下記３つ
１）決定番号の確率分布は平均値も標準偏差も存在しない奇妙なものだから、１００列で99/10は導けないこと（大数の法則も、中心極限定理も不成立だよ）
２）しっぽでの分類と決定番号を考えると、単純に考えて、z ＝ 3.14159265358979…2718281828459… のようなキマイラ数列の扱いに困ることになる
（可算無限個という単純な規定だけでは不十分で、キマイラ数列を排除する規定を加えないといけないよ）
３）無限数列のしっぽで同値類を分類するなど、従来の数学には無かったわけで、これを本当に扱えるかどうか
lim(n→∞)の極限を考えている限り、コーシー列ならlim(n→∞) e/10^n→0で収束するが、しっぽの同値類では収束しないよ
補足
１）は、おそらく根本的な問題で、解決できないだろう。（１００列で99/10は導けない）
２）は、なんとかなるかもしれないが、結構難しいと思う
３）も、結構致命的かな。同値類を分類と決定番号の有限が両立しないように思う
なお、lim(n→∞)の極限を考えるという話は、上記時枝記事>>173-174にある通り
254:現代数学の系譜11 ガロア理論を読む
16/11/06 13:31:54.00 ivLdkhn2.net
>>233
上記２）と３）ばかり議論されているようだが、１）の問題もあるわけで。
結局、時枝記事の解法は成立しないと思う
255:現代数学の系譜11 ガロア理論を読む
16/11/06 13:34:55.81 ivLdkhn2.net
>>232
>>216の文脈で回答しているよ
位相の話も相手から出た話だよ
256:現代数学の系譜11 ガロア理論を読む
16/11/06 13:36:21.53 ivLdkhn2.net
>>231
それは自己都合の論理だよ
その質問はこちらがする問いだよ
代表番号で困るだろ
257:１３２人目の素数さん
16/11/06 13:38:12.07 HFEBVKW8.net
>>202
＞3.14159265358979… 2718281828459…はπに収束するよ
お前わざとボケてるだろｗ
3.14159265358979… 2718281828459… が未定義、すなわち「存在しないモノ」だと言ってるんだよ
存在しないモノが収束もへったくれもあるかボケ！
反論があるなら先ず 3.14159265358979… 2718281828459… なるモノを定義しなさい
話はそれからだ
258:１３２人目の素数さん
16/11/06 13:40:15.96 HFEBVKW8.net
先に言っておくが
lim[n→∞]π'n=πだから
3.14159265358979… 2718281828459…:=lim[n→∞]π'n
などという定義は無意味だぞ？
259:現代数学の系譜11 ガロア理論を読む
16/11/06 13:42:48.70 ivLdkhn2.net
>>230
時枝は、>>173-174で、無限を(2)有限の極限として間接に扱う と言っている
そして、”勝つ戦略なんかある筈ない，と感じた私たちの直観は，無意識に(1)に根ざしていた，といえる” （注 (1)無限を直接扱う）
だから、” (1)無限を直接扱う”は否定されているのだから
可算無限個の箱の扱いは、必然(2)有限の極限として間接に扱うとならざるを得ないよ
そして暗に使っているだろ
”いったい無限を扱うには，
(1)無限を直接扱う，
(2)有限の極限として間接に扱う，
二つの方針が可能である.”
とある
二つしか方針はないのだから
260:１３２人目の素数さん
16/11/06 13:42:57.10 nJxS0NAD.net
>>235
お前は >>229 において、>>227 に対しても同一の >>228 を押してきただろ。
しかし、>228 は >227 に対する反論になってない、と言っているのだ。
なぜなら、>227 は「 R^N の中だけで普通に同値類が定義できる」という話であり、
一方で >228 は「そこでは位相が定義されていない」という返答だからだ。
これでは意味が通らない。
もう一度言うが、同値類を定義するのに位相は全く必要ない。
そして、>>227 において、R^N の中だけで普通に同値類が定義できている。
この明確な事実に対して、お前は何にも反論できてない。
261:１３２人目の素数さん
16/11/06 13:43:48.61 0YhMgXeu.net
>>236
> >>231
> それは自己都合の論理だよ
> その質問はこちらがする問いだよ
> 代表番号で困るだろ
意味不明。俺は代表番号など話題してない。
>>224
> π''''n=round(4Σ(n=0, n→∞)(-1)^n/(2n+1), n-1) +e/10^n >>182
> これと
> π'n=round(4Σ(n=0, n→∞)(-1)^n/(2n+1), n-1)
>
> は数式としては、その性質において差はないよ
>
> だから、後者がωなら前者もωだよ
と言ったお前に対して、自分自身で導いた矛盾を
自分自身で何とかしたまえ、と言っている。
前者でR^ωの元314159265358979…37が生じるというなら、
"3"と"7"の添え字をindex set ωの元で表してみなさい。
262:現代数学の系譜11 ガロア理論を読む
16/11/06 13:44:59.59 ivLdkhn2.net
>>237
定義は終わっているだろ
それが２ωだとか言いたいんじゃないの？
で、>>200だよ
263:１３２人目の素数さん
16/11/06 13:47:57.86 nJxS0NAD.net
>>233
＞３）無限数列のしっぽで同値類を分類するなど、従来の数学には無かったわけで、これを本当に扱えるかどうか
＞ lim(n→∞)の極限を考えている限り、コーシー列ならlim(n→∞) e/10^n→0で収束するが、しっぽの同値類では収束しないよ
従来から存在する普通の数学である。
また、R^N の中に lim(n→∞) の話は出てこない。
スレ主は、10進法展開 0.x_1x_2x_3…∈R を数列(x_1,x_2,x_3,…)∈R^N に対応させるところで
R と R^N を混同している。10進法展開 0.x_1x_2x_3… には R の位相が必要だが、
数列(x_1,x_2,x_3,…) に R^N の位相は全く必要ないのだ。
にも関わらず、なぜかスレ主は「 R^N にも位相が必要で、位相がなければ同値類すら定義できない」
と勘違いしている。
264:１３２人目の素数さん
16/11/06 13:4
265:9:43.68 ID:nJxS0NAD.net
266:１３２人目の素数さん
16/11/06 13:49:47.01 0RehzJJ1.net
>>199
おっちゃんです。
私とスレ主との比較はしないでくれ。
確か、一番はじめに時枝問題の初等的な解法を見つけたのは私だった筈だ。
何で確率の話がモノイドの話になっているんだよ。
私がよく分からないというか自信が持てないのは、無限集合への排中律の使い方だ。
267:現代数学の系譜11 ガロア理論を読む
16/11/06 13:50:16.28 ivLdkhn2.net
>>241
矛盾でもなんでもないだろ？
"3"と"7"の添え字が具体的数字で示せないから、数列が存在しない？
そんな理屈では、πが有限小数になったりしちゃうだろ？
無限小数わかります？
1/3って、何桁の数？
1/3って、Ｒ＾ωの元じゃないのか？
268:現代数学の系譜11 ガロア理論を読む
16/11/06 13:51:21.54 ivLdkhn2.net
>>244
論文にしてね
100年待っているよ
269:現代数学の系譜11 ガロア理論を読む
16/11/06 13:52:37.40 ivLdkhn2.net
>>245
おっちゃん、どうも。スレ主です。
時枝問題の初等的な解法って・・・
それで終わりなら、数セミの記事にならんよ
270:１３２人目の素数さん
16/11/06 13:53:07.69 6UoZYVsS.net
>>239
時枝は無限個の確率変数の独立性に極限を用いただけで、同値類においては用いていない
271:１３２人目の素数さん
16/11/06 13:54:21.83 nJxS0NAD.net
>>233
＞２）しっぽでの分類と決定番号を考えると、単純に考えて、z ＝ 3.14159265358979…2718281828459… のようなキマイラ数列の扱いに困ることになる
＞ （可算無限個という単純な規定だけでは不十分で、キマイラ数列を排除する規定を加えないといけないよ）
R^N の中で考えれば全く困らない。
なぜなら、R^N の中にキマイラ数列は全く存在しないからだ。
もちろん、R^N の中で同値類を定義することは普通に可能だし、
そのときに位相は全く必要ない。時枝の記事は R^N の中で
普通に完結している話であり、キマイラ数列などという
ゴミを持ち出す必要性がない。
勘違いのないように補足しておくと、キマイラ数列が存在しない、
といっているのではなく、キマイラ数列というゴミを持ち出す必要性がない、と言っている。
それでも敢えてキマイラ数列を持ち出すことは不可能ではないが、
そんなのスレ主だけが勝手に吠えていればいい、という話。
そんな中でスレ主は、
「いや、キマイラ数列は R~N の中にも存在しているのだ」
という明らかなウソをついているから話がこじれているのだ。
272:１３２人目の素数さん
16/11/06 13:56:43.44 nJxS0NAD.net
>>247
3 14159265358979…17 ∈ R^N が成り立つと仮定する。
具体的に y∈R^N による表記で記述してみる。とりあえずは
y_1＝3, y_2＝1, y_3＝4, y_4＝1, …
と記述できる。では、末尾の「17」は、一体どの y_i で出現するのか？
明らかに、i∈N の範囲では「17」は出現しない。
しかし、y の添え字は N の元のみである。
よって、この y は
y ＝ 3 14159265358979…
しか表現できておらず、末尾の「17」を表現する手段が存在しない。よって、
3 14159265358979…17 ∈ R^N
は成り立たない。以上により、スレ主は論破された。
273:１３２人目の素数さん
16/11/06 14:00:08.83 HFEBVKW8.net
>>242
いつ定義したんだ？レス番号教えて？
274:１３２人目の素数さん
16/11/06 14:05:49.78 0YhMgXeu.net
>>246
> そんな理屈では、πが有限小数になったりしちゃうだろ？
は？ならないよ。
> 無限小数わかります？
>
> 1/3って、何桁の数？
>
> 1/3って、Ｒ＾ωの元じゃないのか？
R^ωの元とみなせるよ。
お前はいつまで目をそむけ続けるの？
314159265358979…37がR^ωの元だというなら
"3"と"7"の添え字をindex set ωの元で表してみろよ。
お前以外の全員はそれがR^ωの元ではないことを知っている。
R^ωの元だと仮定すれば、"3"のindexはNの元kで表される。
Nの元はすべて有限値なので、kも有限値。
このとき314159265358979…の桁数は有限個となり矛盾が導かれる。
それともお前は314159265358979…を有限個のつもりで書いているのか？ｗ
275:１３２人目の素数さん
16/11/06 14:09:12.04 HFEBVKW8.net
ここ二か月くらい堂々巡りだなｗ
二か月かかって何の進歩も無いスレ主ｗ
276:１３２人目の素数さん
16/11/06 14:14:17.76 nJxS0NAD.net
結局スレ主は、時枝の記事が R^N の中だけで完結されてしまうと困るんだろうな。
なぜなら、R^N の中には "キマイラ数列" が存在せず、スレ主が提唱するキマイラ数列の
出番がなくなるからだ。
我々の認識としては、
・ 時枝の記事は R^N の中だけで完結している。
・ キマイラ数列を提唱して時枝の記事を再考察したいなら勝手にどうぞ(バカじゃねーの)
という感じだ
277:が、これだとスレ主としては、 ハシゴを外された形になって気に食わないのだろう。だから、 ・ R^N の中にもキマイラ数列は存在しており、キマイラ数列は時枝の記事に不可欠だ ということにして存在感をかもし出したいのであろう。 もちろん実際には、R^N の中にキマイラ数列は全く存在しないわけだが。
278:１３２人目の素数さん
16/11/06 14:17:05.16 0YhMgXeu.net
>>254
とにかくスレが伸びることが重要なんだろうよ。
馬鹿レスで人間を釣るのがこいつの仕事。
度重なる長文コピペの目的を考えてもみろ。
2chは俺のメモ帳だ、とか見え透いてるだろｗ
いずれ埋もれて参照できなくなる2chより
自分の手元のメモ帳のほうがいいに決まってるｗ
とにかくさっさと500kB超えして、
時枝氏でもHart氏でも何でも利用できるものは利用して
スレを伸ばしに伸ばしまくる。それがスレ主の土日の副業。
279:１３２人目の素数さん
16/11/06 14:37:50.31 hjVtC/th.net
>>233
> １）決定番号の確率分布は平均値も標準偏差も存在しない奇妙なものだから、１００列で99/10は導けないこと（大数の法則も、中心極限定理も不成立だよ）
何度も言うが「決定番号の確率分布」なんてもの、時枝の戦略とは何の関係もない
何の関係もないものがどうなっていようが、全く時枝の戦略の成否と関係ない
スレ主は「決定番号の確率分布」が時枝の戦略に関係することを示さなければならないのに、それができないでいる >>74
280:１３２人目の素数さん
16/11/06 15:01:16.34 HFEBVKW8.net
>>256
だな、逆にガチなら相当ヤバいｗ
281:１３２人目の素数さん
16/11/06 15:13:13.99 knf0VEs3.net
決定番号ってどう決まるんだっけ
代表元を選んでおいて同値類からひとつ取り出したときにそのふたつを見比べて決まるんだっけか
282:１３２人目の素数さん
16/11/07 17:26:37.58 pQP5HMiI.net
URLﾘﾝｸ(this.kiji.is)
夜中になると…看護師がわしのチンポしごうきよる。。。
わしは！両手両足拘束されてから、チンポは立ちっぱなしじゃあああ！
そのまま、朝の看護師さんが回って来る。ワシちゃう！ちゃうよ？
拘束されたまま、新しい一日がはじまる。
283:１３２人目の素数さん
16/11/08 10:49:27.30 ZPMSEH3Y.net
おっちゃんです。
論理のゲーデルの完全性定理や不完全性定理とかについて書かれている
啓蒙書っぽいモノを読んで少しは分かった。
>>91の
＞>>85がいうように、eπの超越性まで一気に証明出来ることになるな。
の部分は取り消しで、やはりはじめからやり直し。
個別の対象に対して背理法を用いるときは、その対象に依存した性質
を用いないといけないことは分かった。
>>94の
>＞ディオファンタス近似の理論が正しい以上は、
>＞>>85がいうように、eπの超越性まで一気に証明出来ることになるな。
>の部分は変わりがない訳だが。ディオファンタス近似の理論の有名な定理に、
>与えられた有理数xに対して |x－p/q|＜1/p^2 となる
>既約分数p/qは高々有限個しか存在しない、
>というのがあるが、よく考えると、有理数の稠密性を認める限りは、
>この定理が偽であることが構成的に証明出来る。
の話も取り消しで、これはトンデモだった。
やはりあの背理法の論法が正しかった。逆に、ディオファンタス近似
の理論で、何か直観に反する結果が得られたことになる。
だけど、啓蒙書っぽいモノには、数学を学ぶ人は誰でもゲーデルの完全性定理を知っている云々
と書かれていたが、果たしてそんなモノなのかい？ その証明まで分かるのか？
284:１３２人目の素数さん
16/11/08 22:46:06.09 sDGdw7XG.net
>>261 俺は知らないよ 周りのやつらも知ってるようには見えない
286:現代数学の系譜11 ガロア理論を読む
16/11/12 07:10:04.99 CRbt3jrT.net
レベル合わせをしておこう
現代数学は、無限を扱うことができる
１）無限について
URLﾘﾝｸ(c-faculty.chuo-u.ac.jp)
西岡國雄の頁 中央大
URLﾘﾝｸ(c-faculty.chuo-u.ac.jp)
「数学入門」の「無限」西岡國雄 中央大 2015
”現代数学の特徴は, 無限を頻繁に扱う点にあるが, 例題1.1, 1.2 に示されるように, 無限を扱うには特別の注意が必要である.”
”可算無限(アレフゼロ) と呼ぶ( 「N の濃度はアレフゼロ」)”
”1.3 有理数から実数へ “有理数からなる数列”で「基本列」と呼ばれる性質(1.7) を備えたものの極限全体を考え, それを実数R とよぶ.”（いわゆるコーシー列）
２）”無限（むげん、infinity）とは、限りの無いことである。
直感的には「限界を持たない」というだけの単純に理解できそうな概念である一方で、直感的には有限な世界しか知りえないと思われる人間にとって、無限というものが一体どういうことであるのかを厳密に理解することは非常に難しい問題を含んでいる。”
URLﾘﾝｸ(ja.wikipedia.org) より
２'）∞は無限を示す記号である。数字の8を90度回転したような記号である。
URLﾘﾝｸ(ja.wikipedia.org)
３）公理的集合論：現在一般的に使われている集合の公理系は以下の ZFC である。
URLﾘﾝｸ(ja.wikipedia.org)
無限公理と選択公理
４）極限 ”無限遠点における挙動 関数の無限における極限においても、関数の発散を考えることができる。 f ( x ) → ∞ ( x → ∞ ) と表す。”
URLﾘﾝｸ(ja.wikipedia.org)
５）超限帰納法 ”数学的帰納法は、任意の整列集合に対して次のように一般化することができる。 任意濃度の集合は選択公理と同値な整列可能定理により整列順序を持つとすることができるので、選択公理を含む公理系であれば超限帰納法は任意濃度の集合に対して成立すると主張できる。”
URLﾘﾝｸ(ja.wikipedia.org)
つづく
287:現代数学の系譜11 ガロア理論を読む
16/11/12 07:10:25.56 CRbt3jrT.net
>>263 つづき
６）なので、例えば有限集合について定義された２項演算＊を、無限の要素を含む２項演算に拡張することはよく行われる。数学的帰納法や極限を使って
７）集合の和（合併）∪なども、普段意識しないが、その類い。
８）順序集合ならば、合併は連接と見ることもできる。
９）文字集合を台集合とする有限のモノイドについて定義された２項演算＊連接を、無限の要素を含む２項演算に拡張することは、数学的帰納法を使えば容易だろう
288:現代数学の系譜11 ガロア理論を読む
16/11/12 07:11:07.85 CRbt3jrT.net
>>264 つづき
さて、
１）数列とくれば収束という条件反射が、みなさんにも形成されているだろう いわゆるコーシー列
URLﾘﾝｸ(ja.wikipedia.org) 数列
URLﾘﾝｸ(ja.wikipedia.org) コーシー列
２）>>200や>>233で示したのは、コーシー列との比較で、時枝のしっぽによる無限数列の同値類を考えてみたのだった
３）数列のしっぽによる同値類。数列のしっぽとは、極限すれば最後の数。有限数列なら、最後の数Ａnが異なれば、つまりＡn≠Ａ'nなら、同じ同値類に属さない
４）これを、時枝記事で見ると、>>114「箱が可算無限個ある」から、�
289:ｱれは先のレベル合わせでいう、可算無限(アレフゼロ) 。無限大記号∞。ここはしっかり押さえておこう。定義だから ５）可算無限個の箱を、>>115「100列に並べる」。そして、各列のしっぽによる同値を決める。>>114 ”「決定番号」を決める”という つづく
290:現代数学の系譜11 ガロア理論を読む
16/11/12 07:11:45.49 CRbt3jrT.net
>>265 つづき
６）あきらかに、可算無限における”ヒルベルトの無限ホテル”>>51や”デデキント無限”>>116 の性質を使っている
７）さて、数列のしっぽによる同値類で、有限数列なら、最後の数Ａnが異なれば、つまりＡn≠Ａ'nなら、同じ同値類に属さない。極限 lim n→ ∞ を考えれば、可算無限数列に拡張できる
８）時枝記事の可算無限個ある箱から、先に３つ取っておく。名前を付ける。X,Y,Zと。
９）数列の先頭に、X 後ろにYZを置く。その間に順次残りの箱を入れて行く（数学的帰納法）。X ・・・YZという数列ができる。
１０）Y→Y'に変えて、別にX ・・・Y'Zという数列を考えよう。YとY'には別の数が入っているとする。X とZには同じ数。”・・・”の部分は同じとする。”・・・”の部分は、可算無限。
この場合、X ・・・YZとX ・・・Y'Zとは、同じ同値類に属する。決定番号は、Y（ あるいはY'）の部分で決まる。つまり、 ∞ 。
１１）この二つの数列X ・・・YZとX ・・・Y'Zとは、あきらかにR^N の中
おわり
291:現代数学の系譜11 ガロア理論を読む
16/11/12 07:15:08.08 CRbt3jrT.net
>>265
この程度、２ちゃんねるでは、スレが伸びるとはいわない
稼ぐなら、かそっている数学板などでやらずに他の板へ行けば、話は早い
そもそも、sage進行
ここは、おれ一人で十分という意味
なお、時枝の記事は不成立だよ
292:現代数学の系譜11 ガロア理論を読む
16/11/12 07:19:16.24 CRbt3jrT.net
>>261
おっちゃん、どうも。スレ主です。
おっちゃんは、このスレに居ていいよ
貴重な住人の一人だよ
ゲーデルの完全性定理
URLﾘﾝｸ(ja.wikipedia.org)
(抜粋)
数理論理学においてゲーデルの完全性定理（ゲーデルのかんぜんせいていり、英: Godel's completeness theorem、独: Godelscher Vollstandigkeitssatz）とは、第一階述語論理の恒真な論理式はその公理系からすべて導出可能であることを示した定理を言う[1]。1929年にクルト・ゲーデルが証明した。
(引用終り)
293:現代数学の系譜11 ガロア理論を読む
16/11/12 07:34:47.45 CRbt3jrT.net
これいいわ
URLﾘﾝｸ(mathsoc.jp)
加藤 五郎 著 『コホモロジーのこころ』 岩波書店 2003 年
(抜粋)
専門書としては珍しいが，一般的な数学書で繰り返し登場する「定義」や「定理」
といった単語で始まるパラグラフが，この本にはほとんど見当たらない．「証明」で始まるパ
ラグラフにいたっては，まったく存在しないのである．では，書かれている結果に証明はま
ったく施されていないのか．そうではない．むしろ非常に証明に力が入れられている．証明
は，パラグラフとして独立していないだけで，本文中にしっかり織り込まれているのだ．こ
のような構成になっているのは，読者が著者と同じ意識レベルで読み進められるように著者
が工夫した結果である．
本書を読んで最も印象に残ったことは，著者のコホモロジーに対する思いである．著者は
コホモロジーに心底惚れ込んでいる．コホモロジーが持つ魅力を読者にもわかってほしい，
読者とこの感動を共有したい，という著者の願いが随所に感じられる．実際，その気持ちの
強さは，非常に懇切�
294:囈Jな書き方にも反映されている．例えば，右随伴関手の定義をした後 に，普通の本なら「同様に」あるいは「双対的に」といった枕詞に続けて左随伴関手の定義 もできるとだけ言って終わってしまうところを，本書では練習問題にもせずにきちんと説明 してあるのだ．ただ，それゆえにスマートに整理されて書かれているというわけではないの で，読者はどこに何が書いてあったかを後で振り返る際に多少苦労するかもしれない．しか し，他の本が省略しているようなところがきちんと説明されているので，読者は自分の理解 が正しいかどうかを自分自身でチェックすることができる．これは特に初学者にとってあり がたい書き方である．また，数学的に若い人たちにはコホモロジーというものを大きくつか んでもらい，コホモロジーに対して何らかの違和感を持っている人にはそれを解消してもら うために本書を書いた，と著者自身が言っているように，本書は‘イメージ’をとても大切 にしている．抽象的な概念は，初学者にとってはイメージが湧きにくくなかなか理解しがた いものである．その理解を助けるために，著者ならではの独特のイメージが本書全体に散り ばめられている．
295:現代数学の系譜11 ガロア理論を読む
16/11/12 07:35:37.26 CRbt3jrT.net
ついで
URLﾘﾝｸ(www.amazon.co.jp)
(抜粋)
トップカスタマーレビュー
5つ星のうち 5.0他分野の研究者、学生のための最高の入門書
投稿者 猫先生 投稿日 2011/8/9
形式: 単行本
親しみやすい文体で書かれた異色の数学書である。私は、或る所で著者のコホモロジーの講義を拝聴した経験があるが、まさにこの本の文体そのままの、気さくで気取らない、親切な方であった。実質的には160ページそこそこの分量で、圏と関手の基礎から初めて、ホモロジー代数の現時点での到達点である「三角化カテゴリー」までを説き及んでいる。
Gelfand-Manin の Methods of Homological Algebra などの本格的教科書に取り組むための準備として最高の入門書であろう。
296:現代数学の系譜11 ガロア理論を読む
16/11/12 07:48:26.80 CRbt3jrT.net
>>267 訂正
>>265
↓
>>256
297:現代数学の系譜11 ガロア理論を読む
16/11/12 08:06:34.09 CRbt3jrT.net
>>268 補足
定理とその帰結
ゲーデルの完全性定理は、一階述語計算の演繹系が、全ての論理的に妥当な論理式の証明に追加の推論規則を必要としないという意味で「完全」であるとしている。完全性の逆は健全性であり、演繹系において論理的に妥当な論理式のみが証明可能だということを意味する。
これらから、論理式が論理的に妥当であることと、それが形式的演繹の帰結であることは同値である。
ゲーデルの完全性定理をより一般化した版もある。すなわち、任意の一階の理論 T とその理論での言語における任意の命題 S について、T における S の形式的演繹が存在することと、S が T のあらゆるモデルで成り立つことは同値である。
この一般化された定理は暗黙のうちに使われており、例えば、命題を群論の公理系で証明可能であることを示すとき、任意の群についてその命題が成り立つことを示すことで証明とする。
異なるモデルでも真となることを扱う数理論理学の一分野をモデル理論と呼ぶ。証明論という一分野では形式体系の証明そのものの構造を研究する。完全性定理は意味論と統語論の間を繋ぐことでこれら2つの分野の基本的な繋がりを確立している。
しかし、完全性定理はこれら2つの概念の差異をなくすものではない。�
298:ﾀ際、もう1つの成果であるゲーデルの不完全性定理によれば、数学における形式的証明で達成できることには本質的な限界がある。不完全性定理でいう「完全」は別の意味で使われている。 完全性定理は一階の理論の論理的帰結である論理式を扱い、不完全性定理は特定の理論の論理的帰結にはならない論理式を構築する。 完全性定理の重要な帰結の1つとして、一階の理論での論理的帰結の集合が帰納的可算集合であるという事実がある。論理的帰結の定義は特定の言語でのあらゆる構造上で全称化するもので、論理式が論理的に妥当かどうかをアルゴリズム的に検証する直接の手段とはならない。 さらに言えば、ゲーデルの不完全性定理の帰結により、論理的に妥当な論理式の集合は決定可能ではない。しかし完全性定理は、実効的な理論の帰結の集合が枚挙可能であることを示している。 そのアルゴリズムは、まずその理論から全ての形式的演繹を枚挙する方法を構成し、それを使って帰結の枚挙を生み出すことになる。 形式的演繹の有限かつ統語的性質により、それらを枚挙することが可能になっている。
299:現代数学の系譜11 ガロア理論を読む
16/11/12 08:16:01.37 CRbt3jrT.net
>>272
英語版 （日本語版だけではよくわからん）
URLﾘﾝｸ(en.wikipedia.org)
(抜粋)
As a theorem of arithmetic
The Model Existence Theorem and its proof can be formalized in the framework of Peano arithmetic.
Precisely, we can systematically define a model of any consistent effective first-order theory T in Peano arithmetic by interpreting each symbol of T by an arithmetical formula whose free variables are the arguments of the symbol. However, the definition expressed by this formula is not recursive.
Consequences
An important consequence of the completeness theorem is that it is possible to recursively enumerate the semantic consequences of any effective first-order theory, by enumerating all the possible formal deductions from the axioms of the theory, and use this to produce an enumeration of their conclusions.
This comes in contrast with the direct meaning of the notion of semantic consequence, that quantifies over all structures in a particular language, which is clearly not a recursive definition.
Also, it makes the concept of "provability," and thus of "theorem," a clear concept that only depends on the chosen system of axioms of the theory, and not on the choice of a proof system.
つづく
300:現代数学の系譜11 ガロア理論を読む
16/11/12 08:17:11.54 CRbt3jrT.net
>>274 つづき
Relationship to the incompleteness theorem
Godel's incompleteness theorem, another celebrated result, shows that there are inherent limitations in what can be achieved with formal proofs in mathematics. The name for the incompleteness theorem refers to another meaning of complete (see model theory ? Using the compactness and completeness theorems).
It shows that in any consistent effective theory T containing Peano arithmetic (PA), the formula CT expressing the consistency of T cannot be proven within T.
Applying the completeness theorem to this result, gives the existence of a model of T where the formula CT is false. Such a model (precisely, the set of "natural numbers" it contains) is necessarily non-standard, as it contains the code number of a proof of a contradiction of T. But T is consistent when viewed from the outside.
Thus this code number of a proof of contradiction of T must be a non-standard number
301:. In fact, the model of any theory containing PA obtained by the systematic construction of the arithmetical model existence theorem, is always non-standard with a non-equivalent provability predicate and a non-equivalent way to interpret its own construction, so that this construction is non-recursive (as recursive definitions would be unambiguous). Also, there is no recursive non-standard model of PA. (引用終り)
302:現代数学の系譜11 ガロア理論を読む
16/11/12 08:43:24.78 CRbt3jrT.net
ご存知大栗先生
URLﾘﾝｸ(ooguri.caltech.edu)
大栗 博司
URLﾘﾝｸ(www.theory.caltech.edu)
大栗 博司 アウトリーチ
(「IPMU特集」科学 (2009年, 7月) )
URLﾘﾝｸ(www.theory.caltech.edu)
宇宙の数学とは何か - Caltech Particle Theory 特集 宇宙はどんな《言葉》で書かれているか 宇宙の数学とは何か 大栗博司 科学 2009
(抜粋)
なぜいまさら量子論（その1）: 千年紀の問題
1970 年代初頭のゲージ理論のくりこみ可能性の証明と漸近的自
由性＊3の発見によって，場の量子論はようやく素
粒子物理学の基本言語となった．しかし，80 歳
となった今日でも，場の量子論は数学者からは理
論として認知されていない（6）（7）．
2000 年にクレイ数学研究所は千年紀を記念し
て，7 つの“ミレニアム問題” を提起した．その
中の1 問に，「ヤン-ミルズ場の量子論を数学的
に定式化せよ」というものがある（8）．このいわゆ
るヤン-ミルズ問題が，リーマン予想やポアンカ
レ予想と並んでミレニアム問題のひとつに選ばれ
た理由は，場の量子論に数学者にも納得できる定
義を与えることで，この理論を数学の1 分野とし
て確立し，数学の発展に新しい方向が開かれるこ
とを期待するからだという．
場の量子論の正しい定式化を追究することは，
数学者を満足させるためだけではない．物理学者
が場の量子論の計算をするときに，最初に試みる
近似法は，相互作用の強さを表す結合定数につい
てのべき展開，すなわち摂動展開である．過去
60 年以上にわたって，この近似計算にはファイ
ンマン図を使う方法が標準的であった．しかし，
ここ数年の間にこれに代わるまったく新しい方法
が開発されつつあり，ファインマン図の方法では
技術的に困難とされてきた高次の近似計算ができ
るようになってきた（9）．摂動展開のような，もは
や調べ尽くされたと思われていた部分にも新しい
驚きがあり，美しい数学的構造が隠されている．
われわれは，場の量子論とは何なのかをまだ理解
していないのである．
つづく
303:現代数学の系譜11 ガロア理論を読む
16/11/12 08:43:58.63 CRbt3jrT.net
>>275 つづき
一方，量子論に着想を得た数学は，この20 年
ほどの間に大きな進歩を遂げている（10）．これは，
1990 年以来のフィールズ賞受賞数学者の4 割近
くが，量子論に関連する数学の研究に深くかかわ
っていることからもわかる．たとえば，場の量子
論の計算の中でもとくに性質のよいものを数学的
に定式化した“量子不変量” の理論が，幾何学の
理解に大きなインパクトを与えている＊4．場の量
子論の深淵に現代数学の光が差し込もうとしてい
るのである．
(引用終り)
304:１３２人目の素数さん
16/11/12 10:12:26.60 ZyUt2tCS.net
>>266
これは酷い
305:￥ ◆2VB8wsVUoo
16/11/12 10:21:00.75 ey0LlGcz.net
￥
>544 名前：１３２人目の素数さん ：2016/11/10(木) 14:51:03.66 ID:Q64a0U8Q
> 違う貧民の総意
> 貧民は手玉に取られたのだ
>
>545 名前：１３２人目の素数さん ：2016/11/10(木) 18:31:02.97 ID:XWS/rnm/
> メディアの政治操作を許さない民主主義の保全システムが
> 目的通りに完全に機能したのがすごい
>
>546 名前：￥ ◆2VB8wsVUoo ：2016/11/10(木) 18:37:05.74 ID:6c0BrRUL
> メディアとかお上を鵜呑みにするどっかの馬鹿国民とは大違いですわ。
>
> ￥
>
>547 名前：￥ ◆2VB8wsVUoo ：2016/11/10(木) 19:46:32.78 ID:6c0BrRUL
> 貧民の総意を汲んだらアカンのや、なるほどナ。そらァ自民党が喜ぶわサ。
>
> ケケケ￥
>
>548 名前：￥ ◆2VB8wsVUoo ：2016/11/10(木) 19:52:21.65 ID:6c0BrRUL
> しかも貧民を手玉に取ってもアカンのかいな。ほしたら共産党とか、また
> かつての民主党とかはどないしたらエエのや。エライこっちゃwww
>
> コココ￥
>
>549 名前：貧民 ◆2VB8wsVUoo ：2016/11/10(木) 20:00:41.60 ID:6c0BrRUL
> 貧民
>
306:１３２人目の素数さん
16/11/12 14:28:01.34 Y7/HAZuU.net
>>266
・ 可算無限個ある箱には、全て 1 が入っているものとする。
・ Y' のみ、2 が入っているものとする。
・ この場合、X ・・・YZ と X ・・・Y'Z はそれぞれ 1111…11, 1111…21 という列になる。
この状況下で、
＞１１）この二つの数列X ・・・YZとX ・・・Y'Zとは、あきらかにR^N の中
これは成り立たない。なぜなら、1111…21 に対応する R^N の中の数列は存在しないからだ。
「論文にしろ。100年待っている」とか言うなよ？
スレ主が提唱するこの手のおかしな列は、R^N の中では決して扱えない。用語を「箱」に置き換えても無駄。
別の体系を用意すれば扱えるが、そんなのスレ主が勝手にやっていればいい。そこに関しては誰も文句は言わない。
しかし、それが「 R^N の中に存在する 」というスレ主の主張は明確に間違っている。
307:１３２人目の素数さん
16/11/12 14:42:04.53 Y7/HAZuU.net
結局こいつは、R^N の中に存在してくれないと
自分の主張の存在感がなくなるので都合が悪いのだな。
しかし、いくら表現の仕方を変えても、R^N の中では決してその手の列は扱えない。
だって、R^N の中では、末尾の YZ とか Y'Z とかを表現する「桁」が存在しないからね。
先週から皆が言い続けている間違いが今回も繰り返されているだけ。
もちろん、別の体系を用意すれば扱える。また、その体系において
「時枝の記事は間違っている」と主張するのは一向に構わん。
スレ主が勝手に吠えていればいい(バカじゃねーの)。
しかし、R^N の中ではスレ主の議論は決して扱えない。
308:１３２人目の素数さん
16/11/12 15:51:46.93 ZyUt2tCS.net
先週どころか2か月以上前からだよｗ
309:１３２人目の素数さん
16/11/12 17:34:11.10 vHlUydxk.net
>>281
これがスレ主の"連結理論"の萌芽。確かに2ヶ月前にさかのぼる。
R^Nとは何なのか、トンと分からないまま時間だけが過ぎてゆくスレ主であった。
-------------
632 :
１３２人目の素数さん
2016/09/17(土) 08:13:09.27 ID:MokdApDK
前スレ32より
時枝問題（数学セミナー2015.11月号の記事）の最初の設定はこうだった。
「箱がたくさん，可算無限個ある.箱それぞれに，私が実数を入れる.」
”可算無限個ある.箱”なので、箱に連番を振れば、自然数全体の集合 N= {0,1,2,3,・・・}であり、これはωだな
さて、ヒルベルトの無限ホテルのパラドックス（ Hilbert’s paradox of the Grand Hotel ）
URLﾘﾝｸ(ja.wikipedia.org)
で、時枝記事 前スレ32より「どんな実数を入れるかはまったく自由，例えばn番目の箱にe^πを入れても�
310:謔｢し，すべての箱にπを入れてもよい.もちろんでたらめだって構わない.」だった まあ、無限ホテルの各部屋が満員で、それぞれ泊まっている人が勝手に数字を書いたと思え それで可算無限個の数からなる数列ができる。それをS1としよう。数列S1の長さは、ωだ 数列S1のコピーを作って連結し、S2＝S1+S1 (ここで+は数列の連結を意味する)を作る。数列S2の長さは、ω+ωだ(もちろんこれも可算無限) ここで、後ろの数列+S1を固定し、前半のS1をシャッフルしてS1’を作る。ここで機械を使ってランダムにシャッフルしたとする。S1’がどうなったかだれも知らないとする ここで、時枝問題の決定番号を考えると、数列S1+S1と数列S1’+S1S2との対比の最大値は明らかにωだ それはおかしいと、納得できないという人がいるかも知れないが、そういう人は、ヒルベルトの無限ホテルのパラドックスを熟読願いたい
311:１３２人目の素数さん
16/11/12 20:01:55.90 l01oWD+6.net
数列の同値を先頭からの有限個を除いて一致すると定めると、実はωに限らず任意の順序数で時枝戦略は成立するから
スレ主の的はずれな抵抗は本当に無駄なんだよね
312:１３２人目の素数さん
16/11/12 20:13:44.55 38EadNqY.net
>>266
過去スレより
> 自然数全体の集合の順序数をωと書くことにするとωは可算無限集合の順序数のなかで最小の順序数である
> 任意の有限集合の順序数をnと書くことにすると n < ω であり
> n + ω = ω ≠ ω + ω
> よって自然数全体の集合は必ず「アタマ」=有限数列かつ「シッポ」=無限数列になる
> スレ主は前スレの631に自然数全体の集合には無限大は含まれていないと自分でコピペしているじゃないか
> ω {0, 1, 2, ...} すべての有限な順序数の集合
> ω+1 {0, 1, 2, ..., ω}
> URLﾘﾝｸ(ja.wikipedia.org)
> 順序数の和は一般には可換でない。例えば、1 + ω = ω ≠ ω + 1 である。
上の最後の式より
1 + (1 + ω) = 2 + ω = ω ≠ (ω + 1) + 1 = ω + 2
左右から1を加えることを有限回行えば任意の有限集合の順序数をnと書くことにすると
n < ω であり n + ω = ω < ω + n < ω + ω
長さωの無限数列があって左から有限数列を加えたものは長さωのままで変わりないので
R^ωの元の決定番号は有限であることを意味する
一方右から有限数列を加えた場合には長さは ω < ω + 1 < ω + 2 < ... < ω + n < ... < ω + ω
となるのでR^ωの元にはならない
313:１３２人目の素数さん
16/11/13 09:24:41.08 VLV/Mogw.net
>>268
ここ数日の間、担当者は席を外しております。
しばらくお待ち下さい。
314:￥ ◆2VB8wsVUoo
16/11/13 09:55:40.67 hMdd9vJ7.net
ネット掲示板で学術を行うのは、とても良い習慣です。なので続けましょう。
￥
315:１３２人目の素数さん
16/11/13 17:45:40.32 VLV/Mogw.net
おっちゃんです。
>>262
そうだよな～。
>>268
標準的な確率の考え方では、時枝問題において
確率を用いる部分は高校レベルであり、時枝の答えは1で終わっている。
まあ、サイトのコピペを読んで分かる人がどれ位いるか分からないから、
数理論理学や基礎論のスレのコピペはやめとけ。
316:１３２人目の素数さん
16/11/13 17:48:32.40 VLV/Mogw.net
日本語が分かる外国人にメールを送ると、>>285のような返事が返って来ることがある。
>>285はジョーダンで書いたつもりだw
今日はスレ主の動向を観察してみた。
まあ、何故今日スレ主がこれまで全く書かなかったのかは分からないが、もう寝る。
317:１３２人目の素数さん
16/11/13 17:54:08.15 VLV/Mogw.net
>>287の訂正：
時枝の答えは1で終わっている。 → 時枝「問題」の答えは1で終わっている。
318:１３２人目の素数さん
16/11/13 18:01:59.70 VLV/Mogw.net
外出してかなりの距離を歩いていたし、
今日は暖かかったというか熱い方だったな。
もう、目がまどろんで来て疲
319:れたから寝る。
320:１３２人目の素数さん
16/11/13 18:27:26.15 QYgYi1ij.net
自分で勉強する時間もたっぷりあったし、住人がいろいろ教えてた
それでもわからないんだから、もう永久にわからないんだろうな
321:現代数学の系譜11 ガロア理論を読む
16/11/13 23:40:37.40 V7Qq+5Yj.net
>>277-291
>>266のつづき
１）時枝記事で見ると、>>114「箱が可算無限個ある」から、これは先のレベル合わせでいう、可算無限(アレフゼロ) 。無限大記号∞。ここはしっかり押さえておこう。定義だから（重要なので再録）
２）可算無限個の箱を１列に並べる。そして、先頭の箱から順に自然数を１から順に入れていく。これを集合Vとする。数列としては、1,2,3,・・・,n,・・・。この数列は、∈R^N
３）このとき、先頭の箱から順に連番を書くとする。１から順に。箱の番号は、1,2,3,・・・,n,・・・となる
（なお、奇数番の箱は赤、偶数番の箱を青に塗ることにしよう。）
４）選択公理を仮定する（可算選択公理でも可）。
奇数番の赤箱のみを取り出す。その集合をV1としよう。残った、偶数番の青箱の集合をV2としよう。
５）集合V1で箱から数だけを取り出した集合をV1'とする。同様に、V2で箱から数だけを取り出した集合をV2'とする。また、Vで箱から数だけを取り出した集合をV'とする。
６）明らかに、V1'∪V2'＝V'＝N（自然数(0を除く)）
７）集合V1、V2は、箱の番号を使って、順序集合とすることができる。
なので、集合V1から、数列1,3,5,・・・,2n-1,・・・が作れる。同様に、集合V2から、数列2,4,6,・・・,2n,・・・が作れる。両数列とも、∈R^N
８）奇数列1,3,5,・・・,2n-1,・・・と、偶数列2,4,6,・・・,2n,・・・とを連接すると、
自然数を並べ変えた1,3,5,・・・,2n-1,・・・, 2,4,6,・・・,2n,・・・という数列を作ることができる。この数列も、∈R^N ∵自然数Nを並べ変えたに過ぎないから
つづく
322:現代数学の系譜11 ガロア理論を読む
16/11/13 23:41:23.96 V7Qq+5Yj.net
>>292 つづき
９）なお、連接で 1,3,5,・・・,2n-1,・・・,2,4,6,・・・,2n,・・・という数列を作るには、数学的には
有限数列 Sn＝（1,3,5,・・・,2n-1, 2,4,6,・・・,2n ）で、数学的帰納法を適用するか
極限 lim n→ ∞ Sn＝ lim n→ ∞ （1,3,5,・・・,2n-1, 2,4,6,・・・,2n ）＝1,3,5,・・・,2n-1,・・・, 2,4,6,・・・,2n,・・・ としてもよい
（”1,3,5,・・・,2n-1,・・・,2,4,6,・・・,2n,・・・という数列は作れない”などと言われそうなので、先回り）
10）なお、単純に、赤い箱だけを先に並べ、青い箱をその後ろに並べたと考えれば、分かり易いだろ？ それは、選択公理で可能だ
（自然数を並べ変えた1,3,5,・・・,2n-1,・・・, 2,4,6,・・・,2n,・・・という数列は、not ∈R^N ・・とか、存在しないとかいう声が聞こえてきそうだな・・おい（＾＾； ）
おわり
323:現代数学の系譜11 ガロア理論を読む
16/11/13 23:47:47.56 V7Qq+5Yj.net
233 自分返信：現代数学の系譜11 ガロア理論を読む[sage] 投稿日：2016/11/06(日) 13:30:50.10 ID:ivLdkhn2
再録＆修正>>176
時枝記事の解法が成り立たない理由は、主に下記３つ
１）決定番号の確率分布は平均値も標準偏差も存在しない奇妙なものだから、１００列で99/10は導けないこと（大数の法則も、中心極限定理も不成立だよ）
２）しっぽでの分類と決定番号を考えると、単純に考えて、z ＝ 3.14159265358979…2718281828459… のようなキマイラ数列の扱いに困ることになる
（可算無限個という単純な規定だけでは不十分で、キマイラ数列を排除する規定を加えないといけないよ）
３）無限数列のしっぽで同値類を分類するなど、従来の数学には無かったわけで、これを本当に扱えるかどうか
lim(n→∞)の極限を考えている限り、コーシー列ならlim(n→∞) e/10^n→0で収束するが、しっぽの同値類では収束しないよ
補足
１）は、おそらく根本的な問題で、解決できないだろう。（１００列で99/10は導けない）
２）は、なんとかなるかもしれないが、結構難しいと思う
３）も、結構致命的かな。同値類を分類と決定番号の有限が両立しないように思う
なお、lim(n→∞)の極限を考えるという話は、上記時枝記事>>173-174にある通り
324:１３２人目の素数さん
16/11/14 00:13:41.21 JSH+7gQ5.net
こいつどうしたら成仏するんだろ。
325:１３２人目の素数さん
16/11/14 00:27:37.92 BSW0XRVU.net
封印しました
326:１３２人目の素数さん
16/11/14 01:16:22.19 yhNmCQ8l.net
2は第何項なんでしょう
327:１３２人目の素数さん
16/11/14 01:57:36.55 mUGM1e3t.net
国宝級のバカ
328:１３２人目の素数さん
16/11/14 04:12:39.61 OPksCmfn.net
＞10）なお、単純に、赤い箱だけを先に並べ、青い箱をその後ろに並べたと考えれば、分かり易いだろ？ それは、選択公理で可能だ
時枝の記事にある「可算無限個の箱」という設定を
そのように解釈することは確かに可能である。
しかし、その設定は R^N の中で記述できない。
なぜなら、R^N では青い箱に対応する添え字が存在しないからだ。
もちろん、R^N 以外の体系を持ってくれば記述可能だし、
その体系において「時枝の記事は不成立」と主張する分には全く構わない。
そんなのはスレ主が勝手に吠えてればいい(バカじゃねーの)。
しかし、その設定が R^N の中で記述できるとしているスレ主は明確に間違っている。
＞（自然数を並べ変えた1,3,5,・・・,2n-1,・・・, 2,4,6,・・・,2n,・・・という数列は、not ∈R^N ・・とか、存在しないとかいう声が聞こえてきそうだな・・おい（＾＾； ）
察しがいいな。もちろん、そのとおり。
1,3,5,・・・,2n-1,・・・,2,4,6,・・・,2n,・・・
に対応する R^N の数列は存在しない。
もし存在するなら、それを y∈R^N とするとき、
y_1＝1, y_2＝3, y_3＝5, …
とするしかないので、y＝1,3,5,・・・,2n-1,・・・ となってしまい、
y_n＝2 を満たす n が存在しない。だから、R^N の中には存在しない。
並べ替えがどうこうとか、数学的帰納法とか、そういう問題ではない。
どういう屁理屈を経由しようとも、y_n＝2 を満たす n が存在しないのだから、
その時点でアウト。スレ主のキマイラ数列は R^N の中では決して記述できない。
329:１３２人目の素数さん
16/11/14 04:37:33.25 OPksCmfn.net
結局は>>280に帰着される。
R^N の中で記述できないとなると、周囲の人間からは
＞もちろん、R^N 以外の体系を持ってくれば記述可能だし、
＞その体系において「時枝の記事は不成立」と主張する分には全く構わない。
＞そんなのはスレ主が勝手に吠えてればいい(バカじゃねーの)。
という評価にしかならず、自分の主張の存在感がなくなってしまう。
だから、何としても「R^N の中で記述できる」ということにしておきたいわけだ。
しかし、実際には R^N の中では記述できない。
選択公理だの数学的帰納法だの赤い箱だのと言って、キマイラ数列の構成の仕方を変更しても無駄。
結局は y_n＝2 を満たす n が存在しないのだから、どんな構成を経由しても同じことで、
R^N の中では決して記述できない。
スレ主はどうも「キマイラ数列の構成の仕方の問題」にすり替えようとしているが、
そういう問題ではないのだ。構成の仕方の如何によらず、結局は y_n＝2 を満たす n が
存在しないのだから、どんな構成を経由しても同じことで、R^N の中では決して記述できない。
330:１３２人目の素数さん
16/11/14 19:10:33.87 IQpprmLG.net
>>293-294
> 連接で 1,3,5,・・・,2n-1,・・・,2,4,6,・・・,2n,・・・という数列を作る
出題者がそのような数列Sを出題したとしても解答者は100列の数列をSのアタマから順番に
a1, a101, a201, a301, ... : 数列の長さはω
a2, a102, a202, a302, ... : 数列の長さはω
以下同様にして
a99, a199, a299, a399, ... : 数列の長さはω
a100, a200, a300, a400, ... : 数列の長さはω
と構成すれば an = 2n - 1 となって上の数列Sの後ろの部分 bn = 2n は解法に出現しないので
解答者が行う作業の中にキマイラ数列は一切出現しない
331:１３２人目の素数さん
16/11/16 01:17:08.76 7tk3QJ0z.net
ここまで引っ張っといて
R^Nの定義を勘違いしてましたテヘ
じゃすまねーぞおいｗ
332:１３２人目の素数さん
16/11/16 01:22:54.21 7tk3QJ0z.net
> y_n＝2 を満たす n が存在しない。だから、R^N の中には存在しない
この説明で分からないのは確信犯のプロとしか考えられんだろｗ
スレ主はR^Nの定義を言ってみろよ。どうせ独自定義なんだろ？ｗ
333:１３２人目の素数さん
16/11/16 09:08:52.36 c4B4b8Br.net
>>292
そもそも4で選択公理使ってねえ
自然数から奇数を取り出すのは分出公理であって選択公理じゃねえよ
自身の論理に権威持たせるために知ったかで知らない数学持ち出すのやめよう
334:１３２人目の素数さん
16/11/16 10:50:12.10 P/Rjx/d+.net
スレ主は何処で選択公理が要るのかも分からん馬鹿か
低脳にもほどがあるwww
335:１３２人目の素数さん
16/11/16 16:17:43.23 YcEvAvac.net
スレ主の主張は、次の2つの条件(1)、(2)を満たすような
2つの単調増加列 {a_n}, {b_n} が存在することはあり得ない
こと(を示すこと)によって、否定される。但し、自然数は正とする。
(1)：任意の自然数nに対して各第n項は a_n＝2n-1, b_n＝2n と表わされる、
(2)：n≧N のとき a_n＜b_1 なるような自然数Nが存在する。
条件(1)、(2)を満たすような2つの単調増加列 {a_n}, {b_n} 及び正の自然数Nが存在するとする。
任意の自然数nに対して第n項を c_n＝1/a_n,
336:d_n＝1/b_n とおくことで、 2つの数列 {c_n}, {d_n} を定義する。条件(1)から、任意の自然数nに対して c_n＝1/(2n-1), d_n＝1/(2n) だから、 0＜…＜d_{n+1}＜c_{n+1}＜d_n＜c_n＜d_1＜c_1 従って、{c_n}, {d_n} は単調減少列である。 条件(1)の {b_1} についての定義から b_1＝2 だから、条件(2)から、n≧N のとき a_n＜2 であり、 また条件(1)の {a_n} が満たすべき条件と n≧0 とから a_n＞0 なので、1/2＜1/a_n。 従って、{b_n}, {c_n}, {d_n} の各定義に注意すると、n≧N のとき c_n＞1/2＝1/b_1＝d_1 となる。 {c_n}, {d_n} は単調減少列で、c_1＞d_1 だから、正の自然数N について N≦1 から N＝1。 従って、任意の自然数nに対して c_n＞d_1 が成り立つ。 しかし、{c_n} は単調減少列で、c_n＞d_1 なる正の自然数nは n＝1 に限られる。 これで矛盾が導けた。 スレ主の「連接」何チャラに関する主張は、 モノイド云々以前に数列(微分積分以前)の問題に帰着して否定出来る。 だから、スレ主の「連接」何チャラの主張は標準的な考え方では正しくないことになる。
337:１３２人目の素数さん
16/11/16 16:25:18.12 YcEvAvac.net
>>306の訂正：
n≧0 とから a_n＞0 → n≧1 とから a_n＞0
338:１３２人目の素数さん
16/11/16 16:49:26.33 YcEvAvac.net
>>293
>自然数を並べ変えた1,3,5,・・・,2n-1,・・・, 2,4,6,・・・,2n,・・・という数列は、not ∈R^N ・・
このような書き方だと、2つの数列
>1,3,5,・・・,2n-1,・・・、
>2,4,6,・・・,2n,・・・
を書いていることになって、1つの数列を上のようには書けない。
スレ主の書き方には不備がある。
339:１３２人目の素数さん
16/11/16 21:43:51.86 WZ1ygUx+.net
スレ主は数列が何なのかわかってない
つまり大学一年一学期の勉強すらまともにやってない
バカのくせに勉強嫌いｗ
340:１３２人目の素数さん
16/11/18 07:30:11.75 wBezoyR9.net
>>293
おっちゃん(=>>306-308)です。
>>306の更なる訂正：
>条件(1)の {b_1} についての定義から b_1＝2 だから
の部分の「{b_1}」は「{b_n}」に訂正。ついでに、>>308についてだが、
>1,3,5,・・・,2n-1,・・・∈R^N
のように書くと、「R^N」の部分が「R」の書き間違いだった場合
文脈上曖昧な書き方になる恐れがあるので、そのようには書かずに、
単純に「{a_n}∈R^N」みたいに書いた方がいい。
まあ、>>306は少し端折った部分があるから、数列が分かっていない
といわれたスレ主は、自分の身のためにも再構成して読むことだ。
341:現代数学の系譜11 ガロア理論を読む
16/11/19 10:52:43.52 0Q0Vh9CE.net
レベル合わせその2 （>>263関連）
＜無限とは＞
１）（再録>>263）”無限（むげん、infinity）とは、限りの無いことである。
直感的には「限界を持たない」というだけの単純に理解できそうな概念である一方で、直感的には有限な世界しか知りえないと思われる人間にとって、無限というものが一体どういうことであるのかを厳密に理解することは非常に難しい問題を含んでいる。”
URLﾘﾝｸ(ja.wikipedia.org) より
２）無限大は存在しますか？ 2013年7月29日
URLﾘﾝｸ(qixil.jp)
最も支持が多い回答 柳生 三最 Lv.2 2013年7月30日
数学者ではありませんが、高校の数学を思い出して説明しますと
Sn = 1 + 1/2 + 1/3 + ・・・ + 1/n
という式が発散するのは高校の数学で習いました。
y = 1/x の積分を利用して評価するやつです。詳しい説明は省略します。
nが大きくなればなるほど増加する値は小さくなるのにSnが無限大に発散するのは不思議ですね。
しかしこれはある条件付きです。それは「nを無限に大きくし続ける事」です。
nの値をある場所で止めてしまったとたん、Snは有限値になります。
無限大の説明をしているのに、その説明の中で無限大を使ってしまうのは何ともナンセンスな気もしますが。。。
質問者様の数直線上に還元しての考えですが、
「直線」・・・無限に続く
342:両端のない直線 「線分」・・・任意の点A,B を両端とするまっすぐな線 「半直線」・・・直線のどちらか一端がある 多少表現が間違っているかもしれませんが、ニュアンス的にはこんな感じだったと思います。 つまり、直線で考えている以上、両端は存在せず、無限大の点は置く事が出来ないということになります。 というわけで、私の考えでは、無限大は存在するが、表現する事は出来ない。と思います。 -------追記 あらゆる実数に対する有限回数の四則演算の繰り返しから無限大は導き出されうるかという問いに関しては、「有限回数」と含まれている限り、それは有限値になると思われます。 -------追記 Sn = 1 + 1/2 + 1/3 + ・・・ + 1/n An = 1/n Snはnを大きくすると大きくなり続けます → 発散 → ∞ と表記する Anはnを大きくすると限りなく0に近づきます → 収束 → 0 と表記する ではないでしょうか？
343:現代数学の系譜11 ガロア理論を読む
16/11/19 10:54:14.59 0Q0Vh9CE.net
>>311つづき
３）ここで強調しておきたいことは、上記２）のように、”「直線」・・・無限に続く両端のない直線”で、この数直線上の整数の点、もっと限定すれば自然数ｎの点を考える。
ｎは確かに有限である。しかし、ｎには限りがないという意味で、無限である。これで直感的に理解できると思うが、「ｎは確かに有限であるが、自然数の集合Nは無限集合」
もっと言えば、ｎの取り得る範囲は、0≦ｎ＜∞ 、”0から∞を考えるべし”というのが正解だ。
”ｎの取り得る範囲は？”と聞かれて、”有限”と答えるのは、ばつ。従って、ｎの最大値も有限ではない！（ここはしっかり区別願いたい）
344:現代数学の系譜11 ガロア理論を読む
16/11/19 10:56:12.48 0Q0Vh9CE.net
>>312つづき
＜デデキント無限とヒルベルトの無限ホテル＞
１）デデキント無限
URLﾘﾝｸ(dspace.wul.waseda.ac.jp)
無限集合の定義について 高瀬礼文 早稲田商学 1982
URLﾘﾝｸ(dspace.wul.waseda.ac.jp)
(抜粋)
Cantor集合論の基礎に置かれた“無限”の定義は，今日Dedekind無限
と名づげられている次のようなものである。
「全体（自分自身）と1対1に対応するような真部分集合を内部に含む集合。」
(引用終り)
２）ヒルベルトの無限ホテルのパラドックス
URLﾘﾝｸ(ja.wikipedia.org)
パラドックスの内容
客室が無限にあるホテルを考える。現実にある客室が有限のホテルの場合には、「満室である」ということと「もう1人も泊められない」ということは同値である。しかし「無限ホテル」ではそうはならない。
無限ホテルが「満室である」としよう。この場合でも次のようにして新たな客を泊めることができる。客室数は無限とはいえ 1, 2, 3, … と番号を付けられる。客が1人来たら、1号室にいた客を2号室へ、2号室の客を3号室へ、3号室の客を4号室へ、…、n 号室の客を n + 1 号室へ、…と順番に移す。客室は無限にあるのだから誰もあぶれることはない。
新たな客は1号室に泊めればよい。新たな客は1人どころか、複数でも、（可算）無限でもよい。例えば、1号室の客を2号室へ、2号室の客を4号室へ、3号室の客を6号室へ、…、n 号室の客を 2n 号室へ、…と移せば、1号室、3号室、5号室、…つまり奇数号室は空室になるから、無限の客を新たに泊めることができる。
つづく
345:現代数学の系譜11 ガロア理論を読む
16/11/19 10:57:06.66 0Q0Vh9CE.net
>>313つづき
さらに次のようなこともできる。それぞれに無限の乗客が乗った無限台の車がホテルに乗りつけたとする。この場合、まず奇数号室を上のようにして空け、1台目の乗客を 3^n（n = 1, 2, 3, …）号室に、2台目の乗客を 5^n（n = 1, 2, 3, …）号室に、…というふうに入れる。i 台目の乗客は p^n（ここで p は i + 1 番目の素数）に入れればよい。
現実にある（2室以上ある）有限ホテルでは、当然奇数号室の数は全室数より少ないが、無限ホテルではそうではない。数学的には、全室からなる集合の基数（有限集合における要素の個数に当たる）は、その真部分集合である奇数号室すべての集合の基数と等しい。
これは無限集合の特徴である。この可算無限集合の基数は aleph _{0}（アレフ・ゼロ、アレフ・ヌル）と表される。
(引用終り)
346:現代数学の系譜11 ガロア理論を読む
16/11/19 10:58:18.18 0Q0Vh9CE.net
>>314つづき
＜一般のR^ Nについて＞
１）無限列 ( s n ) ∈ R^ N
URLﾘﾝｸ(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
関数 (数学) - Wikipedia:
(抜粋)
一般化
数列
有限集合からの関数は実質的に数の組あるいは数列と呼ばれるものになる（適当な演算をいれてベクトルと見ることもできる）。それはつまり、集合の各元に序列を与えて {1, 2, ..., n} と並べるとき、k = 1, 2, ..., n に対して xk = x(k) を対応付ける関数 x を
( x 1 , x 2 , … , x n ) ∈ R^ n
のかたちに表すのである。これは有限列であるが、無限列
( s n ) n ∈ N ∈ R^ N
を考えれば、それは各自然数 n に対して、数 sn を対応させる
s : N → R ; n → s n
という関数を考えていることに他ならない。もっと一般に数の族を考慮に入れれば、通常の実関数 f = f(x) を x を添字に持つ実数の族
( f x ) x ∈ R ∈ R^ R
と読みかえることができる。
(引用終り)
２）”任意の実数αは有限または無限小数で表わされる”→つまり、無限列は現代数学に必須だよ（実数が存在しなくなる）！ なお、強調しておくが、「R^ N は無限次元！→無限次元だから、次元はデデキント無限！」だと
URLﾘﾝｸ(detail.chiebukuro.yahoo.co.jp)
大学での数学の問題 任意の実数αは有限または無限小数で表わされることを示せ meshigasuki2455さん 2011/4/30 Yahoo!知恵袋
(抜粋)
実数Rを1, 1/10 1/100・・・・とくぎって考えればいいらしいのですが
筋道が全く見当がつきません
示すに至る過程を教えていただけないでしょうか
(引用終り)
347:現代数学の系譜11 ガロア理論を読む
16/11/19 11:02:10.19 0Q0Vh9CE.net
>>315つづき
さて、本論１
＜時枝記事では、R^ Nは未定義。だから、R^ Nをどう解釈が問題となる＞
１．時枝記事では、R^ Nは未定義：>>114に引用の通り。
２．だから、”可算無限個の箱”から類推解釈するしかない。
が、上記の通り、”R^ N は無限次元！→無限次元だから、次元は当然デデキント無限！”と考えるべし
３．実際、>>115のように時枝記事でも”問題に戻り，閉じた箱を100列に並べる”としているが、100列を、>>114の実数列の集合 R^Nと比較しているのだから、正にデデキント無限→ヒルベルトの無限ホテルのロジックを使っている！！
つまり、客室が無限にあるホテルで、部屋番をｎ→(1+100*n,2+100*n,・・・,99+100*n,1+100*n) | n=1,2,3,・・・ とできる
それぞれ、可算無限だ
348:現代数学の系譜11 ガロア理論を読む
16/11/19 11:03:28.67 0Q0Vh9CE.net
>>316つづき
＜時枝記事のR^ Nとヒルベルトの無限ホテル＞
１．ちょっと、順序集合と”直積集合上の順序”とを復習しておこう
URLﾘﾝｸ(ja.wikipedia.org)
順序集合
(抜粋)
数学において順序集合（じゅんじょしゅうごう、英: ordered set）とは「順序」の概念が定義された集合の事で、「順序」とは大小、高低、長短等の序列に関わる概念を抽象化したものである。ただし、順序集合内の2つの元 a, b に順序関係が定まっている（「比較可能」である）必要はなく、両者が「比較不能」であってもよい。
比較不能のケースを許容していることを強調して順序集合の事を半順序集合（はんじゅんじょしゅうごう、英: partially ordered set, poset）ともいう。一方、半順序集合の中で比較不能のケースがないものを特に全順序集合 (totally ordered set) という。（「半順序」という言葉が「全順序」の対義語ではない事に注意。全順序集合も半順序集合の一種である。）
直積集合上の順序
ふたつの半順序集合（の台集合）の直積集合上の半順序としては次の三種類が考えられる。
・辞書式順序: ( a , b ) ? ( c , d ) ? a < c ∨ ( a = c ∧ b ? d )
・積順序: ( a , b ) ? ( c , d ) ? a ? c ∧ b ? d
・ ( a , b ) ? ( c , d ) ? ( a < c ∧ b < d ) ∨ ( a = c ∧ b = d )
最後の順序は対応する狭義全順序の直積の反射閉包である。これらの三種類の順序はいずれもふたつよりも多くの半順序集合の直積に対しても同様に定義される。
体上の順序線型空間に対してこれらの構成を適用すれば、結果として得られる順序集合はいずれもふたたび順序線型空間となる。
(引用終り)
注意：辞書式順序の図が、載ってます。直線で表現されている。つまり、辞書式順序では直積だが１次元で表現できると
349:現代数学の系譜11 ガロア理論を読む
16/11/19 11:04:34.30 0Q0Vh9CE.net
>>317つづき
２．ところで、上記で奇数偶数で考えて、部屋番をｎ→(1+2*n,2+2*n) | n=1,2,3,・・・ としよう
当然（デデキント無限でもあり）、奇数偶数とも可算無限。
ヒルベルトの無限ホテルが２棟ある。左の棟と右の棟。左の棟に右の棟の奇数番の客を移す。左の棟の奇数番の部屋に入ってもらう。
直積で書くと、左をa,右をbとして、左の棟は（a,2n+1）,右の棟は（b,2n）
ホテル左右の棟の客室の集合は、{（a,1）,（a,2）,・・・,（a,2n+1）,・・・,（b,2）,（b,4）,・・・,（b,2n）,・・・}
辞書式順序を採用して、定義：a < b かつ 数字は普通の大小関係とする
これで、ホテル左右の棟の客室の集合は、順序集合として定義された。
順序集合{（a,1）,（a,2）,・・・,（a,2n+1）,・・・,（b,2）,（b,4）,・・・,（b,2n）,・・・}の部屋に、数を入れると数列になる。
というか、もともとの時枝記事の”可算無限個の箱”から出発して、選択公理などを使えば、上記の順序集合は（現代数学として）構成可能。そして、明らかに∈R^ N
（∵右の棟の奇数番は空き部屋だから、左の棟の客を戻す逆操作も可。だから、集合全体としては、順序を無視すれば、なんら変化していない。）
注：直積を考えるまでもない単純な話だが、反論を封じるために、あえて直積から直積集合上の順序集合を構成した。
なお、”∈R^ N”は、時枝記事の決定番号を考慮しなければ、数学的にはなんら問題とならないことを注意しておく
（”決定番号が有限”と整合しないだけの話）
350:現代数学の系譜11 ガロア理論を読む
16/11/19 11:06:10.43 0Q0Vh9CE.net
>>318つづき
本論２
＜確率分布＞
１．100列から、決定番号の確率 99/100を導くことについて
もし、決定番号の確率分布が、正規分布のようなすその軽い確率分布なら、大数の法則や中心極限定理から、99/100を導くことができる。だから、決定番号の確率分布が問題となる
URLﾘﾝｸ(reference.wolfram.com)
裾の重い分布?Wolfram言語ドキュメント:
裾の重い分布は，非常に大きい値を得る確率の方がより高いことを意味する．したがって裾の重い分布は一般に弱いランダム性とは対照的に強いランダム性を表す．
収入の分布，財務収益，保険の支払金，Web上の参照リンク等，結果が裾の重い分布であると見なされる種類は増え続けている．裾の重い分布に含まれる特筆すべきものは，確率密度関数がベキであるベキ乗則である．
技術的に難しいのは，これらの分布にすべてのモーメントが存在する訳ではないということである．代りに分位数等の順序統計量が使われる．また，これは中心極限定理が成り立たないことも意味する．
代りに，平均などの一次結合のための新しい標準極限分布，つまり安定分布を得る．
２．少し考えてみれば、すぐ分かるが、決定番号の確率分布は、すそが重い分布（超ヘビー）なのだ（ｎ→∞では）。だから、通常の確率論では、ｎ→∞の決定番号の確率分布は扱えない
351:現代数学の系譜11 ガロア理論を読む
16/11/19 11:07:39.02 0Q0Vh9CE.net
以上をまとめると、つまりは、”可算無限個の箱”から出発して、しっぽの同値類から決定番号を考える限り、その最大値∞は避けられないように思う
最大値∞で、「100列から、決定番号の確率 99/100」がすんなり証明できるのか？？？
再度附言しておくが、R^ Nについては、上記のように、いろんな直積集合上の順序が考えられ、それは
352:現代数学の中 ただし、しっぽの同値類から成る決定番号は、現代数学の外。ここを強調しておく
353:現代数学の系譜11 ガロア理論を読む
16/11/19 11:10:35.57 0Q0Vh9CE.net
>>317 文字化け訂正
・辞書式順序: ( a , b ) ? ( c , d ) ? a < c ∨ ( a = c ∧ b ? d )
・積順序: ( a , b ) ? ( c , d ) ? a ? c ∧ b ? d
・ ( a , b ) ? ( c , d ) ? ( a < c ∧ b < d ) ∨ ( a = c ∧ b = d )
↓
・辞書式順序: ( a , b ) ≦ ( c , d ) ←→ a < c ∨ ( a = c ∧ b ≦ d )
・積順序: ( a , b ) ≦ ( c , d ) ←→ a ≦ c ∧ b ≦ d
・ ( a , b ) ≦ ( c , d ) ←→ ( a < c ∧ b < d ) ∨ ( a = c ∧ b = d )
（原文サイトを見る方が分かりやすいだろう）
354:現代数学の系譜11 ガロア理論を読む
16/11/19 11:12:22.75 0Q0Vh9CE.net
>>306-310
どうも。スレ主です。
おっちゃん、お疲れです
おっちゃんが書いてくれると、助かるよ（＾＾；
ありがとう
355:１３２人目の素数さん
16/11/19 11:30:11.18 DaGMNr45.net
>>293で2は第何項なのか教えてくれよおおおおお
356:１３２人目の素数さん
16/11/19 12:51:16.55 jXhg5uy0.net
＞時枝記事では、R^ Nは未定義
だから数列を勉強しろとあれほど言ってるのに聞かない奴だなあ
自分の馬鹿を頑固に守って何がしたいのか？
357:１３２人目の素数さん
16/11/19 13:01:33.88 jXhg5uy0.net
馬鹿は勉強の一つもせずに独自解釈に明け暮れます
358:現代数学の系譜11 ガロア理論を読む
16/11/19 14:02:37.43 0Q0Vh9CE.net
>323
「有限主義」だね
”これでは現代数学が、基礎からもろとも崩れ去ってしまうのではないかと思われるでしょう。そうです。ウィトゲンシュタインは現代数学をまったく認めていません。集合論を基礎におく現代数学など、そもそも誤解から成り立っているものでしかないのだというのです。”
”現代数学の擁護者たちは、あきれ果てて、もはや見解の相違だといって、議論もすることなく去っていってしまうでしょう。ウィトゲンシュタインはそれを承知です。それでもなお、現代数学は間違っているというのがウィトゲンシュタインの主張なのです。”
URLﾘﾝｸ(swansong3478.web.fc2.com)
真の哲学体系を求めて Ｖｅｒ.２ 横井直高
URLﾘﾝｸ(swansong3478.web.fc2.com)
第２１節 不動の一者から逃れ得たウィトゲンシュタイン
(抜粋)
間違いを正すというところにこそウィトゲンシュタインの哲学者としての正義があります。それは哲学だけでなく、数学にも及びます。
ウィトゲンシュタインは厳格な有限主義の立場をとります。数学における数とは、私たちが日常使っている限りの数字だけで十分だというのです。たとえば私たちはだいたい１２桁程度の電卓を使っています。これを基準にするなら、最高、１２桁までの自然数があれば十分だというのです。
確かに、私たちの日常にとって、電卓の桁を越えてしまうような桁など、めったに扱うことはありません。そうとするなら、それ以上の数などなくても、いったい、どんな不都合があるだろうかとウィトゲンシュタインは問うのです。
このような問いに対して、私たちはすぐに反発したくなります。たとえば、これでは現代数学が、基礎からもろとも崩れ去ってしまうのではないかと思われるでしょう。そうです。ウィトゲンシュタインは現代数学をまったく認めていません。集合論を基礎におく現代数学など、そもそも誤解から成り立っているものでしかないのだというのです。
これでは、現代数学の擁護者たちは、あきれ果てて、もはや見解の相違だといって、議論もすることなく去っていってしまうでしょう。ウィトゲンシュタインはそれを承知です。それでもなお、現代数学は間違っているというのがウィトゲンシュタインの主張なのです。
(引用終り)
359:現代数学の系譜11 ガロア理論を読む
16/11/19 14:04:42.96 0Q0Vh9CE.net
>>326 つづき
訂正
>323
↓
>>323
”基礎付け主義者の中でも特に有限主義者は無限集合の存在を認めず、有限集合にのみ基づいた数学を提唱した。”
URLﾘﾝｸ(yourei.jp)
ユウゲン シュギ【有限主義】の例文集・使い方辞典 - 用例.jp
(抜粋)
基礎付け主義者の中でも特に有限主義者は無限集合の存在を認めず、有限集合にのみ基づいた数学を提唱した。 多くの数学者は厳密な有限主義は制限しすぎていると見なしたが、その相対的な一貫性は認めていた。
(引用終り)
360:現代数学の系譜11 ガロア理論を読む
16/11/19 14:05:22.54 0Q0Vh9CE.net
>>327 つづき
URLﾘﾝｸ(ask.fm)
有限主義ってなんですか？直観主義とは違うのですか？ | ask.fm/ytb_at_twt
(抜粋)
有限主義とは「有限的な数学的対象」のみの存在を認める立場です。ベースとなる論理は、古典論理でもかまいません（排中律とかそういうこだわりはありません）。その点で直観主義と大きく異なります。
URLﾘﾝｸ(en.wikipedia.org)
背景ですが、20世紀、公理的集合論などの
361:無限的理論や無限的手法が広く数学の中で使われるようになりました。無限集合などの無限的対象も広く登場します。しかし一方で、無限的対象は、かつての無限小のように、一部の「数学の基礎」を気にする数学者にとっては、ものすごく胡散臭いものにうつります。 そこで、無限的対象を心置きなく使用できるようにしようと、ヒルベルトらが有限主義を提唱しました。これは二段ロケット方式です。 １）本当に存在する数学的対象は有限的なもの（自然数とか）だけである。疑うヤツには自然数を構成してみせればよい ２）だけど有限的対象だけで数学をやろうとするとえらくメンドイ。だから、略記として無限的対象を導入し、ショートカットをする。 ポイントは（無限小をεδ論法で置き換えた時みたいに）「無限的対象・手法は、やろうと思えばちゃんと有限的なやり方で書ききれるが、しんどいので略記として導入している」というスタンスを貫くことです。 まあ、ホントにどんな有限的対象でも書ききれるのか？とか、逆に「ショートカットをせずにちゃんと書く」ってそもそもどういう事よ、とかいろいろ問題はあるのですが、ともかく、20世紀前半には中心的な立場として広く議論されてきました。直観主義と混同すると、いろいろな人が悲しみますよ？ (引用終り)
362:現代数学の系譜11 ガロア理論を読む
16/11/19 14:07:10.71 0Q0Vh9CE.net
>>328
URLﾘﾝｸ(www.shayashi.jp)
林晋, 京都大学大学院文学研究科 現代文化学専攻 情報・史料学教授
URLﾘﾝｸ(www.shayashi.jp)
URLﾘﾝｸ(www.shayashi.jp)
ヒルベルトと２０世紀数学 -公理主義とはなんだったか？- 雑誌「現代思想」、２０００年１０月臨時増刊 (林晋 はやしすすむ・数理論理学)
(抜粋)
現代思想2000年１０月臨時増刊「数学の思考」掲載の「ヒルベルトと２０世紀数学」の完全版です。OCRで読み込んだので、おかしなところがあるかもしれません。気づかれましたら、お教えください。BBSの方で結構です。（これについては、匿名でもかまいません。）
1 はじめに
二〇世紀最後の今年はヒルベルトの「数学の問題」一〇〇周年にあたる。それはまた「公理主義」一〇〇周年でもある。この機会に二〇世紀数学の方向を決定づけたといわれるヒルベルトの数学とは何だったのか、「公理主義」とはなんだったのか、それは二〇世紀数学にとって何をもたらしたかを考えてみたい。
現代の我々が「構造」として捉えるものをヒルベルトは「証明・論理」により捉えようとしたらしい。現代の我々にとって公理とは、集合論や圏論などの言語により、ブルバキ的な「集団としての構造」を記述する条件であるが、ヒルベルトにとっては公理はよりシンククティカルなものであった。
なぜだろうか? 公理論を数学の存在論として捉えるヒルベルトにとっては、「言語のもつ有限性」こそが重要だったからである。「幾何学基礎論」や「数の概念について」の公理系はある種の極大構造を定義している。たとえば「数の概念について」の実数論の公理系が記述しているものは極大アルキメデス順序体である。
我々は当然集合論を前提としてこれを理解する。特に実数の完備性を保証する極大という条件は非常に集合論的である。しかし、奇妙なことに一九〇〇年のヒルベルトは、極めて集合論的なこの極大性条件さえ「有限性」を実現するものとして捉えている。
ヒルベルトは、実数の有限個の公理から・有限ステップの証明だけで考えることにより、カントールのように任意の基本列を考える必要がなくなり、この極大性の公理により一無限の世界が排除されクロネッカーの批判から免れると主張した。
つづく
363:現代数学の系譜11 ガロア理論を読む
16/11/19 14:08:36.2
364:4 ID:0Q0Vh9CE.net
365:現代数学の系譜11 ガロア理論を読む
16/11/19 14:09:05.93 0Q0Vh9CE.net
>>330 つづき
この意味で、一九二〇年代の証明論のテーマが、すでにここにある。現在の我々は公理論を数学の方法論として認識し、数学基礎論 の意味での数学の基礎付としての役割を期待することは少ないが一) ヒルベルトの公理論には、このように登場当初から基礎論的色彩が 種めて濃い。
そして、それが後にブルバキが「初期公理論の失敗」 として切って捨てたものだった。
(引用終り)
注：「極大元の存在を主張する、極めて無限的な冶」とは？ 「シンククティカル」とは？