Lineární obal

Lineární obal je jedním ze základních pojmů lineární algebry. Jedná se o množinu tvořenou součty a násobky jistých konkrétně specifikovaných vektorů, prvků vektorového prostoru. Jednou ze základních vlastností lineárního obalu je to, že je to nejmenší vektorový podprostor obsahující tyto předem zadané vektory. Jde tak o nejjednodušší lineární strukturu, kterou lze ze zadaných vektorů vytvořit a jako taková představuje jeden z fundamentálních konceptů lineární algebry.

Definice

Mějme vektorový prostor \scriptstyle V nad tělesem \scriptstyle T a množinu vektorů \scriptstyle \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n pro jisté přirozené číslo \scriptstyle n. Pak množinu všech lineárních kombinací těchto vektorů nazýváme jejich lineárním obalem (anglicky linear span, někdy též linear hull). +more Označíme-li lineární obal vektorů \scriptstyle \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n jako \scriptstyle \{ \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n \}_\text{lin}, můžeme ho matematicky vyjádřit jako množinu.

: \{ \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n \}_\text{lin} = \left\{ \sum_{i=1}^n \alpha_i \vec{x}_i \Bigg| (\forall i \in \{ 1, \ldots, n \})(\alpha_i \in T) \right\},

Vektory \scriptstyle \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n se pak nazývají generátory lineárního obalu, jim příslušného. Říkáme též, že vektory \scriptstyle \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n generují daný lineární obal, potažmo množinu.

Pro lineární obal vektorů \scriptstyle \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n se používají různá označení. V anglicky psané literatuře se často vyskytuje označení \mathrm{span} \{ \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n \}. +more Lze se však setkat i s dalšími konvencemi jako \{ \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n \}_\text{lin}, (\vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n), [\vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n], [\vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n]_\lambda či \langle \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n \rangle. V tomto článku budeme lineární obal značit \{ \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n \}_\text{lin} v souladu s monografií .

Uvažujme nyní nějakou neprázdnou podmnožinu \scriptstyle M vektorového prostoru \scriptstyle V. Lineární obal vektorů ležících v \scriptstyle M se pak značí např. +more M_\text{lin}. Je třeba zdůraznit, že pokud má \scriptstyle M nekonečně mnoho prvků, tak její lineární obal tvoří jen lineární kombinace vždy konečně mnoha vektorů vybraných z \scriptstyle M. V matematické notaci tedy.

:M_\text{lin} = \left\{ \sum_{i=1}^n \alpha_i \vec{x}_i \Bigg| (n \in \mathbb{N}) \wedge (\forall i \in \{ 1, \ldots, n \})(\alpha_i \in T \wedge \vec{x}_i \in M) \right\}.

Vektorové prostory můžeme zavádět nad různými tělesy. Pokud máme vektorový prostor nad nějakým tělesem, má smysl v takovémto prostoru uvažovat i lineární obaly tvořené lineárními kombinacemi s koeficienty, jež leží v podtělese daného tělesa. +more Vlastnosti těchto lineárních obalů se pak liší od jejich protějšků s koeficienty z celého tělesa, nad kterým je vektorový prostor definován. Typickým příkladem je (nějaký) vektorový prostor \scriptstyle V definovaný nad tělesem komplexních čísel \scriptstyle \mathbb{C}, ve kterém uvažujeme soubor vektorů \scriptstyle \{ \vec{x}_1, \ldots, \vec{x}_n \} a jejich lineární obal tvořený pouze lineárními kombinacemi s reálnými koeficienty. Takovýto lineární obal se někdy značí jako.

: \mathbb{R}\mathrm{-span} \{ \vec{x}_1, \ldots, \vec{x}_n\} = \left\{ \sum_{i=1}^n \alpha_i \vec{x}_i \Bigg| (\forall i \in \{ 1, \ldots, n \})(\alpha_i \in \mathbb{R}) \right\},

Pro rozlišení se pro lineární obal s komplexními lineárními kombinacemi pak užívá analogické označení

: \mathbb{C}\mathrm{-span} \{ \vec{x}_1, \ldots, \vec{x}_n\} = \left\{ \sum_{i=1}^n \alpha_i \vec{x}_i \Bigg| (\forall i \in \{ 1, \ldots, n \})(\alpha_i \in \mathbb{C}) \right\}.

Geometrická interpretace

