[過去ﾛｸﾞ] 1=0.999… その10.999… (1001ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
1(5): 2006/01/02(月) 01:30:55 AAS
1≠0.999…であることを認めたくない人たちのスレです。
前スレ:1=0.999… その9.999…
2chｽﾚ:math
875: ChildLeaves ◆6FNJsOwhDg 2006/03/04(土) 09:27:54 AAS
>>873
こんな回答もあるかもね。
割り切れる数字なんだけど。
まだ計算しきれてない。
これなら割り切れないことを示してあげればいいだけ。
19世紀ぐらいだっけ？
割り切れないてことわかったの？
876: 2006/03/04(土) 09:45:47 AAS
それが次のスレに発展…
外部ﾘﾝｸ:c-au.2ch.net
877: 2006/03/04(土) 15:05:57 AAS
>>864
そういうときは、「0.999…9(←止まる)」という数についての考察は一旦やめさせて、かわりに「0.999…0(←止まる)」
という数について考察させる。この数なら、1になることを認めざるを得ない。なぜなら、相手が前者のような変な数に
こだわる理由は「1－0.999…9＝0.000…1≠0」という計算をやってるから。しかし後者の数の場合は「1－0.999…0＝
0.000…0＝0」となって完璧に1になる。
878: 2006/03/04(土) 15:06:29 AAS
ミスった。>>864じゃなくて>>874。
879: 2006/03/04(土) 15:22:24 AAS
マテよ、今度は「1－0.999…0は計算できない」とか言われそうだな('A`)
「直前の数は無い」という考え方の理不尽さを指摘した方がいいかも。
直前の数が無いのであれば、「0.000…1＋0.000…9」はどうやって計算するのか？
とか。
880: 2006/03/04(土) 15:39:53 AAS
今、新しい数学の誕生が始まっているなんて、本当に奇跡ですね…
881: 2006/03/04(土) 15:43:26 AAS
どっちにしろそれじゃ「納得」はしてもらえなそうだ。
2chｽﾚ:math
の周囲20レスくらいを読んどけ。
ただそうやってからかえば心地良い電波を体感できそうだし、
電波を育てるのには使えそうだ。
882: 2006/03/07(火) 18:03:20 AAS
1.23...
883: 2006/03/07(火) 18:16:36 AAS
1=0.99999…の簡単な説明を作るスレ
2chｽﾚ:math
が1000行ったね
884: 2006/03/07(火) 18:54:55 AAS
結局、簡単な説明は出来なかったってことか。
885: 2006/03/07(火) 19:12:04 AAS
3*0.333…みたいな納得する人しない人がいる簡単な説明ならあるけど、
いろんな人に対応できる簡単な説明なんて存在しねーべ。
1=0.99999…はそんぐらい深い話ってこった。
886: 2006/03/07(火) 20:00:36 AAS
なんで納得できない人がいるんだろう。
初項0.9公比0.1の無限等比級数の和だから
0.999…=1であることは理屈の上では明らかだし、
0.9999999999999<1だが、
9が無限にどこまでもとどまることなく続くと
=1になるということが、感覚的にピンと来ないか？
9がどこかで止まったら
<1だけど、どこまでも止まらずに続くんだから。
887(1): >>969 2006/03/07(火) 20:44:47 AA×
2chｽﾚ:math
888: >>969 2006/03/07(火) 20:46:25 AAS
1=0.99999…の簡単な説明を作るスレ
2chｽﾚ:math
973 １３２人目の素数さん 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 １３２人目の素数さん 2006/03/06(月) 22:22:24
>>974
前者は動的、後者は静的。
前者は動作であって、後者は確定した状態。
889: >>969 2006/03/07(火) 20:47:31 AAS
1=0.99999…の簡単な説明を作るスレ
2chｽﾚ:math
982 >>969 sage 2006/03/06(月) 23:28:15
>>973
>xを1に限りなく近づける≠1に限りなく近いxってことね
すこし考えてみたのですが、1 に限りなく近い x は存在するのでしょうか？
――――――――――――――――――――――――――――――――――――――
１） x を 1 に限りなく近づければ、いつかは 1 に限りなく近い x に辿り着くような気がする。
２） x と 1 の間に、まだ数字が挟まっているような気がする。
３） 1 に限りなく近い x は存在するの？ <--- 今ここ
890: >>969 2006/03/07(火) 20:48:13 AAS
1=0.99999…の簡単な説明を作るスレ
2chｽﾚ:math
984 １３２人目の素数さん sage 2006/03/06(月) 23:43:11
>>982
もしそんなxがあったとしたら、xよりも1に近い数はない事になる。
けどxと1の等分点(x+1)/2を考えると、これはxよりも1に近いから矛盾。
よってそんなxはない。
891(1): >>969 2006/03/07(火) 20:56:14 AAS
>>984
>xと1の等分点(x+1)/2を考えると、これはxよりも1に近い
それなら、x を 1 に限りなく近づけるとは、 x と 1 の間に等分点が存在する状態
と言っても良いのでしょうか？
一方で、1 に限りなく近い x とは、 x と 1 の間に等分点が存在しない状態
と言っても良いのでしょうか？
892: 2006/03/07(火) 21:23:01 AA×
893: 2006/03/07(火) 21:40:53 AAS
>>887
>y=1/xが与えられているとき、
>x=0 のとき、不能
>x→0のとき、y→∞
これ間違い。
x→0のときは発散。
x→+0のときは、y→∞
x→-0のときは、y→-∞
894(1): >>969 2006/03/08(水) 00:29:04 AAS
>>973
>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 ということでしょうか？
895: 2006/03/08(水) 00:38:17 AAS
>>894
絶対値記号 | a | の定義（aの正負で場合分け）を思い出せ。
| 1 - x | = 0 ⇔ 1 - x = 0 ⇔ x = 1
896: 2006/03/08(水) 17:58:32 AAS
>>891
x→0のとき
x/2 を考えると ｘ より 0 に近いけどそれはOKなの？
897: >>969 2006/03/08(水) 21:01:06 AAS
1 に限りなく近い数 0.999･･･ を x とおく。
x = 0.999･･･ (1)
1 に限りなく近い数 x とは、1 との間に等分点を持たない数、
すなわち、1 との距離がゼロである数である。
｜1-x｜= 0 (2)
(1)、(2)により、
1 = 0.999･･･
が成り立つ。
898: 2006/03/09(木) 19:55:42 AAS
「1 に限りなく近い数 0.999･･･ を」って前提で、話の99.9999999％位は終わってるな。
899: ChildLeaves ◆6FNJsOwhDg 2006/03/09(木) 20:46:24 AAS
1 に限りなく近い数 0.999･･･ を x とおく。
あそっかx=1だ！
900(2): 水チップ☆ 2006/03/09(木) 21:36:15 AAS
１２進法で１＝０、９９９９９・・を証明してみる。
１／３＝１、２／３＝０、４
１２進法に変えれば割りきれる。
901(2): >>969 2006/03/09(木) 21:59:11 AAS
ダメ出しされたので、もう少し考えてみました。
――――――――――――――――――――――――――――――――――――――
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 が得られる。 <--- 今ここ
902: 2006/03/09(木) 22:07:44 AAS
> n = ∞とき、 1 との差を 1/10^∞ とすると、小数点以下限りなく 9 が並ぶ。
∞って記号をそんなに軽々しく使うんじゃない
903(1): 2006/03/09(木) 22:12:56 AAS
>>900
>１２進法に変えれば割りきれる。
じゃ。
12進法で12進法のときの0.99999999....=1を証明しておくれ
904(1): 2006/03/09(木) 22:18:15 AAS
>>903
900じゃないが、12進法だったら0.99999...≠1なので証明不可能だろ
905: 2006/03/09(木) 22:19:58 AAS
10進法の10と11を、12進法でAとBと表すとき、
1=0.BBBB・・・
を示せ、だな。
906: 2006/03/09(木) 22:20:31 AAS
>>901
なんかそれって全部、記号＝絵の話じゃね？
「小数点以下限りなく 9 が並ぶ」ってのは「すげー長い紙の上に、
9という文字がずらずら無限に続いている絵（記号）」についての話だろう？
数の話じゃないじゃん。
907: 2006/03/09(木) 22:21:39 AAS
>>904
>900じゃないが、12進法だったら0.99999...≠1なので証明不可能だろ
あそっか
0.AAAAAAAAAAAA.....=1
をだね。。
908: 2006/03/09(木) 22:23:09 AAS
0.BBBBBBBBBB..だった。。。
909: 2006/03/09(木) 22:23:12 AAS
１２進法で無理やり書いてみました
0.⑪⑪⑪⑪⑪⑪⑪⑪...
910(2): 2006/03/09(木) 23:56:24 AAS
>>901
あなたはまずε－δ論法の勉強から始めて、実数の構成法をイチから(自然数の構成から)
理解する必要がある。あと論理学とかも。これをせずに、0.999…なんかをこれ以上「自分で」
考えても時間の無駄。
911: 2006/03/10(金) 00:07:18 AAS
>>910
なんだろ。
空気よめ
912(3): 2006/03/10(金) 00:18:49 AAS
実数なんか持ち出す必要無い。
有理数を小数表記する時に循環小数を導入する。小学校でやったはず。
これを認めるなら、1=0.999…は必然。
913(1): 2006/03/10(金) 00:23:26 AAS
>>912
あんた正しいし>>910ほど馬鹿じゃない。
でもこんな糞スレに出てきた時点で
みんな糞。
914: BW of Tama King 2006/03/10(金) 05:55:23 AAS
>>913 悪口にほかの人間は出来るだけ巻き込まない方向で行こうじゃないか。
915(3): 2006/03/10(金) 09:47:39 AAS
＞有理数を小数表記する時に循環小数を導入する。小学校でやったはず。
だから「分数から縦書きの割り算で作った循環小数」については問題なし。
けど0.999…はどんな分数を縦書き割り算しても出てこない。
>>565みたいな指導要領を超えるテクニカルな事をしない限り。
だからそのままでは小中学生にとって0.999…は正体不明。
916(3): 2006/03/10(金) 14:27:57 AAS
>>915
え？
1/3+1/3+1/3=1
そんなにテクニカル？
917(1): 2006/03/10(金) 20:43:47 AAS
>>916
おまえはその式で何が言いたいんだ？
918: >>969 2006/03/10(金) 21:09:42 AAS
さらにダメ出しされたので、考え方を変えてみました。
――――――――――――――――――――――――――――――――――――――
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 を考えても、差はある。
どんなに小さな差に対しても、有限の桁で表される数がある。
差があるならば、有限の桁である。
919: >>969 2006/03/10(金) 21:10:42 AAS
どんなに小さな差に対しても、有限の桁で表される数がある。
差があるならば、有限の桁である。
|1-x| > 0 ===> x = 0.999･･･9
このとき対偶を取ると、次のことが言える。
有限の桁でなければ、差はない。
x = 0.999･･･ ===> |1-x| = 0
差が無ければ同じ数であるから、
1 = 0.999･･･
920: 2006/03/10(金) 22:34:46 AAS
電波の素質を感知しましたAA略
921: 2006/03/10(金) 22:42:26 AAS
長年このスレを見た限りでは、説明方法として
3倍
方程式
無限級数
3進数
くらいで手詰まりな気がす
922: 912 2006/03/10(金) 23:38:30 AAS
>>915
1/1で出せる。
（俺は循環部分に傍点を打つ表記を習った気がするが、以下では[]でくくることにする）
1/3=0.[3]、1/7=0.[142857]を認めるならば、1/1=0.[9]も認めなければならない。
923(1): 2006/03/11(土) 05:09:42 AAS
>>917
>>915-916読んでわからなかったら低能
924: 2006/03/11(土) 13:05:11 AAS
1=0.88888888888888888888...........
925: 2006/03/11(土) 13:12:41 AAS
1/1=1
926(1): 2006/03/11(土) 14:03:15 AAS
1/1の縦書き割り算で1桁目に0を書くド低脳のいるスレはここですか
927: 2006/03/11(土) 14:13:00 AAS
ここです。
そして、低能な奴ほど人を低能呼ばわりする現象が多発してるのもこのスレです
928(1): 2006/03/11(土) 15:31:27 AAS
>>923
小数表記について「テクニカル」って言ってるのに
分数の計算式だけ書いてどうするんだよ？
929: 2006/03/11(土) 16:10:38 AAS
>>928
馬鹿？
>>916
>そんなにテクニカル？
930(2): 2006/03/11(土) 16:24:02 AAS
> 0.999…はどんな分数を縦書き割り算しても出てこない。
> >>565みたいな指導要領を超えるテクニカルな事をしない限り。
で、
> 1/3+1/3+1/3=1
> そんなにテクニカル？
で、これで0.999・・・が出てくるのか？
931: 2006/03/11(土) 16:27:03 AAS
>>926
うおぉ。
それだと分かりやすく説明できるな。
1/1の縦書きで一桁目に０書いたら０．９９９・・・になるな
932: 2006/03/11(土) 16:47:45 AAS
>>930
>で、これで0.999・・・が出てくるのか？
1/3=0.3333....
933: 2006/03/11(土) 16:49:08 AAS
>>930
>> 1/3+1/3+1/3=1
>> そんなにテクニカル？
>
>で、これで0.999・・・が出てくるのか？
有理数と循環小数の定義からいうとそれでいいんじゃないの
934: 2006/03/11(土) 16:55:36 AAS
「分数を縦書き割り算して」ってレベルの話してるんだから、
分数だけ書いても小数の説明にはならないだろ
935(1): 水チップ☆ 2006/03/11(土) 17:17:17 AAS
1/3×3=(0.3+0.03+0.003+・・・)×3
1=0.9999999・・・
↑の式について、循環小数に自然数をかけても
成立するのだろうかという疑問がでてきます。
↑の式で成立すると思っている方は、
循環小数と自然数を一緒にしているのではないでしょうか？
みなさまの意見をお待ちしております。
936(2): 2006/03/11(土) 17:20:21 AAS
>>935
だからあ…。
無限小数の各種の演算は、無限小数を「都合良く」定義する際に、同時に演算も
「都合良く」定義するだけの話だよ。
こんなの、数学では常套手段だろ？
937: 2006/03/11(土) 18:21:46 AAS
>>639
もっと落ち着いて、正しい日本語または
正しい２ちゃんねる語で書き込みましょう。
数学の味方としては
本来は初等教育に携わる教師達を味方に付けないといけない。
938(2): 2006/03/11(土) 19:00:09 AAS
数学の定義は、現実をよくシミュレートできるとか、他の現象を説明・解析できるとか、
より一般的で抽象的なモノを扱えるとかの目的で「都合良く」行われる。そこに、矛盾
がなければどのような定義も自由。（過去の定義とかと混乱するようだとチトまずい？）
０．９９９９…の問題でも、無限小数や無限小数の演算を「都合良く」定義し、そしてそこに
矛盾がなければ全てＯＫ。
939: 2006/03/11(土) 19:05:40 AAS
1/3=0.3333333333..........
2/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..........
940: 2006/03/11(土) 19:16:09 AAS
0.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
941(2): 2006/03/11(土) 23:08:50 AAS
とりあえず>>936と>>938は「0.999…≠1じゃないの？」と言う人が何を疑問に思っているのか理解していない。
942(2): 2006/03/11(土) 23:32:13 AAS
>>941
別に数学は「１≠０．９９９９…」でも良いのさ。でも普通は「１＝０．９９９９…」となるように
各種の定義を行う。なぜなら、その方が「都合がよい」からだ。どのように「都合が良い」
のか具体的に列挙するかい？
で、都合が良いからそのように定義するし、その後は>>936,938の話に繋がる。
943(1): 2006/03/11(土) 23:40:20 AAS
>>942
馬鹿
>>912から始まった話。
理解してるのか低能。
944: 2006/03/11(土) 23:41:26 AAS
>>941
じゃ
おまえがそれを説明してみろてすっとこどっこい
945: 2006/03/11(土) 23:51:19 AAS
>>943
それで納得するんなら、それでもいいかもな。反対はしない。
946(2): 2006/03/11(土) 23:52:51 AAS
>>942
その説明じゃダメ。都合の良し悪しの前に、0.999…≠1だと思っている人は0.999…＝1が成り立つような定義に
納得しない。たとえば、普通は「0.a1a2a3…」という記号の定義はΣ[i＝1～∞]ai/10^iだから、この定義のもと
0.999…＝1になるわけだけど、0.999…≠1だと思っている人は「左辺の0.999…は右辺の1とは違う数であって、
イコールでは結べない」と言って来る。こういう人は、「1」とか「33」のような記号を「数そのものだ」と
認識しちゃってるわけで、その認識を直してやらないうちに「これは定義だ」とか「都合がよいから」とか言っても
理解されない。
947(2): 2006/03/11(土) 23:58:43 AAS
>>946
そういうヒトには、「じゃなんで君は 分数の ２／２＝３／３ を納得したんだ？それとも
違う数だと主張するのか？」と聞くな。表記が違っても同じ数ってのは小学校からずっと
取り扱って来たはずだと認識させるだけ。
948(1): 2006/03/12(日) 00:12:59 AAS
>>947
そこがちゃんと理解されるかが問題。「2/2とか3/3は1と同じだけど0.999…とは違う」なんて回答が返ってくる。
たとえば、「犬」という記号を見て、これを「犬そのものだ」と思う人はいない。「犬」は犬を意味する記号で
あって、「犬そのもの」ではない。でも数字になると話は変わる。数学に無縁な人のほとんどは、「1」とか「2」を
「数そのものだ」と思っているはず。「犬」の場合は、本物の犬(＝実体)を誰でも見たことがあるから、記号と
その記号が表す実体を混同することは無いけど、数字の場合は、集合とその同値類を使って実数を構成していく
サマを見ない限りは、実体にお目にかかることが出来ない。そして、そうやって実体を知らない人にとっては、
1とかn/nとか0.999…という記号そのものが数であり、小学校時代の刷り込みによって、「n/n」という分数は
(表記は違うのだけど)1と同じ数であり、でも0.999…は1とは違う数だと思ってしまっている。
949(1): 2006/03/12(日) 00:27:20 AAS
>>947
あと、0.999…≠1派を納得させるには、
「いかに0.999…＝1という定義がキレイで都合が良い定義か」よりも
「いかに0.999…≠1という定義がギクシャクして使いモノにならない定義か」を
言った方が効果的だと思う。
950(2): 2006/03/12(日) 01:04:23 AAS
>>948
＞「2/2とか3/3は1と同じだけど0.999…とは違う」
こいつを主張するようなら、その根拠を聞いて対応するなあ。確かに手間はかかるが、いずれ
にせよ、この問題は一気に誰にも分かるような説明はできんのだしね。
>1とかn/nとか0.999…という記号そのものが数であり、小学校時代の刷り込みによって、
>「n/n」という分数は(表記は違うのだけど)1と同じ数であり、でも0.999…は1とは違う数だ
>と思ってしまっている。
その小学校の「刷り込み」とやらの「根拠」をしっかり聞いて対応するだけだなあ。「小学校で
習ったから」なんて答えは、ふつーしないだろ？だったら相手も考えるはずだ。
>>949
「１≠０．９９９９…」という定義が使い物にならないってコト？うーん。そんな具体例あったら、
教えて欲しいな。なかなか難しいと思うぞ。
951(1): 2006/03/12(日) 01:29:24 AAS
それこそ、(1/3)×3の計算結果が２通りあって困るだろ
952(1): 2006/03/12(日) 01:34:25 AAS
>>951
そうだよなｗ でも、「無限小数などあり得ない」とか「小数では近似値でしか計算できない」
なんて言い出す輩が無限増殖しそうだ。
953(3): 2006/03/12(日) 03:16:19 AAS
>>952
知ろうとする人間と
考えようとする人間と
反発しようとする人間と
からかおうとする人間と
いろいろいるからね。
954: 2006/03/12(日) 04:13:55 AAS
>>946
ならば、ダメじゃない説明など存在しないだろうな。
およそどんな上手い説明をしても、間違ったことを頑なに信じ込み続ける奴は存在するだろう。
955: GiantLeaves ◆6fN.Sojv5w 2006/03/12(日) 08:52:42 AAS
0.999… をlim_{n→∞}(∑_{k=1}^{n}(9/10^k))と言うと、
そのようにする根拠はどこにあるのかという問題が残る。
956: GiantLeaves ◆6fN.Sojv5w 2006/03/12(日) 08:55:30 AAS
別に、0.9, 0.998, 0.997, 0.9996, … という数列の極限にしてもいいのだ。
0.999…の意味を考え直さないといけないだろう。
957: GiantLeaves ◆6fN.Sojv5w 2006/03/12(日) 08:57:52 AAS
数列をちょっと変化させても、極限はlim_{n→∞}(∑_{k=1}^{n}(9/10^k))となるわけだが。
0.999…という表記の仕方は意外に厄介なものだ。
958(2): 2006/03/12(日) 09:58:27 AAS
>>950
相手が自発的に考えてくれて「そうか！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が記号にすぎないことを認めた上で「じゃあ
数って何よ？」という新たな議論(もう実数を構成するしかないｗ)が始まってしまう。
959(1): 2006/03/12(日) 10:03:30 AAS
>>950
一例)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(←止まる)」が挙げられるが、こういう、∞桁目を
仮定して表記することもまたギクシャクしていることが説明できる。
960: 2006/03/12(日) 10:34:21 AAS
>>958
んー。２／２や３／３を提示して、それらと完全に一致する別の表記の数が存在することと、
０．９９９９…もその類の数ではないかってコトを臭わせると良いと思うんだけどね。
>>959
そういうヒトは、「そもそも無限小数が存在しない」とか「存在しても演算が終了しないから、
演算できない」なんて言い出すんだよ。「小数は近似値しか表せない」とかね。（経験済み）
だからこの点で、オレは「無限小数を採用するメリット」で攻めた方が良いと思っている。
961(1): 2006/03/12(日) 11:10:44 AAS
＞０．９９９９…もその類の数ではないかってコトを臭わせる
うん。つまり「実は1や2も数を表す記号にすぎない」と認識の幅を広げてやることになるわけだけど、
彼らにとって「0.999…」は本物の犬であって、それを指差されて「これは本物の犬ではない」と言わ
れても釈然としない。まず、そんなことを認めてしまうと、彼らは実体を失ってしまう。たとえ認めて
くれたとしても、実体を失った彼らが真っ先に行うのは「失った実体の埋め合わせをする」こと。
すなわち「じゃあ数って何なのよ？」という疑問を投げかけてくる。こうなると実数の構成から説明
しなくちゃならない。
＞そもそも無限小数が存在しない
そういう人はまた別の話になるなあ。このスレは「0.999…という数の存在は認めるけど1とは違う」と
いう人への説明を考えていると思ってたのだが。
＞存在しても演算が終了しないから、演算できない
そういう人にはε－δ論法で0.999…の値を評価して1≦0.999…を示すとか。0.999…そのものには手を
加えないから、計算云々の反論は出来ない。まあ、今度は「無限小が～」とか言ってくるんだろうけど。
でも、こういう類の人に「メリットがあるから採用する」とか言っても納得してもらえないと思うんだけど。
結局、気持ち悪がって無限小数を使いたがらないはず。メリットで攻めることの限界は、数学の歴史で見ても
分かる。負の数しかり、虚数iしかり。虚数の場合は、3次方程式の解の公式に絶対に出て来ちゃったり、計算に
用いるとかなり便利だったりして「メリット満載」なわけだが、でも みんな使いたがらなかった。ガウスが登場
して、虚数iの「実体」を明示して初めて、認められていった。
962: 2006/03/12(日) 11:18:43 AAS
>>961
０．９９９９…の実体がない＝存在しないってヒトもいるって話です。「実体がない」状態でも別に困らないか
ら当然埋め合わせの必要性もないですね。
実数の構成も良いんだけど、それこそ素人には取って付けた説明な気がますますすると思うんだけどね。
実際、あれは実数＝連続ってコトをデテキント切断とかコーシー列とかの手練手管を使って説明する手法
でしょ？しかも、それらの「前提」は疑っちゃいかん…と。 そもそもその必要性を感じないヒトには全く受け
入れられないんじゃないのかな？ε－δ論法もそれら前提がないと使えないんじゃないの？
ま、ガウスの話は総合的にメリットあるって認識されたってコトで。
963(1): 2006/03/12(日) 11:40:32 AAS
＞０．９９９９…の実体がない＝存在しないってヒトもいるって話です。
そういう人は、そもそもこのスレ的に論外。このスレは「0.999…という数の存在は認めるけど、
でも1とは違う」という人が対象だと思うが。まあ、「0.999…は存在しない」という人についても
考えてもいいけど、そういう類の人は、今回の議論と一緒にしてはいけない。今回の話から切り離して、
別の議論をしなければならない。とりあえず今は、「0.999…という数の存在は認めている」人を
対象とした議論をしているんだよ。
＞ま、ガウスの話は総合的にメリットあるって認識されたってコトで。
合ってるけど間違ってる。ガウスよりずっと前から、既に「メリットがある」と認識されている。
だが、気持ち悪がってみんな使いたがらなかった。これがメリットによる論法の限界。それに
対し、ガウスがやったのはメリットの論法ではない。更なるメリットを提示したわけでは無い。
ガウスがやったのは、みんなの抱く「気持ち悪さ」を排除したということ。つまり、虚数の
「実体」を明示したことにより、「ああ、このiという概念は使っても大丈夫なんだな」と
みんなに納得させた。メリットの論法では、無限小数を使うことによる「便利さ」について
話すことはできても、「無限小数という概念を使っても平気なのか？」という抵抗感は除けない。
「気持ち悪さ」の排除ができない。そして、0.999…≠1派が求めている根本的な部分はこっちのはず。
つまり、メリットの論法は根本的な解決にならない。
964(1): 2006/03/12(日) 11:49:58 AAS
>>963
現実に存在するヒトを論外と言って切り捨てるのはいかがなものかｗ
だからこそ、メリットを論じようって話なんだけどね。
ガウスの時も、表面的にはそう見えるやもしれないけど、オレは数学者たちが
よってたかってなにやら哲学的論争して有効性と必要性を確認したんだと思うぞ。
で、昔はメリットで定義することへの躊躇があったんだけど、メリットあったら定義
として採用してよし！となった…で良いのでは？
965(2): 2006/03/12(日) 12:02:40 AAS
>>964
いや、そういう人を対象にしてもいいけど、でも今回の議論とは切り離して別の議論が必要だ、
と言ってるんだけど。書き方が悪かったな。
[1]「0.999…という数の存在は認めるけど、でも1とは違う」という人を対象にした場合
[2]「0.999…なんて数は存在しない」という人を対象にした場合
この2種類の人々について、どう説明を果たせばよいのかを考えているわけだな。
[1]の人の場合：
メリット(＝そう定義した方が都合が良い)の説明は後回し。なぜなら、この説明は「定義の
問題にすぎないんだぞ」という説明だから。この説明を納得するには、まず「1や2は数そのもの
ではなく、数を表す記号にすぎない」ということを理解しなければならない。従って、こっちを
説明するのが先。だが、これを突き詰めていくと「数って何よ？」という議論になってくる(そう
ならずに納得しちゃう人もいるだろうけど)。
[2]の人の場合：
やはりメリットの説明は後回し。存在そのものを否定する人間に、「存在を仮定するとホラ、こんなに
便利！」と言ったところで納得してもらえないから。「なるほど、存在を仮定すれば確かに便利かも。でもさ、
それは存在を仮定したときの話であって、実際はどうなの？存在するの？存在しなかったら意味ないじゃん」と
反論される。気持ち悪がられて、無限小数を使ってもらえない。ガウスのように、無限小数の「実体」を明示
する必要がある。つまり、実数を構成して見せなければならない。だが、素人にそんなの見せてもたぶん理解
されない。
966(1): 2006/03/12(日) 12:15:04 AAS
ま、確かにメリットは後回しでも良いかもね。根本にそれが厳然として存在することは事実だけど。
[1]は２／２や３／３の例を「小学校で習ったから」ではなく、なぜ同じ数として扱えるかとことん
論議すればＯＫなんじゃないのか？いずれにせよ、時間はかかる。
[2]はオレはガウスのヤツも総合的メリットだと思っているからなあ。数学で「存在する」っての
をこれまた哲学的にとことん論議するしかないんじゃないのか？冷やかしなら途中で脱落す
るだろうしね。ガウスはガウス平面で存在を示したけど、「その数に対応したトコを視覚で捕ら
えられる＝存在する」なのか？ってね。
967(1): 2006/03/12(日) 12:37:17 AAS
>>966
＞根本にそれが厳然として存在することは事実だけど。
うん、俺もメリットの塊だと思う。でも、そういうメリットの議論をするには「1や2は数を
表す記号にすぎない」という、数に関する「実体⇔それを表す記号」の枠組みをちゃんと
把握しておかなければならない。数学者同士ではそんなの既に把握してるからいいけど、
素人は「記号＝実体」になっちゃってるから、メリットの話も通じなくなってくる。
＞[1]は２／２や３／３の例を「小学校で習ったから」ではなく、なぜ同じ数として扱えるかとことん 論議すれば
ＯＫなんじゃないのか？いずれにせよ、時間はかかる。
そうだな。それでいいと思う。
＞「その数に対応したトコを視覚で捕らえられる＝存在する」なのか？ってね。
その体系を実現するモデルが存在すれば(＝無矛盾であれば)「存在する」と呼ぶんじゃないかな。
虚数が気持ち悪がられたのは、虚数を使った計算に矛盾が無いのか不明だったことと、あまりにも
「仮想的すぎる」感じがしたことじゃないかな。ガウス平面だと、まず、この平面は(みんなにとって)
ちっとも仮想的ではない。次に、ガウス平面上の2点間に演算を定義することで、点同士の演算が可能に
なる。ここまでは、何も矛盾が無い。そして、初めに「仮想的に」導入した虚数i＝√(-1)を使った計算と、
このガウス平面上の2点間の計算が1対1に対応している。すると、「仮想的すぎる」と思っていた複素数の
計算は、ガウス平面上の2点間の計算をしていると思うことで何ら仮想的ではなくなるし、計算に矛盾も無い。
これを以って「存在する」と呼んでると思う。
968: 2006/03/12(日) 12:58:51 AAS
>>967
矛盾なし＝存在する…って今の数学の考え方も、色々やってきた上での後付けの考えなんじゃ
ないかなあ。自然にわき出てくるような考えじゃないよね。更に言うと、ガウス平面でさえ、仮想的
だと感じるヒトもいるかもね。
で、さらに０．９９９９…をあまりに仮想的すぎる…と思っているヒトも居るわけで…。
これを根本から説明するのは骨が折れそうｗ
969(11): 2006/03/12(日) 18:06:19 AAS
「新たな概念は既知のものから構成する事で初めて受け容れられる」
とまでは言えないんじゃないかな。
複素数は確かにそうだったのかもしれないし、詳しく知らない。
けど例えば、√2とかπとかが受け容れられたのは紀元前だろうけど、
この頃に有理数から実数を構成するなんて思いもよらなかったはず。
関数概念もそう。
Eulerは「変数と定数とから組み立てられた解析的な式」を「関数」としていて、
この頃は初等関数程度しか「関数」では有り得なかった。
けどDirichletが「関数とは対応の事であり、
その対応の仕方は数学的算法で与えられる必要はない」として、
有理数で1、無理数で0を取るいわゆるDirichlet関数を挙げ、関数概念を革新した。
この新しい関数概念はその構成(直積の部分集合)を抜きにして受け容れられた。
そもそもこの頃(19世紀初頭辺り)はまだ集合概念が無かった。
構成とは限らないんなら、じゃあ上に上げたものは
どうして受け容れられたの？っていうと…何だろうね。
人がある概念を認めるという行為は極めて複雑だとしか俺には言えない。
970(1): 2006/03/12(日) 19:15:30 AAS
>>969
√2もπも、既知のものから構成されている。紀元前における「既知のもの」に相当するのは’図形’だ。
√2は、一辺が1の正方形の斜辺との同一視によって「ああ、確かにそういう数(2乗すると2になる数)は
存在してるんだな」と存在を認め、πは円周と同一視することで存在を認めている。逆に、こうやって
図示されたことにより、そういう数を「認めざるを得なかった」とも言える。無理数なんて、気持ち悪くて
認めたくない人ばかりだったろうし。もし、図形に対応させるという方法を取らずに、イキナリ「√2は、
2乗して2になる数である」なんて言っていれば、「そんな数は存在しない」と誰もが否定したはず。虚数iの
ときはまさにそうだった。√2の場合は、既知のもの(正方形の斜辺)に対応させることで、そういう数が「存在
している」と誰もが認めることになった。虚数の場合も、ガウスの時代になって、ガウス平面という既知のもの
に対応させることで、「ああ、虚数は存在してるんだ」と認められていった。
でも関数は話が別だな。確かに、構成を抜きにして受け入れられている…
971: 2006/03/12(日) 19:51:30 AAS
ああ、関数の場合は「ルール」と同一視したのかな。「ルール」とは、この場合はこう対処して、
この場合はこう対処して、…という、各場合における対処を箇条書きにしたようなもの。サッカーの
「ルール」とか、野球の「ルール」とか。’対応’として捉えた新しい関数概念は、「サッカーのルール
みたいなもんか」と思われたのかもしれない。それなら馴染みがあるし。
まあ、よく分からん。
972(2): 2006/03/12(日) 21:17:57 AAS
>>970
複素数は図形から存在を認識された派かあ…。オレはメリット派だから、３次方程式の解
を求めるときに、必ず複素数を通過しなければならない場合がある…ってのが分かった
ってコトを推すな。
973(4): 2006/03/12(日) 21:24:17 AAS
>>972
ヨーロッパ人は、俺らよりずっとずっと「存在」という言葉に拘るし、
特に虚数が出てきた頃は哲学と科学は未分化だったわけだから、そう
簡単に「図形と対応するから存在」とか「方程式解くと出てくるから存在」
とかいうプロセスで理解されていったわけではないと思うぞ。
974(2): 2006/03/12(日) 21:27:41 AAS
>>973
なるほど。で、具体的にはどうだったの？
975(1): 2006/03/12(日) 21:29:53 AAS
>>972
推すのは構わないけど、こういう「存在」に関する議論でメリットを使っても効果は無いはずだが。
それは歴史が証明してる。3次方程式の解の公式に複素数が出てくるのは随分昔から知られていたけど、
でも皆納得しなかった。ガウスが、ガウス平面上の2点間の演算と複素数を同一視する考え方を示して
初めて、複素数は市民権を得ている。
だいたい、複素数に対して釈然としない人は>>965の[2]と同類の人であって、そういう人に「複素数の
存在を仮定するとホラ、こんなに便利！」と言っても、「なるほど、存在を仮定すれば確かに便利かも。
でもさ、 それは存在を仮定したときの話であって、実際はどうなの？存在するの？存在しなかったら
意味ないじゃん」と反論されるだけ。気持ち悪がられて、複素数を使ってもらえない。複素数の歴史は
まさにコレだった。しかし、ガウスが実体を示すことで初めて皆納得した。メリットの議論は、まず対象が
存在することを確認した上で初めて説得力を持つ。対象の存在を示さずに、「存在すると仮定すると～」と
いう仮定のもとでメリットを示しても、誰も納得しない。
976(1): 2006/03/12(日) 21:35:38 AAS
>>974
諸派があって、それぞれいろいろ数の本質を考えて（もちろん今と違って
形式的な定義は無い）あれこれ神学論議してたぽ。
例えばユークリッド的立場にたてば、実数ってのは線分の長さなわけで
そういう立場からだと虚数とか認められないとかね（つまり虚数に関する
命題はユークリッド幾何学に還元できない）そういう人らにとってガウス
平面は幾何学的に捉えられるから理解の助けになっただろうね。
977: 2006/03/12(日) 21:40:33 AAS
関数は「グラフ」っていう図示ができるよね。
978(1): 2006/03/12(日) 22:12:26 AAS
>>965の[1]だけじゃなくて[2]の人もやはり
数の数字の区別が付いてないんだと思う。
小数とは数の表記方法の一つであるという事が分かってない。
もしそれが分かってるのであれば、
表記方法に正誤は無くて採用不採用の問題なのだと認識できるはず。
[2]の人は実は存在が問題なのではないんじゃないかな。
この「数と数字の区別が付かない」ってのはむしろ当然で、
「実数とは(有限または無限)小数の全体」という数も数字も一緒くたの教え方をしてるから。
これでは数と数字の区別を付けてしまうと、
小数は実数の表記方法であり、実数は小数の事となって、
循環論法で何も分かった事にならなくなってしまう。
そうすると当然「じゃあ表記方法の後ろにある実数の実体って何？」
って事になるだろうけど、その説明(実数の構成)は大掛かりになるし、
「何故そう定義するのか」って所を説明するのも大変。
どうしたもんかね。
979: 2006/03/12(日) 22:17:51 AAS
でも数学やってる人だって、記号の背後にある「実体」みたいなものに
それほど注意を払ってるわけじゃないからな。
普段も具体的な数よりもむしろ代数記号ばっかり扱ってるし。
980(1): 2006/03/12(日) 22:31:46 AAS
記号の背後にある実体に「普段注意を払っているか否か」は問題じゃない。
問題なのは、そういう 記号⇔実体 の関係を「知っているか否か」ということ。
981: 2006/03/12(日) 22:37:38 AAS
で、そろそろこのスレもおしまいなので、１＝０．９９９９…の板としての回答テンプレート
を作って、次のスレの先頭２つめにでも貼って欲しいと思う。
とりあえず>>388はテンプレートとしてＯＫかな？他にないだろうか。
982(5): 2006/03/12(日) 22:38:40 AAS
どっちかと言うと僕は「0のあとに9が無限個続く記号」という存在しない
（実際9を無限個書く事などできない）記号を勝手に想像してしまうあたりに
問題があると思うんだが。
983: 2006/03/12(日) 22:43:35 AAS
>>975
＞メリットの議論は、まず対象が存在することを確認した上で初めて説得力を持つ。
うーん。その「存在する」ってのが何かってはっきりしないと…。幾何学的実体で皆ホントに
納得しえたんかいな。平面に持っていっても、とってつけたような感じがするぞ。やはり、計算
上で避けることができないってのが重要だったと思うけどねえ。
>>976
なるほどねえ。でも、それだけなら…当然２つの実数で良いのでは？計算上の必要性との
タッグマッチがないと…。
984(2): 2006/03/12(日) 22:45:42 AAS
>>982
写像F：N^N→Rを1つ作ってan＝9 (n∈N)という数列{an}∈N^NのFによる像F({an})を
考えると、F({an})は「無限個の9を含む記号」と同一視できるので存在する。
985(1): 2006/03/12(日) 22:48:15 AAS
>>982
ほら、[2]の場合のヒトが来たぞ。
>>978
だから、そう定義するとメリットあるから…って説明で良いでしょうに。
１＝０．９９９９…になるように、定義することによるメリットは沢山ある。
まあ、それを言う前に、数学は無矛盾なら勝手に定義を行っても良い。だからこそ、
どう定義するかってのはよりメリットがある方向で行うべきだ…って認識を持って貰う
必要は確かにあるとは思うけどね。
986(1): 2006/03/12(日) 23:01:02 AAS
＞だから、そう定義するとメリットあるから…って説明で良いでしょうに。
これは
＞「何故そう定義するのか」って所を説明するのも大変。
へのレスだよね。
「完備性」がどれほどメリットのある性質なのか、
解析学においてどのくらい重要なのかを、
数と数字の区別が付いてるか付いてないか位の人に説明するのは大変じゃない？
という事を言いたかったんだけど。
＞>>982
＞ほら、[2]の場合のヒトが来たぞ。
待ってまだどう説明するのがいいのかまるで固まってない。
987: 2006/03/12(日) 23:01:51 AAS
>>985
いや>>982は「1≠0.999…と主張してる人たちが」存在しない記号を考えて
混乱しているのではないか、という意味だ。
988: 2006/03/12(日) 23:09:02 AAS
>>986
完備性とか別に言わなくても、「１＝０．９９９９…」に絞って直観的にそう定義することの優位性
をやっても良いと思うけどな。
989(2): 2006/03/12(日) 23:10:13 AAS
また書くが、次のスレの回答テンプレ>>388でＯＫかい？
とりあえず、このスレは消滅させたら、また誰かが作るに違いないから、回答テンプレを
作るに限る。
990: 2006/03/12(日) 23:12:05 AAS
次スレ
2chｽﾚ:math
991(1): 2006/03/12(日) 23:12:23 AAS
>>989
最後の不完全性定理のところが、曖昧だと思う。
992(2): 2006/03/12(日) 23:13:43 AAS
＞数学は無矛盾なら勝手に定義を行っても良い。だからこそ、 どう定義するかってのはより
＞メリットがある方向で行うべきだ…って認識を持って貰う 必要は確かにあるとは思うけどね。
そうだな。複素数の場合は「こんな計算、やっても平気なのか？」という疑念があったから、
幾らメリットを示されても避けられていた。でも、ガウスがその実体を示して(＝複素数は無矛盾である
ことを示して)皆に認められていったわけだな。
993(1): 2006/03/12(日) 23:15:02 AAS
>>989
もう10レス分もないし、いいんじゃない？スレ立てよろしく。
994(2): 2006/03/12(日) 23:15:33 AAS
>>993
2chｽﾚ:math
スレもう立ってるよ。
995: 2006/03/12(日) 23:16:44 AAS
>>991
そう思うなら修正してくれ。
>>992
そうかあｗ 単にそれは時代の要請だろ。幾何学が絶対視されていた時代のね。
だから幾何学主導で「実在」が当時のヒトに実感させることができた。
今はそんな時代じゃないだろ。
996(1): 2006/03/12(日) 23:18:26 AAS
Ａ４：自然数が入っている論理がもし正しいなら、その正しさはその論理内で証明できない。
しらがって、「１＝０．９９９９…」が結論となる論理も「１≠０．９９９９…」が結論になる論理も
矛盾がない限り、その正しさはその論理内で証明できない。
１≠０．９９９９…は１と０．９９９９…の間に隙間が有っても良い倫理か。
意味が分からん。
997(1): 2006/03/12(日) 23:20:33 AAS
>>994
明らかに別のスレだろ
998: 2006/03/12(日) 23:22:59 AAS
>>997
マジで？
999: 2006/03/12(日) 23:24:58 AAS
>>996
隙間があっても良いと認めるか、超準解析みたいな超実数みたいなのを容認するか…
だろうね。
1000: 2006/03/12(日) 23:25:51 AAS
次スレ
2chｽﾚ:math
1001: １００１ Over 1000 Thread AAS
このスレッドは１０００を超えました。
もう書けないので、新しいスレッドを立ててくださいです。。。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.170s*