Infimum
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0a/Infimum_illustration.svg/340px-Infimum_illustration.svg.png)
In de ordetheorie, een deelgebied van de wiskunde, is het infimum (meervoud infima) van een deelverzameling van enige partieel geordende verzameling het grootste element (niet noodzakelijkerwijs in de deelverzameling) dat kleiner is dan of gelijk is aan alle elementen in deze deelverzameling. Bijgevolg wordt de term grootste ondergrens (ook wel afgekort als gog of GOG) vaak gebruikt. Infima van reële getallen zijn een veelvoorkomend speciaal geval die vooral belangrijk zijn in de analyse.
Het infimum heeft als duaal begrip het supremum.
Infima van de reële getallen
In de analyse wordt het infimum of de grootste ondergrens van een deelverzameling van de reële getallen aangeduid door en wordt dit infimum gedefinieerd als het grootste reëel getal dat kleiner is dan of gelijk is aan elk getal in Als er niet zo'n getal bestaat (omdat van onderen niet begrensd is), dan definieert men Als de lege verzameling is, definieert men
Een belangrijke eigenschap van de reële getallen is dat elke verzameling van reële getallen een infimum heeft (elke niet-lege begrensde deelverzameling van de reële getallen heeft een infimum in de niet-uitgebreide reële getallen).
Voorbeelden:
Als een verzameling een kleinste element heeft, zoals in het eerste voorbeeld, dan is het kleinste element het infimum voor de verzameling. (Als het infimum deel uitmaakt van de verzameling, dan staat het ook bekend als het minimum). Zoals de laatste drie voorbeelden laten zien, hoeft het infimum van een verzameling niet tot de verzameling te behoren.
Externe link
- (en) Infimum (PlanetMath)