10/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平面での９０度回転とｚｗ平面での９０度回転の直和
となる。
それだけの式から、全部がでてくるから良いのでは？
いけないのかな？！
695:ノニ ◆.5wljPk1.c
10/01/19 16:27:46
>>693
> ｉ＾２＝ｊ＾２＝（ｉｊ）＾２＝－１のときｉｊ＝－ｊｉとすると
> ｉｊ＝－ｊｉ＝－ｉｊ，２ｉｊ＝０，ｉｊ＝０，（ｉｊ）＾２＝０≠－１で矛盾するのでｉｊ≠－ｊｉ。
>
ij=-ji=-(-ij)=ijだよね？？
696:１３２人目の素数さん
10/01/19 16:31:22
>>694
> 複素平面Cにj（含まれない）C^n,j^2=-1,ij=k,k^2=-1
> となる元jを付け加えたら
そんなのが存在するという理由は？
697:１３２人目の素数さん
10/01/19 16:35:01
>>694
> いけないのかな？！
おまえは>>625から一歩も進んでない。
698:ノニ ◆.5wljPk1.c
10/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:１３２人目の素数さん
10/01/19 16:37:27
さて、ノニの思わせぶりな未発表論文とやらの正体が
古典的で陳腐な行列表現だったことが判明したわけだが。
700:１３２人目の素数さん
10/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:１３２人目の素数さん
10/01/19 16:51:10
>>699
数学専攻の学生なら専攻にかかわらず３人に１人くらいの割合ですぐ思いつくレベルだな。
実際歴史的には１００年以上遡るし。
こんな既知かつ有名なことを大発見と思える無知はいったいどこからくるのか。
702:ノニ ◆.5wljPk1.c
10/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は直交するし、（ｊは９０度回転だから）
同様にｊとｋも直交するよね。
実数の直交補空間に３つ以上互いに直交するベクトルは存在から
多分存在するでしょう。
と幼稚な考えを元に考えてるけど、何か良いアドバイスありませんか？
703:１３２人目の素数さん
10/01/19 16:54:51
> 以前言った図の考え方で、ij=-ij=kだしk^2=-1だよね。
はい終わった。図の考え方って何、中学生が考えた俺って天才ーなアイデアですか？
あなた、数学でM修めたんですよね？恥ずかしくないんですか？
704:１３２人目の素数さん
10/01/19 16:56:11
>>702
> 存在するだろうと思って計算して
> 行列表現まで出来たのだから、存在するよね。
いいえ、どこまでいっても、存在するとすればそれ、で止まったままです。
存在すると結論付けることはできません。
705:ノニ ◆.5wljPk1.c
10/01/19 16:56:34
>>699
行列表現も書いたけど、それが全てではないよ。
706:１３２人目の素数さん
10/01/19 16:59:00
>>702
> ijをkとなずけたら、
> 以前言った図の考え方で、ij=-ij=kだしk^2=-1だよね。
>>700あるいは>>689を参照。
> iにjを掛けてkになることから、iとkは直交するし、（ｊは９０度回転だから）
> 同様にｊとｋも直交するよね。
はい、また>>607に戻った。
707:１３２人目の素数さん
10/01/19 17:00:31
>>705
興味ない。スレを荒らすのを今直ぐ辞めて失せろ。
708:ノニ ◆.5wljPk1.c
10/01/19 17:02:16
>>699
その行列表現は永田先生の新修代数学にも載っているよね。
いくら私が馬鹿でも、人のやった事思い付いて自慢するほど馬鹿では
無いよ。
709:１３２人目の素数さん
10/01/19 17:02:11
>>702
論理の流れが無茶苦茶。あらゆるところで因果関係が逆転しまくってて論理的にナンセンス。
710:１３２人目の素数さん
10/01/19 17:04:51
普通は大枠を先に示して、存在性を担保してから付け加えられるものだけを付け加える。
なんとなく存在すると思ったから付け加えたでは話にならない。
つまりいつまで経っても君は結論を仮定して結論を導くというトートロジーから抜け出せてないんだよ。
この論理性こそが最大の問題、と何度も何度も何度も指摘されてるが。
>iにjを掛けてkになることから、iとkは直交するし、（ｊは９０度回転だから）
>同様にｊとｋも直交するよね。
>実数の直交補空間に３つ以上互いに直交するベクトルは存在から
>多分存在するでしょう。
>と幼稚な考えを元に考えてるけど、何か良いアドバイスありませんか？
角度や「直交することはどうやって定義してるの？
あとAとBがBとCが直交してたとしてもA,B,Cが独立とは限らない。
馬鹿でもわかることだぞ、というより馬鹿だから気付かないのか。
711:１３２人目の素数さん
10/01/19 17:05:59
四元数の行列表示なんぞ、俺は高校生のときに自力で求めたりしてたわ。
ウザイだけなんでそんな無駄なもの出してくるな。
712:ノニ ◆.5wljPk1.c
10/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
10/01/19 17:15:08
>>706
> > iにjを掛けてkになることから、iとkは直交するし、（ｊは９０度回転だから）
> > 同様にｊとｋも直交するよね。
> はい、また>>607に戻った。
初めに、i^2=-1の９０度回転が存在すると言ってるのに・・・。
714:１３２人目の素数さん
10/01/19 17:16:40
>>712
付け加えたあとの世界での積 ij と、もとの世界での積がそうやって
両立してることはまったく証明してないよね。
なんで演算が整合するのかということを述べてないのに
勝手にそんなことできるのか、何度も問われているよね。
715:ノニ ◆.5wljPk1.c
10/01/19 17:18:38
明日、ゼミなんで、ゼミの予習するし、レスが遅くなるかも知れない
ですけど、読むのは読んでますんで、よろしくお願いします。
716:１３２人目の素数さん
10/01/19 17:21:54
読んでもちっとも理解できてないじゃん。
論理性が皆無だから一歩も前に進んでない。
ゼミでもどうしようもないお荷物としか扱われてないんだろうな。
みんな大人だから面と向かって態度には出さないだろうけど。
717:１３２人目の素数さん
10/01/19 17:23:12
>>713
反論になってない。
718:１３２人目の素数さん
10/01/19 18:01:25
うんと好意的に拡大解釈するとだな、ノニはHがC上のnormed algebraと言いたいらしい。
だがそれは間違いだよ。
719:ノニ ◆.5wljPk1.c
10/01/19 18:23:18
>>718
「HがC上のnormed algebra」意味が分らない。
解説よろしくお願いします。
720:１３２人目の素数さん
10/01/19 18:26:28
自分で調べろ
721:ノニ ◆.5wljPk1.c
10/01/19 18:30:50
整合性とかコンパティブルだとか意味が分らないから、そのところ
もうちょっと、分りやすく説明して下さる方おられませんか？
well-ディファインドについては、上手く説明出来ないです。
て言うか何となくしか、そのwell-ディファインドの意味も
分って無いので、説明されれば納得するぐらいのレベル
なので・・・。
722:ノニ ◆.5wljPk1.c
10/01/19 18:36:43
>>720
ウィキペディアにも載ってない。スペルミスとか言う事は無いのかな？
723:１３２人目の素数さん
10/01/19 18:36:42
>>712
勝手に結合律の成立を仮定して矛盾だとか言ってる時点で
おまえは>>607から未来永劫抜け出せない。
724:１３２人目の素数さん
10/01/19 18:41:33
>>712
i(ij) と書いたときの積がi,ijともにCに入っていたとしてもCにおける積に
一致するかどうか保障されていない。
両者の演算が両立することをどうやって説明するつもりだ？
>>721
自分で考えろ
>>722
スペルミスはない
725:１３２人目の素数さん
10/01/19 18:44:07
well-defindわからないんじゃ数学をやる資格無し。
定義の整合性がとれない先の議論に意味などない。
726:１３２人目の素数さん
10/01/19 18:45:14
>>721
おまえは「1x1行列はスカラー自体と同一視する」って言われて
「mxp行列とpxn行列に対してしか積が定義できないはずなのに1x1行列だけ
どんな行列にも掛けられるのは矛盾してる」とか鬼の首とったかのように
騒いでる阿呆だ、という話のことだよ。
727:１３２人目の素数さん
10/01/19 18:48:53
どんどん理解の基礎レベルが後退していくな。
大学初年度レベルすらないことを露呈した。
728:１３２人目の素数さん
10/01/19 18:51:33
ノルムすらわからないとは…
どうしようもないな。
729:１３２人目の素数さん
10/01/19 18:52:08
>>722
嘘つき
730:１３２人目の素数さん
10/01/19 18:53:55
>>722
普通に見つかったが？
731:１３２人目の素数さん
10/01/19 19:19:10
おいおいババアまた出没してんのか
この前、数学板で男（将来の寄生先）の連絡先何個かゲットして消えたんじゃなかったのかよ
フラれたから新しい寄生候補を探しにきたんか
732:ノニ ◆.5wljPk1.c
10/01/19 20:59:47
>>731
> おいおいババアまた出没してんのか
> この前、数学板で男（将来の寄生先）の連絡先何個かゲットして消えたんじゃなかったのかよ
２ｃｈで婚活してるわけではないって言ってるじゃん。
婚活するならそれようのサイトだってあるし、なにも、悪い印象持たれてる
２ｃｈでする事ないじゃん。
このスレは私が立てたスレじゃないけど、興味があるから来てるし、「数学好きの
女性についてどう思われますか？」は、不審者メールが未だに数学教室で出回って
いると聞くから、あんまりだと思って、いざという時に、DとBの本名晒してやろう
と思って立てたけど、事務のお姉さんに久しぶりに電話掛けたら、親切に
私で無い教官に付きまとう不審者が居るらしい事を教えてくれたから、
今度、メールを回す時には「物理教室の時の人物とは別人物ですが・・・」
と言う注釈つけてもらう様に頼むつもりなんだけど・・・。
それで、了承とれたら、あのスレはもう、気に入らなかったら削除しても良いよ。
> フラれたから新しい寄生候補を探しにきたんか
振られるとか、そういうのは無いけど、個人情報を全然語らないで、セックスの
話しばかりしようとしたりする人が居たら、そういう話するの嫌だからもうお互いに
連絡しない事にしようって事になったり。
ある程度の個人情報は言ってくれて、紳士的は人でも、逢うまでに写真とか
送る事を嫌がって、いきなり逢おうとする人が居て、やり取りが上手く行かなく
なってメールが途絶えたり。そんな感じでしょうか？
忙しかったとか言って、久しぶりにメールくれたりもするので、ひょっとしたら
また、ひょっこりメールくれる事もあるかも知れないですけどね。
今も毎日メールくれる人もいますよ。
私は社交的な性格なんでね。別に特別、男性探して居る訳でもなくても
みんなとわいわい騒いだりするのは好きな方だから。