Скінченновимірний простір
векторний простір, у якому є скінченний базис / З Вікіпедії, безкоштовно encyclopedia
Скінченнови́мірний про́стір — це векторний простір, у якому є скінченний базис — породжувальна (повна) лінійно незалежна система векторів. Іншими словами, в такому просторі існує скінченна лінійно незалежна система векторів, лінійною комбінацією яких можна подати будь-який вектор даного простору.
Базис — це (одночасно) і мінімальна породжувальна (повна) система, і максимальна лінійно незалежна система векторів. Всі базиси містять однакову кількість елементів, яку називають розмірністю векторного простору.
Скінченновимірний простір, у якому введено скалярний добуток його елементів, називають евклідовим. Скінченновимірний простір, у якому введено норму його елементів, називають скінченновимірним нормованим. Наявність скалярного добутку або норми породжує в скінченновимірному просторі метрику.