„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
→‎Kicsi elemszámú függetlenek: baromság törlése - szerintem nem igaz, honnan vettem egyáltalán?
95. sor:
** Fordítva pedig, ha az eredeti, erősebb bővíthetőségi axióma teljesül, azaz tetszőleges <math> \left| N \right| > \left| K \right| </math> független halmazok esetén bővíthető a <math> K </math>, akkor nyilván olyan <math> N </math>-ekre is, melyekre <math> \left| N \right| = \left| K \right| +1 </math>. A két állítás tehát egyenértékű (pontosabban, a bővíthetőség egyenértékű a gyenge bővíthetőség és a leszálló tulajdonság együttesével).
 
=== Kicsi elemszámú függetlenek ===
 
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>
 
== Források ==