• ベストアンサー

テンソル代数を表現する多元数は有りますか。

　多元数と言っても、２重化の繰り返しで生成するものではなく、和田博著『ベクトルを回す複素数・四元数・... ・多元数』、『ベクトルの回転演算子』で発表された、結合法則が完璧に成り立つ多元数ですが。 　複素数や四元数は、行列を表現でき、逆もまた真らしいですが。

質問者が選んだベストアンサー

  • ベストアンサー
  • OKWavezz
  • ベストアンサー率9% (14/151)
回答No.1

任意の一文字で表現可能です 代数ですから

kimko_379
質問者

お礼

おおきに。

kimko_379
質問者

補足

和田先生から肯定的な御回答を頂きました。 貴兄の御回答は、皮相 ＝ 形式主義的な、形式的可能性 ＝ 抽象的可能性の御議論すなわち形式論理学上の「可能世界」論の１種に過ぎず、それ故にまた、当該・多元数環の表現論の具体的内容を求めた問いへの御回答としては的外れでした。何故ならば、M＝｛テンソル代数の統体｝＝｛世界全体の事象構造どもの統体｝＝｛比喩としての一元体(的なもの）｝＝｛件の多元数環｝なる等式という、形式論理学的な表現形式が可能だとしても、それは、その多元数環の内容論理学的な具体的内容が有り得ることを示せた場合にのみ、内容的（実質的）可能性 ＝ 具体的可能性となり得、また、そうした内容の実在の必然性証明が付けられた場合にのみ、内容的必然性 ＝ 具体的必然性ともなるためです。

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 四元数、八元数の別の形ってありえますか？

    いわゆる超複素数系（特に四元数、八元数）についての質問です。 （通常の）四元数・八元数の定義からすると、３個または７個の 虚数単位を対等・等価に見るため、以下のような性質を満たします。 　・四元数の場合、１,２,３番目の虚数単位をそれぞれi,j,kとおくと、 　　ij=-ji=k,jk=-kj=i,ki=-ik=jが成立する。 ここで質問なのですが、 たとえノルム保存の性質が崩れてしまうなどの犠牲があるとしても、 以下の条件を満たすような、通常の定義とは異なる四元数・八元数の 定義・体系というのは代数学的に成立しうるものでしょうか。 　・例えば、i^2=-1,j^2=-1,k^2=-1などの性質は成立しても、 　　ij=-ji=k,jk=-kj=i,ki=-ik=jなどの性質は持たない四元数体系 質問は以上です。 ちなみに、何故こんな質問をしたかというと、もともとは、 ある演算の目的から、実数部分と１番目の虚数単位部分だけを 特別扱いでき（通常の複素数として扱える）、２番目以降の虚数 単位部分は１番目までとは代数的性質の異なる付属品的なもの として扱えるようなことはできないか、と考えたためです。 演算の途中結果を２番目以降の虚数単位の係数に入れて保存し、 後の段階で必要なときに取り出せるということができれば、 数値演算はもとより、理論展開・考察をする上でも便利だし 面白いな、と思ったのです。 通常の四元数の定義だと、ij=kなどの性質があるため、j,kの係数に 保存したい値を入れた後に実数と１番目の虚数iだけを使って計算 しても、j,kの値が自動的に変わってしまいます。 以上です。ご教示よろしくお願いします。

  • 代数

    次の行列の集合は行列の乗法に関して群となることを示せ。 N:={A∈GL(n,C)| Aの各行各列に0でないCの元が唯一つ} (Cは複素数全体の集合とする) A,B∈Nに対してdet(A,B)=detAdetB≠0なのでA,B∈NつまりNは乗法で閉じている。 行列の積について結合法則は成り立つ。 En(n次の単位行列)についてdetEn=1≠0つまりEn∈Nまたfor ∀A∈N,En・A＝A・En＝A　Enは単位元 A∈Nに対しdetA≠0であるので逆行列A^(-1)が存在しdet(A^(-1))=(detA)^(-1)≠0　よってA^(-1)∈N逆元が存在する。 ∴Nは群である。 これで示したことになるのでしょうか？

  • 線形代数 部分空間の基底を求める

    写真の3番の(ii)が分かりません。 W1とW2の基底から行列を作り、係数行列に行基本変形を行ったところ、ランクは1となりました。 W1に属するベクトルの1次結合= W2に属するベクトルの1次結合、となるようにするとW1∧W2の基底として、(1,i,-1,-i)tが得られました。 W1+W2の基底は、上記の係数行列はW1とW2の基底から成ることより、一次独立なベクトルの数あると思うのですが、そのランクは1のため1つとなってしまい答えと合いません…。 W1∧W2の基底を求める方法も含めて教えて頂けないでしょうか。 ∧は積集合、tは転置のことです。

  • 『数』　～概念の拡張～

    複素数を扱う際に、複素平面という２次元のフィールドがありますよね。人類が実数しか知らなかった時代は、『数』は、数直線上の１次元にしかなかった。虚数と実数の織り成す２次元の『数』の世界、これは人類に多大な恩恵を与えた。ここで思ったんですが、『数』の概念をさらに拡張して、３次元の複素空間(？)とでもいうべき新たなフィールドって現代数学で研究されてないのでしょうか？四元数とかベクトルとは、ちょっと違う概念なんですけど・・・　x軸(実数)、y軸(虚数)、ここまでは複素平面、z軸(新しい『数』の拡張概念)この３つでできる数空間みたいなものです

  • 一次従属　一次独立

    ベクトルの一次従属と一次独立についての質問です。 前回、ご回答頂けなかったので改めて質問させて頂きます。 一次従属と一次独立を求めると何の役に立つのでしょうか？ 抽象的な質問ですいません。ふと思いました。 一次従属と一次独立を以下に示します（補足があったらお願いします）。 ■一次従属 ・0ベクトル。 ・ベクトルAとベクトルBが平行である。 ・二つのベクトルを行列にして、行列式が0であれば一次従属 ・階段行列からrankを求めてrankがベクトルの数と等しく無ければ一次従属 ■一次独立（一次従属ではない） ・0ベクトルでないベクトル。 ・ベクトルAとベクトルBが一次結合で表される（二つのベクトルが平行でない）。 ・二つのベクトルの行列式が0である。 ・rankがベクトルの数と等しい。

  • 共分散行列の固有値・固有ベクトルの行列

    以下のようなデータを用いて、共分散行列を生成するとします。 (各No.にはそれぞれx1~x5の5つのデータ) x1 x2 x3 x4 x5 No.1 [2 4 5 2 1] No.2 [3 10 8 7 9] No.3 [11 3 2 1 6] すると、共分散行列は3×3の正方行列になり、その固有値も3つ求まりますよね。 しかし、固有ベクトルに関してはデータがx1,x2,..,x5と5次元で考えているので、 ひとつの固有値に対して5つの成分を持つ固有ベクトルが求まりますよね。 よって、共分散行列の固有値行列は必ず正方行列になりますが、固有ベクトルの 行列は上の例の場合なら5×3行列（列は対応する固有値の数、行はベクトルの成分の数）となり、 必ずしも正方行列にはなりませんよね？そのあたりを教えて頂きたいと思います。 よろしくお願いします。

  • 数学の悲しさ

    先日来、昔読んだ「数学入門」遠山啓著を読んでいます。 そこで感じました。 確かに数学には感動がある。 しかし、煎じ詰めれば、その感動はまったく人間精神とはかけ離れた、いわば「自然のワイルドな法則の法則」みたいなものをわかって感動しているのに過ぎない。数学という学問はやはり「荒涼とした」ものなのではないか？ 確かに感動します。行列式から連立一次方程式を解くときの、特別な乗法の設定などですね。でもこれでさえ、人間精神を人間精神と戦わせているわけではなく、まったく人間的でない自然の法則と戦わせ協調しているだけです。 数学が、真に「人間的」感動に至ることはあるのでしょうか？

  • エルミート行列以外にも固有値が実数になるか

    http://okwave.jp/qa/q8156118.html に「エルミート行列の固有値は必ず実数になる」ことが証明されていました。 その内容の逆「実数の固有値をもつ行列はすべてエルミートである」は真でしょうか。 すくなくとも「エルミート行列以外にも固有値が実数になる」と言えれば、事例があれば、「エルミート行列の固有値は必ず実数になる」は真ではなく偽となるでしょう。 偽が明確になるとブラケット演算に偏りがちな量子力学に新たな発展の道が生まれると思います。複素数でシュレディンガー波動方程式の解を考えることに意義が生まれます。私はトンネル共鳴現象やエバネッセント波もそうではないかと思うのです。エバネッセント波という光子の現象がありますが、光速度が０で、あるミクロンの領域だけに明るい領域ができたり、物質に吸引や反発力を作用しています。 　

  • 数学の体系

    数学の体系を次のように考えていますが、 どのような体系がいいですか できるだけ整理したいのですが よろしくお願いします　mm(__)mm ______________ 数学より基礎部分 　哲学 　超数学　etc ______________ 数学の部分 　論理学 　集合論 　位相空間論 　代数学(群・・加群、体) 　　加群→線型代数 　実数論 　　連続の公理・定理の関係 　　数ベクトル(ex 複素数、四元数) 　　行列としての数ベクトル 　実数列・級数の理論 　実関数の理論 　位相幾何学 　微分・積分 　微分幾何学 　確率論 　　確率分布 　　確率過程 　関数解析 　　バナハ・ヒルベルト空間→関数空間 　関数方程式・微分方程式 こうやってみると、数学の体系もまだまだ整理する余地があると思います

  • エルミート行列の行ベクトルによる分解

    4行4列のエルミート行列　H=(H)^t* 　[　()^t*は転置と複素共役をとる記号とします] は、複素数の2つの行ベクトル v=(a b c d) u=(e f g h)で 　H=(v)^t* v + (u)^t* u　‥(1) と書けものでしょうか？ (1)の右辺はエルミート行列ですし、Hのパラメータの数16個、 v、uのパラメータ16個（成分が複素数なので）と、パラメータの数は あっているので、書けるように思うのですが、確信がもてません。 参考文献でも構いません。教えていただけますでしょうか。 なお、私はあまり数学ができる方ではありません。 よろしくお願いします。

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する