f n je n-té Fibonacciho číslo, definováno takto: f 0 = 0, f 1 = 1, f n+2 = f n+1 +f n. f k+1

Podobné dokumenty
Operace s maticemi

Operace s maticemi. 19. února 2018

MATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]

0.1 Úvod do lineární algebry

P 1 = P 1 1 = P 1, P 1 2 =

DEFINICE Z LINEÁRNÍ ALGEBRY

Vektory a matice. Obsah. Aplikovaná matematika I. Carl Friedrich Gauss. Základní pojmy a operace

Matematika B101MA1, B101MA2

1 Zobrazení 1 ZOBRAZENÍ 1. Zobrazení a algebraické struktury. (a) Ukažte, že zobrazení f : x

[1] Determinant. det A = 0 pro singulární matici, det A 0 pro regulární matici

[1] x (y z) = (x y) z... (asociativní zákon), x y = y x... (komutativní zákon).

0.1 Úvod do lineární algebry

(2) [B] Nechť G je konečná grupa tvořena celočíselnými maticemi roměru 2 2 s operací násobení. Nalezněte všechny takové grupy až na izomorfizmus.

Matice. Modifikace matic eliminační metodou. α A = α a 2,1, α a 2,2,..., α a 2,n α a m,1, α a m,2,..., α a m,n

a počtem sloupců druhé matice. Spočítejme součin A.B. Označme matici A.B = M, pro její prvky platí:

Základy matematiky pro FEK

Úlohy k přednášce NMAG 101 a 120: Lineární algebra a geometrie 1 a 2,

4. Trojúhelníkový rozklad p. 1/20

Matematika (CŽV Kadaň) aneb Úvod do lineární algebry Matice a soustavy rovnic

Lingebraické kapitolky - Počítání s maticemi

Matice. Předpokládejme, že A = (a ij ) je matice typu m n: diagonálou jsou rovny nule.

Úvod do lineární algebry

Maticí typu (m, n), kde m, n jsou přirozená čísla, se rozumí soubor mn veličin a jk zapsaných do m řádků a n sloupců tvaru:

Střípky z LA Letem světem algebry

(Cramerovo pravidlo, determinanty, inverzní matice)

1 Determinanty a inverzní matice

Nechť M je množina. Zobrazení z M M do M se nazývá (binární) operace

8 Matice a determinanty

maticeteorie 1. Matice A je typu 2 4, matice B je typu 4 3. Jakých rozměrů musí být matice X, aby se dala provést

ALGEBRA. Téma 4: Grupy, okruhy a pole

grupa těleso podgrupa konečné těleso polynomy komutativní generovaná prvkem, cyklická, řád prvku charakteristika tělesa

VI. Maticový počet. VI.1. Základní operace s maticemi. Definice. Tabulku

1 Linearní prostory nad komplexními čísly

Cvičení z Lineární algebry 1

0. Lineární rekurence Martin Mareš,

ALGEBRA. Téma 5: Vektorové prostory

V předchozí kapitole jsme podstatným způsobem rozšířili naši představu o tom, co je to číslo. Nadále jsou pro nás důležité především vlastnosti

Dosud jsme se zabývali pouze soustavami lineárních rovnic s reálnými koeficienty.

z = a bi. z + v = (a + bi) + (c + di) = (a + c) + (b + d)i. z v = (a + bi) (c + di) = (a c) + (b d)i. z v = (a + bi) (c + di) = (ac bd) + (bc + ad)i.

Učební texty k státní bakalářské zkoušce Matematika Vlastní čísla a vlastní hodnoty. študenti MFF 15. augusta 2008

Cvičení 5 - Inverzní matice

NALG 001 Lineární algebra a geometrie 1, zimní semestr MFF UK Doba řešení: 3 hodiny

Lineární algebra : Násobení matic a inverzní matice

Aplikovaná numerická matematika - ANM

Základy maticového počtu Matice, determinant, definitnost

Uspořádanou n-tici reálných čísel nazveme aritmetický vektor (vektor), ā = (a 1, a 2,..., a n ). Čísla a 1, a 2,..., a n se nazývají složky vektoru

Necht tedy máme přirozená čísla n, k pod pojmem systém lineárních rovnic rozumíme rovnice ve tvaru

[1] LU rozklad A = L U

