Condizione della catena ascendente
Da Wikipedia, l'enciclopedia libera.
In matematica, un insieme parzialmente ordinato soddisfa la condizione della catena ascendente (ACC, dall'inglese Ascending Chain Condition) se ogni sua catena ascendente presenta un elemento massimo; analogamente un insieme soddisfa la condizione della catena discendente (DCC, Descending Chain condition) se ogni sua catena discendente presenta un elemento minimo.
Un insieme totalmente ordinato che soddisfa la condizione della catena ascendente (discendente) è detto bene ordinato.
[modifica] Definizione insiemistica
Un insieme parzialmente ordinato 
soddisfa la condizione della catena ascendente se per ogni catena 
(dove 
) esiste un numero 
tale che 
.
Analoga definizione si ottiene per le catene discendenti, scambiando il verso della relazione d'ordine.
[modifica] Altre proprietà
- La condizione della catena ascendente è equivalente alla condizione massimale: ogni sottoinsieme non vuoto ha un elemento massimale; analogamente per la catena discendente vale una condizione minimale;
- Ogni insieme finito soddisfa entrambe le condizioni.
[modifica] Voci correlate
Portale Matematica: accedi alle voci di Wikipedia che parlano di matematica
