Volevo proporvi una curiosità che ho pensato quando abbiamo studiato le relazioni d'ordine: Esiste un esempio di relazione di buon ordine che non sia di ordine naturale?
Il termine "relazione d'ordine naturale" è sul mio libro e non so quanto possa essere usato altrove, quindi spiego cosa vuol dire: Una relazione d'ordine $ \leq $ su un insieme $ S $ si dice di ordine naturale se ogni parte non vuota di $ S $ è dotata di minimo e, se superiormente limitata, anche di massimo rispetto a $ \leq $ . Quindi la relazione d'ordine usuale sui naturali è d'ordine naturale. è possibile costruirne una che sia di buon ordine ma non di ordine naturale?
relazione di buon ordine
relazione di buon ordine
Il triangolo [tex]ABC[/tex] SEMBRA isoscele [tex]\Longrightarrow[/tex] ...
Prendi i naturali e aggiungici un simbolo che chiameremo $ \infty $ (oppure $ \omega $ se vogliamo fare i fighi) maggiore di tutti gli altri. Ora, il sottoinsieme $ \mathbb N $ è superiormente limitato ma non ha max.
--federico
[tex]\frac1{\sqrt2}\bigl(\left|\text{loves me}\right\rangle+\left|\text{loves me not}\right\rangle\bigr)[/tex]
[tex]\frac1{\sqrt2}\bigl(\left|\text{loves me}\right\rangle+\left|\text{loves me not}\right\rangle\bigr)[/tex]
-
- Messaggi: 1776
- Iscritto il: 17 nov 2007, 19:12