„Matroidaxiómák” 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
→Az „izokardinalitási” axiómarendszer és a rang: jobb és a szokáshoz közelebb álló szót találtam ki |
→Az „izokardinalitási” axiómarendszer és a rang: jobb és a szokáshoz közelebb álló szót találtam ki |
||
47. sor:
Legyen most is <math> A \subseteq X \subseteq U </math> az alaphalmaz két részhalmaza. Ha van olyan <math> x \in X-A </math> elem, melyre <math> A \cup \left\{ x \right\} \in \mathcal{F} </math> (s ekkor <math> A \cup \left\{ x \right\} \subseteq X </math>, akkor ezt az elemet az <math> A </math> halmaz <math> X </math>-re vonatkozó '''''relatív bővítő'''''jének nevezzük. Ha <math> A \in \mathcal{F} </math> független, és nincs <math> X </math> -re vonatkozó relatív bővítője, akkor nevezzük '''''<math> X </math>-ben, X-re vonatkozóan (relatíve) maximálisan független'''''nek, vagy X-ben nem bővíthetőnek.
==
Az előkelő „maximalitási” szó arra utal, hogy a nem bővíthető független (''maximális független'') halmazok számossága ugyanaz.
|