記号の乱用の分析

  • 省略 : 書くべき情報を書かない。文脈から省略された情報は補う。
  • 別名 短縮別名 別表記 : 別な書き方を準備するだけ。
  • 乱用 乱用オーバーロード : 辻褄は合わない。オーバーロード解決が必要。

基底に伴う相反写像 の例: ΞとΩが双対ペアで、ΞΩ = (Ξ, Ω, (-|-)ΞΩ) だとする。RecipΞΩ:Basis(Ξ)→Iso(Ξ, Ω) が相反写像

  • * := Recip 短縮別名
  • I := *ΞΩ(I) 省略
  • * := *I 省略
  • * := *-1 乱用オーバーロード
  • ω- := *(-) 別表記

偏微分記号の例: 0次のリー微分 L:Ξ→𝒪0(Ω) の0次部分の別名が∂。Ξ⊆𝒪0(Ω) と考えれば、L0は単なる包含写像。そのときは、L0X = X 。