Metszet (halmazelmélet)
A Wikipédiából, a szabad lexikonból.
A metszetképzés a halmazelmélet egy művelete, ami két vagy több halmazból úgy képez egy új halmazt, hogy az így létrejövő halmaz pontosan azokat az elemeket tartalmazza, amelyek az összes eredeti halmaznak is elemei voltak.
Tartalomjegyzék |
[szerkesztés] Definíció
Ha A és B halmazok, akkor az A és B metszetének nevezzük és 
(szóban: „á metszet bé”) módon jelöljük azon elemek összességét, melyek A-nak és B-nek is elemei. Ezt szimbolikusan így írjuk: 
.
Hasonlóan el lehet készíteni egy akárhány halmazból álló 
halmazrendszer elemeinek 
metszetét:
Legyenek Ai 
tetszőleges halmazok, ahol I tetszőleges indexhalmaz. Az Ai halmazok metszete a következő halmaz:
.
[szerkesztés] Tulajdonságok
A halmazok metszetképzése idempotens, kommutatív, asszociatív művelet, azaz tetszőleges A, B, C halmazok esetén:
; (idempotencia)
; (kommutativitás)
; (asszociativitás [1])
illetve a metszetképzés disztributív az egyesítés műveletre, és az egyesítés művelet disztributív a metszetképzésre:
; (disztributivitás)
; (disztributivitás)
továbbá:
[szerkesztés] Hivatkozások
[szerkesztés] Jegyzetek
- ^ Ld. még az asszociativitás c. cikket.
[szerkesztés] Források
Szendrei, Ágnes: Diszkrét matematika Logika, algebra, kombinatorika, Polygon JATE Press, Szeged, 1994
)
Based on work by ALE!,