• Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X

insiemi parzialmente ordinati

di Luca Tomassini - Enciclopedia della Scienza e della Tecnica (2008)
  • Condividi

insiemi parzialmente ordinati

Luca Tomassini

Un insieme (o spazio) A sul quale sia definito un ordine parziale ≤, spesso detto anche poset. Un ordine parziale è una relazione binaria che soddisfa le seguenti proprietà: (a) a≤a (riflessività); (b) se a≤b e b≤c allora a≤c (transitività); (c) se a≤b e b≤a allora a=b (antisimmetria). L’aggettivo parziale è motivato dal fatto che dati due qualunque elementi a,b di A non necessariamente sussiste tra essi una delle due relazioni a≤b o b≤a, ovvero non si fa richiesta che due elementi siano sempre confrontabili. Se questo è il caso, si parla allora di ordinamento totale e di insiemi totalmente ordinati. Un sottoinsieme totalmente ordinato di un insieme parzialmente ordinato A è detto catena. L’insieme di tutti i sottoinsiemi di un ­dato insieme, dove a≤b significa a⊂b, è un esempio di insieme parzialmente ordinato ma non totalmente ordinato, così come l’insieme di tutte le funzioni sull’intervallo [0,1] dove f≤g significa f(x)≤g(x) per ogni x∈[0,1]. Spesso, considerando un insieme parzialmente ordinato A, si è interessati all’esistenza di elementi massimali m, cioè tali che a≤m per ogni a∈A. La loro esistenza è garantita dal lemma di Zorn: se ogni catena di un insieme parzialmente ordinato A ha un elemento massimale in A, allora esiste un elemento massimale per A. Il lemma di Zorn è equivalente al celebre assioma della scelta di Ernst Zermelo, che afferma la possibilità di scegliere un singolo elemento da ciascun membro di una collezione (non numerabile) di insiemi. Una sua ulteriore formulazione è ancora più sorprendente: su qualunque insieme (quindi per es. anche la retta reale ℝ) è possibile trovare un ordinamento totale tale che ogni sottoinsieme ammette un minimo o un massimo. La nozione di insieme parzialmente ordinato ha anche permesso di generalizzare il concetto di successione a elementi indicizzati da insiemi non numerabili e non solo dagli interi ℕ e dunque la nozione di convergenza a spazi topologici generali.

→ Combinatoria; Equazioni differenziali: problemi non lineari

