2.

fejezet

Halmazelmlet
Kt halmazt akkor s csak akkor tekintnk egyenlnek, ha elemeik ugyanazok.
A halmazt, melynek nincs eleme, res halmaznak nevezzk. Jele: .
D 2.1

Az A halmazt a B halmaz rszhalmaznak nevezzk (A B ), ha az A minden

eleme B -nek is eleme. A valdi rsze B -nek (A B ), ha A B , de A 6= B .
D 2.2

A halmazok kztti tartalmazsra teljesl a kvetkez hrom tulajdonsg:

Reexivits: minden A-ra A A.
Antiszimmetria: ha A B s B A, akkor A = B .
Tranzitivits: ha A B s B C , akkor A C .
T 2.3

D 2.4
Halmazmveletek: Az A s B halmaz A B metszetn (kzs rszn) azoknak az elemeknek a halmazt rtjk, amelyek mindkt halmazban benne vannak; A B
egyestettjn (unijn) azoknak a halmazt, amelyek a kt halmaz kzl legalbb az
egyikben benne vannak. Az A s B halmaz A B klnbsgn rtjk az A sszes olyan
elemeinek halmazt, amelyek nincsenek benne B -ben; A B szimmetrikus klnbsgn
azoknak a halmazt, amelyek a kt halmaz kzl pontosan az egyikben vannak benne;
A B szorzatn az (a, b) alak rendezett proknak a halmazt, ahol a A, b B . A H
halmaz valamely A rszhalmaznak H -ra vonatkoz komplementern a H A halmazt
rtjk. Jele AH . Halmazokrl mindig csak mint egy adott alaphalmaz rszhalmazairl
beszlnk, mg ha ezt az alaphalmazt nem is nevezzk meg. Ilyenkor az alaphalmazra
vonatkoz komplementert egyszeren A jelli.

tulajdonsgai: Tetszleges A, B , C halmazokra igazak az albbiak:

- ha A B , akkor A C B C s A C B C ;
- A B A A B s A B B A B ;
- ha A B , akkor A B = A, s A B = B .
T 2.5

T 2.6
Brmely A, B , C halmazra fennllnak az albbi azonossgok:
Asszociativits: (A B ) C = A (B C ) , (A B ) C = A (B C ) ;
Kommutativits: A B = B A , A B = B A ;
Idempotencia: A A = A , A A = A ;
Elnyelsi tulajdonsgok: A (A B ) = A , A (A B ) = A ;
Disztributivits: A (B C ) = (A B ) (A C ) , A (B C ) = (A B ) (A C ) .

Egy H halmaz sszes rszhalmazainak halmazt a H halmaz hatvnyhalmaznak

nevezzk. Jele: P (H ). (Megjegyzs: Az res halmaz minden halmaznak rszhalmaza, gy
az res halmaz minden halmaz hatvnyhalmaznak eleme.)
D 2.7

T 2.8

Ha A s B olyan halmazok, melyekre A, B H teljesl, akkor A B = A B H .

2-1

2.

Halmazelmlet  Feladatok

T 2.9

De Morgan-kpletek:

brmely A, B halmazra: A B

AB

AB

A B.

Feladatok
Mik az elemei az albbi halmazoknak?

{x N+ ; 2|x s 100 x < 1000}, 2. {x Z ; 3|x s |x| < 100},

3.
{k N+ ; x = 3k + 1},
4.
{x R ; x2 + 2x + 1 = 0},
5.
{x R ; x2 2 = 0},
6.
{x Z ; x2 2 = 0},
7.
{x R ; x2 + 1 = 0},
8.
{x R ; sin2 x + cos2 x = 1},
9.
{x R ; 2 lg x = lg x2 },
10. {x R ; lg x = lg(x)}.
Az (x, y ), illetve az (xn , yn ) szmprokat az xy koordintask pontjainak tekintve,

1.

milyen geometriai alakzatokat alkotnak az albbi halmazok?

11.
13.

15.
16.

17.
18.
19.
20.

21.
22.
23.
24.

25.

2
2 2
{(x, y ) R2 ; x2 + y 2 = 1},
12. {(x, y ) R ; x + y 1},
2
{(x, y ) R2 ; xy = yx},
14. {(x, y ) R ; |x| < y 1},
{(x, y ) R2 ; x2 + y 2 2x 4y = 4},
{(x, y ) R2 ; x2 + y 2 = 4 s y 0},
{(x, y ) R2 ; 0 y 4 , 0 x 6 s 3x + 4y 22},
{(x, y ) R2 ; 0 x 2 , s 0 y x + 2},
{(xn , yn ) ; n N+ , xn = 2n s yn = 0},
{(xn , yn ) ; n N+ , xn = n1 s yn = n12 },

