kkkkkkkkkkkkhhde 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\xxxbegdasfvfbfngndaxf xbdfhfgssfsfsdin{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 definicijjjk�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).
lll
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 }