2020-05-20 記号の乱用の分析 幾何っぽい 用語法 STEM 多義語 省略 : 書くべき情報を書かない。文脈から省略された情報は補う。 別名 短縮別名 別表記 : 別な書き方を準備するだけ。 乱用 乱用オーバーロード : 辻褄は合わない。オーバーロード解決が必要。 基底に伴う相反写像 の例: ΞとΩが双対ペアで、ΞΩ = (Ξ, Ω, (-|-)ΞΩ) だとする。RecipΞΩ:Basis(Ξ)→Iso(Ξ, Ω) が相反写像。 * := Recip 短縮別名 *I := *ΞΩ(I) 省略 * := *I 省略 * := *-1 乱用オーバーロード ω- := *(-) 別表記 偏微分記号の例: 0次のリー微分 L:Ξ→𝒪0(Ω) の0次部分の別名が∂。Ξ⊆𝒪0(Ω) と考えれば、L0は単なる包含写像。そのときは、L0X = X 。 ∂ := L0 別名 ∂X := X 別表記 ∂- := Frame(-) 別表記 オーバーロード x・∂I := ∂I(x) 別表記 ∂ := (・∂I) 乱用オーバーロード 省略