Induccin matemtica

Primer principio de la induccin

1) 1S 2) Si aS, entonces a+1 S Entonces S=N

Sea T={x N|xS}

Si T=, ya terminamos. Por tanto supener que T. Por la propiedad de buen ordenamiento de los nmero enteros, T tiene un elemento ms pequeo que todos, m. Claramente m1, porque 1 S. Entonces, por 2), m-1S, lo que contradice la minimalidad de m. Asi que T= y S=N.

Segundo principio de la induccin

1) 1S 2) nS cuando mS para todos los enteros positivos m<n Entonces S=N

Sea T={x N|xS}

Si T=, ya terminamos. Por tanto supener que T. Por la propiedad de buen ordenamiento de los nmero enteros, T tiene un elemento ms pequeo que todos, m. Por 1) m1. Entonces para todos los enteros x<m, xS. Pero por 2) mS, una contradiccin. Asi que T= y S=N.