Sifat-sifat Urutan Bilangan Real R

Sifat urutan menjelaskan tentang kepositifan (positivity) dan ketaksamaan (inequalities) di

antara bilangan-bilangan real. P subset dari R dan tak kosong. Dditulis :
010009000003c004000000009704000000000400000003010800050000000b02000000000500
00000c0210005300030000001e000400000007010400040000000701040097040000410b2000c
c000f005200000000000f0052000000000028000000520000000f000000010008000000000000
0000000000000000000000000000000000000000000000ffffff00e0e0e000c0c0c00090909000b
0b0b000a0a0a000303030008080800040404000f0f0f0002020200010101000505050006060600
0d0d0d0007070700000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000001010101010101010101010101010101010101030909090
9090909090906010101010101010101010101010101010101010101010101010101010101010
10101010101010101010101010101010101010101c0ff01010101010101010101010101010101
0101010101010101010101010101010101010101010101010101010101010101010101010101
0101010101010101010101010101010101010101010101010101010100000101010101010101
010101010101010101010101010101010101010101010101010101010101010101010101020f0
1010101010101010101010101010101010101010101010101010101010101010101010100800
208070b080101010101010101010101010101010101010f03030303030201010101010208070b
080a010110070a0301010101010101010101010101010101010101010101010109020a0e09090
90801010100000101060b0101010101010101010101010101010101040910080808080803010
10101010101060b0101010109090102010101010101010101010101010101010101010101010
1010209090f01010105090a010e0501010200020101010101010101010101010101010e040101
010101010101010101010101010200020101010e0901010101010101010d0909090909090909
090601010101010101010909030101010103100100000101010b060101010101010101010101
010101030801010101010101010101010101010101010b060101010609010101010101010101
010101010101010101010101010101010105040a0e06010101010d0a00800101010e0e0101010

1010101010101010101010e0201010101010101010101010101010101010e0e01010104100101
010101010101010101010101010101010101010101010101080301010e040101010803000001
0101060b03030304030101010101010101010901010101010101010101010101010101010106
0b0303050d0a0101010101010101040808080808080808080301010101010101080301010104
0e01010803200001010102000201010104090a010101010101010d0a010101010101010101010
101010101010102000201010a0e04010101010101010303030303030303030302010101010101
010f1001010101060d0a09012000010101010b060101010109090101010101010106060101010
101010101010101010101010101010b060101010a0c0801010101010101010101010101010101
0101010101010101010d0f010101010f0b04010080010101010e0e01010101060002010101010
10101090f01010101010101010101010101010101010e0e010101010e07010101010101010101
010101010101010101010101010101010a0d040a0102100e090f000001010101060b010101010
50c01010101010101010a0d0e05030303030302010101010101010101060b010101010e0d0101
01010101010101010101010101010101010101010101010101060d090e03010a0800000101010
2040005030306070601010101010101010101020408080808080301010101010101010204000
5030308090a01010101010101010101010101010101010101010101010101010101010101010
1010100000101010203030303030301010101010101010101010101010101010101010101010
1010101010203030303030201010101010101010101010101010101010101010101010101010
1010101010101010101010e05040000002701ffff030000000000
Maka P adalah himpunan bilangan-bilangan real positif tegas, yang memenuhi sifat-sifat
berikut:
(i).
Jika a, b
0100090000039200000000006900000000000400000003010800050000000b02000000000500
00000c020b000a00030000001e000400000007010400040000000701040069000000410b2000c
c000a000900000000000a0009000000000028000000090000000a000000010004000000000000
0000000000000000000000000000000000000000000000ffffff00d0d0d0005050500040404000
a0a0a000f0f0f000e0e0e0007070700080808000c0c0c00090909000b0b0b00000000000000000
0000000000116b344450040404124c61111002040c6461111110097109bc111111100101014aa
aaaaa700c010149999999a001760182111111100a0a0a7311111110090909153611111002d708
1123444450010101040000002701ffff030000000000P , maka a + b
0100090000039200000000006900000000000400000003010800050000000b02000000000500
00000c020b000a00030000001e000400000007010400040000000701040069000000410b2000c
c000a000900000000000a0009000000000028000000090000000a000000010004000000000000
0000000000000000000000000000000000000000000000ffffff00d0d0d0005050500040404000
a0a0a000f0f0f000e0e0e0007070700080808000c0c0c00090909000b0b0b00000000000000000
0000000000116b344450040404124c61111002040c6461111110097109bc111111100101014aa
aaaaa700c010149999999a001760182111111100a0a0a7311111110090909153611111002d708
1123444450010101040000002701ffff030000000000P
(ii).
Jika a, b
0100090000039200000000006900000000000400000003010800050000000b02000000000500
00000c020b000a00030000001e000400000007010400040000000701040069000000410b2000c
c000a000900000000000a0009000000000028000000090000000a000000010004000000000000
0000000000000000000000000000000000000000000000ffffff00d0d0d0005050500040404000
a0a0a000f0f0f000e0e0e0007070700080808000c0c0c00090909000b0b0b00000000000000000
0000000000116b344450040404124c61111002040c6461111110097109bc111111100101014aa
aaaaa700c010149999999a001760182111111100a0a0a7311111110090909153611111002d708
1123444450010101040000002701ffff030000000000P , maka a b
0100090000039200000000006900000000000400000003010800050000000b02000000000500
00000c020b000a00030000001e000400000007010400040000000701040069000000410b2000c
c000a000900000000000a0009000000000028000000090000000a000000010004000000000000
0000000000000000000000000000000000000000000000ffffff00d0d0d0005050500040404000

a0a0a000f0f0f000e0e0e0007070700080808000c0c0c00090909000b0b0b00000000000000000
0000000000116b344450040404124c61111002040c6461111110097109bc111111100101014aa
aaaaa700c010149999999a001760182111111100a0a0a7311111110090909153611111002d708
1123444450010101040000002701ffff030000000000P
(iii).
Jika a
0100090000039200000000006900000000000400000003010800050000000b02000000000500
00000c020b000a00030000001e000400000007010400040000000701040069000000410b2000c
c000a000900000000000a0009000000000028000000090000000a000000010004000000000000
0000000000000000000000000000000000000000000000ffffff00d0d0d0005050500040404000
a0a0a000f0f0f000e0e0e0007070700080808000c0c0c00090909000b0b0b00000000000000000
0000000000116b344450040404124c61111002040c6461111110097109bc111111100101014aa
aaaaa700c010149999999a001760182111111100a0a0a7311111110090909153611111002d708
1123444450010101040000002701ffff030000000000P, maka memenuhi tepat satu kondisi
berikut: a
0100090000039200000000006900000000000400000003010800050000000b02000000000500
00000c020b000a00030000001e000400000007010400040000000701040069000000410b2000c
c000a000900000000000a0009000000000028000000090000000a000000010004000000000000
0000000000000000000000000000000000000000000000ffffff00d0d0d0005050500040404000
a0a0a000f0f0f000e0e0e0007070700080808000c0c0c00090909000b0b0b00000000000000000
0000000000116b344450040404124c61111002040c6461111110097109bc111111100101014aa
aaaaa700c010149999999a001760182111111100a0a0a7311111110090909153611111002d708
1123444450010101040000002701ffff030000000000P, a = 0 dan -a
0100090000039200000000006900000000000400000003010800050000000b02000000000500
00000c020b000a00030000001e000400000007010400040000000701040069000000410b2000c
c000a000900000000000a0009000000000028000000090000000a000000010004000000000000
0000000000000000000000000000000000000000000000ffffff00d0d0d0005050500040404000
a0a0a000f0f0f000e0e0e0007070700080808000c0c0c00090909000b0b0b00000000000000000
0000000000116b344450040404124c61111002040c6461111110097109bc111111100101014aa
aaaaa700c010149999999a001760182111111100a0a0a7311111110090909153611111002d708
1123444450010101040000002701ffff030000000000P .
Sifat pertama dan kedua pada teorema di atas menjelaskan tentang sifat tertutup P terhadap
operasi penjumlahan dan perkalian.