principio di induzione

Messaggioda flosfloris » 27/06/2007, 12:21

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 :-D

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 :-D
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????
:smt013 :smt013
flosfloris
New Member
New Member
 
Messaggio: 41 di 58
Iscritto il: 10/02/2007, 12:29

Messaggioda Luca.Lussardi » 27/06/2007, 12:51

Se $m$ e' il minimo di $Y$ vuol dire che $m-1$ non sta in $Y$, quindi sta in $X$; ma per ipotesi $(m-1)+1=m$ sta in $X$ che e' assurdo.
Luca.Lussardi
Cannot live without
Cannot live without
 
Messaggio: 1898 di 12713
Iscritto il: 21/05/2006, 17:59
Località: Torino

Messaggioda flosfloris » 27/06/2007, 12:56

m-1 sta sia in x che in u giusto?? perchè entrambi hanno k come elemento che risulta essere <= m-1
ho capito bene?
flosfloris
New Member
New Member
 
Messaggio: 42 di 58
Iscritto il: 10/02/2007, 12:29

Messaggioda Luca.Lussardi » 27/06/2007, 13:01

Si'
Luca.Lussardi
Cannot live without
Cannot live without
 
Messaggio: 1900 di 12713
Iscritto il: 21/05/2006, 17:59
Località: Torino

Messaggioda flosfloris » 27/06/2007, 13:06

conosci anche la dimostrazione per la seconda forma del principio di induzione??????
flosfloris
New Member
New Member
 
Messaggio: 43 di 58
Iscritto il: 10/02/2007, 12:29

Messaggioda Luca.Lussardi » 27/06/2007, 13:10

Non conosco la seconda forma, io conosco un solo principio di induzione.
Luca.Lussardi
Cannot live without
Cannot live without
 
Messaggio: 1901 di 12713
Iscritto il: 21/05/2006, 17:59
Località: Torino


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite