stringtranslate.com

Buen orden

En matemáticas , un buen orden (o buen ordenamiento o relación de buen orden ) en un conjunto S es un ordenamiento total en S con la propiedad de que cada subconjunto no vacío de S tiene un elemento mínimo en este ordenamiento. El conjunto S junto con el ordenamiento se denomina entonces conjunto bien ordenado . En algunos artículos y libros de texto académicos, estos términos se escriben como bienorden , bienordenado y bienordenamiento o bien orden , bien ordenado y bien ordenamiento .

Todo conjunto bien ordenado no vacío tiene un elemento mínimo. Cada elemento s de un conjunto bien ordenado, excepto un posible elemento mayor , tiene un sucesor único (próximo elemento), es decir, el elemento mínimo del subconjunto de todos los elementos mayores que s . Puede haber elementos, además del elemento mínimo, que no tengan predecesor (véase § Números naturales a continuación para un ejemplo). Un conjunto bien ordenado S contiene para cada subconjunto T con un límite superior un límite superior mínimo , es decir, el elemento mínimo del subconjunto de todos los límites superiores de T en S .

Si ≤ es un buen ordenamiento no estricto , entonces < es un buen ordenamiento estricto. Una relación es un buen ordenamiento estricto si y solo si es un orden total estricto bien fundado . La distinción entre buen ordenamiento estricto y no estricto suele ignorarse, ya que son fácilmente interconvertibles.

Todo conjunto bien ordenado es isomorfo en orden único a un número ordinal único , llamado tipo de orden del conjunto bien ordenado. El teorema de buen orden , que es equivalente al axioma de elección , establece que todo conjunto puede estar bien ordenado. Si un conjunto está bien ordenado (o incluso si simplemente admite una relación bien fundada ), se puede utilizar la técnica de prueba de inducción transfinita para demostrar que una afirmación dada es verdadera para todos los elementos del conjunto.

La observación de que los números naturales están bien ordenados por la relación usual menor que se denomina comúnmente principio de buen orden (para números naturales).

Números ordinales

Todo conjunto bien ordenado es isomorfo en orden único a un número ordinal único , llamado tipo de orden del conjunto bien ordenado. La posición de cada elemento dentro del conjunto ordenado también está dada por un número ordinal. En el caso de un conjunto finito, la operación básica de contar , para encontrar el número ordinal de un objeto en particular, o para encontrar el objeto con un número ordinal en particular, corresponde a asignar números ordinales uno por uno a los objetos. El tamaño (número de elementos, número cardinal ) de un conjunto finito es igual al tipo de orden. [1] El conteo en el sentido cotidiano generalmente comienza desde uno, por lo que asigna a cada objeto el tamaño del segmento inicial con ese objeto como último elemento. Nótese que estos números son uno más que los números ordinales formales según el orden isomorfo, porque estos son iguales al número de objetos anteriores (lo que corresponde a contar desde cero). Por lo tanto, para un número finito de n , la expresión " elemento n -ésimo" de un conjunto bien ordenado requiere contexto para saber si se cuenta desde cero o desde uno. En una notación " elemento β -ésimo", donde β también puede ser un ordinal infinito, normalmente se contará desde cero.

En el caso de un conjunto infinito, el tipo de orden determina la cardinalidad , pero no a la inversa: los conjuntos bien ordenados de una cardinalidad particular pueden tener muchos tipos de orden diferentes (consulte el apartado Números naturales, a continuación, para ver un ejemplo). En el caso de un conjunto infinito numerable , el conjunto de tipos de orden posibles es incontable.

Ejemplos y contraejemplos

Números naturales

El ordenamiento estándar ≤ de los números naturales es un buen ordenamiento y tiene la propiedad adicional de que cada número natural distinto de cero tiene un predecesor único.

Otra buena ordenación de los números naturales se da definiendo que todos los números pares son menores que todos los impares, y el orden habitual se aplica dentro de los pares y los impares:

Este es un conjunto bien ordenado de tipo ω + ω . Cada elemento tiene un sucesor (no hay un elemento más grande). Dos elementos carecen de predecesor: 0 y 1.

Números enteros

A diferencia del ordenamiento estándar ≤ de los números naturales , el ordenamiento estándar ≤ de los números enteros no es un buen ordenamiento, ya que, por ejemplo, el conjunto de los números enteros negativos no contiene un elemento mínimo.

