„Asszociativitás” változatai közötti eltérés

a
[ellenőrzött változat][ellenőrzött változat]
(helyesírási hiba javítása)
 
== Megjegyzés a halmazműveletek asszociativitásáról ==
 
 
Bár nincs szakkönyv, amely ne tekintené-nevezné a [[halmazművelet]]eket asszociatívnak, hiszen formálisan érvényes mind (A∪B)∪C = A∪(B∪C) (az [[unió (halmazelmélet)|unió]] „asszociativitása” és (A∩B)∩C = A∩(B∩C) is (a [[metszet]]képzés „asszociativitása”), meg kell jegyeznünk, hogy az asszociativitás fogalma csak [[művelet]]ekre van definiálva, a halmazműveletek pedig nem szigorú értelemben vett matematikai műveletek, hiszen műveletet csak valamilyen alaphalmaz felett értelmezhetünk (az összes halmaz halmazáról viszont, aminek a halmazműveletek alaphalmazának kellene lennie, ellentmondásossága miatt nem beszélhetünk. Azok a szakkönyvek, amelyek a halmazműveleteket valamely U halmaz [[hatványhalmaz]]ának elemeire, azaz egy U részhalmazaira szorítkozva definiálják, matematikai szempontból teljesern kifogástalanul járnak el, és ez esetben valóban beszélhetünk a halmazműveletek asszociativitásáról.
247 461

szerkesztés