Wikipedista:Filip Albert/Pískoviště

Z Wikipedie, otevřené encyklopedie

Lineárním prostorem nazýváme každou neprázdnou množinu L, na které je definováno sčítání +: L × L → L a násobení reálným číslem ·: R × L → L a tyto operace splňují pro každé x ∈ L, y ∈ L, z ∈ L, α ∈ R, β ∈ R vlastnosti:

(1)    x + y = y + x
(2)    (x + y) + z = x + (y + z)
(3)    α · (β · x) = (α β) · x
(4)    α · (x + y) = α · x + α · y
(5)    (α + β)· x = α · x + β · x
(6)    1 · x = x
(7)    existuje o ∈ L, že pro každé x ∈ L je 0 · x = o

Prvky lineárního prostoru nazýváme vektory. Reálnému číslu v kontextu násobení ·: R × L → L říkáme skalár. Prvku o ∈ L z vlastnosti (7) říkáme nulový prvek nebo nulový vektor.


Nechť L je lineární prostor s operacemi "+" a "·". Neprázdnou množinu M ⊆ L nazýváme lineárním podprostorem prostoru L, pokud pro všechna x ∈ M, y ∈ M a α ∈ R platí:

(1)    x + y ∈ M
(2)    α · x ∈ M

Množinu G, na které je definována operace : G × G → G nazýváme grupou, pokud pro tuto operaci platí:

(1)    ∀x, y, z ∈ G: (x y) z = x (y z)
(2)    ∃e ∈ G, pro které platí ∀x ∈ G: e x = x e = x        (existence neutrálního prvku/jednotkového prvku)
(3)    ∀x ∈ G ∃y ∈ G: x y = y x = e        (existence opačného/inverzního prvku y pro každý prvek x)

Pokud navíc platí:

(4)    ∀x, y ∈ G: x y = y x        (komutativní zákon),

pak grupu G nazýváme komutativní grupou. Z historických důvodů a z úcty k norskému matematikovi, který rozpracoval teorii grup a bohužel zemřel mlád na zákeřnou nemoc ve věku 26 let, se komutativní grupa nazývá též Abelova grupa.


Nechť G je grupa s operací . Pokud G1 ⊂ G je sama o sobě grupou se stejnou operací, nazýváme G1 podgrupou grupy G.


Těleso je množina T se dvěma operacemi obvykle označovanými +: T × T → T a ·: T × T → T, které mají následující vlastnosti:

(1)    T s operací "+" je komutativní grupa. Neutrální prvek této grupy je označen symbolem 0.
(2)    T\{0} s operací "·" je komutativní grupa. Jednotkový prvek této grupy se značí symbolem 1
(3)    Operace "+" a "·" splňují distributivní zákon: a · (b + c) = a · b + a · c

Množinu L nazýváme lineárním prostorem nad tělesem T, pokud jsou definovány operace +: L × L → L a ·: T × L → L tak, že L tvoří s operací + komutativní grupu, a dále ∀α, β ∈ T, ∀x, y ∈ L:

(1)    α · (β · x) = (α · β) · x
(2)    α · (x + y) = α · x + α · y
(3)    (α + β) · x = α · x + β · x
(4)    1 · x = x

Nechť x1, x2, ..., xn, jsou vektory (tj. prvky nějakého lineárního prostoru). Lineární kombinací vektorů x1, x2, ..., xn rozumíme vektor:

α1 · x1 + α2 · x2 + ... + αn · xn,

kde α1, α2, ..., αn jsou nějaká reálná čísla. Těmto číslům říkáme koeficienty lineární kombinace.


Triviální lineární kombinace vektorů x1, x2, ..., xn je taková lineární kombinace, která má všechny koeficienty nulové. Netriviální lineární kombinace je taková lineární kombinace, která není triviální, tj. alespoň jeden koeficient je nenulový.


Skupinu vektorů x1, x2, ..., xn nazýváme lineárně závislou, pokud existuje netriviální lineární kombinace vektorů x1, x2, ..., xn, která je rovna nulovému vektoru. Stručně říkáme, že vektory x1, x2, ..., xn jsou lineárně závislé.


Skupinu vektovů x1, x2, ..., xn nazýváme lineárně nezávislou, pokud není lineárně závislá. Stručně říkáme, že vektory x1, x2, ..., xn jsou lineárně nezávislé.


Nechť L je lineární prostor. Neprázdná konečná množina vektorů K ⊆ L, K = {x1, x2, ..., xn} se nazývá lineárně závislá, pokud jsou vektory x1, x2, ..., xn lineárně závislé.

Nekonečná množina vektorů M ⊆ L se nazývá lineárně závislá, pokud existuje konečná K ⊆ M, která je lineárně nezávislá.

M ⊆ L se nazývá lineárně nezávislá, pokud není lineárně závislá.

Prázdnou množinu považujeme vždy za lineárně nezávislou.


Nechť L je lineární prostor. Lineární obal skupiny vektorů x1, x2, ..., xn je množina všech lineárních kombinací vektorů x1, x2, ..., xn.

Lineární obal konečné množiny K ⊆ L, K = {x1, x2, ..., xn } ztotožňujeme s lineárním obalem skupiny vektorů x1, x2, ..., xn.

Lineární obal nekonečné množiny M ⊆ L je sjednocení lineárních obalů všech konečných podmnožin množiny M.

Lineární obal skupiny vektorů x1, x2, ..., xn značíme <x1, x2, ..., xn>. Lineární obal množiny M značíme symbolem <M>.


Báze lineárního prostoru L je taková podmnožina B ⊆ L, pro kterou platí:

(1)    B je lineárně nezávislá
(2)    <B> = L