25/01/26 23:07:25.58 .net
>>982
オマエが俺様説を披露したいなら、言いっぱなしではなく
> 0.999... < 0.999...+dx < 1となるようなdxが存在する物理でよく出てくるdxだ
とやらを数学的に証明してからにしろ
1013:ご冗談でしょう？名無しさん
25/01/26 23:11:48.95 .net
>>983
アルキメデスの原理にも自然数を使ってるが、自然数の公理が無いならダメだろが
1014:ご冗談でしょう？名無しさん
25/01/26 23:14:55.34 .net
>>985
数列にもAn 個数などの意味で自然数nを当たり前に使ってるし
1015:ご冗談でしょう？名無しさん
25/01/26 23:15:03.78 08gk9oQW.net
dyよりΔyとかの方がいい。
dy=2dxって意味不明だけど
Δy=2Δxは意味わかる。
Δは曲線を直線で近似してるってことだし。
dy=2dxとかはそういう等式操作が許されるってことしかわからない。
1016:poem
25/01/26 23:17:40.69 +9DWOipF.net
自分は
dx＝￢0
￢0≠0
デデキント切断の主張だと
0.999…<0.999…+￢0<1
でなく
￢1<0.999…<1
なので
0.999…+￢0<0.999…<1
1017:ご冗談でしょう？名無しさん
25/01/26 23:18:15.35 .net
>>985
実数から自然数を構成出来るんだよ
自然数の公理は不要
1018:poem
25/01/26 23:23:39.16 +9DWOipF.net
>988
あれ？
￢0と￢1なら
式自体は正しいとなるのか？
0.999…<0.999…+dx<1
と
0.999…+(1-dx)<0.999…<1
は
同じ？
1019:ご冗談でしょう？名無しさん
25/01/26 23:25:16.04 .net
>>987
>Δは曲線を直線で近似してる
あくまで近似だろ
dy/dxを平面上の滑らかな連続曲線の幾何学で説明するなら
滑らかな曲線上の点には傾きがdy/dx（誤差無し）接線が引けるという意味になる。
1020:ご冗談でしょう？名無しさん
25/01/26 23:30:50.79 .net
>>989
>実数から自然数を構成出来るんだよ
そんな上手い方法が有るなら発表すればよい（ついでに整数、有理数も実数から）
1021:poem
25/01/26 23:31:38.04 +9DWOipF.net
10poem
225/01/26(日) 23:31:03.02ID:reb5jySH
987と989の式、両方わかってなく不正解箇所書いてるよね。式わからないからすまそん
1022:poem
25/01/26 23:32:27.70 +9DWOipF.net
もうすぐ1000だよ
1023:ご冗談でしょう？名無しさん
25/01/26 23:40:07.57 .net
>>992
ほんと何も知らないんだな
1024:ご冗談でしょう？名無しさん
25/01/26 23:44:34.56 .net
>>995
そもそも出来るかどうかさえ知らんな
1025:ご冗談でしょう？名無しさん
25/01/26 23:46:47.99 .net
>>992
自然数論を前提としない実数論の公理系の提案なんて100年以上前にされてるのに今更発表しても無知を晒すだけ
お前みたいな無知が数学界の標準ではない
1026:ご冗談でしょう？名無しさん
25/01/26 23:49:01.48 .net
>>982
物理でもdxとdx/2が異なるように扱われてるし0.999...<0.999...+dx/2<0.999...+dx<1のように無数に不等号が成立するの
1027:か
1028:poem
25/01/26 23:51:13.91 +9DWOipF.net
チラシ
保存】複素数は直交軸でなく重同軸で実数虚数も減らし合う重値
URLﾘﾝｸ(itest.5ch.net)
1029:ご冗談でしょう？名無しさん
25/01/26 23:51:52.58 .net
>>980
不要
先に実数を定義してその特殊な場合として整数や有理数を定義するだけだ
1030:ご冗談でしょう？名無しさん
25/01/26 23:52:35.42 .net
自然数から順番に構成する方法しか知らない間抜け
1031:1001
Over 1000 Thread Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 32日 3時間 8分 19秒
1032:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています