Skranke (matematikk)

I matematikk er en øvre skranke til en delmengde av en ordnet mengde et element i mengden som er større eller lik alle elementer i delmengden. Tilsvarende defineres en nedre skranke.[1][2][3]

En delmengde som har en øvre skranke sies å være opptil begrenset. Tilsvarende er en delmengde nedtil begrenset dersom det eksistererer nedre skranker.

EksemplerRediger

Gitt mengden   og delmengden  . Delmengden er både nedtil og opptil begrenset: 3, 4 og 5 er øvre skranker, og 1 er en nedre skranke.

Delmengden   i mengden av naturlige tall har 14 som både øvre og nedre skranke. Alle naturlige tall større eller lik 14 er øvre skranker. Alle narurlige tall mindre eller lik 14 er nedre skranker.

Mengden av naturlige tall   har nedre skranker i mengden av reelle tall  , men ingen øvre skranker.

En delmengde kan være opptil begrenset uten å ha et maksimalt element. Intervallet   har ingen maksimumselement, men er likevel både opptil og nedtil begrenset i mengden av reelle tall.

Infimum og supremumRediger

Gitt at en delmengde   har nedre skranker, og at mengden av nedre skranker har et maksimumselement, så kalles dette elementet for infimum eller største nedre skranke til delmengden:

 

Infimum vil ikke alltid eksistere. Dersom det eksisterer trenger det ikke være et element i  , men det kan være det.

Tilsvarende definerer en supremum eller minste øvre skranke:

 

Dersom en ordnet mengde har en maksimumsverdi, så er denne lik supremum. Begrepene infimum og supremum ligner på minimum- og maksiumsverdier, men de kan i mange tilfeller brukes selv om minimums- og maksimumsverdien ikke eksisterer.

Det latinske ordet «infimum» er superlativ av «inferus», som betyr «under».[4] Flertallsformen på latin er «infima». Tilsvarende er «supremum» superlativ av «super», med betydning «over».

EksemplerRediger

Intervallet   har   og  .

 

KompletthetsaksiometRediger

Kompletthetsaksiomet for reelle tall sier at enhver ikketom delmengde av de reelle tall   som er opptil begrenset, har en minste øvre skranke i  .[2]

Dette er et grunnleggende aksiom for mengden av reelle tall, det vil si en grunnsetning som blir forutsatt uten bevis. Aksiomet er et uttrykk for mengden av reelle tall er «komplett» i den forstand at der ikke er gap eller hull i mengden. Mengden av rasjonale tall   har ikke denne egenskapen: Ser en for eksempel på delmengden

 

så har denne mengden en øvre grense. Den minste øvre grensen i   ville vært  , men supremum eksisterer ikke i  : For hver øvre grense i  , så eksisterer det en øvre grense i   som er mindre.

ReferanserRediger

  1. ^ E.J.Borowski, J.M.Borwein (1989). Dictionary of mathematics. Glasgow: Collins. s. 59. ISBN 0-00-434347-6. 
  2. ^ a b Hans Fredrik Aas (1974). Forelesningsnotater i matematisk analyse. I. Bergen: Matematisk institutt, Universitetet i Bergen. s. 15ff. 
  3. ^ W. Rudin (1976). Principles of Mathematical Analysis. Auckland: McGraw-Hill Book Company. s. 3. ISBN 0-07-085613-3. 
  4. ^ Steven Schwartzman (1994). The words of mathematics. An etymological dictionary of mathematical terms used in English. Washington, DC: The Mathematical Association of America. s. 115. ISBN 0-88385-511-9.