1 :
Nanashi_et_al. :
2001/07/16(月) 04:45 別の板で見つけたやつなんだけど、 この証明は正しいのかな? 何か納得いかないんだが… 証明 X=0.999… (1) 両辺を10倍する 10X=9.999… (2) (2)から(1)を引く 9X=9 X=1 よって 1=0.999…
2 :
Nanashi_et_al. :2001/07/16(月) 04:47
収束がどうのこうのと言ってたな
C言語の習いたてん時を思い出すなぁ。 まず、0.99999・・・・が「循環小数」なのかどうかの記述が無い時点で おかしい! もし仮に「循環小数」と定義してるならば、単純に10倍は出来ないし、 そもそも、「X」の定義もされてないので、単純にイコールで結べない。 問題の設定が記されてないので、愚問。
4 :
Nanashi_et_al. :2001/07/16(月) 11:02
つまり、 lim_{x→1} x = 1 ってことでしょ?
5 :
どりお :2001/07/16(月) 11:11
>3 >もし仮に「循環小数」と定義してるならば、単純に10倍は出来ないし、 なんで?普通、そうやって10倍、100倍して、少数部分を消して 値を求めるじゃん。
>>3 1.なぜにC言語?
2.「・・・・」って書いてあんだから察してやれよ。
3.循環小数を10倍できないのはなぜ?
>>4 ちがうだろ。
7 :
Nanashi_et_al. :2001/07/16(月) 13:42
これとほぼ同じなので、 1/3=0.33333‥‥ 両辺に3を掛ける 3*1/3=3*0.33333‥‥ 従って 1=0.99999‥‥ ってのもあるね。
8 :
Nanashi_et_al. :2001/07/16(月) 13:51
S=0.9999‥‥ =0.9+0.09+0.009+‥‥とすると Sは公比0.9の等比数列の無限和だから、 S = 0.9/(1-0.1)=1 じゃなかった?
9 :
Nanashi_et_al. :2001/07/16(月) 13:53
↑訂正 公比0.1
10 :
Nanashi_et_al. :2001/07/16(月) 19:08
0.99999・・・・・ ってなんなのさ? そんな数字実在するの?
11 :
Nanashi_et_al. :2001/07/16(月) 21:12
>>6 -7
「循環関数」だと断言出来ないとおもいますが?
>>1 は
証明
以下しか記されてないので、不可読みし過ぎでは?
したがい、
>>7 のような
1/3=0.33333・・・・・
は飛躍し過ぎです。
もし、上記のように分数で表せる
0.99999・・・・・が前提であるとすれば、それをきちんと設問で記すべきです。
それに、Xの存在する領域も定義されていません。
>>10 と同意見です。
12 :
Nanashi_et_al. :2001/07/16(月) 21:15
13 :
Nanashi_et_al. :2001/07/16(月) 22:28
Yahooにあったトピックだな かなりの投稿があったが今は消えてる
_ , ― 、 ,−' `  ̄ヽ_ ,' ヽ ( ) 1から0.99999・・・を引くと ( ノ`ー'ー'ヽ ) 0.000000・・・・ゼロが永久に続く ( ノ● ●( ) よってゼロと等しい// ( 〉 -――-( )_ _ `ー'l ● ( ノ ヽ ) 、‘ー'ー’ _ノ`ー' |  ̄| ̄ | / /7 / ̄ ̄/ / `ー´ `ー ´ `―´
16 :
Nanashi_et_al. :2001/07/17(火) 03:44
0.9999… = lim_[n→∞](Σ_[i=1...n]9/(10^i)) と考えれば、0.9999…は極限値としてみることができますね。
17 :
Nanashi_et_al. :2001/07/17(火) 17:25
0.999…と1の差は?と聞かれたら答えられないでしょ。 だから0.999…と1は等しい。
18 :
Nanashi_et_al. :2001/07/17(火) 17:29
莫迦と17の差は俺には分からん。 だから17は莫迦。
「0.999999……」は10文字 「1」は1文字 ∴「0.999999……」!=「1」
20 :
Nanashi_et_al. :2001/07/17(火) 19:07
1/3=0.33333.... に得心が逝くのなら、 1=0.99999..... でなんの不思議もないはず。 なんか問題ある? ないよね。 じゃ、終了。
21 :
Nanashi_et_al. :2001/07/17(火) 19:20
0.99999… != 1.0000… と仮定すると、 0.99999… != 1 になるyo
22 :
マルチ :2001/07/17(火) 19:29
tan(π-1+0.9999…)=∞ tan(π-1+0.9999…^-1)=-∞ ∴0.9999…!=0.9999…^-1 ∴0.9999!=1 ∴修了
24 :
高校 :2001/07/17(火) 22:01
>>15 -23
なんかメチャクチャ!
>>1 連立方程式でもないのに
(2)−(1)
ってできんの?
百歩譲って
X≒0.99999・・・・・
なら、まだ可愛げある・・・・
でも、(2)−(1)は出来ない!
27 :
Nanashi_et_al. :2001/07/17(火) 22:41
>>1 を理解しないやつは、ドキュソ!
理系ヤメレ!
29 :
Nanashi_et_al. :2001/07/17(火) 22:54
>>24 連立方程式の意味がわかってないのに、
連立方程式という言葉を使うな!
区別できないから、0.9999…と1が同じだ、 ってのは、ある意味で本質を突いてる。 要は「実数」をどう定義するか、ってこと。 現行で万人が認めてるような実数では、同じ「数」を別の方法で表記したもの。 これらを、違う数だとして実数を再定義すると、加法、乗法の演算に対して、 今まで自然だ、と教わってきた多くの定理を捨てなくてはならない。
31 :
30 :2001/07/17(火) 23:09
というわけで、実数の定義からほとんど明らかなものを証明することに あまり魅力を感じない。 逆に、この定義を捨てて0.99999…と1を区別するような数の体系のメリットも イマイチぴんとこない。
32 :
Nanashi_et_al. :2001/07/17(火) 23:10
>>30 区別することが必要だから、
0.9999…を「1」とは書かずに「0.9999…」と書くんですよ。
だから、「0.9999…」と書かれている場合には、
それを「1」と同一視できない何らかの理由があるんだと考えられますよ。
33 :
Nanashi_et_al. :2001/07/17(火) 23:13
実数はいろいろな方法で定義される。 その中で 「実数全体の集合は無限小数全体の集合である」 というものがある だって・・・ お世話になりました・・・
頭ワルッ!
35 :
30 :2001/07/17(火) 23:23
>>32 その何らかの理由ってのはあんまり数の本質に関係ない理由でしょうね。
極端な話、唯名論でいくと「3−2」と「5−4」はある理由で違う表記になってるんだが、
少なくとも掛け算や足し算の前では、1と同じような振る舞いをする。
6+(3-2)=6+(5-4)=7
6*(3-2)=6*(3-2)=6
36 :
Nanashi_et_al. :2001/07/17(火) 23:34
>>35 関数の右極限と左極限が異なる場合なんかは、
確かな数学的な意味を持っていますよ。
要は、
>>1 の証明では
無限小を0と考えても問題ないという前提のもとで証明を行ってるから、
暗黙のうちに、無限小を0と同一視しているんですよ。
1さんは、それが納得いかないみたいです。
だから、いかなる場合でも
>>1 の証明は正しい分けではありません。
終了
37 :
20 :2001/07/18(水) 00:45
>>32 n
lim Σ0.9x10^(-k ) = 1
k=0
n→∞
っていう式を見てどう思う?変かしら?
0.9999.... という「数」とおっしゃるが、この表記には、
無限級数が隠されてるわけで、上の左辺と同じわけだよ。
収束値をその値であるとすれば、1になる。一方収束値と
収束の概念は別物なので、本来等式では結べないという
見方もできよう。
1/3と0.3333...についても同様。
38 :
デデキントト :2001/07/18(水) 00:52
実数を連続体(数直線)とみなして、1のところでちょんぎる。 切り口を見ると、右側の数直線の切り口に1がくっついてたとする。 すると、左側の切り口に見える数は0.9999.....のはず。
39 :
微笑 :2001/07/18(水) 06:13
40 :
30 :2001/07/18(水) 10:45
>>35 0.9999…をどうとららえるかですけど、
循環する、と決めた時点でもはや左極限ではなく、
単なる有理数だから、どんな関数に使うつもりでも
1と区別は出来ません。
41 :
Nanashi_et_al. :2001/07/18(水) 10:47
おもしろいね
42 :
Nanashi_et_al. :2001/07/18(水) 10:58
x=0,999 9.99 1x 10x
43 :
Nanashi_et_al. :2001/07/18(水) 11:13
数学的に0.99999・・・は何を意味するのか 定義されていない。したがって、これについての 数学的な議論はできない。それ以外の議論をしたいの なら勝手にやって。 以上
45 :
Nanashi_et_al. :2001/07/18(水) 11:21
じゃぁ、言い換えよう。 0.9999・・・は1と定義する。 したがって両者は等しい。 以上
49 :
30 :2001/07/18(水) 11:55
>>38 0.9999…(切断で出来る)<0.9999…(循環)
が成り立ちます。
>>45 0.9999・・・を1と定義してしまったら、
1.0000・・・も1と定義することになるけど、
tan(π-1+0.9999・・・)=tan(π-1+1.0000・・・)
が成り立たないのだから、矛盾してます。
収納
52 :
文系野郎 :2001/07/18(水) 12:02
ごめん、さっぱりわからないや。 文系の漏れが理系板なんかに来るんじゃなかったよ。
53 :
30 :2001/07/18(水) 12:10
49を日本語を交えて説明すると、 「1から無限小をひいたもの」<「0.999…と9が無限に続く」 となるように「無限」という言葉の意味を定義されちゃって実数が成り立っている ということ。 前者は無理数だが、後者は有理数。
54 :
Nanashi_et_al. :2001/07/18(水) 13:54
>>50 >0.9999・・・を1と定義してしまったら、
>1.0000・・・も1と定義することになるけど
なぜ? 0.9999・・・を1と定義しても矛盾ないけど。
aは1であるというのと同じ。
55 :
Nanashi_et_al. :2001/07/18(水) 14:27
実数の位相を考えろyo
56 :
Nanashi_et_al. :2001/07/18(水) 15:19
そんなこと考える必要なし。 定義がすべて。
57 :
Nanashi_et_al. :2001/07/18(水) 15:27
4が言ったのをもっと正確にして lim_{s→+0} 1-s = 1 が正しい。 左辺が0.9999...の定義でしょ。 これ以上議論意味無し。 このスレ完全終了。
58 :
Nanashi_et_al. :2001/07/18(水) 17:15
まったく....ヴァカばっかりだな。 極限じゃなくて厳密に等しいんだって。 実数は1つの数に2つの表示があったっていいんだよ。 1つの数に1つの表示だったら連続じゃ無くなっちまうだろうが。
59 :
Nanashi_et_al. :2001/07/18(水) 17:32
9.999・・・−0.999・・・ っていう計算はできるの? ∞ー∞ はできないんだよな。 なんかいまだに腑に落ちない。 まあ、公理みたいなものだといわれればそれまでだが。
>>57 氏は極限好きだねー!
------------------------------------------------------
5 名前:Nanashi_et_al. 投稿日:2001/07/18(水) 15:36
lim_{t→+0}\frac{6}{t}=+∞
lim_{t→-0}\frac{6}{t}=-∞
ゆえにlim_{t→0}\frac{6}{t}は不定。
以上このすれ終了。
---------------------------------------------------
もそうでしょ?
9.999・・・ 無限に続く「9」の果てに何があるのか? それが問題だ。 ┐(´ー`)┌
62 :
┐(´ー`)┌ :2001/07/18(水) 18:37
63 :
61 :2001/07/18(水) 18:57
64 :
61 :2001/07/18(水) 19:02
>>63 >結婚してYO!
女は、すぐこれだ・・・
困ったものだ・・・ ┐(´ー`)┌
65 :
61じゃなくて60 ┐(´ー`)┌ :2001/07/18(水) 19:04
>>63 >結婚してYO!
女は、すぐこれだ・・・
困ったものだ・・・ ┐(´ー`)┌
そそっかしい俺もいけるだろ?
66 :
Nanashi_et_al. :2001/07/18(水) 21:04
>>58 > 実数は1つの数に2つの表示があったっていいんだよ。
Why?
> 1つの数に1つの表示だったら連続じゃ無くなっちまうだろうが。
連続かどうかなんて最初から聞いてない。
馬鹿はお前だ!
67 :
ななし :2001/07/18(水) 21:11
┐(´ー`)┌ ヤレヤレ
69 :
マルチの解答速報 :2001/07/18(水) 22:18
x=0.999…=1-(10^-n) (1) 両辺を10倍する 10x=10-(10^-n)*10 (2) (2)から(1)を引く 9x=(10-(10^-n)*10)-(1-10^-n) 9x=9-(10^-n)*10+(10^-n) 9x=9-(10^-n)*9 x=1-(10^-n)=0.999… というわけで、1の証明は間違っていました。 (完)
70 :
Nanashi_et_al. :2001/07/19(木) 22:11
1=0.999999… ? 両辺を3で割る 1/3=0.333333…
71 :
:2001/07/20(金) 01:18
>>53 0.9999....が有理数というのはどうやって証明するだに?
1−無限小が無理数という証明も教えてくれ。
気になって全部読んじまったじゃねえか。 どいつもこいつも言ってることが全部正しく見えるのはなぜだ? くそー、 何とかしてくれ。
73 :
Nanashi_et_al. :2001/07/20(金) 11:39
74 :
Nanashi_et_al. :2001/07/20(金) 12:05
数学的には等しくない 終了
75 :
Nanashi_et_al. :2001/07/20(金) 13:00
>>71 循環小数は分数で表すことができるって、中学んとき習わなかった?
>>74 ウソいうなYO!
77 :
○ :2001/07/20(金) 22:55
0.999…っていう無限の場合じゃなくて、
有限の場合を考えてみる。
x=0.99 (1)
両辺を10倍する
10x=9.9 (2)
(2)から(1)を引く
9x=8.91
x=0.99
こうしてみると、
>>1 の証明は
『 9.999… - 0.999… = 9 』
の部分でダマシてるって事がわかる。
0.999… かける10は9.999…90(最後のゼロは10倍したから)
となって、そこから0.999…99を引いてるんだから、答えは
ちょうど9ではなく8.999…91になる。
よって、8.999…91 ÷ 9 = 0.999…99 となり、=1にはならない。
めでたしめでたし。
78 :
Nanashi_et_al. :2001/07/20(金) 23:32
> 0.999… かける10は9.999…90(最後のゼロは10倍したから) 0.999… は循環小数なんだからこうはならないでしょ。 0.999… < 1 と仮定すると 0.999… と 1 の間に実数が存在するはずだが そんな実数は表すことはできないので仮定は誤り。 よって 0.999… = 1 ていうのはどうでしょ?
工学系人間的にとしては、 必要な任意の精度で1(.000…) よってどちらも1
80 :
sut :2001/07/21(土) 05:53
1-0.9999・・・・=0.0000・・・ 0が無限に続くから0.0000・・・=0 差がないから1=0.9999・・・・ ダメ?
81 :
Nanashi_et_al. :2001/07/21(土) 11:40
>>77 >0.999…っていう無限の場合じゃなくて、
>有限の場合を考えてみる。
証明するまでもなく1より小さいじゃん。
夏だねぇ。今年は暑いしねぇ。 とにかく等しいんだからもう終わろうぜ。 でも一応なんか書いとこ。 1/9=0.11111111.................... 9/9=0.99999999.................... 9/9=1 はて?(wら
83 :
Nanashi_et_al. :2001/07/21(土) 13:18
グラフを書いてごらん! わからなくなったら、視覚化すれ。 よって、左辺=右辺。 Q.E.D.
84 :
Nanashi_et_al. :2001/07/21(土) 15:20
眠いよ
85 :
Nanashi_et_al. :2001/07/22(日) 21:24
それがどおした。そんなことしるか。
もしかして、おまえら全員で俺のこと馬鹿にしてやがんな? くそー。 暴れてもいいか? ただし自宅の風呂場でだが・・・ ちなみに、俺んちの風呂場はけっこう狭い。
88 :
Nanashi_et_al. :2001/08/13(月) 09:33
風呂場は暴れた結果はどうでした?
89 :
Nanashi_et_al. :2001/08/13(月) 14:40
>>86 あら、おでん屋さんじゃないの?
聖上はどちらへいかれたか知らない?
90 :
Nanashi_et_al. :2001/08/13(月) 18:41
不可識別者同一視の原理
91 :
Nanashi_et_al. :2001/08/13(月) 19:47
ぼくは君の100倍愛してる! いいえ、私はあなたの10000倍愛してるわ!!!! ぼく=a わたし=b だったら、 a=100b 10000a=b ってことでしょう つまりこの方程式を成り立たせるにはaもbも 0、ゼロしかないから2人とも愛してないって証明なるよね?
>いいえ、私はあなたの10000倍愛してるわ!!!! 「いいえ」で直前の命題を否定しているから,別に同時に成り立ってる なんて主張していないでしょ.
94 :
Nanashi_et_al. :2001/08/14(火) 06:48
面白かったYO! 俺的に久々の名スレ 就職の事考えて工学部にしたが、やっぱ数学科にしておけば良かった(鬱
95 :
Nanashi_et_al. :2001/08/14(火) 07:15
0.99999999....... < 1
96 :
Nanashi_et_al. :2001/08/15(水) 00:01
>>91 作家の阿刀田高氏のエッセイにも同じようなことが書いてたね。
>>94 お前の意見には同意だが
語尾にYOってつける奴、氏ね!
97 :
Nanashi_et_al. :2001/08/15(水) 01:33
結局、 「0.999999……<1<1.000000……」が正しいのか、 「0.999999……=1=1.000000……」が正しいのか。 ∧_∧ ( ´∀`) ( ) <ショーモナー | | | (__)_)
98 :
Nanashi_et_al. :2001/08/15(水) 09:49
等比数列の和(の極限)じゃだめなのか。 S=0.999… とおくと、 S=0.9+0.09+0.009+… ... (1) 0.1・S=0.09+0.009+… ... (2) がそれぞれなりたつ。 (1)−(2)を考えると、 S−0.1・S=0.9 ∴(1−0.1)・S=0.9 ∴0.9・S=0.9 ∴S=1 よって S=0.999…=1
99 :
98 :2001/08/15(水) 09:59
1も同様に X=0.999…=0.9+0.09+0.009+… ... (1) 10X=9.999…=9+0.9+0.09+0.009+… ... (2) (2)−(1) 9X=9 ∴X=1 よって X=0.999…=1 で、つまりあってるんじゃないのかYO。
100 :
Nanashi_et_al. :2001/08/15(水) 10:05
1と0.9999・・・・は違うだろ。 見た目からして。 どうみても同じにはできないだろ。 数直線にしても、 0.99999・・は1のちょっと前でとまってるだろが。 数学なんて嫌いだ
>>77 「表せないから存在しない」はよせ。恥ずかしい。
>>100 どうみても同じにはできないだろ。
そうか?
1−0.9=0.1
1−0.99=0.01
1−0.999=0.001
:
1−0.99999999999…9=0.0000000000…1
これ無限にやったらゼロにならないか?
(無限にできない。って言われたらアウトだが)
1.1111…=10/9 っていうのもあるぞ。
104 :
102 :2001/08/15(水) 10:28
無限にやっても0に近付くだけのような気がします。
105 :
結論******* :2001/08/15(水) 12:02
10倍する時点で、 0.9999x10=9.999 でしょ。 0.9999に10をかけても、9.9999にはならんのだよ。 これは0.999…の"…"を使ったたんなるトリックなのだ。 たとえ数が大きくても 0.99999999999999999 これに10をかけたら 9.9999999999999999 になるでしょう。 そうなると、 __ | x=0.9999 (1 | 10x=9.999 (2  ̄ (2-(1 は、 x=8.991 こういうこと。
106 :
リアル厨房 :2001/08/15(水) 12:09
↑の最後らへんちょっと間違ってないかな? 俺が言うことでもないかもしれないけど、 コピペ修正だけでスマソ。これは俺の考え。 ---- x=9999 を 10倍する時点で、 0.9999x10=9.999 でしょ。 0.9999に10をかけても、9.9999にはならんのだよ。 これは0.999…の"…"を使ったたんなるトリックなのだ。 たとえ数が大きくても 0.99999999999999999 これに10をかけたら 9.9999999999999999 になるでしょう。 そうなると、 __ | x=0.9999 (1 | 10x=9.999 (2  ̄ (2-(1 は、 9x=8.9991 x=0.9999 上のと同じ 0.9999 になる。 答えのxが変わるのは、どこかが間違っているって、 中1で習った(^^ --- んじゃー
107 :
Nanashi_et_al. :2001/08/15(水) 14:00
本職の数学屋さんの間ではどういうことになってるんですか? 極限を取った値の扱いの問題でしょ?
108 :
Nanashi_et_al. :2001/08/15(水) 14:06
9.9999・・・ って無限に続いてることを意味してるんじゃないん? 10倍したところで9が続いてんじゃないの? 公式の証明でもこーゆーの使ってた気がする。 言ってる事はわかるけど実際どうなのか 数学屋さん降臨きぼん!
109 :
Nanashi_et_al. :2001/08/15(水) 16:19
1から0.99999……を引き算したら0.00000……になるだろ? だから 1=0.99999……
110 :
Nanashi_et_al. :2001/08/15(水) 17:00
収束はするけど、その値にはならないんじゃん?
0.9999...て数は10進数表記にゃ向いてないんだよ.3進数で書き換えてみな.
112 :
Nanashi_et_al. :2001/08/15(水) 18:37
113 :
小学生 :2001/08/15(水) 21:06
1未満って言い換えると0.99999……以下ってことでいいのかな? そうするとやっぱり1と0.99999……は同じじゃないね。 数量的には一緒だけど意味が違うってことじゃないかなぁ
114 :
Nanashi_et_al. :2001/08/15(水) 21:44
理系板だけど、無限の概念を持ってない人が多いのね・・・ 1=0.99999…… こっちが正解。
115 :
Nanashi_et_al. :2001/08/15(水) 23:08
初項0.9公比0.1の公比級数を求める。 階乗を↑で示す(↑2は2乗ね) 0.9+0.09+0.009・・・+0.9*〔0.1↑(N-1)〕 =(1〜N)Σ0.9*〔0.1↑(N-1)〕(以下Σと略す ) (1〜N)Σ=0.9*【〔(0.1↑N〕−1】/(0.1−1 ) =1−(0.1)↑N よってN→無限ならΣ=1 高校生レベル
>>115 もちろんそれで証明終了。
なぜかそれで納得いかない人多数なんですな、この板。
だから困ってんの。
そういう人は
「無限に小さいとは言え (0.1)↑N を引いてるじゃないか!」
って言いたいんだと思う。
直感的に _0.333_・・・ 3 ) 1. _0_ 1 0 _9_ 10 _9_ 10 _9_ 10 で、0.333・・・・=1/3が納得いくなら 無理やり _0.999_・・・ 1 ) 1. _0_ 1 0 _9_ 10 _9_ 10 _9_ 10 とやれば 0.9999・・・・=1 もなっとくいかないっすか?
118 :
小学生 :2001/08/16(木) 11:37
>>115 -116
「無限に小さいとは言え (0.1)↑N を引いてるじゃないか!」
とは思わないけど0.99999…はいつまでたっても繰り上がるとは思えません。すいません。
>>115 の公式は数値を求めるための公式で循環小数の意味は考慮してないんじゃないですか?
消防でごめんね
119 :
小学生 :2001/08/16(木) 11:45
俺は小学生のくせに0.99999…の意味は中学校ぐらいで聞いた記憶があるんですが それを元に考えると 0.99999…と1との差は0に限りなく近いということだと思います。 限りなく0に近いということを同じと言っていいかどうかは分かりませんが。 多分駄目な気がしますが。
任意の正の数よりも小さい数は、0です。つまりある数Aが、任意のε>0に対して A<ε をみたせば、A=0となります。
121 :
小学生 :2001/08/16(木) 13:15
任意のεってなんですか? なにが言いたいんでしょう 都合によってはA=0とみなすということですか?
122 :
Nanashi_et_al. :2001/08/16(木) 13:23
この世に無限などない。よって1のほうが大きい。
εは0よりも大きい数。0よりも大きいどんな数を持ってきても、それよりも 0.99999…と1との差は小さいということが言えれば、その差は0、すなわち 0.99999…と1は等しい数であることがわかる。それを言うには(1/10)^nがn→∞ のとき0に収束することを使えばよい。 任意のε>0をとると、(1/10)^n→0 よりあるNがあって1/10^N<εとなる。 このとき1-0.9999......<1/10^N<ε である。εは任意だから1-0.9999....=0 すなわち1=0.9999..... それと、120の証明は簡単なので自分でやってみ
ああそれと、123の証明には「Archimedesの原理」を暗に用いているし、 数列が収束することの定義がわからなければどうにもならない。 詳しいことが知りたければ解析学を勉強しなさい。そうでないと真の理解は得られません。
125 :
小学生 :2001/08/16(木) 13:43
超初歩的な質問だと思うんですが 収束することと、イコール記号って一緒の意味に取ってもいいんですか?
126 :
Nanashi_et_al. :2001/08/16(木) 14:31
ギリシャ人は無限を否定した。それは彼らの自然哲学であり 馬鹿にするものではない。 ルネッサンス以降のヨーロッパ人は無限というお化けを 思考の範疇に取り入れることに成功した。 サイエンスはこの流れに乗っているので 無限の取り扱いには一定の決まりがあるのだ。 115とか120みたいな考え方だ。 ほかの考え方があってもいいと思うが それはサイエンスと別の流れを作ることになる。 中世に天動説の世界で天文学が発達しえたように べつの体系になってしまうだけ。
収束するということはその値には決してならないということだ つまりイコールとは違う
実数は稠密だから 0.99999……<1 ではありえない。 なぜなら、0.99999…<X<1 を満たすXは存在しないから。
130 :
Nanashi_et_al. :2001/08/16(木) 23:28
131 :
Nanashi_et_al. :2001/08/17(金) 04:09
そんな難しく考えなくても、この問題は、(1÷9)×9=1です。
132 :
Nanashi_et_al. :2001/08/17(金) 04:26
あら、こっちでもやってるんだ。
「数」と「数の表記」って一対一対応が崩れるから納得しにくいのかね。
>>31 超準解析でも 0.999... = 1 だ呂。
3進数ならピッタリ表記と数がピッタリ一致するんだけどねーここでの場合. (誰も相手してくんないよな〜.なんで10進数なんぞにこだわるかね.)
134 :
Nanashi_et_al. :2001/08/17(金) 13:02
>>131 0.11111…=1/9だから、
0.99999…=9/9=1ということか。なるほどねぇ。
135 :
Nanashi_et_al. :2001/08/17(金) 17:40
2.9999999999999の人の職業は何でせう? ↑ ほぼ3
136 :
Nanashi_et_al. :2001/08/17(金) 18:38
ぼく東工大生ですが、何いってるか全然わかりません。 みんなむつかしいことやってんだなあ。
137 :
Nanashi_et_al. :2001/08/17(金) 19:06
0.9999…を頭の中でビジュアルにイメージして みれば、「0.9999…」を1文字で書いた"記号"が「1」 なのだと思う。 なので、私としては 0.9999… = 1 を直感的には支持するが、 そもそも実数の集合R上の 二項関係"="(等しい)とは 何なのかからちゃんと吟味 しないといけないのでは?
138 :
Nanashi_et_al. :2001/08/17(金) 20:23
0.999…が1と等しくないなら、 0.000…が0と等しくないということもいえる。 ならば、 0.999…と1の間の数は、 「0.999… − 0.000…」 として矛盾がない。
139 :
138 訂正 :2001/08/17(金) 20:25
「0.999… + 0.000…」 ね。スマソ
140 :
Nanashi_et_al. :2001/08/18(土) 08:44
>>137 実数において X=Y であるためには、X<Z<Y 又は Y<Z<X を満たす Z が存在しなければ良い。
>>138 0.00000・・・ は、どうみても0だろ。
141 :
Nanashi_et_al. :2001/08/18(土) 17:02
>>140 >実数において X=Y であるためには、
>X<Z<Y 又は Y<Z<X を満たす Z が存在しなければ良い。
というのを、X=Yの定義とみなし、論理式で書くと
以下のようになると思われる。(大文字は集合を
表すものとしたいので、X,Yは小文字にした)
∀x,∀y∈R
x=y ≡ NOT(∃z∈R, x<z<y OR y<z<x)
となるが、では x,y∈Rについて
x < y
はどのように定義されるのだろう?
これは実数の集合"R"というシステムに関する考察
に属する議論だと思われる。
てか、ワタシ的には大学院のときに輪講で読んだ
「位相と集合」の教科書の初めの方に出てきたような
記憶もあるが、、
そもそも実数って何だ?
数学科専攻の方の哲学的なレスきぼーん
142 :
Nanashi_et_al. :2001/08/18(土) 17:56
「1=0.999…」とか言っちゃってる人、 正直、頭わるいyo!
143 :
Nanashi_et_al. :2001/08/18(土) 17:57
等しくないと何が困るの?
144 :
Nanashi_et_al. :2001/08/18(土) 19:19
xに好きな数字を仮定して同じ計算やってみな。 ヴァカたれ! 以上!!!
145 :
Nanashi_et_al. :2001/08/18(土) 22:42
>>141 140の言ってるのは定義じゃないよ。
>>142 お前が頭悪い。
1=0.9999999999999........
が正しいです。はい。
距離が無限に近い数字の連続はすべてイコールで結ばれていくの?
147 :
Nanashi_et_al. :2001/08/18(土) 23:58
>>145 >140の言ってるのは定義じゃないよ。
じゃあ単なる必要十分条件?
とりあえず、
>1=0.9999999999999........
>が正しいです。はい。
ってことは、
>>141 の
>「0.9999…」を1文字で書いた"記号"が「1」
という主張は正しいわけね?
148 :
Nanashi_et_al. :2001/08/19(日) 02:47
ばかじゃない?議論の余地なし
0.99999…… と 1では表記が違うのにイコールなのが 気持ち悪いかと思うが、 そもそも、ある意味で「0.99999……」は数の表記ではない。 0.9 , 0.99 , 0.999 , ……という数列の極限値であり、 lim[n→∞]Σ[i=1,n]9*10^(-i) と言う式と同じ意味。 「1+1」という式と「2」という数がイコールになるように、 「0.9999……」という式と「1」という数がイコールになっても不思議はない
152 :
おでん屋 :2001/08/19(日) 19:39
あ、おめえら、まだやってやがったな。
くそー、もう何が何だかわからねえから、
都合によっては0.9999…≠1で、
別の都合では0.9999…=1だってことで安心していいか?
>>88 少しケガをした。なーに、かすり傷だ。
>>89 知らねえ。
153 :
Nanashi_et_al. :2001/08/19(日) 20:43
> 都合によっては0.9999…≠1で、 > 別の都合では0.9999…=1だってことで安心していいか? 安心しないでー。 0.9999…=1 が正しいよー。
関係あると思うんで聞きますが ∞+1=∞ なんですよね?
155 :
Nanashi_et_al. :2001/08/19(日) 22:43
>>140 >0.00000・・・ は、どうみても0だろ。
0.9999…≠1なら
0.0000…≠0だろ。
この問題は0.9999…≠1で矛盾が生じるか生じないかが問題であって、感覚でやってもしょうがないよ。
156 :
Nanashi_et_al. :2001/08/19(日) 22:56
>>152 >都合によっては0.9999…≠1で、
>別の都合では0.9999…=1だってことで安心していいか?
安心していい。それが数学。
157 :
Nanashi_et_al. :2001/08/19(日) 23:09
>>155 1 - 0.9 = 0.1
1 - 0.99 = 0.01
:
1 - 0.9999... = 0.0000....
って言いたいの? 最後の1を忘れてはいないか?
っていうか、無限の概念を知らないのではないか?
158 :
Nanashi_et_al. :2001/08/20(月) 01:23
アホカ
159 :
Nanashi_et_al. :2001/08/20(月) 01:29
0.9999…=1って言ってる人、はずかしくないか? 確かに算数では、0.9999…=1かもしれないが、 数学では0.9999…≠1です。 正直、レベル低い。
屁も出ねぇよ 貴様の金玉以下だってよ 俺の知ったこっちゃないがな(藁リ
>>159 すごく頭悪そう…友人にしたくないタイプ
163 :
Nanashi_et_al. :2001/08/20(月) 03:58
ある公理系では0.9999…≠1が正しい。 終了。
164 :
名無しさん@お腹いっぱい。 :2001/08/20(月) 04:13
>(2)から(1)を引く >9X=9 これが成立するには 1=0.999… でなければいけないような…
165 :
Nanashi_et_al. :2001/08/20(月) 04:28
>>163 >ある公理系では0.9999…≠1が正しい。
ではなくて、
ある公理系では0.9999…≠1となるように"="
が定義されている
が正しい。
>>154 そもそも∞は数ではない。
だから∞+1は無意味。
…普通の公理系(自然数、実数など)では。
0.999999…=1を証明するにしても、 無限を無造作に扱って欲しくないな。
キモイ
悪がはびこる 2ちゃんねる ,悪にまみれた 2ちゃんねる 厨房 煽り age荒し 田中 コリンズ りさ子モネー 絶望のふちに 沈むとき 正しいスレが sagaるとき 一人の勇者が 立ちあがる 一人の勇者が 立ちあがる 「オマエモナー!」 「オマエモナー!」 光かがやく その笑顔 魂ゆさぶる その言葉 三角耳は 正義のあかし 丸いしっぽは こころの清さ Λ_Λ 戦えモナー 希望のひかり 戦えモナー 希望のひかり .◯( ´∀` )◯ 戦えモナー 勇気のしるし 戦えモナー 勇気のしるし \ / |⌒I、│ 正しいこころが 明日をひらく みんなの願いが 2chを救う (_) ノ AA戦士 オマエモナー! AA戦士 オマエモナー! ∪
1÷9×9は1だ。 でも0.999999…でもよいと主張する人がいる。 俺は分数表記と小数表記は等価ではないと思うんだが。 1/9=0.111111… というのは限りなく近い値は=で結べるということが前提にあって これは証明する対象であるはずの 0.999999…=1 と同じ意味だと思う。 つまり証明しなければいけない事柄を 証明の根拠に用いているのではないか?
171 :
Nanashi_et_al. :2001/08/21(火) 07:36
また、無限の概念の無い奴が来たよ。ハァ
172 :
Nanashi_et_al. :2001/08/21(火) 08:05
>>170 >限りなく近い値
ハア? なんすかこれ?
0.99・・・は完全に1に等しいんですけど
>>171 ちがうちがう、生半可に無限なんて概念があるからだよ。
足りないのは極限という概念。
無限を排除できるのがεδ論法のありがたみだろう?
それに
>>170 は結構いい線突いていると思うよ。
「限りなく近い値は=で結べる」というのを、
「極限値がその値になる」と読み替えれば筋は通っている。
1=0.99999…… も 1/9=0.11111…… も同じレベルの問題。
1/9=0.11111…… を根拠にするのはあまり適当ではないね。
良く考えたら、ここまでの過去ログで、 1≠0.99999…を証明した人はいるけど 1=0.99999…を証明した人はいないんだよな… まあ、背反だから1=0.99999…は証明できないんだけどね
>>174 わざわざ書くのもバカらしいけれど
0.999999……
=lim[n→∞]Σ[i=1,n]9*10^(-i)
=lim[n→∞](1-10^(-i))
=lim[n→∞]1 - lim[n→∞]10^(-i)
=1−0
=1
lim[n→∞]10^(-i)=0の証明
任意のε>0に対して、 i=[1/ε]+1とおけば
1/ε<i<10^i および−ε<0<10^(-i)より
−ε<10^(-i)<ε とできる
従ってlim[n→∞]10^(-i)=0
>>175 確かにその場合には成り立つかもしれないけど、
1≠0.99999…が成り立つ場合があるから、
すべての場合について1=0.99999…は成り立たつのではないので
1=0.99999…とは言えませんね
「1=0.99999」と言う人と「1≠0.99999」と言う人がいますが、 仮に両方が成り立つと仮定しても(条件は異なる) 「1=0.99999」と言うためには、条件内のすべての場合について 「1≠0.99999」が成り立ってはならないので、 すべての条件・場合については「1≠0.99999」が正しい。 ■■■■■■■■■■■■■終了■■■■■■■■■■■■■
「その場合」ってどの場合よ?
あと、 0.9999……≠1 だと言うならば、 0.999…… と 1 の間にはいる数を教えてくれ。 実数は連続だから、 異なる2つの数の間にはいる数が必ず存在するはずだ。
180 :
Nanashi_et_al. :2001/08/21(火) 17:17
>>179 これがトドメだな。
オレも知りたい。
0.9999……≠1 を主張する人、教えてくれ。
181 :
Nanashi_et_al. :2001/08/21(火) 18:06
0.9999……中略……95じゃないの?
おーい誰か
>>181 にこずかいでも渡してやってくんな
1/99999…=0.0000… 0.0000…=0 0*99999…=0 1=0 ?
184 :
181 :2001/08/21(火) 18:43
185 :
Nanashi_et_al. :2001/08/21(火) 18:48
>>184 いいから、いいから。
な?ガムあげるからオウチ帰んなさい
187 :
終了 :2001/08/21(火) 21:02
>>179 0.9999…と1の差は無限小です。
ここで、|無限小|≦|のすべての実数|と考えると、
0.9999…と1の間にはいる実数はありません。
だから、
>>179 の定義に従うと無限小は実数ではありません。
また、0.9999…も実数ではありません。
結局、「0.9999…≠1」となりますが、
0.9999…の値を実数に丸め、2つの値を実数として比べると、
「0.9999…=1」となります。
■■■■■■■■■■■■■終了■■■■■■■■■■■■■
188 :
Nanashi_et_al. :2001/08/21(火) 21:41
>>187 ヴァカ!
>0.9999…と1の差は無限小です。
こんな仮定をするから間違えるんだよ!
189 :
Nanashi_et_al. :2001/08/21(火) 22:05
1/3 + 2/3 = 1 1/3=0.3333… 1/2=0.6666… 1/3 + 1/2 = 0.9999… = 1
190 :
189訂正 :2001/08/21(火) 22:06
1/3 + 2/3 = 1 1/3=0.3333… 2/3=0.6666… 1/3 + 1/2 = 0.9999… = 1
もうやめたら・・・
193 :
Nanashi_et_al. :2001/08/21(火) 22:32
******************************************************************** 結 論 ******************************************************************** 結論:0.99999…(循環)=1である。 証明) この議論のメbイントは「極限」という概念を採用するかしないかである。即ち、 採用:0.9999…=1 不採用:0.9999…≠1 である。 ここで「極限」の概念を採用しないといけない理由を示す。 =================================================================== かめたん:毎時1キロメートルで進む。 うさぎ :毎時10キロメートルで進む。 時刻=0でかめたんがリード。かめたんは位置A0にいる。 -------------------------------------------------- うさぎが位置A0に到達。かめたんは少し進んで位置A1へ。 うさぎが位置A1に到達。かめたんは少し進んで位置A2へ。 うさぎが位置A2に到達。かめたんは少し進んで位置A3へ。 うさぎが位置A3に到達。かめたんは少し進んで位置A4へ。 (以下繰り返し) もし、極限の概念を用いなければ永久的に追いつけない。 これは明らかにおかしい。よって、極限の概念は採用。 ===================================================================
書き込む人は各々何らかの方法で 「0.999・・・とはどういうものだとして自分は説明するつもりか」 を示してよ 計算したり調べたりするからには0.999・・・とはなにかを明確にしてよ 当然のことでしょ ex.) 0.9 0.99 0.999 という数列の極限値
アキレウスと亀のパラドックスをなぜここで出す
>>181 しつも〜ん
0.9999…99 は 0.9999…… と比べてどちらが大きいですか?
0.9999…99 と 0.9999……95 を比べたら?
197 :
Nanashi_et_al. :2001/08/21(火) 23:37
哲学者とか名乗ってる粕達に書かせてみたいスレや。とりあえず理系どうしで こんなふるい問題扱うのやめれ
198 :
Nanashi_et_al. :2001/08/22(水) 00:13
>>193 あほか
極限のことをよく理解していない人いるようなので確認。
(1/∞)や lim[n→∞](1/n) について正確に考えると、
lim[n→∞](1/n)は実数ですが(1/∞)は実数ではありません。
そして、lim関数は無限小を無視して実数として表すことのできる関数です。
つまり、0.9999…とは、実数1-lim[n→∞](1/n)ではなく、
1-(n/∞)を表しています。
そして当たり前ですが、実数に無限小を加えた数においては、
0.9999…≠1となります。
大学生以上なら、これくらい分かるでしょ?
199 :
Nanashi_et_al. :2001/08/22(水) 00:23
>193 極限の基にある連続性を認めることで1になるんだよ。 証明で極限を持ち出すからといって、そこまで必要な訳じゃない。 >196 ・・・ は数学的な表現ではありません。 自明な場合に略して書いてるだけです。
200 :
Nanashi_et_al. :2001/08/22(水) 00:49
よくわからないのですが 実数と実数以外の和、差はどう定義されるのですか? 実数同士の演算と同じ扱いなのですか? 一般教養レベルで自明のことなんでしょうか? >198
201 :
Nanashi_et_al. :2001/08/22(水) 00:51
>>198 なにをいっているんだかさぱりわかりません。
一応情報科学科卒業していますが。
実数に無限小をくわえた数ってなんですか?
数体系のことだと思うと、non standard analysisのことかな..
やっぱ情報科学の奴は頭悪いな(藁
203 :
Nanashi_et_al. :2001/08/22(水) 00:57
初めてここ読みました。
考えてみると、難しいねぇ。
あやしい意見から説得力のある証明までいろいろだけど、なんか
0.99999999…=1
で正しいというところに落ち着きつつあるということでいいんでしょうか?
ちなみに
>>193 はあやしいほうね。
204 :
Nanashi_et_al. :2001/08/22(水) 01:03
0.99・・・という「記号」を有理数列a_n=Σ[k=1〜n]9*10^(-k)の極限として 捉えてるのであれば、それは実数で1と等しい。 この解釈で0.99・・・≠1と言ってる人はただのドキュソ
198はただのドキュソ
206 :
Nanashi_et_al. :2001/08/22(水) 01:07
>>198 普通0.9999・・・・は0.9、0.99、0.999・・・の極限として考えるだろ
なんでわざわざひねくれて考えるんだ?
実数に何を加えようが0.999・・・が実数である以上=1となる
207 :
Nanashi_et_al. :2001/08/22(水) 01:08
なるほど。
>>206 実数に何を加えようが
↓
実数という集合にに何を加えようが(例えば±∞)
211 :
Nanashi_et_al. :2001/08/22(水) 01:13
>>206 0.9、0.99、0.999、・・・の極限値は厳密に1
高校で習ったでしょ?
212 :
Nanashi_et_al. :2001/08/22(水) 01:16
チョットキイテミタイ 数学専攻の人いますか?
215 :
Nanashi_et_al. :2001/08/22(水) 01:18
>>204 あほか
0.99・・・という「記号」が有理数列a_n=Σ[k=1〜n]9*10^(-k)の極限の分けないだろ、
おまえは、lim[n→∞](1/n)=0.99・・・
と習ってきたのか?(プ
217 :
Nanashi_et_al. :2001/08/22(水) 01:20
>>215 >〜極限の分けないだろ
定義なんて人それぞれ。あんた数学界の神か?
218 :
Nanashi_et_al. :2001/08/22(水) 01:21
>>212 >>206 は暗黙のうちに
0.999・・・を実数に置き換えているだけ、
そのくらい気づけ
lim[n→∞](1/n)=0.99・・・ ハァ?
220 :
204 :2001/08/22(水) 01:22
>>215 こうゆうのが出ないように204では「捉えてるのであれば」と書いたんだけどなあ
他人の受け取り方ってのはわかんないもんだねえ
221 :
Nanashi_et_al. :2001/08/22(水) 01:23
>>217 >定義なんて人それぞれ
それじゃ、何でもありかよ!
222 :
Nanashi_et_al. :2001/08/22(水) 01:24
>>218 だから普通はって書いてあんじゃん・・・
それが嫌なら別の定義で話を進めりゃいいだろ
こいつなんでこんなにバカなんだろ?
223 :
Nanashi_et_al. :2001/08/22(水) 01:26
******************************************************************** 結 論 ******************************************************************** この板の住人の頭では理解不能と思われる
224 :
Nanashi_et_al. :2001/08/22(水) 01:27
>>221 そうだよ。学部で使う教科書ですら概念の定義なんて異なってることがあるだろ?
高校くらいだと混乱しないようにだいたい揃えてるだろうけど
225 :
ア :2001/08/22(水) 01:28
∧_∧ / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ヤ (´ー` )<終わるな、このスレ...。 レ / \ \________ ヤ⊂/ \つ レ | | | (__)_)
とにかくみなさん、落ち着いてください。
******************************************************************** 結 論 ******************************************************************** なんでもあり
228 :
Nanashi_et_al. :2001/08/22(水) 01:29
>>221 を見てやっとこいつの正体がわかった
間違いなく学部以下だ
定義が一貫してるとでも思ってるなんてどうしようもない
私の下腹部に注目
______ | 丶 / / ̄ ̄ ̄ ̄ ̄ ̄| |_ヽ______| / ━ ━━ ヽ:::::| ゝ(::)> , <(::) > |::::| ああ、ガムやるよ | / ヽ:) ( .(o_o) / ) _ll_ ) / | l::::::::::l / 丶  ̄ ̄ / 人ヾ __/| ) / \__/ \
231 :
Nanashi_et_al. :2001/08/22(水) 01:31
>>221 クン、「なんでもあり」だからってそれが流通するかどうかは別問題だし
もちろん矛盾があったりものすごく使いにくい定義だったら誰も使わないからね
なんでもあり=全て正しいなどとは思わないように
::::::::::::::::::::.................. ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::............ :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::............ ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::.............. ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::___::::::::::::::::::::::::...... ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::/ ̄ヽ::::::::/ ̄\:::::::::::::::::::......... :::::::::::::::::::::::::::::::::__:::::::::::::::/  ̄/:::::::::: ̄:::::::::::\:::::::::::::::::::::::::::::::::......... ::::::::::::::::::::::::::::::::::::::::::::::ヽ::::::::|:::::::::::::::::::::::::::::::::::::::::::::ヽ:::::::::::::::::::::::::::::::::::::::::::::::::::: ::::::::::::::::::::::::::::::::::::::::┌'⌒ヽ:::|:::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: :::::::::::::::::::::::::::::::::::::/ ━┓| ヽ ,_ヽ:::::::::::::::::::::::::::::::分かった・・もう何も言うな。 :::::::::::::::::::::::::::::::::::::| ━ ヽ/ \_:::::::::::::::::::::::::::::::::::::::::::::::::::::::::......... ::::::::::::::::::::::::/⌒ヽノ 〈_,、 |:::::::::::::::::::::::::::::::::::::::::::::............... ::::::/ニヽ::::::\ヾ ┤\ /ヽ:::::::::::::::::::::::::::::::::::::::::::::::: ::::::| ニ⊇::::::ノ ̄、 _|| / \_::::::::::::::::::::::::::: ::::::,ー―'::/  ̄ ̄ ̄ ̄:::: ̄ ̄\  ̄:::::::::::::::::::: /:::::::::::::::::::\_ _/\::::::::::::::::::::::::\ _/::::::::::::::::..... ::::::::::::::::::::::::::::\  ̄() /::::::::ヽ::::::::::::::::::::::::: ̄:::::::::::::::::::::::::::::::::::::::......... ::::::::::::::::::::::::::::::::\ /
結局は定義の扱いも知らない夏房だったのか(ププ!
211が荒らしてるもよう (´ー`)キエナ
235 :
Nanashi_et_al. :2001/08/22(水) 01:35
ようは高校生が喚いてただけ、と・・・
∩ _∩ ( ´ー`) <おまえらも暇なやつらだなあ。 ( ) ||| (___) _)
で、結論は?
* o ∵.:∵.∵ o * o :∴:.: : .:: ::∴ o * +o ∴:::.. ..:::∴ o + * o ∴::. /■\ .:: ∴ o * o ::::.. ( ´∀` ) ワショーイ + +o ∵::.... .: ::∵ o * * o ∵:.: :.. :. .: :∵ o + + o ∴∴∴∵∵ o * * + o o o o + * + + * * * ウン /■ヽ (::::::: ) /■\ /■\ /|::::::: ヽ /■\/■\ /■\ /■\ (::: し し \ ヨクミエルカイ? /■\ /■\ :) (:::::::: ) (:::::: ) ( ::::::::: )( :::::::: ) (:::::::::::: ) |::::: |::: | (_(:__)
下腹部に再注目
240 :
Nanashi_et_al. :2001/08/22(水) 02:23
0.0000000・・・・・・= 0 ?
******************************************************************** 結 論 ******************************************************************** 0.999…=( ´∀` )と定義すると、 0.999…=( ´∀` )
242 :
Nanashi_et_al. :2001/08/22(水) 02:27
>>240 過去レスくらい読め。
「A=B?」と聞くからにはAとBの定義がなければ意味がない
0.000・・・とゆう記号を自分がどうゆうふうに理解してるのかを
示さなければ質問は成り立たない
244 :
Nanashi_et_al. :2001/08/22(水) 02:28
>>241 それはそうだけど今の場合はそういう話じゃないからね
それはわかってるよね?
245 :
Nanashi_et_al. :2001/08/22(水) 02:31
-n lim 10 っていくつ? n→∞
246 :
Nanashi_et_al. :2001/08/22(水) 02:32
出ない -n lim 10 っていくつ? n→∞
放置推奨
248 :
Nanashi_et_al. :2001/08/22(水) 02:39
99999・・・・・・って3で割り切れるの?
250 :
Nanashi_et_al. :2001/08/22(水) 06:29
>>248 それは無限の数? 無限はどんな有限の数で割っても無限です。
0.99999…=1が成立するように=を定義すれば0.99999…=1だ。 証明するのに計算をする必要はない。 1/3=0.33333…とかを持ち出して計算すると 1/3=0.33333…自体が0.99999…=1と同じ定義の=を使うので意味ない。
限りなくDカップに近いCかっぷは巨乳とイコールであるか否か
253 :
Nanashi_et_al. :2001/08/22(水) 11:27
>>251 =の定義? 数学にはそんなものないよ
と、意地悪はやめておくけど0.99・・:=1と定義するわけじゃないんだよねえ
0.99・・は有理数列の極限として定義する。そうするとそれは実数であって
値はたまたま1になるってこと。
実数を定義するのに一々値まで持ち出したりはしない
に必要なのは値じゃなくて収束性だけ。
>>253 最後の行は「定義に必要なのは〜」に訂正
255 :
Nanashi_et_al. :2001/08/22(水) 14:09
色即是空 空即是色
>>253 同値関係の定義をいいたいのかな?
だったらいいんじゃない
あんまり意味がないと思うけど
>>251
257 :
Nanashi_et_al. :2001/08/22(水) 15:36
>>252 CカップとDカップの差を軽く考えてるんじゃあるまいな
258 :
Nanashi_et_al. :2001/08/22(水) 15:37
「カップ勾配の不連続性理論(2001)」
259 :
Nanashi_et_al. :2001/08/22(水) 22:12
同値関係(=)の定義 (1) A=A (2) A=B ならば B=A (3) A=B, B=C ならば A=C
260 :
Nanashi_et_al. :2001/08/22(水) 22:28
明らかに 0.9999.... > 1 は誤り。 0.99999.... < 1 と仮定する。 実数の連続性より、0.99999...<X<1 を満たす X が存在する。 ここで、X = 0.1*A1 + 0.1^2*A2 * 0.1^3*A3 ... と表記する。 (ただし、An∈{0,1,2,3,4,5,6,7,8,9} ) すると、0.999...<X となるためには、 9<An を満たす n が存在しなければならないが、 そのような n は存在しない。 よって背理法より、0.999...=1 □
>>259 その3つをみたす関係の総称じゃないの?
同値関係自体はそれぞれ定義できるでしょ
262 :
小学生 :2001/08/23(木) 06:45
>実数の連続性より、0.99999...<X<1 を満たす X が存在する。 ってことは1の直前の数とか1に限りなく近い数なんてものはないってことなの?
263 :
Nanashi_et_al. :2001/08/23(木) 12:43
かたぎり背理
>>260 >ここで、X = 0.1*A1 + 0.1^2*A2 * 0.1^3*A3 ... と表記する。
そのように表記できる保証は?
266 :
Nanashi_et_al. :2001/08/23(木) 14:00
267 :
Nanashi_et_al. :2001/08/23(木) 16:27
0.9999... is a special number. It is almost equal to 1. In fact, it is so close to 1 that you cannot express it as a fraction. (Like, 0.3333... = 1/3. 0.9999... has no fractional equivalent.) The only good way to write the number 0.9999... is in limit-form, like this: (1) x=0.9999...=(a-epsilon)/a ; epsilon approaches zero multiply (1) by 10: (2) 10x=10*(a-eps)/a=(10*a-eps)/a (10*eps=eps since eps approaces zero) subtracting (2)-(1) gives 9x=(9*a-2*eps)/a=(9*a-eps)/a divide both sides by 9: x=(a-(eps/9))/a=(a-eps)/a which is back where you started, and everything is OK.
∧__∧ //~⊇ ( ´_ゝ`) ./ / /. ^ヽ-’ ./ ⊆ヽ_ノ| |`ー-' ⊂ー‐-、 ふーん ∩ `ー ―| | `ヽ | ∩_∩ // / l⌒lヽ ∧__∧ || ( ´_ゝ`).// / /"`ー|__/-’ (´く_` ) |.| ふーん (二二二_/ く ( と`ー、,/ `'.ノ ヽ ヽ二つ ヽ | `ー、__ノ、 ) ___|___|_______ _|.|________( x ) \ \ ( l \.  ̄ ̄ ̄ ̄ ̄\ ||\ \  ̄ \ \ ||\|| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄|||| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄|||| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄|| || || ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄|||| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄|||| ̄ ̄ ̄ ̄ ̄ ̄ ̄
いまだに0.999・・・を明確にせずに書く奴らはなんなわけ? 定義を示せって言うと、数学オタだとかそういう言い方するひとがいるけど 定義をしめさずに物事を論ずる事ほどばかばかしいことはない と思うんだけど。数学やってなくったって普通定義ぐらい示すよ。
先日、勤務先のスーパーにて。 警備室から「万引きを捕まえたんですが、、、あの、とにかく来ていただけ ますか?」 ナンダよ、万引きなんて俺には関係ないのに?と思いながら警 備室に行くと、 いましたよ、モナーが! じっとうつむいているモナーの前には万引きしたと思われる商品が。 「あ、ほんとにいたんだ?」思わず口を出た言葉に気づいたモナーが私を見 るなり、 「ウエーーーン」と泣きながら駆け寄ってきました。そして私に 抱き着いて、 5分ぐらい泣いていました。突然の出来事に私はすっかり 固まってしまい、 ただモナーを抱きしめてやるのが精一杯でした。 やがて落ち着きを取り戻したモナーは、警備さんをきっと睨むと、 「モナーは治外法権なの!」 と叫ぶと同時にトテテテテ、と逃げていきました。 あっけにとられている警備さんを置いて、私はモナーを追いかけておも わず叫んでしまいました。 「あれやってくれ!」 トテテテテ キューッと効果音つきで止まったモナーは、 満面の笑みで一言、 「オマエモナー」 ああこんな幸せな気持ちになったのは初めてです。
271 :
Nanashi_et_al. :2001/08/23(木) 23:17
272 :
Nanashi_et_al. :2001/08/23(木) 23:43
273 :
Nanashi_et_al. :2001/08/23(木) 23:46
274 :
Nanashi_et_al. :2001/08/24(金) 02:01
>>274 ドキュソの脳ミソが頭痛に襲われるのか?(藁
276 :
Nanashi_et_al. :2001/08/24(金) 23:43
1=0.9999... ですよー。みなさん。
277 :
工学系 :2001/08/25(土) 06:49
>>272 それに納得がいかないからこれだけのレスがついてるのだと思うが。
特に
0.111111・・・・・・=1/9
ってのは、0.9999・・・・=1ってのと同意だしね
まぁ、俺は0.999999・・=1で十分な信頼性出せるから良いんだが
278 :
Nanashi_et_al. :01/09/02 06:38 ID:z1vwn0Pk
ワケわかんねーこのスレ。 どうみても 1≠0.999... じゃねーか。 1>0.999... だろ?
いいかげんこの手のスレはやめてほしいよね. DQNには文系はいくらいっても無理なんだから. 0.9999...=1 -----------------------終了----------------------------
281 :
Nanashi_et_al. :01/09/05 22:44 ID:ySq1Kazo
1=0.9999... ですよー。みなさん。
282 :
Nanashi_et_al. :01/09/06 08:16 ID:gotLegEk
>>263 そういうの大好き。
砂漠のオアシスっていうか底なし沼。
284 :
Nanashi_et_al. :01/09/13 00:28
0.5は四捨五入すると1ですよね? では0.49を四捨五入すると0ですよね? では0.499を四捨五入しても0ですよね? …と続けて0.4999.....を四捨五入すると0になります。 0.5と四捨五入すると1、0.499...を四捨五入すると0。 それじゃあ、0.5≠0.4999.....???(‥;)
285 :
Nanashi_et_al. :01/09/13 00:50
数直線で書こう。
すると1は1と書かれたポイントに黒丸で表し
0.999999…は1と書かれたポイントに白丸で表す。
つまりこの二つは違う。
>>1 が言っているのは
数直線で表していい連続な値なのだろうか。
>>285 >すると1は1と書かれたポイントに黒丸で表し
>0.999999…は1と書かれたポイントに白丸で表す。
そんな自分ルールを持ち出されても…
ほんとは、0.9999・・・の 「・・・」の(省略の)部分をどう読むかってことなの。 それは人によって変わる。 でも、そんなこと言っちゃお話にならない。 「だから」みんな決めたがるの。こうだ、って。 1か、1でないか、どちらかであると「みなす」こと、 それが重要なんだよ。 だから「なぜ」っていう問いは、絶対に満たされることは ないんだ。だってこう考えろ!っていう答えしか 与えないから。だれもかれも。(そしてそれが全てである) これは前提であって、疑いをさしはさめる種類の問いじゃないんだ。 納得いかないっていうの自体が、問題にしてもらえないでしょ。 自分でも何が問題なのかよくわからないし。 (そして自分もやがては忘れてゆく)
問い原文「0.999999……は1と等しい?」 翻訳「どうして0.999999・・・…を1と同じとみなすのか?」 答え原文「あたりまえじゃん。だってうーたらかーたらだから」 翻訳「飲み込め!疑っちゃいかん!だって当然そうであるはずなんだから ただ叩き込む!そう考えるんだ!でもってなんでと聞かれたら うーたらかーたらだからと答える!OK?」 解説「答えは期待できません。(それで正常) 1+1=2ってどういう意味?という質問と同じだから。 (こんなのに答えてたらきりがなくなる)」
1と0.999999… が違う数なら数直線状に別別の点として記すことができるはず。 ということは、その点間に新たな点をとれるはず。 したがって、点をとれないことは1と0.99999…が等しいことと等価である。 あと、俺が高校生のとき思いついたやつ↓ 0.9999 ____ 1)1.0000 0 ___ 1 0 9 ___ 10 9 ___ 10 … こりゃちっと下らんね。 とにかく1と0.99999999999 は等価。
ずれた(爆笑 自分で考えてくれ(w
>>286 中学校あたりで習ったでしょ?
数直線で
≦、≧は●
>、<は○使って表すの。
まぁ本気でレスしてるわけではないから。
>>289 数直線で表す連続な数って線であって、
点が集まってできてるわけじゃないから
新たな点がとれるかどうかなんてナンセンスじゃないの?
0.99秒と1秒の間にはいくつ秒が存在するのかって言ってるのとおんなじでしょ。
(たとえなのでプランク定数持ち出すの禁止)
>>283 〜
>>290 てめぇらしつこいぞ!
定義によって、0.999999…=1にも0.999999≠1
なるって結論が出てるだろ!
過去ログ読め!
実数では、0.999999…=1 極限では、0.999999…≠1 世界貿易センターが崩れて大変なんだよ、早く寝ろ! 終了。
極限でも「=」。 カナリ陳腐な話だけど、アキレスはカメを抜けなくなるぞ。
>アキレスは亀を抜けなくなるぞ ↑(以下略)
なんだい、まだ納得行ってないのかい。 0.999999…=1 だよ。
297 :
Nanashi_et_al. :01/09/13 08:26
>>291 …いや、だからね。黒とか白とかはどうでもよくて
「数直線で書こう。
すると1は1と書かれたポイントに黒丸で表し
0.999999…は1と書かれたポイントに黒丸で表す。」
これが正しい文章。勝手に1>0.999…にしないでってこと。
>0.99秒と1秒の間にはいくつ秒が存在するのかって言ってるのとおんなじでしょ。
全然違いますが。
>294 バカは氏ね!
混乱の元はいわゆる仮無限と真無限の違い。 極限値の計算などでnなどを無限大に増大させていくのは仮無限。 一方、目の前にある直線に含まれる点の個数などといった、 既に完成されている静的な無限が真無限。 0.999999…は真無限にあたり、1に等しい。。 9を並べるのは仮無限を通して真無限を求めようとしているのに過ぎない。
>294 まともな話だとおもうけど。 現実世界ですら収束が確認できる良い例じゃんー。
>>299 てめぇの定義で勝手に話を進めるな!
氏ね!
302 :
Nanashi_et_al. :01/09/13 23:20
悪いが、0.9999n は、数学的(算数かも)には、 間違いなく 1 ではないでしょ。 高校で学んだはず・・・ なんでこのトピックが盛り上がるのか謎。
なんだい、まだ納得行ってないのかい。 0.999999…=1 だよ。
なんだい、まだ納得行ってないのかい。 0.999999…=1 だよ。
0.999…≠1派は間違った数学的帰納法を使っている人が多いね 命題A(1)が真 命題A(n)→命題A(n+1) この二つから導かれるのは、 任意の自然数nについてA(n)が真ということであって、 A(∞)が真とはかぎらない。 ∞は自然数ではないから。
308 :
Nanashi_et_al. :01/09/14 07:13
1=0.99……+0.00……∞1 ってことにはならないのかな? 最後の1は定義できないもんなの? ログにある証明は納得はできるんだけどさ。 国語だったら1に「限りなく近い」って時点で1ではないって事になっちゃうけど 数学だと等しくなっちゃうんだね。だからおもしろいんだけど。
あ、0.00……は結局=0だから 1=1+0ってことになっちゃうのか?
0.999999…において、 9を無限に並べていってると思っている人は、 ≠1。 極限値だと思っている人は、 =1。
つうか、等しくないと困るだろ。
どうでもいいって奴もいるだろうけど。
>>305 定義か・・・。難しいな。
誰か、0.999999…と1の定義を。
>>299 仮無限と真無限ってのは古い言葉だな。
可能無限と実無限って言った方が分かりやすい。
>>302 1=0.999…は高校で極限やるときに習う。
>>310 9を無限に並べたものが極限値ですが。
数学的にいうと可能無限ってのはどう表現すればいいんだろう。 「無限と書いてありますが実は有限で止めてあります」 こんなところ?
315 :
Nanashi_et_al. :01/09/14 16:21
>>313 まったく....ここはヴァカばっかしだな。
1=0.999....は厳密に「等しい」のであって極限が等しいという意味じゃないよ
>>315 「=」は厳密に「等しい」と言う意味だけど、「0.999…」は極限値なのだ。
だから「極限が等しい」という表現で全然間違ってないと思うけれど。
0.99999…と9を増やしていっても有限個しか並べてないなら1より小さい。 無限に並べているなら1に等しい。 つまり、極限が等しい。
1*1*1*…は1ですか?? 0.99999…*0.99999…*0.99999…*… は1ですか???
>>315 なんのこっちゃ。1と0.999…は厳密に等しいですけど何か?
「厳密に等しい」と「極限が等しい」の違いを教えてくれ。
人をヴァカよばわりする位だから簡単だろ?
>>318 等比数列の極限値の問題に変化しただけで、
結果は0.999999…が1と等しいかどうかで決まるような。
そうか。もし、1>0.9999999…と言い張るなら、
0.99999…*0.99999…*0.99999…*…は、
0にも1にもならないことを認めないといけないわけか。
>>319 同感。
「厳密な定義」という言葉はそもそも厳密に定義できないだろう、
などと言ったら脱線か。
321 :
Nanashi_et_al. :01/09/14 20:49
(1+h)^(1/h) h->0 はeになるそうです こんな書き方でわかりますか すると1の無限乗は1以外の値になるのかな 頭痛い
322 :
Nanashi_et_al. :01/09/14 21:22
>>321 1^(1/h) = 1 (h→0)
だが、
a^b (a≠1 ∧ a→1 ∧ b->∞)
の極限はaとbの関係によって無限大にもなれば0にもなる。
323 :
Nanashi_et_al. :01/09/14 21:28
もちろん、0になる場合は a<1 だけどね。
324 :
ドキュソプラズマ :01/09/14 23:33
自然対数の意味わかってる?(ワラ
実数の数直線を「1」で切断すると、片方は端がとがっていて、 片方は端が丸まっている。(実数の定義) 尖っているほうが1で、丸まっているほうは0.999... 切断は「1」でしたのでこれらは同じものでなくてはいけない。 ∴1=0.999...
327 :
Nanashi_et_al. :01/09/15 02:17
>>120 と
>>123 の言っていることが理解してからにしてくれ。
そーすれば、1=0.9999.... だということが分かる。
328 :
ドキュソプラズマ :01/09/15 02:22
はっきりいってさ、哲学的には1=0.99999… でも1>0.999999… でも、 どっちでもいいんだよ。その人の解釈のもんだいなんだからさ。 だけど、数学的には等価じゃなきゃいけないと思う。 何気ない整数一つ一つとかただの足し算とかだって、意識することはなくても、 れっきとした定義の下に成り立ってるわけで、その積み重ねの結果1=0.99999… が 高校程度の数学で証明されることはしってるでしょう。>否定派の方 これを否定することは数学の諸定義を否定することと等しくないかな。 否定はいいが、哲学上にとどめてほしい。
>>328 数学的により厳密に考えるなら等価ではないと考えるべきだろ、
ボケが。
330 :
ドキュソプラズマ :01/09/15 03:13
331 :
Nanashi_et_al. :01/09/15 03:14
>>329 厳密に等価だ(断定)
327 名前:Nanashi_et_al. :01/09/15 02:17
>>120 と
>>123 の言っていることが理解してからにしてくれ。
そーすれば、1=0.9999.... だということが分かる。
無限小は0とすればそういうことなんでしょうが
333 :
Nanashi_et_al. :01/09/15 11:19
334 :
Nanashi_et_al. :01/09/16 13:43
そもそも 0.99999999.......は実在するのか? リミットの式上で考えれば 1=0.9999,,,,,,,,,, だけど 実在するしないで考えると 1(実在する)=0.999999999..........(実在しない) で成り立たない気もするが
>>332 無限小の大きさは厳密にゼロです。
>>334 数学では矛盾無く定義できるものは「実在する」んだよ。
>>334 実在する、というのが実無限の立場です。
例えば、円周率がとある数値を持っている、とするのも実無限の立場となります。
>>335 数学の世界では、「実在」は公理に何を持ってくるかで決まります。
0.9999999999…<1を前提にした公理系を構築しようとしたとき、
その体系が無矛盾であることを示せれば、
その公理系において0.9999999999…<1は正しいということです。
しかし、多くの方が指摘されているように、
実数論の範囲では極限値に対して実在を認めているのも事実です。
つーか、このスレッドもう誰も見てないか。
339 :
Nanashi_et_al. :01/09/20 23:26
>>338 そういう話は正しいのだが、理解できない奴が多い。
0.99999...=1 を理解できないヴァカが多いのはその所為。
/ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ∧η∧ < ダマレコゾウ! (,,・Д・) \__________ ミ__ノ
341 :
Nanashi_et_al. :01/09/21 08:55
問題は 無限=無限+1 をなにも考えずに認めてるとこだね でも都合のよいところでは 無限<無限+1 を使ってるのよね
X=0.999… (1) 両辺を10倍する 10X=9.999… (2) (2)から(1)を引く 9X=9 <--- ここがちがいます 9X=8.999… です でも最後の数字が9か1かは判定できません
344 :
Nanashi_et_al. :01/09/21 12:45
>最後の数字
>>343 9X=8.999…というのは違うような気がします。
でも、この証明はこの引き算の所でごまかしているのは確かだと思います。
はい間違えです 9X=8.999…91 です …は無限につづきます
348 :
Nanashi_et_al. :01/09/22 00:09
無限=無限+1 これは正しいので、 1=0.9999.... です。 ホントですってば。
この違いが問題になるのってどういうときなの・・・・?
352 :
Nanashi_et_al. :01/09/22 19:49
うわー、このスレまだ続いてるんだー みんなもしかして暇? つーか2,3人で回してるんだろうけどさ
このレスは、無限巡回に入った様です。
ばかうけ
356 :
Nanashi_et_al. :01/09/23 15:22
こうやって見ると∞の概念が数学の中でもいかに特殊なものかよくわかるね。
数学じゃなくて、厨房の頭の中で特殊なのです。
358 :
Nanashi_et_al. :01/09/24 00:31
∞=∞+1 は正しいですか?
>>358 素人が入っちゃおけないかもしれませんが、お許しを
∞=∞+1 は成り立たないのじゃないでしょうか
そもそも、無限大という数値は存在しいない(だろう)から
∞=∞
と定義できないのでは
360 :
Nanashi_et_al. :01/09/24 02:17
無限の数に有限の数を足し引きしても、やっぱり無限だよ。 イコールで表して良いかは・・・ゴメン、知らない。
うなぎ+1 > うなぎ ですか?
点(何でもいいが)が無限に詰め込まれている箱があったとする。 これに、追加して1個の点は入るのか? 無限に詰め込まれているので、それ以上入りそうもない気がするが。 無限を有限の中に押し込めてはいけないとかあるのだろうか?
363 :
Nanashi_et_al. :01/09/24 10:55
実は無限にも種類がある。代表的なものは、可算無限と非可算無限という2種類。 可算無限は1つずつ順番に数えていくと、漏れなく全部数えられそうなもの。 非可算無限は1つずつ順番に数えていっても、どうしても漏れが出てしまうもの。 ちなみに、自然数の数は可算無限。実数の数は非可算無限。 続く。
364 :
Nanashi_et_al. :01/09/24 11:09
(無限の話をする上で、よく使われる無限ホテルの話・・・) 無限の部屋の数を持ったホテルがあり、その夜は満室でした。 そこに1人の旅行者がやってきて、泊まりたいことをフロントに告げました。 ホテルのオーナーは、部屋に居る人に次のように移動するように言いました。 1番目の部屋の人は2番目に移動 2番目の部屋の人は3番目に移動 : n番目の部屋の人はn+1番目に移動 そうすると1番目の部屋が空いたにもかかわらず、 全員が部屋に収まることができました。めでたしめでたし・・・ と思っていると、無限の客がやって来ました。 でも、ホテルのオーナーは冷静に対処をします。 1番目の部屋の人は2番目に移動 2番目の部屋の人は4番目に移動 : n番目の部屋の人は2n番目に移動 そうすると、今まで部屋に居た人は全て偶数番目の部屋に移り、 無限個ある奇数番目の部屋が全て空き、 全ての客は部屋に納まることができました。 めでたしめでたし・・・ ・・・というわけで、無限の数に有限の数を加えようが、無限の数を加えようが、 やっぱり無限なのでした。 (ちなみにこの話は、可算無限を前提にしております)
365 :
Nanashi_et_al. :01/09/24 11:43
ということは 無限の数 ひく 無限の数 は 0 だったり 1 だったり はたまた 無限の数 だったりするのだな
ばかうけ
368 :
Nanashi_et_al. :01/09/24 13:18
次は対角線論法のネタかな? 文章力のある人きぼんぬ
369 :
Nanashi_et_al. :01/09/24 14:34
>>366 理解できなくて逆ギレしてるの?
>>368 俺が書いてもいいけど、
ここは無限について語るスレじゃないからなぁ。
370 :
ドキュソプラズマ :01/09/24 16:02
てかまじむかついてきた。 一般の公理系において 0.999999999…=1 がなりたつこと、わかんねえやつなんていんのか!? もうDQNは消えろ!!!!!
372 :
ドキュソプラズマ :01/09/24 20:43
|0.999999999…|=|1| 0.999999999…<1 終了。
数学は純粋なものではない。 数字で表記する、あるいは述語記号で表記する、 という文法がある以上、そこに詭弁は入り込む。 実際、分数、小数、負の数は存在すらしない。
375 :
Nanashi_et_al. :01/09/24 23:35
まあ、1=0.9999・・ に文句つけてるのってただの厨房でしょ 学歴高いから賢いとはいわないけど、ちゃんとある程度のレベルの 大学とかで数学やった人でいまさら文句つけてる奴いるのか?
376 :
Nanashi_et_al. :01/09/25 00:07
1=0.999n と言って疑わない人の学歴が知りたいものです。 私は理系の院以上のレベルとしてはちょっと議論の質が・・・ 専攻も知りたいものです。 いいたいことは、 1=1・・・納得 1=0.999n・・・何故?0.999と書いてあるのが認識できないのでしょうか。
377 :
Nanashi_et_al. :01/09/25 00:16
結局、無限について語らないと 1=0.9999・・ をなぜ認めないやつがいるのか 理解できないみたいだぞ
結局、恣意性ということなんですよ。 数字を書いて、何を伝えたいのか、何を示したいのか、 ということです。立場や考え方によって、使い分ければ良いことです。 科学は、恣意性ありき、です。
--―――-- 、 /::::::::::::::::::::::::::::::::::::\ /:::::::::::::::::::::::::::::::::::::::::::::::\ |::::厂 ̄'''ー――一'' ̄ ̄|:::::| |:::| |::::| |:/ ____ /______ヽ:| /^''Yニ -=ニ・ニ>卅彡ナナナ ニY''ヘ | 久|ニ ー'´| `ー ニ|/ヘ| !.イ|ニ l| ニ|ヽ ヽ_|彡/ l|、_l 〕 ヽミ|_ノ / ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ |`<// v======v ヽヾ>| < おまえら数学をなめるのもいいかげんにしろ!! |:::::`<// ヽ___/ ヾ>'::::| \____________ | :l:::::::`< `――‐'′>'::::|:: | | l ::::::::::\__/::::::: l | / l ::::::::::::::::::::::::::::::: l
381 :
Nanashi_et_al. :01/09/25 01:36
>>379 君、文系? もしくはリアル厨房?
1=0.9999・・・ ですが、何か?
383 :
Nanashi_et_al. :01/09/25 04:23
>>376 >私は理系の院以上のレベルとしてはちょっと議論の質が・・・
まず日本語の勉強しろよ(藁
384 :
Nanashi_et_al. :01/09/25 04:28
無限については有限と違う振る舞いをするのがわかってない奴がいるな 相対論とかと同じで直感的な理解がしにくくて、ついてけなくなる奴が増えてくるところ 無限に続く数の一番下の桁がどうとかいってるし、その程度の奴がよくかけるな 1=0.9999・・・は当然だろ 院生でも馬鹿はいるからな
385 :
Nanashi_et_al. :01/09/25 04:30
>>376 2=1+1なぜ?1+1と書いてあるのが認識できなのでしょうか?(藁
386 :
Nanashi_et_al. :01/09/25 08:57
浅はかものめ X=0.999… (1) 両辺を10倍する 10X=9.999… (2) (2)から(1)を引く の場合 最後の桁が1だが途中は無限に続く少数と 考えたほうが自然じゃないのかな 0.999…を十倍したとたんに9の個数が一個増えるより
387 :
Nanashi_et_al. :01/09/25 11:46
>>384 死ねよバーカ
恥ずかしくないか?
自分がバカだと晒してるようなものだから、
もう2chで書き込みしない方がいいよ。
388 :
ドキュソプラズマ :01/09/25 12:16
この問題は本が出版されるくらいの話だけどさ、 あくまで数学的な解釈の範疇ならもう考察は不要でしょ… わかんない人は本屋でも行って数Vの教科書だの参考書だの購入すればー。
389 :
Nanashi_et_al. :01/09/25 13:44
>>388 数Vの程度の知識しか無いから
1=0.9999・・・
このような間違った認識をする。
頭の逝かれたヤツの意見があるなかで、 混乱している人も少なからず居ると思われる。 というわけで、混乱しているひとはこちらをご覧下さい。 www.hi-ho.ne.jp/yoshik-y/mathematics/m003.html
0.00000……と0.00000……1は等しい?等しくない? 等しくないと思った人。あなたは見かけに騙されています。 小数点以下1桁目は一致しています。 小数点以下2桁目は一致しています。 …中略… 任意の自然数nについて小数点以下n桁目は一致しています。 ですから、0.00000……と0.00000……1は等しいのです。
395 :
Nanashi_et_al. :01/09/25 18:02
言いたいことも分からなくないが、
間違った説明・誤解を招く説明は良くないぞ。
>>393 というわけで、
>>391 をご覧下さい。
396 :
Nanashi_et_al. :01/09/25 21:21
>>391 のリンク先の5番目に書いてある説明はわかりやすかった。
1 - 0.99999・・・ = (1/10)^n って考えれば良かったのか。
397 :
Nanashi_et_al. :01/09/25 23:12
キティー扱いされてしまったよ それならばもっと飛んでしまおう 0.00000……と0.00000……1が等しいかどうかの判定は 有限の世界では不可能なのです。
399 :
Nanashi_et_al. :01/09/26 00:09
1≠0.99999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999999
0.000…0001=0です。 …がついているからループしています。 永遠に0が続くだけです。 いくら執拗に0を並べたところで最後の1には、 永久にたどり着くことはありません。 無限も無も自然界には存在しない。 表記上のつじつま合わせです。
/∵∴∵∴\ /∵∴∵∴∵∴\ /∵∴∴,(・)(・)∴| |∵∵/ ○ \| |∵ / 三 | 三 | / ̄ ̄ ̄ ̄ |∵ | __|__ | < うるせー馬鹿! \| \_/ / \____ \____/
>>400 だとすると
0.00…01と0を比較することじたい馬鹿げてると
思うのだが。
でも >1 の証明を認めるには
0.999…
を10倍したものの
最後の数字は0なのか9なのかと
あほなことを考えてしまうのだけど
403 :
ドキュソプラズマ :01/09/26 15:10
>>390 はっきりいってさー、大学以上の知識あるからってかしこぶってるやつがそういうこと、
言うんだよね。だってこの命題って定義の取り方や公理系によって結果に違いがでるっしょ。
俺はあくまで一般的な数学のこといってんだよ。
このスレのお題がどうゆう状況下でのことを言ってるかはしらんけど、
そうやってかき乱さないでくれる?
やりかたによっちゃぁ 1+1=2だって成立しないんだからさー。
一般論でいこうよ、一般論。
おまえらアホか?
無限小=0のわけねぇだろ!
両辺に無限大を掛けてみろ!
>>403 一般論なんて数学的定義は存在しないぞ!
実数で話が進めたいのなら、はじめから実数だと宣言しろ!
>>404 無限小って何?無限大って何?
わたしゃ極限としての無限しか考えてませんが、
あんたはどういう体系で考えてるん?
無限なんてただの言葉。 無限は存在しません。 公理としては当然あります。 私たちは近似値で満足するしかないのです。
407 :
Nanashi_et_al. :01/09/27 01:45
>>406 おーい。君の考えは、1/9 = 0.111111.... を認めないってことだけど、いい?
408 :
Nanashi_et_al. :01/09/27 01:52
どうでもいいけどね この問題だけ切り離してもしょうがないしさ 都合のいいほうでいいんじゃない おれは=成り立つってことでいいや
409 :
Nanashi_et_al. :01/09/27 02:20
>>406 こいつみたいに、
自分の頭の中で勝手に実数だと定義をして話を進める奴ばかりだから、
話にならんな。
>407 1を9等分できるなんて本気で考えてる人いないです
411 :
Nanashi_et_al. :01/09/27 03:20
>410 数学者は本気で考えてます・・・
test
>>409 いや、だからさ。
あんたの考える実数以外の体系って具体的には何よ?
>>414 無限大、無限小は実数では無い。
そもそも、0.9999…と無限に続くものを、
強引に実数だと考えるのに問題がある。
416 :
Nanashi_et_al. :01/09/27 23:17
>>415 あんたは 1/3 = 0.333333・・・ を認めなくていいんですか?
>>410 >1を9等分できるなんて本気で考えてる人いないです
できるできないは、数学と関係ありません。
矛盾するか、しないかが重要です。
単なる10進表記の限界だな。
ちょうじゅんかいせき
419 :
Nanashi_et_al. :01/09/28 05:26
1=0.99999999999...は、判るけど じゃぁ「1未満」っていくつからなの? 1は1未満じゃないけど 0.99999999999...は1未満。 でも、1は0.99999999999...に等しい。 だとしたら、矛盾しまくりだし。
420 :
Nanashi_et_al. :01/09/28 05:53
>じゃぁ「1未満」っていくつからなの? 1未満で最大の実数は存在しません。 1に限らず、N未満で最大の実数は存在しません。 > 0.99999999999...は1未満。 これは誤り。
感覚的に 1.00000...=1って書き方は分かるけど 0.99999...=1は何で?って感じがする。 何で書き出しが、0.から始まるんだ?!
423 :
ドキュソプラズマ :01/09/28 09:59
>>421 以外にそうでもないと思うが。
強引に実数とするのがおかしいだのなんだの誰か言ってるが、
じゃあたとえば実数と実数の和は何で実数なんだ?
そんなもんそう暗黙の了解で決まってるだけにすぎないんだよ。
別にそうならないように定義して論理体系つくってもいいんよ。
ただ、実用性、発展性に乏しいからしないの。
日常的感覚にある程度そぐわって考えたがるからね、人は。
だから、無限の概念が出ると頭こじらすんでしょ。
線形非線形だったら線形とか、ユークリッドと非ユークリッドだったらユークリッドみたいに、
ある程度広く認知されている一般的な公理系でかんがえるなら、
1=0.9999999999999・・・ は絶対だよ。
416の言うとおり、出来る出来ないとか、実在するかしないかなんてどーでもいいんだって。
1=0.9999999999999・・・ を導くまでに定義してきたことや、そこから導かれた他の公理に矛盾しなけりゃいいんだって。
1≠0.999999999・・・ を頭ごなしに否定はしないが、通常の体系ではありえない。
叫びたいなら別の論理体系であることを同時に示さないと誤解をまねくよ。
数学の範疇で物事を言うにはね。
424 :
Nanashi_et_al. :01/09/28 12:41
>>421 どこがどのように間違えているの?
420の言っていることは正しいようだが?
>>423 んなこたぁない。
0.9999999・・・=1とは定義されていない。
それに、貴方が知らないだけで矛盾してますよ。
矛盾って…何?
427 :
Nanashi_et_al. :01/09/28 17:19
カントルとかいう人が 0.9999999・・・=1と定義したらしいが みとめてない方も大勢いるらしい 定義だとすると>1の証明は嘘とゆうことになるな
428 :
Nanashi_et_al. :01/09/28 17:20
>>425 数学の定義って矛盾しなければ自由にできるんですよ。(一般の感
覚に合えばなおよいけどね)ですから,0.999…=1と定義すると矛盾
が発生するという事を言わないといけないんだけど…そんなものある
のかな?
ちなみに,0.999…≠1と定義しても別に矛盾は発生しない。だか
ら,どちらでも良いんだけど,0.999…=1とした方が何かと便利だ
から(アキレスと亀の問題が簡単に説明つくとか,解析学の基礎部分
が簡単になるとか)そうしているんでしょ。
429 :
Nanashi_et_al. :01/09/28 18:47
数の連続性とか稠密生とかいう奴のひとつの表現というだけじゃないのか? 極限の概念を用いた計算の中で実際に交換可能というわけではないだろう。 x = 0.999… (x → 1-0)のとき y = 1/(x-1) → -∞ y = 1/(1-x) → ∞ x = 1 のとき y = 1/(x-1) y = 1/(1-x) は定義されない。
9x=9が間違い。既出ならすまん
431 :
Nanashi_et_al. :01/09/28 21:31
>>429 成程。納得。
極限値としては等しいが定義域からはみ出る場合、
交換不可能になる、ってことか。
0.999999…を定義するなら(x → 1-0)ってことにして、
等しいかどうかすでに問題にする必要もないような気がする。
この問題、結局、「無限小は0に等しい?」って問題と同じだろ。
で、どう定義するかによって決まってくるとか言うのでは?
定義域されていたとしても、置き換えていいとは限らない。 例えばデルタ関数とか不連続な関数はそうだ。 1/x と 1/(x^2) (x → ∞)の極限はどちらも 0 だが、 一つの式の中にあったら区別しなければならないことが多い。
433 :
ドキュソプラズマ :01/09/28 23:51
>>425 0.9999999・・・=1 と定義してあるとはいってないす。
だんだん、議論が収束の兆しを見せてる気がして、
こころなしか嬉しい(´∀`)
434 :
Nanashi_et_al. :01/09/29 00:03
0.9999999・・・の起源を考えると、 大きさは1と同じだけど、1より小さいと定義されたものじゃないの? つまり、(x<1)の場合のxが取れる最大の値。
435 :
Nanashi_et_al. :01/09/29 00:11
議論に、1/3=0.333333…というものを持ち込む人がいますが、 両辺を3倍すると、1=0.99999…になると思っているようですが、 一般的には、1=1となります。だからもし、1ではなく、あえて0.99999… と表記されている場合は、それを1とすることが出来ない、何らかの理由があり、 このような表記が行われている場合、0.99999…は1と定義が異なります。 なぜ、あえて0.99999…と表記しなければいけないのか考えてみてください。
436 :
ドキュソプラズマ :01/09/29 00:44
>>435 だから解釈の仕方はどーでもいいんだって。
それは人間の「認識」に対する問題提起であって、話してもしょうがない。
437 :
Nanashi_et_al. :01/09/29 00:45
0.3 + 0.03 + 0.003 + .... いつまで経っても 1/3 にならねーじゃねーか!
1/3 = 0.3333... というやつはドキュソ!
つーか、
>>120 と
>>123 で 1=0.99999... は証明されているよ。
でも、他の公理を持ち出せば、0.9999…≠1 でも正しいかもしれない。
そんなとこ。
数学なんて、直感と違う答えが出てくることはよくあるじゃん。
そこが数学の面白いところなんだけどなぁ。
438 :
ドキュソプラズマ :01/09/29 00:48
>>437 そりゃ無限にやらなきゃならないでしょ(w
439 :
Nanashi_et_al. :01/09/29 01:28
>>438 437は言いたいのは・・・
無限を認めず 1 != 0.9999.... だと言うのは、
1/3 != 0.33333... だと言っているのと同じ。
ってことなのでは?
440 :
ドキュソプラズマ :01/09/29 01:42
>>439 0.3 + 0.03 + 0.003 + .... が1/3にならんから1/3≠0.333...
といってるかとてっきり思った(w
>>437 真相は…??
441 :
Nanashi_et_al. :01/09/29 02:50
442 :
Nanashi_et_al. :01/09/29 04:45
>>434 >大きさは1と同じだけど、1より小さいと定義されたものじゃないの?
意味不明。
>つまり、(x<1)の場合のxが取れる最大の値。
「最大の値」と逝ってしまってはいけない。
仮にそのような値が存在するとして、それをXとおくと、
X < X + (1-X)/2 <1
となり、X < x < 1 なる x が存在することになり、不合理である。
443 :
Nanashi_et_al. :01/09/29 07:53
>>442 だから、そんなものは存在しないってこと。
つまり、実数ではない。
444 :
Nanashi_et_al. :01/09/29 08:15
おいおい、まだ直感で判断しようとしているヴァカが居るのかい? www.hi-ho.ne.jp/yoshik-y/mathematics/m003.html ここを見ろっつーの。
>>444 それは証明になってないちゅうの
1 = 0.9999....だから1 = 0.9999....
とかいてるのと同じだよ
説明3と説明5がよさそうだが
スレの趣旨とずれる算数の話で申し訳ないんだが、小学生のころ 対頂角とか錯角を勉強したあたりで3つくらい定義があった と記憶している。しかし、その定義がいかなる経緯で なされたのかいっさいの説明はなかった。 みんな錯角が同じ角度であることは「直感」でわかっていたはず。 あの定義も数学者の直感だったのかな? マジであほなこと書いてるんじゃないかってびくびくもんだけど だれかわかるひといる?
447 :
およびごし :01/09/29 14:28
あげ。なれてないもので
448 :
Nanashi_et_al. :01/09/29 15:44
定義でなくて定理ですね 公理から証明できます。 ただ錯角が等しいということが成り立つように 公理を作ったのかもしれません。 ところで 無限小が0というのは証明できるのかな 無限小とは円とその接線の角度のことだけど
449 :
Nanashi_et_al. :01/09/29 16:25
あーあー
450 :
Nanashi_et_al. :01/09/29 16:34
無限に9が続くのかぁ. きっとこの議論も無限なんだろうな. みんなが納得する答えなんて出ないでしょ.
>>443 確定した値としては存在しないが、実数だ。
自分の信じたいように信じれば? どうせ専門じゃないんでしょ? アマチュアが電波学問をやるなんてどこの世界にでもあることさ。
453 :
Nanashi_et_al. :01/09/29 18:47
454 :
Nanashi_et_al. :01/09/29 19:29
いろんな主張があるが、0.9999…≠1 の納得行く証明を見たことがない。 0.9999...=1 は騙されたような気がするが、なんとなく納得行く。
455 :
Nanashi_et_al. :01/09/29 20:10
ここまでくると数学も哲学だよね。 その人の数学の概念にもよるんじゃない?
456 :
Nanashi_et_al. :01/09/29 20:54
>>455 きみ文系? 1=0.9999... って証明されてるよ。
1>0.9999... だと主張する厨房に騙されるなYO!
(他の公理を持ち出せば 1>0.9999... かもしれないが、
1>0.9999... の証明は見たことがない)
457 :
Nanashi_et_al. :01/09/29 21:38
1>0.999… を証明する為には、そうなる様に実数を定義し直せば良いわ けですよ。ただそれだけ。 たとえば、実数は連続って事に今の数学ではなっているんだけど、現実の 直線は本当はプランク長よりもさらに微少な長さで量子飛躍するような離散 的なものやも知れず(証拠無し)。実数は現実の直線をシュミレートしたも のとして、それに合わせて実数を定義し直すと… おっとこれもダメか…結局どこか途中で量子飛躍が入るから、1=0.99… になるかもね〜。以外と難しいな。 というわけで撃沈(w
458 :
Nanashi_et_al. :01/09/29 21:56
きっちりした数じゃないとその量子飛躍が無いと仮定したら どうだろう?それなら 1>0.999… になるかも…。 ちなみにアキレスと亀の問題も、もうこれ以上分割できない 距離(あるいは時間)があるんだから、無限分割を防げるので 解決するわけだね。 でも、これって 0.999…<1 なんじゃなくて、最初から 0.99… が存在しないって事になりはしないのか?またまた撃沈(w
459 :
Nanashi_et_al. :01/09/29 22:25
みんな騙されるなよ 0.9999...=1 の証明はカントルのとある定義にもとずいて 証明されるわけで そのカントルの定義は 無限小が0でないと成り立たないからな 無限小が0である証明はだれか知っているか
460 :
Nanashi_et_al. :01/09/29 22:37
>>459 でも無限小が0でない超準解析でも、1=0.99…なんだそうだ。
(さすがによく分からないけど)
461 :
0.999・・・評価嬢 :01/09/29 22:44
0.8 0.9 1.0 ┝━━━━━━━━━━┿━━━━━━━━━━┥ 88彡ミ8。 /) 8ノ/ノ^^ヾ8。( i ))) |(| ∩ ∩|| / / <ココ! 从ゝ__▽_.从 / /||_、_|| / / (___) \(ミl_,_( /. _ \ /_ / \ _.〉 / / / / (二/ (二)
おばかさんばっかなので、おしえてあげるね。 x(n)=0.999・・・9(9がnこ続く小数)と定義する。 ∀ε>0(任意の小さい数って意味)に対して、十分大きな自然数nが存在し 0<|1-x(n)|<ε とすることが出来る。 これがx(n)→1(n→∞)の数学的証明です。 そのこころは、「ふむふむ、ちみは0.999・・・(9が「ずっと」つづく数、以下同じ)は1では ないと言うんだね。じゃあ、その0.999・・・と1の差をε>0(≠0)としてみよう。 ところで、任意のnに対して、x(n)<0.999・・・≦1だよね。 あれっ?へんだねぇ。もれは、nを十分に大きくとることで、1-x(n)<εとできるYO これって、0.999・・・<x(n)<1だよね。おっかしいねぇ、うえのx(n)<0.999・・・ と矛盾しちった、えへっ♪そっか、「0.999・・・≠1」って仮定が間違ってたにだNE」 ということです。 ただしε-δ論法なんて実数の切断による定義そのものみたいなもんなので、 直感的には明らかなことを公理主義的に理解しようとしているだけです。
1÷2÷2÷2÷2÷・・・・∞ はゼロですか?
464 :
Nanashi_et_al. :01/09/30 05:27
>>462 習ったばかりの知識を披露できて嬉しいかい、学部生クン?
466 :
ゴルゴ松本 :01/09/30 07:46
467 :
Nanashi_et_al. :01/09/30 07:57
ここがちがう 任意のnに対して、x(n)<0.999・・・≦1だよね。 任意のnに対して、x(n)≦0.999・・・<1だよ
x(n)→1(n→∞) であって x(n)=1(n→∞) ではないぞ
469 :
Nanashi_et_al. :01/09/30 09:04
X<1 として、Xの取れる最大の数は実数として存在はするが、表記は出来ないという事? それって無理数って言うんだっけ?(分数表記できないのが無理数?)
470 :
Nanashi_et_al. :01/09/30 09:56
>>464 お前だろ! 1>0.9999... なんて言うアホウは!
471 :
Nanashi_et_al. :01/09/30 11:27
いいじゃんいいじゃん、信じさせてやろうよ 0.999...<1を彼らが信じてたって、彼らの学問には影響無いわけだし。 まー、理系としてどーかと思うけど。 専門外になると途端にとんちんかんになるのは、ありがちなことさ。 解ってないことが解ってないのが、見てて愉快なんだけどもね。
472 :
Nanashi_et_al. :01/09/30 11:58
473 :
Nanashi_et_al. :01/09/30 12:36
. -∞ 0.9 + 10 =1 ?
ずれた。 0.9999・・・+0.00000・・・001=1 ? という意味。
>>474 その「1」の後ろに数はないの?無いならその「1」は何桁目?
476 :
Nanashi_et_al. :01/09/30 17:10
無限の概念で混乱しているようだね。
>>469 >として、Xの取れる最大の数は実数として存在はするが、表記は出来ないという事?
>それって無理数って言うんだっけ?(分数表記できないのが無理数?)
実数空間上に存在するが、確定した値ではないということ。
円周率は分数で表記することは出来ないし(つまり無理数)循環小数でも表記できないが、確定した値として存在するので、「π」という記号で表すことにすれば、普通の数値として計算できる。
しかし、「無限」はいくつと確定しない。
0.999…は値を仮定した瞬間、「その数と1の間の数は?」ということになる。
無限大は値を仮定した瞬間、「その数+1は?」ということになる。
>>462 >0.999・・・(9が「ずっと」つづく数)と1の差をε>0(≠0)としてみよう。
>もれは、nを十分に大きくとることで、1-x(n)<εとできるYO
「9が「ずっと」つづく」んだろ。
「十分」っていくつだい?
ε-δ論法をもとに証明しているつもりらしいが、上での「nを十分に大きくとる」と
>∀ε>0(任意の小さい数って意味)に対して、十分大きな自然数nが存在し
>0<|1-x(n)|<ε とすることが出来る。
での「十分大きな自然数n」はどう違うんだ?
君の論法なら、
0 = |1-x(n)|
とすることも出来るってことだろ?
それから、ε-δ論法は十分直感的に理解できると思うが。
477 :
Nanashi_et_al. :01/09/30 19:16
>>476 はDQNなのか?それが問題だ。
1-x(n)=10^(-n)と確定した数値を持ちます、とうぜん0ではない。
n>-log_10(ε)とすればいいんだNE!
極限の定義ってしってます?
記号論理学から勉強しましょう、がんばってね。
0.999・・・!≡1
479 :
Nanashi_et_al. :01/10/01 01:25
レーベル低いらしいYO!
481 :
Nanashi_et_al. :01/10/01 12:26
>>477 >1-x(n)=10^(-n)と確定した数値を持ちます、とうぜん0ではない。
それは、n と 1-x(n) と 10^(-n) の関係が確定しているということでしょ。
n → ∞
とした場合、n に代入すべき確定した値は存在しないと思うのだけど。
>>476 の後半はDQNだと思うが。
482 :
Nanashi_et_al. :01/10/01 15:12
俺的には、 1 ÷3=0.333333333…(永久に3が続く) 0.999999999…(永久に9が続く)÷3=0.333333333…(永久に3が続く) よって、 1=0.999999999…(永久に9が続く) というのが一番分かりやすい。
485 :
Nanashi_et_al. :01/10/01 19:26
0.9999999…は明日こそ1になろうと努力する健気な数字さ!
1÷3=0.333333333…(永久に3が続く) どうやって証明するのだ 有限の範囲でしか証明できないぞ 0.99999…÷3=0.333333… も同じだな 0.9999…(永久に9が続く)=0.99999…(永久に9が続く) さえも証明できないぞ
488 :
Nanashi_et_al. :01/10/01 20:57
1/3=0.333333333・・・・・・・・ 3×1/3=3×0.333333333・・・・・・・・・・ 3/3=1=0.9999999999999・・・・・・・??
489 :
Nanashi_et_al. :01/10/01 23:54
ループしてるYO!
3進数で考えてみましょう。
10進数で書くと
1÷3=0.3333…*3=0.9999…
それを、3進数で表記すると
1÷10=0.1*10=1
つまり、
[10進]1 = [3進]1
[10進]3 = [3進]10
[10進]0.3333… = [3進]0.1
[10進]0.9999… = [3進]1
よって、
[10進]1=[3進]1=[10進]0.9999…
というのは駄目?
>>487 に0.3333…*3=0.9999…を証明しろって言われるかな(w
数学って1/3が0.3333…の循環小数って事や
0.999999…=0.999999…まで証明しないといけないの?
俺には、1/4=2.5になる事を証明しろって言ってるように聞こえるんだけど
491 :
Nanashi_et_al. :01/10/02 06:11
まぁ、結局は 1=0.99999.... ってことでしょ。
492 :
数学科卒だけど :01/10/02 10:00
>>490 0.3333…*3=0.9999… は証明が必要ですねぇ。
0.3333…*3は、普通に計算していたら、永遠に終わる事が無いからね。
それに、1=0.9999… の逆説的な命題が導かれてしまうので、
「直感的に明らか」では済まないでしょ。
でも、1/3=0.3333…が循環小数である事は、
「任意の有理数は、循環小数として表せる」という定理でOKだと思う。
数学的に0.999999…とは、
数列 0.9、0.99、0.999、0.9999、・・・の極限値を表す記号である。
また、この数列は、1-10^-nと表せる。
この極限値は1なので、結局、1=0.999999…である。
493 :
Nanashi_et_al. :01/10/02 10:09
又は、 1≧0.9999…≧1-10^-n の不等式は、任意のnで成り立つが、 そうすると、はさみうち定理から、1=0.999…であるしかない。 という背理法的な説明もある。
494 :
Nanashi_et_al. :01/10/02 10:39
みんな亜穂だからこんな話題に首突っ込むんだよ こんな低レベルな話して楽しいんか? よって終了
495 :
Nanashi_et_al. :01/10/02 10:58
あと話題にならなかったけど、
>>260 の様な証明も捨てがたい。
>>260 を少しアレンジ(厳密性を追求したので、証明文が長くなってしまった)
0.9999…は循環小数なので、明らかに実数である。よって、実数の各種性質が使える。
1>0.9999…であるならば、
1>α>0.9999…なる実数αが存在する(実数の基本性質より)
β=α−(0.9999…)>0を考えるとこれも実数なので、無限小数で表せる(定理です)。
β>0である事から、無限小数に0が永遠に続く事はなく、
ある位で0でない数字が表れる(小数第N位だとする)
ここで、(0.9999・・・・+β)の小数第N位を考える。
0.9999の小数第N位は当然 9
βの小数第N位は 0で無い数字。
よって、第N位の足し算で、桁上がりが生じる。
0.9999・・・・の小数第1位、第2位、第3位・・・第(N−1)位は、みんな9だから、
結局、(0.9999・・・・+β)は1を超えてしまう。
0.9999・・・・+β>1
(0.9999・・・・)+α−(0.9999…)>1
α+(0.9999・・・・−0.9999…)>1 (交換法則・結合法則)
α>1 ( X-X=0は、任意の数において成り立つ)
で、当初の 1>αと 矛盾。
よって、1>α>0.9999… なるαは存在せず。
だから、1>0.9999…ではない。
でも、1<0.9999… でも無いのだから、
結局、1=0.9999… しか有り得ない。
>>495 あほか、0.9999…の本来の定義を考えろ、
実数のわけねえだろ。氏ね。
>>496 つーことは複素数か
ガ━━(゚Д゚;)━━ン!
し、知らなかった
498 :
Nanashi_et_al. :01/10/02 12:13
>>496 無限小数と実数が同値である事は、証明されているのですが・・。
(自然も3.00000・・・という無限小数の一種だと考える)
訂正 自然→自然数及び有限小数
502 :
Nanashi_et_al. :01/10/02 18:01
無限少数は実数だが
504 :
Nanashi_et_al. :01/10/02 19:52
506 :
Nanashi_et_al. :01/10/02 20:21
507 :
Nanashi_et_al. :01/10/02 20:23
>>505 文句があるなら具体的に示せ。
ケチをつけるだけなら厨房でもできる(w
508 :
Nanashi_et_al. :01/10/02 21:18
最近は高校で無限大,無限小は実数ではないと習わないのか? それともリアル厨房? おまえらもっと勉強しろよ...恥じらいも知らないのか? 死に晒せ。
分数を循環少数で表現するのは、インド人の発明らしい 証明なんかされてない 定義だ トオモッタガ
510 :
Nanashi_et_al. :01/10/02 21:48
>>509 証明できるよ。
a/b は a÷b だから、わり算の筆算形式にして無限
少数になったとする。このさい、わり算の「あまり」の部分は
必ずb未満になるから、かならず「あまり」はいつかは同じ数
になる。そして…循環するわけだね。
>>510 証明になってないだろ、バカが。
できるものなら、全ての循環小数は分数で表すことができると証明してみろ。
512 :
Nanashi_et_al. :01/10/02 22:18
>>511 式が長くなるので、特別な場合だけ書くね。
abcが限りなく続く循環小数
x=0.abcabcabcabc・・・について考える。
すると、この数は、
x=(abc/1000)+(abc/1000)~2+(abc/1000)~3+・・・=limΣ(abc/1000)^n
と無限級数の形に表せる。初項はabc/1000、公比は、abc/1000。
すると無限級数の和の公式より
x=a/(1-r)=(abc/1000)/(1-abc/1000)=abc/(1000-abc)と、有理数の形で表せた。
一般の場合も、循環小数は無限級数の和で表現出来るから、
全く同様の方法で証明出来るよ。
0.999…は循環小数じゃないだろ
514 :
Nanashi_et_al. :01/10/02 23:08
0.999999…って循環小数だから有理数となり、アレフゼロに属する・・か?
無限小ってのは超準解析だと0に等しくならなくて、
数直線上で位置を確定できないからアレフワン?実数なのか?
それともアレフツー?
この辺がわからん。
>>508 高校出たばっかだけど、無限小とか、高校では教えてくれなかった。
無限についての知識も付け焼刃だし。
無限小は実数か?そもそもそんなことを考える所からして間違っているのか?
超準解析とは無限概念を有限のごとく扱うとか言うらしいが・・・。
本でも読んで出直す。
>>515 通常の実数の体系に、"無限小"という数もどきを付加して、新たに体系を構築すると、
矛盾が発生しない。
その為、"無限小"は、通常の意味では実数ではないにしても、
拡張された意味では、"実数"と言っても良い。
>>515 さん、
>>508 は相手にしない方が・・・。
1のこのスレに対し、海外メディアも絶賛の嵐! BBC「これが島国の実力だ」 FRANCE2「米中心のグローバリズムに再考をうながす快挙です」 ZDF「ポーランドとの歴史的和解に匹敵するニュースだ」 TVE「我が国は日本にザビエルを贈った。日本は世界に1を贈った」 CNN「自由で公正な競争こそが、1のような人材を産むのです」 KBS「1の存在は半島統一への希望だ」 NHK「『クローズアップ現代』は1関連のニュースの為11:30からの放送となります
519 :
Nanashi_et_al. :01/10/03 00:09
やっぱり 1=0.9999... の証明しか出てこないね。
>>519 そういうスレなのでは。
アンタは何が望みだったんだ?
>>520 ていうか、
>>519 は、1と0.9999...は等しくないという説明は、
出てこなかったね、と言いたいんだと思う。
522 :
Nanashi_et_al. :01/10/03 11:47
>>519 過去ログに腐るほど出て来ているだろ。
やる気の無い奴は帰れ!
523 :
Nanashi_et_al. :01/10/03 16:57
525 :
Nanashi_et_al. :01/10/03 17:52
>>523 証明はできるんじゃないの?別の実数の定義を使えばだけど。
でも、非常に面倒くさそう。0.99999…って数が定義できて、1
にはならなくて、かつ普通の実数の定義からあまり離れていない
ってのは厳しいね。数学科の人に頑張って貰うしか…。
526 :
Nanashi_et_al. :01/10/03 17:58
>>524 1と0.9999…は等しい?等しくない?
まず、第1桁目を比べます。
1>0
第1桁目の大小関係は第2桁目の大小関係に関わりません。(定理)
同様に、第2桁目の大小関係は第3桁目の大小関係に関わりません。
よって、無限に桁が続く場合でも、1>0.9999…と帰納的に証明されました。
527 :
Nanashi_et_al. :01/10/03 18:06
1と0.9999…は等しい?等しくない? この二つの数を小数点以下を切捨てると、 1,0という異なる値をとります。 小数点以下を切り捨てる操作は関数であるから、 1≠0.9999…が証明されました。
528 :
Nanashi_et_al. :01/10/03 18:12
「小学生でも分かる1>0.9999…」 両辺を%を使って表すと100%>99.99…%となります。 見て分かるよう、右辺は100%ではありません。
530 :
Nanashi_et_al. :01/10/03 22:46
>>526 実数について、上げられている定理を証明してから来い
>>527 数式で切り捨てを定義してから来い
>>528 同語反復でしか無い。
こんなのを証明と言っている時点でDQN確定
>>530 算数も出来ないバカは生きる価値がありません。
あなたが死ぬのを、みんな待ち望んでいます。
533 :
Nanashi_et_al. :01/10/03 23:12
534 :
Nanashi_et_al. :01/10/03 23:12
>>510 それは数学的帰納法による証明ね
1/3=0.33333.... が数学的帰納法により証明されたとすると
0.9999...../3=0.333....も数学的帰納法により証明され
結局 1=0.9999.....が証明されるのだけど
まてよ
1 が 0.9999.....でないことも数学的帰納法で証明されるのだけど
と言うことは、
1.循環少数の定義がまちがっている
2.循環少数の0.33..と0.3 0.33 0.33 ... 0.333.....という数列の極値で
あらわされるものは、ことなる
3.数学的帰納法は、正しくない
ということになるのだけど
どれをとっても1/3=0.333...は証明できないという結論になるのだけど
>>534 1/3=0.33333.... が数学的帰納法により証明されても
0.9999...../3=0.333....は数学的帰納法により証明されませんよ
537 :
Nanashi_et_al. :01/10/03 23:19
>>534 0.33333....=1/3と定義された0.33333....を3倍しても、
0.9999.....にはなりません。それでは、もともとの定義と矛盾しています。
538 :
Nanashi_et_al. :01/10/04 00:27
>>526 と
>>527 の証明もなんとなく合っているような気がするけど、
1>0.9999... とすると実数の連続性に矛盾するんだよなぁ。
>よって、無限に桁が続く場合でも・・・
このあたりに無理がありそうだし、
>第1桁目の大小関係は第2桁目の大小関係に関わりません。(定理)
この定理の証明も知りたい。
>>528 >両辺を%を使って表すと100%>99.99…%となります。
>見て分かるよう、右辺は100%ではありません。
右辺は100%と等しいですが何か?
540 :
元基礎論専攻 :01/10/04 09:56
>>538 >>526 と
>>527 の誤りは、帰納法を誤解している事にある。
帰納法は、任意の自然数についての証明法であって、無限大についての証明法では無い。
>>526 の証明では、9が続く任意の「有限小数」に対して、
1>0.9、1>0.99、1>0.999、1>0.9999 ・ ・ ・
が言えるに過ぎない。
これは、9がどんなに長く続いても良いんだけど、
「無限に長く続いた場合」まで正しい訳では無い。
1+2+・・・n={n(n+1)}/2
だって、nはどんなに大きくても良いんだが、
「nが無限大の場合でも正しい」と言えない。それと一緒。
541 :
Nanashi_et_al. :01/10/04 12:25
>>541 >>527 は、表面上出て来ないが、暗黙に帰納法の論理を使っている。
0.9の切り捨て、0.99の切り捨て・・・・からの類推として、
0.999・・・の切り捨て値を勝手に0だと決めつけたところが、
>>527 の間違い。
切り捨てる操作は確かに関数だけど、この関数は1で不連続だよね。
だから0.9、0.99、0.999 の有限小数の切り捨て値の極限として、
0.999・・・の切り捨て値は定義出来ないよ。
543 :
Nanashi_et_al. :01/10/04 15:26
>>542 0.999・・・は1の左極限と考えることが出来るから、
1で不連続な関数でも使うことが出来るでしょ。
そう考えれば、0.999・・・の小数点以下を切り捨てると0になるよ。
>>543 切り捨て関数は、1の"左側"で不連続だから、
0.999・・・が1の左極限だからといって、何の意味も持たないよ。
でも切り捨て関数は、1の右側では連続だから、
1.0000・・1の極限値から、1の切り捨て値を求めるのはアリなんだけどね。
分かるかな? 大学初年級の思考が必要だよ。
ちなみに、
>>534 は、
>>541 の言う通り帰納法を使っているから正しくない。
545 :
Nanashi_et_al. :01/10/04 16:00
>>544 普通、たとえ不連続であっても、定義域に含まれてさえいれば、
関数は値を返すことが出来るんじゃないの?
>>545 その通り、値を返す事は出来ます。
でも不連続関数の場合、極限値と実際の値が異なる点に注意。
だから、左極限から値を推測していっても、正解は求まらないのです。
548 :
Nanashi_et_al. :01/10/04 17:03
結局、極限値(0.999・・・)と実際の値(1)は異なるってことかー
549 :
Nanashi_et_al. :01/10/04 17:15
実数は無限小数全体の集合。 よって自然数も無限小数であらわすことができる。 1を無限小数であらわすと0.9999…となる。 いつまでくだらんスレをw
550 :
Nanashi_et_al. :01/10/04 17:21
どうせ誰も間違いを認めないんだからほっとけ 夢を見させてやればいい 社会に実害はないし。
551 :
Nanashi_et_al. :01/10/04 17:25
結局、 0.9999…:=1-(1/∞)<1 0.9999…:=lim[k→∞]{1-(1/k)}=1 これが全て。 定義によって異なる。
>>551 最初の式は違うだろ。
1-(1/∞) は、lim[k→∞]{1-(1/k)}=1 の略号だよ。
それに、1/∞=0として扱うのが普通だが。
553 :
Nanashi_et_al. :01/10/04 20:38
実数なら0.999…=1 0.999…<1 になるのはどんな数なのかおれは知らない。 知ってる奴は知識を開陳しる!
554 :
Nanashi_et_al. :01/10/04 22:07
X<1の最大値(定義できないとかは無しで)と0.9999…はどうなの?
555 :
Nanashi_et_al. :01/10/04 22:22
>>554 実数での話をいえば、
X<1のとき、
Xの最大値は存在しない。
任意のX<1について、
X<0.999…
556 :
Nanashi_et_al. :01/10/04 23:32
>>555 こんな論法は?
0.99999…<1だと仮定する。
すると、0.99999…はXに含まれる。
一方、任意のX<1について、 X<0.999… であるから、
X<1の最大値は0.999…である事になる。
ところが、Xには最大値は無いのだから、矛盾。
故に、0.99999…はXに含まれない、
つまり 0.99999…<1では無い。
557 :
Nanashi_et_al. :01/10/04 23:38
1を1で筆算を使って割るときに強引に位ずらしたら、 0.999999…にならない?
560 :
ドキュソプラズマ :01/10/04 23:47
>>557 0.9999999・・・<1 としたら、任意のx<1について
0.9999999・・・≦では。
f(x)=xが連続で、xが実数である以上、0.99999・・・=1
561 :
ドキュソプラズマ :01/10/04 23:48
563 :
Nanashi_et_al. :01/10/05 00:59
こんだけ説明しても 1=0.999... が分からないヤツが居るのか。 ここは文系板じゃないよな? ネタだと信じたい。
564 :
ドキュソプラズマ :01/10/05 01:08
ここまでくると逆に楽しい(´∀`) エンドレスにガッツンガッツンやりますか!
おまえ1000までわしゃ999まで!! ズラプマくん、こないだの遺産もんだいおもろかったよ
566 :
Nanashi_et_al. :01/10/05 10:46
*任意の自然数 n について Σ[k=1..n](9*0.1^n) ≠ 1 *lim[n->∞]{Σ[k=1..n](9*0.1^n)} = 1 0.999…9 ≠ 0.999… おわかり?
567 :
Nanashi_et_al. :01/10/05 10:54
>>563 普通の数学だと1=0.99…なんだけど,普通の数学じゃないのを
前提にすれば別にそうならないんだから,それがどんな実数の定義
なり数学になるのかを探るのもまぁ意味あるんじゃないの?
あれ、誤植だわ。(2ヶ所いずれも) 誤) Σ[k=1..n](9*0.1^n) 正) Σ[k=1..n](9*0.1^k) 「小数点以下、9が *自然数個いくら続いても*、けっして1にはならない。」 これは正しいんだけれども、それは 0.999… ≠ 1 を意味しない。 表現するとするなら、 0.999…9 ≠ 1 だってこと。 ちなみに、0.999… の意味を lim[n->∞]{Σ[k=1..n](9*0.1^k)} で定義する つもりはまったくない。持ち出したのは極限厨房向け。
確認。 0.999…:≠1
570 :
Nanashi_et_al. :01/10/07 07:46
確認。 0.999…:≠1
0.999…:=「任意のn∈Nに対して、1ー(1/10)^n≦x≦1を満たす実定数x」(のいい加減な表現)。
572 :
Nanashi_et_al. :01/10/07 08:54
0.999…<0.999…<0.999…< … といういろんな0.999…ができるのが きもちわるいので 特別な定義をすれば 0.999…=1となるが これはもっと気持ち悪い
もうこのスレageるなよ 数学が苦手だってことはもうわかったからさ
576 :
Nanashi_et_al. :01/10/07 11:15
>1 > X=0.999… (1) > 両辺を10倍する > 10X=9.999… (2) 右辺は、10倍してるワケじゃなくて、単に9を足してるだけ。 10倍してるというのは思いこみ。捏造。便利なだけ。
>>576 じゃあ、0.99999×9の本当の値は何だよ。
有理数×9=有理数だから、循環小数か、分数で表せるぞ。表してみろ。
>577 > 9+X=10X この10Xというのは、どっから沸いて出てきたの? Xの10倍だろ? 「右辺を10倍しちゃダメ」って言ってるんだよ。だから左辺もダメ。 もし10倍したとすると「9X=8.999…」みたいになるよ。意味なし。
ちなみに「0.333…」の2倍が「0.666…」というのも、 れっきとした「捏造」です。そこんとこ4649!
581 :
ドキュソプラズマ :01/10/07 14:48
>>580 否定君はいつもそうだね。
なぜネツゾウかは示さない。証明しない。
俺らは、別に0.99999…≠1 を頭ごなしに否定はしてない。
ただ、一般教養として0.99999…=1 と覚えておいても間違いはないということで。
やれやれ。
582 :
おまんこがぞう :01/10/07 15:28
>>578 9+X=9.999…を無条件に認めるなら、10X=9.999…も認めないわけには…。
X=0.999… に演算を施した結果の値を決めてしまって、そいつを利用している
ところに
>>1 の証明のうさんくささを感じてるのでは?
そういう意味では、9.999…=9+Xとしちゃうのも危険じゃない?
数学に 一般教養として0.99999…=1 なんてものは存在しないのだ 仮定と推論により0.99999…=1が証明できるのなら問題ないのだが ここでは、仮定が曖昧だから無限ループに入ってるの
>>587 証明?笑わせんな!
そこにはただ、定義が存在しているだけだ。
>>587 禿同。
仮定は「実数の公理」なんだけど、その知識無しに議論しようとする人がいる。
例えば、
>>588 みたいに。
>>588 だよねえ。
だから、0.999… という実定数の存在を認めるとすれば、
その表現の仕方のみに注目して、
0.999… :=「1は越えない、でも1未満の全ての実数以上である実定数」
ならどう?
だからさ、この板のメンツじゃ実数も扱うに余るんだよ。 数学得意だと思い込みたいんならYahooに行けば優越心に浸っていられるよ。
親切に本当のことを教えて上げたって、なんにも得なことないよ。 せっかくだから、だまされていてもらおうよ
594 :
Nanashi_et_al. :01/10/08 00:37
eの定義では limx→0 (1+x)^∞ = 2.71828...... 0.99999...は1に左から収束する値 1.00000...は1に右から収束する値 これの∞乗は2.71828...... 1の∞乗は1 よって1と1.0000...は異なる。 では1と0.999999....も異なるのでは? この考え方は間違ってるでしょうか?
595 :
ドキュソプラズマ :01/10/08 00:46
^1/x (x→0) が関数に加わってる自体で、 もう別物。
596 :
Nanashi_et_al. :01/10/08 00:51
>595 1/x (x→0)が関数に加わってる自体で とはどういうことですか?
597 :
ドキュソプラズマ :01/10/08 01:01
関数の中身のさ、 (1+x) と 1/x が同時に収束するやん。 (1+x)^1/x (x→0) (1-x)^1/x (x→0) が違うのは当たりまえっしょ。 カッコの中は収束すると同時に累乗されてんだから。
598 :
Nanashi_et_al. :01/10/08 01:09
なるほど。 では、limx→0 (1-x)^∞ の値を求めると 1になるのでしょうか?
599 :
ドキュソプラズマ :01/10/08 01:22
ならんよ。 手計算してみ。 簡単だって。
600 :
ドキュソプラズマ :01/10/08 01:23
ついでに言うと ^∞ って表現まずいですよ。
603 :
Nanashi_et_al. :01/10/08 01:33
だまれ
604 :
Nanashi_et_al. :01/10/08 01:35
もまれ
>>602 ageもsageも理解できない連中に忠告するだけ無駄
606 :
Nanashi_et_al. :01/10/08 10:35
思ってた以上に脇役で、想像通りつまんない。<ガッコ ゆっこにも、自分がいいと思う先生像を演じてほしー。 ホンなんか無視しろー。
誤爆…
>>607 == 606 != 605
さらに名前欄マチガエタ。もうこのスレ、kill-file に封印しとくわ。
609 :
Nanashi_et_al. :01/10/08 13:08
563 :Nanashi_et_al. :01/10/05 00:59 こんだけ説明しても 1=0.999... が分からないヤツが居るのか。 ここは文系板じゃないよな? ネタだと信じたい。
なんで近代文明は12進数を採用してくれなかったんだ。バビロニア人カムバック。
0123456789AB という12進数の体系が一般に使われているとしても、 1=0.BBBBBBB... ? というスレが立つんだろうな。
613 :
数学者見習 :01/10/08 21:16
まだ1=0.9999・・・・が理解できない人がいるみたいですが。 こう考えてはどうでしょう。 1と0.999999・・・・・の差はいったいいくつなのか。 1-0.99999・・・・=0.00000・・・・・(←これって0ですよね) だから1=0.99999・・・・・ってことですよ。 なんでも始まりがあるとか、終わりがあるとか思っている人には 理解できないかもしれませんけど。 それって空の上にはなにがある?と同じじゃないですか。
614 :
Nanashi_et_al. :01/10/08 22:49
理解してないわけじゃないよ 平行線が無限のさきで交わるか交わらないかの話をしてのよ
615 :
数学者見習 :01/10/08 22:57
いつか交わるものを「平行線」っていうの?
616 :
数学者見習 :01/10/08 23:00
それとも正確に「平行」ってものがそもそもあるのか?ってこと?
>>614 理解してないじゃん。
普通の実数論の0.9999・・・・・・は、
0.9、0.99、0.999、0.9999 ・・・・
の極限値の事を指しているんであって、
「・・・・・・が無限に続いた結果、1に等しくなる」なんて考え方はしない。
平行線が無限の先で交わる、というのは言葉の綾でいう事はあっても、
普通のユークリッド幾何学では、「無限の先」なんて問題にならないのだから、
交わるとも交わらないとも言えない。
あと「平行が有るか無いか」について。
現代数学では、平行は無定義用語だから、
「平行」が存在するかしないかの論議は無意味。
いつまで続くんだ、このスレ。
大学の実数論を習わないと、1=0.9999・・・・は証明出来ないのだから、
知識の無い人にいくら教えても無駄、という気がする。
618 :
数学者見習 :01/10/08 23:57
確かに。「無限」に「その先」があるってどういうこと?
>>614 そういうこと考えたくなるのまったくわからなくはないけど、
よしといたほうがいいとおもうよ。じぶんが「無限」に生きていられる
んだったらべつだけどね。
>>617 >大学の実数論を習わないと、1=0.9999・・・・は証明出来ないのだから、
>>613 >1-0.99999・・・・=0.00000・・・・・(←これって0ですよね)
でいいと思う? スレあげちゃったのも613さんみたいだし。
0.9、0.99、0.999、0.9999 ・・・・ 数列の極限が1なら0.9999...は1だというのは ほとんど定義そのもの この定義が問題なのね
>>617 大学の実数論を仮に習ったとして…デテキントの切断を認めるにせよ,コーシー
列から導入するにせよ,結局はそれらは有界な単調増加数列が極限値を持つことと
同値なんだから,なんだかんだ言って1=0.99…を認める事と同値であって,
単に言葉を言い換えしているだけに過ぎないんじゃないの?
でも,ここではそれ以前の論議があまりにも多いんですけどね(w
622 :
数学者見習 :01/10/09 19:12
>>621 で?結局なんなのかなあ。
一体全体どんな答えを求めてるの?
もしかして
>>621 自身が「同値」なんじゃないですかね。
何だかみんな数学の知識があるか無いかに関わらず、 論理的思考能力が低いな・・・ とはいっても、それは比較的に標準レベルなのでしかたないけど、 ちょっとガッカリ。
625 :
Nanashi_et_al. :01/10/10 00:37
626 :
Nanashi_et_al. :01/10/10 00:53
1=0.999・・・ なら 2-1=2-0.999・・・=1.000・・・=1 ということになるのかな するってえと
627 :
Nanashi_et_al. :01/10/10 00:57
するってえと
628 :
2進数だと :01/10/10 01:05
0捨1入
631 :
Nanashi_et_al. :01/10/10 01:17
0.999・・・=1.000・・・=1だから tanの計算で プラスのようでプラスでない ベンベン マイナスのようでマイナスでない ベンベン それは何かと尋ねたら ハァー 1 1 1 1
0.9999999.... の母です (以下略)
633 :
ドキュソプラズマ :01/10/10 03:06
とりあえず反論するヤツみんな(*’m’)プッ
635 :
1=0.999… :01/10/10 23:08
オタガイニナァ
ノーベル賞のニュース見て初めて理系の板に来たけど、こんな感じだったんだね。 なんか
異なる数だとすれば、実数の連続性からその 途中の数が存在しなければならないが、 (たとえば中点でもいいが)そのような点は ないことが少し考えれば判る。よって同一の 点の異なる表現に過ぎない。
640 :
ドキュソプラズマ :01/10/16 23:27
(´ー`)y-~~~
0!=1は?
1=0.99999・・・ ってなることと、 1≠0.99999・・・ ってなることの違いはまだ誰にもわかんないんだな? って書くと↓に1=0.99999・・・を証明する(ワケわかんない)式が出てきて、 さらにその↓に1≠0.99999・・・っていう(略) さらに↓・・・(略) ・ ・ ・ (以下省略)
644 :
Nanashi_et_al. :01/10/19 19:57
1=0.99999・・・だと理解しているが、
>>643 の言っていることは理解できない。
645 :
Nanashi_et_al. :01/10/19 20:24
をい644 1<>0.99999・・・だということも理解しているか??
>>645 理解するもなにも、俺はいまのところ1≠0.99999・・・が正しくなるような公理を知らない。
0.9999....→1 以上。
>>648 それって、0.999…≠1 っていいたいわけ?
0.9999...が1と同じわけ無い、見た目でわかるだろ!
652 :
Nanashi_et_al. :01/10/21 11:22
このスレの1は1だよ
653 :
Nanashi_et_al. :01/10/21 22:27
>>651 2/4と1/2が同じわけ無い、見た目でわかるだろ!
654 :
Nanashi_et_al. :01/10/21 23:39
1は1に一致します。
656 :
Nanashi_et_al. :01/10/22 18:41
はいはいお昼寝の時間でちゅよ、 ねましょうね
658 :
Nanashi_et_al. :01/10/23 00:25
1=0.99999・・・
659 :
Nanashi_et_al. :01/10/24 20:48
ところで、このスレの1はリアル厨房?
>>1 の証明法って、高校教科書にあったと思うが。
あと、1≠0.999999…ってしてしまうと、実数全体の数が加算無限に
なってしまうような気がするが、どうよ。
661 :
Nanashi_et_al. :01/10/25 05:59
lim_{x→1+0} x = 1 という定義自体が0.999・・・ = 1の意味を含んでると思うので、 この定義を用いずに0.999・・・ = 1を証明してくれれば納得できるんだが。 1/9 = 0.111・・・ という式を上述の概念なしで証明できれば、 それで済む問題かもしれないが。 できれば>1の証明のような、無限-1 = 無限というのも使わずに。
1 - 0.999・・・ = aとすると、 aは0.1の∞乗。 rの∞乗(|r|<1)を0と定義したから、 1=0.999・・・なんて式が生まれたんじゃないの? この式が納得できなければ、1≠0.999・・・ ってことで勝手に自己完結します。
>661 「数値的には違うが計算しようがないから 1=0.99999999999・・・・ として置きましょう」 となってます
数学の初心者をマジでまどわそーとする悪の結社の存在を予感するスレ
うーん、0.99999999......ってのは、 まず、最初に、0があって、9が並んでるものですよねぇ。 だから、それは、0+0.9+0.09+0.009+0.0009.....に等しいです。 これは、どうやって計算しましょう。 それは、Σ(0.9)のn乗(n=1〜∞)ですね。 これのやりかたは、(1-(rのn乗))/(1-r)で、r=0.9,n=無限大にすればよいです。 これを計算すると、1になる、ということですね。。 どうなんだろな、コレ。
1.000000....1=lim[n→∞](1+0.1^n)=1の母です(以下略)
668 :
Nanashi_et_al. :01/10/26 20:39
これってアキレスと亀と同じ事?
>>668 ちげーよ。あれはトートロジ。
「追い越していない間は、まだ追い越していない」
っていってるよーなもんだ。
一回の操作にかかる時間を考えれば即解決だしな。
671 :
Nanashi_et_al. :01/10/26 23:27
>>670 そりゃ時間を考慮するとアキレスと亀は解決するが、何で距離
だけで論議していた事柄に、いきなり全く別の物を持ち出すのは
納得できない!何故最後まで距離で論議しないんだ?
うわ、お前ら、まだやってやがったな。
くそー、俺の知らない間に俺が馬鹿にされていたような気がするじゃねえか。
早く決着を付けて安心させてくれ。
さもないともう一回風呂場で暴れるぞ。それでもいいか?
それにしても、こんなことでこんなに揉めるとは驚いたな。
>>665 その悪の結社はどっち側だ?
0.9999・・・=1の方か?
0.9999・・・≠1の方か?
それとも両方か?
それともお前ら全員か?
673 :
Nanashi_et_al. :01/10/26 23:47
>>669 ドキュソでスマソ
追いつくまでの区間を同じ演算操作の繰り返しで刻めるってことだと思ってましたが。
0.999999...=lim[n→∞](1-0.1^n)=1の母です(以下略)
675 :
マジレスしてみる :01/10/27 00:06
このトリックは、桁ごとにあらわしたとき、 「0.9999…」と 9 が並ぶように書いておきながら、実際は 「1.0000…」と 0 の並びになってしまうことだな。 これが不思議とかっていう意味だろう。 実際の桁の並びを書いて数をあらわしたつもりが、 書いた通りの値にならないってことだ。
676 :
Nanashi_et_al. :01/10/27 01:27
なんかの数学の教科書でみたことあるな。 たしか、証明の基本的間違いとかなんとか書いてあったような…
677 :
Nanashi_et_al. :01/10/27 01:49
じゅんかんしょうすう
>>672 >さもないともう一回風呂場で暴れるぞ。それでもいいか?
いいよ。
つーか結局のところ、↓これだろ。
327 :Nanashi_et_al. :01/09/15 02:17
>>120 と
>>123 の言っていることが理解してからにしてくれ。
そーすれば、1=0.9999.... だということが分かる。
681 :
Nanashi_et_al. :01/10/27 15:20
っていうか要するにどこまで極限の概念を認めるかってことでしょ。 lim{x→+0}1-x=0 1≠0.9999…といっている人はこの極限を認められないってことでしょ。 それぞれの考え方によって違う。 でも極限の概念を論議するときには 1=0.9999… は成り立つよね。 終了。
682 :
Nanashi_et_al. :01/10/27 17:01
もともと「極限」と「等」とはちがらしい だれかさんが 極限と等しいを同じということにしたれど そうしないと微分は永遠にゼロに限り無く 近い値をとりあつかなわなくてはならないのだが
どうやら 1=0.99999… は正しいらしいな。 自然数全体の濃度と実数全体の濃度が違うことを証明するときに 自明のものとして扱ってら。
684 :
Nanashi_et_al. :01/10/28 00:07
>>683 普通の数学じゃそだよ。でも、俺もその証明を見たけど、それ以前に
1=0.999…の証明とかやってなくてなんでいきなり「自明」のこととして
扱うんだーとも思ったけどね。(まぁ、教科書の内容から直ぐに証明でき
るけど)
>>682 結局、数学ってのは「同じ数」ってのを新しい数が出てくる度に定義し
直さなければいけないんだよね。例えば「4/2=2」とかね。定義の基準は
矛盾がないこと。矛盾が無ければどう定義しても許される。
1=0.999…とふつうの数学では定義するのは、そう定義しても矛盾は発
生しないし、アキレスと亀とか飛ぶ矢は飛ばないとかの古典的なパラドッ
クスが簡単に説明できるし、また解析学の基礎も簡単になるという良いこ
とずくめだからだ。ただ単にちょいと心の奥底に納得できない部分が少し
残る人がいるっていうのは問題なのかも知れないけどね。
ところで、時々デテキントの切断等からこの事を証明しようとする人が
いるけど、結局はこの事と同値なんじゃないの。
685 :
Nanashi_et_al. :01/10/28 00:53
漏れは「可能無限派」なので 1=0.999999... を「認めません」。 「実無限派」のヒトは、「認めても」オッケーでしょうな。
数学板からやってきたが 数学板じゃ毎年恒例のガイシュツネタ これで議論するのももう飽きてきたな
>>685 数学オンチな私に教えてください。
「可能無限派」って
1/9 = 0.111111... は認めるのですか?
1 と 0.9999.... の間には数は存在するのですか?
そもそも可能無限って何ですか?
1/9>0.111111111... だろ?(藁 いくら1を並べても1/9に限りなく近づくだけで、1/9にたどりつけないんだから。 小数点以下を幾ら並べてもたどりつけないんだから π>3.1415... √2>1.41421356... なのも当然(藁
689 :
Nanashi_et_al. :01/10/28 12:32
>>688 >小数点以下を幾ら並べてもたどりつけないんだから
無限に並べればたどりつける?
691 :
>>685 :01/10/28 18:41
>>687 >数学オンチな私に教えてください。
>「可能無限派」って
>1/9 = 0.111111... は認めるのですか?
可能無限の立場がこれを認めるワケないでしょ(w
これ認めてしまうと
「なんで1/9=0.111...や1/3=0.333...は認めて
1=0.999...は認めねえんだゴルァ!」
ってなるのは明らか。
つーかそもそも、可能無限の立場が「0.999999...」なんて
数の実在そのものを認めてないんです。
>そもそも可能無限って何ですか?
高校数学で広く普及している考え方で、多くの日本人が採用しているのは
「実無限派」だな。無限というものを既に存在する「数」として安易に考えている。
でもこれ説明すると一冊本が書けてしまう位濃い内容なので、
レスはこのへんにしとくよ。この議論だって、院生レベルの難しい内容だと
漏れ個人的には思うわけだし。
そういうわけだから可能無限の立場では実数なんて実在なんか認めていないし、
πなんて数にも懐疑的。
こんなのは直径と円周の長さの比をとことん計算していった
先にたどり着くであろう「可能性」でしかないんだから。
詳しく知りたいヒトは無限論とか連続体仮説とかについて書かれた本でも
買って読んでくれ。
可能無限の立場から考えると、
>>688 の、
>いくら1を並べても1/9に限りなく近づくだけで、1/9にたどりつけないんだから。
はまさに正論。
>>689 の、
>無限に並べればたどりつける?
は全くナンセンスなツッコミ、ということ。無限回並べるなんて行為が
そもそも無理なんだから。
「無限」という存在が既に「数」として存在するという前提で考えている。
まさに
>>689 は「実無限派」の立場で考えている。
通常の高校数学の立場、つまり実無限の立場で考えるのであれば、
1=0.99999...
1/3=0.33333...
1/9=0.11111...
これらは全て認めないと話にならんな。
これは分数と10進小数展開による表記の差であるだけ。
説明うまくないけど、まあこんなところです。
数が実在ってのが意味不明。
693 :
Nanashi_et_al. :01/10/28 19:25
可能無限って良く聞くし、面白そうなんだけど…理論を今の 数学並に作り上げるまで棘の道が立ちふさがっている気がする のですが…。 現状では数学者は大抵実無限の立場を取っているし、一部の 哲学が入った人が可能無限の立場…という認識で良いですか? (煽りじゃないです) 肝心の理論の構築の方はどうなっているのかな? 俺としてはそんな棘の道を進むより、1=0.99…を認めて早く 楽になった方が良い気が(w
694 :
Nanashi_et_al. :01/10/28 19:32
> 現状では数学者は大抵実無限の立場を取っているし、一部の >哲学が入った人が可能無限の立場…という認識で良いですか? まあそれでいいんじゃない? > 肝心の理論の構築の方はどうなっているのかな? とりあえず、きっとあなたが考えている世界よりも ずっと先には進んでいるとは思います。 有限の立場のメタ数学では無矛盾性・完全性ともに証明不可能 ってなところまでは・・・。 だからそこまで知りたかったらここに書き込むよりも 本買って読みなさいて。 可能無限、実無限の話って、 公理系の完全性・無矛盾性とかヒルベルト・プログラムとかを 考える時には避けては通れない概念だよ。 > 俺としてはそんな棘の道を進むより、1=0.99…を認めて早く >楽になった方が良い気が(w そのようですね(w
695 :
Nanashi_et_al. :01/10/29 00:14
俺が一番不自然に思うのが、 0.999… = 1 = 1.000… になること。
696 :
Nanashi_et_al. :01/10/29 00:22
1=0.999・・・? てのは数学者の間でも見解は一致してないんですか?
698 :
しん ◆RJTXcpFI :01/10/29 00:53
>>697 だから、
可能無限の立場では 0.999… という表記自体がありえないので
これが1と等しいかどうかなんてナンセンスな議論なのでしょう。
閑話休題。
「アキレスと亀のパラドックス」はご存知かと思いますが、
アキレスが、さっき亀のいた所まで行った時に既に亀は先の地点へ、
この時にカウントを取りましょう。
さっき亀のいた地点に到着するたびに「1、2、3…」という具合に。
ものすごく速く、ものすごく正確にカウントを取れると仮定します。
実際は亀を追い抜いてしまうのですが、追い抜いた瞬間、
いったいいくつを数えているのでしょう?
それとも、「私は今、全ての自然数を数え上げたぞ!」とでも
言うのでしょうか?
699 :
Nanashi_et_al. :01/10/29 00:58
>>691 可能無限の立場っていうのはわかります。ただ一点、
>可能無限の立場から考えると、
>>688 の、
>>いくら1を並べても1/9に限りなく近づくだけで、1/9にたどりつけないんだから。
>はまさに正論。
について、「いくら1を並べても 0.111… にはならないんじゃないの?」
と聞き返してもいい?
それとも、0.111…は、可能無限の立場では、単に「1をいくつもたくさん
ならべたもの」としてとらえるのが、正論?
#へ理屈だったらスマソ。無視してけろ。
>>700 自己レス
あっ、そうかそもそも 0.111… というような表記が存在しないだから、
後半の疑問はナンセンスでした。
でもやっぱり、
>>688 のあの部分を正論とするのは…?
702 :
Nanashi_et_al. :01/10/29 13:28
>>701 たしかに、688の後半を正論とするのは変ですね。
だって、πや√2は無理数であり、一方3.1415・・・のような10進表記は結局のところ
有理数の和であるわけだから、正確にあらわせないのは実無限とか可能無限とか
関係なく当然であると思いますが。
703 :
Nanashi_et_al. :01/10/29 15:10
だかーら、要するに、
>>681 の指摘がナイスだったね。
704 :
ドキュソプラ :01/10/29 15:48
>>701 あっ、そうかそもそも 0.111… というような表記が存在しないだから
ってさ。「もし無限にならべたら」って仮定の下やってるの。
実際表記できるかなんてどうでもいい。
705 :
しん ◆RJTXcpFI :01/10/29 17:27
>「もし無限にならべたら」って仮定の下やってるの。
>実際表記できるかなんてどうでもいい。
もしそういう前提で話をするんだったら、それは
>>685 =
>>691 が言うところの「実無限の立場」で話をしてるわけだろ。
ならばこれは、いわば公理のようなもので、極限の定義から自明なのだから、
つべこべ言わずにもう 1=0.99999… を認めるしかないでしょう。
って、
>>691 が既にこれ書いていたね。
まったく疲れるな。ドキュソがなんでこんなに多いんや。
>可能無限の立場から考えると、
>>688 の、
>>いくら1を並べても1/9に限りなく近づくだけで、1/9にたどりつけないんだから。
>はまさに正論。
が何故に理解できない?・・・
小数点以下、1を一億並べようが三千兆並べようが、
七百京並べても、1/9よりは小さく、決して等しくならない
のは理解できるだろ。
んで、さっきからあんた達は無限個並べたらどうなる?とか
ドキュソなツッコミをしてるんだけど、
その主張こそ実無限派の立場じゃないか。
可能無限の立場では、「無限個1を並べる」ということを
そもそも認めていないのだよ。
>>706 「いくら1を並べても、1/9にたどりつけない」のと同様、
「いくら1を並べても、0.111… にはたどりつけない」
んだから、
>>688 の
>1/9>0.111111111... だろ?(藁
の説明としては、足りていないんではないかなということなんだけど…
可能無限の立場で 0.111…(無限個)を認めないのとは、別の話だと思うんですが…
可能無限の立場で「無限個1を並べる」のを拒否するのは問題ないと思うし、
逆に実無限の立場でも、例えば 0.000…(無限個)…001 なんて
表現は認めてない(というか無意味)ですよね。
「いくら1を並べても、0.111… にはたどりつけない」 ↑なにこの日本語?(w
709 :
Nanashi_et_al. :01/10/29 20:00
>逆に実無限の立場でも、例えば 0.000…(無限個)…001 なんて >表現は認めてない(というか無意味)ですよね。 ここ違うと思う 実無限の立場では、これを認めないとだめ つまりこれが「無限小」というやつ lim x→∞ (1/x) でしょ
おっと悪かった説明不足。
>>688 の
>いくら1を並べても1/9に限りなく近づくだけで、1/9にたどりつけないんだから。
は正論だが、
>1/9>0.111111111... だろ?(藁
これは完全におかしいよな(実無限の立場では)。
>>710 自己レス
誤>は正論だが、
正>は正論だが(可能無限の立場では)、
何度も言うように
>1/9>0.111111111... だろ?(藁
は可能無限の立場では議論の対象外。
つーか、
>>688 も可能無限と実無限をごっちゃにして
考えてるようだな。こんな書き方じゃ混乱するのも無理はない。
無限という数の実在に疑問を持ったことなどなかったです。 直行座標の無限大点を有限領域に表現できるような変換 (応用面すぎてすみません。例えばスミスチャート) で無限大点が白丸に抜かれるというイメージでしょうか?
なるほど、無限存在否定派は表記すら禁じている訳ですな。これは失礼。 でもそうなると「いくら1を並べても」と書いた途端 「いくらでも並べる事ができるような書き方をするな!」 って怒られそうだ。まぁ 「絶対に」禁じられることはあっても 「永久に」禁じられることはないから大丈夫(藁 っていうかせっかく688で藁ってつけたんだからネタだと判ってくれよぅ(藁
>>709 >実無限の立場では、これを認めないとだめ
>つまりこれが「無限小」というやつ
>lim x→∞ (1/x) でしょ
「0.000…(無限個)…001」を認めたとしても、これは正確に0ですよね。
一方、「無限小」はあくまで0でない数なのでは…?
{ 0.1, 0.01, 0.001, …, (1/10)^n, … }
という数列の、極限値の表記としては、不適当とは言い切れないと思いますが…
もっとも、例が悪すぎ…。言いたいのは、
上の数列では「…」が2ヶ所使われてるけど、暗黙の了解として、
前者は「有限個の省略」、後者は「無限個の省略」を意味しますよね。
大雑把にいって、可能無限の立場では前者のみを、実無限の立場では
両者を認めるということだと、理解しています。
その違いを考えた上で、例を変えると、
「0.111…(有限個)…111 (最終桁が1でおわる)」は認めても、
「0.111…(無限個)…111 (最終桁が1でおわる)」は、
普通認めず、
「0.111…(無限個) (最終桁はない)」としなければならないと
思うんですが、どうなんでしょう?
>>706 ,713
分かる人には分かると思うんで、重箱の隅をつついたのは、申し訳ないです。
716 :
しん ◆RJTXcpFI :01/10/29 22:53
>>714 >上の数列では「…」が2ヶ所使われてるけど、暗黙の了解として、
>前者は「有限個の省略」、後者は「無限個の省略」を意味しますよね。
>大雑把にいって、可能無限の立場では前者のみを、実無限の立場では
>両者を認めるということだと、理解しています。
その見解で問題ないとオレも思います。ただ、
>「0.111…(有限個)…111 (最終桁が1でおわる)」は認めても、
これは良いとしても、
>「0.111…(無限個)…111 (最終桁が1でおわる)」は、
>普通認めず、
これは実無限可能無限両派にとってもダメじゃない?
無限に続く数列の「最終桁」ってなにさ?ってことになっちゃう。
>「0.111…(無限個) (最終桁はない)」としなければならないと
>思うんですが、どうなんでしょう?
これは実無限派のみ、ということでしょうな。
実無限でも可能無限でもさー 結局解釈によるってことで。
718 :
Nanashi_et_al. :01/10/29 23:01
無限って数なの?
>>717 コテハンどおりドキュソなヤツだな
>>704 のときもそうだったが(w
この程度で思考停止するような自己完結馬鹿は
そもそもここに来んな ヴォケが
>>718 だからよー、前レス少しでも読めって
オマエみたいのがしばらく経ったら
数学板にがいしゅつスレ立てるんだろな
>>718 いんや、そういう状態・・・・・・・・・でいいよね?
721 :
Nanashi_et_al. :01/10/29 23:28
だよねー
722 :
Nanashi_et_al. :01/10/30 02:02
可能無限派の人は有限回のステップで構成できる数のみを認める、ということ? そうすると、 1/9は構成できる。0.111…は構成できない。 √2は構成できる。1.414…は構成できない。 なのは分かるけど、eやπって構成できるの? あと、可能無限派の人にとっては排中律は成り立つの?
>>719 (藁
もちろん暇つぶしにちょこちょこレス入れてるだけだよね?
ここでホンキで議論する気?
だとしたらリアルDQNはお前だちゅうに。
キリのいいとこで思考停止しようや。
ここであーだこーだ言っても
きっとお前の口からは既出の概念しか出てこないだろうね。
世界のどこかで誰かさんが何度も口走った考えしか。
べつにさ、ほとんどの人がそうだし、ここはそういう場なんだからいーんだろーけどよ、
「思考を続けます」みたいなことえらそーに言うなって(w
1の質問がDQNなんだからレスの内容もDQNでいいだろ?ネタだろーけど。
て、ことでおわろうぜ。
726 :
可能無限派 :01/10/30 22:27
>>722 何が「πの超越性が証明された、すげー!」だよ、バカバカしい。
もともとπなんて数など、存在しないというのに…。
#eも同様。
727 :
〇ーびす25 :01/10/31 14:10
あらあら・・まだ続いてるんですねぇ・・汁 まぁ理解できないひとに、何言っても無駄ですねぇ
可能無限でも、πやeの構成には問題なし。 実数直線に穴があくわけでもない。
>727 数学で漫才やって楽しんでる人達にそういうこと言われてもなぁ。
>>729 ここは、身体と身体のぶつかり合い、
熱い議論をエンジョイするスレだYO!
>>728 をいをいデタラメゆーな DQN確定やで
>>726 なるほど。eやπすらないという訳ですか。
694ではずっと先に進んでると書いてありましたけど、
数学基礎論以外の分野に影響を与えることなんてあるんでしょうか…
「じゃあ、可能無限派のアナタは実数そのものを認めていないんですね?」 「当然です」
735 :
Nanashi_et_al. :01/11/01 19:03
証明 1*X=1*0.999… (1) 両辺を10倍する 10*X=10*0.999… (2) (2)から(1)を引く 9*X=9*0.999… ↓ 9X=8.999… X≠1 よって 1≠0.999…
ヴァカすぎる。オマエ本当に氏ねよ(w
>>735 「9=8.999…」
この命題と
「1=0.999…」
この命題は同値じゃんか
オマエの言う
>9X=8.999…
ここまではいいが、この式から
>X≠1
を導き出してるのがオカシイことに気づかない?
痛すぎる・・・。
そしてその結果をもって
>よって 1≠0.999…
とやってるのがさらに痛い。。。
>>734 その「実数」ってのは実数の集合のこと?
1=0.999999……… が、成り立つと、何か良いことあるんですか?
739 :
Nanashi_et_al. :01/11/09 02:37
>>1 0.9999....を10倍すると、9.9999....になる事を証明しろ。
740 :
Nanashi_et_al. :01/11/09 04:47
0.9999・・・・、というものって実在する? 数学的じゃなく実在的。 ないなら意味なし、証明も議論も。
741 :
Nanashi_et_al. :01/11/09 05:07
はぁ?
証明 X=0.999… Y=0.999… X=Y (1) 両辺を10倍する 10X=10Y (2) (2)から(1)を引く 9X=9Y X=Y よって 0.999…=0.999… 1はドコタニキエタ?
743 :
Nanashi_et_al. :01/11/09 09:52
文字が違うから ≠でいいじゃん。
9.9999....っていうネタに理系ヲタ、食いつく食いつく。(藁 いいかげん気づけよ.でもそんなところが可愛いんだけどな.
>>743 じゃ,文字が違うから「4/6≠2/3」なのかよ。
747 :
Nanashi_et_al. :01/11/09 15:45
748 :
Nanashi_et_al. :01/11/09 18:31
>742を分かり易く 証明 X=(0.999…) (1) 両辺を10倍する 10X=10*(0.999…) (2) (2)から(1)を引く 9X=9*(0.999…) X=(0.999…) よって 1=0.999… は証明できない。 つーか違う! 理系って数学弱いの?
749 :
Nanashi_et_al :01/11/09 18:40
2の50の解法に匹敵する! よし,続けろ! あーひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃ あーひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃ .∧⊂ヽ ∧⊂ヽ ∧⊂ヽ .∧⊂ヽ ∧ ∧ (゚∀゚)ノ ∧ ∧ (゚∀゚)ノ ∧ ∧ (゚∀゚)ノ ∧ ∧ (゚∀゚)ノ ( ゚∀゚) |⊃ | ( ゚∀゚) |⊃ | ( ゚∀゚) |⊃ | ( ゚∀゚) |⊃ | /⊃ つ .| | /⊃ つ .| | /⊃ つ .| | /⊃ つ .| | 〜′ / .〜ゝ ⊃ 〜′ / 〜ゝ ⊃ 〜′ / 〜ゝ ⊃ 〜′ / 〜ゝ ⊃ ∪ ∪ .∪ ∪ ∪ ∪ ∪ ∪ ∪ ∪ ∪ ∪ あーひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃ あーひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃひゃ
750 :
Nanashi_et_al :01/11/09 18:45
>>748 は,きっと自分自身を持ち上げて,月まで逝けるはず.
751 :
Nanashi_et_al. :01/11/10 04:11
>>1 9 * 0.999・・・ = 8.999・・・1
だが何か?
8.999・・・1(どっかで1になる。きっとどっかで。)
752 :
Nanashi_et_al. :01/11/10 04:15
9 * 0.999・・・ = 8.999・・・1 8 * 0.999・・・ = 7.999・・・2 7 * 0.999・・・ = 6.999・・・3 6 * 0.999・・・ = 5.999・・・4 5 * 0.999・・・ = 4.999・・・5 4 * 0.999・・・ = 3.999・・・6 3 * 0.999・・・ = 2.999・・・7 2 * 0.999・・・ = 1.999・・・8 1 * 0.999・・・ = 0.999・・・9 なのかな。
753 :
Nanashi_et_al. :01/11/10 11:36
0.999....=1 1に近づくことはあっても1にならないのでは?
754 :
通りすがり :01/11/10 14:10
0.999999・・・・・・=1 で正しいですよ。 「デデキントの切断」と言われている問題の一例です。 実数の連続性により、二つの異なる実数の間には必ず無限個の実数が存在します。 0.999999・・・・・・・と1の間には他のいかなる実数も存在しないので、 この0.9999999・・・・・と1は同一の実数であると見なすのです。 この手の「問題」は一見「問題」のように見えますが、実は実数に関する「定義」なのです。 ですからこれは「証明」しようがありません。 数学はこの「実数の連続性」の上に成り立っているのです。
755 :
Nanashi_et_al. :01/11/10 14:16
大体、高校数学の教科書記載事項で証明不可能なものは定義なんだよね。
756 :
Nanashi_et_al. :01/11/10 14:18
−と−の掛け算が+になるのも定義なのか?
757 :
Nanashi_et_al. :01/11/10 14:21
758 :
Nanashi_et_al. :01/11/10 17:21
>>756 定義だよ。
整数の性質に「交換則」がある事を認めるとそれが証明できるけど、
結局のところ何故交換則が成立するのかって疑問にはなにも答えてい
ない。(環から始めるヒトもいるね)
759 :
Nanashi_et_al. :01/11/10 18:37
分数の割り算が逆数の掛け算になるのも定義?
順序数から0.999…=1って証明できなかったっけ?
761 :
Nanashi_et_al. :01/11/10 22:20
>>759 それは、除法が乗法の逆演算と「定義」すれば自ずと出てくるでしょ。
762 :
Nanashi_et_al. :01/11/10 22:34
>>761 そうなのか。
小学生のとき、あれこれ考えて結局よくわからなかったが、
定義なんだな。
763 :
Nanashi_et_al. :01/11/10 22:39
イマイチ分数の割り算が理解できなかったが、 定義なら定義と教えろよ。小学校で。
764 :
Nanashi_et_al. :01/11/10 22:42
実数の0乗が1とか、実数と0の積が0とか、実数を0で割れないとか 全部定義なんだな。
765 :
Nanashi_et_al. :01/11/10 22:46
>>762 はぁ?日本語読める?
>>763 仮に定義だとしても、どうしてそう定義するのが合理的なのか
納得させる必要あるべさ。
766 :
ここでマターリしてくるよろし :01/11/11 00:35
>>751 >>752 無限小数に「最終桁」なんぞ存在するか、アフォ!
それから、前レス少しくらい読め!可能無限とかの話してるところだ>ALL
>>768 果たして構成主義者がまだこのスレにいるのか疑問です。
>>734 の言ってるのが超越数なのか実数の集合なのかどちらか
分からないままうやむやになっちゃいました…
>>768 ふふふ。
無限小数をある整数で掛けると、有限小数になるのさ。
だから、
0.9999....*10=0.9999....9
になるのさ。
完璧だろ?
773 :
Nanashi_et_al. :01/11/13 15:57
774 :
東京kitty :01/11/13 16:02
無限関係はちょっと弄るとすぐにパラドックスが出てきて、 数学のフィクションを破壊してしまうね(藁
0.999999・・・・・・・と1の間には他のいかなる実数も存在しない これは0.999999・・・・・・・と1が等しいと定義するから そう結論づけられるだけである。 0.999999・・・・・・・がなんらかの極限値と考えると 0.999999・・・・・・・と1の間には無限に実数が存在するよ
0.000=0 は0なのですか?
778 :
Nanashi_et_al. :01/11/15 19:11
0.999999…=0.9+0.09+0.009+0.0009+0.00009+… 初項a=0.9、公比r=0.1の無限等比級数 無限等比級数の和を用いると、 0.999999…=a/1−r=0.9/1−0.1=0.9/0.9=1 よって0.999999…=1
779 :
Nanashi_et_al. :01/11/15 19:43
>>778 その前に、0.1^n→0(n→∞)を証明しないといけないね。
780 :
Nanashi_et_al. :01/11/15 19:44
1=0.99999… は定義なんだ。 だから証明はできない。
781 :
Nanashi_et_al. :01/11/15 19:49
前の方よく読んだら、 1=0.99999… は定義って書いてあるな。 もうとっくに議論は終了してるじゃないか。
782 :
Nanashi_et_al. :01/11/15 19:49
0.1^n→0(n→∞)も定義。 証明不可能。
オイオイ。 極限操作の定義ぐらい勉強しろ。
784 :
Nanashi_et_al. :01/11/15 22:00
>>740 1というものって実在する?
数学的じゃなく実在的。
ないなら意味なし、証明も議論も。
786 :
Nanashi_et_al. :01/11/15 23:52
証明できないっという証明だ
787 :
数学科専攻 :01/11/16 17:59
>>785 >あほか。定義されてると証明されてないだろ。
>論理的に考えろ。
うわぁ、希に見るドキュソだ(涙笑
…あのぅ、「定義」って言葉の意味、解ってますぅ??
定義されてることの証明…うぷぷぷ…苦ちぃ…。
788 :
Nanashi_et_al. :01/11/16 18:39
>>787 数学科専攻の人って、数学のことしか考えられなくなるのか・・・
「証明」と言われると数学の範囲内での「証明」しか考えられないのか。
はずかしいから、もっと外の世界に顔を向けるといいよ。
ちなみに、
>>785 の言っている「定義の証明」っていうのは、
実際にその様に定義されているかどうかっていうことだろ。
できるものなら証拠を持ってきて証明してみろ。
これでも、この日本語が正しく理解できないのなら、
>定義されてると証明されてない 何度読んでもドキュンにしかみえん。 もっと日本語に気を使え。ここは理系板だぞ。
792 :
Nanashi_et_al. :01/11/16 19:39
0.1^n→0(n→∞)を認めてしまえば、 1=0.99999… は成り立つのかな?
793 :
Nanashi_et_al. :01/11/16 19:42
等比数列の和の公式はnが有限のときしか 導出できない。なのにn→∞として極限を求めてよいのか?
785==788==789==791
>はずかしいから、もっと外の世界に顔を向けるといいよ。
恥ずかしいのは理系板で「定義の証明」なんて言ってるDQN厨学生のオマエ
>ちなみに、
>>785 の言っている「定義の証明」っていうのは、
>実際にその様に定義されているかどうかっていうことだろ。
恥の上塗り。なにが「ちなみに」なんだか(ワ
恥ずかしくて他人のふりするくらいだったら、書き込みなんかするなよ。
通りすがりの煽りですが、なにか? コワー
鬱+鬱=2鬱 ≠2欝 どうように 0.99999…≠1 まあ、お前らの頭で考えても分からないだろうがな(プッ
キタ━━━━━━(゚∀゚)━━━━━━ !!!!!
799 :
数学科閃光 :01/11/16 21:34
>>787 だけど
>>788 >>789 >>791 「定義されているかどうかの証明」?
まったく何を熱くなって語ってるのか理解できんがな。
メタレベルでの議論を主張してるのか?だったら初めからそう言えヴォケが。
>「証明」と言われると数学の範囲内での「証明」しか考えられないのか。
通常議論する時のフィールドは、ある「定義」に基づいた「公理系」
の中でやるもんだろ。
それが全然解ってないからドキュソだと言ったんだ、文句あるか。
800 :
数学科閃光 :01/11/16 21:38
追伸
>>794 フォローせんくす
ジサクジエンジャナイヨ
まあとにかく、785==788==789==791は極バカということで。
801 :
Nanashi_et_al. :01/11/16 21:42
>>797 ここは理系一般板
電波お花畑板じゃあない レス間違えたね
>>799 数学勉強する前に日本語勉強しろよ(w
ここでは議論している各人の”ある「定義」に基づいた「公理系」”
は必ずしも同一では無いということも知らないのか。
自己中心的すぎて周りが見えてないようだから、言っても無駄っぽいけどな。
キミの言いたいことはみんな良くわかってるから、 せめて「定義だっていう証拠はあるのか」とか 「それは事実なのか>定義されている」とか そういうふうに書くべきだったね。あと、 「数学勉強する前に日本語勉強しろ」と言う前にまともな数学のお勉強をして 実数の定義くらいは確認してから議論をはじめてね。おねがい(はぁと
804 :
Nanashi_et_al. :01/11/16 23:04
>ここでは議論している各人の”ある「定義」に基づいた「公理系」” >は必ずしも同一では無いということも知らないのか。 それじゃそもそも議論にならないだろが
>>802 >ここでは議論している各人の”ある「定義」に基づいた「公理系」”
>は必ずしも同一では無いということも知らないのか。
それを日本語で「土俵が違う」と言うんだったような…。
>>802 曰く、オレ日本語出来てないらしいから正しいかどうかわからんが…。
それでは議論が成り立たないと思うです、はい。
806 :
Nanashi_et_al. :01/11/16 23:09
>>772 無限の最後のどこかで、10倍されなければならないだろ。9を10倍したら90だ。
数の最終桁が無くなるっての?
可笑しいじゃないか。滅茶苦茶だよ。
小数の顔をしてるけど、小数じゃないじゃないか。
lim 1-0.1^n
n→∞
ってかいちゃうと超簡単だけど、その意味は単に収束するよといってるだけで、
無限の意味を答えてない。
だから、無限と有限の境を答えていない。
ああ。そうか。 0.9999....=0.9999....99 とする。 9 * 10 = 90 であるから、 0.9999....99 * 10 = 9.9999....90 9.9999....90 - 0.9999....99 = 8.999999....9 無限だけど、無限の果てまで、基本的な加減乗除を成立させるには こうすれば良いんじゃないか?
スマソ。 8.9999....9→8.9999....99
またまたスマソ。 8.9999....9→8.9999....91
>>809 >0.9999....=0.9999....99
>とする。
この段階で既に間違っている。左辺と右辺は同じではない。
よってこれは
>>1 の命題の検証には使えない。
そもそも
0.9999....99 = 1 なワケないじゃん(w
QED
813 :
Nanashi_et_al. :01/11/17 11:27
814 :
Nanashi_et_al. :01/11/17 14:30
数学的には等しいが、等しくないような理論なら等しくない。 よって、公理系が示されていない以上どちらとも言えない。 でいいですかね。 「数学的」とかいうと、数学でしか物事を考えられないのか、というお叱りを受けるし。 繰り返しますが、数学的には等しいです。数学的に等しいことは何をいっても否定することはできません。その他の理論でやりたいならどうぞ。
>>814 数学における公理系は複数存在します。(定義できる)
貴方の考える数学的公理系では真であっても、
他人の考える数学的公理系では真とは限りません。
自己中もたいがいにしなさい。
>>812 0.9999....は、いつまで経っても9が続くという意味なのだから、
最後も必ず9である。
もし、最後がないと主張されるのであれば、 0.9999....に対する計算は永遠に終了しない。 つまり、 0.9999....*10 は 9.9999.... とは=で定義できない。 なぜなら、まだ、計算が終わっていないからだ。 =ではないのである。
>>814 おやおや
数学がおわかりでないようですね。
すみません、数学にもいろいろあるのは一応知っていたのですが、
あんな変なことを書いてしまいました。
じゃあ、結局、等しい時もあるし等しく無い時もある。
で、結論ですかね。
文字としては等しく無いのはあきらかだし。
結局、
>>1 が、どういう比較方式で比較してほしいのか書いていない以上、等しかったり等しくなかったりするんじゃないんですかね。
>>820 >>1 は関係ないだろ。
>>1 に書かれた証明が誤っていることはもう分かったし、
>>1 はそれ以外に何かを求めている分けではないから。
822 :
Nanashi_et_al. :01/11/17 22:56
一般的な公理系では等しいから等しいと言い切って問題無し。 等しいのを否定している奴はただのバカ。 超準解析とかをやれるくらい頭がいい奴はこんな事では突っ込まない。
>>819 では、無限などんな数でも飲み込んでしまうと?
ハッキリ言って馬鹿げてますね。
もし、そうであるならば、無限小数には、基本的な計算が成立しないな。
つまり、その定義は使えない。意味無し。
>>822 覇外道
>超準解析とかをやれるくらい頭がいい奴はこんな事では突っ込まない。
言い換えれば
「超準解析とかをやれるくらい頭がいい奴はこんな事ではスレをいちいち立てない。」
よーするに1はドキュソだということだ。
また何週間か経ったらこのテのクソスレ立つんだろうなあ…鬱氏(数学板が特にひどい)。
825 :
Nanashi_et_al. :01/11/18 00:03
>>823 一般的に使われている公理系を否定するのね。それはそれでヨシ。
で、違う公理系を主張してあんたは何を言いたかったの?
826 :
Nanashi_et_al. :01/11/18 00:57
>>825 単に、この方法なら計算がちゃんと成立するよ〜。
1=0.9999....は全く可笑しいよ〜。
と言いたかっただけ。
それ以上は勝手に解釈してください。
じゃっ。
827 :
Nanashi_et_al. :01/11/18 00:59
828 :
Nanashi_et_al. :01/11/18 01:06
一般的な公理系(ここでは実数と考えて)では、 0.999・という循環小数は1に等しいとしても、 0.999…という記号は上と同じ意味合いではなく、 大きさは1と等しいと考えてよいが1より僅かに小さい数を 表すために、使われていると思います。 なぜなら、0.999…という記号が1という記号と全く同じ定義であったら わざわざ1と表記さずに0.999…と表記する意味が全く無いと思います。 それにその場合そのような無意味な記号が定義された由来が理解できません。 また、0.999…を循環小数だと思われている方がいるようですが、 確かにそれが定義されていれば1に等しいですが、一般的には意味合いの 違いによって区別して使われていると思います。 その辺の記号の正確な定義を知っている人がいましたら教えてください。
>>828 問題の意味を取り違えてない?
ここでの問題は0.99999・・・・・という無限循環小数があったとしてそれが1に等しいと言えるかどうか
であって、0.99999・・・・・という表記に意味があるかどうかは全く関係がないでしょう。
>>828 0.999... を 0.333... 、1 を 1/3 に置き換えて同じこと言える?
>>829 表記が異なれば、定義も異なるのではないかと疑うのが普通だと思うけど、
0.99999・・・が循環小数だなんて定義聞いたことないよ。
似ているから先入観で定義が同じだといってるだけじゃないの?
>>830 そもそも、小数点以下99999と無限に続く少数は存在しないのに、
そんな循環小数は定義されているのか?
たとえ便宜的に定義されていたとしても、それでは1と全く定義が
等しくなってしまうから、あえてそれを使う理由はなくなる。
にも関わらず、そのような表記が使われていることを考えると、
当然、定義が異なると推測されるのだが・・・
>>831 普通そこは常識で判断するところでは。
特殊な定義があるのなら、それは書いてあるはず。
循環小数の表記はネット上では見づらいから0.99999・・・・と書いてるだけと
判断するのが常識人だと思います。
それとも
・
0.9って書いて欲しいんですか?
点がずれてしまった。 ・ 0.9 今度は合ってるかな。
835 :
Nanashi_et_al. :01/11/18 02:46
>>832 >そもそも、小数点以下99999と無限に続く少数は存在しないのに、
だーかーらー、それこそ可能無限の立場だろ、前レス少し読めよ
高校レベルでやる普通の公理系では実無限の立場だから
極限の定義から自明に 0.9999…(最終桁なんて無いぞ)
は出て来るんだよ いいかげん無駄なレスやめいて
ってマジレスしちまったよ鬱氏
>>833 0.99999・・・・
本当に、このような表記を知らないのですか?
838 :
Nanashi_et_al. :01/11/18 03:14
>>835 そんなこと前レス読んでる人は知ってますよ。
だから、問題なのは0.9999…の「…」の定義。
いいかげん、いいかげんなこと自分の裁量で決め付けて
自己中心的なことを言うのをやめてください。
>>837 本当に学ぶ意志があるのなら、自分で調べみなさい。
>>839 ないです。教えて下さい。
それとも専門ぶってるだけですか?
841 :
Nanashi_et_al. :01/11/18 04:49
>>829 =
>>837 =
>>840 はただのアオリ厨、相手にするだけ時間と労力の無駄。
ヒトにケンカ売って何が楽しいんだろうね、最悪板逝けよこの吉外。
>>841 いいですよ。
その前に0.999999・・・・・という表記にどういう意味があるのか教えて下さい。
どちらかと言うと貴方の言葉遣いのほうがアオリ厨房では?
学ぶ意思がないのだから、教える義理は1mgも無し ** 終了 **
844 :
Nanashi_et_al. :01/11/18 12:31
>>827 論理で来いよ。
書き逃げ低脳厨房。(w
>>843 さよなら厨房さん。
今度来るときはコテハンで来てね。
最後に常識というものを教えてあげます。
1.4142・・・・・
とあったらこれに続くのは1356です。
分かりますね?このあとに31415等が続くと思う人は常識が欠けています。
同様に
0.999999・・・・・
とあって、これに続くのが2781だとか思う人も常識が欠けています。
貴方のような人を普通世間では教条主義者といいます。
846 :
Nanashi_et_al. :01/11/18 13:15
(1)0.999999 を10倍すると (2)9.99999 になるから (2)−(1)は8.999991 [(1)の9倍] 無限に続く場合も10倍すると左に1ケタずれるはず、 最後のケタは当然0のはずなのに、そこも9と勘違いしたため、 1のような証明ができてしまった。 ま、文系者だからよく知らないけど。
>>845 (゚Д゚)ハァ?
マジ既知外だコイツ。。。
849 :
Nanashi_et_al. :01/11/18 14:03
1/3を少数で表そうとすると 0.3333.... ....はずっと3が続くということ となって少数では表せません そこで循環少数というものを定義して 1/3=0.3.... 1/9=0.1.... と表すことにしたのですが ここで問題になるのが 0.9.... なのですが 循環少数に対応する分数は存在しないのです。 0.3....X3=0.9.... というのは証明できません 0.3....X3=1です また 0.9..../3=0.3..... というのも一瞬証明できそうですが 0.9....の存在というか数字かどうかさえはっきりしてない ので0.9....関する演算は証明には使えません。 ということで 0.9....という数は存在しないと定義するのも正解でしょう
>>847 >>848 そんぐらいのことしか言えないんですか?
取り合えず0.999999・・・・・・
の・・・・・・・・と言う表記に特別な意味があるのなら説明して下さい。
数学科の友達に聞きましたが「特に決められた意味はない」とのことです。
「その友達がおかしい」とか言う解答はなしですよ。
この表記に特別な意味があるのならそれを書いておくのがすじでは?
あとそのことが書かれている文献も。
ナア、タノムカラ デムパオハナバタケイタ ニ イケヨ
>>850
>>849 「証明できないから、存在しない」ってのもよくわからんし、
1=0.9999... の証明なら、このスレにいくらでもでてきてる。
>0.9.... なのですが循環少数に対応する分数は存在しないのです。
1/1 も分数ですが、何か?
ちなみに全ての循環小数は有理数です。
0.9999... も有理数で、1に等しい。
>>853 >1=0.9999... の証明なら、このスレにいくらでもでてきてる。
よく読めよ、全部定義があいまいで、
確かに証明できていると言えるものは一つも無い。
>1/1 も分数ですが、何か?
整数は循環小数ではありません。
>>854 (=849か?)
0.333... という表記を認めるなら、0.999... という表記もできるだろ?
循環小数は、もともと分数を小数で表記するために考えられたが、
循環小数が 1 になっても問題ない。
>整数は循環小数ではありません。
1.00000..... ほら、循環小数。
整数⊂有理数=循環小数⊂実数
856 :
Nanashi_et_al. :01/11/18 20:05
>>855 >0.333... という表記を認めるなら、0.999... という表記もできるだろ?
>1.00000..... ほら、循環小数。
表記できるか否かが問題ではなく、実際の定義が問題。
>循環小数が 1 になっても問題ない。
定義と異なっていれば問題です。
857 :
Nanashi_et_al. :01/11/18 22:28
循環小数⊂実数 これ嘘ね 逆は真ならず すべての分数は、循環少数で表現できるが すべての循環少数が分数であるとは限らない。 あ ここでいう分数とはA/B A,Bとも整数で表される数のことね。
860 :
Nanashi_et_al. :01/11/18 23:36
何が冗談? 反例は?
861 :
Nanashi_et_al. :01/11/18 23:59
循環小数って、ある特定の周期で同じ数字の列が出てくる数列の事ですよね。 0.10100100010000....みたいなのは含みませんよね。 なら絶対に分数で表せるんじゃ。
>>856 あんたの言ってる定義って何?
小数点以下の数字の列が、一定周期で繰り返されるのが循環小数。
「元の数は、必ず割り切れない分数であること」という定義は無いよ。
「割り切れない分数を小数で表記するため」に考えられたとは思うが。
>>857 >循環小数⊂実数 これ嘘ね
嘘だったら証明は簡単ですね。どうぞ、反例を言って下さい。
863 :
Nanashi_et_al. :01/11/19 16:33
>>860 >>862 反例、反例と言っているが、
「真でなければ偽」という考え自体が誤り。
真とも偽とも定義できない場合がある。
その場合、反例は存在できない。
>>857 が言っていることがそれに該当するかどうかは別だけど。
864 :
Nanashi_et_al. :01/11/19 16:35
>>863 そういう時は
「私は排中律を認めません」と言うんだよ。
865 :
Nanashi_et_al. :01/11/19 19:47
866 :
Nanashi_et_al. :01/11/19 20:15
っていうか、一定周期で同じ数字の列が繰り返される循環小数が分数で表せないわけ無い。 無限級数で考えてみればわかるじゃん。
867 :
Nanashi_et_al. :01/11/19 20:36
循環小数に対する加減乗除は可笑しくなるね。 0.3....+0.3....+0.3....+0.3....=1.3.... 1.3....-0.3....=1 馬鹿げてるな。
868 :
Nanashi_et_al. :01/11/19 20:53
1- 0.333333333333 - 0.333333333333 - 0.333333333333 = 0.000000000001 1は何処へ?
0.999...が循環小数かどうかが問題
>>869 この程度のこともわからんでレスしてるイタイヤツがいるから
ここはいつまでもDQN
9がいつまでも循環してるだろが。お前馬鹿?
>>867 おかしいか?
>868
どこが不思議なのだ?
| ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄ ̄| | つよい電波がでています | |____________| / < / ビビビ \_\_\ _ \ \ \ /||__|∧ __|___ (O´∀`) | |::::::::::::::::::::::| (つ つ/ |::::::::::::::::::::::| / ̄ ̄ ̄≡ .|;;;;;;;;;;;;;;;;;;;;;:| | |::::::::::::::::::::::|
874 :
Nanashi_et_al. :01/11/19 23:02
循環少数から分数へ変換する 公式はすぐ考えつくとおもうが たぶんその公式を 0.9999...... に適用すると1となるであろう だから 0.9999......=1 と定義するのは、適当であるが だからといって 0.9999......=1が証明できるわけではない
875 :
Nanashi_et_al. :01/11/19 23:05
876 :
Nanashi_et_al. :01/11/19 23:53
結論 0.999・・・≠1
877 :
Nanashi_et_al. :01/11/20 00:11
1-0=0.9999999999・・・
0.999・・・≠1って言ってるヤツは、感覚的に納得できないだけでしょ。 循環小数を認めるならば、0.999... = 1 ね。 (なぜならば、0.9999... < X < 1 を満たす X は存在しないから)
0.9999... < X < 1 を満たす X は存在しないから <-- これも嘘ね 特殊な公理に基づかないとそうは言えないよ
880 :
Nanashi_et_al. :01/11/20 08:04
>>879 というか
循環少数を定義した時に
0.999... = 1
も定義してしまうわけだけど
それと 0.9999... < X < 1 ・・ は なんの関係もない
0.9999... < X < 1 を満たす X が存在するなんて ずいぶん特殊な公理だなオイ。
882 :
Nanashi_et_al. :01/11/20 11:15
>>880 残念ながら、0.999... = 1
とは定義されません・・・
>>882 実数の連続性・稠密性からすぐ証明出来るよ。
0.999999・・・・・・・=1
を証明するのに必要な定義は実数の連続性と稠密性のみ。
あと0.99999999・・・・・・が存在することも実数の連続性から証明出来る。
>>883 「・・・」という記号の定義がなければ証明は行えません。
885 :
Nanashi_et_al. :01/11/21 13:36
文字でかけないとだめ としたら? 0.99999 っていっぱい書くと紙がたらなくなってしまうので 1≠0.99999(自分が書いたとこまで) なんつって。
>>883 そうか???
極限値でいうと
1-1/n<1-1/2n<1-1/3n ・・点 n->無限大
それらか全て同じ
1-1/n=1-1/2n=1-1/3n ・・・ n->無限大
というのは、カントルの作った公理だぞ証明できないとおもうが
まず0.999999・・・・・・が存在することの証明。
ちなみにここで考えているのは実数であり、実数という以上実数の連続性と稠密性が
成り立っているものとします。
1と0.9を考えるとき、実数の連続性よりこの二つの実数の間には無限の実数が存在します。
故にこの二実数の間に0.99が存在します。
同様に1と0.99の間には0.999が存在します。
この動作を無限回繰り返せば求める実数0.999999・・・・・・を得ることが出来ます。
この証明を否定する人は全ての無理数及び循環小数を否定することになります。
上の証明を下のように書き換えて考えてみて下さい。
1と2の間には無限の実数が存在するのでこの二実数の間には1.4が存在します。
同様に1.4と1.5の間には1.41が存在します。
同様に1.41と1.42の間に1.414が存在します。
このようにして、二つの実数の間の任意の実数を選ぶという選択を繰り返すことによって
任意の無理数及び循環小数の存在を証明することが出来ます。
次に0.99999・・・・・・=1を証明します。
0.999999・・・・・と1の間に任意の実数を取ることは出来ません。
故に実数の連続性の定義により0.999999・・・・・・=1となります。
以上証明終わり。
>>884 記号の定義は数学の証明の範疇ではありません。
その記号を定義するのはあなたにお任せしますよ。
1÷1って筆算で強引に0.99999999…にできるじゃん 感覚的にいうと0.99999…=1じゃねーの?
>>889 どこをどう読んでも0.99999・・・・・・=1とは定義されてない。
ただ0.99999・・・・・・=1が証明されてるようにしか見えないんだけど?
0.99999・・・・・・=1は定義っつーのが君の主張ではないんかね?
890 :
Nanashi_et_al. :01/11/22 12:26
じゃ 無限ってなによ
>>889 0.99999・・・・・・=1と証明してるつもりの奴は、
自分の中で勝手に0.99999・・・・・・=1と定義して、
それを遠まわしに表現しているだけ。
1を1.00000・・・と記述しなおして 0.9999/1.0000とする。1にはならないんでない?
>>892 マジレス。
0.99999・・・・・・≠1と証明してるつもりの奴は、
自分の中で勝手に0.99999・・・・・・≠1と定義して、
それを遠まわしに表現しているだけ。
895 :
Nanashi_et_al. :01/11/22 16:58
あげ
896 :
Nanashi_et_al. :01/11/22 17:01
0.999999・・・・・と1の間に任意の実数を取ることは出来ません。 ↑これは明らかとしてしまってよいのかな?
一般的に0.999999・・・・・の値を等比級数の極限と定義してるだけで 0.999999・・・・・=1と定義しているわけではないと思うんだが。
>>897 0.999…を等比級数の極限と定義するなら、その極限が実数値に収束することを
示さないとwell-definedじゃない。
定義の前提として 0.9+0.09+0.009…=1が要請される。
>>899 を言い換えると・・・こんな感じ。
0.333…を等比級数の極限と定義するなら、その極限が実数値に収束することを
示さないとwell-definedじゃない。
定義の前提として 0.3+0.03+0.003…=1/3が要請される。
どー思う?
901 :
Nanashi_et_al. :01/11/23 18:35
1/9 を計算してみましょう。 0.1111111111111111111111111111111111111111111 になります。
902 :
Nanashi_et_al. :01/11/23 18:36
両方を 9倍してみましょう。 9/9 = 0.99999999999999999999999 になります。
903 :
Nanashi_et_al. :01/11/23 21:14
循環小数ってのは全て適当な整数を掛ければ、 初項と項比共に整数である無限等比級数に整数を足した物で表せるよね? そしてその形の中には2つの整数の比では表せられないものがある。 これが何か少し前の人たちが喋ってた内容だよね? どんな公理系と論理使ってんだろ?
X=0.999… (1) 両辺を10倍する 10X=9.999… (2) (2)から(1)を引く 9X=9 X=1 よって 1=0.999… だから、0.999…という定義がそもそも誤り。
906 :
Nanashi_et_al. :01/11/25 05:49
>>905 1/2=0.5
だから、0.5という定義がそもそも誤り。
って言われたらどうするの
907 :
Nanashi_et_al. :01/11/25 07:16
二つの表記法を認めるか否かの問題ともいえる。 0=0.000000000…
908 :
Nanashi_et_al. :01/11/25 11:01
分数なら、幾つも同じ数の表記方法があるのにね…。
>>906 馬鹿か?
計算していくと、0.9999....が突然1になったりするからおかしいと指摘してるんだよ。
0.5をいっくらいじっても、ちゃんと正しい答えが出るだろ?
>>909 (=
>>905 ?)
すげぇ、真性だよ。晒しとこう。
マジレスしてみよう。
(1)>よって 1=0.999…
(2)>だから、0.999…という定義がそもそも誤り。
(1)から(2)に行くときに、1≠0.999.... であるという誤った仮定を使っているのをお気づきか?
>>905 の主張していることは・・・
(仮定)
0.999... という数が存在する。そして、それは 1 と等しくない。
(結論)
仮定は誤り。
(何が分かったか?)
「0.999...という数が存在しない」or「0.999...≠1 は誤り」or「両方」
(でもね)
>>905 は、正しい計算をして 1=0.9999... になってるんだよ。
911 :
Nanashi_et_al. :01/11/26 13:02
>>910 あー、面倒くさい。
X=0.999… (1)
両辺を10倍する
10X=9.999… (2)
(2)から(1)を引く
9X=9
X=1
だから、0.999…という定義がそもそも誤り。
あと、1/3=0.3…は誤り。1/3≒0.3…が正しい。
1を3つに割った小数など存在できない。
>>911 >1を3つに割った小数など存在できない。
こんな不便な条件勝手に数学に付け加えるな
913 :
Nanashi_et_al. :01/11/26 15:40
>>912 やっぱり言うと思った。
『10進法では』に訂正。
12進法や60進法なら表現可能だけどね。 少なくとも10進法の世界では無理。
>>913 >『10進法では』1を3つに割った小数など存在できない。
だから、こんな不便な条件勝手に数学に付け加えるなって。
君よりマシさ。 バイバイ。もう来るなよ。
うーん、いろいろなヴァカな主張があって困るな。
循環小数を認めないのであれば、それでいいんだけど、
>>911 のような証明は無茶苦茶。
循環小数を認めるなら、0.999・・・ = 1 ね。
いいきるなよ 0.999・・・が、循環小数であるのを認めるなら、 0.999・・・ = 1 と定義するのが自然
結局、誰も解けねーんじゃん。ヴァカ。
ガイシュツかもしれんが、
0.999…を10倍すると、9.999…と言って良いのかが疑問があるな〜。
感覚的にはわかるけど、∞を10倍するというものと同じ議論に近い気がする。
それと、
>>7 であった
>1/3=0.33333‥‥
>両辺に3を掛ける
>3*1/3=3*0.33333‥‥
>従って
>1=0.99999‥‥
つうのは、0.33333‥‥を3倍したら、それは0.99999‥‥ではなく、1だと思うから違うと思うな〜。
926 :
Nanashi_et_al. :01/11/27 18:52
>>925 そう、有限小数の四則演算の操作を、無限小数にあてはめるのはダメ。
だから、Lim_(n→∞) (Σ(k=1,n) (9*10^-k)が正解。
>>924 違う。おまえみたいなやつが何度説明されても理解できて無いだけ。
とっくに答えはでてる。
>>927 どこがどうずれているのかを具体的に示していただかないと理解できません。
929 :
Nanashi_et_al. :01/11/28 03:56
循環小数が存在しても 「限りなく1に近いもの」でイイじゃん。 ヴァカ
930 :
Nanashi_et_al. :01/11/28 15:15
スレの論旨は1の提示した証明が正しいか否かです。 1=0.999999・・・か否かを証明することではありません。
>>929 ダメ。
限り無く1に近いもの、じゃなくて、1そのものだから。
>>930 じゃあ、正しくない。
四則演算を有限なものに行った性質を、無限小数に当てはめている時点でだめ。(2)から(1)を引く、という時点でおかしくなる。
10倍するのも本当はだめかも。
933 :
Nanashi_et_al. :01/11/28 16:59
むかし話だけどさー。坊さん同士の謎掛け(?)みたいな奴だな。 寺に入っていってなぞなぞ出し合って知識を競うってヤツ。 でもさー。この坊さんの世界って、常識を持って聞いてると訳が分かんなくなるんだよね。 適当に世界を作り出していくって感じですか?
「この問に答えられるかな?」 答えて、それについて、更に深く、また 「では、この問に答えられるかな?」 みたいな感じで延々進行していくヤツ。 で、最後まで論破したヤツに信者がついていくってヤツ。
935 :
Nanashi_et_al. :01/11/28 18:03
>>929 循環小数が存在しても でなく
循環小数を定義しても とのほうがよい
>>931 限り無く1に近いもの、じゃなくて、1そのものだから。
でなくて 1と定義するほうが自然なだけ
べつに 1でなくても困らないはず
0.aaaaaa..... (a は 1から9のどれか一つ) を分数にする式を a/9とすると 0.9999..... は 1となるが a=9の場合は例外でもかまわない でもなんか不自然
937 :
Nanashi_et_al. :01/11/28 19:02
9進数の世界なら 1/9=0.1 10進数の世界なら、 1/9≒0.1・・・ 以上。
>>937 だから、その根拠は何なんだよ。
1/9=0.1....
だろ。
....が、循環小数を表すならな。
っていうかさ、無限の概念がよく分かって無いやつは書き込み禁止にしようぜ。
つーか、自分の思い込みの世界で語るな。 数学的にやれ。
940 :
Nanashi_et_al. :01/11/28 19:30
このスレ循環してます・・・・・・・
941 :
Nanashi_et_al. :01/11/28 20:03
すいません、馬鹿な私にちょっと教えてください。 1=0.9999・・・ということですが、1よりほんの少し小さい物は どう表記するものなのでしょうか? 今まで1よりほんの少し小さいものは0.9999・・・と書けばいいかな と思っていたもので。 よろしくお願いします。
943 :
Nanashi_et_al. :01/11/28 20:34
>>942 0.9999・・・と書けばいい。
「・・・」は循環小数の記号ではないからね。
これだから数学キチガイは・・
945 :
Nanashi_et_al. :01/11/29 00:01
>>943 そんなのだめ。...は無限に続くものとして扱われることが多い。
δ<<1として、
1-δ
ってかけば済むことだろ。
だいたい、0.9だって1よりほんの少し小さいじゃんか。
ほんの少しってなんだよ。
1よりほんの少し小さい物? 1-εとでも書きなさい
947 :
Nanashi_et_al. :01/11/29 00:03
見事にかぶった
0.9888888・・・・・・・・・・・・・・
1/3=0.3・・・ とすると、 0.3・・・*3=0.9・・・ (1 0.3・・・*4=1.3・・・ (2 ここから、0.3・・・を引くと 1.3・・・-0.3・・・=1 となってしまう。 よって、 1/3=0.3・・・ は間違いである。 1/3≒0.3・・・ が正しい。
>>949 1/9=0.111…
それがどうかしたのか?
>1.3・・・-0.3・・・=1
>となってしまう。
それがどうかしたのか?
>>951 0.9・・・と1は等しくはない。
0.9・・・
=0.9+0.099・・・
=0.99+0.0099・・・
=0.999+0.00099・・・
・・・
=0.999999・・・+0.0・・・
である。
つまり、0.9・・・とは、9が果てしなく続くという意味であり、永遠に桁上がりは来ない。
>0.9・・・とは、9が果てしなく続くという意味であり、 >永遠に桁上がりは来ない。 いや、だからそれがどうかしたのか? 表記が違うから等しくないって言いたいのか?
955 :
Nanashi_et_al. :01/11/29 01:24
>>952 おまえ、無限っていう概念が分かってないだろ。
書き込み禁止。
1=0.9+0.1 である。 10進法の桁上がりは、その桁が10にならないと許されない。 1=0.99+0.01 1=0.999+0.001 1=0.9999+0.0001 ・・・ であるから、1になるためには、 1=0.9・・・+0.0・・・ でなければならない。 そうでなければ桁上がりはできない。
957 :
Nanashi_et_al. :01/11/29 01:28
だいたい、0.9.... * 4がなんで、1.3....なんだ? 0.3... * 3 = 0.9... < 1 ならば 0.3... * 4 < 1 + 0.3.... となり、0.3... * 4 < 1.3...となり矛盾。
0.9... * 4じゃなくて、0.3... * 4だった。
956じゃなくて957だった。
>>956 有限確定値の場合はそうだね。
無限っていう概念は別なの。
ε-δ論法でも勉強したら?
>>958 0.3・・・*4=0.3・・・+0.3・・・+0.3・・・+0.3・・・=0.6・・・+0.3・・・+0.3・・・=0.9・・・+0.3・・・=1.3・・・
だが何か?
つまり理論が自己矛盾している。 単なる1=9・・・とするのは、つじつま合わせに過ぎない。
963 :
Nanashi_et_al. :01/11/29 01:41
だから、 > 0.3・・・*4=0.3・・・+0.3・・・+0.3・・・+0.3・・・=0.6・・・+0.3・・・+0.3・・・=0.9・・・+0.3・・・=1.3・・・ は、最後の足し算がおかしいだろ。 0.9...+0.3...<1+0.3...=1.3... よって、0.3...*4=0.9...+0.3...<1.3... 最後の足し算をしてる時点で、1=0.9999...って認めてる。
>>959 であるならば、有限に対する加減乗除の規則、経験は何も役には立たない。
有限とは隔離して計算しなければならない。
有限と無限を同じ領域で計算する場合には、論理に矛盾が生じてしまう。
つまり、君の論理では、 = であって、正確には = ではない。
>>963 意味の論理に従って計算したまでだが何か?
966 :
Nanashi_et_al. :01/11/29 01:44
だから、0.9...<1ならば、0.9...+0.3...<1.3...だろ? それを認めろよ。両辺に0.3...足しただけだから同値だぞ。
循環小数は、小数であって、小数の計算方法が通用しない事になる。 小数の常識が通用しないことになる。
968 :
Nanashi_et_al. :01/11/29 01:46
扱う数の論理をわかってないから、演算子だけ分かってても 意味が無いんだよね。議論するだけ無駄な気がしてきた。
969 :
Nanashi_et_al. :01/11/29 01:46
971 :
Nanashi_et_al. :01/11/29 01:47
2ってなんだよ2って。1.3......2 っていいたいのか?
答えてください。2は何処へ?
973 :
Nanashi_et_al. :01/11/29 01:48
だから、2ってどの2?
974 :
Nanashi_et_al. :01/11/29 01:49
1.3....3で途中で止まるのと 1.3......で無限に続くのとは 違う数だということをいいかげん受け入れなさい。
975 :
Nanashi_et_al. :01/11/29 01:49
0.99+0.33=1.32 この最後の2を言いたいのか?
976 :
Nanashi_et_al. :01/11/29 01:50
ちなみに、その2、とかいうなら、0.9...+0.3...=1.3... が誤りな。だって、めちゃめちゃ後ろのほうに2があるのに 1.3...じゃないだろ。
9と3を足すことで、12になるので、1が繰り上がって、2が残る。 その次の桁も同じだから、繰り上がってきた1を足して3になる。 2は何処へ?消えてしまうのか?
978 :
Nanashi_et_al. :01/11/29 01:52
だから、それならお前の理論はおかしくなるぜ>977 0.9....9+0.3....3=1.3....2 だから、0.9...+0.3...=1.3...2<1.3...3.... となる。
979 :
Nanashi_et_al. :01/11/29 01:53
>>977 無限に続くということは、2はでてこないということです。
980 :
Nanashi_et_al. :01/11/29 01:54
だいたいさー、無限を、「ずっとむこうでいつか終わる」 とか思ってるあたりでDQNだって。
981 :
Nanashi_et_al. :01/11/29 01:54
1.3...のあとには3しかきちゃいけないんだろ?なら 2が出た時点で0.9...+0.3....が1.3...にはならないじゃん。 自己矛盾。
>>978 これは私の論理ではない。君たちの論理に従って計算したまでだが、何か?
私は否定している。
983 :
Nanashi_et_al. :01/11/29 01:56
新スレかなこれは。
984 :
Nanashi_et_al. :01/11/29 01:57
>>982 演算子の使い方は間違ってないけど、無限という数を扱う時点で
かなりミスを犯している。
985 :
Nanashi_et_al. :01/11/29 01:58
>>982 どういう論理だ?
僕の論理では0.9..+0.3...=1+0.3...は成立するし
0.9...+0.3...を足した時に2なんて数字はどこにもでてこない。
>>981 そう。君たちの論理では、計算が正確には終わらない。
987 :
Nanashi_et_al. :01/11/29 01:58
988 :
Nanashi_et_al. :01/11/29 01:59
そりゃ、有限小数の操作をしてたんじゃ、いつまでたっても終わらないよ。 無限だもの。だから、有限小数の操作をしちゃだめなの。
君たちの論理では、桁上がりに矛盾が生じる。
990 :
Nanashi_et_al. :01/11/29 02:00
0.9に0.3を足したら間違いなく1.2でしょう。 0.99に0.33を足せば1.32. これが無限に続くということは、終わらないということ。 そうすれば、2は永遠に出てこないということが分からないかな?
991 :
Nanashi_et_al. :01/11/29 02:00
桁上がりは有限で出てくるもの。無限小数の無限部分で議論する場合は桁上がりとかない。
992 :
Nanashi_et_al. :01/11/29 02:03
993 :
Nanashi_et_al. :01/11/29 02:07
あれ、書きこみが落ちたな
0.99899・・・+0.0033・・・=0.99933・・・ 0.99933・・・-0.0033・・・=0.996 だが、何か?
宗・教・粉・砕。(w
0.99899・・・+0.00033・・・=0.99933・・・ 0.99933・・・-0.00033・・・=0.999 だが何か?
0.99899・・・=0.999 か。おめでてーな。
オラ。どうした。回答しろ。(゚Д゚)ゴルァ!!
計算が終わらないってなんだ?
ひょっとして0.999…は計算の結果としてしかでてこない数だと思ってんのか?
>>994 >>996 それがどうかしたのか?
1001 :
1001 :
Over 1000 Thread このスレッドは1000を超えました。 もう書けないので、新しいスレッドを立ててくださいです。。。