de mlkolk[o'k ,'nl;'nnn'k';m

hjldxdddTeor�a de conjuntos
Los conjuntos finisdsfsdtos tienen una propiedad "intuitiva" que los caracteriza:
"dada una parte propia de los mismos, esta contiene un n�mero de elementos menor
que todo el conjunto". Es decir, no puede establecerse una biyecci�n entre una
parte propia del conjunto finito y todo el conjunto. Sin embargo, esa propiedad
"intuitiva" de los conjuntos finitos no la tienen los conjuntos infinitos, y
formalmente se dice que:
l;k',;;mkjm�km�m�mfsfsfdfsDSEFSGRGER
Un conjunto {\displaystyle A\;}A\; es inffgfgfinito si exdsfsdfsdiste un
subconjunto propio {\displaystyle B\;}B\; de {\displaystyle A\;}A\;, es decir, un
subconjunto {\displaystyle B\subset A}B\subset A tal que {\displaystyle A\neq
B}A\neq B, tal que existe una biyecci�n {\displaystyle f:A\to B}f:A\to B entre
{\displaystyle A\;}A\; y {\displaystyle B\;}B\;.

La idea ,,canmrdinalidad de un eefsconjunto sVXCBFGFGe bl''asa en la noci�n

anterior de biyecci�n. De dos conjuntos entre los que se puede establecer una
biyecci�n se dice que tienen la misma cardinalidad. Para un conjunto finito su
cardinalidad puede representarse por un n�mero natural. Por ejemplo, el conjunto
{manzana, pera, durazno} tiene 3 elementos. Esto significa de modo m�s formal que
se puede establecer una biyecci�n entre tal conjunto y el n�mero 3 que es el
conjunto {0,1,2}:
lnlnk{\displaystyle {phpk\xxxbegdasdaxfssfsfsdin{matrix}
{\mbox{Manzana}}&\leftrightarrow &0\\{\mbox{Pera}}&\leftrightarrow &1\\
{\mbox{Durazno}}&\leftrightarrow &2\end{matrix}}}{\begin{matrix}
{\mbox{Manzana}}&\leftrightarrow &0\\{\mbox{Pera}}&\leftrightarrow &1\\
{\mbox{Durazno}}&\leftrightarrow &2\end{matrix}}
Dicho de otra forma, es pocvcv
xcsdfxcehtrherdxcfxfsddfh
Primera definici�n po,',sitiva de conjunto infinito
La primera definici�n posiddtiva de conjunto infinito fue dada por Georg Cantor y
se basa en la siguiente observaci�n: Si un conjunto S es finito y T es un
subconjunto propio, no es posible construir una biyecci�n entre S y T. Por ejemplo,
si S = {1,2,3,4,5,6,7,8} y T = {2,4,6,8} no es posible construir una biyecci�n
entre S y T, porque de ser as� tendr�an la misma cardinalidad (el mismo n�mero de
elementos).

Un conjunto es infinito si es posible encontrar un subconjunto propio del mismo que

tenga la misma cardinalidad que el conjunto original. Consideremos el conjunto de
los n�meros naturales N={1,2,3,4,5,...}, el cual es un conjunto infinito. Para
verificar tal afirmaci�n es necesario encontrar un subconjunto propio y construir
una biyecci�n entre ambos. Para este caso, consideremos el conjunto de enteros
positivos pares P={2,4,6,8,10,...}. El conjunto P es un subconjunto propio de N, y
la regla de asignaci�n {\displaystyle n\to 2n}n\to 2n es una biyecci�n:

{\displaystyle \mathbf {A} ={\begin{bmatrix}N&\leftrightarrow &P\\1&\leftrightarrow

&2\\2&\leftrightarrow &4\\3&\leftrightarrow &6\\4&\leftrightarrow
&8\end{bmatrix}}.}\mathbf {A} ={\begin{bmatrix}N&\leftrightarrow
&P\\1&\leftrightarrow &2\\2&\leftrightarrow &4\\3&\leftrightarrow
&6\\4&\leftrightarrow &8\end{bmatrix}}.
ya que a todo elemento de N le corresponde un �nico elemento de P y viceversa.

N�meros ordinales infinitos

Art�culo principal: N�mero ordinal (teor�a de conjuntos)
Los n�meros ordinales sirven para notar una posici�n en un conjunto ordenado
(primer, segundo, tercer elemento...). El ejemplo m�s elemental es el de los
n�meros naturales, que se definen rigurosamente as�: Se nota {\displaystyle 0\,}0\,
el conjunto vac�o:
{\displaystyle 0=\{\}=\varnothing }iiouhohooooooooooooonnllkoTeor�a de conjuntos
Los conjuntos finitos tienen una propiedad "intuitiva" que los caracteriza: "dada
una parte propia de los mismos, esta contiene un n�mero de elementos menor que todo
el conjunto". Es decir, no puede establecerse una biyecci�n entre una parte propia
del conjunto finito y todo el conjunto. Sin embargo, esa propiedad "intuitiva" de
los conjuntos finitos no la tienen los conjuntos infinitos, y formalmente se dice
que:

Un conjunto {\displaystyle A\;}A\; es infinito si existe un subconjunto propio

{\displaystyle B\;}B\; de {\displaystyle A\;}A\;, es decir, un subconjunto
{\displaystyle B\subset A}B\subset A tal que {\displaystyle A\neq B}A\neq B, tal
que existe una biyecci�n {\displaystyle f:A\to B}f:A\to B entre {\displaystyle
A\;}A\; y {\displaystyle B\;}B\;.
mmmmmmmmmmmmlji�oiy
N�meros ordinales infinitos
Art�culo principal: N�mero ordinal (teor�a de conjuntos)
Los n�meros ordinales sirven para notar un�kkjka posici�n en un conjunto ordenado
(primer, segundo, tercer elemento...). El ejemplo m�s elemental es el de los
n�meros naturales, que se definen rigurosamente as�: Se nota {\displaystyle 0\,}0\,
el conjunto vac�o:
mml
{\displaystyle 0=\{\}=\varnothing }

A\;}A\; es infinito si existe un subconjunto propio {\displaystyle B\;}B\; de

