Infimum

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken
Een verzameling T van de reële getallen (hier weergegeven als rode en groene ballen), een deelverzameling S van T (weer-gegeven als groene ballen) en het infimum, het grootste getal in T dat kleiner of gelijk is aan alle getallen in S. Merk op dat voor eindige verzamelingen het infimum en het minimum aan elkaar gelijk zijn.

In de verzamelingenleer, een deelgebied van de wiskunde, is het infimum (meervoud infima) van een deelverzameling van enige verzameling het grootste element (niet noodzakelijkerwijs in de deelverzameling) dat kleiner of gelijk is dan 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. De algemene definitie blijft echter geldig in de meer abstracte setting van de ordetheorie, waar willekeurige gedeeltelijk geordende verzamelingen worden beschouwd.

Gezien vanuit de ordetheorie heeft het infimum als duaal concept het supremum.

Infima van de reële getallen[bewerken]

In de analyse wordt het infimum of de grootste ondergrens van een deelverzameling S van de reële getallen aangeduid door inf(S) en wordt dit infimum gedefinieerd als het grootste reëel getal dat kleiner is dan of gelijk is aan elk getal in S. Als er niet zo'n getal bestaat (omdat S van onderen niet begrensd is), dan definiëren we inf(S) = − ∞. Als S de lege verzameling is, dan definiëren we inf(S) = ∞.

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:

\inf\, \{ 1, 2, 3 \} = 1.
\inf\, \{ x \in \mathbb{R} : 0 < x < 1 \}  =  0.
\inf\, \{ x \in \mathbb{Q} : x^3 > 2 \} = \sqrt[3]{2}.
\inf\, \{ (-1)^n + 1/n : n = 1, 2, 3, \dots \} = -1.

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.

Zie ook[bewerken]

Externe link[bewerken]