Wikipedia

Matroide: differenze tra le versioni

Naviga nella cronologia in modo interattivo
← Differenza precedenteDifferenza successiva →
Contenuto cancellato Contenuto aggiunto
VisualeWikitesto
Riga 30:
 
# cl è un [[operatore di chiusura]] su ''E''. <!--is an [[abstract closure]] operator.-->
# gode della '''proprietà di scambio di Mac Lane-Steinitz''': se ''a'' appartiene a cl(<math>Y \cup b</math>) \ cl(''<math>Y''</math>), allora b appartiene a cl(<math>Y \cup a</math>).
# IfSe ''E'' è infinito, si aggiunge la richiesta di '''carattere finito''': se ''a'' è in cl(''Y''), allora esiste un sottoinsieme finito ''X'' di ''Y'' tale che ''a'' è in cl(''X'').
 
Si dimostra che una ''matroide di chiusura'' è logicamente equivalente a una matroide degli indipendenti finitaria il cui operatore di chiusura definito sugli insiemi indipendenti coincide con l'operatore di chiusura introdotto con la definizione.
Estratto da "https://it.wikipedia.org/wiki/Matroide"