1. Halmazok s halmazok szmossga. Halmazmveletek s logikai mveletek kapcsolata.

Vzlat:
I. Halmazok, rszhalmazok n elem halmaz rszhalmazainak szma II. Halmazok szmossga: vges, vgtelen (megszmllhatan, illetve nem megszmllhatan vgtelen) halmazok III. Halmazmveletek (komplementer, uni, metszet, klnbsg, Descartes-szorzat), mveletek tulajdonsgai IV. Logikai mveletek (tagads, diszjunkci, konjunkci), mveletek tulajdonsgai V. Halmazok s logikai mveletek kapcsolata VI. Alkalmazsok

Bevezets:
A halmazelmlet a matematikn bell viszonylag j terletnek szmt, precz kidolgozsra csak a XIX. szzad vgn kerlt sor. Ahhoz, hogy a halmazelmlet nll tudomnygg vljon, annak a felismerse kellett, hogy a matematika minden ga klnbz halmazokkal foglalkozik.

Kidolgozs:
I. Halmazok, rszhalmazok
A halmaz s a halmaz eleme alapfogalom, ezeket a kifejezseket nem definiljuk. De a halmaz megadsnak szigor kvetelmnye van: egy halmazt gy kell megadnunk, hogy minden szba jhet dologrl egyrtelmen eldnthet legyen, hogy az adott halmazhoz tartozik vagy sem. A halmazokat nyomtatott nagybetvel, a halmaz elemeit kisbetvel jelljk a kvetkez mdon: A = {a; b; c}, ebben az esetben a A, x A. Halmaz megadsi mdjai: Elemeinek felsorolsval: A = {0; 2; 4; 6} Az elemeit egyrtelmen meghatroz utastssal: B = {egyjegy pratlan szmok} Szimblumokkal: A = {xx2 - x - 6 = 0}, B = {xx2 > 9} Venn-diagrammal:
A

1 2

DEFINCI: Kt halmaz egyenl, ha ugyanazokat az elemeket tartalmazzk. DEFINCI: Az elem nlkli halmazt res halmaznak nevezzk. Jele: { } vagy . DEFINCI: Az A halmaz rszhalmaza a B halmaznak, ha A minden eleme a B halmaznak is eleme. Jele: A B. 4

DEFINCI: Az A halmaz valdi rszhalmaza a B halmaznak, ha A rszhalmaza a B-nek, de nem egyenl vele. Jele: A B. Tulajdonsgok: Az res halmaz minden halmaznak rszhalmaza: A. Minden halmaz nmaga rszhalmaza: A A. Ha A B s B A, akkor A = B. Ha A B s B C, akkor A C. TTEL: Az n elem halmaz sszes rszhalmazainak szma: 2n (n N). BIZONYTS I.: A bizonytst teljes indukcival vgezzk, amelynek lnyege, hogy elszr beltjuk egy konkrt n esetre az lltst, majd azt mutatjuk meg, ha az llts igaz egy tetszleges n-re, akkor igaz az t kvet ( n + 1)-re is, azaz bizonytjuk az llts rkldst. Az res halmaznak egyetlen rszhalmaza van: nmaga (2 0 = 1). Egy egyelem halmaznak 2 rszhalmaza van: az res halmaz s nmaga (2 1 = 2). Egy ktelem halmaznak 4 rszhalmaza van: az res halmaz, 2 egyelem halmaz s nmaga (22 = 4). Tegyk fel, hogy egy k elem halmaznak 2k db rszhalmaza van. Bizonytani kell, hogy ez rkldik, vagyis egy ( k + 1) elem halmaznak 2k + 1 db rszhalmaza van. Tekintsk az elbbi k elem halmazt. Ekkor ha az eddigi elemek mell egy (k + 1)-edik elemet tesznk a halmazba, akkor ezzel megktszerezzk a lehetsges rszhalmazok szmt, hiszen az j elemet vagy kivlasztjuk az eddigi rszhalmazokba, vagy nem. Vagyis a (k + 1) elem halmaz rszhalmazainak szma 2 2k = 2k + 1, amit bizonytani kvntunk.

n n n BIZONYTS II.: Az n elem halmaznak 0 db 0 elem, 1 db 1 elem, 2 db 2 elem, n n n 1 db n - 1 elem, n db n elem rszhalmaza van, mert n elembl k db-ot kivlasztani n -flekppen lehet. k n n n n n gy az sszes rszhalmazok szma: 0 + 1 + 2 + ... + n 1 + n . Vizsgljuk meg 2 n -t: n n n n n n 2 n = (1 + 1) = 0 10 1n + 1 11 1n 1 + 2 12 1n 2 + ... + n 1 1n 1 11 + n 1n10 , ami n n n n n egyenl 0 + 1 + 2 + ... + n 1 + n -nel a binomilis ttel miatt.