+more5| Obr. _1:_Vektory_ve_trojrozměrném_Eukleidovský_prostor'>Euklidově prostoru, neboli v \scriptstyle \mathbb{R}^3. Na obrázku jsou vyobrazeny dva vektory coby šipky a jejich lineární obaly coby přímky ležící ve směru těchto vektorů. souřadnicovou rovinou x-y. .

Lineárnímu obalu můžeme dát snadnou geometrickou interpretaci, přinejmenším v případě lineárních kombinací aritmetických vektorů. Nechť jsou tedy vektory uspořádané n-tice reálných čísel. +more Pro jednoduchost vezměme trojrozměrný prostor \scriptstyle \mathbb{R}^3 nad reálným tělesem, tj. n = 3. Pracujeme nyní tedy s uspořádanými trojicemi reálných čísel, které sčítáme a násobíme číslem následujícím způsobem : \alpha \begin{pmatrix} x_1 \\ x_2 \\ x_3 \end{pmatrix} \quad + \quad \begin{pmatrix} y_1 \\ y_2 \\ y_3 \end{pmatrix} \quad = \quad \begin{pmatrix} \alpha x_1 + y_1 \\ \alpha x_2 + y_2 \\ \alpha x_3 + y_3 \end{pmatrix}.

Prvky tohoto prostoru si lze představovat ve "fyzikálním smyslu", tj. jako šipky vedoucí z počátku soustavy souřadnic, pro větší názornost viz oddíl Geometrická interpretace v článku Lineární kombinace. +more Sčítání vektorů ve smyslu vyznačeném výše odpovídá skládání šipek. Neboť máme trojrozměrný prostor, existuje v něm nejvýše trojprvková množina lineárně nezávislých vektorů. Bereme-li po řadě jedno-, dvou- a tříprvkové množiny lineárně nezávislých vektorů, jejich lineární obal lze geometricky interpretovat takto:.

* Lineární obal jednoho (nenulového) vektoru \{ \vec{x} \}_\text{lin} obsahuje pouze jeho číselné násobky \scriptstyle \alpha \vec{x}, kde \scriptstyle \alpha je libovolné reálné číslo. Násobení číslem si přitom lze představovat jako natahování či zkracování vektoru alias šipky \scriptstyle \vec{x}. +more (Násobení záporným číslem pak představuje současně i obracení směru šipky. ) Lineární obal \{ \vec{x} \}_\text{lin} jednoho vektoru tedy obsahuje všechny body, kam dosáhnou všechna možná prodloužení či zkrácení šipky \scriptstyle \vec{x} . Tyto body tvoří přímku ve směru šipky \scriptstyle \vec{x}. Můžeme tedy shrnout, že lineární obal jednoho (nenulového) vektoru je přímka ve směru tohoto vektoru. * Lineární obal dvou (nenulových) vektorů \{ \vec{x}, \vec{y} \}_\text{lin} si lze představit jako rovinu, v níž leží vektory \scriptstyle \vec{x} a \scriptstyle \vec{y}. (Předpokládáme, že \scriptstyle \vec{x} a \scriptstyle \vec{y} jsou lineárně nezávislé vektory. ) Abychom toto tvrzení osvětlili matematicky, zapišme si vektory ve složkách: \scriptstyle \vec{x} = (x_1, x_2, x_3), \scriptstyle \vec{y} = (y_1, y_2, y_3). Pak jejich lineární kombinace pro libovolné parametry \scriptstyle \alpha, \beta \in \mathbb{R} zní : \begin{pmatrix} z_1 \\ z_2 \\ z_3 \end{pmatrix} = \begin{pmatrix} \alpha x_1 + \beta y_1 \\ \alpha x_2 + \beta y_2 \\ \alpha x_3 + \beta y_3 \end{pmatrix} . Ukážeme, že vektory tvořené čísly \scriptstyle (z_1, z_2, z_3) leží v rovině. Platí \scriptstyle z_1 = \alpha x_1 + \beta y_1 , z čehož dostáváme \scriptstyle \alpha = (z_1 - \beta y_1)/x_1 . Podobně ze vztahu \scriptstyle z_2 = \alpha x_2 + \beta y_2 = ((z_1 - \beta y_1)/x_1) x_2 + \beta y_2 dostáváme \scriptstyle \beta = (x_1 z_2 - x_2 z_1)/(x_1 y_2 - y_1 x_2) . Když výrazy pro \scriptstyle \alpha a \scriptstyle \beta dosadíme do posledního vztahu \scriptstyle z_3 = \alpha x_3 + \beta y_3 a upravíme, obdržíme rovnici : z_1 (x_2 y_3 - x_3 y_2) + z_2 (x_3 y_1 - x_3 y_1) + z_3 (x_1 y_2 - x_2 y_1) = 0.

