Suurempi tai yhtäsuuri kuin

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ä

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

• Pienempi kuin