1 Kardinální čísla. množin. Tvrzení: Necht X Cn. Pak: 1. X Cn a je to nejmenší prvek třídy X v uspořádání (Cn, ),
|
|
- Blanka Vítková
- před 6 lety
- Počet zobrazení:
Transkript
1 Pracovní text k přednášce Logika a teorie množin Kardinální čísla 2 Ukázali jsme, že ordinální čísla reprezentují typy dobrých uspořádání Základy teorie množin Z minula: 1. Věta o ordinálních typech, zavedení operací na On 2. Operace na ordinálních číslech 3. Axiom výběru a jeho ekvivalenty (Zornovo lemma, Princip dobrého uspořádání) 4. Příklady vět, jejichž důkazy se opírající o axiom výběru množin. Nyní popíšeme třídu Cn tzv. kardinálních čísel, jež budou reprezentovat typy mohutností všech množin, které lze dobře uspořádat. Za předpokladu axiomu výběru (resp. s ním ekvivalentního principu dobrého uspořádání) tedy kardinální čísla budou typy mohutností všech množin, tj. každá množina bude mít mohutnost právě jednoho kardinálního čísla. Připomeňme, že již nyní víme, že každá konečná množina má mohutnost nějakého (právě jednoho) přirozeného čísla n ω. To znamená, že prvky ω jsou typy mohutností konečných množin. Tento koncept nyní rozšíříme. 3 4 Třída kardinálních čísel Cn = {α On ; ( β On)(β < α (β α))}. Cn sestává z právě těch ordinálních čísel, jež nelze prostě zobrazit na žádné menší ordinální číslo. Jinými slovy, Cn obsahuje nejmenší prvek z každé rozkladové třídy On/. Indukcí lze snadno dokázat, že ω Cn a ω Cn. Prvky třídy Cn se nazývají kardinální čísla či krátce kardinály. Cn označuje třídu nekonečných kardinálů, neboli Cn = Cn ω. Kardinální čísla budeme označovat písmeny κ, λ, µ, ν,.... Je-li x množina a x κ Cn, píšeme x = κ a číslo κ nazýváme mohutností či kardinalitou množiny x. Tvrzení: Necht X Cn. Pak: 1. X Cn a je to nejmenší prvek třídy X v uspořádání (Cn, ), 2. Je-li X množina, je X Cn a je to supremum množiny X v (Cn, ). Důkaz. Víme, že X je nejmenší ordinál v X, náleží tedy do X a je to proto kardinální číslo. Tím je průnik odbyt. Víme dále, že je-li X množina, je γ = X ordinál, jenž je supremem množiny X v On. Stačí proto ukázat, že je to kardinál. Sporem. Předpokládejme, že γ / Cn. Existuje tedy α < γ, α γ. Pak ale α κ pro nějaké κ X. Tedy α κ γ, a tedy α κ, což není možné, neb κ Cn.
2 Pracovní text k přednášce Logika a teorie množin Tvrzení: Neexistuje největší kardinální číslo. 5 Důsledek: Cn je vlastní třída. 6 Důkaz. Předpokládáme-li AC, stačí užít Cantorovy věty. Z něj (a principu dobrého uspořádání) totiž plyne κ < P(κ). Tvrzení však platí i bez AC. Sporem: Necht κ je největší kardinál. Pro α On označme R α množinu všech dobrých uspořádání na κ podle typu α. Je-li α κ, lze α prostě zobrazit na κ (nejmenší α > κ, pro které by to nešlo, by bylo samo kardinální, což je ve sporu s maximalitou κ). Z toho plyne, že pro α κ je R α. Každé uspořádání na κ je relace na κ, tedy R α P(κ κ), jinými slovy R α P(P(κ κ)). Přitom pro α β je R α R β =, nebot, jak víme, uspořádání žádných dvou ordinálních čísel nejsou izomorfní. Spec. R α R β. Zobrazení R přiřazující každému prvku α vlastní třídy On κ neprázdnou množinu R α je tedy prosté. Sestrojili jsme tedy prosté zobrazení vlastní třídy On κ do množiny P(P(κ κ)), což není možné spor. Jelikož Cn On, je Cn sama dobře ostře uspořádaná relací. Protože je Cn vlastní třída, jde o uspořádání typu On, neboli (On, ) = (Cn, ). Následník kardinálu κ je nejmenší kardinál větší než κ, značíme jej κ +. Kardinál κ je izolovaný, je-li sám následníkem nějakého kardinálu; jinak je limitní. Pozor: tyto pojmy na On a Cn nesplývají: U přirozených čísel sice ano: 0 je limitní jakožto ordinál i kardinál, zatímco každé n 1 je izolované (jakožto ordinál i kardinál). Ovšem všechna nekonečná kardinální čísla (včetně izolovaných) jsou limitní ordinály (je totiž zřejmé, že izolovaný ordinál tvaru α {α}, kde α je nekonečné, má stejnou mohutnost jako α a nemůže proto být kardinálem). Při použití pojmů souvisejících s uspořádáním tedy musíme dbát na to, zda dané číslo chápeme jako ordinální, tedy v kontextu uspořádání (On, ), nebo jako číslo kardinální, v kontextu (Cn, ). 7 Funkce Alef ℵ Rovněž třída všech nekonečných kardinálních čísel Cn je vlastní, je tudíž také uspořádána dle typu On. Jednoznačně určený izomorfismus uspořádání (Cn, ) a (On, ) označujeme prvním písmenem hebrejské abecedy, ℵ (Alef). Funkci ℵ lze definovat též transfinitní rekurzí, a to předpisem ℵ(α) = min (Cn ℵ α). Místo ℵ(α) píšeme obvykle ℵ α. Chceme-li zdůraznit, že číslo ℵ α chápeme ordinálně, tj. jako prvek On, píšeme místo ℵ α symbol ω α. Platí: ℵ 0 = ω a je-li κ = ℵ α, je κ + = ℵ α+1. Kardinální číslo ℵ α je limitní, právě když α je limitní ordinál. Dále α ω α. 8 Tvrzení: Funkce ℵ je normální, neboli rostoucí (α < β ℵ α < ℵ β ) a spojitá (ℵ λ = sup{ℵ β ; β < λ} pro limitní ordinál λ) Důkaz. Že je rostoucí je zřejmé z definice. Je dále zřejmé, že ℵ λ je majoranta množiny u = {ℵ β ; β < λ}. Že je to nejmenší majoranta dokážeme sporem: Necht κ < ℵ λ je rovněž majorantou u. Z limitnosti λ plyne, že κ je nekonečné, tedy κ = ℵ β pro nějaké β < λ. Pak ovšem β + 1 < λ, a tedy κ = ℵ β < ℵ β+1 u, což je ve sporu s tím, že κ majorizuje u. Důsledek: Funkce ℵ má pevné body (dle věty o pevném bodu pro normální funkce), tj. existují ξ = ℵ ξ. Pro takové ξ pak platí ξ ξ Cn, neboli "pod ξ leží stejný počet ordinálů jako kardinálů".
3 Pracovní text k přednášce Logika a teorie množin Tvrzení: Pro každé α On platí ℵ α ℵ α ℵ α. Maximo-lexikografické uspořádání Maximo-lexikografické uspořádání MLe na třídě On On je definováno vztahem α 1, β 1 MLe α 2, β 2 max{α 1, β 1 } < max{α 2, β 2 } (max{α 1, β 1 } = max{α 2, β 2 } α 1, β 1 Le α 2, β 2 ). (On On, MLe ) je dobré a úzké uspořádání (je tudíž typu On). Kterou z uvedených vlastností nemá uspořádání Le, jež jsme na (On On) zavedli minule? Důkaz. Bud X = {α On ; ℵ α ℵ α ℵ α }. Podle principu transfinitní indukce stačí dokázat, že α X implikuje α X. Bud tedy α X a η ordinální typ uspořádání (ℵ α ℵ α, MLe ). Zřejmě η ℵ α ℵ α. Dokážeme, že η = ℵ α. Kdyby η < ω α, pak by η ℵ α ℵ α ℵ α η, což není možné. Necht naopak ω α < η. Je-li f izomorfismus (η, ) a (ℵ α ℵ α, MLe ), je f(ℵ α ) = γ, δ ℵ α ℵ α pro nějaká γ, δ ℵ α. Bud β = max{γ, δ}+1. Pak β ℵ α, tedy speciálně β < ℵ α, a dále f ℵ α β β, tedy ℵ α β β. Podle indukčního předpokladu však β β = β < ℵ α, což je spor. Zbývá tedy jedině možnost η = ω α. Dokázali jsme, že α X. 11 Z AC a předchozího tvrzení plyne, že pro každou nekonečnou množinu a platí a a a. Od této chvíle pracujeme v teorii množin s axiomem výběru. Na třídě Cn definujeme operace sčítání, násobení a umocňování takto: κ + λ = κ λ, κ λ = κ λ, κ λ = λ κ. Operace kardinálního součtu a součinu jsou zřejmě asociativní a komutativní. Bud te λ > κ > 0 a λ Cn ; pak: λ κ λ 2 λ λ λ λ λ κ λ λ λ λ Jsou-li tedy κ, λ > 0 kardinální čísla, z nichž alespoň jedno je nekonečné, pak κ + λ = κ λ = max{κ, λ}. Některé zákony kardinální aritmetiky 1. x y = x + y, x y = x y, x y = y x 2. 2 κ = P(κ) > κ, 3. 0 κ 1 κ 2 λ 1 λ 2 κ λ1 1 κ λ2 2, 4. κ µ+ν = κ µ κ ν, 5. (κ µ ) ν = κ µ ν. 6. κ 0 = 1, 1 λ = 1, λ 0 0 λ = 0, 7. 0 < n ω κ κ n = κ, 8. (2 κ λ ω λ) κ λ = 2 λ. 12 Na přirozených číslech kardinální operace sčítání, násobení i umocňování splývají s obvyklými.
4 Pracovní text k přednášce Logika a teorie množin Součet souboru kardinálů a mohutnost sjednocení Součet souboru κ i ; i I kardinálních čísel je definován vztahem κ i = ({i} κ i). 13 Tvrzení: Je-li κ i ; i I soubor nenulových kardinálů a I nebo některé z κ i je nekonečné, pak Důkaz. Označme κ = sup{κ i κ i = max{ I, sup{κ i ; i I}}. ; i I}. Zřejmě κ I κ i, nebot uvedená suma majorizuje množinu {κ i ; i I}. Jelikož κ i 1 pro každé i I, platí dále I I κ i, tedy celkem max{ I, κ} I κ i. Obráceně: zřejmě I κ i I κ I κ = max{ I, κ}. Je-li x i ; i I soubor množin, platí I x i I x i. Jsou-li navíc x i po dvou disjunktní, pak I x i = I x i. Z předešlého tvrzení navíc vyplývá, že je-li κ Cn, I κ a x i κ pro každé i I, pak I x i κ. Součin souboru kardinálních čísel 14 Připomeňme, že součin souboru množin x i ; i I je množina X x i = {f ; f je zobrazení, dom(f) = I a ( i I)f(i) x i }. Součin souboru kardinálních čísel κ i ; i I definujeme jako κ i = X κ i Je-li κ i = κ pro každé i I, pak κ i = κ I. Věta (Königova nerovnost): Jsou-li κ i, λ i kardinální čísla taková, že κ i < λ i pro každé i I, potom κ i < λ i Jedná se o zobecnění Cantorovy nerovnosti x P(x) (pro κ i = 1, λ i = 2 totiž Königova nerovnost dává I < 2 I = P(I) ). 15 Lemma: Je-li λ i 2 pro každé i I, pak λ i λ i Důkaz. Pro I 2 je tvrzení snadné. Necht I > 2. Zobrazíme prostě S = ({i} λ i) do P = X λ i. Dle předpokladu, {0, 1} λ i pro každé i λ. Dvojici i, α S přiřadíme funkci f i,α P definovanou např. takto: 1 když i j f i,0 (j) = 0 když i = j a pro α > 0 0 když i j f i,α (j) = α když i = j Snadno se ověří, že toto přiřazení je prosté. 16 Důkaz Königovy nerovnosti. Jelikož κ i < λ i, jsou všechna λ i nenulová. Pokud pro nějaké i I je λ i = 1, je κ i = 0. Členy s indexem i tedy nepřispívají ani do součtu na levé straně, ani do součinu na pravé straně, proto je můžeme vypustit. Lze tedy předpokládat, že λ i 2 pro každé i I. Dle lematu tudíž I κ i I λ i I λ i. Předpokládejme, že nastává rovnost (vyvodíme spor). Z rovnosti plyne, že existuje disjunktní rozklad množiny XI λ i na množiny X i pro i I tak, že X j = κ j. Tedy I X i = XI λ i. Diagonálním trikem, podobným důkazu Cantorovy věty, sestrojíme funkci g XI λ i, jež neleží v žádné X i, čímž dostaneme spor: Pro každé i I bud Y i = {f(i) ; f X i }. Je tedy Y i λ i. Pak Y i X i = κ i < λ i. Hodnoty z Y i tudíž nevyčerpají celé λ i a můžeme definovat g(i) = min(λ i Y i ) pro každé i I. Pro každé i I tak máme g(i) / Y i, tedy g / X i. Odtud g / I X i, ačkoli zjevně g XI λ i. Spor.
5 Pracovní text k přednášce Logika a teorie množin O mohutnosti kontinua 17 Kardinální číslo 2 ℵ0 nazýváme (ve shodě s dřívější definicí) mohutností kontinua. Někdy se značí symbolem c. Víme, že P(ω) = ω 2 = ω ω = R = c. Z Cantorovy věty vyplývá, že ℵ 0 < c tedy c ℵ 1. Rovnost c = ℵ 1 se nazývá hypotéza kontinua (CH). Říká, že mezi mohutností přirozených a reálných čísel není už žádná mohutnost, neboli, že každá podmnožina množiny reálných čísel je bud konečná, spočetná, nebo mohutnosti kontinua. Hypotézu kontinua nelze v Zermelo-Fraenkelově teorii s axiomem výběru rozhodnout (tj. ani dokázat ani vyvrátit). Totéž platí i o dalším průběhu funkce 2 ℵα. Je například bezesporné předpokládat, že 2 ℵα = ℵ α+1 pro každé α On (tzv. zobecněná hypotéza kontinua, GCH), ovšem to je jen jedna z nepřeberného množství bezesporných možností.
Základy teorie množin
1 Základy teorie množin Z minula: 1. Cantorovu větu (x P(x)) 2. základní vlastnosti disjunktního sjednocení, kartézského součinu a množinové mocniny (z hlediska relací, ) 3. vztah P(a) a 2 4. větu (2 a
Doporučené příklady k Teorii množin, LS 2018/2019
Doporučené příklady k Teorii množin, LS 2018/2019 1. přednáška, 21. 2. 2019 1. Napište množina x je prázdná (přesněji množina x nemá žádné prvky ) formulí základního jazyka teorie množin. 2. Dokažte ((x
Základy teorie množin
1 Základy teorie množin Z minula: 1. zavedení pojmů relace, zobrazení (funkce); prostá zobrazení, zobrazení na, bijekce 2. rozklady, relace ekvivalence, kongruence, faktorizace 3. uspořádání a některé
Teorie množin. pro fajnšmekry - TeMno. Lenka Macálková BR Solutions Orličky. Lenka (Brkos 2010) TeMno
Teorie množin pro fajnšmekry - TeMno Lenka Macálková BR Solutions 2010 - Orličky 23.2. 27.2.2010 Lenka (Brkos 2010) TeMno 23.2. 27.2.2010 1 / 42 Bylo nebylo... Starověké Řecko - nekonečnost nepochopená
TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 4. PREDNÁŠKA - SOUČIN PROSTORŮ A TICHONOVOVA VĚTA.
TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 4. PREDNÁŠKA - SOUČIN PROSTORŮ A TICHONOVOVA VĚTA. PAVEL RŮŽIČKA 4.1. (Kvazi)kompaktnost a sub-báze. Buď (Q, ) uspořádaná množina. Řetězcem v Q budeme rozumět lineárně
O TOPOLOGII NA OBJEKTU TYPU TŘÍDA
Acta Fac. Paed. Univ. Tyrnaviensis, Ser. C, 2008, no.12, pp. 7-15 7 O TOPOLOGII NA OBJEKTU TYPU TŘÍDA Jiří Havlík, Běla Šikulová Katedra matematiky a fyziky, Univerzita obrany Kounicova 65, 612 00 Brno,
1 Báze a dimenze vektorového prostoru 1
1 Báze a dimenze vektorového prostoru 1 Báze a dimenze vektorového prostoru 1 2 Aritmetické vektorové prostory 7 3 Eukleidovské vektorové prostory 9 Levá vnější operace Definice 5.1 Necht A B. Levou vnější
Teoretická informatika Tomáš Foltýnek Teorie čísel Nekonečno
Tomáš Foltýnek foltynek@pef.mendelu.cz Teorie čísel Nekonečno strana 2 Opakování z minulé přednášky Jak je definována podmnožina, průnik, sjednocení, rozdíl? Jak je definována uspořádaná dvojice a kartézský
PŘEDNÁŠKA 2 POSLOUPNOSTI
PŘEDNÁŠKA 2 POSLOUPNOSTI 2.1 Zobrazení 2 Definice 1. Uvažujme libovolné neprázdné množiny A, B. Zobrazení množiny A do množiny B je definováno jako množina F uspořádaných dvojic (x, y A B, kde ke každému
Lebesgueovsky neměřitelné množiny
Lebesgueovsky neměřitelné množiny Jonathan Verner jonathan.verner@matfyz.cz, http://jonathan.verner.matfyz.cz Motivace Lebesgueova míra nám umožňuje porovnávat velikost objektů. Na rozdíl od pojmu mohutnosti
Kapitola 1. Úvod. 1.1 Značení. 1.2 Výroky - opakování. N... přirozená čísla (1, 2, 3,...). Q... racionální čísla ( p, kde p Z a q N) R...
Kapitola 1 Úvod 1.1 Značení N... přirozená čísla (1, 2, 3,...). Z... celá čísla ( 3, 2, 1, 0, 1, 2,...). Q... racionální čísla ( p, kde p Z a q N) q R... reálná čísla C... komplexní čísla 1.2 Výroky -
Teorie množin Pavel Podbrdský
Teorie množin Pavel Podbrdský V matematice se s pojmem množina setkáváte na každém kroku. Jistě jste obeznámenispojmemmnožinyvšechpřirozenýchčísel,množinyvšechbodůvrovině,... Cílem této přednášky bude
Důkaz Heineho Borelovy věty. Bez újmy na obecnosti vezmeme celý prostor A = M (proč? úloha 1). Implikace. Nechť je (M, d) kompaktní a nechť.
Přednáška 3, 19. října 2015 Důkaz Heineho Borelovy věty. Bez újmy na obecnosti vezmeme celý prostor A = M (proč? úloha 1). Implikace. Nechť je (M, d) kompaktní a nechť X i = M i I je jeho pokrytí otevřenými
Matematická analýza 1
Matematická analýza 1 ZS 2019-20 Miroslav Zelený 1. Logika, množiny a základní číselné obory 2. Limita posloupnosti 3. Limita a spojitost funkce 4. Elementární funkce 5. Derivace 6. Taylorův polynom Návod
0. ÚVOD - matematické symboly, značení,
0. ÚVOD - matematické symboly, značení, číselné množiny Výroky Výrok je každé sdělení, u kterého lze jednoznačně rozhodnout, zda je či není pravdivé. Každému výroku lze proto přiřadit jedinou pravdivostní
1 Lineární prostory a podprostory
Lineární prostory a podprostory Přečtěte si: Učebnice AKLA, kapitola první, podkapitoly. až.4 včetně. Cvičení. Které z následujících množin jsou lineárními prostory s přirozenými definicemi operací?. C
p 2 q , tj. 2q 2 = p 2. Tedy p 2 je sudé číslo, což ale znamená, že
KAPITOLA 1: Reálná čísla [MA1-18:P1.1] 1.1. Číselné množiny Přirozená čísla... N = {1,, 3,...} nula... 0, N 0 = {0, 1,, 3,...} = N {0} Celá čísla... Z = {0, 1, 1,,, 3,...} Racionální čísla... { p } Q =
NAIVNÍ TEORIE MNOŽIN, okruh č. 5
NAIVNÍ TEORIE MNOŽIN, okruh č. 5 Definování množiny a jejích prvků Množina je souhrn nějakých věcí. Patří-li věc do množiny X, říkáme, že v ní leží, že je jejím prvkem nebo že množina X tuto věc obsahuje.
Každé formuli výrokového počtu přiřadíme hodnotu 0, půjde-li o formuli nepravdivou, a hodnotu 1, půjde-li. α neplatí. β je nutná podmínka pro α
1. JAZYK ATEATIKY 1.1 nožiny nožina je souhrn objektů určitých vlastností, které chápeme jako celek. ZNAČENÍ. x A x A θ A = { { a, b a A = B A B 0, 1 2 a, a,..., a n x patří do množiny A x nepatří do množiny
Marie Duží
Marie Duží marie.duzi@vsb.cz Co je to množina? Množina je soubor prvků a je svými prvky plně určena; množinu s prvky a, b, c značíme: {a, b, c}. Prvkem množiny může být opět množina, množina nemusí mít
METRICKÉ A NORMOVANÉ PROSTORY
PŘEDNÁŠKA 1 METRICKÉ A NORMOVANÉ PROSTORY 1.1 Prostor R n a jeho podmnožiny Připomeňme, že prostorem R n rozumíme množinu uspořádaných n tic reálných čísel, tj. R n = R } R {{ R }. n krát Prvky R n budeme
Báze a dimenze vektorových prostorů
Báze a dimenze vektorových prostorů Buď (V, +, ) vektorový prostor nad tělesem (T, +, ). Nechť u 1, u 2,..., u n je konečná posloupnost vektorů z V. Existují-li prvky s 1, s 2,..., s n T, z nichž alespoň
Lineární algebra : Lineární prostor
Lineární algebra : Lineární prostor (3. přednáška) František Štampach, Karel Klouda LS 2013/2014 vytvořeno: 17. dubna 2014, 14:43 1 2 3.1 Aximotické zavedení lineárního prostoru Číselné těleso Celou lineární
Predik atov a logika - pˇredn aˇska () Predik atov a logika - pˇredn aˇska / 16
Predikátová logika - přednáška 3 6. 1. 2015 () Predikátová logika - přednáška 3 6. 1. 2015 1 / 16 Věta (o dedukci) Bud L jazyk, T teorie pro L, ϕ L-sentence a ψ L-formule. Pak Věta (o kompaktnosti) T ϕ
TEORIE MÍRY V některých předchozích kapitolách jste se setkali s měřením velikostí množin a víte, jaké byly těžkosti s měřením množin i na reálné ose.
TEORIE MÍRY V některých předchozích kapitolách jste se setkali s měřením velikostí množin a víte, jaké byly těžkosti s měřením množin i na reálné ose. Kvůli těmto těžkostem se měření zúžilo jen na délku
Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace
RELACE Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace slouží k vyjádření vztahů mezi prvky nějakých množin. Vztahy mohou být různé povahy. Patří sem vztah býti potomkem,
Úvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška sedmá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008. Obsah 1 Čísla a číselné obory 2 Princip indukce 3 Vybrané
Modely Herbrandovské interpretace
Modely Herbrandovské interpretace Petr Štěpánek S využitím materialu Krysztofa R. Apta 2006 Logické programování 8 1 Uvedli jsme termové interpretace a termové modely pro logické programy a také nejmenší
TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 3. PREDNÁŠKA - KOMPAKTNÍ PROSTORY.
TOPOLOGIE A TEORIE KATEGORIÍ (2017/2018) 3. PREDNÁŠKA - KOMPAKTNÍ PROSTORY. PAVEL RŮŽIČKA 3.1. Kompaktní prostory. Buď (X, τ) topologický prostor a Y X. Řekneme, že A τ je otevřené pokrytí množiny Y, je-li
Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice
Vektorové podprostory, lineární nezávislost, báze, dimenze a souřadnice Vektorové podprostory K množina reálných nebo komplexních čísel, U vektorový prostor nad K. Lineární kombinace vektorů u 1, u 2,...,u
Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:
Přednášky: Mgr. Radek Výrut, Matematika I katedra matematiky, UL-605, rvyrut@kma.zcu.cz tel.: 377 63 2658 Zkouška: Písemná část zkoušky - příklady v rozsahu zápočtových prací Ústní část zkoušky - základní
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
Kapitola 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 operací sčítání a násobení
Lineární algebra Kapitola 1 - Základní matematické pojmy
Lineární algebra Kapitola 1 - Základní matematické pojmy 1.1 Relace a funkce V celém textu budeme používat následující označení pro číselné množiny: N množina všech přirozených čísel bez nuly, N={1, 2,
PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy
PŘEDNÁŠKA 5 Konjuktivně disjunktivní termy, konečné distributivní svazy PAVEL RŮŽIČKA Abstrakt. Ukážeme, že každý prvek distributivního svazu odpovídá termu v konjuktivně-disjunktivním (resp. disjunktivně-konjunktivním)
Nechť je číselná posloupnost. Pro všechna položme. Posloupnost nazýváme posloupnost částečných součtů řady.
Číselné řady Definice (Posloupnost částečných součtů číselné řady). Nechť je číselná posloupnost. Pro všechna položme. Posloupnost nazýváme posloupnost částečných součtů řady. Definice (Součet číselné
U3V Matematika Semestr 1
U3V Matematika Semestr Přednáška 04 Trápení s nekonečnem Vyjdeme od starých Řeků, ale půjdeme až do dvacátého století! Jakými problémy se dnes budeme zabývat? Motto: Pojem nekonečno je jedním z nejtajemnějších
Kapitola Základní množinové pojmy Princip rovnosti. Dvě množiny S a T jsou si rovny (píšeme S = T ) prvek T je také prvkem S.
1 Kapitola 1 Množiny 11 Základní množinové pojmy Pojem množiny nedefinujeme, pouze připomínáme, že množina je souhrn, nebo soubor navzájem rozlišitelných objektů, kterým říkáme prvky 111 Princip rovnosti
Základy logiky a teorie množin část II
Pracovní text k přednášce Logika a teorie množin 2008 1 1 Teorie množin 2 Její význam spočívá v tom, že všechny matematické pojmy (čísla, funkce, Základy logiky a teorie množin část II URL (slajdy): Petr
Matematika 2 Úvod ZS09. KMA, PřF UP Olomouc. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25
Matematika 2 Úvod Jiří Fišer KMA, PřF UP Olomouc ZS09 Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25 Studijní materiály web předmětu: aix-slx.upol.cz/ fiser St. Trávníček: Matematická analýza kag.upol.cz/travnicek/1-matan.
1 Množiny, výroky a číselné obory
1 Množiny, výroky a číselné obory 1.1 Množiny a množinové operace Množinou rozumíme každé shrnutí určitých a navzájem různých objektů (které nazýváme prvky) do jediného celku. Definice. Dvě množiny jsou
Základy logiky a teorie množin část II
1 Základy logiky a teorie množin část II Petr Pajas pajas@matfyz.cz URL (slajdy): http://pajas.matfyz.cz/vyuka Teorie množin 2 Její význam spočívá v tom, že všechny matematické pojmy (čísla, funkce, relace,
Základní pojmy teorie množin Vektorové prostory
Základní pojmy teorie množin Přednáška MATEMATIKA č. 1 Katedra ekonometrie FEM UO Brno kancelář 69a, tel. 973 442029 email:jiri.neubauer@unob.cz 7. 10. 2010 Základní pojmy teorie množin Základní pojmy
Lineární algebra : Báze a dimenze
Lineární algebra : Báze a dimenze (5. přednáška) František Štampach, Karel Klouda LS 2013/2014 vytvořeno: 9. dubna 2014, 13:33 1 2 5.1 Báze lineárního prostoru Definice 1. O množině vektorů M z LP V řekneme,
Co je to univerzální algebra?
Co je to univerzální algebra? Při studiu řadu algebraických struktur (grupoidy, pologrupy, grupy, komutativní grupy, okruhy, obory integrity, tělesa, polosvazy, svazy, Booleovy algebry) se často některé
Základy matematické analýzy
Základy matematické analýzy Spojitost funkce Ing. Tomáš Kalvoda, Ph.D. 1, Ing. Daniel Vašata 2 1 tomas.kalvoda@fit.cvut.cz 2 daniel.vasata@fit.cvut.cz Katedra aplikované matematiky Fakulta informačních
Lineární algebra : Skalární součin a ortogonalita
Lineární algebra : Skalární součin a ortogonalita (15. přednáška) František Štampach, Karel Klouda LS 2013/2014 vytvořeno: 30. dubna 2014, 09:00 1 2 15.1 Prehilhertovy prostory Definice 1. Buď V LP nad
1.3. Číselné množiny. Cíle. Průvodce studiem. Výklad
1.3. Cíle Cílem kapitoly je seznámení čtenáře s axiomy číselných oborů a jejich podmnožin (intervalů) a zavedení nových pojmů, které nejsou náplní středoškolských osnov. Průvodce studiem Vývoj matematiky
Lineární algebra : Polynomy
Lineární algebra : Polynomy (2. přednáška) František Štampach, Karel Klouda LS 2013/2014 vytvořeno: 15. dubna 2014, 11:21 1 2 2.1 Značení a těleso komplexních čísel Značení N := {1, 2, 3... }... množina
Těleso racionálních funkcí
Těleso racionálních funkcí Poznámka. V minulém semestru jsme libovolnému oboru integrity sestrojili podílové těleso. Pro libovolné těleso R je okruh polynomů R[x] oborem integrity, máme tedy podílové těleso
6 Lineární geometrie. 6.1 Lineární variety
6 Lineární geometrie Motivace. Pojem lineární varieta, který budeme v této kapitole studovat z nejrůznějších úhlů pohledu, není žádnou umělou konstrukcí. Příkladem lineární variety je totiž množina řešení
10 Funkce více proměnných
M. Rokyta, MFF UK: Aplikovaná matematika II kap. 10: Funkce více proměnných 16 10 Funkce více proměnných 10.1 Základní pojmy Definice. Eukleidovskou vzdáleností bodů x = (x 1,...,x n ), y = (y 1,...,y
Poznámka. Je-li f zobrazení, ve kterém potřebujeme zdůraznit proměnnou, píšeme f(x) (resp. f(y), resp. f(t)) je zobrazení místo f je zobrazení.
2. ZOBRAZENÍ A FUNKCE 2.1 Zobrazení 2. 1. 1 Definice: Nechť A a B jsou množiny. Řekneme že f je zobrazení množiny A do množiny B jestliže (i) f A B (ii) ke každému z množiny A eistuje právě jedno y z množiny
Lineární algebra : Metrická geometrie
Lineární algebra : Metrická geometrie (16. přednáška) František Štampach, Karel Klouda LS 2013/2014 vytvořeno: 6. května 2014, 10:42 1 2 Úvod Zatím jsme se lineární geometrii věnovali v kapitole o lineárních
grupa těleso podgrupa konečné těleso polynomy komutativní generovaná prvkem, cyklická, řád prvku charakteristika tělesa
grupa komutativní podgrupa těleso generovaná prvkem, cyklická, řád prvku Malá Fermatova věta konečné těleso charakteristika tělesa polynomy ireducibilní prvky, primitivní prvky definice: G, je grupa kde
MATICE. a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij]
MATICE Matice typu m/n nad tělesem T je soubor m n prvků z tělesa T uspořádaných do m řádků a n sloupců: a 11 a 12 a 1n a 21 a 22 a 2n A = = [a ij] a m1 a m2 a mn Prvek a i,j je prvek matice A na místě
Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech
Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech 1. července 2008 1 Funkce v R n Definice 1 Necht n N a D R n. Reálnou funkcí v R n (reálnou funkcí n proměnných) rozumíme zobrazení
Stromové rozklady. Definice 1. Stromový rozklad grafu G je dvojice (T, β) taková, že T je strom,
Stromové rozklady Zdeněk Dvořák 25. října 2017 Definice 1. Stromový rozklad grafu G je dvojice (T, β) taková, že T je strom, β je funkce přiřazující každému vrcholu T podmnožinu vrcholů v G, pro každé
PŘEDNÁŠKA 7 Kongruence svazů
PŘEDNÁŠKA 7 Kongruence svazů PAVEL RŮŽIČKA Abstrakt. Definujeme svazové kongruence a ukážeme jak pro vhodné binární relace svazu ověřit, že se jedná o svazové kongruence. Popíšeme svaz Con(A) kongruencí
Množiny, relace, zobrazení
Množiny, relace, zobrazení Množiny Množinou rozumíme každý soubor určitých objektů shrnutých v jeden celek. Zmíněné objekty pak nazýváme prvky dané množiny. Pojem množina je tedy synonymem pojmů typu soubor,
Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan. 2.
Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan 2. Homomorfismy V souvislosti se strukturami se v moderní matematice studují i zobrazení,
1 Linearní prostory nad komplexními čísly
1 Linearní prostory nad komplexními čísly V této přednášce budeme hledat kořeny polynomů, které se dále budou moci vyskytovat jako složky vektorů nebo matic Vzhledem k tomu, že kořeny polynomu (i reálného)
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,
Komplexní čísla Množinu všech uspořádaných dvojic (x, y) reálných čísel x, y nazýváme množinou komplexních čísel C, jestliže pro každé dvě takové dvojice (x, y ), (x 2, y 2 ) je definována rovnost, sčítání
Vektory a matice. Obsah. Aplikovaná matematika I. Carl Friedrich Gauss. Základní pojmy a operace
Vektory a matice Aplikovaná matematika I Dana Říhová Mendelu Brno Obsah 1 Vektory Základní pojmy a operace Lineární závislost a nezávislost vektorů 2 Matice Základní pojmy, druhy matic Operace s maticemi
Funkce, elementární funkce.
Kapitola 2 Funkce, elementární funkce. V této kapitole si se budeme věnovat studiu základních vlastností funkcí jako je definiční obor, obor hodnot. Připomeneme si pojmy sudá, lichá, rostoucí, klesající.
IV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel
Matematická analýza IV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel na množině R je definováno: velikost (absolutní hodnota), uspořádání, aritmetické operace; znázornění:
Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.
Zpracoval: hypspave@fel.cvut.cz 5. Výroková logika, formule výrokové logiky a jejich pravdivostní ohodnocení, splnitelné formule, tautologie, kontradikce, sémantický důsledek, tautologicky ekvivalentní
Věta o dělení polynomů se zbytkem
Věta o dělení polynomů se zbytkem Věta. Nechť R je okruh, f, g R[x], přičemž vedoucí koeficient polynomu g 0 je jednotka okruhu R. Pak existuje jediná dvojice polynomů q, r R[x] taková, že st(r) < st(g)
Matice. a m1 a m2... a mn
Matice Nechť (R, +, ) je okruh a nechť m, n jsou přirozená čísla Matice typu m/n nad okruhem (R, +, ) vznikne, když libovolných m n prvků z R naskládáme do obdélníkového schematu o m řádcích a n sloupcích
Zavedení a vlastnosti reálných čísel
Zavedení a vlastnosti reálných čísel jsou základním kamenem matematické analýzy. Konstrukce reálných čísel sice není náplní matematické analýzy, ale množina reálných čísel R je pro matematickou analýzu
Množiny, základní číselné množiny, množinové operace
2 Množiny, základní číselné množiny, množinové operace Pokud kliknete na některý odkaz uvnitř textu kromě prezentace, zobrazí se odpovídající příklad nebo tabulka. Levý Alt+šipka doleva nebo ikona Vás
A VLASTNOST BODU SPOJITOSTI
DĚDIČNĚ BAIREOVY PROSTORY A VLASTNOST BODU SPOJITOSTI Ondřej Kalenda Vedoucí diplomové práce: RNDr. Petr HOLICKÝ, CSc. Katedra matematické analýzy MFF UK Praha, 1995 Typeset by AMS-TEX 2 Prohlašuji, že
Základy logiky a teorie množin
Pracovní text k přednášce Logika a teorie množin (I/2007) 1 1 Struktura přednášky Matematická logika 2 Výroková logika Základy logiky a teorie množin Petr Pajas pajas@matfyz.cz Predikátová logika 1. řádu
Přednáška 6, 7. listopadu 2014
Přednáška 6, 7. listopadu 204 Část 3: nekonečné řady Základní definice. Nekonečná řada, krátce řada, je posloupnost reálných čísel (a n ) R uvedená v zápisu a n = a + a 2 + a 3 +..., spolu s metodou přiřazující
FIT ČVUT MI-LOM Lineární optimalizace a metody. Dualita. Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti
FIT ČVUT MI-LOM Lineární optimalizace a metody Dualita Evropský sociální fond Praha & EU: Investujeme do vaší budoucnosti Michal Černý, 2011 FIT ČVUT, MI-LOM, M. Černý, 2011: Dualita 2/5 Dualita Evropský
1. přednáška 1. října Kapitola 1. Metrické prostory.
1. přednáška 1. října 2007 Kapitola 1. Metrické prostory. Definice MP, izometrie. Metrický prostor je struktura formalizující jev vzdálenosti. Je to dvojice (M, d) složená z množiny M a funkce dvou proměnných
Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz. Algebra Struktury s jednou operací
Teoretická informatika Tomáš Foltýnek foltynek@pef.mendelu.cz Algebra Struktury s jednou operací Teoretická informatika 2 Proč zavádíme algebru hledáme nástroj pro popis objektů reálného světa (zejména
Intuitivní pojem pravděpodobnosti
Pravděpodobnost Intuitivní pojem pravděpodobnosti Intuitivní pojem pravděpodobnosti Pravděpodobnost zkoumaného jevu vyjadřuje míru naděje, že tento jev nastane. Řekneme-li, že má nějaký jev pravděpodobnost
1 Základní pojmy. 1.1 Množiny
1 Základní pojmy V této kapitole si stručně připomeneme základní pojmy, bez jejichž znalostí bychom se v dalším studiu neobešli. Nejprve to budou poznatky z logiky a teorie množin. Dále se budeme věnovat
10. Vektorové podprostory
Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA II, letní semestr 2000/2001 Michal Marvan Definice. Bud V vektorový prostor nad polem P. Podmnožina U V se nazývá podprostor,
6.1 Vektorový prostor
6 Vektorový prostor, vektory Lineární závislost vektorů 6.1 Vektorový prostor Nechť je dán soubor nějakých prvků, v němž je dána jistá struktura vztahů mezi jednotlivými prvky nebo v němž jsou předepsána
Logické programy Deklarativní interpretace
Logické programy Deklarativní interpretace Petr Štěpánek S využitím materialu Krysztofa R. Apta 2006 Logické programování 7 1 Algebry. (Interpretace termů) Algebra J pro jazyk termů L obsahuje Neprázdnou
Organizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část
Matematika I 1/15 2/15 Organizace Zápočet: test 6. + 11. týden semestru (pátek) 80 bodů 50 79 bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část www.vscht.cz/mat Výuka www.vscht.cz/mat/jana.nemcova
ALGEBRA. Téma 4: Grupy, okruhy a pole
SLEZSKÁ UNIVERZITA V OPAVĚ Matematický ústav v Opavě Na Rybníčku 1, 746 01 Opava, tel. (553) 684 611 DENNÍ STUDIUM Téma 4: Grupy, okruhy a pole Základní pojmy unární operace, binární operace, asociativita,
LIMITA A SPOJITOST FUNKCE
PŘEDNÁŠKA 5 LIMITA A SPOJITOST FUNKCE 5.1 Spojitost funkce 2 Řekneme, že funkce f(x) je spojitá v bodě a D f, jestliže ke každému ε > 0 existuje δ > 0 takové, že pro každé x (a δ, a + δ) D f platí nerovnost:
Výroková a predikátová logika - IV
Výroková a predikátová logika - IV Petr Gregor KTIML MFF UK ZS 2018/2019 Petr Gregor (KTIML MFF UK) Výroková a predikátová logika - IV ZS 2018/2019 1 / 17 Tablo metoda Tablo Tablo - příklady F (((p q)
10 Přednáška ze
10 Přednáška ze 17. 12. 2003 Věta: G = (V, E) lze nakreslit jedním uzavřeným tahem G je souvislý a má všechny stupně sudé. Důkaz G je souvislý. Necht v je libovolný vrchol v G. A mějme uzavřený eurelovský
Teorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.
Teorie množin V matematice je všechno množina I čísla jsou definována pomocí množin Informatika stojí na matematice Znalosti Teorie množin využijeme v databázových systémech v informačních systémech při
Limita a spojitost funkce a zobrazení jedné reálné proměnné
Přednáška 4 Limita a spojitost funkce a zobrazení jedné reálné proměnné V několika následujících přednáškách budeme studovat zobrazení jedné reálné proměnné f : X Y, kde X R a Y R k. Protože pro každé
Riemannův určitý integrál
Riemannův určitý integrál 1. Motivační příklad Příklad (Motivační příklad pro zavedení Riemannova integrálu). Nechť,. Vypočtěme obsah vybarvené oblasti ohraničené grafem funkce, osou a svislými přímkami
Úvod do informatiky. Miroslav Kolařík
Úvod do informatiky přednáška pátá Miroslav Kolařík Zpracováno dle učebního textu R. Bělohlávka: Úvod do informatiky, KMI UPOL, Olomouc 2008 a dle učebního textu R. Bělohlávka a V. Vychodila: Diskrétní
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:
3 Maticový počet 3.1 Zavedení pojmu matice 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: a 11 a 12... a 1k... a 1n a 21 a 22...
2. přednáška 8. října 2007
2. přednáška 8. října 2007 Konvergence v metrických prostorech. Posloupnost bodů (a n ) M v metrickém prostoru (M, d) konverguje (je konvergentní), když v M existuje takový bod a, že lim n d(a n, a) =
Posloupnosti a řady. 28. listopadu 2015
Posloupnosti a řady Přednáška 5 28. listopadu 205 Obsah Posloupnosti 2 Věty o limitách 3 Řady 4 Kritéria konvergence 5 Absolutní a relativní konvergence 6 Operace s řadami 7 Mocninné a Taylorovy řady Zdroj
Formální jazyky a automaty Petr Šimeček
Formální jazyky a automaty Petr Šimeček Úvod Formální jazyky a automaty jsou základním kamenem teoretické informatiky. Na počátku se zmíníme o Chomského klasifikaci gramatik, nástroje, který lze aplikovat
Text může být postupně upravován a doplňován. Datum poslední úpravy najdete u odkazu na stažení souboru. Veronika Sobotíková
Tento text není samostatným studijním materiálem. Jde jen o prezentaci promítanou na přednáškách, kde k ní přidávám slovní komentář. Některé důležité části látky píšu pouze na tabuli a nejsou zde obsaženy.
Pavel Horák, Josef Janyška LINEÁRNÍ ALGEBRA UČEBNÍ TEXT
Pavel Horák, Josef Janyška LINEÁRNÍ ALGEBRA UČEBNÍ TEXT 2 0 1 8 Obsah 1 Vektorové prostory 1 1 Vektorový prostor, podprostory........................ 1 2 Generování podprostor u............................
Lineární algebra : Skalární součin a ortogonalita
Lineární algebra : Skalární součin a ortogonalita (15. přednáška) František Štampach, Karel Klouda frantisek.stampach@fit.cvut.cz, karel.klouda@fit.cvut.cz Katedra aplikované matematiky Fakulta informačních
Lineární algebra : Lineární zobrazení
Lineární algebra : Lineární zobrazení (6. přednáška František Štampach, Karel Klouda LS 2013/2014 vytvořeno: 20. května 2014, 22:40 1 2 6.1 Lineární zobrazení Definice 1. Buďte P a Q dva lineární prostory
Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.
1.2. Cíle Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin. Průvodce studiem Množina je jedním ze základních pojmů moderní matematiky. Teorii množin je možno budovat
Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce
Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce Marie Duží marie.duzi@vsb.cz 1 Úvod do teoretické informatiky (logika) Naivní teorie množin Co je to množina? Množina je soubor prvků