Diferencia entre revisiones de «Número ordinal (teoría de conjuntos)»
inducción |
cosmética |
||
Línea 4: | Línea 4: | ||
Los ordinales finitos (así como los cardinales finitos) son los [[números naturales]] 0, 1, 2,..., puesto que dos órdenes totales de un conjunto finito son [[Isomorfismo de orden|isomorfos en cuanto al orden]]. Al primer ordinal infinito se le denota ''ω''. |
Los ordinales finitos (así como los cardinales finitos) son los [[números naturales]] 0, 1, 2,..., puesto que dos órdenes totales de un conjunto finito son [[Isomorfismo de orden|isomorfos en cuanto al orden]]. Al primer ordinal infinito se le denota ''ω''. |
||
En el caso infinito, los ordinales ofrecen una distición más fina que los cardinales, que sólo representan la cantidad de elementos. Así, mientras sólo existe un cardinal infinito [[numerable]] ℵ<sub>0</sub>, existen infinitos ordinales infinitos y numerables: |
En el caso infinito, los ordinales ofrecen una distición más fina que los cardinales, que sólo representan la cantidad de elementos. Así, mientras sólo existe un cardinal infinito [[numerable]] <big>ℵ</big><sub>0</sub>, existen infinitos ordinales infinitos y numerables: |
||
{{ecuación|<math>\omega,\omega+1,\dots,2\omega,2\omega+1,\ldots,\omega^2,\ldots,\omega^\omega,\ldots,\omega^{\omega^\omega},\ldots,\epsilon_0,\ldots</math> }} |
{{ecuación|<math>\omega,\omega+1,\dots,2\omega,2\omega+1,\ldots,\omega^2,\ldots,\omega^\omega,\ldots,\omega^{\omega^\omega},\ldots,\epsilon_0,\ldots</math> }} |
||
que se corresponden con distintas maneras de ordenar el conjunto de los números naturales. |
que se corresponden con distintas maneras de ordenar el conjunto de los números naturales. |
||
Línea 16: | Línea 16: | ||
Un ordinal es un objeto matemático que clasifica todos los distintos conjuntos bien ordenados posibles. Por supuesto, ha de evitarse la posibilidad de clasificar con ordinales diferentes dos conjuntos bien ordenados distintos que en el fondo constituyan un "reetiquetado" el uno del otro. |
Un ordinal es un objeto matemático que clasifica todos los distintos conjuntos bien ordenados posibles. Por supuesto, ha de evitarse la posibilidad de clasificar con ordinales diferentes dos conjuntos bien ordenados distintos que en el fondo constituyan un "reetiquetado" el uno del otro. |
||
{{demostración|título=Ejemplo|plegada=no|Los siguientes conjuntos, con el orden en el que están escritos los elementos, no representan maneras '''esencialmente distintas''' de ordenar los [[números naturales]] (sobreentendiendo que la serie sigue con normalidad tras los puntos suspensivos) |
{{demostración|título=Ejemplo|plegada=no|1=Los siguientes conjuntos, con el orden en el que están escritos los elementos, no representan maneras '''esencialmente distintas''' de ordenar los [[números naturales]] (sobreentendiendo que la serie sigue con normalidad tras los puntos suspensivos) |
||
{{ecuación| |
{{ecuación| |
||
<math> |
<math> |
||
Línea 42: | Línea 42: | ||
=== Definición de Von Neumann === |
=== Definición de Von Neumann === |
||
En lugar de definirlo como una clase de equivalencia, el procedimiento más habitual clasificar los buenos órdenes es escoger un representante canónico, de manera unívoca, en cada una de estas clases. La definición estándar, sugerida por [[John Von Neumann]] es: |
En lugar de definirlo como una clase de equivalencia, el procedimiento más habitual clasificar los buenos órdenes es escoger un representante canónico, de manera unívoca, en cada una de estas clases. La definición estándar, sugerida por [[John Von Neumann]] es: |
||
{{definición|Un conjunto < |
{{definición|1=Un conjunto ''<span class="texhtml">α</span>'' es un ordinal si y sólo si está estrictamente bien ordenado por la relación de pertenencia y cada elemento de ''<span class="texhtml">α</span>'' es también un subconjunto del mismo.}} |
||
La construcción estándar de los [[números naturales]] en teoría de conjuntos asegura que estos son ordinales. En esta construcción se define el cero como el conjunto vacío 0≡∅={}, y a partir de ahí, cada número se define como el conjunto que contiene a los anteriores: 1≡{0}, 2≡{0,1}, etc. |
La construcción estándar de los [[números naturales]] en teoría de conjuntos asegura que estos son ordinales. En esta construcción se define el cero como el conjunto vacío 0≡∅={}, y a partir de ahí, cada número se define como el conjunto que contiene a los anteriores: 1≡{0}, 2≡{0,1}, etc. |
||
Línea 51: | Línea 51: | ||
*El ordinal de los números naturales ''ω'' es el primer ordinal infinito. |
*El ordinal de los números naturales ''ω'' es el primer ordinal infinito. |
||
Al (único) ordinal isomorfo a un conjunto bien ordenado ''A'' se le denota por {{overline|''A''}} ó ord(''A''). |
Al (único) ordinal isomorfo a un conjunto bien ordenado ''A'' se le denota por {{overline|''A''}} ó ord(''A''). |
||
Puede demostrarse que si < |
Puede demostrarse que si ''<span class="texhtml">α</span>'' es un ordinal, también lo es ''<span class="texhtml">α</span>''′≡''<span class="texhtml">α</span>''∪{''<span class="texhtml">α</span>''}. Este es el llamado '''ordinal siguiente''' a ''<span class="texhtml">α</span>'', y es el menor ordinal mayor que ''<span class="texhtml">α</span>''. Los ordinales diferentes de cero se dividen en dos clases bien diferenciadas: |
||
{{definición|1= |
{{definición|1= |
||
*Un ordinal '''sucesor''' < |
*Un ordinal '''sucesor''' ''<span class="texhtml">α</span>'' es un ordinal que es el siguiente de algún otro ordinal, ''<span class="texhtml">α</span>''=''<span class="texhtml">β</span>''′. |
||
*Un ordinal '''límite''' λ es un ordinal no nulo que no es el ordinal siguiente a ningún otro ordinal.}} |
*Un ordinal '''límite''' λ es un ordinal no nulo que no es el ordinal siguiente a ningún otro ordinal.}} |
||
Línea 59: | Línea 59: | ||
{{AP|Inducción transfinita}} |
{{AP|Inducción transfinita}} |
||
Los números ordinales poseen una propiedad similar al [[principio de inducción]] de los números naturales. Es el llamado '''principio de inducción transfinita''': |
Los números ordinales poseen una propiedad similar al [[principio de inducción]] de los números naturales. Es el llamado '''principio de inducción transfinita''': |
||
{{teorema|Dada una fórmula φ(< |
{{teorema|1=Dada una fórmula φ(''<span class="texhtml">α</span>''), si se cumple: |
||
*φ(0) es cierta, |
*φ(0) es cierta, |
||
*φ(< |
*φ(''<span class="texhtml">α</span>''′) es cierta siempre que lo es φ(''<span class="texhtml">α</span>''), |
||
*φ(''λ'') es cierta siempre que φ(''γ'') lo sea para todos los ''γ''<''λ'', |
*φ(''λ'') es cierta siempre que φ(''γ'') lo sea para todos los ''γ''<''λ'', |
||
entonces la fórmula es cierta para cualquier ordinal. |
entonces la fórmula es cierta para cualquier ordinal. |
||
Línea 70: | Línea 70: | ||
{{teorema|1=Sean ''X'' un conjunto y ''G'' y ''H'' funciones definidas sobre los conjuntos. Entonces existe una única función definida sobre los ordinales ''F'', tal que: |
{{teorema|1=Sean ''X'' un conjunto y ''G'' y ''H'' funciones definidas sobre los conjuntos. Entonces existe una única función definida sobre los ordinales ''F'', tal que: |
||
*''F''(0)=''X'' |
*''F''(0)=''X'' |
||
*''F''(< |
*''F''(''<span class="texhtml">α</span>''′)=''G''(''F''(''<span class="texhtml">α</span>'')) |
||
*''F''(''λ'')=''H''(''F''<nowiki>|</nowiki><sub>''λ''</sub>) |
*''F''(''λ'')=''H''(''F''<nowiki>|</nowiki><sub>''λ''</sub>) |
||
}} |
}} |
||
Línea 79: | Línea 79: | ||
=== Suma === |
=== Suma === |
||
En la suma de dos ordinales < |
En la suma de dos ordinales ''<span class="texhtml">α</span>'' y ''<span class="texhtml">β</span>'', se considera el conjunto dado por la totalidad de los elementos de ambos, ordenado de forma que todos los elementos de ''<span class="texhtml">β</span>'' son mayores que todos los elementos de ''<span class="texhtml">α</span>''. Este conjunto está bien ordenado, y su ordinal correspondiente es ''<span class="texhtml">α</span>''+''<span class="texhtml">β</span>''. De manera más técnica: |
||
{{definición|<math>\alpha+\beta=\overline{\alpha\times\{0\}\cup\beta\times\{1\}}</math> ,}} |
{{definición|1=<math>\alpha+\beta=\overline{\alpha\times\{0\}\cup\beta\times\{1\}}</math> ,}} |
||
donde se considera el orden dado por |
donde se considera el orden dado por |
||
{{ecuación|<math>(\gamma,n)<(\delta,m)\Leftrightarrow \text{O bien }n<m\text{, o bien }n=m\text{ y }\gamma<\delta</math>}} |
{{ecuación|<math>(\gamma,n)<(\delta,m)\Leftrightarrow \acute{\text{O}}\text{ bien }n<m\text{, }\acute{\text{o}}\text{ bien }n=m\text{ y }\gamma<\delta</math>}} |
||
Cabe destacar que esta suma ordinal es [[propiedad asociativa|asociativa]] y con [[elemento neutro]] (< |
Cabe destacar que esta suma ordinal es [[propiedad asociativa|asociativa]] y con [[elemento neutro]] (''<span class="texhtml">α</span>''+0=0+''<span class="texhtml">α</span>''=''<span class="texhtml">α</span>''), pero '''no''' es [[propiedad conmutativa|conmutativa]]. Por ejemplo 1+''ω''=''ω''≠''ω''+1. |
||
{{demostración|En efecto, el ordinal 1+''ω'' es el isomorfo al conjunto |
{{demostración|En efecto, el ordinal 1+''ω'' es el isomorfo al conjunto |
||
:<math>\{0',0,1,2,3,\ldots\}</math><br> |
:<math>\{0',0,1,2,3,\ldots\}</math><br> |
||
Línea 92: | Línea 92: | ||
=== Producto === |
=== Producto === |
||
De igual modo, para el producto de dos ordinales < |
De igual modo, para el producto de dos ordinales ''<span class="texhtml">α</span>'' y ''<span class="texhtml">β</span>'', se considera una copia de ''<span class="texhtml">α</span>'' por cada elemento de ''<span class="texhtml">β</span>'', donde dentro de cada copia se respeta el orden de ''<span class="texhtml">α</span>'', y elementos de distintas copias se ordenan por su "índice" en ''<span class="texhtml">β</span>''. De manera más técnica: |
||
{{definición|<math>\alpha\cdot\beta=\overline{\alpha\times\beta}</math>}} |
{{definición|<math>\alpha\cdot\beta=\overline{\alpha\times\beta}</math>}} |
||
donde en < |
donde en ''<span class="texhtml">α</span>''×''<span class="texhtml">β</span>'' se considera el orden dado por: |
||
{{ecuación|<math>(\gamma,\delta)<(\gamma',\delta')\Leftrightarrow\text{O bien }\delta<\delta'\text{, o bien }\delta=\delta'\text{ y }\gamma<\gamma'</math>}} |
{{ecuación|<math>(\gamma,\delta)<(\gamma',\delta')\Leftrightarrow\acute{\text{O}}\text{ bien }\delta<\delta'\text{, }\acute{\text{o}}\text{ bien }\delta=\delta'\text{ y }\gamma<\gamma'</math>}} |
||
El producto de ordinales es asociativo, con elemento neutro (< |
El producto de ordinales es asociativo, con elemento neutro (''<span class="texhtml">α</span>''·1=1·''<span class="texhtml">α</span>''=''<span class="texhtml">α</span>'') y [[elemento absorbente]] (''<span class="texhtml">α</span>''·0=0·''<span class="texhtml">α</span>''=0), pero de nuevo '''no''' es conmutativa: 2·''ω''=''ω''≠''ω''·2=''ω''+''ω''. |
||
{{demostración|El ordinal 2·''ω'' es el isomorfo al conjunto |
{{demostración|El ordinal 2·''ω'' es el isomorfo al conjunto |
||
:<math>\{0,0',1,1',2,2',3,3',\ldots\}</math><br> |
:<math>\{0,0',1,1',2,2',3,3',\ldots\}</math><br> |
||
Línea 106: | Línea 106: | ||
=== Exponenciación === |
=== Exponenciación === |
||
La exponenciación de números cardinales se define de manera sencilla mediante [[inducción transfinita]]: |
La exponenciación de números cardinales se define de manera sencilla mediante [[inducción transfinita]]: |
||
{{definición|1=El ordinal < |
{{definición|1=El ordinal ''<span class="texhtml">α</span>''<sup>''<span class="texhtml">β</span>''</sup> (con ''<span class="texhtml">α</span>''≠0) viene dado por: |
||
*<math>\displaystyle\alpha^0=1</math> |
*<math>\displaystyle\alpha^0=1</math> |
||
*<math>\alpha^{\beta+1}=\alpha^\beta\cdot\alpha</math> |
*<math>\alpha^{\beta+1}=\alpha^\beta\cdot\alpha</math> |
||
Línea 113: | Línea 113: | ||
La exponenciación ordinal verifica varias de las propiedades de la exponeciación ordinaria: |
La exponenciación ordinal verifica varias de las propiedades de la exponeciación ordinaria: |
||
:<math>\alpha^\beta\cdot\alpha^\gamma=\alpha^{\beta+\gamma}\text{ , }\alpha^{\beta\cdot\gamma}=(\alpha^\beta)^\gamma\text{ , } 1^\alpha=1\text{ , }\displaystyle\alpha^1=\alpha</math> |
:<math>\alpha^\beta\cdot\alpha^\gamma=\alpha^{\beta+\gamma}\text{ , }\alpha^{\beta\cdot\gamma}=(\alpha^\beta)^\gamma\text{ , } 1^\alpha=1\text{ , }\displaystyle\alpha^1=\alpha</math> |
||
La exponenciación ordinal es muy diferente a la [[Número cardinal (teoría de conjuntos)#Aritmética cardinal|cardinal]]. Por ejemplo, 2<sup>''ω''</sup>=''ω'' es numerable (a diferencia de 2<sup>ℵ<sub>0</sub></sup>). |
La exponenciación ordinal es muy diferente a la [[Número cardinal (teoría de conjuntos)#Aritmética cardinal|cardinal]]. Por ejemplo, 2<sup>''ω''</sup>=''ω'' es numerable (a diferencia de 2<sup><big>ℵ</big><sub>0</sub></sup>). |
||
{{demostración|1=''ω'' es un ordinal límite, por lo que |
{{demostración|1=''ω'' es un ordinal límite, por lo que |
||
:<math>2^\omega=\cup_{n\in\omega}2^n</math> |
:<math>2^\omega=\cup_{n\in\omega}2^n</math> |
Revisión del 16:58 2 abr 2011
En teoría de conjuntos, un número ordinal, o simplemente ordinal, es un representante del tipo de orden de un conjunto bien ordenado. De este modo, los ordinales clasifican todos los posibles conjuntos bien ordenados. Fueron introducidos por Georg Cantor en 1897.
Los ordinales finitos (así como los cardinales finitos) son los números naturales 0, 1, 2,..., puesto que dos órdenes totales de un conjunto finito son isomorfos en cuanto al orden. Al primer ordinal infinito se le denota ω.
En el caso infinito, los ordinales ofrecen una distición más fina que los cardinales, que sólo representan la cantidad de elementos. Así, mientras sólo existe un cardinal infinito numerable ℵ0, existen infinitos ordinales infinitos y numerables:
que se corresponden con distintas maneras de ordenar el conjunto de los números naturales.
Definición
Conjuntos bien ordenados
Un conjunto bien ordenado es un conjunto con una relación de orden entre sus elementos que verifica que dada cualquier subcolección de elementos no vacía, ésta posee un elemento mínimo. La importancia de los conjuntos bien ordenados reside en la inducción transfinita, que afirma que en un conjunto A de estas características, las propiedades que un elemento hereda de sus predecesores son poseidas por la totalidad de los elementos de A.
Un ordinal es un objeto matemático que clasifica todos los distintos conjuntos bien ordenados posibles. Por supuesto, ha de evitarse la posibilidad de clasificar con ordinales diferentes dos conjuntos bien ordenados distintos que en el fondo constituyan un "reetiquetado" el uno del otro.
Ejemplo |
Los siguientes conjuntos, con el orden en el que están escritos los elementos, no representan maneras esencialmente distintas de ordenar los números naturales (sobreentendiendo que la serie sigue con normalidad tras los puntos suspensivos)
El único cambio es que el primer elemento se llama "0" en uno y "5" en otro, el segundo se llama "1" en uno y "0" en otro,etc. Sin embargo, si ordenamos los números naturales de la siguiente forma: esto sí representa un cambio radical, puesto que hay un hecho relacionado con el orden de los conjuntos totalmente distinto en un caso y en otro: el segundo conjunto, a diferencia del primero, posee un elemento maximal. |
Clases de equivalencia
Una posible definición para clasificar todos los tipos de orden posible es agrupar a todos los conjuntos bien ordenados isomorfos bajo orden en una clase de equivalencia. Este es el enfoque que se tomó en los Principia Mathematica. Está definición ha de ser abandonada en ZF y demás sistemas axiomáticos relacionados, puesto que dichas clases de equivalencia son demasiado grandes para formar un conjunto.
Definición de Von Neumann
En lugar de definirlo como una clase de equivalencia, el procedimiento más habitual clasificar los buenos órdenes es escoger un representante canónico, de manera unívoca, en cada una de estas clases. La definición estándar, sugerida por John Von Neumann es:
|
La construcción estándar de los números naturales en teoría de conjuntos asegura que estos son ordinales. En esta construcción se define el cero como el conjunto vacío 0≡∅={}, y a partir de ahí, cada número se define como el conjunto que contiene a los anteriores: 1≡{0}, 2≡{0,1}, etc.
De la definición dada por Von Neumann puede probarse:
- Los elementos de un ordinal son ordinales también. De hecho, un ordinal es el conjunto de todos los ordinales menores que él.
- La colección de todos los ordinales Ω está bien ordenada a su vez, por la relación de pertencia/inclusión. Esta colección no es un conjunto.
- Todo conjunto bien ordenado es isomorfo bajo orden a un único ordinal.
- El ordinal de los números naturales ω es el primer ordinal infinito.
Al (único) ordinal isomorfo a un conjunto bien ordenado A se le denota por A ó ord(A). Puede demostrarse que si α es un ordinal, también lo es α′≡α∪{α}. Este es el llamado ordinal siguiente a α, y es el menor ordinal mayor que α. Los ordinales diferentes de cero se dividen en dos clases bien diferenciadas:
|
Inducción transfinita
Los números ordinales poseen una propiedad similar al principio de inducción de los números naturales. Es el llamado principio de inducción transfinita:
|
donde λ se refiere a un ordinal límite.
Una aplicación importante de este principio es la recursión transfinita, que permite definir funciones de ordinales:
|
donde F|λ es la restricción de F en λ.
Aritmética ordinal
Pueden definirse unas operaciones de suma, multiplicación y exponenciación de ordinales de manera natural.
Suma
En la suma de dos ordinales α y β, se considera el conjunto dado por la totalidad de los elementos de ambos, ordenado de forma que todos los elementos de β son mayores que todos los elementos de α. Este conjunto está bien ordenado, y su ordinal correspondiente es α+β. De manera más técnica:
|
donde se considera el orden dado por
Cabe destacar que esta suma ordinal es asociativa y con elemento neutro (α+0=0+α=α), pero no es conmutativa. Por ejemplo 1+ω=ω≠ω+1.
Demostración |
En efecto, el ordinal 1+ω es el isomorfo al conjunto
donde se ha añadido un único elemento, menor que todos los demás. Es obvio que este conjunto no es más que un "cambio de nombre" de los elementos de ω. Sin embargo, en ω+1, estamos considerando el ordinal isomorfo a donde el nuevo elemento que se añade es mayor que el resto, y en ω no hay elemento maximal. |
Producto
De igual modo, para el producto de dos ordinales α y β, se considera una copia de α por cada elemento de β, donde dentro de cada copia se respeta el orden de α, y elementos de distintas copias se ordenan por su "índice" en β. De manera más técnica:
donde en α×β se considera el orden dado por:
El producto de ordinales es asociativo, con elemento neutro (α·1=1·α=α) y elemento absorbente (α·0=0·α=0), pero de nuevo no es conmutativa: 2·ω=ω≠ω·2=ω+ω.
Demostración |
El ordinal 2·ω es el isomorfo al conjunto
donde las "copias" van "emparejadas". Es obvio que esto corresponde a un "cambio de nombre" de los elementos de ω. En el caso de ω·2, el conjunto considerado es siendo todos los elementos de la segunda copia mayores que los de la primera. Ningún cambio de nombre en ω puede darnos esta estructura (nótese por ejemplo que dentro de ω·2 no se da el principio de inducción de los números naturales). |
Exponenciación
La exponenciación de números cardinales se define de manera sencilla mediante inducción transfinita:
|
La exponenciación ordinal verifica varias de las propiedades de la exponeciación ordinaria:
La exponenciación ordinal es muy diferente a la cardinal. Por ejemplo, 2ω=ω es numerable (a diferencia de 2ℵ0).
Demostración |
ω es un ordinal límite, por lo que
La exponeciación ordinal de números naturales coincide con la noción habitual de exponenciación. Por lo tanto, 2ω es el supremo de una sucesión de números naturales, luego ha de ser menor o igual que ω. Pero dicha sucesión no tiene máximo dentro de los números naturales, luego no puede ser ningún número natural. Por tanto 2ω=ω. |
Véase también
Referencias
- Devlin, Keith (1993). The Joy of Sets: Fundamentals of Contemporary Set Theory (en inglés). Springer-Verlag. ISBN 0-387-94094-4.
- Ivorra, Carlos, Lógica y teoría de conjuntos, consultado el 18 de octubre de 2010..
- Esta obra contiene una traducción derivada de «Ordinal number» de Wikipedia en inglés, publicada por sus editores bajo la Licencia de documentación libre de GNU y la Licencia Creative Commons Atribución-CompartirIgual 4.0 Internacional.