1=0.999… その8.999…
■ このスレッドは過去ログ倉庫に格納されています
0001132人目の素数さん
05/02/08 12:21:31http://science3.2ch.net/test/read.cgi/math/1090253917/l50
0002132人目の素数さん
05/02/08 12:30:29i<´ }\ , - 、
ヽ.._\./ .ンく r-兮、 __
∠`ヽ.! / ヾニEヲぐ ,ゝ->
/_`シ'K-───‐-、l∠ イ
l´__,/l\、_ ̄0¨0)゙@Yヘ, -┤ さすがゴッグだ!余裕の2getだぜ!!
. l'___|⌒ヾ''ー==、ーr='イ i二|
/ .」 i /./7r‐く lー!
. f. ヽ‐i人.∠'< _i. l,.-ゝ.
トiヘヘ「ト〈 `X トレi7__|
〉ト:トハj`! i. / トー┤lルj,リ
/‐+----+‐l iー--i---ヾ'〃
. l_i____i__| |___i,__i_|
0003132人目の素数さん
05/02/08 12:32:22〜〜〜終了〜〜〜
0004132人目の素数さん
05/02/08 13:45:060005132人目の素数さん
05/02/08 13:47:07死ねハゲ
0006岐阜林檎(573日) ◆AOO....99o
05/02/08 15:02:050.9999・・・x∞=∞−1
まあ、だからどうしたって感じなんだが。
0007132人目の素数さん
05/02/08 15:27:37まあ、超準解析でも勉強して来いって感じなんだが。
0008132人目の素数さん
05/02/09 13:39:080009132人目の素数さん
05/02/09 21:57:470010132人目の素数さん
05/02/09 23:47:03ぜんぜん分かってないよ
0011132人目の素数さん
05/02/10 07:42:270012132人目の素数さん
05/02/10 07:44:230013132人目の素数さん
05/02/10 07:46:310014132人目の素数さん
05/02/10 07:47:100015132人目の素数さん
05/02/10 07:48:030016132人目の素数さん
05/02/10 07:49:130017132人目の素数さん
05/02/10 07:49:580018132人目の素数さん
05/02/10 07:50:300019132人目の素数さん
05/02/10 07:51:400020132人目の素数さん
05/02/10 07:52:130021132人目の素数さん
05/02/10 07:53:040022132人目の素数さん
05/02/10 07:53:480023132人目の素数さん
05/02/10 07:54:590024132人目の素数さん
05/02/10 07:56:340025132人目の素数さん
05/02/10 07:57:210026132人目の素数さん
05/02/10 07:58:210027132人目の素数さん
05/02/10 07:59:240028132人目の素数さん
05/02/10 08:00:090029132人目の素数さん
05/02/10 08:00:490030132人目の素数さん
05/02/10 08:01:520031132人目の素数さん
05/02/10 08:02:400032132人目の素数さん
05/02/10 08:03:540033132人目の素数さん
05/02/10 08:04:370034132人目の素数さん
05/02/10 08:05:360035132人目の素数さん
05/02/10 08:06:180036132人目の素数さん
05/02/10 08:06:530037132人目の素数さん
05/02/10 08:07:560038132人目の素数さん
05/02/10 08:09:300039132人目の素数さん
05/02/10 08:10:270040132人目の素数さん
05/02/10 08:10:590041132人目の素数さん
05/02/10 08:12:180042132人目の素数さん
05/02/10 08:13:130043132人目の素数さん
05/02/10 08:14:110044132人目の素数さん
05/02/10 08:14:490045132人目の素数さん
05/02/10 08:16:180046132人目の素数さん
05/02/10 08:17:330047132人目の素数さん
05/02/10 12:21:010048132人目の素数さん
05/02/10 13:05:420049132人目の素数さん
05/02/10 13:06:440050132人目の素数さん
05/02/10 14:46:090051132人目の素数さん
05/02/10 14:47:020052132人目の素数さん
05/02/10 14:50:120053132人目の素数さん
05/02/10 14:50:530054132人目の素数さん
05/02/10 14:51:400055132人目の素数さん
05/02/10 14:53:420056132人目の素数さん
05/02/10 14:54:410057BlackLightOfStar ◆ifsBJ/KedU
05/02/10 16:09:25でもこれは高校三年で登場するし、大学一年の知識で現代数学の範囲で証明できるよなあ。
0058132人目の素数さん
05/02/11 18:27:210059132人目の素数さん
05/02/16 18:04:44札束を山分けしようとしたが(束単位で平等に割るには)2束足りない。
そこで仲間を2人殺したが、それでも2束足りない。
また2人殺したが2束足りない。
何束あったでしょうか?
0060132人目の素数さん
05/02/16 18:16:320061132人目の素数さん
05/02/16 19:35:140062132人目の素数さん
05/02/16 19:42:550063132人目の素数さん
05/02/16 21:55:47608 名前:Nanashi_et_al.[sage] 投稿日:05/02/16 21:18:34
0.99999...の定義に恣意性があるから、示せない。
0.99999...を無限級数として定義した場合でも数列に恣意性が入る。
0.99999...を返す数列は不可算無限個あるから
任意の数列について示せるというのは無理がある。
この説明は∫[−∞,∞]sin(x)dxが厳密には発散するというののアナロジー。
0064132人目の素数さん
05/02/17 01:40:30うん
そうだね
で?
0065逆Vipper
05/02/17 02:20:57実数の稠密性より、
A={x∈R|1≧x}
B={x∈R|1<x}
となるデデキント切断が可能である。
Aの下界は1
また∀b∈Bについてb≦0.99999...…�@
なのでBの上界は0.99999...
デデキント切断の性質より
1=0.99999...が示された。 Q.E.D.
これあってる?
�@がすげー気になるんだが。
つか過去ログ読む気になんねー
0066132人目の素数さん
05/02/17 02:25:390067132人目の素数さん
05/02/17 03:21:150068132人目の素数さん
05/02/18 23:11:05教えてください(><)
0069132人目の素数さん
05/02/18 23:47:15いいんじゃないの?
デテキントの切断と同値で「単純増加数列はその上限に収束する」ってのもあるしね。
だから「普通の実数」の範疇だと、1=0.99999…だろ。
それが嫌なら、普通じゃない実数を定義して…って話になるわけだ。
0070132人目の素数さん
05/02/18 23:59:240071132人目の素数さん
05/02/20 23:53:09自動的に「1=0.999…」がまあ決定されるから、嫌だ…ってんだろ?
だったら、切断によらないモンで実数を定義しちゃえば良いわけだ。
ま、超準解析なんつーのもあるけど、これも「普通の実数部分」でみたら、
「1=0.999…」だわな。
0072132人目の素数さん
05/02/21 13:02:210073132人目の素数さん
05/02/21 21:43:02もし、適当な数列の極限値として定義しているのなら、実数も何も無く
極限値は1だし(極限値が具体的に求まってしまうから)。
むしろ、小数展開の一意性とか極限値の一意性とかが重要なポイントに
なってくるんじゃないか。
0074132人目の素数さん
05/02/23 01:06:12つーか。普通の現代の数学でやっている実数の定義って、そもそも極限値だろ。
極限値が一意でないとするアイディアは面白いが、それは「普通の数学」じゃなくなるな。
一連の定義はどれも「単調増加数列はその上限に収束する」って言っているんだし。
つまり、普通じゃない実数を使わないとやはり目指すもの(1>0.999…)は得られない
んじゃないのか?
0075BlackLightOfStar ◆ifsBJ/KedU
05/02/23 14:36:060076132人目の素数さん
05/02/23 17:42:22そう。「普通は」有理数コーシー列とかを使って実数を構成する。
でも>>65では「切断」を用いて実数を定義しようってわけでしょ?
だから切断から位相的性質を導かないと。
0077132人目の素数さん
05/02/23 21:24:34「デテキント切断」と「コーシー列」と「単調増加数列が上限に収束する」は
皆同値だろ。どれから先に定義し始めても同じじゃないのか?
0078132人目の素数さん
05/02/23 21:48:24結果として同値になりますが、それは示すべき事よね。そのへん分かってて
やってるならいいんだけど、>>65は実数の稠密性とかインチキ臭い事書いてるし
わかってないんじゃねー?っていう気がしているのです。
0079132人目の素数さん
05/02/23 22:30:04「気がする」じゃ駄目だろw
結果としてだろうが、最初からだろうが、同値なもんは同値だ。どれから定義し始めても良いし、
皆同じ結果になる。
だから、「普通の実数の定義」では1=0.9999…だろうな。
0080132人目の素数さん
05/02/24 00:03:59同値な事はわかってますってば。しかし、それは示すべき事だ。と言ってるのです。
0081132人目の素数さん
05/02/24 00:15:112/9=0.222・・・・
3/9=0.333・・・・
4/9=0.444・・・・
5/9=0.555・・・・
6/9=0.666・・・・
7/9=0.777・・・・
8/9=0.888・・・・
9/9=0.999・・・・
あれ?
0082132人目の素数さん
05/02/24 00:29:120084132人目の素数さん
05/02/24 11:15:16>>80多分、どこが問題なのかが分かってないよ
0085132人目の素数さん
05/02/24 11:49:00大昔に示されています。
0086132人目の素数さん
05/02/24 13:47:15大きな隔たりがあるからねえ。
0087132人目の素数さん
05/02/24 14:07:35小数展開の一意性がノントリビアルなんだな。アルキメデスの原理使うし。
0088132人目の素数さん
05/02/24 17:52:35できるよ。で、何か問題あるか?
ちなみに、ここ何人かの人が書いているようだから、
同じような発言でも同じ人物とは限らないぞ。
つーか、何を問題にしたいんだw
0089132人目の素数さん
05/02/24 19:53:49知られている事を示してみせることと, 知られていない事を示してみせること
との違いに比べたら大したことはない.
0090132人目の素数さん
05/02/24 21:23:03「示すべきこと」じゃないだろ。別に教科書通りやらなくても、それを出発点にすらできるって
ことだ。分かっているか?
0091132人目の素数さん
05/02/24 22:00:580092132人目の素数さん
05/02/25 21:17:34つまり、言っていることがわからんって事?
俺は変な煽りなんかしないから、わからなかったら分からないって言ってくれよ。
0093132人目の素数さん
05/02/25 21:54:26どっちにしても話は進まないから
好きにしたらいいけど。
0094132人目の素数さん
05/02/25 22:51:260095132人目の素数さん
05/02/26 02:18:30整数部を取る関数は連続じゃないからね。
0096132人目の素数さん
05/02/26 02:23:070097132人目の素数さん
05/02/26 09:00:120098BlackLightOfStar ◆ifsBJ/KedU
05/02/26 15:52:330099BlackLightOfStar ◆ifsBJ/KedU
05/02/26 15:53:050100132人目の素数さん
05/02/27 01:05:400.999…=1
0.999…≠1
だってどっちだって説明つくんだから話は不毛
収束とかで0.999…=1が正しいとしかおもえないやつはどう考えても基地害
すくなくとも数学は向いてないからやめろ
俺から言わせれば
1=9が正しいっていってるやつと何も変わんないあくまでも論理的にな
0101132人目の素数さん
05/02/27 01:23:16■ このスレッドは過去ログ倉庫に格納されています