Valdez,G.; Vecino, S.; Oliver, M.

ÁLGEBRA LINEAL I (Matemática),

ÁLGEBRA I (Física),
ÁLGEBRA (Química y Bioquímica)

NÚMEROS NATURALES

Definición: Un subconjunto A  se dice inductivo si:

i) 1  A
ii) x  A  x + 1  A

Ejemplos:

1) A=  0,   =  x / x  0  es inductivo, porque:
i) 1  A pues 1  0
ii) x  A  x + 1  A . Vamos a demostrarlo.
Si x  A entonces x  0 ,
luego x + 1  x  0 ,
así x + 1 A

3) B =  0,   es inductivo, y la demostración es análoga a la de 1)

4) C=  1,   =  x / x  1 no es inductivo pues 1  C

Definición: Llamamos conjunto de Números Naturales, y lo simbolizamos con ,

al “menor” subconjunto inductivo de .

Por lo tanto verifica:

i) es inductivo
ii) si A  es inductivo, entonces  A.

Principio de inducción completa: Si H  es inductivo, entonces H = .

Criterio de Inducción Completa:

A partir del Principio de Inducción Completa estamos en condiciones de formular

una herramienta para demostrar por inducción propiedades sobre el conjunto de
Números Naturales: el Criterio de Inducción Completa .

Criterio: Sea P(n) una función proposicional con dominio en (esto es P es una
función que a cada n  le asigna una proposición P(n) , que como tal, tiene un
valor de verdad : verdadera “V” , o falsa “F” )
Supongamos que P verifica:
i. P(1) es V
ii. P(n) V  P(n + 1) V
Entonces, podemos afirmar que P(n) es V  n 

Utilizaremos el principio de Inducción para demostrar propiedades elementales de los

números naturales.

Proposición:
Valdez,G.; Vecino, S.; Oliver, M. ÁLGEBRA LINEAL I (Matemática),
ÁLGEBRA I (Física),
ÁLGEBRA (Química y Bioquímica)

Si n y m son números naturales, entonces m+n es un número natural

Consideramos la siguiente afirmación:

P(n): “Dado m , para todo número natural n, m+n es un número natural”

Hay que probar que P(1) es verdadera y que de la verdad de P(n) se deduce la verdad de
P(n+1)

P(1): “para todo número natural m, m+1 es un número natural” es trivialmente cierta
por la definición de como conjunto inductivo.
Por lo cual m    m  1 

Vamos a probar que de la verdad de P(n) se deduce la verdad de P(n+1):

Suponemos que P(n) es verdadera, es decir: “para todo número natural n, m+n es un
número natural”

Veamos qué ocurre con P(n+1), es decir, veamos si m+(n+1) es un número natural:

m+(n+1) = (m+n) +1 (propiedad asociativa) ,

ahora bien, por hipótesis inductiva (en adelante H.I.) (m+n) es un número natural
y por ser un conjunto inductivo, tenemos que  m  n   1 cualquiera sea m

Luego, P(n+1) es verdadera.

De este modo probamos que P(n) es verdadera para todo número natural n.

Definiciones inductivas:

Usaremos el razonamiento por inducción para definir objetos matemáticos.

Sea a1 , a2 , a3 , a4 ,...., an ,... una sucesión de números reales. Queremos definir la suma de
los n primeros términos de esa sucesión, para cualquier n  .
n
La notación que indica esa suma es a
i 1
i , y debemos definirla de manera tal que

obtengamos lo que pretendemos: que sume los a1 , a2 , a3 , a4 ,... , hasta an .

Definición: Se llama sumatoria de los n primeros términos de la sucesión

n
a1 , a2 , a3 , a4 ,...., an ,... , y se la simboliza con a
i 1
i , a la suma definida por :

 1

n   ai  a1
 ai =:  n 1 i 1
n
i 1  ai   ai  a n 1
 i 1 i 1

Lo que hicimos para la suma podemos reproducirlo para el producto.

Valdez,G.; Vecino, S.; Oliver, M. ÁLGEBRA LINEAL I (Matemática),
ÁLGEBRA I (Física),
ÁLGEBRA (Química y Bioquímica)

Definición: Se llama productoria de los n primeros términos de la sucesión

n
a0 , a1 , a2 , a3 , a4 ,......, an ,...... , y se la simboliza con a i 1
i , al producto definido por:

 1

n   ai  a1
 ai =:  n 1 i 1
n
i 1  ai   ai  a n 1
 i 1 i 1

De la misma manera que para la suma, podemos ver que esta definición nos
proporciona lo que estábamos buscando: el producto de los n primeros términos de la
sucesión, sea cual fuere n.

