ゼロ割をがんばって定義してみるスレ
■ このスレッドは過去ログ倉庫に格納されています
ゼロ・負の数・無理数・虚数
定義されてなかった数を新しく定義すると数学の世界が広がります
じゃあゼロ割も定義できるんじゃね?
そういうスレです >>1
0で割ると、無限大又は無限小に発散する。
しかるに、無限大及び無限小は数ではない。
ゆえに、0で割った数を定義することはできない。 実数極限
lim[x→±0](1/x)=±∞
0≦θ<2πとして複素数極限
lim[x→0^(i*θ)](1/x)=∞^(i*θ)
無限遠点的表現を絶対値表現を用いて
|1/0|=∞
特に∞を一点コンパクト化した複素無限大として扱うRiemannの球面幾何学に於いて
1/0=∞:複素無限大
だが原則的に
1/0不能 >>1
ただゼロ割を定義するだけじゃなくて、既存の概念の拡張になってることが望ましい。
>>2
数学ってけっこうそんなもんだよ。 あまり
の考え方を上手く使えば定義出来るかも
20を0で割った値と6を0で割った値は
「あまり」の値が変わるので別な値として認識できるみたいな 「あまり(仮称)」のある値を0倍すると実数になってしまう不思議な定義 直線上を等速度で移動する点と、任意の位置の点がいつ衝突するか
いまの距離を速度で割るのが割り算
速度が0の場合、何かの形式で距離を返すようにしたい
ついでに、任意の点が直線上に無い場合は直線と任意の点の距離を返したい
さらに、任意の球面と直線の関係を表す時に役に立つものにしたい 逆演算のために値をどこかに残しておく必要はあるな
逆演算したら全て同じ値です、じゃ都合悪いよな
実部は不定で指標が元の値を表すとかしないと >>12
だからそれがWheel_Theoryだっての 勘違いしてる様だけどWheel_Theoryは
2つの分数a/bとc/dが同値か否かを通分したad/bdとbc/bdの分子の比較で確かめる方法により
bまたはdが0の時まで拡張しただけだからRiemann_Spereの実部と何ら変わらないよ。
複素数平面を射影した球面に一点コンパクト化した複素無限大を付加しつつ不定元を許したのがRiemann_Spereである様に
実数直線を射影した輪線に一点コンパクトした実無限大を付加しつつ不定元を許したのがWheel_Theoryだよ。 0/0=0・∞=∞/∞=Φ:nullity:indeterminate
by Reading大学J.A.D.W.Anderson博士 × 実無限大 〇 実無限遠
× 複素無限大 〇 複素無限遠
正確に言うとWheel_Theoryは±∞が一点コンパクト化された実無限遠点を付加した射影拡張実数上の演算であり
実数に±∞を一点コンパクト化せずに付加したアフィン拡張実数上の演算ではない n/0 = nγ
0/0 =0γ
a1x^n+a2x^n-1+a3x^n-2+...........a(n-2)x^2+a(n-1)x+an≠nγ (n≠0)
nγ*0=n
0γ*0=0
0γは全ての複素数を表す→ 0/0=x 0=x*0
二次方程式の解の公式の分母が0になるように計算してみたら0γになった
nγは複素数に属さない → 0/n=x 0=n*x
γは適当につけた 三元数「a+bi+cj(iは√-1の虚数単位でj=1/0」を定義する。
jを√-1でなく1/0とするのが従来の三元数の考え方との違い。
j=√-1だとiと同機能の虚数を追加したにすぎない。 零を二回三回掛けた時に不都合がでないか
零除算を複数回やって不都合がないかとか解決できるのか >>20
仰せの通り、実数から±∞と不定元Φを加えただけの
最も素朴な拡大実数であるアフィン拡張実数からして体ではない j=1/0とすると
1=0*j=(0+0)*j=0*j+0*j=1+1=2
1=0*j=(0-0)*j=0*j-0*j=1-1=0
1=0*j=(0*0)*j=0*(0*j)=0*1=0 ガウスが証明してるだろ。複素数でない数を定義しても無意味だと。 四元数をつかいまくっているプログラマーさんに謝れ! 代数学の基本定理だろ。
複素数じゃない数は、無意味なんじゃなくて、
複素数ではないだけ。自明。 いろいろ考えてもどこかで矛盾が発生する・・・・・・・ ゼロ割りは、難しいよ。
ゼロ%みたいには、いかない。 >>29
無限が扱いにくいから数として定義しようって話 一点甘美化には、∞ は一個しかないよ。
1/x が連続になるようにするだけで、
∞ もコミで加減乗除できるように
するわけじゃないから。 +∞ 正無限大
-∞ 負無限大
±∞ 実無限大
∞i(:電気工学ではj∞) 虚無限大
∞∠∀ 複素無限大
∞ε グロスマン無限大
更に多元無限大に行列にテンソル無限大
テンソル無限大でさえ全ての無限大を網羅しているとは言い切れない おまえら高校生かよ。大学で必修の複素関数論を勉強すればゼロで割る特異点が有っても計算可能。
つまりすでに定義されているようなもの。 exp(1/0)もすでに定義されているようなもの(キリッ
大学生ならこんなこと言わないよね〜
あ、中学生かwwwww >>38
自己主張心が強過ぎるのか他者卑下心が強過ぎるのか知らないが
>>33や>>34の主張内容を見逃すほど高慢になってんじゃないよ オトコの副業ナンバーワン!?
イケメン&トーク上手ならOK
安心の業界最大手です★
メーンズ ガーーデン
って検索してみてください♪
まずはサイトを見てみてくださいね!
※正しいサイト名は英語です。 Y=tanX
0≦X≦2πの範囲で、X=π/2 又は 3π/2 のとき
Y=1/0 となる
X=π/2 又は 3π/2 は地球上の日付変更線みたいなものかな?
世界標準時UTC(GMT)が12:00の時、日付変更線上は何日?(UTCより12時間進んで且つ12時間遅い) 螺旋階段と同相になるように球を作れば・・・カタツムリの貝殻みたいな感じか 1/xの微小区間[-ε,ε]の主値積分はゼロですよね。
一方で1/0が値を持つなら、積分記号の外にだせて1/0x(2ε)。
ところでε≠0ですから、1/0側がゼロとなる。 x/0=すべての数であるから、x/0=1, x/0=2
よって、x/0=x/0から、1=2 >>35のリンク先から抽出
35 : 132人目の素数さん[sage] : 2008/02/22(金) 14:46:47
Wikipedia の解説だけだとさっぱり気分が分からんね.
参考文献のほうには,かなり分かりやすく書いてある.
簡単のため整数で説明すると,整数 Z から有理数 Q を
構成するとき,普通は S = Z - {0} として,Z×S に同値関係を
[x,y] 〜 [x',y'] iff ∃s ∈ S , s (xy' - yx') = 0
で入れるけど,これだと S に 0 が入ってないから 1/0 が定義されない.
そこで,Z×Z に次の同値関係を入れる:
[x,y] 〜 [x',y'] iff ∃s,s' ∈ S, (sx,sy) = (s'x',s'y')
これに足し算掛け算を有理数と同じようにいれ,スラッシュを
/[x,y] = [y,x]
で定義たものが wheel of fractions with respect to S.
演算の結果だけ抽象化したのが wheel で,Wikipedia のようになる.
Z 上で wheel を構成すると色々と簡単になって,
たとえば [0,1] = [0,2] = ... や [1,0] = [2,0] = ... が成立する.
他,興味のありそうな計算結果としては,[0,0]を不定,[1,0] を ∞と思うと
[0,0] + [1,1] = [0,0] (不定 + 1 = 不定)
[1,0] + [1,1] = [1,0] (∞ + 1 = ∞)
[1,0] + [1,0] = [0,0] (∞ + ∞ = 不定) 36 : 132人目の素数さん[sage] : 2008/02/22(金) 15:04:37
続き.整数から作った wheel で計算練習.x = [a,b] とすると
0x = [0,1][a,b] = [0,b] ∴ b = 0 で 0x ≠ 0
x-x = [a,b]-[a,b] = [a,b]+[-a,b] = [0,b^2] ∴ b = 0 で x-x ≠ 0
x/x = [a,b]/[a,b] = [a,b][b,a] = [ab,ab] ∴ ab = 0 で x/x ≠ 1
みたいな,Wikipediaの冒頭の結果が得られる.整数から作る wheel だと
直感からそれほど外れた結果は出ないけれど,一般の wheel だと
[0,1] = [0,n] みたいなことが成り立たないから,もっと複雑.
>>27
整数上の構成だったら 0 = [0,1] で簡単に (0/0)/0 = 0/0 ≠ 1/0.
一般の場合も (0/0)/0 = 0(/0/0) = 0/(00) = 0/0 と形式的に示せます.
>>33
複素数も整域だから z/0 は z ≠ 0 で等しくなります. 37 : 132人目の素数さん[sage] : 2008/02/22(金) 15:25:10
もう少し面白い例.Z/8Z = {0,1,2,3,4,5,6,7} を考える.
これは整域でない.単元は S = {1,3,5,7}.これで wheel を作ると
以下みたいな結果が出てくる:
"0" みたいなものが三つ区別される:
[0,1] = [0,3] = [0,5] = [0,7],
[0,2] = [0,6],[0,2] ≠ [0,1]
[0,4] ≠ [0,1], [0,4] ≠ [0,2]
従って特に
0x ≠ 0
が,[0,1] 以外の系列の [0,n] に対して成立.
"0" みたいなもの同士の和で不定になる:
[0,2] + [0,4] = [0,8] = [0,0]
x が "0" みたいなものでも不定でもないのに x/x で不定になる:
[4,2]/[4,2] = [8,8] = [0,0] >>48
sやs'が0ならすべてのペアが同じになるんだが __ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/
. | \ ∠イ ,イイ| ,`-' |
| l^,人| ` `-' ゝ | このスレは馬と鹿と豚さんばかりね。
| ` -'\ ー' 人
| /(l __/ ヽ、
| (:::::`‐-、__ |::::`、 ヒニニヽ、
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/ >>4
>4 名前:KingMathematician ◆LoZDre77j4i1 :2014/08/21(木) 19:27:24.63
> とりあえず, vector analysis から修得しようか.
>
狸
厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理
論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密
厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理
論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密
厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理
論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密
厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理
論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密
厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理
論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密
厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理
論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密
厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理
論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密・論理・厳密 いろんな分野の数学齧ってたらなんかゼロ割は数字じゃなくていい気がしてきた ab と a×b は違う
とか言ってるタイプの人なんだろ 今、φを不定元とすると/0を許す場合、0*0=0は依然として言えるが
・0*z≠0でありz-z=0*z^2≠0
・z/z=1+(0*z)/z≠1
・z*z+y*z=(z+y)*z+0*z
・(z+y*z)/y=z/y+z+0*y
・/(z+0*y)=/z+0*y
・0/0*z=0/0
と言った様に左辺が不定式となる場合を加味した式となる様に
中辺には不定式にならない場合の結果に付け加え不定可能性項を伴い
右辺は結ばれなくなる
また、数学に於いて不定元の逆数という表現はされない為に
/x/y=/x/yであり//z=zではあるが
不定式となる場合がある為に必ずしも/zはzの逆数であるとは言えなくなる
但し、0*z=0かつ0/z=0ならば普段通り
z-z=0となりz/z=1となる
参考
Wheel theory - Wikipedia, the free encyclopedia
http://en.wikipedia.org/wiki/Wheel_theory
ただ私にもなぜ
(z+0*y)*z=z^2+0*y
なのかは分からなかった
(z+0*y)*z=z^2+0*y*z
ではないのだろうか? n/0を
lim[x, ∞](1/x)^n
と同位の無限小ってするとなんか面白いんじゃね? こんな計算ありえないよ。世の中しらにゃかいけない。特に
美男子美女の実力派。 ところで知恵袋経由でこういうページを見つけたわけだが
http://www.mirun.sctv.jp/~suugaku/
香ばしさはともかく、よくわからないので誰か検証とかwheelとの比較とか頼む >>65
ホイールの元 z,y,0 を [A,a],[B,b],[0,1] と書くと
(ただし A,a,B,b,0,1 はもとの環の元)
(z+0*y)*z
=([A,a]+[0,1]*[B,b])*[A,a]
=([A,a]+[0,b])*[A,a]
=[Ab+A0,ab]*[A,a]
=[Ab,ab]*[A,a]
=[AAb,aab]
z^2+0*y
=[A,a]^2+[0,1]*[B,b]
=[AA,aa]+[0,b]
=[AAb+aa0,aab]
=[AAb,aab]
でいいんじゃないかな
参考までに
z^2+0*y*z
=[A,a]^2+[0,1]*[B,b]*[A,a]
=[AA,aa]+[0,ab]
=[AAab+aa0,aaab]
=[AAab,aaab]
分配法則は成り立たなくて代わりに xz+yz=(x+y)z+0z になるとWikipediaにも書いてある >>63>>64みたいな思い込みに嵌るくらい結合法則を満たす代数系は広く普及しているが16元数あたりまでくるともはや/0と÷0は別物になる >>70
結合法則への思い込みではなくて、説明もなしに個人の勝手な表記ルールを見せられた人の自然な反応だろう __ノ)-'´ ̄ ̄`ー- 、_
, '´ _. -‐'''"二ニニ=-`ヽ、
/ /:::::; -‐''" `ーノ
/ /:::::/ \
/ /::::::/ | | | |
| |:::::/ / | | | | | |
| |::/ / / | | || | | ,ハ .| ,ハ|
| |/ / / /| ,ハノ| /|ノレ,ニ|ル'
| | | / / レ',二、レ′ ,ィイ|゙/
. | \ ∠イ ,イイ| ,`-' |
| l^,人| ` `-' ゝ | このスレは馬と鹿と豚さんばかりね。
| ` -'\ ー' 人
| /(l __/ ヽ、
| (:::::`‐-、__ |::::`、 ヒニニヽ、
| / `‐-、::::::::::`‐-、::::\ /,ニニ、\
| |::::::::::::::::::|` -、:::::::,ヘ ̄|'、 ヒニ二、 \
. | /::::::::::::::::::|::::::::\/:::O`、::\ | '、 \
| /:::::::::::::::::::/:::::::::::::::::::::::::::::'、::::\ノ ヽ、 |
| |:::::/:::::::::/:::::::::::::::::::::::::::::::::::'、',::::'、 /:\__/‐、
| |/:::::::::::/::::::::::::::::::::::::::::::::::O::| '、::| く::::::::::::: ̄|
| /_..-'´ ̄`ー-、:::::::::::::::::::::::::::::::::::|/:/`‐'::\;;;;;;;_|
| |/::::::::::::::::::::::\:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
| /:::::::::::::::::::::::::::::::::|:::::::::::::::::::::O::|::|::::::|:::::::::::::::/ ¥
>1 :名無しさん :2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5535 :¥ ◆2VB8wsVUoo :2016/08/13(土) 18:53:14 ID:???
> ¥
>
>5536 :kmath1107★ :2016/08/13(土) 21:08:24 ID:???
> 人への念の盗み見による介入を阻め。
>
>5537 :¥ ◆2VB8wsVUoo :2016/08/13(土) 21:25:44 ID:???
> ¥
>
>5538 :kmath1107★ :2016/08/13(土) 23:23:07 ID:???
> 人への念の盗み見による介入を阻め。
>
>5539 :kmath1107★ :2016/08/13(土) 23:41:45 ID:???
> 人への念の盗み見による介入を阻め。
>
>5540 :名無しさん :2016/08/14(日) 00:05:47 ID:???
> かつて僕(増田哲也、痴漢で逮捕)が大阪大学基礎工学部の学部学生であった時、大学院の指導教官となってくれそうな先生を
> 探して各地のいろんな先生方を訪ねて回った時の事である。理論物理学を大学院で専攻しようとして理
> 論物理学の初歩をかじっていた僕(増田哲也、痴漢で逮捕)は、当時京都大学数理解析研究所に居られた超一流の理論物理学者で
> おられる中西先生にこんな質問をした事がある。
>
> 僕(増田哲也、痴漢で逮捕) : 「理論物理学では円周率が様々な所に出てきますが、それには何か深い物理的な理由があるの
> でしょうか?」
>
> 中西先生: 「そういう事を何時も頭の片隅に置いておくのはとても大切な事です。でもそんな事ばかり
> 考えていたら研究論文が書けなくなります。研究者とはそんな甘いものではありません。」
>
> 僕(増田哲也、痴漢で逮捕) : 「は−そうなんですか−」
>
> 結局僕(増田哲也、痴漢で逮捕)は京都大学の中西先生ではなく、別の先生に大学院の指導教官になって頂き、理論物理学ではな
> く純粋数学を専攻した。しかしこの時の中西先生のお言葉は今でも何となく「気になって」いる
>
>5541 :名無しさん :2016/08/14(日) 00:22:38 ID:???
> いい加減、芳雄に謝罪しろ
> >>72
多元数では違うのが常識だからな。こればかりはやってないとわからないのは無理ない。 >>75
文脈分かってる?
>>62に対する反応だよ ああ、なるほど
何の脈絡も無しに>>62が出てきたことに気付いてないのか
そりゃ本人の頭の中には何らかの脈絡があったのかもしれんが… >>61とスレタイから考えれば脈絡ないはないわな。 これがなんらかの理論で定義されてしまうと、すべての特異点に意味を与えることになってしまって、特異点でなくなってしまうのでは…? >>79
そもそも、特異点があること自体、理論の未成熟をあらわすのではないか? ¥
>1 :名無しさん :2006/04/30(日) 01:41:01 ID:KPnB.CH2
> 迷惑かしらん
>
>5568 :名無しさん:2016/08/17(水) 18:26:13 ID:???
> うるさい
>
>5569 :kmath1107★:2016/08/17(水) 21:46:32 ID:???
> 人への念の盗み見による介入を阻め。
>
>5571 :名無しさん:2016/08/17(水) 23:39:07 ID:???
> うるさい
>
>5576 :kmath1107★ :2016/08/18(木) 20:58:14 ID:???
> 人への念の盗み見による介入を阻め。
>
>5577 :名無しさん :2016/08/18(木) 21:05:02 ID:???
> >>5575
> うるさい
>
> >>5576
> 賛同致します
>
>5578 :kmath1107★ :2016/08/19(金) 08:46:22 ID:???
> 人への念の盗み見による介入を阻め。
>
> Re:>>5577 人への念の盗み見による介入が無くなれば世の不和が無くなるだろう.
>
>5582 :¥ ◆2VB8wsVUoo :2016/08/19(金) 08:53:36 ID:???
> 芳雄が理想とし、自ら体現する大学教授とは?
> 0.自分が『お教授である』という利点を徹底活用して、偉そうに振舞う。
> 1.年寄りや権威には擦り寄って顔色を窺い、ラクして損しない様にスル。
> 2.難しい分野や困難な研究テーマは徹底して避けて、努力を最小化する。
> 3.高い学歴とか権威を効率的に利用して、自分を飾って偉く見せ掛ける。
> 4.他人に見える部分だけを巧みに繕ってメッキし、人格者のフリをする。
> 5.相手のオツムの質を窺い、シッタカだけで見識がある様に見せ掛ける。
> 6.自分よりも優秀な人間は絶対に敵に回さないでヘラヘラと仲良くする。
> 7.自分から見てダメオツムな野郎は、上から目線で威圧して屈服させる。
> 8.大して中身が無いカラッポ知識を針小棒大に騒ぎ立て、蘊蓄を傾ける。
> 9.自分の大脳が働いてない低能ぶりは、口先で適当に誤魔化して逃げる。
>
> ¥
> ■ このスレッドは過去ログ倉庫に格納されています