ベクトル空間
en: vector space
aka. 線形空間
en: linear space
定義
axiom list
（割愛）
前半はアーベル群（可換群）と同じ #群論
つまり結合律があるので、代数に違いない。
後半は係数体について
スカラー乗法（作用）の単位元
分配律 2つ
2つの乗法の互換性
作用（スカラー乗法）は多ソート二項演算だが、引数の左右の型は どちらでも いい。
cf. 左加群、右加群
大抵は F×V→V
wint.icon お気持ち表明かつ批判
https://x.com/wint7/status/1803280700113822005
線形性は比例性と呼ぶべき
affineを線形と呼ぶべき
ノルムないし内積をベクトルと呼ぶべき
つまりベクトル空間は比例空間と呼ぶべき
ref.
Vector space - Wikipedia
/mrsekut-p/ベクトル空間は体でも環でもない
#線形代数