Relace a kongruence modulo

Podobné dokumenty
Relace a kongruence modulo

Matematická analýza 1

Úvod do informatiky. Miroslav Kolařík

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

PŘEDNÁŠKA 7 Kongruence svazů

Kongruence na množině celých čísel

Princip rozšíření a operace s fuzzy čísly

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

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

Pojem relace patří mezi pojmy, které prostupují všemi částmi matematiky.

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

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

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

INVESTICE DO ROZVOJE VZDĚLÁVÁNÍ. Modernizace studijního programu Matematika na PřF Univerzity Palackého v Olomouci CZ.1.07/2.2.00/28.

Okruh Lineární rovnice v Z m Těleso Gaussova eliminace (GEM) Okruh Z m. Jiří Velebil: X01DML 19. listopadu 2007: Okruh Z m 1/20

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

Aritmetika s didaktikou I.

Matice. a m1 a m2... a mn

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

Matematický ústav Slezské univerzity v Opavě Učební texty k přednášce ALGEBRA I, zimní semestr 2000/2001 Michal Marvan. 2.

RELACE, OPERACE. Relace

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

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

Odpřednesenou látku naleznete v kapitole 3.1 skript Abstraktní a konkrétní lineární algebra.

Hlubší věty o počítání modulo

Střípky z LA Letem světem algebry

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

Základy elementární teorie čísel

Matematická analýza pro informatiky I.

Historie matematiky a informatiky Cvičení 2

8 Podobná (ekviformní) zobrazení v rovině

Vlastní čísla a vlastní vektory

1 Báze a dimenze vektorového prostoru 1

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

Relace. R, S vyjmenovaním prvků. Sestrojte grafy relací R, S. Určete relace

Lineární algebra : Lineární prostor

Ekvivalence. Základy diskrétní matematiky, BI-ZDM ZS 2011/12, Lekce 5

Oproti definici ekvivalence jsme tedy pouze zaměnili symetričnost za antisymetričnost.

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:

Úvod do informatiky. Miroslav Kolařík

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

Teorie grup 1 Příklad axiomatické teorie

Polynomy nad Z p Konstrukce faktorových okruhů modulo polynom. Alena Gollová, TIK Počítání modulo polynom 1/30

Lineární algebra. Matice, operace s maticemi

3. Algebraické systémy

DEFINICE Z LINEÁRNÍ ALGEBRY

Operace s maticemi

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

Predikátová logika dokončení

Množiny, relace, zobrazení

Výroková logika syntaxe a sémantika

Teoretická informatika Tomáš Foltýnek Algebra Struktury s jednou operací

Kritéria dělitelnosti Divisibility Criterions

7 Konvexní množiny. min c T x. při splnění tzv. podmínek přípustnosti, tj. x = vyhovuje podmínkám: A x = b a x i 0 pro každé i n.

Odpřednesenou látku naleznete v kapitolách skript Abstraktní a konkrétní lineární algebra.

4 Počítání modulo polynom

M M. Je-li ρ M 2 relace, pak vztah (x, y) ρ zapisujeme x ρ y.

(ne)závislost. α 1 x 1 + α 2 x α n x n. x + ( 1) x Vektoru y = ( 1) y říkáme opačný vektor k vektoru y. x x = 1. x = x = 0.

Lineární algebra Operace s vektory a maticemi

VELIKOST VEKTORU, POČETNÍ OPERACE S VEKTORY

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

Základy teorie množin

Číselné vektory, matice, determinanty

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

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

MIDTERM D. Příjmení a jméno:

1. Několik základních pojmů ze středoškolské matematiky. Na začátku si připomeneme následující pojmy:

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,

Odpřednesenou látku naleznete v kapitole 3.3 skript Diskrétní matematika.

Množina je nejdůležitější matematický pojem, na kterém stojí veškeré další matematické pojmy.

Základy teorie množin

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

Vybrané kapitoly z matematiky

2. ZÁKLADY MATICOVÉ ALGEGRY 2.1. ZÁKLADNÍ POJMY

2. Vyšetřete všechny možné případy vzájemné polohy tří různých přímek ležících v jedné rovině.

1 Vektorové prostory.

TGH02 - teorie grafů, základní pojmy

KATEDRA INFORMATIKY UNIVERZITA PALACKÉHO ALGEBRA DAGMAR SKALSKÁ VÝVOJ TOHOTO UČEBNÍHO TEXTU JE SPOLUFINANCOVÁN

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

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

Jednoduché specifikace

Shodná zobrazení v rovině

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

Marie Duží

Cvičení z Lineární algebry 1