Když si nyní konstanty v rovnici výše přeznačíme způsobem : a = x_2 y_3 - x_3 y_2, \quad b = x_3 y_1 - x_3 y_1, \quad c = x_1 y_2 - x_2 y_1

a volné parametry způsobem : x = z_1, \quad y = z_2, \quad z = z_3

přejde výše uvedená rovnice do tvaru : a x + b y + c z = 0.

Tato rovnice je analytický zápis roviny ve trojrozměrném prostoru, kde čísla \scriptstyle x, y, z představují souřadnice libovolného bodu roviny a \scriptstyle a, b, c jsou pevně zvolené koeficienty. Ukázali jsme tak, že lineární obal dvou lineárně nezávislých vektorů je rovina. +more Protože se v rovnici výše nenachází absolutní člen, tj. d = 0, tak tato rovina prochází počátkem souřadnic. Kdyby byly vektory \scriptstyle \vec{x} a \scriptstyle \vec{y} lineárně závislé, tak se jejich lineární obal redukuje do lineárního obalu jediného vektoru, tj. do přímky. To odpovídá geometrické představě, kdy máme dvě šipky stejného, resp. přesně opačného, směru, které se nanejvýš liší pouze svou velikostí. * Lineární obal tří (nenulových) vektorů \{ \vec{x}_1, \vec{x}_2, \vec{x}_3 \}_\text{lin} představuje celý prostor \scriptstyle \mathbb{R}^3. Máme totiž trojici lineárně nezávislých vektorů, které tím pádem tvoří bázi a jakoukoli šipku lze z vhodných násobků těchto tří vektorů nakombinovat. Podobně jako v předchozím bodu, pokud jsou z těchto tří vektorů lineárně nezávislé jen dva, tak se nám jejich lineární obal redukuje do roviny. Geometricky vzato, třetí šipka leží v rovině vytyčené prvními dvěma šipkami. Pokud by byly lineárně závislé všechny tři vektory, tak se nám jejich lineární obal redukuje na pouhou přímku, tj. všechny tři šipky leží ve stejném, popř. přesně opačném, směru. * Extrémním případem je lineární obal nulového vektoru \{ \vec{0} \}_\text{lin} . Tento obal je tvořen pouze nulovým vektorem samotným a lze ho tak interpretovat jako jediný bod ležící v počátku souřadnic.

Pro ilustraci výše uvedených případů je na obrázcích vpravo příklad dvou vektorů v trojrozměrném prostoru \scriptstyle \mathbb{R}^3 se souřadnicemi

: \vec{x}_1 = \begin{pmatrix} -2 \\ -4 \\ 0 \end{pmatrix}, \quad \vec{x}_2 = \begin{pmatrix} -2 \\ 2 \\ 3 \end{pmatrix} .

Na obrázku Obr. 1 jsou přímkami ležícími ve směru těchto vektorů reprezentovány (jednorozměrné) lineární obaly každého z vektorů, tj. +more \scriptstyle\{ \vec{x}_1 \}_\text{lin} a \scriptstyle\{ \vec{x}_2 \}_\text{lin} . Lineární obal vektoru \scriptstyle \vec{x}_1 je tvořen všemi šipkami ležícími na přímce tímto vektorem procházející, podobně pro \scriptstyle \vec{x}_2 . Na obrázku Obr. 2 je pak modře zbarvenou rovinou "ležící" na obou vektorech vyobrazen dvourozměrný lineární obal obou vektorů společně, tj. \scriptstyle\{ \vec{x}_1, \vec{x}_2 \}_\text{lin} . Lineární obal je nutno si představovat jako všechny šipky ležící ve zbarvené rovině. Přitom je pro snazší přehlednost zobrazena jen část této roviny, modrá barva by se správně samozřejmě měla rozprostírat ve všech směrech do nekonečna. Tmavší část odpovídá části roviny ležící pod souřadnicovou rovinou x-y, světlejší část pak části roviny ležící nad rovinou x-y. Modrými přímkami jsou vyznačeny průsečnice roviny coby lineárního obalu se souřadnicovými rovinami x-z a x-y.

