Линейно пространство
From Wikipedia, the free encyclopedia
From Wikipedia, the free encyclopedia
Линейно пространство (или векторно пространство) в математиката е съвкупност от обекти (наричани вектори), които могат да бъдат умножавани с число или събирани. По-точно линейно пространство е множество, за което са дефинирани две операции, наричани (векторно) събиране и умножение с число, и които изпълняват няколко естествени аксиоми, описани по-долу. Линейните пространства са основният обект, с който се занимава линейната алгебра и имат широко приложение в математиката, природните и инженерните науки.
Най-познатите линейни пространства са двумерните и тримерните евклидови пространства. Векторите в тези пространства са наредени двойки или тройки от реални числа и често се представят с помощта на насочени отсечки. Тези вектори могат да бъдат събирани, използвайки правилото на успоредника, или умножавани с реални числа. Поведението им под действието на горните операции дава добър интуитивен модел за поведението на вектори в по-общи линейни пространства, които не е нужно да имат геометрична интерпретация. Например множеството на полиномите с реални коефициенти образува линейно пространство.
Нека F е поле, чиито елементи ще наричаме числа или скалари (например реалните или комплексните числа). Нека също V е непразно множество, чиито елементи ще наричаме вектори. Нека във V са въведени операциите:
Казваме, че V е линейно пространство над полето F, ако за така дефинираните операции са изпълнени следните аксиоми:
ако u, v, w ∈ V, то u + (v + w) = (u + v) + w.
ако v, w ∈ V, то v + w = w + v.
v + 0 = v за всеки вектор v.
Този елемент се нарича нулев вектор и може да се докаже, че е единствен.За всяко v + w = 0.
w се нарича противоположен на v, отбелязва се с -v и също може да се докаже, че е единствен.λ (v + w) = λ v + λ w.
(λ + μ) v = λ v + μ v.
λ (μ v) = (λμ) v.
1 v = v, където с 1 означаваме единичния елемент на F.
Формално тези аксиоми съвпадат с аксиомите за модул, така че линейно пространство може да се дефинира като модул над поле. Следователно векторните пространства са пример за модули.
Следните свойства следват лесно от аксиомите за линейно пространство:
Ако за 01∈ V е изпълнено 01 + v = v за всеки вектор v ∈ V, то 01 = 0.
За всяко λ ∈ F имаме λ 0 = 0.
За всеки v ∈ V е вярно 0 v = 0.
λ v = 0 тогава и само тогава, когато λ = 0 или v = 0.
Ако w1 и w2 са противоположни на v, тоест v + w1 = 0 и v + w2 = 0, то w1 = w2. Противоположният вектор се означава с −v. С негова помощ се дефинира разлика на два вектора: w − v ≡ w + (−v).
За всеки v ∈ V е изпълнено (−1) v = −v.
За всяко число λ ∈ F и всеки вектор v ∈ V е изпълнено (−λ) v = λ (−v) = − (λ v).
Най-простият пример за линейно пространство над произволно поле е пространството, съдържащо само нулевия елемент – {0}. Също така полето F е линейно пространство над себе си – лесно се проверява, че аксиомите са изпълнени за стандартните действия събиране и умножение (например множеството на реалните числа е линейно пространство над себе си).
Един от най-важните примери за линейно пространство е координатното пространство, дефинирано по следния начин: Нека F е поле, а n е естествено число. Множеството от наредените n-торки числа от F образува линейно пространство и се отбелязва с Fn, ако дефинираме операциите събиране и умножение с число по следния начин: Нека
са елементи на Fn, където xi и yi са числа от F. Нека още λ∈ F. Дефинираме
Тези операции изпълняват горните аксиоми, като нулевият елемент е
а противоположният на x е
Най-голямо приложение намират реалното координтатно пространство Rn (особено R2 и R3) и комплексното координтатно пространство Cn.
Друг пример е множеството на всички полиноми на една променлива с реални коефициенти. Там събирането и умножението по число са дефинирани по стандартния начин, а нулевият елемент е полиномът P(x)≡0. Множеството на всички функции, дефинирани над фиксирано множество и приемащи стойности в множеството на реалните числа, е линейно пространство над полето на реалните числа.
При дадено линейно пространство V непразно подмножество W на V се нарича линейно подпространство, ако е затворено относно операциите събиране и умножение с число (тоест сумата на два вектора от W и произведението на вектор от W с число са елементи на W). Подпространствата на V са самите линейни пространства (над същото поле). Сечението на всички подпространства, съдържащи дадено множество вектори, се нарича линейна обвивка на това множество. Ако при премахването на който и да е вектор от множество от вектори неговата линейна обвивка се променя, казваме, че векторите в това множество са линейно независими. Линейно независимо множество от вектори, чиято обвивка е цялото линейно пространство, се нарича базис. Например в R3 множеството
е линейно подпространство на R3. Множеството е линейно независимо, докато не е, защото линейната обвивка и на двете множества е множеството A. Един възможен базис на R3 е множеството .
Всички базиси на едно линейно пространство са равномощни. Ако линейното пространство има краен базис, то се нарича крайномерно, а броят на елементите в базиса се нарича размерност на пространството. Така например R3 е крайномерно пространство с размерност 3. По-общо всички координатни пространства Fn са крайномерни с размерност n. Когато базисът има безкраен брой елементи, пространството се нарича безкрайномерно. Такива например са пространствата на полиноми и функции, дефинирани по-горе. Пример за базис на пространството от полиниоми на една променлива е множеството , което е безкрайно.
Базисът дава възможност всеки вектор да се изрази чрез наредена n-орка числа, наричана координати на вектора, спрямо фиксирания базис. Например спрямо базиса , векторът има за координати числата 1, 1 и 3, защото
Линейно изображение е изображение, между две (може и съвпадащи) линейни пространства над едно и също поле, което запазва тяхната структура. По-точно нека V и W са линейни пространства над полето F, а e функция. Казваме, че l е линейно изображение, ако за произволни вектори u, v ∈ V и произволно число λ ∈ F е изпълнено:
Множеството на всички линейни изображения от V в W също е линейно пространство над F. Когато са фиксирани базиси над V и W, линейните изображения могат да се изразят с помощта на матрици.
Линейно изображение, което е едновременно и биекция, се нарича линеен изоморфизъм. Ако съществува изоморфизъм между две линейни пространства, те се наричат изоморфни; от гледна точка на линейната алгебра двете пространства са еквивалентни.
Често се изучават линейни пространства, които притежават допълнителни структури. Целта им обикновено е обобщаването на стандартни понятия от геометрията.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.