12.05.2013 Views

Una Introducción (otra mas) - Departamento de Matemática y ...

Una Introducción (otra mas) - Departamento de Matemática y ...

Una Introducción (otra mas) - Departamento de Matemática y ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Sergio Plaza 5<br />

Como hemos supuesto que b − na > 0 para todo entero positivo n,<br />

se tiene que S es un conjunto no vacío <strong>de</strong> números enteros positivos.<br />

Aplicando el Principio <strong>de</strong> Buena Or<strong>de</strong>nación se obtiene que S posee un<br />

menorelemento. Luegoexiste m0 ∈ Z talque b−m0a b−naparatodo<br />

n entero positivo. De esta última <strong>de</strong>sigualdad se obtiene que n m0<br />

para todo n entero positivo, lo cual evi<strong>de</strong>ntemente es falso, pues basta<br />

tomar n = m0+1 > m0. Esta contradicción se obtuvo por la suposición<br />

<strong>de</strong> que na < b para todo entero positivo n. Por lo tanto el teorema ha<br />

sido probado.<br />

1.1 Principio <strong>de</strong> Inducción<br />

Aunque el Principio <strong>de</strong> Inducción (P.I.) es llamado así, es <strong>de</strong> hecho un<br />

teorema, el cual pasamos a enunciar y probar.<br />

Teorema 1.2 (Principio <strong>de</strong> Inducción) Sea P(n) una propiedad <strong>de</strong><br />

enteros no negativos n. Suponga que<br />

(a) P(0) ( o P(1)) es verda<strong>de</strong>ra, y<br />

(b) P(n+1) es verda<strong>de</strong>ra si P(n) lo es, para todo n 0 (n 1).<br />

Entonces P(n) es verda<strong>de</strong>ra para todos los enteros no negativos (po-<br />

sitivos).<br />

Demostración. Haremos la prueba por contradicción.<br />

Supongamos que P(n) es falsa para algún entero no negativo n.<br />

Por el P.B.O., existe un menor entero no negativo n tal que P(n) es<br />

falsa, pero P(m) es verda<strong>de</strong>ra para todo entero no negativo m, con<br />

0 m < n. Como P(0) es verda<strong>de</strong>ra por (a), se sigue que n > 0.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!