Úvod 2 Predhovor... 2 Sylaby a literatúra... 2 Označenia... 2

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "Úvod 2 Predhovor... 2 Sylaby a literatúra... 2 Označenia... 2"

Transcript

1 Obsah Úvod Predhovor Sylaby a literatúra Označenia Euklidovské vektorové priestory 3 Skalárny súčin 3 Gram-Schmidtov ortogonalizačný proces 8 Kvadratické formy 6 Definícia a základné vlastnosti 6 Kanonický tvar kvadratickej formy 7 3 Zákon zotrvačnosti 3 Podobnosť matíc 7 3 Matica prechodu, podobnosť matíc 7 3 Podobnosť s diagonálnou maticou 3 33 Krivky druhého rádu Jordanov normálny tvar Aplikácie podobnosti a Jordanovho normálneho tvaru Lineárne rekurencie Sústavy lineárnych homogénnych diferenciálnych rovníc PageRank algoritmus 60 4 Symetrické polynómy 68 Register 7 Zoznam symbolov 7

2 Úvod Verzia: 7 mája 009 Predhovor V rámci tohoto textu sa budeme občas odkazovať aj na veci z predchádzajúcich semestrov Takéto odkazy budú označené napríklad ako veta I-36 alebo veta II-35 (Keďže ste absolvovali predmety Algebra, dá sa predpokladať, že budete vedieť o akú vetu ide Toto je viac-menej pomôcka - ak si nebudete istí, môžete si tam znenie príslušenej vety, lemy, či definície skontrolovať Verzia poznámok z predchádzajúcich semestrov, na ktorú sa toto číslovanie vzťahuje, bude tiež na stránke predmetu Časti označené hviezdičkou sú nepovinné doplnil som ich preto, že by Vás niektoré z nich mohli zaujímať V cvičeniach hviezdička označuje náročnejšie cvičenia a + označuje nepovinné cvičenia (napríklad tie, ktoré sa týkajú nepovinných častí Sylaby a literatúra Sylaby predmetu: Skalárny súčin, ortonormálna báza a ortogonálna projekcia na podpriestor Kvadratické formy a ich kanonické tvary Pozitívna (semidefinitnosť matice a kvadratickej formy a kritériá na overenie pozitívnej definitnosti Zmena bázy, podobné matice Podobnosť matice s diagonálnou maticou Vlastné čísla a vlastné vektory, charakteristický polynóm Ortogonálne matice, ortogonálna podobnosť, Schurova veta a veta o hlavných osiach Symetrické polynómy Použitie rýchlej Fourierovej transformácie pri násobení veľkých čísel Literatúra: Základnou literatúrou pre tento kurz je [KGGS]; objavia sa však aj témy, ktoré v tejto knihe spracované nie sú, k nim sem časom doplním vhodnú literatúru Cvičenia v texte som vyberal z kníh [KGGS, BM, FS, K] Označenia Ako obvykle, Z, Q, R, C označuje množinu celých, racionálnych, reálnych a komplexných čísel, N = {,, 3, } je množina prirodzených čísel a N 0 = N {0} Označenie A B používame pre množinu zobrazení z B do A Špeciálne v niektorých príkladoch sa vyskytuje množina R R a R N, na oboch týchto množinách sa dajú prirodzeným spôsobom zaviesť sčitovanie a násobenie tak,ž e tieto množiny tvoria vektorový priestor

3 Kapitola Euklidovské vektorové priestory Táto kapitola je spracovaná prevažne na základe [KGGS, 6,7] Skalárny súčin Skalárny súčin vektorov patriacich do R alebo R 3 poznáte zo strednej školy Tam ste skalárny súčin vektorov α = (a, a a β = (b, b definovali ako α, β = a b + a b (Používali ste iné označenie pre skalárny súčin, ako budeme používať my Takisto ste sa na strednej škole naučili, ako súvisí skalárny súčin s veľkosťou vektora a uhlom, ktorý zvierajú vektory: α, β = α β cos α, α = a + a = α, α My by sme teraz chceli zaviesť definíciu skalárneho súčinu o niečo všeobecnejšie chceli by sme popísať, aké vlastnosti by mal mať skalárny súčin, aby sme pomocou neho mohli zmysluplne hovoriť o veľkosti alebo uhle vektorov z daného vektorového priestoru Budeme opäť postupovať axiomaticky zavedieme si niekoľko základných vlastností skalárneho súčinu, z ktorých sa budú dať odvodiť ostatné Definícia Nech (V, +, je vektorový priestor nad poľom R Potom zobrazenie g : V V R sa nazýva skalárny súčin na V, ak pre ľubovoľné α, β V a c F platí (i g( α, β = g( β, α, (ii g( α + β, γ = g( α, γ + g( β, γ, (iii g(c α, γ = cg( β, γ, (iv ak α 0, tak g( α, α > 0 Vektorový priestor V spolu so skalárnym súčinom g nazývame euklidovským vektorovým priestorom 3

4 4 Skalárny súčin Predchádzajúcu definíciu môžeme stručne preformulovať tak, že zobrazenie g je symetrické (i, kladne definitné (iv, a bilineárne (ii a (iii S pojmom kladnej definitnosti sa ešte stretneme, neskôr sa ním budeme zaoberať podrobnejšie Pod bilinearitou rozumieme to, že zobrazenie je lineárne v oboch premenných ak zvolím pevne vektor α a mením β, môžeme ho chápať ako zobrazenie, ktoré vektoru β priradí reálne číslo Z (ii a (iii vidíme, že toto zobrazenie je lineárne Rovnako je to aj v prípade, že fixujeme β Všimnite si, že skalárny súčin sme definovali iba pre vektorové priestory nad poľom R Namiesto g( α, β budeme používať označenie α, β Pri tomto označení uvedené vlastnosti môžeme prepísať nasledovne: (i α, β = β, α, (ii α + β, γ = α, γ + β, γ, (iii c α, β = c α, β, (iv ak α 0, tak α, α > 0 Podmienku (iv možno ekvivalentne vyjadriť aj tak, že pre každý vektor α platí α, α 0 a rovnosť nastáva jedine pre α = 0 (Skúste si rozmyslieť, ako z prvých troch podmienok v definícii vyplýva, že 0, α = 0 pre ľubovoľné α Ak V je euklidovský vektorový priestor, tak aj každý jeho podpriestor je euklidovský priestor (s rovnako definovaným skalárnym súčinom Poznámka Niekedy sa skalárny súčin definuje aj pre vektorové priestory nad poľom C V tomto prípade sa podmienka (i zmení na α, β = β, α Všimnime si, že táto podmienka implikuje, že α, α = α, α, a teda α, α R Vďaka tomu má zmysel aj podmienka (iv My sa však budeme zaoberať iba reálnymi euklidovskými priestormi Príklad 3 Zoberme si vektorový priestor R n s obvyklým sčitovaním a skalárnym násobkom (po zložkách Potom pre vektory α = (a,, a n a β = (b,, b n definujeme α, β = a k b k k= V prípade R alebo R 3 dostávame skalárny súčin ako ho poznáte zo strednej školy Vlastnosti z definície skalárneho súčinu sa overia pomerne jednoducho Vlastnosť (i je zrejmá Vlastnosti (ii a (iii sa overia jednoduchou úpravou: (a k + b k c k = k= (a k c k + b k c k = k= ca k = c a k k= Aby sme overili vlastnosť (iii, stačí si všimnúť, že α, α = 4 k= a k k= a k c k + k= b k c k, k=

5 KAPITOLA EUKLIDOVSKÉ VEKTOROVÉ PRIESTORY 5 Pretože a k 0, aj skalárny súčin α, α 0 a rovný 0 bude iba v prípade, že všetky sčítance sú nulové, tj a k = 0 pre každé k a α = 0 Príklad 4 Definujme na R skalárny súčin nasledovne: α, β = a b + a b + a b + a b, pre α = (a, a a β = (b, b Vlastnosti (i (iii sa overia ľahko Vlastnosť (iv vyplýva z toho, že α, α = a + a a + a = (a + a + a, čiže α, α = 0 platí práve vtedy, keď a = 0 a súčasne a + a = 0, teda a = a = 0, čiže α = 0 Príklad 5 Postup z predchádzajúceho príkladu sa dá zovšobecniť Všimnime si, že je to špeciálny prípad nasledujúceho zápisu: g( α, β = (a a n C b b b n = αc β T, kde C je matica typu n n Takýto predpis priradí vektorom α = (a,, a n, β = (b,, b n R n nejaké reálne číslo Nie vždy to však bude skalárny súčin Všimnime si, že tento predpis môžeme zapísať aj takto: g( α, β = i= j= a i c ij b j V prípade, že ide o symetrickú maticu, čiže c ij = c ji, ľahko zistíme, že je splnená podmienka (i Podmienky (ii a (iii sú splnené pre ľubovoľnú maticu S podmienkou (iv je to o niečo komplikovanejšie Budeme sa ňou zaoberať neskôr Príklad 6 Ako C(a, b označíme množinu všetkých spojitých funkcií f : a, b R Tieto funkcie tvoria vektorový podpriestor priestoru všetkých funkcií z a, b do R a predpis f, g = b a f(xg(xdx definuje skalárny súčin na tomto priestore (Takto by sme vedeli definovať skalárny súčin aj na podstatne väčšom priestore funkcií stačilo by zvoliť nejaké podmienky, ktoré zaručia, že súčin f(xg(x bude mať konečný integrál Keď však použijeme aj nespojité funkcie, budeme mať problémy pri overovaní podmienky (iv Pravdepodobne v niektorom z vyšších ročníkov sa na analýze stretnete s Fourierovými radmi, kde sa objaví tento istý skalárny súčin a dozviete sa tam aj ako sa to dá definovať tak, aby to fungovalo aj pre iné funkcie, nielen spojité Ak máme euklidovský vektorový priestor, tak môžeme prirodzeným spôsobom zadefinovať veľkosť vektora a uhol dvoch vektorov Uvidíme, že takto zavedená veľkosť vektora spĺňa viaceré vlastnosti, ktoré platia pre veľkosť vektora v R a R 3 Definícia 7 Nech V je euklidovský vektorový priestor Potom pre α V definujeme veľkosť vektora α ako α = α, α 5

6 6 Skalárny súčin Všimnite si, že podmienka (iv z definície skalárneho súčinu zaručí, že veľkosť je definovaná pre ľubovoľný vektor (nikdy v predpise pre α nedostaneme odmocninu zo záporného čísla Niekedy sa používa aj označenie α (napríklad v [KGGS] Tvrdenie 8 Nech V je euklidovský vektorový priestor Pre ľubovoľné α, β V a c R platí: (i α 0 (ii α = 0 α = 0 (iii c α = c α (iv α, β α β (Schwarzova nerovnosť (v α + β α + β (trojuholníková nerovnosť Dôkaz Vlastnosti (i, (ii, (iii sa overia ľahko priamo z definície (iv Dokážeme použitím vlastnosti (i pre vektor α + c β, kde c je ľubovoľné reálne číslo Na základe vlastností skalárneho súčinu môžeme urobiť tieto úpravy: α + c β = α + c β, α + c β = α, α + c α, β + c β, β = α + c α, β + c β 0 Pretože uvedená nerovnosť má platiť pre každé c a môžeme ju chápať ako kvadratickú nerovnicu s neznámou c, diskriminant tejto nerovnice musí byť nezáporný Z tejto nerovnosti dostaneme D = 4 α, β 4 α β 0 α, β α β α, β α β (v Pokúsme sa upraviť výraz α + β Platí α + β = α + β, α + β = α, α + α, β + β, β = α + α, β + β ( α + α β + β = ( α + β (v nerovnosti ( sme použili Schwarzovu nerovnosť (iv Z podslednej nerovnosti už vyplýva (v Schwarzova nerovnosť pre priestor R n s obvyklým skalárnym súčinom sa často používa pri dôkaz rôznych nerovností x k y k n x k yk ( k= Definícia 9 Nech V je euklidovský vektorový priestor Uhol dvoch nenulových vektorov definujeme ako taký uhol, pre ktorý platí k= cos ϕ = α, β α β k= V prípade, že niektorý z vektorov je nulový, položíme ϕ = 0 6

7 KAPITOLA EUKLIDOVSKÉ VEKTOROVÉ PRIESTORY 7 Všimnite si, že vďaka Schwarzovej nerovnosti je výraz vystupujúci v definícii uhla dvoch vektorov z intervalu,, teda takýto uhol skutočne existuje Definícia 0 Vektory α, β V nazveme kolmé (ortogonálne, ak α, β = 0 O k-tici vektorov α,, α k hovoríme, že tieto vektory sú ortogonálne, ak ľubovoľné z nich sú ortogonálne, tj α i, α j = 0 pre každé i j Tvrdenie Nech V je euklidovský vektorový priestor Ak nenulové vektory α,, α k sú ortogonálne, tak sú lineárne nezávislé Dôkaz Nech c,, c k R sú také, že c α + + c k α k = 0 Zoberme si ľubovoľné i {,,, k} Potom dostaneme 0 = α i, 0 = α i, c α + + c k α k = c i α i Táto rovnosť môže platiť jedine ak α i = 0 alebo c i = 0 Pretože α i 0, platí c i = 0 Použitím rovnakej úvahy pre všetky i =,,, k dostaneme c = c = = c k = 0 Teda dané vektory sú lineárne nezávislé Definícia Nech V je euklidovský priestor a M V Potom sa nazýva ortogonálny doplnok množiny M M = {α V ; α, β = 0 pre všetky β M} Tvrdenie 3 Nech V je euklidovský priestor a M V Potom M je vektorový podpriestor priestoru V Dôkaz Zrejme 0 M, preto M je neprázdna množina Treba ešte overiť, že pre všetky α, α M a c, d R aj c α + d α M Ak pre všetky β M platí α, β = 0 a α, β = 0, tak aj teda c α + d α M c α + d α, β = c α, β + d α, β = 0, Tvrdenie 4 Ak V je euklidovský priestor a M N V, tak N M Dôkaz Ak α N, tak α, β = 0 pre všetky vektory β N To ale znamená, že α, β = 0 platí aj pre všetky vektory β M (pretože M N, a teda N M Lema 5 Nech V je euklidovský priestor a α,, α k V Nech S = [ α,, α k ] je podpriestor vygenerovaný týmito vektormi Potom S = { α,, α k } Dôkaz Z toho, že { α,, α k } S vyplýva inklúzia S { α,, α k } Naopak, nech β { α,, α k } To znamená, že β, α i = 0 pre i =,,, k Potom β, α = 0 aj pre ľubovoľný vektor α [ α,, α k ], pretože každý vektor z tohoto podpriestoru má tvar α = c α + + c k α k a β, c α + + c k α k = c β, α + + c k β, α k = 0 7

8 8 Gram-Schmidtov ortogonalizačný proces Tvrdenie 6 Ak V je euklidovský priestor a S, T sú podpriestory V, tak (S + T = S T Dôkaz Pretože S S + T aj T S + T máme (S + T S a súčasne (S + T T, z čoho vyplýva (S + T S T Naopak, ak α S T, tak vektor α je kolmý na ľubovoľný vektor z S aj na ľubovoľný vektor z T Každý vektor z S + T sa dá zapísať v tvare β + γ, kde β S a γ T, takže potom platí α, β + γ = α, β + α, γ = 0, teda α je kolmý na každý vektor z S + T, čiže patrí do (S + T Ukázali sme, že platí aj opačná inklúzia S T (S + T Gram-Schmidtov ortogonalizačný proces Definícia Vektory α,, α n sa nazývajú ortonormálne, ak pre všetky i platí α i = a pre i j platí α i, α j = 0 Stručne povedané, sú to ortogonálne normované vektory (pod slovom normované rozumieme, že ich veľkosť je Z tvrdenia vyplýva, že ortonormálne vektory sú lineárne nezávislé Ak ich teda bude dosť veľa (v prípade konečnorozmerného priestoru toľko, koľko je dimenzia priestoru, môžu tvoriť bázu Definícia Ak vektory α,, α n sú ortonormálne a tvoria bázu vektorového priestoru V, tak túto bázu nazývame ortonormálna báza Príklad 3 Najjednoduchší príklad je štandardná báza e,, e n v priestore R n so štandardným skalárnym súčinom α, β = a k b k V takomto euklidovskom priestore majú všetky vektory e,, e n veľkosť a každý z nich je kolmý na všetky ostatné k= Výhoda ortonormálnej bázy spočíva v tom, že ak máme vektory vyjadrené pomocou ortonormálnej bázy veľmi ľahko vypočítame ich skalárny súčin v podstate rovnako ako v predchádzajúcom príklade Majme α = c α + + c n α n a β = d α + + d n α n, kde vektory α,, α n tvoria ortonormálnu bázu Potom α, β = c α + + c n α n, d α + + d n α n = i= j= c i d j α i, α j 8

9 KAPITOLA EUKLIDOVSKÉ VEKTOROVÉ PRIESTORY 9 Jediné nenulové členy v predchádzajúcej sume sú tie, kde i = j Navyše vieme, že α i, α i = Dostaneme teda α, β = c i d i Naším najbližším cieľom je ukázať ako z ľubovoľnej bázy v euklidovskom vektorovom priestore vieme dostať ortonormálnu bázu Dôkaz nasledujúcej vety poskytuje jej konštrukciu, ktorá sa zvykne nazývať Gram-Schmidtov ortogonalizačný proces Veta 4 Nech V je euklidovský vektorový priestor a α,, α n je báza priestoru V Potom existuje ortonormálna báza β,, β n priestoru V Dôkaz Nech α,, α n je báza priestoru V Najprv sa pokúsime nájsť takú bázu γ,, γ n priestoru V, ktorej vektory sú ortogonálne γ = α γ = α + c γ γ 3 = α 3 + c 3 γ + c 3 γ i= γ n = α n + c n γ + c n γ + + c n,n γ n Budeme postupovať indukciou Prvý krok indukcie je jasný - stačí položiť γ = α Predpokladajme teraz, že už sme našli k ortogonálnych vektorov γ,, γ k, ktoré majú uvedený tvar Navyše platí [ α,, α k ] = [ γ,, γ k ] Chceli by sme nájsť vektor γ k+ kolmý na všetky predchádzajúce, ktorý by mal navyše tvar a súčasne taký, aby platilo γ k+ = α k+ + c k+, γ + c k+, γ + + c k+,k γ k [ α,, α k+ ] = [ γ,, γ k+ ] Ak má byť tento vektor kolmý na predchádzajúce, musia platiť rovnosti 0 = γ k+, γ = α k+, γ + c k+, γ, γ 0 = γ k+, γ = α k+, γ + c k+, γ, γ 0 = γ k+, γ 3 = α k+, γ 3 + c k+,3 γ 3, γ 0 = γ k+, γ k = α k+, γ k + c k+,k γ k, γ ( (V každej rovnici sme vynechali všetky členy obsahujúce γ i, γ j pre i j, i, j {,,, k}, pretože podľa indukčného predpokladu sú tieto hodnoty nulové Z predchádzajúcich rovníc môžeme vyjadriť všetky koeficienty c k+,i : pre každé i =,,, k c k+,i = α k+, γ i γ, γ i 9

10 0 Gram-Schmidtov ortogonalizačný proces Z rovníc ( vidno, že pre takéto hodnoty c k+,i bude vektor γ k+ skutočne kolmý na všetky predchádzajúce vektory Ďalej vieme, že α k+ / [ α,, α k ] = [ γ,, γ k ] (lebo vektory α,, α n sú lineárne nezávislé Teda aj α k+, γ,, γ k sú lineárne nezávislé, čiže ich lineárnou kombináciou nemôžeme dostať 0 Pretože γ k+ = α k+ + c k+, γ + c k+, γ + + c k+,k γ k je lineárna kombinácia týchto vektorov a koeficient pri α k+ je 0 Z toho vyplýva, že γ k+ 0 Súčasne platí γ k+ [ α k+, γ,, γ k ] = [ α,, α k+ ] Teda [ γ,, γ k+ ] [ α,, α k+ ] Ďalej α k+ = γ k+ (c k+, γ +c k+, γ + +c k+,k γ k je lineárna kombinácia vektorov γ,, γ k+, čiže platí aj obrátená inklúzia [ α,, α k+ ] [ γ,, γ k+ ] Takto sme dostali bázu priestoru V, ktorej vektory sú ortogonálne Aby boli ortonormálne, potrebujeme, každý z nich vydeliť jeho veľkosťou, čiže ortonormálnu bázu dostaneme tak, že položíme β i = γ i γ i Príklad 5 Zoberme si priestor V = [(, 0,, 0, (0,,,, (0,,, 3] Ľahko sa overí, že tieto vektory sú lineárne nezávislé, teda tvoria bázu priestoru V Pomocou Gram-Schmidtovho procesu nájdeme ortogonálnu bázu pre V Položíme γ = α = (, 0,, 0 Ďalej chcem nájsť vektor γ = α + c γ = (0,,, + c(, 0,, 0 = (c,, c, tak, aby bol kolmý na γ = (, 0,, 0 Dostávame teda rovnosť (c,, c, c +, (, 0,, 0 = c + c = c = 0, z ktorej vyplýva c = a γ = (,,, Tretí vektor γ 3 hľadáme v tvare γ 3 = α 3 + d γ + e γ 3 tak, aby z čoho γ 3, γ = α 3, γ + d γ, γ = 0 γ 3, γ = α 3, γ + e γ, γ = 0 d = α 3, γ γ, γ e = α 3, γ γ, γ Keď vypočítame α 3, γ =, γ, γ =, α 3, γ = 3 a γ, γ =, dostaneme d = e = 3 γ 3 = α 3 γ 3 γ ( γ 3 =, 4,, 0 0

11 KAPITOLA EUKLIDOVSKÉ VEKTOROVÉ PRIESTORY Zatiaľ sme teda dostali ortogonálne vektory, ktoré generujú V Aby sme z nich dostali ortonormálne, musíme ich predeliť veľkosťou Platí a teda ortonormálna báza priestoru V je γ = γ = 67 γ 3 = = 4 4 β = (, 0,, 0 β = (,,, β 3 = ( 4 4, 4,, 0 = 4 (, 4,, 0 = ( 3,, 3, Vidíme, že vektory, ktoré sme dostali vyzerajú pomerne zložito Nevedeli by sme si nejako zjednodušiť tieto výpočty? Možnože keby sme mali bázové vektory pôvodnej bázy o niečo jednoduchšie, aj ortonormálna báza by vyšla jednoduchšia Ale dostať peknú bázu vieme to sa dá urobiť pomocou elementárnych riadkových operácií Takže skúsme ešte takýto postup vypočítajme najprv jednoduchšiu bázu pre priestor V ( ( ( ( ( Vidíme teda, že V = [(, 0, 0,, (0,, 0,, (0, 0,, ], čiže tentokrát ako štartovací bod pre Gram-Schmidtovu ortogonalizáciu použijeme bázové vektory α = (, 0, 0,, α = (0,, 0,, α 3 = (0, 0,, (Dúfam, že Vás nebude príliš pliesť, že tentokrát sme ako α, α a α 3 označili úplne iné vektory ako v prvej časti príkladu Dôvod nie je ten, že by sme mali príliš málo gréckych písmeniek, ale ten, že som chcel aby sa označenie zhodovalo s označením použitým v predchádzajúcom dôkaze Opäť dostaneme: γ = α = (, 0, 0, Vektor γ hľadáme v tvare α + c γ a z podmienky, že γ, γ = 0 nám vyjde, že c = γ, α γ, γ = = γ = (0,, 0, + (, 0, 0, = (,, 0, Ďalej hľadáme γ 3 v tvare γ 3 = α 3 + d γ + e γ Koeficienty e a f opäť určíme z podmienok ortogonality d = α 3, γ γ, γ = e = α 3, γ γ, γ = 3 γ 3 = (0, 0,, + (, 0, 0, ( 3,, 0, = ( 3, 3,, 3

12 Gram-Schmidtov ortogonalizačný proces Teraz už zostáva len každý vektor predeliť jeho veľkosťou β = γ γ = (, 0, 0, β = γ ( γ = 3 3 β 3 = γ 3 γ 3 =,, 0, ( 3, 3,, 3 Existenciu ortogonálnej bázy môžeme použiť na dôkaz niektorých ďalších faktov o ortogonálnom doplnku Veta 6 Nech S je podpriestor konečnorozmerného euklidovského priestoru V Potom ľubovoľný vektor γ V sa dá jednoznačne vyjadriť ako kde α S a β S γ = α + β, Dôkaz Existencia: Vieme, že S má ortonormálnu bázu a tú môžeme rozšíriť na ortonormálnu bázu celého V (Presnejšie povedané: Vieme ju podľa Steinitzovej vety rozšíriť na bázu celého V, ak z tejto bázy postupom použitým v dôkaze vety 4 vytvoríme ortonormálnu bázu, tak bázové vektory patriace do S sa nezmenia, pretože boli ortonormálne už pred ortonormalizáciou Nech teda vektory γ,, γ k tvoria ortonormálnu bázu S a vektory γ k+,, γ n sú ostatné vektory ortonormálnej bázy V Ľubovoľný vektor γ sa dá jednoznačne zapísať ako γ = c α + + c k α k + c k+ α k+ + + c n α n Ak zvolíme α = c α + + c k α k a β = c k+ α k+ + + c n α n, tak α S a β S Jednoznačnosť: Majme dva rozklady uvedeným spôsobom, tj pričom α, α S a β, β S Z rovnosti γ = α + β = α + β, α α = β β vidíme, že vektor α α patrí do S S Z toho ale potom vyplýva α α, α α = 0 a α α = 0, čiže α = α Samozrejme, potom musí platiť aj β = β Definícia 7 V situácii z predošlej vety sa vektor α nazýva ortogonálna projekcia vektora γ na podpriestor S Termín ortogonálna projekcia sa často používa aj pre zobrazenie P : V V, ktoré danému vektoru priradí jeho ortogonálnu projekciu Ľahko sa overí, že toto zobrazenie je lineárne (úloha 9 Dôsledok 8 Nech S, T sú podpriestory konečnorozmerného priestoru V Potom: (i V = S S

13 KAPITOLA EUKLIDOVSKÉ VEKTOROVÉ PRIESTORY 3 (ii (S = S (iii (S T = S + T Dôkaz (i Vyplýva z predchádzajúcej vety a z vety I-456 (ii Priamo z definície vidno, že S (S (Každý vektor z S je kolmý na všetky vektory z S Súčasne máme V = S S = (S S, z čoho pre dimenzie dostaneme d(s + d(s = d((s + d(s, a teda d(s = d((s Keďže S je podpriestor (S a majú rovnakú dimenziu, platí S = S (tvrdenie I-448 (iii Použitím tvrdenia 6 a časti (ii dostaneme (S + T = (S (T = S T Ak ešte raz aplikujeme operátor ortogonálneho doplnku a použijeme (ii, dostávame rovnosť S + T = (S T Nasledujúci príklad ukazuje, že v nekonečnorozmerných priestoroch tvrdenia dokázané v predchádzajúcom dôsledku neplatia vo všeobecnosti v prípade, že euklidovský vektorový priestor a podpriestory vystupujúce v dôsledku sú nekonečnorozmerné (Tento príklad je o čosi komplikovanejší, ale aspoň pre tých z vás, ktorých zaujíma analýza, by mohol byť zaujímavý Príklad 9 Priestor, v ktorom budeme pracovať je priestor postupností V = l = {(x n R N ; Skalárny súčin, s ktorým budeme pracovať, je x, y = x n < + } n= x n y n n= Tento priestor hrá dôležitú úlohu v matematickej analýze Fakt, že tento predpis naozaj určuje zobrazenie l l R (teda, že pre každé postupnosti z l je súčet x n y n konečný vyplýva z nerovnosti ( (Stačí v nej zobrať limitu n= pre n Overenie jednotlivých vlastností skalárneho súčinu je len o niečo zložitejšie ako v príklade 3 Zvoľme si teraz podpriestor S = {(x n l ; x n = 0 pre všetky n okrem konečného počtu} pozostávajúci z tých postupností, ktoré majú iba konečne veľa nenulových členov Platí S = {0} 3

14 4 Gram-Schmidtov ortogonalizačný proces Stačí si uvedomiť, že ak ako e n označíme postupnosť, ktorá má všetky členy okrem n-tého miesta nuly a jej n-tý člen, tj e n = (0,, 0,, 0, tak všetky takéto postupnosti patria do S Teda pre každú postupnosť z S dostaneme Z toho dostaneme Cvičenia x, e n = x n = 0 S S = S V, (S = {0} = V Úloha Nájdite bázu a dimenziu S pre daný podpriestor S priestoru R 4 : a S = [(,, 0,, (,, 0, ] b S = [(, 5, 4, 3, (,,, ] c S = [(,,,, (,,, ] d S = [(,, 3, 4, (,,,, (4, 3,, ] e S = [(,,, 3, (0,,,, (, 0,, ] f S = [(,,,, (, 0,,, (0,,, ] Úloha Zistite, či daný predpis určuje skalárny súčin na R 3 Nech α = (a, a, a 3 a β = (b, b, b 3 a α, β = a b a b + a b 3 + a b + 3a b a 3 b 3 b α, β = a b + a b + a b c α, β = 3a b + a b + a 3 b 3 d α, β = a b + a b + a 3 b 3 e α, β = a b + a b + a b + 3a b + a 3 b 3 f α, β = a b + a b + a b + a b + a 3 b 3 g α, β = a b + a b + a b + a b + a 3 b 3 h α, β = a b + a b i α, β = 3a b + a b + a b + 3a 3 b 3 Úloha 3 Zistite, či sin πx a cos πx sú kolmé v priestore C(0, so skalárnym súčinom z príkladu 6 Akú majú tieto vektory veľkosť? Úloha 4 Overte či predpis a f, g = f(0g(0 + f(g( b f, g = f( g( + f(0g(0 + f(g( určuje skalárny súčin na priestore P všetkých polynómov stupňa najviac nad poľom R Úloha 5 Dokážte, že v ľubovoľnom euklidovskom priestore platí: a α, β = 0 α + β = α + β (Pytagorova veta b α + β = α + β + α, β (kosínová veta c α + β + α β = ( α + β (rovnobežníkové pravidlo Úloha 6 Pre štvorcovú maticu typu n n definujeme stopu matice ako súčet jej diagonálnych prvkov, tj Tr(A = n i= a ii Overte, či na vektorovom priestore M n,n (R určuje predpis A, B = Tr(AB T skalárny súčin (Hint: Možno vám pri tom pomôžu rovnosti Tr(AB = Tr(BA a Tr(A = Tr(A T Prvá z nich sa dá ľahko overiť pomocou definície súčinu, druhá je zrejmá 4

15 KAPITOLA EUKLIDOVSKÉ VEKTOROVÉ PRIESTORY 5 Úloha 7 Overte, že v priestore C(0, π všetkých spojitých funkcií z uzavretého intervalu 0, do R so skalárnym súčinom f, g = π f(xg(xdx sú ľubovoľné dve rôzne funkcie 0 z množiny {, sin nx, cos nx} na seba kolmé (Po vynormovaní by sme dostali množinu funkcií, ktorá má v tomto priestore do istej miery podobné vlastnosti ako ortonormálna báza v konečnorozmerných priestorov Tento systém množín je dôležitý v matematickej analýze v súvislosti s Fourierovými radmi Úloha 8 Nájdite ortonormálnu bázu pre priestory z úlohy Úloha 9 Nech S je podpriestor konečnorozmerného euklidovského vektorového priestoru V Nech P : V V je ortogonálna projekcia na tento podpriestor Overte, že: a P je lineárne zobrazenie; b Im P = S a Ker P = S Úloha 0 Nájdite maticu ortogonálnej projekcie pri obvyklom skalárnom súčine pre: a priestory z úlohy ; b pre ľubovoľný podpriestor S = [ α], pričom vektor α je normovaný (má jednotkovú dĺžku; c pre podpriestor S = [ α,, α k ], pričom vektory α,, α k sú normované [Odpovede: b α T α; c A T A, kde A je matica, ktorej riadky tvoria vektory α,, α k ] Úloha Ukážte, že pre ľubovoľný podpriestor S euklidovského vektorového priestoru V platí S = S (Hint: Skúste si uvedomiť, ktorú z inklúzií medzi S a S sme v dôkaze dôsledku 8 dokázali bez použitia predpokladu o konečnorozmernosti Túto inklúziu použite raz pre S a raz pre S 5

16 Kapitola Kvadratické formy Táto kapitola je spracovaná prevažne na základe [KGGS, Kapitola 9] Definícia a základné vlastnosti Definícia Výraz (polynóm i= j= a ij x i x j, kde a ij R a x,, x n sú (komutujúce premenné budeme nazývať kvadratická forma v premenných x,, x n V súvislosti s touto definíciou je užitočné ozrejmiť si zopár faktov Poznámka Podobne by sme mohli definovať kvadratickú formu nad ľubovoľným poľom Budeme sa však zaoberať iba reálnym prípadom Slovo polynóm je v definícii uvedené v zátvorke preto, že s polynómami viac premenných sme doteraz nepracovali Intuitívne by však mohlo byť zrejmé, ako sa takéto polynómy sčitujú a násobia Pri násobení polynómov viac premenných si treba uvedomiť, že platí x i x j = x j x i presne to je myslené tým, že v definícii sa hovorí, že premenné komutujú Znamená to teda, že dva polynómy uvedeného tvaru sa rovnajú ak pre všetky i platí a ii = b ii a súčasne pre i j platí a ij + a ji = b ij + b ji 3 Vieme, že v prípade polynómov jednej premennej nad poľom R bola rovnosť polynómov ekvivalentná s rovnosťou polynomických funkcií, ktoré tieto polynómy určujú Podobne je to aj v tomto prípade čiže kvadratické formy môžeme chápať ako polynómy n premenných špeciálneho tvaru (Takéto polynómy viacerých premenných, ktoré majú všetky členy rovnakého stupňa, sa nazývajú homogénne polynómy Príklad 3 Príkladom kvadratickej formy je x + x x + x + 4x x 3 + x x 3 + x 3 Všimnime si, že ju môžeme zapísať aj pomocou maticového zápisu (x, x, x x x 0 0 x 3 6

17 KAPITOLA KVADRATICKÉ FORMY 7 Všeobecne, ak označíme α = (x,, x n, tak pre ľubovoľnú maticu A M n,n (R je αa α T kvadratická forma Tú istú kvadratickú formu by sme mohli zapísať aj pomocou iných matíc Nám sa bude hodiť hlavne reprezentácia pomocou symetrickej matice (x, x, x 3 x x Výhoda reprezentácie pomocou symetrickej matice je v tom, že takáto reprezentácia je už jednoznačná Veta 4 Každá kvadratická forma sa dá jednoznačne zapísať ako αb α T, kde B je symetrická matica Dôkaz Uvažujme kvadratickú formu n i= n j= a ijx i x j Podľa toho, čo sme si povedali o rovnosti kvadratických foriem, matica B vyjadruje tú istú kvadratickú formu práve vtedy, keď platí a ij + a ji = b ij + b ji pre ľubovoľné i a j Vďaka tomu, že matica b je symetrická je táto rovnosť ekvivalentná s rovnosťami b ij = a ij + a ji b ij = a ij + a ji Ľahko vidíme, že matica určená takýmto predpisom je skutočne symetrická (b ij = b ji Súčasne sme ukázali, že toto je jediná možnosť ako voliť koeficienty matice B Kanonický tvar kvadratickej formy Pokúsme sa upraviť kvadratickú formu z príkladu 3 na iný tvar, ktorý môže byť na niektoré účely vhodnejší Upravíme ju pomocou doplnenia na štvorec Príklad x + x x + x + 4x x 3 + x x 3 + x 3 = (x + x + x 3 + x x x 3 3x 3 = (x + x + x 3 + (x x 3 4x 3 = (x + x + x 3 + (x x 3 (x 3 To znamená, že ak by sme zaviedli nové premenné y = x + x + x 3 y = x x 3 y 3 = x 3 tak pomocou týchto premenných môžeme kvadratickú formu zapísať v jednoduchšom tvare y + y y 3 Skúsme si ešte rozmyslieť, ako tento fakt môžeme zapísať pomocou maticového zápisu Ak označíme α = (x, x, x 3 a β = (y, y, y 3, tak uvedenú transformáciu premenných môžeme zapísať ako β = αp, x 3 7

18 8 Kanonický tvar kvadratickej formy kde P = Vieme, že túto kvadratickú môžeme zapísať pomocou symetrickej matice A = ako αa α T Ak vyjadríme vektor α pomocou vektoru β, tj α = βp, tak dostaneme αa α T = βp A(P T β ( Zistili sme, že matica kvadratickej formy y +y y 3 sa dá vyjadriť ako B = P A(P T Všimnime si, že táto matica je symetrická platí totiž B T = (P A(P T T = P A T (P T Pretože podľa vety 4 je symetrická matica prislúchajúca danej kvadratickej formy jednoznačne určená, zistili sme vlastne, že pre maticu D = platí D = P AP T A = P DP T ( Definícia Hovoríme, že matice A a B sú kongruentné, ak existuje regulárna matica P taká, že A = P BP T Ľahko sa dá overiť, že kongruencia matíc je relácia ekvivalencie (úloha Teraz by sme chceli ukázať, že každú kvadratickú formu môžeme pomocou vhodnej transformácie premenných previesť na podobný tvar taký, ktorý zodpovedá diagonálnej matici majúcej na diagonále iba prvky 0, ± Inak povedané, chceme ukázať, že každá symetrická matica je kongruentná s diagonálnou maticou takéhoto tvaru Dôkaz bude konštruktívny a bude sa podobať na postup z predchádzajúceho príkladu Ešte skôr než sa pustíme do dôkazu, vyskúšame si na jednom príklade jediný krok tohoto dôkazu, kde používame iný postup než doplnenie na štvorce Príklad 3 Uvažujme kvadratickú formu x x Všimnime si, že x x = (x + x (x x ( x = x ( x x To znamená, že túto kvadratickú formu vieme previesť na tvar y y pomocou transformácie y = x + x y = x x Ekvivalentne to môžeme vyjadriť tak, že premenné x a x sme transformovali ako Môžeme si všimnúť, že pre matice A = x = y + y x = y y ( 0 0, B = ( 0 (, P = opäť platí (Tieto matice sme do- A = P BP T Alebo tiež obrátene, B = QAQ T, kde Q = ( stali z vyjadrenia transformácií premenných podobným spôsobom ako v predchádzajúcom príklade 0 8

19 KAPITOLA KVADRATICKÉ FORMY 9 Veta 4 Pre ľubovoľnú kvadratickú formu n i= n j= a ijx i x j existuje regulárna transformácia premenných (y,, y n = (x,, x n P taká, že táto kvadratická forma sa dá v premenných y,, y n vyjadriť ako kde d k = {0, ±} Zápis v tvare n k= i= j= a ij x i x j = d k yk, k= d k y k budeme nazývať kanonický tvar kvadratickej formy n i= j= a ij x i x j Pod pojmom regulárna transformácia premenných v predchádzajúcej vete rozumieme to, že matica P určujúca túto transformáciu je regulárna Dôkaz Dôkaz je v podstate konštruktívny a budeme v ňom používať postupy, ktoré sme si ukázali v predchádzajúcich príkladoch Ukážeme len, že ľubovoľnú kvadratickú formu možno previesť na diagonálny tvar c y + c y + + c n y n Z tohoto tvaru už kanonický tvar dostaneme ľahko stačí zaviesť nové premenné z i = y i pre tie i, pre ktoré c i = 0 a z i = c i y i pre ostatné i Takáto transformácia premenných je očividne regulárna Budeme postupovať matematickou indukciou vzhľadom na počet premenných n Ak máme len premennú, tak kvadratická forma a x je už v diagonálnom tvare Predpokladajme, že uvedené tvrdenie platí pre ľubovoľnú kvadratickú formu n premenných Uvažujme kvadratickú formu n a ij x i x j Bez ujmy na všeobecnosti môžeme i= j= predpokladať, že matica A = a ij je symetrická Predpokladajme najprv, že a 0 Všimnime si všetky členy, ktoré obsahujú premennú x a vhodne ich upravme i= j= a ij x i x j = a x + a x x + + a n x n + ( a x + a x + + a n x n + a a ( a x + a x + + a n x n a a i= a i a x i i= j= a ij x i x j = i= j= i= j=i+ a ij x i x j = a i a j a x i x j + i= j= a ij x i x j Ak označíme y = x + a a x + + an a x n, podarilo sa nám upraviť pôvodnú kvadratickú formu na tvar a y + B(x,, x n, kde B(x,, x n je kvadratická forma v n premenných x,, x n Podľa indukčného predpokladu sa dá táto kvadratická forma previesť regulárnou transformáciou premenných na diagonálny tvar c y + +c n x n Kombináciou týchto transformácií prevedieme pôvodnú kvadratickú formu na a y + c y + + c n x n 9

20 0 Kanonický tvar kvadratickej formy Ak ako P označíme maticu transformácie pre kvadratickú formu B(x,, x n, tak matica transformácie pôvodnej kvadratickej formy je 0 0 a a P a n a Ak urobíme Laplaceov rozvoj podľa prvého riadku, dostávame P = P, čiže matica P je tiež regulárna Zostáva nám vyriešiť prípad, že a 0 V prípade, že a ii 0 pre nejaké i stačí vymeniť premenné x a x i (čo je regulárna transformácia a ďalej postupovať ako v predchádzajúcom prípade Ak sú všetky diagonálne prvky matice a ij nulové, ale existujú nejaké i a j také, že a ij 0, použijeme postup z príkladu 3 Ak totiž dosadíme x i = y i + y j a x j = y i y j, tak dostaneme novú kvadratickú formu, ktorá určite bude obsahovať yi s nenulový koeficientom Ďalej môžeme opäť postupovať ako v predchádzajúcom prípade Použitá transformácia je opäť regulárna Zostáva jediný prípad že všetky čísla a ij sú nulové Vtedy je už kvadratická forma v kanonickom tvare 0x + + 0x n Z toho, čo sme si ukázali v príklade vyplýva, že sme súčasne dokázali nasledujúce tvrdenie o symetrických reálnych maticiach Dôsledok 5 Každá reálna symetrická matica typu n n je kongruentná s nejakou diagonálnou maticou diag(d,, d n takou, že d i {0, ±} pre i = n Vysvetlíme si ešte (aspoň na konkrétnom príklade iný postup ako vieme z danej symetrickej matice dostať jej zodpovedajúcu diagonálnu maticu i príslušnú maticu prechodu Predtým však pripomeňme niečo o tom, ako súvisia riadkové a stĺpcové operácie s násobením matíc (pozri podkapitolu I-56 Vykonaním elementárnej riadkovej operácie na matici A dostaneme maticu EA, kde E je matica elementárnej riadkovej operácie je to taká matica, ktorú dostaneme z jednotkovej matice použitím tejto riadkovej operácie Napríklad pripočítanie c-násobku prvého riadku k druhému zodpovedá vynásobením maticou ( 0 0 c zľava Podobne ako riadkové operácie zodpovedajú násobeniu vhodnou maticou zľava, pre stĺpcové operácie treba použiť násobenie sprava Všimnime si tiež, že ak E je matica riadkovej operácie, pre tú istú stĺpcovú operáciu dostaneme maticu E T Vidno to z toho, že ak riadková operácia vytvorila z matice A maticu EA, stĺpcovú operáciu si môžeme predstaviť ako vykonanie riadkovej operácie na matici A T (a potom opätovné transponovanie, takže dostaneme (EA T T = AE T Napríklad pripočítanie c-násobku prvého stĺpca k druhému je to isté ako vynásobenie maticou ( c sprava Z toho vidno, že ak by sme začali s maticou A a robili na nej riadkové aj stĺpcové operácie (tj po použití riadkovej operácie by sme hneď urobili aj tú istú operáciu na stĺpcoch dostali by sme maticu E n E AE T E T n = E n E A(E n E T Ak by sa nám takto podarilo upraviť maticu A na diagonálnu maticu, dostali by sme rovnosť P AP T = D, 0

21 KAPITOLA KVADRATICKÉ FORMY kde P označuje E n E Teda použitím riadkových a stĺpcových operácií by sme mohli dostať diagonálnu maticu a aj maticu transformácie premenných Príklad 6 Postup, ktorý sme si práve vysvetlili, si ukážeme na matici kvadratickej formy z príkladu Budeme teda robiť striedavo elementárne riadkové a stĺpcové operácie Súčasne budeme na matici I robiť tie isté riadkové operácie, aby sme dostali maticu, ktorá transformuje A na diagonálnu maticu A = ( ( (4 ( ( ( 0 (4 ( ( ( 0 0 = D ( ( ( ( (3 ( (3 ( r-=r (od druhého riadku odrátam prvý; ( je rovnaká operácia pre stĺpce (všimnite si, že vždy po vykonaní riadkovej aj stĺpcovej operácie musím dostať symetrickú maticu ( 3r-=*r (3 3r+=r (4 4r*=/ I = ( ( ( 0 0 ( ( (3 ( ( ( =: Q Priamym výpočtom môžeme overiť, že skutočne platí D = QAQ T Tiež si môžeme všimnúť, že pre maticu P, ktorú sme dostali v príklade platí P = Q Na tomto sme videli príklade, že pokiaľ sa v priebehu úprav v tom riadku, ktorý práve upravujeme, na diagonále nevyskytne 0, je postup veľmi podobný na úpravu matice na redukovaný trojuholníkový tvar Jediný rozdiel bol v tom, že ak sme z prvku c na diagonále chceli dostať ±, nedelili sme riadok c-čkom ale iba c V prípade, že by sa vyskytla nula na diagonále, mohli by sme si pomôcť pripočítaním riadku (a stĺpca, ktorý obsahuje nenulový prvok mimo diagonály ako v nasledujúcom príklade Príklad 7 Pokúsme sa upraviť na kanonický tvar nasledujúcu maticu V jednotlivých krokoch je urobená vždy riadková aj stĺpcová úprava A = =: D ( 0 0 ( ( V poslednom kroku sme od druhého riadku/stĺpca odrátali tretí riadok/stĺpec (Na to, aby sme na diagonále dostali nenulový prvok a mohli pokračovať ďalej, stačilo by nám pripočítať ľubovoľný nenulový násobok tretieho riadku/stĺpca Zhodou okolností sa pri tejto voľbe vynulovali aj zvyšné nediagonálne prvky Použitím rovnakých riadkových úprav na jednotkovú maticu dostaneme ( ( ( := P Pre túto maticu platí P AP T = D Cvičenia Úloha Overte, že relácia A B, tj kongruencia symetrických matíc, je relácia ekvivalencie na množine reálnych symetrických matíc typu n n Úloha Upravte na diagonálny (prípadne kanonický tvar a nájdite príslušnú transformáciu premenných Zapíšte aj maticové rovnosti, ktoré z nich vyplývajú: a x + x x + x + 4x x 3 + 5x 3 b x 4x x + x x 3 + 4x + x 3 c x x + x x 3 + x 3 x d x x x + x x 3 x x 4 + x + x x 3 4x x 4 + x 3 x 4

22 Zákon zotrvačnosti e x + x x + x 3 x 4 Úloha 3 Preveďte kvadratickú formu n x i + i= [Výsledok: y y y n+ n y n; P = Úloha 4 Preveďte kvadratickú formu 3 Zákon zotrvačnosti i<k n i<k n n x i x k na diagonálny tvar ] x i x k na diagonálny tvar Keďže sme tvar kvadratickej formy z vety 4 nazvali kanonický, dá sa očakávať, že bude v nejakom zmysle jednoznačný Cieľom tejto kapitoly je práve sformulovať a dokázať túto jednoznačnosť Veta 3 Pre danú kvadratickú formu je počet výskytov + a počet výskytov jednoznačne určený (nezávisí od transformácie, ktorou sme túto kvadratickú formu previedli na kanonický tvar Dôkaz Uvažujme kvadratickú formu αa α T Predpokladajme, že sa dá regulárnou transformáciou previesť na tvar y + + y k y k+ y s ( a súčasne (inou regulárnou transformáciou na tvar z + + z r z r+ z t ( Označme ako P a P regulárne matice, ktoré zodpovedajú tejto transformácii premenných, tj (y,, y n = (x,, x n P a (z,, z n = (x,, x n P Chceme ukázať, že s = t a k = r Všimnime si, že s je presne hodnosť diagonálnej matice zodpovedajúcej kvadratickej forme ( a t je hodnosť matice pre kvadratickú formu ( Tieto matice môžeme vyjadriť ako D = P A(P T a D = P A(P T Súčasne vieme, že násobenie regulárnou maticou zodpovedá lineárnemu izomorfizmu, takže nemení hodnosť matice Teda s aj t sa musí rovnať hodnosti matice A Zostáva nám dokázať, že k = r Máme rovnosť z + + z r z r+ z t = y + + y k y k+ y s, ktorú môžeme upraviť na tvar z + + z r + y k+ + + y s = y + + y k + z r+ + + z t (3 Predpokladajme najprv, že r < k Ukážeme, že za tohoto predpokladu sa dá nájsť nenulový vektor (x,, x n tak, aby platilo z = = z r = y k+ = = y n = 0 (4 Všimnime si, že (z,, z r, y k+ y n = (x,, x n P, kde matica P pozostáva z prvých r stĺpcov matice P a z (k+-vého až n-tého stĺpca matice P Hľadanie vektora (x,, x n,

23 KAPITOLA KVADRATICKÉ FORMY 3 ktorý vyhovuje rovnice (4 teda zodpovedá riešeniu homogénnej sústavy αp = 0, P α T = 0 T Keďže táto sústava má menej rovníc než neznámych, existuje aspoň jedno nenulové riešenie Ak však nájdeme x,, x n také, že platí (4, na základe (3 musia byť nulové aj všetky ostatné premenné z r+,, z t Lenže potom máme (x,, x n = (z,, z n P = 0, čo je spor s tým, že vektor (x,, x n je nenulový Podobne aj predpoklad r > k by viedol k sporu Musí teda platiť k = r Predchádzajúca veta nám teda vlastne hovorí, že kanonický tvar kvadratickej formy je až na výmenu premenných jednoznačne určený Niekedy nás zaujímajú kvadratické formy, ktorých kanonický tvar má na diagonále iba jednotky Definícia 3 Nech A je symetrická reálna matica Hovoríme, že A je a kladne semidefinitná, ak pre každý vektor α platí αa α T 0; b kladne definitná, ak pre každý nenulový vektor α 0 platí αa α T > 0; c záporne semidefinitná, ak pre každý vektor α platí αa α T 0; d záporne definitná, ak pre každý nenulový vektor α 0 platí αa α T < 0 Je ľahké si všimnúť, že A je kladne (semidefinitná práve vtedy, keď A je záporne (semidefinitná Nasledujúca veta charakterizuje kladne definitné matice Tým súčasne charakterizuje symetrické matice, ktoré určujú skalárne súčiny na R n (pozri príklad 5 Veta 33 Symetrická matica A je kladne definitná práve vtedy, keď existuje regulárna matica P taká, že A = P P T Chceli by sme dokázať kritérium, pomocou ktorého sa dá pomerne jednoducho určiť, či je daná matica kladne definitná V dôkaze tohoto kritéria bude užitočné nasledujúce pomocné tvrdenie: Tvrdenie 34 Nech A je symetrická reálna matica typu n n taká, že všetky rohové determinanty D = a D = a a a a a a a n D n = a a a n a n a n a nn sú nenulové Potom matica A je kongruentná s diagonálnou maticou diag(d, D /D, D 3 /D,, D n /D n 3

24 4 Zákon zotrvačnosti Determinanty podmatíc vystupujúce v predchádzajúcom tvrdení sa niekedy zvyknú nazývať aj hlavné minory matice A Dôkaz Ukážeme, že danú maticu možno upraviť na diagonálnu maticu len použitím operácií typu pripočítanie násobku riadka/stĺpca k inému (tj nepoužívame výmeny riadkov a ani násobenie riadkov konštantou tak, že dostaneme práve diagonálnu maticu tvaru, ktorý je uvedený v tvrdení Tvrdenie dokážeme matematickou indukciou vzhľadom na rozmer matice n Platnosť tvrdenia pre n = je zrejmá Vieme, že D = a Vďaka tomu môžeme vynulovať všetky prvky v prvom riadku a prvom stĺpci (Odčítaním vhodného násobku prvého stĺpca/riadku Dostaneme tak maticu A do tvaru a b b n 0 b n b nn Pritom vieme, že úpravy, ktoré sme použili, nemenia determinant matice A ani žiaden z jej hlavných minorov (veta I-639 Označme D,, D n minory podmatice, ktorá vznikne vynechaním prvého riadku a prvého stĺpca Z tvaru matice vidíme, že pre k =,, n platí a D k = D k a teda D k = D k D Podľa indukčného predpokladu vieme túto podmaticu upraviť na diagonálny tvar, kde ako prvý člen na diagonále bude D dostávame diagonálny tvar pre pôvodnú maticu = D D a ďalšie členy budú tvaru D k+ D k diag(d, D /D, D 3 /D,, D n /D n = D k+ D k Z toho Veta 35 Nech A je symetrická matica typu n n Matica A je kladne definitná práve vtedy, keď všetky jej hlavné minory D,, D n sú kladné Dôkaz Ak je matica kladne definitná, tak je kongruentná s jednotkovou maticou Z toho máme A = P P T a A = P P T = P P T = P > 0 Podobné tvrdenie pre minory vyplynie z toho, že ak za premenné x k+,, x n dosadíme 0, dostaneme tak kvadratickú formu v premenných x,, x k, ktorá je opäť kladne definitná a ktorej matica je presne podmatica určená prvými k riadkami a stĺpcami Ak všetky hlavné minory matice A sú kladné, tak podľa tvrdenia 34 možno príslušnú kvadratickú formu upraviť na diagonálny tvar, v ktorom sú všetky členy kladné Preto je táto matica kladne definitná Dôsledok 36 Nech A je symetrická matica typu n n Matica A je záporne definitná práve vtedy, keď hlavný minor D k má rovnaké znamienko ako ( k pre všetky k =,, n (Teda znamienka hlavných minorov sú striedavo (, +,, +, Poznámka 37 Aby sme dostali kritérium pre kladne semidefinitné matice, nestačí v predchádzajúcej vete zmeniť slovo kladné na nezáporné (Ako jednoduchý kontrapríklad môžeme zobrať maticu ( V podobnom kritériu pre kladne semidefinitné matice vystupujú všetky minory matice A (=všetky determinanty štvorcových podmatíc 4

25 KAPITOLA KVADRATICKÉ FORMY 5 Možnosť overiť, či je nejaká matica kladne alebo záporne definitná, má význam v matematickej analýze pre hľadaní extrémov funkcií viacerých premenných Nutná podmienka na to, aby v nejakom bode x 0 mala nejaká funkcia lokálny ektrém je, aby všetky parciálne derivácie boli nulové (Podobne ako v jednorozmere bola nutná podmienka f (x 0 = 0 f (x 0 = = f (x 0 = 0 x x n V prípade, že je v jednorozmere splnená táto podmienka, skúmame ďalej to, či je kladná alebo záporná v danom bode jej druhá derivácia Vo viacrozmere funkciu druhej derivácie hrá matice f (x x 0 f x x (x 0 f x x n (x 0 f H = x x (x 0 f (x x 0 f x x n (x 0 f x n x (x 0 f x n x (x 0 f x n (x 0 Táto matica je symetrická pre každú funkciu, ktorá je dvakrát spojito diferencovateľná Z viacrozmernej verzie Taylorovej vety totiž vyplýva, že hodnotu funkcie v bode x 0 môžeme aproximovať ako f(x f(x 0 =! (x x 0H(x x 0 T (kde x x 0 sú body z R n, teda ich chápeme ako vektory To znamená, že hodnota f(x f(x 0 je aproximovaná (v nejakom okolí bodu x 0 kvadratickou formou s maticou H Z toho vyplýva, že v bode f(x 0 je lokálne minimum práve vtedy, keď táto matica je kladne definitná (f(x f(x 0 je v nejakom okolí kladné, lokálne maximum ak je záporne definitná (V prípade, že je kladne definitná, vieme dokonca povedať, že vo vhodných súradniciach sa táto funkcia lokálne podobná na funkciu x + + x n, ktorú si vieme aspoň v dvojrozmere celkom dobre geometricky predstaviť Inou podobnou funkciou vieme zasa aproximovať tie funkcie, ktoré majú maticu H záporne definitnú Viac o tejto problematike sa môžete dozvediť napríklad v [GĎ, Kapitola 94], [A], [P] (a v podstate v každej učebnici, ktorá sa zaoberá analýzou viac premenných Príklad 38 V dôkaze tvrdenia tvrdenia 34 sme videli, ako sa (za predpokladu, že daná symetrická matica má nenulové hlavné minory dajú nájsť koeficienty v diagonálnom tvare, do ktorého túto maticu vieme previesť iba pomocou operácie pripočítavania niektorého násobku riadku/stĺpca k inému Kombinácia takýchto operácií znamená to, že matica transformácie bude mať na diagonále jednotky Vyskúšajme si to na kvadratickej forme z úlohy 4* Zodpovedajúca symetrická matica je Ak počítame jej hlavné minory dostávame D = a pre k > k+ k+ k+ D k = k+ = = (k+ = (k = k + k

26 6 Zákon zotrvačnosti (V prvom kroku sme k prvému riadku pripočítali všetky ostatné, v podslednom sme odrátali prvý riadok od všetkých ostatných Takéto operácie nemenia hodnotu determinantu Pre koeficienty na diagonále potom dostávame c k = D k = k + k D k k = k + k k, čiže rovnaký výsledok ako nám vyšiel v úlohe 4* Cvičenia Úloha 3 Pre danú kvadratickú formu určte tie hodnoty parametra t, pre ktoré je kladne definitná a 5x + 3x + tx 3 + 4x x 3x x 3 x x 3 b x + x + 3x 3 + tx x + x x 3 c x + x 3tx 3 + x x + tx x 3 + x x 3 d (x + x + x 3 + x x 3 x x 3 + t(6x x x x 3 + t (x + x Úloha 3 Nech A je symetrická reálna matica taká, že D > 0, D > 0,, D n > 0 (Determinanty D k majú rovnaký význam ako v tvrdení 34 Dokážte, že potom a nn > 0 Úloha 33 Nech V je euklidovský vektorový priestor a α,, α n V Definujme maticu A = a ij tak, že a ij = α i, α j Dokážte, že A 0 a že tieto vektory sú lineárne nezávislé práve vtedy, keď A > 0 6

27 Kapitola 3 Podobnosť matíc Úvodná časť tejto kapitoly je spracovaná na základe [KGGS, 94,95] a Podkapitola 3 obsahuje poznámky spracované J Guričanom k tejto téme V minulej kapitole sme sa zaoberali kvadratickými formami a ukázali sme, že pri vhodnej zmene premenných vieme kvadratickú formu upraviť na veľmi jednoduchý a pekný tvar (diagonálny, prípadne kanonický Súčasne nám vzťah medzi týmito kvadratickými formami povedal niečo o vzťahoch medzi ich maticami V tejto kapitole sa budeme zaoberať do istej miery podobným problémom Tentokrát sa však budeme snažiť pomocou zmeny premenných nájsť čo najkrajší tvar matice lineárnej transformácie 3 Matica prechodu, podobnosť matíc Pripomeňme, že ak α,, α n je nejaká báza konečnorozmerného vektorového priestoru V, tak ľubovoľný vektor z V sa dá jednoznačne vyjadriť v tvare γ = c α + +c n α n (Pozri vetu I-446 Tento fakt nám vlastne hovorí, že báza nám poskytuje akúsi súradnicovú sústavu v priestore V každý vektor má jednoznačne určené súradnice c,, c n Definícia 3 Ak α,, α n je báza vektorového priestoru V nad poľom F a γ V, tak n-ticu (c,, c n F n takú, že platí γ = c α + + c n α n nazývame súradnicami vektora γ v báze α,, α n Jednou z otázok, ktorými sa budeme zaoberať v tejto podkapitole zaoberať je to, ako sa zmenia súradnice vektora pri zmene bázy daného vektorového priestoru Pri tom bude užitočná matica uvedená v nasledujúcej definícii, ktorá popisuje istým spôsobom vzťah medzi týmito dvoma bázami Definícia 3 Nech α,, α n a α,, α n sú dve bázy vektorového priestoru V nad 7

28 8 Matica prechodu, podobnosť matíc poľom F Nech p ij F sú také, že platí α =p α + p α + + p n α n α =p α + p α + + p n α n (3 α n =p n α + p n α + + p nn α n Potom maticu P = p ij nazývame matica prechodu od bázy α,, α n k báze α,, α n Inak povedané, matica prechodu je taká matica P, ktorej i-ty riadok je tvorený súradnicami vektoru α i v báze α,, α n Skúsme si rozmyslieť, čo vieme povedať o matici prechodu opačným smerom, tj od α,, α n k α,, α n Označme túto maticu P = p ij Platí: α i =p i α + p i α + + p in α n = =p i(p α + p α + + p n α n + +p i(p α + p α + + p n α n + +p in(p n α + p n α + + p nn α n (Vektory α,, α n sme upravili pomocou (3 Túto rovnosť teraz upravíme tak, že dáme dokopy členy obsahujúci ten istý vektor α i inak povedané tak, ako sme ju zapísali pred chvíľou to znamená, že sčítance teraz usporiadame po stĺpcoch α i =(p ip + p ip + + p inp n α + +(p ip + p ip + + p inp n α + +(p ip n + p ip n + + p inp nn α n + Obe predchádzajúce úpravy sme mohli stručnejšie zapísať takto: α i = p ij α j = p ijp jk α k = α k j= j= k= k= j= p ijp jk Z jednoznačnosti vyjadrenia vektora v báze α,, α n vyplýva, že koeficienty na pravej strane rovnosti sa musia rovnať { p, ak i = k ijp jk = δ ik = 0, inak j= Zistili sme teda, že platí P P = I, čo znamená, že P je inverzná matica k P (pozri poznámku I-558 Dokázali sme tým nasledujúcu vetu: Aj v ďalšom budeme používať tento stručnejší zápis pomocou súm, chcel som však aspoň pri prvom použití celú úpravu rozpísať trochu podrobnejšie tak, aby súčasne bolo vidno, že sa tam skutočne násobil i-ty riadok matice P s jednotlivými stĺpcami a aby sme si uvedomili, že na výmenu poradia sumácie sa dá v takýchto prípadoch pozerať tak, že namiesto toho, aby sme rovnosť prečítali po riadkoch, si ju prečítame po stĺpcoch V prípade, že by výmena poradia sčitovania v niektorom z ďalších dôkazov robila problémy, môže pomôcť prepísať si ju tak ako tu 8

29 KAPITOLA 3 PODOBNOSŤ MATÍC 9 Veta 33 Ak P je matica prechodu od bázy α,, α n k báze α,, α n, tak matica P je regulárna a matica P je matica prechodu opačným smerom, teda od α,, α n k α,, α n Ukážeme, že to funguje aj naopak pre každú bázu a regulárnu maticu P použitím predpisu (3 dostaneme opäť bázu Tvrdenie 34 Nech P = p ij je regulárna matica typu n n a α,, α n vektorového priestoru V Potom aj vektory α,, α n určené vzťahmi je báza α = p α + p α + + p n α n α = p α + p α + + p n α n α n = p n α + p n α + + p nn α n tvoria bázu priestoru V Dôkaz Podľa vety I-444 nám stačí ukázať, že tieto vektory sú lineárne nezávislé Nech teda c α + + c n α n = 0 Ak do tejto rovnosti dosadíme vyjadrenia vektorov α,, α n v báze α,, α n dostaneme ( n 0 = c i p ij α j = c i p ij α j i= j= Všimnime si, že koeficienty pri vektoroch α,, α n na pravej strane predchádzajúcej rovnosti sú presne zložky vektora (c,, c n P Pretože vektory α,, α n sú lineárne nezávislé, aby platila táto rovnosť, musia sa všetky tieto koeficienty rovnať nule Dostali sme teda rovnosti j= (c,, c n P = 0 i= (c,, c n = 0P = 0 c = = c n = 0 Tým sme ukázali, že α,, α n sú lineárne nezávislé Zmena súradníc vektora pri zmene bázy Ukážeme si ako pomocou matice prechodu môžeme dostať vzťah medzi vyjadrením súradníc daného vektora v dvoch rôznych bázach Veta 35 Nech α,, α n a α,, α n sú bázy vektorového priestoru V Nech P je matica prechodu od bázy α,, α n k báze α,, α n Nech γ V a (x,, x n sú súradnice vektora γ v báze α,, α n, (x,, x n sú jeho súradnice v báze α,, α n Potom platí (x,, x n = (x,, x np Postup, ktorý použijeme v dôkaze je v podstate rovnaký, ako úpravy použité v dôkaze predchádzajúceho tvrdenia 9

x x x2 n

x x x2 n Reálne symetrické matice Skalárny súčin v R n. Pripomeniem, že pre vektory u = u, u, u, v = v, v, v R platí. dĺžka vektora u je u = u + u + u,. ak sú oba vektory nenulové a zvierajú neorientovaný uhol

Διαβάστε περισσότερα

Matematika Funkcia viac premenných, Parciálne derivácie

Matematika Funkcia viac premenných, Parciálne derivácie Matematika 2-01 Funkcia viac premenných, Parciálne derivácie Euklidovská metrika na množine R n všetkých usporiadaných n-íc reálnych čísel je reálna funkcia ρ: R n R n R definovaná nasledovne: Ak X = x

Διαβάστε περισσότερα

Vektorový priestor V : Množina prvkov (vektory), na ktorej je definované ich sčítanie a ich

Vektorový priestor V : Množina prvkov (vektory), na ktorej je definované ich sčítanie a ich Tuesday 15 th January, 2013, 19:53 Základy tenzorového počtu M.Gintner Vektorový priestor V : Množina prvkov (vektory), na ktorej je definované ich sčítanie a ich násobenie reálnym číslom tak, že platí:

Διαβάστε περισσότερα

Motivácia Denícia determinantu Výpo et determinantov Determinant sú inu matíc Vyuºitie determinantov. Determinanty. 14. decembra 2010.

Motivácia Denícia determinantu Výpo et determinantov Determinant sú inu matíc Vyuºitie determinantov. Determinanty. 14. decembra 2010. 14. decembra 2010 Rie²enie sústav Plocha rovnobeºníka Objem rovnobeºnostena Rie²enie sústav Príklad a 11 x 1 + a 12 x 2 = c 1 a 21 x 1 + a 22 x 2 = c 2 Dostaneme: x 1 = c 1a 22 c 2 a 12 a 11 a 22 a 12

Διαβάστε περισσότερα

1 Úvod Predhovor Sylaby a literatúra Základné označenia... 3

1 Úvod Predhovor Sylaby a literatúra Základné označenia... 3 Obsah 1 Úvod 3 1.1 Predhovor...................................... 3 1.2 Sylaby a literatúra................................. 3 1.3 Základné označenia................................. 3 2 Množiny a zobrazenia

Διαβάστε περισσότερα

Matematika prednáška 4 Postupnosti a rady 4.5 Funkcionálne rady - mocninové rady - Taylorov rad, MacLaurinov rad

Matematika prednáška 4 Postupnosti a rady 4.5 Funkcionálne rady - mocninové rady - Taylorov rad, MacLaurinov rad Matematika 3-13. prednáška 4 Postupnosti a rady 4.5 Funkcionálne rady - mocninové rady - Taylorov rad, MacLaurinov rad Erika Škrabul áková F BERG, TU Košice 15. 12. 2015 Erika Škrabul áková (TUKE) Taylorov

Διαβάστε περισσότερα

6 Limita funkcie. 6.1 Myšlienka limity, interval bez bodu

6 Limita funkcie. 6.1 Myšlienka limity, interval bez bodu 6 Limita funkcie 6 Myšlienka ity, interval bez bodu Intuitívna myšlienka ity je prirodzená, ale definovať presne pojem ity je značne obtiažne Nech f je funkcia a nech a je reálne číslo Čo znamená zápis

Διαβάστε περισσότερα

VLASTNÉ ČÍSLA A JORDANOV KANONICKÝ TVAR. Michal Zajac. 3 T b 1 = T b 2 = = = 2b

VLASTNÉ ČÍSLA A JORDANOV KANONICKÝ TVAR. Michal Zajac. 3 T b 1 = T b 2 = = = 2b VLASTNÉ ČÍSLA A JORDANOV KANONICKÝ TVAR Michal Zajac Vlastné čísla a vlastné vektory Pripomeňme najprv, že lineárny operátor T : L L je vzhl adom na bázu B = {b 1, b 2,, b n } lineárneho priestoru L určený

Διαβάστε περισσότερα

1. Limita, spojitost a diferenciálny počet funkcie jednej premennej

1. Limita, spojitost a diferenciálny počet funkcie jednej premennej . Limita, spojitost a diferenciálny počet funkcie jednej premennej Definícia.: Hromadný bod a R množiny A R: v každom jeho okolí leží aspoň jeden bod z množiny A, ktorý je rôzny od bodu a Zadanie množiny

Διαβάστε περισσότερα

Lineárna algebra I - pole skalárov, lineárny priestor, lineárna závislosť, dimenzia, podpriestor, suma podpriestorov, izomorfizmus

Lineárna algebra I - pole skalárov, lineárny priestor, lineárna závislosť, dimenzia, podpriestor, suma podpriestorov, izomorfizmus 1. prednáška Lineárna algebra I - pole skalárov, lineárny priestor, lineárna závislosť, dimenzia, podpriestor, suma podpriestorov, izomorfizmus Matematickým základom kvantovej mechaniky je teória Hilbertových

Διαβάστε περισσότερα

Úvod do lineárnej algebry. Monika Molnárová Prednášky

Úvod do lineárnej algebry. Monika Molnárová Prednášky Úvod do lineárnej algebry Monika Molnárová Prednášky 2006 Prednášky: 3 17 marca 2006 4 24 marca 2006 c RNDr Monika Molnárová, PhD Obsah 2 Sústavy lineárnych rovníc 25 21 Riešenie sústavy lineárnych rovníc

Διαβάστε περισσότερα

Komplexné čísla, Diskrétna Fourierova transformácia 1

Komplexné čísla, Diskrétna Fourierova transformácia 1 Komplexné čísla, Diskrétna Fourierova transformácia Komplexné čísla C - množina všetkých komplexných čísel komplexné číslo: z = a + bi, kde a, b R, i - imaginárna jednotka i =, t.j. i =. komplexne združené

Διαβάστε περισσότερα

Tomáš Madaras Prvočísla

Tomáš Madaras Prvočísla Prvočísla Tomáš Madaras 2011 Definícia Nech a Z. Čísla 1, 1, a, a sa nazývajú triviálne delitele čísla a. Cele číslo a / {0, 1, 1} sa nazýva prvočíslo, ak má iba triviálne delitele; ak má aj iné delitele,

Διαβάστε περισσότερα

7. FUNKCIE POJEM FUNKCIE

7. FUNKCIE POJEM FUNKCIE 7. FUNKCIE POJEM FUNKCIE Funkcia f reálnej premennej je : - každé zobrazenie f v množine všetkých reálnych čísel; - množina f všetkých usporiadaných dvojíc[,y] R R pre ktorú platí: ku každému R eistuje

Διαβάστε περισσότερα

ARMA modely čast 2: moving average modely (MA)

ARMA modely čast 2: moving average modely (MA) ARMA modely čast 2: moving average modely (MA) Beáta Stehlíková Časové rady, FMFI UK, 2014/2015 ARMA modely časť 2: moving average modely(ma) p.1/24 V. Moving average proces prvého rádu - MA(1) ARMA modely

Διαβάστε περισσότερα

ARMA modely čast 2: moving average modely (MA)

ARMA modely čast 2: moving average modely (MA) ARMA modely čast 2: moving average modely (MA) Beáta Stehlíková Časové rady, FMFI UK, 2011/2012 ARMA modely časť 2: moving average modely(ma) p.1/25 V. Moving average proces prvého rádu - MA(1) ARMA modely

Διαβάστε περισσότερα

Goniometrické rovnice a nerovnice. Základné goniometrické rovnice

Goniometrické rovnice a nerovnice. Základné goniometrické rovnice Goniometrické rovnice a nerovnice Definícia: Rovnice (nerovnice) obsahujúce neznámu x alebo výrazy s neznámou x ako argumenty jednej alebo niekoľkých goniometrických funkcií nazývame goniometrickými rovnicami

Διαβάστε περισσότερα

Ekvačná a kvantifikačná logika

Ekvačná a kvantifikačná logika a kvantifikačná 3. prednáška (6. 10. 004) Prehľad 1 1 (dokončenie) ekvačných tabliel Formula A je ekvačne dokázateľná z množiny axióm T (T i A) práve vtedy, keď existuje uzavreté tablo pre cieľ A ekvačných

Διαβάστε περισσότερα

Cvičenie č. 4,5 Limita funkcie

Cvičenie č. 4,5 Limita funkcie Cvičenie č. 4,5 Limita funkcie Definícia ity Limita funkcie (vlastná vo vlastnom bode) Nech funkcia f je definovaná na nejakom okolí U( ) bodu. Hovoríme, že funkcia f má v bode itu rovnú A, ak ( ε > )(

Διαβάστε περισσότερα

Start. Vstup r. O = 2*π*r S = π*r*r. Vystup O, S. Stop. Start. Vstup P, C V = P*C*1,19. Vystup V. Stop

Start. Vstup r. O = 2*π*r S = π*r*r. Vystup O, S. Stop. Start. Vstup P, C V = P*C*1,19. Vystup V. Stop 1) Vytvorte algoritmus (vývojový diagram) na výpočet obvodu kruhu. O=2xπxr ; S=πxrxr Vstup r O = 2*π*r S = π*r*r Vystup O, S 2) Vytvorte algoritmus (vývojový diagram) na výpočet celkovej ceny výrobku s

Διαβάστε περισσότερα

(IP3) (f, g) = (g, f) (symetria), (IP4) (f, f) > 0 pre f 0 (kladná definitnosť). Z podmienok (IP1) (IP4) sa ľahko dokážu rovnosti:

(IP3) (f, g) = (g, f) (symetria), (IP4) (f, f) > 0 pre f 0 (kladná definitnosť). Z podmienok (IP1) (IP4) sa ľahko dokážu rovnosti: Hilbertove priestory Veľké množstvo aplikácií majú lineárne normované priestory, v ktorých norma je odvodená od skalárneho (vnútorného) súčinu, podobne ako v bežnom trojrozmernom euklidovskom priestore.

Διαβάστε περισσότερα

1-MAT-220 Algebra februára 2012

1-MAT-220 Algebra februára 2012 1-MAT-220 Algebra 1 12. februára 2012 Obsah 1 Grupy 3 1.1 Binárne operácie.................................. 3 1.2 Cayleyho veta.................................... 3 2 Faktorizácia 5 2.1 Relácie ekvivalencie

Διαβάστε περισσότερα

MIDTERM (A) riešenia a bodovanie

MIDTERM (A) riešenia a bodovanie MIDTERM (A) riešenia a bodovanie 1. (7b) Nech vzhl adom na štandardnú karteziánsku sústavu súradníc S 1 := O, e 1, e 2 majú bod P a vektory u, v súradnice P = [0, 1], u = e 1, v = 2 e 2. Aký predpis bude

Διαβάστε περισσότερα

Úvod do lineárnej algebry

Úvod do lineárnej algebry Katedra matematiky Fakulta elektrotechniky a informatiky Technická Univerzita v Košiciach Úvod do lineárnej algebry Monika Molnárová, Helena Myšková 005 RECENZOVALI: RNDr. Štefan Schrötter, CSc. RNDr.

Διαβάστε περισσότερα

Matematika 2. časť: Funkcia viac premenných Letný semester 2013/2014

Matematika 2. časť: Funkcia viac premenných Letný semester 2013/2014 Matematika 2 časť: Funkcia viac premenných Letný semester 2013/2014 RNDr. Jana Pócsová, PhD. Ústav riadenia a informatizácie výrobných procesov Fakulta BERG Technická univerzita v Košiciach e-mail: jana.pocsova@tuke.sk

Διαβάστε περισσότερα

1 Polynómy a racionálne funkcie Základy Polynómy Cvičenia Racionálne funkcie... 17

1 Polynómy a racionálne funkcie Základy Polynómy Cvičenia Racionálne funkcie... 17 Obsah 1 Polynómy a racionálne funkcie 3 11 Základy 3 1 Polynómy 7 11 Cvičenia 13 13 Racionálne funkcie 17 131 Cvičenia 19 Lineárna algebra 3 1 Matice 3 11 Matice - základné vlastnosti 3 1 Cvičenia 6 Sústavy

Διαβάστε περισσότερα

Goniometrické substitúcie

Goniometrické substitúcie Goniometrické substitúcie Marta Kossaczká S goniometrickými funkciami ste sa už určite stretli, pravdepodobne predovšetkým v geometrii. Ich použitie tam ale zďaleka nekončí. Nazačiatoksizhrňme,čoonichvieme.Funkciesínusakosínussadajúdefinovať

Διαβάστε περισσότερα

Numerické metódy matematiky I

Numerické metódy matematiky I Prednáška č. 7 Numerické metódy matematiky I Riešenie sústav lineárnych rovníc ( pokračovanie ) Prednáška č. 7 OBSAH 1. Metóda singulárneho rozkladu (SVD) Úvod SVD štvorcovej matice SVD pre menej rovníc

Διαβάστε περισσότερα

Deliteľnosť a znaky deliteľnosti

Deliteľnosť a znaky deliteľnosti Deliteľnosť a znaky deliteľnosti Medzi základné pojmy v aritmetike celých čísel patrí aj pojem deliteľnosť. Najprv si povieme, čo znamená, že celé číslo a delí celé číslo b a ako to zapisujeme. Nech a

Διαβάστε περισσότερα

Prechod z 2D do 3D. Martin Florek 3. marca 2009

Prechod z 2D do 3D. Martin Florek 3. marca 2009 Počítačová grafika 2 Prechod z 2D do 3D Martin Florek florek@sccg.sk FMFI UK 3. marca 2009 Prechod z 2D do 3D Čo to znamená? Ako zobraziť? Súradnicové systémy Čo to znamená? Ako zobraziť? tretia súradnica

Διαβάστε περισσότερα

MATEMATIKA I. Doc. RNDr. Michal Šabo, CSc

MATEMATIKA I. Doc. RNDr. Michal Šabo, CSc MATEMATIKA I Doc. RNDr. Michal Šabo, CSc 2 Obsah Predhovor 5 2 VYBRANÉ STATE Z ALGEBRY 2. Úvod................................... 2.2 Reálne n-rozmerné vektory...................... 2.3 Matice..................................

Διαβάστε περισσότερα

Moderné vzdelávanie pre vedomostnú spoločnosť Projekt je spolufinancovaný zo zdrojov EÚ M A T E M A T I K A

Moderné vzdelávanie pre vedomostnú spoločnosť Projekt je spolufinancovaný zo zdrojov EÚ M A T E M A T I K A M A T E M A T I K A PRACOVNÝ ZOŠIT II. ROČNÍK Mgr. Agnesa Balážová Obchodná akadémia, Akademika Hronca 8, Rožňava PRACOVNÝ LIST 1 Urč typ kvadratickej rovnice : 1. x 2 3x = 0... 2. 3x 2 = - 2... 3. -4x

Διαβάστε περισσότερα

Motivácia pojmu derivácia

Motivácia pojmu derivácia Derivácia funkcie Motivácia pojmu derivácia Zaujíma nás priemerná intenzita zmeny nejakej veličiny (dráhy, rastu populácie, veľkosti elektrického náboja, hmotnosti), vzhľadom na inú veličinu (čas, dĺžka)

Διαβάστε περισσότερα

Integrovanie racionálnych funkcií

Integrovanie racionálnych funkcií Integrovanie racionálnych funkcií Tomáš Madaras 2009-20 Z teórie funkcií už vieme, že každá racionálna funkcia (t.j. podiel dvoch polynomických funkcií) sa dá zapísať ako súčet polynomickej funkcie a funkcie

Διαβάστε περισσότερα

FUNKCIE N REÁLNYCH PREMENNÝCH

FUNKCIE N REÁLNYCH PREMENNÝCH FAKULTA MATEMATIKY, FYZIKY A INFORMATIKY UNIVERZITY KOMENSKÉHO V BRATISLAVE FUNKCIE N REÁLNYCH PREMENNÝCH RNDr. Kristína Rostás, PhD. PREDMET: Matematická analýza ) 2010/2011 1. DEFINÍCIA REÁLNEJ FUNKCIE

Διαβάστε περισσότερα

13. EUKLIDOVSKÉ PRIESTORY

13. EUKLIDOVSKÉ PRIESTORY 13. EUKLIDOVSKÉ PRIESTORY Naše štúdium vektorových priestorov sa doteraz nieslo prevažne v algebraickom duchu a bolo vedené takmer výlučne algebraickými prostriedkami. Geometria bola v tomto poňatí zredukovaná

Διαβάστε περισσότερα

Vzorové príklady s riešeniami k lineárnej algebre a geometrie pre aplikovaných informatikov k písomke

Vzorové príklady s riešeniami k lineárnej algebre a geometrie pre aplikovaných informatikov k písomke Vzorové príklady s riešeniami k lineárnej algebre a geometrie pre aplikovaných informatikov k písomke 23.5.26 Príklad č. Riešte sústavu Bx = r (B r) 2 3 4 2 3 4 6 8 8 2 (B r) = 6 9 2 6 3 9 2 3 4 2 3 2

Διαβάστε περισσότερα

Obvod a obsah štvoruholníka

Obvod a obsah štvoruholníka Obvod a štvoruholníka D. Štyri body roviny z ktorých žiadne tri nie sú kolineárne (neležia na jednej priamke) tvoria jeden štvoruholník. Tie body (A, B, C, D) sú vrcholy štvoruholníka. strany štvoruholníka

Διαβάστε περισσότερα

7 Derivácia funkcie. 7.1 Motivácia k derivácii

7 Derivácia funkcie. 7.1 Motivácia k derivácii Híc, P Pokorný, M: Matematika pre informatikov a prírodné vedy 7 Derivácia funkcie 7 Motivácia k derivácii S využitím derivácií sa stretávame veľmi často v matematike, geometrii, fyzike, či v rôznych technických

Διαβάστε περισσότερα

Matematika 2. časť: Analytická geometria

Matematika 2. časť: Analytická geometria Matematika 2 časť: Analytická geometria RNDr. Jana Pócsová, PhD. Ústav riadenia a informatizácie výrobných procesov Fakulta BERG Technická univerzita v Košiciach e-mail: jana.pocsova@tuke.sk Súradnicové

Διαβάστε περισσότερα

1. písomná práca z matematiky Skupina A

1. písomná práca z matematiky Skupina A 1. písomná práca z matematiky Skupina A 1. Vypočítajte : a) 84º 56 + 32º 38 = b) 140º 53º 24 = c) 55º 12 : 2 = 2. Vypočítajte zvyšné uhly na obrázku : β γ α = 35 12 δ a b 3. Znázornite na číselnej osi

Διαβάστε περισσότερα

Matematika 2. Lineárna algebra. (ver )

Matematika 2. Lineárna algebra. (ver ) Matematika 2 Lineárna algebra (ver.01.03.2011) 1 Úvod Prehľad. Tieto poznámky obsahujú podklady k prednáške Matematika 2 na špecializácii Aplikovaná informatika: jedná sa o 12 dvojhodinových prednášok

Διαβάστε περισσότερα

PageRank algoritmus. Univerzita Komenského v Bratislave Fakulta Matematiky, Fyziky a Informatiky

PageRank algoritmus. Univerzita Komenského v Bratislave Fakulta Matematiky, Fyziky a Informatiky Univerzita Komenského v Bratislave Fakulta Matematiky, Fyziky a Informatiky PageRank algoritmus Bakalárska práca Študijný program: Informatika Študijný odbor: 9.2.1 Informatika Školiace pracovisko: Katedra

Διαβάστε περισσότερα

Príklady na precvičovanie Fourierove rady

Príklady na precvičovanie Fourierove rady Príklady na precvičovanie Fourierove rady Ďalším významným typom funkcionálnych radov sú trigonometrické rady, pri ktorých sú jednotlivé členy trigonometrickými funkciami. Konkrétne, jedná sa o rady tvaru

Διαβάστε περισσότερα

G. Monoszová, Analytická geometria 2 - Kapitola III

G. Monoszová, Analytická geometria 2 - Kapitola III text obsahuje znenia viet, ktoré budeme dokazovat na prednáškach text je doplnený aj o množstvo poznámok, ich ciel om je dopomôct študentom k lepšiemu pochopeniu pojmov aj súvislostí medzi nimi text je

Διαβάστε περισσότερα

1 Úvod Sylabyaliteratúra Základnéoznačenia... 3

1 Úvod Sylabyaliteratúra Základnéoznačenia... 3 Obsah 1 Úvod 3 1.1 Sylabyaliteratúra.... 3 1.2 Základnéoznačenia.... 3 2 Množiny a zobrazenia 4 2.1 Dôkazy... 4 2.1.1 Základnétypydôkazov... 4 2.1.2 Matematickáindukcia... 4 2.1.3 Drobnéradyakodokazovať....

Διαβάστε περισσότερα

Lineárne kódy. Ján Karabáš. Kódovanie ZS 13/14 KM FPV UMB. J. Karabáš (FPV UMB) Lineárne kódy Kodo ZS 13/14 1 / 19

Lineárne kódy. Ján Karabáš. Kódovanie ZS 13/14 KM FPV UMB. J. Karabáš (FPV UMB) Lineárne kódy Kodo ZS 13/14 1 / 19 Lineárne kódy Ján Karabáš KM FPV UMB Kódovanie ZS 13/14 J. Karabáš (FPV UMB) Lineárne kódy Kodo ZS 13/14 1 / 19 Algebraické štruktúry Grupy Grupa je algebraická štruktúra G = (G;, 1, e), spolu s binárnou

Διαβάστε περισσότερα

Obsah. 1.1 Reálne čísla a ich základné vlastnosti... 7 1.1.1 Komplexné čísla... 8

Obsah. 1.1 Reálne čísla a ich základné vlastnosti... 7 1.1.1 Komplexné čísla... 8 Obsah 1 Číselné obory 7 1.1 Reálne čísla a ich základné vlastnosti............................ 7 1.1.1 Komplexné čísla................................... 8 1.2 Číselné množiny.......................................

Διαβάστε περισσότερα

Jednotkový koreň (unit root), diferencovanie časového radu, unit root testy

Jednotkový koreň (unit root), diferencovanie časového radu, unit root testy Jednotkový koreň (unit root), diferencovanie časového radu, unit root testy Beáta Stehlíková Časové rady, FMFI UK, 2012/2013 Jednotkový koreň(unit root),diferencovanie časového radu, unit root testy p.1/18

Διαβάστε περισσότερα

Prirodzené čísla. Kardinálne čísla

Prirodzené čísla. Kardinálne čísla Prirodzené čísla Doteraz sme sa vždy uspokojili s tým, že sme pod množinou prirodzených čísel rozumeli množinu N = { 1, 2,3, 4,5, 6, 7,8,9,10,11,12, } Túto množinu sme chápali intuitívne a presne sme ju

Διαβάστε περισσότερα

p(α 1 ) = u 1. p(α n ) = u n. Definícia (modulárna reprezentácia polynómu). Zobrazenie

p(α 1 ) = u 1. p(α n ) = u n. Definícia (modulárna reprezentácia polynómu). Zobrazenie 1. Rychlá Fourierová transformácia Budeme značiť teleso T a ω jeho prvok. Veta 1.1 (o interpolácií). Nech α 0, α 1,..., α n sú po dvoch rôzne prvky telesa T[x]. Potom pre každé u 0, u 1,..., u n T existuje

Διαβάστε περισσότερα

15. Matlab Lineárna algebra

15. Matlab Lineárna algebra 1 Portál pre odborné publikovanie ISSN 1338-0087 15. Matlab Lineárna algebra Blaho Michal MATLAB/Comsol 18.09.2009 Matlab pracuje s dátami vo forme vektorov a matíc. Základnej práci s vektormi a maticami

Διαβάστε περισσότερα

MATEMATIKA I ZBIERKA ÚLOH

MATEMATIKA I ZBIERKA ÚLOH TECHNICKÁ UNIVERZITA V KOŠICIACH STAVEBNÁ FAKULTA ÚSTAV TECHNOLÓGIÍ, EKONOMIKY A MANAŽMENTU V STAVEBNÍCTVE KATEDRA APLIKOVANEJ MATEMATIKY RNDr. Pavol PURCZ, PhD. Mgr. Adriana ŠUGÁROVÁ MATEMATIKA I ZBIERKA

Διαβάστε περισσότερα

Súčtové vzorce. cos (α + β) = cos α.cos β sin α.sin β cos (α β) = cos α.cos β + sin α.sin β. tg (α β) = cotg (α β) =.

Súčtové vzorce. cos (α + β) = cos α.cos β sin α.sin β cos (α β) = cos α.cos β + sin α.sin β. tg (α β) = cotg (α β) =. Súčtové vzorce Súčtové vzorce sú goniometrické hodnoty súčtov a rozdielov dvoch uhlov Sem patria aj goniometrické hodnoty dvojnásobného a polovičného uhla a pridám aj súčet a rozdiel goniometrických funkcií

Διαβάστε περισσότερα

1. POLIA A VEKTOROVÉ PRIESTORY. V tejto kapitole zavedieme dva druhy algebraických štruktúr, ktoré budú hrať v celom

1. POLIA A VEKTOROVÉ PRIESTORY. V tejto kapitole zavedieme dva druhy algebraických štruktúr, ktoré budú hrať v celom 1. POLIA A VEKTOROVÉ PRIESTORY V tejto kapitole zavedieme dva druhy algebraických štruktúr, ktoré budú hrať v celom ďalšom výklade kľúčovú úlohu, a dokážeme o nich niekoľko jednoduchých základných tvrdení.

Διαβάστε περισσότερα

ALGEBRA. Číselné množiny a operácie s nimi. Úprava algebrických výrazov

ALGEBRA. Číselné množiny a operácie s nimi. Úprava algebrických výrazov ALGEBRA Číselné množiny a operácie s nimi. Úprava algebrických výrazov Definícia Množinu považujeme za určenú, ak vieme o ľubovoľnom objekte rozhodnúť, či je alebo nie je prvkom množiny. Množinu určujeme

Διαβάστε περισσότερα

Funkcie - základné pojmy

Funkcie - základné pojmy Funkcie - základné pojmy DEFINÍCIA FUNKCIE Nech A, B sú dve neprázdne číselné množiny. Ak každému prvku x A je priradený najviac jeden prvok y B, tak hovoríme, že je daná funkcia z množiny A do množiny

Διαβάστε περισσότερα

Mini minimaliz acia an BUˇ Koˇ sice 2011

Mini minimaliz acia an BUˇ Koˇ sice 2011 Mini minimalizácia Ján BUŠA Košice 2011 RECENZOVALI: Prof. RNDr. Noname, CSc. Doc. RNDr. Emanname, PhD. Prvé vydanie Za odbornú stránku učebného textu zodpovedá autor. Rukopis neprešiel redakčnou ani jazykovou

Διαβάστε περισσότερα

BANACHOVE A HILBERTOVE PRIESTORY

BANACHOVE A HILBERTOVE PRIESTORY BANACHOVE A HILBERTOVE PRIESTORY 1. ZÁKLADNÉ POJMY Normovaným lineárnym priestorom (NLP) nazývame lineárny (= vektorový) priestor X nad telesom IK, na ktorom je daná nezáporná reálna funkcia : X IR + (norma)

Διαβάστε περισσότερα

Obyčajné diferenciálne rovnice

Obyčajné diferenciálne rovnice (ÚMV/MAN3b/10) RNDr. Ivan Mojsej, PhD ivan.mojsej@upjs.sk 14.3.2013 Úvod patria k najdôležitejším a najviac prepracovaným matematickým disciplínam. Nielen v minulosti, ale aj v súčastnosti predstavujú

Διαβάστε περισσότερα

4. Výrokové funkcie (formy), ich definičný obor a obor pravdivosti

4. Výrokové funkcie (formy), ich definičný obor a obor pravdivosti 4. Výrokové funkcie (formy), ich definičný obor a obor pravdivosti Výroková funkcia (forma) ϕ ( x) je formálny výraz (formula), ktorý obsahuje znak x, pričom x berieme z nejakej množiny M. Ak za x zvolíme

Διαβάστε περισσότερα

1.4 Rovnice, nerovnice a ich sústavy

1.4 Rovnice, nerovnice a ich sústavy 1. Rovnice, nerovnice a ich sústavy Osah Pojmy: rovnica, nerovnica, sústava rovníc, sústava nerovníc a ich riešenie, koeficient, koreň, koreňový činiteľ, diskriminant, doplnenie do štvorca, úprava na súčin,

Διαβάστε περισσότερα

Planárne a rovinné grafy

Planárne a rovinné grafy Planárne a rovinné grafy Definícia Graf G sa nazýva planárny, ak existuje jeho nakreslenie D, v ktorom sa žiadne dve hrany nepretínajú. D sa potom nazýva rovinný graf. Planárne a rovinné grafy Definícia

Διαβάστε περισσότερα

Definícia parciálna derivácia funkcie podľa premennej x. Definícia parciálna derivácia funkcie podľa premennej y. Ak existuje limita.

Definícia parciálna derivácia funkcie podľa premennej x. Definícia parciálna derivácia funkcie podľa premennej y. Ak existuje limita. Teória prednáška č. 9 Deinícia parciálna deriácia nkcie podľa premennej Nech nkcia Ak eistje limita je deinoaná okolí bod [ ] lim. tak túto limit nazýame parciálno deriácio nkcie podľa premennej bode [

Διαβάστε περισσότερα

MATEMATICKÁ OLYMPIÁDA

MATEMATICKÁ OLYMPIÁDA S MATEMATICÁ OLYMPIÁDA skmo.sk 2008/2009 58. ročník Matematickej olympiády Riešenia úloh IMO. Nech n je kladné celé číslo a a,..., a k (k 2) sú navzájom rôzne celé čísla z množiny {,..., n} také, že n

Διαβάστε περισσότερα

Súradnicová sústava (karteziánska)

Súradnicová sústava (karteziánska) Súradnicová sústava (karteziánska) = sú to na seba kolmé priamky (osi) prechádzajúce jedným bodom, na všetkých osiach sú jednotky rovnakej dĺžky-karteziánska sústava zavedieme ju nasledovne 1. zvolíme

Διαβάστε περισσότερα

Prednáška Fourierove rady. Matematická analýza pre fyzikov IV. Jozef Kise lák

Prednáška Fourierove rady. Matematická analýza pre fyzikov IV. Jozef Kise lák Prednáška 6 6.1. Fourierove rady Základná myšlienka: Nech x Haφ 1,φ 2,...,φ n,... je ortonormálny systém v H, dá sa tento prvok rozvinút do radu x=c 1 φ 1 + c 2 φ 2 +...,c n φ n +...? Ako nájdeme c i,

Διαβάστε περισσότερα

Reálna funkcia reálnej premennej

Reálna funkcia reálnej premennej (ÚMV/MAN3a/10) RNDr. Ivan Mojsej, PhD ivan.mojsej@upjs.sk 18.10.2012 Úvod V každodennom živote, hlavne pri skúmaní prírodných javov, procesov sa stretávame so závislosťou veľkosti niektorých veličín od

Διαβάστε περισσότερα

2. prednáška. Teória množín I. množina operácie nad množinami množinová algebra mohutnosť a enumerácia karteziánsky súčin

2. prednáška. Teória množín I. množina operácie nad množinami množinová algebra mohutnosť a enumerácia karteziánsky súčin 2. prednáška Teória množín I množina operácie nad množinami množinová algebra mohutnosť a enumerácia karteziánsky súčin Verzia: 27. 9. 2009 Priesvtika: 1 Definícia množiny Koncepcia množiny patrí medzi

Διαβάστε περισσότερα

MATEMATICKÁ ANALÝZA 1

MATEMATICKÁ ANALÝZA 1 UNIVERZITA PAVLA JOZEFA ŠAFÁRIKA V KOŠICIACH Prírodovedecká fakulta Ústav matematických vied Božena Mihalíková, Ján Ohriska MATEMATICKÁ ANALÝZA Vysokoškolský učebný text Košice, 202 202 doc. RNDr. Božena

Διαβάστε περισσότερα

XVIII. ročník BRKOS 2011/2012. Pomocný text. Kde by bola matematika bez čísel? Čísla predstavujú jednu z prvých abstrakcií, ktorú

XVIII. ročník BRKOS 2011/2012. Pomocný text. Kde by bola matematika bez čísel? Čísla predstavujú jednu z prvých abstrakcií, ktorú Pomocný text Číselné obory Číselné obory Kde by bola matematika bez čísel? Čísla predstavujú jednu z prvých abstrakcií, ktorú ľudia začali vnímať. Abstrakcia spočívala v tom, že množstvo, ktoré sa snažili

Διαβάστε περισσότερα

M6: Model Hydraulický systém dvoch zásobníkov kvapaliny s interakciou

M6: Model Hydraulický systém dvoch zásobníkov kvapaliny s interakciou M6: Model Hydraulický ytém dvoch záobníkov kvapaliny interakciou Úlohy:. Zotavte matematický popi modelu Hydraulický ytém. Vytvorte imulačný model v jazyku: a. Matlab b. imulink 3. Linearizujte nelineárny

Διαβάστε περισσότερα

3. prednáška. Komplexné čísla

3. prednáška. Komplexné čísla 3. predáška Komplexé čísla Úvodé pozámky Vieme, že existujú také kvadratické rovice, ktoré emajú riešeie v obore reálych čísel. Študujme kvadratickú rovicu x x + 5 = 0 Použitím štadardej formule pre výpočet

Διαβάστε περισσότερα

TREDNÁ ODBORNÁ ŠKOLA STRÁŽSKE PRACOVNÝ ZOŠIT. k predmetu Matematika pre

TREDNÁ ODBORNÁ ŠKOLA STRÁŽSKE PRACOVNÝ ZOŠIT. k predmetu Matematika pre TREDNÁ ODBORNÁ ŠKOLA STRÁŽSKE PRACOVNÝ ZOŠIT k predmetu Matematika pre 2. ročník SOŠ v Strážskom, študijný odbor 3760 6 00 prevádzka a ekonomika dopravy Operačný program: Vzdelávanie Programové obdobie:

Διαβάστε περισσότερα

primitívnoufunkcioukfukncii f(x)=xnamnožinereálnychčísel.avšakaj 2 +1 = x, tedaajfunkcia x2

primitívnoufunkcioukfukncii f(x)=xnamnožinereálnychčísel.avšakaj 2 +1 = x, tedaajfunkcia x2 Neurčitý integrál. Primitívna funkcia a neurčitý integrál Funkcia F(x)sanazývaprimitívnoufunkcioukfunkcii f(x)naintervale(a,b),akpre každé x (a,b)platí F (x)=f(x). Z definície vidíme, že pojem primitívnej

Διαβάστε περισσότερα

Symbolická logika. Stanislav Krajči. Prírodovedecká fakulta

Symbolická logika. Stanislav Krajči. Prírodovedecká fakulta Symbolická logika Stanislav Krajči Prírodovedecká fakulta UPJŠ Košice 2008 Názov diela: Symbolická logika Autor: Doc. RNDr. Stanislav Krajči, PhD. Vydala: c UPJŠ Košice, 2008 Recenzovali: Doc. RNDr. Miroslav

Διαβάστε περισσότερα

DIFERENCÁLNE ROVNICE Matematická analýza (MAN 2c)

DIFERENCÁLNE ROVNICE Matematická analýza (MAN 2c) Prírodovedecká fakulta Univerzity P. J. Šafárika v Košiciach Božena Mihalíková, Ivan Mojsej Strana 1 z 43 DIFERENCÁLNE ROVNICE Matematická analýza (MAN 2c) 1 Obyčajné diferenciálne rovnice 3 1.1 Úlohy

Διαβάστε περισσότερα

Metódy vol nej optimalizácie

Metódy vol nej optimalizácie Metódy vol nej optimalizácie Metódy vol nej optimalizácie p. 1/28 Motivácia k metódam vol nej optimalizácie APLIKÁCIE p. 2/28 II 1. PRÍKLAD: Lineárna regresia - metóda najmenších štvorcov Na základe dostupných

Διαβάστε περισσότερα

PREHĽAD ZÁKLADNÝCH VZORCOV A VZŤAHOV ZO STREDOŠKOLSKEJ MATEMATIKY. Pomôcka pre prípravný kurz

PREHĽAD ZÁKLADNÝCH VZORCOV A VZŤAHOV ZO STREDOŠKOLSKEJ MATEMATIKY. Pomôcka pre prípravný kurz KATEDRA APLIKOVANEJ MATEMATIKY A INFORMATIKY STROJNÍCKA FAKULTA TU KOŠICE PREHĽAD ZÁKLADNÝCH VZORCOV A VZŤAHOV ZO STREDOŠKOLSKEJ MATEMATIKY Pomôcka pre prípravný kurz 8 ZÁKLADNÉ ALGEBRAICKÉ VZORCE ) (a±b)

Διαβάστε περισσότερα

Gramatická indukcia a jej využitie

Gramatická indukcia a jej využitie a jej využitie KAI FMFI UK 29. Marec 2010 a jej využitie Prehľad Teória formálnych jazykov 1 Teória formálnych jazykov 2 3 a jej využitie Na počiatku bolo slovo. A slovo... a jej využitie Definícia (Slovo)

Διαβάστε περισσότερα

Automaty a formálne jazyky

Automaty a formálne jazyky Automaty a formálne jazyky Podľa prednášok prof. RNDr. Viliama Gefferta, DrSc., PrírF UPJŠ Dňa 8. februára 2005 zostavil Róbert Novotný, r.novotny@szm.sk. Typeset by LATEX. Illustrations by jpicedit. Úvodné

Διαβάστε περισσότερα

Technická univerzita v Košiciach Fakulta elektrotechniky a informatiky MATEMATIKA II. Zbierka riešených a neriešených úloh

Technická univerzita v Košiciach Fakulta elektrotechniky a informatiky MATEMATIKA II. Zbierka riešených a neriešených úloh Technická univerzita v Košiciach Fakulta elektrotechniky a informatiky MATEMATIKA II Zbierka riešených a neriešených úloh Anna Grinčová Jana Petrillová Košice 06 Technická univerzita v Košiciach Fakulta

Διαβάστε περισσότερα

množiny F G = {t1, t2,, tn} T a pre ľubovoľný valec C so základňou B1, B2,, Bn v bodoch t1, t2,, tn, takou, že pre t G - F je Bt = E, platí PF(C) = PG

množiny F G = {t1, t2,, tn} T a pre ľubovoľný valec C so základňou B1, B2,, Bn v bodoch t1, t2,, tn, takou, že pre t G - F je Bt = E, platí PF(C) = PG STOCHASTICKÝ PROCES Definícia stochastického procesu Definícia 1 Nech (Ω, F, P) je pravdepodobnostný priestor a nech T je podmnožina R. Pre každé t T nech X(t, ω) je náhodná premenná definovaná na pravdepodobnostnom

Διαβάστε περισσότερα

viacrozmerných a nekonečnorozmerných priestoroch. A ako nasvedčuje jej názov, pôjde o rovnice nelineárne.

viacrozmerných a nekonečnorozmerných priestoroch. A ako nasvedčuje jej názov, pôjde o rovnice nelineárne. Nelineárna analýza 1. Úvod Na začiatok by bolo načim ako-tak vymedzit, čím sa nelineárna analýza zaoberá. Čitatel by už mal však mat dostatok skúseností, aby vedel, že je to dost t ažké u l ubovol nej

Διαβάστε περισσότερα

Analytická geometria

Analytická geometria Analytická geometria Analytická geometria je oblasť matematiky, v ktorej sa študujú geometrické útvary a vzťahy medzi nimi pomocou ich analytických vyjadrení. Praktický význam analytického vyjadrenia je

Διαβάστε περισσότερα

Derivácia funkcie. Pravidlá derivovania výrazov obsahujúcich operácie. Derivácie elementárnych funkcií

Derivácia funkcie. Pravidlá derivovania výrazov obsahujúcich operácie. Derivácie elementárnych funkcií Derivácia funkcie Derivácia funkcie je jeden z najužitočnejších nástrojov, ktoré používame v matematike a jej aplikáciách v ďalších odboroch. Stručne zhrnieme základné informácie o deriváciách. Podrobnejšie

Διαβάστε περισσότερα

Učební texty k státní bakalářské zkoušce Matematika Vektorové prostory. študenti MFF 15. augusta 2008

Učební texty k státní bakalářské zkoušce Matematika Vektorové prostory. študenti MFF 15. augusta 2008 Učební texty k státní bakalářské zkoušce Matematika Vektorové prostory študenti MFF 15. augusta 2008 1 9 Vektorové priestory Požiadavky Základné vlastnosti vektorových priestorov, podpriestorov generovania,

Διαβάστε περισσότερα

Ján Buša Štefan Schrötter

Ján Buša Štefan Schrötter Ján Buša Štefan Schrötter 1 KOMPLEXNÉ ČÍSLA 1 1.1 Pojem komplexného čísla Väčšine z nás je známe, že druhá mocnina ľubovoľného reálneho čísla nemôže byť záporná (ináč povedané: pre každé x R je x 0). Ako

Διαβάστε περισσότερα

Zložené funkcie a substitúcia

Zložené funkcie a substitúcia 3. kapitola Zložené funkcie a substitúcia Doteraz sme sa pri funkciách stretli len so závislosťami medzi dvoma premennými. Napríklad vzťah y=x 2 nám hovoril, ako závisí premenná y od premennej x. V praxi

Διαβάστε περισσότερα

Technická univerzita v Košiciach. Zbierka riešených a neriešených úloh. z matematiky. pre uchádzačov o štúdium na TU v Košiciach

Technická univerzita v Košiciach. Zbierka riešených a neriešených úloh. z matematiky. pre uchádzačov o štúdium na TU v Košiciach Technická univerzita v Košiciach Zbierka riešených a neriešených úloh z matematiky pre uchádzačov o štúdium na TU v Košiciach Martin Bača Ján Buša Andrea Feňovčíková Zuzana Kimáková Denisa Olekšáková Štefan

Διαβάστε περισσότερα

2 Základy vektorového počtu

2 Základy vektorového počtu 21 2 Základy vektorového počtu Fyzikálne veličíny sa dajú rozdeliť do dvoch skupín. Prvú skupinu fyzikálnych veličín tvoria tie, pre ktorých jednoznačné určenie postačí poznať veľkosť danej fyzikálnej

Διαβάστε περισσότερα

Riešenie sústavy lineárnych rovníc. Priame metódy.

Riešenie sústavy lineárnych rovníc. Priame metódy. Riešenie sústavy lineárnych rovníc. Priame metódy. Ing. Gabriel Okša, CSc. Matematický ústav Slovenská akadémia vied Bratislava Stavebná fakulta STU G. Okša: Priame metódy 1/16 Obsah 1 Základy 2 Systémy

Διαβάστε περισσότερα

FUNKCIE. Funkcia základné pojmy. Graf funkcie

FUNKCIE. Funkcia základné pojmy. Graf funkcie FUNKCIE Funkcia základné pojm. Graf funkcie V prai sa často stretávame so skúmaním závislosti veľkosti niektorých veličín od veľkosti iných veličín, napríklad dĺžka kružnice l závisí od jej priemeru d

Διαβάστε περισσότερα

NUMERICKÁ MATEMATIKA. Moderné vzdelávanie pre vedomostnú spoločnosť/ Projekt je spolufinancovaný zo zdrojov EÚ. Fakulta elektrotechniky a informatiky

NUMERICKÁ MATEMATIKA. Moderné vzdelávanie pre vedomostnú spoločnosť/ Projekt je spolufinancovaný zo zdrojov EÚ. Fakulta elektrotechniky a informatiky Moderné vzdelávanie pre vedomostnú spoločnosť/ Projekt je spolufinancovaný zo zdrojov EÚ NUMERICKÁ MATEMATIKA Fakulta elektrotechniky a informatiky Štefan Berežný Táto publikácia vznikla za finančnej podpory

Διαβάστε περισσότερα

Numerické metódy Učebný text pre bakalárske štúdium

Numerické metódy Učebný text pre bakalárske štúdium Imrich Pokorný Numerické metódy Učebný text pre bakalárske štúdium Strana 1 z 48 1 Nepresnosť numerického riešenia úloh 4 1.1 Zdroje chýb a ich klasifikácia................... 4 1.2 Základné pojmy odhadu

Διαβάστε περισσότερα

3. Striedavé prúdy. Sínusoida

3. Striedavé prúdy. Sínusoida . Striedavé prúdy VZNIK: Striedavý elektrický prúd prechádza obvodom, ktorý je pripojený na zdroj striedavého napätia. Striedavé napätie vyrába synchrónny generátor, kde na koncoch rotorového vinutia sa

Διαβάστε περισσότερα

2-UMA-115 Teória množín. Martin Sleziak

2-UMA-115 Teória množín. Martin Sleziak 2-UMA-115 Teória množín Martin Sleziak 20. septembra 2011 Obsah 1 Úvod 5 1.1 Predhovor...................................... 5 1.2 Sylaby a literatúra................................. 6 1.2.1 Literatúra..................................

Διαβάστε περισσότερα

II. Diferencovateľné variety

II. Diferencovateľné variety II. Diferencovateľné variety 1. Potreba diferenciálneho počtu na množinách bez lineárnej štruktúry 1.1. Príklad. Ideálne kyvadlo. Ide o pohyb hmotného bodu na nehmotnej niti v zvislej rovine pod vplyvom

Διαβάστε περισσότερα

Obsah. 1.1 Základné pojmy a vzťahy Základné neurčité integrály Cvičenia Výsledky... 11

Obsah. 1.1 Základné pojmy a vzťahy Základné neurčité integrály Cvičenia Výsledky... 11 Obsah Neurčitý integrál 7. Základné pojmy a vzťahy.................................. 7.. Základné neurčité integrály............................. 9.. Cvičenia..........................................3

Διαβάστε περισσότερα

Cieľom cvičenia je zvládnuť riešenie diferenciálnych rovníc pomocou Laplaceovej transformácie,

Cieľom cvičenia je zvládnuť riešenie diferenciálnych rovníc pomocou Laplaceovej transformácie, Kapitola Riešenie diferenciálnych rovníc pomocou Laplaceovej tranformácie Cieľom cvičenia je zvládnuť riešenie diferenciálnych rovníc pomocou Laplaceovej tranformácie, keď charakteritická rovnica má rôzne

Διαβάστε περισσότερα