II. Halmazok szmossga

DEFINCI: Egy A halmaz szmossga az A halmaz elemeinek szmt jelenti. Jele: A. Egy halmaz szmossga lehet vges vagy vgtelen. DEFINCI: Egy halmaz vges halmaz, ha elemeinek szmt egy termszetes szmmal megadhatjuk. Ellenkez esetben, azaz ha a halmaz elemeinek szmt nem adhatjuk meg termszetes szmmal, akkor vgtelen halmazrl beszlnk.

DEFINCI: A vgtelen halmazok kztt tallhatunk olyat, melynek elemei sorba rendezhetk, teht megadhat az 1., 2., 3., 4., eleme. A pozitv termszetes szmokkal megegyez szmossg halmazokat megszmllhatan vgtelen halmaz oknak nevezzk. A megszmllhatsg s a sorba rendezhetsg egy vgtelen halmaznl ugyanazt jelenti. Minden olyan halmaz megszmllhatan vgtelen szmossg, amelynek elemei s a termszetes szmok kztt klcsnsen egyrtelm megfeleltets ltesthet. Megszmllhatan vgtelen szmossgak: egsz szmok, pros szmok, ngyzetszmok, racionlis szmok. DEFINCI: A vals szmok szmossgval megegyez szmossg halmazokat nem megszmllhatan vgtelen vagy kontinuum szmossg halmazoknak nevezzk. Pl.: irracionlis szmok halmaza, szmegyenes pontjainak halmaza, intervallum pontjainak halmaza. TTEL: Szmossg s halmazmveletek kapcsolata (logikai szita): A, B s C vges halmazok szmossgra rvnyesek a kvetkezk: A B = A + B - A B A B = U - A B A B C = A + B + C - A B - A C - B C + A B C

III. Halmazmveletek
DEFINCI: Azt a halmazt, amelynek a vizsglt halmazok rszhalmazai, alaphalmaznak vagy univerzumnak nevezzk. Jele: U vagy H. DEFINCI: Egy A halmaz komplementer halmaznak az alaphalmaz azon elemeinek halmazt nevezzk, amelyek az A halmaznak nem elemei. Jele: A . (Fontos tulajdonsg: A = A .) DEFINCI: Kt vagy tbb halmaz unija vagy egyestse mindazon elemek halmaza, amelyek legalbb az egyik halmaznak elemei. Jele: . DEFINCI: Kt vagy tbb halmaz metszete vagy kzs rsze pontosan azoknak az elemeknek a halmaza, amelyek mindegyik halmaznak elemei. Jele: . DEFINCI: Kt halmaz diszjunkt, ha nincs kzs elemk, vagyis a metszetk res halmaz. A B = . DEFINCI: Az A s B halmaz klnbsge az A halmaz mindazon elemeinek halmaza, amelyek a B halmaznak nem elemei. Jele: A \ B. DEFINCI: Az A s B halmaz Descartes-fle szorzata az a halmaz, amelynek elemei az sszes olyan rendezett (a; b) pr, amelynl a A s b B. Jele: A B.
U A
U A B A U B

U A B

Komplementer halmaz

Kt halmaz unija

Kt halmaz metszete

U A B

U A B

Diszjunkt halmazok
Halmazmveletek tulajdonsgai
Kommutatv (felcserlhet) Asszociatv (csoportosthat) Disztributv (szttagolhat) De-Morgan azonossgok Tovbbi azonossgok

A s B halmaz A \ B klnbsge

AB=BA
(A B) C = A (B C)

AB=BA
(A B) C = A (B C)

A (B C) = (A B) (A C)

A (B C) = (A B) (A C)

A B = A B s A B = A B A=A AA=A A A =U AU=U A= A A= AA=A A A = AU=A

IV. Logikai mveletek