Vedi anche
inclusione botanica Sostanza o soluzione complessa racchiusa nei vacuoli delle cellule, detta anche incluso cellulare; può essere liquida, come le goccioline di oli, o solida, come la drusa . CHIMICA Composto di i. Tipo di composto chimico derivante dall’imprigionamento di molecole di una sostanza (molecole ... insieme fisica Nella meccanica statistica classica con insieme statistico, o con il termine ensemble, introdotto da J.W. Gibbs, si indicano famiglie di stati di equilibrio macroscopico. Nello spazio delle fasi, cioè nello spazio delle coordinate pi, (i=1, 2, 3) e delle quantità di moto qi (i=1, 2, 3) di ciascuna ... insieme numerabile In matematica, insieme che può essere posto in corrispondenza biunivoca con l’insieme dei numeri interi naturali. Un insieme numerabile, insieme è dunque necessariamente un insieme infinito; ogni suo sottoinsieme è finito oppure è esso stesso numerabile, insieme; da ciò segue che agli insiemi numerabile, ... limite Livello massimo, al di sopra o al di sotto del quale si verifica un fenomeno. fisica Angolo limite In ottica, nel passaggio di un raggio da un mezzo a un altro con indice di rifrazione assoluto inferiore (per es., per la luce visibile, dall’acqua all’aria) l’angolo di incidenza sulla superficie di ...
Categorie
  • ANALISI MATEMATICA in Matematica
Tag
  • EQUAZIONI DIFFERENZIALI
  • RELAZIONE BINARIA
  • ERNST ZERMELO
  • COMBINATORIA
  • NUMERABILI
Altri risultati per insiemi parzialmente ordinati
  • minimo comune maggiorante
    Enciclopedia della Matematica (2013)
    minimo comune maggiorante in un insieme X con una relazione d’ordine parziale ≤, il minimo comune maggiorante di due elementi a, b di X è un elemento M di X che soddisfa le due seguenti proprietà: • a ≤ M, b ≤ M; • se c è maggiore sia di a che di b, allora vale M ≤ c. Se esiste, allora il minimo comune ...
  • ordinamento
    Dizionario di Economia e Finanza (2012)
    In matematica, relazione binaria tra elementi appartenenti a un insieme, detta anche relazione d’ordine, che gode delle seguenti proprietà: riflessività (a≤a, per ogni elemento a dell’insieme), antisimmetria (se a≤b e b≤a, allora a=b) e transitività (se a≤b e b≤c, allora a≤c). La coppia costituita da ...
  • ordinamento
    Enciclopedia on line
    Complesso di norme che ordinano e disciplinano una determinata istituzione o attività. Diritto L’o. giuridico Dell'o. giuridico si hanno sostanzialmente tre concezioni. La teoria normativa, che fa capo a H. Kelsen, lo definisce come un complesso o sistema di norme giuridiche positive generali (leggi ...
  • ordinamento
    Dizionario delle Scienze Fisiche (1996)
    ordinaménto [Der. del lat. ordinamentum "atto ed effetto dell'ordinare", da ordinare "mettere in ordine"] [ALG] Per un insieme, è la disposizione dei suoi elementi in un determinato ordine, a opera di una certa relazione d'ordine. L'o. può essere completo (detto anche lineare, con rifer. alla relazione ...
Vocabolario
parzialità
parzialita parzialità s. f. [der. di parziale]. – 1. non com. Carattere di ciò che è parziale, cioè non completo (generalm. in contrapp. a totalità): è difficile azzardare previsioni, vista la p. dei dati finora pervenuti; la proposta è...
parziale
parziale agg. [dal lat. tardo partialis, der. di pars partis «parte»]. – 1. a. Che si riferisce solo a una parte, o che costituisce una parte, o si fa solo in parte e sim. (di solito in contrapp. a totale): un’eclissi p. di sole, di luna;...
  • Istituto
    • Chi Siamo
    • La nostra storia
  • Magazine
    • Agenda
    • Atlante
    • Il Faro
    • Il Chiasmo
    • Diritto
    • Il Tascabile
    • Le Parole Valgono
    • Lingua italiana
    • WebTv
  • Catalogo
    • Le Opere
    • Bottega Treccani
    • Gli Ebook
    • Le Nostre Sedi
  • Scuola e Formazione
    • Portale Treccani Scuola
    • Formazione Digitale
    • Formazione Master
    • Scuola del Tascabile
  • Libri
    • Vai al portale
  • Arte
    • Vai al portale
  • Treccani Cultura
    • Chi Siamo
    • Come Aderire
    • Progetti
    • Iniziative Cultura
    • Eventi Sala Igea
  • ACQUISTA SU EMPORIUM
    • Arte
    • Cartoleria
    • Design & Alto Artigianato
    • Editoria
    • Idee
    • Marchi e Selezioni
  • Accedi
    • Modifica Profilo
    • Treccani X
  • Ricerca
    • Enciclopedia
    • Vocabolario
    • Sinonimi
    • Biografico
    • Indice Alfabetico

Istituto della Enciclopedia Italiana fondata da Giovanni Treccani S.p.A. © Tutti i diritti riservati

Partita Iva 00892411000

  • facebook
  • twitter
  • youtube
  • instagram
  • Contatti
  • Redazione
  • Termini e Condizioni generali
  • Condizioni di utilizzo dei Servizi
  • Informazioni sui Cookie
  • Trattamento dei dati personali