[表示 : 全て 最新50 1-99 101- 201- 301- 401- 501- 601- 701- 2chのread.cgiへ]
Update time : 05/09 16:25 / Filesize : 179 KB / Number-of Response : 733
[このスレッドの書き込みを削除する]
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧] [類似スレッド一覧]


↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました

四元数以上の数って



1 名前:132人目の素数さん [2006/05/14(日) 03:42:37 ]
自然科学で役に立ってるの?

2 名前:132人目の素数さん [2006/05/14(日) 04:00:14 ]
物理学で役立っています。自然科学じゃあないけどコンピュータ科学でも役立っています。
sinai.mech.fukui-u.ac.jp/ITM2003/GA_LeibnitzDream.pdf
modelingnts.la.asu.edu/html/overview.html
www.cambridge.org/uk/catalogue/catalogue.asp?isbn=0521480221
bookweb.kinokuniya.co.jp/guest/cgi-bin/booksea.cgi?ISBN=0817642676

3 名前:132人目の素数さん [2006/05/14(日) 04:03:07 ]
何なんだ四元数って

4 名前:132人目の素数さん mailto:sage [2006/05/14(日) 04:40:49 ]
a+bεなる二元数は同型を除き三種類。

5 名前:kmath1107@yahoo.co.jp mailto:sage [2006/05/14(日) 04:47:31 ]
>>1 以上ってなに?

6 名前:ピカ ◆FMcOvuHCU. mailto:sage [2006/05/14(日) 04:51:59 ]
五元、六元・・・て意味じゃね?

7 名前:132人目の素数さん [2006/05/14(日) 05:00:34 ]
八元数と十六元数とその発展形態のこと

8 名前:JIN [2006/05/14(日) 05:09:53 ]
スキーム

9 名前:132人目の素数さん [2006/05/14(日) 05:11:57 ]
www.idom.jp/gakucho/gakucho.html

10 名前:132人目の素数さん [2006/05/14(日) 05:17:18 ]
>>5
ノルム前提なら四元数と八元数のこと。



11 名前:132人目の素数さん mailto:sage [2006/05/14(日) 05:27:43 ]
絶対値1の四元数全体って幾何で言うとなんだったっけ?

12 名前:132人目の素数さん [2006/05/14(日) 05:34:50 ]
12.xmbs.jp/762885/

13 名前:132人目の素数さん mailto:sage [2006/05/14(日) 05:44:49 ]
↑なんていうか、明らかに内輪なコンテンツしかないサイト紹介されても、参加しようがない・・

14 名前:132人目の素数さん mailto:sage [2006/05/14(日) 07:04:52 ]
S^3?

15 名前:132人目の素数さん [2006/05/14(日) 07:35:53 ]
CGやるなら必須だべ

16 名前:GiantLeaves ◆6fN.Sojv5w [2006/05/14(日) 09:22:39 ]
talk:>>5 書くな。

17 名前:132人目の素数さん [2006/05/14(日) 19:41:58 ]
四元数は乗法の交換則、八元数は乗法の結合側を犠牲にしてるんだっけ?
で、十六元数は何を犠牲にしてるんだ?

18 名前:132人目の素数さん [2006/05/14(日) 19:48:30 ]
ノルム

19 名前:132人目の素数さん [2006/05/14(日) 20:52:50 ]
もっといろいろ犠牲にすればものすごい元数の数ができそうじゃね?

20 名前:kmath1107@yahoo.co.jp mailto:sage [2006/05/14(日) 20:54:32 ]
じゃあ最愛の女性を犠牲にしてみよう



21 名前:132人目の素数さん mailto:sage [2006/05/14(日) 21:03:45 ]
普通はノルムを前提にするので、四元数と八元数までで拡張は終わる。
もちろんノルムに拘らないとか交換法則も結合法則も分配法則もいら
ないとなればいろいろ作れるが、意味がないことをやってもなあ。

2元数は本質的に次の三種類。

a,bを実数として、

a+bi,ただし、i^2=-1
a+bj,ただし、j^2=1
a+bε,ただし、ε^2=0

このうち体になるのは最初のもの(つまり複素数体)だけ。

22 名前:GiantLeaves ◆6fN.Sojv5w [2006/05/14(日) 21:45:14 ]
talk:>>20 それより、人の脳を読む能力を悪用する奴に人の脳を読む能力を行使させるな。

23 名前:132人目の素数さん mailto:sage [2006/05/14(日) 22:28:22 ]
可除なものの分類は未解決かな?


24 名前:132人目の素数さん [2006/05/15(月) 00:58:29 ]
四元数は剛体の開店運動を表すのに使われてるんだっけ?
八元数からはただの数学者のオナニーってことでいいのかな

25 名前:132人目の素数さん mailto:sage [2006/05/15(月) 02:20:28 ]

ところで、三元数ってなんか役に立つ?

26 名前:132人目の素数さん [2006/05/15(月) 02:23:40 ]
そんなものは存在しない

27 名前:132人目の素数さん mailto:sage [2006/05/15(月) 02:51:15 ]
あるよ。分配法則満たさないから環じゃないけど。

28 名前:132人目の素数さん [2006/05/15(月) 02:56:02 ]
てめーら馬鹿だな
四元以上の数が多元じゃないか

29 名前:132人目の素数さん [2006/05/15(月) 03:05:08 ]
多元数でググると某所が出てきてしまう。

30 名前:132人目の素数さん [2006/05/15(月) 04:54:47 ]
絶対値1の8元数全体の成す多様体がどんな形してるか説明してくれた人にチョコあげる



31 名前:132人目の素数さん mailto:sage [2006/05/15(月) 05:01:00 ]
あ、やっぱりチョコじゃなくてきな粉餅にします

32 名前:132人目の素数さん mailto:sage [2006/05/15(月) 05:28:09 ]
S^7

33 名前:132人目の素数さん mailto:sage [2006/05/15(月) 06:06:14 ]
||x||=√(各成分^2の和)だから当たり前だった・・・グスン

>>32

34 名前:132人目の素数さん mailto:sage [2006/05/15(月) 06:12:51 ]
4元数 quaternion
8元数 octonion
16元数 sedenion

35 名前:132人目の素数さん [2006/05/15(月) 07:39:00 ]
>>33にきな粉がついてない件について

36 名前:132人目の素数さん [2006/05/15(月) 09:14:23 ]
>>29
だから多元のスレ行けよ

おしまい

37 名前:132人目の素数さん mailto:sage [2006/05/15(月) 15:27:48 ]
>>35
グスン・・・だって思ったより早いレスだったから・・・シクシク・・・

38 名前:132人目の素数さん mailto:sage [2006/05/15(月) 20:47:14 ]
>>37のコテはきな粉詐欺ということで

39 名前:132人目の素数さん [2006/05/17(水) 03:16:09 ]


40 名前:132人目の素数さん [2006/05/17(水) 06:27:27 ]
すぴのる



41 名前:132人目の素数さん [2006/05/19(金) 03:43:49 ]
32元数はどう定義されてるんだ?

42 名前:132人目の素数さん [2006/05/19(金) 03:52:01 ]


43 名前:132人目の素数さん mailto:sage [2006/05/19(金) 06:23:27 ]
hypernumbersっていうコミュニティがありますね。面白いのか知らんけど・・・

44 名前:132人目の素数さん mailto:sage [2006/05/26(金) 14:35:29 ]
776

45 名前:132人目の素数さん mailto:sage [2006/06/16(金) 01:16:55 ]
822

46 名前:132人目の素数さん [2006/06/17(土) 16:18:29 ]
>>43
何所に

47 名前:132人目の素数さん mailto:sage [2006/06/17(土) 22:52:41 ]
5元数ってどんなの?

48 名前:132人目の素数さん mailto:sage [2006/06/19(月) 21:59:34 ]
あまり代数的に美しくないであろうことぐらいしか分からない

49 名前:132人目の素数さん [2006/06/24(土) 10:35:52 ]
解析力学はシンプレックス構造?らしくて8元数?とかと関係するらしいよ。

つまり、この世は8元数?っぽくできているらしいってこと。

50 名前:132人目の素数さん [2006/06/24(土) 13:41:16 ]
n元数のnって実数や複素数になっても説明付くように再定義できない?
1/2元数とか、2^(1/2)元数とか、e元数とか



51 名前:132人目の素数さん mailto:sage [2006/06/24(土) 14:03:24 ]
できるよ。

52 名前:132人目の素数さん mailto:sage [2006/06/24(土) 20:47:31 ]
>>49
「らしい」とか「?」とか言う暇があったら本買ってきて八元数勉強しろ

53 名前:132人目の素数さん mailto:sage [2006/06/25(日) 06:47:00 ]
>>52
8元数専門に扱ってる本てある?

54 名前:132人目の素数さん mailto:sage [2006/06/25(日) 06:49:13 ]
>>51
実数はハウスドルフ次元があるけど、複素数版も既にあるの?
というか更なる高次元数に拡張される可能性もまさか?
全然イメージがつかない・・・w

55 名前:132人目の素数さん [2006/06/25(日) 07:04:36 ]
虚数次元ってなによ?

56 名前:132人目の素数さん mailto:sage [2006/06/25(日) 07:23:24 ]
・・・

57 名前:132人目の素数さん mailto:sage [2006/06/25(日) 08:10:31 ]
>>55
まずは頭の中で考えてごらんよ。

58 名前:132人目の素数さん mailto:sage [2006/06/25(日) 13:55:42 ]
>>57
数脳を持たない凡人にはむりでつ

59 名前:132人目の素数さん mailto:sage [2006/06/25(日) 21:51:25 ]
>>53
多元数一般を扱った本ならある

60 名前:132人目の素数さん [2006/07/22(土) 17:09:06 ]
メコス次元以上の数って



61 名前:132人目の素数さん [2006/07/28(金) 12:28:36 ]
おまえら三元数を跳ばすなよ!かわいそうだろ!ちゃんと定義してやれよ!

62 名前:132人目の素数さん mailto:sage [2006/07/28(金) 14:25:23 ]
あるけどイマイチ役に立たない

63 名前:132人目の素数さん mailto:sage [2006/08/30(水) 14:53:09 ]
550

64 名前:132人目の素数さん mailto:sage [2006/10/02(月) 23:43:44 ]
592

65 名前:132人目の素数さん mailto:sage [2006/11/13(月) 14:01:54 ]
223

66 名前:132人目の素数さん [2006/11/26(日) 07:20:48 ]
二重数や双対数は?

67 名前:132人目の素数さん [2006/11/26(日) 14:22:13 ]
解析の話で、2変数で成立するある定理を3次元に拡張する時に
自然に4元数の構造が必要になると聞いた
一般次元でも何か出てくるが
8元数が出てくるかどうかは
知られていない。論文はまだ準備中らしい。

68 名前:132人目の素数さん [2006/11/27(月) 01:04:38 ]
四元数が CG に利用されてるっていうけど、行列
使った場合と比べて計算量的にどれ位有利なの?

69 名前:132人目の素数さん [2006/12/01(金) 12:19:36 ]
そもそも多元数の定義でよく使われるものってどんなのがある?

70 名前:132人目の素数さん mailto:sage [2006/12/02(土) 03:14:19 ]
実数倍の保存
実数倍を先にして良い
両側分配則

あとは必要に応じて
可除系
ノルムの積は積のノルム
累乗は交代系
交代系
結合則
可換則
辺りから適当に選択



71 名前:132人目の素数さん [2006/12/10(日) 12:08:12 ]
コンウェイの本の訳が培風館から出ていたけど、意外に面白い。
八元数の幾何的な意味とかディクソン二重化の突っこんだ話とか。
フルビッツの定理を知っていただけに、フィスターの話は新鮮だった。

72 名前:132人目の素数さん mailto:sage [2007/01/17(水) 01:14:32 ]
阿含宗桐山教祖の逮捕歴

昭和二十七年八月十六日 詐欺容疑、契約違反の容疑で逮捕
警視庁西新井署

十二月手形詐欺容疑で逮捕
千葉県松戸署

二十八年八月 酒税法違反 私文書偽造容疑 逮捕
警視庁防犯課

二十九年 三月酒税法違反 私文書偽造に対する第一審判決
五月入所
十月東京高裁酒税法と私文書偽造により有罪




73 名前:132人目の素数さん mailto:sage [2007/02/04(日) 10:52:57 ]
king

74 名前:KingOfUniverse ◆667la1PjK2 [2007/02/04(日) 14:18:39 ]
talk:>>73 何やってんだよ?

