Relație de ordine

set matematic cu o ordonare

În matematică, o relație de ordine, numită și relație de ordine parțială (sau ordine sau ordine parțială), este orice relație binară reflexivă, antisimetrică și tranzitivă pe o mulțime. Două elemente în relație (în orice ordine) unul cu altul se numesc comparabile.

Unei relații de ordine i se poate asocia o relație de ordine strictă, ce este ireflexivă. Cel mai cunoscut exemplu de relație de ordine strictă este inegalitatea între numere distincte. Egalitatea împreună cu inegalitatea (mai mic sau egal, mai mare sau egal) constituie o relație de ordine nestrictă.

Relații de ordine se pot întâlni și în geometrie, de exemplu în ordinea de poziționare a unor puncte pe segmente de dreaptă sau axa numerelor.

Valorile numerice ale unei mărimi fizice permit ordonarea crescătoare sau descrescătoare a unor corpuri după gradul manifestării proprietății gradabile exprimate de mărimea fizică respectivă.

Definiție modificare

O relație binară   pe o mulțime   se numește relație de ordine dacă îndeplinește următoarele proprietăți:

  • reflexivitate:  
  • antisimetrie:  , dacă   și   atunci  
  • tranzitivitate:  , dacă   și   atunci  

Termeni folosiți modificare

Dacă M este o submulțime nevidă a lui A ( ,  ), un element   se numește:

  • majorant al lui M dacă  . O mulțime care are un majorant se numește majorată sau mărginită superior.
  • minorant al lui M dacă  . O mulțime care are un minorant se numește minorată sau mărginită inferior
  • maximul lui M dacă este majorant al lui M și aparține lui M. Dacă o mulțime are un maxim, acesta este unic.
  • minimul lui M dacă este minorant al lui M și aparține lui M. Dacă o mulțime are un minim, acesta este unic.
  • supremumul sau marginea superioară a lui M dacă a este minimul mulțimii majoranților lui M.
  • infimumul sau marginea inferioară a lui M dacă a este maximul mulțimii minoranților lui M.

Exemple modificare

  • Incluziunea mulțimilor este o relație de ordine pe orice mulțime de mulțimi.
  • Relația de divizibilitate este o relație de ordine pe mulțimea numerelor naturale. În această relație, 1 este minimul mulțimii numerelor naturale, iar 0 este maximul.
  • Relația de ordine între funcții:   dacă  , unde D este domeniul de definiție comun al funcțiilor f și g, iar relația   din partea dreaptă este o relație de ordine pe codomeniul comun al funcțiilor.
  • Relația de ordonare a punctelor unui segment geometric, numită coliniaritate, o relație ternară.

Tipuri speciale de relații de ordine modificare

Ordine totală modificare

O relație de ordine în care orice două elemente sunt comparabile, adică

 ,   sau  

se numește relație de ordine totală. Ordinea obișnuită între numere este o ordine totală.

Bună ordonare modificare

O relație de ordine totală în care în plus orice submulțime nevidă admite un minim se numește relație de bună ordonare, iar mulțimea pe care s-a stabilit relația se numește mulțime bine ordonată. De exemplu, mulțimea numerelor naturale este bine ordonată.

Latici modificare

Dacă orice submulțime finită admite un infimum și un supremum, mulțimea A împreună cu relația de ordine se numește latice. De exemplu, mulțimea submulțimilor unei mulțimi împreună cu relația de incluziune formează o latice.