„Osztályfelbontás” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a →1. definíció: link jav. |
a →2. definíció: részhalmazai link jav. |
||
19. sor:
Egy kicsit bonyolultabb, de sokkal hasznosabb definíció a halmazcsalád helyett a [[halmazrendszer]] fogalmára épít.
Legyen adott két <math> U, I </math> [[halmaz]]. Előbbi halmaz [[Halmaz#Részhalmaz|részhalmaz]]ai halmazát, azaz hatványhalmazát továbbra is
<math> \mathcal{P} \left( U \right) </math> -val jelöljük. Valamely <math> f: I \mapsto \mathcal{P} (U) , f(i) := U_{i} \subseteq U </math> függvényt nevezünk lényegében az <math> U </math> halmaz <math> I </math> indexhalmaz feletti (vagy <math> U, I </math> feletti) [[halmazrendszer]]nek. Erre az <math> \left( U_{i} \right) _{i \in I} </math> jelölést alkalmazzuk.
|