1=0.999… その10.999…
レス数が1000を超えています。これ以上書き込みはできません。
0001132人目の素数さん
2006/01/02(月) 01:30:55前スレ:1=0.999… その9.999…
http://science4.2ch.net/test/read.cgi/math/1118452051/
0002132人目の素数さん
2006/01/02(月) 01:32:300003132人目の素数さん
2006/01/02(月) 01:33:440004132人目の素数さん
2006/01/02(月) 01:33:480005132人目の素数さん
2006/01/02(月) 01:35:450006132人目の素数さん
2006/01/02(月) 01:40:55>>992
「そう」とは?
「実数の公理は「真実」である、即ち実数の定義として依拠できる」
という意味不明な主張をし、それを数学と言い張り、
人一人にそれを理解してもらう事も出来ないという状況の事?
997 名前:132人目の素数さん[] 投稿日:2006/01/02(月) 01:31:40
>>994
そうその通り。
そう思いたきゃ、そう思ってて下さいってこと。
-------
って事は
「実数の公理は「真実」である、即ち実数の定義として依拠できる」
ってのは、その人がそう思うかどうかって事だよね。
0007132人目の素数さん
2006/01/02(月) 01:42:100008132人目の素数さん
2006/01/02(月) 01:43:04すばらしすぎる読解力だな
0009132人目の素数さん
2006/01/02(月) 01:44:37「aを整数、a_1, a_2, ...を0, ..., 9のいずれかとする時、無限級数
a + a_1 / 10 + a_2 / 10^2 + …
の値(それは収束する)の事を
a. a_1 a_2 …
と書く」
についても、採用するかどうかとか「真実」であるかどうかなんてのは、
信念とか多数決とか、極めて数学的でない事によってのみ決められる事だよね。
0010132人目の素数さん
2006/01/02(月) 01:46:23そう思いたきゃどうぞ
0011132人目の素数さん
2006/01/02(月) 01:48:370012132人目の素数さん
2006/01/02(月) 01:49:41合ってるよ。
0013132人目の素数さん
2006/01/02(月) 01:50:30同意はしないが、そう思いたい気持ちは理解できる。
0014132人目の素数さん
2006/01/02(月) 01:51:26同意しないのなら、どの箇所に同意しない?
そしてそれは何故?
0015132人目の素数さん
2006/01/02(月) 01:53:580016132人目の素数さん
2006/01/02(月) 01:55:09それは、前スレを読めば分かること。
0017132人目の素数さん
2006/01/02(月) 01:59:20あんな哲ぽいものだらだら書かれても読んでるほうはわからんって。
0018132人目の素数さん
2006/01/02(月) 02:01:57・定義は慎重にしましょう
・安易に分かった振りをするな
・数学に関して、真実は一つ
0019132人目の素数さん
2006/01/02(月) 02:04:08「真実」とか「依拠する」ってのが数学用語でないってのは
前スレの>>984で>>16も同意している事。
数学用語即ち数学的に意味ある用語ではないと。
って事は
「実数の公理は「真実」である、即ち実数の定義として依拠できる」
が数学の話ではないってのは>>16も同意している事だよね。
0020132人目の素数さん
2006/01/02(月) 02:05:19たとえば、この文のようにね。
0021132人目の素数さん
2006/01/02(月) 02:05:47数学の話しようよ。
0022132人目の素数さん
2006/01/02(月) 02:06:29してるよ
0023132人目の素数さん
2006/01/02(月) 02:06:330024132人目の素数さん
2006/01/02(月) 02:07:05そういわれても、ここはそういうスレなんで
0025132人目の素数さん
2006/01/02(月) 02:07:45X=0.999...
10X=9.99...
9X=9
X=1
QED
0026132人目の素数さん
2006/01/02(月) 02:09:10それは高校数学まで
0027132人目の素数さん
2006/01/02(月) 02:09:260028132人目の素数さん
2006/01/02(月) 02:10:07それぐらいかも
0029132人目の素数さん
2006/01/02(月) 02:13:160030132人目の素数さん
2006/01/02(月) 02:13:27他人に通じない話が数学の話なんですか?
例えばトンデモの人は自分にしか分からない事を主張しますよね。
それと
「実数の公理は「真実」である、即ち実数の定義として依拠できる」
はどう違うのですか?
0031132人目の素数さん
2006/01/02(月) 02:16:210032132人目の素数さん
2006/01/02(月) 02:18:18論理のすり替え。
数学用語を使わない話でも数学の話になりうると言ったのに、
「他人に通じない話が数学の話なんですか」と言われてもね。
後段もそう。
分かる気がないとしか、言いようがないね。
0033132人目の素数さん
2006/01/02(月) 02:19:20「数学の話」にも2種類あって、
公理からの証明みたいに「数学の中での話」と
哲学みたいな「数学についての話」があるよ。
数学のできん人でも後者の話ならできる。
数学のできる人でも後者が上手いとは限らんし。
0034132人目の素数さん
2006/01/02(月) 02:19:51お前もわかる気があるようには見えんがな
0035132人目の素数さん
2006/01/02(月) 02:21:24肝心の0.999・・・=1に関しては全くふれようとせずに、
その周りの人の言った言わないばかり気にするのは、
やっぱり結論は先延ばしにしたいという意思の現れなのかね
0036132人目の素数さん
2006/01/02(月) 02:22:14そりゃどうも
0037132人目の素数さん
2006/01/02(月) 02:25:17「実数の公理は「真実」である、即ち実数の定義として依拠できる」
は>>32の主張であり、また他人にその意味が伝わっていない。
即ち
「実数の公理は「真実」である、即ち実数の定義として依拠できる」
は>>32にしか分からない>>32の主張である。
一方自分にしか分からない事を事実として主張する人はトンデモである。
故に>>32はトンデモである。
この論法のどこに論理のすり替えがあるのですか?
あるいはトンデモとまでは言わなくとも、
「>>32にしか分からない話であって数学の話であるものが存在する」
ってのは一般に認められている事実ではない。
0038132人目の素数さん
2006/01/02(月) 02:28:0832は>>33の後者の意味で「数学の話」って言ってたんじゃ
ないのかなあ、たぶん。
0039132人目の素数さん
2006/01/02(月) 02:31:18まず
>「実数の公理は「真実」である、即ち実数の定義として依拠できる」
の部分は、引用の仕方がおかしい。
「真実」の言い換えとして「100%依拠できる」という表現を
使ったのに対し、正確な言い換えができていないからわかりにくい。
次に
>「実数の公理は「真実」である、即ち実数の定義として依拠できる」
>は>>32にしか分からない>>32の主張である。
は>>37個人の主張であって、客観性に欠ける。
あと
>一方自分にしか分からない事を事実として主張する人はトンデモである。
これを認めると、ちょっと難しいことを言う人は全部トンデモになる。
>「>>32にしか分からない話であって数学の話であるものが存在する」
>ってのは一般に認められている事実ではない。
一般に認められるもなにも、一般に問を発していないので確かめようがない。
ここらへんかな、とりあえず。
0040132人目の素数さん
2006/01/02(月) 02:31:510041132人目の素数さん
2006/01/02(月) 02:35:190042132人目の素数さん
2006/01/02(月) 02:35:58どんどん変な方向に行ってるよ
0043132人目の素数さん
2006/01/02(月) 02:36:50ならば
「実数の公理は100%依拠できる」
という文章で>>39の意図している内容を理解できている人が
どのぐらいいるのか、このスレで聞いてみますか。
この文章で>>39が意図している内容を理解できている人はいますか?
そしてそれが何なのか説明できますか?
0045132人目の素数さん
2006/01/02(月) 02:38:04そんなにむずかしいことではない。
0046132人目の素数さん
2006/01/02(月) 02:40:38今この場にいるんですかね?
もしいないなら、ここであえて議論を積み上げる必要性を感じないのですが。
0047132人目の素数さん
2006/01/02(月) 02:42:15前スレの>>953で>>39は
> 「妥当」かじゃどうかではなく、「真実」かどうかなの。
と言っている。
>>39の意図するところは「認めて良い」程度ではないようだ。
0048132人目の素数さん
2006/01/02(月) 02:43:52なら、「正しい」って言い換えてみたら?
別に言質取って議論するほどのことじゃないかと・・・
0049132人目の素数さん
2006/01/02(月) 02:44:52別にスレ違いというわけじゃなくてさ。
39に書いてあること自体がところどころちょっとおかしい。
相手のすべての論点について反論してやろうと踏ん張って
無理して揚げ足とるからぽつぽつ間違いを犯すことになる。
> あと
> >一方自分にしか分からない事を事実として主張する人はトンデモである。
> これを認めると、ちょっと難しいことを言う人は全部トンデモになる。
これは実際にトンデモの側がよく使う詭弁だから
よしたほうがいいんじゃないかな。
原理的に自分にしか分からないトンデモ主張を、
高度で難しいがきちんと訓練を受けた人になら
わかるはずの(まっとうな科学の)主張と
ごた混ぜにしてる。
「自分にしか分からない」の多義性を利用した詭弁。
0050132人目の素数さん
2006/01/02(月) 02:46:53仮に詭弁なら詭弁で、有用性がないと思えば流せば良いだけのこと。
他に議論すべきことがあるなら、そっちに移ろうよ。
0051132人目の素数さん
2006/01/02(月) 02:49:03いや、だから、こっちこそ「流したら?」って言いたかったんだけどね・・・。
まあ流す必要に気付いてくれたならそれでいいや。
0052132人目の素数さん
2006/01/02(月) 02:51:01んじゃ、次に移ろう。
とりあえず0.999・・・=1についてはOK?
0053132人目の素数さん
2006/01/02(月) 02:52:38> 定義がしっかり定義されていることを厳密に証明して、基礎をしっかり作る。
> でないと、理論が発展していかないんだよ。だってその定義が、理論の命綱になっていく
> んだから。
などと言っている。
とりあえずここまでのレスで「>>39の意図が(ある程度でも)理解できる」と言い、
それを説明した人は>>45=>>48の一人だけ。
その内容は「実数の公理は漠然と正しく感じる、という意味」と言って良いと思う。
で>>39の意図はこれと一致していますか?
>>51
ごめんね俺こういうの相手にするのが大好きなんだ。
005445
2006/01/02(月) 02:54:410055132人目の素数さん
2006/01/02(月) 02:56:12実数の公理は正しいっていう部分は同意。
てか、どこに引っかかってるの?
俺としては、特に必要性を感じない。
0056132人目の素数さん
2006/01/02(月) 02:57:02なら「認めて良い」とか「正しい」ってどういう意味?
俺は漠然とした意味だと解釈したが。
0057132人目の素数さん
2006/01/02(月) 02:59:16005845
2006/01/02(月) 02:59:23そんなところに意味を求められても困る。
そんなに突っ込まれるならもっと言葉を選んだけどさ。
正しいって、そんなに変な言葉か? 引っかかったらすまん。
0059132人目の素数さん
2006/01/02(月) 03:02:12俺が言いたかったのは、実数の公理は100%依拠できるということ。
なぜなら、それが実数の定義になっているから。
こだわる理由がわからないんだが・・・
ふつう「定義」ってさ、「漠然と」守るものか?
「漠然と」「感じる」ものが定義だと思っているなら、ちょっと数学に関して
考えを改めた方が良いと思うぞ。
0060132人目の素数さん
2006/01/02(月) 03:04:17いやまあ、「正しい」以上にふさわしい言葉もないと思うから、
58のせいじゃあないと思うよ。たぶん、
「『正しい』といっても具体的に何を言っているのかよくわからない」
とか議論したいんでしょ?56は。
「1=0.999・・・のほうが1≠0.999・・・よりも正しい、とは
どういう基準で言えるのか」
「1=0.999・・・のほうが1≠0.999・・・よりも正しいのは
定義から導かれるからだ、というならその定義のほうを
(1≠0.999・・・を許すような定義でなくて)選ぶのは
どういう基準によるのか」
とかそういう疑問点を抱いているんじゃないの?
ということでメリット・デメリットの話と絡んでくると見た。
0061132人目の素数さん
2006/01/02(月) 03:07:18メリットの話と絡めるの好きみたいだけど、
実数の定義と0.999・・・=1と言う命題は、直結するものであって
新たに定義するものではないの。
逆に言えば、実数の定義と0.999・・・≠1は、両立しない。
そんなもの定義しても仕方がない。どんなに「メリット」があろうともね。
まさか、まだメリットが出てくるとは思わなかったが・・・
0062132人目の素数さん
2006/01/02(月) 03:08:59どっから今みたいな話になったんだっけ、と回想しただけ
0063132人目の素数さん
2006/01/02(月) 03:10:02ま、どっちにしてもメリットデメリットの話はなしな。
ナンセンスだから。
0064132人目の素数さん
2006/01/02(月) 03:10:23そうだね。
更に言えば、実数の公理(として完備アルキメデス順序体)を採用する「基準」とは
信念、多数決、メリットなどの非論理的なものだろう。
然るに>>59は>>13で「>>6, >>9に同意しない」と言っている。
実数の公理を採用するかどうかは信念でも多数決でもないと。
加えて「100%論理」とも言っている。
ならばその論理を説明して頂こうと思ったわけだ。
0065132人目の素数さん
2006/01/02(月) 03:12:36その実数の行為を採用する、信念的・多数決的・メリット的基準ってなんだ?
0066132人目の素数さん
2006/01/02(月) 03:13:07実数の公理な。
006760
2006/01/02(月) 03:17:33> 逆に言えば、実数の定義と0.999・・・≠1は、両立しない。
そんなのは今議論してる人達はみんな知ってると思うけど、
でもそんなことを言ってるんじゃなくて、
「なんで実数の定義を受け入れるわけ?」
とかそういう次元の話をしてるんじゃないの?56は。
例えばさ、(今誰かがそう言ってるとかじゃないけど)
「なぜ実数をこれこれと定義するんですか」
→「それが正しい定義だからだよ」
「なぜ実数の定義が正しい実数の定義だと言えるんですか?」
→「定義に正しいかどうか言っても仕方ないよ、そのように
定義されるもののことを実数と呼ぶんだから」
っていう説明を同時に行うのは何かおかしいんだし、
少なくともどちらかは別の仕方で説明しなくちゃ
いけないよね?
0068132人目の素数さん
2006/01/02(月) 03:17:58あと「100%論理」って言葉、どこから引用した?
どんどん言葉がねじ曲がってるんだが。
0070132人目の素数さん
2006/01/02(月) 03:19:54>> 逆に言えば、実数の定義と0.999・・・≠1は、両立しない。
>そんなのは今議論してる人達はみんな知ってると思うけど、
あ、なんだ。
これがわかってるなら、メリットデメリットなんてどうでもいいじゃん。
議論自体終わってるんだから。終了じゃん。
0071132人目の素数さん
2006/01/02(月) 03:21:54って言って欲しいな。
0072132人目の素数さん
2006/01/02(月) 03:21:55>「なぜ実数をこれこれと定義するんですか」
>→「それが正しい定義だからだよ」
>「なぜ実数の定義が正しい実数の定義だと言えるんですか?」
>→「定義に正しいかどうか言っても仕方ないよ、そのように
> 定義されるもののことを実数と呼ぶんだから」
・・・これ、どこから引用した?
話を作り出す天才だな。
0073132人目の素数さん
2006/01/02(月) 03:22:28てか、メリット論の意味がないことが完全にみとめられたわけだ。w
0074132人目の素数さん
2006/01/02(月) 03:22:43> 例えばさ、(今誰かがそう言ってるとかじゃないけど)
って>>67に書いてあるのも読めないのかな?
0075132人目の素数さん
2006/01/02(月) 03:24:130076132人目の素数さん
2006/01/02(月) 03:24:18読めるよ。そしてその例示の間違いを指摘してる。
007767
2006/01/02(月) 03:26:00どういう次元の議論をしているかを示す例で、
誰かがこう主張しているという例じゃないもの。
0079132人目の素数さん
2006/01/02(月) 03:27:45008067
2006/01/02(月) 03:28:56> とかそういう次元の話をしてるんじゃないの?56は。
って書いたんで、ちゃんと読んでね。
0081132人目の素数さん
2006/01/02(月) 03:30:07「多数決」とは、数学をするほとんどの人が実際に採用しているという事実。
また、実数の全体が順序体であるメリットは
四則算法や順序を用いた議論が自由に出来るという点。
(順序に関して)完備でアルキメデス的であるメリットは、
解析学の至る所で表れるCauchy列を収束列として扱い、
Cauchy列の収束先を用いて強力な議論を展開する事が出来るようになる事など。
>>68
引用元は前スレ>>953である、というのは前述>>53の通り。
>>69
その通り。
で、実数の公理を採用するかどうかは信念でも多数決でもない、という
>>13の主張を元に、実数の公理を採用する「論理」を聞きましょうか。
0082132人目の素数さん
2006/01/02(月) 03:30:24ま、どちらにしても根拠のない憶測だ。流そう。
0083132人目の素数さん
2006/01/02(月) 03:32:00論理は、ただ一つ。
実際に、これが採用されていること自体だな。
定義ってのは公理が最初に来るわけで、概念はその後だから。
0084132人目の素数さん
2006/01/02(月) 03:32:57引用元に関しては、その指摘によって完全に誤りだと判明したな。
間違った引用をしている。これで一つすっきりした。
008567
2006/01/02(月) 03:33:36俺と56=64=81とはそれなりに話がかみあってる気がするので
「根拠のな」くはないと思うけどなあ。
というわけで、>>81、どうなの?俺は君の議論したいことの
筋はだいたい追えてるのかな?
0086132人目の素数さん
2006/01/02(月) 03:35:42前段:妄想
後段:まったく追えていなかったことが判明
008767
2006/01/02(月) 03:36:340088132人目の素数さん
2006/01/02(月) 03:38:20気にするな
客観的な意見だから
008967
2006/01/02(月) 03:39:070090132人目の素数さん
2006/01/02(月) 03:40:21そりゃどうも
009167
2006/01/02(月) 03:41:280092132人目の素数さん
2006/01/02(月) 03:42:11光栄至極
0093132人目の素数さん
2006/01/02(月) 03:50:40> 論理は、ただ一つ。
> 実際に、これが採用されていること自体だな。
それならば同意だな。
実際に「多くの数学をする人達に」採用されている事と。
俺はそれを「多数決」と表現した。
「多数の人の総意によって(実数の公理の)選択が決まる」という意味で正に「多数決」。
>>83はこれを「多数決」でないと言い、
「真実」や「100%依拠」や「論理」と表現するらしい。
ただそれは(極めて常識的でない)言い回しの違いに過ぎないようなので
(言葉の定義の違いが分かった今なら)問題無いだろう。
更に聞こうか。
何故実数の公理が多くの数学をする人達に採用されているのか?
それは信念でもメリットでも無いと?
>>85
問題無いと思います。
0094132人目の素数さん
2006/01/02(月) 03:57:19多数決と言うことは、少数意見もあったと言うことか?
あとその多数決というのはどこでどんな風に行われたんだ?
そしてその意見は今どこにあるか聞かせて欲しいね。
あと、重なるかもしれないが、その公理が「採用された」とするならば
「どこで」「いつ」「どのように」「どのような形で」採用されたんだ?
そしてその「信念」や「メリット」ってのはなんだ?
そこまで言い切るなら、少しは答えられるでしょ。
0096132人目の素数さん
2006/01/02(月) 04:12:11> 「どこで」「いつ」「どのように」「どのような形で」採用されたんだ?
「いつの間にか」多くの人達、多くの数学書がこの定義を採用するようになった。
決定的な瞬間など無いだろう。
そして個々人にとって、この定義を採用した理由・メリットは、
「漠然とそれが自然に感じた」だとか「特に問題無さそうに思った」だとか
「疑問にさえ思わなかった」だとか、あるいは>>81などだろう。
こういった信念やメリット故に
実数の公理が多くの数学をする人達に採用されている。
>>94は違うと?
少数意見については(少数意見故に)多くは知らない。
超準解析はその少数意見の一つだろう。
あるいは理論の体を成していないものなら
http://members2.tsukaeru.net/ogawa/
などのトンデモ達の「理論」。
0097132人目の素数さん
2006/01/02(月) 04:18:08「漠然と」「特に問題なさそうで」「疑問にさえ思わなかった」ことが
「信念」であり「メリット」なわけか。
で、こうした「信念」「メリット」ゆえに、「多数決で」採用されたと。
なるほど、よーくわかった。
では、実数に関して実数の公理をもってその定義とすることは
定義として反駁する余地無いだろう。
それとも、それを覆すようなデメリットは何かあるか?
いっとくけど、あくまで実数としてね。
0098132人目の素数さん
2006/01/02(月) 04:21:270099132人目の素数さん
2006/01/02(月) 04:23:17どの点を?
0100132人目の素数さん
2006/01/02(月) 04:27:25前半については理解されたようで何よりで
ただ>>81を忘れずに。
>>96でのメリットとは主に>>81を指す。
後半については俺は同意する。
例えば超準実数体を採用する気など起こらない。
それで
> 何故実数の公理が多くの数学をする人達に採用されているのか?
> それは信念でもメリットでも無いと?
に対する>>96の意見は?
0101132人目の素数さん
2006/01/02(月) 04:32:36>>97は「実数の公理を採用する理由」は
「実際に、これが採用されていること自体」と解答している(>>83)。
では何故実数の公理が多くの数学をする人達に採用されているのか?
それは信念でもメリットでも無いと?
これに対する>>97の意見を聞きたい。
0102132人目の素数さん
2006/01/02(月) 04:40:22http://makimo.to/2ch/science4_math/1118/1118452051.html
0103132人目の素数さん
2006/01/02(月) 04:44:21その意味での公理は、実数の概念ができあがった後で発見されたものだろ?
たとえば四則演算ができるというのは数の概念としては当然のことであるし
完備性についても、コーシー列についても、本来ある実数の概念から導かれ
てきた基本性質なはず。
たしかにその性質から実数の定義は構成されているが、実際に実数の概念が
そのようなものでなかったら、それを曲げてまで公理を突っ込む必要もなか
ったのでは?
まぁ公理の構成法に関しては俺が発明したわけではないから何とも言えないが、
ことに実数の定義をするに当たってメリット優先みたいな考え方をすると、本来ある
数の性質を無視することになる。
0104132人目の素数さん
2006/01/02(月) 04:47:37実数に内在する性質として見逃せないからだろ。
べつに、実数を定義する上で新たに付け加えたわけではない。
本来あった性質に着目したまでのこと。
0105132人目の素数さん
2006/01/02(月) 05:04:13「実数の概念はこういうものである」というのは正に信念だな。
その信念に基づいて実数の公理が置かれている。
逆に言えばその信念を共有しない人(例えばogawa)にとっては
何ら説得力はない。
その信念には、多数の人が何となく支持するという以外の論理性は無い。
これを認めるという事ですか。
0106132人目の素数さん
2006/01/02(月) 05:10:410107132人目の素数さん
2006/01/02(月) 05:35:40> でも、万能型現実シミュレートの道具である「実数」は、現在の定義が最も素直で
> 最も利用価値があり、仮に現実に時間・空間あるいは他の単位が離散的であった
> としても、ちょっとの変更で活用できるからなあ。そのために、あのような定義なんだろうね。
のように、実数とは現実の何か(例えば直線、空間、時間など)の近似のためのもの、
という考えもある。
現在発見されているものの中で最も近似の精度の良く使い勝手の良いものとして
現在の実数の定義があると。
こういう人にとっては「実数とはこうあるべき」という信念があるとは言い難い。
>>105でogawaを挙げた。
ogawaに限らず、1=0.999…を否定する人達の多くは
実数の公理に要約される実数概念を持っていない。
この状況を見るに、「実数の公理に要約される実数概念」が
「本来の実数概念」であるというのは余りに大胆過ぎるな。
ましてや「1≠0.999…は本来の実数の性質に反している」なんて主張は
多数の人に受け容れられるという以上の論理性は無い。
0108132人目の素数さん
2006/01/02(月) 06:55:190109132人目の素数さん
2006/01/02(月) 07:04:100110132人目の素数さん
2006/01/02(月) 07:07:380111132人目の素数さん
2006/01/02(月) 09:03:43>>105
じゃ、自然数は整数と同じであると主張する人間については自然数=整数とし、
実数も自然数だという人間についてはそれも認めるということか。
メリットは・・・「実数も自然界にたくさんあるから使いやすい」?
そういうものも認めるなら、「信念」としてもいい。
数学の本質はその自由性にありとはよく言うしな。
俺はそれをトンデモと呼ぶが。
0112132人目の素数さん
2006/01/02(月) 09:10:52>>105
じゃ、自然数は整数と同じであると主張する人間については自然数=整数とし、
実数も自然数だという人間についてはそれも認めるということか。
メリットは・・・「実数も自然界にたくさんあるから使いやすい」?
そういうものも認めるなら、「信念」としてもいい。
数学の本質はその自由性にありとはよく言うしな。
俺はそれをトンデモと呼ぶが。
0113132人目の素数さん
2006/01/02(月) 09:11:40>>107
「現在の実数の定義」とは、なんだ?
現在の実数の定義がなにを指し示すかはしらんが、それを認める以上
>>107は世の中にある、決まった実数の共通認識があるということだ。
あの人はこの実数の定義、この人はあの実数の定義という風には考えないと言うことだな。
それが、定義というものよ。
時と場所を選ばず、「実数」の概念を固定させるアイデアこそが、定義なの。
でないと、人によって0.999・・・が1だったり、そうじゃなかったりする。
それで良いと107が言うなら、もう俺は何も言うことがない。
俺は精神科医じゃないからな。
0114132人目の素数さん
2006/01/02(月) 09:15:03もぐりでしょ?
0115132人目の素数さん
2006/01/02(月) 09:22:41「いろいろな実数」を認める派か。
0116132人目の素数さん
2006/01/02(月) 10:05:230117132人目の素数さん
2006/01/02(月) 10:33:351=0.999…
0118ogachan
2006/01/02(月) 11:10:32等号への畏敬なんだな。等しいということを厳格に守るということ。
等しいということへの信仰でもある。すっごく純粋なんですよ。
等号って数学のシンボルじゃん。等号の意味を守る姿勢なんだよ。
利便に捉われて森を切ってしまう私たち人類。森を守りたいよな。
俺は等号を守りたいんだ。
0119132人目の素数さん
2006/01/02(月) 11:26:480.a1a2a3…=sup[n∈N]Σ[i=1〜n]ai/10^i
だから0.999…=1。
0120132人目の素数さん
2006/01/02(月) 12:22:44ちと困る。合ってるんだけど。
0121132人目の素数さん
2006/01/02(月) 12:37:00概念に対する名前の付け方は、
その概念が当事者間で共有されている限り原理的に自由だな。
完備アルキメデス順序体という概念に「実数体」という名前を付けても
(Hilbertではないが)「椅子」という名前を付けても、
完備アルキメデス順序体を意味するという約束の下では同じ事。
従って、「0.999…」を見て、これを
「完備アルキメデス順序体におけるΣ9/10^nの事」
と思うかどうかは信念や決まり事以上のものではない。
例えば「0.999…」を、列
(9/10, 9/10+9/10^2, ...)
の超準実数体における同値類であるとするなら、
これは1(即ち(1, 1, ...)の同値類)とは異なる事がすぐ分かる。
信念や決まり事の共有されていない人の間では、
0.999…が人により1だったり1でなかったりする訳だ。
>>107で書いた「現在の実数の定義」とは完備アルキメデス順序体の事。
これは現在数学をする多くの人が「実数体」という単語の意味として採用している。
だがogawaを始めとするトンデモや「1≠0.999…」派のように採用していない人もいる。
「多くの人の共通認識」程度でしかない。
> あの人はこの実数の定義、この人はあの実数の定義という風に
正にそう考える他にない。
その下で>>105の最後の一行の質問にお答え頂きたい。
0122132人目の素数さん
2006/01/02(月) 12:46:25じゃ、なんで分数の 2/2=3/3 では守らなかったんだ?
0123132人目の素数さん
2006/01/02(月) 12:47:01決まり事という表現については、同意。
信念という部分も、定義をした段階で付随してくるのは避けようがない。
ただ、その信念によって、定義がコロコロかわるのはいただけない。
定義は、いわばただの「必要十分条件」だから、記述が変わろうとも
概念自体が変更されなければ認められる。
でもそれ自体が変更されてしまうような定義は、どうかね。
信念はともかく、妄想はいかんよ。
0124132人目の素数さん
2006/01/02(月) 12:50:55数学の場合、微妙な定義の変更でも実質その定義の対象は無茶変化するじゃないか。
変化しないってのはおかしい。
0125132人目の素数さん
2006/01/02(月) 12:54:00あと>>105についてだけど
すなわち、「多数が認める」「少数が認める」ということに関係なく、
その定義が必要十分条件として正しく機能するなら、OK。
それ以外のものは、ただの妄想。
名前を変えるか何かして、別個のものと扱わないとね。
0126132人目の素数さん
2006/01/02(月) 12:55:12そうしたら、一般に数学をやっている人間は、
その中のどの定義を信じて証明を行えばいいの?
対象が変わるなら、証明方法も変わってくるが。
0127132人目の素数さん
2006/01/02(月) 12:56:13定義しないと必要十分かどうかわからないじゃないか。
従って、その言い方は無意味。
0128132人目の素数さん
2006/01/02(月) 12:57:13ケースバイケースで証明を行う。
0129132人目の素数さん
2006/01/02(月) 12:58:10すでに存在する定義について、別個の定義を与えようとするなら、
「証明」してみないと必要十分かどうかわからない。
「定義」するだけじゃなんにもならないよ。
0130132人目の素数さん
2006/01/02(月) 12:59:50ケースバイケースというと、自分の好きな定義をとっていいということ?
定義が8通りあれば、8通りの結果が得られてしまうけど、その中の
どの結果をとる?
メリットの話はなしね。そんなのただの自己都合だからさ。
0131132人目の素数さん
2006/01/02(月) 13:01:330132132人目の素数さん
2006/01/02(月) 13:02:23区別すると、どうなるの?
0133132人目の素数さん
2006/01/02(月) 13:03:46既に存在する定義を「変える」だけ。
>>130
数学者の直観主義とか形式主義とかのヒトの戦いの時だって、君の言うような状況に
なっていたじゃないか。それぞれが、それぞれの定義で証明を行い、どちらがよりメリット
があり豊かであるか覇を競ったんだよ。それぞれの定義でね。
したがって、メリット等でOK! それぞれの自己都合で競い合うってことだね。
0134132人目の素数さん
2006/01/02(月) 13:06:51前段:
たとえば?
後段:
ずいぶん次元の違う話をしているけど、それらはすべて実数の性質を
保つ形でおこなわれているだろ。それは俺もOKだよ。
ここで行われている無責任なものとはレベルが違うからね。
0135132人目の素数さん
2006/01/02(月) 13:14:49例えばといわれてもね。
後段: なんだってー。
つまり、実数以外のモノを変えることはどんな根本を変えてもOKだが…
実数だけは変えちゃいかーーーんってコトw
同じ数学だろうにw 統一性に無茶欠けるぞ。
0136132人目の素数さん
2006/01/02(月) 13:16:12後段:
「実数だけは変えちゃいかーん」の引用元よろしく
0137GiantLeaves ◆6fN.Sojv5w
2006/01/02(月) 13:16:32Is it lim_{n→∞}(∑_{k=1}^{n}(9/10^k))?
0138132人目の素数さん
2006/01/02(月) 13:16:38で、数学の根本を変える場合に、「形式主義と直観主義」の様な場合は容認して
「実数」の場合は容認しないんだろ?
線引きはどこだ?何がダメで何がいいんだ?きちんと明確にしないといけないん
じゃないのか?
0139132人目の素数さん
2006/01/02(月) 13:17:36>ずいぶん次元の違う話をしているけど、それらはすべて実数の性質を
>保つ形でおこなわれているだろ。それは俺もOKだよ。
>ここで行われている無責任なものとはレベルが違うからね。
実数の性質が保たれなきゃダメなんだろ?
0140132人目の素数さん
2006/01/02(月) 13:20:08実数という言葉を入れたのは、俺の書き間違い。
各定義が定義として必要十分な関係にあればOKということ。
もしないなら、前の定義が誤りであることをきちんと証明しないとね。
0141132人目の素数さん
2006/01/02(月) 13:25:31定義が誤りだなんて証明できるかよw 定義ってそもそも絶対真として扱われるだろ?
不可能なこと言うな。
「形式主義対直観主義」の戦いでも、それぞれの論理の定義を勝手に変えて、数学者
たちは覇を競っただろ?教え子の引き抜きもやったしな。そのとき、相手側の論理の
誤りなんてきちんと指摘したか?
0142132人目の素数さん
2006/01/02(月) 13:28:42覇を競うというのは、そういうことだろ。
どっちにしても、定義そのものがあやふやではっきりしていない時代だったわけだ。
そんな数学の草創段階の議論をここでされてもね。
哲学板出身?
0143132人目の素数さん
2006/01/02(月) 13:31:26それを言ったら、今は「1=0.9999…」で決定じゃないかw 多くの数学者がそう思っているのを
認めないひとはいくなんでもいないだろw 対角線論法もこれを前提として使っているしな。
で、ここはその定義にいちゃもんをつけるスレなんだろ?定義があやふやだからなんとかしよう
と思っている人たちがさ。だったら、「定義があやふやだった時代」の話をしないでどうする。
0144132人目の素数さん
2006/01/02(月) 13:32:41ずばり、0.999・・・=1で決定です。
0145132人目の素数さん
2006/01/02(月) 13:34:23前半だけでなく、後半も認めろw
0146132人目の素数さん
2006/01/02(月) 13:37:35もともとはいちゃもんをつけるスレなのではなく、
1=0.999・・・が分からない人間のためのスレの11個目なの。
それが、昨日のゴタゴタで>>1が血迷って、あんな形にしてしまった。
というわけで、スレの本旨はいちゃもんすれじゃないってこと。
0147132人目の素数さん
2006/01/02(月) 13:40:10納得できないヒトの為に色々考えるってのも大切だろうに。納得できない
ヒトの目線に立って色々考えるのは基本だと思うけどね。
0148132人目の素数さん
2006/01/02(月) 13:40:56相手の目線に立って話をするのは大事だけど、
だからって自分まで混乱することはないだろ
0149132人目の素数さん
2006/01/02(月) 13:41:53混乱しているか??
0150132人目の素数さん
2006/01/02(月) 13:43:59ずいぶん、ね。
まずスレの本旨からおかしかったじゃん。
0151132人目の素数さん
2006/01/02(月) 13:44:56別にいいんじゃないの?「1=0.9999…」は結局は定義次第なんだしさー。
0152132人目の素数さん
2006/01/02(月) 13:46:49どのような定義によると、1と0.999・・・は異なった値をとるの?
実数の連続性を抜くとか?
0153132人目の素数さん
2006/01/02(月) 13:50:400154132人目の素数さん
2006/01/02(月) 13:54:45あくまで全順序集合上でさ。
まぁあんまり込み入った議論はしたくないんだが。
なにしろ0.333・・・×3=0.999・・・とか
普通にしちゃう連中の中で話すわけだから。
0155132人目の素数さん
2006/01/02(月) 13:58:49小数の定義として例えば「0.999…=Σ9/10^n」が成り立つものを採る。
(2) 単語「実数体」の定義として超準実数体R^*を採用し、
小数の定義として例えば「0.999…=[9/10, 9/10+9/10^2, ...]」が成り立つものを採る。
前者の定義の下では1=0.999…は正しい。
後者では1≠0.999…は正しい。
・両者は相反するだけで、どちらも独立に正しく機能する
・前者を採るのも後者を採るのも全くの自由
・事前に了解があれば、ケースバイケースでどちらかを採用する事で問題は生じない
・どちらが「実数の概念」に相応しいかは信念やメリットの問題で、証明できるものではない
・多数の人が受け容れるものが一般に流布し易い
・(1)での「実数体」は自然な性質を持っていると思う人もいれば、
(2)での「実数体」の方が自然だと思う人もいる
従って(1), (2)のどちらを選ぶかという基準には
信念、メリット、決まり事以上の論理は無い。
0156132人目の素数さん
2006/01/02(月) 13:58:52別に…
0.333・・・×3=0.999・・・
でいいじゃないかw いろいろつっこむヒトがいるだけの話で。
0157132人目の素数さん
2006/01/02(月) 14:01:19すくなくとも、「1=0.9999…」には計算が容易になるというメリットあるじゃないか。
どっちをとっても自由なのは確かだけどね。
0158132人目の素数さん
2006/01/02(月) 14:04:00それはあくまで、超準実数体を実数体と名付ければの話であって、
異なった2つの概念を1つの単語にまとめたことによる矛盾であり、混乱なわけだろ。
メリットどころか、ただの混乱を生み出してるわけだ。
0159132人目の素数さん
2006/01/02(月) 14:06:20「法」と言ったりするのと変わらないな。
それは定義と言うより、ただの「名付け」に過ぎない。
0160132人目の素数さん
2006/01/02(月) 14:07:51君の「実数」の定義ってデテキントやらコーシーやらで定義されるふつーのヤツだよね。
で、何故それが実数の定義と思っている訳だ?
学校で習ったから? エライセンセーが定義したから? 皆が定義と考えているから?
0161132人目の素数さん
2006/01/02(月) 14:09:01それを前提として議論しているから。
0162132人目の素数さん
2006/01/02(月) 14:10:07意味不明。しかも、主語が抜けているw
誰が、前提として論議しているんだ?君?数学を学んだヒト?エライ数学者?
0163132人目の素数さん
2006/01/02(月) 14:11:17このスレがってところかな。
もしそれを前提としないなら、実数の定義を確定してくれ。
そうするなら、それを前提とした議論を行うよ。
0164132人目の素数さん
2006/01/02(月) 14:11:41事前の了解の下では、ある概念にどのような名前を付けるかは自由であり、
それにより矛盾や混乱は生じない。
(1)と(2)を同時に採用すれば(前提とすれば)矛盾する。
(1)と(2)を同時には採用しなければ(前提としなければ)矛盾しない。
前提は使い分ければ良いだけだな。
もし違うというなら、つまり(1)と(2)を同時には採用していなくとも
矛盾や混乱が生じると主張するなら、
その矛盾や混乱を具体的に示してくれ。
0165132人目の素数さん
2006/01/02(月) 14:12:49その通り。
使い分ければ混乱は生じないね。
0166132人目の素数さん
2006/01/02(月) 14:17:58連続性を保ったままで1と0.999・・・が異なった値をとることは不可能だと思うんだが。
0167132人目の素数さん
2006/01/02(月) 14:20:13逃げているな。「君」がなぜ普通の実数の定義を「実数の定義」と考えているのか
って聞いているのにねw まるで政治家の答弁だ。
0168132人目の素数さん
2006/01/02(月) 14:21:26そうとるのは自由。
0169132人目の素数さん
2006/01/02(月) 14:23:15実数体の定義を新たに確定する気がないなら、今まで通り
「完備アルキメデス順序体」とやらでいくよ。いい?
(正直、この呼び名は知らなかった)
0170132人目の素数さん
2006/01/02(月) 14:26:55答える気がないってことだね。都合がわるいと。
>>169
いつそんなこと問題にしたw 「君」がなぜ「普通の実数の定義」を認めたかってのを
問題にしているのにね。
0171132人目の素数さん
2006/01/02(月) 14:27:46前者:そう取ってもらってもいいよ。
後者:俺は、問題にしてない。
0172132人目の素数さん
2006/01/02(月) 14:29:45もぐりでしょ?
0173132人目の素数さん
2006/01/02(月) 14:29:45ま、これ以上答えるはずもないから、これで追求は止めるけどねw
0174132人目の素数さん
2006/01/02(月) 14:31:05んで、超準実数体のことなんだけど、そこでは実数の連続性は保たれるの?
0175132人目の素数さん
2006/01/02(月) 14:32:48おらしらね
0176132人目の素数さん
2006/01/02(月) 14:33:48なんだ、知りもしないのに実数体の定義に使おうと思ったのか?
0177132人目の素数さん
2006/01/02(月) 14:34:19ならばどちらを前提とするかという判断基準は?
信念・メリット・みんなが決めたお約束以外にあると?
>>166
[1, 2, ...]∈R^*はNの上界なので、Nは上に有界。
然るにNの任意の上界xについてx/2はxより真に小さいNの上界なので、
Nは上限を持たない。
故にR^*は連続性を満たさない。
0178132人目の素数さん
2006/01/02(月) 14:34:38本人が書くまで待つべし
0179132人目の素数さん
2006/01/02(月) 14:36:350180132人目の素数さん
2006/01/02(月) 14:37:22もちろんR^*は超準実数体、[a_1, a_2, ...]は列(a_1, a_2, ...)のR^*での同値類、
Nは有限な自然数[n, n, ...]の全体。
0181132人目の素数さん
2006/01/02(月) 14:38:07前段:実数の連続性は、少なくとも高校までの基礎教養における前提だから。
後段:すると、超準実数体ってのは数と数の間に飛びがあるわけか。
任意の実数a,bに対してその平均が取れなくなるわけだろ?
けっこうな欠陥じゃないのか?
0182132人目の素数さん
2006/01/02(月) 14:39:26つまり、学校で習った事項だから、それを前提にして良いと…
ふーん。なにか受け身ですね。結局、前の人のやったことを単純に受け入れているわけだからね。
0183132人目の素数さん
2006/01/02(月) 14:40:40「1=0.9999…」の理由→学校で習ったから。
単純でいいですね。
0184132人目の素数さん
2006/01/02(月) 14:42:37このスレの趣旨を考えれば当然だろ。
大学や大学院で数学をやってる人間が持つべき疑問じゃないし、
仮にその上を言った学問をやっている人間だとしても、高校レベルには
議論のレベルを落とさないとスレが混乱する。
>>183
1=0.999・・・の証明自体は、厳密な形では学校で習ってないよ。
0185132人目の素数さん
2006/01/02(月) 14:46:210186132人目の素数さん
2006/01/02(月) 14:47:30多分俺一人だろうなw
0187132人目の素数さん
2006/01/02(月) 14:48:22そんなもん、あるもんかw
勝手に決めるなよw
厳密な証明なんて言ったら、数学基礎論にまではまりこんでしまう。
さっきの論議を見てると、基礎論それほど知らないようじゃないかw
(オレも知らないけどね)
君は、自分自身の勝手な決めつけが異様に多いぞ。自覚せよ!
0188132人目の素数さん
2006/01/02(月) 14:50:51なら、前提を作ってくれ。俺では不十分というならね。
数学基礎論までいかなくても、実数の連続性が保証されている世界なら
1=0.999・・・の証明はそう難しいもんじゃない。
もしそれ以上のものを求めて議論しようと言うなら、まず自分が提示すべし。
人に甘えてると、良い社会人になれないぞ。
0189132人目の素数さん
2006/01/02(月) 14:50:560190132人目の素数さん
2006/01/02(月) 14:52:08ずいぶん前に「区別」という言葉を使った一行レスがもう一つあったな。
どういうことだ? 主語も目的語もない「区別」だけ言っても社会では通用しないよ。
0191132人目の素数さん
2006/01/02(月) 14:54:29ふーん。少なくとも「前提がどうであってもOK」って態度にはなったわけだ。
オレが求めているのは単にそれだよ。(オレ自身の前提は普通の前提だしな。)
君が以前の定義を勝手に変えちゃいかんって態度から変わったから、オレは退散する。
0192132人目の素数さん
2006/01/02(月) 14:56:00与えられた定義は勝手に変えてはイカンよ。w
0193132人目の素数さん
2006/01/02(月) 14:56:05与えられた定義は勝手に変えてはイカンよ。w
0194132人目の素数さん
2006/01/02(月) 14:56:340195132人目の素数さん
2006/01/02(月) 14:57:02主語が抜けているよ。社会では通用しないなw
「誰が」与えたんだ?
0196132人目の素数さん
2006/01/02(月) 14:57:340197132人目の素数さん
2006/01/02(月) 14:59:17その場が与えた、と言えば満足かな?
英語でやったろ、受動態を。
一般を示すような主語は、必要ない場合もある。この場合がそれだな。
0198132人目の素数さん
2006/01/02(月) 14:59:51わざとですか?
0199132人目の素数さん
2006/01/02(月) 15:00:110200132人目の素数さん
2006/01/02(月) 15:00:26満足するかw そんなもん。きちんと答えろよ。
0201132人目の素数さん
2006/01/02(月) 15:00:45わざと、誰が何をしたって?
0202132人目の素数さん
2006/01/02(月) 15:01:19あとは個人の頭脳の問題。
ごめん、俺甘やかさない主義でさ。
0203132人目の素数さん
2006/01/02(月) 15:02:11きちんと答えてもらおうか。
0204132人目の素数さん
2006/01/02(月) 15:02:48その場が。
0205132人目の素数さん
2006/01/02(月) 15:03:150206132人目の素数さん
2006/01/02(月) 15:03:410207132人目の素数さん
2006/01/02(月) 15:03:53その場なんて「意志」があるかよw とんち問題、禅問答しているんじゃないんだよな。
0208132人目の素数さん
2006/01/02(月) 15:05:23意志なんて必要ない場合もあるんだよ。
誰が雨を降らせる?神様か?
0209132人目の素数さん
2006/01/02(月) 15:07:53数学の定義は気象現象かw 話にならんな。徹底的にとぼけるし。
結局、数学者達がよってたかって、最もメリットがあり最も素直な形での定義の
すり合わせを行い、それが今に伝わっただけだろ。
したがって、その定義に文句を言うのも自由。
0210132人目の素数さん
2006/01/02(月) 15:09:45もっともメリットがなきゃ行けないのか。
んじゃ、自然数が0からでなく、1から始まるメリットはなんだ?
0211132人目の素数さん
2006/01/02(月) 15:10:38その件についてはだから論争になっているだろ?違うか?
どっちの定義でも別にOKだろ。
0212132人目の素数さん
2006/01/02(月) 15:11:28定義に文句を言っても良いけど、勝手な定義をつくるなよ?
前スレなんて0.999・・・≠1を「定義」しようとしたバカがいたっけな。
なんでも決まり事にしちゃえば定義になるとおもってるアホが多くて困る。
0213132人目の素数さん
2006/01/02(月) 15:12:00最もメリットがあるから採用されてるんじゃなかったのか?
0214132人目の素数さん
2006/01/02(月) 15:12:52それを定義に入れても良いじゃないかw
何から定義にするにしてもさ。
0215132人目の素数さん
2006/01/02(月) 15:13:39つまり今まで慣習として完備アルキメデス順序体を「実数体」と名付けてきたから、
通常その慣習に従う、と。
要するに>>177で書いた「みんなが決めたお約束」だとか
>>9で書いた「多数決」だな。
然るに>>13では>>9に同意していないという>>181内部の矛盾。
また前スレ946
> 「認めても全く不都合ない」かどうかを確認するのが、まさに証明なの。
> 証明されない間は、認めても全く不都合ない「ように見える」だけ。
同950
> 人が決めるのではなく、論理が決めるもの。
同953
> 「妥当」かじゃどうかではなく、「真実」かどうかなの。
同958
> あたらしい世界を作っていくに当たって、定義のすりあわせはそりゃ行われるでしょ。
> そのかわり、定義がしっかり定義されていることを厳密に証明して、基礎をしっかり作る。
> でないと、理論が発展していかないんだよ。だってその定義が、理論の命綱になっていく
> んだから。
の発言をしている。
>>181の考えでは「お約束=多数決=厳密な証明=論理=真実=100%依拠」か。
大層変わった日本語感覚をお持ちのようで。
0216132人目の素数さん
2006/01/02(月) 15:14:11メリットが個人で違うから、その件については熱い論争になっているんだろ。
1=0.9999…の方はメリットの方が多いから、普通これが当たり前だとするんだよ。
0217132人目の素数さん
2006/01/02(月) 15:14:46それを定義に入れると、実数の連続性が崩壊しますが何か?
0218132人目の素数さん
2006/01/02(月) 15:16:29超準実数の場合はね。でも、連続性が崩壊しても構わないという人が「いるかも知れない」
0219132人目の素数さん
2006/01/02(月) 15:17:17凄い分析!!!
0220132人目の素数さん
2006/01/02(月) 15:18:01いつの間にか「多数決」を俺の考えに入れて下さったみたいで。
多数だろうと少数だろうと、正しいものが採用される。
>>216
メリットが多いからというからには、メリットを挙げられるんだろうな。
「普通当たり前とする」からには、例外的なものも是非挙げて下さい。
0221132人目の素数さん
2006/01/02(月) 15:19:30後半は…それこそ、「過去ログあされ!」
じゃ、買い物行ってくる
0222132人目の素数さん
2006/01/02(月) 15:19:33では、実数体上では「平均」を当たり前にできなくなりますな。
構わないと言う人がいることは構わない。
無視すれば良いだけだからね。
0223132人目の素数さん
2006/01/02(月) 15:19:56過去ログにもないだろそんなの
0224132人目の素数さん
2006/01/02(月) 15:20:14過去ろぐ嫁
0225132人目の素数さん
2006/01/02(月) 15:21:01そういうせりふは、自分が見つけられない者が吐く台詞。
どうせ、ないんだろ。
0226132人目の素数さん
2006/01/02(月) 15:21:120227132人目の素数さん
2006/01/02(月) 15:21:560228132人目の素数さん
2006/01/02(月) 15:24:01「1≠0.999…であることを認めたくない人たちのスレです。」
って「1=0.999…であることを認める人たちのスレです。」
ということ???
0229132人目の素数さん
2006/01/02(月) 15:27:56いたずらだから、気にすんな。
本来は1=0.999…について議論するスレ。
0230132人目の素数さん
2006/01/02(月) 15:29:39>>177の
> ならば(>>155の)どちらを前提とするかという判断基準は?
> 信念・メリット・みんなが決めたお約束以外にあると?
に対し>>181で
> 前段:実数の連続性は、少なくとも高校までの基礎教養における前提だから。
と答え、>>220で
> 多数だろうと少数だろうと、正しいものが採用される。
とも言っている。
すると「前提とすべきもの=正しいもの=高校までの基礎教養における前提」か。
だが実数の連続性は「高校までの基礎教養における前提」では無い。
高校数学までの実数概念はもっと漠然としたものだ。
従って実数の連続性は「正しいもの」や「前提とすべきもの」では無いという事になる。
あるいは高校数学での素朴な集合概念はRusselのパラドックスを導く。
>>220にとっての「正しいもの」の中には矛盾も含まれているという事か。
0231132人目の素数さん
2006/01/02(月) 15:32:45たとえば平均の存在を保証しないと(x+y)/2とかできないんですが。
連続性を保証されてる定義でないと、矛盾しないか?
だから、大学生の解析学においてもε-δ論法がすんなり導入できるんだろ。
後段:
たしかに、矛盾するものもあるね。
0232132人目の素数さん
2006/01/02(月) 15:34:45> すると、超準実数体ってのは数と数の間に飛びがあるわけか。
> 任意の実数a,bに対してその平均が取れなくなるわけだろ?
> けっこうな欠陥じゃないのか?
飛びは無い、即ち切断の両組共に端がある事はない(a, b∈R^*に対しa<(a+b)/2<b)。
ただ途切れがある、即ち切断の両組に端がない事がある。
それは>>177より明らか。
0233132人目の素数さん
2006/01/02(月) 15:37:10飛びがないけど、途切れがあるっていうのはどういうことだ?
途切れの間には何もないのか?
0234132人目の素数さん
2006/01/02(月) 15:46:38R^*の切断(A, B)とはφ≠A, B⊂R^*であって
任意のa∈A, b∈Bについてa≦bなるものの事。
「飛びがある」とは、ある切断(A, B)について、
Aに最大値があり、かつBにも最小値がある事。
「途切れがある」とは、ある切断(A, B)について、
Aに最大値が無く、かつBにも最小値が無い事。
この意味でR^*においては飛びはなく、途切れがある。
何故なら、a<(a+b)/2<bより飛びが無い事は明らか。
またあるn∈Nについてa<nであるようなa∈R^*の全体をAとし、
その補集合をBとすれば、(A, B)は切断で、
Aに最大値は無く、>>177よりBにも最小値は無い。
0235132人目の素数さん
2006/01/02(月) 15:54:18切断の定義でA∪B=R^*を入れるのを忘れた。
またアルキメデス順序体において、
連続性や完備性は飛びも途切れもない事と同値。
0236132人目の素数さん
2006/01/02(月) 15:55:04でいいの?
0237132人目の素数さん
2006/01/02(月) 15:57:07確かにまずいな。a<bやA∩B=φとする必要があるな。
0238132人目の素数さん
2006/01/02(月) 16:09:09> たしかに、矛盾するものもあるね。
矛盾が「論理」であり「真実」であり「100%依拠」か。
数学においては矛盾は存在しない(と信じられている)から、
>>231の話はやはり数学の話ではなかったという事だな。
0239132人目の素数さん
2006/01/02(月) 16:30:35うわあ、素朴な信者だなあ。数学において矛盾は存在しないと信じられているって?
どっちかというと、矛盾がとりあえずみつかっていないから、それで良しとして進めているって感じじゃない?
矛盾が出たら、その時修正して、うまくいく限りそれで進めていこうっていう。
数学に信仰は似合わないよ。
0240132人目の素数さん
2006/01/02(月) 16:31:20更に>>177の
> ならば(>>155の)どちらを前提とするかという判断基準は?
> 信念・メリット・みんなが決めたお約束以外にあると?
に対する>>181の解答
> 前段:実数の連続性は、少なくとも高校までの基礎教養における前提だから。
は、>>230で指摘したように的外れ。
これにより>>231の主張
「実数概念としては連続性は前提とすべきものである」
「実数概念としては完備アルキメデス順序体が当然」
は根拠を失う。
改めて問う。
実数概念として完備アルキメデス順序体を採用する根拠は?
それは信念・メリット・みんなが決めたお約束以外にあると?
0241132人目の素数さん
2006/01/02(月) 16:37:54数学の無矛盾性は信じるものなのか問題になるまで放置しておくものなのか、
それは人に依るだろうし、ここでの議題ではない。
問題なのは、矛盾に「100%依拠」して話を進めようとする>>239の論。
少なくとも、矛盾に「100%依拠」した議論は全く不合理で、
数学でないどころかまともな議論ですらない。
0242132人目の素数さん
2006/01/02(月) 16:41:27もっと良い説明があれば、のりかえる。自然科学って、そういうものでしょ?
今はもっと良い説明なんて無いし、問題も特に起きてないからこのモデルを採用してるだけ。
いやなら誰もが採用したいと納得するモデルを用意すればいいじゃん。
0243132人目の素数さん
2006/01/02(月) 16:45:440244132人目の素数さん
2006/01/02(月) 16:48:53俺は矛盾に100%依拠して議論なんざしてないよ。ここで書いたのは、
239,242とこれだけ。誰かと勘違いしてない?だいたい、そんな考え方してたら学生に
何も教えられないよ(笑)ちなみに、>>242は、>>240への返事ね。
0245132人目の素数さん
2006/01/02(月) 16:56:33筋がいいかもね。
0246132人目の素数さん
2006/01/02(月) 16:59:55そうか。「真実=100%依拠」の例の方と勘違いした。
>>240の問の答えは例の方以外はごく普通のものだろうから、
やはり答えるべきは一人。
0247132人目の素数さん
2006/01/02(月) 17:06:01教える側は標準を淡々と教えるべき。本当に使えるやつは自分で考え疑問を持ち調べるよ。そうして納得していかないと技術屋止まり。
技術屋にすらなれないよりはいいんだけど
0248132人目の素数さん
2006/01/02(月) 17:50:141日も経たずにおもちゃを壊してしまった。
0249132人目の素数さん
2006/01/02(月) 18:42:51・・んで、何に答えればいいって?
0250132人目の素数さん
2006/01/02(月) 18:49:30曲解してくれる人がいるみたいだね。「曲解したい」という感じだと思うけど。
論理があったらそれを100%の前提としなかったら証明にならないだろ。
それを説明するために「真実」という言葉を使った。
たしかに不適切だったかもしれないが、さすがにここまで揚げ足を取りたい人間と
話をしているとはね。
真実という言葉はここで訂正するよ。これでいいかな?
0251132人目の素数さん
2006/01/02(月) 18:50:400252132人目の素数さん
2006/01/02(月) 19:01:00>>238
>矛盾が「論理」であり「真実」であり「100%依拠」か。
>数学においては矛盾は存在しない(と信じられている)から、
>>>231の話はやはり数学の話ではなかったという事だな。
矛盾が「論理」であり「真実」であり「100依拠」だといった部分を
しっかり提示してくれ。俺はそんな話はしていない。
0253132人目の素数さん
2006/01/02(月) 19:02:35>うわあ、素朴な信者だなあ。数学において矛盾は存在しないと信じられているって?
>どっちかというと、矛盾がとりあえずみつかっていないから、それで良しとして進めているって感じじゃない?
>矛盾が出たら、その時修正して、うまくいく限りそれで進めていこうっていう。
>数学に信仰は似合わないよ。
もしそうなら、例えば解決されていない矛盾を一つ教えてくれ。
俺は、論理は絶対だと思ってる。それが誤解なら、ぜひなぜ誤解か教えてくれ。
0254132人目の素数さん
2006/01/02(月) 19:03:23今日はとりあえず10時までね。明日は仕事だから。
0255132人目の素数さん
2006/01/02(月) 19:10:15実数の連続性を実数の定義に入れた理由を高校数学においたという根拠が
誤っているというなら、それはなぜかを教えてくれ。
>>230が違うというなら、それはなぜかという部分も含めてね。
でないと、質問になってないよ。 そこらへんをはっきりさせてから質問すること。
0256132人目の素数さん
2006/01/02(月) 19:27:22はあ?オレは数学に矛盾があるなんてこれっぽっちも言ってないんだけど?何でそんなものを教えなきゃいけないんだ?論理的思考力のないヤツだな(笑)
論理が絶対と思いたければ思っていたら?それを否定はしない。今のところできないからね。でも、信仰する気はない。
うまくいく間は不便もないし、便利な道具だから使えばいい。それは絶対正しいかどうかとは関係ない。オレも今のところ便利だし問題がないようだから使うが、それは君と違って信仰しているからではない。
0257132人目の素数さん
2006/01/02(月) 19:28:23俺も信仰してるわけじゃないよ。
んじゃ、問題解決だな。OK?
0258トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 19:31:05これからもよろしく。
0259132人目の素数さん
2006/01/02(月) 19:35:39なら絶対という言葉は使わない方が賢明と思うがな。それに、矛盾がないと信じられているなんて事も言わない方がいい。
一応立場は了解。
0260ogachan
2006/01/02(月) 19:36:21つーか、連続性がそもそもわからん。
よーし、解析入門�Tのp7を読むぞ。
連続の公理
実数体Rの、上に有界な任意の部分集合A≠φに対して、Aの上限(最小上界)
s=supA がRの中に存在する。
例えば、数直線を、x≦1と1<xとにわけて、前者を部分集合Aとすると、
後者がAの上界の集合となるわけだが、後者の最小元って何だよ?
それがAの上限だろ。ないじゃん。
と思ったけど、1もAの上界なのか。上界の定義で<でなくて≦なのが
くさい。
と思ったけど、なんだかよくわからなくなってきた。
まぁ、連続性ってのは、ある点があって、その点にたいして、いくらでも
近い点があるってことだろ?
1≠0.999…でも、1の左隣の0.999…という値は1に対していくらでも
近い値だから連続じゃし。
問題ない。
0261トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 19:45:59絶対と言う言葉は、多分使っていないし、
矛盾がない・・・という部分も俺は使っていないと思う。
最近俺の言うことを曲げて引用している連中がいるから
その辺は俺の言うことを直接解釈してほしい。
なにしろ、俺が言ったとされていることに対して俺自身が驚く事態に発展してるんだ。
0262132人目の素数さん
2006/01/02(月) 19:57:14矛盾がない・・・は、>>238の中にある。コレが君の発言で無いというなら了解。
ただ、>>239でああいった発言になるのは納得して欲しい。
0263132人目の素数さん
2006/01/02(月) 20:01:31Aの上界というのは、集合Aのどの点よりも下にならない点の集合のことだろ。
つまり、x≦1の上界は、Bではなく1≦x。
そして、上限とは最小上界のことだから、この場合は1になるね。
0264132人目の素数さん
2006/01/02(月) 20:03:07つまり、π=3ってことだろ?
0265132人目の素数さん
2006/01/02(月) 20:05:20ホントだ。253に「絶対」と書いてあったね。
でも実際、論理だけは俺絶対だと思ってるんだ。またトンデモと言われるかなw
238の中の人は、おそらく俺の発言を一番曲げて解釈してる人なんだよね。
曲げて解釈する上に、それを何度も何度も書くから、いつのまにか俺の発言
として定着してしまうという、困った事態になってる。
0266トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 20:06:170267132人目の素数さん
2006/01/02(月) 20:12:59前スレ972で
> 実数の公理自体は、100%真実だね。なぜなら、それが実数の定義になっているから。
と。また前スレ>>980で
> (真実とは)ここでは「100%依拠できる」という意味で使ってる。
と。また>>230で見たように
> 実数の連続性は、少なくとも高校までの基礎教養における前提だから。
> 多数だろうと少数だろうと、正しいものが採用される。
と。そして
> あるいは高校数学での素朴な集合概念はRusselのパラドックスを導く。
> >>220にとっての「正しいもの」の中には矛盾も含まれているという事か。
に対し>>231で
> たしかに、矛盾するものもあるね。
と。ここで実数の公理とは完備アルキメデス順序体の事であり、
連続性を満たす(アルキメデス)順序体と同じ事だった。
即ち>>252は
「実数の公理は100%真実=100,%依拠できるもの。
その理由は、高校数学までの前提であって正しいものだから。
正しいものには矛盾もある」
と考えていると。
矛盾を含むものを正しいもの・前提として100%依拠すると。
発言内容をそのまま抜き出しているだけだな。
以上がもし誤っているなら、何が誤解なのか指摘してくれ。
0268トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 20:18:18そうだね。
たしかに俺は誤りを犯した。
矛盾したものを正しいものとして100%依拠するという文になってしまっている。
矛盾するものに、依拠してはいけないよね。
ここで訂正するよ。
ただし、高校数学における集合の扱い方に矛盾があるとしても、
それがすなわち実数の連続性の矛盾にはつながらない。
だから、実数の定義について矛盾は生じないんじゃないかな。
100%依拠してもいいだろ?
0269132人目の素数さん
2006/01/02(月) 20:19:06人に押しつけなければ大丈夫でしょ。まあ、絶対と言いたくなる気持ちはわからんでもない(笑)
0270トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 20:21:14了解。人に押しつけたつもりはないが、そう取られようこれからも努力するよ。
0271トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 20:21:54「取られよう」×→「取られないよう」○
0272132人目の素数さん
2006/01/02(月) 20:29:30訂正しますか。
ならば>>177での俺の質問
> ならばどちらを前提とするかという判断基準は?
> 信念・メリット・みんなが決めたお約束以外にあると?
に対する回答>>181
> 前段:実数の連続性は、少なくとも高校までの基礎教養における前提だから。
は自ら取り下げという事になる。
高校数学の全てが依拠できるものではないと>>268で意見を翻したのだから。
「高校までの基礎教養における前提だから」は
実数の連続性を採用する理由になっていないと。
ならばもう一度答えてもらわなければならない。
実数概念として完備アルキメデス(即ち連続な)順序体を採用する根拠は?
それは信念・メリット・みんなが決めたお約束以外にあると?
0273トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 20:37:30実数の連続性による定義を、高校までの基礎教養における前提として
採用することについては、取り下げたつもりはないんだが。
取り下げたと思った根拠はなんだ?
0274トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 20:43:46なぜこだわるのかわからない。
定義を採用する理由が「信念」ってなんだ?
理由を聞かれたら、「それが俺の信念だからっす」とか
「メリットがあるじゃないすか」とか「お約束だからっす」とか言うのか?
おかげで無限小数の四則演算についても「メリット」を理由に無条件で
採用したがる厨房がこのごろ増えて困ってる。
アナタじゃないんだろうけど、定義すればなんでもOK、なぜならそれには
メリットがあるから、なんておかしいと思わないか?
その点については、ぜひメリット論者としての貴方の意見を聞いておきたい。
・・・いいのか、あんなんで?
0275132人目の素数さん
2006/01/02(月) 20:44:06「高校までの基礎教養における前提」には、
集合に関するRussellのパラドックスという矛盾がある。
また>>268には
> 矛盾するものに、依拠してはいけないよね。
とある。
即ち「高校までの基礎教養における前提」には依拠できない部分があると。
「高校までの基礎教養における前提」は全てが依拠できるものではないと。
とすれば
> 前段:実数の連続性は、少なくとも高校までの基礎教養における前提だから。
は理由になっていない。
何故実数の連続性は、Russellのパラドックスのような依拠できないものではないのか?
これに答えていない限りは
> 前段:実数の連続性は、少なくとも高校までの基礎教養における前提だから。
は取り下げざるを得ないだろう。
0276132人目の素数さん
2006/01/02(月) 20:48:00俺が聞いてるのは、なぜ集合論の扱い方に矛盾があるからと言って、
実数の連続性そのものにも波及するんだ?ってこと。
たとえばさ、0.999・・・=1の証明法として
0.333・・・×3=0.999・・・を使ったりしてるよね。
それを理由に、高校数学における四則演算そのものを否定したりするか?
しないだろ? 俺はしないと思ってるんだが、ちがうのか?
0277トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 20:48:47これは俺の発言ね。
0278132人目の素数さん
2006/01/02(月) 20:52:01>>275は1=0.999・・・の是非についてはどう思う?
賛成派? 反対派?
それによって、俺と275の立場が大きく左右されるので是非確認しておきたい。
ちなみに俺は賛成派なんだが。
0279トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 20:52:47これも俺の発言ね。
トリップってのは面倒だな・・・
0280132人目の素数さん
2006/01/02(月) 20:53:04いいんだよ、そんなんでw
矛盾があったらまずいけどな。
0281132人目の素数さん
2006/01/02(月) 20:59:23そこがさ、俺と280の立場を大きく変えてる部分なんだよな。
正しいと思ったものは、矛盾が見つかるまでは無批判で使用する280と、
正しいと思ったものも、証明されるまでは使用しない俺。
もし四則演算に矛盾がないなら、
1/3=0.333・・・を両辺三倍するだけで、証明が完結する。
非常に簡単な問題なわけだ。
しかし「超準実数体」における定義では
1≠0.999・・・は一致しないことになる。
すなわち、超準実数体を実数の定義とした場合は
四則演算は矛盾することになるわけだ。
そのへんは、どうするの?
0282132人目の素数さん
2006/01/02(月) 20:59:32あなたの発言がもし無ければ波及しないな。
問題となっているのは
> 前段:実数の連続性は、少なくとも高校までの基礎教養における前提だから。
は理由になっていない事。
「高校までの基礎教養における前提」を理由として挙げるのは自身の発言に矛盾する。
「高校までの基礎教養における前提」には素朴な集合論があり、
そこにはRussellのパラドックスという依拠できない矛盾がある。
「高校までの基礎教養における前提」には依拠出来ないものがあるにも関わらず
実数の連続性についてはこれを依拠するという不整合。
>>278
完備アルキメデス順序体においては、
1=0.999…はわずかな定義と推論により証明可能な正しい命題。
そもそも実数概念として完備アルキメデス順序体を採用すべきか、という問には
今のところそれが最も使い勝手が良いのでそうしておこうという程度。
0283トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:02:51なぜそうなる?
「実数の連続性」が高校数学に対応できない理由として
集合論の教え方の矛盾を挙げてるわけだが、
その辺の理由を、もう少しちゃんと教えてくれ。
後段:
んで、賛成派?反対派?
俺はここを聞いてるんだが。
0284132人目の素数さん
2006/01/02(月) 21:04:43そいつは、確かにそうだな。それぞれの前提の元に証明したらいいだろ。
証明できるものはな。
メリット云々ってのは「定義」の事項だよ。定義ってのは証明できんだろ?
絶対真だとして扱うわけだ。それは、メリットがあるように定義したらいい
だろうに。
0285トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:07:59メリットがあるように定義した結果、その定義の中で矛盾が生じた場合はどうする?
実際四則演算で矛盾が生じたわけだが。
俺が「証明が必要」と言ったのは、まさにこの部分なんだが。
well-definedっていうのを習ったことない?
たとえ定義にだって、その定義が正しく機能するかどうかを確かめる必要が生じる
ことがあるんだよ。
0286132人目の素数さん
2006/01/02(月) 21:11:090287トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:11:13あとさっきも書いたけど、俺10時ぐらいまでしかここに居れないからさ。
明日仕事が早いから。
俺に何か言いたかったら、その辺気をつけてくれな。
0288トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:15:37定義って、そういうもんじゃないんだけどな・・・
ある命題を証明するのにまず定義を行い、そこからステップ1から9までの証明が
必要だとするじゃん。
んで、ステップ9まで証明が完了した段階で、不都合が生じたとする。
そうしたら、そこまでの証明の間違いを遡及的に追っていくよな。
どうする? 定義の誤りと分かるまでには結構な時間や手間がいるし、
そうならないためにも、少なくとも定義にはしっかりしたものを採用しようとしないか?
大学に入ったらそこらへんのことを厳しく指導されると思うから、たぶん286は
高校数学までしか扱ってない人間なんだと思って、あえてここまで説明するんだけどな。
知らない部分はしかたがない。でもわかったら、その部分は是非しっかりして欲しい。
0289132人目の素数さん
2006/01/02(月) 21:20:49記号を使った方が分かり易いのだろうか。
俺には日本語で>>282以上に分かり易く説明する能力は無い。
Aを「依拠できるもの」の全体、Bを「高校までの基礎教養における前提」、
xを「実数の連続性」、yを「Russellのパラドックス」とする。
「Russellのパラドックス」は「高校までの基礎教養における前提」であり、
かつ「依拠できるもの」ではないから、
y∈B-A.
従ってB⊂Aは成り立たない。
一方>>177, >>181には
> ならばどちらを前提とするかという判断基準は?
> 信念・メリット・みんなが決めたお約束以外にあると?
> 前段:実数の連続性は、少なくとも高校までの基礎教養における前提だから。
とある。即ち>>181は
(1) x∈B, 故に x∈A
という推論を行っている訳だ。
しかし先に見たようにB⊂Aは成り立たないのだから、
(1)は誤った推論である。つまり
> 前段:実数の連続性は、少なくとも高校までの基礎教養における前提だから。
は何ら理由になっていない。
0290132人目の素数さん
2006/01/02(月) 21:26:27その証明が必要だと思う人はそうすべきだろうな。それを思わない人もいるわけで…。
10時ぐらいまでって制限あるんだったら、煽りはしないほうが良いのでは?
紛糾する元だよ。
0291トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:27:31>Aを「依拠できるもの」の全体、Bを「高校までの基礎教養における前提」、
>xを「実数の連続性」、yを「Russellのパラドックス」とする。
>「Russellのパラドックス」は「高校までの基礎教養における前提」であり、
>かつ「依拠できるもの」ではないから、
> y∈B-A.
>従ってB⊂Aは成り立たない。
「高校数学における前提の全体」と「Russellのパラドックス」を同一視してしまっているな
いわば、これが289の主張の「穴」と言えるな。
ラッセルのパラドックスは、高校数学においてわかりやすく説明するために陥ってしまった
「教育法の穴」に過ぎない。それを言ってしまったら先ほども主張したように
四則演算自体を否定してしまわないといけなくなる。
実数の連続性を、たかが教育法の誤りだけで否定されてもね。
そこらへんも含めて、もうちょっと考えてくれ。
あと、289は1=0.999・・・については賛成派?反対派?
0292132人目の素数さん
2006/01/02(月) 21:28:01自分が煽っている自覚がないんだろ。天性の性格なんじゃないのか?
0293トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:29:01数学の証明において、「俺は証明する必要ないと思うから証明しない」で済んだら
あらゆる数学の論文が無に帰すると思うが。
0294トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:30:15煽ってる自覚はないね。本当に時間がないんだ。
俺の主張ごときで焦るタマじゃないだろ。
でも焦ってしまってたらごめんな。
0295132人目の素数さん
2006/01/02(月) 21:30:20違うだろ。この前提からはこういった証明ができる、って話だけだろ。
前提が違ったら当然証明される内容が違うだけだな。単純な話だ。
0296トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:31:57前提が違ったら当然証明される内容が違う。まさにその通り。
だから、厳密に定義する必要があるんだよ。わかってくれ。
0297132人目の素数さん
2006/01/02(月) 21:33:090298トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:34:40つまり、問題となるのは「定理を必要とする人」の方だよな。
どうする?彼らにどう説明するんだ?
0299132人目の素数さん
2006/01/02(月) 21:35:370300132人目の素数さん
2006/01/02(月) 21:36:01> 「高校数学における前提の全体」と「Russellのパラドックス」を同一視してしまっているな
それは>>289の記号で言うところの「B=y」という事か?
それは>>289で用いていない。
従って「289の主張の「穴」」ではないな。
ただ「y∈B」、即ち
「Russellのパラドックスは高校数学における前提から導かれるものの一つ」
という事実は用いている。
> あと、289は1=0.999・・・については賛成派?反対派?
「賛成」だな。詳しくは>>282を参照。
0301トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:39:54説明を乞うた人間にトンデモな説明されて、間違って理解させられた上に
矛盾が生じたらごめんなさいで終わりか・・・なかなかの大物だなw
>>300
高校数学における前提から導かれたものではなく、
その教育法から導かれた者なのだが。勘違いもここまで来るとな。
1=0.999・・・に賛成するなら、
超準実数体による実数体の定義は否定しなきゃまずいよな。
その根拠はどこから持ってきた?
高校数学における前提でないとしたら、それはどこだ?
0302132人目の素数さん
2006/01/02(月) 21:43:33矛盾は起きていないだろw
誰かが「必要だ」と勝手に思っている特定の定理が証明できなかっただけだ。
この場合どこにも、矛盾はない。
0303トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:45:05なぜある特定の定理が証明できなかったか。
その定理の証明の過程で矛盾が生じたからだろ。
でなかったら何だ?
0304132人目の素数さん
2006/01/02(月) 21:46:03その場合、その定理が正しいとする仮定が誤りだった…ってだけで、定義そのものが
誤りじゃないだろw
0305トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:48:14定義が誤りだった場合の話をしてたんだがね。
矛盾ある定義のせいで定理に矛盾が生じた場合の話をしてなかったか?
「忘れたふり」というのはやっかいだが、2chにおいては有用らしいなw
0306132人目の素数さん
2006/01/02(月) 21:48:25「集合」も「自然数」もどちらも高校数学における前提である、という事実を否定するのか。
0307トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:49:00否定しませんが何か?
0308132人目の素数さん
2006/01/02(月) 21:51:12高校数学における「集合」から直ちにRussellのパラドックスが従う。
つまり「高校数学における前提」は矛盾を含む。
後は>>282なり>>289により
> 前段:実数の連続性は、少なくとも高校までの基礎教養における前提だから。
が何ら理由になっていない事が従う。
0309132人目の素数さん
2006/01/02(月) 21:51:53定義が謝りだったら当然そうなるね。
でも、定義に特に誤りがなく、また、特定の定理が必要ないなら、問題なし。
0310トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:52:31集合そのものが矛盾を生むのでなく、その教育法が矛盾を生んでいるんだろ。
集合そのものが矛盾を生むとしたら、どのようにしてそうなっているのか
説明してからにして欲しいね。
0311132人目の素数さん
2006/01/02(月) 21:53:40高校生に基礎論教えるのは無謀だろw
0312トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:53:42そう。
そして、その「誤りのなさ」を担保するために、
well-defined性をはじめとした証明が必要なわけだ。おわかり?
0313トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:54:11無謀ですね。
それが何か?
0314132人目の素数さん
2006/01/02(月) 21:55:31集合そのものが矛盾を生む。
X = { x | ¬x∈x }
とする(¬は否定の意味)と
X∈X ⇔ ¬X∈X
なる矛盾(Russell)を得る。
教育法の問題ではない。
集合概念そのものが矛盾している。
0315132人目の素数さん
2006/01/02(月) 21:56:11別に構わないよ。でも、誤りのなさってペアノ公理系入れちゃったら既に証明出来なく
なるんだろ?
0316トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:57:29そうなるとしたら、集合概念を使わない実数体ってのはどうやって定義するの?
0317トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 21:58:55ペアノ公理系ってのを俺は知らないんだが、
証明できなくなるってのは、どのように証明できなくなるんだ?
0318132人目の素数さん
2006/01/02(月) 21:59:31通常は高校までの素朴な集合論ではなく、
(公理的にやるなら)ZFCという全く別の体系を使う。
0319トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 22:00:05なら、その体系によって、いちど証明を行ってみてくれ。
話はそれからだ。
0320トンデモ侍 ◆zYQ/uWRKn.
2006/01/02(月) 22:00:47続きは明日な。仕事が長引かなかったら来れると思うから。
0321132人目の素数さん
2006/01/02(月) 22:02:22え?コレ知らないで論議してたのw まあいいかw
ペアノ公理系とは自然数を定義する公理系のこと。ペアノさんが最初に考えたわけだ。
でも、これを入れた公理系が矛盾があるか矛盾がないか証明できないんだよ。(ちょっと
間違いあるかも知れないがご勘弁w)
つまり実数を定義する際には自然数を定義しなきゃいかんわけで…その自然数自身が
矛盾あるかないか証明できんのだ。
0322132人目の素数さん
2006/01/02(月) 22:03:17じゃあね。オレも天体観測行ってくるw
0323132人目の素数さん
2006/01/02(月) 22:04:10なら、このスレどうなんの?
0324132人目の素数さん
2006/01/02(月) 22:07:35矛盾があるか無いか分からない公理系か・・・
ペアノさんって人も、証明してから死ねよな。
矛盾があるかもしれない公理系をつかわないと、実数って定義できないもんなの?
おしえてエロイ人
0325132人目の素数さん
2006/01/02(月) 22:10:57図書館に行って適当な公理的集合論の本を読め。
ネットでは
http://mathworld.wolfram.com/Zermelo-FraenkelAxioms.html
(日本語で適当なサイトがすぐには見当たらなかった)などで公理だけは見られる。
基本的には0=φ, 1={φ}, 2={φ, {φ}}, ...
として自然数N={0, 1, 2, ...}を構成し、
それから通常の方法で整数Z、有理数Q、実数Rを構成する。
あるいは構成しなくとも、「完備アルキメデス順序体」という条件は
ZFC内で記述できるので、
「実数体RとはZFCにおける完備アルキメデス順序体である」
と言うだけでも良い(存在と一意性を抜きにすれば)。
0326132人目の素数さん
2006/01/02(月) 22:12:38より正確には、「矛盾がなければ、そのことを自身の体系では証明できない」
だな。
矛盾があれば無矛盾であることは証明できる(笑)また、ペアノの体系を真に含むような、より大きいある体系でなら証明できる。
いずれにせよ、素朴な意味での無矛盾性の絶対的な証明なんか無理。だから、ダメなら方向転換で満足するしかないって言ってるんだよ、みんな。
トンデモ侍君は、そこのところが理解できたかな?
0327132人目の素数さん
2006/01/02(月) 22:14:550328132人目の素数さん
2006/01/02(月) 22:19:10けっきょく1=0.999・・・ってのはまちがいでOK?
0329132人目の素数さん
2006/01/02(月) 22:24:13とてつもなく手間の掛かる作業である事を付言しておく(自然数の構成が長い)。
この話題について議論が出来る程度の知識があるなら、
それは既知もしくはすぐ推察できる事だ。
無ければ今から勉強しても良い。
もう一度言う。
高校数学における「集合」は矛盾を含む概念。
その矛盾は教育法とは関係がない。
後は>>282なり>>289により
> 前段:実数の連続性は、少なくとも高校までの基礎教養における前提だから。
が何ら理由になっていない事が従う。
0330132人目の素数さん
2006/01/02(月) 22:24:45って書いてあったよ。前者の証明は読んだが後者は見てないので数学辞典から孫引き。
0331132人目の素数さん
2006/01/02(月) 22:30:49そこまでいくとなぁ・・・
1=0.999・・・を説明するスレとして、どうよ?
329自身は、このスレの住人にどうやって教えるんだ?
0332132人目の素数さん
2006/01/02(月) 22:32:10読み間違いか、「〜を前提として」と言った意味かだな。実数論の無矛盾性証明と呼ばれるものはあるが、素朴な意味でのものではない。
0333132人目の素数さん
2006/01/02(月) 22:37:05あと、集合によらない、「一階の算術」と呼ばれる自然数論もある。この場合、実数論は「二階の算術」として構成する。
いずれにせよ、素朴な意味での無矛盾性の証明はできない。
0334132人目の素数さん
2006/01/02(月) 22:38:26どうする、このスレ?
0335132人目の素数さん
2006/01/02(月) 22:41:41> 1=0.999・・・に賛成するなら、
> 超準実数体による実数体の定義は否定しなきゃまずいよな。
> その根拠はどこから持ってきた?
> 高校数学における前提でないとしたら、それはどこだ?
超準実数体の定義及び議論は通常の実数体のそれと比べ
遥かに手間が掛かる。
その割に得る物は少ない。
そもそも超準解析については基本的な知識しか持っていない。
既に通常の実数体という扱いやすく(>>81参照)良く知っているものがある以上、
超準実数体を採用する動機は無い。
ただ、超準解析を否定などしない。
それを使うという前提の下で議論する事もある(>>177など)。
「賛成」というのは、「そうでないという状況を考える時はあまり無い」という程度の意味。
通常の実数体を採用するのも「高校数学における前提だから」などではない(>>81)。
また通常の実数体に代わる(トンデモでない)ものとしては超準実数体しか知らず、
消去法により通常の実数体を採用する事となる、というのもある。
0336132人目の素数さん
2006/01/02(月) 22:43:450337132人目の素数さん
2006/01/02(月) 22:44:29とにかく、通常の実数体を採用するしかなさそうだね。
0338132人目の素数さん
2006/01/02(月) 22:44:49になったと思った。
0339132人目の素数さん
2006/01/02(月) 22:45:33どうやるの? さっきから諸説紛々でわけわからん。
0340132人目の素数さん
2006/01/02(月) 22:51:321=0.999…を納得してもらうために議論してる訳じゃないしね(>>53)。
>>336
もし仮に超準実数体において0.999…を>>121のように定義するなら、それは1と異なる。
ただこの定義は超準実数体においても普通でないものであるという事は分かっている。
超準実数体でも普通の定義では1=0.999…だな。
0341ogachan
2006/01/02(月) 22:57:29http://members2.tsukaeru.net/ogawa/fk1n09s.html
解析入門�Tのp30、31を見てみると、実数xに収束する有理数列
と言っておきながら、x=[x].x_1x_2x_3・・・、として
収束先のxと有理数列を展開したもの(すなわち、有理数列そのもの)を
等号で結んでいる。これでは、ある値aがある値bに限りなく近づくとき、
a=bであると言っているに等しい。限りなく近い値は等しいと言ってしまって
いる。xが0に限りなく近いときxが0ならば、種々の極限が成り立たない。
ひどいな。
まぁ、実際は、
x=[x].x_1x_2x_3・・・ という表示において、
xと[x].x_1x_2x_3・・・と=の3つの表示からなってるわけだけど、
このうちの、[x].x_1x_2x_3・・・に極限の意味が入っているわけなん
だけど、[x].x_1x_2x_3・・・って数値だからな、これに極限の意味を
入れるのはひどいな。
まぁ、この定義でも、1=0.999… の意味は0.999…が1に収束すると
いうことしか言ってないわけで、やっぱり、1=0.999…ではないな。
いやはや、やっと、ことの真相が分かった。十進表示って、[x].x_1x_2x_3・・・に
極限の意味を入れてるんだなぁ。
極限の意味付きで、1=0.999… だけれども、
極限の意味付きでなければ、1=0.999… ではない。
謎がすべて解けた。にしても、[x].x_1x_2x_3・・・に極限の意味を
入れるのはひどいな。
スレ終了
だな。
0342132人目の素数さん
2006/01/02(月) 22:57:34なんていうか・・・内輪もめ?
どっちにしてもスレの方向性に影響を与えそうだから、責任持ってやれよな。
0343132人目の素数さん
2006/01/02(月) 23:01:03まぁね。例えば>>341にレスする気は無い。
0344132人目の素数さん
2006/01/02(月) 23:04:04逃げだな
0345132人目の素数さん
2006/01/02(月) 23:05:31安心してくれ。数学で語ることができる同士には、内輪もめなんか無い。
前提と結論が伝われば、理解しあえるからな。トンデモ君にはわからないことだろうが。
0346132人目の素数さん
2006/01/02(月) 23:08:23理解し合えてないように見えるねお互いに。
相手を理解しないと、向こうも理解してくれないよ?
0347132人目の素数さん
2006/01/02(月) 23:12:14まあ、トンデモ板ではあるが、一応は数学スレなんだし。
数学を語ろうね。
0348132人目の素数さん
2006/01/02(月) 23:12:46粘着し合い、され合い。醜いけど、面白い。
いつからこんなに香ばしくて楽しい流れになったの? すごくいい。
0349132人目の素数さん
2006/01/02(月) 23:13:30もっと、もっと煽れ!
0350132人目の素数さん
2006/01/02(月) 23:13:57にはコメントしない。
0351132人目の素数さん
2006/01/02(月) 23:17:460352132人目の素数さん
2006/01/02(月) 23:23:030353132人目の素数さん
2006/01/02(月) 23:29:08かつて思われていたほどは、現代数学の成果が失われないこともわかっているし。ただ、めちゃくちゃ面倒で、非実用的ではあるが(笑)
ZFCで言うところの外延性の公理が成立しなかったりするし、排中律も成り立たない。コンピュータとの相性はいいが。
0354132人目の素数さん
2006/01/02(月) 23:37:46(シンセティック微分幾何)では
無限小量がそのまま使えて
ある面では実用的らしいよ
0355132人目の素数さん
2006/01/02(月) 23:57:25クズのおまいらが知ったところでどうなるわけでもないし。
0356132人目の素数さん
2006/01/03(火) 00:59:290357132人目の素数さん
2006/01/03(火) 05:48:07>極限の意味付きで、1=0.999… だけれども、
そもそも0.999…という記号の一般的な定義が
0.999…=(数列an=1−1/10^nの極限値)=1
だからな。要するに、無限小数=有理数列の極限値 ってこと。つまりは無限小数=極限値 ってこと。
>謎がすべて解けた。にしても、[x].x_1x_2x_3・・・に極限の意味を入れるのはひどいな。
そんなことさえ知らなかったのかw勉強不足だな。
0358132人目の素数さん
2006/01/03(火) 09:33:25たのみますよ。
0359ogachan
2006/01/03(火) 12:22:21杉浦光夫だ。
普通の等号では1=0.999… ではないことは私が証明した通りだ。
にもかかわらず、同じ表記によって、1=0.999… であると定義して
しまっている実数の小数展開がwell-definedではない!
かくして、等号が守られた。
ふっ(^-^)y-。oO○
0360132人目の素数さん
2006/01/03(火) 12:33:10「1=0.9999…」みたいに定義する実数が、well-defined でないことをきちんと
証明してくれくれw
0361132人目の素数さん
2006/01/03(火) 15:11:130362132人目の素数さん
2006/01/03(火) 15:42:10おがっとやん?おがてぃーやん?ミキティーみたいなもの?
ローマ字読みしておがてゃん?
訓令式だとおがちゃん?
0363132人目の素数さん
2006/01/03(火) 21:04:49MATYANでマットヤンと読ませた人もいるしな。
0364132人目の素数さん
2006/01/03(火) 21:50:10矛盾が出たら、その時修正して、うまくいく限りそれで進めていこうって言うけどさ、
もしペアノ算術に矛盾が見つかったら具体的にどう対処するんすか?
ペアノ算術には制限しても大丈夫な公理なんてぶっちゃけないっしょ。
もしかして帰納法禁止令でも出すの?んな事したら数学者は怒るよ?
0365132人目の素数さん
2006/01/03(火) 22:14:08ノイマン(物心ついた以来の出来事を全て暗記していたとか)とかがよってたかって確かめたんだから
矛盾が見つかる可能性は極めて少ないだろうなあ。
それでも、見つかったら?直観主義の様に排中律を排除する?また、集合の定義を変える?いずれに
せよ工夫して何とか対処するしかないっしょ。
それだけだ。
0366132人目の素数さん
2006/01/03(火) 22:47:40でも排中立はなんかなぁ…。
矛盾見っかったんで排中律禁止!排中立使った論文は却下!、とか号令かけても
どっかに『排中立を守る会』とかできて整数論の人とか平気で入信して
何食わぬ顔で論文書き続けそうだなぁ。
0367132人目の素数さん
2006/01/03(火) 23:01:14ペアノ公理系が「怪しい」のはもろに集合論からなんですが…。
0368132人目の素数さん
2006/01/03(火) 23:03:08帰納法を制限するか、算術を変えるか。手を付けるなら加法なり乗法なりにだが、そんな数学やりたくない気がするな。
0369132人目の素数さん
2006/01/03(火) 23:04:47ペアノの公理系とペアノ算術って、普通は区別するでしょ?
公理系は集合前提。算術は1階の述語論理上の理論で、集合無しの話し。
0370132人目の素数さん
2006/01/03(火) 23:11:31馬鹿かこいつは?逆だよ。オマエが同じ表記によって1≠0.999…であると定義してるんだよカス!
0371132人目の素数さん
2006/01/03(火) 23:31:10逆はともかくこれ成り立つの?
>>368
排中立ありで矛盾するなら排中立除いてもやっぱり矛盾するってこと?
てか排中立禁止とか帰納法禁止とか言われたら
「基礎論屋はこの100年何やってたんだよ!かわりの使える体系よこせよ!」とか言いたい。
0372132人目の素数さん
2006/01/03(火) 23:49:13>集合論の無矛盾性はペアノ算術に帰着するってこと?
そりゃあ無理でしょ。誰もそんなこと言ってないと思うし。
>>369のことなら、
ペアノの公理系
集合論+論理の世界で自然数を構築
ペアノ算術
論理の世界に公理を導入して自然数を構築
ってことでしょ。ペアノ算術自体は集合が無くても作れる。
ペアノの公理系は、帰納法の部分で集合を使ってる。
当然集合なんて言う信頼性は遙かに劣るものを前提とするペアノの公理系よりは
ペアノ算術の方がこと論理の面では扱いやすい雰囲気はあるのだが、結局無矛盾であるとすれば、無矛盾性証明は自分ではできない。
0373132人目の素数さん
2006/01/04(水) 00:23:21そーなんだ。
いや、無限公理なしだったら集合論の無矛盾性はペアノ算術に帰着するとかなんとか
聞いた覚えがあるから>>367見てもしかしてと思った。
確かに適当に考えてもペアの算術に集合論のモデル作るとかなんか無茶っぽいね。
スコーレム・レーベンハイムとはわけが違うだろうし。
0374132人目の素数さん
2006/01/04(水) 00:31:350375132人目の素数さん
2006/01/04(水) 00:51:270376132人目の素数さん
2006/01/04(水) 01:05:25ペアノ算術に無矛盾性が帰着する可能性はある罠。また、数学のほと
んどの定理は自然数論の定理と解釈できるという結果もあるんで、意
外にペアノ算術の表現力は侮れないとは思う。
無限公理抜きの、有限集合だけの集合論って、うまく有限の立場を表
現できるのかな?面倒そうな気はするがw。、、、、、、、、、、
0377132人目の素数さん
2006/01/04(水) 02:55:15> ペアノの公理系とペアノ算術って、普通は区別するでしょ?
>>372
> ペアノの公理系
> 集合論+論理の世界で自然数を構築
へー初耳。基礎論の学生を何年もやってるのにorz
区別してる教科書とかあったら教えてください。
0378132人目の素数さん
2006/01/04(水) 03:30:33たまたま今手元にある本だよw
培風館 数学のロジックと集合論 田中一之・鈴木登志雄 共著
ISBN4-563-00337-9
該当部分を引用すると(改行、句読点等一部引用者による変更有り)
P170
(ペアノの公理を考察したとの記述の後、この公理を書いて)
第2章でも述べたように、これは集合論内でのNの定義であって、
本当の公理系ではない。1階理論として扱うためには、まず用いる記号(言語)
を定め、その言語内の論理式だけですべてを議論しなければならない。今日、
ペアノ算術といえば、次のような体系を挿すことが多い。
とし、P171でPAの公理を書いている。
0379132人目の素数さん
2006/01/04(水) 11:46:05両辺を3倍して
1=0.999...
QED
0380132人目の素数さん
2006/01/04(水) 11:55:39このタイプの厨房。
0381GiantLeaves ◆6fN.Sojv5w
2006/01/04(水) 17:59:340382ogachan
2006/01/04(水) 18:16:16集合論を発明しちゃったよ。
http://members2.tsukaeru.net/ogawa/hsoboku.html
なんか、賞をくれねぇかなぁ( ̄、 ̄)
0383132人目の素数さん
2006/01/04(水) 18:29:18かなりスタンダードな集合論ですよ。
そもそも無制限の内包公理のない集合論を
素朴とは呼ばないんじゃないかと思いますが。
0384ogachan
2006/01/04(水) 20:44:35いやいや、時点というのがミソですよ。
t_nにおいて、階数n以下の要素が混在できるんです。何も手をつけない
でいても時間がたつと、次の時点に存在しているという、ごく自然な
状態であるわけです。
英語わかんないよぅヽ(°◇° )ノ
僕が素朴、なんちて(*´ー`)
0385132人目の素数さん
2006/01/04(水) 22:07:16だからですね、その「時点」とまったく同じものが
普通の集合論で「ランク」と呼ばれるんですよ。
0386132人目の素数さん
2006/01/04(水) 23:01:14>僕が素朴、なんちて(*´ー`)
馬鹿の間違いだろ?
0387132人目の素数さん
2006/01/05(木) 13:49:35色々な立場の人がいるがほとんど「共通認識」といえるようなモノができるまで論議が煮詰
まったんじゃないかな?その証拠に本論の結果に反対しようとしている人も一応きちんと論
議の内容を踏まえて「なんとか反対しよう」と試みているのだから。
今後このスレを放置すれば、また素人じみた書き込みが続くだろうし、逆にスレが消え去れば、
また誰かが類似スレを作ることは明白だと思う。
で、今回の件を踏まえて誰かこの問題への回答テンプレートみたいなのを作らないか?まあ…
Wikipediaでやっても良いけどね。
0388132人目の素数さん
2006/01/05(木) 21:13:56Q1: 1=0.9999… か?
A1: 「前提条件」によって「1=0.9999…」となったり「1≠0.9999…」になったりする。
しかし、通常はそのような前提条件を採用することのメリットや、過去の経緯を考えると
「1=0.9999…」であるとした方が妥当である。
Q2:「1=0.9999…」は証明可能なのではないか。
A2:A1の前提条件を認めれば可能である。しかし、認めない人にとってはその証明は
無意味である。
Q3:1と0.9999…は形が全く違う。同じ数だと言うのは納得できない。
A3:分数の2/2と3/3も違う形だが、全く同じ数である。
Q4:A1で、数学で正反対の結果を容認するのは納得できない。論理は絶対なのではないか?
A4:自然数が入っている論理がもし正しいなら、その正しさはその論理内で証明できない。
しらがって、「1=0.9999…」が結論となる論理も「1≠0.9999…」が結論になる論理も
矛盾がない限り、その正しさはその論理内で証明できない。
0389132人目の素数さん
2006/01/06(金) 11:26:070390132人目の素数さん
2006/01/06(金) 11:33:350391132人目の素数さん
2006/01/06(金) 11:52:340392132人目の素数さん
2006/01/06(金) 12:24:590393132人目の素数さん
2006/01/06(金) 13:27:300なのか1なのか?
0394132人目の素数さん
2006/01/06(金) 13:31:2910分の1の位で四捨五入すると1
それ以外の位で四捨五入すると0
0395132人目の素数さん
2006/01/06(金) 18:46:220397ogachan
2006/01/06(金) 19:31:560.999・・・ を小数点以下9が無限に続く無限小数とする。
http://members2.tsukaeru.net/ogawa/fk1n09s.html
での証明によって、
1=0.999・・・ は成り立たない。
実数の定義によると、上で定めた0.999・・・=実数の1
であるという。実数の1は当然、自然数の1であるから、
0.999・・・=1であるという。
これは矛盾する。
よって、実数の定義はwell-definedではない。
いやぁ、フィールズ賞だな\(°o°;)/
0398132人目の素数さん
2006/01/06(金) 19:54:540399132人目の素数さん
2006/01/06(金) 21:34:44要するに定義や実数観の問題なんだとは思うんだけど、なぜそれを定めておかない
のかなって。もっと言えば、「実数」という言葉を簡単に使いすぎ。
一口に実数と言っても、もとになるアイデアが全く違うモノを同じ言葉で定義しよう
とするから混乱するんだと思うんだけど、なぜあえて同じ言葉にするのか疑問。
1=0.999・・・のスレを作った趣旨は高校生とかぐらいの学力の人間の疑問を
解決するためだったと思うけど、教える側の意見が左右しちゃって、目も当てられない。
0400132人目の素数さん
2006/01/06(金) 22:27:22無理矢理一つに意見をまとめる必要そもそもあるのか?数学はその自由度が魅力でも
あるのにね。
ちなみに、「実数」ってのは「数が連続している状態」ってイメージなんだけど、そのまま
じゃYesかNoかではっきりとした表現にしにくいから、色々な形でそれを実現しようとして
るわけだ。だから、一つのコトにいろんな表現の仕方が出てきたわけだな。
というわけで>>388 でおしまいね。
「定める」ったって、「誰が」定めるんだ?数学には「社長の鶴の一声」みたいなモンはないぞ。
0401132人目の素数さん
2006/01/06(金) 23:10:33> 1=0.999・・・のスレを作った趣旨は高校生とかぐらいの学力の人間の疑問を
> 解決するためだったと思うけど、教える側の意見が左右しちゃって、目も当てられない。
そうじゃなくて、1=0.999・・・をネタにしたボケとツッコミの応酬で遊んでるだけですから
0402132人目の素数さん
2006/01/06(金) 23:39:27自由度が魅力というのはわかります。ある物の見方が自由、というだけなら。
ただ、ある一つの概念についてその結論が正否まっぷたつというのは問題では
ないでしょうか。
たとえば実数というのは「数が連続している状態」と考えるとします。
しかしその連続性の部分で、すでに定義がまっぷたつです。
もしそうなら、「連続した実数」「連続していない実数」の部分で定義を
呼び変えるとか、そうしないから混乱しているのではないかという印象が
あるのです。
定義を「ある概念をたたき台として一つの仮想の体系を作り上げること」
と考えるなら、その仮想の体系が2つ3つ4つとできていくのは仕方のな
いことです。
しかしその体系が混同されているため、こんな一つの概念ですら確定でき
ないというのは大きなマイナスではないでしょうか。
このスレの厨房の言い方をすれば「メリットがない」ということです。
べつに「社長の鶴の一声」なんて必要ありません。
概念の多様性をみとめ、その多様性に合った数学のあり方が、
「数学の自由性」を口実にまったく考えられていない現状が野放しに
なっているのを問題としているだけです。
0403132人目の素数さん
2006/01/07(土) 02:14:45呼んだとしても、「1≠0.9999…」派の人が、おれが採用しているのはその「実数もどき」だ
と宣言した場合には…現状はそんなに変わらないかもなー。
結局この手の論争で、相手がどんな数を前提にして論議しているのか、その行為は変わら
ない訳だし。(まあ、少しは手間が省けるとは思うけどね)
そ。結局は「メリット論」に落ち着くんだよ、何事もね。
0404132人目の素数さん
2006/01/07(土) 02:19:42各々が手前勝手に主張する「メリット論」によって、かえって定義が混乱している件
0405132人目の素数さん
2006/01/07(土) 02:22:470406132人目の素数さん
2006/01/07(土) 05:01:20数学は終了となります。
ありがとうございました。
0407132人目の素数さん
2006/01/07(土) 09:30:29うまく作られた定義は(デテキントの切断とかね)他の人の定義と(コーシー列での定義とかね)
共存しながら最後まで生き延びる…それだけだと思うけどね。
>>406
まあ、超準解析ってのがあるからなあ。
0408132人目の素数さん
2006/01/07(土) 14:03:09氏ねよクズ!
>0.999・・・ を小数点以下9が無限に続く無限小数とする。
無限小数の定義から、小数点以下が順にa1,a2,a3,…である無限小数0.a1a2a3…の値は
0.a1a2a3…=sup[n∈N]Σ[i=1〜n]ai/10^i
である。さて、「小数点以下9が無限に続く無限小数」=「小数点以下が順に9,9,9,…である無限小数」であるから、
0.999…=sup[n∈N]Σ[i=1〜n]9/10^i=1
すなわち0.999…=1である。
0409132人目の素数さん
2006/01/07(土) 14:31:52「1=0.999…について混乱する高校生が生じる理由は、
実数の体系が混同されて教えられているから」
という主張の根拠は?
高校まででは実数について
(1) 実数とは有限小数または無限小数の事
(2) 無限小数の定義はしないし、無限小数の四則演算の計算も扱わない
(3) 実数の連続性は言及しない
と教えていたはず。
もし「混同されているから」という上の主張をするなら、
この(1)-(3)は何と何を混同していると?
そしてそれが混乱の理由である根拠は?
混乱する高校生が生じる理由としては、
俺は「混同されているから」ではなく「無限小数の扱いが極めて曖昧だから」だと思う。
既に日常で無限小数に何度か触れており、かつ「無限小数とは何なのか」を教わっていない以上、
日常的感覚とのずれから「0.999…」について混乱する高校生がいても不思議ではない。
ただ無限小数や実数を厳密に扱うのは高校生には難しいので、
高校の段階では曖昧に教える他無いのだろうな。
0410132人目の素数さん
2006/01/07(土) 14:51:21>0.999・・・ を小数点以下9が無限に続く無限小数とする。
ポイントはこの定義を受け入れるかどうかだろ
0411132人目の素数さん
2006/01/07(土) 15:51:38ogachanの場合は、そもそも「無限小数」を定義してない。それなのに勝手に「無限小数」という用語を用い、
さらには杉浦の本を「間違い」と断言している。ogachanは馬鹿なんだよ。
0412132人目の素数さん
2006/01/07(土) 20:04:19読み間違いすぎ
0413132人目の素数さん
2006/01/07(土) 20:06:05普通に読んで「高校生が混乱する」とは読めないだろ
0414132人目の素数さん
2006/01/07(土) 20:08:44なら誰が混乱してるって?
0415132人目の素数さん
2006/01/07(土) 20:14:32普通わかるだろ。
どうしてもわからないってんなら、4日後に教えてやるから
考えながら気長に待ってなさい。
0416132人目の素数さん
2006/01/07(土) 20:21:47>>399にある「教える側」の事か?
多くの「教える側」の人は、「実数」を通常の意味
(つまり完備アルキメデス順序体もしくはそれと同等な意味)で捉えていて、
混乱はしていないだろう。
中にはより精密に>>388のように考えている人もいる。
混乱しているのは「教わる側」の一部や>>399=>>402だけだろう。
0417132人目の素数さん
2006/01/07(土) 20:34:48そう答えを焦らずに
0418132人目の素数さん
2006/01/07(土) 20:53:330419132人目の素数さん
2006/01/07(土) 22:16:050420132人目の素数さん
2006/01/07(土) 22:30:16それをある人は「多数決」と呼び、「少数派」ほど盛んに反論するから
客観的に見ると、結局スレは混乱しているわけだ。
実際、教えられる側と目される人間の発言が極端に減っている。
「完備アルキメデス順序体もしくはそれと同等の意味」ってのも
かなりアイマイな表現。
結局は合意を得られていないという現実を、全力でぼかしている
ような印象を与える。
0421ogachan
2006/01/07(土) 23:52:11http://members2.tsukaeru.net/ogawa/fk1n09s.html
このスレの結論は、俺のノートだ。
回答テンプレは上のリンクね(*/∇\*)
0422132人目の素数さん
2006/01/07(土) 23:53:30順序体(順序と両立する四則演算を持つ体)であって
アルキメデスの公理(任意のa, b>0に対しある自然数nを取ればa < n b)を満たすものについて、
次は全て同値:
1. デテキントの切断による連続性
2. 上に有界な集合の上限の存在(これを単に「連続性」と呼ぶ事が若干多いようだ)
3. 縮小区間列(区間縮小法)の原理
4. 有界数列は収束部分列を持つ
5. 完備性(任意のCauchy列は収束する)
6. 有界単調数列は収束する
(前スレ>>644を修正して引用)
この同値条件のどれか一つ、従って全てを満たすものを、通常は実数体と呼ぶ。
ある程度の厚さの微積の教科書には、この条件のどれか一つは大抵書いてある。
>>416での「通常の意味」とはこの事。
つまり多くの「教える側」の人は、
「実数」を上の同値条件のどれか一つを満たすものとして捉えていて、
混乱はしていないだろう、という意味。
ただ「教える側」の人の中に
「上の条件をどれ一つとして理解していないにも関わらず『教える側』に立とうとし、
知識不足や理解の甘さから混乱して自滅する人」
がいる事は失念していた。申し訳ない。
だがこういった人達を含めて考えても、上の意味での実数体と、
他の公理系による何か(超準実数体など)を混同してしまって混乱している人を見た事がない。
混同せずに使い分けているか、上の意味での実数体しか知らないか、
そもそも実数の定義をきちんと理解していないかのいずれかと思われる。
>>399及び>>402が問題としているような「混同して混乱している教える側の人」などいるのか?
なお
> 結局スレは混乱しているわけだ。
混乱していたのは約一名のようだったが。
0423132人目の素数さん
2006/01/07(土) 23:54:38ノートの肉筆コピーっていう部分も合わせて、
なかなか笑わせてもらった^^
0424132人目の素数さん
2006/01/08(日) 00:01:23その「微積の教科書云々」の部分で、実数の定義を与える上でメリットがどうの、
デメリットとか言って暴れていた厨がいたでしょ。そいつのこと?
あとトンデモなんとかっていう奴は逆に順序体による定義に固執しすぎていた印象。
そいつに無駄に食らいついてた長文引用の厨房もいたよね。
上のogawaもいるし、それ以外にも、混乱してそうなのはけっこういたよ。
一人では決してなかったと思うが。どこを読んでそう言っているのかはしらんけど。
0425132人目の素数さん
2006/01/08(日) 00:19:39俺が意図していた「一名」というのは
途中から「トンデモ侍 ◆zYQ/uWRKn.」というコテを付け始めた彼の事。
> 実数の定義を与える上でメリットがどうの、
> デメリットとか言って暴れていた厨
は具体的にどのレス番の人か?
一つ前のスレを見る限り暴れていた人は特にいないようだったが。
>>102に一つ前の過去ログがあるので、レス番を示して欲しい。
> 無駄に食らいついてた長文引用の厨房
は俺だな。
どういったところを見て、この二名(?)が「混同して混乱していた」と感じた?
0426132人目の素数さん
2006/01/08(日) 00:27:54ogawa氏は彼なりに分かっていて、何とか「1=0.9999…」を否定しようと
頑張っているだけだな。失敗続きだけど…。誰にもそして何事にもチャレンジ
する権利はあるんだけど、一般と違う意見を言うときには厳しいチェックが入
るのはまあ当然といえば当然。
0427132人目の素数さん
2006/01/08(日) 00:27:59実数の定義として>>422で挙げたものを拒否し、
独自のものを絶対と見なしているのと、論理力が無いだけだろうね。
ただもちろん全スレの全レスをチェックした訳ではないし、
リアルも含む2ch以外の場もチェックし切れないので、
>>399及び>>402が問題としているような「混同して混乱している人」がいたら
詳しく教えて欲しい。
0428132人目の素数さん
2006/01/08(日) 01:43:130429132人目の素数さん
2006/01/08(日) 02:42:43失敗の仕方が あ り え な い 。素人の馬鹿。
0430132人目の素数さん
2006/01/08(日) 03:36:18同じ意味での「混同して混乱」とは違うかもしれないが、ogachanは確実に「混同して混乱」している。
>>421のリンク先を見れば分かるが、まず、彼自身の「0.999…」の定義では、どうやら(1−1/x)^x〜(0.999…)(0.999…)…が
成り立つらしい。次に、普通の実数の定義がwell-definedでないことの証明として、0.999…=1を仮定し、
(1−1/x)^x〜(0.999…)(0.999…)…=1*1*1…=1,(1−1/x)^x→1/eから矛盾、としている。ここには明らかな
「混同して混乱」が見受けられる。後半の「0.999…」の定義は、前半の彼の定義による「0.999…」とは違うものなのだから、
(1−1/x)^x〜(0.999…)(0.999…)…が成り立つとは 言 え な い 。それにも関わらず、「0.999…」という記号を「混同して混乱」
して(1−1/x)^x〜(0.999…)(0.999…)…が成り立つと主張し、(0.999…)(0.999…)…=1*1*1…=1,(1−1/x)^x→1/eから矛盾、
などと馬鹿げたことを言っている。
0431132人目の素数さん
2006/01/08(日) 03:57:390432132人目の素数さん
2006/01/08(日) 06:20:020433132人目の素数さん
2006/01/08(日) 12:32:03していないよw 基本的には>>388で終了だろ。
0434132人目の素数さん
2006/01/08(日) 14:53:39あなたは
(1) 単語「実数体」の定義としては、普通は完備アルキメデス順序体(>>422の事)を採用する
(2) これを採用する基準は、信念やメリットやお約束や多数決などの非論理的なもの
(3) それ以外のものを「実数体」と名付ける事は、事前の了解の下では自由
という態度の事を「メリット論」と呼んでいるのだろう。
そして>>399,402で問題としている型の「混同して混乱」とは、
この「メリット論」が単語「実数体」の定義の混同を招き、混乱を引き起こす、という事だろう。
ogachanは上の(1)-(3)を理解していない。
そもそも>>422の条件のいずれも正しく理解していない。
>>399,402が問題とする型の「混同して混乱」以前の論理力の問題だな。
改めて問う。
>>399,402が問題とする型で「混同して混乱している人」、
即ち上の(1)-(3)を理解した上で(理解した事で)単語「実数体」の定義を混同してしまい、
混乱している人などいるのか?
もしいないようなら>>399,402での「メリット論」への批判は的外れだな。
0435132人目の素数さん
2006/01/08(日) 16:44:57オレはogachanはそいつは理解しているけど、わざとごねている…と思うんだけどなw
よくある話。ま、他人の頭の中がどうなっているかは分からないけどね。
0436132人目の素数さん
2006/01/08(日) 16:51:31ogachanのサイト見てみな。真性の馬鹿だということが分かるからw
0437132人目の素数さん
2006/01/08(日) 16:54:13確かにogachanの書き込みや
http://members2.tsukaeru.net/ogawa/
が全て、常識的な数学的事実・お約束を理解した上での釣りという可能性はある。
もしそうだとしてもやはり(より一層)ogachanは
>>399>>402が問題とする型の「混同して混乱している人」ではないな。
0438132人目の素数さん
2006/01/08(日) 20:13:01少なくとも現時点でのこのスレにはもういないように思う。
>>424=「トンデモ侍 ◆zYQ/uWRKn.」の返信に期待する。
彼が議論を途中放棄するような極めて不誠実な人間でない事を祈る。
0439ogachan
2006/01/08(日) 20:30:59銭が多い方がいいな。それで、隠居生活するんだ。それで、
リーマン予想でも解いて、また、なんかの賞をもらえればいいや。
0440132人目の素数さん
2006/01/08(日) 20:38:38メリット論って数学で全然使われてないぞ。
どこで使ってる言葉だ?
0441132人目の素数さん
2006/01/08(日) 20:47:47「メリット論」などと名付けられているのは俺もこのスレと前スレ以外では見た事が無い。
初出は前スレ>>794か?
だが名前はともかくその意味するところは、
数学をある程度理解している人にとっては当たり前で何の変哲もない考え方・態度だと思う。
その当たり前に思っている事を批判されれば
議論したくなるのは(少なくとも俺にとっては)自然。
0442132人目の素数さん
2006/01/08(日) 20:55:19そうだな。あまりに「当たり前」すぎる思考形態だからあえて表面に出ないのかもな。
しかし、「メリット論」の根拠ってのは根底に数学基礎論の成果があるわけで…この
学問があまり一般的でないってのも…まあ言えるかもしれない。
0443132人目の素数さん
2006/01/08(日) 21:00:040444132人目の素数さん
2006/01/08(日) 21:02:51具体的に詳しくお聞かせ下さい。
0445132人目の素数さん
2006/01/08(日) 21:07:37メリット論が数学基礎論の成果だという根拠は?
0446132人目の素数さん
2006/01/08(日) 21:23:39なんでも人に求めるのはイクナイ
0447132人目の素数さん
2006/01/08(日) 21:27:59well-fedined かどうかの証明を放棄せざるを得ないのは、数学基礎論の成果である
自然数が入っている論理の正しさは証明できないってコトから来ているんだろ?
そうじゃなかったら、とことん突き詰めるのが数学。
0448132人目の素数さん
2006/01/08(日) 21:34:12ヤケッパチの理論ってことか
0449132人目の素数さん
2006/01/08(日) 21:36:460450132人目の素数さん
2006/01/08(日) 21:40:41じゃやけっぱちじゃなくて「冷静」だったとしたら、どー対処せよと言うんだw
0451132人目の素数さん
2006/01/08(日) 21:42:540452132人目の素数さん
2006/01/08(日) 21:43:16「メリット論」(>>388や>>434)は自然に行き着く考えと思われる。
それ以外にあるなら興味深いので是非お聞かせ願う。
>>446
「あなたが」偏りすぎと感じたと発言したのだから、
「あなたに」その理由を聞くのは道理。
>>447
well-defined? 完備アルキメデス順序体が同型を除いて一意に存在する事の事か?
それならば数学基礎論と関係無く証明可能だな。
また論理体系の無矛盾性は「1=0.999…」と直接の関係はないだろう。
0453132人目の素数さん
2006/01/08(日) 21:48:00突き詰めないのが基礎論の成果と言ったのはあなたでは?
0454132人目の素数さん
2006/01/08(日) 21:51:39「突き詰めない」? 何を突き詰めない事か?
また「突き詰めないのが基礎論の成果」なる趣旨の発言をした覚えは無い。
その発言のレス番を示して欲しい。
0455132人目の素数さん
2006/01/08(日) 21:52:37「あなたに」聞く理由があったとしても、それは関係のないこと。
まずその依存体質を改めるべし
0456132人目の素数さん
2006/01/08(日) 21:57:130457132人目の素数さん
2006/01/08(日) 21:57:55447
0458132人目の素数さん
2006/01/08(日) 22:08:18それでは>>443の発言には何ら客観的説得力は無いな。
一方俺はこれまでのレスで「メリット論」(>>388や>>434)についての解説は
十分に行ってきたつもりだ。
>>457
>>447(と>>442)は俺の発言ではないな。
「メリット論」は数学基礎論と直接関係無いだろう。
0459132人目の素数さん
2006/01/08(日) 22:10:05後で話すから待ってて
0460132人目の素数さん
2006/01/08(日) 22:12:41「メリット論」や「1=0.999…」と直接関係無いな。
0461132人目の素数さん
2006/01/08(日) 22:35:09じゃ、君なりに修正して。
ちなみに、「完備アルキメデス順序体が同型を除いて一意に存在する事の事」とは違うぞ。
「1≠0.9999…」派全てが普通の実数でこれが成立する話だとは思っていないだろう。
実数がどのような定義であっても、そこに矛盾が発生しない限り、その定義が正しいか
正しくないかってのは数学基礎論の結果により証明できない…ってのがA4
0462132人目の素数さん
2006/01/08(日) 22:56:14テメェには無理だがなカス!
0463132人目の素数さん
2006/01/08(日) 23:03:20「どの(ペアノ算術を再帰的に含み無矛盾な)実数論の形式的体系も
その無矛盾性(Consis)を証明不可能」
という話は、「メリット論」、即ち
「実数の定義に絶対は無く、非論理的な理由でその定義ないしは公理が選ばれる事」
の根拠ではないな。
無矛盾性如何に関わらず、更には自然数論を含んでいるかに関わらず、
定義や公理の取り方に絶対は無い。
それは実数論に限らない。
どの理論にどのような名前を付けるかは自由というだけだ。
ただ>>388のA4は「論理は絶対ではない」という別の話の一つの根拠なので、
別に残しておいても構わないと思う(修正しても構わない)。
0464ogachan
2006/01/08(日) 23:06:05なきにしもあらず。でも、果報は寝て待てというから、待つしかないなぁ。
ちまちまと他の研究を続けてるしかないな。今はね、簡単な超準解析の構築
をしてる。このずーーーっと先にリーマン予想の鍵があるわけだな。
あとはね、5次方程式だな。1価n乗根という鍵は作ったから、あとは鍵穴を
探せばいいんだが、いまんとこ見当がついていない。
あとはね、あんまないな。思いつきでなんかだな。3元数体を作るとか、
行列を体として構成するとか、賞金問題に取り組むとかかな。ブレークスルー
するには、とにかく、まず、鍵を作らなきゃならんので、なんにしろ、鍵作りを
することになるのかなぁ。
みんなは、どんな鍵作ってる?持ってる?
0465132人目の素数さん
2006/01/08(日) 23:20:58なるほどね。了承。
0466132人目の素数さん
2006/01/09(月) 00:15:13> その無矛盾性(Consis)を証明不可能」
そもそも実数の理論で無矛盾性述語書けないよ。
ていうか実数の理論は完全性持ってます。
算術の不完全性とごっちゃにしてないか?
0467132人目の素数さん
2006/01/09(月) 00:16:10訂正。「述語」じゃなくて「文」ね。
0468132人目の素数さん
2006/01/09(月) 04:43:39ニートにでもなるといいよ。
0470132人目の素数さん
2006/01/09(月) 11:13:43「概念に対する名前の付け方は、事前の了解の下では論理的には自由であり、
非論理的な事情により決定される」
というごく当たり前の事。
「完備アルキメデス順序体」という概念に「実数体」という名前を付けようが
「椅子」という名前を付けようが(紛らわしいが)「複素数体」という名前を付けようが、
事前の了解の下では論理的には自由。
同じく単語「実数体」で意味する概念として「完備アルキメデス順序体」を取ろうが
「朝起きてコーヒーを飲む事」を取ろうが(紛らわしいが)「超準実数体」を取ろうが
事前の了解の下では論理的には自由。
これらは全て信念・メリット・お約束・多数決などの非論理的な事情により決定される事。
「1=0.999…」はこういった非論理的な前提に「100%依拠」して成り立つ式。
この事に対する数学的に意味深い反対意見があるなら是非聞きたい。
この「メリット論」を理解した事で実数の定義を混同し混乱した人がいるなら是非詳しく聞きたい。
だが>>443や>>448のように根拠を示さない意見に意味があるとは思えない。
>>466
実閉体の理論では「nは自然数である」という意味の述語すら書けないから
ペアノ算術は含んでないな。
>>463で意図していたのはZFCや二階算術の事。
実閉体の理論の完全性と「メリット論」はやはり関係無いだろう。
0471132人目の素数さん
2006/01/09(月) 11:15:30ソース
0472132人目の素数さん
2006/01/09(月) 11:16:42何のソース?
0473132人目の素数さん
2006/01/09(月) 11:21:00の事なら、俺はまず書けそうにないと思っただけで証明した訳ではない。
0474132人目の素数さん
2006/01/09(月) 11:25:33メリット論
すなわちその概念が手前勝手でないことの確たる証拠
0475132人目の素数さん
2006/01/09(月) 11:44:00「本当に多くの人が>>470に賛同するのかどうかの証拠を示せ」という事か。
それは「実際に多くの人に聞いてみる」以外の論証方法は無いと思われる。
そして俺は実際に多くの人に聞いてみた訳ではない。
故に確たる証拠は無い。
0476132人目の素数さん
2006/01/09(月) 11:51:26ただそうだろうとは思う。
もし「メリット論」に対する反対意見があれば聞きたい。
0477132人目の素数さん
2006/01/09(月) 11:55:460478132人目の素数さん
2006/01/09(月) 12:00:26その通り。定義の妥当性を疑う人まで含めて万人が納得する「1=0.999…」の説明は無いな。
この意味で結論は出ない。
ただ高校教育においてどうすべきかなど、限定された状況ではまた別の話。
0479132人目の素数さん
2006/01/09(月) 12:03:45つまり、メリット論にはメリットがないわけだな
0480132人目の素数さん
2006/01/09(月) 12:07:45俺は定義の妥当性を疑う人に対する「1=0.999…」の説明としては
「メリット論」以外に選択肢を思い付かない。
他に選択肢が無いという状況に「メリット」という相対的な概念は当てはまらない。
「メリット論にはメリットがない」という発言が詭弁でない事を示すには、
定義の妥当性を疑う人に対する「1=0.999…」の説明として
「メリット論」以外の選択肢を用意する必要がある。
0481132人目の素数さん
2006/01/09(月) 12:09:580482132人目の素数さん
2006/01/09(月) 12:11:12ならば定義の妥当性を疑う人に対して説得力のある「1=0.999…」の証明を見せてくれ。
0483132人目の素数さん
2006/01/09(月) 12:21:521/3=0.333…の右辺が意味不明となるからだ。
また3×0.333…=0.999…も疑わしい。
更には3×1/3=1も分数の定義や四則演算の定義を認めない人にとっては謎の式でしかない。
もっと言えば「両辺を3倍する」という行為、即ちa=b⇒ac=bcすら怪しい。
また「0.999…=Σ9/10^n=1」も無意味。
小数の(通常の)定義を認めなければ0.999…=Σ9/10^nは疑わしい。
またそもそも実数の定義を認めなければΣ9/10^nも意味不明。
少なくとも上記の2証明は
定義の妥当性を疑う人に対して説得力のある「1=0.999…」の証明ではないな。
他にあると?
0484132人目の素数さん
2006/01/09(月) 12:49:32>>483
実数の定義は、認めるべき。証明ってのは、定義あってのものだから。
すなわち、定義の妥当性を疑う人に対して、説得力のある証明は無理。
0485132人目の素数さん
2006/01/09(月) 12:50:14> 「メリット論」の本質は
> 「概念に対する名前の付け方は、事前の了解の下では論理的には自由であり、
> 非論理的な事情により決定される」
> というごく当たり前の事。
そんな話じゃなかったと思うぞ。
「1=0.999…」と定義した数学はつくれるし
「1≠0.999…」(見た目は違うが実数値は同じ)と定義した数学もつくれる。
そのどっちを選ぶかで「メリットのある前者」を選ぶという話だったはず。
名前がなんでもいいって話とは違うだろ。
0486132人目の素数さん
2006/01/09(月) 12:53:58ここで問題なんだが、
「1=0.999…と定義する」とは何か?
「1≠0.999…と定義する」とは何か?
たとえば実数が連続である中で、「1≠0.999…と定義する」
ことはできるのか?
メリットを云々する人もいるが、そのメリット論において
この問いを解決できるのか?
できるなら、ぜひここでやってくれ。
0487132人目の素数さん
2006/01/09(月) 12:59:180488132人目の素数さん
2006/01/09(月) 13:02:29ぶっちゃけ、俺はその案に賛成
0489132人目の素数さん
2006/01/09(月) 13:23:15二行目は全く同意。実数の定義の妥当性を認めない人にとっては
>>483にあるような「証明」は無意味。
それ故に実数の定義の妥当性を認めない人を考慮する時
「メリット論」に行き着く。
実数の定義(として完備アルキメデス順序体)を認めるべきというのは非論理的な信念だな。
この非論理的な信念には俺も同意する(>>81>>335)。
「証明ってのは、定義あってのもの」にも同意する。
ただ単語「実数体」の定義として完備アルキメデス順序体を取らなければ
証明が行えないという事は無い。
例えば>>121の定義を採用する事により
命題「1≠0.999…」の数学的に厳密な証明が可能。
>>485
完備アルキメデス順序体に「実数体」という名前を付け、
整数aと0から9までの自然数a_1, a_2, ... に対して
この完備アルキメデス順序体の元a+Σa_i/10^nに「a . a_1 a_2 …」という名前を付けるのが
>>485曰くの前者「1=0.999…と定義した数学」。
後者の例としては、超準実数体に「実数体」という名前を付け、
この超準実数体の元[a, a, ... ]+[a_1/10, a_1/10+a_2/10^2, ... ]に
「a . a_1 a_2 …」という名前を付けるものが挙げられる。
他にも(適当な集合論内の)ペアノ公理系による自然数全体に「実数体」という名前を付け、
0に「a . a_1 a_2 …」という名前を付けても良い。
この時「0=a . a_1 a_2 …=0.999…≠1」は証明可能。
単語「実数体」や単語「a . a_1 a_2 …」にどのような概念を対応させるかは論理的には自由。
上の前者を選ぶか後者を選ぶかは
信念・メリット・お約束・多数決などの非論理的な事情により決定される。
これが「メリット論」。その本質は>>470の通り。
0490132人目の素数さん
2006/01/09(月) 13:25:12それ、ちょっと証明してみて。
0491132人目の素数さん
2006/01/09(月) 13:27:42あと、完備アルキメデス順序体に0.999…≠1と定義することは可能?
メリット論によると、多数決などの非論理的な事情があれば可能と
なるんだろうけど、489自身もそう思う?
0492132人目の素数さん
2006/01/09(月) 13:36:35完備アルキメデス順序体においても、
適当な定義の下で1≠0.999…は証明可能。
例えば整数aと0から9までの自然数a_1, a_2, ... に対して
0に「a . a_1 a_2 …」という名前を付ければ良い。
「0=a . a_1 a_2 …=0.999…≠1」は証明可能。
だがこの定義にメリットは無い。
今までの慣習とはかけ離れており、不便なだけだ。
メリットなどの非論理的事情を考慮して始めて
1=0.999…であるべきという発言が出来る。
>>490
「それ」とはどれか?
超準実数体の例における「1≠0.999…」の事か?
それならば以下のようにして示せる:
極大フィルターによる超準モデルで考える。
定義により0.999…=[9/10, 9/10+9/10^2, ... ]であるから、
0.999…は列(a_i), a_i=9/10^iの同値類である。
{ i | a_i=1 }は空集合であり、フィルターは空集合を含まないから、
従って{ i | a_i=1 }は超準実数体を定めている極大フィルターに入らない。
故に[9/10, 9/10+9/10^2, ... ]≠[1, 1, ... ]、従って0.999…≠1. 証明終了。
定義さえ知っていれば自明極まる事だが。
0493132人目の素数さん
2006/01/09(月) 13:37:00良くないのは自然に廃れるってことだろ。
0494132人目の素数さん
2006/01/09(月) 13:40:08> 「0=a . a_1 a_2 …=0.999…≠1」は証明可能。
の頭に「この時」や「するとこの定義の下」などの接続詞が必要。
0495132人目の素数さん
2006/01/09(月) 13:48:320に「a . a_1 a_2 …」という名前を付けた場合、
その順序関係はどうなるんだ?
0<a<a . a_1 a_2 …という順序がありながら
0=a . a_1 a_2 …を定義すると矛盾が生じないか?
それでも証明といえるのか?
>>493
そう考えるなら、定義ではなく「仮説」という言葉がふさわしい。
0496132人目の素数さん
2006/01/09(月) 13:58:48>>492の例では「a<a . a_1 a_2 …」が任意のaについて成り立つとは言えない。
この命題は「a<0」を意味する。
単に偽の命題であるというだけだ。
もちろん通常の小数の定義では「a<a . a_1 a_2 …」は正しい。
しかし>>492の例では通常の小数の定義を採用していないのだから、
「a<a . a_1 a_2 …」が正しくない事があっても矛盾しない。
0497132人目の素数さん
2006/01/09(月) 14:07:410498132人目の素数さん
2006/01/09(月) 14:09:18偽の命題をつかったら、証明にならないだろw
0499132人目の素数さん
2006/01/09(月) 14:12:29使う? どこで使ったと?
>>492の前半の例における「0=0.999…」の証明を以下に明記する:
定義より0.999…=0である。証明終了。
この証明文のどこに偽の命題、特に「a<a . a_1 a_2 …」を使ったと?
0500132人目の素数さん
2006/01/09(月) 14:16:33定義により証明終了?w
メリット論はどこに行った?w
0501132人目の素数さん
2006/01/09(月) 14:20:44もう一度しっかりと書く。
完備アルキメデス順序体においても、
適当な定義の下で1≠0.999…は証明可能。
例えば整数aと0から9までの自然数a_1, a_2, ... に対して
0に「a . a_1 a_2 …」という名前を付ければ良い。
この定義の下ではa . a_1 a_2 …=0である。
特に0.999…=1である。
以上のどの部分に矛盾があるというのか?
指摘を願う。
上のような定義をする事は論理的には何ら問題無い。
上の定義を拒否するためには非論理的な事情が必要。
これが「メリット論」。
0502132人目の素数さん
2006/01/09(月) 14:21:46> 特に0.999…=1である。
は「特に0.999…=0である。」に修正。
0503132人目の素数さん
2006/01/09(月) 14:23:26今度は「証明できるがメリット無いからダメ」ってか。
証明できれば、メリットなんて考えなくても真だろ。
何のための証明だと思ってんだ。本末転倒だなw
0504132人目の素数さん
2006/01/09(月) 14:24:59>適当な定義の下で1≠0.999…は証明可能。
>例えば整数aと0から9までの自然数a_1, a_2, ... に対して
>0に「a . a_1 a_2 …」という名前を付ければ良い。
>「0=a . a_1 a_2 …=0.999…≠1」は証明可能。
すげぇw
神w
0505132人目の素数さん
2006/01/09(月) 14:25:170506132人目の素数さん
2006/01/09(月) 14:36:02前スレから一貫して同じ事を主張し続けている。
即ち、概念に対する名前の付け方は、事前の了解の下では論理的には自由であり、
非論理的な事情により決定される。
例えば>>489の3段落目の3つの例はどれも論理的に問題は無い。
どの例においてもそこにおいて(そこにおいてのみ)正しい命題が
そこにおいて(そこにおいてのみ)正しい推論により証明される。
1つ目の例では「1=0.999…」、2つ目と3つ目の例では「1≠0.999…」がそれぞれ証明される。
ただし非論理的な理由により2つ目と3つ目の例での定義が採用される事はあまり無い。
故に非論理的な事情により通常は「1=0.999…」となる。
> 証明できれば、メリットなんて考えなくても真だろ。
証明の『前に』定義が必要。
その定義の選び方に関する態度が「メリット論」。
誤解しないで頂きたい。
0508132人目の素数さん
2006/01/09(月) 14:48:561≠0.999…と定義するって、どういうこと?
あと、そのメリットって、具体的にはどういうこと?
0509132人目の素数さん
2006/01/09(月) 15:18:10>>492と>>506は同じ事を言っている。
なお、完備アルキメデス順序体という概念の中に
単語「小数」や「a . a_1 a_2 …」の定義は含まれていない。
従って完備アルキメデス順序体においてこれらをどう定義しようと論理的には自由。
1つ目の例での定義の下では「1=0.999…」が、3つ目の例では「1≠0.999…」がそれぞれ証明される。
これは何らおかしな事では無い。
>>508
「1≠0.999…と定義する」とは言っていない。
単語「実数体」や「小数」の定義の取り方により
「1=0.999…」が証明されたり反証されたりする、という趣旨の発言は何度もしたが。
なお、>>501の定義におけるメリットは、
このような議論の場における分かり易く極端な例となっている事、が挙げられる。
0511132人目の素数さん
2006/01/09(月) 15:27:32そのままだな。
完備アルキメデス順序体において「小数」を次のように定義する:
整数aと0から9までの自然数a_1, a_2, ... に対して、
0の事を「a . a_1 a_2 …」と書き、これを0の小数展開と定義する。
つまり「a . a_1 a_2 …=0」と(左辺を右辺で)定義する。
この定義の下でa . a_1 a_2 …=0が成り立つのは、正に定義そのもの。
0512132人目の素数さん
2006/01/09(月) 15:28:40その定義において、例えば1はどうなるの?
0513132人目の素数さん
2006/01/09(月) 15:30:23「1の小数展開」は定義されていない。
体においては1≠0だから、
従って>>511の定義の下では0=a . a_1 a_2 …=0.999…≠1は正しい。
0514132人目の素数さん
2006/01/09(月) 15:32:49定義できていないものと定義できているものを、どうやって比較するの?
0515132人目の素数さん
2006/01/09(月) 15:38:28> 「1の小数展開」は定義されていない。
それはデメリットだ
さあ、早くメリットのある1の小数展開を定義するんだ!
0516132人目の素数さん
2006/01/09(月) 15:41:17あと、その小数展開の中で、本来の0.999・・・はどう展開されるの?
0517132人目の素数さん
2006/01/09(月) 15:51:29ああ、>>512では「1の小数展開の定義」では無く「1の定義」を聞いたのか。
「1」は体において唯一つ存在する単位元として定義されている。
この定義はアルキメデス順序体の概念の中に含まれている。
>>515
それをデメリットと感じる人は多いだろう。
故に「メリット論」から>>511の定義は普通採用されない。
恐らく最もメリットのある「小数」の定義は>>489の3段落目の1つ目の例だろう。
>>516
「本来の」? >>489の3段落目の1つ目の例における「0.999…」の事か?
それならば、>>489の3段落目の1つ目の例と>>511では異なる定義を採用しているため、
その質問は無意味だな。
ある定義の下に成り立つ命題と他の定義の下に成り立つ命題は比較しようがない。
0518132人目の素数さん
2006/01/09(月) 15:55:02俺が言いたいのは、
定義の中で0は0.9999・・・と定義された。
1はまだ定義されていない。
こんな状態で、0.999・・・と1を比較できるわけがないってこと。
0519132人目の素数さん
2006/01/09(月) 15:59:53前段:
単位元としての1の定義はともかくとして、それを証明にどう生かしているの?
中段:
メリット無くとも証明できるってんならきっちり証明してみな
下段:
これは完全に論理を逸脱してる
0520132人目の素数さん
2006/01/09(月) 16:00:04>>473
今手元にはないんでチョットぁゃιぃが、裳華房の田中一之先生の『数の体系と超準モデル』(タイトル違ってたらごめん)にあった気がする。
0521132人目の素数さん
2006/01/09(月) 16:13:53> 定義の中で0は0.9999・・・と定義された。
逆だな。
> つまり「a . a_1 a_2 …=0」と(左辺を右辺で)定義する。
と書いた通り、>>511では0.999…を0と定義した。
右と左がどちら向きか分からなければそばにいる人に聞くと良い。
完備アルキメデス順序体(以前に体)では、
0は零元、1は単位元として既に定義されている。
その定義を踏まえ、>>511では
その時点ではまだ未定義だった記号a . a_1 a_2を定義済みの記号0で定義した。
定義済みの記号を用いて未定義の記号を定義しただけ。
>>519
体の定義の中に「1≠0」がある。
一方>>511の定義の下では0=0.999…である。
故に1≠0.999….
> ある定義の下に成り立つ命題と他の定義の下に成り立つ命題は比較しようがない。
が良く理解できなかったか。他の具体例を挙げる。
体において記号Aを
(1) 1として定義する、
(2) 1+1として定義する。
(1)の定義の下では「A=1」は真であり、「A=1+1」は真でない。
(2)の定義の下では「A=1+1」は真であり、「A=1」は真でない。
(1)の定義の下に成り立つ命題「A=1」と
(2)の定義の下に成り立つ命題{「A=1+1」は比較できない。
(1)の定義によるAと(2)の定義によるAは関係が無い。
これのどこが論理を逸脱していると?
0522132人目の素数さん
2006/01/09(月) 16:22:28その本を近いうちに見てみる。
0523132人目の素数さん
2006/01/09(月) 16:24:48記号的に定義するなら、単位元とゼロ元が一致することもあるでしょ。
0524132人目の素数さん
2006/01/09(月) 16:28:54俺は体の定義の中に「零元と異なる単位元を持つ」を持つものを念頭に置いていた。
{0}を体として認めるより一般的だと思い、特に断らなかった。
混乱させてしまったら申し訳ない。
0525132人目の素数さん
2006/01/09(月) 16:30:200526132人目の素数さん
2006/01/09(月) 16:36:510.5とか0.95とか0.99999999999999999999999995
とかは、どう扱われるんだ?
大小関係を比較できる?
0527132人目の素数さん
2006/01/09(月) 16:42:07http://www.shokabo.co.jp/mybooks/ISBN4-7853-1530-X.htm
7.3と8.1の違いかな。4410円はきついな。この内容なら出す価値ありそうだが。
0528132人目の素数さん
2006/01/09(月) 16:44:33>>511では有限小数は定義されていない。
もし定義したければご自由に。論理的には自由だ。
例えば次のような定義が考えられる:
整数aと0から9までの有限個の自然数a_1, a_2, ... a_nに対して、
0の事を「a . a_1 a_2 …a_n」と書き、これを0の小数展開と定義する。
つまり「a . a_1 a_2 …a_n=0」と(左辺を右辺で)定義する。
この定義の下では0.5や0.95や0.99999999999999999999999995はどれも0に等しく、
0は0.5や0.95や0.99999999999999999999999995といった小数展開を持つ。
0529132人目の素数さん
2006/01/09(月) 16:44:420530132人目の素数さん
2006/01/09(月) 17:06:39論理的には自由だが、実数的には不自由だな
0531132人目の素数さん
2006/01/09(月) 17:11:02全く同意。その「不自由」という非論理的な事情により
「実数体」や「小数」という単語の定義が選択されている。
「1=0.999…は当然正しい」という主張は、
こういった非論理的な事情に「100%依拠」した上で正当化される。
もう何度も何度も言った事だが。
0532132人目の素数さん
2006/01/09(月) 17:15:550533132人目の素数さん
2006/01/09(月) 17:18:48自分の言葉でさ、もっと自信を持って。
0534132人目の素数さん
2006/01/09(月) 17:28:51>>479 > メリット論にはメリットがないわけだな
>>481 > (定義の妥当性を疑う人に対する「メリット論」以外の「1=0.999…」の説明として) 証明
に対する反論としては以上で十分だろう。
他に「メリット論」への反論はあるのか?
>>532
>>470で書いた
> この事に対する数学的に意味深い反対意見があるなら是非聞きたい。
> この「メリット論」を理解した事で実数の定義を混同し混乱した人がいるなら是非詳しく聞きたい。
> だが>>443や>>448のように根拠を示さない意見に意味があるとは思えない。
の「根拠を示さない意見」に>>532を追加するか。
0535132人目の素数さん
2006/01/09(月) 17:30:250536132人目の素数さん
2006/01/09(月) 17:33:22> 全く同意。その「不自由」という非論理的な事情により
不自由ってのは、今ここで書かれてる証明みたいなのについてだけだろ?
この例だけで、1≠0.999…は不自由(=メリットがない)って言えるのか?
0537132人目の素数さん
2006/01/09(月) 17:34:46この人は反論になれば何でもいい人だから
0538132人目の素数さん
2006/01/09(月) 17:45:171≠0.999…が導かれるような定義にメリットが一切無いとは主張していない。
例えば>>121の定義では1と0.999…は「無限に近い」ので、
一部の人には受けが良いかも知れない。
ただ俺個人としては「1=0.999…」が導かれるような定義の方が
「比較的」メリットがあると感じる。
もちろん何をメリット・デメリットと思うかなど人に押しつける事が出来るものではない。
そしてこれは「メリット論」を何ら否定するものではない。
0539132人目の素数さん
2006/01/09(月) 17:48:29どんなメリット?
0540132人目の素数さん
2006/01/09(月) 17:59:11まず「実数体」の定義として完備アルキメデス順序体を取る信念・メリットとしては、
>>81>>335、また皆がこの定義を実際に採用している事(了解無しで話が通じ易い)など。
また「小数」の定義として通常の(即ち>>9)を採用する信念・メリットとしては、
これが俺は自然に感じる事、a. a_1 a_2 …=sup{a, a+a_1/10, a+a_1/10+a_2/10^2, ... }といった
俺にとって自然に見える式が成り立つ事、皆が実際にこの定義を実際に採用している事など。
これに同意できない人がいても構わない。
0541132人目の素数さん
2006/01/09(月) 18:01:18みんなって?
0542132人目の素数さん
2006/01/09(月) 18:03:53「皆」は言い過ぎたな。「多くの人」に訂正する。
何を以て「多く」と言うのかは俺の主観。
0543132人目の素数さん
2006/01/09(月) 18:03:54メリット論って結局「いいと思う」とかそんな感じでしょ?
0544132人目の素数さん
2006/01/09(月) 18:06:38その通り。加えて言えばその内価値観が変わって
>>540は俺の信念・メリットではなくなる可能性もある。
0545132人目の素数さん
2006/01/09(月) 18:07:26if real(1) == real(0.999・・・)
って評価を
if 1==0.999・・・
って書けるくらいのメリットだろ
0546132人目の素数さん
2006/01/09(月) 18:12:40「そんな気がするから、でいいんだよ」と答えるのと一緒か。
簡単かつ安易だな。
0547132人目の素数さん
2006/01/09(月) 18:26:590548132人目の素数さん
2006/01/09(月) 18:27:09人に教える時は(順序は)別だな。
まず>>379や>>25などを丁寧に解説し、
それで分からなければ、無限級数の計算方法の知識が無いなら諦める。
そうでないなら「0.999…Σ9/10^nは定義」と言い、右辺が1に等しい事を計算させる。
大学以降での微積の知識があれば、前スレ>>323の
> 0.999…という記号が、次の3つの条件を満たすならば0.999…=1となる。
> 証明は、ε−δっぽい議論で矛盾を示す。
> 1)0.999…∈R (←実数)
> 2)任意のn∈Nに対して0.999…>Σ[i=1〜n]9/10^i
> 3)0.999…≦1
などを使い、証明させる。
アルキメデスの公理や小数の定義、実数の連続性を疑い出すようなら、
これが如何に自然かを説得する。
これらの公理を完全に否定するようなら、最終的に「メリット論」を持ち出す。
別に正論を頭から持ち出す必要は無い。
ただこれでうまくいくかどうかは分からんな。
0549132人目の素数さん
2006/01/09(月) 18:49:01確かに、それは自然
0550132人目の素数さん
2006/01/09(月) 19:39:20もりあがるんだな、ここw
0551132人目の素数さん
2006/01/09(月) 19:42:070552132人目の素数さん
2006/01/09(月) 20:28:000553132人目の素数さん
2006/01/09(月) 21:03:160554132人目の素数さん
2006/01/09(月) 21:11:150555132人目の素数さん
2006/01/09(月) 21:17:200556132人目の素数さん
2006/01/09(月) 22:14:551=0.999…
は実数論は必要なく、有理数論の範囲で証明できるな。まあ、一階の
有理数論の無矛盾性は前提にしなければいけないがなw
0557132人目の素数さん
2006/01/09(月) 22:20:54ガクガクブルブル
0558ogachan
2006/01/09(月) 22:23:44また、ひとつ、面白いことを思いついてしまったので、報告してお
こう。ゲーデルの不完全性定理があやしい。あれは定理じゃなくて、
パラドックスだな。題して、ゲーデルのパラドックス(不完全性定理を読み直す)
を近日アップする予定だ。楽しみにしといてくれ。結論としては、
ZF、PM、これらに有限個の公理を追加した体系においても、
排中律が守られていないということになる。
ゲーデルはなんでこんなことに気づかなかったんだろう?パラドックスよりも
定理の方がかっこいいから、わざと、パラドックスであることを隠したの
かな?!
0559132人目の素数さん
2006/01/09(月) 22:23:47確かに1=0.999…だけならそうだな。
ただその時は、「小数」を一般には定義しないか、
「a+Σa_n/10^nが有理数内で収束した時に限りその値を」
云々と注意書きを付ける必要が生じる。
また「有理数」や「小数」の定義の選択に当たって、
やはり「メリット論」に頼らざるを得ない。
矛盾を仮定すれば1=0.999…と1≠0.999…が同時に証明可能。
0560132人目の素数さん
2006/01/09(月) 23:09:39まあ一般論としては同感。ただし、実数に不安を持っているヤツは多くても、
有理数に文句を言うヤツは少ない。実際、有理数論は実数論よりは安全でもあ
る。だから、納得させ易いというメリットもあるからね。まあ、理解する能力
がないヤツにはどの方法をとっても無理といえるがw
0561132人目の素数さん
2006/01/09(月) 23:22:360562132人目の素数さん
2006/01/09(月) 23:22:541
0563132人目の素数さん
2006/01/09(月) 23:25:56それらは、よくやるペアの同値類別や、縦書きの割り算の形式化で
定義すればよい。この形式化の仕方で2つの小数表示が生まれるが、
それらが同じ有理数に対応することで証明される。できる高校生なら
自作できると思う。もちろんwell-definedであることを調べる必要は
ある。面倒だからヤダって言うメリット論により採用はされないが、
できると言うことはやはり大事。牛刀は必要ないことはことわってて
おくべきじゃないかな?
0564132人目の素数さん
2006/01/09(月) 23:29:03> よくやるペアの同値類別や、縦書きの割り算の形式化で
> 定義すればよい
すみません。それらの方法で0.999…を定義してみて下さい。
0565132人目の素数さん
2006/01/09(月) 23:42:28面倒くさいから、筋道だけ。
(1)有限小数を定義。これは、自然数nと整数mのペアで定義。
これがm÷(10^n)を意味するように、同値関係を入れる。
演算や順序も同様。
(2)循環小数は、n/mを計算する縦書きの割り算のアルゴリズムで
定義する。有限回で除算が終わるときは、有限小数と有理数が
一致する。
終わらないときも剰余の比較でアルゴリズムを停止させるこ
とができ、このときは循環小数(ただし、9の続く形を除く)
になる。この値はn/mに近づく。εを10^(-k)にして行えば、有
理数の範囲内でこのことが言える。
(3)(2)で、除算の剰余rの範囲を1≦r≦mにすれば、今度は整数
や有限小数が現れず、全て循環小数で表される。この値がn/mに
近づくことも有理数論の範囲で言える。そして、有理数とこれ
らの2つの小数表示の同型対応により、1=0.999……等が言える。
面倒だが、演習レベルでできる。
0566132人目の素数さん
2006/01/10(火) 15:05:550567132人目の素数さん
2006/01/10(火) 15:43:570568132人目の素数さん
2006/01/10(火) 15:52:280569132人目の素数さん
2006/01/10(火) 16:08:18その意味じゃ、難しくないっていうメリット論もあるな
0571132人目の素数さん
2006/01/10(火) 16:15:28近似ってことは、厳密には違う?
0572132人目の素数さん
2006/01/10(火) 16:19:000573132人目の素数さん
2006/01/10(火) 16:21:06それって認めたり、認めなかったりできるの?
0574132人目の素数さん
2006/01/10(火) 16:43:300575132人目の素数さん
2006/01/10(火) 16:46:57それはない
0576132人目の素数さん
2006/01/10(火) 17:39:510577132人目の素数さん
2006/01/10(火) 18:08:14それだけの話なら、実数の定義によってYesかNoかのまとめを行って、
それらに対する証明と説明を付けていけば決着だな。
0578132人目の素数さん
2006/01/10(火) 21:03:12「普通の実数の定義」と「特殊な1≠0.9999…となる具体的定義」ぐらいなんじゃないのか?
0579132人目の素数さん
2006/01/10(火) 21:22:56無数に作ろうと思えば、作れるのが定義というもの。
ただ、やはり実数として扱うに足る性質を備えていて、
かつその定義の中で矛盾しないものでないと、扱っていて苦しくなる
0580132人目の素数さん
2006/01/10(火) 22:15:03大小関係を比較するときには、実数に変換して比較する…ってダメw?
0581132人目の素数さん
2006/01/10(火) 22:21:40完全性を求めれば、フラクタル性も持つ。
0582132人目の素数さん
2006/01/10(火) 22:28:58も一つ無限なら、フェルマーの定理が解けそう。w
0583132人目の素数さん
2006/01/10(火) 22:29:09∧_∧ ∩
( ・∀・)彡☆
⊂彡☆))゜Д。)←>>103
☆
0584132人目の素数さん
2006/01/10(火) 22:32:420585132人目の素数さん
2006/01/10(火) 22:42:580586132人目の素数さん
2006/01/10(火) 22:55:390587132人目の素数さん
2006/01/10(火) 23:25:53実数という近似のできあがり。
これはマンデルブロー集合と黄金律どう関係するのか、
その向こうに、リーマン予想は見えるか?
0588132人目の素数さん
2006/01/11(水) 03:40:58ここって、小川・松本スレだったのかw
0589132人目の素数さん
2006/01/11(水) 09:43:41未定義語以前のゼロを認めるか? Φは認めるか?
ゼロとΦと未定義語と公理の順序関係は?
0590132人目の素数さん
2006/01/11(水) 15:29:42∧_∧ ∩
( ・∀・)彡☆
⊂彡☆))゜Д。)←>>591
☆
0591132人目の素数さん
2006/01/11(水) 16:29:220592132人目の素数さん
2006/01/11(水) 21:09:49フラクタルとトポロジーの関係性
4元数と8元数とスピンと捻度
0593132人目の素数さん
2006/01/12(木) 21:18:47その理由は?
0594132人目の素数さん
2006/01/13(金) 20:45:100595132人目の素数さん
2006/01/13(金) 21:46:470596ogachan
2006/01/13(金) 23:06:01http://members2.tsukaeru.net/ogawa/gepara.html
いやぁ、また、フィールズ賞級の仕事しちゃったよ。
0597132人目の素数さん
2006/01/14(土) 01:59:23http://science4.2ch.net/test/read.cgi/math/1136133055/596
596 ogachan 2006/01/13(金) 23:06:01
ゲーデルのパラドックス、アップしました。
http://members2.tsukaeru.net/ogawa/gepara.html
いやぁ、また、フィールズ賞級の仕事しちゃったよ。
0598132人目の素数さん
2006/01/14(土) 02:59:330599132人目の素数さん
2006/01/14(土) 19:34:53俺たちが困ってるんだが。助けてほしいぞ、と
0600132人目の素数さん
2006/01/14(土) 19:37:5114cmじゃなくて13.9999・・・cmとした方が
希望が持てるって訳ですね ><
0601132人目の素数さん
2006/01/14(土) 19:38:360602132人目の素数さん
2006/01/14(土) 20:36:080603132人目の素数さん
2006/01/14(土) 20:48:02一人じゃ弱そうだなw
0604132人目の素数さん
2006/01/14(土) 20:50:09所詮はクズだからなw
0605132人目の素数さん
2006/01/14(土) 20:52:15てかマジで気になるのですが、数学板としては、
1≠0.999…
が正解ってことになってるの?
0606132人目の素数さん
2006/01/14(土) 21:05:15逆
0607132人目の素数さん
2006/01/14(土) 21:05:31「普通の数学の規則」なら、文句なく 1=0.9999…だよ。
だけど、強硬に 1≠0.9999… を主張している人はなかなか説得できないな。
0608132人目の素数さん
2006/01/15(日) 10:50:06研究者の卵です、よろしくおねがいします
0609132人目の素数さん
2006/01/15(日) 10:53:08が成り立つと言うのは代入値=極限値と言う考えて方で良いのですか?
0610132人目の素数さん
2006/01/15(日) 11:10:460611132人目の素数さん
2006/01/15(日) 14:05:14とりあえず、過去ログみてくれ。何度も引用されている文とかあるから
それがまとめみたいなモノになっている。
0614ogachan
2006/01/15(日) 20:10:39そうです。
http://members2.tsukaeru.net/ogawa/fk1n09s.html
によって、証明されています。
0615132人目の素数さん
2006/01/15(日) 20:23:220616132人目の素数さん
2006/01/15(日) 20:31:36そうだったのか!同じ考え方で、1.00000…≠1も証明できるな!
目から鱗だ。ありがとう、僕らのogachan!君こそひいろおだ!
0617132人目の素数さん
2006/01/15(日) 21:12:36すみません、そのリンク先の証明で、
ちょっとわからない事があるのですが、
lim(x→無限){ (1 - (1/x))^x }
の展開式で、先に1 - (1/x)を1へ収束させていますが、
無限って、こういう操作を許していましたっけ?
これって、
lim(y→無限){ lim(x→無限){ (1 - (1/x))^y } }
という操作なのでは?
0618ogachan
2006/01/15(日) 21:28:27ちょっと違うよ。
1.00000…001≠1 だよ。
1.00000…001 は間の0が無限に続くよ。
>>615
VIPって何なの?
0620ogachan
2006/01/15(日) 21:36:19数値で表しているだけで収束はさせてませんよ。
lim(y→無限){ lim(x→無限){ (1 - (1/x))^y } } を数値的に表すると、
(0.999…→1)(0.999…→1)(0.999…→1)…
となりますよ。
0622132人目の素数さん
2006/01/15(日) 21:51:29> VIPって何なの?
VIP形式の宣伝方法
今読み書きしてる板の無作為に抽出されたスレッドに、URLアドレスを宣伝することが出来ます。
(注意!)全て半角で入力してください!!
1.書き込みの名前の欄に「vip.fusianasan.2ch.net」と入力します。
2.E-mail欄に、20歳以下なら「low」、21〜30歳は「middle」、31歳以上は「hight」と入力します(年齢別調査)。
3.本文の1行目にIDとパスワード(とりあえず「guest guest」で可)を入れて、
2行目に宣伝したいURLを書き込みます。
4.書込みボタンを押します。メッセージが「確認終了いたしました。ありがとうございます」に変わればばOK
5.サーバーが重いと2chに戻ってくるけど、まあ30分以内であれば何回かやれば大丈夫。
6.家庭の電話回線よりも、企業や学校の専用回線からの方がサーバートラフィックの
都合上つながる確立が高いです。
0623617
2006/01/15(日) 21:51:52(0.999…→1)(0.999…→1)(0.999…→1)…
は問題なく理解できます
しかし、1=0.999…という置き換えはつまり、
(0.999…→1)(0.999…→1)(0.999…→1)…
という無限の展開式のうち、
括弧の内部のみを解決した事になるのではないのでしょうか?
0624132人目の素数さん
2006/01/15(日) 21:57:59ありがとう、ogachan!自覚してくれてうれしいよ。ちゃんと反省もできる君は、
やっぱり僕らのひいろおさ!
0625ogachan
2006/01/15(日) 22:24:01lim(1-(1/x))^x を数値的に表すと (0.999…)(0.999…)(0.999…)… であり、
lim(y→無限){ lim(x→無限){ (1 - (1/x))^y } }とは異なるものです。
1=0.999… とすると、
数値的表現が(1)(1)(1)…
となります。
括弧の内部のみを解決した事という意味がいまいち分かりません。
0626132人目の素数さん
2006/01/15(日) 22:27:53x=1.00000…001として、xの逆数y=1/xは何よ?
もし1.00000…001≠1と言うならx≠1なんだからy≠1だし、y=0.999…とでも言うつもり?
ならx+yは?もしかしてx+y=1とか?
そしたらy=1-xをxy=1に代入してx^2-x+1=0でx=(1±√(-3))/2って事になって
x=1.00000…001は複素数かよwww
しかも(1±√(-3))/2の6乗は計算すると1だから、
x=1.00000…001は6乗すると1になるのかwwww
ogachanに限らず「1.00000…001は間の0が無限に続くよ」とかの類は
大抵四則演算が崩壊してる。
まーogachanはこういう都合の悪いレスは
無視して聞こえない振りするみたいだから別にいいけどねwwww
0627132人目の素数さん
2006/01/15(日) 22:45:38おっと間違えた。x+y=1はさすがにありえないか。
でもx+y=2とか言うのかな。
x+y=2ならやっぱりy=2-xをxy=1に代入してx^2-2x+1=0でx=1になって
1.00000…001≠1に矛盾するし。
0628617
2006/01/15(日) 22:45:41>>623で書いた、
> 括弧の内部のみを解決した事になるのではないのでしょうか?
とは、まさしく
lim(1-(1/x))^x)
ではなく、
lim(y→無限){ lim(x→無限){ (1 - (1/x))^y } }
ではないか?という事です。
0629617
2006/01/15(日) 23:05:21lim(1-(1/x))^x
の極限値を考える場合、
x回累乗を行う値もxによって変化するので、
収束の様子について、述べなければなりません
つまり、
lim(1-(1/x))^x
を
(1)(1)(1)…
として極限値を求めるのではなく、
xを具体的な実数値から初めて、次第に増加させた時の値について、
その変化の様子を具体的な式を用いて示さなければ、
それは極限値ではないと思います
0630132人目の素数さん
2006/01/15(日) 23:13:210631ogachan
2006/01/15(日) 23:18:34数値的に表してるだけだから、そういう計算はできない。
計算できるようにするには無限小の定義からはじめないと。
http://members2.tsukaeru.net/ogawa/h0hi.htmlを理解できれば、その手の計算が
できるようになる。xy=1でないことも分かるだろう。
>>628
よく分かりません。
本来、元の式と分離しないんですが、簡単のため、
(0.999…→1)(0.999…→1)(0.999…→1)…
において、1=0.999…とすると、
(1→1)(1→1)(1→1)… となり、
(0.999…)(0.999…)(0.999…)… において、1=0.999… とすると、
(1)(1)(1)… となりますから、両者の数値的表現は異なるものです。
0632ogachan
2006/01/15(日) 23:25:24数値的表現として表された1が、1/eに収束しないことは明らかでしょう。
ノートでは収束先として、1としていますが、これは、定数関数の収束先を
考えると、問題ないでしょう。
0633132人目の素数さん
2006/01/15(日) 23:30:58lim(1+(1/x))^xじゃない?
0634132人目の素数さん
2006/01/15(日) 23:36:41ということは、lim(1-(1/x))^xでいいのか
0636617
2006/01/15(日) 23:47:590637617
2006/01/15(日) 23:52:49証明で定義されている記号を、
仮に「?=」と表させて頂きます
では、
> lim(1-(1/x))^x ?= (0.999…)(0.999…)(0.999…)…
> → 1/e
の部分ですが、
この1/eはどのように求められたのでしょうか?
これが示されれば、次の行が理解できそうです。
0638617
2006/01/16(月) 00:02:00である事を証明する定理や定義、公理を用いると、
どうしても
1=0.999…
になってしまうのですが?
どうやら私とは数学記号の用い方が違ってらっしゃるようですので、
もしかしたら、私の方に勘違いがあるのかもしれませんが…
0639617
2006/01/16(月) 00:22:28数学記号の用い方については、他にも、
> x→無限のとき 1 - (1/x) ?= 0.999… → 1
から、次のページで
> ここで、1=0.999… とすると、
のようにされてらっしゃる部分も、よくわかりません
0640617
2006/01/16(月) 00:31:55よくわかっていないのかもしれません。
ですので、そのまま続けるのは、ogachanさんに失礼ですね。
もう少し、よく考えてみます。
0641ogachan
2006/01/16(月) 07:34:37誤解の原因は、0.999… → 1 つまり、lim(1-(1/x))=1 と
1=0.999… を混同していることと思われます。
ノートの2ページの3行めが、lim(1-(1/x))=1だから、あるいは、0.999… → 1に
よって、と書かれていたら、おっしゃるとり、いわゆる、式の内部収束で操作的に
誤りですが、実際そこでは、あくまでも、1=0.999…とすると、と書いてあります
から、この等式による式の代入を行っているだけですから、いわゆる、式の内部収束を
させているという批判はあたりません。
0642617
2006/01/16(月) 09:25:20なるほど!
よくわかりました.。
という事は、この証明を仮に命題で表すとすると、
「?=」を述語とし、
P ≡ 1≠0.999…である
という命題定数を定めると、
?=( P )は真
でよいですか?
0644132人目の素数さん
2006/01/19(木) 22:30:18( ´・ω・) みなさん、お茶が入りましたよ・・・・。
( つ旦O
と_)_) 旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦旦
0645132人目の素数さん
2006/01/19(木) 22:33:010646GiantLeaves ◆6fN.Sojv5w
2006/01/19(木) 22:34:470647132人目の素数さん
2006/01/19(木) 22:41:30kingは1≠0.9…
派?
0648ogachan
2006/01/20(金) 00:05:230649GiantLeaves ◆6fN.Sojv5w
2006/01/20(金) 08:03:080650132人目の素数さん
2006/01/20(金) 09:34:410651132人目の素数さん
2006/01/20(金) 09:41:290652132人目の素数さん
2006/01/20(金) 11:18:08?
0653132人目の素数さん
2006/01/20(金) 11:39:590654GiantLeaves ◆6fN.Sojv5w
2006/01/20(金) 12:19:11talk:>>653 お前に何が分かるというのか?
0655132人目の素数さん
2006/01/20(金) 12:30:40??
0656132人目の素数さん
2006/01/20(金) 12:55:190657GiantLeaves ◆6fN.Sojv5w
2006/01/20(金) 17:39:490658ogachan
2006/01/20(金) 23:01:53http://members2.tsukaeru.net/ogawa/fk1n09s.html
0659132人目の素数さん
2006/01/20(金) 23:42:22その“無限小”とやらを数学的に明確に定義してみな。
0660132人目の素数さん
2006/01/21(土) 08:29:450661617
2006/01/21(土) 09:35:57極限に関わる公理と定理はガチガチの論理展開なので、
不用意には入れない気がするよ
0662617
2006/01/21(土) 09:44:020663ogachan
2006/01/21(土) 18:51:43http://members2.tsukaeru.net/ogawa/h0hi.html
だよ。最初の3行に尽きる。新しい極限を理解してね。
それはそうと、循環しない無限小数と連続の公理によって存在してい
るとされている収束先の無理数を分離すると、どうにも、従来の無理数は
存在していないことが分かる。循環していない無限小数は無限に続くそのもの
としてしか捉えられないことが分かる。2乗して2になる数は存在しないな。
2乗して2に限りなく近づく数はあるな。べき根の定義を見直さなければならない。
方程式も一般には、=0 という形では解はないな。こりゃ大変なことになった。
従来の無理数は存在していなかった。連続の公理、堕つ。
ZFCってのは誤った体系だから、
http://members2.tsukaeru.net/ogawa/gepara.html
それに依拠している超準解析も誤りだな。
とすると、残ったのは、俺の無限小しかないじゃん。かなりてきとーに
やってるけど、俺ってすごいんだなぁ。きゃは。しかし、従来の無理数が
存在してないとは、いやはや、大変だ大変だ。同志が欲しいなぁ。一緒に
新しい数学を構築していく気のある香具師はいないか?
あー、やべー、俺って何世紀先を行ってるんだろう?所詮アマチュアのアマチュア
だから、日の目を見ることはなく、歴史にはならず埋もれていくのだけど、
でも、俺ってすげーなぁ。何世紀先なんだろう。ひひひ。
0664132人目の素数さん
2006/01/21(土) 20:23:090665132人目の素数さん
2006/01/22(日) 01:23:520666132人目の素数さん
2006/01/22(日) 02:27:44ただの工房だと思う。
0667132人目の素数さん
2006/01/22(日) 02:42:500668132人目の素数さん
2006/01/22(日) 04:15:11その方法は過去に人類が歩んできた道。超準解析の手前の段階。テメェはまず
ε−δ論法を理解しろクズ!
0669ogachan
2006/01/22(日) 09:04:170670132人目の素数さん
2006/01/22(日) 13:59:32数列{an},{bn},{cn},{dn}を
an=1/n
bn=1/2^n
cn=0 (nが偶数のとき),1/n (nが奇数のとき)
dn=1/n (nが偶数のとき),1/2^n (nが奇数のとき)
とおく。lim[n→∞]an=a,…,lim[n→∞]dn=dとおく。無限小a,b,c,dの
大小関係を求めてくれ。あと、無限小a,b,c,dの(積に関する)逆元を求めてくれ。
0671ogachan
2006/01/22(日) 14:47:45しかし、従来の無理数が存在しないとピタゴラスの定理が成り立たない。
ピタゴラスの定理は従来の無理数の存在を前提していた。困った。
もちろん、h_0、h_i極限で扱うぞ。
無限大h_iは10^kなので、これは、有理数ではないので無理数なんだけど、
瞬間瞬間は自然数だから、自然無理数かな。これは偶数かどうかであるが、
自然数ではないので偶数ではないのだが、瞬間瞬間は偶数なので、自然無理偶数かな。
a=1/h_i , b=1/2^h_i , c=0 , d=a
c<b<a
a^-1 = h_i , b^-1 = 2^h_i
だよ。
0672132人目の素数さん
2006/01/22(日) 15:38:48何でそういう式が成り立つわけ?
>c=0
定義から「cはn→∞のときの数列cn『そのもの』」なんだから、c=0は有り得ない。
これでは「0はn→∞のときの数列cn『そのもの』」ということになる。0は数列「そのもの」なのか?
>c<b<a
dが抜けてる。あと、どうしてこういう大小関係になるのかも教えてよ。
>a^-1 = h_i , b^-1 = 2^h_i
これもそう。何でこういう式が成り立つわけ?
0673132人目の素数さん
2006/01/22(日) 15:50:11>d=a
おかしいね。定義から「dは、n→∞としたときの数列dnそのもの」だから、d=aになるわけが無い。
a=dになるのは、定義から「dは、n→∞としたときの数列dnそのもの」=「dは、n→∞としたときの数列dnそのもの」と
なるとき、つまり数列anと数列dnが全く同じ数列になっているときのみ。nが奇数のときはan≠dnだから、これは
有り得ない。感覚的にも、dnはanとbnが交互に現れるような数列だからa=dはおかしい。それならb=dでも良いはず。
0674132人目の素数さん
2006/01/22(日) 15:51:20【誤】定義から「dは、n→∞としたときの数列dnそのもの」=「dは、n→∞としたときの数列dnそのもの」
【正】定義から「aは、n→∞としたときの数列dnそのもの」=「dは、n→∞としたときの数列dnそのもの」
1文字目はdじゃなくてaに。
0675132人目の素数さん
2006/01/22(日) 16:41:15cn=0 (nが偶数のとき),1/n (nが奇数のとき)、lim[n→∞]cn=c
とするとc=0となると言うなら、
en=1/n (nが偶数のとき),0 (nが奇数のとき)、lim[n→∞]en=e
とすると同様にe=0でしょ。
そうするとcn+en=1/n=anだからc+e=aなので
c=e=0よりa=0になってしまい、a=1/h_iは嘘になるじゃん。
(偶数全体を含んで奇数全体を含まないように
超フィルターを取ってるという事にすれば間違ってないから、
意外とogachanはいい線いってるかもw)
0676ogachan
2006/01/22(日) 16:50:300677132人目の素数さん
2006/01/22(日) 17:12:28あーなるほどね。
もっと一般にmを自然数として
fn=1/n (nがmの倍数のとき),0 (nがmの倍数でないとき)、lim[n→∞]fn=f
とするとfはh_iを使ってどう書けるの?
0678ogachan
2006/01/22(日) 18:13:54mを決めてくれないと分からない。
にしても、従来の無理数が存在してないとすると、割り切れない分数も存在してないなぁ。
整数と割り切れる分数と無限小数によって、1から考え直さなければならなくなった。
xy平面において任意に三角形は描けないし、円なんて一切描けない。h_0,h_i極限においても、
基本的には最近までは、通常の実数とh_0とh_iによって表される数とを合わせたものを想定していた
から、結局、HPのノートはほとんど白紙状態になってしまったに等しい。この等しいは正しい等しいなんだろうか?
ともかく、俺は今、数学が根底から分からなくなってしまった。目下、ノートのいくつかの修正やh_0シリーズの進
行を手がけているところであったが、数学というものが根底から分からなくなってしまった今、それらの作業は
中断せざるを得ない。ここでの対話も意味をなさなくなるので、最低限の返答の他は自粛することとする。
いやはや、1から出直しだ。
0679132人目の素数さん
2006/01/22(日) 19:04:390680132人目の素数さん
2006/01/22(日) 20:54:43「実数とは何か?とか無限小・無限大とか考えようとしてるのに、実数の構成法も
超準解析も知らないんだから 当然の結末だなw
0681132人目の素数さん
2006/01/22(日) 21:24:07工房なんてトンデモない、小川君は凄い勉強家だよ。
単に努力が実を結んでないだけw
0682132人目の素数さん
2006/01/22(日) 22:08:40ただの馬鹿じゃん。
0683ogachan
2006/01/23(月) 00:03:01http://members2.tsukaeru.net/ogawa/
今後は、存在する数の集合を定めて、それから、何とかしないと。体になら
ないけど、まぁ、いいや。
0684132人目の素数さん
2006/01/25(水) 15:14:39∧ ∧
(´・(ェ)・`) くまぽっぽ
( )
v v
ぼいんっ
川
( ( ) )
0685132人目の素数さん
2006/01/25(水) 16:47:11このスレの話題には歯がたたんぞこら
0686132人目の素数さん
2006/01/25(水) 21:53:00m9(^Д^)プギャー
0687277
2006/01/28(土) 20:50:450688132人目の素数さん
2006/01/28(土) 20:53:260689ogachan
2006/01/29(日) 00:51:19無限大、無限小の定義を変えました。指数にプランク時間を使うことにした。
まさしく動く数になるんだ。
有限の時間の中に無限はない。無限の時間こそが無限なのだ。実無限なんて
いう無限の未来の世界というフィクションとは決別しよう。無限という現在に
数学を構築したい。
僕はまだいるぞ。
うひょー。
0690132人目の素数さん
2006/01/29(日) 19:17:40毎度の事ながら笑えるなw
0691ogachan
2006/01/29(日) 19:57:32http://members2.tsukaeru.net/ogawa/mugenhih0.html
これから純粋数学の道が始まる。
クロネッカーの意志は僕が受け継ぐ。
ogachan学派を作りたいんだけど、どうすればいいのだー?
誰か参加しないか?
0692132人目の素数さん
2006/01/29(日) 20:26:230693132人目の素数さん
2006/01/29(日) 20:31:52こういう市井の数ヲタがいなくなるのも寂しいもんだぞw
0694132人目の素数さん
2006/01/29(日) 22:10:580695ogachan
2006/01/31(火) 00:59:00証明つーか、簡単な方法を考え付いたので、近いうちにアップするや。
ムーアの地図も手塗りで小3時間で塗れるぜ。ひっひ。
0696132人目の素数さん
2006/01/31(火) 22:31:40くれるかも知れないぞ?それとも逆に、お前が
had学派に入るのがオチか?
0697132人目の素数さん
2006/02/02(木) 20:54:01460 :132人目の素数さん :2006/02/02(木) 20:05:12
>>458
おまえみたいな電波を隔離するためのスレがあるから、そっちでやれ
http://science4.2ch.net/test/read.cgi/math/1136133055/
でもこんな素敵な方もいるのね (#^.^#)
461 :132人目の素数さん :2006/02/02(木) 20:06:39
>>458
1/3=0.33333333.....
(1/3)*3=0.999999999....
1/3*3=1
1=0.9999999999.....
0698132人目の素数さん
2006/02/02(木) 21:47:001/∞=0.000...=0 じゃないの?
1を無限で割ったやつは無限小っていうみたいだけど。
0699なんつっ亭 ◆YLhguIEUXM
2006/02/02(木) 22:24:09極限は1になるけど = にはならない。
なんつって^^;
0700132人目の素数さん
2006/02/02(木) 22:50:230701132人目の素数さん
2006/02/05(日) 00:09:50| オッパイスルナラ イマノウチ
|A゚)
|⊂
|
_ ∩ おっぱい!
( ゚∀゚)彡 おっぱい!
( ⊂彡
.| |
.し⌒J
0702132人目の素数さん
2006/02/05(日) 03:48:52|∀゚)
|⊂ノ
|, ,_ ∩
|∀゚) 彡 < えー…
|
|
| ミ やっぱやめた
| ピャッ
0703132人目の素数さん
2006/02/05(日) 07:29:29‖b=(^2おっぱ-い3
‖2っぱat^おっぱい!
‖おっぱい!
‖ おっぱい!
‖[□]_______
 ̄ ̄ _ _ ∩
( ゚∀゚)彡
⊂ ⊂彡
( ⌒)
c し'
0704132人目の素数さん
2006/02/06(月) 20:56:520705132人目の素数さん
2006/02/08(水) 04:12:34|´∀`';/^l
|u'''^u;' |
|∀ ` ミ ダレモイナイ・・・
| ⊂ :, モサモサ スルナラ イマノウチ
| ミ
| 彡
| ,:'
|''~''''∪
l^丶
もさもさ | '゛''"'''゛ y-―,
ミ ´ ∀ ` ,:'
(丶 (丶 ミ
(( ミ ;': ハ,_,ハ
;: ミ ';´∀`';,
`:; ,:' c c.ミ
U"゛'''~"^'丶) u''゛"J
/^l
,―-y'"'~"゛´ | もさもさ
ヽ ´ ∀ ` ゛':
ミ .,/) 、/)
゛, "' ´''ミ ハ,_,ハ
(( ミ ;:' ,:' ´∀`';
'; 彡 :: っ ,っ
(/~"゛''´~"U ι''"゛''u
0706132人目の素数さん
2006/02/08(水) 14:18:10n' ´∀`,n,
ミ,;:. ,ッ
もさ `'u゛-u'
0707132人目の素数さん
2006/02/08(水) 22:32:480708132人目の素数さん
2006/02/09(木) 01:06:380.9999...:循環少数
ちがうくね?
0709132人目の素数さん
2006/02/09(木) 01:26:161.0000・・・
は何だ?
0710132人目の素数さん
2006/02/09(木) 15:57:320711132人目の素数さん
2006/02/09(木) 23:35:09それを受容する人間は、完全に「論理」的であるとはいえない。
カントが到達したした結論を持って終了する話しじゃないの?このスレって。
斜め読みなので、誤解だったら批判は甘んじて受けますが、
直感的には、数学を「理性」への近似と取るか数学自体が「理性」とするかの話なのかなあと。
0712132人目の素数さん
2006/02/09(木) 23:46:420713yuu
2006/02/11(土) 16:05:090714132人目の素数さん
2006/02/11(土) 21:08:020715132人目の素数さん
2006/02/11(土) 21:09:41http://science4.2ch.net/test/read.cgi/math/1139405332/
こことかぶってるからね
0716132人目の素数さん
2006/02/11(土) 21:48:09過疎っているのは、結論らしきものが出たから。
仮に、このスレが消えたら、当然何ヶ月かすると誰かが同じようなスレを立ち上げ
元の黙阿弥になるから、まあこのスレを残す意義はあるとは思う。
0717132人目の素数さん
2006/02/11(土) 22:28:31小川と松本に乗っ取られて寂れたもんだとてっきり
0718132人目の素数さん
2006/02/11(土) 22:47:54反論しろよ。
0719132人目の素数さん
2006/02/11(土) 22:52:390720132人目の素数さん
2006/02/12(日) 00:42:530721132人目の素数さん
2006/02/16(木) 16:09:173=2.99999999...
√2=1.41421356...
2=1.99999999....
√1=1
1=0.99999999...
0722132人目の素数さん
2006/02/16(木) 22:01:312/9
3/9
4/9
5/9
6/9
7/9
8/9
9/9
....
0723132人目の素数さん
2006/02/17(金) 04:13:530724132人目の素数さん
2006/02/17(金) 17:40:56を認めるやつらは
その次に
1.00・・・っていう数字があるってことだよな?
0725GiantLeaves ◆6fN.Sojv5w
2006/02/17(金) 17:51:230726132人目の素数さん
2006/02/17(金) 18:01:430727132人目の素数さん
2006/02/17(金) 18:04:57これは 初項 a=0.9 , 公比 r=0.1 (r<1) の無限等比級数なので
Σ[k=1→∞](9*0.1^k)
=a/(1-r)
=0.9/(1-0.1)
=1
∴0.99999…=1
この証明ってどっかに矛盾あるの?
0728132人目の素数さん
2006/02/17(金) 18:31:261 割る 3 は 0.33333333......
0.999... 割る 3 は 0.33333333......
同じだな。
0729GiantLeaves ◆6fN.Sojv5w
2006/02/17(金) 18:46:200730132人目の素数さん
2006/02/17(金) 23:46:28ある実数の「次」の実数とか
ある有理数の「次」の有理数なんて無い、っていうのが普通の考え方だけどね
0731132人目の素数さん
2006/02/18(土) 01:38:201 - 0.99999… = 0.00000…
差 が 0 なら 同じっす。
0732132人目の素数さん
2006/02/18(土) 01:45:18正 直 な と こ 0 . 9 9 9 ・ ・ ・ の ほ う が
ち ょ っ と だ け 小 さ い 気 す る べ ?
0733132人目の素数さん
2006/02/18(土) 01:46:330734132人目の素数さん
2006/02/18(土) 01:49:01>
>1 - 0.99999… = 0.00000…
>
>差 が 0 なら 同じっす。
そんなこと学生の前で学校の先生がやったら不信感増幅して終わりだろ。
もともと信用されてないし。
0735132人目の素数さん
2006/02/18(土) 02:01:23> その結果は0なのか?という問題にすり変わっただけだな
本当は 0 ではないのかな?!
じゃ、一体いくつなんだろう?????
0736132人目の素数さん
2006/02/18(土) 02:09:50は正しいか?ってこと
0737132人目の素数さん
2006/02/18(土) 08:05:141●●と2△△はどっちが大きい?2△△だろ?
つまり一番でかい位が大きい方は絶対大きい
なにがいいたいかというと
1.0000...と0.9999..の最大の位は一の位そして一の位で大きいのは当然1
よって
1.0000...>0.999..
なにか?(長&駄文スマソ)
0738132人目の素数さん
2006/02/18(土) 11:51:23> 0=0.000・・・
>は正しいか?ってこと
そうそう。それ知りたいです。
>>737
まったく同じ論法で 0=0.000・・・ が説明できるです。
「1=0.999…」が納得できない人が、同じ頭で「0=0.000・・・」は納得できるです。
結局、見た目の問題でしょうか?
0739132人目の素数さん
2006/02/18(土) 12:05:18お前の理論だと
1.999…=1.000…
ということだな
0740132人目の素数さん
2006/02/18(土) 12:12:27でもよくかんがえてみ、そもそもモノを現実にきっちり1/3にするのは不可能だ。
つまりモノを三等分するってのは頭の中だけの出来事なわけ。
でも「そうできたと仮定してみるね」という前提で1/3という「記号」を用いる訳。
それを現実のものとして考えるから1≠0.99999と考えちゃう訳。
0741132人目の素数さん
2006/02/18(土) 12:15:070742132人目の素数さん
2006/02/18(土) 12:19:24不可能じゃないよ
ただそこまでの技術がないだけ
でも1/3は不可能
0743132人目の素数さん
2006/02/18(土) 12:22:360744132人目の素数さん
2006/02/18(土) 12:28:09日本人ってそーゆーの避けて小手先の計算論みたいなのに走るから結局いつまでも
論議が深まらない気がする…。
>>742
根拠を家。
0745132人目の素数さん
2006/02/18(土) 14:38:53君は馬鹿かね?
二分の一は割り切れるが、
三分の一は割り切れないからだろうが。
このスットコドッコイ。
0746132人目の素数さん
2006/02/18(土) 14:46:480747132人目の素数さん
2006/02/18(土) 15:00:36>「1=0.999…」が納得できない人が、同じ頭で「0=0.000・・・」は納得できるです
これが同じに見える奴はもともと1=0.999...だとわかるだろうに
阿呆か?
0748132人目の素数さん
2006/02/18(土) 16:35:54> これが同じに見える奴はもともと1=0.999...だとわかるだろうに
「これが同じ」って、 「0=0.000・・・」の事?
全国の小学生6年生に聞いてみたらどうだろう。
ほぼ全員「0=0.000・・・」を速攻で承認すると思うど。
同じメンバーに「1=0.999...」を問う。
かなり多くの割合が速攻で否認するぞ、絶対。
0と0.000・・・が同じに見える奴が、1=0.999...だとわかってない。。。。
0749132人目の素数さん
2006/02/18(土) 16:37:53>0と0.000・・・が同じに見える奴が、1=0.999...だとわかってない。。。。
ばかだろ?
「1=0.999…」と「0=0.000・・・」
じゃねえか。。
しかも面白くもねえ。。
0750132人目の素数さん
2006/02/18(土) 19:15:01三進法だと割り切れるんだよ。唐変木!
0751132人目の素数さん
2006/02/18(土) 19:20:45これは醜い。。
同一の阿呆か?
0752132人目の素数さん
2006/02/18(土) 19:23:16>でも1/3は不可能
1/3も1/2も概念なんだから。
うだうだ言うなぼけ。
0753132人目の素数さん
2006/02/18(土) 21:50:30じゃあ1/3は?
1/3は’作図可能’だよ。ついでに折り紙でも1/3折れる。
0754132人目の素数さん
2006/02/18(土) 21:54:170755132人目の素数さん
2006/02/18(土) 21:56:10数学において1/3も1/2も1でも2でも。
それは現実とリンクできるかなんてことは関係ないんだけどね。
1/3kgを再現するのも1kgを再現するのもそう変わらない。
折り紙とか言うな情けなくなるから。
0756132人目の素数さん
2006/02/18(土) 22:04:570757132人目の素数さん
2006/02/18(土) 22:07:400758132人目の素数さん
2006/02/18(土) 22:09:450759757
2006/02/18(土) 22:13:070760132人目の素数さん
2006/02/18(土) 22:15:30こっちなんか厨3で水曜日受験があんだよ!!もう勉強しなきゃまずいのに真面目にこのスレに心ひかれたんだよ…
0761132人目の素数さん
2006/02/18(土) 22:16:190762757
2006/02/18(土) 22:17:580763132人目の素数さん
2006/02/18(土) 22:19:51>るのにウジウジ言ってるだけか…じゃあもう1=0.9999…だって言うやつは1って数字を一生使うな!!
馬鹿。。。。w
0764132人目の素数さん
2006/02/18(土) 22:20:565723985748923/5723985748923
を1だと思うなら1って数字を一生使うな!!
0765132人目の素数さん
2006/02/18(土) 22:20:570766132人目の素数さん
2006/02/18(土) 22:21:01栗田先生は、そう仰っていたぞ
0767132人目の素数さん
2006/02/18(土) 22:28:34結果らしきものは過去ログにあるぞ。
いくら提示しても、次から次へと人が来るから、面倒で誰も出さないだけ。
多分次のスレではテンプレートになっているだろうな。
過去ログあさって、何度も結果みたいに引用されている文章を探してくれ。
0768132人目の素数さん
2006/02/19(日) 00:22:580769132人目の素数さん
2006/02/19(日) 00:41:12ならねーとおもうが・・・何でそう思うんだよ。
0770132人目の素数さん
2006/02/19(日) 00:42:53>思うに1=0.999…を認めるのならある方程式の漸近線が接線になってもいいってことにならないか…?
いつまでたっても接しないけど
無限大では同化すると。。
0771132人目の素数さん
2006/02/19(日) 02:01:05例えばy=1の方程式があるとして
漸近線が限りなくy=1に近付くとすると
漸近線の存在意義は?
0772132人目の素数さん
2006/02/19(日) 02:02:200773132人目の素数さん
2006/02/19(日) 02:04:38を…折り紙をバカにしやがったな…!
0774132人目の素数さん
2006/02/19(日) 02:05:41>を…折り紙をバカにしやがったな…!
うっひゃはやいおいえあqwせdrftgyふじこlp;
0775132人目の素数さん
2006/02/19(日) 03:38:061.000…+0.000…=
1+0.000…=
の答えはどう表記するべきでしょうか?
0776132人目の素数さん
2006/02/19(日) 14:16:10無限小とかを認めてもいいんだよな。
(1) Kは順序体である(従って有理数体Qを含む)
(2) Kはアルキメデスの公理を満たさない、つまり無限小元を含む、
つまりあるX∈Kは任意の正の有理数rについて0<X<rを満たす
この(1)(2)を満たすKは存在する。
例えば有理数体Qと無関係な記号Xを取ってきて、Xの有理数係数の有理式の全体Q(X)をKとし、
Xと正の有理数の間の順序を(2)で入れて、
この順序を体の算法と両立するようにK全体に拡張すればOK。
厳密には、多項式環Q[X]=Q+QX+QX^2+…をQ×Q×Q×…と見なして
Q[X]に辞書式順序を入れると、Q[X]は(2)を満たす順序環になる。
順序環は整域であって、その商体は自然に順序体になるから、K=Q(X)は順序体。
しかも(1)(2)を満たすKはこのQ(X)を部分順序体として含む。
つまり(1)(2)を満たすKの中でQ(X)は最小。
1≠0.999…派が「1-0.999…は無限小だ」と主張してきたら、
X=1-0.999…とおけば、そいつの考える実数体Rは上のQ(X)を含んでるとみていいと思う。
小川の「0.999…=1-h0でh0は無限小」とかいうのも同じように扱える。
無理があるし、こんなものを考えて何になるんだと思うけど、
以上1≠0.999…派を相手にする人達へ参考までに。
0777132人目の素数さん
2006/02/19(日) 14:41:14>以上1≠0.999…派を相手にする人達へ参考までに。
おまえ馬鹿?
1≠0.999…派なんていないだろ?
0778132人目の素数さん
2006/02/19(日) 15:18:590.9999999・・・
似て非なる数字じゃないのか?
0779132人目の素数さん
2006/02/19(日) 15:19:450780132人目の素数さん
2006/02/19(日) 15:20:36>似て非なる数字じゃないのか?
似て非なる数字だけど同じ値
0781132人目の素数さん
2006/02/19(日) 15:24:55見た目からして全く違う数字だが、数としては同じj。
0782132人目の素数さん
2006/02/19(日) 15:25:51似ず非なる数字でも同じ値
0783132人目の素数さん
2006/02/19(日) 15:53:460784132人目の素数さん
2006/02/19(日) 16:08:370785132人目の素数さん
2006/02/19(日) 16:15:23と
0.9999999・・・・・・
って
数量はこれ以上無い位に近いけど、
同じではないと思うんだけどなぁ
0786132人目の素数さん
2006/02/19(日) 16:19:51>同じではないと思うんだけどなぁ
その感覚を大事にしよう。
0787132人目の素数さん
2006/02/19(日) 16:25:500788132人目の素数さん
2006/02/19(日) 16:48:030789132人目の素数さん
2006/02/19(日) 16:56:450790132人目の素数さん
2006/02/19(日) 19:04:591=0.9999・・・・
0791132人目の素数さん
2006/02/19(日) 19:39:02それは数字のマジックだ
0792132人目の素数さん
2006/02/19(日) 19:56:319分の1=0.11111・・・
両辺に9を掛ける
1=0.99999・・・
0793132人目の素数さん
2006/02/19(日) 20:06:58おまいマジで天才だな。
0794132人目の素数さん
2006/02/19(日) 20:31:270.999…<x<1が成り立ってしまい、これまたおかしい感じがする。
0795132人目の素数さん
2006/02/19(日) 20:35:440.999....<x<y<1
0796132人目の素数さん
2006/02/19(日) 20:41:03処女の様に扱え
0797132人目の素数さん
2006/02/19(日) 20:46:40これを、初項0.9、公比0.1の無限級数と考えて
公式 S=_a_
1―r
(初項a、公比r)に代入すると
S=_0.9_
1―0.1
=_0.9_
0.9
=1
【はじめの項を初項、上の倍々していくrを公比という。】
0798132人目の素数さん
2006/02/19(日) 21:02:261÷3が割りきれない時点で≠0.333333だからって考え方は駄目?
0799132人目の素数さん
2006/02/19(日) 22:14:01ってのは間違ってますか?
0800132人目の素数さん
2006/02/19(日) 22:39:021分の∞=1.999999・・・ になったりする?
0801132人目の素数さん
2006/02/19(日) 23:46:19超準解析でもそうはならない、ということを河東が書いてる
ttp://www.iwanami.co.jp/.BOOKS/00/9/0074530.html
まあ立ち読みでもして下さい
因みに超実数を作るつもりなら、選択公理を使って同値類とらなきゃ駄目だったと思います
何故かは理解していませんが
0802132人目の素数さん
2006/02/19(日) 23:48:331+0.999999.........を2で割るとどうなるんですか?
0803132人目の素数さん
2006/02/20(月) 00:27:330804132人目の素数さん
2006/02/20(月) 01:28:24> 1分の∞=1.999999・・・ になったりする?
意味が分からないのですが・・・。
1÷∞の答えは、
0.000…
0.000…1
のどちらかではないのでしょうか?
0805132人目の素数さん
2006/02/20(月) 01:45:28R∪{∞}は体にならないので
きちんと演算の法則を定めないとなんとも言えないかと
0806132人目の素数さん
2006/02/20(月) 10:43:19∞をどう捉えてるの?
0807132人目の素数さん
2006/02/21(火) 09:43:510808132人目の素数さん
2006/02/21(火) 14:47:59http://ja.wikipedia.org/wiki/0.999...%E3%81%8C1%E3%81%AB%E7%AD%89%E3%81%97%E3%81%84%E3%81%93%E3%81%A8%E3%81%AE%E8%A8%BC%E6%98%8E
0809132人目の素数さん
2006/02/21(火) 16:20:58〜〜〜終了〜〜〜
0810132人目の素数さん
2006/02/21(火) 16:49:240811132人目の素数さん
2006/02/21(火) 17:14:390812132人目の素数さん
2006/02/21(火) 20:27:18もろ数字科です
0813132人目の素数さん
2006/02/21(火) 20:30:03成り立たないから成り立たない、でおしまい?
0814132人目の素数さん
2006/02/21(火) 20:49:350815132人目の素数さん
2006/02/21(火) 22:14:000816132人目の素数さん
2006/02/21(火) 23:04:300817132人目の素数さん
2006/02/21(火) 23:25:40自分数学科じゃないからその辺りの事情はよく知らないんだけど、
大学の数学系学科でεδとか実数の構成とかをやらないところもあるの?
0818132人目の素数さん
2006/02/21(火) 23:34:010819132人目の素数さん
2006/02/22(水) 10:32:260820132人目の素数さん
2006/02/22(水) 12:24:00両辺を3倍して
1=0.999...
---終了---
0821132人目の素数さん
2006/02/22(水) 12:26:14怪我もして無いのに腕に包帯巻いて、突然腕を押さえて
「っぐわ!・・・くそ!・・・また暴れだしやがった・・・」とか言いながら息をを荒げて
「奴等がまた近づいて来たみたいだな・・・」なんて言ってた
クラスメイトに「何してんの?」と聞かれると
「っふ・・・・邪気眼(自分で作った設定で俺の持ってる第三の目)を持たぬ者にはわからんだろう・・・」
と言いながら人気の無いところに消えていく
テスト中、静まり返った教室の中で「うっ・・・こんな時にまで・・・しつこい奴等だ」
と言って教室飛び出した時のこと思い返すと死にたくなる
柔道の授業で試合してて腕を痛そうに押さえ相手に
「が・・・あ・・・離れろ・・・死にたくなかったら早く俺から離れろ!!」
とかもやった体育の先生も俺がどういう生徒が知ってたらしくその試合はノーコンテストで終了
毎日こんな感じだった
でもやっぱりそんな痛いキャラだとヤンキーグループに
「邪気眼見せろよ!邪気眼!」とか言われても
「・・・ふん・・・小うるさい奴等だ・・・失せな」とか言ってヤンキー逆上させて
スリーパーホールドくらったりしてた、そういう時は何時も腕を痛がる動作で
「貴様ら・・・許さん・・・」って一瞬何かが取り付いたふりして
「っは・・・し、静まれ・・・俺の腕よ・・・怒りを静めろ!!」と言って腕を思いっきり押さえてた
そうやって時間稼ぎして休み時間が終わるのを待った
授業と授業の間の短い休み時間ならともかく、昼休みに絡まれると悪夢だった
0822GiantLeaves ◆6fN.Sojv5w
2006/02/22(水) 15:48:350823132人目の素数さん
2006/02/22(水) 19:34:501=0.999…>0.999…9 なのでしょうか?
0824132人目の素数さん
2006/02/22(水) 20:26:200825132人目の素数さん
2006/02/22(水) 21:14:28前者は無限小数,後者は有限小数。
0826132人目の素数さん
2006/02/22(水) 21:17:23って絶対言うと思うなあ。。
0827132人目の素数さん
2006/02/22(水) 21:45:01ちょっと笑ってしまった
0828132人目の素数さん
2006/02/23(木) 11:18:520829132人目の素数さん
2006/02/23(木) 11:26:26>って絶対言うと思うなあ。。
lim[{Σf(n)}+{1/10^n}]
0830132人目の素数さん
2006/02/23(木) 13:33:00てんかんつてそんなびようきだつけ?
0831GiantLeaves ◆6fN.Sojv5w
2006/02/23(木) 15:02:160832132人目の素数さん
2006/02/23(木) 15:46:08ww
0833132人目の素数さん
2006/02/23(木) 15:47:170834GiantLeaves ◆6fN.Sojv5w
2006/02/23(木) 15:49:360835132人目の素数さん
2006/02/23(木) 19:00:130836ChildLeaves ◆6FNJsOwhDg
2006/02/23(木) 19:03:010837132人目の素数さん
2006/02/23(木) 19:07:39それはお前の理解力が無いからと思われる
0838ChildLeaves ◆6FNJsOwhDg
2006/02/23(木) 19:13:53832を理解できないのなら死ぬ事も選択肢の一部ではある
0839132人目の素数さん
2006/02/23(木) 19:17:150840132人目の素数さん
2006/02/23(木) 19:27:56関係ないけど、"raison"のフランス人による美しい発音を久々に聞きたくなった
0841132人目の素数さん
2006/02/23(木) 19:31:430842GiantLeaves ◆6fN.Sojv5w
2006/02/24(金) 06:34:51talk:>>838 ww から何が分かるというのか?
0843GiantLeaves ◆6fN.Sojv5w
2006/02/24(金) 06:35:250844132人目の素数さん
2006/02/24(金) 19:41:390845132人目の素数さん
2006/02/26(日) 16:42:390846132人目の素数さん
2006/02/26(日) 16:53:07>7億1人。俺を数え忘れるな。
そんなこというと14億になっちまうじゃねえか?
阿呆たれ
0847ChildLeaves ◆6FNJsOwhDg
2006/02/26(日) 16:53:410849132人目の素数さん
2006/02/26(日) 18:10:590850132人目の素数さん
2006/02/26(日) 19:10:04フランス語で言ってくれないとわからないかもしれんぞ
0851132人目の素数さん
2006/02/26(日) 19:28:440852132人目の素数さん
2006/02/26(日) 19:31:24Oui,monsieur.
0853132人目の素数さん
2006/02/26(日) 19:52:56今は習っていないが、結構イケル。
オレも数える?
0854132人目の素数さん
2006/02/26(日) 20:03:350855132人目の素数さん
2006/03/01(水) 08:55:500856132人目の素数さん
2006/03/01(水) 09:46:170857132人目の素数さん
2006/03/01(水) 10:08:471と同じ点に0.9999…が存在するってことよね?
0858132人目の素数さん
2006/03/01(水) 11:43:150859132人目の素数さん
2006/03/01(水) 12:16:290860132人目の素数さん
2006/03/01(水) 18:56:12?
0861132人目の素数さん
2006/03/01(水) 18:58:58無いよ
0862132人目の素数さん
2006/03/01(水) 19:42:02なんで無限の彼方にさらに8という数字があるんだ?
0863132人目の素数さん
2006/03/01(水) 21:00:310864864
2006/03/01(水) 21:01:470865132人目の素数さん
2006/03/01(水) 21:22:25こういう「0.999…は0.99…(間に9が無限個)…9(←止まる)」とかの類を言う奴は、
円周率3.141592…は最後に何の数字で止まるって言うんだろうな
0866132人目の素数さん
2006/03/02(木) 09:23:300867132人目の素数さん
2006/03/02(木) 19:11:46虚構新聞の
http://www.f7.dion.ne.jp/~moorend/news/2005020901.html
の勘違いだろ。
0868132人目の素数さん
2006/03/02(木) 21:13:230869132人目の素数さん
2006/03/02(木) 21:19:56になるのはどうなの?
1.999999…8+0.999999…=2.999999…7
どうなの?
0.9999999999999999999999999999999999999999999999999999999999999999999999999999………
1でよくね?
ムムム←コレ逆さにするとスリーセブンに見えね?
0870132人目の素数さん
2006/03/02(木) 21:22:391.999999…8←この8は『何桁目』?
0871132人目の素数さん
2006/03/02(木) 21:28:27だからこそ0.999…=1だろうという話
0872ChildLeaves ◆6FNJsOwhDg
2006/03/03(金) 02:00:140873132人目の素数さん
2006/03/03(金) 13:14:06そういうときはこう質問するんだ。
「じゃあ、最後の一個手前の数字は何?」
0874132人目の素数さん
2006/03/04(土) 09:21:25想定し得る謎回答としては
「直前の数は無い(ωとかの極限順序数みたいな)」
あるいは
「3.141592…(間に無限個)…000000」
くらいか。
0875ChildLeaves ◆6FNJsOwhDg
2006/03/04(土) 09:27:54こんな回答もあるかもね。
割り切れる数字なんだけど。
まだ計算しきれてない。
これなら割り切れないことを示してあげればいいだけ。
19世紀ぐらいだっけ?
割り切れないてことわかったの?
0876132人目の素数さん
2006/03/04(土) 09:45:47http://c-au.2ch.net/test/-/kouri/1141394052/i
0877132人目の素数さん
2006/03/04(土) 15:05:57そういうときは、「0.999…9(←止まる)」という数についての考察は一旦やめさせて、かわりに「0.999…0(←止まる)」
という数について考察させる。この数なら、1になることを認めざるを得ない。なぜなら、相手が前者のような変な数に
こだわる理由は「1−0.999…9=0.000…1≠0」という計算をやってるから。しかし後者の数の場合は「1−0.999…0=
0.000…0=0」となって完璧に1になる。
0878132人目の素数さん
2006/03/04(土) 15:06:290879132人目の素数さん
2006/03/04(土) 15:22:24「直前の数は無い」という考え方の理不尽さを指摘した方がいいかも。
直前の数が無いのであれば、「0.000…1+0.000…9」はどうやって計算するのか?
とか。
0880132人目の素数さん
2006/03/04(土) 15:39:530881132人目の素数さん
2006/03/04(土) 15:43:26http://science4.2ch.net/test/read.cgi/math/1139405332/745
の周囲20レスくらいを読んどけ。
ただそうやってからかえば心地良い電波を体感できそうだし、
電波を育てるのには使えそうだ。
0882132人目の素数さん
2006/03/07(火) 18:03:200883132人目の素数さん
2006/03/07(火) 18:16:36http://science4.2ch.net/test/read.cgi/math/1139405332/
が1000行ったね
0884132人目の素数さん
2006/03/07(火) 18:54:550885132人目の素数さん
2006/03/07(火) 19:12:04いろんな人に対応できる簡単な説明なんて存在しねーべ。
1=0.99999…はそんぐらい深い話ってこった。
0886132人目の素数さん
2006/03/07(火) 20:00:36初項0.9公比0.1の無限等比級数の和だから
0.999…=1であることは理屈の上では明らかだし、
0.9999999999999<1だが、
9が無限にどこまでもとどまることなく続くと
=1になるということが、感覚的にピンと来ないか?
9がどこかで止まったら
<1だけど、どこまでも止まらずに続くんだから。
0887>>969
2006/03/07(火) 20:44:47http://science4.2ch.net/test/read.cgi/math/1139405332/969
969 132人目の素数さん sage 2006/03/06(月) 20:49:24
y=1/xが与えられているとき、
x=0 のとき、不能
x→0のとき、y→∞
0と、0に限りなく近い数は別の数だと思うのですが、
1と、1に限りなく近い数は同じ数だというのは不思議です。
・・・
と聞こうとしていたんですが遅かったかしら?
0888>>969
2006/03/07(火) 20:46:25http://science4.2ch.net/test/read.cgi/math/1139405332/973-975
973 132人目の素数さん 2006/03/06(月) 21:31:39
xを1に限りなく近づける≠1に限りなく近いxってことね
974 >>969 sage 2006/03/06(月) 22:03:07
>>973
>xを1に限りなく近づける≠1に限りなく近いxってことね
どう違うのでしょうか?
975 132人目の素数さん 2006/03/06(月) 22:22:24
>>974
前者は動的、後者は静的。
前者は動作であって、後者は確定した状態。
0889>>969
2006/03/07(火) 20:47:31http://science4.2ch.net/test/read.cgi/math/1139405332/982
982 >>969 sage 2006/03/06(月) 23:28:15
>>973
>xを1に限りなく近づける≠1に限りなく近いxってことね
すこし考えてみたのですが、1 に限りなく近い x は存在するのでしょうか?
――――――――――――――――――――――――――――――――――――――
1) x を 1 に限りなく近づければ、いつかは 1 に限りなく近い x に辿り着くような気がする。
2) x と 1 の間に、まだ数字が挟まっているような気がする。
3) 1 に限りなく近い x は存在するの? <--- 今ここ
0890>>969
2006/03/07(火) 20:48:13http://science4.2ch.net/test/read.cgi/math/1139405332/984
984 132人目の素数さん sage 2006/03/06(月) 23:43:11
>>982
もしそんなxがあったとしたら、xよりも1に近い数はない事になる。
けどxと1の等分点(x+1)/2を考えると、これはxよりも1に近いから矛盾。
よってそんなxはない。
0891>>969
2006/03/07(火) 20:56:14>xと1の等分点(x+1)/2を考えると、これはxよりも1に近い
それなら、x を 1 に限りなく近づけるとは、 x と 1 の間に等分点が存在する状態
と言っても良いのでしょうか?
一方で、1 に限りなく近い x とは、 x と 1 の間に等分点が存在しない状態
と言っても良いのでしょうか?
0892132人目の素数さん
2006/03/07(火) 21:23:010.333…×3=(0.3+0.03+0.003+…)×3
=0.9+0.09+0.009+…
=0.999…
したがって、1=0.999…
0893132人目の素数さん
2006/03/07(火) 21:40:53>y=1/xが与えられているとき、
>x=0 のとき、不能
>x→0のとき、y→∞
これ間違い。
x→0のときは発散。
x→+0のときは、y→∞
x→-0のときは、y→-∞
0894>>969
2006/03/08(水) 00:29:04>xを1に限りなく近づける≠1に限りなく近いxってことね
これを、もう少し考えてみました。
――――――――――――――――――――――――――――――――――――――
x と 1 の間に等分点が存在する状態とは、x と 1 の間に距離がある状態、
x と 1 の差をとったとき、大きさがゼロではない状態、すなわち
|1-x|>0
x と 1 の間に等分点が存在しない状態とは、x と 1 の間に距離がない状態、
x と 1 の差をとったとき、大きさがゼロの状態、すなわち
|1-x|=0
つまり、1 に限りなく近い数 0.999・・・ とは、1 との間に等分点を持たない数、
すなわち |1-x|=0 が成り立つような数 x ということでしょうか?
0895132人目の素数さん
2006/03/08(水) 00:38:17絶対値記号 | a | の定義(aの正負で場合分け)を思い出せ。
| 1 - x | = 0 ⇔ 1 - x = 0 ⇔ x = 1
0896132人目の素数さん
2006/03/08(水) 17:58:32x→0のとき
x/2 を考えると x より 0 に近いけどそれはOKなの?
0897>>969
2006/03/08(水) 21:01:06x = 0.999・・・ (1)
1 に限りなく近い数 x とは、1 との間に等分点を持たない数、
すなわち、1 との距離がゼロである数である。
|1-x|= 0 (2)
(1)、(2)により、
1 = 0.999・・・
が成り立つ。
0898132人目の素数さん
2006/03/09(木) 19:55:420899ChildLeaves ◆6FNJsOwhDg
2006/03/09(木) 20:46:24あそっかx=1だ!
0900水チップ☆
2006/03/09(木) 21:36:151/3=1、2/3=0、4
12進法に変えれば割りきれる。
0901>>969
2006/03/09(木) 21:59:11――――――――――――――――――――――――――――――――――――――
n = 1 のとき、1 との差を 1/10 とすると、0.9
n = 2 のとき、1 との差を 1/100 とすると、0.99
n = 3 のとき、1 との差を 1/1000 とすると、0.999
・・・
n = N のとき、1 との差を 1/10^N とすると、小数点以下 N 桁まで 9 が並ぶ。
・・・
n = ∞とき、 1 との差を 1/10^∞ とすると、小数点以下限りなく 9 が並ぶ。
1 との差が 0 に十分近い数とすると、1 に十分近い数が得られる。
1 との差が 0 に限りなく近い数とすると、1 に限りなく近い数が得られる。
1 との差が 0 とすると、1 が得られる。 <--- 今ここ
0902132人目の素数さん
2006/03/09(木) 22:07:44∞って記号をそんなに軽々しく使うんじゃない
0903132人目の素数さん
2006/03/09(木) 22:12:56>12進法に変えれば割りきれる。
じゃ。
12進法で12進法のときの0.99999999....=1を証明しておくれ
0904132人目の素数さん
2006/03/09(木) 22:18:15900じゃないが、12進法だったら0.99999...≠1なので証明不可能だろ
0905132人目の素数さん
2006/03/09(木) 22:19:581=0.BBBB・・・
を示せ、だな。
0906132人目の素数さん
2006/03/09(木) 22:20:31なんかそれって全部、記号=絵の話じゃね?
「小数点以下限りなく 9 が並ぶ」ってのは「すげー長い紙の上に、
9という文字がずらずら無限に続いている絵(記号)」についての話だろう?
数の話じゃないじゃん。
0907132人目の素数さん
2006/03/09(木) 22:21:39>900じゃないが、12進法だったら0.99999...≠1なので証明不可能だろ
あそっか
0.AAAAAAAAAAAA.....=1
をだね。。
0908132人目の素数さん
2006/03/09(木) 22:23:090909132人目の素数さん
2006/03/09(木) 22:23:120.�J�J�J�J�J�J�J�J...
0910132人目の素数さん
2006/03/09(木) 23:56:24あなたはまずε−δ論法の勉強から始めて、実数の構成法をイチから(自然数の構成から)
理解する必要がある。あと論理学とかも。これをせずに、0.999…なんかをこれ以上「自分で」
考えても時間の無駄。
0911132人目の素数さん
2006/03/10(金) 00:07:18なんだろ。
空気よめ
0912132人目の素数さん
2006/03/10(金) 00:18:49有理数を小数表記する時に循環小数を導入する。小学校でやったはず。
これを認めるなら、1=0.999…は必然。
0914BW of Tama King
2006/03/10(金) 05:55:230915132人目の素数さん
2006/03/10(金) 09:47:39だから「分数から縦書きの割り算で作った循環小数」については問題なし。
けど0.999…はどんな分数を縦書き割り算しても出てこない。
>>565みたいな指導要領を超えるテクニカルな事をしない限り。
だからそのままでは小中学生にとって0.999…は正体不明。
0916132人目の素数さん
2006/03/10(金) 14:27:57え?
1/3+1/3+1/3=1
そんなにテクニカル?
0917132人目の素数さん
2006/03/10(金) 20:43:47おまえはその式で何が言いたいんだ?
0918>>969
2006/03/10(金) 21:09:42――――――――――――――――――――――――――――――――――――――
n = 1 のとき、1 との差を 1/10 とすると、0.9
n = 2 のとき、1 との差を 1/100 とすると、0.99
n = 3 のとき、1 との差を 1/1000 とすると、0.999
・・・
n = N のとき、1 との差を 1/10^N とすると、
小数点以下 N 桁まで 9 が並ぶ数 0.999・・・9
n が大きくなればなるほど、差は小さくなる。
どんなに大きな N を考えても、差はある。
どんなに小さな差に対しても、有限の桁で表される数がある。
差があるならば、有限の桁である。
0919>>969
2006/03/10(金) 21:10:42差があるならば、有限の桁である。
|1-x| > 0 ===> x = 0.999・・・9
このとき対偶を取ると、次のことが言える。
有限の桁でなければ、差はない。
x = 0.999・・・ ===> |1-x| = 0
差が無ければ同じ数であるから、
1 = 0.999・・・
0920132人目の素数さん
2006/03/10(金) 22:34:460921132人目の素数さん
2006/03/10(金) 22:42:263倍
方程式
無限級数
3進数
くらいで手詰まりな気がす
0922912
2006/03/10(金) 23:38:301/1で出せる。
(俺は循環部分に傍点を打つ表記を習った気がするが、以下では[]でくくることにする)
1/3=0.[3]、1/7=0.[142857]を認めるならば、1/1=0.[9]も認めなければならない。
0924132人目の素数さん
2006/03/11(土) 13:05:110925132人目の素数さん
2006/03/11(土) 13:12:410926132人目の素数さん
2006/03/11(土) 14:03:150927132人目の素数さん
2006/03/11(土) 14:13:00そして、低能な奴ほど人を低能呼ばわりする現象が多発してるのもこのスレです
0928132人目の素数さん
2006/03/11(土) 15:31:27小数表記について「テクニカル」って言ってるのに
分数の計算式だけ書いてどうするんだよ?
0930132人目の素数さん
2006/03/11(土) 16:24:02> >>565みたいな指導要領を超えるテクニカルな事をしない限り。
で、
> 1/3+1/3+1/3=1
> そんなにテクニカル?
で、これで0.999・・・が出てくるのか?
0931132人目の素数さん
2006/03/11(土) 16:27:03うおぉ。
それだと分かりやすく説明できるな。
1/1の縦書きで一桁目に0書いたら0.999・・・になるな
0932132人目の素数さん
2006/03/11(土) 16:47:45>で、これで0.999・・・が出てくるのか?
1/3=0.3333....
0933132人目の素数さん
2006/03/11(土) 16:49:08>> 1/3+1/3+1/3=1
>> そんなにテクニカル?
>
>で、これで0.999・・・が出てくるのか?
有理数と循環小数の定義からいうとそれでいいんじゃないの
0934132人目の素数さん
2006/03/11(土) 16:55:36分数だけ書いても小数の説明にはならないだろ
0935水チップ☆
2006/03/11(土) 17:17:171/3×3=(0.3+0.03+0.003+・・・)×3
1=0.9999999・・・
↑の式について、循環小数に自然数をかけても
成立するのだろうかという疑問がでてきます。
↑の式で成立すると思っている方は、
循環小数と自然数を一緒にしているのではないでしょうか?
みなさまの意見をお待ちしております。
0936132人目の素数さん
2006/03/11(土) 17:20:21だからあ…。
無限小数の各種の演算は、無限小数を「都合良く」定義する際に、同時に演算も
「都合良く」定義するだけの話だよ。
こんなの、数学では常套手段だろ?
0937132人目の素数さん
2006/03/11(土) 18:21:46もっと落ち着いて、正しい日本語または
正しい2ちゃんねる語で書き込みましょう。
数学の味方としては
本来は初等教育に携わる教師達を味方に付けないといけない。
0938132人目の素数さん
2006/03/11(土) 19:00:09より一般的で抽象的なモノを扱えるとかの目的で「都合良く」行われる。そこに、矛盾
がなければどのような定義も自由。(過去の定義とかと混乱するようだとチトまずい?)
0.9999…の問題でも、無限小数や無限小数の演算を「都合良く」定義し、そしてそこに
矛盾がなければ全てOK。
0939132人目の素数さん
2006/03/11(土) 19:05:402/3=0.6666666666..........
3/3=1
1/3+1/3=0.3333333333..........+0.3333333333..........=2/3
1/3+1/3+1/3=0.3333333333..........+0.3333333333..........+0.3333333333..........=1
2/3+1/3=0.6666666666..........+0.3333333333..........=1
0.9999999999..........=0.9999999999..........
0940132人目の素数さん
2006/03/11(土) 19:16:090.000・・・ = ■ ÷ 9
0.111・・・ = 1 ÷ 9
0.222・・・ = 2 ÷ 9
0.333・・・ = 3 ÷ 9
0.444・・・ = 4 ÷ 9
0.555・・・ = 5 ÷ 9
0.666・・・ = 6 ÷ 9
0.777・・・ = 7 ÷ 9
0.888・・・ = 8 ÷ 9
0.999・・・ = ■ ÷ 9
1.111・・・ = 10 ÷ 9
1.222・・・ = 11 ÷ 9
1.333・・・ = 12 ÷ 9
0941132人目の素数さん
2006/03/11(土) 23:08:500942132人目の素数さん
2006/03/11(土) 23:32:13別に数学は「1≠0.9999…」でも良いのさ。でも普通は「1=0.9999…」となるように
各種の定義を行う。なぜなら、その方が「都合がよい」からだ。どのように「都合が良い」
のか具体的に列挙するかい?
で、都合が良いからそのように定義するし、その後は>>936,938の話に繋がる。
0943132人目の素数さん
2006/03/11(土) 23:40:20馬鹿
>>912から始まった話。
理解してるのか低能。
0944132人目の素数さん
2006/03/11(土) 23:41:26じゃ
おまえがそれを説明してみろてすっとこどっこい
0945132人目の素数さん
2006/03/11(土) 23:51:19それで納得するんなら、それでもいいかもな。反対はしない。
0946132人目の素数さん
2006/03/11(土) 23:52:51その説明じゃダメ。都合の良し悪しの前に、0.999…≠1だと思っている人は0.999…=1が成り立つような定義に
納得しない。たとえば、普通は「0.a1a2a3…」という記号の定義はΣ[i=1〜∞]ai/10^iだから、この定義のもと
0.999…=1になるわけだけど、0.999…≠1だと思っている人は「左辺の0.999…は右辺の1とは違う数であって、
イコールでは結べない」と言って来る。こういう人は、「1」とか「33」のような記号を「数そのものだ」と
認識しちゃってるわけで、その認識を直してやらないうちに「これは定義だ」とか「都合がよいから」とか言っても
理解されない。
0947132人目の素数さん
2006/03/11(土) 23:58:43そういうヒトには、「じゃなんで君は 分数の 2/2=3/3 を納得したんだ?それとも
違う数だと主張するのか?」と聞くな。表記が違っても同じ数ってのは小学校からずっと
取り扱って来たはずだと認識させるだけ。
0948132人目の素数さん
2006/03/12(日) 00:12:59そこがちゃんと理解されるかが問題。「2/2とか3/3は1と同じだけど0.999…とは違う」なんて回答が返ってくる。
たとえば、「犬」という記号を見て、これを「犬そのものだ」と思う人はいない。「犬」は犬を意味する記号で
あって、「犬そのもの」ではない。でも数字になると話は変わる。数学に無縁な人のほとんどは、「1」とか「2」を
「数そのものだ」と思っているはず。「犬」の場合は、本物の犬(=実体)を誰でも見たことがあるから、記号と
その記号が表す実体を混同することは無いけど、数字の場合は、集合とその同値類を使って実数を構成していく
サマを見ない限りは、実体にお目にかかることが出来ない。そして、そうやって実体を知らない人にとっては、
1とかn/nとか0.999…という記号そのものが数であり、小学校時代の刷り込みによって、「n/n」という分数は
(表記は違うのだけど)1と同じ数であり、でも0.999…は1とは違う数だと思ってしまっている。
0949132人目の素数さん
2006/03/12(日) 00:27:20あと、0.999…≠1派を納得させるには、
「いかに0.999…=1という定義がキレイで都合が良い定義か」よりも
「いかに0.999…≠1という定義がギクシャクして使いモノにならない定義か」を
言った方が効果的だと思う。
0950132人目の素数さん
2006/03/12(日) 01:04:23>「2/2とか3/3は1と同じだけど0.999…とは違う」
こいつを主張するようなら、その根拠を聞いて対応するなあ。確かに手間はかかるが、いずれ
にせよ、この問題は一気に誰にも分かるような説明はできんのだしね。
>1とかn/nとか0.999…という記号そのものが数であり、小学校時代の刷り込みによって、
>「n/n」という分数は(表記は違うのだけど)1と同じ数であり、でも0.999…は1とは違う数だ
>と思ってしまっている。
その小学校の「刷り込み」とやらの「根拠」をしっかり聞いて対応するだけだなあ。「小学校で
習ったから」なんて答えは、ふつーしないだろ?だったら相手も考えるはずだ。
>>949
「1≠0.9999…」という定義が使い物にならないってコト?うーん。そんな具体例あったら、
教えて欲しいな。なかなか難しいと思うぞ。
0951132人目の素数さん
2006/03/12(日) 01:29:240952132人目の素数さん
2006/03/12(日) 01:34:25そうだよなw でも、「無限小数などあり得ない」とか「小数では近似値でしか計算できない」
なんて言い出す輩が無限増殖しそうだ。
0953132人目の素数さん
2006/03/12(日) 03:16:19知ろうとする人間と
考えようとする人間と
反発しようとする人間と
からかおうとする人間と
いろいろいるからね。
0954132人目の素数さん
2006/03/12(日) 04:13:55ならば、ダメじゃない説明など存在しないだろうな。
およそどんな上手い説明をしても、間違ったことを頑なに信じ込み続ける奴は存在するだろう。
0955GiantLeaves ◆6fN.Sojv5w
2006/03/12(日) 08:52:42そのようにする根拠はどこにあるのかという問題が残る。
0956GiantLeaves ◆6fN.Sojv5w
2006/03/12(日) 08:55:300.999…の意味を考え直さないといけないだろう。
0957GiantLeaves ◆6fN.Sojv5w
2006/03/12(日) 08:57:520.999…という表記の仕方は意外に厄介なものだ。
0958132人目の素数さん
2006/03/12(日) 09:58:27相手が自発的に考えてくれて「そうか!1とか2は、数を表す記号にすぎなくて、数そのものじゃ
ないんだ」という境地に達してくれればいいんだけどね。数の実体を見たことが無い人がこの境地に
辿り着くのは至難の技。彼らにとっては、「本物の犬」を指差されて「これは本物の犬でなく、犬を表す
記号にすぎない」と指摘されるようなものだから。そんなこと言われたら「嘘つけ。誰がどう見ても、これは
本物の犬だろうが」と考え、それ以上の思考ができない。
n/nと1と0.999…の関係についても同様。彼らにとっては、1や0.999…は2匹の本物の犬A,Bであり、n/nは本物の
犬Aの「あだ名」に過ぎない。n/nはAのあだ名であって、Bのあだ名ではない。実は「あだ名」と言った時点で、
少なくともn/nという記号は「数を表す記号にすぎない」と(無意識のうちに)認識してることになるのだが、n/nに
対してこの認識ができているのは、1とか2を「実体」として見ていて、実体⇔それを表す記号 という構図が頭の
中に出来ているから。我々の目標は「実は1や2も数を表す記号にすぎない」と認識の幅を広げてやることだが、
難しい。なぜなら、彼らにとっては1や2が実体であり、これらも「それは記号にすぎない」などと言われてしまうと、
彼らは実体を失う。実体⇔それを表す記号 という構図が崩れる。すると「嘘つけ。どう見てもこれ(1とか2とか)は
本物の犬だろうが」と考えてしまい、思考がストップする。あるいは、1や2が記号にすぎないことを認めた上で「じゃあ
数って何よ?」という新たな議論(もう実数を構成するしかないw)が始まってしまう。
0959132人目の素数さん
2006/03/12(日) 10:03:30一例)0.999…≠1とすると0.999…<1となるから、x=(1+0.999…)/2とおくと0.999…<x<1となる。
そこで、xを無限小数展開してやると、xもまた0.999…と表されてしまい、もはや0.999…という記号の
定める数は一意に定まらなくなる。相手が1+0.999…=1.999…という計算を認めている場合は(1.999…)÷2
を計算させてもよい。これへの反論としては「0.999…9(←止まる)」が挙げられるが、こういう、∞桁目を
仮定して表記することもまたギクシャクしていることが説明できる。
0960132人目の素数さん
2006/03/12(日) 10:34:21んー。2/2や3/3を提示して、それらと完全に一致する別の表記の数が存在することと、
0.9999…もその類の数ではないかってコトを臭わせると良いと思うんだけどね。
>>959
そういうヒトは、「そもそも無限小数が存在しない」とか「存在しても演算が終了しないから、
演算できない」なんて言い出すんだよ。「小数は近似値しか表せない」とかね。(経験済み)
だからこの点で、オレは「無限小数を採用するメリット」で攻めた方が良いと思っている。
0961132人目の素数さん
2006/03/12(日) 11:10:44うん。つまり「実は1や2も数を表す記号にすぎない」と認識の幅を広げてやることになるわけだけど、
彼らにとって「0.999…」は本物の犬であって、それを指差されて「これは本物の犬ではない」と言わ
れても釈然としない。まず、そんなことを認めてしまうと、彼らは実体を失ってしまう。たとえ認めて
くれたとしても、実体を失った彼らが真っ先に行うのは「失った実体の埋め合わせをする」こと。
すなわち「じゃあ数って何なのよ?」という疑問を投げかけてくる。こうなると実数の構成から説明
しなくちゃならない。
>そもそも無限小数が存在しない
そういう人はまた別の話になるなあ。このスレは「0.999…という数の存在は認めるけど1とは違う」と
いう人への説明を考えていると思ってたのだが。
>存在しても演算が終了しないから、演算できない
そういう人にはε−δ論法で0.999…の値を評価して1≦0.999…を示すとか。0.999…そのものには手を
加えないから、計算云々の反論は出来ない。まあ、今度は「無限小が〜」とか言ってくるんだろうけど。
でも、こういう類の人に「メリットがあるから採用する」とか言っても納得してもらえないと思うんだけど。
結局、気持ち悪がって無限小数を使いたがらないはず。メリットで攻めることの限界は、数学の歴史で見ても
分かる。負の数しかり、虚数iしかり。虚数の場合は、3次方程式の解の公式に絶対に出て来ちゃったり、計算に
用いるとかなり便利だったりして「メリット満載」なわけだが、でも みんな使いたがらなかった。ガウスが登場
して、虚数iの「実体」を明示して初めて、認められていった。
0962132人目の素数さん
2006/03/12(日) 11:18:430.9999…の実体がない=存在しないってヒトもいるって話です。「実体がない」状態でも別に困らないか
ら当然埋め合わせの必要性もないですね。
実数の構成も良いんだけど、それこそ素人には取って付けた説明な気がますますすると思うんだけどね。
実際、あれは実数=連続ってコトをデテキント切断とかコーシー列とかの手練手管を使って説明する手法
でしょ?しかも、それらの「前提」は疑っちゃいかん…と。 そもそもその必要性を感じないヒトには全く受け
入れられないんじゃないのかな?ε−δ論法もそれら前提がないと使えないんじゃないの?
ま、ガウスの話は総合的にメリットあるって認識されたってコトで。
0963132人目の素数さん
2006/03/12(日) 11:40:32そういう人は、そもそもこのスレ的に論外。このスレは「0.999…という数の存在は認めるけど、
でも1とは違う」という人が対象だと思うが。まあ、「0.999…は存在しない」という人についても
考えてもいいけど、そういう類の人は、今回の議論と一緒にしてはいけない。今回の話から切り離して、
別の議論をしなければならない。とりあえず今は、「0.999…という数の存在は認めている」人を
対象とした議論をしているんだよ。
>ま、ガウスの話は総合的にメリットあるって認識されたってコトで。
合ってるけど間違ってる。ガウスよりずっと前から、既に「メリットがある」と認識されている。
だが、気持ち悪がってみんな使いたがらなかった。これがメリットによる論法の限界。それに
対し、ガウスがやったのはメリットの論法ではない。更なるメリットを提示したわけでは無い。
ガウスがやったのは、みんなの抱く「気持ち悪さ」を排除したということ。つまり、虚数の
「実体」を明示したことにより、「ああ、このiという概念は使っても大丈夫なんだな」と
みんなに納得させた。メリットの論法では、無限小数を使うことによる「便利さ」について
話すことはできても、「無限小数という概念を使っても平気なのか?」という抵抗感は除けない。
「気持ち悪さ」の排除ができない。そして、0.999…≠1派が求めている根本的な部分はこっちのはず。
つまり、メリットの論法は根本的な解決にならない。
0964132人目の素数さん
2006/03/12(日) 11:49:58現実に存在するヒトを論外と言って切り捨てるのはいかがなものかw
だからこそ、メリットを論じようって話なんだけどね。
ガウスの時も、表面的にはそう見えるやもしれないけど、オレは数学者たちが
よってたかってなにやら哲学的論争して有効性と必要性を確認したんだと思うぞ。
で、昔はメリットで定義することへの躊躇があったんだけど、メリットあったら定義
として採用してよし!となった…で良いのでは?
0965132人目の素数さん
2006/03/12(日) 12:02:40いや、そういう人を対象にしてもいいけど、でも今回の議論とは切り離して別の議論が必要だ、
と言ってるんだけど。書き方が悪かったな。
[1]「0.999…という数の存在は認めるけど、でも1とは違う」という人を対象にした場合
[2]「0.999…なんて数は存在しない」という人を対象にした場合
この2種類の人々について、どう説明を果たせばよいのかを考えているわけだな。
[1]の人の場合:
メリット(=そう定義した方が都合が良い)の説明は後回し。なぜなら、この説明は「定義の
問題にすぎないんだぞ」という説明だから。この説明を納得するには、まず「1や2は数そのもの
ではなく、数を表す記号にすぎない」ということを理解しなければならない。従って、こっちを
説明するのが先。だが、これを突き詰めていくと「数って何よ?」という議論になってくる(そう
ならずに納得しちゃう人もいるだろうけど)。
[2]の人の場合:
やはりメリットの説明は後回し。存在そのものを否定する人間に、「存在を仮定するとホラ、こんなに
便利!」と言ったところで納得してもらえないから。「なるほど、存在を仮定すれば確かに便利かも。でもさ、
それは存在を仮定したときの話であって、実際はどうなの?存在するの?存在しなかったら意味ないじゃん」と
反論される。気持ち悪がられて、無限小数を使ってもらえない。ガウスのように、無限小数の「実体」を明示
する必要がある。つまり、実数を構成して見せなければならない。だが、素人にそんなの見せてもたぶん理解
されない。
0966132人目の素数さん
2006/03/12(日) 12:15:04[1]は2/2や3/3の例を「小学校で習ったから」ではなく、なぜ同じ数として扱えるかとことん
論議すればOKなんじゃないのか?いずれにせよ、時間はかかる。
[2]はオレはガウスのヤツも総合的メリットだと思っているからなあ。数学で「存在する」っての
をこれまた哲学的にとことん論議するしかないんじゃないのか?冷やかしなら途中で脱落す
るだろうしね。ガウスはガウス平面で存在を示したけど、「その数に対応したトコを視覚で捕ら
えられる=存在する」なのか?ってね。
0967132人目の素数さん
2006/03/12(日) 12:37:17>根本にそれが厳然として存在することは事実だけど。
うん、俺もメリットの塊だと思う。でも、そういうメリットの議論をするには「1や2は数を
表す記号にすぎない」という、数に関する「実体⇔それを表す記号」の枠組みをちゃんと
把握しておかなければならない。数学者同士ではそんなの既に把握してるからいいけど、
素人は「記号=実体」になっちゃってるから、メリットの話も通じなくなってくる。
>[1]は2/2や3/3の例を「小学校で習ったから」ではなく、なぜ同じ数として扱えるかとことん 論議すれば
OKなんじゃないのか?いずれにせよ、時間はかかる。
そうだな。それでいいと思う。
>「その数に対応したトコを視覚で捕らえられる=存在する」なのか?ってね。
その体系を実現するモデルが存在すれば(=無矛盾であれば)「存在する」と呼ぶんじゃないかな。
虚数が気持ち悪がられたのは、虚数を使った計算に矛盾が無いのか不明だったことと、あまりにも
「仮想的すぎる」感じがしたことじゃないかな。ガウス平面だと、まず、この平面は(みんなにとって)
ちっとも仮想的ではない。次に、ガウス平面上の2点間に演算を定義することで、点同士の演算が可能に
なる。ここまでは、何も矛盾が無い。そして、初めに「仮想的に」導入した虚数i=√(-1)を使った計算と、
このガウス平面上の2点間の計算が1対1に対応している。すると、「仮想的すぎる」と思っていた複素数の
計算は、ガウス平面上の2点間の計算をしていると思うことで何ら仮想的ではなくなるし、計算に矛盾も無い。
これを以って「存在する」と呼んでると思う。
0968132人目の素数さん
2006/03/12(日) 12:58:51矛盾なし=存在する…って今の数学の考え方も、色々やってきた上での後付けの考えなんじゃ
ないかなあ。自然にわき出てくるような考えじゃないよね。更に言うと、ガウス平面でさえ、仮想的
だと感じるヒトもいるかもね。
で、さらに0.9999…をあまりに仮想的すぎる…と思っているヒトも居るわけで…。
これを根本から説明するのは骨が折れそうw
0969132人目の素数さん
2006/03/12(日) 18:06:19とまでは言えないんじゃないかな。
複素数は確かにそうだったのかもしれないし、詳しく知らない。
けど例えば、√2とかπとかが受け容れられたのは紀元前だろうけど、
この頃に有理数から実数を構成するなんて思いもよらなかったはず。
関数概念もそう。
Eulerは「変数と定数とから組み立てられた解析的な式」を「関数」としていて、
この頃は初等関数程度しか「関数」では有り得なかった。
けどDirichletが「関数とは対応の事であり、
その対応の仕方は数学的算法で与えられる必要はない」として、
有理数で1、無理数で0を取るいわゆるDirichlet関数を挙げ、関数概念を革新した。
この新しい関数概念はその構成(直積の部分集合)を抜きにして受け容れられた。
そもそもこの頃(19世紀初頭辺り)はまだ集合概念が無かった。
構成とは限らないんなら、じゃあ上に上げたものは
どうして受け容れられたの?っていうと…何だろうね。
人がある概念を認めるという行為は極めて複雑だとしか俺には言えない。
0970132人目の素数さん
2006/03/12(日) 19:15:30√2もπも、既知のものから構成されている。紀元前における「既知のもの」に相当するのは’図形’だ。
√2は、一辺が1の正方形の斜辺との同一視によって「ああ、確かにそういう数(2乗すると2になる数)は
存在してるんだな」と存在を認め、πは円周と同一視することで存在を認めている。逆に、こうやって
図示されたことにより、そういう数を「認めざるを得なかった」とも言える。無理数なんて、気持ち悪くて
認めたくない人ばかりだったろうし。もし、図形に対応させるという方法を取らずに、イキナリ「√2は、
2乗して2になる数である」なんて言っていれば、「そんな数は存在しない」と誰もが否定したはず。虚数iの
ときはまさにそうだった。√2の場合は、既知のもの(正方形の斜辺)に対応させることで、そういう数が「存在
している」と誰もが認めることになった。虚数の場合も、ガウスの時代になって、ガウス平面という既知のもの
に対応させることで、「ああ、虚数は存在してるんだ」と認められていった。
でも関数は話が別だな。確かに、構成を抜きにして受け入れられている…
0971132人目の素数さん
2006/03/12(日) 19:51:30この場合はこう対処して、…という、各場合における対処を箇条書きにしたようなもの。サッカーの
「ルール」とか、野球の「ルール」とか。’対応’として捉えた新しい関数概念は、「サッカーのルール
みたいなもんか」と思われたのかもしれない。それなら馴染みがあるし。
まあ、よく分からん。
0972132人目の素数さん
2006/03/12(日) 21:17:57複素数は図形から存在を認識された派かあ…。オレはメリット派だから、3次方程式の解
を求めるときに、必ず複素数を通過しなければならない場合がある…ってのが分かった
ってコトを推すな。
0973132人目の素数さん
2006/03/12(日) 21:24:17ヨーロッパ人は、俺らよりずっとずっと「存在」という言葉に拘るし、
特に虚数が出てきた頃は哲学と科学は未分化だったわけだから、そう
簡単に「図形と対応するから存在」とか「方程式解くと出てくるから存在」
とかいうプロセスで理解されていったわけではないと思うぞ。
0974132人目の素数さん
2006/03/12(日) 21:27:41なるほど。で、具体的にはどうだったの?
0975132人目の素数さん
2006/03/12(日) 21:29:53推すのは構わないけど、こういう「存在」に関する議論でメリットを使っても効果は無いはずだが。
それは歴史が証明してる。3次方程式の解の公式に複素数が出てくるのは随分昔から知られていたけど、
でも皆納得しなかった。ガウスが、ガウス平面上の2点間の演算と複素数を同一視する考え方を示して
初めて、複素数は市民権を得ている。
だいたい、複素数に対して釈然としない人は>>965の[2]と同類の人であって、そういう人に「複素数の
存在を仮定するとホラ、こんなに便利!」と言っても、「なるほど、存在を仮定すれば確かに便利かも。
でもさ、 それは存在を仮定したときの話であって、実際はどうなの?存在するの?存在しなかったら
意味ないじゃん」と反論されるだけ。気持ち悪がられて、複素数を使ってもらえない。複素数の歴史は
まさにコレだった。しかし、ガウスが実体を示すことで初めて皆納得した。メリットの議論は、まず対象が
存在することを確認した上で初めて説得力を持つ。対象の存在を示さずに、「存在すると仮定すると〜」と
いう仮定のもとでメリットを示しても、誰も納得しない。
0976132人目の素数さん
2006/03/12(日) 21:35:38諸派があって、それぞれいろいろ数の本質を考えて(もちろん今と違って
形式的な定義は無い)あれこれ神学論議してたぽ。
例えばユークリッド的立場にたてば、実数ってのは線分の長さなわけで
そういう立場からだと虚数とか認められないとかね(つまり虚数に関する
命題はユークリッド幾何学に還元できない)そういう人らにとってガウス
平面は幾何学的に捉えられるから理解の助けになっただろうね。
0977132人目の素数さん
2006/03/12(日) 21:40:330978132人目の素数さん
2006/03/12(日) 22:12:26数の数字の区別が付いてないんだと思う。
小数とは数の表記方法の一つであるという事が分かってない。
もしそれが分かってるのであれば、
表記方法に正誤は無くて採用不採用の問題なのだと認識できるはず。
[2]の人は実は存在が問題なのではないんじゃないかな。
この「数と数字の区別が付かない」ってのはむしろ当然で、
「実数とは(有限または無限)小数の全体」という数も数字も一緒くたの教え方をしてるから。
これでは数と数字の区別を付けてしまうと、
小数は実数の表記方法であり、実数は小数の事となって、
循環論法で何も分かった事にならなくなってしまう。
そうすると当然「じゃあ表記方法の後ろにある実数の実体って何?」
って事になるだろうけど、その説明(実数の構成)は大掛かりになるし、
「何故そう定義するのか」って所を説明するのも大変。
どうしたもんかね。
0979132人目の素数さん
2006/03/12(日) 22:17:51それほど注意を払ってるわけじゃないからな。
普段も具体的な数よりもむしろ代数記号ばっかり扱ってるし。
0980132人目の素数さん
2006/03/12(日) 22:31:46問題なのは、そういう 記号⇔実体 の関係を「知っているか否か」ということ。
0981132人目の素数さん
2006/03/12(日) 22:37:38を作って、次のスレの先頭2つめにでも貼って欲しいと思う。
とりあえず>>388はテンプレートとしてOKかな?他にないだろうか。
0982132人目の素数さん
2006/03/12(日) 22:38:40(実際9を無限個書く事などできない)記号を勝手に想像してしまうあたりに
問題があると思うんだが。
0983132人目の素数さん
2006/03/12(日) 22:43:35>メリットの議論は、まず対象が存在することを確認した上で初めて説得力を持つ。
うーん。その「存在する」ってのが何かってはっきりしないと…。幾何学的実体で皆ホントに
納得しえたんかいな。平面に持っていっても、とってつけたような感じがするぞ。やはり、計算
上で避けることができないってのが重要だったと思うけどねえ。
>>976
なるほどねえ。でも、それだけなら…当然2つの実数で良いのでは?計算上の必要性との
タッグマッチがないと…。
0984132人目の素数さん
2006/03/12(日) 22:45:42写像F:N^N→Rを1つ作ってan=9 (n∈N)という数列{an}∈N^NのFによる像F({an})を
考えると、F({an})は「無限個の9を含む記号」と同一視できるので存在する。
0985132人目の素数さん
2006/03/12(日) 22:48:15ほら、[2]の場合のヒトが来たぞ。
>>978
だから、そう定義するとメリットあるから…って説明で良いでしょうに。
1=0.9999…になるように、定義することによるメリットは沢山ある。
まあ、それを言う前に、数学は無矛盾なら勝手に定義を行っても良い。だからこそ、
どう定義するかってのはよりメリットがある方向で行うべきだ…って認識を持って貰う
必要は確かにあるとは思うけどね。
0986132人目の素数さん
2006/03/12(日) 23:01:02これは
>「何故そう定義するのか」って所を説明するのも大変。
へのレスだよね。
「完備性」がどれほどメリットのある性質なのか、
解析学においてどのくらい重要なのかを、
数と数字の区別が付いてるか付いてないか位の人に説明するのは大変じゃない?
という事を言いたかったんだけど。
>>>982
>ほら、[2]の場合のヒトが来たぞ。
待ってまだどう説明するのがいいのかまるで固まってない。
0987132人目の素数さん
2006/03/12(日) 23:01:51いや>>982は「1≠0.999…と主張してる人たちが」存在しない記号を考えて
混乱しているのではないか、という意味だ。
0988132人目の素数さん
2006/03/12(日) 23:09:02完備性とか別に言わなくても、「1=0.9999…」に絞って直観的にそう定義することの優位性
をやっても良いと思うけどな。
0989132人目の素数さん
2006/03/12(日) 23:10:13とりあえず、このスレは消滅させたら、また誰かが作るに違いないから、回答テンプレを
作るに限る。
0990132人目の素数さん
2006/03/12(日) 23:12:05http://science4.2ch.net/test/read.cgi/math/1142168647/
0991132人目の素数さん
2006/03/12(日) 23:12:23最後の不完全性定理のところが、曖昧だと思う。
0992132人目の素数さん
2006/03/12(日) 23:13:43>メリットがある方向で行うべきだ…って認識を持って貰う 必要は確かにあるとは思うけどね。
そうだな。複素数の場合は「こんな計算、やっても平気なのか?」という疑念があったから、
幾らメリットを示されても避けられていた。でも、ガウスがその実体を示して(=複素数は無矛盾である
ことを示して)皆に認められていったわけだな。
0993132人目の素数さん
2006/03/12(日) 23:15:02もう10レス分もないし、いいんじゃない?スレ立てよろしく。
0994132人目の素数さん
2006/03/12(日) 23:15:33http://science4.2ch.net/test/read.cgi/math/1142168647/
スレもう立ってるよ。
0995132人目の素数さん
2006/03/12(日) 23:16:44そう思うなら修正してくれ。
>>992
そうかあw 単にそれは時代の要請だろ。幾何学が絶対視されていた時代のね。
だから幾何学主導で「実在」が当時のヒトに実感させることができた。
今はそんな時代じゃないだろ。
0996132人目の素数さん
2006/03/12(日) 23:18:26しらがって、「1=0.9999…」が結論となる論理も「1≠0.9999…」が結論になる論理も
矛盾がない限り、その正しさはその論理内で証明できない。
1≠0.9999…は1と0.9999…の間に隙間が有っても良い倫理か。
意味が分からん。
0997132人目の素数さん
2006/03/12(日) 23:20:33明らかに別のスレだろ
0998132人目の素数さん
2006/03/12(日) 23:22:59マジで?
0999132人目の素数さん
2006/03/12(日) 23:24:58隙間があっても良いと認めるか、超準解析みたいな超実数みたいなのを容認するか…
だろうね。
1000132人目の素数さん
2006/03/12(日) 23:25:51http://science4.2ch.net/test/read.cgi/math/1142168647/
10011001
Over 1000Threadもう書けないので、新しいスレッドを立ててくださいです。。。
レス数が1000を超えています。これ以上書き込みはできません。