1. Halmazok Flashcards
Halmaz
alapfogalom, nem definiáljuk.
Halmaz eleme
alapfogalom, nem definiáljuk.
Halmaz elemeinek meghatározása
- körülírjuk
- felsoroljuk az elemeit
- logikai állítással határozzuk meg
Részhalmaz
’A’ halmaz részhalmaza ’B’ halmaznak, ha ’A’ halmaz minden eleme eleme ’B’ halmaznak is. Jelölés: A⊆B
Valódi részhalmaz
’A’ halmaz valódi részhalmaza ’B’ halmaznak, ha ’A’ halmaz minden eleme eleme ’B’ halmaznak is, és van ’B’ halmaznak olyan eleme, amely nem eleme ’A’ halmaznak. Jelölés: A⊂B
Komplementer
Egy ’A’ halmaz komplementere az alaphalmaz minden olyan eleme, amely nem eleme ’A’ halmaznak.
Unió
Az ’A’ és ’B’ halmazok uniója az alaphalmaz azon elemeit tartalmazza, amelyek ’A’ és ’B’ halmaz közül legalább az egyiknek elemei. Jelölés: A∪B
Metszet
Az ’A’ és ’B’ halmazok metszete az alaphalmaz azon elemeit tartalmazza, amelyek az ’A’ és ’B’ halmaznak egyaránt elemei. Jelölés: A∩B
Különbség
Az ’A’ különbség ’B’ az alaphalmaz azon elemeit tartalmazza, amelyek elemei ’A’ halmaznak, de nem elemei ’B’ halmaznak. Jelölés: A\B
Szimmetrikus differencia
Az ’A’ és ’B’ halmaz szimmetrikus differenciája az alaphalmaz azon elemeit tartalmazza, amelyek vagy az ’A’ halmaznak, vagy a ’B’ halmaznak elemei. (de nem mind a kettőnek)
Jelölés: A∆B
Descartes-szorzat
A relációk definiálásához ismernünk kell a Descartes-szorzat fogalmát. Az ’A’ és ’B’ halmaz Descartes-szorzatának nevezzük azt a halmazt, amelynek elemei a két halmaz elemeiből álló rendezett párok. Jele: A X B
σ reláció
Rendezett párok halmazát, amelyet az A X A Descartes-négyzet részhalmazaként kapunk σ relációnak nevezzük.
Reflexív
A σ reláció reflexív, ha minden a ∈ A-ra teljesül, hogy (a,a) ∈ σ, azaz, ha a halmaz minden eleme relációban van önmagával.
Szimmetrikus
A σ reláció szimmetrikus, ha minden a, b ∈ A-ra teljesül, hogy ha (a, b) ∈ σ, akkor (b, a) ∈ σ. Azaz, ha a relációban van b-vel, akkor b is relációban van a-val.
Tranzitív
A σ reláció szimmetrikus, ha minden a, b, c ∈ A-ra teljesül, hogy ha (a, b) ∈ σ és (b, c) ∈ σ akkor (a, c) ∈ σ. Azaz, ha a relációban van b-vel és b relációban van c-vel, akkor a is relációban van c-vel.
Antiszimmetria
A σ reláció antiszimmetrikus, ha minden a, b ∈ A-ra teljesül, hogy ha (a, b) ∈ σ és (b, a) ∈ σ, akkor a=b. Azaz, ha a relációban van b-vel, akkor b csak abban az esetben lehet relációban a-val, ha a = b.
Dichotom
A σ reláció dichotom, ha minden a, b ∈ A-ra teljesül, hogy (a, b) ∈ σ vagy
(b, a) ∈ σ. Azaz bármely két elemet tekintve az egyik relációban van a másikkal.
Függvény
Akkor mondjuk, hogy az A, B halmazpáron értelmezett f reláció függvény, ha (a, b) ∈ f és (a, c) ∈ f, akkor b=c. Azaz a reláció egyértelmű, vagyis bármely elemhez az A halmazból (a) pontosan egy elem tartozik a B halmazból (b). Ebben az esetben az a elem a b f szerinti ősképe, a b pedig az a f szerinti képe.
Injektív
Egy X -> Y függvény injektív, ha bármely két elemének a képe különböző.
Szürjektív
Egy X -> Y függvény szürjektív, ha a B minden elemének van ősképe A-ban.
Bijektív
Egy X -> Y függvény bijektív, he egyszerre injektív és szürjektív is.
Ekvivalenciareláció
A σ reláció ekvivalenciareláció/ekvivalencia, ha egyszerre reflexív, tranzitív és szimmetrikus.
Ekvivalenciareláció tulajdonságai
Minden ~ ekvivalenciareláció egyértelműen meghatároz egy osztályozást azon az A halmazon, amelyen definiálva van. Azaz, az a, b ∈ A elemek pontosan akkor kerülnek egy osztályba, ha a~b reláció fennáll.
Egy A halmaz egy osztályozása az ~A~ halmazrendszer, ha a halmazai páronként diszjunktak és lefedik az A halmazt.
Részbenrendezés
A σ reláció részbenrendezés, ha egyszerre reflexív, tranzitív és antiszimmetrikus.
Teljes rendezés
A σ reláció teljes rendezés, ha egyszerre részbenrendezés és dichotom.
Természetes számok
Pozitív egész számok halmaza. Jele: N.
Bármely két egész szám összege és szorzata is egész szám, tehát a természetes számok halmaza összeadásra és szorzásra nézve zárt.
Egész számok
Jele: Z.
Bármely két egész szám összege, szorzata és különbsége is egész, azaz az egész számok halmaza összeadásra, kivonásra és szorzásra zárt.
Racionális számok
Felírhatóak két egész szám hányadosaként. Jele: Q.
Bármely két racionális szám összege, szorzata, különbsége és hányadosa is racionális, azaz az racionális számok halmaza összeadásra, kivonásra, szorzásra és osztásra zárt.
Irracionális számok
Olyan számok, amelyek nem írhatóak fel két egész szám hányadosaként. Tizedestört alakjuk végtelen és nem periodikus. Jele: Q*.
Valós számok
A racionális és az irracionális számok halmazának uniója. Jele: R. Mind a négy alapműveletre zárt.
Komplex számok
A valós számok halmazának olyan bővítése, melyben elvégezhető a negatív számokból való gyökvonás. Jele: C.
Képzetes egység, kanonikus alak
A képzetes/imaginárius egység az egyik olyan szám, amelynek négyzete -1. Jele: i.
Legyen z ∈ C, z = (a, b) egy komplex szám. Ekkor z kanonikus alakja z = a + b * i. Ekkor a-t z valós részének, b-t pedig z képzetes részének nevezzük.