real vector space

[ریاضیات] فضای برداری حقیقی