Faculty of Nuclear Sciences and Physical Engineering Czech Technical University in Prague

Lineární algebra : Násobení matic a inverzní matice

Věta o dělení polynomů se zbytkem

Lineární algebra : Skalární součin a ortogonalita

Soustavy linea rnı ch rovnic

Kolik existuje různých stromů na pevně dané n-prvkové množině vrcholů?

1 Vektorové prostory.

1 Lineární prostory a podprostory

Soustavy lineárních rovnic

Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice

Kapitola 11: Vektory a matice 1/19

Lineární algebra : Skalární součin a ortogonalita

Lineární algebra - I. část (vektory, matice a jejich využití)

Definice 13.1 Kvadratická forma v n proměnných s koeficienty z tělesa T je výraz tvaru. Kvadratická forma v n proměnných je tak polynom n proměnných s

10. Soustavy lineárních rovnic, determinanty, Cramerovo pravidlo

Lineární algebra : Polynomy

1 Báze a dimenze vektorového prostoru 1

SOUČIN MATIC A m n B n p = C m p, přičemž: a i1 b 1j +a i2 b 2j + +a in b nj = c ij, i=1 m, j=1 p. Např: (-2) = -3

2. Schurova věta. Petr Tichý. 3. října 2012

15 Maticový a vektorový počet II

Definice. Vektorový prostor V nad tělesem T je množina s operacemi + : V V V, tj. u, v V : u + v V : T V V, tj. ( u V )( a T ) : a u V které splňují

Symetrické a kvadratické formy

Matice. a m1 a m2... a mn

Matematika 2 pro PEF PaE

)(x 2 + 3x + 4),

Těleso racionálních funkcí

SVD rozklad a pseudoinverse

Determinanty. Obsah. Aplikovaná matematika I. Pierre Simon de Laplace. Definice determinantu. Laplaceův rozvoj Vlastnosti determinantu.

2 Vektorové normy. Základy numerické matematiky - NMNM201. Definice 1 (Norma). Norma je funkcionál splňující pro libovolné vektory x a y a pro

označme j = (0, 1) a nazvěme tuto dvojici imaginární jednotkou. Potom libovolnou (x, y) = (x, 0) + (0, y) = (x, 0) + (0, 1)(y, 0) = x + jy,

Pomocný text. Polynomy

Arnoldiho a Lanczosova metoda

Algebraické struktury s jednou binární operací

Součin matice A a čísla α definujeme jako matici αa = (d ij ) typu m n, kde d ij = αa ij pro libovolné indexy i, j.

Lineární algebra Kapitola 1 - Základní matematické pojmy

Charakteristika tělesa

pochopení celé kapitoly je myšlenka, že těleso S lze považovat za vektorový prostor

1 Projekce a projektory

Soustavy lineárních rovnic a determinanty

12. Determinanty. 12. Determinanty p. 1/25

10. DETERMINANTY " # $!

Matematika 1 MA1. 2 Determinant. 3 Adjungovaná matice. 4 Cramerovo pravidlo. 11. přednáška ( ) Matematika 1 1 / 29

Zdrojem většiny příkladů je sbírka úloh 1. cvičení ( ) 2. cvičení ( )

Lineární algebra Operace s vektory a maticemi

Lineární algebra : Polynomy

Teorie grup 1 Příklad axiomatické teorie

7. Lineární vektorové prostory

PŘEDNÁŠKA 2 POSLOUPNOSTI

Číselné vektory, matice, determinanty

SOUSTAVY LINEÁRNÍCH ALGEBRAICKÝCH ROVNIC

Úlohy nejmenších čtverců

Řešení. Hledaná dimenze je (podle definice) rovna hodnosti matice. a a 2 2 1

Transkript:

