Diferencia entre revisiones de «Número ordinal (teoría de conjuntos)»

m
sin resumen de edición
m
{{otros usos|este=números ordinales en teoría de conjuntos axiomática|Número ordinal|una introducción más básica}}
[[Archivo:Omega-exp-omega.svg|thumb|300px|'''Representación del ordinal ''&omega;''<sup>''&omega;''</sup>.''' Cada vuelta alrededor de esta [[espiral]] representa una [[exponenciaciónpotenciación|potencia]] entera de ''&omega;'': la primera contiene a los [[números naturales]] 0, 1, 2, ... La segunda llega hasta ''&omega;''<sup>2</sup> pasando por cada ordinal ''&omega;''&middot;''m'' + ''n'', con ''m'', ''n'' naturales; la tercera llega hasta ''&omega;''<sup>3</sup> pasando por cada ordinal ''&omega;''<sup>2</sup>&middot;''m'' + ''&omega;''<sup>2</sup>&middot;''n'' + ''p''; etc.]]
 
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.
== Aritmética ordinal ==
{{AP|Aritmética ordinal}}
Pueden definirse unas operaciones de [[suma]], [[multiplicación]] y [[potenciación|exponenciación]] de ordinales de manera natural, mediante [[recursión transfinita]] o mediante definiciones "geométricas". Estas operaciones extienden la aritmética de los números naturales.
 
== Véase también ==
4043

ediciones