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.
Mějme vektorový prostor nad tělesem a množinu vektorů pro jisté přirozené číslo. 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ů jako , můžeme ho matematicky vyjádřit jako množinu
Vektory se pak nazývají generátory lineárního obalu, jim příslušného. Říkáme též, že vektory generují daný lineární obal, potažmo množinu.
Pro lineární obal vektorů se používají různá označení. V anglicky psané literatuře se často vyskytuje označení . Lze se však setkat i s dalšími konvencemi jako , , , či . V tomto článku budeme lineární obal značit v souladu s monografií [1].
Uvažujme nyní nějakou neprázdnou podmnožinu vektorového prostoru . Lineární obal vektorů ležících v se pak značí např. . Je třeba zdůraznit, že pokud má nekonečně mnoho prvků, tak její lineární obal tvoří jen lineární kombinace vždy konečně mnoha vektorů vybraných z . V matematické notaci tedy
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 definovaný nad tělesem komplexních čísel, ve kterém uvažujeme soubor vektorů 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
Pro rozlišení se pro lineární obal s komplexními lineárními kombinacemi pak užívá analogické označení
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. Pro jednoduchost vezměme trojrozměrný prostor 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
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. 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 obsahuje pouze jeho číselné násobky , kde je libovolné reálné číslo. Násobení číslem si přitom lze představovat jako natahování či zkracování vektoru alias šipky . (Násobení záporným číslem pak představuje současně i obracení směru šipky.) Lineární obal jednoho vektoru tedy obsahuje všechny body, kam dosáhnou všechna možná prodloužení či zkrácení šipky . Tyto body tvoří přímku ve směru šipky . 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ů si lze představit jako rovinu, v níž leží vektory a . (Předpokládáme, že a jsou lineárně nezávislé vektory.) Abychom toto tvrzení osvětlili matematicky, zapišme si vektory ve složkách: , . Pak jejich lineární kombinace pro libovolné parametry zní
Ukážeme, že vektory tvořené čísly leží v rovině. Platí , z čehož dostáváme . Podobně ze vztahu dostáváme . Když výrazy pro a dosadíme do posledního vztahu a upravíme, obdržíme rovnici
Když si nyní konstanty v rovnici výše přeznačíme způsobem
a volné parametry způsobem
přejde výše uvedená rovnice do tvaru
Tato rovnice je analytický zápis roviny ve trojrozměrném prostoru, kde čísla představují souřadnice libovolného bodu roviny a jsou pevně zvolené koeficienty. Ukázali jsme tak, že lineární obal dvou lineárně nezávislých vektorů je rovina. 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 a 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ů představuje celý prostor . 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 . 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 se souřadnicemi
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. a . Lineární obal vektoru je tvořen všemi šipkami ležícími na přímce tímto vektorem procházející, podobně pro . 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. . 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 rovinoux-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.
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 . Symbolicky
Důkaz: Nechť a . Pak je zřejmě též lineární kombinací generátorů lineárního obalu .
Lineární obal vektorů je nejmenší (ve smyslu inkluze) podprostor vektorového prostoru , který obsahuje . Neboli, lineární obal vektorů je roven průniku všech podprostorů vektorového prostoru , které obsahují tyto vektory. Matematicky zapsáno
Důkaz: Každý z podprostorů, přes něž je prováděn průnik, obsahuje vektory . 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ů 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 je také podprostor, který obsahuje vektory . Protože na pravé straně provádíme průnik přes všechny podprostory s touto vlastností, tak jedním z podprostorů bude i lineární obal a průnik nemůže být tedy větší než tento lineární obal.
Důkaz: U dané permutace a konkrétní lineární kombinace jen propermutuji koeficienty podle . 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 , který patří do lineárního obalu vektorů , tak jeho přidáním do souboru generátorů tento lineární obal nezměním, tj.
Důkaz: Mějme . Dokažme nejprve inkluzi zleva doprava. Každá lineární kombinace z se dá zřejmě vyjádřit jako , tj. leží i v . Nyní opačná inkluze. Mějme lineární kombinaci z tvaru . Víme navíc z předpokladů, že se dá vyjádřit jako jistá lineární kombinace tvaru . Dosazením do původní lineární kombinace tak dostáváme . Tj. obdrželi jsme lineární kombinaci z .
Lineární obal lineárního obalu množiny je roven lineárnímu obalu množiny , tj.
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 má tvar , kde . Tedy , kde . (Pro každé mám obecně jinou sadu vektorů , proto označujeme a dvěma indexy.) Celkem tedy dostáváme , což je lineární kombinace vektorů z .
Neprázdná množina je podmnožinou svého lineárního obalu, tj.
Důkaz: Mám-li vektor , tak ho můžu chápat jako generátor lineárního obalu a jemu odpovídající lineární kombinace má všechny koeficienty nulové vyjma toho, který přísluší právě vektoru coby generátoru (tento koeficient je pak roven jedné).
Pokud je neprázdnou podmnožinou , kde , tak lineární obal množiny je podmnožinou lineárního obalu podmnožiny , tj.
Důkaz: Neboť generátory leží v , tj. i v , tak tvoří podmnožinu generátorů .
Mějme množinu lineárně nezávislých vektorů a dále množinu vektorů . Nechť lze navíc libovolný vektor z množiny vyjádřit jako lineární kombinaci vektorů z množiny . Pak platí, že vektorů v množině nemůže být víc než vektorů v množině . Pokud jich je stejně, tak se lineární obaly množin a rovnají. Pokud je vektorů v množině více než vektorů v , tak lze ke generátorům lineárního obalu množiny přidat vhodných dodatečných vektorů z množiny tak, že tyto vektory dohromady generují lineární obal množiny .
Uvažujme vektorový prostor nad tělesem reálných čísel 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
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
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
Obecná lineární kombinace těchto tří vektorů má tvar
kde a
.
Všechny možné lineární kombinace máme nyní popsány pouze dvěma parametry . 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ě
Teď pro změnu uvažujme vektorový prostor všech spojitých funkcí nad reálným tělesem 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
(Jedná se vlastně o jednoparametrickou množinu funkcí parametrizovanou přirozeným parametrem , který může nabývat i nulové hodnoty.) Lineární obal takovéto množiny funkcí je množina všech reálných polynomů, tj. funkcí tvaru
kde . Bereme tedy jen konečné lineární kombinace prvků z , viz poznámka u definice lineárních obalů pro nekonečné množiny.
Vektorový prostor 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. Uvažujme množinu (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:
kde značí imaginární jednotku. Bereme-li nyní množinu 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 jako vektorový prostor nad tělesem , tak lineární obal vektorů výše vypadá takto
zatímco vezmeme-li za těleso množinu komplexních čísel , 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
Ve druhém případě je tedy lineární obal zmíněných vektorů roven celému prostoru , 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
je v prostoru nad komplexním tělesem pouhým násobkem vektoru
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.