V matematice se pojmem lineární kombinace označuje jeden z nejzákladnějších konceptů studovaných lineární algebrou. Jedná se v jistém smyslu o zobecnění pojmu násobení a sčítání pro čísla. Pomocí pojmu lineární kombinace se definují další důležité objekty lineární algebry jako je lineární obal, lineární nezávislost a podobně.
Uvažujme vektorový prostor
nad tělesem
. Dále nechť
je nějaký vektor a
je soubor
vektorů z prostoru
. Pak říkáme, že vektor
je lineární kombinací (angl. linear combination) vektorů
, právě když existuje
-tice čísel z tělesa
taková, že lze vektor
vyjádřit ve tvaru sumy
![{\vec {x}}=\alpha _{1}{\vec {x}}_{1}+\ldots +\alpha _{k}{\vec {x}}_{k}=\sum _{{i=1}}^{k}\alpha _{i}{\vec {x}}_{i}.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/5a59471015d3058ce45bfab20022e53f338c78b0)
Někdy se hovoří obecně o lineární kombinaci vektorů
, aniž bychom specifikovali vektor
či určili konkrétní hodnoty koeficientů
. V takovém případě se zajímáme pouze o výrazy tvaru
![\alpha _{1}{\vec {x}}_{1}+\ldots +\alpha _{k}{\vec {x}}_{k}=\sum _{{i=1}}^{k}\alpha _{i}{\vec {x}}_{i}.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/7ad293e63a6eeffa8abb356cb5b3ca308d303844)
Číslům
ze vztahů výše říkáme koeficienty lineární kombinace. Jsou-li všechny koeficienty
nulové, tj.
, je lineární kombinace označována jako triviální. Takováto lineární kombinace je bez ohledu na hodnotu vektorů
vždy rovna nulovému vektoru. Je-li alespoň jeden z koeficientů
, pak říkáme, že lineární kombinace je netriviální.
Ukázka vektorů ve dvourozměrném
Euklidově prostoru ![\scriptstyle {\mathbb {R}}^{2}](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/cbc2f85c9eca1646a7bbd3349cba155044b15ba5)
. Na obrázku je černě vyobrazen součet vektoru
![\scriptstyle {\vec {x}}_{1}](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/186bd0bdf5f14784ac804b5d1c4b4fe330a47326)
(modrý) a vektoru
![\scriptstyle {\vec {x}}_{2}](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/77ed7e5494cb7e0fc6afb723bbcb85c615013ab3)
(červený) a zeleně je vyznačena jejich lineární kombinace
![\scriptstyle -2{\vec {x}}_{1}-{\vec {x}}_{2}](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/e191bee1f4e965ec90205e729337ed86b54d0aa7)
.
Lineární kombinace vektorů je patrně nejsnáze nahlédnutelná v případě Euklidova prostoru, tj. prostoru uspořádaných n-tic reálných (potažmo komplexních) čísel. Pro jednoduchost vezměme dvourozměrný prostor
nad reálným tělesem. Jeho prvky jsou tedy uspořádané dvojice reálných čísel s operacemi definovanými následujícím způsobem
![\alpha \,{\begin{pmatrix}x_{1}\\x_{2}\end{pmatrix}}\quad +\quad {\begin{pmatrix}y_{1}\\y_{2}\end{pmatrix}}\quad =\quad {\begin{pmatrix}\alpha x_{1}+y_{1}\\\alpha x_{2}+y_{2}\end{pmatrix}}.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/b4b564ec2af630035591564327f5ab546bb54489)
Prvky tohoto prostoru si tedy lze představovat jako šipky vedoucí z počátku soustavy souřadnic. Sčítání vektorů ve smyslu vyznačeném výše totiž odpovídá skládání šipek. To lze vidět z následujícího příkladu, viz obrázek. Mějme dva vektory, které si barevně odlišíme, aby byl zřejmý jejich vztah k obrázku
![\color {blue}{{\vec {x}}_{1}={\begin{pmatrix}-1\\0,8\end{pmatrix}}}\color {black}{,}\quad \color {red}{{\vec {x}}_{2}={\begin{pmatrix}2,5\\1\end{pmatrix}}}\color {black}{.}](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/77093aef2bb6449048c9fbaaa1c04565d4558a7b)
Na obrázku je též černou šipkou vyznačena výslednice těchto dvou vektorů, chápeme-li je jako šipky. Souřadnice této nové šipky přitom vyhovují vztahům pro sčítání dvou vektorů uvedeným v obecnosti výše, když položíme
. Sice
![\color {blue}{{\begin{pmatrix}-1\\0,8\end{pmatrix}}}\color {black}{+}\color {red}{{\begin{pmatrix}2,5\\1\end{pmatrix}}}\color {black}{={\begin{pmatrix}1,5\\1,8\end{pmatrix}}}.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/392745c8f9d829ebf8d72023a3d07f64bec53ab7)
Více o vztahu šipek v rovině a dvojic čísel se lze dozvědět v oddíle Fyzikální vektory článku Vektorový prostor. Nyní, když vidíme vztah dvojic reálných čísel coby vektorů a šipek, ukažme si jednoduchou lineární kombinaci. Konkrétně zvolme
a
, viz Definice. Máme tedy vektor
, jehož hodnota je
![-2\color {blue}{{\begin{pmatrix}-1\\0,8\end{pmatrix}}}\color {black}{-}\color {red}{{\begin{pmatrix}2,5\\1\end{pmatrix}}}\color {black}{=}\color {green}{{\begin{pmatrix}-0,5\\-2,6\end{pmatrix}}}\color {black}{.}](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/14bf0d11c3f64d3347bfdd806be88a6d0fae8f7b)
Na obrázku je tento vektor vynesen zelenou barvou a jsou zde pro názornost šedě vyneseny i vektory
a
, jejichž sečtením zelený vektor vzniká.
Můžeme si též představit jednoduchou fyzikální situaci, kdy na těleso působí v jednom bodě několik sil různých velikostí a směrů. Jejich součet, výslednice sil, udává výsledný efekt působení všech sil dohromady. Výslednice uvedených sil je tedy jejich jednoduchá lineární kombinace, kdy jsou všechny koeficienty rovny jedničce. Když bychom uvažovali dvě síly, jejichž vektory by byly
a
z předchozího příkladu, tak výslednice sil bude odpovídat černé šipce na obrázku.
V předchozí sekci jsme si ukázali, jak lze n-tice čísel graficky zobrazovat, explicitně jsme si to ukázali pro n=2. Nyní se podívejme na uspořádané trojice čísel. Mějme zadaný vektor
a množinu dvou vektorů
, jejichž explicitní tvar je
![{\vec {x}}={\begin{pmatrix}1\\-1\\2\end{pmatrix}},\quad {\vec {x}}_{1}={\begin{pmatrix}2\\0\\1\end{pmatrix}},\quad {\vec {x}}_{2}={\begin{pmatrix}3\\1\\1\end{pmatrix}}.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/3b8ac43997b297c83f1f9e9ec7b3aad6cc534757)
Ptáme se, zda lze vektor
vyjádřit jako lineární kombinaci vektorů
a
. Lineární kombinace těchto vektorů s obecnými koeficienty
a
vypadá následovně
![\alpha _{1}{\vec {x}}_{1}+\alpha _{2}{\vec {x}}_{2}=\alpha _{1}{\begin{pmatrix}2\\0\\1\end{pmatrix}}+\alpha _{2}{\begin{pmatrix}3\\1\\1\end{pmatrix}}={\begin{pmatrix}2\alpha _{1}+3\alpha _{2}\\\alpha _{2}\\\alpha _{1}+\alpha _{2}\end{pmatrix}},](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/017bd323ba2cdb675a9de52c8cee8e92af56675a)
kde jsme využili toho, jak je definován součet dvou vektorů a jejich číselný násobek. Aby byla daná lineární kombinace rovná pro nějaké hodnoty koeficientů vektoru
, tak musí platit
![{\begin{pmatrix}2\alpha _{1}+3\alpha _{2}\\\alpha _{2}\\\alpha _{1}+\alpha _{2}\end{pmatrix}}={\begin{pmatrix}1\\-1\\2\end{pmatrix}},](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/fcb679a7cb7ea306bbc36e887b32be23c89941fc)
odkud je ihned patrné, že
. Když tento vztah dosadíme do prvního řádku výše uvedené rovnosti, tak máme
, když ho dosadíme do třetího řádku, tak
, což není v souladu s rovností v prvním řádku. Zjistili jsme tak, že vektor
nelze vyjádřit jako lineární kombinaci vektorů
a
. Pokud ale vektor
nahradíme vektorem
![{\vec {x}}_{3}={\begin{pmatrix}5\\1\\1\end{pmatrix}},](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/7d8f3ec1dfe78516f5aee268dc0edf912cbed3fd)
dostaneme rovnost
![{\begin{pmatrix}2\alpha _{1}+5\alpha _{2}\\\alpha _{2}\\\alpha _{1}+\alpha _{2}\end{pmatrix}}={\begin{pmatrix}1\\-1\\2\end{pmatrix}},](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/52c2a7222a671a74f0e2fde9909c86f0c7a713af)
jejímž řešením je
a
. Dokázali jsme tak rovnost
![{\vec {x}}=3{\vec {x}}_{1}-{\vec {x}}_{3}.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/c885659276fc708b76a700387019dc3b959a0c13)
V oddíle Geometrická interpretace a v předchozím příkladě jsme viděli vytváření lineárních kombinací aritmetických vektorů. Množiny tohoto druhu vektorů, n-tic čísel, jsou patrně nejčastějšími příklady vektorových prostorů. Vektorové prostory jsou ale mnohem rozmanitější, můžeme například uvažovat vektorový prostor všech spojitých funkcí reálné proměnné.
Mějme například funkci
![f(x)=(3x+2)^{2}.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/1ae5a590da18e59e56474dca079c7da28c9c82b1)
Předpis této funkce lze zřejmě rozepsat jako
. Tuto funkci tak můžeme chápat jako lineární kombinaci funkcí
s koeficienty
. Tutéž funkci ale můžeme současně chápat i jako lineární kombinaci funkcí
s koeficienty
, nebo dokonce jako lineární kombinaci funkcí
![G_{1}(x,y)=(x+y)^{2}+{\frac {4}{9}}\sin ^{2}(x),\quad G_{2}(x,y)=\cos ^{2}(x),\quad G_{3}(x,y)=6x(2-3y)-9y^{2}](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/aa62a7f6230a009bdf135141e96b85b34ca6b7d1)
pokud funkce reálné proměnné chápeme jako funkce dvou reálných proměnných, v nichž se druhá proměnná nevyskytuje. Pro posledně jmenované funkce pak dostáváme koeficienty lineární kombinace
, neboť po zpětném dosazení dostáváme rovnost
![\alpha _{1}G_{1}(x,y)+\alpha _{2}G_{2}(x,y)+\alpha _{3}G_{3}(x,y)=9\left((x+y)^{2}+{\frac {4}{9}}\sin ^{2}(x)\right)+4{\Big (}\cos ^{2}(x){\Big )}+1{\Big (}6x(2-3y)-9y^{2}{\Big )}=9x^{2}+18xy+9y^{2}+4\sin ^{2}(x)+4\cos ^{2}(x)+12x-18xy-9y^{2}=9x^{2}+4+12x=(3x+2)^{2}=f(x),](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/4967b8d387b94d69e2b9cec1428c78acca714e64)
kde jsme využili známého vzorce
. Vidíme tedy, že rozklad vektoru do lineární kombinace není jednoznačný, pokud nespecifikujeme, jaké vektory se mají v lineární kombinaci vyskytovat.
Speciálními případy spojitých funkcí jsou polynomy. Polynomem je například i funkce
z předchozího příkladu. Viděli jsme, že lze tuto funkci vyjádřit jako lineární kombinaci mnoha jiných funkcí. Ptejme se nyní, zda lze tuto funkci napsat jako lineární kombinaci následujících tří polynomů a pokud ano, pokusme se nalézt dané koeficienty:
![p_{1}(x)=x^{2}-1,\quad p_{2}(x)=x^{2}+x+1,\quad p_{3}(x)=x^{2}-{\frac {7}{2}}x.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/d5fefbdb28b4c424772dfcbbaffe8226ea3e720f)
Začněme svůj postup tím, že si napíšeme obecný tvar lineární kombinace, do které dosadíme naše polynomy
:
![\alpha _{1}p_{1}(x)+\alpha _{2}p_{2}(x)+\alpha _{3}p_{3}(x)=\alpha _{1}(x^{2}-1)+\alpha _{2}(x^{2}+x+1)+\alpha _{3}(x^{2}-{\frac {7}{2}}x)=(\alpha _{1}+\alpha _{2}+\alpha _{3})x^{2}+(\alpha _{2}-{\frac {7}{2}}\alpha _{3})x+(-\alpha _{1}+\alpha _{2}).](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/f576b35e5e4f198e984df6477cc006fa2401d914)
Právě jsme si koeficienty shlukli ke stejným mocninám proměnné
. Chtěli bychom vědět, zda výraz výše může být pro nějaké hodnoty koeficientů roven výrazu
![f(x)=(3x+2)^{2}=9x^{2}+12x+4.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/66f7a258e772e7acf4865a0a5b4949de029eb681)
Máme tedy rovnost dvou funkcí závislých na proměnné
:
![9x^{2}+12x+4=(\alpha _{1}+\alpha _{2}+\alpha _{3})x^{2}+(\alpha _{2}-{\frac {7}{2}}\alpha _{3})x+(-\alpha _{1}+\alpha _{2}).](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/3788b315a68f2e098817790b9c1c9e9affe0207a)
Protože se mají rovnat dvě funkce závislé na proměnné
, musí být rovnost splněna pro všechny hodnoty proměnné a tedy musejí čísla před každou mocninou proměnné být v obou výrazech rovna. Dostáváme tak soustavu rovnic
![{\begin{aligned}\alpha _{1}+\alpha _{2}+\alpha _{3}&=&9\\\quad \quad \alpha _{2}-{\frac {7}{2}}\alpha _{3}&=&12\\-\alpha _{1}+\alpha _{2}\quad \quad &=&4\end{aligned}}](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/5c89d3324df65d811044a0bc30e7e3500057aaad)
Vyjádřeme si z poslední rovnice
a dosaďme do zbylých dvou. Dostaneme tak
![{\begin{aligned}2\alpha _{1}+\alpha _{3}&=&5\\\quad \quad \alpha _{1}-{\frac {7}{2}}\alpha _{3}&=&8\end{aligned}}](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/8548ce6058e96f651cacab122c3685f518861402)
Opět si z druhé rovnice vyjádřeme
a dosaďme do první rovnice. Ta se následně redukuje do tvaru
![\alpha _{3}=-{\frac {11}{8}}.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/957c0bf531efea82a5dd1016224640e9d3639884)
Po zpětném podosazování tedy dostáváme
![\alpha _{1}={\frac {51}{16}},\quad \alpha _{2}={\frac {115}{16}},\quad \alpha _{3}=-{\frac {11}{8}}.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/28526f07dcaa66d60b0a69646bc65330fe534e60)
Výsledek nikterak pohledný, leč správný. Pro funkci
jsme tak nalezli koeficienty jejího rozkladu do polynomů
.
V předchozím příkladu jsme narazili na soustavu lineárních rovnic. Podívejme se nyní na soustavy takovýchto rovnic z trochu jiného úhlu. Uvažujme nyní konkrétně následující soustavu
![{\begin{aligned}3x-2y+2z&=&8\\-x+\ y+2z&=&-1\\x\quad \quad \ +6z&=&6\\\ 2y-\ z&=&0\\\end{aligned}}](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/66bb3b4a59d45b47a5cb26b96ee5b8cba6787a7a)
Tuto soustavu lze přepsat do kompaktnějšího tvaru tím, že se přeneseme do vektorového prostoru
a zavedeme vektory
![{\vec {a}}_{1}={\begin{pmatrix}3\\-1\\1\\0\end{pmatrix}},\quad {\vec {a}}_{2}={\begin{pmatrix}-2\\1\\0\\2\end{pmatrix}},\quad {\vec {a}}_{3}={\begin{pmatrix}2\\2\\6\\-1\end{pmatrix}},\quad {\vec {b}}={\begin{pmatrix}8\\-1\\6\\0\end{pmatrix}}.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/6c83a574e2b8af783a9cd6f56e57cfa568a5f11c)
Není těžké vidět, že lze pak výše uvedenou soustavu zapsat jako rovnost, kde na levé straně vystupuje lineární kombinace vektorů
:
![x{\vec {a}}_{1}+y{\vec {a}}_{2}+z{\vec {a}}_{3}={\vec {b}}.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/f4cab1d3e8103bbe72b71fc2228c1279ce7eee9b)
Nyní tedy v roli koeficientů lineární kombinace vystupují proměnné
, jejichž hodnoty chceme nalézt. Úlohu najít řešení soustavy lineárních rovnic jsme tak převedli na úlohu, kdy máme tři zadané vektory
a chceme najít takové jejich lineární kombinace, které budou rovny čtvrtému zadanému vektoru, vektoru
. V našem případě jsou navíc vektory
lineárně nezávislé. Můžeme se na ně tedy dívat jako na bázi jistého trojrozměrného podprostoru v
. Na naši úlohu lze poté nahlížet i tak, že hledáme souřadnice vektoru
v bázi tvořené právě vektory
. Pokud
neleží v jimi generovaném podprostoru, tak výše uvedená soustava rovnic nemá řešení, to ale není náš případ.
Pro úplnost, výše uvedenou vektorovou rovnici můžeme dále převézt na ještě kompaktnější tvar, naskládáme-li vektory
do matice. Označme si tuto matici
. Navíc si ještě definujme vektor
jako sloupeček neznámých proměnných, pak
![A={\begin{pmatrix}{\vec {a}}_{1}\quad {\vec {a}}_{1}\quad {\vec {a}}_{3}\end{pmatrix}}={\begin{pmatrix}3&-2&2\\-1&1&2\\1&0&6\\0&2&-1\end{pmatrix}},\quad {\vec {x}}={\begin{pmatrix}x\\y\\z\end{pmatrix}}.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/de5ed939ec3597e72be3b718d71c40362d9e1025)
S takto zavedenou maticí můžeme výše uvedenou soustavu rovnic vyjádřit ve tvaru
![A{\vec {x}}={\vec {b}},](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/eb712c95d4616aa606519c9271c66d0627b29d82)
kde se uplatňuje násobení matice
a vektoru
.
Někdy je lineární kombinace pojem moc obecný a zavádějí se zajímavé podpřípady, konkrétně afinní a konvexní kombinace. Afinní kombinace se uplatňují při popisu lineárních variet, konvexní kombinace při popisu konvexních podmnožin vektorových prostorů.
Nechť
je vektorový prostor nad tělesem
,
množina
vektorů z
a
-tice čísel z tělesa. Pak lineární kombinaci
nazýváme afinní kombinace, právě když je součet jejích koeficientů roven jedné, neboli
![\sum _{{i=1}}^{k}\alpha _{i}=1.](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/39b6f4b55640a3db83e148edf6b424b930a09157)
Podobně jako pro klasické lineární kombinace se i pro afinní kombinace definuje afinní obal.
Nechť
je vektorový prostor nad tělesem
,
množina
vektorů z
a
-tice čísel z tělesa. Pak lineární kombinaci
nazýváme konvexní kombinace, právě když je součet jejích koeficientů roven jedné a přitom jsou všechny koeficienty nezáporné, neboli
![{\displaystyle \sum _{i=1}^{k}\alpha _{i}=1\quad \wedge \quad (\forall i\in \{1,\ldots ,k\})(\alpha _{i}\geq 0).}](https://webcf.waybackmachine.org/web/20210508024856im_/https://wikimedia.org/api/rest_v1/media/math/render/svg/9d1baee80ebeedf471a04b255aa529804abc0843)
Podobně jako pro lineární a afinní kombinace se i pro konvexní kombinace definuje konvexní obal.
- PYTLÍČEK, Jiří. Lineární algebra a geometrie. Praha: Česká technika - nakladatelství ČVUT, 2008. ISBN 978-80-01-04063-8. – skripta FJFI ČVUT