Documente Academic
Documente Profesional
Documente Cultură
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Cardinalidad
Juan Manuel Rabasedas
10/03/2011
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Conceptos Basicos
Definiremos como relaci
on entre dos conjuntos A y B un conjunto
RAB
A B = {(a, b), a Ayb B}
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Conceptos Basicos
Definiremos como relaci
on entre dos conjuntos A y B un conjunto
RAB
A B = {(a, b), a Ayb B}
A y B pueden ser el mismo conjunto.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Conceptos Basicos
Definiremos como relaci
on entre dos conjuntos A y B un conjunto
RAB
A B = {(a, b), a Ayb B}
A y B pueden ser el mismo conjunto.
Promiedades:
aRb (a, b) R, aRb (a, b)
/R
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Conceptos Basicos
Definiremos como relaci
on entre dos conjuntos A y B un conjunto
RAB
A B = {(a, b), a Ayb B}
A y B pueden ser el mismo conjunto.
Promiedades:
aRb (a, b) R, aRb (a, b)
/R
Reflexiva a A, aRa
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Conceptos Basicos
Definiremos como relaci
on entre dos conjuntos A y B un conjunto
RAB
A B = {(a, b), a Ayb B}
A y B pueden ser el mismo conjunto.
Promiedades:
aRb (a, b) R, aRb (a, b)
/R
Reflexiva a A, aRa
Simetrica a,b A si aRb bRa
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Conceptos Basicos
Definiremos como relaci
on entre dos conjuntos A y B un conjunto
RAB
A B = {(a, b), a Ayb B}
A y B pueden ser el mismo conjunto.
Promiedades:
aRb (a, b) R, aRb (a, b)
/R
Reflexiva a A, aRa
Simetrica a,b A si aRb bRa
Antisimetrica a,b A si aRb y bRa a = b
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Conceptos Basicos
Definiremos como relaci
on entre dos conjuntos A y B un conjunto
RAB
A B = {(a, b), a Ayb B}
A y B pueden ser el mismo conjunto.
Promiedades:
aRb (a, b) R, aRb (a, b)
/R
Reflexiva a A, aRa
Simetrica a,b A si aRb bRa
Antisimetrica a,b A si aRb y bRa a = b
Si a 6= b y aRb bRa
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Conceptos Basicos
Definiremos como relaci
on entre dos conjuntos A y B un conjunto
RAB
A B = {(a, b), a Ayb B}
A y B pueden ser el mismo conjunto.
Promiedades:
aRb (a, b) R, aRb (a, b)
/R
Reflexiva a A, aRa
Simetrica a,b A si aRb bRa
Antisimetrica a,b A si aRb y bRa a = b
Si a 6= b y aRb bRa
Transitiva a,b,c A si aRb y bRc aRc
Juan Manuel Rabasedas
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Relaciones de equivalencia
Definicion
Una relacion de dice que es de equivalencia cuando es:
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Relaciones de equivalencia
Definicion
Una relacion de dice que es de equivalencia cuando es:
Reflexiva
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Relaciones de equivalencia
Definicion
Una relacion de dice que es de equivalencia cuando es:
Reflexiva Simetrica
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Relaciones de equivalencia
Definicion
Una relacion de dice que es de equivalencia cuando es:
Reflexiva Simetrica Transitiva
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Relaciones de equivalencia
Definicion
Una relacion de dice que es de equivalencia cuando es:
Reflexiva Simetrica Transitiva
Definicion
Una relacion de equivalencia R sobre un conjunto X define
subconjuntos disjuntos en X llamados clases de equivalencia de la
siguiente manera: Dado un elemento a X, al conjunto dado por
todos los elementos relacionados con a
[a] = {x X|aRx}
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Equipotencia
Definicion
Dados dos conjuntos A y B, se dice que A es equipotente a B si
existe una biyeccion de A en B
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejemplo
El conjunto P = {x N, x es par} es equipotente a N
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejemplo
El conjunto P = {x N, x es par} es equipotente a N
Debo probar que existe una funci
on biyectiva
f :P Nof :NP
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejemplo
El conjunto P = {x N, x es par} es equipotente a N
Debo probar que existe una funci
on biyectiva
f :P Nof :NP
Propongo f (x) = x2
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejemplo
El conjunto P = {x N, x es par} es equipotente a N
Debo probar que existe una funci
on biyectiva
f :P Nof :NP
Propongo f (x) = x2
Pruebo que f : P N es inyectiva y sobreyectiva
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejemplo
El conjunto P = {x N, x es par} es equipotente a N
Debo probar que existe una funci
on biyectiva
f :P Nof :NP
Propongo f (x) = x2
Pruebo que f : P N es inyectiva y sobreyectiva
Inyectiva: Sea x1 , x2 P
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejemplo
El conjunto P = {x N, x es par} es equipotente a N
Debo probar que existe una funci
on biyectiva
f :P Nof :NP
Propongo f (x) = x2
Pruebo que f : P N es inyectiva y sobreyectiva
Inyectiva: Sea x1 , x2 P
Si f (x1 ) = f (x2 )
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejemplo
El conjunto P = {x N, x es par} es equipotente a N
Debo probar que existe una funci
on biyectiva
f :P Nof :NP
Propongo f (x) = x2
Pruebo que f : P N es inyectiva y sobreyectiva
Inyectiva: Sea x1 , x2 P
Si f (x1 ) = f (x2 ) x21 =
x2
2
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejemplo
El conjunto P = {x N, x es par} es equipotente a N
Debo probar que existe una funci
on biyectiva
f :P Nof :NP
Propongo f (x) = x2
Pruebo que f : P N es inyectiva y sobreyectiva
Inyectiva: Sea x1 , x2 P
Si f (x1 ) = f (x2 ) x21 =
x2
2
x1 = x2
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejemplo
El conjunto P = {x N, x es par} es equipotente a N
Debo probar que existe una funci
on biyectiva
f :P Nof :NP
Propongo f (x) = x2
Pruebo que f : P N es inyectiva y sobreyectiva
Inyectiva: Sea x1 , x2 P
Si f (x1 ) = f (x2 ) x21 =
luego f es Inyectiva
x2
2
x1 = x2
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejemplo
El conjunto P = {x N, x es par} es equipotente a N
Debo probar que existe una funci
on biyectiva
f :P Nof :NP
Propongo f (x) = x2
Pruebo que f : P N es inyectiva y sobreyectiva
Inyectiva: Sea x1 , x2 P
Si f (x1 ) = f (x2 ) x21 =
luego f es Inyectiva
x2
2
x1 = x2
Sobreeyectiva:
Tomando b N existe a = 2b P
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejemplo
El conjunto P = {x N, x es par} es equipotente a N
Debo probar que existe una funci
on biyectiva
f :P Nof :NP
Propongo f (x) = x2
Pruebo que f : P N es inyectiva y sobreyectiva
Inyectiva: Sea x1 , x2 P
Si f (x1 ) = f (x2 ) x21 =
luego f es Inyectiva
x2
2
x1 = x2
Sobreeyectiva:
Tomando b N existe a = 2b P tal que
f (a) = f (2b) = 2b
2 =b
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejemplo
El conjunto P = {x N, x es par} es equipotente a N
Debo probar que existe una funci
on biyectiva
f :P Nof :NP
Propongo f (x) = x2
Pruebo que f : P N es inyectiva y sobreyectiva
Inyectiva: Sea x1 , x2 P
Si f (x1 ) = f (x2 ) x21 =
luego f es Inyectiva
x2
2
x1 = x2
Sobreeyectiva:
Tomando b N existe a = 2b P tal que
f (a) = f (2b) = 2b
2 =b
luego f (a) = b y f es Sobreyectiva.
Juan Manuel Rabasedas
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejercicio
[0, 1] es equipotente a [a, b] a, b R, a < b
f : [0, 1] [a, b]
x f (x) = (b a)x + a es biyectiva
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejercicio
[0, 1] es equipotente a [a, b] a, b R, a < b
f : [0, 1] [a, b]
x f (x) = (b a)x + a es biyectiva
Teorema
La relacion de equipotencia es una relaci
on de equivalencia
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejercicio
[0, 1] es equipotente a [a, b] a, b R, a < b
f : [0, 1] [a, b]
x f (x) = (b a)x + a es biyectiva
Teorema
La relacion de equipotencia es una relaci
on de equivalencia
Observaciones:
De ahora en adelante simbolizaremos la relacion de
equipotenca con el simbolo , es decir escribiremos A B,
caso contrario A
B
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejercicio
[0, 1] es equipotente a [a, b] a, b R, a < b
f : [0, 1] [a, b]
x f (x) = (b a)x + a es biyectiva
Teorema
La relacion de equipotencia es una relaci
on de equivalencia
Observaciones:
De ahora en adelante simbolizaremos la relacion de
equipotenca con el simbolo , es decir escribiremos A B,
caso contrario A
B
La relacion vincula conjuntos cualesquiera entre s, por lo
tanto es una relaci
on de equivalencia en el conjunto de todos
los conjuntos.
Juan Manuel Rabasedas
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Sea A un conjunto. Se llama n
umero cardinal de A o cardinal de
A o potencia de A a la clase de equivalencia de A sobre la relacion
de equipotencia.
Simbolizaremos a esta clase como: Card(A) o simplemente #(A)
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Sea A un conjunto. Se llama n
umero cardinal de A o cardinal de
A o potencia de A a la clase de equivalencia de A sobre la relacion
de equipotencia.
Simbolizaremos a esta clase como: Card(A) o simplemente #(A)
Ejemplo
Todos los conjuntos unitarios son equipotentes entre s. Ellos
constitullen un cardinal que simbilizaremos con 1
Genealizando si X = {x1 , x2 , . . . xn } con n elementos
distintos diremos Card(X) = n o #(X) = n
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejercicio
Probar que #() = {}.
Parea ellos probar que: Dado A 6= A
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Se dice que un conjunto A es finito si es vaco o es equipotente a
un intervalo natural [1, n]N = {1, 2, 3, . . . n}
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Se dice que un conjunto A es finito si es vaco o es equipotente a
un intervalo natural [1, n]N = {1, 2, 3, . . . n}
Se dice que A es infinito en caso contrario.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Se dice que un conjunto A es finito si es vaco o es equipotente a
un intervalo natural [1, n]N = {1, 2, 3, . . . n}
Se dice que A es infinito en caso contrario.
Observaciones:
A [1, n]N #(A) = n
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Se dice que un conjunto A es finito si es vaco o es equipotente a
un intervalo natural [1, n]N = {1, 2, 3, . . . n}
Se dice que A es infinito en caso contrario.
Observaciones:
A [1, n]N #(A) = n
Siendo A 6= se tiene que:
A es finito n N tal que A [1, n]N
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Se dice que un conjunto A es finito si es vaco o es equipotente a
un intervalo natural [1, n]N = {1, 2, 3, . . . n}
Se dice que A es infinito en caso contrario.
Observaciones:
A [1, n]N #(A) = n
Siendo A 6= se tiene que:
A es finito n N tal que A [1, n]N
A es infinito
@n N tal que A [1, n]N A
[1, n]N n N
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Lema
N N {x} x N
Demostracion:
Debemos encontrar una biyecci
on entre ambos conjuntos.
La siguiente disposicion nos suguiere una:
N
1 2 ... x 1
x
x + 1 ...
N {x} 1 2 . . . x 1 x + 1 x + 2 . . .
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Lema
N N {x} x N
Demostracion:
Debemos encontrar una biyecci
on entre ambos conjuntos.
La siguiente disposicion nos suguiere una:
N
1 2 ... x 1
x
x + 1 ...
N {x} 1 2 . . . x 1 x + 1 x + 2 . . .
La funcion f : N N {x}
n f (n) =
n
si n < x
n + 1 si n x
Es biyectiva
Juan Manuel Rabasedas
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Lema
N N {x} x N
Demostracion:
Debemos encontrar una biyecci
on entre ambos conjuntos.
La siguiente disposicion nos suguiere una:
N
1 2 ... x 1
x
x + 1 ...
N {x} 1 2 . . . x 1 x + 1 x + 2 . . .
La funcion f : N N {x}
n f (n) =
n
si n < x
n + 1 si n x
Es biyectiva Ejercicio
Juan Manuel Rabasedas
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
N es un conjunto infinito
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
N es un conjunto infinito
Debemos ver que N
[1, n]N n N
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
N es un conjunto infinito
Debemos ver que N
[1, n]N n N
i) n = 1 es claramente cierto ya que N
[1, 1]N = {1}
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
N es un conjunto infinito
Debemos ver que N
[1, n]N n N
i) n = 1 es claramente cierto ya que N
[1, 1]N = {1}
ii) debemos probar que N
[1, n]N N
[1, n + 1]N
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
N es un conjunto infinito
Debemos ver que N
[1, n]N n N
i) n = 1 es claramente cierto ya que N
[1, 1]N = {1}
ii) debemos probar que N
[1, n]N N
[1, n + 1]N
pruebo la contrareciproca N [1, n + 1]N N [1, n]N
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
N es un conjunto infinito
Debemos ver que N
[1, n]N n N
i) n = 1 es claramente cierto ya que N
[1, 1]N = {1}
ii) debemos probar que N
[1, n]N N
[1, n + 1]N
pruebo la contrareciproca N [1, n + 1]N N [1, n]N
N [1, n + 1]N f : N [1, n + 1]N biyectiva
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
N es un conjunto infinito
Debemos ver que N
[1, n]N n N
i) n = 1 es claramente cierto ya que N
[1, 1]N = {1}
ii) debemos probar que N
[1, n]N N
[1, n + 1]N
pruebo la contrareciproca N [1, n + 1]N N [1, n]N
N [1, n + 1]N f : N [1, n + 1]N biyectiva
!b N|f (b) = n + 1
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
N es un conjunto infinito
Debemos ver que N
[1, n]N n N
i) n = 1 es claramente cierto ya que N
[1, 1]N = {1}
ii) debemos probar que N
[1, n]N N
[1, n + 1]N
pruebo la contrareciproca N [1, n + 1]N N [1, n]N
N [1, n + 1]N f : N [1, n + 1]N biyectiva
!b N|f (b) = n + 1
Entonces f : N {b} [1, n]N es biyectiva
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
N es un conjunto infinito
Debemos ver que N
[1, n]N n N
i) n = 1 es claramente cierto ya que N
[1, 1]N = {1}
ii) debemos probar que N
[1, n]N N
[1, n + 1]N
pruebo la contrareciproca N [1, n + 1]N N [1, n]N
N [1, n + 1]N f : N [1, n + 1]N biyectiva
!b N|f (b) = n + 1
Entonces f : N {b} [1, n]N es biyectiva , resultando as
N {b} [1, n]N
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
N es un conjunto infinito
Debemos ver que N
[1, n]N n N
i) n = 1 es claramente cierto ya que N
[1, 1]N = {1}
ii) debemos probar que N
[1, n]N N
[1, n + 1]N
pruebo la contrareciproca N [1, n + 1]N N [1, n]N
N [1, n + 1]N f : N [1, n + 1]N biyectiva
!b N|f (b) = n + 1
Entonces f : N {b} [1, n]N es biyectiva , resultando as
N {b} [1, n]N
Luego por el lema anterior se tiene que N [1, n]N
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Corolario
Sea A un conjunto tal que A N entonces A es infinito
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Corolario
Sea A un conjunto tal que A N entonces A es infinito
Propiedades:
1
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Corolario
Sea A un conjunto tal que A N entonces A es infinito
Propiedades:
1
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Corolario
Sea A un conjunto tal que A N entonces A es infinito
Propiedades:
1
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Corolario
Sea A un conjunto tal que A N entonces A es infinito
Propiedades:
1
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Si A X siendo X N se dice que A es numerable Si A N se
dice que A es infinito numerable
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Si A X siendo X N se dice que A es numerable Si A N se
dice que A es infinito numerable
Conclusiones:
Un conjunto es numerable si es finito o bien es infinito
equipotente a N.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Si A X siendo X N se dice que A es numerable Si A N se
dice que A es infinito numerable
Conclusiones:
Un conjunto es numerable si es finito o bien es infinito
equipotente a N.
A no es numerable @X N|X A.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Si A X siendo X N se dice que A es numerable Si A N se
dice que A es infinito numerable
Conclusiones:
Un conjunto es numerable si es finito o bien es infinito
equipotente a N.
A no es numerable @X N|X A.
A no numerable A infinito.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Si A X siendo X N se dice que A es numerable Si A N se
dice que A es infinito numerable
Conclusiones:
Un conjunto es numerable si es finito o bien es infinito
equipotente a N.
A no es numerable @X N|X A.
A no numerable A infinito.
Lamaremos #(N) = 0
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Lema
Sea A un conjunto infinito numerable A puede considerarse
como una sucesuon inyectiva, es decir A = {a1 , a2 , . . . , an , . . .}
verificando i 6= j ai 6= aj
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Lema
Sea A un conjunto infinito numerable A puede considerarse
como una sucesuon inyectiva, es decir A = {a1 , a2 , . . . , an , . . .}
verificando i 6= j ai 6= aj
Ejemplo
1, 4, 9, 16, 25, 36, . . . , n2 , . . . es infinito numerable.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Lema
Sea A un conjunto infinito numerable A puede considerarse
como una sucesuon inyectiva, es decir A = {a1 , a2 , . . . , an , . . .}
verificando i 6= j ai 6= aj
Ejemplo
1, 4, 9, 16, 25, 36, . . . , n2 , . . . es infinito numerable.
{1, 3, 5, 7, 9, 11, . . . , 2n 1, . . .} es infinito numerable.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Lema
Sea A un conjunto infinito numerable A puede considerarse
como una sucesuon inyectiva, es decir A = {a1 , a2 , . . . , an , . . .}
verificando i 6= j ai 6= aj
Ejemplo
1, 4, 9, 16, 25, 36, . . . , n2 , . . . es infinito numerable.
{1, 3, 5, 7, 9, 11, . . . , 2n 1, . . .} es infinito numerable.
Conclusion: Si A se puede ordenar como una sucesion donde no se
repiten los elementos, A es numerable.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Ejemplo
N N es infinito numerable.
Para verlo podemos disponer sus elementos seg
un el siguiente
esquema.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
Todo subconjunto de un conjunto numerable es numerable
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
Todo subconjunto de un conjunto numerable es numerable
Teorema
Todo conjunto infinito contiene un subconjunto infinito nuemrable
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
Todo subconjunto de un conjunto numerable es numerable
Teorema
Todo conjunto infinito contiene un subconjunto infinito nuemrable
Definicion
Sea {Ai }iI una familia de conjuntos siendo I un conjunto no
vacio. Podemos definir:
iI Ai = {x|x Ai , para algun i I}
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
Todo subconjunto de un conjunto numerable es numerable
Teorema
Todo conjunto infinito contiene un subconjunto infinito nuemrable
Definicion
Sea {Ai }iI una familia de conjuntos siendo I un conjunto no
vacio. Podemos definir:
iI Ai = {x|x Ai , para algun i I}
Se dice que {Ai }iI es disjunta dos a dos si verifica
i 6= j Ai Aj =
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
Todo subconjunto de un conjunto numerable es numerable
Teorema
Todo conjunto infinito contiene un subconjunto infinito nuemrable
Definicion
Sea {Ai }iI una familia de conjuntos siendo I un conjunto no
vacio. Podemos definir:
iI Ai = {x|x Ai , para algun i I}
Se dice que {Ai }iI es disjunta dos a dos si verifica
i 6= j Ai Aj =
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
Todo subconjunto de un conjunto numerable es numerable
Teorema
Todo conjunto infinito contiene un subconjunto infinito nuemrable
Definicion
Sea {Ai }iI una familia de conjuntos siendo I un conjunto no
vacio. Podemos definir:
iI Ai = {x|x Ai , para algun i I}
Se dice que {Ai }iI es disjunta dos a dos si verifica
i 6= j Ai Aj =
Teorema
Union numerable de conjuntos numerables es numerable.
Juan Manuel Rabasedas
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Dados dos conjuntos A y B se dice que B es subconjunto propio
de A si verifica B A 6=
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Dados dos conjuntos A y B se dice que B es subconjunto propio
de A si verifica B A 6=
Teorema
Un conjunto es infinito si y solo si es equipotente con alg
un
subconjunto propio de s mismol.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Dados dos conjuntos A y B se dice que B es subconjunto propio
de A si verifica B A 6=
Teorema
Un conjunto es infinito si y solo si es equipotente con alg
un
subconjunto propio de s mismol.
Teorema
El conjunto de los n
umeros reales no es numerable.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Dados dos conjuntos A y B se dice que B es subconjunto propio
de A si verifica B A 6=
Teorema
Un conjunto es infinito si y solo si es equipotente con alg
un
subconjunto propio de s mismol.
Teorema
El conjunto de los n
umeros reales no es numerable.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Sean y dos numeros cardinales. Se dice que es anterior a
y lo simbolizamos si, siendo A y B conjunto de cardinales
y respectivamente, se tiene que A es equipotente con una parte
de B.
Es decir
f : A C biyectiva y C B
f : A B inyectiva
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Definicion
Sean y dos numeros cardinales. Se dice que es anterior a
y lo simbolizamos si, siendo A y B conjunto de cardinales
y respectivamente, se tiene que A es equipotente con una parte
de B.
Es decir
f : A C biyectiva y C B
f : A B inyectiva
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
La relacion definida anteriormente es una relaci
on de orden en el
conjunto de todos los cardinales.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
La relacion definida anteriormente es una relaci
on de orden en el
conjunto de todos los cardinales.
Refelexiva, Antisimetrica y Transitiva.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
La relacion definida anteriormente es una relaci
on de orden en el
conjunto de todos los cardinales.
Refelexiva, Antisimetrica y Transitiva.
Teorema
0 transfinito o infinito no numerable.
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
La relacion definida anteriormente es una relaci
on de orden en el
conjunto de todos los cardinales.
Refelexiva, Antisimetrica y Transitiva.
Teorema
0 transfinito o infinito no numerable.
Del Teorema anterior surge la Hipotesis del Continuo formulada
por Georg Cantor
@ cardinal |0 < < c
Esta nos dice que no puede existir un cardinal transfinito que no
sea equipotente a N o a R
A partir de esta hipotesis comienza a llamarse 1 a c
Juan Manuel Rabasedas
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
La relacion definida anteriormente es una relaci
on de orden en el
conjunto de todos los cardinales.
Refelexiva, Antisimetrica y Transitiva.
Teorema
0 transfinito o infinito no numerable.
Del Teorema anterior surge la Hipotesis del Continuo formulada
por Georg Cantor
@ cardinal |0 < < c
Esta nos dice que no puede existir un cardinal transfinito que no
sea equipotente a N o a R
A partir de esta hipotesis comienza a llamarse 1 a c
Juan Manuel Rabasedas
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Lema
Sea A y B conjuntos tal que:
#(A) = 0 y #(A B) = 1 #(B) = 1
Demostracion:
B (A B)
#(B) 1
#(A B) = 1
si #(B) < 1 #(B) 0 #(A B) = 0 ABSURDO
Luego #(B) = 1
Cardinalidad
Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos
Teorema
Sea A un conjunto cualquiera luego se cumple la siguiente
desigualdad #(A) < #(P(A))
Cardinalidad