Je dobré zmínit, že všechny výše uvedené geometrické útvary nemohou ležet v prostoru zcela libovolně, ale nutně musí procházet počátkem souřadnic. Toto omezení vyplývá z toho, že nulový vektor (odpovídající počátku souřadnic v geometrické reprezentaci šipek) leží v každém lineárním obalu (viz vlastnosti lineárního obalu výše). +more Z tohoto pohledu zobecňuje pojem lineárního obalu lineární varieta, jež může představovat i přímky či roviny obecně neprocházející počátkem soustavy souřadnic.

Vlastnosti

Nulový vektor v lineárním obalu

Lineární obal jakýchkoli vektorů obsahuje nulový vektor, tj. :(\forall n \in \mathbb{N})(\forall (\vec{x}_1, \ldots, \vec{x}_n) \in V)(\vec{0} \in \{ \vec{x}_1, \ldots, \vec{x}_n \}_\text{lin})

:Důkaz: Zřejmý. Stačí uvažovat lineární kombinaci vektorů, v níž jsou všechny koeficienty nulové.

* Lineární obal nulového vektoru je pouze samotný nulový vektor, tj. :(\{ \vec{0} \}_\text{lin} = \{ \vec{0} \})

:Důkaz: Vyplývá z axiomů vektorového prostoru. Libovolný násobek nulového vektoru je opět nulový vektor.

Lineární obal jako podprostor

Lineární obal je uzavřený na sčítání vektorů a násobení vektoru číslem z tělesa, tj. lineární obal je podprostor vektorového prostoru \scriptstyle V. +more Symbolicky :(\forall n \in \mathbb{N})(\forall (\vec{x}_1, \ldots, \vec{x}_n) \in V)(\forall \vec{x}, \vec{y} \in \{ \vec{x}_1, \ldots, \vec{x}_n \}_\text{lin})(\forall \alpha \in T)(\alpha \vec{x} + \vec{y} \in \{ \vec{x}_1, \ldots, \vec{x}_n \}_\text{lin}).

:Důkaz: Nechť \scriptstyle \vec{x} = \sum_{i=1}^n \alpha_i \vec{x}_i a \scriptstyle \vec{y} = \sum_{i=1}^n \beta_i \vec{x}_i . Pak je zřejmě též \scriptstyle \alpha\vec{x} + \vec{y} = \sum_{i=1}^n (\alpha_i + \alpha \beta_i) \vec{x}_i lineární kombinací generátorů lineárního obalu \scriptstyle \{ \vec{x}_1, \ldots, \vec{x}_n \}_\text{lin} .

* Lineární obal vektorů \scriptstyle \vec{x}_1, \ldots, \vec{x}_n je nejmenší (ve smyslu inkluze) podprostor vektorového prostoru \scriptstyle V , který obsahuje \scriptstyle \vec{x}_1, \ldots, \vec{x}_n . Neboli, lineární obal vektorů \scriptstyle \vec{x}_1, \ldots, \vec{x}_n je roven průniku všech podprostorů \scriptstyle P vektorového prostoru \scriptstyle V, které obsahují tyto vektory. +more Matematicky zapsáno :\{ \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n \}_\text{lin} = \bigcap_{P \subset \subset V, \{ \vec{x}_1, \ldots, \vec{x}_n \} \subset P} P.

:Důkaz: Každý z podprostorů, přes něž je prováděn průnik, obsahuje vektory \scriptstyle \vec{x}_1, \ldots, \vec{x}_n . Tyto vektory tedy musí ležet i v průniku všech těchto podprostorů. +more Navíc platí, že průnik podprostorů je opět podprostor. To znamená, že pravá strana výše uvedené rovnosti musí obsahovat alespoň všechny lineární kombinace vektorů \scriptstyle \vec{x}_1, \ldots, \vec{x}_n neboli jejich lineární obal. Inkluze zleva doprava je tedy dokázána. K důkazu opačné inkluze musíme ukázat, že množina na pravé straně rovnosti je podmnožinou množiny na straně levé. Nyní si ale stačí uvědomit, že samotný lineární obal \scriptstyle \{ \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n \}_\text{lin} je také podprostor, který obsahuje vektory \scriptstyle \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n. Protože na pravé straně provádíme průnik přes všechny podprostory s touto vlastností, tak jedním z podprostorů \scriptstyle P bude i lineární obal \scriptstyle \{ \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n \}_\text{lin} a průnik nemůže být tedy větší než tento lineární obal.