{(x, y ) ; x = t2 , y = 3t2 , t R},

{(x, y ) ; x = t3 , y = 3t3 , 1 t 2},
{(x, y ) ; x = cos t , y = sin t , 0 < t 2}.

Az els vfolyamos hallgatk kzl jelljk M -mel a msodik tankrseket,

F -fel a kat, A-val az angolul, N -nel a nmetl tud (nyelvvizsgval rendelkez) dikokat. Az elbbi halmazok segtsgvel (a D 2.4-ben denilt
halmazmveleteket felhasznlva) fejezzk ki a kvetkez halmazokat:
a) A msodik tankrs k. b) Az angolul s nmetl tudk.
c) Az angolul vagy nmetl tudk. d) Az angolul vagy nmetl tud k.
e) A vagy angolul vagy nmetl tudk. f) A msodik tankrs lnyok.
g) A nmetl tud lnyok. h) A nmetl nem tud, msodik tankrs
lnyok.
Legyen M = {m, 2m, 3m, . . .} s N = {n, 2n, 3n, . . .}, ahol m s n adott
pozitv egsz szmok.
a) Milyen m s n esetn valdi rsze az M halmaz az N halmaznak?
b) Milyen m s n esetn rsze az M az N -nek?
c) Kpezzk a kt halmaz kzs rszt s egyestst!
2-2

2.

Halmazelmlet  Feladatok

26.

27.

28.

29.

30.

31.

32.

A kvetkez egyenlsg jobb oldalt egsztsk ki a megfelel halmazmveleti

jellel gy, hogy fennlljon az egyenlsg:
{x ; x (A B ) (B A)} = A B .
Dntsk el, hogy az albbi lltsok kzl melyek igazak s melyek hamisak.
Vlaszunkat igazoljuk!
a) Minden A, B halmazprra A B = (A B ) B = A (A B ).
b) Minden A halmazra A A.
c) Minden A halmazra A.
d) Van olyan A halmaz, hogy A .
Bizonytsuk be, hogy tetszleges A, B s C halmazok esetn
A B C s A B C
ekvivalens lltsok (vagyis brmelyik teljeslse esetn a msik is fennll).
Bizonytsuk be, hogy tetszleges L s M halmazok esetn az albbi A, B , C
lltsok ekvivalensek:
A : L M;
B : L M = L;
C : L M = M.
Legyen A, B s C hrom halmaz. Fejezzk ki a
D := A (A (B (B C )))
halmazt az A, B , C halmazokkal, valamint a metszs s egyests jelvel!
Ennek alapjn dntsk el, mivel egyenl D a kvetkez esetekben:
a) Az A, B s C halmazok pronknt kzs elem nlkliek (diszjunktak).
b) Pontosan kt diszjunkt halmaz van kzttk.
c) Nincs kzttk diszjunkt halmazpr.
A kvetkez egyenlsg igaz-e tetszleges K , L s M halmazokra:
(M K ) L = (M L) K .
Ha igaz, akkor bizonytsuk be, ha nem, akkor adjunk meg hrom olyan halmazt, melyekre nem teljesl az elbbi egyenlsg.
Bizonytsuk be, hogy az albbi lltsok tetszleges K , L s M halmazok
esetn teljeslnek:
a) (K L) L K,
b) (K L) L M.

Bizonytsuk be, hogy az A, B , C halmazokra (A B ) C = A (B C )

akkor s csak akkor teljesl, ha A C .
.
34. Igazoljuk, hogy az A s B halmazokra A B = B A akkor s csak akkor
teljesl, ha A = B .
.
35. Mely A, B halmazprokra igaz az, hogy A B = A B ?
.
36. Mely A, B halmazprokra igaz az, hogy A B = A B ?
Bizonytsuk be, hogy az albbi feladatokban adott sszefggsek tetszleges K , L
s M halmazok esetn teljeslnek! brzoljuk Venn-diagrammokkal az egyenlsg
mindkt oldaln ll kifejezseket.

33.

2-3

2.

Halmazelmlet  Feladatok
.

37.

38.
39.
40.

41.

43.

44.

45.

46.

47.

