Uređen skup
Sa Wikipedije, slobodne enciklopedije
Č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 lenearno 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.
Sadržaj |
[uredi] Diskretno gusto uređen skup
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.
[uredi] Uređenost prave u oba smjera
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.
[uredi] Aksiom o uređenosti prave
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)
[uredi] Dedekindov aksiom
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 poslednju ili druga klasa svoju prvu tačku.