Académique Documents
Professionnel Documents
Culture Documents
Cardinalidad Finita
II.1. Cardinalidad
Definimos In para n ∈ N como
In = {k ∈ N : 1 ≤ k ≤ n}.
Es claro que ∼ es una relación de equivalencia. Para ver que “tener la misma
cardinalidad” y “la cardinalidad” están bien definidas queremos ver que
? A ∼ Im y A ∼ In implica que m = n, y
1
2 CAPÍTULO II. CARDINALIDAD FINITA
|A ∪ B| = |A| + |B|.
|B| = |B 0 | + 1. Por otra parte, se tiene que A y B 0 son disyuntos y |B 0 | < |B|.
Por lo tanto, por hipótesis de inducción, se tiene que
|A ∪ B 0 | = |A| + |B 0 | (∗)
|A ∪ B| = |(A ∪ B 0 ) ∪ {b}|
= |A ∪ B 0 | + |{b}| por el segundo caso base
= (|A| + |B 0 |) + 1 por (∗)
= |A| + (|B 0 | + 1)
= |A| + |B|.
f : A → {1, 2, 3 . . . , m}
g : B → {1, 2, 3 . . . , n}.
h : A ∪ B → {1, 2, 3 . . . , m + n}
de la siguiente manera,
f(x) si x ∈ A
h(x) =
g(x) + m si x ∈ B
Producto
La regla de producto en su forma básica establece que la cardinalidad de el
producto cartesiano de dos conjunto finitos es igual al producto de las cardi-
nalidades de los conjuntos. La regla es intuitivamente clara pero formalmente
se verifica por inducción usando la regla de la suma.
Prueba. Por inducción sobre |B|. En el caso base |B| = 0 se tiene que A×B = ∅;
por lo tanto |A × B| = 0 y también |A| · |B| = 0. En el caso base |B| = 1, sea
B = {b} y entonces la función
es biyectiva y prueba que |A × B| = |A|. Por tanto, dado que |B| = 1, se tiene
que |A × B| = |A| · |B|. Ahora consideramos B con |B| > 1. Entonces tomando
cualquier b ∈ B, tenemos B = B 0 ∪ {b} donde B 0 = B − {b}. Por hipótesis de
inducción
|A × B 0 | = |A| · |B 0 |.
Entonces de la igualdad
A × B = (A × B 0 ) ∪ (A × {b}),
|A × B| = |A| · |B 0 | + |A| · 1
= |A| · (|B 0 | + 1)
= |A| · |B|.