I. Úvodní pojmy. Obsah



Podobné dokumenty
0. ÚVOD - matematické symboly, značení,

Matematická analýza 1

Matematika I. Přednášky: Mgr. Radek Výrut, Zkouška:

1 Základní pojmy. 1.1 Množiny

1.3. Číselné množiny. Cíle. Průvodce studiem. Výklad

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 α

Organizace. Zápočet: test týden semestru (pátek) bodů souhrnný test (1 pokus) Zkouška: písemná část ( 50 bodů), ústní část

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...

Matematika B101MA1, B101MA2

Množiny, základní číselné množiny, množinové operace

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í.

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

Cílem kapitoly je opakování a rozšíření středoškolských znalostí v oblasti teorie množin.

IV. Základní pojmy matematické analýzy IV.1. Rozšíření množiny reálných čísel

1. POJMY 1.1. FORMULE VÝROKOVÉHO POČTU

Aplikovaná matematika I, NMAF071

p 2 q , tj. 2q 2 = p 2. Tedy p 2 je sudé číslo, což ale znamená, že

Základy matematiky pro FEK

Pro každé formule α, β, γ, δ platí: Pro každé formule α, β, γ platí: Poznámka: Platí právě tehdy, když je tautologie.

Okruh č.3: Sémantický výklad predikátové logiky

B i n á r n í r e l a c e. Patrik Kavecký, Radomír Hamřík

1 Množiny, výroky a číselné obory

Teorie množin. Čekají nás základní množinové operace kartézské součiny, relace zobrazení, operace. Teoretické základy informatiky.

Matematická indukce, sumy a produkty, matematická logika

Zavedení a vlastnosti reálných čísel

Základní pojmy teorie množin Vektorové prostory

Matematická analýza pro informatiky I.

1. MATEMATICKÁ LOGIKA A MNOŽINY

VÝROKOVÁ LOGIKA. Výrok srozumitelná oznamovací věta (výraz, sdělení), která může být buď jen pravdivá nebo jen nepravdivá..

Patří-li do množiny A právě prvky a, b, c, d, budeme zapisovat A = {a, b, c, d}.

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

PŘEDNÁŠKA 2 POSLOUPNOSTI

prof. RNDr. Čestmír Burdík DrCs. prof. Ing. Edita Pelantová CSc. BI-ZMA ZS 2009/2010

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

2. Množiny, funkce. Poznámka: Prvky množiny mohou být opět množiny. Takovou množinu, pak nazýváme systém množin, značí se

1. Matematická logika

Matematika 2 Úvod ZS09. KMA, PřF UP Olomouc. Jiří Fišer (KMA, PřF UP Olomouc) KMA MA2AA ZS09 1 / 25

Unární je také spojka negace. pro je operace binární - příkladem může být funkce se signaturou. Binární je velká většina logických spojek

3. Reálná čísla. většinou racionálních čísel. V analytických úvahách, které praktickým výpočtům

Matematika 1A. PetrSalačaJiříHozman Fakulta přírodovědně-humanitní a pedagogická Technická univerzita v Liberci

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á

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

Bakalářská matematika I

Booleovská algebra. Booleovské binární a unární funkce. Základní zákony.

Texty k přednáškám z MMAN3: 4. Funkce a zobrazení v euklidovských prostorech

Matematická funkce. Kartézský součin. Zobrazení. Uspořádanou dvojici prvků x, y označujeme [x, y] Uspořádané dvojice jsou si rovny, pokud platí:

Predikátová logika. Teoretická informatika Tomáš Foltýnek

Moderní technologie ve studiu aplikované fyziky CZ.1.07/2.2.00/ Množiny, funkce

Úvod do logiky (presentace 2) Naivní teorie množin, relace a funkce

teorie logických spojek chápaných jako pravdivostní funkce

REÁLNÁ FUNKCE JEDNÉ PROMĚNNÉ

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

1. Matematická logika

Matematická logika. Miroslav Kolařík

Funkce a lineární funkce pro studijní obory

Limita a spojitost funkce a zobrazení jedné reálné proměnné

i=1 Přímka a úsečka. Body, které leží na přímce procházející body a a b můžeme zapsat pomocí parametrické rovnice

Matematika I (KMI/5MAT1)

1 Lineární prostory a podprostory

Úvod do informatiky. Miroslav Kolařík

1 Úvod do matematické logiky

Reálná čísla. Sjednocením množiny racionálních a iracionálních čísel vzniká množina

Limita a spojitost funkce

M - Výroková logika VARIACE

