Redigerer Skranke (matematikk)

I [[matematikk]] er en '''øvre skranke''' til en [[delmengde]] <math>S</math> av en [[Mengde#Ordnede mengder|ordnet mengde]] <math>V</math> et element i mengden <math>V</math> som er større eller lik alle elementer 
i delmengden.  Tilsvarende defineres en '''nedre skranke'''.<ref name=COLLINS1>{{Kilde bok | forfatter=E.J.Borowski, J.M.Borwein| utgivelsesår=1989| tittel=Dictionary of mathematics| utgivelsessted=Glasgow| forlag=Collins| side=59| isbn=0-00-434347-6}}</ref><ref name=AAS1>{{Kilde bok| forfatter=Hans Fredrik Aas| utgivelsesår=1974| tittel=Forelesningsnotater i matematisk analyse| bind=I| utgivelsessted= Bergen| forlag=Matematisk institutt, Universitetet i Bergen| url=http://urn.nb.no/URN:NBN:no-nb_digibok_2012021608107 |side=15ff }}</ref><ref name=RUDIN>{{Kilde bok| forfatter=W. Rudin| utgivelsesår=1976| tittel=Principles of Mathematical Analysis| utgivelsessted=Auckland| forlag=McGraw-Hill Book Company| side=3| isbn=0-07-085613-3 }}</ref>

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

== Eksempler ==

Gitt mengden <math>V = \lbrace 1,2,3,4,5\rbrace</math> og delmengden <math>S = \lbrace 1,2, 3\rbrace</math>.  Delmengden er både nedtil og opptil begrenset: 3, 4 og 5 er øvre skranker, og 1 er en nedre skranke.

Delmengden <math>\lbrace 14 \rbrace</math> i mengden av [[naturlig tall|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 <math>\mathbb{N}_0 = \lbrace 0, 1, 2, \ldots \rbrace</math> har nedre skranker i mengden av reelle tall <math>\mathbb R</math>, men ingen øvre skranker.

En delmengde kan være opptil begrenset uten å ha et maksimalt element.  Intervallet <math>S = \lbrack 0,1 ) \in {\mathbb R}</math> har ingen maksimumselement, men er likevel både opptil og nedtil begrenset i mengden av reelle tall.

== Infimum og supremum ==

Gitt at en delmengde <math>S \in V</math> 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:

:<math>\inf S = \max \lbrace \ x \ | \ x \le y , \quad \forall y \in V \rbrace </math>

Infimum vil ikke alltid eksistere.  Dersom det eksisterer trenger det ikke være et element i <math>S</math>, men det kan være det.  

Tilsvarende definerer en ''supremum'' eller ''minste øvre skranke'':

:<math>\sup S = \max \lbrace \ x \ | \ x \ge y , \quad \forall y \in V \rbrace </math>

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 [[latin]]ske ordet «infimum» er [[superlativ]] av «inferus», som betyr «under».<ref name=ETYM>{{Kilde bok| forfatter= Steven Schwartzman| utgivelsesår=1994| tittel=The words of mathematics.  An etymological dictionary of mathematical terms used in English.| utgivelsessted=Washington, DC| forlag=The Mathematical Association of America| side=115| isbn= 0-88385-511-9}}</ref>
Flertallsformen på latin er «infima».  Tilsvarende er «supremum» superlativ av «super», med betydning «over».

=== Eksempler ===

Intervallet <math>S = \lbrack 0,1 ) \in {\mathbb R}</math> har <math>\inf S = 0</math> og <math>\sup S = 1</math>.  

<math>\inf \left\{ (-1)^n + \tfrac{1}{n} \mid n = 1, 2, 3, \ldots \right\} = -1.</math>

== Kompletthetsaksiomet ==

[[Kompletthetsaksiomet]] for reelle tall sier at enhver ikketom delmengde av de reelle tall <math>\mathbb R</math> som er opptil begrenset, har en minste øvre skranke i <math>\mathbb R</math>.<ref name=AAS1/>

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 [[rasjonalt tall|rasjonale tall]] <math>\mathbb Q</math> har ikke denne egenskapen:
Ser en for eksempel på delmengden

:<math>S = \lbrace x \in {\mathbb Q} | x^2 < 2 \rbrace </math>

så har denne mengden en øvre grense.  Den minste øvre grensen i <math>\mathbb R</math> ville vært <math>\sqrt{2}</math>, men supremum eksisterer ikke i <math>\mathbb Q</math>: For hver øvre grense i <math>\mathbb Q</math>, så eksisterer det en øvre grense i  <math>\mathbb Q</math> som er mindre.  

== Referanser ==
<references/>


{{Autoritetsdata}}
{{Matematikk}}
[[Kategori:Matematisk terminologi]]
[[Kategori:Matematisk analyse]]