現代数学の系譜 工学物理雑談 古典ガロア理論も読む42 [無断転載禁止]©2ch.net

■ このスレッドは過去ログ倉庫に格納されています
現代数学の系譜 物理工学雑談 古典ガロア理論も読む

前 現代数学の系譜 工学物理雑談 古典ガロア理論も読む41
http://rio2016.2ch.net/test/read.cgi/math/1504332595/

過去スレ39 で、数学セミナー時枝記事は終わりました。39は、別名「数学セミナー時枝記事の墓」と名付けます。

皆さまのご尽力で、伝統あるガロアすれは、数学板での勢いランキングで、実質ダントツ1位です。
(他の“勢いの上位”のスレは、¥さんの野焼き作業の貢献が大半ですので(^^ )

このスレは、現代数学のもとになった物理工学の雑談スレとします。たまに、“古典ガロア理論も読む”とします。
それで良ければ、どうぞ。
後でも触れますが、基本は私スレ主のコピペ・・、まあ、言い換えれば、スクラップ帳ですな〜(^^
話題は、散らしながらです。時枝記事は、気が向いたら、たまに触れますが、それは私スレ主の気ままです。
“時枝記事成立”を支持する立場からのカキコや質問は、基本はスルーします。それはコピペで流します。気が向いたら、忘れたころに取り上げます。

なお、
小学レベルとバカプロ固定
サイコパス一石
High level people
低脳幼稚園児のAAお絵かき
お断り!
小学生がたまにいますので、18金よろしくね!(^^

High level people は自分達で勝手に立てたスレ28へどうぞ!sage進行推奨(^^;
旧スレが512KBオーバー(間近)で、新スレ立てる
(スレ主の趣味で上記以外にも脱線しています。ネタにスレ主も理解できていないページのURLも貼ります。関連のアーカイブの役も期待して。)

0745哀れな素人2017/10/01(日) 10:18:35.01ID:ELh7StKw
ケーキを食べ尽くすことはできない。
1/2+1/4+1/8+……は1にならない。

このことが分れば

0.99999……は1ではない。

ことが分り、それが分れば

カントールの対角線論法は間違いである。

ことが分り、

非可算無限・濃度などの概念は間違いだ。

ということが分り、

可測・非可測などの概念も間違いである。

と分るのである。

0746哀れな素人2017/10/01(日) 10:26:40.05ID:ELh7StKw
>>744
お前と無益な議論をしても仕方がない。

僕は表記法などの議論をしているのではないのだ。
お前が、1/2+1/4+1/8+……は1になる、
と思っているなら、それは間違いで、
1/2+1/4+1/8+……は1にならない、と言っているのである。

そして1/2+1/4+1/8+……は1にならない、
というのは常識であり誰でも分っていることなのである、
ちょうど、ケーキを食べ尽くすことはできない、
というのが常識であり、誰でも分っているのと同じように。

お前が1/2+1/4+1/8+……は1にならない、
と分っているなら、お前が
1/2+1/4+1/8+……=1と書こうと文句は言わないのである。

0747132人目の素数さん2017/10/01(日) 10:32:45.94ID:ae4vWG5l
>>746
>ちょうど、ケーキを食べ尽くすことはできない、というのが常識
お前さんにとって「ケーキ」とは何か?

0748哀れな素人2017/10/01(日) 10:48:24.35ID:ELh7StKw
>>747
ケーキとはケーキである(笑

ケーキを買ってきて、半分に切って食べ、
残りをまた半分に切って食べ、
その残りをまた半分に切って食べ……
ということを繰り返して、はたして
ケーキを食べ尽くせるかどうか、やってみればいい(笑

食べ尽くせるなら
1/2+1/4+1/8+……は1になるが、
食べ尽くせないなら
1/2+1/4+1/8+……は1にはならないのである(笑

0749哀れな素人2017/10/01(日) 10:53:59.09ID:ELh7StKw
世間のまともな人が見たら、
なぜこんなケーキの話を延々とやっているのだろう、
と呆れるだろう(笑
ケーキを食べ尽くすことはできない、
というのは誰でも簡単に分かることだからだ(笑

ところが、こんなことを
おっちゃんその他数名は理解できないのだ(笑
理系の人間、数学科の人間が理解できないのだ(笑

0750132人目の素数さん2017/10/01(日) 11:03:06.67ID:ae4vWG5l
>>748
お前さんがいう「ケーキ」が日常生活におけるケーキのことを指しているなら、
物理的には有限回2つに分割して食べ続ければ食べ切れるに決まってんだろw
それなのに、原子や分子などの物理的な構造を捨象して、数学の話に持ち込もうとする考え方が間違っている。
無限級数の話に置き換えるにあたり、原子や分子のことを切り捨てている。

0751132人目の素数さん2017/10/01(日) 11:11:05.52ID:ptpnpdQN
お前の本じゃケツも拭けんから普通トイレットペーパー買うわな、お前の本買う金あるなら

0752132人目の素数さん2017/10/01(日) 11:15:53.75ID:RDeomlGb
>>749
命題の仮定を"要証明"とほざくスレ主に近いものを感じるなw

お前の数学では無限を仮定できない。
仮定できないのはお前の数学の公理系が我々のものとは違うからだ。
ケーキの原子数は有限個だし、食べ続けるという行為も所詮は有限回だ。
だけど数学は世の中の現実をありのままに映し出す必要はないの。分かる?
世の中に無限がなくたって数学でそれを仮定するのは構わないし、仮定しないのも自由。
言ってる意味分かるか?

> 理系の人間、数学科の人間が理解できないのだ(笑

そりゃ誤解だね。
数学科の人間はお前を理解しているよ。
お前の公理系は俺らとは違う、あるいは公理の解釈が違うってこと。
もう本当にそれだけのこと。
その公理系で面白い数学が生まれれば自由にやったらいいんだよ。
みんなそういう生白い目でお前を見てるわけよw
ただはっきりしてるのはお前は公理というものを理解していない。
違う公理なのに、なんで有限のケーキが数学の絶対的真実かのように吠えてるんだろう。
みんな「このおっさんサムイわー」って思ってるよ。
よって、そろそろお引取りください。

0753132人目の素数さん2017/10/01(日) 11:16:34.19ID:ae4vWG5l
>>748
>>750の訂正:
原子や分子などの物理的な構造を捨象して → 原子や分子などの物理的な構造を捨象「せずに」
原子や分子のことを切り捨てている。 → 原子や分子のことを切り捨てずに考えている。

0754哀れな素人2017/10/01(日) 12:34:04.00ID:ELh7StKw
↑そら見ろ、これが2chの現実だ(笑
ケーキを食べ尽くすことはできない、
ということすら理解できないアホの集まりなのだ(笑

公理系だとか、アホか(笑
無限は存在しないのに、無限を存在すると仮定して
公理系などを作っても何の意味もない(笑

アホすぎて話にならない(笑

よくもまあ、これだけのアホが揃ったものよ(笑
一体どんなアホ大学を出ているのだ、こいつらは(笑

0755哀れな素人2017/10/01(日) 12:46:02.24ID:ELh7StKw
要するにこのアホどもは数学は厳密の学である
ということが分っていないのだ(笑

無限が存在しないのなら
無限を存在すると仮定して公理系を立ててはいけない、
ということが分っていない(笑

どんな公理系でも勝手に立てて、
その上に理論を構築しても構わない、と思っているのだ(笑

いや、そもそもこのアホどもは、無限は存在しない、
ということすら分っていないのである(笑
カントールその他の近代以降のアホ数学者どもとまったく同じだ(笑

0756132人目の素数さん2017/10/01(日) 12:50:38.74ID:RDeomlGb
>>754
> 無限は存在しないのに、無限を存在すると仮定して
> 公理系などを作っても何の意味もない(笑

お前の仮定:「無限は存在しない」

オレの仮定:「無限は存在する」

この仮定の違いがすべて。
ただそれだけ。

なに?「無限は存在しない」は仮定ではないのか?
ではきっちり証明しろ。
すべての単語を定義し、公理をすべて整理したうえで証明せよ。
それをやってから語れ。ほら、やってみろ。

0757哀れな素人2017/10/01(日) 12:55:25.12ID:ELh7StKw
0.99999……は1ではないのだから、
0.99999……は1であると仮定して理論を構築しても
何の意味もないのである(笑

カントールの対角線論法とは
0.99999……は1であるとみなした論法である。
だから、ただもうそれだけでカントールの対角線論法は
間違っているのである。

この間違いの上に立てられた概念が、
非可算無限だとか実無限だとか濃度とかいうアホ概念である(笑
それをアホ概念だとも分らず、
俺たちの公理系と僕の公理系は違う、とか
アホ丸出しのことを書いて得意になっているアホども(笑
これが2chの現実、日本の数学界、世界の数学界の現実なのだ(笑
数学者なんてアホばかりなのに、
ここのアホどもにはそれが分らない(笑

0758哀れな素人2017/10/01(日) 12:57:59.43ID:ELh7StKw
>>756
無限は存在しないことはギリシャの昔から証明されている(笑

>オレの仮定:「無限は存在する」

なら、それを証明してみろ阿呆(笑

0759132人目の素数さん2017/10/01(日) 12:58:17.23ID:RDeomlGb
>>757
> 0.99999……は1ではないのだから、
> 0.99999……は1であると仮定して理論を構築しても

そんな話はしていない。

お前の仮定:「無限は存在しない」

これは仮定なのか?答えろ。

仮定じゃないなら証明せよ。
手抜きせずきっちりやれ。
すべての単語を定義し、公理をすべて整理したうえで証明せよ。
それをやってから語れ。ほら、やってみろ。

盛り上がってるところを悪いが、こちらも事情があるので・・(^^

>>709
>ではあなたが提唱した S_π の co-tail がどの番号から先のしっぽなのか自然数で答えて下さい

すでに、>>104に示したとおり
co-tailを{s_n, s_(n+1),...}と書くことはできない。

補足
1.決定番号dの集合は、自然数Nと同じ可算無限集合になる。
 (時枝記事より”任意の実数列S に対し,袋をごそごそさぐってそいつと同値な(同じファイパーの)代表r= r(s)をちょうど一つ取り出せる訳だ.
  sとrとがそこから先ずっと一致する番号をsの決定番号と呼び,d = d(s)と記す.”
 (35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/12 時枝問題(数学セミナー201611月号の記事)
  なので、”任意の実数列S”に対し、d =1もあれば、d =nもある。だから、決定番号dの集合には上限がなく、可算無限集合になる*))

2.決定番号dの集合は、自然数Nと同じ可算無限集合になるので、元dは常に有限だが上限はない。常に後者が生成する動的状態を浮かべてもらうのが分かり易いだろう
  動的に後者が生成するので、co-tailを{s_n, s_(n+1),...}と書くことはできない。しかし、空集合ではない。*)

注*)「自然数nの集合には上限がなくNは可算無限集合になること」、決定番号についても同様に「決定番号dの集合には上限がなく可算無限集合になること」がいつまでも理解できないらしいな

>>710
>有限個の箱に「どんな実数を入れるかはまったく自由」は自明であるが
>可算無限個の箱に「どんな実数を入れるかはまったく自由」は非自明である

あれあれ?
時枝記事より「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.どんな実数を入れるかはまったく自由,」とありますです(^^
(35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/12 時枝問題(数学セミナー201611月号の記事)より)

>有限個を可算無限個に拡張するには「可算無限数列のしっぽでの同値類」が必要であって
>そのために決定番号は有限でなければならない

1行目は意味不明
2行目、決定番号は元dは有限だが、集合は可算無限。前述>> の通り

この後は、言っていることが意味不明なので流す

>>719
>どの番号についても、同値類の中で、尻尾を共有しない数列の存在が示せるのだから

時枝記事より
「実数列の集合 R^Nを考える.
s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき同値s 〜 s'と定義しよう(いわばコーシーのべったり版).
念のため推移律をチェックすると,sとs'が1962番目から先一致し,s'とs"が2015番目から先一致するなら,sとs"は2015番目から先一致する.」
(35 http://rio2016.2ch.net/test/read.cgi/math/1497848835/12 時枝問題(数学セミナー201611月号の記事)より)

ですので、”同値類の中で、尻尾を共有しない数列の存在が示せる”は、ありえんだろ! 定義に反する!!

>>720
>>>696
>>論点は「N~は無限公理を満たさない」が正しいかどうか
>
>拡大自然数の集合N~は、自然数の集合Nに「∞」を追加したものであるから
>∞が、無限公理の反例になる

無限公理(下記)及び無限の理解不足
それに、公理という概念が分っていないみたい
公理に、”反例”という言葉は使わない

https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
無限公理

>拡大実数∞は超実数ではない

当たり前だろ。定義が違うんだから(下記)(^^

https://ja.wikipedia.org/wiki/%E6%8B%A1%E5%A4%A7%E5%AE%9F%E6%95%B0 拡大実数
https://ja.wikipedia.org/wiki/%E8%B6%85%E5%AE%9F%E6%95%B0 超実数

>>721
>>最初から、”可算無限個”の定義を変えて行く
>>ってことだよ
>
>定義の変更は認められません

数学の研究対象として、定義を拡張あるいは変更して、考察するというのは、常套手段だよ
例えば、方程式の整数解を考えるときに、整数→代数的整数(下記)で考察するが如し

通常の自然数Nに、元∞を加えて考察するのも同じことだ
視野が狭いね(^^

https://ja.wikipedia.org/wiki/%E4%BB%A3%E6%95%B0%E7%9A%84%E6%95%B4%E6%95%B0
代数的整数

0765132人目の素数さん2017/10/01(日) 13:04:16.18ID:RDeomlGb
>>758
> 無限は存在しないことはギリシャの昔から証明されている(笑
>
> >オレの仮定:「無限は存在する」
>
> なら、それを証明してみろ阿呆(笑

仮定がなんだか分かるかじいさんw
公理がなんだか分かるかじいさんw
定義がなんだか分かるかじいさんw
証明がなんだか分かるかじいさんw

> オレの仮定:「無限は存在する」

これは公理である。よって証明不要である。

> お前の仮定:「無限は存在しない」

これは仮定なのか?答えろ。
仮定じゃないなら証明せよ。
「無限は存在しない」を公理から導出せよ。

手抜きせずきっちりやれ。
すべての単語を定義し、公理をすべて整理したうえで証明せよ。
それをやってから語れ。

0766哀れな素人2017/10/01(日) 13:04:57.31ID:ELh7StKw
>>759
>>758を嫁、まぬけ(笑

夕方に相手になってやるから
それまでに無限が存在することを証明しておけ(笑

証明できたら一億円やる(笑

まず手始めに自然数が無限個存在することを証明してみろ(笑

>>722
>正しくは 2未満の自然数と2以上の自然数の境界ですな
>
>>この場合、境界は必ずしも実数Rの元でなくとも良い。
>
>この場合、境界は必ず自然数Nの元である必要があります
>
>超準的自然数も自然数です あなたがご存じないだけでしょう

サイコパス”17.慢性的に平然と嘘をつく”か
論点ずらし、おつです(^^

http://karapaia.com/archives/52164745.html
サイコパス(精神病質者)に見られる共通した20の特徴 2014年06月03日
(抜粋)
17.慢性的に平然と嘘をつく

>>723
>あなたこそ何が言いたいんでしょうか?

えーと、(>>657より)
">>(注:標準的自然数と非標準的自然数の明確な境界は存在しない)
>明確に境界は存在するよ。
>それは、まず、定義するかどうかから始まるよ。"

だったよね。この話が、子供だましの数学的証明につながるとは思わなかったね(^^
単に、自然言語の陳述と思った

で、∞という概念は、古代インドですでに考えられていたという
無限大をある種の数と捉える場合でも、通常の数とは別の計算規則を設ける必要があるという意味で、”境界”は存在するだろうということ(下記)

https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90
(抜粋)
無限(むげん、infinity、∞)とは、限りの無いことである。

無限大 :記号∞ (アーベルなどはこれを 1 / 0 のように表記していた)で表す。

無限大をある種の数と捉える場合でも、それに適用される計算規則の体系は1つだけではない。
実数の拡張としての無限大には ∞ (+∞) と -∞ がある。
大小関係を定義できない複素数には無限大の概念はないが、類似の概念として無限遠点を考えることができる。
(引用終り)

0769132人目の素数さん2017/10/01(日) 13:06:19.17ID:RDeomlGb
>766
> >>759
> >>758を嫁、まぬけ(笑

>>765を嫁、まぬけ(笑

>>724
サイコパス”17.慢性的に平然と嘘をつく”か
おれが、最初から言っていることを繰返しているだけじゃねーか(^^

http://karapaia.com/archives/52164745.html
サイコパス(精神病質者)に見られる共通した20の特徴 2014年06月03日
(抜粋)
17.慢性的に平然と嘘をつく

>>725
>しかし他学科の学生はそもそも射影平面を知りません 残念なことです

子供でも知っているようなことを、何を自慢しているんだか・・(^^
以前も、”バナッハ=タルスキー”を、「おれはこんな難しいことを知っているのだ」と自慢していたけど・・

”バナッハ=タルスキー”など、このスレでは過去何度も紹介している
例えば、2016/07/24の下記などだが(^^

スレ21 http://rio2016.2ch.net/test/read.cgi/math/1468584649/
190 自分:現代数学の系譜11 ガロア理論を読む[] 投稿日:2016/07/24(日) 13:56:23.77 ID:FvwRWNCJ
(抜粋)
http://fuchino.ddo.jp/books/intro-to-set-theory-and-constructibility.pdf
第I部 構成的集合と公理的集合論入門 渕野 昌 2015
(抜粋)
選択公理は,ツェルメロがこの公理を定式化した当初から色々と物議をか
もした公理である.バナッハ=タルスキーの逆理など,我々の物理的直観と
相容れない結果を導くこともあるため,問題視されることもある.
(引用終り)

>>726
> 1.の場合の同値類はRと同じですが
> 2.の場合の同値類はR^Nと同じです

時枝記事の”商射影 R^N→ R^N/〜”の話ね
なるほど、確かにそうかも

”2.の場合の同値類はR^Nと同じ”の証明が、すぐに浮かばない
が、まあ、正しそうだな。ピエロ予想としておこうか

で、話を戻すと、本題はそこじゃなく、決定番号dとその集合がどうなるかだよ(^^

>>727
>コンパクトの場合の有限個(=自然数個)と、εの有限(=正の実数値)を
>全く同じ意味だと思うのは、大学数学の教育が欠如しているせいだろう

まあ、そういう突っ込みもありかな
前者は、無限大(可算無限個)に対する有限であり
後者は、無限小に対するεの有限を言っている

関数 y=1/x を考えると、無限大 vs 無限小 で関連がつく
実際、下記”超実数”で、”無限大の逆数は無限小”とある

https://ja.wikipedia.org/wiki/%E8%B6%85%E5%AE%9F%E6%95%B0
超実数
(抜粋)
如何なる数よりも大きい元を含む。そのような数は無限大であり、その逆数は無限小である。

>>731
ID:s8yUCkWjさん、どうも。スレ主です。(^^
古くからの住人ですかね(^^

余談だが、(>>734 )"お前は一石だろ"は
外れっぽいね。ピエロとは別人だろう

>スレ主って年々ダメになってないか?

すまんね(^^
つまらん、時枝記事が決着しない・・

周りのレベルが下がっている気がする
いや、数学板のレベルが下がっているのかも(^^

そういや、最近¥さんの野焼きが見られないね
なにかあったのかも

まあ、話題を時枝記事以外にも散らしながら
やっていきますよ(^^

0775132人目の素数さん2017/10/01(日) 13:12:41.91ID:RDeomlGb
公理を知らない素人君へ

[公理]
 その理論の出発点として、論証ぬきで真だと仮定し、他の命題の前提とする根本命題。


大事なところだからもう一度w

公理とは「論証ぬきで真だと仮定」している命題のことだ。


> オレの仮定:「無限は存在する」

これは公理であるので証明不要である。

> お前の仮定:「無限は存在しない」

これは仮定なのか?答えろ。
仮定じゃないなら証明せよ。
「無限は存在しない」をお前の公理系から導出せよ。

手抜きせずきっちりやれ。
すべての単語を定義し、公理をすべて整理したうえで証明せよ。
それをやってから語れ。

0776132人目の素数さん2017/10/01(日) 13:14:54.23ID:RDeomlGb
>>774
> 周りのレベルが下がっている気がする

すぐ他人を見下すのはよくないね。

0777哀れな素人2017/10/01(日) 13:19:37.49ID:ELh7StKw
>>775
>これは公理であるので証明不要である。

ドアホ(笑
そんなものは公理でも何でもない(笑
そんなものを誰が公理としたのか(笑

無限は存在しないというのがギリシャの昔からの常識だ(笑

ちなみに無限は存在しないということは
僕はこれまで延々と説明している(笑
お前らがアホだから理解できなかっただけだ(笑

ところがお前らは無限が存在することを証明したことは一度もない(笑
これは公理だとごまかして逃げているだけだ(笑

今度もお前は逃げた(笑
当り前だ、逃げるしか能がないのだ(笑
そうやっていつまでも逃げているがいい(笑
そして思う存分僕に対して汚い悪口や罵りを書けばいい(笑
お前が何を書こうとアホなのはお前だ(笑

0778132人目の素数さん2017/10/01(日) 13:31:40.54ID:RDeomlGb
>>766
> 夕方に相手になってやるから
> それまでに無限が存在することを証明しておけ(笑

あ、もしかして素人君は

「無限公理から無限集合の存在が従う」ことがわかりませんってこと?

つまり
https://ja.wikipedia.org/wiki/%E7%84%A1%E9%99%90%E5%85%AC%E7%90%86
[定義]と[解釈と帰結」が読めないってこと?

> > オレの仮定:「無限は存在する」
>
> これは公理である。よって証明不要である。

これの意味が分からないとしたら、そういうことでしょ?w
無限公理が分かってないの?
無限公理から無限集合の存在がしたがうことが分かってないの?
無限の定義が違うの?
公理の意味が分かってないの?
オレにはぜーんぜん分からんなあ、お前が何を分かってないのかが。

まあお前に無限集合の存在が分からなくても無理はないよ。
だって「有限」と「無限」の定義がそもそも違うようだからね。
そんな奴にどんな文献を出したって無駄。
お前の数学では「無限は存在しない」が金科玉条だから、無限を持ち出した時点でOUTだろ?お前に言わせれば。
ってことは当然、無限公理は使わないし使えないわけだ。お前の数学では。

それなら説明責任はお前にあるわけよ、分かる?
お前しか知らない公理系でお前しか知らない「無限」「有限」の用語を使われたって誰もわからんだろ?
お前の「無限は存在しない」という金科玉条は公理なのか?どっちなんだよ。
他人をこれだけバカにしてきて「無限が存在しない」証明はどこにもないじゃないか。
これが公理(仮定)でないなら、お前は証明しなければならない。

お前の数学における「公理」「用語の定義」をきちんと整理したうえで「無限が存在しない」ことを証明せよ。
お前はそれをやらなければならない。
他人をさんざんバカにしてきたんだからな。
逃げるなよじじい。

気が向いたら相手してやるから、きっちり証明を書け。
不備は許さんw

0779132人目の素数さん2017/10/01(日) 13:33:14.70ID:ptpnpdQN
>>755
定義を問われて「そんなのは常識である、何を難しく考えてるのか」とか言っちゃう馬鹿が
>要するにこのアホどもは数学は厳密の学であるということが分っていないのだ(キリッ)
だってさ、笑えるな

0780132人目の素数さん2017/10/01(日) 13:35:32.67ID:ptpnpdQN
>>758
>>オレの仮定:「無限は存在する」
>なら、それを証明してみろ阿呆(笑
この一言で爺さんが何も分かってないのがよ〜く分かりますた、本当に有難うございました

0781132人目の素数さん2017/10/01(日) 13:42:20.50ID:uIo4DGr8
>>762
>>どの番号についても、同値類の中で、尻尾を共有しない数列の存在が示せる

>時枝記事より
>「実数列の集合 R^Nを考える.
> s = (s1,s2,s3 ,・・・),s'=(s'1, s'2, s'3,・・・ )∈R^Nは,
> ある番号から先のしっぽが一致する∃n0:n >= n0 → sn= s'n とき
> 同値s 〜 s'と定義しよう」
>ですので、”同値類の中で、尻尾を共有しない数列の存在が示せる”は、ありえんだろ!
> 定義に反する!!

「どの番号についても」を省略するのが誤解

どの番号nについてもs = (s1,s2,s3 ,・・・),について、
not(sn=s'n)となる数列s'=(s'1, s'2, s'3,・・・ )の存在が示せる
つまりsnは共有していない
上記は、同値類の定義には全く反していない

0782132人目の素数さん2017/10/01(日) 13:47:11.73ID:uIo4DGr8
>>763
>>∞が、無限公理の反例になる
>公理に、”反例”という言葉は使わない

使う
∞∈N~だが、∞+1∈N~でない

x+1はx∪{x}
∞={0,1,2,3,・・・}(=N)
∞+1={0,1,2,3,・・・∞}(=N~)

0783132人目の素数さん2017/10/01(日) 13:50:49.71ID:uIo4DGr8
>>764
>数学の研究対象として、定義を拡張あるいは変更して、
>考察するというのは、常套手段だよ

数学の問題の結論が気にいらないという独善的な理由で
前提を変更して否定するというのは邪道だよ

>視野が狭いね(^^

あなたこそ了見が狭いね(^^

0784132人目の素数さん2017/10/01(日) 13:53:42.06ID:uIo4DGr8
>>767
>>超準的自然数も自然数です あなたがご存じないだけでしょう
>サイコパス”17.慢性的に平然と嘘をつく”か

自然数の公理を満たすなら自然数です
標準的自然数だけが自然数だというわけではありません

注)標準的自然数とは自然数論のどのモデルにもある自然数
  ゲーデルの完全性定理により、自然数論からその存在が証明できる

0785132人目の素数さん2017/10/01(日) 13:59:45.74ID:RDeomlGb
>>764
>数学の研究対象として、定義を拡張あるいは変更して、
>考察するというのは、常套手段だよ

拡張する前に元の命題をきちんと理解しようや。

0786132人目の素数さん2017/10/01(日) 14:01:42.41ID:uIo4DGr8
>>768
>>標準的自然数と非標準的自然数の明確な境界は存在しない
>この話が、子供だましの数学的証明につながるとは思わなかったね(^^

>>784 でも述べたように
「標準的自然数とは自然数論のどのモデルにもある自然数」
である、逆に非標準的自然数は、これを含まないモデルが存在する
(実は標準的自然数のみを含むモデルが存在する)

>単に、自然言語の陳述と思った

あなたがモデルを知らないからそう誤解しただけ

0787132人目の素数さん2017/10/01(日) 14:04:31.87ID:ptpnpdQN
>>760
Y or N で答えよ、N の場合は理由を述べよ

お前は co-tail の定義を「ある番号から先のしっぽ」※と書いた。 Y/N
だから S_π の co-tail が何番から先のしっぽなのか聞いたんだが、
>co-tailを{s_n, s_(n+1),...}と書くことはできない。
は上記定義と矛盾している。 Y/N
よってお前が取るべき対応は以下のどれか Y/N
・S_π の co-tail={s_n, s_(n+1),...} の n を自然数で答える
・co-tail の定義を変更する
・co-tail が存在するという主張を取り下げる


>4.ここで、{s',s'',s''',・・・}たちには、しっぽの共通部分(co-tailと呼ぶ)がある。co-tailは、ある番号から先のしっぽで、全ての同値類の元たちに共有されている部分だ

0788132人目の素数さん2017/10/01(日) 14:06:02.32ID:uIo4DGr8
>>770
>おれが、最初から言っていることを繰返しているだけじゃねーか(^^

あなたがNとN~は違うと云っているなら
R^N~で、箱入り無数目が成立しなくても
R^Nで、箱入り無数目が成立しないことの
証明にはなり得ないと云ってることになりますが
そうだと認めますか?

0789132人目の素数さん2017/10/01(日) 14:19:16.52ID:ptpnpdQN
>>762
お前何も理解しとらんな 馬鹿丸出しやんけ

0790132人目の素数さん2017/10/01(日) 14:37:43.32ID:ptpnpdQN
>>774
>周りのレベルが下がっている気がする
>いや、数学板のレベルが下がっているのかも(キリッ)
と、εN論法すら分からないバカが申しております

0791132人目の素数さん2017/10/01(日) 14:41:39.25ID:ptpnpdQN
>>777
>そんなものを誰が公理としたのか(笑
Ernst Friedrich Ferdinand Zermelo

0792132人目の素数さん2017/10/01(日) 16:09:41.93ID:iaPDYqur
>>761
> あれあれ?
> 時枝記事より「箱がたくさん,可算無限個ある.箱それぞれに,私が実数を入れる.どんな実数を入れるかはまったく自由,」
> とありますです

{0, 1, 2, ... , 9}^Nで数当てができないのなら「どんな実数を入れるかはまったく自由」は成り立たないことになる
「(有限個の箱に)0から9のどの数字を入れるかはまったく自由」の場合は有限小数のどの元も自由に選べることに等しい
では「(可算無限個の箱に)0から9のどの数字を入れるかはまったく自由」の場合は任意の元(= 実数とみなせる)を自由に出題できますか?
それにはどのような条件が必要か?

「(有限個の箱に)どんな実数を入れるかはまったく自由」の場合はR^nのどの元も自由に選べる
では「(可算無限個の箱に)どんな実数を入れるかはまったく自由」の場合はR^Nの任意の元を自由に出題できますか?
それにはどのような条件が必要か?
ということです
>>710
> 出題者は任意のR^Nの元をsn = a1+r1, a2+r2, ... , ak+rk, r(k+1), r(k+2), ... の形で
> 自由に選ぶことが可能になる

0793哀れな素人2017/10/01(日) 16:43:32.77ID:ELh7StKw
さて、またアホどもの相手をしてやるか(笑

無限公理とは可能無限公理にすぎないのである(笑
こんなことも分らんとは何たるアホどもよ(笑

ペアノの公理にしても無限公理にしても、
ただ単に自然数はいくらでも作れますよ、
と言っているだけなのである(笑

いくらでも作れるが無限個は作れない(笑
どんなに作っても有限個である(笑

こういう単純なことが、ここのアホどもには分らないのだ(笑
ここの連中がいかにドアホであるか分る(笑

0794132人目の素数さん2017/10/01(日) 16:47:56.89ID:ptpnpdQN
>>793
無限公理にはどこにも「〜を作れる」なんて書かれてない
「〜を満たす集合が存在する」と書かれてる
独自解釈もほどほどに

0795哀れな素人2017/10/01(日) 16:52:05.43ID:ELh7StKw
無限公理男(閉区間男・ペンタコ男・互除法男)
がいかにアホのクルクルパーであるかがはっきり分った(笑

この馬鹿は無限公理が公理だから
無限は存在すると思っているのだ(笑
無限公理なんて、自然数はいくらでも作れる、
という当たり前のことを近代のアホ学者が
定理として立てただけのものであって、
単に可能無限公理にすぎないのに、
この馬鹿は実無限公理だと思っているのだ(笑

もちろんこの馬鹿だけではない(笑
このスレ全員がそう思っているのだ(笑
まさにアホの巣(笑

■ このスレッドは過去ログ倉庫に格納されています