Základy logiky a teorie množin

λογος - LOGOS slovo, smysluplná řeč )

Množiny, relace, zobrazení

1 Báze a dimenze vektorového prostoru 1

Úvod do matematiky. Mgr. Radek Horenský, Ph.D. Důkazy

Pojem binární relace patří mezi nejzákladnější matematické pojmy. Binární relace

1 Výroková logika 1. 2 Predikátová logika 3. 3 Důkazy matematických vět 4. 4 Doporučená literatura 7

Jazyk matematiky Matematická logika Množinové operace Zobrazení Rozšířená číslená osa

Základy matematiky pro FEK

Omezenost funkce. Definice. (shora, zdola) omezená na množině M D(f ) tuto vlastnost. nazývá se (shora, zdola) omezená tuto vlastnost má množina

Predikátová logika. prvního řádu

Úvod do TI - logika Predikátová logika 1.řádu (4.přednáška) Marie Duží marie.duzi@vsb.cz

Po prostudování této kapitoly byste měli porozumět základním definicím uvedených v této kapitole a měli je umět bezchybně interpretovat,

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:

Aplikovaná matematika 1 NMAF071, ZS

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

Logika, výroky, množiny

PŘEDNÁŠKA 1 MNOŽINY ČÍSEL

goniometrickém tvaru z 1 = z 1 (cosα 1 +isinα 1 ), z 2 = z 2 (cosα 2 +isinα 2 ) Jejich součin = z 1 ( z 2 z 2 Jejich podíl: n-tá mocnina:

FUNKCE POJEM, VLASTNOSTI, GRAF

výrok-každésdělení,uněhožmásmyslseptát,zdaječinenípravdivé, aproněžprávějednaztěchtodvoumožnostínastává.

Matematika pro informatiky KMA/MATA

Bakalářská matematika I

Matematické důkazy Struktura matematiky a typy důkazů

METRICKÉ A NORMOVANÉ PROSTORY

Kapitola 1: Reálné funkce 1/13

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

Formální systém výrokové logiky

Výroková a predikátová logika - II

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, ),

Základy matematiky pro FEK

Kapitola 1: Reálné funkce 1/13

Výroková logika. Teoretická informatika Tomáš Foltýnek

Mgr. Ladislav Zemánek Maturitní okruhy Matematika Obor reálných čísel

Logické programy Deklarativní interpretace

Matematika I. (Obor: Informatika a logistika) Technická univerzita v Liberci Pedagogická fakulta Katedra matematiky a didaktiky matematiky

Transkript:

I. Úvodní pojmy Obsah 1 Matematická logika 2 1.1 Výrok,logickéoperátory,výrokovéformuleaformy... 2 1.2 Logickávýstavbamatematiky... 3 1.2.1 Základnímetodydůkazůmatematickýchvět..... 3 1.2.2 Negacevýroků..... 4 2 Množiny 4 2.1 Vztahymezimnožinami.... 5 2.2 Základníoperacesmnožinami..... 5 2.3 Kartézskýsoučinmnožin,zobrazení.... 5 2.4 Číselnémnožiny..... 6 2.4.1 Množina R.... 6 2.4.2 Absolutníhodnotareálnéhočísla...... 6 2.4.3 Množina R.... 7 2.4.4 Intervaly..... 8 2.4.5 Okolíbodu.... 8 2.4.6 VlastnostipodmnožinvR... 9 2.4.7 Vztahmezimnožinouabodem... 11