1. přednáška 1. října Kapitola 1. Metrické prostory.

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

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

Dá se ukázat, že vzdálenost dvou bodů má tyto vlastnosti: 2.2 Vektor, souřadnice vektoru a algebraické operace s vektory

Hlubší věty o počítání modulo

6.1 Vektorový prostor

Konstruktivní geometrie

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

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

Cílem této kapitoly je uvedení pojmu matice a jejich speciálních typů. Čtenář se seznámí se základními vlastnostmi matic a s operacemi s maticemi

1 Připomenutí vybraných pojmů

TGH02 - teorie grafů, základní pojmy

NAIVNÍ TEORIE MNOŽIN, okruh č. 5

FUNKCE. Než přistoupíme k samotným funkcím, je třeba nadefinovat a vysvětlit několik pojmů, které k tomu budeme potřebovat.

ÚVOD DO ARITMETIKY. Michal Botur

Transkript:

Relace a kongruence modulo Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 1/17

Definice Binární relace R na množině A je podmnožina R A A. Píšeme x R y (čteme: x je v relaci R s y) místo (x, y) R. Příklad Ať A = {a, b, c}. Příklady binárních relací na A: 1 R = {(a, b), (c, a)}. Platí a R b a také c R a. 2 A = {(a, a), (b, b), (c, c)}. Platí x A y právě, když x = y. Název: diagonála na A nebo identita na A. 3 A A je binární relace na A. Je to největší možná binární relace na množině A. Platí x (A A) y právě tehdy, když x, y A. 4 je binární relace na A. Je to nejmenší možná binární relace na množině A. Pro žádnou dvojici (x, y) neplatí x y. Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 2/17

Relaci R budeme chtít chápat dvěma různými způsoby: 1 Jako seznam dvojic (x, y), kdy se x má slepit s y. Takovým relacím R se říká relace ekvivalence. Relace ekvivalence musí mít speciální vlastnosti. 2 Jako seznam dvojic (x, y), kdy x je menší nebo rovno y. Takovým relacím R se říká relace uspořádání. Relace částečného uspořádání musí mít speciální vlastnosti. Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 3/17

Definice Řekneme, že binární relace R na množině A je: 1 Reflexivní, když pro všechna x A platí: x R x. 2 Symetrická, když pro všechna x, y A platí: jestliže x R y, pak y R x. 3 Transitivní, když pro všechna x, y, z A platí: jestliže x R y a současně y R z, pak x R z. 4 Antisymetrická, když pro všechna x, y A platí: jestliže x R y a současně y R x, pak x = y. 5 Relace ekvivalence, pokud je reflexivní, symetrická a transitivní současně. 6 Relace uspořádání, pokud je reflexivní, antisymetrická a transitivní současně. Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 4/17

Definice Ať R a S jsou binární relace na množině A. 1 Opačná relace k relaci R je binární relace značená R op s vlastností x R op y právě tehdy, když y R x. 2 Složení relací R a S je binární relace značená R; S s vlastností x R; S y právě tehdy, když existuje z A takové, že x R z a současně z S y. Prvku z říkáme prostředník vztahu x R; S y. Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 5/17

Tvrzení Ať R je binární relace na množině A. Pak platí: 1 Relace R je reflexivní právě tehdy, když platí A R. 2 Relace R je symetrická právě tehdy, když platí R = R op. 3 Relace R je transitivní právě tehdy, když platí R; R R. 4 Relace R je antisymetrická právě tehdy, když platí R R op A. Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 6/17

Příklad Čtverec S v rovině: A D B C 1 Binární relace R na S: dva body P 1, P 2 čtverce S jsou v relaci R právě tehdy, když platí buď P 1 = P 2 nebo P 1 i P 2 leží na hranici. R je relace ekvivalence a dává návod, jak slepit body čtverce: slepte všechny body hranice do jednoho a uvnitř čtverce neslepujte nic. Výsledná faktorová množina S/R (množina S slepená podle návodu R) je povrch koule, neboli sféra. Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 7/17

Příklad (pokrač.) 2 Binární relace R na S taková, že chceme slepit pouze body na úsečce AB s odpovídajícími body na úsečce CD podle symetrie dané osou o A o D B C Faktorová množina je válcová plocha. Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 8/17

Příklad (pokrač.) 3 Binární relace R na S taková, že chceme slepit pouze body na úsečce AB s odpovídajícími body na úsečce CD podle symetrie dané bodem S A D S Faktorová množina je Möbiův list. B C Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 9/17