Destacaremos dos casos particulares de productoria:

Caso 1: Potencia natural de un número real

Sean a  , n . Definiremos inductivamente an :

 a1  a
an =:  n 1
a  a  a
n

Propiedades de la potencia:

Para a, b  , n, m  .

a) an. bn = (a.b)n
b) an.am = a n + m
c) (an) m = an.m

Caso 2: Factorial de n , ( n  0 ):

Sea n  , definimos el factorial de n, y lo simbolizamos n!, al número:

 1!  1
n! =: 
(n  1)!  n !.(n  1)

También definimos: 0! =: 1

Ejemplos:
n
n(n  1)
1) Demostrar que i 
i 1 2
, n  .

En este caso la sucesión dada es ai  i i  .

Valdez,G.; Vecino, S.; Oliver, M. ÁLGEBRA LINEAL I (Matemática),
ÁLGEBRA I (Física),
ÁLGEBRA (Química y Bioquímica)

Vamos a demostrarlo usando el Criterio de Inducción Completa.

n
n(n  1)
Sea P(n) : i 
i 1 2

Debemos ver si P(n) cumple con las hipótesis del criterio:

1
1.(1  1)
i. P(1) :  i  es V ?
i 1 2
1

i = 1
i 1
pues a1 = 1

1  (1  1) 1  2
 1
2 2
Luego P(1) es V

ii. P(n) V  P(n + 1) V ?

n(n  1) n
Debemos ver si a partir de suponer P(n) :
i 1 2
i 
verdadera (Hipótesis
n 1
(n  1)  (n  2)
inductiva : HI ) podemos demostrar que P(n + 1) :  i = es verdadera.
i 1 2
Comencemos con uno de los miembros de la igualdad que hay que probar.

n 1 n
n  (n  1)
i 1
i =
i 1
 i  (n  1) 2
 (n  1) =
=

n  (n  1)  2(n  1) (n  1)  (n  2)
( por HI ) = =
2 2
que es lo que queríamos demostrar; luego P(n + 1) es V , y entonces P(n) es V n  .

n
n(n  1)
Hemos demostrado que i 
i 1 2
, n  .

2) Demostraremos que an. bn = (a.b)n:

Sea P(n) : an. bn = (a.b)n

i. P(1) es V? , o sea ¿ a1.b1 = (a.b)1 ?

a1.b1= a.b = (a.b)1

ii. P(n) V  P(n + 1) V ?

o sea an. bn = (a.b)n  an+ 1.bn+ 1 = (a.b)n+ 1 ?
an+ 1.bn+ 1= an.a.bn.b = an.bn.a.b = (a.b)n .(a.b) ( por HI) = (a.b)n+ 1

Luego P(n) es V n  , o sea an. bn = (a.b)n n  .

Valdez,G.; Vecino, S.; Oliver, M. ÁLGEBRA LINEAL I (Matemática),
ÁLGEBRA I (Física),
ÁLGEBRA (Química y Bioquímica)

Principio de inducción generalizada

Existen propiedades o fórmulas que se verifican para números naturales, pero,

quizás no para todos, sino a partir de cierto número natural, y así como está formulado,
no podríamos utilizar el poderoso recurso de la Inducción Completa para demostrarlas,
por ello enunciaremos y demostraremos un nuevo criterio que resolverá estos
inconvenientes: el Criterio de Inducción Generalizada.

Criterio de Inducción Generalizada:

Sea P(n) una función proposicional con dominio en ; sea n0  .

Supongamos que P(n) verifique estas dos propiedades:
i. P( n0 ) es V
ii. P(n) V  P(n + 1) V
Entonces P(n) es V n  , con n  n0

Ejemplo: Queremos comparar los números naturales 2n y n!

20 = 1 = 0!
21 = 2 > 1= 1!
22 = 4 > 2 = 2!
23 = 8 > 6 = 3!
24 = 16 < 24 = 4!
25 = 32 < 120 = 5!

Pareciera que esta desigualdad se mantendrá para los siguientes números naturales,
dado que para obtener 26 debemos multiplicar a 25 por 2 , que es menor que 6, y
6! = 5!.6.
Vamos a demostrar esta propiedad :
2n < n! n  , con n  4

Para n = 4 ya lo vimos: 24 = 16 < 24 = 4!

Supongámosla verdadera para n, o sea 2n < n! ,

y queremos demostrarla para n + 1 : 2n+1 < ( n + 1)! ?

2n+1 = 2·2n < 2· n! < (n + 1)·n! = (n + 1)! ,

pues como n  4 , entonces n + 1 > 2

Luego 2n < n! n  , con n  4