Linjär ordning
Från Rilpedia
En linjär ordning eller totalordning är inom matematik en relation på en mängd som ordnar elementen i en stigande eller minskande ordning. Mängden som relationen är definierad på sägs vara en linjärt ordnad mängd eller en totalt ordnad mängd.
Definition
Relationen är en linjär ordning om den har följande egenskaper:
- Reflexivitet: .
- Antisymmetri: och medför a = b.
- Transitivitet: och medför
- Totalitet: eller ska gälla.
Detta kan även uttryckas som att en linjär ordning är en partialordning som är total. Kravet på reflexivitet är egentligen överflödigt, då totalitet implicerar reflexivitet.
Exempel
- Mängderna av naturliga, hela, rationella och reella tal är alla linjärt ordnade med avseende på relationen mindre-än.