Pokročilá lineární algebra úlohy pro zimní semestr Matice pro výpočet lineárních rekurencí (0 bodů) Na úvod si ve stručnosti popišme, jak počítat Fibonacciho čísla pomocí umocňování matic; ve větších podrobnostech popsáno na konci kapitoly 3. textu Povídání o Lineární algebře. Necht f n je n-té Fibonacciho číslo, definováno takto: f 0 = 0, f =, f n+ = f n+ +f n. Uvažme matici A a vynásobme jí zprava vektorem obsahující dvě po sobě jdoucí Fibonacciho čísla: ( ) ( ) ( ) ( ) ( ) fk+ fk +f A =, = k+ fk+ =, 0 0 f k tedy násobením A se posouváme v posloupnosti Fibonacciho čísel o jedna doprava. Proto platí, že ( ) ( ) ( ) f } A A A {{} = A n f fn+ =, f 0 f 0 f n n-krát kde první rovnost platí díky asociativitě. Navíc A n umíme spočítat v čase O(logn). Zkusíme výše uvedený postup zobecnit. Máme nějakou obecnou zadanou lineární rekurentní posloupnost. První členy x 0 až x k jsou předepsány. Každý další člen je lineární kombinace k předcházejících členů, tedy platí pro pevné koeficienty c 0 až c k. f k+ f k+ x n+k = c k x n+k +c k x n+k + +c x n+ +c 0 x n Příklad. Posloupnost může mít třeba určené první tři členy x 0 =, x =, x = 3 a další členy jsou určeny předpisem x n+3 = x n+ x n+ +3x n. Začátek posloupnosti vypadá takto: (,,3,4,7,,7,6,4,...). Úloha.. Zobecněte postup výpočtu pro obecnou lineární rekurenci. Pro zadané k a koeficienty c 0,...,c k popište, jak se matice A zkonstruuje. Pochopitelně také dokážte, že má požadováné vlastnosti. Tím pochopíte, jak jsme matici A pro Fibonacciho čísla získali. Nápověda. Zkuste nejprve uvažovat posloupnosti pro k =, tedy posloupnosti, které závisí pouze na dvou předcházejících členech. Poznámka. Matice A je zajímavá, i když nechceme zkonstruovat rychlý algoritmus. V létě si ukážeme, jak z ní lze vydolovat vzorec pro n-tý člen lineární rekurence. K tomu se budou hodit vlastní čísla matice A. Ta nám umožní převést matici do Jordanova tvaru, ve kterém bude vzorec přímo vidět. Permutační matice ( bodů) Permutace již známe z diskrétní matematiky. Permutace π je bijektivní zobrazení π : X X, tedy různým prvkům z X přiřazujeme různé prvky. Intuitivně je permutace pouze nějaké přeuspořádání prvků v X. Nás budou zajímat permutace množiny X = {,,...,n}. Pro permutaci π je permutační matice P π čtvercová matice n n daná předpisem: { pro π(i) = j, (P π ) ij = 0 jinak. Využijeme půlení, nebot a n = ( a n ). Pokud tento algoritmus neznáte, zkuste si rozmyslet detaily.

Tedy je to nula-jedničková matice, která má v každém řádku přesně jednu jedničku na pozici (i,π(i)). Příklad. Ukážeme si dva příklady. Pro n = mějme permutace π a σ dané následujícím předpisem (v druhém řádku je zapsáno, kam se čísla zobrazují): ( ) ( ) 3 4 3 4 π = a σ =. 3 4 3 4 Tyto permutace mají permutační matice P π a P σ (s vynechanými nulami): P π = a P σ =. Pro permutační matice vyřešte následující: Úloha.. Proč se permutačním maticím říká permutační? Uvažte, co permutační matice provádí s maticí A (pochopitelně správné velikosti), pokud ji násobí zleva či zprava. Úloha.. Permutační matice stejné velikosti lze násobit. Pro libovolné n-prvkové permutace π a σ má P π P σ smysl. Ukažte, že součin permutačních matic je opět permutační matice a objevte, v jakém je vztahu k permutacím π a σ. Úloha.3. Permutační matice mají plnou hodnost, rank(p π ) = n. Tedy vždy existuje inverzní matice. Zjistěte pro libovolnou permutaci π, jak vypadá inverzní matice P π. Úloha.4. Ukažte, že pro libovolnou permutační matici P π existuje mocnina k, že P k π = I n. Jaká je nejmenší možná hodnota k? 3 Matice Pascalova trojúhelníku (0 bodů) Část Pascalova trojúhelníku můžeme zapsat do matice n n třemi způsoby: L n je dolní trojúhelníková matice, U n je horní trojúhelníková a S n má zapsaný Pascalův trojúhelník po diagonálách. Formálně, pokud číslujeme prvky matice od 0 do n : ( i+j (L n ) i,j = ( i j ), (U n ) i,j = ( j i ), (S n ) i,j = kde pochopitelně ( i j) = 0 pro nesmyslné hodnoty j > i. Příklad. Například pro n = vypadají matice takto (s vynechanými nulami): 3 4 L = 3 6 3 3 4 6 4, U = Úloha 3.. Jak bude vypadat součin L U? 4 i ), 3 4, S = 3 6 0 4 0 0 3. 3 70 Úloha 3.. Zobecněte získaný výsledek a popište součin L n U n. Pochopitelně pokud odvodíte obecný vztah, nemusíte řešit předchozí úlohu. Nápověda. Zkuste objevit co nejvíc důkazů. Lze si součin rozepsat formálně pomocí definice součinu a vzpomenout si na sumy kombinačních čísel. Další možné řešení je provést Gaussovu eliminaci vzniklé matice L n U n a udělat její LDU dekompozici. Co budou asi matice L a U? Za každý různý důkaz budou další body (různost posuzuje cvičící :)).

4 Mocniny Jordanovy matice (0 bodů) Jordanova matice je bloková diagonální matice složená z čtvercových bloků umístěných podél diagonály, které se nazývají Jordanovy buňky. Jordanova buňka J λ je matice, která má na diagonále hodnotu λ, nad diagonálou proužek jedniček a zbytek matice je nulový, příklad Jordanovy buňky je na obrázku vlevo. Jordanova matice je složena z bloků umístěných na diagonálu, a každý blok je jedna Jordanova buňka. Příklad Jordanovy matice je na obrázku vpravo. λ J λ = λ λ λ λ J = J λ J λ Jλ3 J λ4 Jordanova věta je jeden z fundamentálních výsledků lineární algebry a říká následující: Věta (Jordanova normální forma). Pro každou čtvercovou matici A existuje regulární matice S a Jordanova matice J, že A = SJS. Například pro matici A pro výpočet Fibonacciho čísel z prvního úkolu (či konce kapitoly 3. textu Povídání o lineární algebře) dostáváme následující na první pohled odpudivou Jordanovu normální formu: A = ( ) = 0 + + + = SJS. Je velice užitečné umět pro matici A spočítat její k-tou mocninu A k, s tím jsme se už setkali v prvním úkolu pro výše uvedenou A. Přesně v takové situaci se hodí Jordanova věta, která umožňuje A k přesně určit. Platí totiž: A k = SJS SJS SJS = SJ k S. Tedy v případě k-té mocniny stačí umocňovat pouze Jordanovu matici. Například můžete zkusit z výše uvedeného rozkladu vyvodit vzorec pro k-té Fibonacciho číslo ( f k = + ) k ( ) k. Cílem této úlohy je zjistit, jak vypadá k-tá mocnina Jordanovy matice. To lze samozřejmě spočítat přímo z definice maticového násobení, i když postup je to trochu pracný. Ukážeme si trikový výpočet založený na binomické větě. Pro začátek jedna ze základních vlastností blokových diagonálních matic: Úloha 4.. Předpokládejme, že umíme umocňovat Jordanovy buňky, tedy známe J k λ. Určete J k v závislosti na J k λ. 3

4. Binomická věta Binomická věta z kombinatoriky je následující identita, která platí pro všechna reálná čísla a a b a přirozená čísla k: ( ) ( ) ( ) ( ) ( ) n n n n n (a+b) k = a 0 b n + a b n + a b n + + a n b + a n b 0. 0 n n Přesně v této podobě však binomická věta pro matice fungovat nemůže, totiž například: (A+B)(A+B) = A(A+B)+B(A+B) = A +AB +BA+B. Protože součin matic obecně nekomutuje, neplatí obecně rovnost (A+B) = A +AB +B. Pokud se však AB = BA, binomická věta platí. Speciálně jsme ukázali na cvičeních, že αi n komutuje s libovolnou maticí A. Úloha 4.. Čemu se rovná (A+αI n) k? 4. Mocnina Jordanovy buňky Zbývá vyřešit, jak vypadá k-tá mocnina Jordanovy buňky Jλ k. To uděláme ve dvou krocích: Úloha 4.3. Jak vypadá k-tá mocnina J k 0? Nápověda. Tady stačí postupovat z definice násobení, ale výsledek vyjde velice hezky. Úloha 4.4. Jak vypadá k-tá mocnina J k λ? Nápověda. Využijte binomickou větu. Matice s vzorem šachovnice ( bodů) Na cvičení jsme dokázali, že třídy U horních trojúhelníkových matic, L dolních trojúhelníkových matic a D diagonálních matic jsou uzavřené na sčítání, násobení a inverze (pochopitelně pouze pokud inverze existují). Tedy například pro A,B U platí A + B U, AB U a A U, pokud operace dávají smysl. V této úloze chceme zjistit, jestli něco podobného platí pro dvě třídy matic Šl a Šs se šachovnicovým vzorem. Nejprve definujme tyto třídy. Čtvercová matice A patří do Šl, právě když (A) i,j = 0, kdykoliv i + j je liché. Podobně čtvercová matice B patří do Šs, právě když (B) i,j = 0, kdykoliv i+j je sudé. Na ostatní políčka matic neklademe žádné předpoklady, tedy například nulová matice patří do obou tříd. Příklad. Několik příkladů těchto matic (s vynechanými nulami mimo šachovnicový vzor): ( ) 0 0 ( ) 4 0,, 3 7 0 a, 3, 4 0 7. 0 0 0 7 }{{}}{{} Šl Šs Úloha.. Rozhodněte, zda jsou třídy Šl a Šs uzavřené na součet. Úloha.. Rozhodněte, zda jsou třídy Šl a Šs uzavřené na součin? Jsou součiny matic z těchto tříd v nějakém dalším vztahu; třeba pro AB, pokud A Šl a B Šs? Úloha.3. Rozhodněte, zda jsou třídy Šl a Šs uzavřené na inverze (opět s předpokladem, že pro A inverzní matice A existuje)? Lze pro některé rozměry s jistotou říct, že matice není invertovatelná? Nápověda. Inverze se počítá pomocí Gaussovy eliminace, která převede tvar (A I n ) na tvar (I n A ). Nelze nějak vhodně využít vlastností šachovnicového vzoru? 4

6 Konečná tělesa existují jen pro mocniny prvočísla (40 bodů) V této úloze si ukážeme část z důkazu následující algebraické věty. Věta. Konečné těleso F řádu ř existuje, právě když ř je mocnina prvočísla p k. Dokonce platí, že konečně těleso daného řádu je určeno jednoznačně (až na přejmenování prvků, kterému se odborně říká isomorfismus). Tato věta tedy opodstatňuje označení GF(p k ), nebot těleso řádu p k je jednoznačně určené. V důkazu ukážeme, že každé takové těleso je vysoce symetrický objekt, který v sobě skrývá vektorový prostor. To je poměrně překvapivé, nebot v definici tělesa se vektorové prostory vůbec nevyskytují a naopak ty se definují pomocí těles. Co o tělesech už známe... V samotném důkazu můžeme použít pouze axiomy tělesa a jejich důsledky! Připomeňme si, co říkají axiomy tělesa: Těleso je struktura s dvěma operacemi sčítáním a násobením. Těleso obsahuje dva speciální prvky, neutrální prvek na sčítání (budeme značit 0) a neutrální prvek na násobení (značíme ). Z hlediska sčítání se těleso chová jako grupa máme inverzní prvky a neutrální prvek. Z hlediska násobení se těleso bez 0 chová jako grupa opět máme inverze a neutrální prvek. Navíc operace sčítání a násobení jsou dohromady svázané distributivitou. Z axiomů lze odvodit i další vlastnosti těles, některé jsme již viděli. Neutrální prvky 0 a a inverze pro obě operace jsou určeny jednoznačně. Ostatně to platí obecně i v grupách. Libovolný násobek 0 je zase nula: a 0 = 0. Pokud a+b = a+c, potom b = c. Podobně pro násobení a a 0, pokud a b = a c, potom b = c. Neexistují dvě nenulová čísla a a b, že a b = 0. Z p je podtěleso F Na rozjezd vyřešíme tělesa s prvočíselnou velikostí. Uvažujme strukturu Z k tvořenou čísly 0,...,k a operacemi sčítaní a násobení definovanými jako zbytek po celočíselném sčítání a násobení. Příklad. Například pro Z 4 a prvky a = a b = 3 dostaneme, že a + b = a a b =, nebot přesně takové zbytky mají čísla a 6 po dělení 4. Úloha 6.. Dokažte, že Z p je těleso, právě když p je prvočíslo. Nápověda. Pokud p není prvočíslo, není těžké nalézt dvojici, která porušuje poslední vlastnost. Pro prvočísla to se sčítáním bude docela jednoduché. Je však třeba pro každý prvek a ukázat, že násobení tímto prvkem je prosté, tedy že neexistuje dvě rozdílná čísla b a c, aby a b = a c. Charakteristika tělesa je nejmenší přirozené číslo k takové, že součet k jedniček ++ + = 0, případně 0, pokud takové k neexistuje (třeba reálná čísla). Úloha 6.. Dokažte, že pro každé konečné těleso F je jeho charakteristika nějaké prvočíslo p. Nápověda. Ukažte nejprve, že charakteristika je nenulová. Poté zkuste dokazovat sporem. Kdyby charakteristika nebyla prvočíselná, co by bylo špatně?

Označme součet k jedniček pomocí k. V tělese tedy máme prvky 0,...,p. O dalších prvcích zatím nic nevíme. Úloha 6.3. Ukažte, že prvky 0,...,p tvoří podtěleso totožné Z p. Cože? Těleso je vektorový prostor? Z p 0 3 p F Nyní využijeme získané znalosti o tělesech a dokončíme důkaz překvapivým úskokem, však posud te sami. Úloha 6.4. Dokažte, že každé konečné těleso F charakteristiky p je vektorový prostor V nad tělesem Z p. Operace V definujeme takto: sčítání vektorů odpovídá sčítání v tělese a skalární násobení násobením v tělese (protože Z p je podtěleso F, lze to takto definovat). Nápověda. K tomu potřebujeme dokázat, že vzniklá struktura splňuje všechny axiomy vektorového prostoru. Neplyne to snadno z toho, že F je těleso? Víme, že vektorové prostory tvoří silně předurčenou strukturu, pojd me toho tedy využít. Vektorový prostor V má totiž konečnou dimenzi k. Podle Steinitzovy věty víme, že existuje nějaká báze b,...,b k. Sice vůbec netušíme, jak vypadá, ale to nebudeme potřebovat stačí vědět, že existuje. Bude se hodit ještě jedno obecné tvrzení o bázích a lineárních kombinacích. Úloha 6.. Dokažte,žepokudb,...,b k jebázevektorovéhoprostoru,potomjejírůznélineární kombinacedefinujírůznévektory.tedydokažte,že k i= α ib i = k i=ᾱib i implikuje,žeα i = ᾱ i. Dokončení důkazu A na závěr složme oba poznatky dohromady. Úloha 6.6. Dokažte, že každé konečné těleso F má p k prvků. Nápověda. Kolik rozdílných lineárních kombinací vektorů b,...,b k existuje? Tím jsme ukázali neexistenci konečného tělesa velikosti, která není mocnina prvočísla. Také vám přijde trik hezký? Pokud jste se dostali až sem (a případně všechna tvrzení po cestě dokázali), máte můj obdiv (a zasloužíte si své body :)). 7 Svědci a světci (0 bodů) Představme si, že po nás někdo chce vyřešit soustavu Ax = b. To není nijak těžké, že? Ale co s tím, když takové řešení neexistuje? Na cvičeních jsme ukázali, jak za pomocí metody nejmenších čtverců soustavu co nejméně pozměnit, aby řešení existovalo. To je vhodné jen pro některé aplikace a pro jiné by se více hodilo mít svědka (neboli certifikát), pomocí kterého snadno dokážeme, že řešení neexistuje. Certifikáty hrají důležitou roli v teorii složitosti. Zkusíme si vyrobit jeden takový certifikát pro to, že Ax = b nemá řešení. Stačí k tomu nalézt vektor y správných vlastností. Úloha 7.. Soustava Ax = b nemá řešení, právě když existuje y, že A T y = 0 a y T b =. Nápověda. Zamyslete se nad tím, co úloha říká v řeči fundamentálních prostorů A. Rozmyslete si také, že bude platit i tvrzení, kde bychom nahradili libovolnou jinou nenulovou konstantou. Poznámka. V praxi se používají ještě o něco silnější tvrzení, tzv. Farkašova lemmata. Jsou to oddělovací lemmata pro systémy například Ax b nebo dokonce max x {c T x : Ax = b}. 6