Infimum

z Wikipédie, slobodnej encyklopédie
Prejsť na: navigácia, hľadanie

Infimum je najväčšie dolné ohraničenie množiny. Ak je množina ohraničená zdola, potom existuje jej dolné ohraničenie a práve jedno infimum, teda najväčšie zo všetkých dolných ohraničení danej množiny.

Definícia[upraviť | upraviť zdroj]

Číslo sa nazýva infimum množiny práve vtedy, keď je splnené nasledovné: