1=0.999・・・ その15.999・・・
レス数が1000を超えています。これ以上書き込みはできません。
0001132人目の素数さん
2008/08/23(土) 10:14:39今後書き込む際には、できるだけまず回答テンプレートを参照してから、それをふまえて行ってください。
また、回答テンプレートへの意見なども自由に書き込んでください。
前スレ
1=0.999… その 9.999… http://science4.2ch.net/test/read.cgi/math/1118452051/
1=0.999… その10.999… http://science4.2ch.net/test/read.cgi/math/1136133055/
1=0.999… その11.999… http://science4.2ch.net/test/read.cgi/math/1142173277/
1=0.999… その12.999… http://science4.2ch.net/test/read.cgi/math/1154943310/
1=0.999… その13.999… http://science6.2ch.net/test/read.cgi/math/1161855366/
1=0.999… その14.999… http://science6.2ch.net/test/read.cgi/math/1174700172/
0002KingMind ◆FMcOvuHCU.
2008/08/23(土) 10:15:360003132人目の素数さん
2008/08/23(土) 10:16:25A1 「前提条件」により「1=0.999…」なり「1≠0.999…」なり変わる。
しかし、通常はその様な前提条件を採用する事の利点や、過去の経緯を考えると
「1=0.999…」であるとした方が妥当である。
Q2:「1=0.999…」は証明可能なのではないか。
A2:A1の前提条件を認めれば可能である。しかし、認めない人にとってはその証明は
無意味である。
Q3:1と0.999…は形が全く違う。同じ数だと言うのは納得できない。
A3:分数の2/2と3/3も違う形だが、全く同じ数である。
Q4:A1で、数学で正反対の結果を容認するのは納得できない。論理は一意に定まるのではないか?
A4:自然数が入っている論理がもし正しいなら、その正しさはその論理内で証明できない。
従って、「1=0.999…」が結論となる論理も「1≠0.999…」が結論になる論理も
無矛盾な限り、その正しさはその論理内で証明できない。
更に言えばどちらの論理結果も独立に存在し得る。
0004132人目の素数さん
2008/08/23(土) 10:17:430005132人目の素数さん
2008/08/23(土) 10:17:45A5:通常は実数の範囲で考え、「実数の連続性」や「0.999…が無限級数の
極限値である」こと等を前提にする。しかし、説明は複雑になるが、
アルキメデス性を満たす数の範囲(例えば実数ではなく有理数)で
考える事も可能である。
Q6:「1=0.999…」の証明には幾つかの初等的手法があるが、これらは無意味になるのか?
A6:前提条件を認めて、無限小数の演算を矛盾無く定義するなら、それらの初等的証明は
確かに証明になっている。前提条件を認めた段階でのより単純な証明は存在するが
初等的証明には「分かり易い」という利点がある。
0006132人目の素数さん
2008/08/23(土) 10:19:08あるとし、各桁毎に比較する事でその値を考えてみても、
1の位は比較して0、小数第1位以降は比較して9、と、結局
0.999…を得る事になり、0.999…と1の間の数にならないので矛盾。
�E 1と0.999…を足して2で割った数は
1.999…/2=0999…となり、x=0.999…と置くと、(1+x)/2=x
よって、x=1となる。
0007132人目の素数さん
2008/08/23(土) 10:19:210008132人目の素数さん
2008/08/23(土) 10:19:59A7:
�@ 1/3=0.333…
2/3=0.666…
3/3=0.999…
∴ 1=0.999…
�A x=0.999… と置いて
10x-x=9.999… - 0.999…
9x=9
x=1
∴ 1=0.999…
�B 0.999… は初項0.9公比0.1の無限等比級数だから、その値は
0.999… = 0.9/(1−0.1) = 1
�C n÷n を計算する際に商の一の位に0をたてると、0.999…が得られるから
1 = n÷n = 0.999…
0009132人目の素数さん
2008/08/23(土) 10:20:170010132人目の素数さん
2008/08/23(土) 10:20:48A8:違う表記の数を全て違う数と看す体系など幾つか挙げられる。
但し、どれも実数の拡大体と言えなくなった体系ばかりになっている。
例えば、減法が成り立たなくなる等した例がWikipediaに記されている。
Q&Aは以上。以下、参考文献
Wikipedia - 0.999...
http://ja.wikipedia.org/wiki/0.999...
J.H.Conwayの超現実数を扱った単行本
至福の超現実数―純粋数学に魅せられた男と女の物語
原著=Donald E.Knuth, 翻訳=松浦 俊輔,
http://www.amazon.co.jp/exec/obidos/ASIN/4760126465
0012132人目の素数さん
2008/08/23(土) 10:21:38納得仕切れずも取り敢えず1=0.999…を認める
Level.2
1/3=0.333…は認めらるが1=0.999…は認められない
Level.3
1=0.999…を認められぬ余りに1/3=0.333…も否定し始める
Level.4
Level.3から更に悪化し、遂に循環小数は有理数ではないとする
Level.5
Level.4から更に進み、実数の連続性をも幻想だと言い始める
Level.6
ゼノンの逆理を持ち出して偉ぶりながら1=0.999…否定論説し始め
尚且つ人の言う事を聞かなくなってくる
Level.7
数学全体の不信任論を展開し始める
Level.8
トンデモ哲学者的に神だの仏だの言いながら数学を鼻で笑って貶すに至る
納得不全者 → 「"無限桁目"の余り」バカ → トンデモ無限説者
0013132人目の素数さん
2008/08/23(土) 10:22:42そして、12.9999・・・・ゲット!
0015132人目の素数さん
2008/08/23(土) 12:20:590018132人目の素数さん
2008/08/23(土) 13:45:550019粋蕎 ◆C2UdlLHDRI
2008/08/23(土) 19:16:41数学板にそぐわぬ罠。
0020132人目の素数さん
2008/08/24(日) 02:30:520021できた
2008/08/24(日) 09:12:460.99=0.98999・・・であるよって
1+0.99=0.999・・+0.98999・・・ が成り立たなければならない しかし
1.99≠1.98999・・・ である
0022132人目の素数さん
2008/08/24(日) 09:23:290023132人目の素数さん
2008/08/24(日) 11:43:060024132人目の素数さん
2008/08/24(日) 13:27:550025132人目の素数さん
2008/08/24(日) 16:11:34>1.99≠1.98999・・・ である
なんでだよw
2行目で
>0.99=0.98999・・・であるよって
って書いてるのにw
0026KingMind ◆KWqQaULLTg
2008/08/24(日) 18:16:090027132人目の素数さん
2008/08/24(日) 19:23:41何か問題でも?
0028132人目の素数さん
2008/08/24(日) 23:23:17あのね。これは"書き方"なの。
1/3=0.333...とか書いて「無限に1/3に近づく(1/3になることはないが)」ってこと表すだろ?
その書き方だと、
1=0.9999.....(無限に1に"近づく") としてるわけ。
無限に近付ければ、
どんなに精度高くしても見分けつかないからこそ、
"同じ"ってことにしてやってるだけ。以上。
0029132人目の素数さん
2008/08/24(日) 23:36:47右辺はきっちり1/3ですが何か
0030132人目の素数さん
2008/08/24(日) 23:49:36Q4の答えっておかしいよな
無矛盾であることが証明できないことと矛盾する論理結果が独立に存在しうることは別
0031132人目の素数さん
2008/08/24(日) 23:56:47ひとつ聞いていい?
>無矛盾であることが証明できない
これは何の話?
0032132人目の素数さん
2008/08/25(月) 02:53:16そう、まさに書き方の問題。
「0.3,0.33,0.333,…という数列を眺めたとき、この数列は無限に□に近づく」
↑の文章の□に入る数字のことを「0.333…」という記号列で表す。これが
0333…という記号列の定義。これが0.333…という記号列の書き方。一方で、□には
1/3が入るから、0.333…=1/3になる。寸分の狂いもなく0.333…=1/3になる。
>1/3=0.333...とか書いて「無限に1/3に近づく(1/3になることはないが)」ってこと表すだろ?
表さない。そこが間違い。0.333…という記号列の定義は「無限に1/3に近づく」ではない。
「0.3,0.33,0.333,…という数列を眺めたとき、この数列は無限に□に近づく」
という文章における、□に入る数字のことを0.333…と書くのだ。
0033132人目の素数さん
2008/08/25(月) 03:20:241=0.999・・・が真だと証明したのか?
数式の証明で0.999・・・というあやふやな表記は使えないぜ
0034132人目の素数さん
2008/08/25(月) 05:34:250035132人目の素数さん
2008/08/25(月) 06:45:45テンプレに証明のってるだろ?
0036粋蕎 ◆C2UdlLHDRI
2008/08/25(月) 14:26:3729:132人目の素数さん 2007/04/09(月) 17:41:56 [sage]
ここのテンプレ引用したらこんな意見が。
ゲーデルの不完全性定理により数学敗北
http://science6.2ch.net/test/read.cgi/math/1169247917/
783:132人目の素数さん :2007/04/09(月) 02:47:31 [sage]
なんかA4の論理云々って無茶苦茶だよ。
論理は古典述語論理で変わらないでしょ?
せいぜい「理論」だよ。
0.999999.........の(もっと一般的に3.1415926535897932.........のような無限小数の)
指示対象をどうやって決めるか、という問題。
785:132人目の素数さん :2007/04/09(月) 04:24:01 [sage]
A4が無茶だな。「公理が違えば結果は異なる」程度で十分じゃないか?
30:132人目の素数さん 2007/04/09(月) 18:31:47 [sage]
できたときから糞テンプレだと思ってました
31:132人目の素数さん 2007/04/09(月) 21:50:13
「論理は古典述語論理」って根拠はなんだw?
数学ってそう決まっているのか?
0037粋蕎 ◆C2UdlLHDRI
2008/08/25(月) 14:41:3332:132人目の素数さん 2007/04/09(月) 23:14:36 [sage]
>> 31
ここで愚痴ってないで
http://science6.2ch.net/test/read.cgi/math/1169247917/
に直接書き込みに行けよクズ。
33:132人目の素数さん 2007/04/10(火) 13:19:19
あおっても何も出ないよw
34:132人目の素数さん 2007/04/10(火) 18:55:45 [sage]
文句があるなら、遠吠えしないで直接書こう。
テンプレ修正なら、いくらでも受け付けるぞ。
35:132人目の素数さん 2007/04/10(火) 20:23:31 [sage]
>> 33
オマエすっからかんだもんな。
38:132人目の素数さん 2007/04/10(火) 21:51:28 [sage]
確かにユークリッド幾何学の第5公準とまではいかない迄も口説いが、
改善案思い浮かばない。精々、Q側の文「論理は絶対なのではないか」を
「論理は一意的に定まる筈なのではないか」みたいに変更する案ぐらい。
>> 31
直観論理でも量子論理でもなかろうって意味では?
39:132人目の素数さん 2007/04/11(水) 20:32:43 [sage]
一意的に?
一様に、じゃね?
0038粋蕎 ◆C2UdlLHDRI
2008/08/25(月) 14:42:32一意で良いんじゃないのか?一般的な用語じゃないから、
かみ砕いた表現の方が良い気もするが…。
41:132人目の素数さん 2007/04/12(木) 01:45:25 [sage]
いや一般だろ・・・
一様のが聞かんぞ。
42:132人目の素数さん 2007/04/13(金) 12:39:07 [sage]
「真実は常に一つ!(by名探偵コナン)」ではないのね。
43:132人目の素数さん 2007/04/13(金) 23:32:32 [sage]
定義によるだろ。
44:132人目の素数さん 2007/04/16(月) 16:03:02 [sage]
>> 38-41
いや、意味的には
「一所{ヒトドコロ}」にとか「一点に」とかの方が。
>>42
いや、どちらか一方、だから一つで合ってる。パラレルセオリー。
45:132人目の素数さん 2007/04/26(木) 23:54:23
>> 42
バーローwwwwwww
これでいいのか?
0039粋蕎 ◆C2UdlLHDRI
2008/08/25(月) 14:44:2846:132人目の素数さん 2007/04/27(金) 00:20:35 [sage]
ネクスト・コナンズ・ひーんと
げーでる
47:132人目の素数さん 2007/05/05(土) 02:49:13 [sage]
げーでる
1940年
ゲーデルがZF集合論+選択公理(=ZFC)から
連続体仮説の否定証明をできない事を証明
1963年
コーエンがZF集合論の無矛盾性を仮定すれば
ZFCから連続体仮説を証明できない事を証明。
この2つより
ZF集合論の無矛盾性を仮定した上で
連続体仮説はZFCとの独立性が示された。
…独立性?
0040132人目の素数さん
2008/08/25(月) 19:32:30中に「1=0.999…」があるんだっけ?
従って、「1≠0.999…」ならこの流れって全部崩れるの?
0041132人目の素数さん
2008/08/25(月) 21:21:011≠0.999…である数の体系をKとすると、KとRとは別の体系。崩れるもクソもない。問題外。
Kにどんな構造が入ろうが、Rは非可算集合のまま。
ちなみに、Rが非可算集合であることは、対角線論法を使わずとも証明できるようだ↓
ttp://www.iis.it-hiroshima.ac.jp/~ohkawa/math/math_pro_a001.htm
0042132人目の素数さん
2008/08/25(月) 21:50:04結局は同等になるが
1=1-0
0.999…
=lim[n→∞]Σ[k=1,n]{9*0.1^n}
=lim[n→∞]{1-0.1^n}
=1-0
と言う位の意味合いの差があり、やはり極限概念を要する
一方、2/2や3/3には極限概念を要さずに1とする事ができる
0043132人目の素数さん
2008/08/25(月) 21:58:18結局は同等になるのだからいいじゃん。
0044132人目の素数さん
2008/08/25(月) 22:53:550045132人目の素数さん
2008/08/26(火) 18:00:510.99・・・と無限小数を考えている時点で極限が入っている。
2/2は、完全に代数で定義できるから極限の概念はいらない。
例えば、
Q_11とかいった代数系で考えると
2/2は1になる。
0.99・・・は定義できない。(発散するかも)
0046132人目の素数さん
2008/08/28(木) 18:01:350047132人目の素数さん
2008/09/01(月) 03:10:53だからこれは"書き方"にすぎんと何度言えば(ry
別に、1/3>0.333....と言っても良いではあるよ。
だから、「無限に小さくなれば見分けつかんからさ、同じものになるってことにしようぜww」
っていう定義がなくなれば、
極限自体なりたたないんだって。
0048132人目の素数さん
2008/09/02(火) 00:44:270049132人目の素数さん
2008/09/02(火) 01:02:120050132人目の素数さん
2008/09/02(火) 01:04:590051132人目の素数さん
2008/09/04(木) 23:33:22>>48-49
正にゼノンの逆理の二分法だな、主張に反して結局1で良いんだが
0052132人目の素数さん
2008/09/09(火) 05:10:20Q: 1=0.999…の意味は? 違いがわずかだから等しいとみなしているのか、それとも寸分の狂いなく等しいのか。
A: 「寸分の狂いなく等しい」が妥当。他の解釈のしかたもないこともないが、
そのあたりの事情と判断基準はA1と同じである。
0053132人目の素数さん
2008/09/14(日) 10:02:460054132人目の素数さん
2008/09/14(日) 22:00:19>これが0333…という記号列の定義。
1=0.999… は証明するものではなく定義だと思う。
0055132人目の素数さん
2008/09/15(月) 00:39:280056132人目の素数さん
2008/09/15(月) 00:47:420057132人目の素数さん
2008/09/16(火) 22:57:16何をもって定義とするかだけど、
極限を用いて定義した0.99・・という数字についての性質だから定理だろう
0058132人目の素数さん
2008/09/17(水) 00:35:420059132人目の素数さん
2008/09/20(土) 21:25:200061デロリン
2008/10/08(水) 01:40:120062132人目の素数さん
2008/10/08(水) 20:52:21なんだとはなんだ
0063132人目の素数さん
2008/10/08(水) 22:32:17>>63 つまんね
0064132人目の素数さん
2008/10/09(木) 03:35:200065132人目の素数さん
2008/10/09(木) 20:26:56片や一人ボケ突っ込み、片や懐かしい響き
0066132人目の素数さん
2008/10/13(月) 21:48:301=0,999・・・・=3/3なんだよな?
1の3条は1、3/3の3条は27/27でだが0,999・・・・の3条は1よりほど遠いよな?
だから1=0,999・・・・じゃないんじゃ。詳しく説明できる奴いるか?
0067132人目の素数さん
2008/10/13(月) 22:08:58遠くないよ。なぜ遠いと思うのか書いてください。
そもそも3乗する意味がまるでわからない。
0068132人目の素数さん
2008/10/13(月) 22:43:49>0,999・・・・の3条は1よりほど遠いよな?
0,999・・・・の3条は1よりほど遠いような気が根拠はないけど何となく感覚的にするよな?
0069132人目の素数さん
2008/10/13(月) 22:48:240.999...それ自体が1より小さいと思ってなければ
0070132人目の素数さん
2008/10/13(月) 22:50:10そもそも3乗する以前に差があると思ってるからだろ
0071132人目の素数さん
2008/10/13(月) 23:33:260.999…×0.999…
って具体的にどうやるんだよ
書けねえぞ
0072132人目の素数さん
2008/10/14(火) 09:32:520073132人目の素数さん
2008/10/14(火) 19:14:43流儀もあるんだよな。
上から筆算をして有効桁で止める…と。
0074粋蕎 ◆C2UdlLHDRI
2008/10/14(火) 21:51:500075132人目の素数さん
2008/10/15(水) 16:38:29多分、
0.999・・・×0.999・・・
=(1-0.00・・・1)×(1-0.00・・・1)
=1^2 - (0.00・・・1)^2
ってするんじゃね?
後ろは小数点をずらすから余裕じゃん。JKw
0076132人目の素数さん
2008/10/16(木) 13:16:430077132人目の素数さん
2008/10/20(月) 22:11:08間違い
0078132人目の素数さん
2008/10/21(火) 20:14:240079132人目の素数さん
2008/10/24(金) 21:21:00どんなに迷い込もうともLevel.4で踏み止まって欲しいもんだ
0080132人目の素数さん
2008/10/24(金) 22:26:161/3=0.333…の両辺を3倍して1=0.999…になるという証明は不思議に感じる俺のレベルはどこですか?
これって証明なのかどうかよくわからない。
結論を使って証明しているように見える。
結論を3で割っていて、それを3倍したら結論になりました。
だから証明できました、に思えてしまう。
0081132人目の素数さん
2008/10/24(金) 22:45:19あなたはまともです。
0082132人目の素数さん
2008/10/24(金) 23:20:45あと
>結論を使って証明しているように見える。
ということはない。
「a=bならば3a=3bである」を証明するのに両辺3倍しているだけであって
別に結論を使って証明していることにはならない。
あまりにも見慣れた同値変形だからそう思えるだけ。
0083132人目の素数さん
2008/10/29(水) 01:08:51歯の溶け始めをE0と言い、0以上1未満を指す。
と言うか、0以上1未満は普通だと思うが、0って人居るん?
そんな人じゃ、『疑問を持つ事に疑問を持つ』んじゃないかなぁ
0084132人目の素数さん
2008/10/31(金) 19:42:06全ての始まりは数学からだみたいなこといってるし
0085KingMind ◆KWqQaULLTg
2008/11/01(土) 07:53:480086132人目の素数さん
2008/11/01(土) 09:12:14___
,;f ヽ
i: i
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| |
| | ///;ト,
| ^ ^ ) ////゙l゙l;
(. >ノ(、_, )ヽ、} l .i .! | King様 ありがたや ありがたや
,,∧ヽ !-=ニ=- | │ | .|
/\..\\`ニニ´ !, { .ノ.ノ
/ \ \ ̄ ̄ ̄../ / .|
0087KingMind ◆KWqQaULLTg
2008/11/01(土) 12:28:060088132人目の素数さん
2008/11/01(土) 14:03:310089132人目の素数さん
2008/11/08(土) 19:39:100090132人目の素数さん
2008/11/15(土) 19:54:240091132人目の素数さん
2008/11/17(月) 01:32:41>1と0.999…を足して2で割った数は
>1.999…/2=0999…となり、x=0.999…と置くと、(1+x)/2=x
>よって、x=1となる。
これは変じゃないの?
ぜんぜんx=1の証明になってないじゃん。
x=0.999...として、
(1+x)/2=x を考えると、
2=x*(1+x) になり、
よって、0.999...=1であると言える。
てことじゃないの。
0092132人目の素数さん
2008/11/17(月) 08:24:35よーく見直してみよ。
0093132人目の素数さん
2008/11/17(月) 10:22:392=x*(1+x)になり
ならないから
0094132人目の素数さん
2008/11/17(月) 18:31:25どういう事かよくわからないです。
この場合だと式として合っているけど
0.999...=1が前提条件での話しで0.999...がイコール1である証明になってないと思う。
>>93
まちがいました。
(1+x)/2=x は、(1+x)=x*2 とイコールですね。
これって、0.999...が1でも0.999...でも同じ事だと思うんですけど。
0095132人目の素数さん
2008/11/17(月) 18:47:05一次方程式に二つ解があると思うのか?
0096132人目の素数さん
2008/11/17(月) 20:07:21あそっか、
0.999...でも1でもいいから、同じ値だと証明されているんですね。
失礼しました。。
0097132人目の素数さん
2008/11/18(火) 15:12:15例えば、2-1=0.9999・・・・
と書いてみろ。多分不正解になる。
0098132人目の素数さん
2008/11/18(火) 15:20:35そんなことは当たり前だ。
だが、
1=0.999・・・ ではないという説明になっていない。
2/3 と書くところを 4/6 と書いたら○はもらえない。
だからと言って、2 /3 = 4/6 ではないと言い出す者はいない。
0099132人目の素数さん
2008/11/20(木) 01:44:58「2-1=?」には主たる目的に1がどのような値であり、2がどのような値であるかを説けというものではない
よって証明があろうがなかろうが2-1=0.9999...は問いの製作者の意図にそぐわないので不当な解とされる
ただし問いの主たる目的が「2-1=0.9999...」であればこの限りではない
だから正しかろうが誤っていようが意図にそぐわない解はすべてはねるだろってことさ
で、「2-1=0.9999...」かどうか考えていたら、解が「1.1111111...」な気がしたがそんなことはなかったか
ところで余りとなる「0.000000000000000000000....00000000001」という端数がどこにあるかどうかなんだが
これってどう考慮されるの?
0100132人目の素数さん
2008/11/20(木) 16:33:48>ところで余りとなる「0.000000000000000000000....00000000001」という端数がどこにあるかどうかなんだが
>これってどう考慮されるの?
「...」というのは、具体的に何個?
0101132人目の素数さん
2008/11/20(木) 17:15:10そりゃ「0.999...」とおなじように「0.000...」の部分も無限だろ?
何だろうな、
無限に続くが故に前者は限りになく1に近い値で後者は限りなく0に近い値じゃないかって感じてな
もちろん、無限に続くが故に限りなく1に近い値となるならば1と扱ってもいいんだろうが
だが、>>97を見ていたら
1-0.9999...=0.0000...
ってのを想像しちまって、どこか気持ちの悪いものになってしまったんだよ
1=0.9999...は確かに成立するとわかるんだが、感覚的に許せないって話だ
頭が固いってことなんだろうか
0102132人目の素数さん
2008/11/20(木) 17:56:030.000…とは、「どの桁も0」という数。
0.000…0001は「0ではない」が、0.000…は「ピッタリ0」である。
0.000…が「ピッタリ0」に感じられないのは、「…」の遥か向こうに
「1」があると勘違いしているからである。そういう数は0.000…0001と
表される数であって、0.000…とは別物。0.000…はどの桁も0であり、
どこを見ても「1」は出てこない。
0103132人目の素数さん
2008/11/20(木) 18:01:410.000…000は「途中まで0」という数であり、明らかに「ピッタリ0」である。
これを、途中で止めないで「どの桁も0」にしたものが0.000…という数。
こう考えると、「…」の遥か向こうにあるのは やはり0だけであり、1なんぞ
どこにも出てこない。
0104132人目の素数さん
2008/11/20(木) 18:10:210.999…とは、「どの桁も9」という数。
0.999…999は「1ではない」が、0.999…は「ピッタリ1」である。
0.999…が「ピッタリ1」に感じられないのは、1−0.999…=0.000…0001
という幻想を抱いているからである。この式は成り立たない。成り立つのは
1−0.999…999=0.000…0001 という式である。しかし、0.999…999と
0.999…は別物である。0.999…は「どの桁も9」なのだから、1−0.999…は
「どの桁も0」という数である。つまり1−0.999…=0.000… である。
0.000…はピッタリ0なのだから、1−0.999…=0になる。
0105132人目の素数さん
2008/11/20(木) 19:28:40いや、何だろうな……抽象的すぎるから上手に説明できないんだが
よく考えると「0.0000...0001」ではないってなって便宜上「0.000...」と表記したんだよ
で、0.000...=0ではない。何だろうな、気持ち悪い表記になるから下の表記が正しいかな
x≠0.000...001
0.9999...=1+x
0.9999...+x=1
って感じに表記したいんだ。だが、俺にxを説明できない。つかxって何よってなってる
0106132人目の素数さん
2008/11/20(木) 20:37:32それはもう、「お前の書く0.999…はどういう数なんだ?」って話になる。
君がxを説明できないのは、君が「0.999…」という数をどういう数なのか
あやふやにしているからだ。君はxを説明できないのではなく、
「0.999…」という数を説明できないのだ。
0107132人目の素数さん
2008/11/22(土) 00:20:53たぶんあなたの言っている、
0.999...+0.000...1=???
の答えは、
1.000...0999...になるんだと思うよ。
0108132人目の素数さん
2008/11/22(土) 14:07:57結局、>>42的な事を言ってらっしゃるんだろね
0109132人目の素数さん
2008/11/26(水) 20:32:570110132人目の素数さん
2008/11/29(土) 22:58:080111132人目の素数さん
2008/11/30(日) 10:15:420112132人目の素数さん
2008/11/30(日) 10:45:170113132人目の素数さん
2008/11/30(日) 16:26:210114132人目の素数さん
2008/11/30(日) 16:52:140115132人目の素数さん
2008/11/30(日) 17:53:10矛盾じゃないぞ。
任意の実数は、一意に小数表記できる
という経験則からくる「思い込み」が間違っているだけの事。
0116132人目の素数さん
2008/12/01(月) 10:51:00>>115じゃあ、少数表記の限界ってことで・・・
0117132人目の素数さん
2008/12/01(月) 12:40:10成り立ちますよ。
さっきネットで超準解析って検索したら堂々と成り立たないとか書いてあるホームページ発見して
かなりびびったので念のため書いときます
RはR*のelementary substructureってことなので、それはいんですが
たとえば上限性質とかアルキメデス性は保存されてないですけどね(そこは注意が必要)
0118132人目の素数さん
2008/12/01(月) 15:15:36矛盾だの限界だの、おバカなことを言う奴だな。
限界って何?何に対する限界なの?
1という実数に対しては、0.999…=1,1.000…=1という2通りの
無限小数展開が存在するというだけの話。それは、有理数で
言うところの1/2=2/4に相当する事柄であり、限界とか
そういう話ではない。
0119132人目の素数さん
2008/12/01(月) 18:18:440.999…が成り立つ ⇔ アルキメデス性が成り立つ
ってはなしもあったような…。
0120132人目の素数さん
2008/12/01(月) 18:19:19大小比較するとき一桁余分に見ないといけないのは道具として使い勝手悪いな〜と思って。
0121132人目の素数さん
2008/12/01(月) 19:06:40コンピュータプログラミングでも実数同士を比較する場合、直接比較は普通しないよな。
誤差を考え差の絶対値が特定の値より小さいかってので、「同じ値」かを判断するわけだ。
0122132人目の素数さん
2008/12/01(月) 23:06:11糞して寝ます。
0123132人目の素数さん
2008/12/01(月) 23:07:52それはたぶん超準解析における極限概念の定義の問題じゃない?
自然数n∈Nってのが与えられた時にそれをどうみるかによってかわるからね
自然数の集合ってのがはたして構造(R、+、×、0、1)で考えたものなのか
それともそれからはみだしたメタな意味でのNなのかってのがあるからね
たとえばnを、1をn個たしたものと、とらえたときにはそれはR*にトランスファーできないってことで、
これがアルキメデス性が保存されない原因なわけだけど極限概念では普通
nは1をn個たしたものなんて考え方しないと思うけど。
もしそういう考え方するのであればたしかに0.999…が成り立つ ⇔ アルキメデス性が成り立つ
っていう話になるのかね??
超準解析に詳しい訳ではないのでなんともいえませんが。
0124132人目の素数さん
2008/12/02(火) 03:46:58あい矛盾する対象がある訳でもないし。
>>113 和の極限
0125132人目の素数さん
2008/12/02(火) 03:59:00不具合でもなんともなくて、
>115,118の言ってる様に「思い込み」なだけ。
「任意の実数は、高々2通りの方法で小数表示できる」
という風に考えれば何の問題もおきないでしょう?
0126132人目の素数さん
2008/12/02(火) 04:52:230127132人目の素数さん
2008/12/02(火) 05:12:11「任意の実数は、 高 々 2 通 り の 方 法 で 小数表示できる」
高々2通りとは、「多くても2通り」ということであり、「必ず2通り」と言っているのでは無い。
0128132人目の素数さん
2008/12/02(火) 08:44:54って事は上で誰かが言っている様にやっぱり少数表記には限界があり、
0.999...=1であると言えるのは例外的なものでたまたま3/3が1であるから
それを根拠に言い換えているだけってことになりますね。
でもそれは1という値がどんな値かを初めから知っているから言える事で、
0.333...を3倍した0.999...だけ1であると決めつけるのはどうかと思います。
例えば0.111...を9倍したって0.999...になるわけで、
なんで1.111.../10を9倍したものが1.000...と等価になるといえるのでしょうか?
あと1/7や√2などはいったいどんな明確な数なのか。
0129132人目の素数さん
2008/12/02(火) 09:22:50実数の定義とか勉強するといいと思うよ
0131132人目の素数さん
2008/12/02(火) 09:52:43お前は大局を見ていない
お前は肝心な所を見ていない
となるな
0132132人目の素数さん
2008/12/02(火) 10:02:171に限らず全ての有限少数に言える事。
最下桁を1減らしてその次から無限9続きになる。
0133132人目の素数さん
2008/12/02(火) 10:34:48ほう、
では実数とはなんですか?
あなたに答えてもらいましょう。
そしてそのものいいなら、√2や1/7の実数解についても答えてもらう。
0134132人目の素数さん
2008/12/02(火) 10:35:08>0.333...を3倍した0.999...だけ1であると決めつけるのはどうかと思います。
決めつけているのではなく、無限小数展開という概念の定義に従って
計算した結果、0.999…=1という式が成り立つことが言える。
>なんで1.111.../10を9倍したものが1.000...と等価になるといえるのでしょうか?
無限小数展開という概念の定義に従って計算すると、等価であることが言える。
>あと1/7や√2などはいったいどんな明確な数なのか。
ペアノの公理系に従って自然数を構成し、そこから整数を構成し、そのあと有理数を
構成し、最後にデデキントの切断あるいは有理コーシー列を用いて実数を構成すると、
明確な数として認識される。お前がそれを知らないだけ。要するに
実数の定義とか勉強するといいと思うよ
ということだ。
0135132人目の素数さん
2008/12/02(火) 10:52:52そんな事を自分だけ知ってるとしたり顔でほざけば自分の平凡な頭脳を高等化できるとでも思ってるの?
>最後にデデキントの切断あるいは有理コーシー列を用いて実数を構成すると、
>明確な数として認識される。お前がそれを知らないだけ。要するに
うん、それは知らないな。でも実数について勉強する気にはなれない。
あなたはそれをすでに理解しているんだから、
早く√2の実数解を教えてください。
0136132人目の素数さん
2008/12/02(火) 10:59:12>自然数、正数、実数...の概念なんて数学やってれば誰でも知ってるよ、
普通の人は、それらを「言葉として」知っているだけ。お前もそうだ。
自然数が何であるのか、実数が何であるのか、そういうことは高校までの
数学では出てこない。大学に入って数学科へ進学した人のみが勉強する。
もちろん、数学科へ行かなくても、独学でも勉強できるが、普通の人は
そんなことしない。案の上、お前も
>うん、それは知らないな。でも実数について勉強する気にはなれない。
こんなことを言っている。
>そんな事を自分だけ知ってるとしたり顔でほざけば自分の平凡な頭脳を高等化できるとでも思ってるの?
知ってるのは俺だけでは無いが、しかし普通の人は知らない。
>早く√2の実数解を教えてください。
「√2の実数解」という言い回しは意味が通っていない。日本語になっていない。
だから答えようが無い。実数解という言葉は、方程式とセットでしか使わない。
「方程式x^3−1=0の実数解を教えてください」などと聞かれれば
実数解は1です
と答えるのだがな。
0137132人目の素数さん
2008/12/02(火) 11:51:31たとえばQ[x]/(x^2-2)における[x](xを元にもつ同値類)が√2ってことになるし
あとデデキントカットで考えるなら「{x∈Q:x^2<2}∪Qの負の部分」が√2にあたる
面白い話だから>>135は勉強するといいと思うよ。
0139132人目の素数さん
2008/12/02(火) 15:12:55でも色んなとこの数論の解説みてたら頭痛がしてきたので寝ます。
0140粋蕎 ◆C2UdlLHDRI
2008/12/02(火) 19:33:29>>139
実を言うと>>89は儂なんじゃが、此処迄説明してた学生?学者?の言う通りという訳じゃ
仮に1≠0.999…とする公理系を作っても、我々が日常扱う数学体系とは違い、減算の整合性が
取れなくなって来たり、他、どの様にしても我々が日常扱う数学体系の様な整合性は
得られぬらしい。
専門家ブロ仕様とかそんなんじゃなくて、原理的にも日常では使う用途無いとの事。
数学科卒の同輩に聞いた話で済まんが(高卒の儂には分かりません)
0141132人目の素数さん
2008/12/02(火) 20:07:16普段信用ならぬWikipediaだが、0.999…の項のWikipediaを信用して良い。
1≠0.999…とすると減算の整合性が取れぬ様じゃ。
1≠0.999…をつくる公理系のやり方が悪いとかそんなんじゃなくて原理的に駄目らしい。
一方…1=.999…はその様な事は無い…
物理学に於いても数学的厳密性を最優先する向きでも、1=0.999…は正しい。
増してや日常、工学に於いては、尚の事、正しい。
1=0.999…と疑うは杞憂だと言う事が出来る。
0142132人目の素数さん
2008/12/08(月) 21:55:140143132人目の素数さん
2008/12/08(月) 22:05:550144132人目の素数さん
2008/12/09(火) 04:23:551/3は3倍したら1になる数ってことじゃね?
だから1=0、999・・・じゃないと思う
0145132人目の素数さん
2008/12/09(火) 05:08:39無限の概念さえなければ0.999…も、いつかどこかで終わる筈だった。
おわるなら、1>0.9999999な感じで済んだのに。
だから今揉めてるのもヒルベルトのせい。ヒルベルトが全部悪い。
ちなみに、1と0.999…は表記の違いと聞いてソロバン思い出しました。
昔のソロバンは五を表す玉が2列だったとか。2個動かしてから次の桁行く。
今、1列ですよね?手間が少なく次の桁行っちゃう。そんな違い?
0146132人目の素数さん
2008/12/09(火) 05:51:26無限小数展開の定義に従って計算すると0.333…=1/3であり、
0.999…=1であることが言える。
0147132人目の素数さん
2008/12/09(火) 08:02:47はい。
まだあなたの個性が発揮されていません。
今のままではこのスレで遊んでもらえませんので
出直してきてください。
0148132人目の素数さん
2008/12/09(火) 11:55:460149132人目の素数さん
2008/12/09(火) 20:55:42ところが1/3=0.333... は認めても
1=0.999... は認められない人が大勢いるのです。
納得できた貴方は幸せですね。
0150132人目の素数さん
2008/12/14(日) 00:07:17.999…≠1とするなら、筋として.333…≠1/3としなければならない
0+1=.9+.1=.99+.01=.999+.001=…
の極限の辺の第二項目を意識するのだから、筋から言えば
0+1/3=.3+.1/3=.33+.01/3=.333+.001/3=…
(数学的に普通は
0+1/3=.3+1/30=.33+1/300=.333+1/3000=…
と記すべきだが間違いは無い)
の極限の辺の第二項目も意識しなくてはならない事になる
後から後から涌いてくる者が絶えぬこのスレ
結局、筋が通った.999≠1なる構成が確立される他は終焉を見ないな
有る事の証明と違い無い事の証明は困難
特に変哲者に対しての証明の説明は至難
さて…結局、「ねーよw」らしいんだが
Wikipedia - 0.999... - によれば
1≠.999…なる構成作ってみたら
減算の復元性を有してなかったらしいし 前スレによれば
1≠.999…ながら1=.333…なる構成も作り得るらしいし
何より1≠.999…なる構成は連続性や順序性が保たれないらしいし
…等とどうも上手くいかない
だが結局、俄かには突き詰めた所は理解できん、マジで学ばないと
何て言ったっけ
『学んで思わざれば則(すなわ)ち罔(くら)し
思うて学ばざれば則ち殆(あやう)し』
0151132人目の素数さん
2008/12/15(月) 07:06:09哲学的に言うと理性と悟性か
悟性と言っても認識力っていうレベルな、それも飽く迄も数学的にな
新しい無定義述語を知覚化する時とかみたいに
数学でさえも欠かす事ができないな認識力、勘って意味で
執濃いが、悟性や勘と言っても、飽く迄も超感覚%
0152132人目の素数さん
2008/12/15(月) 07:11:44orzメニューのサーバーは改善されたし)
もうもはや理解じゃ足らんか?悟り得るしか無いか?
哲学的に言うと理性と悟性か
悟性と言っても認識力っていうレベルな、それも飽く迄も数学的にな
新しい無定義述語を知覚化する時とかみたいに
数学でさえも欠かす事ができないな認識力、勘って意味で
執濃いが、悟性や勘と言っても、飽く迄も超感覚の事では無い事を約束
0153132人目の素数さん
2008/12/15(月) 20:21:120154132人目の素数さん
2008/12/18(木) 21:24:19ああすっきりした。
0155132人目の素数さん
2008/12/20(土) 19:43:17A∋1 , B∋0.999…
なんじゃないのって粘着してた人がいた記憶が…。
0156154
2008/12/21(日) 21:45:481<0.999…ではないのは当然として,0.999…<=1で考えるお.
表記の簡単のためα=0.999・・・とおくお.
有理数の数列
a_n=0.999・・・(9がn個,n<∞)
を考えると
a_n<α<=1.
1とαは,両方とも実数なので,有理数の切断で定義され,
α=<A,A'>
1=<B,B'>
とすると,a_n∈A,1∈A’.
また,α=1⇔A=B.
0157154
2008/12/21(日) 21:50:40仮定よりα<1,つまりA⊂≠Bなので,
r∈Bかつr∈A'なる有理数rが存在する.
r∈Bということは,つまりr<1⇔1−r>0なので,
1−r>10^(-n)
なる自然数nが存在.
両辺にa_nを加えて
a_n+1−r>a_n+10^(-n)=1
両辺から1引いて
a_n−r>0
∴a_n>r
a_n∈Aなのでr∈A',これはr∈A'に矛盾
つまり仮定α≠1は偽である.よってα=1が証明された.
0158154
2008/12/21(日) 21:56:540159132人目の素数さん
2008/12/27(土) 21:26:35単純 10 進展開表現 1.000… は単純 10 進展開表現 0.9999… と異なる。
X9999… は必ず (X+1)0000… に繰り上げる、
「正規化 10 進展開表現」を考えると、
正規化 10 進展開表現 1.000… は存在する。
正規化 10 進展開表現 0.999… は存在しない。
正規化 10 進展開表現を考えて初めて実数との簡単な1対1対応がつく。
実数と単純 10 進展開表現も別に1対1対応がつかないわけじゃないが
ほんとにやろうとすると少し複雑になる。
実数 0≦x<0.1 あたりに X999… か (X+1)000… かどちらかの
重複している方に対応させる実数領域を確保しておいて、
その分、曖昧性を持たない展開表現の実数対応領域を
0≦x<1 じゃなくてちょっと詰めてもらって 0.1≦x<1 に対応させればよい。
これじゃ明らかに使いにくいので割り切って
正規化 10 進展開表現を省略して 10 進展開表現と言うことにして、
「0.9999…だって?それは文法間違いだよ。数として存在しない」
と言うのが正しい行動です。
0160132人目の素数さん
2008/12/28(日) 15:17:23{10進展開表現全体}∋0.a1a2a3… → Σak/10^k∈[0,1]
は全射だ。それで十分。
0161132人目の素数さん
2008/12/29(月) 19:25:090162132人目の素数さん
2009/01/02(金) 19:04:16という二通りの無限小数表現があるってこった。
0163132人目の素数さん
2009/01/03(土) 17:07:450164132人目の素数さん
2009/01/20(火) 22:01:33�E 1と0.999…を足して2で割った数は
1.999…/2=0999…となり、x=0.999…と置くと、(1+x)/2=x
よって、x=1となる。
証明
1≠0.999…(1>0.999…)おくと、
1,0.999…はどちらも実数であるので、
1>x>0.999…─�@
となる実数xが無数に存在するはずである。
このxが存在するかを調べるためにここではa,bの平均値を求める。
1+0.999…=1.999…
1.999…/2=0.999…=x
�@に代入すると、
1>0.999…>0.999…
となり、不等式が成立せず、
�@を満たすxは存在しない。
よって、
1≠0.999…
ではない。
従って
1=0.999…
である。
証明終わり?
0165132人目の素数さん
2009/01/20(火) 22:46:15を前提を用いているから
どうやって正当化しようとしても無効だな。
次スレでは消しておけ。
0166132人目の素数さん
2009/01/21(水) 00:00:380167粋蕎<イッキョウ> ◆C2UdlLHDRI
2009/01/21(水) 12:32:34> 1.999…/2=0999…となり、x=0.999…と置くと、(1+x)/2=x
あら?しまった、小数点抜けとった
0168粋蕎<イッキョウ> ◆C2UdlLHDRI
2009/01/21(水) 12:40:02〇一二三四五六七八九十百千万零壱弌弐貳参參肆伍陸漆捌玖拾陌阡萬
>>165
寧ろ6は5の一例と思う。
0169132人目の素数さん
2009/01/21(水) 21:46:03前提にしてないし消す必要もなし。
つまんねえタイプのバカしか現れなくなったな・・・
0170132人目の素数さん
2009/01/21(水) 22:11:350171132人目の素数さん
2009/01/22(木) 00:16:46前提にしてるんじゃないかな
0.999…と1が等しくない場合でも1.999…/2=0999…となると思う
0172132人目の素数さん
2009/01/22(木) 00:31:520173132人目の素数さん
2009/01/22(木) 07:53:21>0.999…と1が等しくない場合でも1.999…/2=0999…となると思う
そう。だからこそ前提にしていないといえる。
0174132人目の素数さん
2009/01/23(金) 21:23:58(1+x)/2=(1+9*(10^(-1)+10^(-2)+10^(-3)+…))/2
=1/2+9/2*(10^(-1)+10^(-2)+10^(-3)+…)
=x????
こう書いてみるとはっきりするけど
�Eで(1+x)/2の右辺をxと置くことができるのは
1+x=2すなわち1+0.999…=1+1が成立することを前提としているからに他ならない。
はっきり言って詐欺の手法だね。
0175132人目の素数さん
2009/01/23(金) 22:06:070176132人目の素数さん
2009/01/24(土) 13:15:300.999…=1をキチンと理解する唯一の方法は、実数体を構成して
無限小数展開を定義して、その定義に基づいて0.999…を
計算して、それが1になることを示すこと。これ以外には無い。
その他の方法は全て、初心者サンに向けた簡易的な対象療法に
過ぎない。突っ込みどころは当然ある。突っ込んでいけば、
今回のように「鶏が先か卵が先か」みたいな話になる。
世の中には、「1+0.999…=1.999…」と「1.999…/2=0.999…」が
成り立つことを無条件に認める人がいる。�Eは そういう人向けの
療法なのだ。
君の場合は、これらを無条件には認めないから、�Eでは納得しない
ということにすぎない。
0177132人目の素数さん
2009/01/24(土) 17:23:58別に?
東京駅から皇居まで行くのに、直接まっすぐ行けば良いのに、まずはアキバまわって、上野の西郷さんまで
行って写真とって、不忍池あたりを散策し博物館や美術館をさんざん回ってから、皇居に行くってだけの違い
に過ぎないんじゃないのか?
0178132人目の素数さん
2009/01/24(土) 17:32:08何に対して「別に?」と言っているのか不明。
>東京駅から皇居まで行くのに、直接まっすぐ行けば良いのに、まずはアキバまわって、上野の西郷さんまで
>行って写真とって、不忍池あたりを散策し博物館や美術館をさんざん回ってから、皇居に行くってだけの違い
>に過ぎないんじゃないのか?
176のどこを例えているのか不明。
0179132人目の素数さん
2009/01/24(土) 17:57:17お前の話全体。
0180132人目の素数さん
2009/01/24(土) 18:10:03たとえになっていないし、177の「全体」に対して
「別に?」と返すのは日本語になっていない。
0181132人目の素数さん
2009/01/24(土) 18:11:33× 177の「全体」に対して
○ 176の「全体」に対して
0182132人目の素数さん
2009/01/24(土) 18:22:08そうかww
0183132人目の素数さん
2009/01/24(土) 20:46:06真っ直ぐ行けば良いのに、
回り道、詰まり回り諄い行き方してるかの違い
くらい読み替えられんと坊ちゃんマトモに読めんだろう
すぐ不明とか言うな
>>177
だからアンタ向けの説明ってんじゃないんだからさ
「1=0.999…は表示からして違う」と言う意見に対し
「表示の問題で言うなら2/2や3/3なども違う」と説明してる様な
処方箋的説明に過ぎないから拘らずとも良い
0184132人目の素数さん
2009/01/24(土) 21:08:56数学に限らず、初心者に教えるのは面倒だ。
0185132人目の素数さん
2009/01/24(土) 22:57:46よく知らない道を示すより、相手が知っている道から解説するとよいってこったな。
0186132人目の素数さん
2009/01/25(日) 12:00:240187132人目の素数さん
2009/01/26(月) 02:26:530188132人目の素数さん
2009/01/30(金) 01:10:44「0.999…≠1且つ有用な系は存在し得ない」
∴ 永久にこの論争が絶える日来ない
0189132人目の素数さん
2009/02/04(水) 01:36:07ドマイナーだってのがガンなのでは?
0190132人目の素数さん
2009/02/04(水) 02:50:130191132人目の素数さん
2009/02/04(水) 08:01:03論争というか、
単に理解できない奴が常に存在する
ってだけだけどな。
0192132人目の素数さん
2009/02/04(水) 08:03:210193132人目の素数さん
2009/02/07(土) 17:20:34それは数学的見地によりそう思われてるって事では?
無茶を承知でそういう系を作って下さい><
0194132人目の素数さん
2009/02/07(土) 21:16:400195132人目の素数さん
2009/02/07(土) 23:43:10理解できない症状に対策を検討する価値があるのだろうか?
別に理解できないやつに理解してもらわなくてもいいと思うが。
理解したいと思っているやつになら説明する価値もあるだろう。
でもそういうやつは、自分が理解できていないことを知っているから
「1=0.99999…が正しい」ということを疑わないだろう。
要するに「1=0.99999…が正しい」ということを理解できないくせに
反論するようなバカに対応する必要はないということだ。
0196132人目の素数さん
2009/02/08(日) 11:46:25君はだまってていいよ
0197132人目の素数さん
2009/02/09(月) 16:42:59…と言う。これに倣い
求道者をもつて往生をとぐ、いわんや落伍者をや
…ととく。その心は
小乗数学の狭門から大乗数学への発展普及へ
0198KingGold ◆3waIkAJWrg
2009/02/09(月) 16:57:230199197
2009/02/09(月) 17:54:12善人をもつて往生をとぐ、いわんや悪人をや
の有名な言葉の謂わんとしている心を理解しているのか?
勉強するなり検索して調べるなり出直して来い!!
0200132人目の素数さん
2009/02/09(月) 18:16:54無理king
0201132人目の素数さん
2009/02/09(月) 20:54:29自分も1の左隣に0.9999……があると思ってたんだ。
もし、1の左隣が0.9999……なら、1と0.999……の間に数直線上で差があるよね。
差があるってことは、その差を2で割った数もあるってことだよね。1からその割った数を引いた数は0.999……より1に近いよね。
これっておかしいよね。
じゃあ、0.999……は数直線上のどこにあるの?1の左隣でないことはわかった。1の左隣は特定した瞬間、左隣じゃなくなってしまうんだから。だから、0.999……を1の左となりと特定することはできないよね。
0.999……は確かにすう直線上に存在している。しかも、1の左隣では無い位地に。
0202132人目の素数さん
2009/02/09(月) 23:57:03「隣」の概念は離散的な対象でないと定義できない。
>じゃあ、0.999……は数直線上のどこにあるの?
0.999…は1そのもの(寸分の誤差もなく1そのもの)だから、0.999…は1の場所にある。
0203132人目の素数さん
2009/02/10(火) 01:52:29じゃ0.999…と1の中間は0.999…5だといわれたな
うーん
0204132人目の素数さん
2009/02/10(火) 01:58:210205132人目の素数さん
2009/02/10(火) 02:08:18テンプレによると「最後に5が付くってことは0.999…の…はどこまでも続くって意味じゃなかったんだね」が正解です
0206132人目の素数さん
2009/02/10(火) 20:24:28英語のでの呼び名や(数学上の)定義があったりするのだろうか。
0207132人目の素数さん
2009/02/10(火) 20:32:55これは納得できる。
だから1−0.999・・・=0.000・・・・=0.000・・・
↑
これが一番感覚的に理解できるんじゃない?
1/1 = 2/2 = 3/3 みたく、同じ数でもいろいろ表現できるってことで。
0208132人目の素数さん
2009/02/10(火) 20:33:351−0.999・・・=0.000・・・・=0 ね
0209132人目の素数さん
2009/02/10(火) 21:20:50>だから1−0.999・・・=0.000・・・・=0.000・・・
ところが理解できない奴にとっては
0.000・・・1(無限に0が続いた後に1が来る)
という風に理解してるから困る。
0210132人目の素数さん
2009/02/10(火) 21:56:10俺も昔そう思ってたけど最初に
0 = 0.00・・・ からスタートするとすっきりしたんだ。たしかに1こないよなって。
納得できないって多分論理的じゃなくて感覚的なものだと思うから、感覚がすっきりする説明のほうがいいかも。
0211132人目の素数さん
2009/02/10(火) 23:41:100.9999……は1から無限小だけ左に移動したところにある。
0212132人目の素数さん
2009/02/10(火) 23:43:47んー?
厳密にはあってるけど
「0.9999……は1から0だけ左に移動したところにある。」
って書かないとまた混乱する人でるんじゃね?
0213132人目の素数さん
2009/02/11(水) 01:07:551-0.9999…を無限小と扱うことは普通しないだろうなぁ
0214132人目の素数さん
2009/02/11(水) 15:24:34>>212
間違ってるよ
0215132人目の素数さん
2009/02/11(水) 19:35:26無限小=0っしょ。
0じゃなかったらそれこそ>>209じゃないか
0216132人目の素数さん
2009/02/11(水) 20:28:21わざわざ「左に0だけ移動」とか無意味
0217132人目の素数さん
2009/02/11(水) 21:56:07あえて書くならって意味
0218132人目の素数さん
2009/02/11(水) 22:17:19だよな。
0.999……は1と完全に同じ位置にあるから、0.999……が1に0側から近づくとか2側から近づくとか無意味だよな。
0219132人目の素数さん
2009/02/11(水) 22:26:581より小さく最大である数という存在が
示され得ない事を言った方が早くないか?
>>204
本末転倒な導出だな。でもそれが真意なんだよな〜
0220132人目の素数さん
2009/02/11(水) 22:31:01それを無限と定義。
これじゃ駄目っすか
0221132人目の素数さん
2009/02/11(水) 23:13:570222132人目の素数さん
2009/02/11(水) 23:21:410223132人目の素数さん
2009/02/12(木) 06:33:45lim_{n→∞}(0.000・・・・1) (nは0の個数)
と、
0.000・・・・
の違いを理解しようね。
0224132人目の素数さん
2009/02/12(木) 11:10:01その0.9999・・・に加算することで1になるような無限小数を考える。
その無限小数を無限大回加算したら、0.1とかになるだろうか?
無限小数とは何か、その定義の問題なんだろうな。
もう一点。
上記のように「ある数値」として定義してしまえば、以後0.99999・・・を使って計算するときには、
(1-無限小数)というかっこ付きの数で計算していけばいいわけだ。
それで最後に残った無限小数の意味については、そのときにまた考えればいいw
0225132人目の素数さん
2009/02/12(木) 11:14:14それを言うなら、
0.000・・・・1 → 0.000・・・・ (n→∞)
と
lim_{n→∞}(0.000・・・・1) = 0.000・・・・
の違いだ
0226132人目の素数さん
2009/02/12(木) 12:49:500227132人目の素数さん
2009/02/12(木) 14:18:56前者は数列の性質として述べているのに対し、後者は極限値の性質として述べている。
この違いは定理の主張や証明において微妙な雰囲気や使い勝手・記述のしやすさの違いを生む。
(どちらがすぐれているかは一概にいえない)
たとえば、積分論で、関数列{f_n(x)}が関数f(x)に収束するときその積分値も収束するという主張は、
f_n(x)→f(x) (n→∞) ⇒ ∫f_n(x)dx→∫f(x)dx (n→∞)
lim[n→∞]∫f_n(x)dx =∫lim[n→∞]f(x)dx
の2つの書き方ができる。
・前者の書き方だと単調増加みたいな条件があるときに「→」を「↑」に変えて書ける。
・後者の書き方だと liminf[n→∞]∫f_n(x)dx≧∫liminf[n→∞]f_n(x)dx の特別な場合とみなせる。
0228132人目の素数さん
2009/02/13(金) 13:00:31>その0.9999・・・に加算することで1になるような無限小数を考える。
1に加算する事で1になるような数って0ですよ
0229132人目の素数さん
2009/02/13(金) 15:20:100230132人目の素数さん
2009/02/13(金) 15:57:21>無限に近づく = 一致
0.999…9は(9を無限に増やしていくと) 1に無限に近づく
0.999…(無限個) は 1に一致
>それを無限と定義。
0.999…9 の無限に近づく先を 0.999…(無限個)と定義
これなら駄目じゃない
0231132人目の素数さん
2009/02/13(金) 17:33:420232132人目の素数さん
2009/02/13(金) 19:44:410の逆数z案
・
・
・
0.999…≠1連続体案
そう。z案同様の無茶を承知で尚、提起された案
>>231
選択公理だと言うか
だが、ならば尚の事、目下0.999…=1が最有用
0233132人目の素数さん
2009/02/14(土) 17:46:41> 1=0.999・・・なんだから中間もくそもないだろ。
802:粋蕎<イッキョウ> ◆C2UdlLHDRI 2009/02/14(土) 17:42:59 [sage]
>> 781
> 上級者コース
『「疑問を持つ」事に疑問を持つ』者が多い。
疑問を持つ事に疑問を持つ人間って
それは変更できない真理だと思っている子が多いと感ずる。
だからこそ理解難航者を下げて見るし理解出来ない者を無能扱いする心理。
その癖、そういう奴に限って状況が変わると
フレキシブル(それも、お調子モン的or開き直り的)な対応をするから
具合が悪く。そういった観念を糺す事は非常に難しい。
0234132人目の素数さん
2009/02/14(土) 22:17:58自分では考えず(もしくは自分で理解できる程度に理解し)正しい側に立つ、ただそれだけ。
例えばこのスレで言えば、「1≠0.999…」が当たり前な状況になれば「1=0.999…なんて言ってる奴はアホ」と主張し始める。
0235132人目の素数さん
2009/02/15(日) 00:40:00「1=0.999…なんて完全に証明できるだろ」とか、逆に「1=0.999…がそんな証明で説明できるわけないだろ」とか
やたら書き込む表現は攻撃的だけど、理由を聞くといつのまにかフェードアウトするヤツが過去に沢山いたな。
なんでそんな考えするんだろうと思っていたが、同じ穴のなんとかか。
0236132人目の素数さん
2009/02/15(日) 01:20:53匿名掲示板だからってそんな妄想したって仕方ないんじゃない?
0237132人目の素数さん
2009/02/15(日) 01:46:11どんなコト書いていたかまるっきり書かず…身に覚えがあるんだろうな。
0238132人目の素数さん
2009/02/15(日) 07:25:55超現実数でも1=0.999…だとか1≠0.999…にしたいなら無限桁の浮動小数みたいなものを考えろとか書いたかな
で、また「身に覚えがあるんだろうな」か
どうせ分かんないだしそうやって溜飲を下げるのも1つの手かも知れんけどね
0239Kingo
2009/02/15(日) 22:14:47両辺10倍して
10x=9.9999・・・ �A
�A-�@より
9x=9
よってx=1
つまり
1=0.9999・・・
の証明はどうしてテンプレにないの?
0240132人目の素数さん
2009/02/15(日) 22:26:010241kongo
2009/02/15(日) 22:31:23さっき見た時は�Aなかったのに。
教えてくれてありがと。
おっかしいな・・
0242132人目の素数さん
2009/02/15(日) 22:42:210243132人目の素数さん
2009/02/15(日) 22:42:56x/9の値は?
0244132人目の素数さん
2009/02/15(日) 22:46:44証明と言うか定義されると言うか…
テンプレA6は級数利用以外はどれも1=0.999…が前提となってるに過ぎず
妥当性の確認にしかなっとらん
0245132人目の素数さん
2009/02/15(日) 23:20:300246132人目の素数さん
2009/02/15(日) 23:37:16Wikipediaのp-進数を使った中学生の証明かな?
勿論、その中学生にしてみればその独自的発想を
p-進数と知らずにやっていたんだろうけど
0247132人目の素数さん
2009/02/15(日) 23:57:42p−進数を使って1=0.999…を証明する方法とか見当も付かんわ
0248132人目の素数さん
2009/02/16(月) 00:10:23>>10だかんな
0249132人目の素数さん
2009/02/16(月) 00:20:43読んだけど話が派生してるだけでp−進数を用いて1=0.999…の証明はしてねーな
そういえば最近β見ないな
0250132人目の素数さん
2009/02/16(月) 01:28:20きちんと証明なっているぞ。
過去ログ読め。
0251132人目の素数さん
2009/02/16(月) 01:50:18ざっと読んだがウィキのをコピってあるだけじゃないか?
0252132人目の素数さん
2009/02/16(月) 01:57:170253132人目の素数さん
2009/02/16(月) 10:10:110254132人目の素数さん
2009/02/16(月) 16:53:370.999・・・って、0.9,0.99・・・という数列の極限であって
この場合の極限は通常のユークリッド位相が入っている訳。
位相が違えば極限が違うのは当然。
でも、中学生でこういう考えが出来るのはすごいと思う。
でもテストだと無限級数の公式が使えるのは公比<1の時だけですよ^^
だけどねw
0255132人目の素数さん
2009/02/16(月) 21:14:33〓アイツの二番弟子Gauss
の説がある
0256132人目の素数さん
2009/02/22(日) 15:47:140257132人目の素数さん
2009/02/22(日) 16:00:02煽りw?
それとも天然w?
0258132人目の素数さん
2009/02/22(日) 22:48:500259132人目の素数さん
2009/02/24(火) 20:42:48[0.999・・・・] = [1] =1 ですか?
0260132人目の素数さん
2009/02/24(火) 21:40:250261132人目の素数さん
2009/02/24(火) 21:55:15付けても等しいに決まっている
0262132人目の素数さん
2009/02/25(水) 01:27:36「0.999・・・の小数部分は0である」と表現すると反発されそう…
0263132人目の素数さん
2009/02/25(水) 06:05:34そう考えると確かにそうだね。
ガウス記号の定義をどう定めるか?という問題になると思うけど。
全ての数は高々2通りで表現されるから、
0.9999・・・の場合は、1.000・・・と表現し
後者の表示を用いる
という風に定義を見直せば回避できるね。
(ちなみに、対角線論法でも同様の表示の統一を行う)
0264132人目の素数さん
2009/02/25(水) 10:18:06[x]=xを超えない最大の整数(=n≦xを満たす整数nのうち最大のもの)
と定義されている。少なくとも大学入試では。
0.999…=1だから、0.999…を超えない最大の整数は1であり、
よって[x]=1になる。
0265132人目の素数さん
2009/02/25(水) 12:18:54>0.999…を超えない最大の整数は1であり
を式で書いた 1≦0.999… は1=0.999…以上に抵抗がありそうな。
日常語と数学感覚の区別ができてない生徒は「1≦1」に抵抗あるから、抵抗の2乗w
0266132人目の素数さん
2009/03/13(金) 00:26:55では辞書的順序判定の真偽判定に委ねてみよう。
A=a0.a1a2a3…
と
B=b0.b1b2b3…
の大小判定をしたい。
普通の感覚で言えば、ak>bk なる最大の k が見つかれば、
a0.a1a2a3… > b0.b1b2b3…
と言えそうだ。A=1.000…とB=0.999…に関して A>B が即座に言える。
しかし実数体元としての A, B は A=B となるはず。
その矛盾はどこに起因する?
やっぱ辞書的順序判定と実数体の順序判定の判定基準の違いからくる矛盾?
0267132人目の素数さん
2009/03/13(金) 00:54:491-0.3333……となると混乱する
0268132人目の素数さん
2009/03/13(金) 02:16:39>>10
0269132人目の素数さん
2009/03/15(日) 11:44:51実数体では 1=1.000…=0.999… で3つとも同じもの。
0270132人目の素数さん
2009/03/15(日) 11:51:43辞書的順序判定は1つの実数を辞書の1ページに載せると考えることと同じ。
つまり辞書はあくまで離散的であるから、実数の順序判定はできない。
0271266じゃないよ
2009/03/15(日) 21:28:59辞書的順序判定的になってしまっていると言う事ができるな。
(まぁ、これは「表示からして、と言うか、桁からして違う」と何度も既出の表現と
同じ事だが、症状に対する再認識ができたと言う事ができる)
0272132人目の素数さん
2009/03/15(日) 22:15:43f(x)={1(x≠0), 0(x=0)} に於いて lim[x→0]f(x)≠f(0)
∵ lim[x→0]f(x)=1
と言う事に基付いて覚えると思しき違和感も、
0.999…に対する誤解の症状の一原因として確認されている。
0273132人目の素数さん
2009/03/15(日) 22:19:35× 考えた場合も
〇 考えた場合の際に起こり得る
やはり悟性の問題なるのだろうか。
余り数学に於いて悟性と言う言葉は使いたくないのではあるが…。
0274132人目の素数さん
2009/03/15(日) 23:28:340.9999999999…
2)20
18
20
18
0275=274
2009/03/15(日) 23:30:230276132人目の素数さん
2009/03/16(月) 03:14:34夢に向かって走ることと夢を実現することとは別
てことでw
0278132人目の素数さん
2009/03/16(月) 10:48:26こうして考えてみると、0.999…=1、更には連続と云う事は
角も難しい事であった事に気付かされるな
やはり定義から構築した体系によらんとする理系の流儀が一番無難だな
だが同時に、定義からの構築に拘り過ぎる事も
拘泥化した仕事に陥る因ではあるがね
0279132人目の素数さん
2009/03/16(月) 11:00:08∞桁目の余りバカ
循環論法説バカ
12進法扱い方誤用バカ
定義バカ
そしてトンデモ無限説真正
と、それぞれ居たけど
皆、愛に彷徨していた…
0280132人目の素数さん
2009/03/16(月) 12:19:57ケンシロウはどう考えてる?
0281132人目の素数さん
2009/03/16(月) 13:05:18YOU は FOOL! 0の後に伸びてゆく
これと1を論理でつないでも いまは無駄だよ
1との誤差は無限の彼方にあるのさ
YOU は FOOL! 愛で定義 ヤバくなる
YOU は FOOL! 俺の定義 ヤバくなる
余り求め彷徨う心いま 熱く燃えてる
すべて無視し無限で異なるはずさ
1との誤差を守るため 無限へ旅立ち
誤差を見失った
気分を無視した証明など見たくはないさ
誤差をとりもどせ
0282132人目の素数さん
2009/03/16(月) 13:19:22ブルーではなく透明ってことですか?
0283132人目の素数さん
2009/03/16(月) 14:09:19が、極限値は透明。
0284132人目の素数さん
2009/03/16(月) 19:07:33wwww
0285132人目の素数さん
2009/03/17(火) 00:47:28「限りなく」は付けたらダメだろ。
0286132人目の素数さん
2009/03/17(火) 18:18:230287132人目の素数さん
2009/03/17(火) 18:22:24めでたしそのものってことですか?
0288132人目の素数さん
2009/03/18(水) 13:55:48めでたしに限り無く近い何か は めでたし である
然しながら 嘗て 天に限り無く近き者だったラオウも
愛を知るケンシロウの拳に倒れたのだった
0289132人目の素数さん
2009/03/18(水) 17:34:230290132人目の素数さん
2009/03/19(木) 11:26:23「はぶわっ!!」
0291132人目の素数さん
2009/03/19(木) 20:39:050292132人目の素数さん
2009/03/19(木) 23:13:000293132人目の素数さん
2009/03/20(金) 01:04:19VIPの結論:これ理解できない奴はアホ
円錐を考えてみろ
物理的に考えると素粒子レベルででこぼこ。
滑らかでなくただの段差の集まりだ。これはもはや円錐ではない。
数学的に考えるとある高さで水平に切り取ると円が出来る。
ではもう少し上で切り取ってみる。するとさっきのよりすこし小さな円が出来る。
じゃあこんどは「もう少し」を狭めてみよう。
無限に小さく、ここは数学的な世界だから物理的な最小単位に縛られることもない。
するとどうだろう。さっきと同じ大きさの円が切り取られるはずだ。
なぜなら、さっきの円と、今度の円が違う大きさならば、円錐は段差の集まりになってしまうから。←ここ重要
ではこの「もう少し」をなんどもなんども繰り返してみる。
なんど切り取っても始めの円と同じ円が切り出される。
これは円錐か?ちがう。円柱だ。
なぜ円錐が円柱になってしまったか。
「もう少し」を無限に小さくしたとき、始めの高さと同じでないと言ったから。
0294132人目の素数さん
2009/03/20(金) 01:20:530295132人目の素数さん
2009/03/20(金) 08:37:48全然数学的ぢゃない…
0296132人目の素数さん
2009/03/20(金) 12:34:50簡単の為、各切断区間を定差で考えるとしまひょ。
切り取る高さhを限り無く小さく(h→0)するというんじゃ
ある切断高さaから切断回数有限やった高さ位じゃ
aでの切断面との面積差は出ないの当然で高差も出まへん、だって
無限小差さかい、差が検知できる有限量の差が出ないの当然でっしゃろ。
高さ1まで切り取るにはhの逆数(1/h→∞)まで切り取らなあきまへん。
ゼノンさんに宜しく言っといてや〜
0297132人目の素数さん
2009/03/20(金) 15:35:070298132人目の素数さん
2009/03/20(金) 17:21:47h→0のときaとの高差を持つって主張する人たちに向けての説明だから
0299132人目の素数さん
2009/03/20(金) 18:24:01***
数列と数学的帰納法を用いて
0.9,0.99,0.999,0.9999,...
という数列がある。第一項の0.9は1でないことは明らか。第k項0.999...(k個分続く)が1でないと仮定した場合、
0.999...(k+1個分続く)が1でなければよいのである。そしてkが有限個の自然数であれば1と等しいとは認めて
いない。よって0.999...は1とは等しくない。
0300132人目の素数さん
2009/03/20(金) 18:30:420301132人目の素数さん
2009/03/20(金) 22:11:390302132人目の素数さん
2009/03/20(金) 23:03:44専門家じゃないしー。何か騙されたような、あれーって感じだ。うーん。
0303132人目の素数さん
2009/03/20(金) 23:43:55「AとBは等しくない。よってCとBは等しくない」と言ってるんだよ。
どこが間違ってるか分かるよね?
0304132人目の素数さん
2009/03/20(金) 23:59:29第1項(まあ、ここは桁だろうな)までの 0.9 は1と等しくない。第k項までの 0.999…(k個分続く) が
1でないと仮定したら、当然第k+1項までの0.999…(k+1個分続く) は1じゃないだろうなあ。
で、なんでこれが >>302になるんだー。どんくさいw
0306132人目の素数さん
2009/03/21(土) 00:21:31A:9が有限個並んだ0.999..9
B:1
C:9が無限個並んだ0.999......
0307132人目の素数さん
2009/03/21(土) 00:31:59有限個の9並びは、いくらたくさん並べてあっても、無限個の9並びにはならない。
0308132人目の素数さん
2009/03/21(土) 00:37:500309132人目の素数さん
2009/03/21(土) 00:48:29いや、そりゃ分かるよw いくらなんでも。
でも、帰納法ってどーなるの? 結局有限なnでしか帰納法って使えないって認識でいいの?
0310132人目の素数さん
2009/03/21(土) 00:58:010311132人目の素数さん
2009/03/21(土) 01:31:02その通り。
数学的帰納法で言えるのは「全てのnで成り立つ」ところまで。
全てのnで成り立つからといって無限にしても成り立つかどうかは判らない。
0312132人目の素数さん
2009/03/21(土) 01:45:08ありがと!
0313132人目の素数さん
2009/03/21(土) 03:17:09トンデモ無限説だけ真性扱いww
みんなどうしてるかねー
特にトンデモ無限説www
0314132人目の素数さん
2009/03/21(土) 16:50:131997『無限論の教室』(講談社現代新書)
野矢茂樹 - Wikipedia
http://ja.wikipedia.org/wiki/%E9%87%8E%E7%9F%A2%E8%8C%82%E6%A8%B9
0315132人目の素数さん
2009/03/21(土) 17:26:39氏は駄コテだったけど
0316132人目の素数さん
2009/03/21(土) 23:54:21この平和もいつまで続く事やら…
0317132人目の素数さん
2009/03/22(日) 09:17:190318132人目の素数さん
2009/03/22(日) 12:50:11帰納法は「任意の有限」についての証明だからね。
任意の有限=無限と考える人にとっては
0.999...=1は理解できないんだろうけど。
0319132人目の素数さん
2009/03/22(日) 19:21:17そもそも
任意の有限=無限
と考える人なら
0.999...
など考える事自体がナンセンスだと思う
0320132人目の素数さん
2009/03/22(日) 20:38:37無理すんなよ。しゃべりすぎてボロ出すタイプだろ、お前。
0322粋蕎<イッキョウ> ◆C2UdlLHDRI
2009/03/23(月) 00:03:07>>318-319
そこはそもそも、個々人のポリシーとか関係なく誤認じゃがのう。
ほう…帰納法は「任意の有限」についての証明…
そらぁ低能な儂も分かっとったが。「無限」を知らなければ無理じゃろう。
0323132人目の素数さん
2009/03/23(月) 10:17:290324132人目の素数さん
2009/03/24(火) 02:50:40それに対応するべき理性で向かうか…
で、あろう
…疑問なき理解は悟りではない…が、こんな悟り世間にゃ必要無いな
まぁ、プロが誤らなければ良いわけで
完全に理屈の世界だ
それとも、0.999≠1にして正則性を保つ体系が
今も尚、存在するかも知れないと考える人は要るか…?
北斗琉拳に屈する積もりは無い!!
0325132人目の素数さん
2009/03/24(火) 14:50:030326132人目の素数さん
2009/03/25(水) 18:25:200327132人目の素数さん
2009/03/25(水) 18:52:48正則性の意味分かってんのか?
0328132人目の素数さん
2009/03/25(水) 19:19:050329132人目の素数さん
2009/03/29(日) 08:56:06証明が崩されてしまうもう一つのパターンは単に 1 - 0.999… が存在しないのかどうか、
という点である。なぜなら、減法は必ずしも可能でないからである。加法の演算をもつが、
減法をもたない数学的構造は、可換半群、可換モノイド、半環 (semiring) を包括している。
リッチマンは 0.999…<1 となるようにデザインされた、その様な2つの構造を考えた。
まず、リッチマンは負でない decimal number を文字通り小数展開となるように定義する。
彼は辞書式順序と加法を定義した。ここでは 0.999… < 1 である事に注意する。なぜなら単に、
一の位において 0 < 1 となるからである。しかし、どんな「無限小数」 x に対しても
0.999… + x = 1 + x である。だから、decimal number に特徴的な一つの事は、加法が必ずしも
打ち消しあわないという事であり、もう一つは 1/3 に対応する decimal number は存在しないと
いう事である。乗法を定義すると、decimal number は正値全順序可換半環をなす[38]。
乗法を定義する際、リッチマンはまた、"cut D" と呼ばれる別の構造を定義する。これは
小数の切断の集合である。通常この定義は実数を導くが、彼は小数 d に対して、
切断(-∞, d ) と "principal cut" (-∞, d ] の両方を許す。その結果、実数たちは小数と
「不安定な状態で共存する(living uneasily together with)」事になる。従って、
再び 0.999… < 1 を得る。"cut D" には正の無限小は存在しないが、"一種の負の無限小" 0- が
存在する。0- には小数展開は存在しない。彼は0.999… = 1 + 0- であると結論したが、
一方、方程式 "0.999… + x = 1" は解をもたない[39]。
0330132人目の素数さん
2009/03/29(日) 09:10:32(中略)
3番目の誘導方法はある中学1年生によって発明された。その生徒は教師が 0.999…=1 を
極限を用いて行った議論に疑いをもったが、上記の 10 を掛ける証明を反対の方向へ
用いてみようとした。すると、x = …999 ならば 10x = …990 であるから、10x = x - 9 であり、
再び x = -1 となる[41]。
0331132人目の素数さん
2009/03/29(日) 09:14:33(中略)
最後の拡張として、0.999…=1(実数における等式)
と …999=-1(10-進数における等式)であるから、「盲目的に記号を偽弄することを
恥じなければ(by blind faith and unabashed juggling of symbols)」[43] 2つの
等式の両辺を加えて …999.999… = 0 を得る。この等式はもはや 10-進数としても
通常の小数展開としても意味をもたないが、よく知られた体系、すなわち実数を表現する為に、
左方への循環も許す "double-decimals" の理論を誰かが開発すれば、一転してこの等式も
意味をもち正しくなる[44]。
0332132人目の素数さん
2009/03/29(日) 09:17:44携帯でエラーレスが起こるとレスが途中から切れる
0333132人目の素数さん
2009/03/29(日) 16:33:40ちゃんと書込中止間に合ってた
0334132人目の素数さん
2009/03/30(月) 19:06:080335132人目の素数さん
2009/04/04(土) 03:19:520336132人目の素数さん
2009/04/05(日) 11:00:50ただの補数の話だ。
コンピュータのメモリ(2進)で数値を扱っている人間なら誰でも知っている。
0337132人目の素数さん
2009/04/06(月) 02:21:070338132人目の素数さん
2009/04/07(火) 23:31:0300000000の1つ前は11111111になる。(最上位のビットが1のとき負数を表す)
この場合は左の方への有限な循環ということになる。
これを10進で無限に循環させたものだと解釈すれば、補数表現を拡張したものと考えてよいのではないか。
0339132人目の素数さん
2009/04/09(木) 17:40:43補数作りの前の10進反転が想像着かないのでまだよく分からんが
取り敢えず2進法版0.999…の0.111…から考えてみようかな
0340132人目の素数さん
2009/04/10(金) 00:03:432進小数
0.111…=1/2+1/4+1/8+…=1
0341132人目の素数さん
2009/04/10(金) 00:42:59>補数作りの前の10進反転が想像着かないので
10進数 a の反転を ^a と表現する。
「 ^a + a = 9 」なる定義を与えれば、補数表現(10の補数)が出来ると思う。
例
3桁の10進数を4桁 [nnnn] で表現する。
このとき、いわゆる千の位が符号を表すとする。ここが0のとき正、^0(=9)のとき負と見なす。
すなわちこの4桁で、-999〜999 の数値を表現できる。
なお、[9000]=-1000 とできるので、実際には -1000〜999 を表現できる。
10進反転ののち1を加える操作をする。
1=[0001]→[^0^0^0^1]=[9998]→[9999]=-1
2=[0002]→[^0^0^0^2]=[9997]→[9998]=-2
123=[0123]→[^0^1^2^3]=[9876]→[9877]=-123
999=[0999]→[^0^9^9^9]=[9000]→[9001]=-999
逆操作
-1=[9999]→[9998]→[^9^9^9^8]=[0001]=1
-9=[9991]→[9990]→[^9^9^9^0]=[0009]=9
0342132人目の素数さん
2009/04/11(土) 11:09:34これにより、9の左への循環について
常に -1=[99]=[999]=[9999]=[9…999] であるから
[…999]=-1 という感覚を持つのはそれほど難しくない。
というわけで、…999=-1 という考え方は比較的理解しやすいものである。
(厳密性がないので理論までには到っていないが)
0343132人目の素数さん
2009/04/11(土) 11:38:28結局のところ、常に変化しない(一定の値を取る)数値を利用して説明することができれば
1=0.999… も理解しやすくなるのではないか。
とすれば
常に 0=0.0=0.00=0.000=0.0…00 であるから
>>102,103 にある 「0.000…=0」 という感覚もつかみやすい。
よって、1-0.999…=0.000… という式を認めるならば
1-0.999…=0.000…=0
∴1=0.999…
ということでいいのではないだろうか。
0344132人目の素数さん
2009/04/12(日) 13:51:47また、x=0.999…、10x=9.999… から引き算して x=1 をだすやり方も
10x=9.999… や 9.999…-0.999…=9 という計算が保証されているのかどうか
というか、騙されているのではないかという疑念を抱かせてしまうと思われる。
最初は有限で(…が現れない形で)示しつつ、最終的に無限の概念を入れていく方法でないと
理解させるのは困難ではないか(結局最後に無限の概念という壁が残るが)。
x=0.99、10x=9.90 より辺々引いて 9x=8.91=9-0.09 ゆえに x=1-0.01
x=0.999、10x=9.990 より辺々引いて 9x=8.991=9-0.009 ゆえに x=1-0.001
x=0.9999、10x=9.9990 より辺々引いて 9x=8.9991=9-0.0009 ゆえに x=1-0.0001
x=0.99999、10x=9.99990 より辺々引いて 9x=8.99991=9-0.00009 ゆえに x=1-0.00001
…
∴ x=0.999…=1-0.000…=1-0=1
0345132人目の素数さん
2009/04/13(月) 03:38:09ふむ?
0346132人目の素数さん
2009/04/15(水) 22:04:31>10進数 a の反転を ^a と表現する。
修正
a は10進数の各桁の数を表すとし、a の反転を ^a と表現する。
0347132人目の素数さん
2009/04/17(金) 17:46:010348132人目の素数さん
2009/04/22(水) 15:38:06うわーん!出目金の切断を南斗聖拳で例えるネタをやり残したー!!
0349132人目の素数さん
2009/04/22(水) 21:12:191度だけ許可する
0350132人目の素数さん
2009/04/25(土) 13:47:17切断することで連続を獲得するってむしろ美女の胴切りマジックみたいだが
0351132人目の素数さん
2009/04/25(土) 21:56:44x=0.99の場合
10x=9.9
9x=9.9-0.99
9x=8.91 ですよね
なら�Aの式は 9x=8.999…1 x=1-0.000…1 になるんじゃないですか?
0352132人目の素数さん
2009/04/25(土) 23:55:150353132人目の素数さん
2009/04/26(日) 09:50:13有限小数と無限小数の違いがわからない人たち
>なら�Aの式は 9x=8.999…1 x=1-0.000…1 になるんじゃないですか?
なりませんな。
あなたが間違っているということが 前提 だと言うことを理解した上で
なぜ自分が間違っているのか、なぜ自分が理解できないのかについて
検討するのが 正しい姿勢 だと思うが。
0354132人目の素数さん
2009/04/26(日) 17:01:07「0.333…」を単語ととらえるなら
その意味は「0.のあとに3が無制限に続く数」ではなく
「三分の一」であるということでしょうか
0355132人目の素数さん
2009/04/26(日) 17:29:370356132人目の素数さん
2009/04/26(日) 19:00:060.333…の意味は「0.のあとに3が無制限に続く数」であり「三分の一」であるということです。
0357132人目の素数さん
2009/04/26(日) 22:01:58いろいろ考えてみてそれはないと考え直しました
1m=9メト(架空の単位)とする場合 1mも9メトも確かに存在する
9メトの1/3は3メトであり「3メトの距離」というものは確かに存在する
では3メトは何mかと問われたら0.333…m としか言いようがない
つまり0.333…mは確かに1/3mでありその3倍の0.999…mは1mとしか言いようがない
これで納得しときます
0358132人目の素数さん
2009/04/27(月) 12:07:240359132人目の素数さん
2009/04/27(月) 20:06:57今回のこの人のお陰で
1-.999…=0
と認められない人には
.999…*10-.999=9
も認めらずに
.999…*10-.999=8.999…
としてしまう事が判明した
0360132人目の素数さん
2009/04/28(火) 14:34:06それ困らんような
0361132人目の素数さん
2009/04/28(火) 14:36:300362132人目の素数さん
2009/04/28(火) 23:20:23>>359補足
1-.999…=0
を認められない、つまり
.999…=1
を認められないので当然
8.999…=9
も認められない事になる
0363132人目の素数さん
2009/04/29(水) 15:01:56アキレスと亀のパラドックスからはじまって文系と理系の思考の違いとか、
ここのスレタイの問題や数の連続性やデテキントまで論じていて
この問題に興味持つ初心者にぴったりだ。
文系の人向けに、イラスト満載でこの問題を解説したってかんじかな。
0364132人目の素数さん
2009/04/29(水) 16:01:170365132人目の素数さん
2009/04/29(水) 18:46:42じゃなくて
8.999…1
って答えるんじゃないのか?
0366132人目の素数さん
2009/04/30(木) 00:14:320367132人目の素数さん
2009/04/30(木) 05:49:15x = 0.999… とする。
10x = 9.999… となる。
10x - x = 9.999… - 0.999…
9x = 9
x = 1
よって 0.999… = 1
0368132人目の素数さん
2009/04/30(木) 20:10:56最定番最多既出
0369132人目の素数さん
2009/04/30(木) 20:12:340370ユビー ◆6wmx.B3qBE
2009/05/01(金) 05:53:261÷1=0.9999999999・・・ じゃん
0.9999・・ は 1じゃん
0371ユビー ◆6wmx.B3qBE
2009/05/01(金) 06:03:35それが1ではなく0.999・・・だと、何故言い切れるのかね
仮に0.999・・・と言う数字を、考えるあてもなく考えているのであれば・・・
それがどういう数字か想像しうることなく、―さらには体験しうることなく
考えていたのであれば、今までの堂々巡りを忘れて
もう一度この問題と出合った時に戻って考えてみなくてはならないよ
キミ達は1を2とは言わまい
しかし、0.9999....はなんであるかと話すのである
その原理から突き詰めていけば、おのずと答えに導かれるのである。
それは0.99999がどういう状況にあるか
どういう状況から導き出されるか
その諸原則がこれである
1÷1=0.9999・・・
0372132人目の素数さん
2009/05/01(金) 06:51:44こいつも貯まってきたら報告しとくか
0373132人目の素数さん
2009/05/01(金) 07:23:45筆算でといたら
1÷1=1になるけどw
0374132人目の素数さん
2009/05/01(金) 07:40:280376132人目の素数さん
2009/05/01(金) 09:08:340.9999・・・
が導き出される状況って
0.3333・・・×3
だろう。
0377132人目の素数さん
2009/05/01(金) 09:33:111-0.9999・・・・=0.0000・・・・1 じゃないんかと。
でも、0.0000・・・・1って答えが出るときの0.9999・・・9って有限桁数の値だとあるときふっと気づいて、
なんとなく無限の意味と、1=0.9999・・・が分かった。
0378132人目の素数さん
2009/05/01(金) 10:20:12随分とキモい文章だけど、誰と話してるんだ?
勝手に「君たち」とか、見えない敵と戦うなよ…
0379132人目の素数さん
2009/05/01(金) 10:27:403×0.333・・・ってさ、どうやって結果出すのよ。無限に続いてるんだぜ。
0380132人目の素数さん
2009/05/01(金) 10:48:50お前が散々既出の事を言い出しただけw
0381132人目の素数さん
2009/05/01(金) 12:06:14循環したら計算をやめればいいな。
0382132人目の素数さん
2009/05/01(金) 17:33:541/3=0.3.
1/7=1.42857.
此処で、2つ目の小数点は循環小数の意味の・(dot)記号とした。
0383132人目の素数さん
2009/05/01(金) 17:37:24「ここから先は繰り返し、見れば分かるな」じゃなくて
0384132人目の素数さん
2009/05/01(金) 17:59:50筆算のアルゴリズムを見れば明らか。
0385132人目の素数さん
2009/05/01(金) 18:03:590386132人目の素数さん
2009/05/01(金) 19:23:47どこら辺が理解できないの?
0387132人目の素数さん
2009/05/01(金) 19:36:520388132人目の素数さん
2009/05/01(金) 19:54:380.000・・・・1の「・・・」は具体的に何個?
0389132人目の素数さん
2009/05/01(金) 20:00:470390132人目の素数さん
2009/05/01(金) 20:01:380391132人目の素数さん
2009/05/01(金) 20:23:46389=387です
0392132人目の素数さん
2009/05/01(金) 20:37:05Level.1
納得仕切れずも取り敢えず1=0.999…を認める
Level.2
1/3=0.333…は認めらるが1=0.999…は認められない
Level.3
1=0.999…を認められぬ余りに0.999…*10−0.999…=9も認められなくなるLevel.4
1=0.999…を認められぬ余りに1/3=0.333…も否定し始める
Level.5
Level.4から更に悪化し、いよいよ循環小数は有理数ではないとする
Level.6
Level.5から更に進み、実数の連続性をも幻想だと言い始める
Level.7
ゼノンの逆理を持ち出して慇懃無礼に偉ぶりながら1=0.999…否定論説し始め尚且つ人の言う事を聞かなくなってくる
Level.8
数学全体の不信任論を展開し始める
Level.9
トンデモ哲学者的に神だの仏だの言いながら数学を鼻で笑って貶すに至る
Level.10
Level.9から遂にそのまま哲学者になってしまう
納得不全者 → 「"無限桁目"の余り」バカ → 数学体系不信任論者 → トンデモ無限説者 → トンデモ哲学者
0393132人目の素数さん
2009/05/01(金) 20:46:390.999・・・の最後が無いのに
0.000・・・・1と最後がある事になっているのは何故?
最後が無いんだから、0.000・・・・と書くのが妥当だよね。
0394132人目の素数さん
2009/05/01(金) 22:47:21最後がないんだから!
0がずっと続くって意味は、差がないってことか!
なんか違う気がするけど!
0395132人目の素数さん
2009/05/01(金) 22:53:341=0.999・・・
1−0.999・・・=0.000・・・
終わりのないゼロ!
0396132人目の素数さん
2009/05/02(土) 00:40:01全ての分数は有限小数か、循環小数である。
[証明] 分数を a/b とし、これを筆算で小数にすることを考える。
筆算でどんどん割って行くと、おろす数は0のみになってくる。そして、余りは 0、1〜b−1 のどれかの数になる。
余りが0なら割り切れたということで元の分数は有限小数となる。
余りが0にならないのなら、1〜b−1のいずれかになるわけで、おろす数が必ず0になっていることと合わせて考え
ると余りは永遠に循環していく。
したがって、元の分数を小数に変換した数も循環小数である。
0397132人目の素数さん
2009/05/02(土) 00:44:380398132人目の素数さん
2009/05/02(土) 01:20:32プログラムのfor文みたいな
だから「いつまで繰り返したって終わらないから云々」という発想になる
理系的なやつは, 「・・・」を「ここには無限個の9がすでに並んでいる」という状態記号ととらえている
プログラムにたとえるなら, すでに実行終了して結果が出てる状態
この感覚的な差が, 話がなかなかかみ合わない一因
0399132人目の素数さん
2009/05/02(土) 01:41:00でも結局わかってない
0400132人目の素数さん
2009/05/02(土) 01:52:38定型文荒らしか
一先ず自治スレへ報告しておこう
0401132人目の素数さん
2009/05/02(土) 02:17:111-.999…999=.000…001
だが
1-.999…
の回答でも「最後の桁」を意識してしまい
.000…(001)
などと表現し始める
2)
10*.999…999-.999…999=8.999…991
だが
10*.999…-.999…
の回答でも「最後の桁」を意識してしまい
8.999…(991)
などと表現し始める
3)
1=.999…
を疑う余り
1/3=.333…
をも疑い始める
0402132人目の素数さん
2009/05/02(土) 08:04:02多分、文系的な人は、
無限大=限りなく大きい有限な数字
という発想なんだろうね。
0403132人目の素数さん
2009/05/02(土) 08:38:59非負整数からなる等差数列a[i](公差は1以上)と自然数の定数Aがあって、
どのiについても、(X*10^a[i+1]の整数部分)mod(10^a[i])=A
としようか。
ま、どうでもいいけど
0404132人目の素数さん
2009/05/02(土) 09:00:25おいおい・・・
理系とか文系とか以前に単に勉強不足なだけだろ。
0405132人目の素数さん
2009/05/02(土) 09:22:05俺は小数までで考えてみた。
0.999…=1
これを2乗すると、
0.999…^2=1^2
0.999…=1 一見変わっていない様だけど0.999…の方は、僅かだけど小さくなってるのは確か。
つーことは2乗を繰り返してけば1は変わらないけど0.999…の方は確実に小さくなってるんじゃね?
だから厳密には0.999…≠1って結論になる?
間違ってたらごめん。
0406132人目の素数さん
2009/05/02(土) 09:27:20この部分は証明しないと「確か」とは言えない。
0407132人目の素数さん
2009/05/02(土) 09:33:42>0.999…=1 一見変わっていない様だけど0.999…の方は、僅かだけど小さくなってるのは確か。
何故?
というか、「一見変わってない」と言ってる様に、変わってない訳で。
0408132人目の素数さん
2009/05/02(土) 11:27:14お前らノリ良すぎwww お前らの方が面白いなww
0409132人目の素数さん
2009/05/02(土) 11:39:410.999…=1 から始めたのに
0.999…=1「一見変わっていない様だけど」というセリフが出るのはナゼ?
>>405 の頭の中では
3=3
これを2乗すると
3^2=3^2
3=3「一見変わっていない様だけど」
というのと同じことが起こっているようだ。等式変形とは何かがわかってない。
要は 0.999… と 1 が最初から違うものに見えている=これを「偏見(偏った見方)」という。
見えているものを信じるのではなく、論理的・推論的に正しいものを信じなさい。
0410132人目の素数さん
2009/05/02(土) 11:41:09お前らノリ良すぎwww お前らの方が面白いなww
0411132人目の素数さん
2009/05/02(土) 13:04:210412132人目の素数さん
2009/05/02(土) 13:06:330413132人目の素数さん
2009/05/02(土) 22:13:290414132人目の素数さん
2009/05/02(土) 23:29:42>>410 は流れ的に >>406 か >>407 が >>408 をコピったっぽい感じがする
0415132人目の素数さん
2009/05/03(日) 00:18:010416132人目の素数さん
2009/05/03(日) 00:51:27廬山!百龍覇ぁー!!
0417132人目の素数さん
2009/05/03(日) 11:16:16秀部阿部氏
0418132人目の素数さん
2009/05/03(日) 19:36:41じゃあ0.99999…=1なら1の平方根って0.99999…でもいいんじゃね?
普通は平方根の解って+と-で2通りだけど1と0.99999…だけ解が4通りになるんだがw
頭おかしくなってきたんで寝る。
0419132人目の素数さん
2009/05/03(日) 19:41:171=1/1=2/2=3/3=…だから、お前の理屈だと
1の平方根は何通りも解が増やせることになる。
±1と±0.999…の4通りのうち、1と0.999…は全く同じ解で、
−1と−0.999…が全く同じ解。結局、解は2通りのまま。
0420132人目の素数さん
2009/05/03(日) 20:01:450421132人目の素数さん
2009/05/03(日) 20:42:28「0.99999…≠1を背理法で証明する」
0.99999…=1と仮定すると、1の平方根は±1だから、
±0.99999…も1の平方根ということになり、
1の平方根が4つもあることになり矛盾。
したがって背理法により0.99999…≠1
もちろん、0.99999…=1と仮定しておいて、
いろいろ変形したりしてそれを忘れた頃に
0.99999…と1が異なるという(こっそり持ちつづけていた)感覚との矛盾を感じただけなわけだが、
これをもっとひねった形にすれば頭おかしくなる奴続出で(^Д^)プギャー
0422132人目の素数さん
2009/05/03(日) 20:49:41いけない子。変態さん?
0423132人目の素数さん
2009/05/04(月) 16:40:490424132人目の素数さん
2009/05/04(月) 17:11:34n (整数nに対しn≦x<n+0.5の時)
n+1 (整数nに対しn+0.5≦x<n+1の時)
なので6になる
0425132人目の素数さん
2009/05/04(月) 17:12:58×四捨五入n
○四捨五入
0426132人目の素数さん
2009/05/04(月) 17:16:23小数第1位は4なんですけど。
そしてその後に、9がどれだけつづくかなんて分からないんですけど。
0427132人目の素数さん
2009/05/04(月) 17:28:53有限個なら5
書いてある通りなら定義より6
0428132人目の素数さん
2009/05/04(月) 18:01:10議論するのなら
四捨五入というものの定義と、
四捨五入が小数表記に依存されないかどうか?
について行う必要がある。
小数第n位が4か5のみに依存とするのならば、表記法に依存するから
どちらでもいいという意味になる。(要するにwell definedでない)
>>424を定義とするならwell definedになる。
0429132人目の素数さん
2009/05/04(月) 18:41:06そもそも 5.499999・・・=5.5 なので
「小数第1位は4なんですけど」という言い方自体に意味がない。
0430132人目の素数さん
2009/05/04(月) 18:47:45言う通りだけど中学でも>>424の定義を使って問題を解かせるぐらいだから、>>424の定義で良いと思う。
小学生はまだ有限小数の表示が一意的ではない事を意識すらさせる段階に無いので、教育的配慮でそう教えていると考えるのが自然かなと。
0431132人目の素数さん
2009/05/04(月) 19:14:21だから、表記法によると定義する場合は、
四捨五入は、well-definedじゃないと言ってるんだけど・・・
>>430
確かに、あえて数学的定義をする場合は>>424のいう風に定義すべきだね。
四捨五入の定義が、
・初等的にいい加減な定義(=小中学校でならう定義)と、
・きちんとした数学的な定義(=>>424の定義)
が曖昧なまま議論していた様な気がしたのであえてしてきしたという事で。
0432132人目の素数さん
2009/05/04(月) 20:13:18お前は 3/3 の分母を何と言うつもりだ?
0433132人目の素数さん
2009/05/04(月) 20:19:54言ってる日本語のイミが不明
0434132人目の素数さん
2009/05/04(月) 20:30:11意味が無いなんてことは無い。
ただし、5.5(あるいは5.4999…)で表される実数xについて、xの小数展開を明示せずに
「小数第一位は4である」とか「5である」とか言うのは意味が無い。
0435132人目の素数さん
2009/05/04(月) 21:07:30俺は、>>432では無いけど、
1(=1/1)の分母
2/2の分母
3/3の分母
全て同じ数字だけど、表記法によって解が異なるという事を言いたいんだと思う。
当然、分母=既約分数表記した場合の分母の数字として定義している場合は、分母=1になる
(well definedになる)けどね。
0436132人目の素数さん
2009/05/04(月) 21:19:14「分母は3なんですけど」という言い方自体に意味がない。
アホか
0437132人目の素数さん
2009/05/04(月) 22:14:39そもそも 0.999… とは何ぞやという流れの中で
5.499999… を四捨五入しようという行為に疑問を感じる。
0438132人目の素数さん
2009/05/04(月) 23:16:16ttp://science6.2ch.net/test/read.cgi/math/1241232605/324
0439132人目の素数さん
2009/05/04(月) 23:23:23それ以外なら1にする、という操作をfとしよう。
たとえば、f(1/2)=0/2であり、f(2/3)=1/3だ。
ところで、f(1/1)=0/1=0、f(2/2)=1/2とすべきだが、
1/1=2/2=1なので、f(1/1)=f(2/2)、すなわち、0=1/2となる。
こうして0=1が証明できた。
ゆえに、俺は神だ。
0440132人目の素数さん
2009/05/04(月) 23:23:34[5.4999…+0.5]=[5.999…]=6
でいんじゃね?
0441132人目の素数さん
2009/05/04(月) 23:24:520442132人目の素数さん
2009/05/04(月) 23:29:50この 324 はafoだな。
0443132人目の素数さん
2009/05/04(月) 23:35:233/3の分母は「わかっている」が 5.4999…の表現は「わかっていない」
よくわからないものにたいして四捨五入なる行為をおこなってもいいのか?
その結果得られるものについて信用してもいいのか?
0444132人目の素数さん
2009/05/04(月) 23:55:315.4999…は5.5のことね。終了。
0445132人目の素数さん
2009/05/05(火) 00:19:310446132人目の素数さん
2009/05/05(火) 00:42:40いや、0.5足した5.999・・・で、その小数点以下を切り捨てたら5だろう、というのが最初の問掛けだな。
0447132人目の素数さん
2009/05/05(火) 02:32:53>>424が随分とスマートになったな
0448132人目の素数さん
2009/05/05(火) 03:11:110449132人目の素数さん
2009/05/05(火) 07:34:23その切捨てという表現だって、四捨五入と同じように曖昧な表現
それこそ、
0.99・・・を切り捨てたら1とも0とも言える訳で。
要するに表記法に依存する定義
0450132人目の素数さん
2009/05/05(火) 07:37:36それは等しい訳だが。
5.999…=6は、
数字の表現は違う。
数値としては等しい。
0451132人目の素数さん
2009/05/05(火) 10:07:50数値としては等しいのに表現の違いで四捨五入したら違う結果になるとすれば
数値表現がマズイか四捨五入の適用が間違っているかその両方かのいずれかだと思う。
やはり4.999…に四捨五入だの切り捨てだのやっちゃあいけないんじゃないか?
0452132人目の素数さん
2009/05/05(火) 10:43:56表現の違いによって結果が異なるような定義はポンコツで使い物にならない定義なのであって、
数値表現がマズイのではなく、四捨五入の適用がマズイのでもない。
「四捨五入」の”定義”がマズイのだ。
表現の違いによらずに結果が一定になるように「四捨五入」という用語を
定義すれば何も問題は起きない。>>424の定義なら結果は一定。
0453132人目の素数さん
2009/05/05(火) 11:26:16実際は小数表示を与える数列 {a[n]} (n∈Z、0≦a[n]≦9) に対して四捨五入が定義されているのであって、実数に対して定義されているのではない。
小数表示が一意でないので四捨五入の結果が一意でなくても何の不都合も無い。
0454132人目の素数さん
2009/05/05(火) 11:51:220455132人目の素数さん
2009/05/05(火) 12:18:034.4999…=4.5としたうえで4.5を四捨五入すべきでしょう
0456132人目の素数さん
2009/05/05(火) 12:38:59>端数が0.5未満なら切り捨て、0.5以上なら切り上げる丸めを「四捨五入」という。JIS Z 8401で規則Bとして定められている。「四捨五入」という呼び名は、小数第1位が4以下ならば切り捨て、5 以上ならば切り上げることに相当することから来ている。
>この呼称は10進数に依存しているので、10進数に限定しないときはR丸めという。
>0.5を足して切り捨てるという、単純なアルゴリズムで得られる。
>なお、負の数に対して正常な結果を得ようとすれば、切り捨ては負の無限大への丸めである必要がある
>(0への丸めだと、たとえば-2が-1に丸められてしまう)。
>ただし、0.5を足して負への無限大へ丸めると、端数が0.5の場合に絶対値が減る(たとえば、-1.5は-1へと丸められる)。
>一方、JIS Z 8401では、負の数は絶対値として丸める(-1.5は-2へと丸められる)。
>実際に、コンピュータで負の数に「0.5を足して切り捨て」た場合どうなるかは、負の数と切り捨ての実装による。
>端数が0.5のとき常に増える方向に丸められるため、わずかに正のバイアスがある。
となってるね。
>>424,>>440の定義そのものだね。
よって、四捨五入は表記法に関わらず一意。
表記法によって、変わる方は混乱を避けるために
「四捨五入w」と呼ぶことにしよう。
0457132人目の素数さん
2009/05/05(火) 13:11:180458132人目の素数さん
2009/05/05(火) 13:14:50ちょっと見てきたけど、切り捨てと切り上げの定義も書くべきだと思う。
>整数部分をそのまま残し、小数点以下を0とする丸めを切り捨てという。それに対し、小数点以下が0でなかった場合整数部分を1増やし、小数点以下を0とする丸めを切り上げという。
0459132人目の素数さん
2009/05/05(火) 13:21:27切り捨て[x]
切り上げ[x+1]
0460132人目の素数さん
2009/05/05(火) 13:22:50負数に対応している?
0461132人目の素数さん
2009/05/05(火) 13:24:17四捨五入の記述が>>424 >>440 の定義と一致したのはただの偶然。
>0.5を足して切り捨てるという、単純なアルゴリズムで得られる。
って書いてあるから、
4.49999・・・ + 0.5 = 4.99999・・・ → 4
ってなっちゃう。
執筆者は[x] と>>458 指摘の「切り捨て」の挙動の違いに気付いていない
0462132人目の素数さん
2009/05/05(火) 13:26:01切り上げ x≠[x]のとき[x+1]
0463461
2009/05/05(火) 13:27:47>端数が0.5未満なら切り捨て、0.5以上なら切り上げる
>0.5を足して切り捨てる & 整数部分をそのまま残し、小数点以下を0とする丸めを切り捨てという。
が違うという事に気付いていない
0464132人目の素数さん
2009/05/05(火) 14:00:04切り上げは
-[-x]
だろ
0465132人目の素数さん
2009/05/05(火) 14:51:490466132人目の素数さん
2009/05/05(火) 14:53:081=0.99・・・の問題が無ければ、wikiの矛盾した定義が矛盾しなくなる訳で。
0467132人目の素数さん
2009/05/05(火) 15:08:38一般の実数は無理だけど
0468132人目の素数さん
2009/05/05(火) 15:30:410.999…は循環小数か?
0469132人目の素数さん
2009/05/05(火) 15:35:15もちろんそう解釈出来る
0470132人目の素数さん
2009/05/05(火) 19:34:17ケンシロウの結論>>264-292と、幻に終わった天帝拳だったな…
0471132人目の素数さん
2009/05/05(火) 19:36:41天帝拳>>188
0472132人目の素数さん
2009/05/05(火) 22:39:45天帝拳なるものは存在しない
0473132人目の素数さん
2009/05/05(火) 23:55:36天帝拳も原作に示されとるで〜(ケンとリンが結ばれなかったので幻化)
188:132人目の素数さん 2009/01/30(金) 01:10:44 [sage]
「0.999…≠1且つ有用な系が確立されぬ以上はこの論争が絶える日は来ない」
「0.999…≠1且つ有用な系は存在し得ない」
∴ 永久にこの論争が絶える日来ない
0474132人目の素数さん
2009/05/06(水) 00:02:35テンプレにあるように、0.999…=1の成立と数のアルキメデス性は同じだ。
0.999…=1を納得しない素人に、最初に「じゃ、数って君はどんな性質があることを想定している」と聞き、
「物差しを使って、どんな物の長さでも数で表せるってして良いよね」と聞くわけだ!
で、ひとたび相手が「うん」と言ったら、コレ幸いと、そこから「数のアルキメデス性」→「0.999…=1」と証明する…と。
途中は面倒だから構想のみだけどね。
0475132人目の素数さん
2009/05/06(水) 01:28:490476132人目の素数さん
2009/05/06(水) 07:54:170477132人目の素数さん
2009/05/06(水) 09:01:29「0.999…=1が成り立つように各種演算を適切に定義すればいい」
とかゴリ押しをやってる奴もいた。彼曰く、これが一番シンプルな定義なんだと。
本当は、そうやって「適切に演算を定義する」ことが可能なのかチェックしないと
いけないのに、彼はゲーデルの不完全性定理を盾にして、チェックできる範囲での
無矛盾性さえ確かめない。
「とにかく0.999…=1が成り立つようにすればいいんだ!」と宣言するだけなら、
シンプルに決まっている。でも意味が無い。
0478132人目の素数さん
2009/05/06(水) 10:17:471行でまとめてくれ。
0479132人目の素数さん
2009/05/06(水) 11:30:43だから、いくらわめこうが、ゲーデルが有る限り、とりあえず使ってて矛盾がないって状態で満足しなきゃならんのよ。
また、だからこそ、メリット論とか、どっちがシンプルかとかの判断になるわけだ。
チェックできる範囲の無矛盾性をどうやってチェックするんだ?ゲーデルは自然数を導入した瞬間に発動するんだし。
0480132人目の素数さん
2009/05/06(水) 11:35:250481132人目の素数さん
2009/05/06(水) 12:11:030482132人目の素数さん
2009/05/06(水) 12:25:03もしかして無矛盾性が証明できるのなら0.99・・・=1と0.99・・・≠1のどちらかで矛盾が起こるとでも思っている?
0483132人目の素数さん
2009/05/06(水) 13:00:55げーデルは関係ないっしょ
自分できちんとわかって発言してる?
0484132人目の素数さん
2009/05/06(水) 14:03:01でよりシンプルでより利用価値があり現実に即した…つまりメリットがあるモノを採用するのは当然ではないのか?
0485132人目の素数さん
2009/05/06(水) 14:15:08前半と後半無関係w
0486132人目の素数さん
2009/05/06(水) 14:20:09この部分は数学的・論理的に繋がっているわけじゃないよ。
単に実利的に繋がっているだけ。
0487132人目の素数さん
2009/05/06(水) 15:05:59メリットがある方を採用するのは良い。よりシンプルな議論で済む定義を
採用するのも良い。だが、
「0.999…=1が成り立つように各種演算を適切に定義すればいい」
↑こういうゴリ押しはシンプルとは言わない。具体的にどう定義するのか
言わなければならない。そして、定義したその演算でちゃんと実数体に
なっているのか調べなければならない。デデキントの切断やコーシー列の
やつと同程度に面倒くさい。デデキントの方法もコーシー列の方法も
シンプルだと思っているなら別に構わんが。
0488132人目の素数さん
2009/05/06(水) 15:22:05それをきちんとやっちゃうと、デテキントとかコーシ並の面倒くささになるのは当然なんじゃないの?
繰り上がりや繰り下がり無い場合のみを扱うなら、簡単だけどな。あるいは、循環小数だけを扱う
ようにすればこれも簡単になるわな。
しっかし大体、一つの主張が終了したら、また別の問題持ち出して…延々やって双方グダグダになるのは
2chのあちこちで見かける光景だよな。
無意味だー。
0489132人目の素数さん
2009/05/06(水) 15:53:26つまり
> 「0.999…=1が成り立つように各種演算を適切に定義すればいい」
とするメリットは無いわけだ。
チグハグな構築法よりも
自然数→整数→有理数→実数と順番に拡張していって、
結果0.999・・・=1を導いたほうがよっぽどスッキリしている。
0490132人目の素数さん
2009/05/06(水) 16:27:22それはそうだ。テンプレにもあるわな。
で?
0491132人目の素数さん
2009/05/06(水) 17:04:22>> 「0.999…=1が成り立つように各種演算を適切に定義すればいい」
>とするメリットは無いわけだ。
このメリットは、「わかりやすい」と明確にテンプレにあるのだが?
0492489
2009/05/06(水) 17:27:12分が悪いので>>488 で話を終わらせたかったのに、突っ込み入れて悪かったな。
で、テンプレの何所に
0.99・・・=1が成り立つように演算を定義した方が、実数の定義から0.99・・・=1を導くよりもメリットがある
と書いてあるの?おまえの脳内テンプレにか?
0493132人目の素数さん
2009/05/06(水) 17:49:36Q6 A6 にあるだろ。
煽って撃沈?w
0494132人目の素数さん
2009/05/06(水) 18:04:18Q6/A6にはそんな事書いてないww
数学できないなら偉そうなこと書き込まない方が身のため。オケ?
0495132人目の素数さん
2009/05/06(水) 19:00:47分かるように説明してくれ。
0496132人目の素数さん
2009/05/06(水) 20:17:25(0.999・・・・)÷3 = (0.333・・・・)
↓
(0.333・・・・) = 1/3
↓
1/3×3 = 1
↓
(0.999・・・・) = 1
じゃ駄目なん?
0497132人目の素数さん
2009/05/06(水) 20:58:540498132人目の素数さん
2009/05/06(水) 21:13:20結局、煽って逃亡か。
0499132人目の素数さん
2009/05/06(水) 21:33:43いきなり 0.999・・・・ を使った式から始まると
「0.999・・・・ の定義は何なの?計算方法はどうしてるの?」
って聞きたくなる。
0500132人目の素数さん
2009/05/06(水) 21:42:00せっかくageたのにね。
だれか構ってあげて下さい。
0501132人目の素数さん
2009/05/06(水) 22:21:47>>498 はA6の「前提条件」というのを「0.999…=1」の事だと勘違いしているんじゃないだろうか?
そんなにバカじゃないとは思うが、違ったらスルーしてくれ。
0502132人目の素数さん
2009/05/06(水) 22:37:56予想した通りだ。
0503132人目の素数さん
2009/05/07(木) 00:23:44早漏乙
>>500
本人乙
0504132人目の素数さん
2009/05/07(木) 08:45:190.999…≠1派には効果のない説明だから、実質的なメリットには
成り得ないよね。
>「0.999…=1が成り立つように各種演算を適切に定義すればいい」
0.999…≠1派は、「そのように演算を適切に定義するのは不可能である!」
と言い張る。そうなったら具体的に説明しなくちゃいけない。
0505132人目の素数さん
2009/05/07(木) 20:55:35なるほど。わかった。
で、ちょっと聞くけど反論それだけ?後で全く違うこと付け加えないよね?
念のため。
0507132人目の素数さん
2009/05/08(金) 18:06:060508132人目の素数さん
2009/05/08(金) 20:27:340.999…≠1派でも、数学の「無矛盾なら何を採用してもOK」って本質が分かっていれば
メリット論は意味あるだろ。
0509132人目の素数さん
2009/05/08(金) 20:39:14>数学の「無矛盾なら何を採用してもOK」って本質が分かっていれば
それが分かっている奴は「0.999…≠1派」とは言わない。
0.999…=1を絶対に認めないから”0.999…≠1派”なんだよ。
0510132人目の素数さん
2009/05/08(金) 21:02:29≠派
両立派
か?
0511132人目の素数さん
2009/05/08(金) 21:31:17勝手に都合良く定義するなw
0512132人目の素数さん
2009/05/08(金) 22:01:45何ならお前の定義に従って書き直してもいいぞ。
=派と≠派の「言葉の定義」なんぞ本質ではないからな。
>「0.999…=1が成り立つように各種演算を適切に定義すればいい」
0.999…≠1派のうち「無矛盾なら何を採用してもOK」が分かってない人間は
「そのように演算を適切に定義するのは不可能である!」 と言い張る。
そうなったら具体的に説明しなくちゃいけない。
ホレ、これで満足か?
0513132人目の素数さん
2009/05/08(金) 22:08:11結局さ、何で納得するかってのは個人差だってだけの話じゃないか。
無限小数の演算で納得する人間もいるだろうし、無限級数の計算で納得する人間もいるだろう。
また、デテキントやコーシーで納得する人間もいるだろうが、結局はそれさえゲーデルで覆される。
要するに、それぞれのレベルに応じた説明がいっぱいあるのが良いってだけの話だな。
0514132人目の素数さん
2009/05/08(金) 22:54:11⊂⌒( `Д´) < ヤダヤダ!
`ヽ_つ ⊂ノ
ジタバタ
_, ,_
〃〃(`Д´ ∩ < 0.999…=1じゃなきゃヤダー!
⊂ (
ヽ∩ つ ジタバタ
0515132人目の素数さん
2009/05/09(土) 00:15:58それとも>>329は
0.99…≠1であるモデルの一例に過ぎないの?
0516132人目の素数さん
2009/05/09(土) 00:29:34あまり要求しすぎると「無い」となるし、全然要求しなければ
「たくさん作れる」となる。ギリギリの要求をすれば一意に
定まるかもしれん。
0517132人目の素数さん
2009/05/09(土) 16:16:15A−B=CでもC+B≠Aとなったり
A/B=CでもC*B≠Aとなったり
更にはAB≠BAにもなったりしそう
0518132人目の素数さん
2009/05/09(土) 22:35:500519132人目の素数さん
2009/05/10(日) 02:41:47A-B=CでもC+B≠Aとなったり
A/B=CでもC*B≠Aとなったり
のつもり…
0520132人目の素数さん
2009/05/10(日) 11:57:19復元性とか〜になったりしそうとかよくわからない言葉は使わないように。
0521132人目の素数さん
2009/05/10(日) 16:26:41>>517の言いたい意味がなんとなく予測ついてた
いかにも文系ですと言わんばかりに突然新造語使い出す語り方が多い人が
よく集まるからな
0522132人目の素数さん
2009/05/10(日) 16:28:180523132人目の素数さん
2009/05/11(月) 00:19:37根拠のない発言するな
0524132人目の素数さん
2009/05/11(月) 10:33:420525132人目の素数さん
2009/05/11(月) 11:15:11きょこんってなあに?
0526132人目の素数さん
2009/05/11(月) 12:39:250527132人目の素数さん
2009/05/11(月) 17:29:130528132人目の素数さん
2009/05/13(水) 11:33:470529132人目の素数さん
2009/05/16(土) 13:52:000.999…の整数部分って1ですよね。
だったら、0.999…の整数部(小数点より上の部分)を
1じゃなくって0って書くのてなんか変じゃない?
って思ったんですよ。
だれか同じようなことを思った人っていませんか?
0530132人目の素数さん
2009/05/16(土) 14:16:11これは思い込み。「小数点より上の部分」は必ずしも「整数部分」とは
一致しないということに過ぎない。
0531132人目の素数さん
2009/05/16(土) 14:41:08>一致しないということに過ぎない。
そうなんだけど、0.999…は間違った表現ですよってことにしちゃえば、
いろいろメリットあると思うんですよね。
「小数点より上の部分」は「整数部分」と一致したほうがわかりやすいし、
すべて有理数が、ただ1通りの方法で小数表示できるようになるし、
0.999…なんてあっても、ほとんど利用価値なさそうだし。
0532132人目の素数さん
2009/05/16(土) 15:15:49利用価値のあるなしと数学における有用性とは別物だと思うが。
すべての有理数がただ1通りの小数表示になることに特にメリットは感じないし
0.999…は間違った表現だとしてしまうほうがそれこそデメリットでしかない。
さらにいうと
0.999…は利用価値なし=メリット0 ≠デメリット だから、言っていることに矛盾がある。
0533132人目の素数さん
2009/05/16(土) 16:21:03>0.999…は利用価値なし=メリット0 ≠デメリット だから、言っていることに矛盾
確かに…。
じゃあ、いろいろなメリットっていうのは、
・「小数点より上の部分」は「整数部分」と一致したほうがわかりやすい
・すべて有理数が、ただ1通りの方法で小数表示できるようになる
のことを言ってた、ってことにしといてください。
……いろいろで2つかよ、とか言われそうなのでメリットもう一つ追加。
・切り捨てとか、四捨五入が楽
あと、気になったことが二つ
数学における有用性も利用価値にはいるんじゃないか?
0.999…は間違った表現だとしてしまうデメリットってなんでしょう?
0534132人目の素数さん
2009/05/16(土) 17:19:480.999…は間違った表現だとしてしまうということは、0.999…≠1 であるということを認めることでは?
このスレは 0.999…=1 なんだけどそれを認めない人たちにどう対応するかというスレだと思うが。
間違っていないことを間違っていると主張することはできんな。
0535132人目の素数さん
2009/05/16(土) 17:41:040.999…=1は正しい表現であり、決して間違っていない。
小数表現を一意的にしたいのであれば、「間違っている」とする必要はなく、単に
「0.999…の方は使わないことにする」(←0.999…が間違っていると言っているのではない)
と宣言すればいい。
0536132人目の素数さん
2009/05/16(土) 17:43:25たくさんあるわけで(1/2=2/4=3/6=4/8=…など)、だからと言って
「2/4も3/6も4/8も間違った表現であり、1/2だけが正しい」
などと吠えるバカはいない。
0537132人目の素数さん
2009/05/16(土) 18:16:08釣り針がでかいな
0538533
2009/05/16(土) 18:29:04>「0.999…の方は使わないことにする」
まさに言いたかったはそれです。
0539533
2009/05/16(土) 18:31:37べつに0.999…=1が間違ってるって言いたかったわけではないんです。
>「0.999…の方は使わないことにする」
まさに言いたかったはそれです。
間違ってるっていう表現はよくなかったかもしれませんね。
0541132人目の素数さん
2009/05/16(土) 18:44:26そういう人のためにこのスレがあります。
0542132人目の素数さん
2009/05/16(土) 22:24:34限りなく1に近い数=1
という解釈でいいのでしょうか?
0543132人目の素数さん
2009/05/16(土) 22:36:370544132人目の素数さん
2009/05/16(土) 22:55:210545132人目の素数さん
2009/05/17(日) 08:31:16ぜんぜんだめな理由を簡潔に述べよ
0546132人目の素数さん
2009/05/17(日) 11:39:250547132人目の素数さん
2009/05/17(日) 11:56:390548132人目の素数さん
2009/05/17(日) 12:07:470549132人目の素数さん
2009/05/17(日) 12:39:36>>548
限りなく1に近い数=1という解釈がぜんぜんだめな理由はなんでしょうか?
0550132人目の素数さん
2009/05/17(日) 13:18:51限りなく1に近い数≠1 が成り立つように「限りなく近い」が定義されて
いたなら、いくら「解釈する」とゴリ押ししたところで=には成り得ない。
逆に、限りなく1に近い数=1 が成り立つように定義されていたなら、
「解釈する」などと言わなくても自動的に=になる。
つまり、定義していない用語に対して「解釈する」と宣言しても何の意味も無い。
そういう解釈が可能か否かは、その用語の定義によって変わるので。
君がもし 限りなく1に近い数=1 が成り立って欲しいと願うならば、
「限りなく近い」という概念を数学的に厳密に定義し、その定義のもとで、
「限りなく1に近い数」がどういう数になるのか計算し、そして=1という
結果が出て来ることを言わなければならない。
0551132人目の素数さん
2009/05/17(日) 13:52:21敢えて「ぜんぜん」を付けた意図がその説明では表現されていない。
0552132人目の素数さん
2009/05/17(日) 14:01:07んなこと言われても、俺は544とは別人だからな。「ぜんぜん」の理由が
知りたければ544に聞け。
0553132人目の素数さん
2009/05/17(日) 14:08:58微妙なズレでも彼にしてみればぜんぜんなんでしょうな
「チンコの皮のシワを伸ばしてまで調べ上げる」くらいの性格なんでしょ
0554132人目の素数さん
2009/05/17(日) 14:41:130555132人目の素数さん
2009/05/17(日) 14:48:360556132人目の素数さん
2009/05/17(日) 17:06:190557132人目の素数さん
2009/05/17(日) 17:07:29やはり天帝拳の完成が必要だなww
しかもそんなもの有り得ないだろ?www
0558132人目の素数さん
2009/05/17(日) 23:24:19のばして洗わんとアカがたまるよ
0559132人目の素数さん
2009/05/17(日) 23:27:230560132人目の素数さん
2009/05/17(日) 23:54:04うまい釣られ方は芸術である
0561132人目の素数さん
2009/05/18(月) 10:56:02どんだけこのスレ続いてるんだ
0562132人目の素数さん
2009/05/18(月) 16:37:31そのことに今でも疑問を持つ人間がいるから
0563132人目の素数さん
2009/05/18(月) 17:33:46何でだろ・・・
0564132人目の素数さん
2009/05/18(月) 17:37:26何でだろうな・・・
0565132人目の素数さん
2009/05/18(月) 22:12:50お前らみたいなのがいるから
0566132人目の素数さん
2009/05/19(火) 11:23:39何故?
0567132人目の素数さん
2009/05/19(火) 13:59:490.000......00001の存在を否定することじゃね?
0568132人目の素数さん
2009/05/19(火) 14:02:530569132人目の素数さん
2009/05/19(火) 20:01:35「最後に1」野郎が出たっ!(それとも釣りか?)
0.9999… と 0.000…1 は無関係だろがよ。
0570132人目の素数さん
2009/05/19(火) 21:34:04って実数の連続性から出てくるの?
0571132人目の素数さん
2009/05/19(火) 21:36:565 :132人目の素数さん:2008/08/23(土) 10:17:45
Q5:A1の「前提条件」とは何か?
A5:通常は実数の範囲で考え、「実数の連続性」や「0.999…が無限級数の
極限値である」こと等を前提にする。しかし、説明は複雑になるが、
アルキメデス性を満たす数の範囲(例えば実数ではなく有理数)で
考える事も可能である。
0572132人目の素数さん
2009/05/19(火) 21:37:56�d
0573132人目の素数さん
2009/05/21(木) 23:15:23�d
0574132人目の素数さん
2009/05/21(木) 23:16:30�d
0575132人目の素数さん
2009/05/21(木) 23:17:13�d
0576132人目の素数さん
2009/05/21(木) 23:26:57�d
0577132人目の素数さん
2009/05/22(金) 20:11:33�d
0578132人目の素数さん
2009/05/23(土) 18:11:23�d
0579132人目の素数さん
2009/05/23(土) 18:12:06�d
0580132人目の素数さん
2009/05/23(土) 18:12:47�d
0581132人目の素数さん
2009/05/23(土) 18:50:090582132人目の素数さん
2009/05/25(月) 15:34:170583132人目の素数さん
2009/06/01(月) 22:01:33-1×-1=1がどうしても理解できないから
でもね1=0.999…はすぐ理解できたのでとても嬉しい
永遠という概念を数字で表しているのでしょう?
0584132人目の素数さん
2009/06/01(月) 22:55:08おネエマンか!
0585132人目の素数さん
2009/06/01(月) 22:56:300586132人目の素数さん
2009/06/07(日) 11:17:340587132人目の素数さん
2009/06/14(日) 19:14:52x/10=・・・999.90
x/10-x=-0.9x=0.9
したがって
x=-1
y=・・・999.999・・・とおくと
10*y=100*y=1000*y=・・・
したがって
y=0
0588132人目の素数さん
2009/06/14(日) 23:46:350589132人目の素数さん
2009/06/15(月) 02:43:38ちっちゃい男達の集まりはここでつか?
0590132人目の素数さん
2009/06/15(月) 07:04:01って安心できるから、このスレ好き
0591132人目の素数さん
2009/06/21(日) 07:19:18子供がおもしろがって書き込みしてんだよ。
0592132人目の素数さん
2009/06/21(日) 09:09:08>世界一細かいことを気にする
なのか?実は
>存在しないものを、ある・ない と言い合っている
んじゃないのか?
0593132人目の素数さん
2009/06/21(日) 10:14:53何が「存在しないもの」なのか?
0.999…
0594132人目の素数さん
2009/06/24(水) 20:46:02極限を用いなければ理解しきれない事に拒否反応を覚え、
「無限小かつ零でない差、余り」などという物を想起しているんだろう。
(恐らくp-進法での左への…にも最後の桁を想起しているだろう)
結局、そういう方らには1≠0.999…系の確立>>264-292を要する。
然しながらそんな物で有用な演算が得られそうな系は無さそう。
増してや実数体に取って変わる系なんて考え難い。
0595132人目の素数さん
2009/06/25(木) 22:36:050596132人目の素数さん
2009/06/29(月) 17:02:11だがご存知の通り、それ以前までの定義とは確度が違う
どう違うかはあんたらの方が詳しいべ
0597132人目の素数さん
2009/06/29(月) 23:09:52一つの決定的事実で確信に至れる類ではなくて
信じる根拠を重ねてく類であって
絶対的な信じ込みはファインマンの言った「無限の偏見」にあたるのかも
俺には極限を以て1=0.999…と“する”のが精一杯だよ
0.999…
=Σ[n=1,∞]{9*(0.1^n)}
=1
0598132人目の素数さん
2009/06/30(火) 00:09:53「0.999…」という数値が「1に極限まで近い数字」として定義されているなら勿論「1≠0.999…」
「1と同値であるがそれを表現しきれないので便宜上このように書かざるを得ない」のであるならば「1=0.999…」
つまり定義自体がそのまま回答なのだから論議すること自体無意味と。
個人的には「1=0.999…余り0.00…001」と表現すれば全て解決じゃね?と思うんだが
例えば5÷3の答えは、小数点以下を1桁ずつ下まで求めていくと
「1余り2」「1.6余り0.2」「1.66余り0.02」「1.666余り0.002」「1.666…余り0.0…02」
みたいな書き方ができる。
割り切る事ができない以上は、あくまでどこまでいこうと「余り」が発生しているはずなんだよ。
この場合は6がずっと循環していくパターンだが0.999…でも同じこと。
どこまで小数点を下げていこうが必ず発生している小さな欠片があるはずなんだから
それをちゃんと書いてやれば紛らわしくなくなっておkな気がする。
以上文系の浅知恵
0599132人目の素数さん
2009/06/30(火) 00:57:470600132人目の素数さん
2009/06/30(火) 01:05:470601132人目の素数さん
2009/06/30(火) 02:39:040602132人目の素数さん
2009/06/30(火) 07:15:25>「0.999…」という数値が「1に極限まで近い数字」として定義されているなら勿論
1=0.999… になるわけだが。
0604132人目の素数さん
2009/06/30(火) 16:13:36「限りなく1に近づく」≠1
「限りなく1に近い」=1
0605132人目の素数さん
2009/06/30(火) 16:33:22こめかみ
寺院、宮殿
眼鏡のつる
0606132人目の素数さん
2009/07/03(金) 04:03:22高校生で極限を勉強するまでは0.99999…は数ではなくて
よくわからない記号だったということなの?
0607132人目の素数さん
2009/07/03(金) 04:21:000608132人目の素数さん
2009/07/03(金) 16:40:58m→∞
⇔Σ[n=1,m]{9*(0.1^m)}
→1
と“する”事を「極限の定義であり方針に過ぎん」とする類には
認められる話ではなくなる事になる
0609608(≠607)
2009/07/03(金) 16:50:38607氏、迷惑掛けた
0610132人目の素数さん
2009/07/03(金) 20:05:110611132人目の素数さん
2009/07/04(土) 12:42:45⇔Σ[n=1,m]{9*(0.1^m)}
[=1-(0.1^m)]
→1
0612132人目の素数さん
2009/07/04(土) 12:52:190613132人目の素数さん
2009/07/04(土) 17:35:33⇔Σ[n=1,m]{9*(0.1^m)} = 1-(0.1^m)]
→1 →1
0614132人目の素数さん
2009/07/04(土) 17:39:03どっちの極限も認めない、それがLevel.5 over
0615132人目の素数さん
2009/07/04(土) 17:43:17たぶんmとnを書き間違えてるだろ。
0616132人目の素数さん
2009/07/04(土) 21:41:040617132人目の素数さん
2009/07/04(土) 21:46:10⇔ Σ[n=1,m]{9*(0.1^n)} = 1-(0.1^m)
→ 1 → 1
0618132人目の素数さん
2009/07/05(日) 06:31:21Q1 : 1)に解は存在するか?存在するならそれを証明せよ。
0619トンデモ無限説の真似
2009/07/07(火) 18:55:180620132人目の素数さん
2009/07/07(火) 22:43:281=0.9999・・・は間違ってる。
てか、この話って、
1≒0.999・・・(以下無限)
であり、極限をとった場合の“≒”この記号なんだよ。
無限は「限りなく近い」に収束するとしてるけど、
1=0.999・・・ではないよ。
違うかな?
0621132人目の素数さん
2009/07/07(火) 22:45:330622132人目の素数さん
2009/07/07(火) 22:48:270.999・・・
の「・・・」に極限の意味が含まれてるなら、1=0.999・・・になるね。
0623132人目の素数さん
2009/07/07(火) 22:49:23野矢茂樹の狂信者
0624132人目の素数さん
2009/07/07(火) 22:49:520625132人目の素数さん
2009/07/07(火) 22:50:090626132人目の素数さん
2009/07/07(火) 22:51:060627132人目の素数さん
2009/07/07(火) 22:59:220628132人目の素数さん
2009/07/07(火) 23:10:14そんな風に言ってた
何か1=0.999…とするのは人間の傲慢だとかも言ってたし
数学の信頼性どうのこうのだの
哲学者の本を見たせいか、俄か哲学してやがった
0629132人目の素数さん
2009/07/07(火) 23:15:551=0.999… としても何の問題も発生しないし、一部別の重要定理の証明にも使うこともできるし
いーんじゃないの?って立場だろうな。おれは。
0630132人目の素数さん
2009/07/07(火) 23:30:310631132人目の素数さん
2009/07/08(水) 00:20:000.999...(既に計算終了)
どっちなの?
0632132人目の素数さん
2009/07/08(水) 01:03:400633132人目の素数さん
2009/07/08(水) 01:14:16それでも納得できないなら
人生不意にしてもよいなら、一生懸命頑張って
1≠0.999…
かつ
実数体の様に有用な数系
…とやらを、作り上げる事を目指したれば良い
俺ゃあ嫌だ
0634132人目の素数さん
2009/07/08(水) 02:35:130,9999…=1-0
0635132人目の素数さん
2009/07/08(水) 15:17:35極限は、計算とはなんの関係もない。
しかしあえて選べば、計算終了の方がふさわしい。
極限値は、いわば、無限個を数え終わったときの値。
0636132人目の素数さん
2009/07/08(水) 21:15:33計算は終わってないけど結果は分かった状態
0637132人目の素数さん
2009/07/08(水) 22:16:25結果がわかった状態(極限値が決定すること)をもって、
無限個の確認が終了したと考えるのが妥当と思う。
0638132人目の素数さん
2009/07/09(木) 02:10:38そりゃ、どごまでも続く(いつまでも動いているような)数
として認識してしまうだろうな
0639132人目の素数さん
2009/07/09(木) 15:31:57極限を認めないんだから
1-0.999…=0.000…≠0
っていうスタンスだと、1≠0.999…派はいうんだから
じゃあ、それを延長すると
1≠0.999…
3/3≠0.999…
1/3≠0.333…
というわけだから、俺は1≠0.999…派に
じゃあ、あんたらで実数体と遜色ない、そういう系を確立して下さいよ、と
だから俺ゃ嫌ですよ、と
0640132人目の素数さん
2009/07/09(木) 16:55:00極限を認めない派だって、「極限による証明は論理的に不十分」と言っているだけだよ。
0641132人目の素数さん
2009/07/09(木) 17:01:010642132人目の素数さん
2009/07/09(木) 17:01:580643132人目の素数さん
2009/07/09(木) 17:37:04そんなことない
マジモンはいる
0644132人目の素数さん
2009/07/09(木) 20:06:50>というわけだから、俺は1≠0.999…派に
>じゃあ、あんたらで実数体と遜色ない、そういう系を確立して下さいよ、と
1≠0.999…派には↑の意味はわからんと思う。だからいくらそのような系を確立せよと言ってもムダ。
0645132人目の素数さん
2009/07/10(金) 02:06:430646132人目の素数さん
2009/07/10(金) 06:39:180647132人目の素数さん
2009/07/10(金) 16:10:09聴覚のみならず知能まで…
0648132人目の素数さん
2009/07/10(金) 18:49:260649132人目の素数さん
2009/07/10(金) 20:11:470650132人目の素数さん
2009/07/10(金) 20:50:250651132人目の素数さん
2009/07/11(土) 00:22:46それが上の方で天帝拳ってやつか
存在否定証明、何かある?
0652132人目の素数さん
2009/07/11(土) 02:31:480653132人目の素数さん
2009/07/11(土) 11:42:16Yes, that's right !
0654132人目の素数さん
2009/07/12(日) 01:15:440655132人目の素数さん
2009/07/12(日) 08:23:260656132人目の素数さん
2009/07/12(日) 10:44:470657132人目の素数さん
2009/07/12(日) 20:35:370658132人目の素数さん
2009/07/12(日) 20:38:190659132人目の素数さん
2009/07/13(月) 04:06:410660132人目の素数さん
2009/07/13(月) 23:14:240661132人目の素数さん
2009/07/16(木) 18:03:51こら、オマイラ!!何やってんの!!
0662132人目の素数さん
2009/07/16(木) 23:07:050663132人目の素数さん
2009/07/16(木) 23:49:440664132人目の素数さん
2009/07/17(金) 09:09:020665132人目の素数さん
2009/07/17(金) 10:00:120666「猫」∈社会の屑 ◆ghclfYsc82
2009/07/17(金) 10:17:02真似ったってワシには無理だろうけれどサ
0667132人目の素数さん
2009/07/17(金) 13:23:000668132人目の素数さん
2009/07/17(金) 14:39:400669132人目の素数さん
2009/07/17(金) 20:40:53肛門内・会陰・恥骨両脇から前立腺に向けて貼り最大出力
閉塞カテーテルを前立腺まで挿し込み塞げば
かの
KingOfUniverse
の理想
永久絶頂
が実現される
下腹周りのシェイプにも貢献
同様にしてEMSゴールデングローブを使用する手もある
0670132人目の素数さん
2009/07/17(金) 20:47:46クリトリス・Gスポット
バルトリン氏線への直貼りと肛門壁ごし貼り
最大出力
吸盤で子宮口を塞げば
絶頂延長
が実現される
女性の場合、永久絶頂の為には吸盤とゴムボール一体型の製品で
子宮口を塞ぎ込む必要がある
下腹周りのシェイプにも貢献
同様にしてEMSゴールデングローブを使用する手もある
この方法を広めるとレズビアンが増加し
少子化が促進されてしまう
0671132人目の素数さん
2009/07/19(日) 18:05:49>>670
一般性をかなり失っているので不適 終。
0672631
2009/07/20(月) 06:29:05ε-δ論法辺りでググってみると、極限の「限りなく近づく」という曖昧さが消える。
0.999...9と9がN個続く有限の数として定義すると、
0 < |1-0.999...9(N+1)| < |1-0.999...9(N)|
となり、N=∞の時、「限りなく0に近づく」(極限の考え方ここまで)
また、「全てのNについて成り立つ」ので、N=∞の時、
1 = 0.999...(証明終了)
である。
でいい?
0673132人目の素数さん
2009/07/20(月) 07:24:400674132人目の素数さん
2009/07/20(月) 10:04:36> N=∞の時、「限りなく0に近づく」
「N=∞」で極限値を表しているはずなのに
まだ「近づく」などと言ってるのはおかしい。
> 「全てのNについて成り立つ」
何の命題が全てのNについて成り立つんだ?
0675132人目の素数さん
2009/07/20(月) 11:19:56そもそも「N=∞」などと表現していること自体「わかってない」。
0676132人目の素数さん
2009/07/20(月) 23:23:160677132人目の素数さん
2009/07/23(木) 18:49:07それで?
0678132人目の素数さん
2009/07/30(木) 03:25:51そもそもεNについても理解してないだろう・・・
0679132人目の素数さん
2009/08/03(月) 23:02:01論理的に考えられる奴とそうでない奴がいるだけだ
0680132人目の素数さん
2009/08/05(水) 17:36:56確か1=0.999・・・は正しいらしいぞ
学生のテキストだから証明は書いてないけど
何だっけなぁ・・・
0681132人目の素数さん
2009/08/05(水) 19:50:32まあ5つくらいは書き込みがあるだろうから
0682132人目の素数さん
2009/08/05(水) 20:56:490683132人目の素数さん
2009/08/11(火) 09:14:21a(n)=2*Π[i=1〜n](2i)^2/((2i-1)(2i+1))
任意のnに対してa(n)は有理数である。
a(n)に対して次の事が言える。
∀ε>0,∃m∈N,∀n∈N[ n>m → |a(n)-π|<ε ]
つまり、π=lim[n→∞]a(n)=有理数
どう?
0684132人目の素数さん
2009/08/11(火) 20:26:58有理数は極限操作に関して閉じていない。
(有理数列の極限は有理数とは限らない)
よって0点。中学生なら騙せるかも。
0685132人目の素数さん
2009/08/16(日) 13:37:540686132人目の素数さん
2009/08/23(日) 22:12:390687132人目の素数さん
2009/08/31(月) 20:12:370688132人目の素数さん
2009/09/08(火) 20:07:380689132人目の素数さん
2009/09/08(火) 22:26:010690132人目の素数さん
2009/09/11(金) 00:55:160691132人目の素数さん
2009/09/14(月) 22:53:041=0.999…が成り立たない場合が案外単純なところにあったんだな
0692132人目の素数さん
2009/09/15(火) 18:56:04「1=0.999…が成り立たない場合」などありませんが。
0693132人目の素数さん
2009/09/23(水) 20:15:240694132人目の素数さん
2009/09/23(水) 20:29:17実数を表示するときの底を変えるだけで成り立たなくなるよ!
0695132人目の素数さん
2009/09/23(水) 20:37:12-0.1 = 0.999...
になるよ!
0696132人目の素数さん
2009/09/23(水) 21:11:330697132人目の素数さん
2009/09/23(水) 21:44:050698132人目の素数さん
2009/09/23(水) 22:23:280699132人目の素数さん
2009/09/23(水) 22:42:05>>1-693
までのつまらなさよりはマシだとは思うけどね。
0700132人目の素数さん
2009/09/23(水) 23:15:370702132人目の素数さん
2009/09/23(水) 23:40:40>9をp-1を表す記号とすると
よく意味が分からん
0703132人目の素数さん
2009/09/23(水) 23:48:57例えば、7-adicだと
-0.1 = 0.666...
というようにp-1を表現する数字が続くってことを言いたかったんだけど、分かりにくかった?
ゴメン。
0704132人目の素数さん
2009/09/24(木) 00:15:55p-進数で小数点以下無限に続く記法って知らんのだけど
0705132人目の素数さん
2009/09/24(木) 01:57:13左から右に書くならp進数はリトルエンディアンで書いた方が自然だよ。
nを底としたn進表記でアルキメデス的に
n = 1*n + 0 = 10
と書く代わりに、
pを底としたp進表記で非アルキメデス的に
p = 0 + 1*p = 0.1
と書きました。
0706132人目の素数さん
2009/09/24(木) 04:17:23700だが違うよ
>>705は気持ちは分かるが普通じゃない事ぐらい分かるだろうに
0707粋蕎<イッキョウ> ◆C2UdlLHDRI
2009/09/24(木) 06:26:01何か勘違いして今度は「左に無限先の桁」を妄想し、盲目的になる
それが「"無限桁目"の余り」バカ
…であると予測
>>281氏、乙
0708粋蕎<イッキョウ> ◆C2UdlLHDRI
2009/09/24(木) 06:27:35乙は281氏の作詞に対する
0709132人目の素数さん
2009/09/24(木) 07:26:33普通じゃない?
右から左に書く方がむしろ馬鹿に説明するため*だけ*に使う便法で、左から右に書く方が普通じゃない?
まぁ、丁寧に書くならベキ級数だけど、小数表示はそもそも級数表示の省略記法。
0710粋蕎<イッキョウ> ◆C2UdlLHDRI
2009/09/24(木) 07:31:450711132人目の素数さん
2009/09/24(木) 08:02:33意味が取れないんだけど。
>>694, >>695は単に>>692の反例を挙げただけでまぁ深い意味は全然ないけどね。
0712132人目の素数さん
2009/09/24(木) 08:05:03その表記をした書籍は少なくとも俺は知らない程度には普通じゃない
0713132人目の素数さん
2009/09/24(木) 08:08:32その表記をしている書籍・論文を上げよ。
0714132人目の素数さん
2009/09/24(木) 08:32:05世話が焼けるヤツだな。
例えば、
http://www.springer.jp/978-4-431-71123-0
の中のノイキルヒが書いたとことか。
こういうのもあるね。
http://en.wikipedia.org/wiki/P-adic_number
0715132人目の素数さん
2009/09/24(木) 11:59:050716132人目の素数さん
2009/09/24(木) 17:16:180717132人目の素数さん
2009/09/24(木) 18:21:00証明?する必要がない。これが成立するなら限りなく近い値同士はイコールになり
すべての数がイコールで成り立つ。数値、大小関係の概念を壊すぞw
0718132人目の素数さん
2009/09/24(木) 18:45:590.999…≠1なのであれば、1−0.999…はいくつになるのか?
>これが成立するなら限りなく近い値同士はイコールになり
>すべての数がイコールで成り立つ。
1行目から2行目に大きな飛躍がある。どうして1行目が成り立つと
2行目も成り立つのか?そもそも、1行目における「限りなく近い」とは
どういう意味なのか?
0719132人目の素数さん
2009/09/24(木) 20:34:09>>717
>>717
0720132人目の素数さん
2009/09/24(木) 20:43:43こいつもわかってない「こまったちゃん」ですな。
0721132人目の素数さん
2009/09/24(木) 21:28:33Zahlenは啓蒙書としてはかなりメジャーだし、Wikipediaの項目もp-adic numberでググってトップに出るくらいはメジャーだけどね。
何か物悲しいぐらい頭悪そうだね。
もっとサンプルが欲しいならこれ
http://books.google.co.jp/books?id=P4yy0w1C30oC&pg=PA61&as_brr=3&output=html_text&source=gbs_search_r&cad=1
あげるよ。
そんなことより、ベキ級数表示は昇ベキで書く方が自然だと思わないわけ?
実際のところp進数のインスタンスを表示したくなることなんてあまりないからどうでもいいけど、啓蒙書を書く人は記法に気を使って>>707や>>712みたいなのが読んでも混乱しないようなフールプルーフを心掛けて貰いたい。
0722132人目の素数さん
2009/09/24(木) 21:40:280723132人目の素数さん
2009/09/24(木) 21:44:42普通なんでしょ?ならほとんどの書籍はそう書いているんだよね?俺の見た範囲にはなかったからそんなに多くの本に書かれているのかと意外に思い聞いたんだが。
> 何か物悲しいぐらい頭悪そうだね。
こういう事書かないと不安なんだろうけど余計に説得力が無くなるから止めた方が良いと思うよ。
> そんなことより、ベキ級数表示は昇ベキで書く方が自然だと思わないわけ?
それどのコメントを見て言ってるの?俺は書いた記憶は全く無いんだが。
0724132人目の素数さん
2009/09/24(木) 22:37:08うーん。全然不安じゃないよ。
でも善良そうなあなたに失礼な言い方ですみません。
小数表示とベキ級数表示が等価なのは事情が分かっている人には当たり前なんだけど、啓蒙書がp進数に触れるときには凄くミスリードな左側に無限に伸びる数という表現を取ることが多く
て、それが普通と思っている人を見て悲しいだけです。
p = 0.1 式に右に伸びる表現を考えればp進体の非アルキメデス性やヘンゼルの補題、タイヒミュラー指標、乗法群の構造等など、どれも直感的に捉えられるようになると思いますよ。
0725132人目の素数さん
2009/09/24(木) 22:54:05いや、だから気持ちは分かると書いているだろう。ただ、俺なら気持ちがそうでも標準的でない記法を使うなら先に断りぐらいは入れる。数学をする者の姿勢としてね。
0726132人目の素数さん
2009/09/24(木) 23:02:06論旨には同意だが、こういう変に俯瞰的な部分は反発を買って当然かと
0727132人目の素数さん
2009/09/24(木) 23:07:280728132人目の素数さん
2009/09/24(木) 23:35:41標準的???
...1111みたいなのが標準的だと思っているのか?
本気で?
理解の埒外。
0729132人目の素数さん
2009/09/24(木) 23:42:55立場って意味がわからないが、
無駄な馬鹿を見るのは悲しくない?
0730132人目の素数さん
2009/09/24(木) 23:46:37俺も書いていないことを平気で書いているように言うお前が理解出来ん
0731132人目の素数さん
2009/09/25(金) 00:28:21>すべての数がイコールで成り立つ
これまでにない新しいタイプのバカだな
もうバカのタイプも出尽くしたと思ってたが油断できない
0732132人目の素数さん
2009/09/25(金) 00:52:13ゴメンね。
アンカーを注意して見てるはずなんだけど、
どこかで他の人のレスをあなたのものと混同しちゃったのかもね。
0733132人目の素数さん
2009/09/25(金) 01:13:09「限りなく近い」なら=
「限りなく近づく」なら≠
aの値そのものとlim_[n→a]{n}の極限値aは≠
0734132人目の素数さん
2009/09/25(金) 04:09:400.999…<1として精々、減法使えなくなればいーよ(>>329読み晒せ)
>>643-644
マジモン存在したな、しかも新登場・俄p-進数
やはり>>633とか>>639の意味も理解できんのだろうなぁ
0735132人目の素数さん
2009/09/25(金) 04:58:260736132人目の素数さん
2009/09/25(金) 18:38:56y=0は定義しないのですか?
0737132人目の素数さん
2009/09/25(金) 18:45:47何か問題でも?
0738132人目の素数さん
2009/09/25(金) 20:13:07というより可能無限派だと任意の長さの線分は考えられても直線という概念は考えられないはず
0739132人目の素数さん
2009/09/25(金) 21:53:31君が言いたいのは可能無限ではなく実無限じゃないの?
間違ってたらすまん
0740132人目の素数さん
2009/09/25(金) 22:48:19Spec K[X, Y]/(aX + bY + c)
と看做して(無限集合になる点集合じゃなくて式を見てる)るから問題ない。
0741132人目の素数さん
2009/09/25(金) 23:28:190742132人目の素数さん
2009/09/26(土) 11:49:46無限に続くと言う事で、1に収束し同一と考えるのは理解できます。
ただ、その場合、自然数が無限に大きくなって発散する時も、観念としては、完全に完成された
無限大が存在すると考えて良いんですか?
可能無限であれば、何時までたっても有限の大きさのままですよね?
自然数の果てまで辿り着いた無限と言うイメージです。それに対して、足したり引いたり掛けたり割ったりとは、
考えません。
0743132人目の素数さん
2009/09/26(土) 12:53:01しかし、足し算とかしないのならただ定義があるだけだし、
数学的対象としては考える価値は無いといっていい。
0744132人目の素数さん
2009/09/26(土) 13:07:42マジでレス有難う。それが謎だったんだ。ずっと悩んでた。
無限に関する十冊くらい本を買ってた(素人向けの数式があんまりないやつ)
でも、実無限の説明はあったとしても、集合論であったり、
収束するものに限られてたから分からなかった。確かに、四則演算しないと考えるなら、
数学的じゃないよね。
0745132人目の素数さん
2009/09/26(土) 13:14:21書き換えてる最中に送信してしまったorz失礼。
無限に関する本を10冊くらい買って読んでたんだ(素人向けの数式があんまりないやつ)
無限に関しては宇宙に関しても、哲学に関しても面白いけど、集合論になると、
まるでわけが分からない・・・。
0746132人目の素数さん
2009/09/26(土) 13:40:05だったら
0 = { }
1 = { 0 }
2 = { 0, 1 }
3 = { 0, 1, 2 }
...
N = { 0, 1, 2, ... }
となるだけで収束するとか発散するとかの位相構造は全然関係ないのことであるよ。
0747132人目の素数さん
2009/09/26(土) 14:04:00うん、収束と発散を知りたくて無限の本を買ったんだけど、実無限となると
無限集合の話になってて困ってた。
ただ、1997『無限論の教室』(講談社現代新書)野矢茂樹って人の本だと、
アキレスと亀の話を持ち出して、1+偶数の逆数を無限回繰り返して2になると言うのなら、
アキレスが一歩毎に自然数を数えるとすると、亀を追い抜いた時にはアキレスは自然数を全て数え終わってるはずだ!と言ってる。
1=0.999...は同じだと考えるのも、実無限派だと言ってる。
これは哲学者の本だから、数学とは違うってのも分かってきたし、完全に完成された無限大が存在すると
考えるだけで、計算の対象にしないのなら、数学で論じるものではないとも分かってきたので、
なんか安心したと言った感じです。
0748132人目の素数さん
2009/09/26(土) 14:17:12集合論でこの主張に対応するのは
「 N = { 0, 1, 2, …… } という集合が作れる 」 ……(*)
ということだろうな。つまり、このNという集合を現実的に作ろうとすると
最初 N = { } (Nは空集合)
次 N = { 0 } (Nに0を追加)
次 N = { 0, 1 } (Nに1を追加)
次 N = { 0, 1, 2 } (Nに2を追加)
こうやって次々と自然数を追加しなければならないわけで、
可能無限の立場では、追加が終わることはない。もしこれで
(*)の集合が作れたとすると、Nに追加した最後の自然数は
何なのか?…みたいな。
0749132人目の素数さん
2009/09/26(土) 14:30:16レス有難う!非常に分かり易いです。少なくとも自分は、1=999...で納得できました。救われました。
頭がなんんだかすっきりした。kiss my assて言われたら、喜んでけつにキスしたくなるくらい、
感謝。
0750132人目の素数さん
2009/09/26(土) 17:26:33俺ガウスだけど、さすがに
> 1=0.999...は同じだと考えるのも、実無限派だと言ってる。
はない。あ、俺が実無限派じゃないことは知ってるよね。
0751132人目の素数さん
2009/09/26(土) 17:38:02確かに無限に左に伸びる数と言われて、p進数を無限に大きい数と誤解するやつとかいそう。
p進体だと小数表示は一意的だから、スレタイにあるような疑問は生じる余地なしだね。
0752132人目の素数さん
2009/09/27(日) 20:04:14野矢茂樹に感化されるのは止めとけ
そもそもアキレスは数える事も必要なく走る
0753132人目の素数さん
2009/10/01(木) 21:55:18…駄目だ駄目だ!またこういう考え方するから余りバカにされるんだ
0754132人目の素数さん
2009/10/03(土) 14:55:090755132人目の素数さん
2009/10/04(日) 19:53:52無限小数に対して最下桁とは何か?
0756132人目の素数さん
2009/10/08(木) 07:23:59> 1−0.999…はいくつになるのか?
0.999・・・を減算することを考慮すること自体ナンセンス。
数学を知った気になるなよw
>>719 >>720 池沼は黙ってろよw
>>731
はい出ました、何も反論せず自分がそう思わないからって
相手の人格攻撃しか出来ない無知。では問うが、何が間違っているか
理論的に説明して反論しな。限りなく1に近いと、それ自身が等価とは
話が違う。イコール、大なり小なりの符号の意味を理解していないどころか
何かと他の手法、解決法にこじつけて失敗するタイプだろ?w
本当にくだらないが、限りなく0に近い値の底に、限りなく0に近い指数が
収束する値の説明を用いて、0^0を1と結論付けた馬鹿がいたが
証明に用いた事柄が、限りなくある値に近いであって、その値そのものでは
無いことを理解していなかったお馬鹿さんが他の板にもいたよw
さて、イコールの意味を理解してから出直してね、文系で数学を知ったかぶる似非高学歴さんw
0757132人目の素数さん
2009/10/08(木) 07:25:38意味不明。それらがイコールで成立するなら
1に満たない値が1とイコールになるわけだが???
当然、それを等価とした場合、数学的帰納法を用いれば
0と無限大の値はイコールで成立しますよ?
0758132人目の素数さん
2009/10/08(木) 07:27:01> 0.999…=1を納得したいので
成立しないので納得しないで下さいw どこかの宗教団体の人ですか?
0759132人目の素数さん
2009/10/08(木) 07:33:06クズ、社会の外れの引きこもりニートなどが来る2ちゃんねるだって気づけよw
2ちゃんねるがネットの中心だと勘違いし始めた池沼が増え始めているんで。
=と≒の意味が分からないなら、高校生からやり直しなw
もっとも、いつか死ぬ日が来る限りある時間の中で生きている人生に
やり直しは無いよ。お前がそういう存在になれば、この世に唯一無二の
存在として、他人にはなれない現実がある。それに気づく日はいつだろうね?
自分もいつかは死ぬ。死んだ後の世界など、どうでも良い。この問題だって
解決することに意味があるならまだしも、各個人の妄想を膨らませて
楽しむナンセンスな人生を送るためにあるなら、またそれもよかろう。
ただ、そんなことでぐずぐずしている奴は、完全に人間のごみくず。
生きる価値が無いボケだよ。お前がいくら必死になって解決しても
誰もそれを受け入れてはくれないよ。そう、幅広く通用している法則を
無視、崩壊させる行為だからねw
0760132人目の素数さん
2009/10/08(木) 08:02:51ttp://www.geocities.jp/baad17/suugaku1B.htm
↑のように、無理やりこじつけて証明しているが、落とし穴に気づいていない例はよくあるw
Aの場合 a=0.9999999・・・としているが、10a = 9.99999999・・・としている時点でアウト。
ある数を10倍してみろ。例えば 0.999なら9.99。この2つの差は?8.991と、9にはならないんだわw
これが落とし穴。そう、限りなく0に近い0ではない値を無視したことに気づいていないんだよ。
Bも似たようなものだ。分数を用いたまやかしだ。剰余を無視しやがった。
まぁ、この手の証明は早業で欺く手品みたいなものだ、思い込ませたり
ある1点に注目させることで、隠したい部分を巧く隠したが、早業でもない証明じゃ
直ぐにバレてしまうんだよw
むしろ、Bの場合は無限小数で表したが、1/3自体が都合よく書かれただけだと気づくべきだろう。
イコールは勝手に人間が都合よく解釈するためにこじつけただけで、本来はイコールではなく
≒とすべきだったが、細けぇこたぁ〜良いんだよの世界では無視されてしまうんでしょうねw
そう、お前一人くらい集団から外れていても困らないようにw
0761132人目の素数さん
2009/10/08(木) 08:11:55収束するといった条件があるが、値そのものがイコールで表せるわけではない。
裏を返せば、限りなく0に近い差の値どうしは限りなく近い値と言える程度だろう。
とにかく騙されるな!数学的帰納法が裏で銃を構えてますよ?w
限りなく0に近い値でも、数多く積み重ねればそれなりの差になります。
それが、1も2も3も同等とせざるをえない結論になってしまう要因になる。
ですので、限りなく0に近い値の差を無視しないで下さいね。
その2つだけは同じだよとか言い出したら、結局どの2つも同じ同じ同じ・・・
やっぱり全ての値が等価になってしまうわけなのだよ、ワトソン君w
0762132人目の素数さん
2009/10/08(木) 08:59:00ダウト
0763132人目の素数さん
2009/10/08(木) 09:09:38a=0.999…=1/9とする
10a=10/9だから10a-a=(10/9)-(1/9)=(10-1)/9=9/9=1
∴1=0.999…
「aに限りなく近い」値はaそのもの
0764132人目の素数さん
2009/10/08(木) 09:37:45考えている時点で話にならんな
イコールの意味の前に 「...」の意味を理解して出直せ
0765132人目の素数さん
2009/10/08(木) 10:03:330766132人目の素数さん
2009/10/08(木) 10:50:45全ての値が等価になりますよw
0767132人目の素数さん
2009/10/08(木) 11:02:11ネタで言ってるんだよな・・・?
>限りなくある値に近いということが、そのある値と等価であるなら
等価なんだから二つの値に差はないよ(二つの値の差は0)
>>760の
>限りなく0に近い0ではない値
このような値は存在しない(但し限りなく0に近づく0ではない値は存在する)
0768132人目の素数さん
2009/10/08(木) 17:52:22はい、現代数学教に入信したいので、0.999...=1を受け入れました。
0769132人目の素数さん
2009/10/08(木) 18:16:50>当然、それを等価とした場合、数学的帰納法を用いれば
>0と無限大の値はイコールで成立しますよ?
実際に数学的帰納法で証明してごらん。
数学的帰納法とは、自然数nに関する命題P(n)に関して
・「P(1)は真である」が成り立つ
・任意の自然数nについて、「P(n)が真ならばP(n+1)も真である」が成り立つ
の2つを示すという論法。これによって、任意の自然数nで
P(n)が真になることが保証される。
で、数学的帰納法をどのように使えば、
「0と無限大の値はイコールで成立する」
ことが言えるのかな?まずは命題P(n)をどのように
設定するのかを決めなくちゃいけないね。
ほら、やってごらん。数学的帰納法で、
「0と無限大の値はイコールで成立する」
ことを証明してごらん。
0770132人目の素数さん
2009/10/08(木) 18:27:02テンプレートを用意したぞ。
数学的帰納法で証明するということは、
以下の形式に従って証明するということだ。
―――――――――――――――――――――――――――――――――――――――
0.999…=1が成り立つと仮定する。
このとき、0と無限大の値がイコールで成立することを、
数学的帰納法で示す。
まず、自然数nに関する命題P(n)を次のように定める。
P(n):【文章1】
このP(n)に関して、次の2つが成り立つことを証明する。
(1)「P(1)は真である」が成り立つ
(2)任意の自然数nについて、「P(n)が真ならばP(n+1)も真である」が成り立つ
まずは(1)から証明する。
【文章2】
次は(2)を証明する。
【文章3】
以上より、任意の自然数nに対してP(n)は真となり、よって
0と無限大の値がイコールで成立する。
―――――――――――――――――――――――――――――――――――――――
君がやるべきことは、【文章1】【文章2】【文章3】
の3箇所を埋めることだ。さあ、埋めてみてくれ。
0771132人目の素数さん
2009/10/08(木) 18:35:11う〜ん、全く論理になっていない…
思いこみが激しいと、何を言ってもムダだよなあ。
0.999...=1 を信じたくない人たちには。
0772132人目の素数さん
2009/10/08(木) 18:38:53>0.999・・・を減算することを考慮すること自体ナンセンス。
0.999… だって「数」なんだから、”減算”という操作は
定義されているはずで、よって0.999…の減算は可能なはず。
ナンセンスかどうかは関係ない。
1−0.999…を計算して、その値がどうなるのか教えてくれ。
あるいは、もし減算が定義されてないなら、
「0.999…を減算する、という操作は不可能です」
と言ってくれ。
0773132人目の素数さん
2009/10/08(木) 19:05:00待て、数学的帰納法は有限の範囲の操作でしかないから、数学的帰納法で証明しても∞で成り立つかどうかは別
(例 1+3+5+…+(2n-1)=n^2は数学的帰納法で証明できるけどnを∞に持って行くと成り立たない)
だから数学的帰納法の後にも続くんじゃねwwwwwwwwwwwww
0774132人目の素数さん
2009/10/08(木) 19:07:471=0.999... とか 0^0 は不定とか、こういうことを問題にするヤツは、問題設定自体が間違ってると思うことが良くある。
例えば、1=0.999... の場合は、まともな問いは「基数bで実数を小数表示するときに表示が一意に決まらないのはいつか?」で、もちろん答は整数を基数の冪で割った形のときのみで、基数の取り方に依存した話なのは明らか。
実数を表示するのに自然な基数なんか選びようがないし、不思議でもなんでもない。
1=0.999...の場合は、まぁ、結論が間違いじゃないからまだましだけど、0^0が不定というのは明らかに間違ってる。
なぜ、整数冪の値を問題にしてるときにx^yという自然とは言い難い関数の原点での不連続性を根拠に不定だと説得した気になれるんだ?
0^0=1 に決まってる。
0775132人目の素数さん
2009/10/08(木) 19:34:44問題はそれだけじゃない。直感的な話をするなら、数学的帰納法で
辿り着けるのは”高々可算無限個”先までの範囲。よって、
「限りなく近い数はイコールだ」と仮定しても、そこから
数学的帰納法で「これもイコールだ!」と言えるのは
「無限小を高々可算無限回足した数まで」
にすぎない。無限小の可算無限倍は再び無限小なので、結局、
0と無限大がイコールなんて決して証明できない。
これには決定的な証拠がある。
>>757が抱く”実数”の感覚は、超準解析とほぼ同等だ。
R^*を超実数体とするとき、超実数x,yが「限りなく近い」とは
ある無限小εが存在して|x−y|<εが成り立つ
ときを言う。次に、R^*に次の同値関係〜を入れる。
x〜y ⇔ xとyは限りなく近い
これが同値関係であることはすぐに確かめられる。そして、商集合R^*/〜を
考えると、R^*/〜は一点集合には な ら な い 。757は
「限りなく近い数をイコールだとすると、全ての数がイコールになる!」
などと言っているが、もしそうなら、R^*/〜は一点集合でなければならない。
しかし、現実はそうではない。
0776132人目の素数さん
2009/10/08(木) 19:37:58> 0^0=1 に決まってる。
といわれてもねえ… これも論理性なし。
0777132人目の素数さん
2009/10/08(木) 19:41:590778132人目の素数さん
2009/10/08(木) 19:45:31>はい出ました、何も反論せず自分がそう思わないからって
>相手の人格攻撃しか出来ない無知。
ここは専用の議論スレでしかももう16スレ目なんだよな。
ぽっと出の新手のバカにいちいち説明してやる義理がどこにある。
「過去ログ読んでから来い」と言われる前に読んで来い。
0779132人目の素数さん
2009/10/08(木) 19:49:43こういうのを見るとこの人たちにとっては
「0.999...は動いている」ように見えてるんだろうなあと思う。
0780132人目の素数さん
2009/10/08(木) 19:50:41じゃあ無限大なんて大きなことは言わないから
まずは1と2が等価になることを説明してみてよ
似非ホームズ君
0781132人目の素数さん
2009/10/08(木) 20:00:53違う違う。
彼はそこで論理性を持ち出すのが変と言ってるんじゃ。
整数ベキなら
x^0=1
x^n=x*x^{n-1}
と定義するのは自然だけど、これは論理じゃなくて規約。
この規約を採用しないと、例えば、多項式に値を代入することすらままならないよ。
xが自然数のときは、さらに解釈を与えられるけど、解釈が与えられることと規約としてマトモかどうかはまた別の話。
0782132人目の素数さん
2009/10/08(木) 20:10:020,999...は
数列a(n)=9×(1/10 のn乗) から作った無限級数って考えていいんだよな?
それだったら、1とイコールだぜ。計算すればわかるから
おれ数学科1年生の知識レベルだが楽勝だぜwww
0783132人目の素数さん
2009/10/08(木) 20:20:18残念ながら、彼は「極限値」の何たるかを理解していないので、
その説明では説得できない。
0784132人目の素数さん
2009/10/08(木) 20:22:14高二文系の知識レベルで充分だろwwwwwwwwwwwww
0785KingGold ◆3waIkAJWrg
2009/10/08(木) 20:23:530786132人目の素数さん
2009/10/08(木) 20:27:03え、そうなんですか。それは本人の勉強不足といわざるをえない。
0787132人目の素数さん
2009/10/08(木) 20:30:431≠0.999…
と主張する時点でほぼ
0788132人目の素数さん
2009/10/08(木) 21:16:13使っているものの区別がつかないとはw
お前ら一生、死ぬまでこの問題を考え続けてな。
無駄な一生だことw
答えは出ている。≠であり強いて≒とも言える程度。
等価だったら全ての値がイコールで結ばれる、それが数学
0789132人目の素数さん
2009/10/08(木) 21:17:35主張せずともその通りだからw
こんな議題を持ち込んで、訳の分からないこじつけで
証明、立証しようなんてことがナンセンスなんだよw
逆に、これが成立してしまえば、限りなく0に近い差しかない値同士は
全て等価になってしまう。
0790132人目の素数さん
2009/10/08(木) 21:20:23落とし穴が既に指摘されているので却下。これを用いた奴は
本当にド素人と思え。いくら無限に続くとは言え
1/3にしろ商だけに注目して、本来あるべき剰余を無視して
こじつけ証明をしても一致しないということは誰もが理解できること。
都合よく解釈しようとするからこじつけになる。
ただ、a(a≠0)の0乗は1というのは、底が同じ値の乗算同士の
計算で証明可能。もっとも、他のことに於いては都合よく
定義とされてしまっているケースがあるがなw
0791132人目の素数さん
2009/10/08(木) 21:23:10数学科に入ってもっと勉強しなよ
もしかして酒回ってるの?
0792132人目の素数さん
2009/10/08(木) 21:24:47理解していないのはお前の方だろ?勝手にこうだと決め付けているだけで
限りなく近づくその値。しかし、限りなく近いを勝手にある値と一致、等価とみなした
奴が勘違いを始めたのが >>1 みたいな例。それらを等価とみなしたら
極限を用いれば、どの値も等価になってしまうが、限りなく0に近い差は
差が0ではないので、あしからず。もしそれらを無視して良いのであれば
数学の世界は混乱しますねw
0793132人目の素数さん
2009/10/08(木) 21:28:42基本原則が存在する。決まりがなければこの世は混乱するよ。
しかし、そのルールは必ずしも世界共通ではない。ただ、数学はどこも同じ。
法律のように国々に応じてあったりなかったりといった、不規則では困る。
何度も言ってやる。勝手に変な数式、比較式をふっと湧いて出たような記述でするな。
貴様は意味もなく 1=2 と書くのか?w
0794132人目の素数さん
2009/10/08(木) 21:30:411と0.9999・・・もうこの時点ではっきりしているじゃん。値は等価ではないどころか
0.9999・・・は1にも満たないではないかw
これを等価とみなす奴は、身長が1センチでも2センチでも低い奴と
高い奴は同じなんだろうよw
0795132人目の素数さん
2009/10/08(木) 21:35:420796132人目の素数さん
2009/10/08(木) 21:37:51早く証明してよ?自分がそう思うからで成立するなら
-100 = 100 で符号すら無意味になりますねw
0797132人目の素数さん
2009/10/08(木) 21:42:171 = 0.999...
は問題として取り上げること自体が不適切w
0798132人目の素数さん
2009/10/08(木) 21:43:36証明のために必死に持ち込んで、こじつけようとした奴の
まやかしだから、そういう話をやめて値そのものを見てくれ。
強いて言うなら 1=1 ですよ?w
ある値がある値と一致する証明だの言い出す前に
数学そのものが 変数 を用いたものだと気づいてくださいね?
変数と定数の違いも分からないボケがw
0799132人目の素数さん
2009/10/08(木) 21:44:00たぶん、このスレの大半の人は1 = 0.999...が理解できてると思うんですけどね
やっぱり、専門書にあるようなちゃんした証明書いたほうが納得がいくのかな?
0800132人目の素数さん
2009/10/08(木) 21:49:530801132人目の素数さん
2009/10/08(木) 21:50:00証明すら出来てないじゃないかw
こじつけ、誤魔化しの証明を信じた奴は
タネ明かしされていない手品を信じているようなものw
剰余までは気づかなかったようだな、限りなく近い値を
同等とみなしているだけの勘違いだと気づかないようだなw
≒すら知らない ゆとり でちゅか〜?
0802132人目の素数さん
2009/10/08(木) 21:51:35数学的帰納法で証明できるんでしょ?
早く証明してよ。
―――――――――――――――――――――――――――――――――――――――
0.999…=1が成り立つと仮定する。
このとき、0と無限大の値がイコールで成立することを、
数学的帰納法で示す。
まず、自然数nに関する命題P(n)を次のように定める。
P(n):【文章1】
このP(n)に関して、次の2つが成り立つことを証明する。
(1)「P(1)は真である」が成り立つ
(2)任意の自然数nについて、「P(n)が真ならばP(n+1)も真である」が成り立つ
まずは(1)から証明する。
【文章2】
次は(2)を証明する。
【文章3】
以上より、任意の自然数nに対してP(n)は真となり、よって
0と無限大の値がイコールで成立する。
―――――――――――――――――――――――――――――――――――――――
君がやるべきことは、【文章1】【文章2】【文章3】
の3箇所を埋めることだ。さあ、埋めてみてくれ。
0803132人目の素数さん
2009/10/08(木) 21:51:52確かにちゃんとした証明書いたら、笑いとるどころか
ノットイコール論者に「絶望」を与えることになるなww
0804132人目の素数さん
2009/10/08(木) 21:55:53=の定義すら崩してしまいかねないその証明をしてくれませんか?w
0805132人目の素数さん
2009/10/08(木) 21:56:25無限小数「0.a1a2a3…」の定義から、0.999…=1という等式が出る。
各項が0から9までの整数であるような数列{an}に対して、次のPを満たす
実数αのことを「0.a1a2a3…」という記号列で書き表す(これが無限小数の定義)。
P:任意の正の実数εに対して、ある自然数Mが存在して、n>Mのとき常に
|Σ[k=1〜n]ak/10^k−α|<εが成り立つ。
an=9 (∀n∈N)とおいたときには、α=1が上のPを満たすので、
0.999…=1となる。
0806132人目の素数さん
2009/10/08(木) 21:58:31君の方こそ、早く数学的帰納法の証明を見せてもらいたい。
「0.999…=1」を仮定すると、数学的帰納法を使って「0=無限大」が
導けるんでしょ?その証明みせてよ。
0807132人目の素数さん
2009/10/08(木) 22:05:39いや、1 = 0.222... だよ、10進で書くと。
いや、1 = 0.333... だよ、10進で書くと。
いや、1 = 0.444... だよ、10進で書くと。
いや、1 = 0.555... だよ、10進で書くと。
いや、1 = 0.666... だよ、10進で書くと。
いや、1 = 0.777... だよ、10進で書くと。
いや、1 = 0.888... だよ、10進で書くと。
いや、1 = 0.999... だよ、10進で書くと。
いや、1 = 0.aaa... だよ、10進で書くと。
...
以上、10 = 1 * b + 0派。
いや、-1 = 1.11... だよ、0.1進で書くと。
いや、-1 = 2.22... だよ、0.1進で書くと。
いや、-1 = 4.44... だよ、0.1進で書くと。
いや、-1 = 6.66... だよ、0.1進で書くと。
いや、-1 = a.aa... だよ、0.1進で書くと。
...
以上、0.1 = 0 + 1 * p派。
0808132人目の素数さん
2009/10/08(木) 22:10:180809132人目の素数さん
2009/10/08(木) 22:15:17805さんに証明書いてもらったから、見てみるといいよ。
0810132人目の素数さん
2009/10/08(木) 22:18:11そういう問題ではない。「0.a1a2a3…」という記号列の定義は>>805。
だから0.999…=1になる。「0.a1a2a3…」という記号列を見て、
「この記号列は、限界まで、限りなくある値に近づくことを意味しているのだ!」
とでも思っているのなら、それは大きな勘違い。「0.a1a2a3…」という記号列に
そのような意味は含まれていない。不勉強な君が、いつの間にか勝手に
そのように思い込んでしまうようになったにすぎない。
「0.a1a2a3…」という記号列の意味は>>805。だから0.999…=1になる。
≠でもないし≒でもない。ピッタリ=なのだ。
0811132人目の素数さん
2009/10/08(木) 22:23:581 = 0.9999・・・(無限)とでも言ってろやw
数学クラッシャーの低学歴共w
0812132人目の素数さん
2009/10/08(木) 22:28:11数学クラッシャーとか、まぎれもなく自分自身のことじゃねえかよwwwww
0813132人目の素数さん
2009/10/08(木) 22:28:35>数学クラッシャーの低学歴共w
はい出ました、何も反論せず自分がそう思わないからって
相手の人格攻撃しか出来ない無知。では問うが、何が間違っているか
理論的に説明して反論しな。
証明は>>805に書いてある。これに反論するには、805のどこが
間違いなのかを指摘しなければならない。
それと、もう1つ。君の「証明」を早く見せてもらいたい。
「0.999…=1」を仮定すると、数学的帰納法を使って
「0=無限大」が導けるんでしょ?その証明を書いてもらいたい。
一応注意しておくが、その際には、>>802の書式に従うこと。
数学的帰納法を使うとは、802の書式に従うことを意味するからだ。
要するに、君は>>802の【文章1】【文章2】【文章3】 の3箇所を
埋めればいい。ほら、埋めてみてくれ。逃げるな。
0814132人目の素数さん
2009/10/08(木) 22:39:560815132人目の素数さん
2009/10/08(木) 22:42:39>剰余までは気づかなかったようだな
ちょっと笑えた。
でも既出のバカ達と大差ないな。
0816132人目の素数さん
2009/10/08(木) 22:43:580817132人目の素数さん
2009/10/08(木) 22:45:33>1と0.9999・・・もうこの時点ではっきりしているじゃん。値は等価ではないどころか
>0.9999・・・は1にも満たないではないかw
一撃必殺だってよw
そんなもん「屁」にもならんわw
0818132人目の素数さん
2009/10/08(木) 22:48:53いや、1 = 0.222... だよ、10進で書くと。
いや、1 = 0.333... だよ、10進で書くと。
いや、1 = 0.444... だよ、10進で書くと。
いや、1 = 0.555... だよ、10進で書くと。
いや、1 = 0.666... だよ、10進で書くと。
いや、1 = 0.777... だよ、10進で書くと。
いや、1 = 0.888... だよ、10進で書くと。
いや、1 = 0.999... だよ、10進で書くと。
いや、1 = 0.aaa... だよ、10進で書くと。
...
以上、10 = 1 * b + 0派。
いや、-0.1 = 0.111... だよ、0.1進で書くと。
いや、-0.1 = 0.222... だよ、0.1進で書くと。
いや、-0.1 = 0.444... だよ、0.1進で書くと。
いや、-0.1 = 0.666... だよ、0.1進で書くと。
いや、-0.1 = 0.aaa... だよ、0.1進で書くと。
...
以上、0.1 = 0 + 1 * p派。
0819132人目の素数さん
2009/10/08(木) 22:50:40その一撃必殺を使うためには、まず
・小数の大小関係は辞書式順序と同じものである
ということを証明しなくちゃいけないんだよな。
でも「0.999…=1」という反例があるから、証明できっこないww
そして、これが証明できない以上、一撃必殺は失敗に終わる。
0820132人目の素数さん
2009/10/08(木) 23:04:34事実までは捻じ曲げられませんからw
早く 1 = 0.999・・・を証明してくれませんか?
勝手に人間がこじつけてイコールで結んだだけで
成立するんですか?それじゃ男=女でも構いませんよね?w
0821132人目の素数さん
2009/10/08(木) 23:13:320.999…=1の証明はすでに>>805で書いた。これに反論するには、
805のどこが間違いなのか指摘しなければならない。そして、
君はそれをしていない。
もう1つ。君は未だに数学的帰納法の証明を書いていない。早く書いてくれ。
>自分と意見の一致しない人を罵倒して人格否定しても
>事実までは捻じ曲げられませんからw
俺は君を「罵倒」した覚えはない。むしろ、君の方こそが
「数学クラッシャー」と罵倒している。
0822132人目の素数さん
2009/10/08(木) 23:15:39>>792
>限りなく近づくその値。しかし、限りなく近いを勝手にある値と一致
「限りなく近づく」≠「限りなく近い」
0.999…は1に限りなく近づく(≠1)のではなく、限りなく近い(=1)値
0823132人目の素数さん
2009/10/08(木) 23:18:10>勝手に人間がこじつけてイコールで結んだだけで成立するんですか?
それを言うなら、君の方こそ、「0.a1a2a3…」という記号列に自分勝手な
こじつけをしている。つまり、君は「0.a1a2a3…」という記号列に
「この記号列は、限界まで、限りなくある値に近づくことを意味しているのだ!」
というこじつけを(勝手に)与えている。こんなことをすれば、0.999…=1が
成立しなくなるのは当たり前である。しかし、そんなこじつけをしているのは
君だけであり、世間一般の数学では、無限小数の定義は>>805なのであり、
よって0.999…=1が成り立つ(岩波の数学辞典でも調べてみなさい)。
>それじゃ男=女でも構いませんよね?
記号列に定義を与えるのが先決。与えた定義のもとで計算した結果として
「男=女が」が結論されるのなら、「男=女」は成り立つ。
しかし、君はまだ「男」「女」に定義を与えていない。君の口ぶりだと、
「男」も「女」も普通の定義を採用しているのだろう。その場合
「男=女」は成り立たない。
もし「男=女」を成り立たせようとしたら、「男」「女」という記号列に、
違う定義を与えなければならない。イコールが成り立つように定義を
与えれば、「男=女」は成り立つ。ただし、その場合に書かれている
「男」「女」は当然、普通の意味の「男」「女」では無い。
0824132人目の素数さん
2009/10/08(木) 23:22:12もし、1=0.9999…が大多数の数学者によって批判され、
1=0.9999…を認める事で不便不都合が生じるなら、
おそらく1≠0.9999…をどうにかしてルール化するはずだ。
0で割ってはいけないというのもその類。
0825132人目の素数さん
2009/10/08(木) 23:31:38>>820
君に1つ、新しいことを教えておこう。
「数」とは、人間が勝手に作り出した、極めて人工的な概念にすぎない。
たとえば自然数の「1」を考える。この「1」は、現実世界には存在しない。
ここで言う「存在」とは、”物理的な実在”という意味である。つまり、
「1」は物理的には実在しない。なぜなら、もし「1」が物理的に実在するなら、
・1はどういう原子で構成されているのか?水素か?ヘリウムか?
・1は食べられるのか?フライにするとおいしいのか?
・1は硬いのか?やわらかいのか?
こういうおバカな話になってしまう。「1」でさえも、人間の頭の中にしか
存在しない、抽象的で人工的な概念なのだ。
0826132人目の素数さん
2009/10/08(木) 23:34:010827132人目の素数さん
2009/10/08(木) 23:35:380828132人目の素数さん
2009/10/08(木) 23:36:49それは書き方が悪かったw
「人間の頭の中の架空の概念なのだ」
とでもしておくべきだった。
0829132人目の素数さん
2009/10/09(金) 00:17:27定義書いただけだよね。
>>an=9 (∀n∈N)とおいたときには、α=1が上のPを満たすので、
これの証明がない。
0830132人目の素数さん
2009/10/09(金) 00:21:440831132人目の素数さん
2009/10/09(金) 00:22:40えっ
0832132人目の素数さん
2009/10/09(金) 00:35:55そういうこと言い出すと話がこじれるからやめてくれ。
意図的にそうしたのだ。理由はある。が、今は話せない。
だいたい、今回の「彼」は、無限小数の何たるかを理解していない。
無限小数の定義を見せつけることが、「彼」にとっての一番の証明だ。
0833132人目の素数さん
2009/10/09(金) 00:43:06定義なんて定義に過ぎないんだから、彼がシンボルの無限ストリームが無限小数の実相だ、と主張したら、あなたのプランは破綻だよ。
0834132人目の素数さん
2009/10/09(金) 00:45:48>>彼がシンボルの無限ストリームが無限小数の実相だ
これの意味がよく分からない、、、
0835132人目の素数さん
2009/10/09(金) 00:57:11つまり、s: N --> {0, ..., 9} が小数。
この定義なら、彼が正解で、あなたが誤謬じゃん。
0836132人目の素数さん
2009/10/09(金) 00:57:21いずれにせよ >>820 には感情的でなく、冷静に語ってもらいたい。
感情的なだけのレスは読むだけで疲れる。
0837132人目の素数さん
2009/10/09(金) 00:57:25所詮、人間が勝手に、都合よくこじつけただけの勘違いなんですよw
0838132人目の素数さん
2009/10/09(金) 00:58:56> 所詮、人間が勝手に、都合よくこじつけただけの勘違いなんですよw
1≠0.999... も勝手に、都合よくこじつけただけの勘違いなんですよ。あなたが。
0839132人目の素数さん
2009/10/09(金) 01:01:35いや。
オレ、違うし。
0840132人目の素数さん
2009/10/09(金) 01:06:08その定義は、世間一般で言われているところの”無限小数”では無いから、
彼は不正解。だって、彼が言っているのは
「世間一般で言われている無限小数はs: N --> {0, ..., 9}であり、よって0.999…≠1である」
ということだから。
世間一般で言われている無限小数は>>805でしょ。
>>837
>理に適った証明は出来なかったようですね。そういうことで。
理に適った証明は>>805。無限小数とはそもそも そういうもの。
だから0.999…=1が成り立つ。
>所詮、人間が勝手に、都合よくこじつけただけの勘違いなんですよw
「0.999…」という記号列に都合のよいこじつけをして
0.999…≠1と勘違いしてるのは君。
もう1つ。君は未だに数学的帰納法による証明をしていない。
>>802の【文章1】【文章2】【文章3】を埋めてくれ。
0841132人目の素数さん
2009/10/09(金) 01:10:12>>805
都合の悪いレスはスルーですかwwwwwww
0842132人目の素数さん
2009/10/09(金) 01:15:37彼の場合、本当にスルーしているのは>>802だ。
彼によれば、「0.999…=1」を仮定すると「0=無限大」が
導けるという。それも、数学的帰納法で。
「じゃあ、その数学的帰納法による証明を書いてくれ」
と、さっきからずっと言っているのだが、彼はこのことに
全く触れない。一言も触れない。
よほど彼にとって都合が悪いのだろう。
0843132人目の素数さん
2009/10/09(金) 01:15:57誤魔化そうって魂胆だろ?数学的帰納法さんが
あなたを後ろから狙ってますよ?w
0844132人目の素数さん
2009/10/09(金) 01:19:260845132人目の素数さん
2009/10/09(金) 01:19:30世間一般はそんなくだらないことに何の興味も持たないし、
分かってる人は分かってる人で、やっぱり、そんなくだらないことに何の興味も持たないし、
君の書きぶりは教条的なただの馬鹿とまったく区別がつかないし、
厳しい戦いですねw
0846132人目の素数さん
2009/10/09(金) 01:21:45>数学的帰納法さんがあなたを後ろから狙ってますよ?w
狙われてないよ。だって、数学的帰納法を使ったって、
「0=無限大」は示せないから。
ウソだと思うなら証明してみなさい。つまり、>>802に答えなさい。逃げるな。
それとも、また今回もスルーする気かな?w
0848132人目の素数さん
2009/10/09(金) 01:23:19人は誰でも言いたくないことの一つや二つあるもんだよ。
0849132人目の素数さん
2009/10/09(金) 01:27:06なぜ言いたくないのか?理由は簡単だ。
数学的帰納法では、「0=無限大」を示せないからだw
それがバレるのが怖いのだよ、君は。
君の唯一の「武器」は、数学的帰納法だ。
事あるごとに、「数学的帰納さんが後ろから狙っている」と言う。
しかし、我々は全然狙われていない。なぜなら、数学的帰納法では
「0=無限大」を示せないから。
君が武器だと思っているものは、実はちっとも
武器になっていないのだ。君はインチキに
しがみついている。
0850132人目の素数さん
2009/10/09(金) 01:28:55矛先を間違えるな。
オレは君の味方だ。
0851132人目の素数さん
2009/10/09(金) 01:31:35アゲつつも848の内容じゃ区別がつかねーw
まあ、なんだ、間違えてゴメンなさい。
0852132人目の素数さん
2009/10/09(金) 01:48:350853132人目の素数さん
2009/10/09(金) 03:48:24貴様らにも必ず死ぬ日が来る。解決しないどころか
混乱を招く行為のために、限り有る人生の時間を無駄に費やすつもりか?
貴様らは数学界のカオスだ。もっとも、ネット上では2ちゃんねらーなんて
人間のクズが多いがなw
0854132人目の素数さん
2009/10/09(金) 04:19:31そうやって今回もまた、>>802をスルーするんだなw
ちなみに、世間一般(?)に目を向けると、日本語版wikiでは
0.999…=1になってるし、英語版でも0.999…=1になっている。
ttp://ja.wikipedia.org/wiki/0.999...
ttp://en.wikipedia.org/wiki/0.999...
さらに、岩波の分厚い数学辞典で無限小数の定義を調べると、
やっぱり0.999…=1が成り立つように定義されている。
数学界では0.999…=1なのである。
そんな中、>>853だけが0.999…≠1だと叫んでいる。
0855132人目の素数さん
2009/10/09(金) 05:10:29お互い突きつめてたどり着くのは哲学だ
哲学を細分化して区切った以外何者でもない
0856132人目の素数さん
2009/10/09(金) 07:55:54所詮オールドタイプのバカ
0857猫は珍獣 ◆ghclfYsc82
2009/10/09(金) 08:03:10ならば芸術も哲学の一形態という了解ですかね。
猫
0858132人目の素数さん
2009/10/09(金) 09:29:52数学の藻屑と化せ。
0859猫は珍獣 ◆ghclfYsc82
2009/10/09(金) 09:33:39そやけどやね、アンタのバヤイは「数学の藻屑」
じゃなくって「2ちゃんの藻屑」ですわな。
まあ頑張ってや
0860132人目の素数さん
2009/10/09(金) 09:34:59しかし、定説を認めない奴ってどうして攻撃的なんだろうね?
0861132人目の素数さん
2009/10/09(金) 09:42:30数学の藻屑と化せ。
0862猫は珍獣 ◆ghclfYsc82
2009/10/09(金) 09:54:58南無阿弥陀仏。
0863132人目の素数さん
2009/10/09(金) 09:57:110864132人目の素数さん
2009/10/09(金) 10:02:55あほ
0865132人目の素数さん
2009/10/09(金) 16:02:34もっと不思議なのは、数学のド素人のくせに
エラそうに「数学界」を語ることだな
そういう奴が多い
お前は数学に携わったことねーだろと言いたいw
0866132人目の素数さん
2009/10/09(金) 17:03:332chに何の期待をしてるの?
0867132人目の素数さん
2009/10/09(金) 18:39:31>�B 0.999… は初項0.9公比0.1の無限等比級数だから、その値は
>0.999… = 0.9/(1−0.1) = 1
この証明って
a/(1-r)の公式でa=0.9とr=0.1にしたやつだと思うんだけど
この公式は元々
a(1-r^n)/(1-r)のことで
|r|<1だからr^nはゼロに収束することから出されたものじゃん
でもr^nはゼロに向かってどんどん小さくなるけどゼロにはならないから
0.999…=1の証明にはならないんじゃない?
どういうことかっていうと
a(1-r^n)/(1-r)はa/(1-r)-r^n/(1-r)と変形してa=0.9とr=0.1を代入すると0.9/(1-0.1)-0.1^n/(1-0.1)で1-0.1^n/0.9になる
だから0.999…=1-0.1^n/0.9が正確な式
ここで右辺の第二項はゼロに向かってどんどん小さくなるけどゼロじゃないから
右辺の1-0.1^n/0.9は、1から小さな数を引くことになって1より小さくなる
つまり0.999…≠1ってことになるんじゃない?
0868132人目の素数さん
2009/10/09(金) 19:01:01>だから0.999…=1-0.1^n/0.9が正確な式
ちっとも正確な式になってない。だって、右辺は有限小数なのに
左辺は無限小数になってるから。
正確な式は
0.999…99=1−0.1^n (左辺はn桁の有限小数)
だよ。
>でもr^nはゼロに向かってどんどん小さくなるけどゼロにはならないから
どんな自然数nに対してもr^nはゼロではない。しかし、r^nの「極限値」はゼロ。
0869132人目の素数さん
2009/10/09(金) 19:07:10たとえば、an=1/n (n=1,2,3,…)という数列があったら、
(1)nを大きくしていけば、この数列anは0に近づいていく
ことが分かる。次に、この(1)を別の表現で書き換えると次のようになる。
(2-1)nを大きくしていけば、数列anは何者かに近づいていく
(2-2)”何者か”とは、0である
これは(1)の単なる言い換えだ。日本語の問題だ。
次に、これをもう少し別の表現で書き換えると、次のようになる。
(3-1)nを大きくしていけば、数列anは□に近づいていく
(3-2)□に入る数字は「 0 」である
これは(2-1)〜(2-2)の言い換えであり、またも日本語の問題だ。
0870132人目の素数さん
2009/10/09(金) 19:09:52・各自然数nについて、anは0では無い(an≠0だということ)。
・しかし、□に入る数字は0である。寸分の狂いも無くピッタリ0である。
そして、ここからが極限値の定義だ。
極限値の定義:上の(3-1)〜(3-2)の文章において、
□に入る数字のことを、数列anの極限値と呼ぶ。
上で挙げたan=1/nの場合は、□に入る数字は0だから、これが
an=1/nという数列の極限値。つまり、anの極限値は0だ。ピッタリ0だ。
もう一度言うが、各自然数nについて、anは0では無い。しかし、
□に入る数字は0だ。ピッタリ0だ。そして、□に入る数字のことを
極限値と呼ぶのだから、anの極限値は0だ。ピッタリ0だ。
0871132人目の素数さん
2009/10/09(金) 19:26:21無限小数を定義する。まずはその流儀に従って定義を書く。
無限小数の定義:
各項が0から9までの整数であるような数列anに対して、
Sn=Σ[k=1〜n]ak/10^k という新たな数列Snを作る。
そして、数列Snの極限値を「0.a1a2a3…」という
記号列で表記する。
an=9 (∀n∈N)のときは、数列Snの極限値は1だから、
0.999…=1となる。注意点は次の4つ。
・各自然数nに対してSn=1−0.1^nだから、各自然数nに対してSn≠1である。
・数列Snに対して(3-1)〜(3-2)の文章を作成したとき、□に入る数字は1である。
・□に入る数字のことを極限値と呼ぶのだから、数列Snの極限値は1である。
・数列Snの極限値を「0.999…」という記号列で表記するのだから、0.999…=1である。
0872132人目の素数さん
2009/10/09(金) 19:46:390873132人目の素数さん
2009/10/09(金) 19:50:03>ちっとも正確な式になってない。だって、右辺は有限小数なのに
>左辺は無限小数になってるから。
書き忘れてたよ
0.999…=1-0.1^n/0.9 (n→∞)
って書くつもりだったんだ
>>869
>>870
確かに0.1^n/0.9 (n=1,2,3,…)の極限値はゼロだけど(±0.0001にも±0.000000000001にも向かわず、ゼロに向かって行くけど)
「向かって行くだけ」でゼロには到達しないじゃん
永遠にゼロを追いかけていくだけじゃん
となると1-0.1^n/0.9 (n→∞)は1より小さい
つまり0.999… は初項0.9公比0.1の無限等比級数だから1になるの証明にはならないじゃない?
0874132人目の素数さん
2009/10/09(金) 19:56:50>「向かって行くだけ」でゼロには到達しないじゃん
>永遠にゼロを追いかけていくだけじゃん
そのとおり。数列自体はゼロにはならない。
>つまり0.999… は初項0.9公比0.1の無限等比級数だから1になるの証明にはならないじゃない?
君は「0.999…」という記号列の意味を勘違いしている。
「0.999…」という記号列は、「1に向かって行く数列」を表す記号なのではなく、
「1に向かって行く数列の極限値」を表す記号なのだ。
そして、「1に向かって行く数列の極限値」=1 なのだから、0.999…=1になる。
もし君が、「0.999…」という記号列に「1に向かって行く数列」という定義を与えているのなら、
そのときは0.999…≠1になる。しかし、「0.999…」という記号列にこのような定義を与えることは
普通はしない。wikipediaの0.999…の項目を見ても、岩波の数学辞典を引いても、「0.999…」という
記号列には「1に向かって行く数列の極限値」という定義が与えられているのであり、この定義の
もとでは0.999…=1だ。
0875132人目の素数さん
2009/10/09(金) 19:58:560876132人目の素数さん
2009/10/09(金) 20:07:28もう1つ書いておく。
>つまり0.999… は初項0.9公比0.1の無限等比級数だから1になるの証明にはならないじゃない?
「無限級数」もまた、極限値で定義されている。
無限級数の定義:
数列anが与えられたとき、Sn=Σ[k=1〜n]ak という新たな数列Snを作る。
そして、この数列Snの極限値を「Σ[k=1〜∞]ak」または「a1+a2+a3+…」という
記号列で表記する。これが無限級数の定義。
つまり、「a1+a2+a3+…」という記号列は、「anをどんどん足していく数列」を
表すのではなく、「anをどんどん足していく数列の 極 限 値 」を表す記号列なのだ。
例としては、an=(1/2)^n (n∈N)のときは、a1+a2+a3+…=1 になる。ピッタリ1になる。
0877132人目の素数さん
2009/10/09(金) 20:15:41>「1に向かって行く数列の極限値」を表す記号なのだ。
それは初耳だよ。驚きの事実っていうか、なんというか。
正直な話いきなりココでそう言われても信じられないというか
おそらく0.999…≠1と考えてる人は全て、今までの俺と同じように
「0.999…」という記号列に「1に向かって行く数列」と考えてると思う
0878132人目の素数さん
2009/10/09(金) 20:25:47>「0.999…」という記号列に「1に向かって行く数列」と考えてると思う
wikipediaの以下のページにも、その種の人間について書かれている。
ttp://ja.wikipedia.org/wiki/0.999...
以下、抜粋。
教育現場でのとまどい
直観的であいまいな指導により、生徒は数列の極限を、一つの決まった値ではなく
ある種の無限操作と考えるようになる。それは数列の各項はその極限に達する必要は
ないからである。生徒が数列とその極限の違いを受け入れても、
彼らは "0.999..." を極限ではなく数列を意味するものと読む可能性がある[14]。
0879132人目の素数さん
2009/10/09(金) 20:28:10この世の全てを数式で表せれるからね。
0880132人目の素数さん
2009/10/09(金) 20:29:24これも初耳だよ
確かに874や876の説明なら辻褄があうなと思うけど
信じられない部分が大きい
0881132人目の素数さん
2009/10/09(金) 20:36:49まず、無限小数について。「0.a1a2a3…」という記号列の定義は、
高校までの段階ではやらない(しかし、大学で数学科に入るとやる)。
従って、0.999…≠1だと思ってしまうのは仕方の無い部分がある。
しかし、無限級数については違う。これは、高校の段階でキチンと
>>876の定義を与えているはず。つまり、「a1+a2+a3+…」という
記号列には
「anをどんどん足していく数列の 極 限 値 」 …(*)
という定義が与えられているはず。高校の教科書にこのことが
明確に書かれているとは限らないが、よく読めばちゃんと(*)の定義で
使われていることが分かるはず。
もし君の手元に高校時代の数学の教科書があるなら、よく読んでみるといい。
あるいは、本屋なり図書館に行って高校の教科書を開いてみるといい。
0882132人目の素数さん
2009/10/09(金) 20:40:22「1に向かっていく数列の極限値」だと1に限りなく近づいた先だから1
0.999…は変数や数列ではなく有限確定値で「1に限りなく近づいた先」の値だから1
0883132人目の素数さん
2009/10/09(金) 20:41:49×限りなく近づく
○限りなく近づいていく
0884132人目の素数さん
2009/10/09(金) 20:54:47日本語でおkw
近づいていくであって、その過程を見れば分かる、1と等価にはならず
0885132人目の素数さん
2009/10/09(金) 20:56:01だからそういう例を無理やり1になるとこじつけているだけだろ?w
そうじゃない、1 = 0.999・・・をふっと湧いて出たような式で表しているから悪い。
これを証明する術はありません。もっとも、こじつけた時点で
イコールの意味、価値観、存在意義を否定することになる
0886132人目の素数さん
2009/10/09(金) 20:58:50> wikipediaの0.999…の項目を見ても、
こんな不特定多数の人が編集できる曖昧なものを用いた辞典で
自分が正しく説明できていないことに気づくんだなw
0887132人目の素数さん
2009/10/09(金) 21:00:41今、高校の参考書を探し出してみたら
確かにさり気なくだが
無限級数はlim[n→∞]Snと書かれてるね
しかし、しつこいが
0.999…「1に限りなく近づいた先」って意味
というのが信じられないというか、驚きだ
0888132人目の素数さん
2009/10/09(金) 21:02:18これな。こんなの編集した人の思想、価値観で述べられているだけじゃんw
それに気づかない時点で、ある信仰のある人と同じ意見だったってだけで
何かを信じ込まされていると気づくんだなw
0.999・・・永遠と9が続き、1に満たない値には変わりはない。
それを等価で結ぶのであれば、ある2つの限りなく近い値は
等価とみなされ、全ての値が等価となる。
何度も言うが、0と限りなく0に近い値は明らかに等価ではない。
その微小な値を無視して、都合よく同じとしようと人間が
勝手に決めてしまった愚かな議題だったと気づくんだなw
0889132人目の素数さん
2009/10/09(金) 21:04:18まあ、wikiに関しては君の言うとおりだが、
では、岩波の数学辞典はどう説明するのかね?
それとも、岩波の数学辞典はスルーするつもりかね?w
>0.999・・・永遠と9が続き、1に満たない値には変わりはない。
君の主張に従えば、0.999…<1という不等式が成り立つことになる。
つまり、0.999…は1より少し小さいということだ。
ならば、1より足りない分をεとおけば、0.999…+ε=1が
成り立つことになる。そこで質問だ。このεを無限小数展開すると、
どういう表記になるのか教えてくれ。
0890132人目の素数さん
2009/10/09(金) 21:04:53なぜなら、それがイコールならば敢えて0.999・・・の存在をそういう
記述でする必要がないからだ。何もかもが1です、そういうことになりますw
0891132人目の素数さん
2009/10/09(金) 21:04:56○0.999…が「1に限りなく近づいた先」って意味
0892132人目の素数さん
2009/10/09(金) 21:06:22自己紹介?
0893132人目の素数さん
2009/10/09(金) 21:07:08その両辺をイコールとみなしただけで、厳密に言えば
割り切れずに割り続けた剰余の存在を無視した結果に過ぎない。
強いて言うなら、0.333・・・と剰余を合わせてイコール1と看做せる。
0894132人目の素数さん
2009/10/09(金) 21:08:43>なぜなら、それがイコールならば敢えて0.999・・・の存在をそういう
>記述でする必要がないからだ。
1つの対象に何通りもの表記法が存在することは往々にしてよくあることで、
意味があるとか無いとかは関係が無い。たとえば0.5=1/2=2/4=4/8であり、
どれも違う表記だが同一の数を表している。
>何もかもが1です、そういうことになりますw
君はそのことを数学的帰納法で証明するんだったね。
で、早く証明してくれよ。>>802に答えてくれ。
いつまでスルーを続けるのかな?厳しい戦いですねw
0895132人目の素数さん
2009/10/09(金) 21:09:29単純な答えも出せない妄想癖の有る奴らがしでかした
まやかしだったということだよw
こんなスレで無駄な時間、一生を過ごすお前らが哀れに見える。
これを解いたら、あるいは誰かを納得させられたら
お前の収入、人徳が高まるんか?w
無駄に食いつぶした限り有る時間は二度と戻りませんよ?
数字とにらみ合った、自分の思想を主張するだけの
下らない人生に終わりを告げるんだな。
そしてここは 所詮2ちゃんねる ゴミクズが集まる板w
0896132人目の素数さん
2009/10/09(金) 21:11:47はい出ました、何も反論せず自分がそう思わないからって
相手の人格攻撃しか出来ない無知。では問うが、早く>>802に
答えてくれ。いつまでスルーを続けるのかな?厳しい戦いですねw
0897132人目の素数さん
2009/10/09(金) 21:11:481/3 = 0.333・・・ 両辺を3倍して
1 = 0.999・・・も成立しますねw
で、剰余はどこにいっちゃったの?w
あっ、お金をちょろまかすお前らじゃそんなの
日常茶飯事だったかw
そんなんで数学を使ってたら、いつか数学に
自分が飲み込まれますよw
0898132人目の素数さん
2009/10/09(金) 21:12:19ツマンネ
0899132人目の素数さん
2009/10/09(金) 21:13:08君の言う「剰余」が存在するとして、それをaと置いたとき、
0.333…+a=1/3 (本当にイコール)が成り立つことになる。
では質問だ。aを無限小数展開すると、aはどう表記されるのか
教えてくれ。
0900132人目の素数さん
2009/10/09(金) 21:13:13もう新しいタイプの人が出てくるのに期待するだけ無駄か
0901132人目の素数さん
2009/10/09(金) 21:13:310.999・・・は分数でどのように表現しますか?
ほれ、書いてみろや?出来ないだろ?w
そうやって人間が都合よく解釈しただけで
実質的なことは無視した結果なんだよw
消費税だって小数点以下が無視されることもあるご時世だ。
お前らは 1 = 0 とも言い出しそうだなw
0902132人目の素数さん
2009/10/09(金) 21:15:30>「0.999…」という記号列は、「1に向かって行く数列」を表す記号なのではなく、
>「1に向かって行く数列の極限値」を表す記号
は信じて良いの?
しつこいけど
0903132人目の素数さん
2009/10/09(金) 21:15:40>では逆に問うが、1/3 = 0.333・・・と記述しているが
>0.999・・・は分数でどのように表現しますか?
0.999…=1だから、「1」と表現される。1/1と書いてもいいし、2/2と書いてもいい。
で?こちらの質問にはいつ答えてくれるのかな?
いつまでスルーを続けるのかな?厳しい戦いですねw
早く質問に答えてくれ。
0904132人目の素数さん
2009/10/09(金) 21:18:01手間がかかるかもしれないが、そのことを本当に自分で
納得したかったら、図書館にでも行って岩波の数学辞典を
見つけて、無限小数のことを調べてくれ。
wikipediaの方が手軽ですぐに調べられるが、君達には
岩波の方が「権威」的に見えるだろうし、、wikipediaよりも
信頼がおけるだろう。
0905132人目の素数さん
2009/10/09(金) 21:18:480.999…は数だってのはいいよな?
「1に向かって行く数列」はそもそも数じゃないんだから
>「0.999…」という記号列は、「1に向かって行く数列」を表す記号
↑これは常識的に考えておかしい。
>「1に向かって行く数列の極限値」を表す記号
は信じていいけど、この書き込みを信じられないならば
自分で一から理論を作るか、実数について扱ってる本を読め。
0906132人目の素数さん
2009/10/09(金) 21:19:31どうやら証明、説明できなかったようだね。
それを無理やり証明、もといこじつけで結論を出すと
自分が 見落としていた剰余 を無視したと宣言するようなもんですからねw
そうやって、1 = 0.999・・・とふっと湧いて書いたような数式を無理やり証明しようとするから悪い。
これまで自分たちが扱ってきたものは、それなりの根拠があり、立証できて
成立してきたものだからね。お前らバカが勝手にこじつけで事実を認定すんじゃねーよw
お前ら学会に出ている奴ら?だとしたらかなり低レベルなんだな、日本の数学会ってw
0907132人目の素数さん
2009/10/09(金) 21:22:06数学だけに限らず辞典って
教科書や参考書と違って解り易く書いてないから理解できるか分からんけど
調べてみるよ
0908132人目の素数さん
2009/10/09(金) 21:25:23それらを証明に用いても、そういう条件下でのことだろ?
そうではなく 1 = 0.999・・・をきちっと証明してもらいたいんだが?w
こじつけや誤魔化しは一切なしにしてな。分数を用いたり
なぜか突然、限りなく0に近い値を加算する話まで持ち出しているが
それは1に対してもすべきことではないのかね?w
そうすれば、いつまでも 1 と 0.999・・・は一致しませんよw
0909132人目の素数さん
2009/10/09(金) 21:27:39「1に向かって行く数列」はそもそも数じゃないんだから
>「0.999…」という記号列は、「1に向かって行く数列」を表す記号
↑これは常識的に考えておかしい。
そう言われると
そのとおりな気がしなくも無い
とりあえず実数についての本ね
読むようにするよ
0910132人目の素数さん
2009/10/09(金) 21:28:40結局、質問には答えないんだなw
そして、相手の人格攻撃しか出来ない。
君、本当に苦しい戦いですね。
ラチがあかないので、こちらで勝手に議論を進めることにしよう。
0.999…<1だとすると、0.999…は1よりも少し小さいから、その
足りない分をεとおけば、0.999…+ε=1が成り立つ。当然、
ε>0である。よって、εを無限小数展開すると、ある桁には
0でない数字が出てくることになる。その桁をω桁目だとする。
このとき、
x=0.000…001 (ω桁目だけが1)
と置けばε≧x が成り立つことになる。次に、
y=0.999…9999 (ω+1桁目までが9)
とおき、yと0.999…を比較する。当然ながら、
0.999…>y
が成り立つ。すると、
1=0.999…+ε>y+ε≧y+x=1.000…009 (ω+1桁目が9)
となり、つまり1>1.000…009 となって矛盾するw
すなわち、0.999…<1はありえない。
0911132人目の素数さん
2009/10/09(金) 21:43:52え、何、つまりZFCの公理から全て導いて証明してくれってこと?
というかそれを言うならそっちこそ「1≠0.999・・・」の証明をしてくれ
こじつけや誤魔化しは一切なしにしてな。
0912132人目の素数さん
2009/10/09(金) 21:51:01(特にテンプレ)
>>910
0.999…9999<0.999…
0.00…1>0.00…(無限小)
上記2式は成り立つのだろうか?
私は0.999…999=0.999… だと思う。
そもそも0.999…999ってどんな数だって話もあるけど、
…が無限個の記述を表しているとすれば、
実質的には0.999…999は実は終わりがないはずなので、0.999…と同じ意味にしかならないと思う。
0913132人目の素数さん
2009/10/09(金) 21:51:08自分の主張をしっかりして下さいねw
そもそも、イコールの使い方を間違った、都合よく解釈してしまった
人たちの哀れな結末なんですよ、このスレはw
0914132人目の素数さん
2009/10/09(金) 21:52:31信じていい。君が信じられたならば
「0.999...は止まっている」ことに気付けた人が一人増えることになる。
0915912
2009/10/09(金) 21:54:300.999…と書いた時点で、エンドレスなのに、なぜ999で終わることができるのだろう?
ちなみに0.999=1という結論自体には不服は無い。
だが、910の証明方法には疑問が残る。
0916132人目の素数さん
2009/10/09(金) 21:54:57>0.999・・・は分数でどのように表現しますか?
1/1です。2/2でもいいですよ。
>ほれ、書いてみろや?出来ないだろ?w
できたので以下の駄文は当然無視
0917132人目の素数さん
2009/10/09(金) 21:55:32>ω+1桁目までが9
って書いてあるじゃん
0918132人目の素数さん
2009/10/09(金) 21:57:16>ある桁には 0でない数字が出てくることになる。その桁をω桁目だとする。
って部分を読んでないの?
>…が無限個の記述を表しているとすれば、
表してない。以上
0919132人目の素数さん
2009/10/09(金) 22:00:00>おそらく0.999…≠1と考えてる人は全て、今までの俺と同じように
>「0.999…」という記号列に「1に向かって行く数列」と考えてると思う
そういう人は非常に多いと思うけど全てではない。
無限桁目に余りがあるとか、近似だとか、10進法が悪いとか
いろんな症例がある。
0920132人目の素数さん
2009/10/09(金) 22:01:14能力不足の人に 0.999...=1 が正しいことを示すことは難しい。
0921912
2009/10/09(金) 22:03:08>ε>0である。よって、εを無限小数展開すると、ある桁には
>0でない数字が出てくることになる。その桁をω桁目だとする。
上記の時点でωは有限ではない。(…が無限個をあらわすなら)
このとき、x=0.000…001(ω桁目が1)=0 となる。
また、y=0.999…9999 (ω+1桁目までが9) =1となる。 ※ωは無限の為
したがって、
0.999…999≦0.999… は成り立っても
0.999…999<0.999… は成り立たない。
0922912
2009/10/09(金) 22:05:15前者も無限に9が続くのだが・・・ 表記上999で終了しているように見えるが、
実際は、…がある以上、エンドレス。
0923132人目の素数さん
2009/10/09(金) 22:07:03駄目だこりゃ。ωの定義読み直せ。
0924132人目の素数さん
2009/10/09(金) 22:07:47ほら、どうした?>>910に反論してごらん。0.999…が1より小さいのなら、
足りない分(εと置く)を足せば1になるだろ?つまり0.999…+ε=1だ。
あとは910のとおりに計算して矛盾するw
0925132人目の素数さん
2009/10/09(金) 22:07:470926132人目の素数さん
2009/10/09(金) 22:08:100.999...999 は無限に9が続くのでなく、あくまでも有限個(途中を省略しているだけ)。
0.999... は無限に9が存在する数。ただし9が伸びていくわけではない。
0927132人目の素数さん
2009/10/09(金) 22:11:22許してくれwwwwwwwww訂正したからwwwwwwwwwwwwwww
>>901
0.999…を敢えて分数にするなら9/9で
0928912
2009/10/09(金) 22:11:45>0.999…+ε=1が成り立つ。当然、
>ε>0である。よって、εを無限小数展開すると、ある桁には
>0でない数字が出てくることになる。その桁をω桁目だとする。
この時点でωは有限ではない。
したがって、0.99…99が有限個をあらわすのであれば、
x=0.000…001 (ω桁目だけが1) この表記は成り立たない。
ωは有限ではないのに、なぜか有限であらわせている!
0929132人目の素数さん
2009/10/09(金) 22:12:030930132人目の素数さん
2009/10/09(金) 22:12:32>この時点でωは有限ではない。
だから、そこが大嘘だと言っている。
0931132人目の素数さん
2009/10/09(金) 22:17:33いちいちズラズラ書くのがメンドイから1というんじゃないの?
1ってなんなの?
0932132人目の素数さん
2009/10/09(金) 22:17:53>0.999…+ε=1が成り立つ。当然、
>ε>0である。よって、εを無限小数展開すると、ある桁には
>0でない数字が出てくることになる。その桁をω桁目だとする。
の1行目に出てくる「…」がωなんだと思ってんじゃね?
1行目は忘れていいんだよ。
とにかく何でもいいから0<ε<1を満たすεを考えてみろ。
それがどんな数であっても、εを小数表記したとき
かならず「初めてゼロでない数字が出てくる桁」があるだろ。
なかったとしたらε=0なんだから。
その桁数がωなんだよ。ほら有限だろ?
0933912
2009/10/09(金) 22:19:54x=0.000…001 と表記できることを示さなければならないが、示されていない。
したがって、証明自体がウソなのであり、0.999…<1がウソといえたわけではない。と思う。
まず、仮定から、0.999…+ε=1が成り立つところまでは問題ない。
ここでε≠0も間違いない。
しかし、εが有限桁で1となるかどうかは不明である。
ε≠0ならば、εは有限桁で1となると主張するのは、
0.999…は極限を考えると1になる といっているに等しい。
(証明すべき命題と同等になる)
εが有限桁で1とならないなら0であるという主張は、
まさに0.999…=1という主張と同じであるから。
0934132人目の素数さん
2009/10/09(金) 22:20:15>ωは有限ではない。
これを証明してみろよ。
仮にωが自然数で無いとすると、
εの小数第n位 (nは任意の自然数) は0になるわけだが、
そうすると
1-0.9999…
=ε
=0.000…
=0
となり
1=0.9999…
となるわけだが。
0935132人目の素数さん
2009/10/09(金) 22:21:58勘違いしてる
ε≠0なら、
無限小数表示したときどこかが0以外になら無いといけない。(1である必要は無い)
だから、その0以外になる最初の桁を考えてるわけで。
0936132人目の素数さん
2009/10/09(金) 22:22:300937912
2009/10/09(金) 22:23:44ωが有限でなければならないという議論は、
1/∞=0であるからという理由でしょ?
でも1/∞=0という事実を今回の証明で使っていいの?
それを証明するのが今回の命題じゃないの?
0938132人目の素数さん
2009/10/09(金) 22:24:11お前>>910ちゃんと読んでるか?
xとεを別にしてることとかわかってるのか?
0939132人目の素数さん
2009/10/09(金) 22:25:18>ωが有限でなければならないという議論は、 1/∞=0であるからという理由でしょ?
全然違う。あと100回>>932を読め。
0940132人目の素数さん
2009/10/09(金) 22:25:47εが無限桁目で1となるならば、
ε=0.000…001 (無限桁目が1)
ということになる。このとき、君の想像する実数の体系においては、
右辺の「…」は無限個の記述を表しているので、実質的には
ε=0.000… と同じ意味にしかならない。つまり、εは
「どの桁も0である数」ということになる。「どの桁も0である数」=0
だから、結局、ε=0となり、これはε>0に矛盾する。
0941132人目の素数さん
2009/10/09(金) 22:26:151÷3 の計算で3が無限に作られていくイメージとしてとらえてはいけないということ。
0.333... という無限に3が存在する数として認識せよ。
そして有理数と小数表記の対応関係において、1/3=0.333... であり 1=0.999... である。
0942912
2009/10/09(金) 22:27:25>ε≠0なら、
>無限小数表示したときどこかが0以外になら無いといけない。(1である必要は無い)
今回の命題にこれを使用してもよいのかな。
使用してよいなら、0.999…=1はまさに明らかなわけだが。
この議論は、1/∞=0ってほんとうに正しいのか?という議論とまったく同じだと思うのだが・・・
>>938
ちゃんとわかってますよ!
0943912
2009/10/09(金) 22:32:250.999…=1 はまさに明らか。
問題はε=0.00…が0かどうかでしょう?
いや、これが0となるのも私は理解してますよ。
しかし、そこを証明すべきなのじゃないかと思うのです。
そこを証明しないまま、
0.999…=1を証明できましたといわれても、そりゃそうだとしかならない。
0944132人目の素数さん
2009/10/09(金) 22:32:34悪い理由がない。
0945132人目の素数さん
2009/10/09(金) 22:33:36なんで使っちゃいけないと思うのかが気になる。
εを無限小数表示したとき、小数第n位(nは任意の自然数)が0とすると
ε=0+0+0+0+…(無限小数の定義)
=0
となる。つまり
「ε≠0 ⇒ 無限小数表示したときどこかが0以外になる」
が成立する。(対偶)
0946132人目の素数さん
2009/10/09(金) 22:36:03だから、>>910はε≠0と仮定して矛盾を出したんだろ。
0947132人目の素数さん
2009/10/09(金) 22:37:07>問題はε=0.00…が0かどうかでしょう?
0.000... は無限に0の存在する(0が伸びていくのではない)数であり、0でない数字が全く現れない。
よって、有理数0の小数表現として、0.000...=0 を認めればよい。
0948132人目の素数さん
2009/10/09(金) 22:39:32>いや、これが0となるのも私は理解してますよ。
>しかし、そこを証明すべきなのじゃないかと思うのです。
そうか、君は0.000…=0となることを理解しているのか。
では、君ならどうやって0.000…=0を証明するのかな?
もう1つ。俺が相手にしているのは>>913であり、君では無い。
>>910は913向けに書いたレスであって、君に向けたレスではない。
君と913は、全く別の「実数感」を持っている。
>>910は、913の実数感を持った人間へのレスなのであり、
それと異なった実数感を持つ君が>>910を読んでも意味が無い。
0949912
2009/10/09(金) 22:45:14ε=0+0+0+0+…(無限小数の定義)
=0
0950132人目の素数さん
2009/10/09(金) 22:47:14> そもそも、イコールの使い方を間違った、都合よく解釈してしまった
> 人たちの哀れな結末なんですよ、このスレはw
イコールの使い方を間違ったり都合よく解釈したりということではなく
0.999・・・ や 0.333・・・ における ・・・ の部分の解釈がなぜかバラバラで
その結果として混乱が生じているだけです。
0951132人目の素数さん
2009/10/09(金) 22:54:51ディベート(優劣を決めること)やってるんじゃないんだから、冷静になれよ。
論理的に正しいかどうかだけが問題なんで、優越感や劣等感など持っても意味ない。
うっとおしいので最後にwをつけるのはやめなよ。
0952132人目の素数さん
2009/10/09(金) 23:00:02ディベートでも落第点です
0953132人目の素数さん
2009/10/09(金) 23:16:48>>805に書いてある証明を理解できるようになるまで、
何回でもいいから読め。
疑問ある人は大学の数学科の先生に聞くなり、自分で調べるなりして
分からんことをなくしていけばよい。
0954132人目の素数さん
2009/10/09(金) 23:18:430955132人目の素数さん
2009/10/09(金) 23:36:43>各項が0から9までの整数であるような数列{an}に対して、次のPを満たす
>実数αのことを「0.a1a2a3…」という記号列で書き表す(これが無限小数の定義)。
>
>P:任意の正の実数εに対して、ある自然数Mが存在して、n>Mのとき常に
> |Σ[k=1〜n]ak/10^k−α|<εが成り立つ。
>an=9 (∀n∈N)とおいたときには、α=1が上のPを満たすので、
ここんとこ、なんで「an=9 (∀n∈N)とおいたときには、α=1が上のPを満たす」のか
説明お願い。
0956132人目の素数さん
2009/10/09(金) 23:43:14論理的に正しいって、どういうこと?
例えば、級数Σ_{n=0}^∞ a_n は発散するとか(e.g. a_n=e^n)収束しないとか(e.g. a_n=e^{2πi/e})って言いかたは変じゃないよね?
この場合の級数は数じゃなくて数列のことだよね?
級数と無限小数ってそんなに違わなくない?
結局、論理的というより決め事の定義の問題なんじゃない?
0957132人目の素数さん
2009/10/09(金) 23:44:20そこは昨日オレがやった。
0958132人目の素数さん
2009/10/09(金) 23:45:16正の実数εを任意に取る。このとき、1/M<εを満たす
自然数Mが存在するから、このMに対して、n>Mのとき
|Σ[k=1〜n]ak/10^k−α|=|(1−0.1^n)−1|=1/10^n<1/n<1/M<ε
が成り立つ。よって、α=1に対してPが成り立つ。
0959132人目の素数さん
2009/10/09(金) 23:45:47論理的に正しいというのは、議論の道筋だけでなく定義を正確に理解しているかどうかも含みます。
0960132人目の素数さん
2009/10/09(金) 23:48:45おおすまソ
>>958
thanks.
0961132人目の素数さん
2009/10/09(金) 23:56:44やっぱり 1≠0.999・・・ というのなら、同じようにε-N論法で証明していただきたいですね。
すなわち |1-0.999・・・|<εとならない具体的な反例をあげよ。
0962132人目の素数さん
2009/10/09(金) 23:57:15違うよ。
無限小数の定義を数列だとするのと、
無限小数の定義を極限値の数だとするのとは
単に定義が違うだけで、どっちが論理的に正しいって話とは無関係。
論理的というより、「うちの世界ではこっちが普通」みたいな単なる習慣の問題に落ちる。
0963132人目の素数さん
2009/10/10(土) 00:05:53どちらの定義を使うかは問題にしてないし、定義の正当性について述べているわけでもない。
何を使うにせよ、正確な理解が必要で、その上で論理を発展させなければ意味がない
と言っているだけです。
0964132人目の素数さん
2009/10/10(土) 00:13:50言わずもがなだけど、構成的な立場(例えば計算機科学)だと
表現可能な実数の定義を数列だとするのが合理的じゃない?
0965132人目の素数さん
2009/10/10(土) 00:16:500966132人目の素数さん
2009/10/10(土) 00:19:33>級数と無限小数ってそんなに違わなくない?
級数は和なので収束も発散もするが、無限小数はそれ自体は和ではないよ。
無限小数を収束する級数で表現できるだけのこと。
0967132人目の素数さん
2009/10/10(土) 00:22:360968132人目の素数さん
2009/10/10(土) 00:25:14そういうのは多分もっとドロドロした定義になりそうな気がする
0969132人目の素数さん
2009/10/10(土) 00:26:370970132人目の素数さん
2009/10/10(土) 00:28:25でもこういう人たちって、まずほとんど自分の誤りに気づけないんだよね。
まぁ死ぬまでやっててください。
0971132人目の素数さん
2009/10/10(土) 00:30:170972132人目の素数さん
2009/10/10(土) 00:31:410973132人目の素数さん
2009/10/10(土) 00:34:090974132人目の素数さん
2009/10/10(土) 00:35:25そうそう。
絶対そういうこと書くやつがいると思った。
根拠はもう書いてあるので、
あなたがそれを理解できないのは了解しました。
0975132人目の素数さん
2009/10/10(土) 00:39:25> あなたがそれを理解できないのは了解しました。
「970以外の人がそれを理解できない」というのが正しい。
0976132人目の素数さん
2009/10/10(土) 00:40:07もう続けない方が良いと思うけど。
ずーっと続けても1に届くか届かないかって人たちのスレだよ。
そろそろ目を覚ませば。
0977132人目の素数さん
2009/10/10(土) 00:43:39そうかもね。世の中にはもっとやらなければいけないことがたくさんあるんだ!
0978132人目の素数さん
2009/10/10(土) 00:47:520979132人目の素数さん
2009/10/10(土) 00:49:360980132人目の素数さん
2009/10/10(土) 00:50:54970じゃないけど、それ正しくないぞ。
0981132人目の素数さん
2009/10/10(土) 00:51:06やっぱりε-Nも使えないようだね。
0982132人目の素数さん
2009/10/10(土) 00:56:20それは俺に向けて言ってるのか?
それとも913に向けて言ってるのか?
0983132人目の素数さん
2009/10/10(土) 00:57:44もちろん913のことよ
0984132人目の素数さん
2009/10/10(土) 00:59:03紛らわしいよぅ('A`)
0985132人目の素数さん
2009/10/10(土) 01:05:030986132人目の素数さん
2009/10/10(土) 01:12:23> 君、本当に苦しい戦いですね。
そのままそっくり返すよw
こっちは別にお前の意見に反論とかしていないしw
しかし、認めないし論破する以前に、お前の証明は
証明ではなくただの こじつけ であって
イコールを侮辱した行為。
> 0.999…<1だとすると
だとするではなく、そのままですが?w
1に満たない値は整数部分で証明される。
人格攻撃したのはお前の方、悪いがこちらも返すよ。
バーーカ、池沼w
それ以下の証明は全く無意味なんで却下します。
変にこじつけるために、変数を用いたり誤魔化し、まやかしが
数学の世界で通用すると思うなよw
あと、そこまで言うなら、ごちゃごちゃ証明とかせずに
既に定義なり教科書にも載る理に適った内容が記載されますよw
>>979
反論する意味がない。反論する前に下手な小細工をしているだけだしw
0987132人目の素数さん
2009/10/10(土) 01:15:48これ自身を 1 = 0.999・・・の証明にこじつけていること自体がナンセンスw
では問うが、なぜ突然 1 = 0.999・・・なんて書いちゃったの???
ほら、説明しろよ?出来ないくせにw
お前らが試行錯誤しているのは、所詮 0.999・・・が限りなく1に近い値であることであって
それ自身が1と等価になるという立証ではないことだ。分かった?
自分はお前以上に数学を知っているんだ!がある問題を直接解くこととは
全く関係がなかったことと気づくんだな。
除算を用いたと思えば、剰余を忘れて誤魔化すわ、極限や無限を用いたと思えば
それをこじつけただけで、確たる証明として使えないことに気づかないは
お前ら本当に池沼じゃね?マジ無駄だからやめろ。
それから、学会があるんだし、そこまで言うなら学会で発表しろよ?
低レベルの学校の講師だか教師だか知らないが、お前らが数学を
支配しているわけじゃねーだろw
所詮2ちゃんねるなんて人間のクズが来る場所で、キモイ持論を展開して
一部の人間だけに認めてもらって自己満足している、オナニーだろ?w
0988132人目の素数さん
2009/10/10(土) 01:20:41そもそも無限に続く0.999・・・は0.999・・・であって、他の何者でもない。
ある値と等価としてしまうのであれば、それは人間が勝手にそう思っただけのこと。
ほら、身近にも割り切れないけど、端数は無視して割り切っていることなんて
いくらでもありますよ?自分が何気なく見ている法則にしろ。
では、三平方の定理、これは値によっては辺の長さがきっちり決まらないことになるが
どうしてきっちりと三角形が出来てんの?w
まぁこんなのはおおよそであって、現実的に見ると近似値が使われたり
辺の太さで丸め込まれたりw それが現実。
お前らが必死に追い求めているのは、その程度の端数を丸め込む理由を探しているに過ぎない。
0.0000000000000・・・限りなく0に近い、0ではない端数を無視して
無理やり0.999・・・を1だと思い込みたいんだろうよw
それで不可思議なことを証明した気になりたいんだろ?なっ?なっなっ?
理に適った証明が出来るなら、今すぐ学会で発表しろ!
ちなみに、自分の知り合いの教員、教授にも学会に参加している人はいますので
誤魔化せませんよw
0989132人目の素数さん
2009/10/10(土) 01:25:06e = 2.71828 18284 59045 23536 02874 71352 ・・・
と無限に続く値だが、極限を用いても限りなく0に近い微小な値を
加えて言ってもキリがない。せいぜい値が変化するのは限りなく0に近い
小さな値くらいw
だから2.718辺りで収束と言われているが、収束は収束。
それより下の限りなく0に近い値ははっきりとしていなくても
0ではない値が存在するわけなんだが、お前らはそれらを無視
しようとしていることに気づいていないんだなw
0990132人目の素数さん
2009/10/10(土) 01:25:24>それ以下の証明は全く無意味なんで却下します。
無意味ではない。なぜなら、矛盾が導かれているからだ。
君が主張する0.999…≠1のもとでは矛盾が出るのだ。
>変にこじつけるために、変数を用いたり誤魔化し、まやかしが
>数学の世界で通用すると思うなよw
>>910のどこに「こじつけ」「誤魔化し」「まやかし」があるのか?
910では、イコールでないものをイコールだとしている部分は無い。
「こじつけ」「誤魔化し」「まやかし」があるというのなら、
その箇所を具体的に指摘しなさい。
0991132人目の素数さん
2009/10/10(土) 01:28:05>0ではない値が存在するわけなんだが、お前らはそれらを無視
>しようとしていることに気づいていないんだなw
おいおい、冗談じゃねーぞ。>>910では、まさに君が言う
「0ではない値」をεと置いているのだぞ?それを君は
「変数で誤魔化し」
と言ったのだ。君、言ってることが矛盾してるよ。
0992132人目の素数さん
2009/10/10(土) 01:30:00それよりも、そこまで言うならこれを証明しろ。
1 - 0.999・・・ = 0
これが証明できれば、お前らの好きな 1 = 0.999・・・も自ずと立証できるだろ?w
ほら、2つの差が0である証明を!俺は先に言っておく。無限に続くとは言うが
逆に差も無限に続く限りなく0に近い値はあると。
0993132人目の素数さん
2009/10/10(土) 01:32:262 = 2
当たり前だよなぁ?
お前ら定数を用いた証明をしようってときに
妙に直接的ではない変数を用いたがりやがるが
それが既に詭弁だと気づくんだな。
そういったごちゃごちゃと関わりそうなことを用いずとも
逆に 1 = 0.999・・・だった場合、どういうことが起こるか?
1自身が1に非ずと証明してしまうようなもんなんだよw
それ自身はそれ自身であって、それ以外の何者でもない。
変数を用いて、変数に入りそうな値を求めているうちに
何かおかしくなったんだろうよ。お前らに数学は必要ない。
算数でもやってろ。
0994132人目の素数さん
2009/10/10(土) 01:33:30ε=1−0.999… とおく。もしε>0だとすると、
εを無限小数展開すれば、ある桁には 0でない数字が
出てくることになる。その桁をω桁目だとする。 このとき、
x=0.000…001 (ω桁目だけが1)
と置けばε≧x が成り立つことになる。次に、
y=0.999…9999 (ω+1桁目までが9)
とおき、yと0.999…を比較する。当然ながら、
0.999…>y
が成り立つ。すると、
1=0.999…+ε>y+ε≧y+x=1.000…009 (ω+1桁目が9)
となり、つまり1>1.000…009 となって矛盾するw
よって、ε>0ということはありえず、ε=0となる。
0995132人目の素数さん
2009/10/10(土) 01:35:47学会に通報しますよ?お前ら恥を掻くぜ?w
だいたい、このスレに来ている人だって、ほんの一部だろ?
それも碌に深く数学に関わるわけでもない、似非理系の低学歴w
変な問題を提起して、それを自分の都合の良いように解釈、結論付けて
満足するオナニーw
お前はそれで良いとしても、周りがそれを認めなきゃ、自己満足に過ぎないって気づけよ。
あと、お前らのやっていることは =(イコール) の定義を壊しかねない侮辱行為。
裁判にかければ、お前らは直ぐに有罪で死刑だよw
0996132人目の素数さん
2009/10/10(土) 01:37:34無理やりある似たようなことでこじつけて価値観を変えてしまうようなもの。
イケメンと言われている人と、不細工だけどちょっとメイクするだけで
イケメソになる人はイコールだと結び付けて、どうでも良い
キモイやつ等もイケメソだと言い出すんだろうよw
そう、お前らにとってはイケメソなんだろうけど、世間一般からは
イケメン扱いされない惨めな思いを味わうw
0997132人目の素数さん
2009/10/10(土) 01:38:34>学会に通報しますよ?お前ら恥を掻くぜ?w
学会は我々の味方です。
岩波の数学辞典でも「0.999…=1」になっている。
これが意味するところをよく考えるんだな。
なんなら、マジで通報してくれても構わんよ(学会に「通報」って、変な日本語だけどね)。
0998132人目の素数さん
2009/10/10(土) 01:40:020999132人目の素数さん
2009/10/10(土) 01:41:321000132人目の素数さん
2009/10/10(土) 01:42:3010011001
Over 1000Threadもう書けないので、新しいスレッドを立ててくださいです。。。
レス数が1000を超えています。これ以上書き込みはできません。