Ostatní

Lineární obal se nezmění, změníme-li pořadí jeho generátorů, tj. :(\forall n \in \mathbb{N})(\forall (\vec{x}_1, \ldots, \vec{x}_n) \in V)(\forall \sigma \in S_n)(\{ \vec{x}_1, \ldots, \vec{x}_n \}_\text{lin} = \{ \vec{x}_{\sigma(1)}, \ldots, \vec{x}_{\sigma(n)} \}_\text{lin}), :kde \scriptstyle S_n je množina všech permutací množiny \scriptstyle \{ 1, \ldots, n \}.

:Důkaz: U dané permutace \scriptstyle \sigma a konkrétní lineární kombinace \scriptstyle \alpha_1 \vec{x}_1 + \ldots + \alpha_n \vec{x}_n jen propermutuji koeficienty \scriptstyle \alpha_i podle \scriptstyle \sigma . Lineární kombinace navíc nezávisí na pořadí sčítání prvků díky komutativitě sčítání vektorů ve vektorovém prostoru. +more Dostali jsme tak bijektivní zobrazení mezi vektory z obou lineárních obalů, kde koeficientům lineární kombinace v jednou obalu přiřazuji propermutované koeficienty lineární kombinace v obalu druhém.

* Máme-li vektor \scriptstyle y \in V, který patří do lineárního obalu vektorů \scriptstyle \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n, tak jeho přidáním do souboru generátorů tento lineární obal nezměním, tj. :(\forall n \in \mathbb{N})(\forall (\vec{x}_1, \ldots, \vec{x}_n) \in V)(\forall y \in V)( \vec{y} \in \{ \vec{x}_1, \ldots, \vec{x}_n \}_\text{lin} \quad \Rightarrow \quad \{ \vec{x}_1, \ldots, \vec{x}_n \}_\text{lin} = \{ \vec{x}_1, \ldots, \vec{x}_n, \vec{y} \}_\text{lin})

:Důkaz: Mějme \scriptstyle \vec{y} \in \{ \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n \}_\text{lin}. Dokažme nejprve inkluzi zleva doprava. +more Každá lineární kombinace z \scriptstyle \{ \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n \}_\text{lin} se dá zřejmě vyjádřit jako \scriptstyle \sum_{i=1}^n \alpha_i \vec{x}_i + 0 \vec{y}, tj. leží i v \scriptstyle \{ \vec{x}_1, \ldots, \vec{x}_n, \vec{y} \}_\text{lin}. Nyní opačná inkluze. Mějme lineární kombinaci z \scriptstyle \{ \vec{x}_1, \ldots, \vec{x}_n, \vec{y} \}_\text{lin} tvaru \scriptstyle \sum_{i=1}^n \alpha_i \vec{x}_i + \alpha_{n+1} \vec{y}. Víme navíc z předpokladů, že \scriptstyle \vec{y} se dá vyjádřit jako jistá lineární kombinace tvaru \scriptstyle \vec{y} = \sum_{j=1}^n \beta_j \vec{x}_j. Dosazením do původní lineární kombinace tak dostáváme \scriptstyle \sum_{i=1}^n \alpha_i \vec{x}_i + \alpha_{n+1} (\sum_{j=1}^n \beta_j \vec{x}_j) = \sum_{i=1}^n (\alpha_i + \alpha_{n+1} \beta_i) \vec{x}_i. Tj. obdrželi jsme lineární kombinaci z \scriptstyle \{ \vec{x}_1, \ldots, \vec{x}_n \}_\text{lin} .

* Lineární obal lineárního obalu množiny \scriptstyle M je roven lineárnímu obalu množiny \scriptstyle M, tj. :(\forall M \subset V)(M \neq \emptyset)(M_\text{lin} = ( M_\text{lin} )_\text{lin} )

