„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
+kat.
80. sor:
 
Néhány ilyen gyengítés:
*1. Ha egy független halmazhoz van csak eggyel nagyobb elemszámú független halmaz, akkor létezik ez utóbbiban egy elem, mely a kisebbnek nem eleme, s mellyel a kisebbet bővítve az még független marad.
<math> \forall F,F' \! \in \! \mathcal{F} : </math>
<center> <math> \left[ \ \ \left| F \right| +1 = \left| F' \right| \ \Rightarrow \ \left( \ \ \exist x \! \in \! F'-F : F \cup \left\{ x \right\} \in \mathcal{F} \ \ \right) \ \ \right] </math> </center>
*2. Ha két független diszjunkt halmaz egyike egy, a másika két elemű, akkor a nagyobb halmazban van olyan elem, mellyel a kisebbet bővítve független halmazt kapunk:
<math> \forall E,K \! \in \! \mathcal{F} : </math>
<center> <math> \left[ \ \ \left( \left| E \right| = \left| K \right| -1 = 1 \wedge E \cap K = \empty \right) \ \Rightarrow \ \left( \exist x \! \in \! K : E \cup \left\{ x \right\} \in \mathcal{F} \right) \ \ \right] </math> </center>