real linear space

[ریاضیات] فضای خطی حقیقی