:Důkaz: Inkluze zleva doprava je zřejmá. Generátory lineárního obalu lineárního obalu jsou prvky původního lineárního obalu. +more Pro inkluzi zprava doleva si stačí uvědomit, že vektor \scriptstyle \vec{z} \in ( M_\text{lin} )_\text{lin} má tvar \scriptstyle \vec{z} = \sum_{i=1}^k \alpha_i \vec{y}_i, kde \scriptstyle (\forall i \in \{ 1, \ldots, k \})(\vec{y}_i \in M_\text{lin}). Tedy \scriptstyle \vec{y}_i = \sum_{j_i=1}^{l_i} (\beta_i)_{j_i} (\vec{x}_i)_{j_i}, kde \scriptstyle (\forall j_i \in \{ 1, \ldots, l \})((\vec{x}_i)_{j_i} \in M). (Pro každé \scriptstyle \vec{y}_i mám obecně jinou sadu vektorů \scriptstyle \vec{x}, proto označujeme \scriptstyle \vec{x} a \scriptstyle \beta dvěma indexy. ) Celkem tedy dostáváme \scriptstyle \vec{z} = \sum_{i=1}^k \sum_{j_i=1}^{l_i} \alpha_i (\beta_i)_{j_i} (\vec{x}_i)_{j_i}, což je lineární kombinace vektorů z \scriptstyle M.

* Neprázdná množina \scriptstyle M je podmnožinou svého lineárního obalu, tj. :(\forall M \subset V)(M \neq \emptyset)(M \subset M_\text{lin})

:Důkaz: Mám-li vektor \scriptstyle \vec{x} \in M, tak ho můžu chápat jako generátor lineárního obalu \scriptstyle M_\text{lin} a jemu odpovídající lineární kombinace má všechny koeficienty nulové vyjma toho, který přísluší právě vektoru \scriptstyle \vec{x} coby generátoru (tento koeficient je pak roven jedné).

* Pokud je \scriptstyle M neprázdnou podmnožinou \scriptstyle N, kde \scriptstyle M, N \subset V, tak lineární obal množiny \scriptstyle M je podmnožinou lineárního obalu podmnožiny \scriptstyle N, tj. :(\forall M, N \subset V)(M,N \neq \emptyset)(M \subset N \quad \Rightarrow \quad M_\text{lin} \subset N_\text{lin})

:Důkaz: Neboť generátory \scriptstyle M_\text{lin} leží v \scriptstyle M, tj. i v \scriptstyle N, tak tvoří podmnožinu generátorů \scriptstyle N_\text{lin}.

Steinitzova věta o výměně

Mějme množinu \scriptstyle n lineárně nezávislých vektorů \scriptstyle X = \{ \vec{x}_1, \ldots, \vec{x}_n \} a dále množinu \scriptstyle m vektorů \scriptstyle Y = \{ \vec{y}_1, \ldots, \vec{y}_m \}. Nechť lze navíc libovolný vektor z množiny \scriptstyle X vyjádřit jako lineární kombinaci vektorů z množiny \scriptstyle Y. +more Pak platí, že vektorů v množině \scriptstyle X nemůže být víc než vektorů v množině \scriptstyle Y. Pokud jich je stejně, tak se lineární obaly množin \scriptstyle X a \scriptstyle Y rovnají. Pokud je vektorů v množině \scriptstyle Y více než vektorů v \scriptstyle X, tak lze ke generátorům lineárního obalu množiny \scriptstyle X přidat vhodných \scriptstyle m-n dodatečných vektorů z množiny \scriptstyle Y tak, že tyto vektory dohromady generují lineární obal množiny \scriptstyle Y.

Příklady

Příklad 1 - Aritmetické vektory

Uvažujme vektorový prostor \scriptstyle V = \mathbb{R}^4 nad tělesem reálných čísel \scriptstyle \mathbb{R} s klasicky zavedenými operacemi sčítání vektorů a násobení vektorů číslem (tj. po prvcích). +more Dále vezměme následující tři vektory.

: \left\{ \begin{pmatrix} 0 \\ 1 \\ -3 \\ 0 \end{pmatrix}, \quad \begin{pmatrix} 1 \\ 0 \\ 0 \\ 0 \end{pmatrix}, \quad \begin{pmatrix} 4 \\ 2 \\ -6 \\ 1 \end{pmatrix} \right\}

Obecná lineární kombinace těchto tří vektorů bude vypadat následovně

: \alpha_1 \begin{pmatrix} 0 \\ 1 \\ -3 \\ 0 \end{pmatrix} + \alpha_2 \begin{pmatrix} 1 \\ 0 \\ 0 \\ 0 \end{pmatrix} + \alpha_3 \begin{pmatrix} 4 \\ 2 \\ -6 \\ 1 \end{pmatrix} = \begin{pmatrix} \alpha_2 + 4 \alpha_3 \\ \alpha_1 + 2 \alpha_3 \\ -3 \alpha_1 -6 \alpha_3 \\ \alpha_3 \end{pmatrix}

