``K`` bir cisim ve bir abelyen grup olsun. Ayrıca `den `ye giden bir fonksiyonun varlığını varsayalım. Eğer ve ise, bu fonksiyonun çiftinde aldığı değeri ``av`` olarak yazalım. Bütün bunlar şu özellikleri sağlasın: Her ve için
V1. ,
V2. ,
V3. ,
V4. .
O zaman yapısına ``K`` üzerine bir vektör uzayı adı verilir.
Eğer ``K`` bir cisimse ve ``n`` bir doğal sayıysa, kümesi,
işlemiyle ve
işlemiyle bir vektör uzayıdır.
Burada yerine K`nın herhangi bir kartezyen çarpımını alabiliriz ve vektör uzayı yapısını benzer biçimde (koordinat koordinat) tanımlayabiliriz.
matematik-taslak