Příklad (pokrač.) 4 Binární relace R taková, že chceme slepit pouze body na úsečce AB s odpovídajícími body na úsečce CD podle symetrie dané osou o a body úsečky BC s odpovídajícími body úsečky DA podle symetrie dané bodem S (Möbiův list na válcové ploše): o A D S B C Faktorová množina je Kleinova láhev. a a Kleinova láhev není třídimensionální objekt! Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 10/17

Shrnuto: 1 Relace ekvivalence R na X je návod, jak se mají slepovat prvky množiny X. 2 Po dvojici X, R se můžeme procházet, přičemž relace R nám pokazila zrak. 3 Faktorová množina X /R je množina, kde jsme předepsané dvojice bodů skutečně slepili. Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 11/17

Shrnuto: 4 Body (prvky) množiny X /R? Slepíme každý bod x X se všemi body x, se kterými nám přikazuje relace R bod x slepit: [x] R = {x X x R x } Množině [x] R se říká třída ekvivalence R representovaná prvkem x. Tedy: X /R = {[x] R x X } Více viz: skripta a sbírka řešených příkladů. Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 12/17

Definice Ať m > 1 je pevné přirozené číslo. Řekneme, že celá čísla a a b jsou kongruentní modulo m, (značíme a b (mod m)), pokud existuje celé číslo k takové, že a b = k m. Poznámka Vztah a b (mod m) platí iff a i b mají stejný zbytek po dělení číslem m. Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 13/17

Tvrzení Ať m > 1 je pevné přirozené číslo. Potom platí: 1 m je relace ekvivalence na množině celých čísel, tj. je reflexivní, symetrická a transitivní. 2 m respektuje operaci sčítání, tj. pro všechna celá čísla a, b, a, b platí: jestliže platí a b (mod m) a současně a b (mod m), pak platí a + a b + b (mod m). 3 m respektuje operaci násobení, tj. pro všechna celá čísla a, b, a, b platí: jestliže platí a b (mod m) a současně a b (mod m), pak platí a a b b (mod m). Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 14/17

Důsledek Množinu celých čísel lze slepit pomocí kongruence modulo m. Příslušnou faktorovou množinu označíme Z m. Lemma Ať m > 1 je pevné přirozené číslo. Potom množina Z m má přesně m různých prvků: Z m = {[0] m, [1] m,..., [m 1] m }. Říkáme jim standardní tvary prvků Z m. Příklad Z 6 = {[0] 6, [1] 6, [2] 6, [3] 6, [4] 5, [5] 6 }. Platí například [2] 6 = [8] 6 = [ 4] 6. Zjednodušené značení: 2 = 8 = 4 v Z 6. Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 15/17

Příklad (pokrač.) 6 respektuje sčítání. Tabulka pro sčítání v Z 6 : 6 [0] 6 [1] 6 [2] 6 [3] 6 [4] 6 [5] 6 [0] 6 [0] 6 [1] 6 [2] 6 [3] 6 [4] 6 [5] 6 [1] 6 [1] 6 [2] 6 [3] 6 [4] 6 [5] 6 [0] 6 [2] 6 [2] 6 [3] 6 [4] 6 [5] 6 [0] 6 [1] 6 [3] 6 [3] 6 [4] 6 [5] 6 [0] 6 [1] 6 [2] 6 [4] 6 [4] 6 [5] 6 [0] 6 [1] 6 [2] 6 [3] 6 [5] 6 [5] 6 [0] 6 [1] 6 [2] 6 [3] 6 [4] 6 Zjednodušené značení: místo [3] 6 [4] 6 = [1] 6 budeme psát 3 + 4 = 1 v Z 6 Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 16/17

Příklad (pokrač.) 6 respektuje násobení. Tabulka násobení v Z 6 : 6 [0] 6 [1] 6 [2] 6 [3] 6 [4] 6 [5] 6 [0] 6 [0] 6 [0] 6 [0] 6 [0] 6 [0] 6 [0] 6 [1] 6 [0] 6 [1] 6 [2] 6 [3] 6 [4] 6 [5] 6 [2] 6 [0] 6 [2] 6 [4] 6 [0] 6 [2] 6 [4] 6 [3] 6 [0] 6 [3] 6 [0] 6 [3] 6 [0] 6 [3] 6 [4] 6 [0] 6 [4] 6 [2] 6 [0] 6 [4] 6 [2] 6 [5] 6 [0] 6 [5] 6 [4] 6 [3] 6 [2] 6 [1] 6 Zjednodušené značení: místo [3] 6 [4] 6 = [0] 6 budeme psát 3 4 = 0 v Z 6 Jiří Velebil: X01DML 5. listopadu 2010: Relace a kongruence modulo 17/17