kde \scriptstyle \alpha_1, \alpha_2, \alpha_3 \in \mathbb{R}. Lineární obal výše uvedených vektorů tedy zní

: \left\{ \begin{pmatrix} 0 \\ 1 \\ -3 \\ 0 \end{pmatrix}, \quad \begin{pmatrix} 1 \\ 0 \\ 0 \\ 0 \end{pmatrix}, \quad \begin{pmatrix} 4 \\ 2 \\ -6 \\ 1 \end{pmatrix} \right\}_\text{lin} = \left\{ \begin{pmatrix} \alpha_2 + 4 \alpha_3 \\ \alpha_1 + 2 \alpha_3 \\ -3 \alpha_1 -6 \alpha_3 \\ \alpha_3 \end{pmatrix} \Bigg| \alpha_1, \alpha_2, \alpha_3 \in \mathbb{R} \right\}

Příklad 2 - Aritmetické vektory podruhé

Nyní uvažujme tutéž situaci jako v prvním příkladu s jediným malým rozdílem: položme čtvrtou složku třetího vektoru rovnou nule. Máme tedy vektory

: \left\{ \begin{pmatrix} 0 \\ 1 \\ -3 \\ 0 \end{pmatrix}, \quad \begin{pmatrix} 1 \\ 0 \\ 0 \\ 0 \end{pmatrix}, \quad \begin{pmatrix} 4 \\ 2 \\ -6 \\ 0 \end{pmatrix} \right\}

Tato zdánlivě malá změna má poněkud větší následky ve tvaru výsledného lineárního obalu. Je totiž snadno vidět, že třetí vektor je nyní lineární kombinací dvou předchozích, konkrétně součtem dvojnásobku prvního a čtyřnásobku druhého. +more Neboli.

: 2 \begin{pmatrix} 0 \\ 1 \\ -3 \\ 0 \end{pmatrix} + 4 \begin{pmatrix} 1 \\ 0 \\ 0 \\ 0 \end{pmatrix} = \begin{pmatrix} 4 \\ 2 \\ -6 \\ 0 \end{pmatrix}

Obecná lineární kombinace těchto tří vektorů má tvar

: \alpha_1 \begin{pmatrix} 0 \\ 1 \\ -3 \\ 0 \end{pmatrix} + \alpha_2 \begin{pmatrix} 1 \\ 0 \\ 0 \\ 0 \end{pmatrix} + \alpha_3 \begin{pmatrix} 4 \\ 2 \\ -6 \\ 0 \end{pmatrix} = \begin{pmatrix} \alpha_2 + 4 \alpha_3 \\ \alpha_1 + 2 \alpha_3 \\ -3 \alpha_1 -6 \alpha_3 \\ 0 \end{pmatrix} = \begin{pmatrix} \alpha_2 + 4 \alpha_3 \\ \alpha_1 + 2 \alpha_3 \\ -3 (\alpha_1 + 2 \alpha_3) \\ 0 \end{pmatrix} = \begin{pmatrix} \beta \\ \gamma \\ -3 \gamma \\ 0 \end{pmatrix}

kde \scriptstyle \alpha_1, \alpha_2, \alpha_3 \in \mathbb{R} a

:\beta = \alpha_2 + 4 \alpha_3, \gamma = \alpha_1 + 2 \alpha_3.

Všechny možné lineární kombinace máme nyní popsány pouze dvěma parametry \scriptstyle \beta, \gamma \in \mathbb{R}. To je následek toho, že lze třetí vektor vyjádřit pomocí dvou předchozích, neboli tři vektory výše jsou lineárně závislé. +more Lineární obal těchto tří vektorů tedy vypadá následovně.

: \left\{ \begin{pmatrix} 0 \\ 1 \\ -3 \\ 0 \end{pmatrix}, \quad \begin{pmatrix} 1 \\ 0 \\ 0 \\ 0 \end{pmatrix}, \quad \begin{pmatrix} 4 \\ 2 \\ -6 \\ 0 \end{pmatrix} \right\}_\text{lin} = \left\{ \begin{pmatrix} \beta \\ \gamma \\ -3 \gamma \\ 0 \end{pmatrix} \Bigg| \beta, \gamma \in \mathbb{R} \right\}

Příklad 3 - Nekonečný počet generátorů

Teď pro změnu uvažujme vektorový prostor všech spojitých funkcí nad reálným tělesem \scriptstyle \mathbb{R} s přirozeně definovanými operacemi sčítání a násobení funkce číslem. Dále uvažujme (nekonečnou) množinu všech funkcí tvaru

