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 5 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
VíceDoporuč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
VíceZá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é
VíceTeorie 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á
VíceTOPOLOGIE 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ě
VíceO 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,
Více1 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ší
VíceTeoretická 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ý
VícePŘ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
VíceLebesgueovsky 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
VíceKapitola 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 -
VíceTeorie 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
VíceDů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
VíceMatematická 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
Více0. Ú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í
Více1 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
Vícep 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 =
VíceNAIVNÍ 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.
VíceKaž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
VíceMarie 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
VíceMETRICKÉ 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
VíceBá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ň
VíceLineá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í
VícePredik 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 ϕ
VíceTEORIE 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
VícePojem 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,
VíceÚ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é
VíceModely 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ší
VíceTOPOLOGIE 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
VíceVektorové 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
VíceMatematika 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íceV 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í
VíceLineá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,
VícePŘ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)
VíceNechť 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é
VíceU3V 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
VíceKapitola 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
VíceZá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
VíceMatematika 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.
Více1 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
VíceZá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,
VíceZá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
VíceLineá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,
VíceCo 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é
VíceZá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
VíceLineá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
Více1.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
VíceLineá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
VíceTě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
Více6 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í
Více10 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
VícePozná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
VíceLineá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
Vícegrupa 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
VíceMATICE. 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ě
VíceTexty 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í
VíceStromové 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é
VícePŘ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í
VíceMnož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,
VíceMatematický ú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í,
Více1 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)
Víceoznač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í
VíceVektory 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
VíceFunkce, 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í.
VíceIV. 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í:
VícePro 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íceVě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)
VíceMatice. 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
VíceZavedení 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
VíceMnož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
VíceA 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
VíceZá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
VícePř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í
VíceFIT Č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ý
Více1. 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
VíceTeoretická 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
VíceIntuitivní 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
Více1 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
Více10. 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,
Více6.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
VíceLogické 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
VíceOrganizace. 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
VíceALGEBRA. 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,
VíceLIMITA 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íceVý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)
Více10 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ý
VíceTeorie 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
VíceLimita 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é
VíceRiemannů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
VíceÚ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í
VíceMaticí 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...
Více2. 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) =
VícePosloupnosti 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
VíceFormá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
VíceText 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.
VícePavel 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............................
VíceLineá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
VíceLineá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
VíceCí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
VíceÚ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ů
Více