Kombinacja liniowa – jedno z podstawowych pojęćalgebry liniowej i powiązanych z nią działówmatematyki.
Niech będzieprzestrzenią liniową nadciałem Niech będzie skończonym układem wektorów przestrzeni i niech będzie skończonym układem skalarów ciała
Kombinacją liniową układu wektorów o współczynnikach nazywa się wektor:
O wektorze mówi się również, żewyraża się liniowo przez układ[1].
Określenieskończony układ wektorów można rozumieć jako skończony zbiór wektorów, jednak ze względu na iteracyjny charakter pojęcia, wygodnie jest również traktować go jakoukład indeksowany wektorów czyli po prostu jakociąg.
Pojęcie liniowej kombinacji można uogólnić na dowolne, niekoniecznie skończone zbiory (układy) wektorów.
Niech będzie dowolnym układem wektorów przestrzeni i niech będzie układem skalarów ciała przy czym dla skończonej ilości wskaźników
Kombinacją liniową układu wektorów o współczynnikach nazywa się wektor:
Niech będzie ciałemliczb rzeczywistych, a przestrzeń liniowa będzieprzestrzenią euklidesową Rozpatrzmy wektory
Wówczasdowolny wektor z jest kombinacją liniową wektorów
Aby się o tym przekonać, należy wziąć dowolny wektor z wtedy:
Niech będzie przestrzeniąrzeczywistychfunkcji ciągłych o wartościachzespolonych
Rozważmy wektory (funkcje) określone wzorami
gdzie jestpodstawą logarytmu naturalnego, a tojednostka urojona.
Niektóre z kombinacji liniowych oraz mają postać:
Z drugiej stronyfunkcja stała równa nie jest kombinacją liniową i
Rzeczywiście, gdyby była, to dla pewnych skalarów zespolonych byłoby:
dla wszystkich liczb rzeczywistych Ale podstawienia i dają równania oraz co prowadzi do sprzeczności.
Niech będzie dowolnym ciałem, a będzie zbiorem wszystkich wielomianów o współczynnikach z tego ciała. Rozważmy wektory (wielomiany):
Przypuśćmy, że wielomian jest kombinacją liniową tzn.:
W celu znalezienia wartości współczynników wymnożyć wielomiany przez te współczynniki i zgrupować wg potęg
Dwa wielomiany są równe wtedy i tylko wtedy, gdy odpowiadające sobie w nich współczynniki są sobie równe, a więc
Jedynym rozwiązaniem tegoukładu równań liniowych jest trójka
Stąd jest to jedyny możliwy sposób uzyskania kombinacji liniowej za pomocą tych współczynników.
Z kolei przypuszczenie, że wielomian jest kombinacją liniową prowadzi do równości:
W tym przypadku przyrównanie odpowiadających sobie współczynników daje fałszywą równość
Stąd nie można przedstawić jako kombinacji liniowej wektorów
Jeżeli jestukładem wektorówliniowo niezależnych irozpina całą przestrzeń to nazywa się gobazą tej przestrzeni.
Można zdefiniować inne powiązane z kombinacją liniową pojęcia poprzez narzucenie ograniczeń na współczynniki kombinacji liniowej:kombinację afiniczną,kombinację stożkową,kombinację wypukłą i związane z nimi pojęcia zbiorów zamkniętych ze względu na te operacje.
Rodzaj kombinacji | Ograniczenia na współczynniki | Nazwa zbioru | Model przestrzeni |
---|---|---|---|
Kombinacja liniowa | brak | podprzestrzeń liniowa | |
Kombinacja afiniczna | podprzestrzeń afiniczna | hiperpłaszczyzna afiniczna | |
Kombinacja stożkowa | stożek wypukły | ćwiartka/oktant | |
Kombinacja wypukła | oraz | zbiór wypukły | sympleks |
Ponieważ powyższe są działaniami bardziejograniczającymi, to dawać będą one więcej zbiorów zamkniętych ze względu na nie, stąd podzbiory afiniczne, stożki wypukłe i zbiory wypukłe sąuogólnieniami podprzestrzeni liniowych: podprzestrzeń liniowa jest zarazem podprzestrzenią afiniczną, stożkiem afinicznym i zbiorem wypukłym, ale zbiór wypukły nie musi być podprzestrzenią liniową, afiniczną lub stożkiem wypukłym.
Pojęcia te pojawiają się często, jeżeli możliwe jest wybranie określonej, lecz nie dowolnej, kombinacji liniowej obiektów: przykładoworozkłady prawdopodobieństwa są zamknięte ze względu na kombinacje wypukłe (tworzą zbiór wypukły), ale nie są ze względu na kombinacje stożkowe, czy afiniczne (czy liniowe), amiary dodatnie są zamknięte ze względu na kombinacje stożkowe, ale nie kombinacje afiniczne, czy liniowe – stądmiary ze znakiem definiuje się jako liniowe domknięcie.
Kombinacje liniowe i afiniczne mogą być zdefiniowane nad dowolnym ciałem (czy pierścieniem), ale kombinacje stożkowe i wypukłe wymagają pojęcia „dodatniości” i dlatego mogą być zdefiniowane tylko nadciałem uporządkowanym (lubpierścieniem uporządkowanym), zwykle nad liczbami rzeczywistymi.
Jeżeli dopuści się wyłączniemnożenie przez skalar, lecz nie dodawanie wektorów, otrzymuje się (niekoniecznie wypukły)stożek; często zawęża się definicję poprzez ograniczenie domnożenia przez skalary dodatnie.
Wszystkie te pojęcia są zwykle definiowane jako podzbiory danej przestrzeni liniowej (z wyjątkiemprzestrzeni afinicznych, które uważa się za „przestrzenie liniowe bez początku”), a nie poprzez ich niezależną aksjomatyzację.