Lähdekoodi sivulle Supremum

{{viitteetön}}{{yhdistettävä|Yläraja}}
[[Tiedosto:Supremum.png|pienoiskuva|Supremumin käsite lukusuoralla kuvattuna.]]
[[Järjestysrelaatio|Järjestetyn]] [[joukko|joukon]] T [[osajoukko|osajoukon]] S '''supremum''' eli '''pienin yläraja''' on joukon T [[alkio (joukko-oppi)|alkio]], joka on pienin kaikista osajoukon S kaikkia alkioita suuremmista tai yhtä suurista alkioista. Joukon S supremum ei siis välttämättä sisälly joukkoon S. Jos joukko sisältää suurimman alkion eli [[maksimi]]n, on se myös joukon supremum. Supremum on yksikäsitteinen, jos se on olemassa.

[[Reaaliluku|Reaaliluvuille]] on tyypillistä, että ylhäältä rajoitetun epätyhjän reaalilukujen joukon osajoukon supremum on ''aina'' olemassa, ja tämä ns. täydellisyysominaisuus erottaa reaalilukujen joukon esimerkiksi [[rationaaliluku]]jen joukosta.

==Reaalilukujoukon supremum==

'''[[Yläraja|Ylärajan]] määritelmä.''' Olkoon <math>S \subset \R </math>.

Reaaliluku E on joukon S [[Yläraja|yläraja]] , jos ja vain jos kaikille <math> x \in S </math> pätee x ≤ E.

Joukko S on ylhäältä rajoitettu jos ja vain jos jokin reaaliluku on sen [[Yläraja|yläraja]].

'''Supremumin määritelmä.''' Olkoon edelleen <math>S \subset \R </math>.

Luku E <math> \in  \R</math>  on joukon S '''supremum''' eli '''pienin yläraja''',
jos ja vain jos se on pienin joukon S ylärajoista eikä mikään pienempi reaaliluku ole joukon S yläraja.

Tällöin merkitään E = sup(S). Siis joukolla S on supremum ja kyseinen supremum on E.

E = sup(S) <math> \Longleftrightarrow </math>

1) E  ≥  x kaikilla x  <math> \in </math> S eli E on joukon S yläraja.

2) E ≤ M kaikilla joukon S ylärajoilla M.

Siis vielä sanallisesti: Reaaliluku E on joukon S supremum jos ja vain jos E on suurempi tai yhtäsuuri kaikkia joukon S alkioita ja E on pienempi tai yhtäsuuri kaikkia muita joukon S ylärajoja.

Jos epätyhjällä joukolla S on olemassa supremum, se on yksikäsitteinen. Joukolla voi siis olla enintään yksi supremum.
'''Todistus.''' Olkoon sup(S) = E ja sup(S) = E2. Siis E2 on joukon S eräs yläraja. Tällöin supremumin määritelmän nojalla E ≤ E2. Samoin saadaan E2 ≤ E. Siis E = E2.

=== Täydellisyysaksiooma ===
Reaalilukujen joukossa on voimassa [[täydellisyysaksiooma]]: 
Jos joukko <math> S \subset \R </math> on epätyhjä ja se on ylhäältä rajoitettu, on joukolla S supremum eli pienin yläraja joukossa <math> \R </math>. Epätyhjä tarkoittaa, että joukon S täytyy sisältää ainakin yksi reaaliluku.  Siis jos joukko S on ylhäältä rajoitettu, niin sup(S) on olemassa.

Jos joukko S sisältää suurimman alkion eli maksimin, on se joukon S supremum.

[[Rationaaliluku]]jen joukossa täydellisyysaksiooma ei ole voimassa. Esimerkiksi joukko<br> 
<math>{ x \in \mathbb{Q} : x^2 < 2 }</math><br>
on ylhäältä rajoitettu, mutta sillä ei ole rationaalilukujen joukossa pienintä ylärajaa. Sen sijaan reaalilukujen joukossa sen pienin yläraja eli supremum on <math>\sqrt{2}</math>.

==Joukon maksimi==
Joukon suurimman alkion eli maksimin on kuuluttava joukkoon kun taas supremumin ei tarvitse kuulua joukkoon. Siis jos supremum on olemassa, se ei välttämättä kuulu joukkoon S. Jos joukko S sisältää suurimman alkion eli maksimin, on se joukon S supremum.

Jos <math>S  \subset \R </math> ja maxS on olemassa niin maxS = sup(S).

'''Todistus.''' Olkoon olemassa maxS = E.

1)E on joukon S yläraja eli kaikilla x <math>\in</math> S pätee x ≤ E.

2)Koska E <math> \in </math> S niin E ≤ sup(S). Toisaalta 1):n nojalla E on joukon S yläraja. Siis E ≥ sup(S). Siis E = sup(S).

