Lineární obal

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

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[editovat | editovat zdroj]

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). 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 \hat{n})(\alpha_i \in T) \right\},

kde  \scriptstyle \hat{n} = \{ 1, \ldots, n \}. 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.

Lineární obal vektorů \scriptstyle \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n se obvykle značí \{ \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n \}_\text{lin} nebo \mathrm{span} \{ \vec{x}_1, \vec{x}_2, \ldots, \vec{x}_n \}, lze se však setkat i s označeními (\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.

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čí \{ M \}_\text{lin} atd. Je třeba zdůraznit, že pokud je  \scriptstyle M nekonečná, 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 \hat{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. 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 \hat{n})(\alpha_i \in \mathbb{R}) \right\},

kde opět  \scriptstyle \hat{n} = \{ 1, \ldots, n \}. 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 \hat{n})(\alpha_i \in \mathbb{C}) \right\}.

Geometrická interpretace[editovat | editovat zdroj]

Vektory ve trojrozměrném 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ů.
Tytéž vektory jako na obrázku výše. Nyní je ale brán jejich společný lineární obal, ne lineární obaly každého vektoru zvlášť. Tento lineární obal je vyobrazen jako rovina, v níž dva uvažované vektory leží. Na obrázku je pro přehlednost zakreslena modrou barvou jen část této roviny. Tmavší barva přitom odpovídá části roviny nacházející se pod souřadnicovou rovinou x-y.

Uvažujeme-li vektorové prostory aritmetických vektorů, tj. uspořádaných n-tic reálných (potažmo komplexních) čísel, je jejich geometrická interpretace snadná. Pro jednoduchost vezměme trojrozměrný prostor  \scriptstyle \mathbb{R}^3 nad reálným tělesem. Jeho prvky jsou tedy uspořádané trojice reálných čísel s operacemi definovanými 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 tedy 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. 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} představuje přímku, jež míří ve směru vektoru \scriptstyle \vec{x}. Lineární obal jednoho vektoru totiž obsahuje pouze jeho číselné násobky, což si lze představovat tak, že vektor alias šipku škálujeme, tj. natahujeme či zkracujeme, popř. obracíme mu směr.
  • Lineární obal dvou (nenulových) vektorů  \{ \vec{x}_1, \vec{x}_2 \}_\text{lin} si lze představit jako rovinu, v níž leží vektory \scriptstyle \vec{x}_1 a \scriptstyle \vec{x}_2 (předpokládáme, že \scriptstyle \vec{x}_1 a \scriptstyle \vec{x}_2 jsou lineárně nezávislé vektory). Kdyby byly tyto dva vektory 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. 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ř. 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}
.

V prvním obrázku 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.  \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 druhém 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 donekoneč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). 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[editovat | editovat zdroj]

Nulový vektor v lineárním obalu[editovat | editovat zdroj]

(\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[editovat | editovat zdroj]

  • 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. 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. 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ů. 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í[editovat | editovat zdroj]

  • 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 \hat{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. 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. 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. 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 \hat{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 \hat{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ě[editovat | editovat zdroj]

Podrobnější informace naleznete v článku Steinitzova věta o výměně.

Mějme množinu \scriptstyle n lineárně nezávislých vektorů \scriptstyle X a dále množinu \scriptstyle m vektorů \scriptstyle Y. Nechť lze navíc libovolný vektor z množiny \scriptstyle X vyjádřit jako lineární kombinaci vektorů z množiny \scriptstyle Y. 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[editovat | editovat zdroj]

Příklad 1 — Aritmetické vektory[editovat | editovat zdroj]

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). 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é[editovat | editovat zdroj]

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. 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é. 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ů[editovat | editovat zdroj]

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. 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[editovat | editovat zdroj]

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 můžou velmi lišit. 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. 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.

Literatura[editovat | editovat zdroj]

  • BALKOVÁ, Ľubomíra. Lineární algebra 1. Praha : Česká technika - nakladatelství ČVUT, 2013. ISBN 978-80-01-05346-1.   – skripta FJFI ČVUT
  • BLANK, Jiří; EXNER, Pavel; HAVLÍČEK, Miloslav. Lineární operátory v kvantové fyzice. Praha : Karolinum, 1993. ISBN 80-7066-586-6.  

Související články[editovat | editovat zdroj]