Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Mat Discretas U1 Buen Orden
Mat Discretas U1 Buen Orden
discretas
MSc. Diana
Mejı́a
Introducción
Inducción
matemática
Introducción
Inducción
matemática
Principio del
buen orden
Introducción
Inducción
matemática
Principio del
buen orden
Introducción
Inducción
matemática
Principio del
buen orden
Introducción
Inducción
matemática
Principio del
buen orden
Introducción
Inducción
matemática
Principio del
buen orden
Para cualquier conjunto A ⊂ N, con A ̸= ϕ, existe un elemento
mı́nimo. Esto es,
∃n ∈ A : n ≤ m, ∀m ∈ A
Los dos principios que se han dado son equivalentes: cada uno
de ellos implica al otro. Veamos cada una de las implicaciones...
Matemáticas
discretas
Introducción
Inducción
matemática Suponga que se cumple el principio del buen orden.
Principio del
buen orden
Tomemos un subconjunto A ⊂ N, con A ̸= ϕ, de tal manera
que 1 ∈ A, que se cumpla que si n ∈ A, entonces n + 1 ∈ A, y
A ̸= N.
Definamos ahora A′ := N − A, y como A ̸= N, entonces A′ ̸= ϕ.
Por el principio del buen orden, se cumple que A′ tiene un
primer elemento, notémoslo con m.
Ahora, como m > 1, entonces m − 1 ∈ N. Además, como
m−1∈ / A′ , entonces m − 1 ∈ A. Por tanto,
m − 1 + 1 = m ∈ A. Lo cual contradice el que m ∈ A′ .
En consecuencia, A′ debe ser ϕ y A = N.
Matemáticas
discretas
Introducción
Inducción
matemática Suponga que se cumple el principio de inducción. Tomemos un
Principio del
buen orden
conjunto A ∈ N, con A ̸= ϕ, de tal manera que A no tenga un
primer elemento. Definamos el conjunto B ⊂ N de todos los
números menores que algún elemento de A. Entonces el 1 ∈ / A,
puesto que si lo estuviera, serı́a el primer elemento
(1 < n, ∀n ∈ A). Es decir, 1 ∈ B.
Además, si tomamos un m ∈ B cualquiera, entonces
m + 1 ∈ B, pues de estar en A, serı́a su primer elemento.
Por el principio de inducción, se tiene que B = N, y por lo
tanto, A = ϕ, lo cual contradice nuestra hipótesis. Por lo tanto,
A tiene un primer elemento.
Matemáticas
discretas
Introducción
Inducción
matemática
Principio del
buen orden