1 Matematická logika Vyjadřovacími prostředky matematiky, s nimiž se setkáváme v učebnicích i v dalších matematických textech, jsou především běžný spisovný jazyk, speciální jazyk(terminologie a symbolika) logiky a matematiky, grafy, diagramy, schémata a tabulky. Významné pro matematiku je používání symbolů(znaků). Uvažovaným objektům se přiřazuje kromě názvu objektu také symbol objektu, který ho zastupuje v symbolických zápisech. Symbolem objektu může být buď a) konstanta, což je symbol označující určitý(jediný) objekt z dané množiny objektů, nebo b) proměnná, což je symbol, který označuje kterýkoli objekt z dané množiny objektů. Množina konstant, které jsou zastupovány proměnnou, se nazývá obor proměnné. Prvky oboru proměnné se nazývají hodnoty proměnné. 1.1 Výrok, logické operátory, výrokové formule a formy Výrokem rozumíme každé vyjádření, o kterém má smysl tvrdit, že je pravdivé nebo nepravdivé. Pravdivému výroku přiřadíme pravdivostní hodnotu 1, nepravdivému výroku přiřadíme pravdivostní hodnotu 0. Výroky označujeme zpravidla malými písmeny. Negacevýrokupjevýrok p (také non p, p),čtemeneplatí pnebonenípravda,žeplatíp. Nejdůležitější složené výroky vzniklé spojením výroků p a q jsou: Disjunkcevýrokůpaq:píšeme p qačtemepneboq.disjunkcejepravdivá,je-lialespoň jeden z výroků pravdivý a je nepravdivá, když oba výroky jsou nepravdivé. Disjunkce tedy nemá vylučovací smysl. Konjunkcevýrokůpaq:píšeme p qačtemepiqnebopaq.konjunkcejepravdiváprávě tehdy, jsou-li oba výroky pravdivé. Implikacevýrokůpaq:píšeme p qačtemejestližep,pakqnebozpplyneqnebokdyž p,pakqnebopjepostačujícípodmínkaproqneboqjenutnápodmínkaprop.implikaceje nepravdiváprávěvpřípadě,že pjepravdivývýrokaqjenepravdivývýrok.vevšechjiných případech pravdivostních hodnot výroků p a q je implikace pravdivá. Ekvivalencevýrokůpaq:píšeme p qačtemepprávětehdy,kdyžqnebopprávěkdyžq nebopjeekvivalentnísqnebopaqjsouekvivalentní nebopjenutnápodmínkaapostačující podmínkaproqanaopak.ekvivalencejepravdiváprávěvpřípadechkdybuďobavýroky pa q jsou pravdivé nebo oba výroky p a q jsou nepravdivé. Ve zbylých případech pravdivostních hodnot výroků p a q je ekvivalence nepravdivá. Uvedené složené výroky a negaci výroku možno definovat tabulkou pravdivostních hodnot: p q p p q p q p q p q 1 1 0 1 1 1 1 1 0 0 1 0 0 0 0 1 1 1 0 1 0 0 0 1 0 0 1 1 Symboly,,,, nazýváme logickými operátory. Výraz sestavený z výrokových proměnných, závorek a logických operátorů se nazývá výroková formule. Dosazením výroků za výrokové proměnné dostaneme složený výrok s pravdivostní hodnotou 0 nebo 1. Rovnice nebo nerovnice obsahují proměnné, takže už to nejsou výroky, ale tzv. výrokové formy - značíme např. p(x). Dosazením prvků jisté množiny do výrokové formy pak opět získáme výroky. 2

Množina Dvšechprvků x,prokterámávýrokováforma p(x)smysl(tj.jevýrokem),senazývá definičnímoboremvýrokovéformyp(x).množina P všechprvků xzd,proněžjevýrokováforma p(x) pravdivý výrok, se nazývá obor pravdivosti výrokové formy p(x). Vyjmenováním(kvantifikací) těch x, pro které je výroková forma p(x) pravdivý výrok, získáváme tzv. kvantifikované výroky. Pro formulace a zápisy matematických vět jsou nejdůležitějšími kvantifikátory obecný kvantifikátor a existenční kvantifikátor: Název kvantifikátoru Označení Jazykový význam obecný kvantifikátor pro každé; pro všechna existenční kvantifikátor existuje(aspoň jedno); pro aspoň jedno kvantifikátor jednoznačné existence! existuje právě jedno; pro právě jedno 1.2 Logická výstavba matematiky V současnosti jsou všechny matematické disciplíny založeny na tzv. axiomech(základních větách), což jsou tvrzení, která se bez důkazu prohlásí za pravdivá. Ostatní tvrzení se pak odvozují z těchto axiomů. Každá soustava axiomů musí být bezesporná(tj. nesmí se stát, že by z axiomů plynula jakvěta V,takijejínegace V ),úplná(tj.abybylovrámcidanéteorievždymožnorozhodnout, zda nějaké tvrzení platí nebo neplatí) a nezávislá(tj. aby žádný z axiomů nebylo možno odvodit z ostatních axiomů). Další matematické pojmy se zavádějí pomocí definic. Definice stanoví název zaváděného pojmu a vymezí podstatné vlastnosti pojmu pomocí dříve definovaných nebo primitivních pojmů. Výsledky formuluje matematická teorie ve větách. Matematická věta(poučka, teorém) je pravdivý matematický výrok, který se dá odvodit pomocí logiky na základě axiomů, definic a dříve dokázaných vět. Věty, které obsahují návod k provedení výpočtu nebo konstrukce, se často nazývají pravidla. Pro pomocné věty se v matematické literatuře používá název lemma. Většina matematických vět má tvar obecnéhovýroku x D:V(x),tzv.obecnévěty existenčníhovýroku x D: V(x),tzv.existenčnívěty kde V(x)jevýrokováforma. Obecná věta ve tvaru implikace: x D: A(x) B(x) Výroková forma A(x) se nazývá předpoklad věty, výroková forma B(x) se nazývá závěr nebo tvrzení věty. Platnost předpokladu A(x) je tzv. postačující podmínka pro platnost tvrzení B(x); platnost závěru B(x) se nazývá nutnou podmínkou pro platnost předpokladu A(x). Obecná věta ve tvaru ekvivalence: x D: A(x) B(x) Výrokové formy A(x) a B(x) se nazývají navzájem ekvivalentní. Platnost A(x) je zároveň nutnou i postačující podmínkou pro platnost B(x) a naopak. Matematické věty se musí dokázovat, tj. ověřuje se, že dané výroky neboli matematické věty platí!! 1.2.1 Základní metody důkazů matematických vět Přímé důkazy Přímý důkaz matematického výroku(tj. věty, tvrzení) spočívá v tom, že z axiomů a již dříve dokázaných vět získáme tvrzení po konečném počtu korektních úsudků. Přímé důkazy se v některých speciálních případech nazývají konstrukce(konstruktivní důkazy). 3