La siguiente relación binaria R es un ejemplo de buen orden de los números enteros: x R y si y sólo si se cumple una de las siguientes condiciones:

  1. x = 0
  2. x es positivo e y es negativo
  3. x e y son ambos positivos y xy
  4. x e y son ambos negativos, y | x | ≤ | y |

Esta relación R se puede visualizar de la siguiente manera:

R es isomorfo al número ordinal ω + ω .

Otra relación para ordenar bien los números enteros es la siguiente definición: si y sólo si

Este buen orden se puede visualizar de la siguiente manera:

Este tiene el tipo de orden ω .

Reales

El ordenamiento estándar ≤ de cualquier intervalo real no es un buen ordenamiento, ya que, por ejemplo, el intervalo abierto ⁠ ⁠ no contiene un elemento mínimo. A partir de los axiomas ZFC de la teoría de conjuntos (incluido el axioma de elección ) se puede demostrar que existe un buen ordenamiento de los reales. También Wacław Sierpiński demostró que ZF + GCH (la hipótesis del continuo generalizado ) implica el axioma de elección y, por lo tanto, un buen ordenamiento de los reales. No obstante, es posible demostrar que los axiomas ZFC+GCH por sí solos no son suficientes para demostrar la existencia de un buen ordenamiento definible (por una fórmula) de los reales. [2] Sin embargo, es consistente con ZFC que exista un buen ordenamiento definible de los reales; por ejemplo, es consistente con ZFC que V=L , y se sigue de ZFC+V=L que una fórmula particular ordena bien los reales, o de hecho cualquier conjunto.

Un subconjunto incontable de los números reales con el ordenamiento estándar ≤ no puede ser un buen orden: supóngase que X es un subconjunto de ⁠ ⁠ bien ordenado por . Para cada x en X , sea s ( x ) el sucesor de x en ordenamiento en X (a menos que x sea el último elemento de X ). Sea cuyos elementos son intervalos no vacíos y disjuntos. Cada uno de estos intervalos contiene al menos un número racional, por lo que hay una función inyectiva de A a Hay una inyección de X a A (excepto posiblemente por un último elemento de X , que podría mapearse a cero más tarde). Y es bien sabido que hay una inyección de a los números naturales (que podría elegirse para evitar llegar a cero). Por lo tanto, hay una inyección de X a los números naturales, lo que significa que X es contable. Por otra parte, un subconjunto numerablemente infinito de los números reales puede o no ser un buen orden con el estándar . Por ejemplo,

Ejemplos de órdenes de pozo:

Formulaciones equivalentes

Si un conjunto está totalmente ordenado , entonces los siguientes son equivalentes entre sí:

  1. El conjunto está bien ordenado, es decir, cada subconjunto no vacío tiene un elemento mínimo.
  2. La inducción transfinita funciona para todo el conjunto ordenado.
  3. Toda secuencia estrictamente decreciente de elementos del conjunto debe terminar después de sólo un número finito de pasos (asumiendo el axioma de elección dependiente ).
  4. Cada subordenamiento es isomorfo a un segmento inicial.

Topología de órdenes

Todo conjunto bien ordenado puede convertirse en un espacio topológico dotándolo de la topología de orden .

Respecto a esta topología pueden existir dos tipos de elementos:

Para los subconjuntos podemos distinguir:

Un subconjunto es cofinal en el conjunto completo si y sólo si no está acotado en el conjunto completo o tiene un máximo que también es máximo del conjunto completo.

Un conjunto bien ordenado como espacio topológico es un espacio contable primero si y solo si tiene un tipo de orden menor o igual a ω 1 ( omega-uno ), es decir, si y solo si el conjunto es contable o tiene el tipo de orden incontable más pequeño .

Véase también

Referencias

  1. ^ Bonnet, Rémi; Finkel, Alain; Haddad, Serge; Rosa-Velardo, Fernando (2013). "Teoría ordinal para la expresividad de sistemas de transición bien estructurados". Información y Computación . 224 : 1–22. doi :10.1016/j.ic.2012.11.003. MR  3016456.
  2. ^ Feferman, S. (1964). "Algunas aplicaciones de las nociones de forzamiento y conjuntos genéricos". Fundamenta Mathematicae . 56 (3): 325–345. doi : 10.4064/fm-56-3-325-345 .