metric vector space

[ریاضیات] فضای برداری متریک