Nepřímé důkazy implikací A B Nepřímý důkaz vychází z předpokladu, že tvrzení B je nepravdivé, a odvodí odtud, že je nesprávnýipředpoklad A,onemžalevíme,žejepravdivý.Jetedyprovedenpřímýdůkaz implikace B A(přesněji B ( A A)).Nepřímýdůkazkončípraktickyodkazemna spor, když z popřeného tvrzení získáme evidentně nepravdivý výrok. Důkazy, které vedou ke sporu, se často nazývají důkazy sporem. Protipříklady Obecný i existenční výroky lze vyvrátit nebo potvdit(podle typu tvrzení) již jedním jediným konkrétním příkladem, tzv. protipříkladem. Matematická(úplná) indukce Užívá se k dokazování výroků obsahujících spojení pro všechna přirozená čísla. Tyto výroky je potřebné ověřit krok za krokem, od jednoho přirozeného čísla k následujícímu. Pravdivost výrokusedědíodčíslakčísluazdílčípokračovatelnostilzeusoudit,ževýrokjeplatnýv celku. Věta 1(Oprávnění matematické indukce) Nechť výroková funkce A(n) je definována pro všechna přirozená čísla n a nechť a) A(1)jepravdivývýroka b)prokaždé n Nzplatnostivýroku A(n)plynetaképlatnostvýroku A(n+1). Potom platí výrok A(n) pro všechna přirozená čísla. Praktický postup: dokážeme výrok A(1), předpokládáme, že platí výrok A(n) a dokážeme(za využitíplatnosti A(1)aA(n)),žeplatíivýrok A(n+1). 1.2.2 Negace výroků Při negování výrokových forem se mění kvantifikátory z existenčního na obecný a z obecného na existenční a všechny obsažené výroky se nahradí svými negacemi. Příklad: Zapište negace následujících výroků a rozhodněte, který z nich je pravdivý a který nepravdivý. a) a,b R:a 2 + b 2 >0jenepravdivýajehonegaceje a,b R:a 2 + b 2 0ajepravdivá b) x R:cos x= 1 sin 2 xjepravdivýajehonegaceje x R:cos x= 1 sin 2 xaje nepravdivá Příklad:Zapištenegacivýroku x R n N:(n x n+1 > x) Negaceje x R n N:(n > x n+1 x) 2 Množiny Množinou rozumíme soubor(souhrn, skupinu) jakýchkoli objektů, jenž je chápán jako jeden celek. Množina je určená, jestliže o libovolném objektu můžeme rozhodnout, zda do této množiny patří nebo nepatří. Každý z objektů, který patří do množiny, se nazývá prvek množiny. K označování množin používáme zpravidla velká písmena latinské abecedy A, B, M apod. a k označováníjejichprvkůmalápísmena a, b, xapod.jestližeprvek apatřídomnožiny(jeprvkem množiny) M,píšeme a M.Nepatří-liprvek bdomnožiny(nebolineníprvkemmnožiny) M,píšeme b M. Jestliže množina obsahuje alespoň jeden prvek nazývá se neprázdná množina. Prázdnou množinou rozumíme množinu, která neobsahuje žádný prvek a značíme ji. Množinu nejčastěji zadáváme dvěma způsoby: výčtem prvků, tj. vyjmenováním všech prvků(lze jen u konečných množin). Zápis vypadá např. takto: A={a 1,a 2,...,a n },kde njekonečnéčíslo. 4

