実線型空間
係数体が実数である線型空間
real vector space
#2025-06-11 09:46:51