:f_k(x) = x^k, \quad k \in \mathbb{N}_0

(Jedná se vlastně o jednoparametrickou množinu funkcí parametrizovanou přirozeným parametrem \scriptstyle k, který může nabývat i nulové hodnoty. ) Lineární obal takovéto množiny funkcí \scriptstyle \{ f_k \}_{k \in \mathbb{N}_0} je množina všech reálných polynomů, tj. +more funkcí tvaru.

:P(x) = \sum_{k=0}^n \alpha_k x^k, \quad n \in \mathbb{N},

kde \scriptstyle (\forall k \in \{0, \ldots, n \})(\alpha_k \in \mathbb{R}). Bereme tedy jen konečné lineární kombinace prvků z \scriptstyle \{ f_k \}_{k \in \mathbb{N}_0}, viz poznámka u definice lineárních obalů pro nekonečné množiny.

Příklad 4 - Závislost na tělese

Vektorový prostor \scriptstyle V v definici zahrnuje i těleso, nad kterým je definován. Ačkoli můžeme brát "tutéž" množinu vektorů, tak se její vlastnosti v závislosti na zvoleném tělese mohou velmi lišit. +more Uvažujme množinu \scriptstyle \mathbb{C}^2 (zatím jen jako množinu, ne jako vektorový prostor). V této množině dále uvažujme tři její prvky následujícího tvaru:.

: \left\{ \begin{pmatrix} 1 \\ 0 \end{pmatrix} , \begin{pmatrix} i \\ 0 \end{pmatrix} , \begin{pmatrix} 0 \\ 1 \end{pmatrix} \right\},

kde \scriptstyle i značí imaginární jednotku. Bereme-li nyní množinu \scriptstyle \mathbb{C}^2 jako vektorový prostor s klasicky definovanými operacemi sčítání a násobení číslem z tělesa, tak se lineární obal tří výše uvedených vektorů liší podle toho, jaké těleso jsme si zvolili. +more Konkrétně, pokud uvažujeme \scriptstyle \mathbb{C}^2 jako vektorový prostor nad tělesem \scriptstyle \mathbb{R}, tak lineární obal vektorů výše vypadá takto.

: \left\{ \begin{pmatrix} 1 \\ 0 \end{pmatrix} , \begin{pmatrix} i \\ 0 \end{pmatrix} , \begin{pmatrix} 0 \\ 1 \end{pmatrix} \right\}_\text{lin} \quad = \quad \left\{ \begin{pmatrix} \alpha + i \beta \\ \gamma \end{pmatrix} \Bigg| \alpha, \beta, \gamma \in \mathbb{R} \right\},

zatímco vezmeme-li za těleso množinu komplexních čísel \scriptstyle \mathbb{C}, jsou tři výše uvedené vektory lineárně závislé a výsledný lineární obal má na rozdíl od předchozího případu jen dva generátory

: \left\{ \begin{pmatrix} 1 \\ 0 \end{pmatrix} , \begin{pmatrix} i \\ 0 \end{pmatrix} , \begin{pmatrix} 0 \\ 1 \end{pmatrix} \right\}_\text{lin} \quad = \quad \left\{ \begin{pmatrix} \alpha \\ \beta \end{pmatrix} \Bigg| \alpha, \beta \in \mathbb{C} \right\} \quad = \quad \mathbb{C}^2.

Ve druhém případě je tedy lineární obal zmíněných vektorů roven celému prostoru \scriptstyle \mathbb{C}^2, přičemž v příkladu prvním tvořil pouhou vlastní podmnožinu. Rozdíl mezi reálným a komplexním tělesem v tomto případě tkví v tom, že zatímco vektor

: \begin{pmatrix} i \\ 0 \end{pmatrix}

je v prostoru nad komplexním tělesem pouhým násobkem vektoru

: \begin{pmatrix} 1 \\ 0 \end{pmatrix},

v prostoru nad reálným tělesem je nutno brát tyto dva vektory jako dva různé. Imaginární jednotka totiž není reálné číslo.

Odkazy

Reference

Související články

Afinní obal * Konvexní obal * Konvexní množina * Vektorový prostor * Lineární kombinace

Literatura

- skripta FJFI ČVUT

*

Kategorie:Lineární algebra

Powłoka liniowa Линейная оболочка