古式テンソル〈old-style tensor〉 極性付き複行列 非モダンテンソル〈nonmodern tensor〉 混合テンソル代数の要素 モダンテンソル〈modern tensor〉 テンソルの多圏の射 行列を極性付き複行列に埋め込むには、Mat(A, B) → MMat(B, A#) を使う。全体的に絵図…

a:I→X がindexed basisだとは、aの線形拡張a~が全単射線形写像になること。 Iをindex set、aをindexingと呼ぶ。 IがXの部分集合で、aが包含写像のとき、self indexingまたはdirect indexingと呼ぶ。 IとJのあいだに集合同型 s:I→J があって、<:b(s(j))|a(i)> = δ(i, j) が成</:b(s(j))|a(i)>…