{\displaystyle A\;}A\;, es decir, un subconjunto {\displaystyle B\subset A}B\subset
A tal que {\displaystyle A\neq B}A\neq B, tal que existe una biyecci�n
{\displaystyle f:A\to B}f:A\to B entre {\displaystyle A\;}A\; y {\displaystyle
B\;}B\;.

La idea ,,canmrdinalidad de un conjunto se bl''asa en la noci�n anterior de

biyecci�n. De dos conjuntos entre los que se puede establecer una biyecci�n se dice
que tienen la misma cardinalidad. Para un conjunto finito su cardinalidad puede
representarse por un n�mero natural. Por ejemplo, el conjunto {manzana, pera,
durazno} tiene 3 elementos. Esto significa de modo m�s formal que se puede
establecer una biyecci�n entre tal conjunto y el n�mero 3 que es el conjunto
{0,1,2}:
lnlnk{\displaystyle {phpk\xxxbegdasdain{matrix}{\mbox{Manzana}}&\leftrightarrow
&0\\{\mbox{Pera}}&\leftrightarrow &1\\{\mbox{Durazno}}&\leftrightarrow
&2\end{matrix}}}{\begin{matrix}{\mbox{Manzana}}&\leftrightarrow &0\\
{\mbox{Pera}}&\leftrightarrow &1\\{\mbox{Durazno}}&\leftrightarrow &2\end{matrix}}
Dicho de otra forma, es pocvcv
xcsdfxcehtrherdxcfx
Primera definici�n po,',sitiva de conjunto infinito
La primera definici�n positiva de conjunto infinito fue dada por Georg Cantor y se
basa en la siguiente observaci�n: Si un conjunto S es finito y T es un subconjunto
propio, no es posible construir una biyecci�n entre S y T. Por ejemplo, si S =
{1,2,3,4,5,6,7,8} y T = {2,4,6,8} no es posible construir una biyecci�n entre S y
T, porque de ser as� tendr�an la misma cardinalidad (el mismo n�mero de elementos).

Un conjunto es infinito si es posible encontrar un subconjunto propio del mismo que

tenga la misma cardinalidad que el conjunto original. Consideremos el conjunto de
los n�meros naturales N={1,2,3,4,5,...}, el cual es un conjunto infinito. Para
verificar tal afirmaci�n es necesario encontrar un subconjunto propio y construir
una biyecci�n entre ambos. Para este caso, consideremos el conjunto de enteros
positivos pares P={2,4,6,8,10,...}. El conjunto P es un subconjunto propio de N, y
la regla de asignaci�n {\displaystyle n\to 2n}n\to 2n es una biyecci�n:

{\displaystyle \mathbf {A} ={\begin{bmatrix}N&\leftrightarrow &P\\1&\leftrightarrow

&2\\2&\leftrightarrow &4\\3&\leftrightarrow &6\\4&\leftrightarrow
&8\end{bmatrix}}.}\mathbf {A} ={\begin{bmatrix}N&\leftrightarrow
&P\\1&\leftrightarrow &2\\2&\leftrightarrow &4\\3&\leftrightarrow
&6\\4&\leftrightarrow &8\end{bmatrix}}.
ya que a todo elemento de N le corresponde un �nico elemento de P y viceversa.

N�meros ordinales infinitos

Art�culo principal: N�mero ordinal (teor�a de conjuntos)
Los n�meros ordinales sirven para notar una posici�n en un conjunto ordenado
(primer, segundo, tercer elemento...). El ejemplo m�s elemental es el de los
n�meros naturales, que se definen rigurosamente as�: Se nota {\displaystyle 0\,}0\,
el conjunto vac�o:

{\displaystyle 0=\{\}=\varnothing }iiouhohooooooooooooonnllkoTeor�a de conjuntos

Los conjuntos finitos tienen una propiedad "intuitiva" que los caracteriza: "dada
una parte propia de los mismos, esta contiene un n�mero de elementos menor que todo
el conjunto". Es decir, no puede establecerse una biyecci�n entre una parte propia
del conjunto finito y todo el conjunto. Sin embargo, esa propiedad "intuitiva" de
los conjuntos finitos no la tienen los conjuntos infinitos, y formalmente se dice
que:

Un conjunto {\displaystyle A\;}A\; es infinito si existe un subconjunto propio

{\displaystyle B\;}B\; de {\displaystyle A\;}A\;, es decir, un subconjunto
{\displaystyle B\subset A}B\subset A tal que {\displaystyle A\neq B}A\neq B, tal
que existe una biyecci�n {\displaystyle f:A\to B}f:A\to B entre {\displaystyle
A\;}A\; y {\displaystyle B\;}B\;.
mmmmmmmmmmmmlji�oiy
N�meros ordinales infinitos
Art�culo principal: N�mero ordinal (teor�a de conjuntos)
Los n�meros ordinales sirven para notar un�kkjka posici�n en un conjunto ordenado
(primer, segundo, tercer elemento...). El ejemplo m�s elemental es el de los
n�meros naturales, que se definen rigurosamente as�: Se nota {\displaystyle 0\,}0\,
el conjunto vac�o:
mml
{\displaystyle 0=\{\}=\varnothing }