Relaciones

Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos

Cardinalidad
Juan Manuel Rabasedas

10/03/2011

Juan Manuel Rabasedas

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}

Juan Manuel Rabasedas

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.

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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:

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:
Reflexiva

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:
Reflexiva Simetrica

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:
Reflexiva Simetrica Transitiva

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:
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}

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

Cardinalidad

Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos

Ejemplo
El conjunto P = {x N, x es par} es equipotente a N

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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 )

Juan Manuel Rabasedas

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 =

Juan Manuel Rabasedas

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 =

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

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
Teorema
La relacion de equipotencia es una relaci
on de equivalencia

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
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

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
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)

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)
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

Juan Manuel Rabasedas

Cardinalidad

Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos

Ejercicio
Probar que #() = {}.
Parea ellos probar que: Dado A 6= A

Convendremos llamar a esta clase de equivalencia 0

Juan Manuel Rabasedas

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}

Juan Manuel Rabasedas

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.

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

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 . . .

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
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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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}

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

Cardinalidad

Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos

Corolario
Sea A un conjunto tal que A N entonces A es infinito

Juan Manuel Rabasedas

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

Todo subconjunto de un conjunto finito es finito.

Juan Manuel Rabasedas

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

Todo subconjunto de un conjunto finito es finito.

Si un conjunto contiene un subconjunto infinito es infinito.

Juan Manuel Rabasedas

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

Todo subconjunto de un conjunto finito es finito.

Si un conjunto contiene un subconjunto infinito es infinito.

La union de dos conjuntos finitos es un conjunto finito.

Juan Manuel Rabasedas

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

Todo subconjunto de un conjunto finito es finito.

Si un conjunto contiene un subconjunto infinito es infinito.

La union de dos conjuntos finitos es un conjunto finito.

Si A es un conjunto infinito y F es un conjunto finito de A

resulta que A F es infinito.

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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.

Juan Manuel Rabasedas

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.

Juan Manuel Rabasedas

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.

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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.

Juan Manuel Rabasedas

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.

Juan Manuel Rabasedas

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.

Juan Manuel Rabasedas

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.

Juan Manuel Rabasedas

Cardinalidad

Relaciones
Equipotencia
Conjuntos Numerables
Propiedades de conjuntos numerables
Conjuntos Infinitos

Teorema
Todo subconjunto de un conjunto numerable es numerable

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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}

Juan Manuel Rabasedas

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 =

Juan Manuel Rabasedas

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 =

Juan Manuel Rabasedas

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=

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=
Teorema
Un conjunto es infinito si y solo si es equipotente con alg
un
subconjunto propio de s mismol.

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=
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.

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=
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.

Juan Manuel Rabasedas

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

Juan Manuel Rabasedas

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

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.

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.

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.

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

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

Juan Manuel Rabasedas

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))

Juan Manuel Rabasedas

Cardinalidad