DEFINCI: Az llts (vagy kijelents) olyan kijelent mondat, amelyrl egyrtelmen el lehet dnteni, hogy igaz vagy hamis. DEFINCI: Az igaz s a hamis a kijelents logikai rtke. Ha az A llts igaz, a B llts hamis, akkor gy is mondhatjuk, hogy az A logikai rtke igaz, B logikai rtke hamis. Jelekkel: A = i s B = h. Az igaz rtket szoktk 1-gyel, a hamis rtket 0-val jellni. DEFINCI: A kijelentseket sszekapcsolhatjuk. Azokat a kijelentseket, amelyeket ms kijelentsekbl lehet ellltani, sszetett kijelentseknek nevezzk. DEFINCI: Ha az sszetett kijelentsek logikai rtke csak az t alkot lltsok logikai rtktl s az elllts mdjtl fgg, akkor logikai mveletekrl beszlnk. A logikai mveleteket igazsgtbla segtsgvel vgezhetjk el. DEFINCI: Az llts tagadsa egyvltozs mvelet. Egy A kijelents negcija (tagadsa) az a kijelents, amely akkor igaz, ha A hamis s akkor hamis, ha A igaz. Jele: A vagy A. DEFINCI: lltsok diszjunkcija: logikai vagy: Kt kijelents diszjunkcija pontosan akkor igaz, ha legalbb az egyik kijelents igaz, klnben hamis. Jele: A B. DEFINCI: lltsok konjunkcija: logikai s: Kt kijelents konjunkcija pontosan akkor igaz, ha mindkt kijelents igaz, klnben hamis. Jele: A B.

Logikai mveletek igazsgtblja

tagads negci

vagy diszjunkci

s konjunkci

A
i h

A
h i

A
i i h h

B
i h i h

AB
i i i h

A
i i h h

B
i h i h

AB
i h h h

Logikai mveletek tulajdonsgai:

Kommutatv (felcserlhet) Asszociatv (csoportosthat) Disztributv (szttagolhat) De-Morgan azonossgok Tovbbi azonossgok

AB=BA
(A B) C = A (B C)

AB=BA
(A B) C = A (B C)

A (B C) = (A B) (A C)

A (B C) = (A B) (A C)

A B = A B s A B = A B AA=A A A =i A= A AA=A A A =h

V. A halmazok s a logikai mveletek kapcsolata

A defincikbl s a mveleti tulajdonsgokbl lthat, hogy sok hasonlsg van a halmazok s a kijelentsek, valamint a velk vgezhet mveletek kztt. Az alaphalmaz rszhalmazai s a kijelentsek egymsnak megfelel fogalmak. A mveleteknl a halmazok unijnak a kijelentsek kzti diszjunkci (logikai vagy), a halmazok metszetnek a kijelentsek kzti konjunkci (logikai s), a komplementer halmaznak a kijelents tagadsa felel meg. A halmazoknl az unikpzs s a logikai kijelentseknl a diszjunkci azonos mveleti tulajdonsgokkal rendelkeznek. Hasonlan a halmazoknl a metszetkpzs s a logikai kijelentseknl a konjunkci tulajdonsgai megegyeznek. Ugyangy a halmazoknl a komplementer kpzse, valamint a kijelentseknl a tagads azonos tulajdonsgokkal rendelkeznek. gy mondhatjuk, hogy a halmazoknl az uni-, a metszet- s a komplementer-kpzs hasonl struktrt alkot a matematikai logikban a diszjunkci, a konjunkci s a negci mveletekkel. Az ilyen tpus struktra neve Boole-algebra. Hasonl struktrja van az esemnyalgebrnak. Ha valamilyen lltst bebizonytunk halmazokra, kijelentsekre (s esemnyekre), akkor az lltsnak a megfelelje igaz a msik kt terleten is.

VI. Alkalmazsok
Biolgiban a rendszertan, kmiban a peridusos rendszerbeli csoportosts is halmazelmleti fogalmak. Mveletek: melyik csoport melyiknek rszhalmaza? Vrcsoport szerint az emberek klnbz halmazokba sorolhatk. Mveletek: ki kinek adhat vrt? Eurpa orszgai hivatalos nyelvk alapjn halmazokba sorolhatk. Mveletek: melyik orszgban hivatalos nyelv az angol vagy a nmet?

 Az rettsgin a nem ktelez trgyak vlasztsa szerint is halmazokba sorolhatk a vizsgzk. Mveletek: ki vizsgzik kmibl s biolgibl is? A halmazelmlethez hasonlan pl fel az esemnyalgebra s a matematikai logika. A fggvnyekkel kapcsolatban is hasznljuk a halmazokat (rtelmezsi tartomny, rtkkszlet). Egyenletek rtelmezsi tartomnynak vizsglatakor szmhalmazok metszett kpezzk.