ciao ragazzi ho bisogno di un vostro aiuto con questo principio di induzione che ho sempre odiato.. ma ora devo dare l'esame quindi devo farmelo piacere
siano k ε N0 e U= {n ε N0 | k<=n}.
sia poi X un sottoinsieme di U tale che
1) k ε X
2)ogni volta che X contiene n contiene anche n+1
allora X=U
ora la dimostrazione mi dice
supponiamo che X<U (è contenuto in U). allora l'nsieme Y=U/X è non vuoto. e fin qui ci sono
e quindi esiste il minimo di y che chiameremo m.
ora il libro mi dice che m=/k perchè m-1 appartiene ad U e per la minimalità di m si ha m-1 ε X
questa parte proprio non l ho capita qualche anima buona puo spiegarmela meglio????