MAT1206 - Introducción al Álgebra

Semana 11: 10, 11 y 15 de mayo de 2017

Resumen:

Un conjunto X es infinito si y solo si X es equipotente a un subconjunto propio de X.

Si X e Y son numerables, existe una biyección entre X e Y .

Si A y B son numerables, A ∪ B es numerable.

Ídea de la dem.: si A y B son disjuntos, pueden intercalarse los elementos de A con los de B. Para el
caso general, si A \ B es numerable entonces A ∪ B = (A \ B) ∪ B es numerable por ser unión de dos
numerables disjuntos. Si A \ B es finito, digamos A \ B = {a1 , a2 , . . . , an }, podemos considerar una
biyección ϕ : N → B y definir la biyección

f : N −→ A∪B
(
ak , k≤n
k 7→ .
ϕ(k − n), k>n

Si A y B son numerables A × B es numerable.

Si A es numerable, An es numerable.

Si A es numerable, todo subconjunto de A es finito o numerable.

Si existe una inyección desde un conjunto X hacia un conjunto numerable Y entonces

X es finito o numerable.

Q es numerable.

Si {An : n ∈ N} es una familia de conjuntos numerables, entonces ∪i∈N Ai es numerable.

R no es numerable.

Hipótesis del contı́nuo: si X es un subconjunto infinito de R, o bien |X| = |R| o

|X| = |N|. La hipótesis del contı́nuo es independiente de los axiomas estándar de la
teorı́a de conjuntos.

Teorema de Cantor-Schröder-Bernstein: si |X| ≥ |Y | y |Y | ≥ |X| entonces |X| = |Y |.

Es decir, si existe una inyección de X en Y y una inyección de Y en X, entonces existe
una biyección entre X e Y .

Dado cualquier conjunto X se tiene que |X| < |P(X)|.

1
Lecturas complementarias

El paraı́so de Cantor (R. Torreti).

La paradoja de Banach-Tarski (C. Ivorra).

Libros de teorı́a de conjuntos de K. Kunen y H. Enderton.