凌宮表記術:基底 |
| ⇔ |
|
問題になるのは、両方の基底は添字の位置で関連づけるられているため、基底の書き方が限られることである。
例えば、、
、
が基底になる外積代数では、
、
、
をそのまま使うと不都合が生じる。
これに対し、凌宮数学では以下のように双対基底を表記する。
幾何基底 | 微小基底 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
正基底 | 逆基底 | 正基底 | 逆基底 | ||||||||||
通常表記 | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ─ | ─ | ─ | |
![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ||
凌宮表記 | 分数表記 | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |
指数表記 | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | |
指数略記 | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |
逆数表記を用いたのは、逆基底が逆数と同じ発想であるため。
指数表記は、単にスカラの逆数が乗に書けるのに合わせているだけ。
指数略記は、式ではなく、一塊の記号として扱いたい場合の表記である。
この他、と
は
と
の対称性を考慮した表記で、正基底と見なす意思の強調に使える。
3次元の場合、双対基底の定義を通常表記で書くと、こうなる:
これを凌宮表記で書くと:
この内、など内積が
になる正規条件は、小学校で習う逆数と全く同じである。
対して、など内積が
になる直交条件も、スカラの逆数を拡張する追加条件と思えば良い。
図1は通常のベクトル除算。自身と内積が
になるベクトルは無数に存在するため、逆ベクトルは一義に決まらない。
図2は基底のベクトル除算。以外の基底と直交する条件が加わって、逆基底となる解が1つに絞られる。
この「単独で考えず、複数の基底をセットで考える」のが、基底とベクトルとの違いであり、逆基底を定義可能にする鍵である。
正規条件と直交条件の両方が、逆数の拡張である凌宮表記の逆基底に込められる意味である。
任意の数の逆数
の逆数は、以下のように一種の分数計算として元の数
に戻る。
![]() |
同様に、任意の基底の逆基底
の逆基底も正基底
に戻る。
凌宮表記を用いると、逆基底の逆基底を以下のように逆数の逆数と同じように記述できる。
![]() |
このように、「逆数」と「逆数を求める演算」を兼ねる逆数表記と同様、
逆数表記を流用した凌宮表記も「逆基底」と「逆基底を求める演算」の記号を両方兼ねている。
対して、通常表記は正基底と逆基底の記号を定めているに過ぎず、正基底から逆基底を求める演算の記号に成りえない。
このため、通常表記で「逆基底の逆基底」の結果である正基底を書けても、操作そのものを式で表現する手段はない。
一般に、逆基底は正基底の式で記述できる。
例えば3次元の場合は次のようになる*1:
これについて、凌宮表記のは、
から
を形式的に省いたものと見なせる。
外積代数で定義される外積を用いると、より洗練された形で記述できる:
これなら、4次元の座標系では次のようになるのが容易に推測できる(実際そうなる):
したがって、凌宮表記のは、次元に応じた
のような何かを、形式的に省いた記号と見なせる。
双対基底で考える場合、習慣的には以下のように成分と基底の添字を上下逆の付き方で書く*3。
双対基底で成分分解する場合は、ベクトルと逆基底の内積で成分を割り出せる*4*5。
例えばを
と内積させると
が得られる:
| ||
成分と
成分も同様に求まり、これらを
に代入すると:
ベクトルと逆基底の内積を分数表記に纏めると、さらに簡潔な式になる:
1次元ではスカラ除算であるになるため、ベクトルになって成分が増える感覚のままで良い。
この感覚を多次元に残すことも逆基底に分数表記を用いた理由の一つである。
外積代数では、、
、
自体を基底として扱う。
凌宮表記を用いると、その逆基底は、
、
になる。
記号的には、任意の微分*6に対し、
正基底はのような積分を、逆基底は
*7のような微分を作る。
逆基底の定義式にある正規条件と直交条件は、
や
のように、外積代数の基底になる条件そのものに対応する*8。
同様に、記号的にベクトルの成分分解に適応すると全微分や1次微分形式の式が得られる:
ここで、にある
は、ベクトル
の成分分解として左辺の
との完全一致が要請されることに注意。
さらに、にある
は、微分基底
そのものを表すため、やはり完全一致が要請される。
このため、凌宮数学では偏微分でも全微分と同じで記述する。
凌宮数学の逆基底表記は、大学で習う双対基底を、小学校の逆数に関連付ける。
逆数と同じ記号を用いるため、(1)逆基底自身と(2)逆基底を求める演算の2通りの読み方を持つ。
形式的ではあるが、(1)と(2)に関してそれぞれ以下のように解釈できる:
この表現力により、割り算、ベクトルの成分分解、全微分など、関係のある概念を統一的に記述する力を持つ。