K (K L) = L (L K ) ,
K (L M ) = (K L) (K M ) ,
(K L) (K M ) = K L M ,
(K L) M = (K M ) (L M ) ,
.
K = (K L) (K L),
42. K = (K L) (K L),
K = (K L M ) (K L M ) (K L M ) (K L M ),
(K L) (L M ) (M K ) (K L M ) = K L M ,
(K L) (L M ) (K M ) = (K L) (L M ) (K M ) .

Mutassuk meg, hogy az A s B halmazokra A B = A pontosan akkor

teljesl, ha B A = B .
Bizonytsuk be, hogy tetszleges A, B s C halmazok esetn
A B (A C ) (B C ) .

Bizonytsuk be, hogy A B = A B akkor s csak akkor teljesl, ha A s B

diszjunkt halmazok!
Igazoljuk, hogy tetszleges A, B halmazokra fennllnak az albbi azonossgok:
.
49. (A B ) (A B ) = A B ,
50. (A B ) (A B ) = A B .
.
51. Bizonytsuk be, hogy a K , L, M s N halmazokra az albbi egyenlsgek
ekvivalensek, azaz vagy mindkett fennll, vagy egyik sem:
K L=M N
K M = L N.
.

48.

Adott A s B halmazokhoz hatrozzuk meg az sszes olyan X halmazt, amelyre

az albbi egyenlet teljesl:
.
.
52. A (B X ) = A ,
53. (A X ) B = X ,
.
.
54. (A X ) (B X ) = A ,
55. (A X ) B = X ,
.
.
56. (A B ) X = B X ,
57. A X = X A .
58. rjuk fel a H = {a, b, c} halmaz hatvnyhalmazt!
.
59. Adjuk meg a P (P (P ())) halmaz elemeit!
Igazoljuk, hogy brmely A s B halmaz esetn
.
.
60. P (A B ) = P (A) P (B ),
61. P (A) P (B ) P (A B ),
.
62. P (A B ) = P (A) P (B ) akkor s csak akkor, ha B A vagy A B .
Az albbi feladatokban lv halmazok mindegyiknek vges sok eleme van. Jellje
|M | az M halmaz elemeinek szmt! Bizonytsuk be az albbi lltsok helyessgt:
63. |A| |B|, ha A B ,
64. |A B| |A| + |B|,
65. |A B| min{|A|, |B|},
66. |A B| = |A| + |B| |A B|,

67. |A B C| = |A| + |B| + |C| |A B| |A C| |B C| + |A B C|,

68.

|A1 A2 A3 A4 | =

4
X

i=1

|Ai |

X
i6=j

|Ai Aj | +

|A1 A2 A3 A4 |.

2-4

X
i6=j6=k6=i

|Ai Aj Ak |

2.

Halmazelmlet  Feladatok

69.

70.

71.

72.

73.

74.

75.

Egy 33 fs tankrben hromfle idegen nyelvet tudnak: 20 dik tud angolul,

16 nmetl s 6 franciul, 5 dik tud pontosan kt nyelven s 2 dik tud
mindhrom nyelven beszlni. Hnyan nem tudnak egy idegen nyelvet sem,
s hnyan tudnak pontosan egy idegen nyelven beszlni?
Egy faluban 1000 hz van. Ezek kzl 250-ben van aut, 900-ban htszekrny,
950-ben televzi s 990-ben rdi. Legalbb hny hzban van mind a ngy
eszkz?
Hny eleme van egy n elem An halmaz hatvnyhalmaznak?
Mutassuk meg, hogy nincs olyan A halmaz, amelyhez ltezne A s P (A)
elemei kztt klcsnsen egyrtelm megfeleltets. (tmutats: tegyk fel,
hogy van egy ilyen klcsnsen egyrtelm : A P (A) lekpezs, s
vizsgljuk meg az X := {y A ; y
/ (y )} halmazt.)
Legyen A = {x R ; 1 x 5} s B = {y R ; 3 y 4}. Az (x, y )
szmprokat a sk pontjainak tekintve brzoljuk az A B halmazt!
Legyen A = {a}, B = {x, y}, C = {1, 2, 3}. Soroljuk fel az A B C , az
A3 s a B 3 halmazok elemeit!
Az m elem A halmaz s az n elem B halmaz metszete egy k elem halmaz.
Hny eleme van az albbi halmazoknak?
a) A B , b) (A B )2 , c) (A B )3 , d) (A \ B )2 , e) (A B )4 , f) A B A.

2-5