現代数学の系譜 工学物理雑談 古典ガロア理論も読む42at MATH
現代数学の系譜 工学物理雑談 古典ガロア理論も読む42 - 暇つぶし2ch473:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/22 10:03:39.90 fuJ3IX/D.net
>>433-434 >>436-437 >>438-439 >>440-443 >>444
>>445 を、ご参照ください

474:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/22 10:08:50.78 fuJ3IX/D.net
>>440-443
あなたの言っている数学の内容、滅茶苦茶ですな~(^^
>私、中学校及び高等学校の教員免許を持っております
国語ですね~(^^

475:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/22 10:09:08.71 fuJ3IX/D.net
>>443
ご高説と御託は拝聴した(^^
が、他人に講釈を垂れるときは、自分の言っていること振り返りましょうね~(^^
自分の数学のレベルの低さ、それに過誤を露呈しては、説得力がありませんよ(^^

476:132人目の素数さん
17/09/22 10:22:00.42 YaepZOJx.net
>>445
>>437の回答になってないので却下

477:132人目の素数さん
17/09/22 10:48:04.88 YaepZOJx.net
>>412
>そこ(”単調減少”)アウトだよ
>(>>406より)「ここで、{s_ M +1,s_ M +2,・・・} の集合の濃度は可算無限である(i.e. 集合の濃度に変化なし)」
{2n|n∈N}:=M⊂N かつ |M|=|N|

478:哀れな素人
17/09/22 10:58:01.34 Xk80svc9.net
ヒマだし、閑古鳥が鳴いているようなので書くが、
無限小数というようなものは、実際には存在しないのである。
無限小数とは有限ではない少数のことである。
しかし有限ではないといっても、実際は有限なのである。
小数点以下に、どんなに数が無限に並んでいるように見えても、
実際は有限個しか並んでいない。
こういうことは、よ~く考えれば、子供でも分ることなのだ。
しかし世の中の大多数の人はこれが分っておらず、
一般大衆はおろか数学者さえ分っていない。
もちろんこのスレの誰ひとりとして分っていない。
で、無限小数とは実際は有限小数にすぎないから、
無限小数とは実際は有理数にすぎないのである、無理数ではない。
ところがカントールは無限小数は実数だと考えた。
実数とは有理数と無理数を含めた語だが、
無限小数は実数だ、というのは実際には、
無限小数は無理数だ、という意味で使用されているのである。
しかし無限小数は有理数にすぎないから、
カントールの対角線論法は、その時点で、
早くも間違っているのである。

479:哀れな素人
17/09/22 11:07:56.12 Xk80svc9.net
カントールの対角線論法は間違いだから、
実数は非可算無限だとかいうのも間違いであるし、
濃度などという概念も間違いなのである。
そもそも無限集合という概念自体が間違いである。
さらに点の集合は線にも面にも立体にもならないから、
可測とか非可測とか測度という概念自体が間違いである。
要するに時枝問題なんて、設問そのものがナンセンスなのである(笑
ナンセンスな問題をいくら論じても意味はない(笑

480:132人目の素数さん
17/09/22 12:48:05.93 bVb6BwsM.net
何この人?

481:132人目の素数さん
17/09/22 15:30:47.09 ynLk6FFT.net
>>447
おっちゃんです。
>>私、中学校及び高等学校の教員免許を持っております
中学や高校の教員免許なんて数学科に限らず他学科でも取れるような大学もあるから、こんなの何の自慢にもならんよ。
第一、資格は取ってから生かさなきゃ意味がない。

482:132人目の素数さん
17/09/22 18:42:44.62 gAp+cSZn.net
>>447
>あなたの言っている数学の内容、滅茶苦茶ですな~(^^
異数学については存じ上げないので
異数学の立場と矛盾する発言は多々あるでしょうが
正統な数学としては何の問題もありません
>>私、中学校及び高等学校の教員免許を持っております
>国語ですね~(^^
もちろん、数学です 異数学ではありませんよ

483:132人目の素数さん
17/09/22 18:44:19.66 gAp+cSZn.net
>>448
>他人に講釈を垂れるときは、・・・
まあ、そう卑屈にならないで
>自分の言っていること振り返りましょうね~(^^
>自分の数学のレベルの低さ、それに過誤を露呈しては、・・・
異数学については存じ上げないので
異数学の立場からの正否については
まったく考慮いたしません 悪しからず 
>説得力がありませんよ(^^
そもそも正統な数学を前提した上での問題に対して
異数学の立場から反論されても全く説得力がありませんよ

484:132人目の素数さん
17/09/22 18:45:13.23 gAp+cSZn.net
>>452
>要するに時枝問題なんて、設問そのものがナンセンスなのである
確かに無限集合が存在しないとするなら、その通りでしょうね
>>454
>他学科でも取れるような大学もあるから、
>こんなの何の自慢にもならんよ。
まあ、そうスネないで
>>440
>>なんか高一生に教えている気分
という発言に対する


485:返答ですから



486:132人目の素数さん
17/09/22 19:30:54.31 gAp+cSZn.net
スレリンク(math板:583-585番)
で筆者の「知性の決定的な欠如」が感じられるのは、数列
(a1,a2,a3 ,・・・,a_n0,a_n0+1,a_n0+2,・・・)
の各項と、一致番号の列
(1,2,3,・・・)
の各番号が1対1しないことを、当然だと看過する点である
項の番号と自然数が1対1していることは無限数列の定義だろう

487:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/22 21:07:10.82 R2cdEIZf.net
>>454
おっちゃん、どうも、スレ主です。
お久しぶりです
お元気そうでなによりです(^^
ピエロ先生が、>>382-383の二つの数列のしっぽの共有部分、co-tail’の説明の後、すっと姿を消して、60時間(二日半)
ひょっとして、姿を変えて出没しているのかも知れないが・・
それも含めて、残党が2~3人いるようだが
思うに、残党の2~3人の発言レベルを見ると、ピエロ先生のレベルが高く見えてくるから不思議だな~(^^
無限に対する理解が、幼稚で浅い。せいぜい中学生レベルだよ(^^
>中学や高校の教員免許なんて数学科に限らず他学科でも取れるような大学もあるから、こんなの何の自慢にもならんよ。
>第一、資格は取ってから生かさなきゃ意味がない。
全く同感
ペーパードライバー(免許)で、実際の運転は全くヘタなのでしょうね(^^
まあ、まず、>>382-383の二つの数列のしっぽの共有部分、co-tail’の説明(証明)の追加をしっかり集中してやりましょうか?
そこから、もつれた糸がほぐれるでしょう(^^

488:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/22 21:10:15.11 R2cdEIZf.net
さて、まず、二つの数列のしっぽの共有部分、co-tail’の説明から(^^
>>437
>>ここで、k→∞ を考えると、共有しっぽ{s_d+k+1,s_d+k+2,・・・}は、→not φですよ
>何故?
>>450
>>(>>406より)「ここで、{s_ M +1,s_ M +2,・・・} の集合の濃度は可算無限である(i.e. 集合の濃度に変化なし)」
>{2n|n∈N}:=M⊂N かつ |M|=|N|
分かり易く、例示を混ぜて説明していくよ(抽象的に書くと分かり難いだろうから)
1.まず、>>105-106にならって、超越数πを用いて、箱の列の先頭から、3,1,4,1,5,9,・・・・とπの小数表現の数を入れたとする。
  簡便に、これを代表の数列としs_πと名付ける(πだけでは紛らわしいので)
2.数列s_πによって生成される、同値類をS_πとする
3.超越数πは、”2016年の時点では、円周率は小数点以下22兆4591億5771万8361桁まで計算されている”(>>105より)というが、これ当然無限小数である。
  つまり、例えて言えば、神様は小数点以下22兆4591億5771万8361桁以降もすべての桁の数を知っているが、人類が現時点で計算できているのは有限桁なだけである
4.(>>431に倣って)s_π = (s1,s2,s3 ,・・・,s_d,s_d+1,s_d+2,・・・,s_d+k,s_d+k+1,s_d+k+2,・・・) とおく
  (>>382に倣って)s'_π_d= (s'1, s'2, s'3,・・・,s_d,s_d+1,s_d+2,・・・,s_d+k,s_d+k+1,s_d+k+2,・・・)とおく*)
  ここで、二つの数列s_πとs'_π_dとで、{s_d,s_d+1,s_d+2,・・・,s_d+k,s_d+k+1,s_d+k+2,・・・}が共有するしっぽの部分 co-tail'_d *)で、一致番号はd。
 (*) s'_π_d 及び co-tail'_d と添え字d を、明示して、分かり易くした)
5.ここで、集合{s'_π_d | d ∈N}は、添え字dについて、可算無限族になる
  ∵超越数πは、無限小数であるから、dは有限ではないため(人類がπの計算をどんどん推し進めれば、そうなる(^^ )
6.可算無限族{s'_π_d | d ∈N} ⊂ S_π であり、従って、s'_π_d ∈S_πである(自明だが念押し)
7.可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d not= Φ (∵co-tail'_d not= Φ は、二つの数列s_πとs'_π_dとが、同値であることの定義の通り!)
QED
つづく

489:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/22 21:10:45.39 R2cdEIZf.net
>>480 つづき
(参考)
URLリンク(ja.wikipedia.org)(%E6%95%B0%E5%AD%A6)
族 (数学)
つづく

490:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/22 21:11:11.88 R2cdEIZf.net
>>481 つづき
補足1
>>450
>>(>>406より)「ここで、{s_ M +1,s_ M +2,・・・} の集合の濃度は可算無限である(i.e. 集合の濃度に変化なし)」
>{2n|n∈N}:=M⊂N かつ |M|=|N|
"{2n|n∈N}"が間違い。M:=N-{1,2,3,・・・,d-1}だな
で、M⊂N かつ |M|=|N| (これは、順序数で考えても同じ。∵”無限�


491:|有限 = 無限”だから) {1,2,3,・・・,d-1}は、有限にすぎないから、dをいくら大きくしても、|M|はずっと可算無限のまま |M|が単調減少など、中学レベルの妄想に過ぎない つづく



492:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/22 21:12:27.69 R2cdEIZf.net
>>482 つづき
補足2
>>444
>∀n∈N に対し、co-tail(n)は存在する。 よってco-tail(∞)は存在する。
>∀n∈N に対し、ケーキの残り1/2^nは存在する。 よってケーキは食べ尽くせない。
この二つを混同するなかれ
後者の1/2^nについては、計量(ふつうの距離)を入れることで、lim n→∞ |1/2^n| =0 に収束する
だが、前者のco-tail(n)は、そうではない。
先の>>482 の説明の通り
以上です

493:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/22 21:13:10.35 R2cdEIZf.net
>>458
>で筆者の「知性の決定的な欠如」が感じられるのは、数列
>(a1,a2,a3 ,・・・,a_n0,a_n0+1,a_n0+2,・・・)
>の各項と、一致番号の列
>(1,2,3,・・・)
>の各番号が1対1しないことを、当然だと看過する点である
>
>項の番号と自然数が1対1していることは無限数列の定義だろう
言っている意味が
全く理解できない(^^
もっと詳しく

494:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/22 21:21:38.27 R2cdEIZf.net
>>461-463 リンク番号訂正(^^
>>461>>480>>460
>>462>>481>>461
>>463>>482>>462

495:132人目の素数さん
17/09/22 21:41:50.21 rgHq6MKc.net
>>462-463
> {1,2,3,・・・,d-1}は、有限にすぎないから
> co-tail(∞)は存在する
dをいくら大きくしても∞には近づきもしない

a1=1, a2=1, ... , ak=1, a(k+1)=0, a(k+2)=0, 0, 0, ... において lim_{n→∞} a(n, k) = 0 (kは1の項の数)
kをいくら大きくしてもkが自然数であれば lim_{n→∞} a(n, k) = 0 (0が始まるのはk+1番目から = 決定番号)
k→∞とすると極限値である数列は a1=1, a2=1, ... , ak=1, a(k+1)=1, ... となって
0(= co-tail(∞))は存在しないので lim_{n→∞} (lim_{k→∞} a(n, k)) = lim_{n→∞} a(n, ∞) = 1
(an=)1の代わりにランダムな実数とすると lim_{n→∞} a(n, ∞) はランダムなので収束しない

496:132人目の素数さん
17/09/22 21:52:11.15 YaepZOJx.net
>>460
長々と書いてる割に、1~6 は全く中身が無く、自明なことをだらだらと書いてるだけ。
そして 7 は 完 全 に 間違い。何故なら
>(∵co-tail'_d not= Φ は、二つの数列s_πとs'_π_dとが、同値であることの定義の通り!)
から唐突に
>可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d not= Φ
としているが、理由が何も述べられていないからである。
よってあなたは理由を述べなければならないが、不可能であろう。
何故なら co-tail が存在すると仮定すると矛盾が生じるからである。
あなたが未だに理解できないだけの話。

497:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/22 21:54:22.90 R2cdEIZf.net
>>466
>dをいくら大きくしても∞には近づきもしない
同意
全く同意見だ!
だから、”可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d not= Φ”(>>460)だ
もともと
”41 スレリンク(math板:584番) <時枝数列の同値類のしっぽの共有部分が空集合でないことについて>証明と説明”(>>11)
に、”(注*)たとえ話で説明すれば、ロケットで宇宙の果てに行けば、“そこに宇宙の境界が壁のように存在するとそう思うのが錯覚”で、ユークリッド空間では、宇宙の果ても我々のいる場所も、幾何空間として同じ。ただ単に距離が離れただけのことだと。まあ、数直線Rにおいて、どこに原点を取ろうが、数学としては全く変わらないと言うが如し。)”
と注釈を入れた通りだ
そして、それで、
”40 スレリンク(math板:597-598番)時枝記事そのままの入れ方で、決定番号が、1からnの間に来る確率は、0(ゼロ)の証明”(>>11
には、十分だ

498:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/22 22:00:26.95 R2cdEIZf.net
>>467
分ってないね
本当に
”同値s ~ s'の定義”
”35 スレリンク(math板:12番) 時枝問題(数学セミナー201611月号の記事)”(>>11
「実数列の集合 R^Nを考える.
s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき同値s ~ s'と定義しよう(


499:いわばコーシーのべったり版).」 定義の通りだから、co-tail'_d not= Φ だから、唐突でもなんでもないよ(^^



500:132人目の素数さん
17/09/22 22:06:41.50 YaepZOJx.net
>>462
N\{0}⊂N は理解できますか?
|N\{0}|=|N| は理解できますか?
(\は補集合の記号)
つまり、濃度が等しいだけでは(狭義)単調減少を否定する根拠にはならないということです。
あなた基礎がまるで駄目ですね。独善的な発言が多いです。

501:132人目の素数さん
17/09/22 22:14:40.02 rgHq6MKc.net
>>468
だから
> 可算無限族{s'_π_d | d ∈N}の全てのdに渡って
はそのままでは不可能でしょ
「全てのdに渡って」の過程が一切示されていない
任意の自然数nの後者をsuc(n)とすると suc(n) < {可算無限基数} だから
dを順に増やしていっても「全てのdに渡って」は示すことはできない
(極限値としての)可算無限集合を考えないと「全てのdに渡って」にはならない

502:132人目の素数さん
17/09/22 22:21:41.63 YaepZOJx.net
>>469
いいえ、分かっていないのはあなたですよ。
>”同値s ~ s'の定義”
>”35 スレリンク(math板:12番) 時枝問題(数学セミナー201611月号の記事)”(>>11
>「実数列の集合 R^Nを考える.
>s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき同値s ~ s'と定義しよう(いわばコーシーのべったり版).」
のどこに
>可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d not= Φ
などと書かれてるのですか?
「二つの数列のco-tail'_d」と「可算無限族{s'_π_d | d ∈N}の全てのdに渡る co-tail'_d」
はまったく別物ですから、
>定義の通りだから、co-tail'_d not= Φ
などと肝心な部分を省略して煙に巻こうとしてはいけません。

503:132人目の素数さん
17/09/22 22:35:44.87 YaepZOJx.net
「∀d∈N に対し、d より大きい自然数が存在する」
からといって、
「すべての d∈N に渡って、d より大きい自然数が存在する」
は言えません。
同様に
「∀d∈N に対し、co-tail'_d not= Φ」
からといって、
「すべての d∈N に渡って、co-tail'_d not= Φ」
は言えません。
あなたが犯している間違いはまさにこれですよ?

504:132人目の素数さん
17/09/23 06:46:16.08 lDVqqHRb.net
>>473
対して と 渡っての違いがわからん

505:132人目の素数さん
17/09/23 06:59:24.76 N/RMP/ia.net
>>464
>言っている意味が全く理解できない(^^
項の番号と自然数が1対1対応しない、と思ってますか?
>>460で、唐突に
>7.可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d not= Φ
といってますが、任意の自然数dについてd番目の項はco-tailに含まれない
と数学的帰納法で証明できるから、数列のどの項もco-tailに含まれない、
と高校生でも分かりますよ

506:132人目の素数さん
17/09/23 07:03:39.13 N/RMP/ia.net
>>475
逆に
>可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d not= Φ
としてco-tailに含まれる項をどれか一つ示した場合、
その項の番号は自然数ではないことになるが、
それは数列R^Nの定義に反する

507:132人目の素数さん
17/09/23 07:12:58.73 N/RMP/ia.net
>>459
>ひょっとして、姿を変えて出没しているのかも知れないが・・
それが2chですよ

508:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 07:28:08.06 8lIM/3/v.net
>>470
やっぱりね
そういう勘違いですね~
あなたは、無限集合がほとんど理解できていませんね
有限集合の感覚で、無限集合を考えていますね
忠心から申し上げるが、早めにピエロ先生みたく、撤退された方があなたの身のためですよ
赤っ恥ですよ
それ
小学3年レベルの間違いですよ
自然数:”他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。”ですよ
デデキント無限:”A とA の真部分集合B の間に全単射が存在するということである”ですよ
坪井「順序数」:”1 + ω = ω”です
平場 誠示先生 東京理科大 ∞-1=∞です
URLリンク(ja.wikipedia.org)
自然数
(抜粋)
以上の構成は、自然数を表すのに有用で便利そうな定義を選んだひとつの結果であり、他にも自然数の定義は無限にできる。これはペアノの公理を満たす後者関数 suc(a) と最小値の定義が無限に選べるからである。
URLリンク(ja.wikipedia.org)
デデキント無限
(抜粋)
デデキント無限集合であるとは、・・A とA の真部分集合B の間に全単射が存在するということである。
「数理論理学II 09 年講義ノート 坪井明人先生 筑波大 URLリンク(www.math.tsukuba.ac.jp)
1.1 順序数 よりP3
(抜粋)
1+ω は1 個の点の後ろに自然数の


509:なす順序集合を並べた順序の順序型.よってそれは順序型としてはω になる.1 + ω = ω. スレ35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/235 平場 誠示先生 東京理科大 Lebesgue 積分論のp.6 ”2.3 測度空間 R~ = R∪{±∞} として, +∞ = ∞ と表し, 便宜上, 次のように定める: a ∈ R (有限値) に対して a ±∞ = ±∞, a ×∞ = ∞ (a > 0),= -∞ (a < 0), 0 ×∞ = ∞× 0 = 0, a/∞ = 0.” http://www.ma.noda.tus.ac.jp/u/sh/pdfdvi/ana1.pdf



510:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 07:29:18.28 8lIM/3/v.net
>>471
>> 可算無限族{s'_π_d | d ∈N}の全てのdに渡って
>はそのままでは不可能でしょ
>「全てのdに渡って」の過程が一切示されていない
なにを仰るウサギさん
あなたは、数学がな~んにも分っていないと、自白しているってことですよ(^^
「可算無限族」から従いますよ
さらに、>>478 もご参照
URLリンク(children100.seesaa.net)
なにをおっしゃるうさぎさんの意味 子どもに教えたい100のこと 2011年10月02日
(抜粋)
これから長い人生を歩んでいく子どもたちに,親として「これだけは伝えたい」と思うことを綴っています。

511:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 07:32:03.71 8lIM/3/v.net
>>472
はいはい
上記、>>479と同じですよ
かつ、可算無限族の構成は、>>460 4項と5項に丁寧に記述した通りです。
数学的には、それで終わっていますよ(^^
加えて、>>478
しかし、笑えますね(^^

512:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 07:36:51.79 8lIM/3/v.net
>>474
>対して と 渡っての違いがわからん
完全に、同意です(^^
さて
>>473
>「∀d∈N に対し、co-tail'_d not= Φ」
>からといって、
>「すべての d∈N に渡って、co-tail'_d not= Φ」
>は言えません。
なんとなく、貴方の無限に対する思考が混乱しているように見えるのは、私だけでなかったのですね~(^^
後者で、“すべての”→“∀”と書き直すと、
「∀d∈N に対し、co-tail'_d not= Φ」と「∀ d∈N に渡って、co-tail'_d not= Φ」と
これで、両者の差分を取ると、” に対し vs に渡って“の差でしかない
国語を問題にされているかな? やっぱり、国語の先生がむいているでしょうね
かつ、それ、数学では、定義の問題でもあります
” に対し vs に渡って“の定義で、差があると見るのは、勝手な自分の脳内の定義によるものですよ~
詩や文学では、それで良いんです!! 自分の感じたことが、正ですからね(^^

513:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 07:57:17.02 8lIM/3/v.net
>>475
論点を、ずらしましたね
もともと、>>458についての話だったのを、>>460の話になっている
論点ずらしをするなら、自ら誤りを認めたと解し、スルーしますよ

514:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 07:58:08.04 8lIM/3/v.net
>>476
>>可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d not= Φ
>としてco-tailに含まれる項をどれか一つ示した場合、
>その項の番号は自然数ではないことになるが、
>それは数列R^Nの定義に反する
ああ、あなたの独自解釈はそれだったのですか?(>>481 ご参照)
”可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d not= Φ”の意味は
単に、個別の全てのdに対して、co-tail'_d not= Φ ということだけです
あなたは、おそらく、”渡って”を、集合の積∩と妄想したのですね(^^
違いますよ!!

515:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 07:58:31.85 8lIM/3/v.net
>>477
>>ひょっとして、姿を変えて出没しているのかも知れないが・・



516:>それが2chですよ 別に構わん もし、あなた ”ID:N/RMP/ia”がピエロの成りすましであっても 異常性格(=サイコパス) 丸出しで、支離滅裂にわめき立てる連投が鳴りを潜めたということは こちらのパンチ(>>382-383)が、効いているってことですからね~(^^



517:132人目の素数さん
17/09/23 09:14:41.42 oY3/5AOh.net
>>478
>それ
>小学3年レベルの間違いですよ
それとは?

518:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 09:33:08.66 8lIM/3/v.net
>>485
>>それ
>>小学3年レベルの間違いですよ
>それとは?
「それ」について
>>470より)
”N\{0}⊂N は理解できますか?
|N\{0}|=|N| は理解できますか?
(\は補集合の記号)
つまり、濃度が等しいだけでは(狭義)単調減少を否定する根拠にはならないということです。”
で、おそらく、これを書いた人は「N\{0}が、Nより、一つ減っている」と思っているのでしょうね(^^
それ、有限集合に対しては正しい
しかし、Nは、可算無限集合ですからね~(^^
”一つ減っている”と考えると、おそらくどこかで、思考の落とし穴に嵌まります! それ、小学生の思考です
無限集合に対しては、>>478に示した4つの引用が、正当な数学的思考です

519:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 09:34:23.32 8lIM/3/v.net
>>486 補足
グラフを描くときのx-y平面で
原点Oを、例えば右に5だけ、移す
小学生の思考:原点が右に5動いた。だから、x軸の左側の線が5増え、右側の線が5減ったと考える
大学生の思考:原点が右に5動いた。しかし数直線は無限だから、”x軸の左側の線が5増え、右側の線がが5減ったと考える”のは誤りだ!!

520:132人目の素数さん
17/09/23 09:50:12.56 oY3/5AOh.net
>>481
>>対して と 渡っての違いがわからん
>完全に、同意です(^^
これは笑えますね
>全てのdに渡って
という表現は、下記の通りあなたが出元です。
>7.可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d not= Φ (>>460)
あなたは自分で書いたものを理解できないと言ってるのですよ? さすがに笑いました。
あるいは
>7.可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d not= Φ

7.∀d∈D に対して、{s'_π_d | d ∈N} の co-tail'_d not= Φ
の意味だと言ってるのですか? 違いが分からないということはそういうことですよね?
だとしたら、「同値類には co-tail が存在する」は言えていないことになりますよ?
これは前々から思っていましたが、あなたには曖昧で分かり辛い記述が多いです。
恐らく数学書をきちんと勉強したことが無く、ものを書く訓練ができていないからでしょう。
試しに聞いてみます。あなたが学んだ解析学のテキストの書名、著者名を書けますか?

521:132人目の素数さん
17/09/23 09:59:32.65 N/RMP/ia.net
>>482
>論点を、ずらしましたね
ずらしたのはあなたですよ
私は元に戻しただけですよ
>もともと、>>458についての話だったのを、>>460の話になっている
>>458を書いたのは私です
>>460を書いたのはあなたです
つまり、私の論点を、あなたがずらしたということです
>論点ずらしをするなら、自ら誤りを認めたと解し、スルーしますよ
>>458の指摘に反駁できないので無視して>>460を書いたのはあなたです
自分の誤りを見逃してほしいということなら、
HNを捨てて匿名で書いたらどうですか?
ここは2chですから

522:132人目の素数さん
17/09/23 10:03:50.89 N/RMP/ia.net
>>483
>”可算無限族{s'_π_d | d ∈N}の全てのdに渡って、co-tail'_d not= Φ”の意味は
>単に、個別の全てのdに対して、co-tail'_d not= Φ ということだけです
一致番号d以下の同値数列の集まりのco-tailが
d番目の項から取れるというのは自明でしょう
しかしそこからあなたの望む予測不能性は導けないのではないですか?

523:132人目の素数さん
17/09/23 10:04:49.03 oY3/5AOh.net
>>486
講釈不要。下記にyesかnoだけ答えて下さい。あなたの理解度を見るためです。
>”N\{0}⊂N は理解できますか?
yesかnoだけ答えて下さい
>|N\{0}|=|N| は理解できますか?
yesかnoだけ答えて下さい
>つまり、濃度が等しいだけでは(狭義)単調減少を否定する根拠にはならないということです。
同意しますか?yesかnoだけ答えて下さい

524:132人目の素数さん
17/09/23 10:11:27.08 ijmw1E52.net
>>486
> で、おそらく、これを書いた人は「N\{0}が、Nより、一つ減っている」と思っているのでしょうね(^^
>
> それ、有限集合に対しては正しい
> しかし、Nは、可算無限集合ですからね~(^^
>
> ”一つ減っている”と考えると、おそらくどこかで、思考の落とし穴に嵌まります! それ、小学生の思考です
> 無限集合に対しては、>>478に示した4つの引用が、正当な数学的思考です

無限集合なら|
N\{0}|=|N| であり N\{0}⊂N が成り立たない、とでも


525:言いたげだな。 集合の包含関係すら知らないとは・・・ ほれ、お前の好きなwikiだ。読んでみれw https://en.wikipedia.org/wiki/Subset The set of natural numbers is a proper subset of the set of rational numbers; likewise, the set of points in a line segment is a proper subset of the set of points in a line. These are two examples in which both the subset and the whole set are infinite, and the subset has the same cardinality (the concept that corresponds to size, that is, the number of elements, of a finite set) as the whole; such cases can run counter to one's initial intuition.



526:哀れな素人
17/09/23 10:14:39.26 sbZUD6by.net
濃度とか同値類なんて、すべて間違いなのだから、
そんなことをいくら論じても意味はない(笑

527:132人目の素数さん
17/09/23 10:16:35.70 N/RMP/ia.net
>>484
>こちらのパンチ(>>382-383)が、効いている
全く関係ないと思いますよ
99/100導出に関して、ZFCからは決定できない命題を
前提していたと理解したのでしょう
※以下のドキュメントp10で、可測でない場合の
 積分の順序交換の同値性はZFCから独立、とある
URLリンク(fuchino.ddo.jp)
 ちなみに上記の積分の順序交換の同値性を認めても
無矛盾であることは証明されているので、そのような前提を
追加した理論が数学的に誤っているとまではいえない
(但し箱入り無数目はZFC上でのものだから、
 より強い仮定が必要だということになるのは
 適切でない)

528:132人目の素数さん
17/09/23 10:22:33.44 N/RMP/ia.net
>>494の続き
さて、あなたのパンチ(>>382-383)に対するカウンターパンチが>>458です
数列の項の番号=自然数、と認めるのであればあなたの証明が間違ってます
数列の項の番号⊃自然数、というのであればあなたが記事を読み違えてます
いずれにしてもあなたに勝ち目はありません 諦めましょう

529:132人目の素数さん
17/09/23 10:30:54.20 N/RMP/ia.net
>>481
>(ID:8lIM/3/vは)曖昧で分かり辛い記述が多いです。
>恐らく数学書をきちんと勉強したことが無く、
>ものを書く訓練ができていないからでしょう。
そもそも彼は数学を誤解していると思いますよ
直観で真偽を判断し、自分が真だと思った命題の根拠を辿って
これなら他人に受け入れさせられると思えば証明になると
彼は思っているようですが
定理の予想自体は数学者でもやることですが予想は覆ることもある
自分の予想に固執するのは間違った態度だと言わざるを得ません
また、定理の前提は、あくまで理論の公理のみであって
他人がその前提に納得するかどうかではありません
数学の論文の執筆者は弁護士ではないし、
数学の論文の査読者は陪審員ではありません

530:132人目の素数さん
17/09/23 10:35:54.38 oY3/5AOh.net
>>492
>無限集合なら
>|N\{0}|=|N| であり N\{0}⊂N が成り立たない、とでも言いたげだな。
>集合の包含関係すら知らないとは・・・
そうそう、まさにそれですよw
分かる人が相手だとホントにスッキリしますw
スレ主のような"訳の分からない人"の相手はホントに疲れますw

531:132人目の素数さん
17/09/23 10:36:38.80 ijmw1E52.net
>>493
> 濃度とか同値類なんて、すべて間違いなのだから、
同値類まで否定するのかw
否定ありきだな。

532:132人目の素数さん
17/09/23 10:38:00.12 N/RMP/ia.net
>>478
>あなたは、無限集合がほとんど理解できていませんね
>有限集合の感覚で、無限集合を考えていますね
それはあなたでしょう
>早めにピエロ先生みたく、撤退された方があなたの身のためですよ
あなたもHNも年来の主張も捨てて、匿名になったほうがよろしいと思いますよ

533:132人目の素数さん
17/09/23 10:42:29.60 NARsnXvT.net
>>474
おっちゃんです。
>任意の d∈N に対して、d より大きい自然数が存在する
という文におけるdは「任意の d∈N に対して、」と書いたことで固定されることになる。
だが、この場合は自然数の大小関係が定められているから、
>すべての d∈N に渡って、d より大きい自然数が存在する
というように「渡る」を使う文は書かない。「渡って」の方は、
「Σ_{d∈N}(a_d)=(右辺の式) ここでdはNの上に渉る」
のように、何らかの形式的な対象についての式を書くときに使うことが多い。
「渉る」と書いたら、渉ると書かれた式内の対象が、その式に現れる集合(上の例ではN)
の中で順序変更が許されるような式になる。

534:132人目の素数さん
17/09/23 10:42:50.40 N/RMP/ia.net
>>498
この場合は無限集合さえ否定すれば
「箱入り無数目」の問題設定を否定できるので
素人氏が同値類自体を否定する必要はないと思われる
単純に無限数列とかいう(彼にとっての)「架空の存在」
についての同値類は無意味ということでしょう
ID:8lIM/3/vの主張も、結局素人氏と同程度のものなのだが
素人氏のように素直に無限集合を否定せず、屁理屈をこねて
「無限集合も有限集合と同じだ」と考えて、箱入り無数目を
否定しようとするので、滑稽なことになっていると思われます

535:132人目の素数さん
17/09/23 10:45:15.62 oY3/5AOh.net
>>479
>「可算無限族」から従いますよ
ポカーン
どういうことですか?
あなたの発言は本当に ワ ケ ガ ワ カ ラ ナ イ

536:132人目の素数さん
17/09/23 10:46:01.78 ijmw1E52.net
>>501
同値類自体は無限とは関係ないからなぁ。
そこまで否定しなくても、って思ったんだけどね。

537:132人目の素数さん
17/09/23 10:47:33.06 N/RMP/ia.net
>>500
記号論理では
∀x∃y・・・
と書いた場合、yはxに依存する関数です
∃y∀x・・
と書けば、yはxに依存しない定数です
なぜなら左から先に読むので、前者の場合
先にxを任意に一つ選んで決まってしまうから
yはそのxについて存在しさえすればいい
後者の場合yが先に存在せねばならず
後からどんなxが来てもそのyについて
成り立たなくてはならない それだけのことです

538:132人目の素数さん
17/09/23 10:47:57.94 ijmw1E52.net
>>497
> スレ主のような"訳の分からない人"の相手はホントに疲れますw
目には目を。コピペにはコピペを。です。
ただ淡々と貼り付ければよいのです。
URLリンク(en.wikipedia.org)
The set of natural numbers is a proper subset of the set of rational numbers; likewise, the set of points in a line segment is a proper subset of the set of points in a line.
These are two examples in which both the subset and the whole set are infinite, and the subset has the same cardinality
(the concept that corresponds to size, that is, the number of elements, of a finite set) as the whole; such cases can run counter to one's initial intuition.

539:132人目の素数さん
17/09/23 10:51:56.76 N/RMP/ia.net
>>502
ID:8lIM/3/vは権威を利用する悪い癖があるようです
しかし数学の世界では相手がいかほど大数学者であろうが
論理としてつながってないなら無意味だと判断されます
発言者の権威によって、正当化しようとするのは、間違った態度ですね

540:132人目の素数さん
17/09/23 10:52:23.64 ijmw1E52.net
>>505
> URLリンク(en.wikipedia.org)
不覚。スレ主は英語が読めないんだった。

541:132人目の素数さん
17/09/23 10:55:22.30 N/RMP/ia.net
>>497
>"訳の分からない人"の相手はホントに疲れます
相手に理解させようと思う必要はないかと思います
数学板の大多数の読者が理解できる程度の論理の筋が通っていれば、
理解しない人のほうが面目を失うわけで、当人が何を言おうが無駄でしょう
そう考えると気が楽ですよ

542:132人目の素数さん
17/09/23 11:00:49.76 NARsnXvT.net
>>500
>∀x∃y・・・
>と書いた場合、yはxに依存する関数です
>∃y∀x・・
>と書けば、yはxに依存しない定数です
これは当たり前だ。こんなのの説明に記号論理なんていらん。
「任意の d∈N」と書いたら後でまたdをN上で走らせられるようなことが多いし、
「或る d∈N」と書いたらdをNの上で走らせることは出来ない。

543:132人目の素数さん
17/09/23 11:01:29.38 N/RMP/ia.net
co-tailの存在から、どうやって予測不能を導くのか不明ですが
もしかして、代表元の決定番号は確率1で不確定とかいうつもりでしょうか?
しかし「不確定」であるなら、代表元はもとの数列と同値だといえなくなります
なぜなら、同値というのは一致番号が存在するという意味であって
決定番号というのは、代表元との


544:一致番号のことですから



545:132人目の素数さん
17/09/23 11:01:50.61 ijmw1E52.net
スレ主を黙らせるにはwikiの引用が効果てきめん。
バッチリ書かれていればスレ主は間違いを認めます。
逆にwikiに書かれていないときはどんなに説明が上手かろうが絶対に認めませんw
それが彼の仕事なんです。言い逃れと煽りでスルスル逃げ回るのが彼のライフワークです。

546:132人目の素数さん
17/09/23 11:05:01.26 N/RMP/ia.net
>>509
∀と∃の区別のことではなく
∀xと∃yの順番の違いについて述べてます
つまり、∃yを先に書けば、xには依存しないが
∀xの後に∃yを書けば、xに依存するということです
URLリンク(www.amazon.co.jp)

547:132人目の素数さん
17/09/23 11:06:52.19 NARsnXvT.net
>>510
>>509は一般的な数学の議論についての話だよ。

548:132人目の素数さん
17/09/23 11:08:34.98 N/RMP/ia.net
>>511
wikiは編集可能なので、そういうことなら
2chに書く前にwikiに書けばいいことになりますね
個人的には、黙らないなら恥をかくだけなので
黙らせようとは思いませんね
あくまで、「黙ったほうがあなたがこれ以上面目を失うことはないですよ」と
勧告するだけのことで、それを受け入れられるかどうかは当人の知的能力
次第ですから

549:132人目の素数さん
17/09/23 11:09:49.95 NARsnXvT.net
>>512
この位は当たり前だろw

550:132人目の素数さん
17/09/23 11:15:03.82 oY3/5AOh.net
>>493
同値類を否定したら「曜日」は使えませんよ?さぞ不自由な生活かと

551:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 11:19:01.67 8lIM/3/v.net
>>488
笑えますね
では、「渡って」の定義
「すべての d∈N に渡って、co-tail'_d not= Φ」は、「∀d∈N に対し、co-tail'_d not= Φ」と同義とします
それでよろしいですね!(^^
なお、”渡る”は、頻出かどうか分りませんが、下記の用例で ”iはすべての自然数を渡る”を紹介しておきます。上記とほぼ同じ用法ですよ(^^
URLリンク(detail.chiebukuro.yahoo.co.jp)
komadaisuugakuさん2016/4/2715:56:33 【大学数学】位相について Xを非可算集合とする。 yahoo知恵袋
(抜粋)
ベストアンサー以外の回答1?1件/1件中 hogehogetttさん 2016/4/2907:40:57
iはすべての自然数を渡るので、
nはすべてのiで割り切れることになってしまうのです
(引用終り)

552:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 11:19:30.58 8lIM/3/v.net
>>489
>>>458の指摘に反駁できないので無視して>>460を書いたのはあなたです
必死の論点ずらし、ですね(^^
無茶苦茶な言い掛かりですね(^^
>>460では、一言も、>>458も触れていません。無関係ですよ
>>458は、数学的に何が言いたいの? 文学的過ぎて分らない。
>>464に、”言っている意味が 全く理解できない もっと詳しく”と書いた通りですよ
>自分の誤りを見逃してほしいということなら、
お気遣いは無用ですよ。誤りは貴方ですからね(^^

553:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 11:20:23.41 8lIM/3/v.net
>>490
>しかしそこからあなたの望む予測不能性は導けないのではないですか?
必死の論点ずらし、ですね(^^
まず、”co-tail'_d”(>>460)を決着しましょうね(^^

554:哀れな素人
17/09/23 11:21:40.64 sbZUD6by.net
同値類といっても何のことかは知らない(笑
知らないが、
1.00000……は1ではないし、
1は0.99999……ではない(笑
大小関係をいうならば、
1.00000……>1>0.99999……である(笑

555:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 11:22:25.53 8lIM/3/v.net
>>491
回答
>>”N\{0}⊂N は理解できますか?
yes
>>|N\{0}|=|N| は理解できますか?
yes
>>つまり、濃度が等しいだけでは(狭義)単調減少を否定する根拠にはならないということです。
質問を限定します。Noです。
「N\{0} vs N」で、計量として、順序数及び濃度とも、減少していない
もし、「減少している」と言いたいなら、なにが減少しているのか? 
定義を明確に願いたい
なお、他の例がどうかしらないが、論点ずらしをしたいとしか思えない

556:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 11:22:45.46 8lIM/3/v.net
>>492
>N\{0}⊂N
最近の記号、高校数学では、”⊂”は等号”=”を含んでいるそうですよ
大学数学では、むかしから、そうでしたがね(^^
URLリンク(www.geisya.or.jp)
■部分集合,集合の包含関係
(抜粋)
※ (注意)
 今の高校数学では,A が B の真部分集合の場合と,A=B の場合を含めて,部分集合を A⊂B という記号で表わす.
(引用終り)

557:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 11:23:04.65 8lIM/3/v.net
>>494
論点ずらし、ご苦労さん
全く関係ない記述ですね(^^

558:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 11:23:24.23 8lIM/3/v.net
>>495
必死の論点ずらし、ご苦労さん
講釈の前に、>>458をきちんと説明してくださいね(^^
私の見るところ、自分で書いた>>458について
きちんと説明できなくなっていると見ています
なにせ、支離滅裂な文章ですからね(^^
それから、(>>382-383)へ戻る前に、まず、”co-tail'_d”(>>460)を決着しましょうね(^^
追伸
必死になるところを見ると、本当に ID:N/RMP/ia=ピエロ?
そうだとしたら、えらくおとなしくなったじゃない?(^^
URLリンク(ameblo.jp)
牙を抜かれた猫 小春とまるとたまに旦那+胡桃+すず 2017-07-16

559:132人目の素数さん
17/09/23 11:23:32.23 oY3/5AOh.net
>>517
>「すべての d∈N に渡って、co-tail'_d not= Φ」は、「∀d∈N に対し、co-tail'_d not= Φ」と同義とします
>それでよろしいですね!(^^
いいですよ~
但しあなたの持論「同値類に co-tail が存在する」は言えてないことになりますが

560:132人目の素数さん
17/09/23 11:23:50.72 iijePDay.net
スレ主が言うところの co-tail が空でないっていうトンデモ発言は、
「 0.000… はどこかの桁に 1 がありそうな気がするのでゼロではない気がする」
「ただし、具体的にどの桁に1があるのかは言えない」
「というか、1の位置は右方向に動き続けている」
という初歩的な勘違いと似ている。
スレ主は極限の取り方がおかしくて、co-tail を動的な対象のように見ている。
だから、co-tail は空では無いように勘違いしてしまうし、co-tail の具体的な表示を
スレ主が書き下すこともできなくなっている。

561:132人目の素数さん
17/09/23 11:29:45.56 oY3/5AOh.net
>>521
あなたが何を誤解していたのかようやく理解できましたよw
「集合族 Xn が単調減少である」とは「X1⊃X2⊃・・・」です。
今後は余計なことを書かずに端的にレスしてもらえますか?相手の疲労も考えて下さいね。

562:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 11:31:10.33 8lIM/3/v.net
>>496>>499>>501>>504>>506>>508>>510>>512>>514
必死の論点ずらし、ご苦労(^^
なるほど、ID:N/RMP/iaが、牙を抜かれた猫のピエロか

563:132人目の素数さん
17/09/23 11:35:33.49 ijmw1E52.net
>>522
> 最近の記号、高校数学では、”⊂”は等号”=”を含んでいるそうですよ
proper subsetとは何か、wikiのリンク先を読んでごらんなさい
URLリンク(en.wikipedia.org)
The set of natural numbers is a proper subset of the set of rational numbers; likewise, the set of points in a line segment is a proper subset of the set of points in a line.
These are two examples in which both the subset and the whole set are infinite, and the subset has the same cardinality
(the concept that corresponds to size, that is, the number of elements, of a finite set) as the whole; such cases can run counter to one's initial intuition.

564:132人目の素数さん
17/09/23 11:50:25.19 oY3/5AOh.net
>>522
真部分集合限定なら狭義単調減少
部分集合なら単調減少
それだけのことでは?

565:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 11:56:31.15 8lIM/3/v.net
>>502
>>「可算無限族」から従いますよ
>ポカーン
>どういうことですか?
>あなたの発言は本当に ワ ケ ガ ワ カ ラ ナ イ
「可算無限族」について、>>460の4項と5項に、きちんと書いていますよ(^^

566:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 11:57:02.68 8lIM/3/v.net
>>525
同意ありがとう
>但しあなたの持論「同値類に co-tail が存在する」は言えてないことになりますが
その話は、後で
もともと、「co-tail が、構成的に書けない」という批判に対して、”構成的に書けない類似の集合の例”として、
”co-tail'_d”(>>460)や、”co-tail’”(>>382-383)を、例示して、反論したわけです
証明は、”41 スレリンク(math板:580-589番) <時枝数列の同値類のしっぽの共有部分が空集合でないことについて>証明と説明”(>>11
で、そのままです

567:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 11:57:19.2


568:2 ID:8lIM/3/v.net



569:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 11:57:49.41 8lIM/3/v.net
>>527
>「集合族 Xn が単調減少である」とは「X1⊃X2⊃・・・」です。
それ、一般的な「単調減少」の用法なんですかね? (^^
で、>>522に書いたように、”最近の記号、高校数学では、”⊂”は等号”=”を含んでいるそうですよ
大学数学では、むかしから、そうでしたがね”
それで良いんですよね?
その定義なら
>>つまり、濃度が等しいだけでは(狭義)単調減少を否定する根拠にはならないということです。
Yes

570:132人目の素数さん
17/09/23 12:00:58.20 ijmw1E52.net
>>530
> それだけのことでは?
もっとスレ主を理解しよう(?)
スレ主の主張は 
・⊂は⊆も含むんだぜby高校数学の教科書
・だから|N\{0}|=|N|、N\{0}⊂Nって書いてるけどN\{0}⊆Nかもしれないぜ
・それならN\{0}=Nかもしれないぜ?
・じゃあ単調減少じゃないっていうオレ様が正しいぜ!
・というわけで無限集合なら|N\{0}|=|N|で単調減少N\{0}⊂NではなくN\{0}=Nだぜ
・よって無限ー有限は無限であり減少はしないぜ
と言っているのである。
しかしwikiのproper subsetとは⊂≠を指しているのであった。おわり。
> The set of natural numbers is a proper subset of the set of rational numbers

571:132人目の素数さん
17/09/23 12:03:12.48 ijmw1E52.net
本日午前にスレ主が勉強したこと: 集合の包含関係について(中学生の中間テストレベル)

572:哀れな素人
17/09/23 12:45:12.34 sbZUD6by.net
正確に書けば
1.00000……≧1>0.99999……である。
というのは1.00000……には二通りの場合があるからである。

573:132人目の素数さん
17/09/23 12:52:25.64 gUN4U9Xq.net
>>537
それぞれの収束値はいくらですか?

574:132人目の素数さん
17/09/23 13:00:58.78 N/RMP/ia.net
>>528
2chではそういう妄想は無意味ですよ

575:132人目の素数さん
17/09/23 13:05:56.35 N/RMP/ia.net
>>489
>>458は、数学的に何が言いたいの?
一致番号2なら、a_1はco-tailに入らない
一致番号3なら、a_2はco-tailに入らない
・・・
と続けていけば
どの項a_nも、一致番号n+1ではco_tailに入らない
といえるので、co_tailは存在しない、という
100%完全に数学的な証明ですよ
文学なんてどこにもありません

576:132人目の素数さん
17/09/23 13:11:29.68 N/RMP/ia.net
>>518
>>458は、数学的に何が言いたいの?
一致番号2なら、a_1はco-tailに入らない
一致番号3なら、a_2はco-tailに入らない
・・・
と続けていけば
どの項a_nも、一致番号n+1ではco_tailに入らない
といえるので、co_tailは存在しない、という
100%完全に数学的な証明ですよ
文学なんてどこにもありません
>>519
>まず、”co-tail'_d”(>>460)を決着しましょうね(^^
まず、>>460は自明であると>>490で述べました
そして、>>460から「同値類全体のco-tailの存在」を
導けないと、今ここで示しました
つまり決着しました 
あなたの知的能力が低いために、受け入れられないだけです

577:132人目の素数さん
17/09/23 13:14:05.48 oY3/5AOh.net
>>534
>>つまり、濃度が等しいだけでは(狭義)単調減少を否定する根拠にはならないということです。
>Yes
あのー 老婆心ながら「yes」=「あなたの>>412は間違い」なんですが、それでいいんですか?

578:132人目の素数さん
17/09/23 13:18:08.97 N/RMP/ia.net
>>524
>>458について>>541で完全に説明しました
あなたの知的能力が低すぎて理解できないだけでしょう
遺伝によるものか環境によるものかは不明ですが
いずれにせよ原因はあなたにあります

579:132人目の素数さん
17/09/23 13:23:13.50 N/RMP/ia.net
>>526
ID:8lIM/3/vの発言は
0.10000・・・は0.00000・・・ と同値 (1が1個)
0.11000・・・は0.00000・・・ と同値 (1が2個)
0.11100・・・は0.00000・・・ と同値 (1が3個)
・・・
だから、
0.11111・・・は0.00000・・・ と同値 (1が無限個)
というのと全く同様の初歩的な誤り

580:132人目の素数さん
17/09/23 13:30:24.91 N/RMP/ia.net
「箱入り無数目」否定論のうち「決定番号∞」については、
「∞が列の最後であってその先の尻尾が存在しない」
という理屈で、選択列の代表列をとらせないという戦法だったが
当然ながら∞が自然数でないので、論破された
その後この主張が持ち出されなくなったのは、
∞が自然数でない、という事実が受け入れられたため
と考えていいだろう 
(これで1アウト)

581:132人目の素数さん
17/09/23 13:30:42.63 oY3/5AOh.net
>>531
>「可算無限族」について、>>460の4項と5項に、きちんと書いていますよ(^^
あのー・・・ 「可算無限族」がわからないと言ってるんじゃないんですよw
あなたは、>>471に対して
>「可算無限族」から従いますよ
が回答になってると思ってるんですか? どんな理屈によって「従う」んですか?
私には ワ ケ ガ ワ カ ラ ナ イ

582:132人目の素数さん
17/09/23 13:35:19.36 N/RMP/ia.net
さて「箱入り無数目」否定論は「同値類のco-tail」に移行したが
そもそもco-tailが存在すると、なぜ否定されるのかが全く明確でない
「co-tailは無限列ではあるらしいが、その始まりは明ら


583:かでない」 ということらしいが、仮にそういうものがあったとすれば、 むしろ箱入り無数目の予測確率を1にできると思われる というのはco-tailの箇所にあたる箱を選んでしまえばよいからである もちろんco-tailは存在しないから、そんな虫のいいことはできないわけだが



584:132人目の素数さん
17/09/23 13:42:50.39 N/RMP/ia.net
決定番号が自然数の値をとる確率が0だから
可算加法性によれば、決定番号が必ず自然数の値をとる
という主張と矛盾してしまう、というのであれば、
それはそもそも「同値類の代表元がとれない」
という主張につながる つまり選択公理の否定である
この根底には「そもそも非可測関数は存在し得ない」という前提がある
ただし、その前提はZFの定理ではないから、箱入り無数目の前提である
ZFCを否定するものではない

585:132人目の素数さん
17/09/23 13:45:49.60 oY3/5AOh.net
>>532
>証明は、”41 スレリンク(math板:580-589番) <時枝数列の同値類のしっぽの共有部分が空集合でないことについて>証明と説明”(>>11
で、そのままです
>vii)従って、帰納法により、しっぽの先の共通部分は、決定番号が全ての自然数に渡っても、一つの同値類については、空集合ではない(集合の濃度は可算無限である)。
帰納法からそんな結論は言えません。
「そのまま」ということは「間違いのまま放置」ということですよ?それでいいんですね?

586:132人目の素数さん
17/09/23 13:48:28.75 N/RMP/ia.net
「決定番号∞」
→有限、無限に関わらず列の最後が存在すべきという前提から
 自然数の公理を否定する異数学
「決定番号は自然数の値をとる確率は0」
→決定番号分布が可測であるべきという前提から
 選択公理を否定する異数学

587:132人目の素数さん
17/09/23 14:00:37.72 N/RMP/ia.net
ちなみに異数学の英訳はanother mathematicsです
――
ようこそ、2chの異数学へ
2ch数学板の中には
正統な数学とはどこか違う雰囲気をもった
「異数学」が混在しています
ワンダーマセマティクス
忽然と姿を現すそんな「異数学」に気づいたとき
すでに私たちは不可思議な世界に足を踏み入れているのです
さあ、2chの異数学探検へ出発しましょう
---
URLリンク(www.youtube.com)

588:132人目の素数さん
17/09/23 14:01:04.83 oY3/5AOh.net
スレ主さん
あなたが提唱した S_π の co-tail は第何項目から先のしっぽなんですか?
講釈は不要なので自然数で答えてもらえますか?

589:132人目の素数さん
17/09/23 14:08:24.85 bDbhs4+a.net
>>479 >>517 >>531
> 「可算無限族」から従いますよ
「∀d∈N に対し」だとdより大きい可算無限個の自然数の存在もセットになっている
「∀d∈N に対し」(dより大きい自然数が存在するので)「co-tail'_d not= Φ」
「iはすべての自然数を渡るので」
全ての自然数を渡るにはiより大きい可算無限個の自然数の存在をセットにして考えることはできない
可算無限個の箱に順番に全ての自然数のみが入っているとする {1, 2, ... , n, ... }
これはR^Nの元であるしR^Nの代表元の1つと考えても良い
また決定番号と箱の中身が必ず一致するので扱いやすい
(a) 「∀d∈N に対し」1からdまでの数字を箱から取り出す(= 共通しない項の除外)
d番目の箱までは空になって残りは{d+1, d+2, ... , d+k, ... }
(b)「全ての自然数に渡って」数字を箱から取り出す(= 共通しない項の除外)
全ての箱が空になる
可算無限個の全ての箱が空であればそもそもco-tailになりうる箱の中の数字自体が存在しない

590:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 14:09:27.81 8lIM/3/v.net
>>535-536
面白いね
”⊂”をきちんと、自分で定義すれば良いだけのこと
定義の手間を惜しんではいけません
これ数学の教訓だよ。それだけです

591:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 14:09:41.74 8lIM/3/v.net
>>539
なるほど、ID:N/RMP/iaが、牙を抜かれた猫のピエロか

592:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 14:10:39.61 8lIM/3/v.net
>>540
いやいや、ちょっと待って(^^
>>458が、>>540の意味だって??
辻褄合ってないよ。話をすり替えているよね(^^
>>540の証明をしたければどうぞ。だけど、その前に、>>458の説明をきちんとしてくれよ~(^^

593:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 14:11:11.04 8lIM/3/v.net
>>541
「100%完全に数学的な証明」? 気は確かか? 小学生みたいこと書いて、それ数学の証明だって?
>どの項a_nも、一致番号n+1ではco_tailに入らない
>といえるので、co_tailは存在しない
「どの項a_nも、一致番号n+1ではco_tailに入らない」→「co_tailは存在しない」というけれど・・
 どの項a_nも、それより後ろに、tail(しっぽ)を持っていますよね?
 あなたの論法だと
”どの項a_nも、一致番号n+1では、(それより後ろの)tail(しっぽ)に入らない”→”tail(しっぽ)は存在しない”が証明できてしまいますよ(^^

594:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 14:11:45.21 8lIM/3/v.net
>>542
曲解お断り。
>>534のYesは、「集合族 Xn が単調減少である」とは「X1⊃X2⊃・・・」を前提として、回答したもの
対して、>>412の意味は、きちんと、”(>>406より)「ここで、{s_ M +1,s_ M +2,・・・} の集合の濃度は可算無限である(i.e. 集合の濃度に変化なし)」”
と書いてあるとおりですよ

595:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 14:12:18.45 8lIM/3/v.net
>>543
論点ずらしご苦労さん(^^
1)>>458については、書いた自分が説明不能と理解した >>
2)>>541の証明は、おかしいよ。(なお、そんな単純かつ簡単な、証明の誤りに気付かないのは、あんた異常に幼稚だね)

596:132人目の素数さん
17/09/23 14:31:12.65 N/RMP/ia.net
>>556
辻褄あってますよ
>>557
精神的に正常ですよ
>どの項a_nも、それより後ろに、tail(しっぽ)を持っていますよね?
ええ
>あなたの論法だと
>”どの項a_nも、一致番号n+1では、(それより後ろの)tail(しっぽ)に入らない”
>→”tail(しっぽ)は存在しない”が証明できてしまいますよ(^^
肝心な言葉が抜けてますよ
「同値類全体で共通のtail(しっぽ)は存在しない」
が証明できてしまう つまり貴方は間違ったということです

597:132人目の素数さん
17/09/23 14:36:30.67 oY3/5AOh.net
>>558
落ち着いて下さい
>>407に対しあなたは
>そこ(”単調減少”)アウトだよ(>>412
と答えましたね? Y/N
それは単調減少の定義が共有できていなかったからですね? Y/N
定義が共有できた現在はアウトだと考えていないですね? Y/N
定義が共有できた現在は>>407の主張を認めますね? Y/N

598:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 14:42:17.00 8lIM/3/v.net
>>545
>(これで1アウト)
出ました。ピエロのお得意が(^^
な~んだ。やっぱり、ピエロが猫被っていたのか?
URLリンク(kotobank.jp)
デジタル大辞泉の解説
猫(ねこ)を被(かぶ)・る
(抜粋)
うわべをおとなしく見せかける。「入社当時は―・ってしとやかそうだった」
(引用終り)
>「箱入り無数目」否定論のうち「決定番号∞」については、
>「∞が列の最後であってその先の尻尾が存在しない」
ほんとにピエロは、妄想がひどいね
だれも、そんなことは、言ってね-ぞ(^^

599:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 14:42:59.49 8lIM/3/v.net
>>547-548 >>550-551
ほんとにピエロは、妄想がひどいね
ゴミレス、ご苦労(^^

600:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/23 14:43:18.60 8lIM/3/v.net
>>500
おっちゃん、どうも、スレ主です。
「渡る」と「渉る」で、そんなに複雑な数学的使い分けはしてないと思うよ
もし、そういう使い分けをしているというなら、典拠をしめしてくれ!
なお、「渡る」の用例、検索結果は下記だ(^^
URLリンク(ja.wikipedia.org)
斉次多項式
(抜粋)
上記の一意的な分解は、 R が R_{d} たちの直和(非負の整数すべてを渡る和)
URLリンク(www.wikiwand.com)
実解析的アイゼンシュタイン級数
(抜粋)
和は互いに素な整数のペア全体を渡る。
注意:いくつかの少し異なる定義もある。因子 1/2 を省略する著者もいるし、(m, n)が渡る和の範囲を(0, 0)を除くすべての整数のペアとする著者もいる。

601:132人目の素数さん
17/09/23 15:07:22.


602:01 ID:N/RMP/ia.net



603:132人目の素数さん
17/09/23 15:21:17.07 NARsnXvT.net
>>564
>「渡る」と「渉る」で、そんなに複雑な数学的使い分けはしてないと思うよ
あ~、それは単なる漢字をどう書くかという意味に過ぎず、数学的意味は同じ。
それより、記号「⊂」や「N」は、どっちも2通りの定義というか解釈が出来るよ。
「A⊂B」と書いたら「集合Aは集合Bの部分集合である」という意味に解釈が出来るし、
「AはBの真部分集合である」という意味に捉える解釈の仕方も出来る。
自然数の記号Nも、Nに自然数0が属するという意味になるときと
Nに0が属さないという意味に捉えるときがある。
まあ、上の議論では記号Nを後者の意味にしているようだが。
こういうときは、より正確な記号として N^{+} という正の自然数全体からなる集合を表す記号がある。

604:132人目の素数さん
17/09/23 15:52:14.73 N/RMP/ia.net
ようこそ、2chの異数学へ
2ch数学板の中には
正統な数学とはどこか違う雰囲気をもった
「異数学」が混在しています
ワンダーMATH
忽然と姿を現すそんな「異数学」に気づいたとき
すでに私たちは不可思議な世界に足を踏み入れているのです
さあ、2chの異数学探検へ出発しましょう

605:哀れな素人
17/09/23 16:31:10.49 sbZUD6by.net
>>538
もちろん1である(笑
1.00000……も0.99999……も、その極限値は1だが、
1.00000……≧1>0.99999……である。

606:132人目の素数さん
17/09/23 16:35:17.08 oNBAQCHD.net
書き込みのペースが早過ぎだろ!!
土日は暇を患った奴が多いのか?

607:132人目の素数さん
17/09/23 16:57:43.03 N/RMP/ia.net
>>569
2017/09/17(日)  1-119
2017/09/18(月) 120-362
2017/09/19(火) 363-380
2017/09/20(水) 381-399
2017/09/21(木) 400-439
2017/09/22(金) 440-473
2017/09/23(土) 474-569

608:132人目の素数さん
17/09/23 17:01:10.53 N/RMP/ia.net
トンデモとは、
「とんでもない」に由来する言葉である。
トンデモ概要
元は藤倉珊が、横田順彌の『日本SFこてん古典』に登場するような
いわゆる「奇書」を指して、自らの著したエッセイ集で提唱した言葉
『とんでも本』が発端とされる言葉。
藤倉はこの「とんでも本(トンデモ本)」というものを
『著者が意図したものとは異なる視点で(=別の意味で)楽しめるもの』
と定義している。著者の無知や勘違い、誤解や妄想などの要素から、
常識を逸脱した凄まじくおかしな内容になった本を指す。
この言葉を、そしてこれらの本を、山本弘をはじめとする
トンデモ本の愛好者たちが「と学会」を発足し広めていった事で
「トンデモ本」は定着していくようになる。
トンデモ本の著者たちはいたって大真面目であり、
読者を笑わそうなどとはこれっぽっちも思っていない。
しかし、常識ある人間が見れば、その内容は爆笑するしかない代物なのである。
「トンデモ本の世界」まえがきより

609:132人目の素数さん
17/09/23 17:03:05.97 N/RMP/ia.net
(トンデモ本とは)具体的には、ニセ科学と扱われる内容を真の科学として主張したり、
デタラメな論説や歴史などを大真面目に紹介している本などが該当。
(もっとも、これらの本がトンデモ本としてと学会より紹介される機会が多いため、
 「と学会はオカルトを否定・批判する団体」という誤った認識が広まる一因にも
 なっているのだが。)
大体は本や文書を指して「トンデモ本」という使われ方が多いため、
本以外のものに対して使われる機会は(トンデモ本と比べると)少ないが、
トンデモ本で扱われている「トンデモ説」と、またこれらの説を唱えている人や
信じきっている人を「トンデモさん」と呼称するといった感じに、基本的には
『トンデモ○○』の形で用いられる事が多い。
単純に「トンデモない○○」の意味な


610:のか、それともトンデモ本の例と同じく 「著者(作者、発言者、etc...)が意図したものとは異なる視点で楽しめる○○」 という意味なのかはそれらの内容次第となるだろう。 どちらの用法も間違いではないだろうが、トンデモ本という言葉の意味を 考えるならば厳密には後者が正しいと思われる。



611:132人目の素数さん
17/09/23 17:04:10.71 07DTvTkZ.net
スレ主には数学は無理
数学やめろ

612:132人目の素数さん
17/09/23 17:04:20.67 N/RMP/ia.net
「本人が意図したものとは異なる視点で」の部分が当てはまれば
基本的には「トンデモ○○(トンデモ本)」の呼び方は成立する
と思われる為、場合によっては倫理的に問題があるものにも
トンデモの呼び名が付く事もある。
上記のように、著者(or発言者、当人達)はウケを狙っているわけでもないし、
最初から相手を笑わせるために行動しているわけでもない。
だが本人たちが真面目であれば真面目であるほど、その真面目ぶりが空回りして
ヘタなギャグよりも大笑いできる、そんな風景ややり取りを当記事をご覧の貴方も
おそらくこれまでに一度は目にした事があるのではないだろうか。
要するに、ニコニコ的には平たく言えば「シリアスな笑い」とでも置き換えると
いいかもしれない。
(しかし、これらの「シリアスな笑い」を笑いのネタとすら認識できなくなってくると・・・)
トンデモ本を読んで笑えるかどうか- -それがあなたの知識と常識の深さを測る
バロメーターなのだ。
「トンデモ本の世界」あとがきより

613:132人目の素数さん
17/09/23 17:05:19.98 N/RMP/ia.net
>>573
ようこそ、2chの異数学へ
2ch数学板の中には
正統な数学とはどこか違う雰囲気をもった
「異数学」が混在しています
ワンダーMATH
忽然と姿を現すそんな「異数学」に気づいたとき
すでに私たちは不可思議な世界に足を踏み入れているのです
さあ、2chの異数学探検へ出発しましょう

614:132人目の素数さん
17/09/23 18:13:43.72 07DTvTkZ.net
>>575
> 正統な数学とはどこか違う雰囲気をもった
雰囲気が違うんじゃない。単にマチガッテル。

615:132人目の素数さん
17/09/23 18:34:33.24 RbwIxUjK.net
さてと、mathでもかくか。

616:132人目の素数さん
17/09/23 18:43:50.85 N/RMP/ia.net
>>576
平行線公準とその否定の公準を両方とも設定すれば間違ってます
ただ、どちらか一方を設定するならば間違いとは言えません
自然数の公理を否定して、別の公理を立てたとして
別の公理から矛盾が導かれないならば「異数学」です
ただ、箱入り無数目はZFC上の定理なので
異数学では定理でない、というだけでは
箱入り無数目の否定にはなりませんが

617:132人目の素数さん
17/09/23 18:46:17.11 N/RMP/ia.net
非ユークリッド幾何学は今の数学でも認められているので「異数学」とはいいませんが、
ユークリッド幾何学が正統だと思ってる人にとっては、「異数学」に見えるでしょうね

618:132人目の素数さん
17/09/23 20:19:47.26 PswZpto1.net
>>570
つまり、普段から暇を患ってるんだな

619:132人目の素数さん
17/09/23 22:55:16.31 34UCU0pf.net
>>578-579
ツマンネ

620:132人目の素数さん
17/09/24 09:14:11.97 MTpD6Q3u.net
以下のリンクによると、ZFCの下で以下がいえる
・連続体仮説⇒積分の交換で値か変わる例の構成
・「積分の交換で値が不変」としても無矛盾
 (当然ながら連続体仮説は否定される)
URLリンク(researchmap.jp)

621:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/24 14:05:03.72 WNy52BWx.net
>>561
まず、へんなことを言って悪いが
>>521より)”「集合族 Xn が単調減少である」とは「X1⊃X2⊃・・・」です。”なら
それ、”単調減少列”と”列”が入るのが、正式の用語だと思うんだけどね(下記URL参照)
数学用語ですから、次から、きちんと、”単調減少列”と書いてくださいね!
さて
>>そこ(”単調減少”)アウトだよ(>>412
>と答えましたね? Y/N
すでに回答済み。付け加えることはない
>それは単調減少の定義が共有できていなかったからですね? Y/N
N。定義は自分ですべき。かつ、集合列についてなら、”単調減少列”という用語をきちんと使うべきと思う
>定義が共有できた現在はアウトだと考えていないですね? Y/N
すでに回答済み。付け加えることはない。
>定義が共有できた現在は>>407の主張を認めますね? Y/N
当然Y。 かつ、下記の2つのURLを見るように。そこに、集合列の極限について書いて有るとおり
”lim[n→∞] B_n ≠ φ”と”lim[n→∞] B_n ≠ φ”と、両方の可能性がある。それ当然のこと。数列の極限となんら変わらない
あなたの言いたいことが、分ってきたので、次から説明するよ(^^
(参考)
URLリンク(rikei-index.blue.coocan.jp)
集合の上極限、下極限 理系インデックス
(抜粋)
定義 ( 増大列、減少列 )
URLリンク(www.ne.jp)
極限集合  数学についてのwebノート
(抜粋)
定義:(単調)減少列decreasing sequence
つづく

622:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/24 14:06:38.09 WNy52BWx.net
>>583 つづき
以下補足説明
<補足1:極限が存在しても、関数がその値を取るとは限らない(極限と関数との関係)>
1.極限が存在しても、関数がその値を取るとは限らない
 1)下記に、面白い例がある。特に、f(x) = e^x/(1 + e^(1/x)) (x≠0) が面白い
 2)下記URLに、面白いグラフがあるので、是非見て欲しい。(^^
 3) x → + 0 (正の側から 0 に近づく極限)と x → -0 (負の側から 0 に近づく極限)の値が異なっている
   lim (x → + 0) f(x) =0。一方、lim (x → - 0) f(x) =1。だが、x=0 では、値は取れない。
 4)さて、これを使って、x = 1/n と置き換える。「x → ± 0」は、「n → ±∞ 」になる。
   f(x) = e^x/(1 + e^(1/x)) (x≠0) → f(1/n) = e^(1/n)/(1 + e^(1/(1/n))) ((1/n)≠0)
   lim (n → + ∞) f(1/n) =0。一方、lim (x → - ∞) f(1/n) =1。だが、(1/n)≠0つまり(不正確な記法だが)n=±∞ では、値は取れない。
 5)繰返すが、”極限が存在しても、関数がその値を取るとは限らない”。そして、”n=±∞ では、値は取れない”
 6)実際、f(n) =1/nで、lim (n → + ∞) f(n) =0。だが、∀n∈Nの範囲では、f(n) >0であり、”=0”は実現できない
URLリンク(excelmath.atelierkobato.com)
不連続な関数 Excel VBA 数学教室 2016/6/14
(抜粋)
f(x) = e^(1/x) (x ≠ 0)
f(x) = e^x/(1 + e^(1/x)) (x≠0)
(引用終り)
つづく

623:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/24 14:08:37.58 WNy52BWx.net
>>584 つづき
<補足2:集合の減少列の極限が存在するが、上記「極限と関数との関係」と同じ>
1.最初に引用した、”集合の上極限、下極限 理系インデックス”(下記URLご参照)に再登場願う
2.ここに、減少列の極限の[具体例]として、「lim (n→∞)An = (-∞,-∞) = φ 」となる例が示されている。
3.しかし、空集合φは、極限としてはそうだが、n=∞とは成り得ないから、∀n∈Nの範囲では空集合φは実現できない。
4.それは、あたかも上記「f(n) =1/nで、lim (n → + ∞) f(n) =0。だが、∀n∈Nの範囲では、f(n) >0であり、”=0”は実現できない」ってことと同じ
URLリンク(www.ne.jp)
極限集合  数学についてのwebノート
(抜粋)
定理:減少列の極限
 [具体例]
  集合列
    (-∞, -1 ], (-∞, -2 ], (-∞, -3 ],…, (-∞, -100], …, (-∞, -1000], …
  すなわち、An=(-∞, -n ] , n∈Nとして、集合列{ An | n∈N }を考える。
   集合列{An}は、An⊃An+1 ( n=1,2,… ) を満たすので、「減少列」。
lim (n→∞)An = (-∞,-∞) = φ
(引用終り)
つづく

624:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/24 14:10:46.19 WNy52BWx.net
>>585 つづき
<補足3:極限と数学的帰納法の違い:数学的帰納法は、∀n∈Nの範囲内。極限は、lim (n→∞)で、∀n∈Nの範囲外。>
1.極限:lim (n→∞)An = (-∞,-∞) = φ 、∀n∈Nの範囲外。
2.帰納法:∀n∈Nで、An ≠ φ、∀n∈Nの範囲内。
お分かりかな?(^^
つづく

625:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/24 14:18:11.33 WNy52BWx.net
>>586 つづき
<補足4:区間An=[ n, +∞ ) 内には、可算無限の箱がある >
1.(厳密な記法ではないが)区間An=[ n, +∞ )の長さLは、通常のユークリッド距離(参考:下記wikipedia)を考えると、∀n∈Nの範囲で常に、L=∞である。
2.∴区間An=[ n, +∞ ) 内には、可算無限の箱が存在する
3.補足:時枝記事”35 スレリンク(math板:13番) 時枝問題(数学セミナー201611月号の記事)”(>>11)の
  一つの可算無限から100列の可算無限列を作り出し、また、確率1-εを導くために、任意のn列の可算無限列を作り出すのと類似。
  無限集合は、その部分集合と、同じ濃度を持つ(=デデキント無限)。
4.だから、極限:lim (n→∞)An = (+∞,+∞) = φ であるけれども
  極限φ以外では、帰納法により∀n∈NでAn ≠ φで、しっぽには可算無限の箱が存在するのである
URLリンク(ja.wikipedia.org)
距離空間
(抜粋)
ユークリッド距離
(引用終り)
URLリンク(ja.wikipedia.org)
デデキント無限
以上

626:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/24 14:19:34.25 WNy52BWx.net
>>546 >>549 >>552
>>583-587をみて頂戴(^^
それで、回答は十分でしょ

627:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/24 14:20:12.88 WNy52BWx.net
>>560
ピエロご苦労
>>583-587をみて頂戴(^^

628:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/24 14:21:44.50 WNy52BWx.net
>>565
(>>562より)
>>「箱入り無数目」否定論のうち「決定番号∞」については、
>>「∞が列の最後であってその先の尻尾が存在しない」
あのな、”∞”を導入することも可能だよ。
平場 誠示先生 東京理科大(>>478)の通り URLリンク(www.ma.noda.tus.ac.jp)
”2.3 測度空間 R~ = R∪{±∞} として, +∞ = ∞ と表し, 便宜上, 次のように定める: ・・”みたいにね
ピエロは、小学生だから知らないかもしれないが、”∞”を導入するときは、きちんと定義しないとだめなんだよ~(^^
まだ、定義していないからね
「決定番号∞」みたいな書き方は、だめですよ~。ぼくちゃん! しっかり勉強してくださいね!(^^
それと、高校数学の悪習が消えていないようだ
極限で、lim n→∞ とやるので、無限大、即”∞”が浮かんでしまう
高校程度なら良いが、大学レベルあるいは時枝問題クラスになると、それが理解の妨げになるんだよ~(^^
なお、>>583-587をみて頂戴(^^

629:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/24 14:22:28.13 WNy52BWx.net
>>566
おっちゃん、どうも、スレ主です。
>それより、記号「⊂」や「N」は、どっちも2通りの定義というか解釈が出来るよ。
そうそう、記号や用語は、いろいろ歴史や流儀があるからね
例えば、小数点。
日本は「1,234,567.89」。
ドイツ「1.234.567,89」。
カンマと点の使い方が逆。
だから、きちんと定義の確認が必要だよね
URLリンク(ja.wikipedia.org)
小数点

630:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/24 14:22:57.78 WNy52BWx.net
>>567>>571-572>>574-575
ピエロ、論点ずらし、必死だな(^^
だれか、新スレを立てたようだな
そっちに行ったらどうだ?
ピエロ、お山の大将になれるぞ!!(^^
スレリンク(math板)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む43

631:132人目の素数さん
17/09/24 14:45:46.86 WjOZ4Rtu.net
>>588
>>583-587をみて頂戴(^^
>それで、回答は十分でしょ
講釈は不要、自然数で答えて下さい。
と言いましたが?日本語読めませんか?
(>>552)
>スレ主さん
>あなたが提唱した S_π の co-tail は第何項目から先のしっぽなんですか?
>講釈は不要なので自然数で答えてもらえますか?

632:132人目の素数さん
17/09/24 15:31:11.14 MTpD6Q3u.net
>>587
>4.極限:lim (n→∞)An = (+∞,+∞) = φ である・・・
でしょう?だから、同値類全体に共通する尻尾は存在しませんよ

633:132人目の素数さん
17/09/24 15:41:08.58 MTpD6Q3u.net
>>590
>”∞”を導入することも可能だよ。
しかし、∞は自然数の公理に反


634:する したがって、「∞番目の項がある数列」で 箱入り無数目の方法が成り立たない といったところで、それはZFCとは異なる 「異数学」での出来事にすぎない



635:132人目の素数さん
17/09/24 16:09:28.47 MTpD6Q3u.net
>>592
>だれか、新スレを立てたようだな
>そっちに行ったらどうだ?
なるほど、自分の立てたスレッドに引き籠るので
誰もこっちに来るな、ということですか

636:132人目の素数さん
17/09/24 16:20:37.53 wpJmewN0.net
>>587
> 極限φ以外では、帰納法により∀n∈NでAn ≠ φで、しっぽには可算無限の箱が存在するのである
「∀n∈N」に対して決定番号は suc(suc( ... (suc(n)) ... )) の形になって自然数である
だから時枝解法が成立するわけ
スレ主は以前から決定番号の極限を考えなくてはいけないと主張していたわけだ
>>590
> 「決定番号∞」みたいな書き方は、だめですよ~。
> それと、高校数学の悪習が消えていないようだ
> 極限で、lim n→∞ とやるので、無限大、即”∞”が浮かんでしまう
> 高校程度なら良いが、大学レベルあるいは時枝問題クラスになると、それが理解の妨げになるんだよ~
スレリンク(math板:320番)
> 以上をまとめると、つまりは、”可算無限個の箱”から出発して、しっぽの同値類から決定番号を考える限り、その最大値∞は避けられないように思う
> 最大値∞で、「100列から、決定番号の確率 99/100」がすんなり証明できるのか???
> 再度附言しておくが、R^ Nについては、上記のように、いろんな直積集合上の順序が考えられ、それは現代数学の中
> ただし、しっぽの同値類から成る決定番号は、現代数学の外。ここを強調しておく
「決定番号を考える限り、その最大値∞」
スレリンク(math板:194番)
> 先に述べたように、小さい(A'の桁の短い)決定番号の出現確率は、m→∞の極限では確率0に収束する。
> そして、同値類の集合としては、明らかにm→∞の極限を考える必要がある

637:132人目の素数さん
17/09/24 17:19:59.30 ymaCu15h.net
> >>561
> まず、へんなことを言って悪いが
> (>>521より)”「集合族 Xn が単調減少である」とは「X1⊃X2⊃・・・」です。”なら
> それ、”単調減少列”と”列”が入るのが、正式の用語だと思うんだけどね(下記URL参照)
> 数学用語ですから、次から、きちんと、”単調減少列”と書いてくださいね!
へえ。そんな言い訳があるんですか。
スーパーマンをスーパーと呼ぶなっ!ていうなら分かりますけどね。

638:132人目の素数さん
17/09/24 17:39:11.79 ymaCu15h.net
2分で分かるスレ主の数学リテラシー

---------
スレリンク(math板:428番)
> >>419
> >B_n は単調減少
>
> 一体、なにが減少しているんでしょうか? 無限大-有限 = 無限大ですよ!!
> それに、lim n=(1→∞) {a+(1/n)} = a ですよ!
> {a+(1/n)} は、単調減少ですが、a=0以外では、0に収束しません!!(^^

---------
スレリンク(math板:429番)
> >B_n = { n, n+1, n+2, n+3, … } (n≧1)
> >このとき、B_n は空でない N の部分集合であり、
> >B_n は単調減少であり、∩[n=1~∞] B_n = φ である。
>
> この文章は、錯覚ですよ。B_n は単調減少とは言えません!
> 実際、全単射:B_n←→N(自然数の集合)が、任意のn∈Nについて成立します。

---------
スレリンク(math板:583番)
> >>561
> まず、へんなことを言って悪いが
> (>>521より)”「集合族 Xn が単調減少である」とは「X1⊃X2⊃・・・」です。”なら
> それ、”単調減少列”と”列”が入るのが、正式の用語だと思うんだけどね(下記URL参照)
> 数学用語ですから、次から、きちんと、”単調減少列”と書いてくださいね!

639:132人目の素数さん
17/09/24 17:43:48.66 WjOZ4Rtu.net
>>1
>皆さまのご尽力で、伝統あるガロアすれは、数学板での勢いランキングで、実質ダントツ1位です。
あなたのトンデモ説を否定するレスがほとんどですけどね

640:132人目の素数さん
17/09/24 19:25:56.69 MTpD6Q3u.net
>>600
ようこそ、2chの異数学へ
2ch数学板の中には
正統な数学とはどこか違う雰囲気をもった
「異数学」が混在しています
ワンダーMATH
忽然と姿を現すそんな「異数学」に気づいたとき
すでに私たちは不可思議な世界に足を踏み入れているのです
さあ、2chの異数学探検へ出発しましょう

641:132人目の素数さん
17/09/24 20:12:08.20 pbL19qyx.net
スレ主は「単調減少」と「単調減少列」の言葉遣いに難癖をつけているが、
>>599を見ると、仮に「単調減少」を「単調減少列」と書いていたところで、
どのみちスレ主は
X1⊃X2⊃・・・
の意味には解釈できなかったであろう。

642:132人目の素数さん
17/09/24 20:53:10.44 WjOZ4Rtu.net
集合族の単調減少なんて区間縮小法(大学一年一学期)とかでごく普通に使われる
ありふれた概念なんだけど、彼は一体何を勉強してきたんだろう?

643:132人目の素数さん
17/09/25 06:21:40.57 tptrR/XS.net
>>603
>彼は一体何を勉強してきたんだろう?
異数学じゃね?

644:132人目の素数さん
17/09/25 20:1


645:3:21.54 ID:KwAu4ZJg.net



646:132人目の素数さん
17/09/25 20:30:38.18 3iOR6Igd.net
502 名前:132人目の素数さん[] 投稿日:2017/08/15(火) 19:14:09.11 ID:MgvDl1uC [14/22]
【悲報】スレ主がεN論法を全く理解していないことが判明
スレリンク(math板:473番)
>∀n∈N,∃m∈N,n≦m
>∃m∈N,∀n∈N,n≦m
スレリンク(math板:497番)
>命題1は、不成立。理由は、Nに上限はないから
>命題2は、成立。理由は、第一条件であるm∈Nを取って、その範囲で、”第二条件(小前提)∀n∈N, 結論 n≦m”が成り立つようにできる
スレリンク(math板:569番)
逆ですよー :-)
命題1 は成立するのです。どんな n についても、それぞれの n がそれ以上の自然数を持っていますから。
命題2 は成立しません。すべての自然数nに対して絶対的に n <= m となる特定の自然数mは存在しません。

647:132人目の素数さん
17/09/26 00:05:19.53 /QRySCak.net
日常用語で「無数」といえば「数えきれないくらいたくさん」
て感じだが、工学部にとっての「無限」もそんな感じ

648:132人目の素数さん
17/09/26 00:40:09.82 FBqoVdUR.net
さすがにスレ主を平均サンプルに取ったら工学部がかわいそう

649:132人目の素数さん
17/09/26 06:39:51.19 YjSJHq2K.net
ようこそ、2chの異数学へ
2ch数学板の中には
正統な数学とはどこか違う雰囲気をもった
「異数学」が混在しています
ワンダーMATH
忽然と姿を現すそんな「異数学」に気づいたとき
すでに私たちは不可思議な世界に足を踏み入れているのです
さあ、2chの異数学探検へ出発しましょう

650:132人目の素数さん
17/09/26 17:46:00.99 n6zzev4y.net
>>607
工学部を馬鹿にしすぎ。
スレ主はいくら馬鹿にしてもしすぎるということはない。
馬鹿にするのはスレ主だけにしとけ。
あと素人氏も。

651:132人目の素数さん
17/09/26 20:50:03.33 t+bA8WKZ.net
>>607全くその通り

652:哀れな素人
17/09/26 23:00:06.34 iFQ+B8jY.net
>>610
>あと素人氏も。
どこが(笑
お前らはみんなただのアホ(笑

653:132人目の素数さん
17/09/27 01:17:37.90 fl8H1hBF.net
素人は論外だが、じゃあスレ主が素人よりマトモかと問われるとかなり怪しい
だって言ってることがほとんど同じなんだもん ⇒>>444
やっぱトンデモ同士考えも似るってことか

654:132人目の素数さん
17/09/27 06:09:42.35 9jbfOLsB.net
ようこそ、2chの異数学へ
2ch数学板の中には
正統な数学とはどこか違う雰囲気をもった
「異数学」が混在しています
ワンダーMATH
忽然と姿を現すそんな「異数学」に気づいたとき
すでに私たちは不可思議な世界に足を踏み入れているのです
さあ、2chの異数学探検へ出発しましょう

655:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/27 08:30:03.24 FCHsJSPl.net
>>594-595
時枝記事に関する補足説明は、>>583-587で終わっている。
”40 スレリンク(math板:597-598番)時枝記事そのままの入れ方で、決定番号が、1からnの間に来る確率は、0(ゼロ)の証明”(>>11)
の補足としては、これで十分だ
これで、自得できるだろうと、忙しいこともあり放置していた
が、理解が進まない人もいるようだ
帰納法と極限の話は、1年前にも議論があって、下記を説明している。理解出来なかった人もいるらしい
スレ20 スレリンク(math板:27-29番)
さらに、ピエロは、そのころは居なかったろう
だから、小学生にも分るように説明しようと思う
つづく

656:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/27 08:31:16.59 FCHsJSPl.net
>>615 つづき
さて、平場 誠示先生 東京理科大(>>478)の通り (URLリンク(www.ma.noda.tus.ac.jp) )(>>590
R~ = R∪{±∞} として, +∞ = ∞ を導入しよう
いわゆる拡大実数 (URLリンク(ja.wikipedia.org)拡大実数)だ
これに応じて、拡大自然数N~={1,2,3,・・・, ∞}を考える
こうすれば、>>585の例で
オリジナル(元)“ [具体例]
  集合列
    (-∞, -1 ], (-∞, -2 ], (-∞, -3 ],…, (-∞, -100], …, (-∞, -1000], …
  すなわち、An=(-∞, -n ] , n∈Nとして、集合列{ An | n∈N }を考える。
   集合列{An}は、An⊃An+1 ( n=1,2,… ) を満たすので、「減少列」。
lim (n→∞)An = (-∞,-∞) = φ“
 ↓
拡大実数で“ [具体例]
  集合列
    [-∞, -1 ], [-∞, -2 ], [


657:-∞, -3 ],…, [-∞, -100], …, [-∞, -1000], …   すなわち、An=[-∞, -n ] , n∈N~として、集合列{ An | n∈N~ }を考える。    集合列{An}は、An⊃An+1 ( n=1,2,… ) を満たすので、「減少列」。 lim (n→∞)An = [-∞,-∞] ≠ φ“ となる つづく



658:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/27 08:32:17.94 FCHsJSPl.net
>>616 つづき
補足:
1.通常のRやNでは、∞を元として含んでいないので、開区間で、lim (n→∞)で“= φ”となる
2.拡大実数R~やN~では、∞を元として含むので、閉区間で、lim (n→∞)で“≠ φ”とできる
3.通常の数学的帰納法では、∞を元として含んでいないので、極限lim (n→∞)は通常の数学的帰納法の守備範囲外
(なお、∞は通常の数とは異なる演算規則があるので、この面でも通常の数学的帰納法の守備範囲外)
以上

659:現代数学の系譜 工学物理雑談 古典ガロア理論も読む
17/09/27 08:33:59.06 FCHsJSPl.net
>>593
>講釈は不要、自然数で答えて下さい。
すでに>>532で回答済み。「co-tail は、構成的に書けない」
選択公理を使うと、明示的な構成を持たない集合が存在しうることは、現代数学では常識です(^^
下記の、渕野昌先生、「非可測集合は存在するのか?」及び、“Axiom of choice Criticism and acceptance”(en.wikipedia)をご参照下さい
URLリンク(math.cs.kitami-it.ac.jp)
渕野昌 数学ノート 北見工大
URLリンク(math.cs.kitami-it.ac.jp)
非可測集合は存在するのか? 渕野昌 数学ノート 北見工大 20001018
URLリンク(en.wikipedia.org)
Axiom of choice
(抜粋)
Criticism and acceptance
Similarly, although a subset of the real numbers that is not Lebesgue measurable can be proved to exist using the axiom of choice, it is consistent that no such set is definable.[6]
The axiom of choice proves the existence of these intangibles (objects that are proved to exist, but which cannot be explicitly constructed), which may conflict with some philosophical principles.[7]
Because there is no canonical well-ordering of all sets, a construction that relies on a well-ordering may not produce a canonical result, even if a canonical result is desired (as is often the case in category theory). This has been used as an argument against the use of the axiom of choice.
Another argument against the axiom of choice is that it implies the existence of objects that may seem counterintuitive.[8]
One example is the Banach?Tarski paradox which says that it is possible to decompose the 3-dimensional solid unit ball into finitely many pieces and, using only rotations and translations, reassemble the pieces into two solid balls each with the same volume as the original.
The pieces in this decomposition, constructed using the axiom of choice, are non-measurable sets.
(引用終り)

660:132人目の素数さん
17/09/27 08:57:45.68 fl8H1hBF.net
>>618
じゃあ co-tail の定義を書いてみて。
構成はしなくていい。定義は書けるでしょ?
まさか定義すらも書けないと?定義すら書けない"何ものか"が存在するという主張?


次ページ
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch