The field $\mathbf{F}$ and scalars (LADR 1.6)
- The field $\mathbf{F}$ and scalars (LADR 1.6) #Card
- 本書を通じて記号 $\mathbf{F}$ は何を表すか。その要素の呼び名は？
$\mathbf{F}$ は $\mathbf{R}$ または $\mathbf{C}$ のいずれかを表す（本書全体の約束）。 $\mathbf{F}$ の要素をスカラーと呼ぶ（vector と対比して「数」であることを強調する語）。 $\mathbf{R}$ と $\mathbf{C}$ はどちらも体 (field) の例であることが $\mathbf{F}$ という文字の由来。
variable {F : Type*} [Field F]。本書の「$\mathbf{F}=\mathbf{R}$ or $\mathbf{C}$」は Mathlib では
[RCLike F]（実/複素に共通の命題を書くときの型クラス）が対応する。