charakteristickou vlastností, tj. takovou vlastností, kterou mají právě jen prvky zadávané množiny.zapisujeme B= {x;v(x)}ačteme Bjemnožinavšechprvků x,prokteráplatí V(x). 2.1 Vztahy mezi množinami Definice2.1(InkluzemnožinAaB) Říkáme, že Aje podmnožinou B,jestliže každýprvek množiny Ajezároveňprvkemmnožiny B.Symbolickýzapisujeme A BačtemeAjepodmnožinou množiny B. Definice2.2(RovnostmnožinAaB) Říkáme,žemnožiny AaBjsousirovny,jestliže A B a B A, tj. každý prvek jedné množiny je zároveň prvkem druhé množiny. Symbolicky zápisujeme A=BačtememnožinyAaBjsousirovny. 2.2 Základní operace s množinami Definice2.3(SjednocenímnožinAaB) Sjednocenímmnožin AaBnazvememnožinuvšech prvků,kterépatříaspoňdojednézmnožin AaB.Symbolickypíšeme A B. Definice2.4(PrůnikmnožinAaB) Průnikemmnožin AaBnazvememnožinuvšechprvků, kterépatřídomnožiny Aazároveňidomnožiny B.Symbolickypíšeme A B. Definice2.5(RozdílmnožinAaB) Rozdílemmnožin AaB(vtomtopořadí)nazvememnožinu všech prvků, které patří do množiny A a zároveň nepatří do množiny B. Symbolicky píšeme A \ Bnebo A B. 2.3 Kartézský součin množin, zobrazení Nechť A a B jsou neprázdné množiny. Definice 2.6 Kartézským součinem množin A a B nazveme množinu všech uspořádaných dvojic (a,b),kde a Aab B.Kartézskýsoučinznačíme A Basymbolickypíšeme A B= {(a,b);a A b B}. Pokud A=B,pakkartézskýsoučin A Aznačímejako A 2 anazývámehodruhoukartézskou mocninou množiny A. Jestliže vybereme z kartézského součinu jen některé dvojice(a, b), jejichž složky jsou vázány nějakým vztahem(např. a b, a je násobkem b), dostaneme tzv. binární relaci. Definice 2.7 Binární relací R mezi množinami A a B nazveme neprázdnou podmnožinu R kartézskéhosoučinu A B.Zapisujeme(a,b) Rnebo arb. Příklad:Uvažujmemnožiny A={1,3}aB= {2,3,4}. Potom A B= {(1,2),(1,3),(1,4),(3,2),(3,3),(3,4)}a R={(a,b) A B;a b}={(3,2),(3,3)}. Definice2.8 BinárnírelaciRmezimnožinamiAaBnazvemezobrazenímmnožinyAdomnožiny B,jestližekekaždémuprvku a Aexistujeprávějedenprvek b Btakový,že(a,b) R. BinárnírelacíRmezimnožinamiAaBnazvemezobrazenímzmnožinyAdomnožinyB,jestližeke každémuprvku a Aexistujeaspoňjedenprvek b Btakový,že(a,b) R. 5

