dimostrazioni per induzione

Messaggioda G.D. » 17/08/2007, 17:09

leggendo quà e là alcune dimostrazioni fatte per induzione ho avuto modo di vedere che il passo 2 della dimostrazione per induzione a volte è fatto partendo da $n$ altre volte da $n-1$...mi spiego meglio

il principio per induzione si basa su una doppia dimostrazione:
passo 1) dimostrare che la proprietà che si studia è valida per $1$ (o per il pimo naturale $n_0$ per i quali deve valere la proprietà)
passo 2) dimostare che, partendo dall'ipotesi che la proprietà è vera per $n$, allora è vera anche per $n+1$

ordunque, a proposito del passo 2) ho trovato che in alcune dimostrazioni rigurdo ad alcune proprietà si parte dall'ipotesi che la proprità sia vera per $n$ e si dimostra che allora è anche vera per $n+1$, mentre nelle dimostrazioni di altre proprità o teoremi si parte dall'ipotesi che la proprietà sia vera per $n-1$ per poi dimostrare che essa è vera anche per $n$

ora mi chiedevo se qualcuno volesse spiegarmi perchè a volte si parte da $n$ e perchè altre volte si parte da $n-1$: c'è una differenza teorica sostanziale che non colgo o lo si fa solo per questioni "stilistiche"?
"Everybody lies"
"La morte sorride a tutti: un uomo non può fare altro che sorriderle di rimando"
"Eliminato l'impossibile, ciò che resta, per improbabile che sia, deve essere la verità"
"No! Provare no! Fare. O non fare. Non c'è provare!"
Avatar utente
G.D.
Cannot live without
Cannot live without
 
Messaggio: 277 di 6398
Iscritto il: 11/05/2007, 22:00

Messaggioda Martino » 17/08/2007, 17:32

Direi che si fa solo per questioni stilistico-estetiche... ma, certo, questa è la mia opinione :)
Le persone che le persone che le persone amano amano amano.
Avatar utente
Martino
Moderatore globale
Moderatore globale
 
Messaggio: 64 di 13076
Iscritto il: 21/07/2007, 10:48
Località: Brasilia

Messaggioda codino75 » 17/08/2007, 19:23

direi che e' solo una questione di nomi... non sostanziale.
...questo e' l'importante: vivere per il ritorno. ( Exupery )
Avatar utente
codino75
Advanced Member
Advanced Member
 
Messaggio: 1028 di 2412
Iscritto il: 26/10/2006, 18:43
Località: clerville

Messaggioda Gaal Dornick » 18/08/2007, 08:43

a volte l'espressione che trovi, e quindi i calcoli algebrici che devi fare, vengono più semplici se parti con $n$ oppure se parti con $n-1$
ci vuole un po' d'occhio..

Comunque alla fine è formalmente la stessa cosa
"La cosa più incredibile di questo mondo è che gli imbecilli sono sicuri
di sé, mentre le persone intelligenti sono piene di dubbi."
Bertrand Russell
Gaal Dornick
Senior Member
Senior Member
 
Messaggio: 72 di 1101
Iscritto il: 17/06/2007, 15:19
Località: Roma (con salti a Bari)

Messaggioda antrope » 18/08/2007, 09:09

Alla fine l'importanza del principio di induzione è che:

1) P(0) è vera,
2) P(n) vera implica che P(n+1) è vera,

Alla fine se nei tuoi calcoli è piu semplice dimostrare che P(n+8) implica che P(n+9) è vera, penso sia indifferente :D
antrope
New Member
New Member
 
Messaggio: 17 di 88
Iscritto il: 28/07/2007, 11:18

Messaggioda Fioravante Patrone » 18/08/2007, 10:16

antrope ha scritto:Alla fine l'importanza del principio di induzione è che:

1) P(0) è vera,
2) P(n) vera implica che P(n+1) è vera,

Alla fine se nei tuoi calcoli è piu semplice dimostrare che P(n+8) implica che P(n+9) è vera, penso sia indifferente :D


Sia $k$ un intero.

Se:

1) $P(k)$ è vera
2) per ogni $h \ge k$, $P(h)$ vera implica che $P(h+1)$ è vera,

allora:
$P(n)$ è vera per ogni $n \ge k$
Avatar utente
Fioravante Patrone
Cannot live without
Cannot live without
 
Messaggio: 1684 di 10811
Iscritto il: 09/06/2006, 19:18
Località: Temporaneamente a Novi Ligure ;-)

Messaggioda G.D. » 18/08/2007, 11:26

ok...vi ringrazio tutti...buon fine settimana
"Everybody lies"
"La morte sorride a tutti: un uomo non può fare altro che sorriderle di rimando"
"Eliminato l'impossibile, ciò che resta, per improbabile che sia, deve essere la verità"
"No! Provare no! Fare. O non fare. Non c'è provare!"
Avatar utente
G.D.
Cannot live without
Cannot live without
 
Messaggio: 279 di 6398
Iscritto il: 11/05/2007, 22:00


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

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite