Lähdekoodi sivulle Maksimi

'''Maksimi''' (lyhenne maks.<ref name=kotus>{{Verkkoviite | Osoite = https://kielitoimistonohjepankki.fi/selaus/181/ohje/361 | Nimeke = Lyhenneluettelo: M | Julkaisija = Kotimaisten kielten keskus | Viitattu = 8.2.2019}}</ref> tai <math>\max</math>) tarkoittaa yleiskielessä ja tekniikassa korkeinta arvoa tai enimmäisarvoa. Matematiikassa maksimi tarkoittaa usein lukujoukon tai funktion suurinta arvoa tarkasteluvälillä.

==Maksimi joukko-opissa== 
[[Joukko-oppi|Joukko-opissa]] joukon '''maksimi''' on sen suurin alkio. Eksaktimpi määritelmä: joukon '''S''' maksimi on luku m, jos ja vain jos

:<math>\exist m \in S; \forall x \in S : x \le m</math>, 

eli jos joukossa S on alkio, jonka arvo on m, ja se on alkioista suurin. Erityisesti, jos joukolla on olemassa suurin alkio, joukon maksimi on sama kuin joukon [[supremum]]; <math>\max(S) = \operatorname{sup}_S \ </math>

Kaikissa joukoissa ei ole maksimia; esimerkiksi joukossa

:<math>S = \{ x \in \R | 1 \le x < 3\}</math> 

on pienin alkio, mutta siinä ei ole suurinta alkiota. Sen sijaan joukolla on [[infimum]] (suurin alaraja) ja [[supremum]] (pienin yläraja).

Kahdelle reaaliluvulle maksimi voidaan laskea kaavalla:
:<math>\max\{a,b\} = \frac{a+b+|a-b|}{2}</math>. 

Käyttämällä kaavaa rekursiivisesti voidaan laskea myös usean reaaliluvun maksimi.

==Funktion maksimi==
[[Funktio]]n <math>f\ </math> maksimi on suurin luvuista <math>f(x)\ </math>, missä <math>x\ </math> on funktion määrittelyjoukko.

===Paikallinen maksimi eli ääriarvo===
Funktion ''paikallinen'' eli ''lokaali'' maksimi tarkoittaa hetkellistä suurinta arvoa, jonka funktio saavuttaa jollain argumentin arvoalueella. Esimerkiksi jos lampun valovoimakkuus vaihtelee ajan funktiona niin että se vuoroin kirkastuu, vuoroin himmenee, niin sen kirkkaus on paikallisessa maksimissaan aina silloin, kun lamppu loistaa kirkkaimmillaan.

==Katso myös==
* [[Minimi]]
* [[Infimum]]
* [[Supremum]]
* [[Ääriarvo]]

== Lähteet ==
{{Viitteet}}

==Kirjallisuutta==
* {{kirjaviite | Tekijä=Lipschutz, Seymour | Nimeke=Set Theory and Related Topics | Julkaisija=McGraw-Hill | Vuosi=1964 | Isbn = 0-07-037986-6}}

{{tynkä/Matematiikka}}

[[Luokka:Joukko-oppi]]

[[pl:Ekstremum]]
[[pt:Mínimo]]