2.4 Číselné množiny Nejčastěji se budeme setkávat s množinami, jejichž prvky jsou právě čísla. Mezi nejdůležitější číselné množiny patří: N... množina všech přirozených čísel(tj. kladných celých čísel) Z... množinavšechcelýchčísel Q... množinavšechracionálníchčísel R... množinavšechreálnýchčísel C... množinavšechkomplexníchčísel Jezřejmé,žeplatímnožinováinkluze N Z Q R C. Jestližekoznačenímnožinypřipojímehorníindex+(např. Z + ),znamenáto,žezdanémnožiny uvažujemepouzekladnáčísla;připojíme-lihorníindex (např. Q ),uvažujemezdanémnožiny pouzečíslazáporná.dolníindex0(např. R + 0 )znamená,žedodanémnožinyzahrnujemenavíci číslo 0. 2.4.1 Množina R Na množině všech reálných čísel jsou definovány operace sčítání, odčítání, násobení, dělení(ne nulou!), přičemž tyto operace mají známé vlastnosti(např. komutativní nebo asociativní zákon pro sčítání a násobení atd.) Množina R je také lineárně uspořádána pomocí binární relace <. Geometricky lze R znázornit jako přímku. Každé reálné číslo odpovídá právě jednomu bodu na reálnépřímce R 1,kteroutakénazývámereálnouosounebojednorozměrnýmreálnýmprostorem,a naopak každému bodu reálné přímky odpovídá právě jedno reálné číslo. Toto vzájemně jednoznačné přiřazení se obvykle realizuje zavedením tzv. kartézské soustavy souřadnic na přímce. Kartézská soustava souřadnic je na přímce určena bodem O(počátek souřadnic), její orientací(tj. určením kladné a záporné poloosy souřadnic) a jednotkou délky. Vzdálenost(Eukleidovskávzdálenost) d(a,b)dvoubodů A=(a)aB=(b)nareálnépřímceje dánavztahem d(a,b)= (b a) 2 = b a. 2.4.2 Absolutní hodnota reálného čísla Důležitým pojmem je absolutní hodnota reálného čísla a; značí se a a je definována takto: { a je-li a 0, a = a je-li a <0, tj. absolutní hodnota nezáporného čísla je číslo samo, absolutní hodnota záporného čísla je číslo k němu opačné. Na základě této definice lze odvodit věty vyjadřující významné vlastnosti absolutních hodnot reálných čísel: prokaždéčíslo a Rplatí: a 0;přitom a =0právětehdy,když a=0 a = a a =r >0právětehdy,když a=rnebo a= r(stručněpíšeme a=±r) a < r,kde r >0,právětehdy,když r < a < r a > r >0právěkdyž a < rnebo a > r 6

pro každá dvě reálná čísla a, b platí: a ± b a + b (trojúhelníkovánerovnost) a b = b a, a b = a b apro b 0 a b = a b Na číselné ose představuje absolutní hodnota a reálného čísla a vzdálenost obrazu tohoto čísla a od počátku O. 2.4.3 Množina R Protože množina R nemá nejmenší ani největší prvek, je vhodné ji někdy doplnit dvěma novými prvky, které se nazývají nevlastní čísla nebo nevlastní body. Jsou to čísla plus nekonečno + (nebo jen )aminusnekonečno. Definice2.9 Množina Rdoplněnáodvanevlastníbody a+ senazývározšířenámnožina reálnýchčíselaznačíse R,tj. R = R {,+ }. Jezřejmé,žeplatí R R.Číslazmnožiny R,kteránejsounevlastní(tj..všecnačíslakromě a ),seněkdynazývajívlastníčísla. Abychommohlipočítatinamnožině R,musímenatutumnožinurozšířitvýšeuvedenéoperace a uspořádání definované na množině R: Uspořádání <+ < c <+ prokaždé c R Absolutní hodnota + = =+ Sčítání a odčítání + +(+ )=+ ( )=+ +( )= (+ )= prokaždé c Rplatí c+(+ )=(+ )+c=+ c+( )=( )+c= c (+ )= c ( )=+ nenídefinováno:+ +( ),+ (+ ), +(+ ), ( ) Násobení (+ ) (+ )=( ) ( )=+ (+ ) ( )=( ) (+ )= prokaždé c R + platí c (+ )=(+ ) c=(+ ) c ( )=( ) c=( ) prokaždé c R platí c (+ )=(+ ) c=( ) c ( )=( ) c=(+ ) nenídefinováno:0 (± ),(± ) 0 Dělení prokaždé c Rplatí c + = c =0 Prokaždé c R + platí + c =+ a c = 7

Prokaždé c R platí + c = a c =+ nenídefinováno: ± 0,+ ±, ± ;0 0 Umocňováníčíslem m N (+ ) m =+ prokaždé m N ( ) m =+ prokaždé m Nsudé ( ) m = prokaždé m Nliché nenídefinováno:(± ) 0 ;0 0 m-táodmocnina,kde m N m + =+ prokaždé m N m = prokaždé m Nliché nenídefinováno: m pro m Nliché 2.4.4 Intervaly V matematice se často využívají speciální podmnožiny množiny R, které se nazývají intervaly. Definice2.10 Nechťjsoudánybody a,b R,kde a b.potomdefinujemenásledujícíintervaly: Název intervalu Definice Grafické znázornění Omezené intervaly s krajními body a a b uzavřenýinterval < a,b >= {x R;a x b} otevřenýinterval (a,b)={x R;a < x < b} polouzavřený(polootevřený) < a,b)={x R;a x < b} interval (a,b >= {x R;a < x b} Neomezené intervaly skrajnímbodem a < a, )={x R;a x < } anevlastnímbodem (a, )={x R;a < x < } skrajnímbodem a (,a >= {x R; < x a} anevlastnímbodem (,a)={x R; < x < a} oboustranněneomezený (, )={x R; < x < } interval (, ) = R Jestliže a=b,pak < a,a >= {a},tj.jetojednobodovámnožina(tzv.degenerovanýinterval), ostatníintervaly < a,a),(a,a >i(a,a)jsouprázdné. 2.4.5 Okolí bodu Ve formulacích mnoha výsledků se pro zjednodušení a zpřehlednění používá tzv. okolí bodu, což je speciální typ otevřeného intervalu. Definice2.11 Nechťjedáno c Raδ R +.Potom δ-okolímboducnazvemeotevřenýinterval (c δ,c+δ).číslo δsenazývápoloměremtohotookolí. δ-okolíbodu cznačíme U(c,δ)nebo U δ (c). δ-okolí bodu c lze vyjádřit více(ekvivalentními) způsoby: U δ (c)={x R;x (c δ,c+δ)}={x R;c δ < x < c+δ}={x R; x c < δ} Definice2.12 Nechť jedáno c Raδ R +.Potom redukovaným δ-okolím bodu cnazveme množinu U δ (c) \ {c}.číslo δsenazývápoloměremtohotookolí.redukované δ-okolíbodu cznačíme U (c,δ)nebo U δ (c). 8

Redukované δ-okolí bodu c lze opět vyjádřit více(ekvivalentními) způsoby: Uδ (c) = {x R;x (c δ,c) (c,c+δ)}={x R;c δ < x < c c < x < c+δ}= = {x R;0 < x c < δ} Grafické znázornění δ-okolí bodu c: U δ (c) U δ (c) Definice2.13 Nechťjedáno c Raδ R +.Potompravým δ-okolímboducnazvemepolootevřený interval < c,c+δ)alevým δ-okolímboducpolootevřenýinterval(c δ,c >.Tatotzv.jednostranná δ-okolíboducznačíme U + (c,δ)au (c,δ).analogickydefinujemejednostrannáredukovanáokolí,a topravéredukované δ-okolíboducjako U+(c,δ)=(c,c+δ)alevéredukované δ-okolíboducjako U (c,δ)=(c δ,c). Grafické znázornění jednostranných δ-okolí bodu c: U + (c,δ) U (c,δ) U + (c,δ) U (c,δ) Definice2.14 Nechťjedáno s R.s-okolímnevlastníhobodu nazvemeotevřenýinterval(s, ) a označíme ho U(, s). s-okolím nevlastního bodu nazveme otevřený interval(, s) a označíme ho U(,s). Grafické znázornění s-okolí nevlastních bodů a : U(, s) U(, s) Poznámka: V názvu i označení δ-okolí, resp. s-okolí, lze čísla δ, resp. s, vypouštět, není-li jejich velikost podstatná. Poznámka: Existují i jiné podmnožiny množiny R, které mají složitější strukturu. 2.4.6 Vlastnosti podmnožin v R V celém odstavci budeme předpokládat, že M je neprázdná podmnožina množiny R. Definice 2.15 Množina M se nazývá omezenáshora,jestližeexistuje k Rtakové,žeprovšechna x Mplatí x k.číslo kse nazývá horní mez(závora) množiny M. omezenázdola,jestližeexistuje l Rtakové,žeprovšechna x M platí x l.číslo lse nazývá dolní mez(závora) množiny M. omezená, jestliže je omezená shora i zdola zároveň. Věta2 Množina M jeomezenáprávětehdy,kdyžexistuječíslo K R + 0 takové,žeprovšechna x Mplatí x K. 9

Definice2.16 Nechťexistujetakové m M,žeprovšechna x Mplatí x m.paksetotočíslo mnazývámaximum(nebonejvětšíprvek)množinymaznačísemaxm. Nechťexistujetakové n M,žeprovšechna x M platí x m.paksetotočíslo nnazývá minimum(nebonejmenšíprvek)množinymaznačíseminm. Poznámka: Je-li množina M shora(zdola) omezená, pak její horní(dolní) mez může ale nemusí do M patřit. Pokud však existuje maximum(minimum) množiny M, vždy do této množiny patří. Věta 3 Pro konečnou množinu lze vždy nalézt její maximum i minimum. Definice2.17 Číslo p RsenazývásupremummnožinyM(značísesupM),jestliže (s1) provšechna x Mplatí x pa (s2) kekaždému ε R + existuje x Mtakové,že x > p ε. 10

Poznámky: Podle vlastnosti(s1) je p horní mez množiny M a podle(s2) neexistuje žádná další horní mez menšínež p.supremumjetedynejmenšíhornímezímnožiny M. Supremum nemusí vždy existovat. JestližeexistujesupM ajestliženavícsupm M,pakexistujeimaxM aplatímaxm = supm. JestližeexistujesupM,alesupM M,pakmax Mneexistuje. Definice2.18 Číslo q RsenazýváinfimummnožinyM(značíseinf M),jestliže (i1) provšechna x Mplatí x qa (i2) kekaždému ε R + existujeˆx Mtakové,žeˆx < q+ ε. Pro infimum platí obdobná poznámka jako ta výše uvedená pro supremum. Věta 4(existenci suprema a infima množiny) Jestliže je množina M omezená shora, pak existujejejísupremumvr.jestližejemnožina Momezenázdola,pakexistujejejíinfimumvR. Věta5 Jestližeexistujemax M,pakexistujeisupMaplatísupM=maxM.Analogicky,jestliže existujemin M,pakexistujetakéinf Maplatíinf M=min M. 2.4.7 Vztah mezi množinou a bodem Definice 2.19 Nechť M je neprázdná podmnožina v R. Bod a MsenazývávnitřnímbodemM,jestližeexistujejehookolí U(a)celéobsaženévM, tj. U(a) M.Množinavšechvnitřníchbodůmnožiny MsenazývávnitřekmnožinyMaznačí se M neboint M. Bod a RsenazýváhraničnímbodemM,jestliževkaždémjehookolí U(a)ležíaspoňjeden bodmnožiny Maaspoňjedenbodmnožiny R \ M.Množinavšechhraničníchbodůmnožiny MsenazýváhranicemnožinyMaznačíse h(m), hmnebo δm. Uzávěrem množiny M nazveme sjednocení hranice množiny M a jejího vnitřku a označíme ho jako M.Tj. M= M h(m). Bod a RsenazývávnějšímbodemM,jestliženeníanivnitřnímanihraničnímbodemmnožiny M.Množinavšechvnějšíchbodůmn. MsenazývávnějšekmnožinyM,nemáspeciálníoznačení ajetvořenmnožinou R \ M. Bod a RsenazýváhromadnýmbodemM,jestliževkaždémjehookolí U(a)ležínekonečně mnoho bodů množiny M. Množina všech hromadných bodů množiny M se nazývá derivace množinymaznačíse M. Bod a RsenazýváhromadnýmbodemMzprava,jestliževkaždémjehopravémokolí U + (a) leží nekonečně mnoho bodů množiny M. Bod a RsenazýváhromadnýmbodemMzleva,jestliževkaždémjeholevémokolí U (a)leží nekonečně mnoho bodů množiny M. Izolovaným bodem množiny M nazveme každý bod množiny M, který není jejím hromadným bodem. 11

Definice 2.20 Nechť M je neprázdná podmnožina v R. Jestliže M= M,paksemnožina Mnazýváotevřená. Jestliže M= M,paksemnožina Mnazýváuzavřená. Množina M se nazývá izolovaná(nebo diskrétní), jestliže všechny její prvky jsou izolovanými body. Poznámky: Přímo z výše uvedených definic plyne Vnitřníaizolovanébodymnožiny Mvždydo Mpatří.Hraničníahromadnébodydo Mpatřit mohou, ale nemusí. Množina M jeotevřenáprávětehdy,kdyžneprotínásvojihranici,tj.když M h(m)=. VnitřnímibodyjsouprávětybodyzM,kterénejsouhraniční. Množina Mjeuzavřenáprávětehdy,kdyžobsahujesvojihranici,tj.když h(m) M. Hromadný bod množimy M je zároveň i jejím hraničním bodem; ne každý hraniční bod množiny Mvšakmusíbýtijejímhromadnýmbodem. Příklad:Uvažujmemnožinu A=<0,1 > (0,1) {(2,0)}(vizobrázek). vnitřníbodyjsouvšechnyzmnožiny(0,1) (0,1) hranice je tvořena stranami čtverce a bodem(2, 0) uzávěr=<0,1 > 2 (2,0) vnějšíbodyjsouvšechnybodyzrkromětěchzmnožiny <0,1 > 2 (2,0) hromadnébodyjsouvšechnybodyz<0,1 > 2 (2,0)jehraničníbod,aleneníhromadnýbod (2,0)jeizolovanýbod množina A není otevřená, uzavřená ani diskrétní 12