Ajatellaan negatiivisten reaalilukujen joukkoa, johon nolla ei kuulu. Kyseisellä joukolla ei ole suurinta alkiota sillä jokaiselle osajoukon alkiolle on aina olemassa toinen, suurempi alkio. Siis jokaiselle x <math> \in  \R^- </math>  on olemassa x/2 <math> \in  \R^- </math>, jolle  x < x/2. Jokainen reaaliluku joka on suurempi tai yhtäsuuri kuin nolla on yläraja negatiivisten reaalilukujen joukolle. Siis nolla on negatiivisten reaalilukujen joukon pienin yläraja eli supremum. Siis negatiivisten reaalilukujen joukolla on supremum mutta ei suurinta alkiota eli maksimia.

==Supremumin osoittaminen==

Yksinkertaisessakin tapauksessa supremumin määritelmän soveltaminen on melko työlästä. Seuraavien lauseiden avulla supremumia voidaan tutkia yksinkertaisemmalla tavalla.

Lause 1. Olkoon E = sup(S) ja  <math>\varepsilon</math> > 0. Tällöin on olemassa x <math> \in </math> S, jolle x >  E - <math>\varepsilon</math>

Lause 2. Olkoon S <math>\subset  \R </math> ja E <math> \in \R </math>. Tällöin E = sup(S) jos ja vain jos

1) E on joukon S yläraja. Siis x ≤ E kaikilla x <math>\in</math> S.

2) Kaikille <math> \varepsilon</math> > 0 <math> \exists </math> x  <math>\in</math>  S, jolle x > E - <math>\varepsilon</math>


Supremum osoitetaan jollakin seuraavista tavoista tilanteesta riippuen:

'''a)''' Jos joukossa S näyttäisi olevan suurin alkio E, osoitetaan kohdat:

1) E <math> \in</math>  S.

2) x ≤ E  kaikille x <math> \in </math> S.

Tällöin  maxS = sup(S).

'''b)''' Jos joukko S on ylhäältä rajoitettu, mutta joukossa ei ole suurinta alkiota, osoitetaan kohdat:

1) x ≤ E kaikille x <math> \in </math> S, jolloin E on S:n eräs yläraja.

2) E - <math>\varepsilon</math> ei ole S:n yläraja. Siis E on ylärajoista pienin.

Tällöin E = sup(S).

'''c)''' Osoitetaan, että joukko ei ole ylhäältä rajoitettu näyttämällä, että joukossa on mielivaltaisen suuria lukuja. Siis joukosta löytyy mielivaltaisesti valittua rajaa suurempia lukuja.

==Esimerkkejä==
*<math>\sup([0,1])= 1, \max([0,1]) = 1 </math>
*<math>\sup(]0,1[)= 1,  \not \exists \max(]0,1[) </math>
*<math>\sup \{ 1, 2, 3 \} = 3\,</math>
*<math>\sup \{ x \in \mathbb{Q} : x^2 < 2 \} = \sqrt{2}\,</math>
*<math>\sup \{ x \in \mathbb{R} : 0 < x < 1 \}  =  \sup \{ x \in \mathbb{R} : 0 \leq x  \leq 1 \} = 1\,</math>

*[[Luonnollinen luku|Luonnollisten lukujen]] joukolla <math> \N</math> ei ole ylärajaa, sillä joukolla <math>\N</math> ei ole suurinta alkiota. Jos valitaan mielivaltainen n <math>\in \N</math>, niin aina on olemassa n + 1 <math>\in\N</math> ja n + 1  > n. Joukko <math>\N</math> ei siis ole ylhäältä rajoitettu.

== Katso myös ==
* [[Limes superior]] Jonon äärettömän kaukana olevien alkioiden supremum
* [[Oleellinen supremum ja oleellinen infimum | Oleellinen supremum]] Joukon suppeimman positiivismittaisen osajoukon supremum
* [[Infimum]] Joukon suurin alaraja

== Aiheesta muualla ==
* [http://mathworld.wolfram.com/Supremum.html MathWorld. Supremum]

== Lähteet==
*Apostol, Tom. M.: Mathematical analysis. Addison-Wesley publishing company. 3. edition. London, England, 1960, 7-8.
*Hurri-Syrjänen, Ritva. Differentiaali- ja integraalilaskenta, Luentomonisteet. Helsingin yliopisto, Syksy 1999, 11-14.
*[http://mathstat.helsinki.fi/kurssit/AnalyysinPeruskurssi/supremum.pdf Huuskonen, Taneli. Analyysin peruskurssi: Supremum ja infimum. Luentomoniste-pdf. Helsingin yliopisto. Helsinki, 2006.]{{Vanhentunut linkki|bot=InternetArchiveBot }}
*Myrberg, Lauri. Differentiaali- ja integraalilaskenta, osa 1. 3 painos. Yhteiskirjapaino Oy, Helsinki, 1981, 17-20, 24-26.
*http://joyx.joensuu.fi/~didmatcl/anper1.pdf{{Vanhentunut linkki|bot=InternetArchiveBot }} / 
*https://matta.hut.fi/matta2/mtreeni1/ag/ag002.pdf

[[Luokka:Joukko-oppi]]