Suurempi tai yhtäsuuri kuin

Wikipedia
Ohjattu sivulta Suurempi kuin
Loikkaa: valikkoon, hakuun

Suurempi tai yhtäsuuri kuin on reaalilukujen kaksipaikkainen relaatio, jota käytetään reaalilukujen vertailuun. Tämä relaatio on esimerkki järjestysrelaatiosta.

Suurempi tai yhtäsuuri kuin -relaatiota merkitään symbolilla ≥. a ≥ b, luetaan a on suurempi tai yhtäsuuri kuin b.

Esimerkki käytöstä: 2 \geq 1, koska 2-1 \in \mathbb{N}_0 (N_0).

Formaali määritelmä[muokkaa | muokkaa wikitekstiä]

Olkoon \geq relaatio joukossa \mathbb{N}_0, toisin sanoen \geq \subset \mathbb{N}_0 \times \mathbb{N}_0.

Määritellään relaatio seuraavasti:

m, n \in \mathbb{N}: \left.( (m,n)\in \, \geq )\right. \Leftrightarrow \left.((m - n) \in \mathbb{N}_0 )\right..

Sanallisesti: Luku m on suurempi tai yhtäsuuri kuin n, jos ja vain jos erotus m - n kuuluu positiivisten kokonaislukujen joukkoon.

Suurempi kuin-relaatio määritellään muuten vastaavasti, mutta nollaa ei lueta joukkoon johon m - n kuuluu, eli lukujen pitää olla aidosti erisuuria. Sitä merkitään symbolilla >.

Määritelmä voidaan siirtää suoraan reaaliluvuille, mutta ei esimerkiksi kompleksiluvuille.

Katso myös[muokkaa | muokkaa wikitekstiä]

Tämä matematiikkaan liittyvä artikkeli on tynkä. Voit auttaa Wikipediaa laajentamalla artikkelia.