■ このスレッドは過去ログ倉庫に格納されています
3元数できたよ
- 1 :オガワン:2016/11/30(水) 15:36:19.74 ID:KtSRL/6P.net
- http://ogawapc.myhome.cx/3gensuu.htm
どーだ。すごいだろ。
- 2 :¥ ◆2VB8wsVUoo :2016/11/30(水) 15:48:25.92 ID:xXCVnO0M.net
- ¥
- 3 :¥ ◆2VB8wsVUoo :2016/11/30(水) 15:48:44.89 ID:xXCVnO0M.net
- ¥
- 4 :¥ ◆2VB8wsVUoo :2016/11/30(水) 15:49:02.69 ID:xXCVnO0M.net
- ¥
- 5 :¥ ◆2VB8wsVUoo :2016/11/30(水) 15:49:19.72 ID:xXCVnO0M.net
- ¥
- 6 :¥ ◆2VB8wsVUoo :2016/11/30(水) 15:49:36.94 ID:xXCVnO0M.net
- ¥
- 7 :¥ ◆2VB8wsVUoo :2016/11/30(水) 15:49:53.15 ID:xXCVnO0M.net
- ¥
- 8 :¥ ◆2VB8wsVUoo :2016/11/30(水) 15:50:13.40 ID:xXCVnO0M.net
- ¥
- 9 :¥ ◆2VB8wsVUoo :2016/11/30(水) 15:50:30.93 ID:xXCVnO0M.net
- ¥
- 10 :¥ ◆2VB8wsVUoo :2016/11/30(水) 15:50:50.69 ID:xXCVnO0M.net
- ¥
- 11 :132人目の素数さん:2016/12/05(月) 23:26:42.18 ID:BnVM9HYJ.net
- >>1
(i_1)^2=(i_1)(i_2)だとすると、
(i_1)((i_1)-(i_2))=0
つまり、
(i_1)=0 または (i_1)=(i_2)
のいずれかが成り立ってしまうことにならないか?
- 12 :132人目の素数さん:2016/12/05(月) 23:48:57.06 ID:QWT0oSxS.net
- 整域じゃなければいいんだろ?
- 13 :¥ ◆2VB8wsVUoo :2016/12/06(火) 05:34:47.25 ID:3m1l5M8t.net
- ¥
- 14 :¥ ◆2VB8wsVUoo :2016/12/06(火) 05:35:06.15 ID:3m1l5M8t.net
- ¥
- 15 :¥ ◆2VB8wsVUoo :2016/12/06(火) 05:35:24.10 ID:3m1l5M8t.net
- ¥
- 16 :¥ ◆2VB8wsVUoo :2016/12/06(火) 05:35:42.21 ID:3m1l5M8t.net
- ¥
- 17 :¥ ◆2VB8wsVUoo :2016/12/06(火) 05:36:00.40 ID:3m1l5M8t.net
- ¥
- 18 :¥ ◆2VB8wsVUoo :2016/12/06(火) 05:36:17.26 ID:3m1l5M8t.net
- ¥
- 19 :¥ ◆2VB8wsVUoo :2016/12/06(火) 05:36:36.06 ID:3m1l5M8t.net
- ¥
- 20 :¥ ◆2VB8wsVUoo :2016/12/06(火) 05:36:52.02 ID:3m1l5M8t.net
- ¥
- 21 :¥ ◆2VB8wsVUoo :2016/12/06(火) 05:37:08.70 ID:3m1l5M8t.net
- ¥
- 22 :¥ ◆2VB8wsVUoo :2016/12/06(火) 05:37:26.11 ID:3m1l5M8t.net
- ¥
- 23 :132人目の素数さん:2016/12/06(火) 22:30:22.54 ID:yLLTIzqy.net
- 〉11
0虚数ってのがあって、
AB=0
のとき
Aは0虚数またはBは0虚数ってなるようだね。
- 24 :132人目の素数さん:2016/12/07(水) 00:22:19.71 ID:vUrhtd7f.net
- なら0虚数なるものの全体で「割る」と体になったりするん?
- 25 :132人目の素数さん:2016/12/07(水) 00:23:58.40 ID:vUrhtd7f.net
- あ、体というとまずいか
非結合斜体ね
- 26 :¥ ◆2VB8wsVUoo :2016/12/07(水) 02:46:16.33 ID:Iqa2CKaU.net
- ¥
- 27 :¥ ◆2VB8wsVUoo :2016/12/07(水) 02:46:34.34 ID:Iqa2CKaU.net
- ¥
- 28 :¥ ◆2VB8wsVUoo :2016/12/07(水) 02:46:51.68 ID:Iqa2CKaU.net
- ¥
- 29 :¥ ◆2VB8wsVUoo :2016/12/07(水) 02:47:10.41 ID:Iqa2CKaU.net
- ¥
- 30 :¥ ◆2VB8wsVUoo :2016/12/07(水) 02:47:29.99 ID:1OWUkAqJ.net
- ¥
- 31 :¥ ◆2VB8wsVUoo :2016/12/07(水) 02:47:51.63 ID:1OWUkAqJ.net
- ¥
- 32 :¥ ◆2VB8wsVUoo :2016/12/07(水) 02:48:10.29 ID:1OWUkAqJ.net
- ¥
- 33 :¥ ◆2VB8wsVUoo :2016/12/07(水) 02:48:31.46 ID:1OWUkAqJ.net
- ¥
- 34 :¥ ◆2VB8wsVUoo :2016/12/07(水) 02:48:48.53 ID:1OWUkAqJ.net
- ¥
- 35 :¥ ◆2VB8wsVUoo :2016/12/07(水) 02:49:07.57 ID:1OWUkAqJ.net
- ¥
- 36 :132人目の素数さん:2016/12/07(水) 05:36:42.11 ID:dLtrWivA.net
- 環、体の主な要件のうちの零因子と結合則以外は満たすと思うんだけど、この場合何て呼べばいいんだろう?
- 37 :¥ ◆2VB8wsVUoo :2016/12/07(水) 05:54:45.93 ID:1OWUkAqJ.net
- ¥
- 38 :¥ ◆2VB8wsVUoo :2016/12/07(水) 10:53:48.33 ID:1OWUkAqJ.net
- ¥
- 39 :¥ ◆2VB8wsVUoo :2016/12/07(水) 10:54:06.27 ID:1OWUkAqJ.net
- ¥
- 40 :¥ ◆2VB8wsVUoo :2016/12/07(水) 10:54:23.06 ID:1OWUkAqJ.net
- ¥
- 41 :¥ ◆2VB8wsVUoo :2016/12/07(水) 10:54:40.65 ID:1OWUkAqJ.net
- ¥
- 42 :¥ ◆2VB8wsVUoo :2016/12/07(水) 10:54:57.71 ID:1OWUkAqJ.net
- ¥
- 43 :¥ ◆2VB8wsVUoo :2016/12/07(水) 10:55:20.50 ID:1OWUkAqJ.net
- ¥
- 44 :¥ ◆2VB8wsVUoo :2016/12/07(水) 10:55:37.43 ID:1OWUkAqJ.net
- ¥
- 45 :¥ ◆2VB8wsVUoo :2016/12/07(水) 10:55:54.73 ID:1OWUkAqJ.net
- ¥
- 46 :¥ ◆2VB8wsVUoo :2016/12/07(水) 10:56:11.12 ID:1OWUkAqJ.net
- ¥
- 47 :132人目の素数さん:2016/12/10(土) 02:20:53.54 ID:FE0DQws8.net
- i≠j,i^2=j^2=ij=ji=-1
z=(0+ai+bj)
zi=(0+ai+bj)(0+i+0j)=-a-b
-z=(-a-b)(0+i+0j)=-ai-bi
z=-(-ai-bi)=ai+bi
- 48 :132人目の素数さん:2016/12/10(土) 03:04:02.47 ID:BwtxsKEK.net
- >>36
Quasifield
https://en.wikipedia.org/wiki/Quasifield
- 49 :132人目の素数さん:2016/12/10(土) 12:51:55.94 ID:EwJXdigN.net
- 〉〉47
途中、左辺のziには()が付く。(ノートにも書いてある)
(zi)となって、(zi)iとなるわけだけど、
ziは計算できるから、−zにはならない。
- 50 :132人目の素数さん:2016/12/10(土) 15:28:11.75 ID:s+wzPyPU.net
- >>48
日本語でおk
- 51 :132人目の素数さん:2016/12/10(土) 19:05:16.78 ID:HlHosBcz.net
- >>49
カッコの順番を (zi)i=z(ii) と変更できないのであれば、
それはつまり
「積演算に関して結合法則すら成り立たっていない」
ということであり、数の体系としてはゴミだな。
誰も使わんよこんな欠陥品。なーにが3元数だよ。
- 52 :132人目の素数さん:2016/12/10(土) 19:10:11.86 ID:BwtxsKEK.net
- >>51
Non-associative algebra
https://en.wikipedia.org/wiki/Non-associative_algebra
- 53 :132人目の素数さん:2016/12/11(日) 21:53:45.25 ID:nrojVksL.net
- 3次元の数ベクトルに成分ごとの和、ベクトル積を入れたものは、3元数の一種じゃないか
- 54 :132人目の素数さん:2016/12/12(月) 05:06:50.00 ID:v2RLZJjY.net
- >>53
ベクトル積の逆演算は定義不能。かんにはなるけどね。
小川の3元数は可徐。
- 55 :132人目の素数さん:2016/12/13(火) 16:12:24.11 ID:9UbI/Sfu.net
- >>53
それはリー代数とよばれる高級な3元数です
ちなみに対応するリー群はなんでしょう?
- 56 :132人目の素数さん:2016/12/13(火) 21:20:17.74 ID:bQxpsxiF.net
- >>48
斜体ってことは、3元数体って言えるってことかな。
閉じた4則できるから広義には体って分かるけど、
細かく言った場合に分類が謎なんだよな。
可徐交代代数の分類にも微妙に入らないしな。
零因子があって非可結で閉じた4則ができる
って何に分類されるんだろう。
広義には体、おおまかには斜体、さらに
細かくみていったときに何だ?
- 57 :132人目の素数さん:2016/12/13(火) 21:44:50.11 ID:vK/bCp70.net
- 斜体はskew-fieldの訳語であって、quasifieldのことではない
quasifieldは斜体よりもっとマイナーな概念だと思われる
- 58 :132人目の素数さん:2016/12/13(火) 22:21:06.50 ID:bQxpsxiF.net
- >>57
日本語でこれだってのないのかな?(´・ω・`)
>零因子があって非可結で閉じた4則ができる
- 59 :132人目の素数さん:2016/12/13(火) 22:30:10.66 ID:vK/bCp70.net
- 数学ではquasi-を「準」と訳すことがある
例:quasinorm (準ノルム)
quasifieldがマイナーな概念のため、準体という日本語は寡聞にして知らないが…
- 60 :132人目の素数さん:2016/12/14(水) 07:44:48.10 ID:v4AKppdF.net
- 擬と訳すこともある(quasi-isomorphism:擬同型)
もちろん擬体なんて用語は聞いたこともないが
- 61 :132人目の素数さん:2016/12/14(水) 12:03:15.07 ID:aH4pK+Qy.net
- 新しい代数だから日本語で分類ないのかな。
ところでよ、この閉じた四則のできる3元数って今までなかったと思うんだけど、今回発見してよ何か賞もらえるかな?くれくれくれ!
なにがしか条件が前提されてるんだろうけど、無いとまで証明されてるものがあったんだから何か賞のひとつでも欲しいんだけど、どう思う?今まで発見されなかったのも不思議だけどな。
- 62 :132人目の素数さん:2016/12/14(水) 12:35:02.65 ID:8w7LjWrM.net
- 新しいからではなく、性質が悪く役に立たないマイナーな代数系だからよく知られた訳語がない
結合法則等の成り立つ性質の良い3元数が存在しないことが証明されているのであり、君の発見とは無関係
- 63 :132人目の素数さん:2016/12/14(水) 15:45:30.23 ID:RyZnCIWV.net
- >>62
ネガティブだなぁ。嫉妬かい?
(°▽°)
- 64 :132人目の素数さん:2016/12/14(水) 15:51:15.94 ID:Y4hALjBW.net
- アホだよ
- 65 :132人目の素数さん:2016/12/14(水) 16:09:05.48 ID:WhvzMfk+.net
- 角の三等分屋と同じくそもそもの前提から理解できてないんだよな
ないと言われてるものを発見したのではなくまったく見当違いのものを出してきただけなのに
- 66 :132人目の素数さん:2016/12/14(水) 17:50:27.21 ID:RyZnCIWV.net
- >>65
詳しく頼む。( ・∇・)
- 67 :132人目の素数さん:2016/12/14(水) 20:30:38.59 ID:GqEMAE3p.net
- >>1
1/iの分母と分子に、左からiをかけると、
1/i=i/(i^2)=i/(-1)=-i
また、1/iの分母と分子に、左からjをかけると、
1/i=j/(ji)=j/(-1)=-j
すると、-i=-j
つまり、i=jにならないか?
- 68 :132人目の素数さん:2016/12/14(水) 21:57:06.82 ID:v4AKppdF.net
- >1/iの分母と分子に、左からjをかけたら
可換じゃない、終了
- 69 :132人目の素数さん:2016/12/14(水) 22:13:24.47 ID:aH4pK+Qy.net
- >>67
1/i=-i(前段の結果)
だから
j/j*1/i=j/j*-i=1/j
なんつうかな、前段の演繹の結果を
使わなきゃいけないんじゃないの?
またって言って無視するのは不自然じゃね。
なので結局、
1/i=1/jではなくて、ここでも前段の結果を
使って
-i=1/j
となる。
- 70 :132人目の素数さん:2016/12/14(水) 22:41:12.31 ID:/KpeJJBm.net
- >>61, >>63
マジレスすると、論文にしてどこかの数学誌に投稿し、
アクセプトされるのが最初の一歩。
なぜなら、事務的な話として、数学における「賞」は
アクセプトされた論文だけが対象だからだ。
2ch の場末のスレで「賞が欲しい」なんて言ってみたところで、
決して誰も動かない。君自身が動くのだ。
なので、本当に「賞」が欲しいのなら、
まずは論文にしてどこかの数学誌に投稿すること。
それを面倒くさがるようでは、「賞」なんぞ口にする資格もない。
- 71 :132人目の素数さん:2016/12/14(水) 22:48:47.57 ID:/KpeJJBm.net
- >>61, >>63
一応付け加えておくが、査読なしで何でもかんでもアクセプトする
アホな雑誌では「賞」の対象になりえないので、査読つきの雑誌に
きちんと投稿すること。
また、査読つきを謳っていても、実際には何でもかんでもアクセプトして
高額な掲載料だけ徴収していく悪質な雑誌も存在するので、
そういうところには投稿しないこと。
- 72 :132人目の素数さん:2016/12/15(木) 05:45:28.69 ID:Ph/KjtSJ.net
- >>67
>>69は間違った計算例にしといて。ごめんね。改めて、
1/iは先に導出した複複素数の計算則によると-iになる。
また、i/iは逆数との積なので()が付く。よって、
(i/i)*-i=-i
(j/j)*-i=-i
となります。
- 73 :132人目の素数さん:2016/12/15(木) 20:14:14.14 ID:Ph/KjtSJ.net
- 話題投下
3元数がないことの証明の穴
ij=a+bi+cj a,b,cは実数
と表せると仮定します。
両辺に左からiをかけると
-j=ai-b+c(a+bi+cj)
以下略。
ここだ!この演繹はjが入ってるから複複素数の計算をしていることになるんだが、実際は成り立たない結合則を使ってる!
なので、アウトッ( ̄▽ ̄;)
- 74 :132人目の素数さん:2016/12/15(木) 23:11:27.19 ID:gaOdvUz4.net
- >>73
それは穴でも何でもないよ。「3元数は存在しない」ってのは、
結合法則などの良い性質を満たす代数系としての3元数は
存在しえないっていう意味だからね。
ただ単に3つの元から生成されれば結合法則すら捨ててもよいっていう
荒唐無稽な代数系でよければ、いくらでも作れるんだよ。
なぜなら、実際に何でもいいから作ってしまって、その体系で
どんな法則が成り立つかは後からチェックすればいいわけだからね。
結合法則が成り立つならラッキーな話で、仮に成り立たなくても、
「この体系では成り立ちません」と言ってしまえば、
それで一応は体裁が保てるわけよ。
でも、くだらないでしょ、そんなの。
>>1がやってるのも同じことなんだよ。
くだらないの。とても くだらないの。
ネガティブとかポジティブとかじゃなくてさ、くだらないのよ。
何でもいいから代数形が作れることが重要なのではなくて、
良い性質を持つ代数系が作れることが重要なの。
こういうのは、良い性質を持つように作れなかった時点で
完全に「終わっている」話なんだよ。
- 75 :132人目の素数さん:2016/12/16(金) 12:11:52.46 ID:fa+LdRbz.net
- そもそも結合法則が成立するほうが特殊だからな
- 76 :kumahanter777:2016/12/16(金) 15:35:41.06 ID:7LAf57Pw.net
- 天才数学者。
chiebukuro.yahoo.co.jp/my/kumahanter777
- 77 :132人目の素数さん:2016/12/16(金) 16:29:36.93 ID:6PJNrZmN.net
- >>73
それが前提そのものをお前が理解できてないことの証左ってことだぞ
- 78 :132人目の素数さん:2016/12/16(金) 17:16:59.04 ID:tkIFyUlF.net
- 結合君に聞きたいんだけど、
可徐代数の定義に結合則って入ってる?
- 79 :132人目の素数さん:2016/12/16(金) 17:48:57.44 ID:ZkmgHHzv.net
- 四元数から構成の仕方を真似したら
クソみたいな代数系でてきたわ
って悟ってみんなが捨ててるテーマを
誇らしげに話したあげく賞くれとか数学者舐めんな
- 80 :132人目の素数さん:2016/12/16(金) 20:01:47.53 ID:tkIFyUlF.net
- 実数体上3次元の可換で非結合な多元体
ホップの定理の反例じゃん。
- 81 :132人目の素数さん:2016/12/16(金) 20:30:07.08 ID:z7mMCLYV.net
- そもそも0虚数は一意的なものではない
- 82 :132人目の素数さん:2016/12/16(金) 22:12:04.45 ID:tkIFyUlF.net
- >>81
で?
- 83 :132人目の素数さん:2016/12/17(土) 00:27:21.16 ID:IcJiaDo6.net
- 三元数ならぬ三幻数とかだったんだろう
- 84 :132人目の素数さん:2016/12/17(土) 05:43:52.71 ID:z4YGEkkD.net
- 三元関数論から始めて多変数三元関数論とかやってみろよ
- 85 :132人目の素数さん:2016/12/17(土) 09:22:58.46 ID:U2tPROWf.net
- >>80
>>1の体系は零因子を持つので完全な体ではなく、
特に「多元体」ではないので、ホップの定理の反例にはならない
ただのゴミだよ
- 86 :132人目の素数さん:2016/12/17(土) 10:00:45.15 ID:C9LYkNjT.net
- なるほどね、諸々の定義が0虚数に対して拡張されないと何も語れないぽ。零元ではない云々のくだりが0虚数ではない云々と拡張されないと何も語れないんだな。0虚数の性質からそれは自然な拡張となると分かると思うけど。
小川の3元数は現代数学の範疇越えてるんだな。驚きだ。
- 87 :132人目の素数さん:2016/12/17(土) 10:05:08.37 ID:C9LYkNjT.net
- >>85
零因子って言っても、0虚数の場合、これとの積が何でも0になるわけではないよ。だから、多元体の定義が0虚数に対して自然に拡張されれば、多元体と言えると思う。
- 88 :132人目の素数さん:2016/12/17(土) 10:08:27.77 ID:U2tPROWf.net
- >>86
自演乙。
お前が0虚数と呼んでいるものは数学では「零因子」と
呼ばれるものであり、現代数学の範囲で完全に語れるものなの。
その上でゴミだって言ってるの。
拡張がどうとかの話じゃないの。ゴミなの。
良い性質を持ってないことを「拡張」とかいう言葉で誤魔化すな。
こんなゴミにしがみついて賞だの何だの
バカな妄想を抱いてないで目を覚ませよキチガイ。
- 89 :132人目の素数さん:2016/12/17(土) 10:13:42.85 ID:U2tPROWf.net
- >>87
>零因子って言っても、0虚数の場合、これとの積が何でも0になるわけではないよ。
お前は零因子の定義を勘違いしている。
積が0になるような非零元が1つでも存在するものが零因子と呼ばれるのであって、
「なんでもかんでも積が0にならなければ零因子とは呼ばない」
というわけではない。よって、0虚数は現代数学で言うところの「零因子」そのものであり、
普通に現代数学で語れる内容に過ぎない。
>だから、多元体の定義が0虚数に対して自然に拡張されれば、多元体と言えると思う。
詭弁だな。
良い性質がないからと言って、「多元体」の定義の方を弄ろうとしても無意味。
多元体の定義を変更したところで、>>1のようなゴミが良い性質を持っているわけではないのだから。
目を覚ませキチガイ。こんなゴミは早く捨ててしまえ。
- 90 :132人目の素数さん:2016/12/17(土) 10:19:59.02 ID:I2F3LrI3.net
- 2chはキチガイ収容所
- 91 :132人目の素数さん:2016/12/17(土) 10:22:48.77 ID:z4YGEkkD.net
- こんなの日本以外でいろんな人がすでに研究してるからな
- 92 :132人目の素数さん:2016/12/17(土) 10:35:25.38 ID:C9LYkNjT.net
- >>89
0虚数との積が0になる場合とならない場合があるって言っただけで零因子ではないということではないよ。
- 93 :132人目の素数さん:2016/12/17(土) 10:39:50.28 ID:C9LYkNjT.net
- >>91
へー、そうなんだ。日本て遅れてるんだな。
どんな成果出てるの?
- 94 :132人目の素数さん:2016/12/17(土) 10:45:28.66 ID:U2tPROWf.net
- >>92
何を言い訳しているのだ。
>零因子って言っても、0虚数の場合、これとの積が何でも0になるわけではないよ。
この書き方は明らかに「零因子」と「0虚数」を区別する意図で書かれたものであり、
零因子の定義を勘違いしているとしか読めない。実際には、0虚数は必ず零因子なので、
区別しても意味ないのにな。
そもそも、0虚数が零因子そのものであることを 結局 認めるのであれば、>>89で終わりだぞ。
何がしたいんだこいつ。
- 95 :132人目の素数さん:2016/12/17(土) 10:59:07.69 ID:C9LYkNjT.net
- >>94
0虚数との積は0虚数になるけど、0になるのは、かけられる数の実部が0の場合だよ。
- 96 :132人目の素数さん:2016/12/17(土) 11:15:24.12 ID:U2tPROWf.net
- >>95
>0になるのは、かけられる数の実部が0の場合だよ。
ほらな。結局、0虚数は零因子だろ?
だったら>>89で終わり。ゴミ。
- 97 :132人目の素数さん:2016/12/17(土) 11:56:41.94 ID:C9LYkNjT.net
- >>96
実部が0でなければ、0でなくて0虚数になるよ。
0の自然な拡張だぜ。かっけーな。
- 98 :132人目の素数さん:2016/12/17(土) 12:09:45.25 ID:U2tPROWf.net
- >>97
くだらないね。取るに足らないゴミを無理に褒めようとして、
こういう愚行に走るしかなくなるんだろうな。
>0の自然な拡張だぜ。かっけーな。
そんなものを「0の自然な拡張」と称するなら、
任意の零因子は「0の自然な拡張」になるだろバカタレが。
零因子という言葉からして、0に近い性質を持つものっていう
ニュアンスだしな。
いい加減に目を覚ませ。お前はゴミを作り出しただけなんだよ。
単なる零因子を「0の拡張」だとか「かっこいい」とか
無理に褒めてみたところで、数学的には何の意味もないんだよ。
- 99 :132人目の素数さん:2016/12/17(土) 12:34:25.58 ID:C9LYkNjT.net
- >>98
0虚数って逆元が存在しないんだ。
それと、積がまた0虚数になるんだよ。
0の性質に似てるでしょ。0も含まれるし。
こういうの他にある?
- 100 :132人目の素数さん:2016/12/17(土) 12:48:17.43 ID:U2tPROWf.net
- >>99
そこに挙げられている性質は「0虚数」に特有の性質なのではなく、
任意の環の任意の「零因子」が一般的に持っている、ありきたりな性質に過ぎない。
実際、任意の環において、次が成り立つ。
・ 任意の零因子は、逆元が存在しない。
・ 任意の零因子は、積がまた零因子になる。
・ 0は零因子の一種である。
・ どうだ、零因子は0の性質に似てるだろ。
あんたは「0虚数」の特別な性質を列挙しているつもりだったようだが、
実際には「零因子」が持つ一般的な性質を列挙していたに過ぎないのだ。
さっきから何度も言ってるだろ。0虚数は零因子そのものだって。
あんたは何もやってないんだよ。>>1はただのゴミなんだよ。
- 101 :132人目の素数さん:2016/12/17(土) 13:57:03.96 ID:33mA7CO5.net
- 0の因子になるから零因子なのでは……
それはさておき、新しい概念を提唱したとして、その概念が良い評価を受けるには既存理論に応用されて結果を出すか、もしくは従来の物理などで使われている(かつ数学的厳密性が皆無)ものの精確な定式化ぐらいのもんだ
単に「こういう概念を構成しました」だけでは何も始まってない
>>1の三元数なるものを使ってちゃんとした結果がでてくれば評価される、それまではただのゴミ
- 102 :132人目の素数さん:2016/12/17(土) 14:46:17.44 ID:C9LYkNjT.net
- >>100
最初のやつ、小川の3元数だと逆も言える。
逆元がないのは0虚数に限る。
行列の積でいうと2番目はまったくでたらめだね。
- 103 :132人目の素数さん:2016/12/17(土) 14:59:21.92 ID:C9LYkNjT.net
- >>101
閉じた4則が定義されて、
3次元空間の点が数になったんだよ。
感動しなさい!w
- 104 :132人目の素数さん:2016/12/17(土) 16:05:41.38 ID:C9LYkNjT.net
- >>100
0虚数って集合だよ。
どうも混乱してるようなので例を書こう。
(2,3,4)と0虚数のうちのひとつである
(0,1,-1)との積は(0,2,-2)となり、また0虚数になるが、(0,1,-1)は零因子ではない。
掛けられる数が(0,a,b)の場合(a,bは任意)、
(0,a,b)(0,1,-1)=(0,0,0)
となり、(0,1,-1)は零因子となる。
- 105 :132人目の素数さん:2016/12/17(土) 16:43:16.39 ID:U2tPROWf.net
- >>102
>最初のやつ、小川の3元数だと逆も言える。
>逆元がないのは0虚数に限る。
さすがに一般的な環だとそこまでは言えないが、
そっちが行列を例に出しているようだから
こちらも行列で答えるが、n次の正方行列全体の集合なら
同じことが言えて、n次正方行列のうち逆元がないのは零因子のみとなる。
なので、逆が言えることは別に目新しい性質でも何でもない。
>行列の積でいうと2番目はまったくでたらめだね。
n次の正方行列全体の集合なら同じことが言えて、でたらめではない。
任意の零因子は、積がまた零因子になる。
- 106 :132人目の素数さん:2016/12/17(土) 16:46:36.40 ID:33mA7CO5.net
- 零因子の定義:
aに対して「ある」0でないbが存在してab=0となるとき、aを零因子と呼ぶ(0を零因子に含めない場合もある)
(0,1,-1)は(三元数の中で)零因子
- 107 :132人目の素数さん:2016/12/17(土) 16:53:55.88 ID:U2tPROWf.net
- >>104
>(0,1,-1)との積は(0,2,-2)となり、また0虚数になるが、(0,1,-1)は零因子ではない。
ほーん、(0,1,-1)は零因子ではないのか。
>となり、(0,1,-1)は零因子となる。
ほーん、(0,1,-1)は零因子なのか。
以上より、(0,1,-1)は「零因子ではない」かつ「零因子である」
ということになって矛盾するww
どうもお前は零因子の定義を勘違いしているらしい。
R を環とする。
a∈R が左零因子であるとは、ax=0 を満たす x≠0 が存在するときを言う。
a∈R が右零因子であるとは、xa=0 を満たす x≠0 が存在するときを言う。
この定義では、「=0」が成り立つような x≠0 がただ単に存在しさえすればよいことに注意する。
ある x≠0 に対して ax=0 が成り立つのであれば、この時点で a は左零因子なのであり、
別の y≠0 を持ってきたときに ay≠0 が成り立っていても、
「この式においては a は零因子ではない」ということには な ら な い のであり、
a は零因子のままなのである。お前はこの部分を勘違いしている。
ちなみに、(0,1,-1) は左零因子かつ右零因子である。
なぜなら、a=b=1 とでも置けば、
(0,a,b)(0,1,-1)=(0,0,0), (0,1,-1)(0,a,b)=(0,0,0)
が成り立つからだ。この式とは別に (2,3,4)(0,1,-1)≠(0,0,0) も成り立つのであるが、
しかし、(0,1,-1)は零因子のままであり、「こちらの式においては、(0,1,-1)は零因子ではない」
ということにはならない。
- 108 :132人目の素数さん:2016/12/17(土) 17:13:49.30 ID:C9LYkNjT.net
- >>105
逆元がないならば0虚数である。だ。
行列でab=0
でaが零因子として、
任意のcに対して
ac=dで
dは零因子で
任意のeに対して
de=0
ってほんとになるの?
0虚数の場合、任意の元との積が0虚数に
なるんだよ。
ab=0で
aが0虚数だとすると
任意のcに対して
ac=dで
dは0虚数で
任意のeに対して
deは0虚数になるよ。
- 109 :132人目の素数さん:2016/12/17(土) 17:42:07.31 ID:C9LYkNjT.net
- >>107
するとき、って言ってるんだから時間軸上
矛盾しないし、場合分けがある時に単体で
(0,1,-1)はなにであるというのはおかしい。
- 110 :132人目の素数さん:2016/12/17(土) 17:57:21.20 ID:U2tPROWf.net
- >>109
おかしくない。っていうか、そこで躓いてたら、
お前は零因子について永遠に誤解したままになる。
勘弁してくれよクソ低脳が。どこまでバカなんだお前は。
なるべく誤解がないように、表現の仕方を変更する。
a∈R に関する命題 P(a), Q(a) を以下のように定義する。
P(a):∃x∈R−{0} [ ax=0 ].
Q(a):∃x∈R−{0} [ xa=0 ].
・ a∈R が左零因子であるとは、P(a) が真であるときを言う。
・ a∈R が右零因子であるとは、Q(a) が真であるときを言う。
・ a∈R が零因子であるとは、P(a)とQ(a)が両方とも真であるときを言う。
これが、なるべく誤解のないようにした零因子の定義だ。
P(a) が真であるか偽であるかは、時間軸がどうこうの話とは無関係だろ。わかるか?
ある時間軸では P(a) が真なのに、時間が経過したら P(a) が偽に反転するのかよ?
もしくは、ある時間軸では P(a) が偽なのに、時間が経過したら P(a) が真に反転するのかよ?
んなバカな話はないだろ。P(a) が真だと分かったら、もうずっとP(a)は真だろ。
P(a)が偽だと分かったら、もうずっとP(a)は偽だろ。
>>1の体系で言えば、(0,1,-1)(0,a,b)=(0,0,0) が成り立つのだから、
P((0,1,-1)) は真だろ。だから、(0,1,-1) は左零因子だろ。そのあとで
(2,3,4)(0,1,-1)≠(0,0,0) … (1)
という式を見せ付けられても、P((0,1,-1)) が偽に反転することはないだろ。
P((0,1,-1)) は真のままだろ。だから、(1)を見せ付けられても (0,1,-1) は左零因子だろ。
それが左零因子の定義なんだぞ。わかるか?お前はここを誤解してるんだぞ。
お前はなぜか、(1)を見せ付けられたときには「左零因子ではない」と勘違いしているんだぞ。
- 111 :132人目の素数さん:2016/12/17(土) 18:05:12.36 ID:33mA7CO5.net
- >>108
非可換なら積の順番で変わるが、可換ならaが零因子であれば任意のbについてabも零因子だ
>>1の三元数も可換であるらしいから特に新しくはないな
ところで、零因子の定義を仮に「aが零因子であるとは、任意のbに対してab=0となること」だとすると、零因子は0以外に存在しないことになる(b=1とすれば明らか)が、それでよいのか?
こんなところで躓いてるのに多元体とかホップの定理とか言ってる場合じゃないだろ、他にちゃんとやることやれ
数学は定理を覚える学問じゃないぞ
- 112 :132人目の素数さん:2016/12/17(土) 19:36:38.92 ID:C9LYkNjT.net
- >>110
ときって書いてあるじゃん。
>>111
0虚数は掛けられる数によって零因子になる場合があるってだけの話です。
- 113 :132人目の素数さん:2016/12/17(土) 19:43:06.93 ID:33mA7CO5.net
- >>112
それは零因子とは呼びません
ねじれ元と呼びます(加群)
- 114 :132人目の素数さん:2016/12/17(土) 19:47:39.81 ID:33mA7CO5.net
- あ、すまん普通の意味ではねじれ元でもないわ
- 115 :132人目の素数さん:2016/12/17(土) 19:53:59.42 ID:U2tPROWf.net
- >>112
>ときって書いてあるじゃん。
またそのセリフかよ。それも誤解だ。
なんでこいつは、いちいち こういう変な誤解を繰り返すんだろうな。
では、より誤解がないように、表現の仕方を変更する。
R は環とする。R の部分集合 P, Q を以下のように定義する。
P = { a∈R|∃x∈R−{0} [ ax=0 ] }.
Q = { a∈R|∃x∈R−{0} [ xa=0 ] }.
・ P の元のみを左零因子と呼ぶ。
・ Q の元のみを右零因子と呼ぶ。
・ P∩Q の元のみを零因子と呼ぶ。
これが、なるべく誤解のないようにした零因子の定義だ。
>>1の体系で言えば、(0,1,-1)(0,a,b)=(0,0,0) が成り立つのだから、
(0,1,-1) は P の元である。よって、(0,1,-1) は左零因子である。
そのあとで
(2,3,4)(0,1,-1)≠(0,0,0) … (1)
という式を見せ付けられても、(0,1,-1) が P の元であることに変わりはないのだから、
(0,1,-1) は左零因子のままである。しかし、お前はなぜか、(1)を見せ付けられたときには
「 (0,1,-1) は左零因子ではない」と勘違いしている。
- 116 :132人目の素数さん:2016/12/17(土) 19:56:36.82 ID:33mA7CO5.net
- >>112
一般的には、ab=0となるb≠0が「一つでも存在する」ときにaを零因子と呼びます
- 117 :132人目の素数さん:2016/12/17(土) 23:18:17.18 ID:C9LYkNjT.net
- 小川の3元数とは異なる実数体上3次元の可換で非結合な閉じた四則のできる代数を提示せよ。
- 118 :132人目の素数さん:2016/12/17(土) 23:31:41.73 ID:C9LYkNjT.net
- >>115
>>116
おまいらは(2,3,4)(0,1,-1)≠(0,0,0)この式見ながら
(0,1,-1)は零因子であるって言うんだな。アホだろ。
- 119 :132人目の素数さん:2016/12/17(土) 23:34:20.79 ID:g2esQG77.net
- うわ、ここまで言われてもまだ零因子の定義を正しく理解できないのか…
- 120 :132人目の素数さん:2016/12/17(土) 23:48:16.03 ID:U2tPROWf.net
- >>118
なるほど、要するにお前は、
左零因子「でない」ための条件を勘違いしているのだな。
a が左零因子「でない」ことを示したければ、
a が P の元「でない」ことを示さなければならない。
すなわち、
∀x∈R−{0} [ ax≠0 ]
が成り立つことを示さなければならない。
よって、(0,1,-1) が左零因子「でない」ことを示したければ、
∀x∈R−{0} [ (0,1,-1)x≠0 ] … (2)
が成り立つことを示さなければならない。一方で、
(0,1,-1)(2,3,4)≠(0,0,0) … (1)
という式だけを見せ付けられても、(2) を示したことにはならない。
なぜなら、(1) は x=(2,3,4) における「≠0」の成立をチェックしただけであり、
それ以外の x に対して「≠0」が成り立つか否かは何のチェックもしてないからだ。
よって、(1) だけを見せ付けられても、「 (0,1,-1) は左零因子ではない」
を示したことにはならない。しかし、お前はなぜか、(1) を見せ付けられただけで
「 (0,1,-1) は左零因子ではない」と断定しており、ここで大きな勘違いをしている。
どうしてもそれに近い表現をしたいなら、
「 (1)だけでは、(0,1,-1) が左零因子かどうかは分からない 」
と表現するのが正しい。しかし、現状のお前のように、(1)だけを見て
「 (0,1,-1) は左零因子ではない」
と言うのは完全に間違っている。
- 121 :132人目の素数さん:2016/12/18(日) 00:07:27.66 ID:/0DHR70V.net
- >>117
こっちにもレスしておくが、
>実数体上3次元の可換で非結合な閉じた四則のできる代数を提示せよ。
そのような代数は存在しない。そして、>>1もまた、そのような代数ではない。
なぜなら、>1には零因子(>1が言うところの0虚数)が存在するからだ。
「閉じた四則」という条件によれば、四則演算が自由にできなければならないが、
零因子(すなわち0虚数)には逆元が存在しないので、これでは「閉じた四則」とは呼べない。
よって、>1もまた、そのような代数ではない。
また、0虚数は零因子そのものであり、
0虚数が持っている性質も零因子の一般的な性質に過ぎない。一応、
「0虚数でなければ必ず逆元がある」という追加の性質はあるものの、
これも目新しいものではなく、n次の正方行列全体の集合において
同じことが成り立つ。すなわち、n次の正方行列Aが零因子でなければ、
Aは必ず逆行列を持つ。>1はこのことを全く理解してないようだが、
まずは「零因子」の概念を>1がきちんと理解しなければ話が進まないので、
>1は非常に低レベルな場所で躓いていることになる。
まとめると、>1の体系はゴミである。
というか、>1 自 身 が ゴ ミ である。
いい加減にしてほしいものだ。
- 122 :132人目の素数さん:2016/12/18(日) 00:29:17.84 ID:/0DHR70V.net
- >>120で一回レスしてるから反応待ちだけど、>>112の
>0虚数は掛けられる数によって零因子になる場合があるってだけの話です。
このコメントを読んでも、やっぱり>>1は零因子について
勘違いしていることが分かるな。だって、0虚数は常に零因子だからな。
零因子の概念は、かけられる数を1つ選ぶたびにその是非が決まるような
定義を採用しているわけではないからな。
かけられる数全体(もちろん0以外のもの)を全てチェックして、
その中で「=0」が成り立つものが1つでもあるなら零因子であり、
必ず「≠0」になってるなら零因子ではない、というのが零因子の定義だからな。
こいつは未だにここが分かってない。
かけられる数を1つ選ぶたびに、零因子か否かが
そのつど決定されると勘違いしてると思われる。
- 123 :132人目の素数さん:2016/12/18(日) 00:37:55.61 ID:S7kZlD7M.net
- >>118
>>111にも書いたけど
ところで、零因子の定義を仮に「aが零因子であるとは、任意のbに対してab=0となること」だとすると、零因子は0以外に存在しないことになる(b=1とすれば明らか)が、それでよいのか?
これに答えて
- 124 :132人目の素数さん:2016/12/18(日) 06:30:36.91 ID:7QOj0qcQ.net
- >>121
>零因子(すなわち0虚数)には逆元が存在しないので、これでは「閉じた四則」とは呼べない。
0除算除外してるだけだよ。0が除外されてるのと同じ理由だから問題ない。
- 125 :132人目の素数さん:2016/12/18(日) 06:54:22.79 ID:7QOj0qcQ.net
- >>123
0虚数の場合は、任意の元に対してその積がまた0虚数になるので、
その対照として書いただけ。
- 126 :132人目の素数さん:2016/12/18(日) 06:59:03.69 ID:7QOj0qcQ.net
- >>122
実際、積が0にならない場合があるんだから、そういう定義は
正確じゃないね。
- 127 :132人目の素数さん:2016/12/18(日) 08:17:32.08 ID:sG+hXyOw.net
- 故意犯だったと自白したか
- 128 :132人目の素数さん:2016/12/18(日) 08:54:30.71 ID:CKyJfOhL.net
- >>124
「局所環においては零因子を除けばすべて可逆だから体と呼べる」と言いたいわけだな?アホか
>>126
零因子の定義:
aが零因子であるとは、あるb≠0が存在してab=0となること
上の否定(零因子でないことの定義):
aが非零因子であるとは、どんなb≠0についてもab≠0となること
もしくは(対偶をとれば)どんなbについてもab=0ならばb=0となること
- 129 :132人目の素数さん:2016/12/18(日) 08:57:03.30 ID:CKyJfOhL.net
- >>125
>>1の三元数は可換らしいが
一般の可換環においてaが零因子ならば任意のbについてabも零因子になります
- 130 :¥ ◆2VB8wsVUoo :2016/12/18(日) 10:58:54.77 ID:PXSJSVkX.net
- ¥
- 131 :¥ ◆2VB8wsVUoo :2016/12/18(日) 10:59:10.92 ID:PXSJSVkX.net
- ¥
- 132 :¥ ◆2VB8wsVUoo :2016/12/18(日) 10:59:26.89 ID:PXSJSVkX.net
- ¥
- 133 :¥ ◆2VB8wsVUoo :2016/12/18(日) 10:59:43.10 ID:PXSJSVkX.net
- ¥
- 134 :¥ ◆2VB8wsVUoo :2016/12/18(日) 11:00:18.09 ID:PXSJSVkX.net
- ¥
- 135 :¥ ◆2VB8wsVUoo :2016/12/18(日) 11:00:34.95 ID:PXSJSVkX.net
- ¥
- 136 :¥ ◆2VB8wsVUoo :2016/12/18(日) 11:00:52.48 ID:PXSJSVkX.net
- ¥
- 137 :¥ ◆2VB8wsVUoo :2016/12/18(日) 11:01:09.97 ID:PXSJSVkX.net
- ¥
- 138 :¥ ◆2VB8wsVUoo :2016/12/18(日) 11:01:28.06 ID:PXSJSVkX.net
- ¥
- 139 :¥ ◆2VB8wsVUoo :2016/12/18(日) 11:01:46.67 ID:PXSJSVkX.net
- ¥
- 140 :132人目の素数さん:2016/12/18(日) 12:06:52.50 ID:/0DHR70V.net
- 今日は用事があるから1つだけ。
>>126
お前はこういうことが言いたいのだろう?
(1): (2,3,4)(0,1,-1)≠(0,0,0) であるから、
かけられる数が (2,3,4) のときは、(0,1,-1) は零因子でない。
(2): (0,a,b)(0,1,-1)=(0,0,0) であるから、
かけられる数が (0,a,b) のときは、(0,1,-1) は零因子である。
しかし、この考え方は間違っている。零因子の定義を勘違いしている。
零因子とは、かけられる数を1つ選ぶたびに、零因子か否かが
そのつど決定されるようなシロモノではない。
ここでは、「零因子でない」という条件について説明する。
(3): (0,0,0) 以外のどのような (x,y,z) に対しても常に (x,y,z)(0,1,-1)≠(0,0,0) が
成り立つなら、(0,1,-1) は零因子でない。
これが、「零因子でない」ための正確な条件である。お前が言うところの
「 かけられる数が(2,3,4)のときは、(0,1,-1)は零因子ではない 」
といった条件づけは間違っている。(2,3,4)(0,1,-1)≠(0,0,0) を確認しただけでは、
(0,1,-1) が零因子でないことを示したことにならない。
お前は零因子の定義をきちんと理解してないのだ。
そして、「零因子でない」ための条件がなぜ(1)のようにならず(3)のようになるのかは、
少し自分で考えてみろ。
- 141 :¥ ◆2VB8wsVUoo :2016/12/18(日) 12:08:37.58 ID:PXSJSVkX.net
- ¥
- 142 :¥ ◆2VB8wsVUoo :2016/12/18(日) 14:33:31.58 ID:PXSJSVkX.net
- ¥
- 143 :¥ ◆2VB8wsVUoo :2016/12/18(日) 14:33:51.41 ID:PXSJSVkX.net
- ¥
- 144 :¥ ◆2VB8wsVUoo :2016/12/18(日) 14:34:09.93 ID:PXSJSVkX.net
- ¥
- 145 :¥ ◆2VB8wsVUoo :2016/12/18(日) 14:34:28.74 ID:PXSJSVkX.net
- ¥
- 146 :¥ ◆2VB8wsVUoo :2016/12/18(日) 14:34:47.18 ID:PXSJSVkX.net
- ¥
- 147 :¥ ◆2VB8wsVUoo :2016/12/18(日) 14:35:07.22 ID:PXSJSVkX.net
- ¥
- 148 :¥ ◆2VB8wsVUoo :2016/12/18(日) 14:35:25.03 ID:PXSJSVkX.net
- ¥
- 149 :¥ ◆2VB8wsVUoo :2016/12/18(日) 14:35:43.14 ID:PXSJSVkX.net
- ¥
- 150 :¥ ◆2VB8wsVUoo :2016/12/18(日) 14:36:03.32 ID:PXSJSVkX.net
- ¥
- 151 :132人目の素数さん:2016/12/18(日) 17:59:05.07 ID:7QOj0qcQ.net
- 話題投下
http://mathsoc.jp/publication/tushin/0504/matsumoto5-4.pdf
3元数が存在しないことの証明だそうな。
この証明の誤りはP18の最初で
原点oとwを結ぶ直線ow上にiwはない
っていってるけど、wが0虚数のとき、iwは原点になっちゃうから、
直線ow上にあるんだな。ここが誤りだな。0虚数はij平面でj=-iの直線に
なってるから、球面上との交点があります。
こういうのも面白いね。3元数できちゃったから、誤りがよく分かる。
- 152 :¥ ◆2VB8wsVUoo :2016/12/18(日) 18:06:55.80 ID:PXSJSVkX.net
- ¥
- 153 :132人目の素数さん:2016/12/18(日) 20:21:49.05 ID:/0DHR70V.net
- >>151
>原点oとwを結ぶ直線ow上にiwはない
>っていってるけど、wが0虚数のとき、iwは原点になっちゃうから、
的外れ。3元数というものを考えるとき、零因子の存在は許容しないのが普通。
その pdf では、零因子の存在は許さないというスタンスで論証してるだけ。
だったら、ow上にiwがないのは当たり前であり、誤りでも何でもない。
そういうスタンスの論証に対して、「 iw は原点になりえるから誤り」という
ツッコミは何の意味も持たない。ナンセンス。
実際、その pdf の17ページ目では、
>また,0でない3次元複素数 w には,その逆数 w^{-1} があるとします.
という宣言を行っているので、3元数に零因子の存在を許容しないという
スタンスを取っていることが分かる。もう一度言うが、そういうスタンスの
論証に対して、「 iw は原点になりえるから誤り」というツッコミは
何の意味も持たない。ナンセンス。
- 154 :132人目の素数さん:2016/12/18(日) 20:29:43.97 ID:/0DHR70V.net
- >>151
そして、これも同じことの繰り返しになるが、
「3元数は存在しない」という主張は
「3つの元で生成される、良い性質を満たす代数系は存在しない」
という意味であって、結合法則が成り立たなかったり
零因子が存在したりしてもいいという何でもアリの
体系だったら幾らでも作れるんだよ。
実際に作ってしまって、その体系でどんな法則が成り立つかは
後から検証すればいいだけで、成り立たない法則があったら
「この体系ではこの法則は成り立ちません」と言ってしまえば
済んでしまう話だからな。でも、そんなポンコツなシロモノは
3元数とは呼ばれないんだよ。全然うれしくないからな。
>>1の体系も、その意味においては3元数とは呼ばれないんだよ。
お前は3元数を作ったのではなく、3つの元から生成される
ポンコツな代数系を作ったにすぎないんだよ。
お前はゴミを作ったにすぎないんだよ。
零因子の件にしても、いい加減にしろやクソ低脳。
- 155 :132人目の素数さん:2016/12/18(日) 20:30:38.21 ID:jdz9/KOA.net
- >>1にとっては定義や公理ではなく名前が実質なんだろうな
「結合代数」や「零因子」の正式な定義ではなく、
その字面から>>1が連想した性質こそが>>151の証明でも採用されるべきであり、
採用していなければその定義も証明も誤りだという価値観を持っている
- 156 :132人目の素数さん:2016/12/18(日) 20:35:51.86 ID:jdz9/KOA.net
- どれだけ言葉を尽くしても零因子の正式な定義を受け入れようとしない態度を見るに、
>>61はたぶん冗談ではなく本気で言ってたんだろうな…
俺はてっきり空威張りしてるもんだと思ってたけど
- 157 :¥ ◆2VB8wsVUoo :2016/12/18(日) 22:39:18.52 ID:PXSJSVkX.net
- ¥
- 158 :¥ ◆2VB8wsVUoo :2016/12/18(日) 22:39:35.98 ID:PXSJSVkX.net
- ¥
- 159 :¥ ◆2VB8wsVUoo :2016/12/18(日) 22:39:52.89 ID:PXSJSVkX.net
- ¥
- 160 :¥ ◆2VB8wsVUoo :2016/12/18(日) 22:40:11.04 ID:PXSJSVkX.net
- ¥
- 161 :¥ ◆2VB8wsVUoo :2016/12/18(日) 22:40:30.04 ID:PXSJSVkX.net
- ¥
- 162 :¥ ◆2VB8wsVUoo :2016/12/18(日) 22:40:47.02 ID:PXSJSVkX.net
- ¥
- 163 :¥ ◆2VB8wsVUoo :2016/12/18(日) 22:41:05.06 ID:PXSJSVkX.net
- ¥
- 164 :¥ ◆2VB8wsVUoo :2016/12/18(日) 22:41:22.06 ID:PXSJSVkX.net
- ¥
- 165 :¥ ◆2VB8wsVUoo :2016/12/18(日) 22:41:40.21 ID:PXSJSVkX.net
- ¥
- 166 :¥ ◆2VB8wsVUoo :2016/12/18(日) 22:41:59.76 ID:PXSJSVkX.net
- ¥
- 167 :132人目の素数さん:2016/12/19(月) 19:30:37.18 ID:zIDS/eGt.net
- >>151
逆に言うと、原点を中心としたある閉曲面が与えられたとき、
0虚数直線との交点がベクトル場の特異点になるよって
ことか、面白いね。
- 168 :¥ ◆2VB8wsVUoo :2016/12/19(月) 20:50:58.16 ID:Iw1P8Iao.net
- ¥
- 169 :132人目の素数さん:2016/12/19(月) 21:57:12.61 ID:Dawv0HPG.net
- あーあ、壊れちゃった
- 170 :¥ ◆2VB8wsVUoo :2016/12/19(月) 22:51:14.38 ID:Iw1P8Iao.net
- ¥
- 171 :¥ ◆2VB8wsVUoo :2016/12/20(火) 01:35:35.30 ID:W0M90ObI.net
- ¥
- 172 :¥ ◆2VB8wsVUoo :2016/12/20(火) 01:35:54.22 ID:W0M90ObI.net
- ¥
- 173 :¥ ◆2VB8wsVUoo :2016/12/20(火) 01:36:13.34 ID:W0M90ObI.net
- ¥
- 174 :¥ ◆2VB8wsVUoo :2016/12/20(火) 01:36:33.35 ID:W0M90ObI.net
- ¥
- 175 :¥ ◆2VB8wsVUoo :2016/12/20(火) 01:36:49.87 ID:W0M90ObI.net
- ¥
- 176 :¥ ◆2VB8wsVUoo :2016/12/20(火) 01:37:06.90 ID:W0M90ObI.net
- ¥
- 177 :¥ ◆2VB8wsVUoo :2016/12/20(火) 01:37:23.98 ID:W0M90ObI.net
- ¥
- 178 :¥ ◆2VB8wsVUoo :2016/12/20(火) 01:37:47.25 ID:W0M90ObI.net
- ¥
- 179 :¥ ◆2VB8wsVUoo :2016/12/20(火) 01:38:05.53 ID:W0M90ObI.net
- ¥
- 180 :132人目の素数さん:2016/12/21(水) 21:08:08.16 ID:WT8S4KkR.net
- さて、3元数の代数方程式やるか。
めんどくさい、ので、誰か助手やってよ。よろしく。
まずは、ax=b (a,bは未知係数、xが未知数で、あんま用語も分からんけど、
a,b,xは3元数)
代数的な計算するのは複複より3元数表示の方がいいだろ。
非可結だから、両辺に1/aをかけるってしてもあんま意味がなさそうなので、
(a_1,a_2,a_3)(x_1,x_2,x_3)=(b_1,b_2,b_3)
で展開して、3元の連立1次方程式を解いてみよう。
割り算の計算則と同じ結果になるはずだべ。
誰かよろしくー。中学生、高校生とかで暇なのいるだろ。頼むよ。
- 181 :¥ ◆2VB8wsVUoo :2016/12/21(水) 22:27:59.71 ID:0N19MYRA.net
- ¥
- 182 :¥ ◆2VB8wsVUoo :2016/12/21(水) 22:28:15.45 ID:0N19MYRA.net
- ¥
- 183 :¥ ◆2VB8wsVUoo :2016/12/21(水) 22:28:29.69 ID:0N19MYRA.net
- ¥
- 184 :¥ ◆2VB8wsVUoo :2016/12/21(水) 22:28:45.24 ID:0N19MYRA.net
- ¥
- 185 :¥ ◆2VB8wsVUoo :2016/12/21(水) 22:29:00.21 ID:0N19MYRA.net
- ¥
- 186 :¥ ◆2VB8wsVUoo :2016/12/21(水) 22:29:15.02 ID:0N19MYRA.net
- ¥
- 187 :¥ ◆2VB8wsVUoo :2016/12/21(水) 22:29:31.24 ID:0N19MYRA.net
- ¥
- 188 :¥ ◆2VB8wsVUoo :2016/12/21(水) 22:29:49.15 ID:0N19MYRA.net
- ¥
- 189 :¥ ◆2VB8wsVUoo :2016/12/21(水) 22:30:11.63 ID:0N19MYRA.net
- ¥
- 190 :¥ ◆2VB8wsVUoo :2016/12/21(水) 22:30:30.30 ID:0N19MYRA.net
- ¥
- 191 :132人目の素数さん:2016/12/24(土) 14:17:03.42 ID:9aBIy+wd.net
- >>180
割り算の計算則と一致しちゃったら、結合則が成り立つことに
なる。ので、一致しなくていい。
- 192 :¥ ◆2VB8wsVUoo :2016/12/24(土) 14:19:26.23 ID:kEm4zZD9.net
- ¥
- 193 :¥ ◆2VB8wsVUoo :2016/12/24(土) 16:48:52.30 ID:kEm4zZD9.net
- ¥
- 194 :¥ ◆2VB8wsVUoo :2016/12/24(土) 16:49:10.47 ID:kEm4zZD9.net
- ¥
- 195 :¥ ◆2VB8wsVUoo :2016/12/24(土) 16:49:27.13 ID:kEm4zZD9.net
- ¥
- 196 :¥ ◆2VB8wsVUoo :2016/12/24(土) 16:49:43.06 ID:kEm4zZD9.net
- ¥
- 197 :¥ ◆2VB8wsVUoo :2016/12/24(土) 16:49:57.32 ID:kEm4zZD9.net
- ¥
- 198 :¥ ◆2VB8wsVUoo :2016/12/24(土) 16:50:15.32 ID:kEm4zZD9.net
- ¥
- 199 :¥ ◆2VB8wsVUoo :2016/12/24(土) 16:50:32.63 ID:kEm4zZD9.net
- ¥
- 200 :¥ ◆2VB8wsVUoo :2016/12/24(土) 16:50:48.83 ID:kEm4zZD9.net
- ¥
- 201 :¥ ◆2VB8wsVUoo :2016/12/24(土) 16:51:10.25 ID:kEm4zZD9.net
- ¥
- 202 :¥ ◆2VB8wsVUoo :2016/12/25(日) 19:03:23.51 ID:O010A8Dr.net
- ¥
- 203 :¥ ◆2VB8wsVUoo :2016/12/25(日) 20:08:30.85 ID:O010A8Dr.net
- ¥
- 204 :¥ ◆2VB8wsVUoo :2016/12/25(日) 20:13:44.92 ID:O010A8Dr.net
- ¥
- 205 :132人目の素数さん:2016/12/26(月) 17:22:28.96 ID:EQ5vFukF.net
- とりあえず八元数でも結合法則は成り立たないけど八元数はある扱い。十六元数は零因子があってax=bを満たすxが存在しないか多数あるかになることもあり無い扱いが普通。
結合法則が成り立たない八元数では交代則が成り立つが十六元数では成り立たず、組成法則も同様。この辺りがまっとうな数学でのあるなしの基準かな。
- 206 :¥ ◆2VB8wsVUoo :2016/12/26(月) 17:37:44.54 ID:P7KkK7Ue.net
- ¥
- 207 :¥ ◆2VB8wsVUoo :2016/12/26(月) 22:14:37.20 ID:P7KkK7Ue.net
- http://faculty.georgetown.edu/kainen/octophys.pdf
¥
- 208 :132人目の素数さん:2016/12/30(金) 14:59:26.10 ID:K3Q+sHBN.net
- 3元数の1次方程式は解けたかな。なんか、ごちゃごちゃしてるけど
実数と複素数の場合を含むとそうなっちゃうんだな。
次は3元数の2次方程式だけど、めんどくさい。やることは中学数学だけど
、だから、めんどくさいな。まずは、x^2=−1でも解こう。
期待される解は±iと±jだけど、さぁ、どうだ。
結果を書いておこう。
x_1=(0、x、−x−1)
x_2=(0、x、−x+1)
2種類の解だけど、まあ、無数にあるんだな。
±iと±jも無事含んでました。
無数にあるけど、形は2種類、こういうのなんて言うの?
こうしてみると、複素数の世界ってのは、3元数(複複素数)の世界の
ほんの氷山の一角の1粒の水分子みたいなもんだな。
3元数の深淵をかいま見ちゃったね。我ながら恐ろしいw
- 209 :132人目の素数さん:2017/01/01(日) 12:50:57.88 ID:/23yehr3.net
- 解空間は二次元であるとでも言えばいいんじゃない
- 210 :132人目の素数さん:2017/01/01(日) 15:37:08.60 ID:vdRUn3bQ.net
- 四元数の場合をやったことないのかな
ちなみに二次方程式もax^2とx^2・bが交換法則の成り立たない場合は別の項として扱わなければならないから、まとめられず、面倒くさい
- 211 :132人目の素数さん:2017/01/03(火) 12:16:12.88 ID:I+7Hx51C.net
- 小川の構成方法でn元数ができそうだけど、そうしてみると、ハミルトンの4元数は2のべき元数としての4元数であってn元数としての4元数ではないのかもな。
誰か小川の構成方法で4元数できるかやってみて。簡単だろ。俺はものぐさ太郎ちゃんだからたのむは。
- 212 :132人目の素数さん:2017/01/03(火) 13:02:55.56 ID:v3rGVzah.net
- 有理関数体ならいくらでも
- 213 :132人目の素数さん:2017/01/03(火) 13:31:28.95 ID:pLqMY4Oe.net
- >11がほぼ正しい答を出してるのに,まだ議論してるの?
まず,C^2 は(非可換も含めた)環ではない.
証明. C^2 が(非可換でもよい)環だと仮定する.
(i_1)(-i_1)=1 なので i_1 は可逆元である.
(i_1)^2=-1=(i_1)(i_2) より,
(i_1)((i_1)-(i_2))=0
i_1 は可逆元なので i_1=i_2 となって矛盾
- 214 :132人目の素数さん:2017/01/03(火) 15:17:43.97 ID:XA1VBpFd.net
- 23で書いてあるじゃん
- 215 :132人目の素数さん:2017/01/04(水) 01:10:28.56 ID:sgR+y8bf.net
- 小川代数に興味は感ずるが、
>>1リンク先の手書き文書が何言ってるのかサッパリ判らない。
勝手に、ちょっとまとめてみる。
R^3上に、下記の等式で演算+と×を定義する。
(a,b,c)+(x,y,z)=(a+x,b+y,c+z),
(a,b,c)×(x,y,z)=(ax-by-bz-cy-cz,ay+bx,az+cx).
この定義によって、
+は可換群をなす。
×は非結合的であるが、可換ではある。
分配則が成り立つ。
小川代数は、体でないばかりか
非可換環ですらないので、非常に扱いづらい。
×の可換性も、非結合的なので
ほとんど何の役にも立たない。
R^3上に同値関係 (a,b,c)〜(x,y,z)
⇔ a=x ∧ b+c=y+z を導入すると
商集合R^3/〜において演算+,×は
- 216 :132人目の素数さん:2017/01/07(土) 17:24:49.11 ID:Fp6l9s9r.net
- >>208
x1とx2の積も−1になるんだね。
面白いね。
- 217 :132人目の素数さん:2017/01/08(日) 09:16:16.17 ID:S9XmxeLe.net
- >>216
計算間違いでした。−1じゃなくて1でした。
いやぁ、ウェルデファインドだなぁ。
自動的にうまくいくもんなぁ。
- 218 :132人目の素数さん:2017/01/08(日) 09:20:45.06 ID:S9XmxeLe.net
- >>215
途中で切れてるけど、どした?
可徐なことに気付いてブルってるのか?w
- 219 :132人目の素数さん:2017/01/08(日) 22:30:16.64 ID:Njwrfy5l.net
- 対象があまりに煩瑣なので、考察が進まないというか、
時間ばかりかかって面白い話が出てこないのだが、、、
とりあえず、小川代数の中で、
集合{(x,0,0)|x∈R}がなす部分代数が実数体と
環同型である。また、この部分代数の元との乗算が
実多元環としての小川代数のスカラー倍と一致する。
これにより、i=(0,1,0), j=(0,0,1)と置いて
小川代数の元を(x,y,z)=z+yi+zjと書くことが
正当化される。
右辺の加法乗法は、小川代数の+,×である。
さて、この道具立ての下で、小川代数/〜の
welldefinedness を検討すると
- 220 :132人目の素数さん:2017/01/08(日) 22:33:00.57 ID:vZWSqpGJ.net
- いや、だから、なんでまたそこで途切れるのw
- 221 :132人目の素数さん:2017/01/11(水) 03:29:29.62 ID:q8BVSjyg.net
- 小川代数は乗法非結合だが、実数を掛けるときには結合的で
∀a,b∈R, ∀x,y∈R^3, (ax)(by)=(ab)(xy) が成り立つ。
これと、分配則と、確認容易な ii=ij=jj=-1 から、
掛け算と割り算の式
(a+bi+cj)(x+yi+zj)=(ax-by-bz-cy-cz)+(ay+bx)i+(az+cx)j,
1/(a,b,c)=(a-bi-cj)/{a^2+(b+c)^2} ←[*] が検証できる。
これで、やっとアヤシゲな部分は潰せたかなと。
- 222 :132人目の素数さん:2017/01/11(水) 03:31:09.23 ID:q8BVSjyg.net
- その上で、R^3 に二項関係
(a,b,c)〜(x,y,z) ⇔ a=x ∧ b+c=y+z を導入する。
小川の加法乗法は商集合 R^3/〜 上で well-defined であって、
小川代数/〜 が定義されるが、この代数は複素数体と同型となる。
さて、ここで、0〜x≠0 なる小川代数の元 x に対して
1/x が定義されれば、0 除算について面白いことが起こるのだが、、、
残念。小川代数/〜 の 0 に対応する小川代数の元は
(a,b,c), a=b+c=0 であって、[*]式でわかるように
小川代数の非正則元と一致してしまっている。
つまり、複素数体を小川代数ヘ拡張しても、0 除算は可能にならない。
- 223 :132人目の素数さん:2017/01/11(水) 18:36:21.75 ID:CKwjIu8G.net
- 0除算て必要あるの?
0虚数以外で割り算できればいいんだってば。
0虚数は吸着元つーか吸着集合になってるんだから、0の拡張
なんです!
- 224 :132人目の素数さん:2017/01/11(水) 22:44:02.64 ID:wTOrP7oP.net
- 0除算が目的ではないのか。ふうん。
>0虚数は0の拡張なんです!
というのが、差が0虚数であることが
差が無いことの拡張だという意味なら、
前述の 〜 を「ほぼ差が無い」ことと見なす
ということになるね?
0虚数は、0とほぼ差が無い数だから除数になれない。
それ以外の元も、ほぼ差が無い元ごとに
グループになっていて、各グループが
ひとつの複素数に対応している。
さて、複素数を拡張して計算規則に制限のある
小川三元数にすることに何の意味があるんだろうね?
そこが面白ければ、小川代数に価値があるのだろうけど。
- 225 :132人目の素数さん:2017/01/13(金) 09:45:18.69 ID:N0/3EmEJ.net
- >>224
ぼくちん数学者じゃないもーん。
後は世界の数学者の仕事だ。
乗り遅れるなよ。w
- 226 :132人目の素数さん:2017/01/13(金) 23:36:05.23 ID:I9elmAwH.net
- AIIBかよ。
趣味でやってるからこそ、面白さが大事だろ?
単に隠し変数を入れて、計算しずらい代数を定義したいだけなら、
こんなのもある↓ 簡潔だが、やってることは小川とほぼ同じ。
R^2 上に、以下のように加法、乗法を定義する。
(a,b)+(x,y)=(a+x,b+y),
(a,b)×(x,y)=(ax+by,ay+bx).
この代数を、(a,b)〜(x,y) ⇔ a-b=x-y で
類別すると何が起こる?
小川同様、対して内容は無いが。
- 227 :132人目の素数さん:2017/01/14(土) 00:01:47.16 ID:5UblrJkB.net
- 環の数だけ幾何学があると思えば小川代数も何らかの幾何学の座標と見なせるだろうけど、
それだけでは面白さや有用性なんて出てこないのよね
- 228 :132人目の素数さん:2017/01/15(日) 12:08:02.65 ID:xpBgi6e6.net
- 何か応用できないかと思案しています。
おいらの中学数学脳で考えています。抽象はさっぱり分からん。数学者ってのはあれで
分かるんだから大したもんだ。
幾何的に考えたい。3元数の四則ができるってことは3次元の関数を
(x,y,x^2−y^2)みたいに3元数で書いた場合、この四則ができるってことだな。
3次元の関数の四則ができる。面白くない?
- 229 :132人目の素数さん:2017/01/15(日) 12:44:16.35 ID:ALWBgJB1.net
- 体どころか環ですらないものを「三元数」と呼ぶのは
どうにも違和感があるね。
少し計算してみると判るが、小川代数の非結合性は
頑なに式変形を拒むので、四則ができるという感じ
はあまりしないし、楽しいというより息苦しい。
何か楽しいことを見つけたら、教えてほしいな。
興味はあるが、期待はしてない。
- 230 :132人目の素数さん:2017/01/15(日) 13:35:32.27 ID:wfzF71e1.net
- 数論や代数幾何には綺麗な代数系しか出てこないけど、組合せ論や離散幾何にはヘンテコなのがあるからね
そっち方面で探してみたら
- 231 :132人目の素数さん:2017/01/15(日) 15:45:51.72 ID:pZ4QykRi.net
- 8元数でも結合法則は成立しないけど、交代則が成り立つから、逆数を掛けて消すような操作はできる。16元数だとそれすらできない。
それでも16元数では
x^(n+1)=(x^n)x
として、
x^m*x^n=x^(m+n)
が成り立つのはましだけど。二重化続けるとこれすら成り立たなくなる。
- 232 :132人目の素数さん:2017/01/15(日) 18:13:34.38 ID:ALWBgJB1.net
- 小川代数は、{1,i,j}を基底にするよりも
{1,i,j-i}を基底にしたほうが、
(複素数)+(0虚数)の構造が見易い。
q=j-i と置いて、qq=iq=jq=0 だから
(a+bi+cq)(x+yi+zq)=(ax-by)+(ay+bx)i+(az+cx)q,
1/(a+bi+cq)=(a-bi-cq)/(aa+bb).
割り算は、w=a+bi と置いて
1/(w+cq)=(1/w)+(-c/|w|)q
のほうが見よいかもしれない。
- 233 :132人目の素数さん:2017/01/15(日) 18:33:03.04 ID:ALWBgJB1.net
- ミスプリ
1/(w+cq)=(1/w)+(-c/|w|^2)q
- 234 :132人目の素数さん:2017/01/16(月) 20:14:07.94 ID:iDviEo6+.net
- 非結合と零因子で悲鳴上げるなよw
ベクトル場の特異点でも効いたけど、小川の3元数空間の特質は
0虚数直線だな。これを利用する形で応用を考えたい。
何かアイデアあったら教えてよチュ
n乗とか基本的な部分でも抽象になるか計算してみたいんだが、A4のノートじゃ
せまくてな。ということで1m×2mのホワイトボードシート注文したから
これ届いたらチマチマ計算してみるわ。たかが趣味だから気楽にやるお。
かっけー俺かっけーよ。そもそも俺は地球の精神の王だからな。この
俺の定義がウェルデファインドなら自動的にうまくいくはずなんだ!
君たちも自分をうまく定義したまえ。そしたらうまくいく。下手に定義して
爆弾抱えて走ることのないようにな。
- 235 :132人目の素数さん:2017/01/16(月) 21:29:56.20 ID:6XzCT5ui.net
- conicな要素の話?
- 236 :132人目の素数さん:2017/01/17(火) 01:29:12.41 ID:3vQPUPcS.net
- comicな厨二病の話。
- 237 :132人目の素数さん:2017/01/17(火) 23:46:48.17 ID:3vQPUPcS.net
- >>234
>これを利用する形で応用を考えたい。
本人が何か発見するのを待とう。
再度、
>興味はあるが、期待はしてない。
- 238 :132人目の素数さん:2017/01/26(木) 17:20:32.70 ID:m4s1eBrN.net
- >>234
幾何的にっていってもいまいちだな。素養がないのでノーアイデァアだな。
ちゅうことで、3元数を利用して5時方程式を代数的に解こうと思う。
不可解の証明は3元数想定してないだろ。解ける気がする。
5項に分解して未知係数が75個使えるからたくさんあって良さそう。
出だし始めとこなんで、なんとも言えんが。
- 239 :132人目の素数さん:2017/01/26(木) 17:32:48.67 ID:m4s1eBrN.net
- 話題投下。
マックスウェルの方程式のオリジナル版だって。3元数使うらしい。
http://nanamas.my.coocan.jp/nana25a161.html
物理得意な人、何かやってみてよ。
統一場理論できるかもよ。
あと、量子力学にも自然に応用できそうだな。
3元数の3つの積ってのは2つ値持ってるから、それっぽくない?
非結合の8元数が利用できるんだったら、3元数もいけそうだけどな。
8より少なくて楽そうだし。
- 240 :132人目の素数さん:2017/01/26(木) 17:58:45.08 ID:j2A74GYu.net
- アホか
そのページの著者は、四元数の使用と対比して、通常の三次元ベクトル積を「三元数」と気取って書いてみただけだ
- 241 :132人目の素数さん:2017/01/26(木) 18:13:33.85 ID:IlQqHifY.net
- そのリンク先、数学以外の部分も芳ばしい話満載だな。
- 242 :132人目の素数さん:2017/01/26(木) 18:16:12.93 ID:IlQqHifY.net
- >>238
話を三元代数へ移す部分も、三元代数で解いた後に
答えを複素数へ戻す部分も、成分計算は代数的だから、
それができたらアーベルの結果に矛盾する。
- 243 :¥ ◆2VB8wsVUoo :2017/02/21(火) 21:53:25.81 ID:IKx0AR8K.net
- ¥
- 244 :¥ ◆2VB8wsVUoo :2017/02/21(火) 21:53:43.80 ID:IKx0AR8K.net
- ¥
- 245 :¥ ◆2VB8wsVUoo :2017/02/21(火) 21:54:00.92 ID:IKx0AR8K.net
- ¥
- 246 :¥ ◆2VB8wsVUoo :2017/02/21(火) 21:54:18.46 ID:IKx0AR8K.net
- ¥
- 247 :¥ ◆2VB8wsVUoo :2017/02/21(火) 21:54:35.98 ID:IKx0AR8K.net
- ¥
- 248 :¥ ◆2VB8wsVUoo :2017/02/21(火) 21:54:52.98 ID:IKx0AR8K.net
- ¥
- 249 :¥ ◆2VB8wsVUoo :2017/02/21(火) 21:55:10.76 ID:IKx0AR8K.net
- ¥
- 250 :¥ ◆2VB8wsVUoo :2017/02/21(火) 21:55:33.46 ID:IKx0AR8K.net
- ¥
- 251 :¥ ◆2VB8wsVUoo :2017/02/21(火) 21:55:52.81 ID:IKx0AR8K.net
- ¥
- 252 :¥ ◆2VB8wsVUoo :2017/02/21(火) 21:56:12.22 ID:IKx0AR8K.net
- ¥
- 253 :132人目の素数さん:2017/03/26(日) 05:59:25.59 ID:9vefVdo+b
- 5次方程式はまだ解けてません。
とりあえず、n元数の構成をアップしました。
http://ogawapc.myhome.cx/Ngensuu.htm
- 254 :132人目の素数さん:2017/03/26(日) 16:28:02.23 ID:uOPGJF8e.net
- まだ5次方程式は解けてません。
非結合をうまく使えば対称性が崩れる気がする。
とりあえず、n元数の構成をアップしました。
http://ogawapc.myhome.cx/Ngensuu.htm
- 255 :132人目の素数さん:2017/04/02(日) 22:37:12.96 ID:sTKGBIvZ.net
- 次は実係数の2次方程式の3元数解をアップするわ。
- 256 :132人目の素数さん:2017/04/03(月) 19:06:05.55 ID:JUNd3XUS.net
- アップしました。
http://ogawapc.myhome.cx/jitu2ho3genkai.htm
次は3次方程式やります。できるかな。
結局、4次までかなぁ。どうだろう!?
うーむ。(・_・)
- 257 :132人目の素数さん:2017/04/10(月) 11:32:24.58 ID:9julmUPI.net
- 3次方程式の3元数解は簡単にはもとまらんわ。うーん。試行錯誤ちゅうー。
- 258 :132人目の素数さん:2017/04/11(火) 20:47:55.33 ID:6zXiWVmt.net
- 3次方程式の3元数解うまくいった気がしる。
途中だけど。へーそうきたかって感じ。3乗根使ってないけど2じほうていぢk
- 259 :132人目の素数さん:2017/04/11(火) 20:48:26.47 ID:6zXiWVmt.net
- っw
- 260 :132人目の素数さん:2017/04/11(火) 20:52:23.54 ID:6zXiWVmt.net
- スマホうぜ。
2次方程式に還元できたわ。複素数表示に戻すときにiが付くからいいんだろうな。
いやぁ、おそるべしウェルデファインド♪
たぶん、うまくいった。たぶん。
- 261 :学術:2017/04/11(火) 21:22:38.37 ID:Z4fW1E3H.net
- クララメールの公式。ぐらいまででアップ。
- 262 :132人目の素数さん:2017/04/12(水) 10:58:48.15 ID:Rv4U0BPl.net
- なにそれ?(゜o゜)
3次方程式の3元数解眺めた感じでは5次方程式射程に入ったぜ。命中するかはまだ分からんが。(-。-)y-~
- 263 :学術:2017/04/12(水) 12:52:07.65 ID:9vdVAMvL.net
- 五次方程式は知らん世代。共通三次とはいかないし、
センターは二次は不利益だったからパスしてたけど。
- 264 :132人目の素数さん:2017/04/12(水) 16:34:24.11 ID:REvjbxAa.net
- 係数のケースバイになって一部3乗根出てきたわ。
面白いのは、0虚数で除算できないとしたけど、
それは分母からiを消そうとする場合であって、そのままならいいつーか、
そういう計算になってる。そのままで、再度分子に来て1になるちゅー寸法ですわ。
近々アップするんでお楽しみに。
うまくできてる。アーベルちゃんとか
ルフィニちゃんとかガロアちゃんとかラグランジュちゃんとかガウスちゃんに
見せたかったなぁ。これはまるっきり、
群の範疇ではないや。5次の場合でも
不可能性の証明にはかからない予感。
たまげたわ。((((;゜Д゜)))
- 265 :学術:2017/04/12(水) 19:54:57.39 ID:9vdVAMvL.net
- ラグランジュだけ既知か。ふけたな。
- 266 :132人目の素数さん:2017/04/14(金) 11:39:08.85 ID:KyZxDFa9.net
- うーん。係数の式にはなったんだけど不正解だった。途中で2乗したからかな。ふりだしでしゅ。(。>д<)
- 267 :132人目の素数さん:2017/04/14(金) 19:25:41.06 ID:s4Bd3t5Y.net
- 頑張ってね。3次とか、4次とか、期待している。
5次以上については、>>242に書いたとおりだけど。
- 268 :¥ :2017/05/08(月) 12:52:56.99 ID:OR+quqWp.net
- ¥
- 269 :¥ :2017/05/08(月) 12:53:19.72 ID:OR+quqWp.net
- ¥
- 270 :¥ :2017/05/08(月) 12:53:44.71 ID:OR+quqWp.net
- ¥
- 271 :¥ :2017/05/08(月) 12:54:08.65 ID:OR+quqWp.net
- ¥
- 272 :¥ :2017/05/08(月) 12:54:26.36 ID:OR+quqWp.net
- ¥
- 273 :¥ :2017/05/08(月) 12:54:48.46 ID:OR+quqWp.net
- ¥
- 274 :¥ :2017/05/08(月) 12:55:17.48 ID:OR+quqWp.net
- ¥
- 275 :¥ :2017/05/08(月) 12:55:42.80 ID:OR+quqWp.net
- ¥
- 276 :¥ :2017/05/08(月) 12:56:03.27 ID:OR+quqWp.net
- ¥
- 277 :¥ :2017/05/08(月) 12:56:25.94 ID:OR+quqWp.net
- ¥
- 278 :132人目の素数さん:2017/11/13(月) 11:22:36.35 ID:Xk3J1ufN.net
- 3元数はこれでいいんじゃね?
ii=-1
jj=-1
ij=-ji
(a+bi+cj)(a-bi-cj)=a^2+b^2+c^2
(a+bi+cj)(x+yi+zj)=(ax-by-cz)+(ay+bx)i+(az+cx)j+(bz-cy)ij
- 279 :132人目の素数さん:2017/11/16(木) 14:33:51.66 ID:MDLaHJHa.net
- 四元数へ自然に拡張できるからこれでいいじゃん
- 280 :132人目の素数さん:2017/11/16(木) 16:40:38.72 ID:Yrwj1R2J.net
- (・∀・) ニヤニヤ
- 281 :132人目の素数さん:2017/11/16(木) 17:42:50.96 ID:MDLaHJHa.net
- 笑ったら負け
- 282 :132人目の素数さん:2017/11/16(木) 19:10:12.32 ID:Yrwj1R2J.net
- あっぷっぷ
- 283 :¥ :2017/11/16(木) 20:01:38.14 ID:dwsFtXIf.net
- ¥
- 284 :¥ :2017/11/16(木) 20:01:55.45 ID:dwsFtXIf.net
- ¥
- 285 :¥ :2017/11/16(木) 20:02:12.31 ID:dwsFtXIf.net
- ¥
- 286 :¥ :2017/11/16(木) 20:02:29.75 ID:dwsFtXIf.net
- ¥
- 287 :¥ :2017/11/16(木) 20:02:45.86 ID:dwsFtXIf.net
- ¥
- 288 :¥ :2017/11/16(木) 20:03:02.08 ID:dwsFtXIf.net
- ¥
- 289 :¥ :2017/11/16(木) 20:03:18.85 ID:dwsFtXIf.net
- ¥
- 290 :¥ :2017/11/16(木) 20:03:34.73 ID:dwsFtXIf.net
- ¥
- 291 :¥ :2017/11/16(木) 20:03:50.94 ID:dwsFtXIf.net
- ¥
- 292 :¥ :2017/11/16(木) 20:04:06.74 ID:dwsFtXIf.net
- ¥
- 293 :132人目の素数さん:2017/11/17(金) 18:44:04.35 ID:cV4iWgLIj
- もう1年経つのか。
今ね、5次にとりかかってる。
3ヶ月後には計算終わるかな。ハースストーンやめたから。
ウェルデファインドな3元数ってだけでも凄いと思うんだけど、
まぁ、何か応用ないとなぁとは確かに思う。
ぼく、かんぱる。新たな数学史を作ってみしぇる!
地球精神王の伊達じゃないところを示さないとなとも
思ったり。
応援してね。
- 294 :132人目の素数さん:2018/02/28(水) 17:42:46.96 ID:Y1FRRTGBY
- 6月だな。
ウェルデファインドな3元数の構成とそれによる5次方程式の
代数的解法の発見。革命的業績になるもんなぁ。
うひひひひ。よだれ出るわ。うひひひひうひうひうひ。
- 295 :132人目の素数さん:2018/05/11(金) 19:28:42.04 ID:c4gIxrK61
- HP変わりました。
https://katsuhikoogawa123.wixsite.com/mysite
8月中には結果出るかな。
最近、パズドラ初めてな。
- 296 :132人目の素数さん:2018/08/10(金) 20:13:30.49 ID:20uGmcZX.net
- 俺は最初、三元数、九元数、のほうが良いと思ったが、
実数が1種類あるので、2の指数しか元数の種類にならないってのは、
要するに、
2元数 2^0+1
8元数 2^3+1
要するに、これ、僕が3とか9とか言いたかった奴で、
やはり三元数と九元数は無かったよ。
ただ、3つある、9つある、と言ってしまったのは、+1、も含めていたことを反省している。
石野悟司
- 297 :小川:2018/08/20(月) 13:56:40.92 ID:ayP+1A7md
- 怠けてあんまり進んでない。今年中には結果出す。
- 298 :天パメガネ:2018/10/31(水) 19:27:49.40 ID:yq3HTRG3q
- よぉ〜小川
- 299 :小川:2018/11/08(木) 15:07:38.05 ID:DvpTNefOa
- 相変わらずあんまり進んでない。来年の4月には結果出るかなー。
- 300 :小川:2018/11/08(木) 15:08:35.45 ID:DvpTNefOa
- 最近ドラクエ11始めてな。
- 301 :勝ちました:2018/11/22(木) 23:21:02.80 ID:A0QDpnv4S
- 頑張ってください(☝ ՞ਊ ՞)☝
- 302 :小川:2019/01/11(金) 16:11:29.41 ID:Irr/fJtuk
- あけおめ。
遅々と進行中。4月中には結果でるかな!?
あれだね、積の結合法則の成り立つ3元数はないことが証明されてるけど、
俺のは積の結合法則成り立たないから問題ない。
それで、だから、群にならない。つまり、不可解性の証明の範囲外!
いけるぞー!
楽しみにしててちょ。
- 303 :小川:2019/03/10(日) 14:10:44.22 ID:AzGVK1Vhk
- まあまあ精を出してるけど、計算長くて、8月くらいかな。結果出るの。
ワイプアウトVR面白いな。
- 304 :中学数学只今授業中:2019/03/10(日) 14:16:36.19 ID:BXNr87IYN
- ははは はじめまして
数学カテ選んだんはじめて
- 305 :小川:2019/06/20(木) 20:13:29.93 ID:9CBBYo23.net
- 2ちゃんてスマホから書き込めないのな。
- 306 :小川:2019/06/20(木) 20:23:05.55 ID:9CBBYo23.net
- やっと2次の解と係数の関係まで進んだ。
第2、第3成分0にするために文字6個に減らしたけど、少し式が簡単になったからいいや。次は3次の計算して同じく第2、第3成分が0になればいいんだけどなぁ。
話変わるけど真鍋さんのって結合法則成り立つって言ってるから、ありゃあれだな。
- 307 :132人目の素数さん:2019/06/29(土) 16:35:56.55 ID:DHiuKlHq.net
- 3元数できたよ
ふうL@Fu_L12345654321
学コン1傑いただきました!
とても嬉しいです!
https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
https://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)
- 308 :132人目の素数さん:2019/07/03(水) 19:45:42.14 ID:dqLWAG/2.net
- 4545
ふうL@Fu_L12345654321
学コン1傑いただきました!
とても嬉しいです!
https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
https://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)
- 309 :132人目の素数さん:2019/07/20(土) 11:20:35.72 ID:bSAoQnjE.net
- 2045
ふうL@Fu_L12345654321
学コン1傑いただきました!
とても嬉しいです!
https://pbs.twimg.com/media/D-IuUuqVUAALnAB.jpg
https://twitter.com/Fu_L12345654321/status/1144528199654633477
(deleted an unsolicited ad)
- 310 :132人目の素数さん:2019/07/20(土) 17:28:10.36 ID:z31MxrpG.net
- 積の結合法則が成り立たないだけで、3元数だって普通に存在するだろ
- 311 :132人目の素数さん:2019/07/20(土) 19:52:32.97 ID:B968ZpWR.net
- 結合法則も交換法則も成り立つ例もある
もちろん除法は定義不可能だけど
- 312 :132人目の素数さん:2019/07/20(土) 20:13:32.74 ID:z31MxrpG.net
- 結合法則や除法が不可というだけでゲテモノ扱いはよくないな
むしろ環や体とは異なる性質を持つ稀有な例として重宝すべき
そういう珍しい存在に積極的に目を向けるのが本来の数学者だよ
- 313 :132人目の素数さん:2019/07/21(日) 01:50:26.90 ID:4WeinRW/.net
- 使い道さえあればそれを示せば無視はしないよ
三元数の定義を満たさない場合は三元数と呼んだら無視されるので新たな呼び名は必要だろうけど
- 314 :132人目の素数さん:2019/07/23(火) 14:00:34.38 ID:93iN+OJh.net
- 使い道とか関係ないんだよ
存在そのものに意義があるのだから
- 315 :132人目の素数さん:2019/07/23(火) 14:31:51.89 ID:XidisA6x.net
- 使えなきゃ誰も相手にしないから一人でがんばれ
- 316 :132人目の素数さん:2019/07/25(木) 23:13:12.04 ID:va68foJ5.net
- たまにテレビとかに出てくる自称発明家みたいなもんだよね
- 317 :132人目の素数さん:2019/07/28(日) 08:45:17.05 ID:UikevKou.net
- >>315
どうでもいいが、レス早いな
キミはFランの大学生か高校生か
才能ないみたいだから数学なんか
やらないほうがええよ
- 318 :132人目の素数さん:2019/07/28(日) 11:12:17.29 ID:WLmxIIbc.net
- >>317
まあ才能欲しかったなあと思うことはあるw
ここに来ると贅沢言っちゃいかんなとも思うが
- 319 :小川:2019/08/05(月) 16:58:23.09 ID:xQ6NrEGp.net
- まだ数ヶ月かかる。5次方程式の代数的解放やってるんだけど。
もう8月か。今年中には計算終わりたい。
俺の3元数は四則演算できるってw
商の定義上ゼロ除算になる場合は当然除外されるけど。
積の結合法則成り立たないから、3元数の非存在の証明とも矛盾しないし。
群にならないから群としての制約も受けないし、だから、5次方程式の代数的解放の
望みがあるわけよ。ちょうどぴったり都合がいいw
3元で四則できさえすればいいなら第2の虚数いらないんだよね。
コロンブスの卵だろー。
3元数としては積の結合法則成り立たないから群にならないけど、第3成分0にすると
複素数と一致するという好都合w
俺の3元数、ほんと、まじ、四則できるんだからっ。群じゃないけどw環にはなるの?知らんけどw
ほんと、まじ、世紀の大発見なんだからっ!ほんとだよっ!まったく、肩書きとか権威が評価しない
限り物の価値が分からんやつが多いこと多いことw
- 320 :132人目の素数さん:2019/08/05(月) 17:56:29.07 ID:SvNWZ19y.net
- 書いている通りならおそらく3元数ではないものを3元数と呼ぶわけだからそりゃ数学の世界では受け入れられないわな
普通はその時点でトンでも認定される
まず名称を変えなきゃな
ちなみに結合法則の成立はn元数と呼ばれるのに必要ないのは8元数で成立していないことからもわかること
- 321 :132人目の素数さん:2019/08/05(月) 23:57:01.98 ID:DkXQLaQ9.net
- >>316
みたいなものというよりそのもの
誰も見向きもしないゴミを世紀の大発見とか言って一人で盛り上がってるんだもの
- 322 :132人目の素数さん:2019/08/28(水) 21:06:19.81 ID:6qtmB7NE.net
- i, j, kの3つだから確かに3元数だな(笑)
- 323 :小川:2019/09/05(木) 19:21:37.27 ID:p2vwhRJq.net
- 長らく計算してたのダメだった。
別の方法で計算中。
俺の3元数は中学数学レベルなのに
分からんって、どうしちゃったんだ、お前ら。
- 324 :132人目の素数さん:2019/09/06(金) 13:53:25.96 ID:VTfJY8Vm.net
- 俺はわかってるよ
- 325 :132人目の素数さん:2019/09/08(日) 03:18:38.26 ID:lPKYaT5j.net
- 複素数は、単に二次方程式の解の話じゃなく、複素関数論まで発展したから使われている。
四元数はもはやあんまり使われてないけど、3次元や4次元空間の回転を表現出来るのでたまに便利。
やっぱり、応用とセットでないと、単にベクトルに積を定義したって誰も喜ばないよ。
- 326 :132人目の素数さん:2019/09/13(金) 10:32:54.12 ID:tbpXN3li.net
- 交換法則や結合法則が成り立たないと二次方程式も一般に
ax^2+bx+c=0
の形にはまとめられず
axx+bx^2+cxdxe+fx+xg+h=0
みたいな形になるんだろうから解の公式をひねり出すのも面倒くさそうだな
- 327 :132人目の素数さん:2019/09/13(金) 10:38:04.53 ID:tbpXN3li.net
- cxdxeの項もどう括弧つけるかでさらに分けなきゃいかんかったか
面倒くせえ
- 328 :132人目の素数さん:2019/09/13(金) 10:45:57.92 ID:tbpXN3li.net
- 分配法則成り立たないと同類項をまとめることもできなくなるか
こういった法則の有り難みがわかるな
解と係数の関係を求めるのも一苦労になるのだろうな
- 329 :132人目の素数さん:2019/09/13(金) 13:02:05.53 ID:tbpXN3li.net
- 分配法則成り立ってもx^2αとかx(xβ)とかもあるのか
cxdxeのc=d=1の場合になるけど
一次の項も
γxδ
みたいのを入れんといかんかな
結構カオス
- 330 :132人目の素数さん:2019/09/13(金) 17:00:10.94 ID:tbpXN3li.net
- 結局結合法則を満たさない場合の二次方程式の一般形はまとめられるものはまとめるとして
二次の項は
有限個の数と2個のxを並べてどの括弧にも少なくとも一つのxが含まれるようにしたもの有限個の和(二次方程式なので消えない)
一次の項は
有限個の数と1個のxを並べてどの括弧にもxが含まれるようにしたもの有限個の和
で、それらの和に定数項を加えたら=0
となるのかな
解と係数の関係ってこれら有限の数すべてに関わってくるんだろうな
想像もつかねえ
- 331 :132人目の素数さん:2019/09/14(土) 00:17:52.63 ID:n4OZq3Li.net
- ところで複素数はみ出して例えば四元数とかだと二次方程式
x^2=-1
の解は2個に収まらない
この解は
pi+qj+rk
{ただしp^2+q^2+r^2=1}
という単位球面上の点すべてであり連続体濃度ほどの解がある
>>306はこの辺りどう処理してんだろ?
- 332 :132人目の素数さん:2019/09/20(金) 13:34:55.43 ID:KyAOfC1j.net
- 3500
かずきち@dy_dt_dt_dx 8月28日
学コン8月号Sコース1等賞1位とれました!
マジで嬉しいです!
来月からも理系に負けず頑張りたいと思います!
https://twitter.com/dy_dt_dt_dx
(deleted an unsolicited ad)
- 333 :小川:2019/10/26(土) 19:47:24.55 ID:JjOND5IE.net
- HPアドレス変わりました。
久しぶりに更新。
https://ogawakatsuhiko.web.fc2.com/3hokake3gen.html
特に目新しい成果はないけど。
- 334 :132人目の素数さん:2020/08/02(日) 00:59:25 ID:ACAnxdH2.net
- test
- 335 :132人目の素数さん:2020/08/02(日) 23:55:38.37 ID:Ams4qw79.net
- test
- 336 :132人目の素数さん:2020/08/09(日) 22:44:22 ID:1yPTdrKf.net
- です
- 337 :小川:2020/08/19(水) 16:48:22 ID:ijgrXqv/.net
- ウィッチャー3にハマってる。
4次方程式の解と係数の関係を満たす3元数はまだ計算途中。
- 338 :132人目の素数さん:2020/08/20(木) 00:06:32.81 ID:kGfYQeCQ.net
- 学術の巨大掲示板群 - アルファ・ラボ ttp://x0000.net
数学 物理学 化学 生物学 天文学 地理地学
IT 電子 工学 言語学 国語 方言 など
- 339 :132人目の素数さん:2020/08/21(金) 23:39:39.43 ID:5qiPpY9M.net
- 体にはならないはず
- 340 :132人目の素数さん:2020/09/09(水) 22:59:52.52 ID:IR7822fG.net
- 中間値の定理
- 341 :盗聴盗撮犯罪者・色川高志が嫌がらせをしつこく継続:2021/03/17(水) 10:48:35.59 ID:KkUI8XzM.net
- 色川高志(葛飾区青戸6−23−21ハイツニュー青戸103)
●色川高志「高添沼田の息子の金属バット集団殴打撲殺を熱望します」
龍神連合五代目総長・高添沼田の息子(葛飾区青戸6−26−6)の挑発
●高添沼田の息子「糞関東連合文句があったらいつでも俺様を金属バットで殴り殺しに来やがれっ!! 糞関東連合の見立・石元・伊藤リオンの糞野郎どもは
龍神連合五代目総長の俺様がぶちのめしてやるぜっ!! 賞金をやるからいつでもかかって来いっ!! 糞バエ関東連合どもっ!! 待ってるぜっ!!」(挑戦状)
492盗聴盗撮犯罪者色川高志(青戸6−23−21ハイツニュー青戸1032021/02/03(水) 13:53:22.55ID:QtP78E4Z
●青戸六丁目被害者住民一同「盗聴盗撮犯罪者の高添沼田ハゲエロ老義父の逮捕を要請します」
長木親父&長木よしあき(盗聴盗撮犯罪者の高添沼田ハゲエロ老義父を逮捕に追い込む会&被害者の会会長)住所=東京都葛飾区青戸6−23−20
●盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父
高添沼田ハゲエロ老義父の住所=東京都葛飾区青戸6−26−6
【通報先】亀有警察署=東京都葛飾区新宿4ー22ー19 рO3ー3607ー0110
盗聴盗撮つきまとい嫌がらせ犯罪者/アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父の盗聴盗撮つきまとい嫌がらせ犯罪者/愛人変態メス豚家畜清水婆婆(青戸6−23−19)の
五十路後半強制脱糞
http://img.erogazou-pinkline.com/img/2169/scatology_anal_injection-2169-027.jpg
アナル挿入食糞愛好家で息子の嫁で自慰行為をしている高添沼田ハゲエロ老義父によりバスタブで清水婆婆の巨尻の肛門にシャワーのキャップをはずしてずっぽり挿入。
- 342 :132人目の素数さん:2021/08/05(木) 15:31:30.52 ID:sWwI/XUr.net
- テスト
- 343 :小川:2021/11/27(土) 16:37:02.47 ID:l/yqLTmB.net
- 久しぶり。
https://youtu.be/DBF4a_7CHnM
- 344 :小川:2021/11/28(日) 01:54:39.66 ID:VrN5rQIW.net
- あげ
- 345 :小川:2021/12/12(日) 16:20:35.67 ID:ts1iOMOj.net
- 閑話休題。ふと思いついたので証明した。
https://youtu.be/9aks3EQtOxw
ラジアンの詐術を暴きました。
- 346 :132人目の素数さん:2021/12/12(日) 16:30:36.88 ID:AuQR4hDN.net
- 三元豚は雑種
三元数は雑数
- 347 :小川:2021/12/23(木) 19:07:18.60 ID:3RvmGclG.net
- 数直線が実数。
数平面が複素数。
数空間が3元数。(小川の3元数)
n次元数空間がn元数。(小川のn元数)
- 348 :132人目の素数さん:2022/12/21(水) 22:47:07.09 ID:F669Iarw.net
- https://i.imgur.com/GNNe2yp.jpg
https://i.imgur.com/2F7XLwt.jpg
https://i.imgur.com/XW75XMn.jpg
https://i.imgur.com/8cSowyE.jpg
https://i.imgur.com/4wDf9u3.jpg
https://i.imgur.com/U24rKnm.jpg
https://i.imgur.com/B5S1e3H.jpg
https://i.imgur.com/E0SK1vT.jpg
https://i.imgur.com/O1b3l8p.jpg
https://i.imgur.com/bkAbEgh.jpg
https://i.imgur.com/yQ1t1wr.jpg
https://i.imgur.com/E8ci9GN.jpg
総レス数 348
82 KB
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver 2014.07.20.01.SC 2014/07/20 D ★