1=0.999… その13.999…

1 名前：１３２人目の素数さん [2006/10/26(木) 18:36:06 ] 前スレ:1=0.999… その 9.999… science4.2ch.net/test/read.cgi/math/1118452051/ 前スレ:1=0.999… その10.999… science4.2ch.net/test/read.cgi/math/1136133055/ 前スレ:1=0.999… その11.999… science4.2ch.net/test/read.cgi/math/1142173277/ 前スレ:1=0.999… その12.999… science4.2ch.net/test/read.cgi/math/1154943310/ 一応激しい論議の結果、回答テンプレートが作成されました　>2-5 今後書き込む際には、できるだけまず回答テンプレートを参照してから、それをふまえて行ってください。 また、回答テンプレートへの意見なども自由に書き込んでください。 21 名前：１３２人目の素数さん mailto:sage [2006/10/26(木) 23:01:29 ] ＞だからあ、 口癖でつか？ 22 名前：１３２人目の素数さん mailto:sage [2006/10/26(木) 23:30:41 ] >>21 ＞口癖でつか？ マァ、それだけではなくて、半可通とも呼ばれるんじゃないの？ 23 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 00:53:06 ] 全くの素人意見なんだけど気になったので聞いてみたい。 無限小数に対して四則計算って有効なの？ どういうことかと言うと、 無限に循環する少数である「無限小数」は、その存在点が確定されうる値として取り扱う事が出来るのかという事なんだ。 もしこれが証明されていないならその他の数と計算することは出来ないんじゃないかと思う。 例えば数直線上で、 　　　　　　　　　─────────────── 　　　　　　　　　　　・　　　　　　　　　　　　　　　　・ 　　　　　　　　　　　A　　　　　　　　　　　　　　　　B AとBの二点間の距離を求めるにはA点とB点の値の差を計算すれば良いんだけど、このAないしBのどちらかが無限小数である場合（あるいは両方） 上で書いたように、「無限小数の確定された点」を観測できなければ、二点間の距離を求める事ができなく、 無限小数に対して四則計算が成り立つとは言えない事が証明されるんじゃないかな？ 本当に素人意見なんで「こいつ何言ってるんだ頭おかしいんじゃねぇ？」と思われた方は無視してくださってかまいません。 どなたか、お暇で親切な人がいたらツッコんで貰えると嬉しいです。 24 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 01:02:52 ] 「無限小数」というのは、人間が読み書きするための「数字」上の話であって、 実際の数値や計算とは本質的には無関係。 25 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 01:16:49 ] >>24 ちょっと分かりづらい。 その説明を意訳すると無限小数は人間が勝手に作った概念であるって事？ 計算に使用する場合は、俺の言ってるような事は見当違いだって事？ スレ違いかもしれないんだけど、これも俺の聞いた事に関係した疑問なんで一つ。 １＋１を、「１」と言う地点から「１」という値だけ離れた所を指し示す式だと考えたら、 ∞＋１は、「∞」という地点から「１」という値だけ離れた所を指し示す式と言う風に捉えることが出来る。 でも∞という値には留まる所（確定される点）が無いから、そこから「１」離れた点なんて取りようが無いと思う。 つまり俺は∞＋１＝エラーになると思うのだけど、実際には∞＋１＝∞と書くよね？これは本当に真実なの？ それとも、まだ良く分かっていないから近似っぽく表しているだけなの？ 26 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 01:27:17 ] 仮定が間違い。 27 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 01:48:25 ] >>25 拡大実数においては真実。行列どうしの積を考えるときに、必ずしも割り算が出来ないのと 同じようなもの。Oでない2つの行列A，Bに対してAB＝Oが成り立つことがあるのと同じようなもの。 28 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 03:11:16 ] > 無限に循環する少数である「無限小数」は、その存在点が確定されうる値として取り扱う事が出来るのかという事なんだ。 おおざっぱに言っちゃうと、実数というものの定義で 「無限小数は、その存在点が確定されてる」 ってことになってる。 29 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 03:34:49 ] >>23 極限の四則演算については、次のような定理がある。 lim[n→∞] a_n = a、lim[n→∞] b_n = b である時、次の等式が成立する。 (1) lim[n→∞] (a_n±b_n) = a±b　　　（複号同順） (2) lim[n→∞] (a_n*b_n) = a*b　　 (3) bは0でない場合、lim[n→∞] (a_n/b_n) = a/b これを無限小数に当てはめると、有限桁まで計算した値を数列にして それの極限を求めれば、無限小数の四則演算を行った事と同じになる。 テンプレの>>4にある初等的証明も、この定理を前提とした話だね。 30 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 03:39:17 ] >>25 超準解析では無限大や無限小となる数を扱うけど、 それはモデル論の結果を使って、ある特殊な超準モデルを構成した上での話。 無限大や無限小に見える数も、超準モデルの中では確定した点になっている。 そういう数についても四則演算が定義できるが それも超準モデルの中での話であって、数字で具体的に表せるわけではない。 超準モデルには無限大超実数は無限に存在するので 「∞」という記号ではそれらの数を表す事は出来ない。 せいぜい「無限大という性質を持つ」という事の省略形につかえるだけ。 「∞＋１＝∞」も「無限大に1加えた値も無限大になる」という意味なら正しいが、 これはきちんと定義された演算ではないし 「∞」という確定した点が存在するわけでもない。 31 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 03:49:56 ] しかし、たとえば[0,∞)上における関数の積分では、あたかも∞＋1＝∞が キチンと定義されているかのような式が成立することがある。 ∫[0,∞]f(x)dx＝∫[1,∞]f(x−1)dx 32 名前：中卒止まりｵｻｰﾝ mailto:sage [2006/10/27(金) 05:25:17 ] ではでは、 　･ 0.9(=以下0.9dotと代記) =1は言える事やどちらでも(ｹﾞｰﾃﾞﾙさん？)な話は置いといて、 壱　0.9dotは1そのものか？(面積は等しいが異なる図形、と言う様に) 弐　壱を否定する場合、0.9dotと1の間はφか？ 参　弐を肯定する場合、0.9dotの逆数は1の次の実数(←こんな表現であってるかも疑問…超限実数？)か？ 33 名前：１３２人目の素数さん [2006/10/27(金) 07:54:02 ] >>25 そもそも、数って人間が現実をシミュレートしやすいように「勝手に作ったモノ」でしょうに。 34 名前：１３２人目の素数さん mailto:sage [2006/10/27(金) 09:00:23 ] 色んな人からの回答有難うございます。 なるほど、数学というのも実に奥の深く、興味深い学問だと分かりました。 35 名前：１３２人目の素数さん [2006/10/27(金) 12:55:48 ] >>34 要するに、無限小数が「確定していない」とするより「確定している」 として各種の計算を決定（定義）する方がより便利だし、かつ問題も ないってコト。 現実をシミュレートする役割の「数」にとって、より多方面に利用でき る方が「正義」。もちろん、その定義によって何らかの問題が発生する なら全く事情はちがったものになるが。 36 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 00:39:05 ] 循環小数は分数の形で表すことが出来る。 故に、既約分数は小数または、循環小数で表せる。 って言うのは、定理（既に証明されている。）だろう。 37 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 01:30:58 ] >>36 故に、っておかしくね？ 38 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 07:18:28 ] >>37 では、書き直しましょう。 循環小数は分数の形で表すことが出来る。 また、既約分数は小数または、循環小数で表せることも真なり。 って言うのは、定理（既に証明されている。）だろう。 これもなんか変なんだけどね。 39 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 16:08:45 ] >>4 ＞�A　ｘ＝０．９９９９…　とおいて ＞　　１０ｘ−ｘ＝９．９９９９…　−　０．９９９９… ＞　　　９ｘ　　＝９ ＞　　　　ｘ　　＝１ ＞　　したがって　１＝０．９９９９…　である。 �A　ｘ＝０．９９９９…　とおいて 　　１０ｘ−ｘ＝９．９９９９・・　−　０．９９９９・・・ 　　　９ｘ　　＝８．９９９９・・・ 　　ではなくて良い事を証明せよ。 40 名前：１３２人目の素数さん [2006/10/28(土) 17:26:12 ] 証明の必要なし。それは無限小数の演算の定義次第だからだ。 41 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 17:42:10 ] 文の後段が前段を受けてないなんじゃないか？ 42 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 19:04:39 ] >>38 既約分数は小数で表せる、の方は定理ちゅうか、割り算の定義だろ。 43 名前：１３２人目の素数さん [2006/10/28(土) 20:31:22 ] 普通はね。ここは無限少数なんて無いといっちやう人のスレ でもある。 44 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 20:44:11 ] 別に割り算の定義に、小数はいらないだろう。 既約分数を小数で表せるかどうかは、割り算とは無関係。 45 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 20:49:03 ] 一般的に言えば無関係だけど、そう言ったらほとんどなんでもアリの世界だよ 46 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 21:05:37 ] 一般的って言うか、そもそもなんで小数と分数の話に割り算が出てくるのかが わからないんだけど。割り算ってのは演算なんだから、数の表記法とは本質的に 無関係だろう。 きっと、筆算をして小数展開を求めることを想定してるんだろうけど、 歴史的に見ても、明らかにまず有理数とその演算があって、1000年以上たった後で 小数展開が出てくるわけだから、「割り算の定義のなかに入ってます」 って言うのは無理があると思う。 47 名前：１３２人目の素数さん [2006/10/28(土) 21:10:40 ] じゃあ、そもそも分数っていうのは何なんだ？ 48 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 21:16:04 ] 歴史的、直観的に言ったら、まあ分数X/Yってのは、XをYで割った数だね。 もちろん現代数学ではもう少し厳密な定義を与えるけど。 とは言うものの、こう言うことはギリシア人も知ってた。 にも関らずギリシア人は小数展開なんてやらなかったわけで。 だからやっぱり割り算と小数展開の間には本質的な飛躍があると思う。 49 名前：１３２人目の素数さん [2006/10/28(土) 21:34:53 ] >>48 その本質的な飛躍にもう少し厳密な定義を与えてください。 50 名前：１３２人目の素数さん [2006/10/28(土) 21:36:57 ] 文系の与太話じゃないんだからさー。 歴史がどーのとか言っていないで、論理で攻めろよｗ 51 名前：１３２人目の素数さん mailto:sage [2006/10/28(土) 22:15:16 ] いやだって「論理的」には、表記法と演算は無関係、で終了だろう。 飛躍に厳密な定義なんて与えられようはずもないし。 52 名前：１３２人目の素数さん [2006/10/28(土) 23:21:50 ] だからそもそも「飛躍」ってのが心理的なモンだけだと早く気づけよｗ 53 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 00:18:02 ] >>4の > �A　ｘ＝０．９９９９…　とおいて > 　　１０ｘ−ｘ＝９．９９９９…　−　０．９９９９… > 　　　９ｘ　　＝９ > 　　　　ｘ　　＝１ > 　　したがって　１＝０．９９９９…　である。 これ、昔だれかが「x=」と置くのはダメとか言っててワケわからなかったけど、 何となくわかった気がする。例えば x = 1/0とおいて、 x*(1/2) = (1/0)*(1/2) x/2 = 1/0 (∵分子×分子、分母×分母 よって x/2 = x x = 0 したがって 1/0 = 0。 みたいな議論とあまり変わらんわけか。ちゃんとその値が存在するか、 収束するか、って言わなきゃ「x=」と置けないわけか。 …合ってる？ 54 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 00:40:00 ] >>53 それもあるけど、その値が存在する事を言ったとしてもまだ問題は残る。 その証明は 「10倍すると各桁の数字を一桁左にずらした値になるが、 同じ数字が無限に続いているので、小数点以下の部分は全く変わらない。 よって元の数を引くと整数部分だけが残る。」 という論法だけど、これも厳密に言おうとするとなかなか大変。 55 名前：53 mailto:sage [2006/10/29(日) 00:55:32 ] >>54 なるほど。うん、そこも気持ち悪い感じがしてた。 56 名前：中卒止まりｵｻｰﾝ mailto:sage [2006/10/29(日) 11:03:19 ] >>54-55 そこで、次の話題(>>32改) 　･ 0.9(=以下0.9dotと代記) =1は言える事やどちらでも(ｹﾞｰﾃﾞﾙさん？)な話は置いといて、 壱　0.9dotは1そのものか？(面積は等しいが異なる図形、と言う様に) 弐　壱を否定する場合、0.9dotと1の間はφか？ 参　弐を肯定する場合、0.9dotの逆数は1の次に来る実数、として良いのか？ 57 名前：１３２人目の素数さん [2006/10/29(日) 12:52:50 ] >>53 まあ、上に有界な単調増加数列だから収束するって事で一つの値に固定されているって コトになるよなあ…。でも、これは数ある「実数の連続性」の定義と同値なモノだよね。 だから「実数の連続性」とか使っちゃうと結局「０．９９９９…は収束するから収束するんだー」 って強弁しているのと実質変わらない気もする…ｗ　単に、別の実数の性質に責任転嫁 しているだけでさー。　 要するに、０．９９９９…が固定した何らかの値になるとしても、とりあえず問題は発生しない からそうするってコトっしょ。 >>54 それは、テンプレでは無限小数の演算が既に定義されているって前提だから、 問題ないのでは？ 58 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 13:26:35 ] >>42 では書き直しましょう。 循環小数は分数の形で表すことが出来る。 また、既約分数は小数の形で割り切れるか、または、 循環小数で表せることも真なり。 で、ある形の既約分数が循環小数で表せるって言うのは、 定理（既に証明されている。）だろう。 >>57 ＞要するに、０．９９９…が固定した何らかの値になるとしても、 ＞とりあえず問題は発生しない からそうするってコトっしょ。 もっと厳密な形に論点は絞れるのではないのかな？ ＞それは、テンプレでは無限小数の演算が既に定義されているって前提だから、 ＞問題ないのでは どのように定義されているか書込まれていないから、 定義している事にはならない。 59 名前：１３２人目の素数さん [2006/10/29(日) 13:53:46 ] >>58 より厳密なコト言えって？ １＝０．９９９９…と定義しても問題無し。演算の定義は各桁毎にやってくって定義でできるっしょ。 問題なし。 60 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 14:03:31 ] 各桁毎にやっても…計算が終わらん… 61 名前：１３２人目の素数さん [2006/10/29(日) 14:09:46 ] 必ず循環するんだろ？循環するとはっきり分かった時点で終了。 62 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 14:36:04 ] じゃあ 1-0.999…=0.000…=0 だけでいいか。 63 名前：１３２人目の素数さん [2006/10/29(日) 15:56:49 ] f(x) = (10^x -1 )/10^x 64 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 16:58:39 ] 1/9=(1/10)*(1+1/9)=0.1+1/90=0.11+1/900=0.11...(n)+1/(9*10^n) 結局、極限で lim[n→∞]1/(9*10^n)=0 を言わないと、1/9=0.111... は言えないんじゃないの？ ＞１＝０．９９９９…と定義しても問題無し。 こんな定義ありえんでしょ。 円周率は無限桁の小数で表されるけど、こんなの書いてられないからπと定義する、っていうのは納得いくが 1=0.999...は定義しちゃダメで、証明すべきもの。 勝手に 1＝2 と定義なんてしちゃうと、その他の公理から1≠2が証明できるので系が矛盾してしまう。 65 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 17:53:29 ] だから、0.999・・・の定義を先に書いとけと言ってるだろ 66 名前：１３２人目の素数さん [2006/10/29(日) 17:57:26 ] >>64 過去ログみたら分かるけど極限使った理論を言っても納得しない人は 沢山いるわけで…。 「１＝２」と違って、「１＝０．９９９９…」と定義しても矛盾はないからいいん じゃないの？それに、その定義によって、無限小数と整数の関係が皆 決定できるから万々歳。問題なし。 まあ…、「１＝０．９９９９…」となるように各種の定義・公理を選択する… ってのが、本筋なのかも知れないけどね。 67 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 18:11:27 ] >>66 ＞過去ログみたら分かるけど極限使った理論を言っても納得しない人は ＞沢山いるわけで…。 それは、極限を持ち出す側が、 極限の事を完全に理解してはいないからだろう。 おまけに定義の意味も分かってない。 68 名前：１３２人目の素数さん [2006/10/29(日) 18:16:25 ] x=0.99999…とおく。 10x=9.99999… 10x-x=9 9x=9 ∴x=1 69 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 18:24:34 ] x=９.９９９９９・・・とおく。 １０x=９.９９９９９・・ 10x-x=８.９９９９９・・・ ９x=８.９９９９９・・・ ∴x=０.９９９９９・・・ 70 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 18:27:52 ] >>69 書込む前に見直そうな 71 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 18:30:16 ] ご免、許して。 x=０.９９９９９・・・とおく。 １０x=９.９９９９９・・ 10x-x=８.９９９９９・・・ ９x=８.９９９９９・・・ ∴x=０.９９９９９・・・ 72 名前：１３２人目の素数さん [2006/10/29(日) 18:35:26 ] >>67 極限の意味だってｗ　　言ってくれ。 皆がそれでこの問題を納得できるようなモンを頼むぞ。 定義に関してだけど、問題ありならそこをキチンと指摘してくれｗ 73 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 18:45:54 ] >>65 ＞だから、0.999・・・の定義 では、0.999…の定義を。 0.999…は循環小数であり、循環小数は明らかに無限小数である。 また、明らかに0.999…は級数であり、部分級数の値のｎが∞と言う値を、 取れる場合と言える。 よって、0.999…は無限級数の値に等しいと言える。 ∴1=0.999… 74 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 18:55:04 ] >>64 ＞lim[n→∞]1/(9*10^n)=0 これはアルキメデスの原理の1バージョンで、「1=0.999…」と同値な命題だから これを証明する事と「1=0.999…」を証明する事は本質的に同じ事なんだよね。 アルキメデスの原理と別のバージョンとしては 「どんな実数を取ってきても、それより大きい自然数が存在する」ってのがあるけど、 これならほとんどの人が自明だと思うんじゃないかな。 納得できない人も多い「1=0.999…」とこれが同値だというのは、なかなか興味深い。 75 名前：１３２人目の素数さん [2006/10/29(日) 19:50:49 ] >>73 明らかに１＝０．９９９９…であるってのとあまり変わりないような… 76 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 19:53:06 ] >>72 ＞極限の意味だって そんな事何処に書いてあるんだ。 １＝０．９９９９…が定義としなければ、確定できないならば、 全ての循環小数に対して、対応する値を、 定義しなければならないって言う事じゃないのか。 77 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 20:08:21 ] >>75 定義を書く事を考えていたから、証明の部分をかなり省略しているからね。 nが無限大を取れると言う部分は、0.9(1-10^(-n))/(1-0.1)がn=∞と出来て、 0.9×1/(1-0.1)と言う値を取れるという事を省略している。 循環小数は無限級数であるのか、って言う事と、 ｎは無限大と言う値を取れるのかって言う事が、 定義するべき部分と考えたんだけどね。 78 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 20:22:40 ] >>77 > 定義を書く事を考えていたから、証明の部分をかなり省略しているからね。 逆だろ 79 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 20:37:49 ] >>78 ＞逆だろ そう思えるのか？ 最初は0.999…の定義なんて、 循環小数って言うだけで良いだろうと思っていたんだけれど。 定義としては書込みすぎと思ったくらい。 だから、蛇足だというならば解る。 80 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 20:44:21 ] だったら0.333・・・の定義も循環小数って言うだけなのか？ 81 名前：１３２人目の素数さん [2006/10/29(日) 21:32:26 ] さて、１と０．９９９９...は等しくないと思いたがる人を見つけたら、 「じゃあ1と0.9999....の間にある数を言ってみて。」と言おう。 定義　差がある２個の実数の間には実数がある。 でも1と0.9999...の間に実数はないよね。9は無限に続くもんね。 82 名前：１３２人目の素数さん [2006/10/29(日) 21:33:47 ] >>81 実際言ったら「そんな法則しらん！」で終了でしたｗ 83 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 21:41:47 ] > 定義　差がある２個の実数の間には実数がある。 無限小があるという人は 「無限小は0の次の数だ！」とか言うんだから 当然そんな「定義」受け入れないでしょ 84 名前：１３２人目の素数さん [2006/10/29(日) 22:44:38 ] 超準解析には無限小があるのですが… 85 名前：１３２人目の素数さん [2006/10/29(日) 22:52:26 ] 昔ﾄｰﾁｬﾝに聞いた説明 1/9=0.111… 両辺に９を掛けると 1=0.999… 86 名前：１３２人目の素数さん [2006/10/29(日) 23:04:32 ] >>4の�Bだろ 87 名前：１３２人目の素数さん mailto:sage [2006/10/29(日) 23:20:53 ] >>64 ＞勝手に 1＝2 と定義なんてしちゃうと、その他の公理から1≠2が証明できるので系が矛盾してしまう。 「その他の公理」として何を採用するかで、矛盾するか どうかは変わる。実際、別の公理を採用すれば 1＝2は成り立つ。 例：F_2(標数2の素体)においては1＝2である。 88 名前：１３２人目の素数さん mailto:sage [2006/10/30(月) 03:29:32 ] 0.999…＋0.000…1＝1 89 名前：１３２人目の素数さん [2006/10/30(月) 07:10:37 ] 0.999…+0.0001=1.000…0999… 90 名前：１３２人目の素数さん mailto:sage [2006/10/30(月) 08:01:22 ] lim[m→∞] 0.1^m ＋�納n=1〜m](9*0.1^n) ＝１ 91 名前：１３２人目の素数さん mailto:sage [2006/10/30(月) 12:28:49 ] >>90 式が間違ってるぞ。 それじゃ、0.999…にしかならないぞ。 92 名前：１３２人目の素数さん mailto:sage [2006/10/30(月) 16:49:58 ] >>91 あってるじゃん、極限はなくてもいいけど・・・ 93 名前：１３２人目の素数さん mailto:sage [2006/10/30(月) 17:28:43 ] 余裕で証明できる あのな このスレの題名を見れば解る もしも1=0.999…じゃなければこのスレが意味不明なことになるだろ 13.999…（≠14）個めのスレってどんなんだよ 説明してみろよ なんかよくわかんねぇよ 94 名前：１３２人目の素数さん mailto:sage [2006/10/30(月) 17:34:24 ] ん〜、13.999…個めのスレとは言ってないぞ、といいわけできるな。 95 名前：１３２人目の素数さん mailto:sage [2006/10/30(月) 20:47:44 ] >>92 �納n=1〜m](9*0.1^n) に極限記号がないから、有限小数になる。 ｍ桁目ってなんだ？ッて言うツッコミは入れないから。 96 名前：>>90改訂 mailto:sage [2006/10/31(火) 10:46:11 ] lim[m→∞] {0.1^m ＋�納n=1〜m](9*0.1^n)} ＝１ 97 名前：１３２人目の素数さん [2006/10/31(火) 20:27:09 ] 無知な学生と講師と助手が屯しているスレはここでいいですか？ ぷ 98 名前：１３２人目の素数さん mailto:sage [2006/10/31(火) 23:18:15 ] ＞無知な学生と講師と助手 そんなに高尚かな？ 『中卒オヤジと（数学は教養だ、という）感違いブラザーズ』って言う処じゃないのかな？ 99 名前：１３２人目の素数さん [2006/10/31(火) 23:49:56 ] 反論できないから中傷…ｶｺﾜﾙｲ 100 名前：１３２人目の素数さん mailto:sage [2006/11/01(水) 02:52:02 ] >>99 なんに対して反論しなければいけないのか教えてくれ。 101 名前：１３２人目の素数さん mailto:sage [2006/11/01(水) 08:26:05 ] 【結局は、ある意味究極の大同小異と言う事になるが】 数直線をデデキントの切断で、 切断箇所は ≧１(=以下右側) ＜１(=以下左側) となるよう切断する。 このとき、右側の左端は勿論１。 さて一方、左側の右端は 0.999…になるか？ 102 名前：１３２人目の素数さん mailto:sage [2006/11/01(水) 10:42:41 ] 右端・左端の定義は？ 103 名前：１３２人目の素数さん mailto:sage [2006/11/01(水) 19:40:11 ] >>101-102 デデキントの切断といっているのだから、 そんな質疑が出てくること自体が、おかしいのでは？ 104 名前：１３２人目の素数さん mailto:sage [2006/11/01(水) 20:44:00 ] ってか最近微分積分の極限値習ったんだが意味不明 限りなく近づくとき云々といっておきながら 例えばh→2でhが2に限りなく近づくとかいっておきながら ２をそのまま代入してるし意味不明 結局 「ある数αが、βに限りなく近づく時、αをβとして扱っても良い」 っていうのが極限？ それとも 「ある数αが、βに限りなく近づく時、α＝βになる」 か？ 105 名前：１３２人目の素数さん mailto:sage [2006/11/01(水) 21:13:02 ] >>104 結果として「そのまま代入したもの」になることが多いけど、そのままの代入では イケナイときもある。 106 名前：１３２人目の素数さん mailto:sage [2006/11/01(水) 21:28:54 ] >>104 lim[x→α]f(x)とf(α)は「意味として」別物。 結果が同じになることはある。そのときf(x)はx=αで連続であるという。 連続でなければ微分も糞もない。 f(x) = ( x^2 - α^2 ) / (x - α) とおく。 lim[x→α]f(x) はいくらだ？ 107 名前：１３２人目の素数さん mailto:sage [2006/11/01(水) 23:39:29 ] 2α？ で、このスレでｘ→∞ってあるけど ある実数ｘが無限に限りなく近づく っていうのがあまり理解できないのですが・・・・・ まぁこれは自分で考えまｓ 108 名前：１３２人目の素数さん mailto:sage [2006/11/01(水) 23:58:30 ] >>104 f(x)=1 (x=1) 　 0 (x≠1) f(1)=1 lim[x→1]f(x)=0　　 109 名前：１３２人目の素数さん mailto:sage [2006/11/02(木) 08:06:24 ] f(0.999…)=? 110 名前：１３２人目の素数さん mailto:sage [2006/11/02(木) 09:37:40 ] >>101-102 >>103の言う通り。 0.999…也。 >>101での左右は、｢左方極限｣｢右方極限｣の左右と同じと思われ。 ならば、>>101での左端は｢左側｣の最大数となり、右端は｢右側｣の最小数となると思われ。両者は別々になる事は確か。 >>109 上記と>>108より、0。 更に1+(1ｰ0.999…)＝0とも。 つまり、0.999…は1の左方極限の究極、1+(1ｰ0.999…)は1の右方極限の究極と思われ。 極論暴言すれば、1ｰ0.999…は0の右方極限の究極と言えると思われ。 世界的には未決着題(本スレ内の上レス参照)なので、断言には至らず…。 111 名前：１３２人目の素数さん [2006/11/02(木) 11:04:02 ] 未決着じゃなくて定義次第だろ。 112 名前：１３２人目の素数さん mailto:sage [2006/11/02(木) 12:57:54 ] >>111 どのように定義できるのかを書込まんと、単なる馬鹿と思われるだけだぞ。 例えば、１／ｎ＝０（ｎは自然数｜ｎ＝∞）と出来るのかは大きな問題だぞ。 113 名前：１３２人目の素数さん mailto:sage [2006/11/02(木) 13:41:30 ] ＞ｎは自然数｜ｎ＝∞ ∞は自然数ではないので、この時点で間違い。 114 名前：１３２人目の素数さん [2006/11/02(木) 15:33:49 ] 定義？過去ログに余るほど書いているだろ。 115 名前：１３２人目の素数さん [2006/11/02(木) 17:26:50 ] まだ、未決なんて言っている人がいるとは…。 定義によって決まるだろ…。 連続する数としての実数で考えて、0.999…を無限級数の極限値とすれば、無理なく １と同じ数と言えるだろうに。 また、表記が違えば「違う数」と扱うなら、完全に違う数だろ。ただ、この場合副作用が 沢山あって困る状況にも陥るんだけどね。 116 名前：１３２人目の素数さん mailto:sage [2006/11/02(木) 18:16:58 ] >>114 過去ログに定義が書いて有ると思っているなら、 定義って言うものが分かってないんじゃないか？ >>115 正確には、『級数が収束するとき、部分級数の極限値を、無限級数の値とする。』 しかし、無限級数そのものが、厳密に定義されているとは言えないだろう。 ｎ＝１〜∞、 が定義出来なければ、無限級数の存在は実証できないのでは？ 117 名前：１３２人目の素数さん [2006/11/02(木) 19:00:46 ] >>116 おいおい。まだこだわっていたのか？ｗ １＝０．９９９９…と「定義」し、無限小数の四則演算を定義しても（加法なら各桁毎に足す。整数での 除法は繰り下がりも考慮し、商が繰り返すようだったらそこで終了。符号も考慮する）何の問題もな いだろ。しかも、有理数を必ず無限小数に変換できるしな。 問題あるというなら、その問題点を　き　ち　ん　と　具　体　的　に　指　摘　し　て　く　れ　。 それから「厳密、厳密」という人がなんで　ｎ＝∞　なんて表現を許すんだ？ また、君が考える「実在」の定義ってなんだｗ 118 名前：１３２人目の素数さん [2006/11/02(木) 19:01:49 ] >>116 あのー。ペアノ公理系って知っている？ 119 名前：１３２人目の素数さん mailto:sage [2006/11/02(木) 20:12:11 ] >>117 ＞それから「厳密、厳密」という人がなんで　ｎ＝∞　なんて表現を許すんだ？ 日本語が理解できないのか。 120 名前：１３２人目の素数さん mailto:sage [2006/11/02(木) 20:16:02 ] >>117 �@0.999...[9]≡1-(10^-n)[n→∞] �A0.999...[8]≡1-2*(10^-n)[n→∞] �B0.999...[7]≡1-3*(10^-n)[n→∞] さて上の３つは全て同じ表現と言えるのか、つまり、0.999...＝0.999...[9]＝0.999...[8]＝0.999...[7]　なのか？ 君はこれら全部に'＝１'と定義していくのか？ 121 名前：１３２人目の素数さん mailto:sage [2006/11/02(木) 20:19:47 ] >>116 ＞しかし、無限級数そのものが、厳密に定義されているとは言えないだろう。 「Aという記号列を[〜〜文章〜〜]で定義する」と言っているのに、 「いや、それではAそのものが厳密に定義されているとは言えない」 とはこれいかに？>>116のアタマの中では"Aという記号列"と"Aそのもの"が 違う対象になっているらしい。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef