Uređen skup
Ovaj članak ili neki od njegovih odlomaka nije dovoljno potkrijepljen izvorima (literatura, veb-sajtovi ili drugi izvori). |
Često u nekom skupu elemenata znamo za svaka dva njegova elementa reći koji po nekom pravilu dođe ispred kojeg. X<Y za takve elemente skupova vrijedi.
- X<Y ili Y<X (potpunost)
- Ako je X<Y onda nijeY<X (antisimetričnost)
- Ako je X<Y & Y<Z onda je X<Z (tranzitivnost)
Za ovakav skup kažemo da je (strogo) uređen skup.
Zbog osobine potpunosti kaže se da je potpuno linearno uređen skup.Onda vrijedi
X<Y ili X=Y ili Y<X trihotonomija
Za dva elementa skupa možemo reći da je X<Y (ako idemo u jednom) ili Y<X (ako idemo u drugom smjeru).Kažemo da je taj skup uređen u dva suprotna smjera.
Diskretno gusto uređen skup
[uredi | uredi izvor]Za elemenat Y skupa kažemo da je između elemenata X i Z ako je X<Y<Z ili Z<Y<X. Za uređen skup kažemo da je gusto uređen ako između svaka dva njegova elementa postoji bar jedan element tog skupa.
Uređenost prave u oba smjera
[uredi | uredi izvor]Aksiomom o uređenosti prave data je njena uređenost i u drugom smjeru. Ako je jedan smjer X<Y onda je drugi Y<X. Kažemo prava je uređena u dva smjera.
Aksiom o uređenosti prave
[uredi | uredi izvor]Prava je na određen način uređen skup
- Za tačke X,Y prave a važi X <Y ili Y<X (potpunost)
- Ako je X <Y onda nije Y<X (antisimetričnost)
- Ako je (X<Y) i( Y<Z) =>X<Z (tranzitivnost)
Dedekindov aksiom
[uredi | uredi izvor]Ako sve tačke prave podijelimo u dvije neprazne klase tako da je svaka klasa prve klase ispred svake tačke druge klase onda ili prva klasa ima svoju posljednju ili druga klasa svoju prvu tačku.