1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
| | /逆基底
%indent
;,軸と軸が直交しない座標系では、双対基底(dual basis)なるものが登場する。
;,ざっくり言うと、1組の基底では手に負えないから2組の基底で何とか頑張る話。
;,習慣的には次のように、双対基底の片方を右下添字で表記し、他方を右上添字で表記する。
#ceq(e)
$$ \:e_x $$、$$ \:e_y $$、$$ \:e_z $$
#ceq(q)
⇔
#ceq(q)
$$ \:e^x $$、$$ \:e^y $$、$$ \:e^z $$
#ceq(end)
;,問題になるのは、両方の基底は添字の位置で関連づけるられているため、基底の書き方が限られることである。
;,例えば、$$ dx $$、$$ dy $$、$$ dz $$が基底になる外積代数では、$$ dx $$、$$ dy $$、$$ dz $$をそのまま使うと不都合が生じる。
;,これに対し、凌宮数学では以下のように双対基底を表記する。
| | |l=: |lx: |lx: | |lx: |lx: |l=: |lx: |lx: | |lx: |lx: |c
|* |< |*幾何基底 |< |< |< |< |< |*微小基底 |< |< |< |< |< |
|^ |< |*正基底 |< |< |*逆基底 |< |< |*正基底 |< |< |*逆基底 |< |< |
|*通常表記|< |$$ \:e_x $$|$$ \:e_y $$|$$ \:e_z $$|$$ \:e^x $$|$$ \:e^y $$|$$ \:e^z $$|$$ dx $$|$$ dy $$|$$ dz $$| ─ | ─ | ─ |t=:
|^ |< |$$ \:e_1 $$|$$ \:e_2 $$|$$ \:e_3 $$|$$ \:e^1 $$|$$ \:e^2 $$|$$ \:e^3 $$|$$ dx_1 $$|$$ dx_2 $$|$$ dx_3 $$|$$ dx^1 $$|$$ dx^2 $$|$$ dx^3 $$|
|*凌宮表記|*分数表記|$$ \:e_x $$|$$ \:e_y $$|$$ \:e_z $$|$$ \ffd{1}{\:e_x} $$|$$ \ffd{1}{\:e_y} $$|$$ \ffd{1}{\:e_z} $$|$$ dx $$|$$ dy $$|$$ dz $$|$$ \ffd{1}{dx} $$|$$ \ffd{1}{dy} $$|$$ \ffd{1}{dz} $$|t=:
|^ |*指数表記|$$ \iro[gy]{\:e_x^{+1}} $$|$$ \iro[gy]{\:e_y^{+1}} $$|$$ \iro[gy]{\:e_z^{+1}} $$|$$ \:e_x^{-1} $$|$$ \:e_y^{-1} $$|$$ \:e_z^{-1} $$|$$ \iro[gy]{dx^{+1}} $$|$$ \iro[gy]{dy^{+1}} $$|$$ \iro[gy]{dz^{+1}} $$|$$ dx^{-1} $$|$$ dy^{-1} $$|$$ dz^{-1} $$|
|^ |*指数略記|$$ \iro[gy]{\:e_x^+} $$|$$ \iro[gy]{\:e_y^+} $$|$$ \iro[gy]{\:e_z^+} $$|$$ \:e_x^- $$|$$ \:e_y^- $$|$$ \:e_z^- $$|$$ \iro[gy]{dx^+} $$|$$ \iro[gy]{dy^+} $$|$$ \iro[gy]{dz^+} $$|$$ dx^- $$|$$ dy^- $$|$$ dz^- $$|
;,逆数表記を用いたのは、逆基底が逆数と同じ発想であるため。
;,指数表記は、単にスカラの逆数が$$ -1 $$乗に書けるのに合わせているだけ。
;,指数略記は、式ではなく、一塊の記号として扱いたい場合の表記である。
;,この他、$$ e^{+1} $$と$$ e^+ $$は$$ + $$と$$ - $$の対称性を考慮した表記で、正基底と見なす意思の強調に使える。
%bodynote
;,3次元の場合、双対基底の定義を通常表記で書くと、こうなる:
#ceq(e)
$$ \iro[ao]{\:e_x} $ \iro[ao]{\sx} $ \iro[ao]{\:e^x} $ \iro[ao]{=} $ \iro[ao]{1} $$
#ceq(q)
$$ \iro[ak]{\:e_x} $ \iro[ak]{\sx} $ \iro[ak]{\:e^y} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(q)
$$ \iro[ak]{\:e_x} $ \iro[ak]{\sx} $ \iro[ak]{\:e^z} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(e)
$$ \iro[ak]{\:e_y} $ \iro[ak]{\sx} $ \iro[ak]{\:e^x} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(q)
$$ \iro[ao]{\:e_y} $ \iro[ao]{\sx} $ \iro[ao]{\:e^y} $ \iro[ao]{=} $ \iro[ao]{1} $$
#ceq(q)
$$ \iro[ak]{\:e_y} $ \iro[ak]{\sx} $ \iro[ak]{\:e^z} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(e)
$$ \iro[ak]{\:e_z} $ \iro[ak]{\sx} $ \iro[ak]{\:e^x} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(q)
$$ \iro[ak]{\:e_z} $ \iro[ak]{\sx} $ \iro[ak]{\:e^y} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(q)
$$ \iro[ao]{\:e_z} $ \iro[ao]{\sx} $ \iro[ao]{\:e^z} $ \iro[ao]{=} $ \iro[ao]{1} $$
#ceq(end)
;,これを凌宮表記で書くと:
#ceq(e)
$$ \iro[ao]{\:e_x} $ \iro[ao]{\sx} $ \iro[ao]{\ffd{1}{\:e_x}} $ \iro[ao]{=} $ \iro[ao]{1} $$
#ceq(q)
$$ \iro[ak]{\:e_x} $ \iro[ak]{\sx} $ \iro[ak]{\ffd{1}{\:e_y}} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(q)
$$ \iro[ak]{\:e_x} $ \iro[ak]{\sx} $ \iro[ak]{\ffd{1}{\:e_z}} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(e)
$$ \iro[ak]{\:e_y} $ \iro[ak]{\sx} $ \iro[ak]{\ffd{1}{\:e_x}} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(q)
$$ \iro[ao]{\:e_y} $ \iro[ao]{\sx} $ \iro[ao]{\ffd{1}{\:e_y}} $ \iro[ao]{=} $ \iro[ao]{1} $$
#ceq(q)
$$ \iro[ak]{\:e_y} $ \iro[ak]{\sx} $ \iro[ak]{\ffd{1}{\:e_z}} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(e)
$$ \iro[ak]{\:e_z} $ \iro[ak]{\sx} $ \iro[ak]{\ffd{1}{\:e_x}} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(q)
$$ \iro[ak]{\:e_z} $ \iro[ak]{\sx} $ \iro[ak]{\ffd{1}{\:e_y}} $ \iro[ak]{=} $ \iro[ak]{0} $$
#ceq(q)
$$ \iro[ao]{\:e_z} $ \iro[ao]{\sx} $ \iro[ao]{\ffd{1}{\:e_z}} $ \iro[ao]{=} $ \iro[ao]{1} $$
#ceq(end)
;,この内、$$ \iro[ao]{\:e_x} $ \iro[ao]{\sx} $ \iro[ao]{\ffd{1}{\:e_x}} $ \iro[ao]{=} $ \iro[ao]{1} $$など
内積が$$ \iro[ao]{1} $$になる&color(#06F){正規条件};は、小学校で習う逆数と全く同じである。
;,対して、$$ \iro[ak]{\:e_x} $ \iro[ak]{\sx} $ \iro[ak]{\ffd{1}{\:e_y}} $ \iro[ak]{=} $ \iro[ak]{0} $$など
内積が$$ \iro[ak]{0} $$になる&color(#C00){直交条件};も、スカラの逆数を拡張する追加条件と思えば良い。
;,図1は通常のベクトル除算。$$ \:e_x $$自身と内積が$$ 1 $$になるベクトルは無数に存在するため、逆ベクトルは一義に決まらない。
;,図2は基底のベクトル除算。$$ \:e_x $$以外の基底と直交する条件が加わって、逆基底となる解が1つに絞られる。
|*図1:ベクトル除算 |*図2:基底除算 |l:h
|&attachref(./ベクトル除算.png,30%);|&attachref(./基底除算.png,30%);|
;,この「単独で考えず、複数の基底をセットで考える」のが、基底とベクトルとの違いであり、逆基底を定義可能にする鍵である。
;,正規条件と直交条件の両方が、逆数の拡張である凌宮表記の逆基底に込められる意味である。
%bodynote
;,任意の数$$ x $$の逆数$$ x^{-1} $$の逆数は、以下のように一種の分数計算として元の数$$ x $$に戻る。
#ceq()
$$$
\ffd{1}{x^{-1}} = \ffd{1}{\ffd{1}{x}} = x
$$$
#ceq(end)
;,同様に、任意の基底$$ \:e_x $$の逆基底$$ \:e_x^{-1} $$の逆基底も正基底$$ \:e_x $$に戻る。
;,凌宮表記を用いると、逆基底の逆基底を以下のように逆数の逆数と同じように記述できる。
#ceq()
$$$
\ffd{1}{\:e_x^{-1}} = \ffd{1}{\ffd{1}{\:e_x}} = \:e_x
$$$
#ceq(end)
;,このように、「逆数」と「逆数を求める演算」を兼ねる逆数表記と同様、
;,逆数表記を流用した凌宮表記も「逆基底」と「逆基底を求める演算」の記号を両方兼ねている。
;,対して、通常表記は正基底と逆基底の記号を定めているに過ぎず、正基底から逆基底を求める演算の記号に成りえない。
;,このため、通常表記で「逆基底の逆基底」の結果である正基底を書けても、操作そのものを式で表現する手段はない。
%bodynote
;,一般に、逆基底は正基底の式で記述できる。
;,例えば3次元の場合は次のようになる
((計算は、[[[物理のかぎしっぽ / ベクトル解析 / 双対基底]>http://hooktail.sub.jp/vectoranalysis/DualBases/]] が丁寧で分かりやすい。)):
#ceq(e)
$$ \ffd{1}{\:e_x} $ = $ \ffd{\phantom{\:e_x \sx (}\:e_y \vx \:e_z\phantom{)}}{\:e_x \sx (\:e_y \vx \:e_z )} $$
#ceq(end)
;,これについて、凌宮表記の$$ \ffd{1}{\:e_x} $$は、
$$ \ffd{\phantom{\:e_x \sx (}\:e_y \vx \:e_z\phantom{)}}{\:e_x \sx (\:e_y \vx \:e_z )} $$から
$$ \ffd{\phantom{\sx (}\:e_y \vx \:e_z\phantom{)}}{\sx (\:e_y \vx \:e_z )} $$を形式的に省いたものと見なせる。
;,外積代数で定義される外積を用いると、より洗練された形で記述できる:
#ceq(e)
$$ \ffd{1}{\:e_x} $ = $ \ffd{\clap{1}{\phantom{\:e_x}} \wx \:e_y \wx \:e_z}{\:e_x \wx \:e_y \wx \:e_z} $$
#ceq(end)
;,これなら、4次元の$$ O\mathchar`-xyzt $$座標系では次のようになるのが容易に推測できる(実際そうなる):
#ceq(e)
$$ \ffd{1}{\:e_x} $ = $ \ffd{\clap{1}{\phantom{\:e_x}} \wx \:e_y \wx \:e_z \wx \:e_t}{\:e_x \wx \:e_y \wx \:e_z \wx \:e_t} $$
((3次元と同様: 分母で全ての基底が出揃い、ボリュームフォームというスカラー値$$ V $$になる; 分子はベクトル値になる; 分数線は分子の$$ \ffd{1}{V} $$倍という演算を表す。))
#ceq(end)
;,したがって、凌宮表記の$$ \ffd{1}{\:e_x} $$は、
次元に応じた$$ \ffd{\wx \:e_y \wx \:e_z \wx \cdots}{\wx \:e_y \wx \:e_z \wx \cdots} $$のような何かを、形式的に省いた記号と見なせる。
%bodynote
;,双対基底で考える場合、習慣的には以下のように成分と基底の添字を上下逆の付き方で書く
((実際問題、基底の右上添字よりも、この成分の右上添字の方が指数の添字と衝突しやすい))。
#ceq(e)
$$ \:A $$
#ceq(c)
$$ = $ A^x $ \:e_x $ + $ A^y $ \:e_y $ + $ A^z $ \:e_z $$
#ceq(e)
#ceq(c)
$$ = $ A_x $ \:e^x $ + $ A_y $ \:e^y $ + $ A_z $ \:e^z $$
#ceq(end)
;,双対基底で成分分解する場合は、ベクトルと逆基底の内積で成分を割り出せる((駄洒落ではなく、文字通りに割り出している点に注意))
((参考:[[[物理のかぎしっぽ / ベクトル解析 / ベクトルの成分を表す]>http://hooktail.sub.jp/vectoranalysis/VectorRepresentation/]]が丁寧で分かりやすい))。
;,例えば$$ \:A $ = $ A^x $ \:e_x $ + $ A^y $ \:e_y $ + $ A^z $ \:e_z $$を$$ \ffd{1}{\:e_x} $$と内積させると$$ A^x $ = $ \:A $ \sx $ \ffd{1}{\:e_x} $$が得られる:
#ceq(e)
$$ \:A $ \sx $ \ffd{1}{\:e_x} $$
#ceq(c)
$$ = $ \Big(A^x \, \:e_x\Big) $ \sx $ \ffd{1}{\:e_x} $$
$$ + $ \Big(A^y \, \:e_y\Big) $ \sx $ \ffd{1}{\:e_x} $$
$$ + $ \Big(A^z \, \:e_z\Big) $ \sx $ \ffd{1}{\:e_x} $$
#ceq(e)
#ceq(c)
$$ = $ A^x $ \Big(\iro[ao]{\cancelto{1}{\:e_x \sx \ffd{1}{\:e_x}}}\Big) \;\, $$
$$ + $ A^y $ \Big(\iro[ak]{\cancelto{0}{\:e_y \sx \ffd{1}{\:e_x}}}\Big) \;\, $$
$$ + $ A^z $ \Big(\iro[ak]{\cancelto{0}{\:e_z \sx \ffd{1}{\:e_x}}}\Big) \;\, $$
#ceq(a)
$$ \iro[ao]{\cancelto{1}{\;\;}\;\;\;} $$: &color(#06F){正規条件};
&br;$$ \iro[ak]{\cancelto{0}{\;\;}\;\;\;} $$: &color(#C00){直交条件};
#ceq(e)
#ceq(c)
$$ = $ A^x $$
#ceq(end)
;,$$ y $$成分と$$ z $$成分も同様に求まり、
これらを$$ \:A $ = $ A^x $ \:e_x $ + $ A^y $ \:e_y $ + $ A^z $ \:e_z $$に代入すると:
#ceq(e)
$$ \:A $$
$$ = $ \Big(\:A \sx \ffd{1}{\:e_x} \Big) $ \:e_x $$
$$ + $ \Big(\:A \sx \ffd{1}{\:e_y} \Big) $ \:e_y $$
$$ + $ \Big(\:A \sx \ffd{1}{\:e_z} \Big) $ \:e_z $$
#ceq(end)
;,ベクトルと逆基底の内積を分数表記に纏めると、さらに簡潔な式になる:
#ceq(e)
$$ \:A $$
$$ = $ \ffd{\:A}{\:e_x} $ \:e_x $$
$$ + $ \ffd{\:A}{\:e_y} $ \:e_y $$
$$ + $ \ffd{\:A}{\:e_z} $ \:e_z $$
#ceq(end)
;,1次元ではスカラ除算である$$ A $ = $ \ffd{A}{e_x} e_x $$になるため、ベクトルになって成分が増える感覚のままで良い。
;,この感覚を多次元に残すことも逆基底に分数表記を用いた理由の一つである。
%bodynote
;,外積代数では、$$ dx $$、$$ dy $$、$$ dz $$自体を基底として扱う。
;,凌宮表記を用いると、その逆基底は$$ \ffd{1}{dx} $$、$$ \ffd{1}{dy} $$、$$ \ffd{1}{dz} $$になる。
;,記号的には、任意の微分$$ dF $$((外積代数では全微分をベクトルと見なす。))に対し、
;,正基底は$$ \int\!\!\!\!\int \! dF $ dx $ = $ \int \! F $ dx $$のような積分を、逆基底は$$ \ddd{F}{x} $$
((一般的には、1次元では微分を$$ \ddd{F}{x} $$と書くが、2次元以上では偏微分$$ \ppd{F}{x} $$として微分記号を変えている。これに対し、凌宮数学では一貫性のため$$ d $$に統一している。))
のような微分を作る。
;,逆基底の定義式にある&color(#06F){正規条件};と&color(#C00){直交条件};は、
;,$$ \iro[ao]{\ddd{x}{x}} $ \iro[ao]{=} $ \iro[ao]{1} $$や$$ \iro[ak]{\ddd{x}{y}} $ \iro[ak]{=} $ \iro[ak]{0} $$のように、外積代数の基底になる条件そのものに対応する((一般的には、偏微分として$$ \ppd{x}{x} $ = $ 1 $$や$$ \ppd{x}{y} $ = $ 0 $$と書く。))。
;,同様に、記号的にベクトルの成分分解に適応すると''全微分''や''1次微分形式''の式が得られる:
#ceq(e)
$$ dA $ = $ \ddd{A}{x} dx $ + $ \ddd{A}{y} dy $ + $ \ddd{A}{z} dz $$
#ceq(end)
;,ここで、$$ \ddd{A}{x} $$にある$$ dA $$は、ベクトル$$ dA $$の成分分解として左辺の$$ dA $$との完全一致が要請されることに注意。
;,さらに、$$ \ddd{A}{x} $$にある$$ dx $$は、微分基底$$ dx $$そのものを表すため、やはり完全一致が要請される。
;,このため、凌宮数学では偏微分でも全微分と同じ$$ d $$で記述する。
%bodynote
;,凌宮数学の逆基底表記は、大学で習う双対基底を、小学校の逆数に関連付ける。
;,逆数と同じ記号を用いるため、(1)''逆基底自身''と(2)''逆基底を求める演算''の2通りの読み方を持つ。
;,形式的ではあるが、(1)と(2)に関してそれぞれ以下のように解釈できる:
- (1') 正基底による逆基底の式から$$ \ffd{\wx \:e_y \wx \:e_z \wx \cdots}{\wx \:e_y \wx \:e_z \wx \cdots} $$を省いた値
- (2') 双対基底の定義にある正規条件に基づき、$$ \:e_x $ \sx $ \:? $ = $ 1 $$ となる $$ \:? $$ を求める演算
;,この表現力により、割り算、ベクトルの成分分解、全微分など、関係のある概念を統一的に記述する力を持つ。
%bodynote
|