- 1 名前：１３２人目の素数さん mailto:sage [2008/02/16(土) 07:56:57 ]
- 0個100円の品の単価はprice less.
過去ログ
なぜ０で割ってはいけないのか
cheese.2ch.net/math/kako/969/969622959.html
１÷０
cheese.2ch.net/math/kako/984/984469569.html
何で0で割っちゃいけないんだ？
science6.2ch.net/test/read.cgi/math/1088780048/
z=1/0強行採用のz案過去ログ
初代z案スレ（鯖落ち)
science.2ch.net/test/read.cgi/math/1052238638/
なぁz案って何よ？
science6.2ch.net/test/read.cgi/math/1053415908/
- 33 名前：１３２人目の素数さん [2008/02/22(金) 04:45:58 ]
- リーマン球面の拡張ってことはこれも任意の複素数zに対してz/0は同じになるのか？
- 34 名前：１３２人目の素数さん mailto:sage [2008/02/22(金) 10:02:51 ]
- 誰か>>13翻訳してくれ〜
- 35 名前：１３２人目の素数さん mailto: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 名前：１３２人目の素数さん mailto: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 名前：１３２人目の素数さん mailto: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]
- 38 名前：１３２人目の素数さん [2008/02/22(金) 20:27:47 ]
- >>35-37
乙！
分かりやすい説明ありがとう！
シンプルな定義で直観的な無限大や不定の取り扱いと一致するってのはなかなか気持ちいいね。
英wikiのゼロ除算のページに載ってる可零除な例ってこれだけだよね？
- 39 名前：１３２人目の素数さん [2008/02/22(金) 22:27:51 ]
- 無限小で割るから無限大だろ。
1/0＝∞
- 40 名前：１３２人目の素数さん mailto:sage [2008/02/22(金) 23:15:54 ]
- なにを今更
- 41 名前：１３２人目の素数さん mailto:sage [2008/02/23(土) 05:34:19 ]
- そう言い切れるのはRiemann sphereやWheels の上での話な
無限小∈0 but (¬(無限小∈0) & (無限小≠0))
- 42 名前：１３２人目の素数さん [2008/02/23(土) 09:17:42 ]
- >>37
環以外の構造はwheelにしちゃいけないの？
- 43 名前：35 mailto:sage [2008/02/23(土) 09:52:56 ]
- >>42
一般に wheel といったら演算 + * / が，ある関係を満たす
代数構造なので，環から構成する必要は全くありません．
なお，wheel が wheel of fraction と同型であるための
必要十分条件も調べられており（Theorem 3.15），具体的に
同型でないような例も述べられています（Example 4.1, 4.2）．
- 44 名前：１３２人目の素数さん mailto:sage [2008/02/23(土) 14:15:52 ]
- ん〜、私の学歴で見れた物じゃなかったか、ヤッパシ｡
∞+∞が不定なのはRiemann sphereも一緒？
- 45 名前：１３２人目の素数さん [2008/02/23(土) 16:44:38 ]
- >>43
wheel とwheel of fraction は同型とは限らないのか…
wheel of fraction で成り立つ規則を抜き出したのがwheel かと思ったから
必要条件はともかく十分条件は満たすものだと思った…
歴史的にはwheel of fraction の発見の方がwheel より先でいいんだよね？
- 46 名前：35 mailto:sage [2008/02/23(土) 17:16:24 ]
- >>45
私の書き方が悪かったです．
調べられているのは，ある wheel W が，適当な環 R の
wheel of fraction: frac(R) と同型であるための条件です．
もちろん wheels of fraction ⊂ wheels なので，十分ではあります．
歴史はよくわからないのですが，Martin-Lof が 1997 に
「分母に0がくる有理数定義したらどうよ」 と言い出し，
Setzer1997 が wheels of fractions を導入（同値関係定義），
さらに抽象化して wheel を定義．それらの性質を Carlstrom2001 が
色々調べた，ということになってるようです．
- 47 名前：１３２人目の素数さん [2008/02/23(土) 17:53:24 ]
- >>46
おお、こちらこそ誤読してすみません。
W = frac(R) を満たすRが存在するための条件ってことでいいのかな？
あとfrac(R) と書いた場合with respect to R-{0}でいいのかな？
- 48 名前：35 mailto:sage [2008/02/23(土) 18:07:41 ]
- >>47
そのとおりです．もちろん，イコールは同型の意味ですが．
frac(R) という記号は混同しないために書いた記号で，論文にはありません．
（該当するものを表す記号が論文に無かったので，便宜上使いました）
論文で wheel of fraction と書いた場合は，with respect to {Rの単元} の意味だそうです．
- 49 名前：１３２人目の素数さん mailto:sage [2008/02/23(土) 18:16:09 ]
- さて、偽逆数とは
976:１３２人目の素数さん :2008/02/11(月) 23:32:05
偽逆数や車輪論を使えば０で割れるらしいけど誰か解説して
- 50 名前：１３２人目の素数さん mailto:sage [2008/02/25(月) 23:09:35 ]
- …比のような自然な同値関係が定義（計算）できる？
自然な＝既知の場合を結ぶ高い対称性を実現する、
しかも同じ仕組みに別のものを組み入れた拡張版は
面白い振る舞いをする…か、すごいこと考えるなぁ。
- 51 名前：１３２人目の素数さん mailto:sage [2008/02/27(水) 14:56:48 ]
- >>50
へ？
- 52 名前：１３２人目の素数さん mailto:sage [2008/02/29(金) 15:54:10 ]
- >>37
斬新｡
『> x が "0" みたいなものでも不定でもないのに x/x で不定になる：
> [4,2]/[4,2] = [8,8] = [0,0]』
が特に｡
- 53 名前：１３２人目の素数さん mailto:sge [2008/03/02(日) 21:11:02 ]
- 6 * 0 = 0 ってことは
0 / 0 = 6 無理やりすぎるけど
ゼロをかけるってことは何が何でもゼロにしようとするが
ゼロで割るってことはどんな数でもあらゆる数にまたがってなろうとする数なんじゃないかなって
ゼロで割られた数は１でもあり２でもあり
でも変数ではなくて固定された数で
そんなのはないの？
- 54 名前：１３２人目の素数さん mailto:sage [2008/03/02(日) 21:27:54 ]
- >>53
直前のログ位読めよ
- 55 名前：零割蕎麦 ◆C2UdlLHDRI mailto:sage [2008/03/03(月) 20:31:40 ]
- うーん相変わらず読めん、何よこれ？cambridge…
キャムブリッヂ…
ん？ケンブリッジか。出所がケンブリッジって事か
CJO - Abstract - Wheels ? on division by zero
www.journals.cambridge.org/action/displayAbstract?fromPage=online&aid=198509
- 56 名前：１３２人目の素数さん mailto:sage [2008/03/06(木) 13:42:39 ]
- >>35
＞ そこで，Z×Z に次の同値関係を入れる：
＞ [x,y] 〜 [x',y'] iff ∃s,s' ∈ S, (sx,sy) = (s'x',s'y')
の S として、下の例では S=Z-｛0｝を選んだって事？
＞ Z 上で wheel を構成すると色々と簡単になって，
＞ たとえば [0,1] = [0,2] = ... や [1,0] = [2,0] = ... が成立する．
- 57 名前：１３２人目の素数さん mailto:sage [2008/03/06(木) 13:53:47 ]
- >>56 そうだろうね
- 58 名前：１３２人目の素数さん mailto:sage [2008/03/06(木) 18:51:04 ]
- >>57
ありがとう。となると、[1,0]はリーマン球面の無限大みたいなもんか。しかしうまく出来ているな。
- 59 名前：１３２人目の素数さん mailto:sage [2008/03/15(土) 16:05:50 ]
- Wheel Theoryの提示以来、良スレ化しとる
- 60 名前：１３２人目の素数さん mailto:sage [2008/03/17(月) 02:10:32 ]
- >>6もまた一つのz案であり
>>13もまた一つの超z案だな
- 61 名前：１３２人目の素数さん mailto:sage [2008/04/13(日) 09:57:22 ]
- ↓Wheel theoryじゃないけど
35:１３２人目の素数さん :2008/04/12(土) 19:29:54 [sage]
＞０÷０＝？
win 付属の電卓にて
「関数の結果が定義されてません。」です。。。
36:１３２人目の素数さん :2008/04/12(土) 19:43:50 [sage]
優秀な電卓だなw
- 62 名前：１３２人目の素数さん mailto:sage [2008/04/14(月) 11:48:19 ]
- >>61
何が言いたいんだ？
- 63 名前：１３２人目の素数さん mailto:sage [2008/04/30(水) 21:06:42 ]
- >>21-22
>>18や>>24見ると…kingが言ってた事ってリーマン球面じゃないの？
ja.wikipedia.org/wiki/%E3%83%AA%E3%83%BC%E3%83%9E%E3%83%B3%E7%90%83%E9%9D%A2
- 64 名前：１３２人目の素数さん mailto:sage [2008/05/03(土) 00:04:29 ]
- Indeterminate って言ってるんだからRiemann Sphere じゃなくてWheels of Fraction の方だろう。
そもそもking がRiemann Sphere くらい知らないわけなかろう。
- 65 名前：１３２人目の素数さん mailto:sage [2008/05/03(土) 00:39:23 ]
- わざわざ Wikipedia 貼っているが、どこも king が Riemann sphere を
知らないのではないかと言う様な書き込みは無いな
- 66 名前：１３２人目の素数さん mailto:sage [2008/05/03(土) 01:48:59 ]
- Riemann Sphere を知っているのにRiemann Sphere を他の物と勘違いできるわけがなかろう。
- 67 名前：１３２人目の素数さん [2008/05/06(火) 00:51:13 ]
- age
- 68 名前：１３２人目の素数さん [2008/05/06(火) 20:24:17 ]
- VIPからきませんでした
- 69 名前：１３２人目の素数さん mailto:sage [2008/05/13(火) 13:46:18 ]
- >>68
【審議中】
∧,,∧ ∧,,∧
∧ (´・ω・) (・ω・｀) ∧∧
( ´・ω) Ｕ) ( つと ﾉ(ω・｀ )
｜ Ｕ ( ´・) (・｀ ) と ﾉ
ｕ-ｕ （l ) ( ﾉu-ｕ
`ｕ-ｕ'. `ｕ-u'
- 70 名前：１３２人目の素数さん mailto:sage [2008/05/14(水) 23:06:40 ]
- 審議開始まで長いな
- 71 名前：１３２人目の素数さん [2008/05/18(日) 09:32:01 ]
- age
- 72 名前：１３２人目の素数さん [2008/06/29(日) 13:37:20 ]
- ０で割る
は、数式全体もしくは、「前提条件のひとつ」を否定しているからでは？
- 73 名前：１３２人目の素数さん mailto:sage [2008/06/29(日) 15:35:31 ]
- ログ嫁
- 74 名前：１３２人目の素数さん [2008/07/04(金) 02:32:30 ]
- つw すかし おめーら
バカばっかですし
- 75 名前：１３２人目の素数さん [2008/07/04(金) 02:54:32 ]
- ０は数字であって数字であらず
分かるか
- 76 名前：１３２人目の素数さん mailto:sage [2008/07/04(金) 03:35:20 ]
- 0は数字だが・・・
0までいれちゃうと加法に関してアーベル群なさなくなっちゃうから
- 77 名前：１３２人目の素数さん mailto:sage [2008/07/04(金) 03:35:41 ]
- 加法じゃない、乗法だ
- 78 名前：粋蕎 ◆C2UdlLHDRI mailto:sage [2008/07/04(金) 05:47:57 ]
- >>13からの流れは見とらんのかの？儂と違って折角解る頭あるというのに｡
何も自然数論に限った話にせずとも良い｡
- 79 名前：１３２人目の素数さん [2008/07/04(金) 06:41:47 ]
- mod 0
- 80 名前：１３２人目の素数さん mailto:sage [2008/07/06(日) 19:29:03 ]
- そのうちインド人が０で割る方法を発見してくれるさ。
- 81 名前：１３２人目の素数さん mailto:sage [2008/07/07(月) 20:11:21 ]
- >> 80
対応するとしたら順序数っぽいが。表記どうなるんだ?
- 82 名前：１３２人目の素数さん [2008/08/06(水) 21:56:26 ]
- int 0
- 83 名前：１３２人目の素数さん mailto:sage [2008/08/06(水) 22:40:48 ]
- int 0か、それだと無限小の意味は含まれなくなるな
- 84 名前：１３２人目の素数さん mailto:sage [2008/08/06(水) 22:44:35 ]
- >>64
誰もkingがRiemann球面を知らないのでは、なんて書いてないな
20:粋蕎 ◆C2UdlLHDRI 2008/07/27(日) 09:18:33 [sage]
861:1stVirtue ◆.NHnubyYck 2007/11/06(火) 00:25:25
一点コンパクト化の無限遠点と決定不能という元を付け加えて全て四則演算できる様にする。(MathematicaではComplexInfinity と Indeterminantである｡)
862:1stVirtue ◆.NHnubyYck 2007/11/06(火) 00:27:41
ComplexInfinity と Indeterminate だった｡
22:1stVirtue ◆.NHnubyYck 2008/07/27(日) 11:02:56
Reply:>> 19 早く国賊と心中しろ｡
Reply:>> 20 0でない複素数を w とし、一般の複素数をzとする。z+∞=∞+z=∞, 0∞=∞0=Indeterminate, ∞w=w∞=∞∞=∞, w/0=∞, 0/0=Indeterminate, z/∞=0, ∞/∞=Indeterminate. Indeterminate を含む加減乗除は Indeterminate.
23:1stVirtue ◆.NHnubyYck 2008/07/27(日) 11:03:49
Reply:>> 20
∞+∞=Indeterminate.
これなんてRiemann球面だ？
- 85 名前：１３２人目の素数さん [2008/08/11(月) 22:24:54 ]
- kingの頭を0で割ったらどうなるか。
- 86 名前：１３２人目の素数さん mailto:sage [2008/08/11(月) 22:30:52 ]
- それでも尚、kingは無限低位の0なので、0である
- 87 名前：1stVirtue ◆.NHnubyYck [2008/08/11(月) 22:33:05 ]
- Reply:>>84 なんてとは何か。
Reply:>>85-86 お前は何をたくらんでいる。
思考盗聴で個人の生活に介入する奴は早く永久停止したほうがよい。
- 88 名前：１３２人目の素数さん mailto:sage [2008/08/11(月) 23:57:24 ]
- kingの頭をInt 0で割ったらどうなるか
- 89 名前：１３２人目の素数さん mailto:sage [2008/08/12(火) 00:22:22 ]
- kingもInt 0なので不定
いや、kingは何をしても特別にInt 0なのでInt 0
king / king も特別に0
- 90 名前：１３２人目の素数さん mailto:sage [2008/08/12(火) 09:52:28 ]
- >>89
＞ king / king も特別に0
じゃなくて
king / king も特別にInt 0
だろ
詰まり、kingには手の施し様の無い、と
0脳力…無脳力…無能力…
∴ kingは無知無能
- 91 名前：1stVirtue ◆.NHnubyYck [2008/08/12(火) 10:21:37 ]
- Reply:>>88 お前の頭は割れているのか。
Reply:>>89-90 お前は何をしようとしている。
- 92 名前：１３２人目の素数さん mailto:sage [2008/08/13(水) 01:28:12 ]
- つまり kingが絶対不変に無知で絶対不変に無能である事が示唆される
- 93 名前：1stVirtue ◆.NHnubyYck [2008/08/13(水) 12:00:17 ]
- Reply:>>92 早く国賊と心中しろ。
- 94 名前：１３２人目の素数さん [2008/08/13(水) 12:01:21 ]
- kingは国賊ではないのか。
- 95 名前：１３２人目の素数さん mailto:sage [2008/08/13(水) 12:45:15 ]
- 絶対無能king
- 96 名前：粋蕎 ◆C2UdlLHDRI mailto:sage [2008/08/13(水) 13:05:06 ]
- 御主等、何をしている
>>13読まんかい!!
因みに>>14のレスに語弊あるが>>13も儂じゃ
- 97 名前：1stVirtue ◆.NHnubyYck [2008/08/13(水) 14:00:04 ]
- Reply:>>94 お前に何がわかるというのか。
Reply:>>95 早く国賊と心中しろ。
思考盗聴で個人の生活に介入する奴は早く永久停止したほうがよい。
- 98 名前：１３２人目の素数さん [2008/08/13(水) 14:02:20 ]
- >>97
kingは国賊なのか国賊ではないのかどちらだ。
- 99 名前：1stVirtue ◆.NHnubyYck [2008/08/13(水) 18:36:55 ]
- 思考盗聴で個人の生活に介入する奴は早く永久停止したほうがよい。
Reply:>>98 1stVirtue王国とそれ以外の私の周りにある国とどっちが将来性あるか。
- 100 名前：１３２人目の素数さん [2008/08/13(水) 18:48:46 ]
- >>99
すなわち、kingは日本国を敵に回すことになりから国賊なのだろう。
- 101 名前：粋蕎 ◆C2UdlLHDRI mailto:sage [2008/08/13(水) 18:49:31 ]
- いい加減にせんかい
kingスレでやれ
- 102 名前：１３２人目の素数さん mailto:sage [2008/08/13(水) 18:55:59 ]
- 最近どのスレもこんな流れだな
kingも煽ってるやつも専用スレでやれ
- 103 名前：1stVirtue ◆.NHnubyYck [2008/08/13(水) 21:53:52 ]
- Reply:>>100 お前の非同胞は敵しかいないのか。
Reply:>>101-102 私を呼んでないか。
- 104 名前：１３２人目の素数さん mailto:sage [2008/08/15(金) 22:41:59 ]
- 実数射影直線上に於いて
| 1 / 0 | = ∞
1 / 0 = ± ∞
- 105 名前：１３２人目の素数さん mailto:sage [2008/08/25(月) 19:57:24 ]
- では、以上の結果を以て
[a^2-b^2=(a+b)(a-b)]&[b=a]
⇒a^2-a^2=(a+a)(a-a)
⇒a(a-a)=2a(a-a)
⇒a=2a ?
⇒1=2 ??
の不合理を回避せよ｡
- 106 名前：１３２人目の素数さん [2008/09/06(土) 00:51:41 ]
- 難い
- 107 名前：１３２人目の素数さん [2008/09/06(土) 08:03:05 ]
- ∞ + 1 = ∞
∴ 1 = 0
- 108 名前：１３２人目の素数さん [2008/09/12(金) 13:41:09 ]
- 良スレだと思うのだが。
kingのような真性精神異常者の発狂暴走が、板を廃退させているのだ。
今すぐ病院へ行けよ。
板の廃退もたらした元凶が、kingにあるといえる。
kingは荒らすのやめてくれ、精神異常者は必要無い。
- 109 名前：１３２人目の素数さん [2008/09/12(金) 14:22:31 ]
- 一通り叩いたら後はスルーが得策
- 110 名前：KingMind ◆KWqQaULLTg [2008/09/12(金) 15:01:44 ]
- Reply:>>108-109 お前はどこの工作員か。
- 111 名前：１３２人目の素数さん [2008/09/12(金) 20:10:17 ]
- tan90ﾟ=tanπ/2=？
- 112 名前：１３２人目の素数さん [2008/09/12(金) 21:37:15 ]
- >>110
工作員ではなく常識的な人なら誰しもそう思うものだ。
- 113 名前：１３２人目の素数さん mailto:sage [2008/09/12(金) 22:02:56 ]
- >>111
射影的には>>104が示す方法だと
| tan90ﾟ | = | tanπ/2 | = ∞
と考えられそうだが
>>105が示す様な論理的矛盾も怖い
- 114 名前：KingMind ◆KWqQaULLTg [2008/09/13(土) 05:17:12 ]
- Reply:>>112 おまえはなぜ工作員をやめない。
- 115 名前：１３２人目の素数さん [2008/09/13(土) 15:09:09 ]
- >>114
そう思うなら早く病院に行ったほうがよい。
- 116 名前：KingMind ◆KWqQaULLTg [2008/09/13(土) 15:20:42 ]
- Reply:>>115 お前はいつまで工作員を続ける気か。
- 117 名前：１３２人目の素数さん [2008/09/13(土) 16:20:29 ]
- マジレスだが、kingは荒らすのやめてくれ。
２ちゃんには工作員なんて、本当にいないんだよ。
誇大妄想や被害妄想は、精神疾患の症状なんだよ。
- 118 名前：KingMind ◆KWqQaULLTg [2008/09/13(土) 18:02:53 ]
- Reply:>>117 悪人を助長する行為をやめろ。
- 119 名前：１３２人目の素数さん mailto:sage [2008/09/13(土) 18:06:43 ]
- >>118
そう思うなら早く病院に行ったほうがよい。
- 120 名前：KingMind ◆KWqQaULLTg [2008/09/13(土) 18:28:48 ]
- Reply:>>119 そこにも陰謀が関わっているから注意せよ。
- 121 名前：１３２人目の素数さん mailto:sage [2008/10/01(水) 21:46:45 ]
- Wheel Theory＝z案の具体化か
- 122 名前：粋蕎 ◆C2UdlLHDRI [2008/10/02(木) 16:13:23 ]
- そう言える様な言えない様な、分からん
- 123 名前：１３２人目の素数さん mailto:sage [2008/10/02(木) 16:59:43 ]
- 車輪の0/0って半群の0の添加みたいなもんか
- 124 名前：１３２人目の素数さん mailto:sage [2008/10/31(金) 00:27:15 ]
- >>123 kingに聞いたら宜しい
- 125 名前：KingMind ◆KWqQaULLTg [2008/10/31(金) 12:25:19 ]
- Reply:>>123 環にははじめから零元がある。
Reply:>>124 私を呼んでないか。
- 126 名前：１３２人目の素数さん mailto:sage [2008/10/31(金) 16:14:46 ]
- ringが環（かん）なのだから
wheelは輪（りん）と呼んだほうが語呂がいいな
- 127 名前：１３２人目の素数さん mailto:sage [2008/10/31(金) 17:45:01 ]
- >>125
＞ Reply:>>123 環にははじめから零元がある。
零の添加を知らないのか
- 128 名前：KingMind ◆KWqQaULLTg [2008/10/31(金) 17:50:23 ]
- Reply:>>127 Wheel は ring からできている。Ring にははじめから0がある。
- 129 名前：１３２人目の素数さん mailto:sage [2008/10/31(金) 17:51:50 ]
- >>128
＞ Reply:>>127 Wheel は ring からできている。Ring にははじめから0がある。
やはり零の添加を知らないんだな
- 130 名前：KingMind ◆KWqQaULLTg [2008/10/31(金) 17:53:58 ]
- Reply:>>129 Semi-group には単位元があるとは限らないが、単位元がなくても追加できる。
- 131 名前：１３２人目の素数さん mailto:sage [2008/10/31(金) 17:55:59 ]
- >>130
あってもね
- 132 名前：KingMind ◆KWqQaULLTg [2008/10/31(金) 17:57:57 ]
- Reply:>>131 Semi-groupに単位元が存在するとき、単位元は一意に存在する。
- 133 名前：KingMind ◆KWqQaULLTg [2008/10/31(金) 18:02:40 ]
- 延長すると単位元だったものが単位元でなくなる例もありうることに気がついた。
|
 |
