Principio de buena ordenación

En matemáticas, el principio del buen orden afirma que en cualquier conjunto de números naturales existe un mínimo, es decir, un número no mayor que algún otro del resto, siempre y cuando dicha colección no esté vacía. Esto diferencia al conjunto de los números naturales de otros conjuntos ordenados de números, como por ejemplo los números enteros o los números reales. El principio de buena ordenación es equivalente al principio de inducción: uno puede demostrarse a partir del otro.

Principio de buena ordenación

En cualquier conjunto de números naturales A ⊆ N distinto del conjunto vacío, A ≠ ∅, existe un mínimo, es decir, un número n ∈ A menor o igual que cualquier número de A.

Otra manera de entender este principio es que si algún número natural posee una cierta propiedad (como ser primo, ser perfecto, etc.), siempre hay un primer número con esa propiedad.

Otros conjuntos ordenados de números no cumplen el principio de buena ordenación. Por ejemplo, en los enteros negativos Z⁻ = {..., −3, −2, −1} no puede encontrarse un mínimo.

Principio de no buena ordenación

En cualquier conjunto de números naturales A ⊆ Z⁻ distinto del conjunto vacío, A ≠ ∅, existe un máximo, es decir, un número n ∈ A más grande o igual que cualquier número de A.

El principio de inducción afirma que si una colección de números naturales A incluye al 1 y, para cada número en la colección, el número siguiente también está incluido, entonces dicha colección es necesariamente la totalidad de los números naturales N. El principio de buena ordenación y el principio de inducción son equivalentes: cualquiera de ellos puede demostrarse partiendo del otro.

Entonces consideramos su complementario ${displaystyle {ar {A}}}$: puesto que N está bien ordenado, si ${displaystyle {ar {A}} eq varnothing }$ entonces existe un primer elemento ${displaystyle nin {ar {A}}}$ distinto de uno. Por tanto, es el sucesor de algún otro elemento m que no está en ${displaystyle {ar {A}}}$ sino en ${displaystyle A}$. Pero esto es una contradicción, puesto que por hipótesis ${displaystyle min ARightarrow nin A}$. De modo que necesariamente ${displaystyle {ar {A}}}$ es el conjunto vacío y ${displaystyle A=N}$.

En relación con este principio, se afirma que los números naturales están «bien ordenados». En general, se denomina conjunto bien ordenado a cualquier conjunto de elementos matemáticos ordenados de tal manera que se cumpla el principio de buena ordenación.

Weisstein, Eric W. «Well Ordering Principle». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research. Consultado el 24 de julio de 2016. 

---