75 名前:132人目の素数さん [2007/02/24(土) 16:54:38 ]
   ,-ー──‐‐-、
   ,! ||      |
   !‐---------‐
  .|:::i ./´ ̄ ̄.ヽ.i
  |::::i | |\∧/.|..||
  |::::i | |__〔@〕__|.||
  |::::i |.(´・ω・`) ||
  |::::i |  キング  ||
  |::::i | カワイソース.||
  |::::i L___________」|
  |::::i : : : : : : : : : |
  `'''‐ー------ー゙

76 名前:132人目の素数さん [2007/02/25(日) 01:50:08 ]
一元数ってホントに存在するの!?
なんか証明されているみたいだけど、
実数係数の2次方程式の解が複素数になりえることを考えると、
実数も一種の二元数だよな。
あるいは別に一元で完結する数ってあるのかな?

77 名前:132人目の素数さん [2007/02/25(日) 02:19:03 ]
>>76
一元てどゆこった?

78 名前:132人目の素数さん mailto:sage [2007/02/25(日) 11:35:46 ]
>>77
文字通り、1つの元からなる数のこと。
2元数(例.複素数)を見れば意味がわかると思う。

79 名前:132人目の素数さん [2007/02/25(日) 11:57:20 ]
>>78
想像もつかぬわ

80 名前:132人目の素数さん [2007/02/25(日) 18:04:09 ]
ふーむ



81 名前:KingOfUniverse ◆667la1PjK2 [2007/03/02(金) 21:40:07 ]
talk:>>75 私に何か用か?

82 名前:132人目の素数さん [2007/03/02(金) 21:59:28 ]
>>81
あげんな

83 名前:132人目の素数さん [2007/03/02(金) 22:03:56 ]
>>82
スレ上げ屋の旦那に「あげんな」言うてもそれは無理な相談でしょ
そういうお前もあげてるし
そして僕もあげる

84 名前:132人目の素数さん mailto:sage [2007/03/02(金) 22:30:41 ]
16元数の用途はなんやろ・・・・・

85 名前:132人目の素数さん mailto:sage [2007/03/02(金) 23:31:59 ]
球面ホモとp計算のときに見た希ガス
それだけ

86 名前:132人目の素数さん mailto:sage [2007/03/11(日) 21:15:19 ]
675

87 名前:132人目の素数さん [2007/04/04(水) 11:13:34 ]
あほな連中やなぁ

88 名前:132人目の素数さん mailto:sage [2007/04/04(水) 12:31:29 ]
スレタイの四元数以上って、何にどんな順序を入れた上で「以上」って言ってるんだ?

89 名前:132人目の素数さん [2007/04/05(木) 22:35:09 ]
>>85
忘れているかも知れないが出来れば詳しく

90 名前:132人目の素数さん mailto:sage [2007/04/06(金) 06:49:55 ]

「複4元数」というのは、現代流にいえば複素シンプレティックということになろうが、
それはクリフォード環の直接の出発点になっただけでなく、
グラスマンと並んで、ハミルトンを線形環の開祖にする。

数の系列は
 実数 → 複素数 → 4元数 → 8元数(ケイリー数)
というようになっていることがフロベニウスによって明らかにされ、
さらにリーとその後継者によって典型群としてのシンプレティックの意味が明らかにされていくのだが、
ハミルトンが夢想的に回転群の4元数表現を考えていたのは、今になってみるとスピノル表現への黙示でもあった。

ハミルトンの4元数のつぎに、ケーリー考えた8元数は「ケーリー数」とも呼ばれるが、
数の系列にとってこれは奇妙なものである。
4元数までは典型群を形成するわけだが、8元数になるとイビツな例外群となる。

森 毅: 「100人の数学者」 数セミ増刊, 日本評論社, p.118-119, p.130-131 (1989.5)



91 名前:132人目の素数さん [2007/04/07(土) 10:00:27 ]
↑アホ

92 名前:132人目の素数さん [2007/04/12(木) 07:53:53 ]
↑そうね

93 名前:132人目の素数さん mailto:sage [2007/04/12(木) 18:19:26 ]
〔Hurwitz の定理〕等式
 (a_1^2 + a_2^2 + … + a_n2)(b_1^2 + b_2^2 + … + b_n^2) = c_1^2 + c_2^2 + … + c_n^2,
が成立するのは、和の個数nがn=1,2,4,8 の場合に限られる。
ここに c_k は Σ[i,j] α(i,j,k) a_i b_j の形のa_i,b_jの双1次形式を表わす。

淡中忠郎: 「多元数物語」
 数セミ, Vol.13, No.5 (1974.5)
 「数の世界」, 数セミ増刊, 日本評論社, p.89-91 (1982.9)

94 名前:132人目の素数さん mailto:sage [2007/04/12(木) 22:43:25 ]
つ[参考書]

「超複素数入門―多元環へのアプローチ」

ISBN: 9784627061118 (4627061110)
172p 21cm(A5)
森北出版 (1999/09/13 出版)
・I.L.Kantor,A.S.Solodovnikov【著】
・浅野 洋【監訳】
・笠原 久弘【訳】
[A5判] 販売価 \2,730(税込)
bookweb.kinokuniya.co.jp/htm/4627061110.html
www.morikita.co.jp/mokuji/0611.html

95 名前:132人目の素数さん mailto:sage [2007/04/12(木) 22:45:57 ]
つ[Reference]

"Hypercomlex Numbers: An Elementary Introduction to Algebras",

出版社: Springer-Verlag (1989/06)
言語: 英語
ISBN-10: 0387969802
ISBN-13: 978-0387969800
商品の寸法: 24.2 x 16.2 x 2 cm
A.Shenitzer (翻訳)
$74.95 (kinokuniya)
bookweb.kinokuniya.co.jp/guest/cgi-bin/booksea.cgi?ISBN=0387969802
www.amazon.co.jp/Hypercomplex-Numbers-Elementary-Introduction-Algebras/dp/0387969802


原著は…
I.L.Kantor, A.S.Solodovnikov: "Giperkompleksnye Chisla"

96 名前:132人目の素数さん mailto:sage [2007/04/12(木) 22:51:26 ]
>>93
Euler は n=4 に対する等式の例を示し,後に n=8 に対する等式も見つけた.
しかし,この問題に対する完全な解決は19世紀の終りになってようやく得られた.
らしい。

97 名前:132人目の素数さん [2007/04/13(金) 01:44:54 ]
四元以上と言えば多元に決まっとろうが

98 名前:132人目の素数さん mailto:sage [2007/04/13(金) 02:11:42 ]
>>97
名大がまたなにかやらかしたのか?

99 名前:132人目の素数さん mailto:sage [2007/04/13(金) 22:23:27 ]
つ[参考書]

「四元数と八元数」 ― 幾何、算術、そして対称性
J.H. コンウェイ, D.A. スミス (共著)、
山田修司 (京都産業大学教授 理博) (訳)
¥3675
培風館
単行本: 208 p.
出版社: 培風館 (2006/11/28)
ISBN-10: 4-563-00369-7   ISBN-13: 978-4563003692
寸法(A5): 21.2 x 15.6 x 0.8 cm
www.baifukan.co.jp/sinkan/shokai/003697.html

100 名前:132人目の素数さん mailto:sage [2007/04/13(金) 22:25:25 ]
つ[読み物]

3D-CGプログラマーのための
クォータニオン入門  ― 「ベクトル」「行列」「テンソル」「スピノール」との関係が分かる!
金谷 一朗 (著)
価格: \2415
単行本: 191 p.
工学社 (2004/01)
ISBN-10: 4777510166  ISBN-13: 978-4777510160
寸法: 20.8 x 14.8 x 1.6 cm
www.kohgakusha.co.jp/support/3dquot/index.html

100げとー



101 名前:132人目の素数さん mailto:sage [2007/04/13(金) 22:27:37 ]
>100 の続き

3D-CGプログラマーのための
実践クォータニオン  ― 「スケーリング」「平行移動」「回転」…のプログラミングが分かる!
金谷 一朗 (著)
\2415
単行本: 143 p.
工学社 (2004/04)
ISBN-10: 477751031X   ISBN-13: 978-4777510313
寸法: 20.8 x 14.8 x 1.4 cm
www.kohgakusha.co.jp/books/detail/978-4-7775-1031-3

102 名前:132人目の素数さん [2007/05/02(水) 10:07:07 ]
木火土金水(もっかどごんすい)故に五元数有り

103 名前:132人目の素数さん [2007/05/06(日) 17:26:20 ]
コペルニクスの時代にはあったと思われる

104 名前:132人目の素数さん mailto:sage [2007/05/06(日) 17:39:34 ]
地水風火
これ四元

105 名前:132人目の素数さん [2007/05/06(日) 17:59:23 ]
風林火山

106 名前:132人目の素数さん mailto:sage [2007/05/06(日) 19:28:37 ]
アホ

107 名前:132人目の素数さん [2007/05/10(木) 19:09:24 ]
仁義礼智忠信孝悌

108 名前:132人目の素数さん mailto:sage [2007/05/10(木) 23:58:31 ]
家内安全商売繁盛

109 名前:132人目の素数さん [2007/05/13(日) 04:40:10 ]
夫婦円満

110 名前:132人目の素数さん [2007/05/14(月) 13:45:30 ]
fox.hokkai.net/~waka-cmn/vote/tvote.cgi



111 名前:132人目の素数さん mailto:sage [2007/05/17(木) 02:36:15 ]
>>10
わかいの、よくおきき。いちばん おおきな
かせきの あたまを うつんだよ。いいね。

>>18
いらっしゃい。じかんを くれれば おすき
なものを おうりしますぜ。

>>21
きょじゅう がにむの たまごは わざわい
を よぶ。こわして しまわなければ・・・

>>70
ゴーデスは しんだ
しかし、なぞは のこされたままだ。じくうれき
がんねんの いぜんは どうなっていたのだろう。
いま、きみは さいごの じくうかんいどう
こころみるのだった。

112 名前:132人目の素数さん mailto:sage [2007/05/17(木) 02:37:47 ]
>>1-110
ななつの ときのひせきによって、ゴーデスは ここ
に、えいえんの ねむりに ついた。
ちきゅうは かわらぬ はんえいを つづけ、ひとび
との きおくから ゴーデスは きえた。
だが、ちきゅうが あんこくせい ゴーデスに なら
ないと だれが だんげんできるだろう。
ゴーデスとは、にんげんの おくそこに ひそむ、
じゃあくな こころの けしんだったのかもしれない。

      −ぼたんを おしてください−

113 名前:132人目の素数さん [2007/05/17(木) 02:38:33 ]
>>114-1000
わたしは ノルム、ときを たびする しょうにん。
じかんと くうかんを あやつる でんせつの かいぶつ
ゴーデスは、あらむな、どれら、びらこちゃ、おあねすの
よにんの せんしによって ふうじこめられていた。しか
し、あるとき、まばゆいばかりの ひかりとともに、ゴー
デスは よみがえり、じくうを ねじまげ、ちきゅうを 
ひきさいた。これが、じくうれきの はじまりだ。ちきゅ
うは ふゆうたいりくとなり、あんこくせい ゴーデスと
して、さつりくを くりかえしていった。わたしは、この
こんげんである ゴーデスを きみに たおしてもらおう
と、いろいろ てだすけ してきたつもりだ。     

ところが、ゴーデスを たおした きみは、さらに ひみ
つを しろうとしてしまった。そうだ、きみが はかいし
たのが ゴーデスの ふういんだったのだ。 ゴーデスは
ふたたび よみがえり、れきしは とじてしまった。この
れきしは、えいえんに つづくことだろう。だが、これも
さだめと おもい、なにも いうまい。さようなら、ゆう
かんな せんしよ。また、あおう。          
わたしは ノルム、ときを たびする しょうにん。  

      ―ぼたんを おしてください―

114 名前:132人目の素数さん mailto:sage [2007/05/19(土) 05:15:59 ]
音楽がわりと好きなゲームだったな。結局途中放棄したけど。

115 名前:132人目の素数さん mailto:sage [2007/06/25(月) 11:29:12 ]
328

116 名前:ZqMxVUdCUxoTGHVed mailto:zaebtsa@gmail.com [2007/07/19(木) 17:33:22 ]
fy0FGM name is Kostya.My nick is Zold . I want to find friends .ICQ 324600825


117 名前:132人目の素数さん mailto:sage [2007/08/31(金) 16:41:39 ]


118 名前:132人目の素数さん mailto:sage [2007/10/30(火) 10:07:02 ]
636

119 名前:132人目の素数さん [2007/11/30(金) 23:39:02 ]
最近、ハミルトン・四元数・回転の表示・物理関連の本が出たが、
あれどうなんだ?

120 名前:132人目の素数さん mailto:age [2007/12/18(火) 02:54:57 ]
books.yahoo.co.jp/book_detail/31972479



121 名前:132人目の素数さん mailto:age [2007/12/20(木) 19:37:02 ]
age

122 名前:132人目の素数さん mailto:sage [2008/01/18(金) 14:44:46 ]
       -──- 、   _________
    /_____ \ >            |
    |/⌒ヽ ⌒ヽヽ | ヽ > _______  |
    |  / | ヽ  |─|  l   ̄ |/⌒ヽ ⌒ヽ\|  |
   / ー ヘ ー ′ ´^V  _ ●),    、,,. (●)i
    l \    /  _丿  \ ̄ー ○ ー ′ _丿
.   \ ` ー ´  /     \        /
      >ー── く      / ____ く
    / |/\/ \       ̄/ |/\/ \    
    l  l        |  l      l  l        |  l    違うスレにコピペするとスネ夫がドラえもん
    ヽ、|        | ノ      ヽ、|        | ノ     に変わる不思議なコピペ



123 名前:132人目の素数さん [2008/02/07(木) 19:11:40 ]
>>70
最初の2つと交代系について教えて!

124 名前:132人目の素数さん mailto:sage [2008/02/07(木) 20:30:14 ]
α,β,p_kを実数、i_kを虚数単位として、

(α+0・i_1+0・i_2+…+0・i_n)(p_0+p_1・i_1+p_2・i_2+…+p_n・i_n)=α・p_0+(α・p_1)・i_1+(α・p_2)・i_2+…+(α・p_n)・i_n

z_1,z_2を超複素数、α,βを実数として、

(α・z_1)(β・z_2)=(αβ)(z_1・z_2)

(z_1・z_2)z_2=z_1(z_2・z_2)
z_1(z_1・z_2)=(z_1・z_1)z_2


125 名前:132人目の素数さん [2008/02/07(木) 20:47:40 ]
>>124
即レスありがとー
交代系っていうのは同じ数限定の結合則のことかー
となると累乗は交代則っていうのは
z_1((z_1^n)z_2) = (z_1^(n+1)z_2 のことかな?

126 名前:132人目の素数さん mailto:sage [2008/02/07(木) 21:27:28 ]
>>125
じゃなくて
z^m・z^n=z^(m+n)



127 名前:132人目の素数さん mailto:sage [2008/02/07(木) 21:32:07 ]
>>126
そうでしたかー
ところで分配法則が成り立たない数の体系ってあるんですか?

128 名前:132人目の素数さん mailto:sage [2008/02/07(木) 21:37:20 ]
超複素数では前提に分配則を置く。
もちろん分配則を満たさない代数系を考える自由はある。

129 名前:132人目の素数さん mailto:sage [2008/02/07(木) 21:57:27 ]
超複素数以外の、和と積が定義された、整数と同型な構造を含む既存の体系って何かある?

130 名前:132人目の素数さん mailto:sage [2008/02/08(金) 02:01:01 ]
>>129
行列の環とかは?



131 名前:132人目の素数さん [2008/02/08(金) 02:09:36 ]
>>129で分配法則が成り立たないのって無いかな?

132 名前:132人目の素数さん mailto:sage [2008/02/08(金) 02:36:22 ]
(a+bi)(c+di)=(ac+2bd)+(ad+bc)i

とか、作ればいいけど、環じゃないとあまり面白くはなさそう。

133 名前:132人目の素数さん mailto:sage [2008/02/08(金) 02:44:07 ]
あっ、上手くいってないな。上の式は忘れて。

134 名前:132人目の素数さん mailto:age [2008/03/08(土) 14:59:53 ]
>>131
あるよ。いわゆる「体もどき、環もどき」
有限射影平面を構成する時などに使われる。

135 名前:132人目の素数さん [2008/03/08(土) 15:55:13 ]
>>134
kwsk

136 名前:132人目の素数さん mailto:sage [2008/03/08(土) 15:59:15 ]
>>135
詳しく書くと長くなるので、
M. Hall jr., 「組み合わせ理論」吉岡書店
参照

137 名前:132人目の素数さん [2008/03/11(火) 15:31:03 ]
love6.2ch.net/test/read.cgi/poem/1191682638/66

138 名前:132人目の素数さん [2008/03/14(金) 00:28:47 ]
>>134
おいしそ。

139 名前:132人目の素数さん mailto:sage [2008/03/26(水) 00:40:44 ]
>>138
なんというガンモドキ

140 名前:132人目の素数さん mailto:sage [2008/05/05(月) 23:02:17 ]
539



141 名前:132人目の素数さん mailto:sage [2008/05/14(水) 09:42:38 ]
二年六時間。


142 名前:132人目の素数さん [2008/05/18(日) 04:19:25 ]
age

143 名前:132人目の素数さん mailto:sage [2008/07/23(水) 03:16:59 ]
810

144 名前:132人目の素数さん mailto:sage [2008/09/05(金) 08:24:45 ]
953

145 名前:132人目の素数さん mailto:sage [2008/10/24(金) 08:50:07 ]
693

146 名前:132人目の素数さん mailto:sage [2008/11/21(金) 08:21:07 ]
424

147 名前:132人目の素数さん mailto:sage [2008/12/05(金) 08:21:26 ]
843

148 名前:132人目の素数さん [2008/12/10(水) 22:04:04 ]


149 名前:132人目の素数さん [2008/12/11(木) 05:22:21 ]
3元数や5元数、6元数、7元数が有るというのはアホでおk?

150 名前:132人目の素数さん mailto:sage [2008/12/11(木) 06:46:03 ]
定義によるが普通はアホ



151 名前:132人目の素数さん mailto:sage [2009/01/11(日) 09:57:09 ]
741

152 名前:132人目の素数さん [2009/01/15(木) 01:39:17 ]
卓球ネエチャン

153 名前:132人目の素数さん [2009/01/24(土) 02:36:19 ]
>>150
どんな定義するとあることになるの?
俺でも分かるように説明して欲しい。
俺が考えると、複素数、四元数、ケーリー数、16元数(体じゃない)・・・
しか存在しないように思えてしまう。
考え方が柔軟じゃないのだろうか?
よろしくお願いします。


154 名前:132人目の素数さん mailto:sage [2009/01/24(土) 03:36:10 ]
乗法を入れないならいくらでもある

155 名前:132人目の素数さん mailto:sage [2009/01/24(土) 04:52:51 ]
可除系でなきゃ普通に作れるだろ

156 名前:132人目の素数さん mailto:sage [2009/01/24(土) 04:56:18 ]
そもそも「『数』とは何か」ってのがよく分からんのだよな。
ノルム順序体くらいのことは大抵要求すると思うけど。

157 名前:132人目の素数さん mailto:sage [2009/01/24(土) 05:01:58 ]
>>70が超複素数に課される事が多い。上三つだけなら三元数も満たす事が出来る。


158 名前:153 [2009/01/24(土) 06:37:49 ]
>>157
なるほど、定義によっては可能と言うのはちゃんとは考えてませんが
可能な様な気がします。しかし、そんな特殊な場合を考えるというのも
意味のある事かも知れませんが、私にとっては、複素数、四元数、ケーリー数
、16元数、・・・と言う広がりが自然ですね。

159 名前:132人目の素数さん mailto:sage [2009/01/24(土) 08:44:52 ]
そりゃそうだ。だから普通はアホなんだろ。

160 名前:132人目の素数さん mailto:sage [2009/01/24(土) 09:16:19 ]
むしろ超複素数系のほうが「特殊な場合」だと思うが……



161 名前:153 [2009/01/24(土) 12:31:43 ]
超複素数系って四元数なんかの事ですか?
iが90度回転なんだから、実軸の直交補空間に軸をどんどん増やして
行くと考えると、全く、四元数やケーリー数というのは自然なもの
だと昔、あるそれらに関するオリジナルなレポートを書いている時
に考えた事があるが・・・。
論文にもしたいのだけど、基礎学力の不足によりずっとしていない・・・。


162 名前:132人目の素数さん mailto:sage [2009/01/24(土) 18:57:12 ]
>>161

不足じゃなくて欠如だな

163 名前:153 [2009/01/25(日) 03:23:10 ]
>>162
見ず知らずのお前に、なぜ、欠如だとかいわれないかんのや?
確かに欠如かもしれんと言う気もしてきたが・・・。
基礎学力はやればなんとかなるものじゃないのか?
ゆっくりでも仕方ないと思っているが、俺はやる。


164 名前:132人目の素数さん mailto:sage [2009/01/25(日) 04:17:12 ]
> iが90度回転なんだから、実軸の直交補空間に軸をどんどん増やして
> 行くと考えると、全く、四元数やケーリー数というのは自然なもの
> だと昔、あるそれらに関するオリジナルなレポートを書いている時
> に考えた事があるが・・・。

というかなりナンセンスなものを

> 論文にもしたい

と言ってる時点で、ほとんど碌に調べたりしてないらしいところが
欠如といわれる所以ではないかな、と思ったり思わなかったり

165 名前:153 [2009/01/25(日) 05:17:44 ]
>>164
なぜ、2ちゃんねらーなんかにナンセンスだとか俺がいわれなあかんねん!
考えたのはそれは、単なる導入に過ぎず、もっと、色んな事考えたのだが
・・・。
それは、ここでは書くのはいやなんだが・・・。
しかるべき人にメールかなんかで指導して欲しいと思っている。

166 名前:132人目の素数さん mailto:sage [2009/01/25(日) 05:43:22 ]
極めてナンセンスだな

167 名前:153 [2009/01/25(日) 06:16:08 ]
>>166
ナンセンスだと思う訳を述べよ!
それに対してなぜナンセンスでないのか俺が答えようと思うが
2ちゃんでは答えたく無い。
お前のメールアドレスフリーメールで良いから教えてくれないか?
俺のを教えようか?
お前の事信用できる奴だと判断したら、俺が何処の誰かぐらいは
教えてやってもいいぞ!

168 名前:132人目の素数さん mailto:sage [2009/01/25(日) 10:12:49 ]
マジでイカれてるらしいな…

169 名前:153 [2009/01/26(月) 03:31:39 ]
>>168
いかれているとか思うならレスしなければ良い。
お前も何時までもこのスレに目を通してレスしているところを
見ると・・・

170 名前:132人目の素数さん mailto:sage [2009/01/26(月) 03:37:05 ]
ナンセンスだな



171 名前:132人目の素数さん mailto:sage [2009/01/26(月) 17:02:38 ]
ナンセンスだよね。

172 名前:132人目の素数さん mailto:sage [2009/01/26(月) 17:15:15 ]
>>167
数学の話じゃなくて何処の誰かってwwwww
誰がそんなこと興味あんだよw

173 名前:132人目の素数さん mailto:sage [2009/01/27(火) 19:57:56 ]
あら? いなくなっちゃったか?

174 名前:132人目の素数さん [2009/02/01(日) 21:57:30 ]
久しぶりに戻ってきた。
また、定期的に見るから良かったら、なぜ、ナンセンスか
教えてくれ。

175 名前:132人目の素数さん [2009/03/26(木) 13:57:14 ]
>>164

176 名前:132人目の素数さん mailto:sage [2009/04/02(木) 14:59:46 ]
来てたのか
まあでももういないかな

177 名前:132人目の素数さん mailto:sage [2009/05/01(金) 08:43:18 ]
608

178 名前:132人目の素数さん mailto:sage [2009/05/14(木) 03:42:37 ]
三年。


179 名前:132人目の素数さん [2009/05/18(月) 03:40:46 ]
自然数(掛算に関してモノイド)⊂整数(環)⊂有理数(体)⊂実数(体)⊂複素数(体)⊂超複素数(多元環)
で特に
複素数(体)⊂4元数(斜体)⊂8元数(乗法結合則の無い多元環))⊂16元数(ノルムも無い多元環)⊂32元数(??も無い多元環)⊂
という風になっているのですね。
4元数以上の数を超複素数といい,その構造を多元環と呼ぶのですね。

16から先は皆,ノルムを犠牲しているだけで,構造は同じなのでしょうか?

180 名前:132人目の素数さん mailto:sage [2009/05/18(月) 08:47:28 ]
全然ちがう。可笑しなつまみ食いは辞めろ。



181 名前:132人目の素数さん [2009/05/18(月) 11:00:12 ]
教えてください。m(_ _)m

182 名前:153 [2009/05/22(金) 14:26:53 ]
俺は179ではない。

183 名前:132人目の素数さん mailto:sage [2009/05/26(火) 23:24:47 ]
>>182
おっ、帰ってきたんだ
どう? 研究は進んだ?

184 名前:132人目の素数さん mailto:sage [2009/05/27(水) 02:49:57 ]
>>153
そもそも「数とは何か」ということについての明確な定義はないということ。
たとえば除法や乗法を捨てて単に線型構造さえあればいいとすれば
実数体上任意の次元での数体系なるものを定義できる。
定義できるが、大して嬉しくない。定義したいだけの自己満足を得たいなら
どうとでも定義すればいいだろという意味でバカだというわけ。

185 名前:下町のフンドシ親父 [2009/05/27(水) 15:46:27 ]
>179
>4元数以上の数を超複素数といい,その構造を多元環と呼ぶのですね。

フンドシおやじの拙い考えですが・・・

★<超複素数>について
超複素数は、複素数、二重数、双対数、4元数、8元数・・・(ここまでは、複数の書物に書いてある。
「複素数、4元数、8元数など」と書いて、濁してある書物もある。) 

少し前の書き込みで、多元数の定義でよく使われる性質が書かれていたが、↓
>70 :132人目の素数さん:2006/12/02(土) 03:14:19
>実数倍の保存
>実数倍を先にして良い
>両側分配則

>あとは必要に応じて
>可除系
>ノルムの積は積のノルム
>累乗は交代系
>交代系
>結合則
>可換則
>辺りから適当に選択

これらの性質から、「超複素数」を考えていっていいのではないでしょうか。
「あとは必要に応じて」とあるので、範囲はケースバイケースになる。

186 名前:下町のフンドシ親父 [2009/05/27(水) 15:47:15 ]
(続きです。)
★<構造>について
「構造」が先にあり、それを満足する数の体系を考えて、超複素数を定義したと思うけど。

超複素数における加法、乗法規則が与えられているとして、
以下の特徴があります。
(いつもの加法と、ある条件を満たす乗法をきちんと定義しないといけないのだけど、
いつもの加法と、いつもの乗法と思っていいか・・・)

4元数は、斜体(当然、可除系)。交換則は成り立たない。
ノルム乗法が成り立つようなノルムを定義できる。(ノルム乗法が成り立つ。)
多元環の定義(調べてね。)より、定義を満たすので、多元環といっていい。

8元数は、一般に、結合則が成り立たないが、交代則は成り立つ。可除系(割り算ができるよ)。
ノルム乗法が成り立つようなノルムを定義できる。(ノルム乗法が成り立つ。)
多元環の定義より、定義を満たすので、多元環といっていい。

16元数は、分配則は成り立つ。結合則も、交代則も成り立たない。べき結合性は成り立つ。
可除系ではない(割り算はできないよ。)。
「ノルムの積が、積のノルム」(ノルム乗法)が成り立たない。
(なぜ?試してみたことないので、結論のみ。)
多元環の定義より、定義を満たすので、多元環といっていい。

32元数は・・・わからん。


187 名前:下町のフンドシ親父 [2009/05/27(水) 15:48:10 ]
「クリフォード」って、なんか、
ニューヨークのハードゲイが集まるバーの名前みたいだね。

188 名前:132人目の素数さん mailto:sage [2009/05/27(水) 15:52:29 ]
荒らすな

189 名前:153 [2009/05/29(金) 14:43:49 ]
皆さん、レスありがとう!
参考になります。
ちょっと仕事の関係で、しばらく、金曜日の今の時間しか
パソコンを覗くことができないので、レスが遅れてすみません。
今度の金曜日には、また、覗きますんで、レスよろしくお願い
します。
皆さんの意見参考にして、また、考えてみます。
あんまり、私の意見書くと、精神衛生上よくないので
よく考えてから、わからない事があればまた書き込むことも
あるかも知れません。

>>184
具体的に、16元数体以上の体になると、何の法則が崩れるの
でしょうか?ノルムは保たれるのですよね。
X^2=−1なる元を付け加えていくとしてですが・・・。
私の感覚では、X^2=−1なる元は、16元数体にはもう付け加
えることはできそうにないのですが。それが体ではないというなら
話は別かも知れません。


190 名前:132人目の素数さん mailto:sage [2009/05/29(金) 15:43:21 ]
>>189
> 16元数体以上の体になると、何の法則が崩れるのでしょうか?

何言ってるの、4元数ですでに体じゃないんだけど?
(体を斜体の意味にとっても実数体上の多元体は1,2,4で尽きる)
例えば8元数の全体は対合的二次代数と呼ばれる多元環。
それと、複素数-四元数-…とは別の系列としてsplitするタイプの多元数もあるし。
(実数と複、四元、八元およびこれらのsplit typeの7つは実数体上のフルビッツ合成代数を尽くす)

いずれにしても、入れ物はどうあれ、その上の構造は自分で入れるものだし、
構造を入れた時点でどんな性質(法則)が満たされるか決まるけれども、
どんな性質を残し、どんな性質を犠牲にした構造を考えるのかというのは
気に入るかいらないかというレベルの恣意的なものなのであって
そもそも必然性はないので「〜になると何の法則が崩れるのか」というのは変な発想。
(もちろん、ある性質を残したかったけど無理だったというのはある)

> X^2=−1なる元は、16元数体にはもう付け加えることはできそうにないのですが
ケーリー・ディクソン構成について調べなさい。



191 名前:153 [2009/06/05(金) 14:32:17 ]
>>190
四元数を非可換体、ケーリー数を非結合体と考えて体だと考えた
わけですが・・・。
定義の仕方によって、犠牲にする体の性質は違うとの事、ごもっとも
ですが・・・。私には私の体の拡大の仕方を考えていて、それを話すと
精神衛生上よくないので、ここでは話せないですが、それに則って
考えると、自然に、四元数は非可換体になり、ケーリー数は非結合体
になります。同じ方法で拡大していこうとすると16元数体以上の
体は存在しないだろうと言うことを、模型で示す事も考えました。
しかし、それで、16元数体の何の演算法則が崩れるのかまでよく
わからないです。>>190番さんとメールで話せるとありがたいの
ですが・・・。ケーリー・ディクソン構成について知りたいですが
ここには本がなく、パソコンでウィキペディアで調べただけでは
単語は出てきましたが、内容までのっていなかったし、困っています。
メール交換でも出来れば、もう少し詳しく話せるかも知れませんが
ここでは、みんなに知られてしまうので、このくらいにしておきます。




192 名前:132人目の素数さん mailto:sage [2009/06/05(金) 20:44:56 ]
英文の方のwikipediaに載ってるじゃん
そんなにメアドが欲しいんならほら
athoar/55mail.cc

193 名前:190 mailto:sage [2009/06/05(金) 23:41:14 ]
>>191
気持ち悪い。失せろ。

194 名前:132人目の素数さん mailto:sage [2009/06/06(土) 04:42:00 ]
フルビッツ合成代数がわかんねー

195 名前:132人目の素数さん mailto:sage [2009/06/06(土) 04:49:50 ]
英語版のwikipediaに書いてあるだろww

196 名前:132人目の素数さん mailto:sage [2009/06/06(土) 16:07:50 ]
フルツビッツ多項式とかフルツビッツゼータ関数とかしか見つかんねーよ

197 名前:132人目の素数さん mailto:sage [2009/06/06(土) 16:28:44 ]
コンポジットアルジェブラのページあったぞ。>>196は文献検索もできないクズか

198 名前:132人目の素数さん mailto:sage [2009/06/06(土) 17:28:30 ]
コンポジットアルジェブラもなくてコンポジションアルジェブラだったじゃねーか

199 名前:132人目の素数さん mailto:sage [2009/06/06(土) 17:35:41 ]
>>195が正しかったことが証明された。

200 名前:132人目の素数さん mailto:sage [2009/06/06(土) 23:16:58 ]
文献検索のやり方を教えてください



201 名前:153 [2009/06/12(金) 14:39:00 ]
英語がさっぱり苦手なもので、簡単に説明してくださる方いないでしょうか?
>>192
どうも、メールアドレス教えてくださってありがとうございます。
フリーメール作ってたら時間がたってしまって、今週はもう
メール書けそうにありません。来週メール書きます。
よろしくお願いいたします。



202 名前:132人目の素数さん mailto:sage [2009/06/12(金) 15:14:52 ]
何の説明が欲しいのか知らんがwikipediaなら中学レベルの英語力で余裕で読めるよ、数式なんて共通なんだし。


203 名前:132人目の素数さん mailto:sage [2009/06/12(金) 15:16:09 ]
>>191
非可換体は体じゃない。非結合体なんて述語はない。

204 名前:132人目の素数さん mailto:sage [2009/06/12(金) 15:17:27 ]
> 私には私の体の拡大の仕方を考えていて、それを話すと 精神衛生上よくないので

猿の浅知恵なぞ、愚作かうまくいっても既知の結果しかねーよ

205 名前:132人目の素数さん mailto:sage [2009/06/13(土) 03:12:51 ]
この板には自明な体なんてのもあるし

206 名前:153 [2009/06/19(金) 13:58:45 ]
>>203
横田一郎の「群と位相」読んで考えたので、それにはそう載っていたので
・・・。あまりその方面には興味の無い方でしょうか?
>>202
英語と言うだけで、拒否反応が出て、どの辺に載っているか探すのが
大変な状態です。
そう、意地悪言わずによろしくお願いします。
パソコンに向かえる時間は1週間に1時間半しか取れないんです。
来週から平日はもう少しパソコン見れるかも知れませんが・・・。

>>204
でも、私のレポート読んで、それを元に、立派な論文誌に論文が載った
人も居るみたいですよ。どの程度結果を使っているかは数学の出来ない
私にはわからないのですが・・・、多分それを元にもっと抽象化した
様な結果で、もっと深遠なんでしょうが・・・。

207 名前:132人目の素数さん mailto:sage [2009/06/19(金) 16:59:48 ]
>>206
失せろ、意地が悪いというのなら貴様のほうがよほど悪いだろう

208 名前:132人目の素数さん mailto:sage [2009/06/20(土) 10:14:14 ]
>>206
印刷しろ

209 名前:132人目の素数さん mailto:sage [2009/06/20(土) 10:31:39 ]
>>206
気持ち悪いんだよお前

210 名前:132人目の素数さん mailto:sage [2009/06/23(火) 01:30:21 ]
>>206

>私のレポート読んで、

どこで読めるの?



211 名前:153 [2009/06/25(木) 09:29:18 ]
手元にパソコンが無いんで、借りています。
仕事も忙しく、金曜日の昼過ぎしかパソコン借りれなかった
ですが、今日から、平日は少しだけパソコン覗けそうです。

>>210
私が、送った人が論文に使ったみたいです。
それと、大学院入試のレポートだったので、大学の
教官で、噂をきいて、読みに言った人は居ると思います。

>>192
メール出したけど、返信が無いんですが・・・。


212 名前:153 [2009/06/26(金) 09:51:03 ]
せっかく、仕事が一段落して、パソコン見れる時間ができたのに
何にもレスついてないんだ・・・。
いったいどうなったの?


213 名前:132人目の素数さん mailto:sage [2009/06/26(金) 10:01:48 ]
気持ち悪いんだよお前

214 名前:132人目の素数さん [2009/06/26(金) 10:05:05 ]
>>213
どこがどう気持ち悪いんですか?
あなた以外の人も気持ち悪いと思っているのでしょうか?

215 名前:132人目の素数さん [2009/06/26(金) 10:11:34 ]
11時までしかパソコン見れないのですが、何かレスない
でしょうか?

216 名前:132人目の素数さん mailto:sage [2009/06/26(金) 10:20:45 ]
>>214
そのレスの様な執濃さの滲み出し

217 名前:132人目の素数さん mailto:sage [2009/06/26(金) 10:22:48 ]
と書いたがこれじゃあ余りにも中傷し過ぎか

>>215
落ち着け
今すぐ死ぬわけじゃないだろう
気長にな

218 名前:153 [2009/06/26(金) 10:26:28 ]
すみませんねー。
でも、スレタイにあるような内容に興味があるから、来てる
わけで、ご理解ください。
あまり、そのようなレスは避けるように気をつけます。
それか、気持ち悪い時は、あなたのほうが、そのレスを
無視していただけませんか?
このレスも気持ち悪いのかも知れないですがね。
ウィキペディアに何がのっているか、わかりやすく
教えてくださる人いるでしょうか?


219 名前:153 [2009/06/26(金) 10:54:13 ]
また、月曜日の朝パソコン覗きます。
ウィキペディアの件よろしくお願いします。
もう、11時だし、仕事に行かなければならない
ので・・・。それでは。

220 名前:132人目の素数さん mailto:sage [2009/06/26(金) 10:54:26 ]
>>211
>メール出したけど、返信が無いんですが・・・
内容が途中みたいだったから。
まだ感想言うほどの内容も無いし、全部書けてから返信する。



221 名前:132人目の素数さん mailto:sage [2009/06/26(金) 17:04:39 ]
>>218-219
レス乞食はスレに不要

街中で下半身全開にしながら「気持ち悪いなら無視しろ」なんて言った所で
犯罪者としてつかまることに変わりが無いだろ。寝ぼけんなよ。

222 名前:153 [2009/06/29(月) 09:33:04 ]
>>220
そうですか、5年前、旧帝大で教授している人に話したとき
自分も気がついていない事だったって、びっくりされた内容
だったので、少しは感想いただけるかと思っていました。
全部、あなたが気がついていた事ばっかりだったでしょうか?
フリーメールでは、ウェッブ上で、いろんな人に読まれそう
なので、なんとなく、続きを書くのをためらってしまっています。
自分では、16元数体以上の体が存在しない理由はなかなか
面白いって思ってるのですが、何か、良い連絡方法ないでしょうか?
あなたの自己紹介も受けていないし、セミナーなどで会える可能性
があるかもわからないですね。


223 名前:132人目の素数さん mailto:sage [2009/06/29(月) 10:55:14 ]
気持ち悪いんだよお前


224 名前:132人目の素数さん mailto:sage [2009/06/29(月) 11:00:50 ]
>>222
少なくともあの内容でびっくりされることは無い
その話が本当なら専門外だったかもっと他に話したことがあるかだろう
だから続きを待つって書いたんだけど・・・メールじゃ話せっていうならもういいや

225 名前:132人目の素数さん [2009/06/30(火) 09:02:47 ]
>>224
専門中の専門の人です。多元環を専門とする人だから。他にも話した
事はあるんだけど、非可換である理由について面白いと言ってもらった
覚えがあるのですが、あなたはあのメールを100パーセント理解
してるのでしょうか?失礼かもしれませんがすいません。


226 名前:153 [2009/06/30(火) 10:41:28 ]
11時になったら仕事に行くんで、レスのある人
は早めにお願いします。

227 名前:132人目の素数さん mailto:sage [2009/06/30(火) 10:42:20 ]
そりゃおめー、その教授にバカにされたのを理解できてないだけだろwww

228 名前:132人目の素数さん mailto:sage [2009/06/30(火) 10:43:37 ]
>>226
ここはチャットじゃねーんだ、そういう使い方すんじゃねーよ荒らし。

229 名前:153 [2009/07/02(木) 09:15:03 ]
>>227
いいえ、馬鹿にされてません。あなたは私がメール書いた方でしょうか?
あのメールの意味がわからないのですか?

230 名前:132人目の素数さん mailto:sage [2009/07/02(木) 09:34:17 ]
こんなトンデモ粘着キチガイの相手させられた教授に同情する



231 名前:132人目の素数さん mailto:sage [2009/07/02(木) 19:09:23 ]
ここに書いてみたら?

232 名前:153 [2009/07/03(金) 09:18:05 ]
>>230
お前は自分が正しいと思ってるのか?
馬鹿じゃない?
わからない人にはわからないからしかたないね。

233 名前:153 [2009/07/03(金) 09:22:21 ]
>>230
本当にメールに書いたことわかってそんなこと言っているのですか?
たぶん理解していないと思います。

234 名前:132人目の素数さん mailto:sage [2009/07/03(金) 09:37:24 ]
中身を公開しないやつがいくら喚いたところで、トンデモだと思われて終わるだけ

235 名前:132人目の素数さん mailto:sage [2009/07/03(金) 09:38:12 ]
トンデモ粘着キチガイの相手させられた教授に同情する

236 名前:153 [2009/07/03(金) 10:01:08 ]
>>235
中身も知らないくせに偉そうな事いうなや?
私は粘着のけがあることは認めるがトンデモでもキチガイでもないよ。

237 名前:132人目の素数さん mailto:sage [2009/07/03(金) 10:03:21 ]
トンデモやキチガイはその自覚は持っていない

238 名前:153 [2009/07/03(金) 10:17:37 ]
トンデモとかキチガイと言えば、こんなところに内容書くとでも
おもってるのか?ストーカー諸君。


239 名前:132人目の素数さん mailto:sage [2009/07/03(金) 10:23:26 ]
トンデモ粘着キチガイの相手させられた教授に同情する

中身なんぞどうでもいいからとっとと消えうせて欲しい

240 名前:132人目の素数さん mailto:sage [2009/07/03(金) 10:24:54 ]
>>236
気持ち悪いんだよお前



241 名前:132人目の素数さん mailto:sage [2009/07/03(金) 10:29:07 ]
なんで>>153はこのスレ荒らしてんの
>>153が現れる前はものすごく良スレだったのに

242 名前:132人目の素数さん [2009/07/03(金) 10:47:31 ]
いいアイディアがあって興味があると言うからメールに書いて
メールアドレス教えていない人に教えないと言っただけで
なぜトンデモでキチガイと言われないといけないのか分からない。
失礼極まりないね。
荒らしているのは誰かもう一回考えないして出直してほしい。
こんな掲示板に書くような内容では無いよ。
おそらく、メール見た人も、一言で書いたから、四元数体は
非可換体である理由が解読できていないんだと思う。
馬鹿だと思われるの嫌だから、登場しないんでしょう。


243 名前:132人目の素数さん mailto:sage [2009/07/03(金) 11:10:56 ]
>>242
確実にいえることは、荒らしているのはお前だってことだけだ。

244 名前:132人目の素数さん mailto:sage [2009/07/03(金) 11:16:05 ]
今井マツシンエムシラ人生ワールドへようこそ

245 名前:132人目の素数さん mailto:sage [2009/07/03(金) 11:32:19 ]
>こんな掲示板に書くような内容では無いよ。

じゃあそもそもこんな掲示板に来るなよ

246 名前:132人目の素数さん mailto:sage [2009/07/03(金) 12:37:51 ]
他で発表する場のある人ならいいんだけど
発表する場も持てない人が「こんな所では発表できない」って言うのは滑稽ね

247 名前:132人目の素数さん mailto:sage [2009/07/03(金) 12:55:14 ]
つか、ろくでもない内容のトンデモだろうとはじめから言われてるのを
>>153が必死に否定しようと喚きまくって荒らし続けてただけなのに、
>>242じゃまるで周りがハイエナみたいに言ってるのが滑稽極まりないな。

仕方無しにわざわざ相手してくれた>>192,>>224のことでさえ馬鹿呼ばわりしてるし
失礼極まりないったりゃありゃしないよ

248 名前:153 [2009/07/06(月) 09:27:57 ]
スレタイみて、四元数などに興味がある人が集まってるんだろうと
思って書き込んでただけじゃん。
旧帝大の立派な学者が費用は向こうもちで公費で落とすから研究生
にしてくれるって話もあったんだけど、仕事できなくなったら
生活費が困るからその話に乗れなかったんだけど・・・。
だから、興味のある人が集まってるんだろうからと思ってこのスレ
に書き込んでただけだよ。
9月から非常勤の話があるから、大学へも自由に出入り出来るし
そうなれば話し相手も出来るんだけど・・・、今は友達で数学の
教官になった人とたまに話しているだけだから・・・。
あまり馬鹿にしないで欲しい。
つい先日も京大の准教授やってる友達に、レポート読んでもらって
面白い内容だと言ってもらったんだけど・・・。
あなたたちが私の事馬鹿に出来るほど立派な方だとは思いがたい
んだけどね・・・。

249 名前:132人目の素数さん mailto:sage [2009/07/06(月) 10:18:43 ]
トンデモ粘着キチガイの相手させられた教授に同情する

250 名前:132人目の素数さん mailto:sage [2009/07/06(月) 10:21:17 ]
馬鹿にしてるのは君じゃなくて言ってる内容の方なのにねぇ・・・
荒んだ生活のせいか知らんけどすっかり劣等感塗れになっちゃって



251 名前:153 [2009/07/06(月) 10:27:05 ]
はー?
まだゆうか?
お前らの相手するの馬鹿らしいから、お前らが消えるまで
このスレには来ないよ。

252 名前:132人目の素数さん mailto:sage [2009/07/06(月) 10:36:40 ]
そりゃ馬鹿みたいなことしか言わず本当は馬鹿じゃないんだ!って主張するだけじゃ馬鹿な行いでしかないわな
むしろ今まで何しに来てたんだろうw

253 名前:153 [2009/07/06(月) 10:50:37 ]
私が馬鹿だと言うなら、四元数体が非可換体である理由が
わかる人居るかな?
こんなところに書くのもなんだから、>>192のアドレスに
送ってみたらどうだろう?>>192さんが私のところまで
転送してくれれば良いんだけど・・・。OKですか?

254 名前:132人目の素数さん mailto:sage [2009/07/06(月) 10:59:05 ]
定義から非可換であることを示すだけなら誰だってできるんだから
「四元数が非可換体な理由」じゃなくて「四元数が非可換体なことを私が納得する理由」でしょ
そんなお前の内面的な事情知るわけ無いだろ
ほんと主観と客観の区別が付かないんだから

255 名前:132人目の素数さん mailto:sage [2009/07/06(月) 11:15:03 ]
>>251でもう来ないといった舌の根も乾かぬ>>253でまた現れるとは……
キチガイ粘着もここまでくると

トンデモ粘着キチガイの相手させられた教授に同情する。

256 名前:132人目の素数さん [2009/07/06(月) 11:36:48 ]
この四元数ってのを勉強するにはどのくらいの知識が前提に必要?

257 名前:132人目の素数さん mailto:sage [2009/07/06(月) 12:34:09 ]
>>256
どこまで知りたいかにもよる

258 名前:132人目の素数さん mailto:sage [2009/07/06(月) 12:46:03 ]
なんかsikiを思い出してまだいるのかと久しぶりにヤフーを見に行ったらsikiだけじゃなく今井の爺さんもいた。あっちならお仲間が居るのに。

259 名前:132人目の素数さん mailto:sage [2009/07/06(月) 12:50:17 ]
>>256

理解するだけなら、高校数学を知っているだけで良い。

260 名前:132人目の素数さん [2009/07/06(月) 12:53:49 ]
>>257
まず、定義がよくわからない…
iとjの違いがよくわからなくて。



261 名前:132人目の素数さん mailto:sage [2009/07/06(月) 13:10:27 ]
>>260

複素数は判っているとして良いのか?

新たにJ^2 = 2、ij=-ji なるものを頭の中に作って付け加えるのだ。

262 名前:132人目の素数さん mailto:sage [2009/07/06(月) 13:35:40 ]
>>260
複素数をa+biのように書いているのならば、jは複素数ではないのだよ。

263 名前:132人目の素数さん [2009/07/06(月) 13:53:32 ]
>>261
>>262
ありがとうございます
高校数学は分かってるから複素数も大丈夫なんだけど
i^2 = j^2 = k^2 = -1っていうのが…
2乗してマイナス1になるのは一種類じゃないの?っていう所が難しいっす

264 名前:132人目の素数さん mailto:sage [2009/07/06(月) 14:06:17 ]
>>263
x軸に垂直な方向は平面ではy軸方向だけだが、空間だとy軸方向の他にz軸方向とかさらにもっとあるよね。で、x軸とy軸で定まる平面とx軸とz軸で定まる平面に実質的な違いがあるわけでもない。

265 名前:132人目の素数さん mailto:sage [2009/07/06(月) 14:08:33 ]
>>263
> 2乗してマイナス1になるのは一種類じゃないの?
複素数の中だけで考えているからそうなる。
jやkは複素数じゃない。

たとえば複素数の場合でもi^2=-1だけじゃなく、
「i^2=+1かつiは実数ではない(つまりi=1でもi=-1でもない)」
というような条件を満たすiを持つ体系すらもきちんと考えることができる。

i^2=-1のときはそういう実数がそもそも存在しなかったから考えやすかっただけ。

266 名前:132人目の素数さん [2009/07/06(月) 14:16:17 ]
>>264
>>265
ありがとうございます
なんとなくイメージがついたといったら嘘になりますが
実感は持てないけどそういう事もありうるというのはわかりました
高校のときは暗に実数の中でとか、複素数の中でとか言われていたから、固定観念があるのかもしれない…

267 名前:132人目の素数さん [2009/07/06(月) 14:22:05 ]
もしや四元数を考える前に三元数?を考えた方がわかりやすいんですかね?
複素数平面の空間版みたいな

268 名前:132人目の素数さん mailto:sage [2009/07/06(月) 14:27:12 ]
>>267
残念ながら
> 複素数平面の空間版
を作ろうとしたハミルトンさんは、それが「三元数」で実現不可能であることを知り、
挫折の中から四元数の虚部としてなら実現できることを発見したのだ。

要するに、そんなものを考えても分りやすくなったりはしない。

269 名前:132人目の素数さん mailto:sage [2009/07/06(月) 14:29:44 ]
>それが「三元数」で実現不可能である

そもそも首尾一貫した「三元数」なる体系を考えることは不可能である
ということをハミルトンさんは発見したんだけどね。

# ここでは「数」ってどういうものか、という話が絡んでくるのだが
# それはスレの最初のほうのログにあるから繰り返すことはしない。

270 名前:132人目の素数さん [2009/07/06(月) 14:35:55 ]
すいません
ログ呼んできます…



271 名前:132人目の素数さん [2009/07/06(月) 15:08:01 ]
すいません、いろいろ考えると
数学に対する知識が絶対的に不足している気がしてきたのでまた勉強しなおして1年後くらいに来ます

272 名前:132人目の素数さん [2009/07/06(月) 15:50:11 ]
もしや、実部に単位がついてないから混乱してしまったのかな…なんて思ってきましたが
これも見当ハズレ?

273 名前:132人目の素数さん mailto:sage [2009/07/06(月) 15:57:09 ]
そんなお前さんの内部事情なんぞ誰が知るかいなw

274 名前:132人目の素数さん [2009/07/06(月) 16:14:00 ]
ああん、もう
カントールの本読めばいいですか?

275 名前:132人目の素数さん mailto:sage [2009/07/06(月) 16:20:38 ]
>>99でいいんじゃないの?

276 名前:132人目の素数さん mailto:sage [2009/07/06(月) 21:41:07 ]
可換な四元数体もあるわけだが

Francesco Catoni, Roberto Cannata and Paolo Zampetti
"An Introduction to Commutative Quaternions"
www.springerlink.com/content/g337884251504613/

277 名前:153 [2009/07/07(火) 09:07:26 ]
>>254
私が考えるに、四元数と言う概念を作る時に、虚数単位であるi以外に
いくらでも実数と直行する方向はあるわけだが、そのひとつをjとして
x^2=-1を満たすものとして、Rにiとjを付け加えたものとして四元数
ができたのだと思っています。そうかんがえると、自然にij=-ji
となるのですがその理由は何ゆえかという事がわかる人はいるか?
ということです。
それが私の皆さんに尋ねたい事です。
私にはわかっています。


278 名前:132人目の素数さん mailto:sage [2009/07/07(火) 09:23:51 ]
他人の考えてることなどわかりようもない
まして基地外電波の脳内など…

279 名前:132人目の素数さん mailto:sage [2009/07/07(火) 09:49:29 ]
>>277
そんなもん結合則で考えてもいいしノルムから考えてもいいし、
でもそれじゃ「君が」四元数を導いた方法じゃないんだからどうせ納得できないんでしょ
そんな個人的な事情は知る由も無いってことを何度も言われてるんだけどね
ほんと主観的な話し方しかできないならのな、もういい年だろうに

280 名前:153 [2009/07/07(火) 10:15:27 ]
18日まで、旅行します。
結合則で考えたりノルムで考えたりする方法は私にはわからない
です。詳しく教えてください。
旅行中パソコンを持って行かないので、書き込んだりすることは
できないですが、眺める事ぐらいならあると思うのでレス宜しく
お願いします。
18日になったら、レスします。
それでは、また〜。



281 名前:132人目の素数さん mailto:sage [2009/07/07(火) 11:05:54 ]
もう来ないって言ったくせに堂々と現れるキチガイ
二度と来ないで欲しい

282 名前:132人目の素数さん mailto:sage [2009/07/07(火) 11:07:27 ]
>>277
おまえ嘘つきだな。>>251での宣言どおり消えろよ。

283 名前:132人目の素数さん mailto:sage [2009/07/07(火) 11:20:51 ]
トンデモっつーよりパラノイアっぽいな
見栄ばっかり先行して実態が伴わない

284 名前:132人目の素数さん mailto:sage [2009/07/07(火) 12:59:41 ]
>>280
荒らすな

285 名前:132人目の素数さん mailto:sage [2009/07/07(火) 14:55:00 ]
>>280
本当に自分は何聞かれてもお茶濁すくせに人には聞くばかり・・・自己中だね

286 名前:132人目の素数さん mailto:sage [2009/07/07(火) 19:52:32 ]
これで90゚回転ネタとかいうオチだったら笑いを通り越して怒りを覚えそうだ

287 名前:132人目の素数さん mailto:sage [2009/07/08(水) 10:12:31 ]
「2乗して負の数になるようなものが数であるとは考えられない、それは数ではなく何か別のものなはずです」
「だから、それは虚数と言って実数とは区別しているんだよ」
「実際、それは数ではありえないので納得できません、誰か納得のできる話をしてください、二日後にまた来ます」

今、これと同じことやってるよね

288 名前:153 [2009/07/18(土) 19:15:46 ]
むかつく事言われたから、来ないと言ったけど、まともな話も
出来そうなレスがついたから、また書き込んだだけだよ。
興味のあるスレに書き込んではいけないなんて誰が決めたか
知らないけどそんな事指図されないといけないって一体どういう
事か分からない。
私が間違っていると思ってる人が多いようだけど、今井と
同列に扱われるとは思わなかった。
>>279の事、聞いたのにレスがついていないのは残念だった。
名無しで書いても良かったけど、気がすまないから>>153
書き込むことにする。
皆さん好きなだけ叩いて下さい。
ここに書き込める内容で無いなら許可は受けて無いけど
前にあったメールアドレスに書いて下さらないだろうか?
私に転送してくれるだろうか?
私は幾ら言われてもここには書き込まないし、メールアドレス
の分かった人にだけ言おうと思ってるし・・・。
すみません。


289 名前:132人目の素数さん mailto:sage [2009/07/18(土) 19:31:59 ]
>>288
嘘つきは二度と書き込むなって言われたろ

290 名前:132人目の素数さん mailto:sage [2009/07/18(土) 19:33:04 ]
自分から何も語らず人に要求してばかりの人は相手にされないよ



291 名前:132人目の素数さん mailto:sage [2009/07/18(土) 19:34:07 ]
> ここに書き込める内容で無いなら許可は受けて無いけど
> 前にあったメールアドレスに書いて下さらないだろうか?

こんなところでスパム依頼とはいい度胸じゃねーか
他人の迷惑くらい考えろよ

292 名前:153 [2009/07/18(土) 20:07:00 ]
>>290
私はちゃんとメールには書いたし。
2chには書き込まないと言っているだけだよ。


293 名前:132人目の素数さん mailto:sage [2009/07/18(土) 20:22:39 ]
>>292
いちいち出てくんなよ荒らし

294 名前:153 [2009/07/19(日) 09:08:32 ]
私は、お前らが消えるまで来ないと言っただけだよ。
消えたと思ったから来たまでじゃないか。

295 名前:132人目の素数さん mailto:sage [2009/07/19(日) 09:29:05 ]
>>294
荒らしは来るな

296 名前:132人目の素数さん mailto:sage [2009/07/19(日) 09:41:25 ]
お前がいないからまともな話になってたんだろ

297 名前:153 [2009/07/19(日) 12:37:45 ]
どうして、私があらし扱いされているのか、さっぱりわからない。
私は、ただ、スレタイに興味があって、書き込んでるだけなのに・・・。
ここで話すべきでない事を話さないだけで「あらし」だなんて・・・。
お前らが全員考え直すか、きえるべきで私が消える事に意味あるだろうか?

298 名前:132人目の素数さん mailto:sage [2009/07/19(日) 12:50:22 ]
わたしは気が狂っています、なんて言う基地外は存在しないわな
イっちゃってる奴はみんな「自分は正常だ」と言い張るもんだ

299 名前:153 [2009/07/19(日) 12:59:21 ]
はー?
私がどうおかしいって言うの?
基地外だなんて・・・?!
私は、ここに書くべきでない事を書かないだけじゃん。

300 名前:132人目の素数さん mailto:sage [2009/07/19(日) 16:40:50 ]
だから書くべきことが無いなら帰れよ



301 名前:153 [2009/07/19(日) 16:50:19 ]
ノルムや結合法則から考える方法が知りたいけど、私のメールアドレス
ここに書いたら教えてもらえるだろうか?なぜ、四元数体が非可換に
なるかを私なりに考えた事は、以前メールした人に簡単に書いたのを
それらを教えてくれたらコピーして送っても良いと思ってるけどね。

302 名前:132人目の素数さん mailto:sage [2009/07/19(日) 16:52:04 ]
>>299
おまえは要らないことし書かないから荒らしだといわれてるんだよ
二度と何も書き込むなよ

303 名前:132人目の素数さん mailto:sage [2009/07/19(日) 16:53:09 ]
>>301
さみしいから構って下さい

まで読んだ

304 名前:132人目の素数さん mailto:sage [2009/07/19(日) 16:53:39 ]
>301
荒らすな

305 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/07/19(日) 17:11:24 ]
ほんなら、もし荒らさんかったらアンタ等何すんねん?


306 名前:132人目の素数さん mailto:sage [2009/07/19(日) 17:16:17 ]
誰も書くことないスレなら放置すればえーんよ

307 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/07/19(日) 17:21:05 ]
然様でんなァ
こんなネタで議論が続く筈無いモンねェ


308 名前:132人目の素数さん mailto:sage [2009/07/19(日) 17:34:02 ]
>>305
今までどおり使われる。>>153や◆ghclfYsc82が荒らす前のようにな。
この板に数年以上の長い寿命を持つスレがいったい何個あるのか、よく考えろ埋め荒らし。

309 名前:132人目の素数さん mailto:sage [2009/07/19(日) 17:35:31 ]
>>307
荒らすな、黙れ。

310 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/07/19(日) 17:39:35 ]
誰が埋め荒らしやねん
ワシはそんな事してへんがな




311 名前:132人目の素数さん mailto:sage [2009/07/19(日) 17:46:03 ]
>>310
まさにそれが埋め荒らしじゃねーかクズ。

312 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/07/19(日) 17:49:00 ]
おお、そうか。
ほんならこれからも頑張らせて貰いまっせ!


313 名前:132人目の素数さん mailto:sage [2009/07/19(日) 17:54:34 ]
>>312
荒らすなってのがワカンネーのか?

314 名前:132人目の素数さん mailto:sage [2009/07/19(日) 18:03:07 ]
>>312
>>303


315 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/07/19(日) 18:04:43 ]
そんなん、ワシは判らへんがな


316 名前:132人目の素数さん mailto:sage [2009/07/19(日) 18:15:34 ]
>>315
黙れ、二度と書き込むな。

317 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/07/19(日) 18:20:38 ]
まあ何とでも言いなはれ
アンタには何も出来へんよ


318 名前:132人目の素数さん mailto:sage [2009/07/19(日) 18:24:06 ]
>>317
黙れ、とっとと失せろ

319 名前:132人目の素数さん mailto:sage [2009/07/19(日) 18:25:16 ]
>>317
堂々と荒らし宣言か、おめでてーな

320 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/07/19(日) 18:34:46 ]
ケケケ

ワシは別に荒らすなんて宣言してへんがな
アンタ等と一緒で好きな事をカキコしてるだけやねん
何がアカンの?




321 名前: ◆27Tn7FHaVY mailto:sage [2009/07/19(日) 18:36:53 ]
何が阿寒のやろうかなあ?

「先生はわかりません」

322 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/07/19(日) 18:43:30 ]
そんなに簡単に降参したらアカンがな


323 名前: ◆27Tn7FHaVY mailto:sage [2009/07/19(日) 18:44:55 ]
・・・そう

324 名前:132人目の素数さん mailto:sage [2009/07/19(日) 18:58:50 ]
>>320
荒らすな

>>322
荒らすな

325 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/07/19(日) 19:00:56 ]
そやからワシは荒らしてへんって言うとるやないけ


326 名前:132人目の素数さん mailto:sage [2009/07/19(日) 20:51:10 ]
>>325
それが荒らしとる証拠。
荒らすな。

327 名前:153 [2009/07/20(月) 09:00:12 ]
ユーザー名が2ch2ch_002でグーメールなので、ノルムや結合法則から
考える方法をメールして下さい。
宜しくお願いします。


328 名前:132人目の素数さん mailto:sage [2009/07/20(月) 10:38:18 ]
触らぬキチガイに祟りなし

329 名前:132人目の素数さん mailto:sage [2009/07/20(月) 12:20:48 ]
これはをっさんを召喚するべきスレになったな

330 名前:132人目の素数さん mailto:sage [2009/07/20(月) 20:10:10 ]
面倒だからkingでも呼んで相手をさせるか



331 名前:KingGold ◆3waIkAJWrg [2009/07/20(月) 22:12:45 ]
複素函数論を習得しろと書かせたいのか。

332 名前:132人目の素数さん mailto:sage [2009/07/21(火) 10:23:26 ]
きんぐ

333 名前: ◆27Tn7FHaVY mailto:sage [2009/07/21(火) 20:10:00 ]
>>153 の説得に複関もねじ込まなきゃならんの?

334 名前:KingGold ◆3waIkAJWrg [2009/07/21(火) 20:56:05 ]
3次と4次の方程式を解くのに複素数を利用するという例はある。
これを考えると、将来四元数が役にたたないとはいえない。

335 名前: ◆27Tn7FHaVY mailto:sage [2009/07/21(火) 22:02:52 ]
e? そういうこと聞いてたん?

336 名前:132人目の素数さん mailto:sage [2009/07/21(火) 22:57:18 ]
>>331
荒らすな

>>334
荒らすな

337 名前:132人目の素数さん [2009/07/24(金) 12:47:26 ]
age

338 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/07/24(金) 14:06:55 ]
ヲッサンっちゅうなワシの事か?
ワシは複素函数論なんて知らへんで
そやけどまあ、四元数やったらSU(2)のユニットやろ
ほんでファンシーなんが好きなヤツは
ドナルドソンの論文でも読みなはれ!


339 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/07/24(金) 14:10:04 ]
訂正:

四元数やったらSU(2)のユニットやろ → 四元数のユニットはSU(2)やろ


340 名前:132人目の素数さん mailto:sage [2009/07/24(金) 15:12:42 ]
>>339

つ きな粉餅



341 名前:132人目の素数さん [2009/07/29(水) 21:24:41 ]
age

342 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/07/29(水) 21:56:45 ]
エッ、判らへん!
ちょっとメシ喰って来るさかい、
また後で考えまっさー


343 名前:132人目の素数さん [2009/08/05(水) 00:12:47 ]
age

344 名前:132人目の素数さん [2009/08/05(水) 00:59:20 ]
>>339
SU(2)について、詳しく説明して下さい。


345 名前:132人目の素数さん [2009/08/05(水) 14:52:10 ]
age

346 名前:132人目の素数さん [2009/08/05(水) 15:18:57 ]
age

347 名前:132人目の素数さん [2009/08/05(水) 20:38:33 ]
age

348 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/08/05(水) 20:46:21 ]
もう一週間経ったんやなぁ
ソレでそんなんは定義はヨロシかろ、クオタニオンのユニットだからね。
線形代数としてならもっと簡単だわサ。
あのねぇ、確か山ノ内・杉浦(陪風館)とか竹内外史(消化棒)
に良い説明があった様に記憶してますけどね、
まあ微分幾何とかゲージ理論のホンの方がエエかも知れんね、
まあそんなんを見て下さい。


349 名前:132人目の素数さん [2009/08/21(金) 13:35:41 ]
age

350 名前:132人目の素数さん [2009/08/21(金) 18:28:57 ]
>>348
山ノ内・杉浦(陪風館)とか竹内外史(消化棒)の
微分幾何とかゲージ理論のホンて、具体的に何という本?



351 名前:132人目の素数さん mailto:さげ [2009/08/21(金) 18:48:24 ]
八元数たべたい

352 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/08/21(金) 20:46:20 ]
えーっとね、そういうホンがあるんですョ
ワシもどっかに持ってるさかいな、
ついでの時に見ときまっさー
ちょっと待って下さいね。

エエカゲンな記憶を頼りにカキコするとやね、
山ノ内・杉浦:連続群論入門、小さいホンです、培風館
山ノ内恭彦:岩波の物理のホン、こっちの方が難しかった記憶
竹内外史:リー環と素粒子論

まあ自分でも探して下さいな。


353 名前:132人目の素数さん [2009/08/21(金) 21:20:56 ]
>>352
竹内外史:リー環と素粒子論 は「しょうかぼう」なの?
この本読むのに予備知識どのくらいいるの?

その手の本で、日本評論社から出てるような本は無い?


354 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/08/21(金) 21:31:44 ]
商家望じゃなかったですかねー
違っとったらスンマヘンでつ
いやね、序文だったかにですね、
崎田文二先生への謝辞がありましたな、
物理を勉強させて貰ったって。

そんで予備知識はですね、まあ
そのホンを自分でめくって見てから
ご自分で判断して下さいな、
ワシの言う事なんて全くアテには
なりませんので。


355 名前:132人目の素数さん [2009/08/21(金) 21:37:34 ]
>>354
本屋が近くにないから、アマゾンで買おうと思うのだけど・・・。
予備知識教えて下さい。すみません。
日本評論社の本ではお勧めありませんか?

356 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/08/21(金) 22:18:57 ]
予備知識ねぇ・・・ 知らんなぁー
量子力学程度でエエんとちゃうかなぁ

ほんで日本評論社かいな、昔ので良かったら
「デカルトの精神と代数幾何」
とかね、

まあ思い出したんだけでつが。


357 名前:132人目の素数さん [2009/08/21(金) 22:45:00 ]
>>356
量子力学なんてまるで知らない。力学と電磁気しか物理は履修しなかった
し・・・。
数学では、微積と線形ぐらいは分からないと駄目なんでしょ?

「デカルトの精神と代数幾何」なら、確か、今、田舎に帰省してる
けど、下宿にはあったと思う。
戻ったら読んでみる事にする。



358 名前:132人目の素数さん [2009/08/21(金) 23:04:34 ]
>>356
数学での基礎知識教えて欲しいんだけど・・・。

359 名前: ◆27Tn7FHaVY mailto:sage [2009/08/21(金) 23:05:52 ]
またこの方ですか

360 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/08/22(土) 03:56:50 ]
アンタは何言ってんねん!
ワシはそんな事知らんがな。

うるさい事言わんでやなァ
自分の好きな事勉強しはったらエエがな!




361 名前:132人目の素数さん [2009/08/22(土) 13:48:28 ]
>>352
横田先生の「群と位相」なんて言うのは駄目なの?

362 名前: ◆27Tn7FHaVY mailto:sage [2009/08/22(土) 17:06:18 ]
さっさと「まず自分で」「好きに」やってもらわんと、そこらへんの数学史ねって
わめいてるガキン子と同じって思うわけ。

363 名前:132人目の素数さん [2009/08/22(土) 17:34:38 ]
田舎に帰省してるから、本もあんまりないし、そうさっさとって
言われても困るけどな。

364 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/08/22(土) 18:48:17 ]
横田先生ねぇ、例外型の王者ですわな


365 名前:132人目の素数さん [2009/08/22(土) 19:44:47 ]
>>364
例外型ってなんだと思ってぐぐってみたら、いきなり数学の記述が
あったからびっくりした。
内容は読んでないから分からないけど・・・。
猫さん例外型の説明できますか?もし可能なら宜しくお願いします。
初心者にも分かるように宜しくお願いします。

366 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/08/22(土) 20:00:42 ]
いや昔ですね、横田先生の話は研究会とかで何回かは
拝聴させて頂きましたよ。それでその時の印象っての
はありますけど。

まあ昔はディンキン関係の話が結構ありまして、
そんなのは面白がって聞いてはいましたが、自分で
手を動かした経験が殆ど無いので私には無理ですわ。
とにかく例外型ってのは何か独特のセンスみたいな
印象だけです。

まあ半単純リー環だけじゃなくって特異点とか、また
パンルベとかもあるでしょ。専門家の大先生が沢山
居られますから。


367 名前:132人目の素数さん [2009/08/27(木) 17:59:09 ]
四元数から四元数への写像を考えてるんだが、なんか参考文献無い
だろうか?H^2の多様体も考えてる。

368 名前:132人目の素数さん mailto:sage [2009/08/27(木) 18:19:44 ]
ディンキンは京都のおもちゃだったが、もはや衰えたか

369 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/08/27(木) 20:05:57 ]
いやー、もう「出尽くした」という考え方なんですかねー
でも「歴史は繰り返す」ってのもありますしねー
ワシには判らへんワ


370 名前:367 [2009/08/27(木) 20:08:32 ]
俺の質問誰も答えてくれない。



371 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/08/27(木) 20:18:54 ]
そんなんワシは知らんし、答えようが無いやろ。


372 名前:367 [2009/08/27(木) 20:33:38 ]
そしたら、2次元の普通の意味での多様体の分類はトーラスと
球面と射影平面とそれらの連結和だけど、代数多様体の分類は
2次元だとどうなるか知ってる?もしくは参考文献教えて。

373 名前:「猫」∈社会の屑 ◆ghclfYsc82 mailto:sage [2009/08/27(木) 20:48:38 ]
ちょっと待ってくらはい、アトで考えますんで。
(今から出かけますんで。スンマヘン。)


374 名前:367 [2009/08/27(木) 21:01:59 ]
どのくらい後?明日までまったらOKかな?

375 名前:132人目の素数さん mailto:sage [2009/08/27(木) 22:27:06 ]
え? 猫って>>367が勝手に切った期限までに答えるような奴だっけ?
っていうかそんな便利な奴はいないな

376 名前:367 [2009/08/27(木) 22:35:08 ]
代数学総合スレッドに投稿しようかな?
いつまで待っても駄目って事もあるかもと思って・・・。
あっちのほうが見ている人の数が多そうだし。
複数ポストするといけないんだったかな?

377 名前:132人目の素数さん mailto:sage [2009/08/27(木) 23:08:13 ]
質問スレでないなら2スレくらい構わなかろう

378 名前:132人目の素数さん mailto:sage [2009/08/28(金) 00:12:53 ]
んなこたない、やり方の問題だもの。

379 名前:367 [2009/08/28(金) 13:28:12 ]
四元数は非可換体だから、掛け算とかが普通に定義できない事
に今頃気が付いた・・・。>>372には答えて欲しいんだけど・・・。
他スレに投稿したから、このスレでは聞かない方が良いの?
そういうの分からないんだけど・・・。

380 名前:132人目の素数さん mailto:sage [2009/08/28(金) 13:58:04 ]
「よくわからないけど、もうやっちゃいました! フォローよろw」って言われて腹が立つのは俺だけなのか



381 名前:367 [2009/08/28(金) 14:50:51 ]
>>372はフォローじゃないけど・・・。>>367の疑問から聞きたく
なったのは事実だけど、>>372自体純粋に知りたいし。

382 名前:132人目の素数さん mailto:sage [2009/08/28(金) 17:22:29 ]
>>380
おもれもれも。つか、日本語らしき言語で喋ってるくせにここまで日本語が通じないやつってむかつくよね。

383 名前:367 [2009/08/28(金) 18:02:04 ]
他スレに投稿したのがいけないって言ってるのか?やっと分かった。

384 名前:132人目の素数さん mailto:sage [2009/08/28(金) 18:32:27 ]
>「よくわからないけど、もうやっちゃいました! フォローよろw」
のフォローというのは>>372のことではない、というところには気がついたんだろうか。

385 名前:367 [2009/08/28(金) 20:12:38 ]
>>384
気が付いてるよ。



386 名前:132人目の素数さん mailto:sage [2009/08/28(金) 20:15:32 ]
それでようやくスタートラインだね。

387 名前:132人目の素数さん mailto:sage [2009/08/28(金) 22:45:24 ]
ま、ゆとりなんてこんなもんだ

388 名前:132人目の素数さん mailto:sage [2009/08/28(金) 22:49:28 ]
向こうのスレでの動きも見てると、こいつはスタートラインどころか
競技場の外の横断歩道で、あさっての方向を見ながら競技の開始を
待ってるんじゃないのかとしか思えないんだけど

389 名前:132人目の素数さん mailto:sage [2009/08/28(金) 22:55:13 ]
馬鹿は死ななきゃ治らないからな
来世に期待しよう

390 名前:367 [2009/08/29(土) 12:49:43 ]
お騒がせしました。
一次元代数多様体って
ax+b=0(a,b,x∈C,xは変数)で、aとかbの状態によって場合分け
して考えれば良いの?複素1次元だから実2次元だよね。



391 名前:367 [2009/08/29(土) 13:18:50 ]
|x|=rなら、球面だよね。

392 名前:132人目の素数さん mailto:sage [2009/08/29(土) 14:49:59 ]
これは…、どうしようもないな…。

393 名前:132人目の素数さん [2009/08/29(土) 14:55:22 ]
>>392
そんな事言わずに教えてよ。

394 名前:132人目の素数さん mailto:sage [2009/08/29(土) 14:55:57 ]
夏休みを持て余してる背伸び中学生でしょ、相手しないほうがいい。

395 名前:367 [2009/08/29(土) 15:59:42 ]
>>390
a1x^n+a2x^(n-1)+・・・+anx+a(n+1)=0(ak,x∈C,xは変数)で考える
のかなぁ〜?

396 名前:132人目の素数さん mailto:sage [2009/08/29(土) 16:45:33 ]
>>367
どんな茶増なんだ

397 名前:367 [2009/08/29(土) 16:52:28 ]
「茶増」って何?

398 名前:132人目の素数さん mailto:sage [2009/08/29(土) 17:00:24 ]
>>397
chazau って知らんか?

399 名前:367 [2009/08/29(土) 17:09:42 ]
>>398
知らない。

400 名前:132人目の素数さん mailto:sage [2009/08/29(土) 17:12:43 ]
なんだこの頭悪すぎなチャットは



401 名前:132人目の素数さん mailto:sage [2009/08/29(土) 17:25:04 ]
>>390,>>395

そこまでかすりもしないってのは、準備段階で既に必要な知識の大部分が欠落してる
ということの証明なので、おまえが代数多様体に関われるのは最低でも数年先の話だね。

402 名前:367 [2009/08/29(土) 17:48:29 ]
>>401
何が正しいか教えて欲しいのだが・・・。

403 名前:132人目の素数さん mailto:sage [2009/08/29(土) 17:51:29 ]
そんな段階ではない。

404 名前:367 [2009/08/29(土) 17:59:06 ]
普通の多項式以外にも1変数の方程式はあるけど・・・。
それでも、そんな段階じゃないって事?

405 名前:367 [2009/08/29(土) 20:18:56 ]
多項式だと、定義に書いてあるようだが・・・。
1/x^nなんかは多項式かも知れないが、logxとかは多項式では無いように
思えるのだけど、どうなのだろう?

406 名前: ◆27Tn7FHaVY mailto:sage [2009/08/29(土) 21:24:46 ]
混沌まみれだな

407 名前:132人目の素数さん mailto:sage [2009/08/29(土) 22:51:26 ]
>>394
多項式の定義も分らない、何変数の式を考えればいいのかも分らないときたよ…
こりゃ中学生ですらないな、小学生以下だ

408 名前:132人目の素数さん mailto:sage [2009/08/29(土) 22:53:51 ]
いやいや、高校生だろう

409 名前:132人目の素数さん mailto:sage [2009/08/29(土) 23:18:09 ]
>>404
その答えは、君の評価をさらに悪化させた。
君が代数多様体にたどり着くまでに最低でも20年は堅い。

410 名前:367 [2009/08/30(日) 10:47:33 ]
>>409
テーラー展開とか考えるの?
良く分からない。
>>407
何変数でも良いと思うけど、今、一変数の代数多様体を考えようと
しているから。



411 名前:367 [2009/08/30(日) 11:03:46 ]
>>390>>395で良いみたいなんだが。
一次元代数多様体を考えたいと言ったし。多項式と言ったら
>>395のような形の方程式だとウィキペディアに書いてあったが。

412 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 11:33:02 ]
まったくといっていいほど関係の無い
> 一変数の代数多様体

> 一次元代数多様体
が同じ意味になると思っているうちは、何を読んだところで何も理解できはしない。

> ウィキペディアに書いてあったが
一応確認してみたけど、さすがにそんな的外れなことは書かれていない。
いくらウィキペディアが嘘ばかり書いてあるサイトだからといっても、
そんな言い掛かりを付けるのはよしたまえ。


413 名前:367 [2009/08/30(日) 11:43:15 ]
>>412
一次元代数多様体は複素数が一つ変化するものと思っているから
実数では2変数だと思っているが・・・。
そう言う事を言ってるのでもなさそうだし・・・。

ウィキペディアで、はじめの方しか読んでないから最後まで
読んでみることにする。


414 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 12:06:40 ]
>複素数が一つ変化するものと思っているから
>実数では2変数だと思っている

これも的外れ

415 名前:367 [2009/08/30(日) 12:10:56 ]
f1(x)=0からfr(x)=0までの共通集合が代数多様体と書いて
あるから、fi(x)=0自体が1次元より高次元でも、共通集合は
1次元になる事もあるって事だろうか?

ウィキペディアには・・・
x を不定元(変数)、n を非負の整数として、a0, a1, ..., an を
n+1 個の実数または複素数などの定数とする。このような x と
{ai}0 ≤ i ≤ n によって次のように表されるものが多項式である。
anxn + an−1xn−1 + … + a1x + a0
・・・と書いてあった。



416 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 12:17:50 ]
実または複素一変数多項式の根なんて有限個の孤立点からなる集合なんだから
こんなもんが一次元の多様体になるはずないことぐらいすぐにわからないとだめだろ。
多項式の次数や変数の数は、その零点集合である多様体の次元と直接は関係無い。
きちんと函数体や座標環のイデアルを求めたりするつもりが無いなら
お前には一生かかっても代数多様体の次元という概念は理解できないだろう。

四元数係数ならx^2+1すら無限集合になるが、これも基礎体を何に取ったとしても一次元ではない。

417 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 12:22:13 ]
>>415
> fi(x)=0自体が1次元より高次元でも
そんなことはありえない。
おまえが一変数多項式のみしか考えない以上、零点集合の次元は1以下にしかなれない。
それも、唯一つの例外を除くすべての多項式の零点集合の次元は0だ。

418 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 12:31:13 ]
>>411
おまえはスタートラインのずーっと後ろ、地球の裏側どころか宇宙の果てくらい
はなれたところにいるんだということをまず自覚しろ。

419 名前:367 [2009/08/30(日) 12:33:20 ]
>>416
良く考えると、それもそうだと思った。ありがとうございます。
なんか、恥ずかしい気分です。

ところで、多項式の定義は>>415にあるような、ウィキペディアの
定義で良いのでしょうか?

420 名前:367 [2009/08/30(日) 12:44:00 ]
>>417
>>415はf1(x)=0からfr(x)=0が一次元より高次元の方程式で
ある場合を考えても、共通集合は1次元になる場合があるか・・・。
と思ったと言う事を書いているんだが・・・。
>>412で、一次元の代数多様体と言うのと変数が一変数である
事は違うと書かれていたから、そう考えたと言う事だけど。




421 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 12:46:18 ]
高次元の方程式という言葉をどういう意味で使ってるんだ?

422 名前:367 [2009/08/30(日) 12:53:54 ]
>>421
変数が沢山あると言う意味。

423 名前:367 [2009/08/30(日) 13:02:32 ]
>>415のウィキペディアの定義の件はどうでしょう?

424 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 13:08:01 ]
なら多変数って言えよ。多変数なら>>415じゃだめだな。

425 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 13:13:34 ]
>>420
おまえは直線と直線の交点とか平面と平面の交線とか知らんのか
おまえは線型方程式系の解全体がアフィン(線型)空間になるとか習わなかったか
おまえは円錐曲線とかそういう古典的な奴をまず調べようとか思わないのか

426 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 13:20:20 ]
>>425
知らん
習っとらん
思わん

427 名前:367 [2009/08/30(日) 13:22:47 ]
>>424
と言う事は、logxとか1/x^nは多項式じゃないって事で良いんですね?
はっきり違う事は違うって言ってもらわないと分からないし。
テーラー展開とかしたら多項式になるものまで加える事かな?!
と思ってしまうしね。
一変数の多項式じゃあ、1次元代数多様体は表せないと言う事を言い
たかっただけなら、そう言ってもらわないと多項式の意味さえ
間違えてるのかと思うし。教えてもらっといて偉そうな事言って
申し訳ありませんが、きっちり理解したいんで、返信お願いします。

428 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 13:23:00 ]
それは論外だな

429 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 13:24:13 ]
>>427
テーラー展開したら多項式になるものは多項式しかないだろゴミカス
言われなきゃ分らない時点でおまえには早すぎる証拠なんだよ

430 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 13:26:07 ]
>>427
> 一変数の多項式じゃあ、1次元代数多様体は表せないと言う事を言い たかっただけなら

だけじゃないから。全部意味があって答えてるのに、そういう言い方するならやめだ。



431 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 13:26:56 ]
おまえら、こんなの相手に、めちゃくちゃ親切だな・・

432 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 13:28:13 ]
>>427
多項式と形式冪級数の区別もできないのか

433 名前:367 [2009/08/30(日) 13:44:19 ]
>>412にウィキペディアには、私の言ってるような事は書いてないと
断言したけど、それは、1変数の場合なら正しかったわけですよね。
混乱するからはっきり答えて下さい。

434 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 13:47:32 ]
>>412が正しい。

435 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 13:49:17 ]
>>433
勝手に混乱してろ

436 名前:367 [2009/08/30(日) 13:54:58 ]
>>430
どんな意味があるんですか?
言い方が悪かったなら謝ります。ごめんなさい。


437 名前:367 [2009/08/30(日) 14:08:07 ]
>>432
私の思った多項式と言うのを違うと言うから、代数多様体を定義する
場合の多項式と言うのは普通の多項式とまた違うものかと思って
しまったし・・・。
ストレートに何処がおかしいか言ってもらわないと、教えてもらってる
分際で偉そうなことは言えないのですが、混乱してしまうので。

438 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 14:13:37 ]
勝手に混乱してろ

439 名前:367 [2009/08/30(日) 14:27:27 ]
>>430
私の言い方が悪かったなら謝りますから、よろしくお願いします。

440 名前:名無しさん@そうだ選挙に行こう mailto:sage [2009/08/30(日) 14:27:29 ]
横レスだけど取り敢えず自分がはっきりと定義を知らない単語は一切使わないようにしたらもう少し親切にして貰えると思うよ



441 名前:367 [2009/08/30(日) 14:34:02 ]
>>440
分かりました。アドバイスありがとうございます。

442 名前:132人目の素数さん [2009/08/30(日) 20:58:36 ]
>>416
>四元数係数ならx^2+1すら無限集合になるが、これも基礎体を何に取った
>としても一次元ではない。
詳しく説明してもらいたいんだが・・・。

443 名前:132人目の素数さん mailto:sage [2009/08/30(日) 21:19:38 ]
S^3になるとかそういう話?

444 名前:132人目の素数さん [2009/09/01(火) 18:57:20 ]
444

445 名前:132人目の素数さん [2009/09/01(火) 19:20:01 ]
>>416
有限体上に四元数体が存在しないことを示せ

446 名前:132人目の素数さん mailto:sage [2009/09/03(木) 20:22:31 ]
>>367
は 「Undergraduate Algebraic Geometry by Reid を読もう」の
おばサンかね?

447 名前:132人目の素数さん mailto:sage [2009/10/05(月) 16:45:30 ]
681

448 名前:132人目の素数さん [2009/10/14(水) 01:17:29 ]
1・2・4・8・16 ・・・・ 三元数が存在しないなんて美しくない。
1・2・3・4・5 ・・・・ やはりこうであるべきだ。これでこそ美と言えよう。数学は単純で美しくなければならないものなのだ。

これなら複素平面に垂直な軸を三元数として扱える。実に単純で美しい。三次元に住んでいる者としてこうあらねばならなかったのに。
なぜこのような数学に構築できなかったのか?

449 名前:132人目の素数さん mailto:sage [2009/10/14(水) 01:36:34 ]
> なぜこのような数学に構築できなかったのか?
体(四則演算)に拘ったからだろ。
特に乗法群が3次元空間の運動群を表現するものにしようとしたら
4元数が必要だったというのがハミルトンのworkの賜物。

そんなに連番が良かったのなら 1,2,4,8,16,... を 2^0,2^1,2^2,2^3,2^4,...
とか書くなり、お前だけR上の通常の意味の次元の二進対数とったものを
お前次元とでも呼べばいいじゃねーの。

450 名前:132人目の素数さん [2009/10/14(水) 01:57:40 ]
>>449
言われるまでもない。俺が三元数、四元数、五元数、・・・と続く新たな数学を確立するまでだ。



451 名前:132人目の素数さん mailto:sage [2009/10/14(水) 02:02:48 ]
0=lg(1)
1=lg(2)
2=lg(4)
3=lg(8)
4=lg(16)

だから既に連番なわけだが。

452 名前:132人目の素数さん mailto:sage [2009/10/14(水) 02:06:03 ]
>>451
違う。俺の言ってるのは純粋な連番だ!そんな出来損ないなログなど使わないのだ。

453 名前:132人目の素数さん mailto:sage [2009/10/14(水) 02:07:25 ]
> なぜこのような数学に構築できなかったのか?
数学を構築するのは超数学(メタ数学)の話であって、
数と呼ばれるクラスの代数系の定義云々してるだけのきわめて狭い世界での話を
数学全般のことであるかのように言うのはやめて貰いたいものだ。

454 名前:132人目の素数さん mailto:sage [2009/10/14(水) 02:08:23 ]
0,1,2,3,4,... が連番ではないとはいったいどういう脳みその持ち主だ?

455 名前:132人目の素数さん mailto:sage [2009/10/14(水) 02:22:33 ]
>>454
ふっ、最後まで読んでいないようだな。今から研究に入る。邪魔をしないでくれたまえ。

456 名前:132人目の素数さん mailto:sage [2009/10/15(木) 14:01:13 ]
このスレ最近馬鹿が増えたな

www.google.co.jp/search?hl=ja&num=100&q=Adams+Bott+Milnor&btnG=%E6%A4%9C%E7%B4%A2&lr=

www.google.co.jp/search?q=quartionic+analytic+function&hl=en&lr=&num=100&filter=0

457 名前:132人目の素数さん [2009/11/13(金) 19:31:51 ]
>>452
複素数体にjを付け加えたら、自動的に、ij=kなので、kは付け加え
られた事になる事が分からないのですか?

458 名前:1 [2009/11/14(土) 20:52:40 ]
小川くんはもう書き込まないのだろうか?

459 名前:132人目の素数さん mailto:sage [2009/11/14(土) 21:03:01 ]
>>457
証明してみろ

460 名前:132人目の素数さん [2009/11/18(水) 18:46:00 ]
>>459
え?何を証明するの?



461 名前:132人目の素数さん mailto:sage [2009/11/18(水) 18:51:00 ]
>>460
複素数体にjを付け加えたら、自動的に、ij=kなので、kは付け加えられた事になるため、
純粋な連番にはできないという事

462 名前:132人目の素数さん mailto:sage [2009/11/19(木) 23:14:29 ]
んな、唐突に j なんて出されてもねえ。

463 名前:132人目の素数さん mailto:sage [2009/11/20(金) 07:26:14 ]
>>457に言っとくれ

464 名前:132人目の素数さん [2009/11/29(日) 19:04:37 ]
っていうか、次の条件だけだとkの存在は証明できないよね?
・i i = -1
・j j = -1
・i j = -j i
どこをどうやったら、自動的になるんだ?

465 名前:457 [2009/11/29(日) 21:43:28 ]
>>461
ij=kだから、純粋な連番にしようとしたほうが、汚い数が出来る
と思う。四元数の方が、奇麗だと思う。奇麗なものを探そうとして
かえって汚いものを見つけようとしているように思う。
純粋な連番がたとえできたとしても・・・、3元数が四元数より
汚いと思う。

>>464
ij=kだから、kは存在してるじゃん。

466 名前:132人目の素数さん mailto:sage [2009/11/29(日) 22:36:30 ]
それは自動ではなくそう決めたという話だな

467 名前:132人目の素数さん [2009/11/30(月) 09:32:51 ]
>>464
k^2=-1という条件がついてないんだから、単にijの事をkと名付けただけなのだろう。k=0かもしれないとか。

468 名前:457 [2009/11/30(月) 17:15:25 ]
>>467
単になずけただけだよ。
まだまだわかってる事あるけど、まだ、公に発表してない論文
に書いてる途中の事だから、内緒です。

469 名前:132人目の素数さん mailto:sage [2009/11/30(月) 19:01:14 ]
a,b,c,A,B,Cを実数、i,jを虚数単位として、

(a+bi+cj)(A+Bi+Cj)=aA+(aB+bA)i+(aC+cA)j

とすれば、交換法則も結合法則も満たす三元数が出来る。この場合は

ij=ji=0

だから、k=0になる場合だな。もちろん除法が定義できなくなるが。

470 名前:132人目の素数さん [2009/12/03(木) 14:10:06 ]
>>469
なるほど、3元数はできるけど、対称性とか、そういうの考えると、四元数の方がだんぜん
綺麗じゃないかな?



471 名前:132人目の素数さん mailto:sage [2009/12/03(木) 21:01:25 ]
>>470
対称性と言うなら交換法則が成り立つ分だけ三元数の方が綺麗だろw

やはり可除系を扱いたいという事でしょ。

472 名前:132人目の素数さん mailto:sage [2009/12/04(金) 00:09:48 ]
>>471
無理に作った物が綺麗な訳が無い。
kを無理に0にして無くした数なんて・・・。

自然にkをイメージ出来ない人がやることだよ。
数学ではそういうやり方する事も時にはある事は分かるけど・・・。

考えてみると、ij=-ji=k=0だから、その時点で0因子持ってるから
体ではないって事だよね。

それは、当然、割り算は出来ない。

473 名前:132人目の素数さん [2009/12/04(金) 00:11:10 ]
age

474 名前:132人目の素数さん mailto:sage [2009/12/04(金) 00:50:21 ]
>>472
無理にって何が?そういう決めつけこそ数学的センスの無さを感じさせる。

475 名前:132人目の素数さん mailto:sage [2009/12/04(金) 16:48:55 ]
>>474
まだ、発表してない論文に書いていることだから、ここでは言えない。
でも、きっと、iが90度回転である事、jも90度回転である事、そういう
事が良く分からない人が3元数なんて事言うんだと思うのだけど。

ij=-ji=k,jk=-kj=i,ki=-ik=jを見て綺麗だと思わないんだよね。きっと。

476 名前:132人目の素数さん [2009/12/04(金) 16:49:40 ]
age

477 名前:132人目の素数さん [2009/12/04(金) 17:28:15 ]
あーあ。やっぱり回転かよ。陳腐な話で終了か。

478 名前:132人目の素数さん mailto:sage [2009/12/04(金) 17:42:29 ]
>>477
そういう事言ってるけど、きっと何もあなたはわかってないように思う。
i^2=j^2=-1から、ij=kとおけば、ij=-ji=kもk^2=-1もjk=-kj=iもki=-ik=jも全部
わかるんだけど・・・。
なぜかは、まだ、ここでは言えないけどね。


479 名前:132人目の素数さん mailto:sage [2009/12/04(金) 18:04:19 ]
>>164で既に相手にされる内容じゃないと指摘されてんじゃん

480 名前:132人目の素数さん mailto:sage [2009/12/04(金) 18:28:46 ]
こいつノニさんじゃあるまいな



481 名前:132人目の素数さん mailto:sage [2009/12/04(金) 20:36:31 ]
>>479
相手にされる内容かどうかは、内容も知らないのに分からないでしょ?

>>480
ノニさんって一体だれ?


482 名前:132人目の素数さん mailto:sage [2009/12/04(金) 21:34:02 ]
>>481
前の方で書いてるのと同じ人でしょう。特に新しい何かがあるとは到底思えない。

483 名前:132人目の素数さん mailto:sage [2009/12/04(金) 22:18:54 ]
>>482
前の方で書いてる者だけど・・・。
なぜ、四元数体を非可換体と定義すると上手く行くのか?
なぜ、ケーリー数体を非結合体と定義すると上手く行くのか?
なぜ、16元数体以上の体が存在しないのか?
その理由は分りますか?


484 名前:132人目の素数さん mailto:sage [2009/12/04(金) 22:20:48 ]
あ、また思わせブリだ。
ああ、いなだいなだ。

485 名前:132人目の素数さん mailto:sage [2009/12/04(金) 22:44:33 ]
フルヴィッツの定理やフロベニウスの定理なら大概知ってるだろ。>>483は知らないだろうけどね。


486 名前:132人目の素数さん [2009/12/04(金) 22:48:09 ]
晒しage

487 名前:483 mailto:sage [2009/12/04(金) 22:54:21 ]
フルヴィッツの定理やフロベニウスの定理ってどんな定理?
永田先生の代数学入門には載ってなかった。

488 名前:132人目の素数さん mailto:sage [2009/12/04(金) 23:05:51 ]
ggrks

489 名前:132人目の素数さん mailto:sage [2009/12/04(金) 23:09:41 ]
>>487
この拙さを珍重すべきなのかなw

490 名前:132人目の素数さん mailto:sage [2009/12/05(土) 13:58:02 ]
>>485
フルヴィッツの定理はウィキペディアにも載ってないし、フロベニウスの定理は載って
たけど、結果だけだった。

なぜ、四元数体を非可換体と定義すると上手く行くのか?
なぜ、ケーリー数体を非結合体と定義すると上手く行くのか?
なぜ、16元数体以上の体が存在しないのか?

が証明の過程で出てくるの?




491 名前:132人目の素数さん [2009/12/05(土) 14:01:11 ]
age

492 名前:132人目の素数さん [2009/12/05(土) 14:05:56 ]
どうしてその分野の基本も知らずに「私はその分野の本質を解明した。そのことを私以外は知らないはずだ」と言う××が絶えないのだろう?学べば自分の愚かさもわかるのに。

493 名前:132人目の素数さん mailto:sage [2009/12/05(土) 14:07:33 ]
特性類とか勉強したら

494 名前:132人目の素数さん mailto:sage [2009/12/05(土) 14:10:24 ]
>>492
でも、プロの数学者にもレポート見てもらったけど、是非、論文にしなさいって
言われたよ。
基本的に他人が書いたものは読んだ事が無い。分らないし。

495 名前:132人目の素数さん mailto:sage [2009/12/05(土) 14:12:37 ]
>>493
特性類ってどんな本に載ってるの?

496 名前:132人目の素数さん mailto:sage [2009/12/05(土) 14:16:58 ]
ミルナースタシェフとか
和訳もシュプリンガーからでてるよ特性類講義だっけか

497 名前:132人目の素数さん mailto:sage [2009/12/05(土) 14:22:49 ]
>>496
ありがとう!

498 名前:132人目の素数さん mailto:sage [2009/12/05(土) 14:31:55 ]
>>494
プロの数学者って言ってもいろいろいるし、専門以外の分野だと知らない事も多い。俺のつまらん論文が他分野の先生に驚かれた事もあるし、細分化されている現代数学ではその分野の知識が無い先生はあまり信頼しない方が良い。

499 名前:132人目の素数さん mailto:sage [2009/12/05(土) 14:50:25 ]
>>498
京大の代数学の専門の先生で、分野は違うかも知れないけど、フルヴィッツの定理
やフロベニウスの定理ぐらいは知ってると思うよ。

500 名前:132人目の素数さん [2009/12/05(土) 15:08:16 ]
その先生には何も教えてもらえなかったわけだな。
つきまとわれるのが面倒になったんで、論文にしたら?と言って追い返した可能性も大だな。
リジェクトされて己の甘さを実感するのもまた人生。



501 名前:132人目の素数さん mailto:sage [2009/12/05(土) 15:11:30 ]
>>500
そんな事ないよ。共著かいてもらえる可能性もあるんだけど。
指導してもらってるよ。

502 名前:132人目の素数さん [2009/12/05(土) 15:23:00 ]
それならこんなとこに顔出してないでその先生とがんばったら?
その方がこのスレにも君にも幸せだと思うけど。
結果に期待出来ず内容の伴わない文を読まされる我々の不幸も察して欲しい。

503 名前:132人目の素数さん mailto:sage [2009/12/05(土) 15:32:47 ]
なんか、見てていたたまれなくなったから、書き込んでしまったんだよ。
その京大の先生とは友達だから、付きまとわれるのがうっとうしいとか
そういうこと考える関係じゃないんだよね。
良く電話してるし。いろんな事で御世話になってる。
大学の先生になった友達も私には多いし、別に論文の指導してもらえる
人を探すのに苦労はしていないんだけど、でも、そういうことだと、2ch
に書き込んだらまずいのだろうか?

504 名前:132人目の素数さん mailto:sage [2009/12/05(土) 15:40:51 ]
ほんとにノニそっくりでワロチ

505 名前:132人目の素数さん mailto:sage [2009/12/05(土) 15:43:29 ]
論文がアクセプトされてからそれを紹介したら?

506 名前:132人目の素数さん mailto:sage [2009/12/05(土) 16:17:47 ]
>>505
でも、そうだとすると、私が誰か、公表することになるよね。
2chって言うのも、便利なようで、不便だな。

507 名前:132人目の素数さん mailto:sage [2009/12/05(土) 16:34:06 ]
ならもう書かない方が良いと思うよ。
その論文が何かわからないままで終わらせるしか無いんでしょ?なら、その内容は伝わらないからスレ的には君はトンデモ君にしかならない。
内容を伝える気が無いなら君が認められる可能性は無いし、それは当たり前の話。

508 名前:132人目の素数さん mailto:sage [2009/12/05(土) 16:34:59 ]
少なくとも、自信満々に人をバカにして根拠を求められると未発表の論文の内容だといって逃げ、
「京大の先生」の権威を利用しつつ自分は匿名で居たいって奴にとっては不便だろうな

509 名前:132人目の素数さん mailto:sage [2009/12/05(土) 17:06:53 ]
>>508
別に、馬鹿にしてないって。

なぜ、四元数体を非可換体と定義すると上手く行くのか?
なぜ、ケーリー数体を非結合体と定義すると上手く行くのか?
なぜ、16元数体以上の体が存在しないのか?

みんな分かっているのかな?!って思っただけだよ。


510 名前:132人目の素数さん [2009/12/05(土) 17:22:55 ]
笑いをとりたいのか?



511 名前:132人目の素数さん mailto:sage [2009/12/05(土) 17:24:17 ]
>>510
べつに・・・。

512 名前:132人目の素数さん mailto:sage [2009/12/05(土) 19:20:27 ]
単に承認欲求が肥大化して話さずにはいられないってだけでしょ
関係ない他者の目には奇異に映るのは当然

513 名前:132人目の素数さん mailto:sage [2009/12/05(土) 21:04:29 ]
承認欲求と言うのかどうかわからないけど、自分が深く考えて理解出来た事
があったとして、その事と関係ある話をしている人たちがいたら、話に加わり
たくなったと言うだけだよ。
でも、ここでは、詳しい事話せないって言う事になって、しんどい思いをしただけ
だった。話せないと言っただけで、きつく責められたり、俺としては、自分が
何故責められなければいけないのか分らなかったけど。

でも、数学やってる人って言うのは、数学が出来るかどうかがすべてなんだよね。
俺の場合そういう事はないから分からなかっただけかも知れない。

数学なんか出来ても出来なくても関係ないと俺は思っているから・・・。

514 名前:132人目の素数さん mailto:sage [2009/12/05(土) 21:09:56 ]
単にみんなは馬鹿はウザイから来ないでと思ってるだけだから気にするな

515 名前:132人目の素数さん mailto:sage [2009/12/05(土) 21:57:48 ]
>>514
ふ〜ん、そうなのか?!
そうは感じなかったが・・・。

516 名前:132人目の素数さん mailto:sage [2009/12/05(土) 22:00:33 ]
だから早く論文を仕上げて世界をアッと言わせて下さい。


517 名前:132人目の素数さん mailto:sage [2009/12/05(土) 22:04:23 ]
馬鹿は鈍感

518 名前:132人目の素数さん mailto:sage [2009/12/05(土) 22:11:47 ]
>>516
なんか、それこそ馬鹿にされてるように思う。
世界があっと言うほど凄い事だとは思ってないけどな・・・。

でも、2chでは仕上げれば話題になるだろうと、某旧帝大の教授やってる
友達に言われたことはある。

もし、アクセプトされたら、自分でこのスレで、論文の裏の話言っても良い
と思えてきた。

どうせ、内容が雑誌にのるなら、一緒だと思うし、あの雑誌でこんな事
証明した論文を発表したやつが居るが、それは、れいの「四元数以上の数って」
の奴じゃないか・・・?!とかどうせ言われるだけだよな。

519 名前:132人目の素数さん mailto:sage [2009/12/05(土) 22:14:23 ]
少し落ち着け

520 名前:132人目の素数さん mailto:sage [2009/12/05(土) 22:20:50 ]
>>518
凄いかどうかは知らない。
20世紀以前の数学が現代数学の源流になっている以上、
その一つに新たな視点で論文が出せれば、世界は驚く。



521 名前:132人目の素数さん [2009/12/05(土) 22:34:56 ]
age

522 名前:132人目の素数さん mailto:sage [2009/12/11(金) 11:56:08 ]
>>520
一般論を述べただけで、それを賞賛と勘違いして舞い上がる人も、
世の中にはたまにいます。
相手を見て、慎重に発言されるのがよろしいかと思います。

523 名前:132人目の素数さん mailto:sage [2009/12/25(金) 19:07:33 ]
age

524 名前:132人目の素数さん [2009/12/25(金) 19:08:15 ]
age

525 名前:132人目の素数さん [2009/12/27(日) 22:59:26 ]
四元数の関数論(四元数解析関数?)の本ありませんか?

526 名前:132人目の素数さん mailto:sage [2009/12/27(日) 23:03:01 ]
>>1はパラノイアです。
まともに相手をしてはいけません。

527 名前:132人目の素数さん [2009/12/28(月) 12:41:03 ]
普通にクオータニオンのスレとして使えばいいじゃないか。

528 名前:132人目の素数さん [2009/12/28(月) 18:51:06 ]
ノニスレを立てたのはここの人?

529 名前:132人目の素数さん mailto:sage [2009/12/28(月) 19:16:46 ]
>>528
>>518の人

530 名前:ノニ ◆.5wljPk1.c mailto:sage [2009/12/28(月) 19:56:59 ]
810 :132人目の素数さん:2009/12/27(日) 16:02:01
>>798
四元数aのアジョイントをa^*をとすると
四元数の組について
(a,b) (c,d)=(ac -b d^*, da+b c^*)
とするなら(1,0)(i,0)(j,0)(k,0)(0,1)(0,i)(0,j)(0,k)
は確かにケーリー数になるね.

で16元数はどうして存在しないの?




531 名前:132人目の素数さん mailto:sage [2009/12/28(月) 20:09:43 ]
sage

532 名前:132人目の素数さん mailto:sage [2009/12/28(月) 20:22:34 ]
>>530
可換環のスレのあれだね。
あれ俺もわからなかったんだが・・・。

533 名前:132人目の素数さん [2009/12/28(月) 20:25:00 ]
age

534 名前:132人目の素数さん [2009/12/28(月) 20:36:23 ]
912 :132人目の素数さん:2009/12/27(日) 21:43:04
a^*はaの左肩に*を載っけるというTeXからきた記号.

それとも四元数のアジョイントの意味が厳密には分からないということですか

(x+yi + zj + wk)^*=x-yi -zj - wk

もちろんxyzwは実数



938 :132人目の素数さん:2009/12/27(日) 22:16:28
(a,b) (c,d)=(ac -b d^*, da+b c^*)

は左辺を右辺で定義しているのだと思うけど・・・。

956 :132人目の素数さん:2009/12/27(日) 22:35:35
918のdとかcとかは四元数だから912のようにアジョイントが定義できる.
だから左辺は四元数二つの組を表すので 四元数二つの組の積が
定義できた.

(ac -b( d^*), da+b (c^*)) と書く方がいいか

> *が共役を取る意味 だと、さっき聞いたように思うが・・・

共役もアジョイントも同じ意味

底なしの恐怖に震えるな



535 名前:132人目の素数さん mailto:sage [2009/12/28(月) 22:14:47 ]
誰か理解している人いたら、説明して欲しいんだが。

536 名前:132人目の素数さん mailto:sage [2009/12/28(月) 23:20:49 ]
>>532, >>535
ノニさん?
つまらん悪あがきするなよ。
あれで意味が分からん人は説明されても分からんよ。


537 名前:532 mailto:sage [2009/12/29(火) 14:47:29 ]
>>536
俺、ノニさんじゃないよ。

538 名前:536 mailto:sage [2009/12/29(火) 15:04:50 ]
>>537
それは大変失礼しました。



539 名前:132人目の素数さん [2009/12/29(火) 21:01:52 ]
>>530のアジョイントって、共役って言う意味だよね。
それとも「接続」って言う意味もあるのかな?

540 名前:132人目の素数さん mailto:sage [2009/12/29(火) 23:31:12 ]
>>539
アジョイントに「接続」って意味があると思うのは
数学の才能がかけらも無い、どっかのおばさんだけだぜ。




541 名前:132人目の素数さん mailto:sage [2009/12/29(火) 23:44:12 ]
>>540
それじゃあ、おまえは、ノニさんの言ってたアジョイントの意味はわからないんだな。

542 名前:132人目の素数さん mailto:sage [2009/12/29(火) 23:54:26 ]
>>541
当たり前だ。
誰かが勝手に名づけて定義も述べていない概念の意味が
分かるはず無かろう?


543 名前:132人目の素数さん mailto:sage [2009/12/29(火) 23:59:03 ]
>>530
> 810 :132人目の素数さん:2009/12/27(日) 16:02:01
> >>798
> 四元数aのアジョイントをa^*をとすると
> 四元数の組について
> (a,b) (c,d)=(ac -b d^*, da+b c^*)
> とするなら(1,0)(i,0)(j,0)(k,0)(0,1)(0,i)(0,j)(0,k)
> は確かにケーリー数になるね.
> で16元数はどうして存在しないの?
a,b,c,dがそれぞれ四元数なんだよね?四元数を2つ並べてケーリー数の
積を定義してるって事でしょ?計算はやってみてないから
まだ、きっちり理解したわけじゃないけどね。
ノニさんの言ったような接続って言う意味はなさそうだね。

544 名前:132人目の素数さん mailto:sage [2009/12/30(水) 00:01:34 ]
>>542
ノニさんの言ってたアジョイントのイメージもわかないの?

545 名前:132人目の素数さん mailto:sage [2009/12/30(水) 00:08:23 ]
>>543
その通り。
あとノニさんは本当に数学が分かってないおばさんだから
「接続」とかいう戯言は忘れたほうがいい。

本人はひょっとしたら斜め上の理解をして
「自分の発想は既知のものじゃなくて新しい発想なんだ」
と喜んでるかも知れんがね。


>>544
じゃあ、あんたは俺が「f と g をアップルた関数を h としよう」
っていったら「アップル」のイメージがわくのかい?
ついでに「アップルってみかんという意味じゃなかったですか」
とか言われて?


546 名前:543=544 mailto:sage [2009/12/30(水) 00:17:33 ]
>>545
俺には、ノニさんの言う「接続」の意味、想像つくけどな。

547 名前:132人目の素数さん mailto:sage [2009/12/30(水) 00:34:55 ]
>>546
そうか。そりゃよかったな。

じゃあ、あんたは本人なのかエスパーなのか妄想癖があるかの
いずれかだろう。

本人じゃないなら、あのおばさんには関わらないほうがいいとは
思うが、関わりたいならそれも個人の自由だ。


548 名前:543 mailto:sage [2009/12/30(水) 00:40:18 ]
>>547
俺はノニさんとはリアルで友達だよ。
別に、ちょっと、変わったところもあるけど、人柄は良い人だと思う。
純粋な人だと思うよ。

549 名前:132人目の素数さん mailto:sage [2009/12/30(水) 00:48:48 ]
>>548
ノニさんの人柄に興味は無い。

彼女の数学と称するものが戯言に過ぎないといっているだけだ
(すくなくとも2ちゃんねるの書き込みから判断する限りにおいて)。

別に「数学の才能」と「良い人」は無関係だからな。
良い人であることは否定しないよ。



550 名前:543 mailto:sage [2009/12/30(水) 00:59:14 ]
>>549
> >>548
> ノニさんの人柄に興味は無い。
> 彼女の数学と称するものが戯言に過ぎないといっているだけだ
> (すくなくとも2ちゃんねるの書き込みから判断する限りにおいて)。
確かに彼女は論理性にかけるところはあるけど、俺からみると
彼女の考えた事で興味深い点もあるんだけどなぁ?!
俺は、彼女の再三言ってる、院試のレポートも修論も読んだから
かも知れないが・・・。

可換環のスレを見たら、全く代数の基礎ができて無いのも良く
分かったけど・・・。

> 別に「数学の才能」と「良い人」は無関係だからな。
> 良い人であることは否定しないよ。
よい人だと思ってるなら、お前が言っているのじゃ無いかも知れない
が、なぜ、彼女をいじめるんだよ?






551 名前:132人目の素数さん [2009/12/30(水) 01:05:15 ]
>>550
あんたがノニ本人じゃなくて、奴のレポート読んだんなら、ノニの言っていることを普通の数学の言葉に翻訳してくれないか?

552 名前:132人目の素数さん [2009/12/30(水) 01:13:05 ]
>>550
> 良い人であることは否定しないよ。
>よい人だと思ってるなら、お前が言っているのじゃ無いかも知れない
>が、なぜ、彼女をいじめるんだよ?

すまんな、誤解を与える表現だと後で自分でも思ったが、
わざわざ訂正するのも、と思って放置した。

「良い人であることは否定しないよ」 は 「良い人だと思っている」という
意味で書いたのではない。
「良い人かどうかの判断は俺にはできないから、しない」と書くべきだった


553 名前:132人目の素数さん mailto:sage [2009/12/30(水) 01:13:49 ]
ノニってホントに50間近なの?

554 名前:543 mailto:sage [2009/12/30(水) 01:16:36 ]
俺は、>>543なんだぜ、ノニさんがそんな事自分で分かるわけ
ないと思わないか?

555 名前:132人目の素数さん mailto:sage [2009/12/30(水) 01:17:12 ]
友達ってやっぱり気が合うから、書き癖まで似ちゃうんだね。
すごいなぁー、友達っていいなぁ(棒読み)。


556 名前:132人目の素数さん mailto:sage [2009/12/30(水) 01:23:02 ]
ノニさんのお友達の >>543さんは学部生?
(ひょっとして予備校の教え子で、高校生とか?)


557 名前:132人目の素数さん mailto:sage [2009/12/30(水) 03:09:13 ]
4元数、8元数、なんで16元数が駄目かとかは、エビングハウス他著の「数」の日本語版なら下巻の
7章から11章までにめちゃくちゃわかりやすく書いてあるので、是非呼んでみてください

558 名前:132人目の素数さん [2009/12/30(水) 05:12:25 ]
3Dポリゴンとかの回転で使われてるんでしょ。よくしらないけど

559 名前:132人目の素数さん mailto:sage [2009/12/30(水) 10:03:08 ]
なんで本人が「個人情報さらしたくない」といって「カキコ止める」宣言した
タイミングで友達がカキコしだすのかな?www
どこがどう興味深いのか解説してほしいよ。

560 名前:132人目の素数さん mailto:sage [2009/12/30(水) 10:12:23 ]
山口人生化してきたな。



561 名前:132人目の素数さん mailto:sage [2009/12/30(水) 14:23:39 ]
>>557
> 4元数、8元数、なんで16元数が駄目かとかは、エビングハウス他著の「数」の日本語版なら下巻の
> 7章から11章までにめちゃくちゃわかりやすく書いてあるので、是非呼んでみてください
その本持っているんだが、読んでないんだけど、簡単に言うとどうして
「4元数、8元数、なんで16元数が駄目」なの?

562 名前:132人目の素数さん mailto:sage [2009/12/30(水) 15:09:29 ]
本持ってるんなら自分で読めやコラ

563 名前:132人目の素数さん mailto:sage [2009/12/30(水) 15:27:24 ]
>>562
引越しの時に、どっかへ行ってしまったから・・・。
手元にはないんだよ。
さわりだけ分かって面白そうだったら、探そうかと思う。

564 名前:132人目の素数さん mailto:sage [2009/12/30(水) 15:40:52 ]
>>563
探して読んで、お前が面白いかどうかを報告しろやコラ


565 名前:132人目の素数さん mailto:sage [2009/12/30(水) 15:45:03 ]
>>564
今、帰省してるから、ここにはないんだよ。
読んだ人がいるなら、その人にさわりだけ報告してもらえば
いいじゃん。駄目かな?

566 名前:132人目の素数さん mailto:sage [2009/12/30(水) 15:49:17 ]
>>557
> 4元数、8元数、なんで16元数が駄目かとかは、エビングハウス他著の「数」の日本語版なら下巻の
> 7章から11章までにめちゃくちゃわかりやすく書いてあるので、是非呼んでみてください
何時頃出版された本なの?
可換環のスレだったかに、代数的な証明が1960年ごろされたって言う事が
書いてあったが、それ以降の話?それと内容は、一緒なの?

567 名前:132人目の素数さん mailto:sage [2009/12/30(水) 17:49:11 ]
そうやって他力本願で、自分で努力する気が無いから
40になっても50になっても、なんの向上もしないんですよ。

数学の才能は全く無いんだから、せめて努力でカバーするぐらいの
心意気を見せたらどうなんですかね。




568 名前:132人目の素数さん mailto:sage [2009/12/30(水) 17:51:04 ]
まったくもってそのとおり

569 名前:132人目の素数さん mailto:sage [2009/12/30(水) 17:54:38 ]
>554は誰に対するコメント?


570 名前:132人目の素数さん mailto:sage [2009/12/30(水) 17:57:53 ]
>>567
私が幾つかは知りませんが、自分で考える事が好きなのであって
人の考えを理解するのは苦手ですね。



571 名前:132人目の素数さん mailto:sage [2009/12/30(水) 18:01:00 ]
>>570
じゃ、掲示板にきたり、関係の無い研究室に出入りするのは
止めたら?

他人とコミュニケーションする気が無いのなら、お一人で
思う存分、自分のお考えを深めてください。


572 名前:132人目の素数さん mailto:sage [2009/12/30(水) 18:07:13 ]
>>571
> >>570
> じゃ、掲示板にきたり、関係の無い研究室に出入りするのは
> 止めたら?
別に、関係ない研究室に出入りなんかしてないけど。

> 他人とコミュニケーションする気が無いのなら、お一人で
> 思う存分、自分のお考えを深めてください。
人と会話するのは好きだけど・・・。
本を読むことが嫌いなんです。

573 名前:132人目の素数さん mailto:sage [2009/12/30(水) 18:12:25 ]
才能もなく、努力もせず、本も読まない。

574 名前:132人目の素数さん mailto:sage [2009/12/30(水) 18:15:49 ]
>>572
>>本を読むことが嫌いなんです。

じゃあ、結局さわりだけ他人に解説させて、
自分で本を読む気は無かったってわけですね。

自分がすごく厚かましい人間だという自覚はありますか?
それとも、それぐらいしてくれない他人がケチだと思いますか?







575 名前:132人目の素数さん mailto:sage [2009/12/30(水) 18:16:10 ]
そして >>573 はスレタイも読めない。

576 名前:132人目の素数さん mailto:sage [2009/12/30(水) 18:17:54 ]
>>573
> 才能もなく、努力もせず、本も読まない。
どんな立派な方がおっしゃってることやら・・・。
確かに本はあまり読まないけど、才能が無いとは思わないし
通常言われている努力とは違うかも知れないが、一生懸命
イメージを頭に描いて考えるという努力はしてますね。
貴方のご意見は大きなお世話です。

577 名前:132人目の素数さん mailto:sage [2009/12/30(水) 18:25:21 ]
>>574
> >>572
> >>本を読むことが嫌いなんです。
> じゃあ、結局さわりだけ他人に解説させて、
> 自分で本を読む気は無かったってわけですね。
さわりを聞いて、読む必要があると思ったり、興味がわけば
読みますね。
本は数少なくしか読んで無いですが、数学の本では読めた本は
無いですが、小説なんかだと、精読します。

> 自分がすごく厚かましい人間だという自覚はありますか?
> それとも、それぐらいしてくれない他人がケチだと思いますか?
あつかましいとは思いますが、2chだと、昔はもうちょっと
気前良く教えてもらえたように思います。


578 名前:132人目の素数さん mailto:sage [2009/12/30(水) 19:02:13 ]
>>566
エビングハウス他著の「数」は、大学初年級むけに、こんないろんな数の概念の拡張があるんですよ、というのを
面白く色んな人があつまって書いた本なので (だからエビングハウス「他」著)
別に最新の研究内容の本じゃないです。
まあいちおう出版日をみてみましたが、第一版が83年で、第2版が88年のようです。

さわりだけ聞きたいとか言うほど分厚い本ではないし、解説の書き口自体面白いので是非自分でよんでください。
多元数のはなしも、初等的なところからはじまって、Adams operation まで行きます。


579 名前:132人目の素数さん mailto:sage [2009/12/30(水) 19:43:36 ]
>>578
どうも、親切に説明していただいてありがとうございます。
帰省先から下宿に戻ったら、探してみます。
興味のある箇所があったので、今すぐに知りたかったので
無理を言ってすみませんでした。


580 名前:猫は淫獣 ◆ghclfYsc82 mailto:age [2010/01/10(日) 22:17:58 ]
以下の様な書き込みがありました。皆さんのご意見を賜りたいと
存じます。

敬具

猫拝


>頭が悪いのがコンヌみたいな数学史に残るであろう大天才に推薦状を書く雑用をさせていいと思ったのかい?
>お前が飢えてどこで野垂れ死のうと数学の歴史には全く影響がないが
>コンヌの時間を奪えば数学の歴史に影響しかねんとは考えられなかったのかい?
>お前は数学という学問への良心や献身の精神すら残ってないんだね

>その数学者の業績が高々30年以内に消えてしまうような数学者はマクロに見れば存在しようがしまいがどうでも良いんだよ
>そんなレベルの数学研究の従事者は世界全体で見れば掃いて捨てるほどいるからな
>そいつがそれなりに大事な定理を発見して証明したとしても、そいつがいなくても誰かがいずれは見つけてるんだよ
>その程度の独創性しかないからこそ30年未満で消えていくんだ

>そういう掃いて捨てるレベルの数学従事者に求められるのは研究よりも教育だよ
>教育者に求められるのは中途半端な数学の研究業績よりもちゃんとした人間性だ

>女性への欲望を押えられなくて痴漢に及ぶのなんてのは教育従事者としては論外だな
>自分の業績でウソをつくのも教育従事者としては論外だな
>盗撮も論外だ

>最低でも30年以上は業績がリファーされるほどの才能もなく教育従事者としての適性もない数学しかできん半端者に税金から給料を払う必要なんてないのさ
>何をやろうと許されるのは数学史に名前が刻まれるレベル、つまりそいつが消えれば数学の歴史が変わってしまうであろう本当の天才だけだ
>それ以外の少し数学が得意なだけの幾多の凡人は社会人としての常識がなければ社会では必要ないのさ
>社会で必要ないってことは大学や組織が給料を払ってやる必要はないってことだ

EOF




581 名前:132人目の素数さん mailto:sage [2010/01/10(日) 22:53:37 ]
>>578
> Adams operation まで行きます。

Adams operationってsecondary cohomology operationsの事?
だったら、準同型定理すら理解できないノニには無理無理。

582 名前:猫は淫獣 ◆ghclfYsc82 mailto:age [2010/01/17(日) 22:02:02 ]
ココでちょっとしたメッセージや
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★
★★★「小沢氏は主張を通して検察に対して徹底的に対抗すべし」★★★

小沢先生、頑張って下さい。私は最後まで味方になります。




583 名前:ノニ ◆.5wljPk1.c [2010/01/18(月) 21:37:06 ]
Cにj?C,j^2=-1,(ij)^2(=k^2)=-1となるような元jを付け加えたら
四元数体の条件は全部そこから導きだされるし、四元数体に
なるね。

584 名前:ノニ ◆.5wljPk1.c [2010/01/18(月) 21:42:01 ]
>>583
> Cにj?C,j^2=-1,(ij)^2(=k^2)=-1となるような元jを付け加えたら
> 四元数体の条件は全部そこから導きだされるし、四元数体に
> なるね。
j∈/C(Cに含まれないj)と書きたかったが書けなかった。

585 名前:132人目の素数さん [2010/01/18(月) 21:47:30 ]
>>580 糞猫はひっこんでろ、このスレにはくんな

586 名前:132人目の素数さん [2010/01/18(月) 21:48:47 ]
猫は痴漢魔〜

587 名前:132人目の素数さん mailto:sage [2010/01/18(月) 22:08:23 ]
「Cに含まれないj」
そもそもjってどこから引っ張りだしてきたものなのか・・・

588 名前:ノニ ◆.5wljPk1.c [2010/01/18(月) 22:13:45 ]
>>587
> 「Cに含まれないj」
> そもそもjってどこから引っ張りだしてきたものなのか・・・
x^2=-1になるような元はたくさん在るでしょ?Rの直交補空間の元だから・・・。

589 名前:ノニ ◆.5wljPk1.c [2010/01/18(月) 22:18:46 ]
>>583
> Cにj?C,j^2=-1,(ij)^2(=k^2)=-1となるような元jを付け加えたら
> 四元数体の条件は全部そこから導きだされるし、四元数体に
> なるね。
のj?Cとあるところを「j(含まれない)C」と書くつもりだった。

590 名前:132人目の素数さん mailto:sage [2010/01/18(月) 23:06:39 ]
>>588
R の直交補空間って言葉の意味を教えてもらえますか?

適当に「イメージ」で数学用語を操るのはいいかげんに
止めないと、いつまでたっても「妄想数学」から抜け出せないと
思いますよ。




591 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 00:11:37 ]
>>590
> >>588
> R の直交補空間って言葉の意味を教えてもらえますか?
かなり詳しい本でも、直交補空間の定義は載っていませんでしたが
私の考えるところでは、原点を共有しRと垂直に交わる空間の事だと
思っていますが・・・。

592 名前:132人目の素数さん mailto:sage [2010/01/19(火) 00:18:43 ]
定義すら覚束ないのにイメージで数学語るなよ
アホここに極まれり

593 名前:132人目の素数さん mailto:sage [2010/01/19(火) 00:21:31 ]
>>588
なら、四元数体を定義する前に既にjは存在するんですね?
なら四元数体って何なの?

594 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 00:27:27 ]
>>592
原点を通って、Rと直交するベクトルはいくらでもあるでしょって言う
意味のつもりで>>588は書いたのですが・・・。
このさい、「直交補空間」と言う単語はどうでもいいじゃないですか?!

595 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 00:31:56 ]
>>593
i^2=j^2=k^2=-1
ij=-ji=k,jk=-kj=i,ki=-ik=j
をみたすi,j,kについて
h=x+yi+zj+wkで表される数の事だとおもうけど・・・。

596 名前:132人目の素数さん mailto:sage [2010/01/19(火) 00:36:14 ]
自分で言い出しておきながら単語なんてどうでもいいと逆ギレw

597 名前:132人目の素数さん mailto:sage [2010/01/19(火) 00:46:22 ]
ノニさん、
>>583>>595 を合わせて読んで、自分でも何かおかしいと
思わんのかね?

残念ながら、あんたの持っているイメージは、新たな視点を提供する
天才のひらめきなんかじゃなくて、正しい理解を阻害する馬鹿な思い込みに
過ぎんよ


598 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 00:47:21 ]
>>590
> >>588
> R の直交補空間って言葉の意味を教えてもらえますか?
S^⊥={x∈V|すべてのy∈Sについてx・y=0}
このS^⊥をSの直交補空間と言う。

599 名前:132人目の素数さん mailto:sage [2010/01/19(火) 00:50:18 ]
>>598
で?
S を R と思って読めというんだね?
じゃあ V はなに?それから V に内積はどう定義しているの?

600 名前:132人目の素数さん mailto:sage [2010/01/19(火) 00:52:04 ]
>>598
こんどは勝手にVとか出てきたけど、Vって何?

おまえが数学系でDまで進んだってのが嘘だといわれるのは
そういうところが欠落してるからなんだが。
それは専門が違うとかそういうレベルの話じゃないんだよ。



601 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 00:52:23 ]
>>597
思わない。
i^2=j^2=k^2=-1
ij=k
から残りの式は全部出るから・・・。
違うかどうかやってみたら良いよ。
私はやったし。

602 名前:132人目の素数さん mailto:sage [2010/01/19(火) 00:53:03 ]
ノニさん、
定義するってことの意味を真剣に考えた方がいい。
あなたの定義は、定義以前に既に存在する筈とあなたが思い込んでいるものを提示しているだけだから。


603 名前:132人目の素数さん mailto:sage [2010/01/19(火) 00:58:22 ]
おいおいw、>>583 は既に以前どこかで反例をあげて粉砕されてなかったか?

604 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 00:59:56 ]
>>598
> >>590
> > >>588
> > R の直交補空間って言葉の意味を教えてもらえますか?
「計量ベクトル空間Vの部分集合Sに対しSのすべての要素と直交
するベクトルの集合S^⊥を考える、すなはち」
> S^⊥={x∈V|すべてのy∈Sについてx・y=0}
> このS^⊥をSの直交補空間と言う。
「」を補って考えて下さい。

605 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:01:53 ]
>>604
RやCしかないところからHを作ろうというのに、RやCやHを含む内積空間Vが
既に存在するというところからはじめるというのはおかしいだろ、ゴミカス?

606 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:02:54 ]
わからないから丸写ししてるだけだろ
火に油を注ぐ状況になってるがw

607 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:03:59 ]
>>604
おまえ、「pならばq」という形式の命題を証明せよという問題で
証明の途中に結論となるqを仮定した議論をしてバツをもらうような馬鹿だな。

608 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 01:05:08 ]
>>603
> おいおいw、>>583 は既に以前どこかで反例をあげて粉砕されてなかったか?
「複素数体に+-iでないjでj^2=-1なる元を付け加えて、ji=kとおくと」と言う条件
だと粉砕されたけど、k^2=-1も入れると上手く行く。

609 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:06:41 ]
>>601

> i^2=j^2=k^2=-1
> ij=k
> から残りの式は全部出るから・・・。
> 違うかどうかやってみたら良いよ。
> 私はやったし。

ええ、それは正しいです。

610 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:08:32 ]
何が指摘されてるかここまでわからない阿呆は中学レベルの数学すら危うい。
ドクターいったとかありえないだろ。



611 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 01:16:47 ]
>>605
> >>604
> RやCしかないところからHを作ろうというのに、RやCやHを含む内積空間Vが
> 既に存在するというところからはじめるというのはおかしいだろ、ゴミカス?
RとCさえイメージ出来れば、Rを共有してCと同じ関係にある色んな空間が
ある事は直ぐに想像出来るよね?!

612 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:25:52 ]
>>611
何を指摘されているのかも分らん中学生が、これ以上見苦しいマネをするな。

613 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:26:59 ]
>>611

それこそまさに「妄想」であって、他の人は誰もついていけない主張ですよ。
Vを数学者に分かるやり方で定義してください。「色んな空間」では数学的には
意味不明ですので。

614 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:33:45 ]
>>611
お前の言ってるそれは、たとえば
フェルマーの大定理を「いくつか代入してみたら成立しないので証明できた」
といってしまうのとまったくかわらんわけだが。

615 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:35:41 ]
>>612
さすがにそんなのと一緒にされたらかわいそうだと思いますよ……


中学生が。

616 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:39:28 ]
>>604
で、その計量ベクトル空間Vとやらの内積はRやCやHの中で演算を定義するために何で必要なの?

617 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 01:39:32 ]
>>613
> >>611
> それこそまさに「妄想」であって、他の人は誰もついていけない主張ですよ。
> Vを数学者に分かるやり方で定義してください。「色んな空間」では数学的には
> 意味不明ですので。
Cだとc=x+yiと言う元があってそれは(x,y)と同一視出来るから1とiは
(1,0)と(0,1)で((1,0),(0,1))=0で内積は0になりますよね。
j(含まれない)Cなる元があれば
c'=x+yjと言う元が同じ様に考えられるけど、それは、複素数のiとは
違う向きのjと言うベクトルが考えられると言う事で同様に1とjは直交
しますよね?!
c''=x+ykと置いても同じだと言う事です。
なにかおかしいでしょうか?

618 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:41:02 ]
>>617
> j(含まれない)Cなる元があれば
> c'=x+yjと言う元が同じ様に考えられるけど、それは、複素数のiとは
> 違う向きのjと言うベクトルが考えられると言う事で同様に1とjは直交
> しますよね?!

なんで直交すんの?

619 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:43:09 ]
>>617
> 複素数のiとは違う向きのjと言うベクトルが考えられると言う事で

なんで違うといえるの?
よしんばちがったとして、それが複素数のiと両立する構造だというのは何処から出るの?

620 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:46:39 ]
直交することの定義すらわかってなさそうだな



621 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 01:50:07 ]
>>618
(1,0)と(0,1)と同一視出来るから。

>>619
> >>617
> > 複素数のiとは違う向きのjと言うベクトルが考えられると言う事で
>
> なんで違うといえるの?
j(含まれない)Cとjを元々定義しているから。

> よしんばちがったとして、それが複素数のiと両立する構造だというのは何処から出るの?
j^2=-1だから同じ構造になるけど・・・。

622 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:50:51 ]
613 です。

>>617
あなたは数学の議論というものを全く分かっていない!!!

> j(含まれない)Cなる元があれば

C に含まれない j というのは一体なんですか? C に含まれなかったら
なんでも良いのですか?例えば指数関数 e^z は C に含まれません
(当たり前です。e^z は『函数』であって『複素数』ではありませんから)
ので、e^z は j の候補ですか?

「違う向きのベクトル」とか言ってますが、そういうからには、まず
最初に「j が入っているベクトル空間 V 」を明示しなさい。と言っているのが
分かってもらえないのなら、中学生扱いしたい気持ちも尤もです。

あなたの自慢の学歴は本当なのか疑いたくなります。

623 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:52:24 ]
また独白が始まる予感

624 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:52:47 ]
違う向きのベクトルといってもまず「向き」がなにか
「向きが違う」とはどういう事なのかも多分理解してないだろうな

625 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:53:00 ]
>>621
おまえのやってることは、Hの存在やいくつかの性質をあらかじめ知ってて
その範囲内で事実であることをのべていればどれだけ論理の飛躍をしても
結論だけは間違ってない、という程度の言葉遊び。
>>607の言ってる通りだ。

626 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 01:54:08 ]
Rの直交補空間を定義するのに、なにもHやケーリー数を考える
必要は無いと言う事です。
単にRの直交補空間を考えれば良い。

627 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:56:24 ]
>>621
> (1,0)と(0,1)と同一視出来るから。
何で同一視できんの?
よしんばそれで同一視したとして、Cも同じように同一視してんだろ?
その二つの同一視が整合的だというのは何から来るんだ?

>> なんで違うといえるの?
> j(含まれない)Cとjを元々定義しているから。
>> よしんばちがったとして、それが複素数のiと両立する構造だというのは何処から出るの?
> j^2=-1だから同じ構造になるけど・・・。

Cとは別の同一視で直交してることにしたものが
なぜCでの演算と整合的な存在になれるのかと訊いている。

628 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:57:03 ]
>>626

いや、だからどのベクトル空間の中で直交補空間を考えるのか?と。
R^3? R^4? または R^100?

629 名前:132人目の素数さん mailto:sage [2010/01/19(火) 01:58:05 ]
>>626
> 単にRの直交補空間を考えれば良い。

直交「補空間」を考えるためには全体となるベクトル空間が必要です。
定義を表面的に舐めているだけだからそんな愚を犯すんです。

630 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 01:58:57 ]
>>622
> 613 です。
>
> >>617
> あなたは数学の議論というものを全く分かっていない!!!
>
> > j(含まれない)Cなる元があれば
>
> C に含まれない j というのは一体なんですか? C に含まれなかったら
> なんでも良いのですか?例えば指数関数 e^z は C に含まれません
> (当たり前です。e^z は『函数』であって『複素数』ではありませんから)
> ので、e^z は j の候補ですか?
j^2=-1を満たす元と言ってるのですが・・・???
>
> 「違う向きのベクトル」とか言ってますが、そういうからには、まず
> 最初に「j が入っているベクトル空間 V 」を明示しなさい。と言っているのが
> 分かってもらえないのなら、中学生扱いしたい気持ちも尤もです。
>
> あなたの自慢の学歴は本当なのか疑いたくなります。



631 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:00:21 ]
>>625
それは言いすぎ。>>1のやってることはそれよりももっと酷い。

632 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:02:06 ]
つかなんで直交している必要があると思っているのか、
その思い込みの出所が知りたい気もするなあ。
まあこいつに説明できるはずも無いが。

633 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:02:11 ]
>>627
定義も覚束ないおばさんがwell-definedなんぞ考える訳がない

634 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:02:33 ]
613 です。論理的に論破すればちゃんと答えてもらえるかと思った
私が愚かでした。>>625 >>607 に同意します。おやすみなさい。

635 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 02:03:33 ]
>>628
> >>626
>
> いや、だからどのベクトル空間の中で直交補空間を考えるのか?と。
> R^3? R^4? または R^100?
R^4以上ならR^100でも良いですよ。

636 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:10:21 ]
>>635
へぇー、そうなんだ。すごいね。論文楽しみにしてますよー。

637 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:16:59 ]
久しぶりに覗いてみたら、まだやってんのか。
ノニにまともに付き合うなんて、あんたらも暇だねぇ。

638 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 02:22:03 ]
>>627
> >>621
> > (1,0)と(0,1)と同一視出来るから。
> 何で同一視できんの?
c'=x+yjと置いたのだから(1,0)と(0,1)と同一視出来るよね?

> よしんばそれで同一視したとして、Cも同じように同一視してんだろ?
> その二つの同一視が整合的だというのは何から来るんだ?
j^2=-1だからとおもうが・・・。

> >> なんで違うといえるの?
> > j(含まれない)Cとjを元々定義しているから。
> >> よしんばちがったとして、それが複素数のiと両立する構造だというのは何処から出るの?
> > j^2=-1だから同じ構造になるけど・・・。
>
> Cとは別の同一視で直交してることにしたものが
> なぜCでの演算と整合的な存在になれるのかと訊いている。
意味が分らない。
Cと同じ断面がいくつも考えられると言うだけの事だけど・・・。

639 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:22:06 ]
ノニが現われたとき生まれたての赤ん坊だったやつだって
もうべらべら喋り捲ってるだろうに、
ノニもちょっとくらい成長してもいいはずだと思うんだが、
むしろずっと退行してるのがなんとも。


640 名前:132人目の素数さん [2010/01/19(火) 02:25:52 ]
退行っていうか、病気の悪化を放置しているだけだろう
ノニも実名まで晒されて、なぜ居ついているんだ



641 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:26:05 ]
>>638
何か知らんがR^2に同一視した構造を複数用意してそれぞれに別の演算を入れて
R^nにそれぞれ埋め込みを与えて、埋め込みを通じてそれぞれのR^2の演算を
R^nの中に導入した、という状況下で、複数のR^2の像を含むR^nの部分集合が
存在することも、その部分集合でそれぞれの埋め込みから来る演算が整合することも
それらの演算が同じRに制限できることも、制限してRのもともとの演算に整合することも
全部自明ではないという話をしている。

意味がわからないのはおまえがやっているのが数学ではなく言葉遊びだからだ。

642 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:27:51 ]
>>638
> j^2=-1だからとおもうが・・・。

は? j^2=-1だけでCにおける演算とcompartibleであるという条件の下でwell-definedになるの?なんで?

643 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:29:31 ]
>>642
悪いがおばさんはwell-definedの意味すらわからないとおもうぞ。
それがわかってればこんな粗い議論はしない。

644 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:29:52 ]
ノニに>>641の言ってることが理解できるはずないよ。無駄無駄。

645 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 02:39:49 ]
>>642
compartibleと言う単語は辞書を引いたけど載っていないのですが・・・。
単語の意味を教えて下さい。

646 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:42:35 ]
compatibleでもう一度ひいてみろ

647 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:45:59 ]
ミススペリングだけど文脈でcompatibleだということくらいわかるだろ
辞書引いたのなら周辺の単語で類推できそうなもんだがな。

あ、俺は642とは別人だから、念のため。

648 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 02:46:12 ]
>>641
自明では無いかも知れないけど、この場合それで上手く行って
いるよね。

649 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 02:47:54 ]
>>647
gooの辞書で引いたから・・・。

650 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:50:24 ]
>>649
もう一回言うけど文脈で判断できない方がよっぽどおかしいから。
辞書引く時点で「私は数学わかっていません」って言ってるのと同じ。



651 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:52:36 ]
>>648
それはおまえがたまたま奇跡的にそれらの制約を全て満足するHの存在と
Hの性質を最初から知っていて、それを前提に話をしているから。
そのことは既に何度も指摘されている(直近でも>>625とか)。

652 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:55:30 ]
>>645
それで話をそらせられたとでも思ってるのか?
さんざんぱら構造が両立してるとかwell-definedだとか整合的だとか
おまえが何度も曲解してるのか話をそらそうとしてるのか頓珍漢なことを
いうからみんな表現を変えて同じことを繰り返し言ってるのに
つまらないスペルミスをあげつらうことしかできないわけ?

653 名前:132人目の素数さん mailto:sage [2010/01/19(火) 02:59:11 ]
>>652
いやこのおばさん前にも専門用語を辞書で字引くという愚行を犯しているから
おそらくモノホンの天然の阿呆なんだろう。

さらにその時も愚行を咎められてるのに再度やらかすとは学習能力がそな
わってない。

654 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 03:11:26 ]
>>651
どうやってHが考えられたのかに興味があるから、こういう事を
言っているのだけど・・・。
初めにHがあったわけじゃないと思うんだよ。

655 名前:132人目の素数さん mailto:sage [2010/01/19(火) 03:14:36 ]
>>654
だから、はじめにHがあるわけでもないのに、おまえはHが存在してるから
たまたまOKな部分をうまくいってるからいいじゃんと言ってるから問題なのだ
とみんな何度も何度も何度も何度も言ってるんだが?
おまえはちゃんとしt論理的帰結によってHを得られていない。


656 名前:132人目の素数さん mailto:sage [2010/01/19(火) 03:18:37 ]
>>654
初めにHがあったわけじゃないという前提でみんな話をしてるのに
おまえひとりだけが「たまたま全部の条件を上手くクリアする存在」であるHが
存在する前提でないと正しくない部分を>>648のように完全に無視してる。
>>641がいちいち細かく指摘してくれたのにもかかわらず無視してる。
それだけ。

早く死ね。

657 名前:132人目の素数さん mailto:sage [2010/01/19(火) 03:19:51 ]
後出しじゃんけんってやつなんだよね。
なのに後出ししたということに気付いてない。

まわりは何度も指摘してるのにw

658 名前:132人目の素数さん mailto:sage [2010/01/19(火) 03:24:12 ]
せーいっしん ぶんれつびょっ! へい!

659 名前:132人目の素数さん mailto:sage [2010/01/19(火) 03:27:37 ]
>>641
ああ、あと演算だけじゃなくて演算から来る一次変換としての
幾何学的実現もあるから埋め込み像におけるそれらの整合性も
調べないといけないよな。
ま、論理の飛躍ばっかりだってことに結局何の変わりも無いけど。

660 名前:132人目の素数さん mailto:sage [2010/01/19(火) 04:19:58 ]
コンパチと整合性でフリーズしたっぽいな
学部で言えば2年レベルの話なのに



661 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 04:28:06 ]
もう、眠たいから寝ます。
明日考えるし。

662 名前:132人目の素数さん mailto:sage [2010/01/19(火) 04:30:23 ]
そのまま二度と起きるな

663 名前:132人目の素数さん mailto:sage [2010/01/19(火) 04:37:57 ]
>>621
>> よしんばちがったとして、それが複素数のiと両立する構造だというのは何処から出るの?
>j^2=-1だから同じ構造になるけど・・・。

なんで両立すんの?って訊かれてるのに同じ構造になるじゃ答えになってない。

664 名前:132人目の素数さん mailto:sage [2010/01/19(火) 04:40:30 ]
>>630
> j^2=-1を満たす元と言ってるのですが・・・???

RやCをふくむ計量ベクトル空間Vとやらに単なるベクトルがいくつも
あるからといってj^2=-1も初めからあるなんてことはない罠
それは後から入れた構造でしかない。

665 名前:132人目の素数さん mailto:sage [2010/01/19(火) 04:49:12 ]
>>638
> c'=x+yjと置いたのだから(1,0)と(0,1)と同一視出来るよね?
C内の点 1, i を (1,0), (0,1) と同一視したうえで同じ点と同一視をするのはおかしいし、
Cについての同一視と別な話であるのなら、この二種類の同一視がHに当たるものを構成する際に
不整合を起こしていないことをしめさないといけないがお前は一切やってない。
まったく話になってない。

> Cと同じ断面がいくつも考えられると言うだけの事だけど・・・。
それだけであるのなら整合性についてお前は述べていない。
問われているのはバラバラに導入された二つの平面がそれぞれ持つ積構造が
埋め込んだ後で全体にまで伸びてしかも不整合を起こさないという根拠。
および、それぞれの平面が含むRが埋め込んだ後でも矛盾なく演算等まで込めて
整合的に重なること、およびそれがRにおける元の演算そのものを保つ根拠。

666 名前:132人目の素数さん mailto:sage [2010/01/19(火) 05:06:22 ]
重箱のどこをつついても隅
論理的に整合してる部分をさがす方が困難

667 名前:132人目の素数さん [2010/01/19(火) 11:04:45 ]
このスレをに関わっている皆様へ

ノニ相手に熱くなったら負け。

人間とは別の(われわれからすれば支離滅裂の)論理を操るものと対話する気がないなら、
最初から相手にすべきではない。

また、議論?に付きあうなら、精神疾患(特に統合失調症)の特徴的な症状をよく調べてから、相手した方がよい。

668 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 13:51:53 ]
Cにx^2=-1,x(含まれない)C^nなる元jを付け加えると1,i,j,ij=kで張られる
空間にならないだろうか?つけ加えると言う意味がちゃんと分って
ないから教えて欲しいのだけど・・・。
HはCの2次拡大というのはOKでしょ?

>>597
>>603
の間抜けなレスにはなんのケチもつかないのに、私のレスには一から10まで
ことごとくケチがついて・・・、疲れてきた。

669 名前:132人目の素数さん mailto:sage [2010/01/19(火) 13:58:50 ]
最初のほう軽くかいつまんで指摘されただけじゃ理解すらできずに全スルーだったくせに
逐一こまかく指摘してもらったら疲れたとか、死ねばいいのに。

670 名前:132人目の素数さん mailto:sage [2010/01/19(火) 14:01:59 ]
> Cにx^2=-1,x(含まれない)C^nなる元jを付け加えると1,i,j,ij=kで張られる
> 空間にならないだろうか?

ならない。splitするのとか普通に考えられる。



671 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 14:03:19 ]
>>669
説明の仕方の問題なんだよ。別に親切に教えてくれると言うスタンスで
説明されるなら疲れない。

672 名前:132人目の素数さん mailto:sage [2010/01/19(火) 14:03:26 ]
> HはCの2次拡大というのはOKでしょ?

何の意味で?何がOKなの?

673 名前:132人目の素数さん mailto:sage [2010/01/19(火) 14:05:05 ]
>>671
てめーのレスがあるだけで十分疲れる。何様のつもりだ、死ね。

674 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 14:06:50 ]
>>672
x^2=-1,x(含まれない)C^nなる元をCに付け加えたわけだから
x^2+1=0が最小方程式だよね。
だから、2次拡大だと思ったわけだが・・・。

675 名前:132人目の素数さん mailto:sage [2010/01/19(火) 14:08:18 ]
>>674
何の意味で?

676 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 14:09:34 ]
>>673
すみません、こっちも聞き方が悪いかも知れない、でも、前向きに
コミュニケーションしていける様にしたいのだけど・・・。

677 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 14:14:09 ]
>>675
> >>674
> 何の意味で?
C上2次拡大だと思ったのだけど・・・。何の意味でと聞かれて
分るほど、拡大とか詳しくないし、教えて下さい。よろしく
お願いします。

678 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 14:20:00 ]
>>670
> ならない。splitするのとか普通に考えられる。
splitするとはどういう事ですか?

679 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 14:22:01 ]
>>670
出身大学の授業中に、同じ質問したけど、どう言う意味でか知らない
が、正しいと言われたけど・・・。

680 名前:132人目の素数さん mailto:sage [2010/01/19(火) 14:31:37 ]
>すみません、こっちも聞き方が悪いかも知れない、でも、前向きに
>コミュニケーションしていける様にしたいのだけど・・・。

↓のように、はじめから
「何々が分からないから教えて欲しい」
といえば良いのです。

>>668
>つけ加えると言う意味がちゃんと分って
>ないから教えて欲しいのだけど・・・。

「分からないものを分かっているようなフリをする」、
あるいは
「何が分からないか自分でも分からない」
こういう方は重症で、応対は極めて難しいものとなるでしょう。

なお、「付け加える」という言葉のみでは、数学では意味を持ちません。
それを使う本人が定義を与えてはじめて意味を持つものです。
ですので、>>668は質問になっていません。

>>677
>C上2次拡大だと思ったのだけど・・・。何の意味でと聞かれて
>分るほど、拡大とか詳しくないし、教えて下さい。よろしく
>お願いします。

可換体の用語に「2次拡大」というものが存在しますが、
Hは非可換ですので、通常の意味とは異なります。

この質問も上と同様で、「2次拡大」という言葉のみでは、意味を持ちません。
それを使う本人が定義を与えてはじめて意味を持つものです。
それを与えずに質問をしても、相手にされることは無いでしょう。



681 名前:132人目の素数さん mailto:sage [2010/01/19(火) 14:47:58 ]
>>668

高校生卒業生向けに書いてみよう。

集合としての複素数 C に 文字 j を加え、C の元と j の形式的な和 z+j , 形式的な積 zj , jz 等からなる集合を
作り、これを H とおく。H の元の積は a が実数の時、aj=ja とおき、虚数単位 i との積を ij=-ji と定め(これを k とおく)
, j^2=-1 とおく。この規則と加法の可換即、加法乗法の結合法則、分配法則を入れる事によって H の演算規則が
うまく定められる。

幾何学的やりたいなら、それも難しくはない。


682 名前:132人目の素数さん mailto:sage [2010/01/19(火) 14:50:56 ]
ノニに質問ですが、
C上有限次元の可換体(体をC-ベクトル空間と見て有限次元)が存在しない
という証明はできますか?

683 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 15:09:34 ]
>>681
ありがとうございます。

684 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 15:12:58 ]
>>682
> C上有限次元の可換体(体をC-ベクトル空間と見て有限次元)が存在しない
> という証明はできますか?
すぐには出来ませんが、考えています。明日ゼミなので、明後日以降に考えます。

685 名前:132人目の素数さん mailto:sage [2010/01/19(火) 15:24:16 ]
>>678
今の場合で簡単に言えば1とiで張るCと、1とjで張るCの環としての直和 C ⊕ C のこと。
これはお前の言う条件を満たすが、ij = 0 (≠ k) であって明らかに H とは異なる。
これに限らず、ij や (ij)^2 が何であるべきかというのははじめから決まってはいない。

686 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 15:29:08 ]
>>665
> >>638
> > c'=x+yjと置いたのだから(1,0)と(0,1)と同一視出来るよね?
> Cについての同一視と別な話であるのなら、この二種類の同一視がHに当たるものを構成する際に
> 不整合を起こしていないことをしめさないといけないがお前は一切やってない。
Cについての同一視と別な話だよ。R+Rjの中の話です。
不整合を起こしているかどうかは確かめて居ないのですが、不整合と言う意味も
はっきりとは私には分らないので、教えて頂ければ助かります。

私が思うに、多分不整合は起こさないのですが、可換性が失われたり、非結合的に
なったりと言う現象がそのために起きている様な気がしています。

687 名前:132人目の素数さん mailto:sage [2010/01/19(火) 15:40:42 ]
>>682

無茶言うなよ。
準同型定理が理解できない女(?かな)が、体の有限次拡大の話なんか分かる訳ないだろ。

688 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 15:46:47 ]
>>685
>>668
> Cにx^2=-1,x(含まれない)C^nなる元jを付け加えると1,i,j,ij=kで張られる
> 空間にならないだろうか?つけ加えると言う意味がちゃんと分って
> ないから教えて欲しいのだけど・・・。
> HはCの2次拡大というのはOKでしょ?
ij≠0を条件に入れないといけないと言うことか・・・。
x(含まれない)C^nの条件ではきいてこないのかな?
良く分からなくなってきた・・・。

689 名前:132人目の素数さん mailto:sage [2010/01/19(火) 15:47:45 ]
>>686
おまえ、Hに勝手に演算が定まるとか勘違いしてないか?
Cを二つ作って直積C×Cを考えてCから第一成分、第二成分への
埋め込みを与えただけでは演算は何も決まってないし、
埋め込みを通じてもとのCの演算をも埋め込んだとして、その演算が
直積の中でどのように実現されているかは埋め込みの仕方に依存する話だ。
しかし、お前は埋め込みなど無関係に、Cに同一視できるからいい
としか言ってないわけで、それはまったく内容が無いといってるに等しい。


> 私が思うに、多分不整合は起こさないのですが、可換性が失われたり、非結合的に
> なったりと言う現象がそのために起きている様な気がしています。

これがおまえがHがたまたま全ての条件をクリアして存在することを
分った上で議論してるといわれるところの根本。
HがあるんだからC上二次元のベクトル空間C^2に適当な埋め込みを
通じて導入した新しい演算がコンパチかつC^2全体に伸びるというのは
あたりまえ(というか、その適当な埋め込みというのがよく知られた
あの演算規則でそのもの)なので、それを知ってて
「多分不整合になってはいない」なんて予想っぽく言ったところで
そんなのはただの言葉遊びだ。

論理的にwell-definednessを示して初めて、それが実は彼のHであった
と述べることに意味が生じる。

690 名前:132人目の素数さん mailto:sage [2010/01/19(火) 15:50:29 ]
>>688
> ij≠0を条件に入れないといけないと言うことか・・・。

いい加減あきらめてお前はもう死んだほうがいい
そもそもsplit型四元数はHではないものの一例でしかない。



691 名前:132人目の素数さん mailto:sage [2010/01/19(火) 15:52:47 ]
>>686
例えばCと同一視したそれをC上2次元のベクトル空間C^2に対角線埋め込みして
C^2をHにしてみせろよ。おまえはそれができるって言ってるんだぞ。

692 名前:132人目の素数さん mailto:sage [2010/01/19(火) 15:56:05 ]
>>674
可換体の話のときにその2次拡大やら最小多項式(最小方程式とは言わん)やら
という概念がどう定義され、どうしてそれできちんと定義可能なのか
ということを理解するところからやり直せ。

693 名前:132人目の素数さん mailto:sage [2010/01/19(火) 16:00:00 ]
i^2=j^2=(ij)^2=−1のときij=−jiとすると
ij=−ji=−ij,2ij=0,ij=0,(ij)^2=0≠−1で矛盾するのでij≠−ji。


694 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 16:21:02 ]
>>689
複素平面Cにj(含まれない)C^n,j^2=-1,ij=k,k^2=-1
となる元jを付け加えたら
k^2=-1より(ij)(ij)=-1結合的である事を仮定すると
i(ji)j=-1左からi右からjを掛けるとji=-ijとなる。
jk=j(ij)=-j^2i=i
-kj=-(ij)j=-i(-1)=i
ki=(ij)i=-i^2j=j
-ik=-i(ij)=-(-1)j=j
で条件式がでて来て

h=x+yi+zj+wkとおいて
i・h=i(x+yi+zj+wk)=-y+xi-wj+zk
となるからiが行列表現出来て
0 -1 0 0 R_xy 0
i=( 1 0 0 0 )=( )
0 0 0 -1 0 R_zw
0 0 1 0

となり、iはxy平面での90度回転とzw平面での90度回転の直和
となる。

それだけの式から、全部がでてくるから良いのでは?
いけないのかな?!

695 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 16:27:46 ]
>>693
> i^2=j^2=(ij)^2=−1のときij=−jiとすると
> ij=−ji=−ij,2ij=0,ij=0,(ij)^2=0≠−1で矛盾するのでij≠−ji。
>
ij=-ji=-(-ij)=ijだよね??

696 名前:132人目の素数さん mailto:sage [2010/01/19(火) 16:31:22 ]
>>694
> 複素平面Cにj(含まれない)C^n,j^2=-1,ij=k,k^2=-1
> となる元jを付け加えたら

そんなのが存在するという理由は?

697 名前:132人目の素数さん mailto:sage [2010/01/19(火) 16:35:01 ]
>>694
> いけないのかな?!
おまえは>>625から一歩も進んでない。

698 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 16:36:58 ]
>>694

> h=x+yi+zj+wkとおいて
> i・h=i(x+yi+zj+wk)=-y+xi-wj+zk
> となるからiが行列表現出来て
> ( 0 -1 0 0) ( R_xy 0 )
> i=( 1 0 0 0 )=(       )
> ( 0 0 0 -1) ( 0 R_zw)
>  (0 0 1 0)

699 名前:132人目の素数さん mailto:sage [2010/01/19(火) 16:37:27 ]
さて、ノニの思わせぶりな未発表論文とやらの正体が
古典的で陳腐な行列表現だったことが判明したわけだが。

700 名前:132人目の素数さん mailto:sage [2010/01/19(火) 16:41:06 ]
>>694
> 複素平面Cにj(含まれない)C^n,j^2=-1,ij=k,k^2=-1
> となる元jを付け加えたら

お前が何気なく ij=k って書いてる k だが、k=i でも k=j でもその条件満たすよな。



701 名前:132人目の素数さん mailto:sage [2010/01/19(火) 16:51:10 ]
>>699
数学専攻の学生なら専攻にかかわらず3人に1人くらいの割合ですぐ思いつくレベルだな。
実際歴史的には100年以上遡るし。

こんな既知かつ有名なことを大発見と思える無知はいったいどこからくるのか。

702 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 16:51:43 ]
>>696
> >>694
> > 複素平面Cにj(含まれない)C^n,j^2=-1,ij=k,k^2=-1
> > となる元jを付け加えたら
>
> そんなのが存在するという理由は?
本当はk^2=-1は要らない条件だと思ってる。
ijをkとなずけたら、
以前言った図の考え方で、ij=-ij=kだしk^2=-1だよね。

存在するだろうと思って計算して
行列表現まで出来たのだから、存在するよね。
と思うのですが、問題があれば指摘してください。

iにjを掛けてkになることから、iとkは直交するし、(jは90度回転だから)
同様にjとkも直交するよね。
実数の直交補空間に3つ以上互いに直交するベクトルは存在から
多分存在するでしょう。
と幼稚な考えを元に考えてるけど、何か良いアドバイスありませんか?

703 名前:132人目の素数さん mailto:sage [2010/01/19(火) 16:54:51 ]
> 以前言った図の考え方で、ij=-ij=kだしk^2=-1だよね。

はい終わった。図の考え方って何、中学生が考えた俺って天才ーなアイデアですか?
あなた、数学でM修めたんですよね?恥ずかしくないんですか?

704 名前:132人目の素数さん mailto:sage [2010/01/19(火) 16:56:11 ]
>>702
> 存在するだろうと思って計算して
> 行列表現まで出来たのだから、存在するよね。

いいえ、どこまでいっても、存在するとすればそれ、で止まったままです。
存在すると結論付けることはできません。

705 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 16:56:34 ]
>>699
行列表現も書いたけど、それが全てではないよ。

706 名前:132人目の素数さん mailto:sage [2010/01/19(火) 16:59:00 ]
>>702

> ijをkとなずけたら、
> 以前言った図の考え方で、ij=-ij=kだしk^2=-1だよね。
>>700あるいは>>689を参照。

> iにjを掛けてkになることから、iとkは直交するし、(jは90度回転だから)
> 同様にjとkも直交するよね。
はい、また>>607に戻った。

707 名前:132人目の素数さん mailto:sage [2010/01/19(火) 17:00:31 ]
>>705
興味ない。スレを荒らすのを今直ぐ辞めて失せろ。

708 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 17:02:16 ]
>>699
その行列表現は永田先生の新修代数学にも載っているよね。
いくら私が馬鹿でも、人のやった事思い付いて自慢するほど馬鹿では
無いよ。

709 名前:132人目の素数さん mailto:sage [2010/01/19(火) 17:02:11 ]
>>702
論理の流れが無茶苦茶。あらゆるところで因果関係が逆転しまくってて論理的にナンセンス。

710 名前:132人目の素数さん mailto:sage [2010/01/19(火) 17:04:51 ]
普通は大枠を先に示して、存在性を担保してから付け加えられるものだけを付け加える。
なんとなく存在すると思ったから付け加えたでは話にならない。

つまりいつまで経っても君は結論を仮定して結論を導くというトートロジーから抜け出せてないんだよ。
この論理性こそが最大の問題、と何度も何度も何度も指摘されてるが。

>iにjを掛けてkになることから、iとkは直交するし、(jは90度回転だから)
>同様にjとkも直交するよね。
>実数の直交補空間に3つ以上互いに直交するベクトルは存在から
>多分存在するでしょう。
>と幼稚な考えを元に考えてるけど、何か良いアドバイスありませんか?
角度や「直交することはどうやって定義してるの?
あとAとBがBとCが直交してたとしてもA,B,Cが独立とは限らない。
馬鹿でもわかることだぞ、というより馬鹿だから気付かないのか。



711 名前:132人目の素数さん mailto:sage [2010/01/19(火) 17:05:59 ]
四元数の行列表示なんぞ、俺は高校生のときに自力で求めたりしてたわ。
ウザイだけなんでそんな無駄なもの出してくるな。

712 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 17:10:42 ]
>>700
> >>694
> > 複素平面Cにj(含まれない)C^n,j^2=-1,ij=k,k^2=-1
> > となる元jを付け加えたら
>
> お前が何気なく ij=k って書いてる k だが、k=i でも k=j でもその条件満たすよな。
満たさない。
ij=x+yiと置くとi(ij)=i(x+yi),-j=xi-y(含まれる)Cとなり矛盾する。
ij=x+yjと置いても同様に矛盾が導き出される。

713 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 17:15:08 ]
>>706
> > iにjを掛けてkになることから、iとkは直交するし、(jは90度回転だから)
> > 同様にjとkも直交するよね。
> はい、また>>607に戻った。
初めに、i^2=-1の90度回転が存在すると言ってるのに・・・。

714 名前:132人目の素数さん mailto:sage [2010/01/19(火) 17:16:40 ]
>>712
付け加えたあとの世界での積 ij と、もとの世界での積がそうやって
両立してることはまったく証明してないよね。
なんで演算が整合するのかということを述べてないのに
勝手にそんなことできるのか、何度も問われているよね。


715 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 17:18:38 ]
明日、ゼミなんで、ゼミの予習するし、レスが遅くなるかも知れない
ですけど、読むのは読んでますんで、よろしくお願いします。

716 名前:132人目の素数さん mailto:sage [2010/01/19(火) 17:21:54 ]
読んでもちっとも理解できてないじゃん。
論理性が皆無だから一歩も前に進んでない。

ゼミでもどうしようもないお荷物としか扱われてないんだろうな。
みんな大人だから面と向かって態度には出さないだろうけど。

717 名前:132人目の素数さん mailto:sage [2010/01/19(火) 17:23:12 ]
>>713
反論になってない。

718 名前:132人目の素数さん mailto:sage [2010/01/19(火) 18:01:25 ]
うんと好意的に拡大解釈するとだな、ノニはHがC上のnormed algebraと言いたいらしい。
だがそれは間違いだよ。

719 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 18:23:18 ]
>>718
「HがC上のnormed algebra」意味が分らない。
解説よろしくお願いします。

720 名前:132人目の素数さん mailto:sage [2010/01/19(火) 18:26:28 ]
自分で調べろ



721 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 18:30:50 ]
整合性とかコンパティブルだとか意味が分らないから、そのところ
もうちょっと、分りやすく説明して下さる方おられませんか?

well-ディファインドについては、上手く説明出来ないです。
て言うか何となくしか、そのwell-ディファインドの意味も
分って無いので、説明されれば納得するぐらいのレベル
なので・・・。

722 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 18:36:43 ]
>>720
ウィキペディアにも載ってない。スペルミスとか言う事は無いのかな?

723 名前:132人目の素数さん mailto:sage [2010/01/19(火) 18:36:42 ]
>>712
勝手に結合律の成立を仮定して矛盾だとか言ってる時点で
おまえは>>607から未来永劫抜け出せない。

724 名前:132人目の素数さん mailto:sage [2010/01/19(火) 18:41:33 ]
>>712
i(ij) と書いたときの積がi,ijともにCに入っていたとしてもCにおける積に
一致するかどうか保障されていない。
両者の演算が両立することをどうやって説明するつもりだ?

>>721
自分で考えろ

>>722
スペルミスはない

725 名前:132人目の素数さん mailto:sage [2010/01/19(火) 18:44:07 ]
well-defindわからないんじゃ数学をやる資格無し。
定義の整合性がとれない先の議論に意味などない。

726 名前:132人目の素数さん mailto:sage [2010/01/19(火) 18:45:14 ]
>>721
おまえは「1x1行列はスカラー自体と同一視する」って言われて
「mxp行列とpxn行列に対してしか積が定義できないはずなのに1x1行列だけ
どんな行列にも掛けられるのは矛盾してる」とか鬼の首とったかのように
騒いでる阿呆だ、という話のことだよ。

727 名前:132人目の素数さん mailto:sage [2010/01/19(火) 18:48:53 ]
どんどん理解の基礎レベルが後退していくな。
大学初年度レベルすらないことを露呈した。

728 名前:132人目の素数さん mailto:sage [2010/01/19(火) 18:51:33 ]
ノルムすらわからないとは…
どうしようもないな。

729 名前:132人目の素数さん mailto:sage [2010/01/19(火) 18:52:08 ]
>>722
嘘つき

730 名前:132人目の素数さん mailto:sage [2010/01/19(火) 18:53:55 ]
>>722
普通に見つかったが?



731 名前:132人目の素数さん mailto:sage [2010/01/19(火) 19:19:10 ]
おいおいババアまた出没してんのか
この前、数学板で男(将来の寄生先)の連絡先何個かゲットして消えたんじゃなかったのかよ
フラれたから新しい寄生候補を探しにきたんか

732 名前:ノニ ◆.5wljPk1.c mailto:sage [2010/01/19(火) 20:59:47 ]
>>731
> おいおいババアまた出没してんのか
> この前、数学板で男(将来の寄生先)の連絡先何個かゲットして消えたんじゃなかったのかよ
2chで婚活してるわけではないって言ってるじゃん。
婚活するならそれようのサイトだってあるし、なにも、悪い印象持たれてる
2chでする事ないじゃん。
このスレは私が立てたスレじゃないけど、興味があるから来てるし、「数学好きの
女性についてどう思われますか?」は、不審者メールが未だに数学教室で出回って
いると聞くから、あんまりだと思って、いざという時に、DとBの本名晒してやろう
と思って立てたけど、事務のお姉さんに久しぶりに電話掛けたら、親切に
私で無い教官に付きまとう不審者が居るらしい事を教えてくれたから、
今度、メールを回す時には「物理教室の時の人物とは別人物ですが・・・」
と言う注釈つけてもらう様に頼むつもりなんだけど・・・。
それで、了承とれたら、あのスレはもう、気に入らなかったら削除しても良いよ。

> フラれたから新しい寄生候補を探しにきたんか
振られるとか、そういうのは無いけど、個人情報を全然語らないで、セックスの
話しばかりしようとしたりする人が居たら、そういう話するの嫌だからもうお互いに
連絡しない事にしようって事になったり。
ある程度の個人情報は言ってくれて、紳士的は人でも、逢うまでに写真とか
送る事を嫌がって、いきなり逢おうとする人が居て、やり取りが上手く行かなく
なってメールが途絶えたり。そんな感じでしょうか?
忙しかったとか言って、久しぶりにメールくれたりもするので、ひょっとしたら
また、ひょっこりメールくれる事もあるかも知れないですけどね。
今も毎日メールくれる人もいますよ。
私は社交的な性格なんでね。別に特別、男性探して居る訳でもなくても
みんなとわいわい騒いだりするのは好きな方だから。






[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

前100 次100 最新50 [ このスレをブックマーク! 携帯に送る ] 2chのread.cgiへ
[+板 最近立ったスレ&熱いスレ一覧 : +板 最近立ったスレ/記者別一覧]( ´∀`)<179KB

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