Professional Documents
Culture Documents
Introducci
on
Definiciones b
asicas
Definici
on 3.1. Sean A un conjunto e I un conjunto de ndices. Una familia
no vaca, P = {Ai |i I}, de subconjuntos no vacos de A, se denomina una
partici
on de A si, y solo si satisface:
1. Para todo i, j I: Ai = Aj o Ai Aj = .
S
2. iI Ai = A
Es decir A es union disjunta de los elementos de la particion.
Teorema 3.1. Sean A un conjunto no vaco, R y P las familias de todas las
relaciones de equivalencia y de particiones, respectivamente, sobre A. Entonces
existe una biyeccion de R en P.
Demostracion. Para una relacion de equivalencia R en A y un elemento a A
sea
[a]R = {x A|xRa}.
Sea ademas
A/R = {[a]R |a A}.
Es claro que si A es no vaco tambien lo es A/R. Mostremos que A/R P.
Si a, b A y [a]R [b]R 6= , existe un elemento x A tal que xRa y xRb, de
donde se sigue, por simetra y transitividad, que aRb. Por lo tanto
z [a]R zRa
zRb
z [b]R
lo que demuestra que [a]R = [b]R si [a]R [b]R 6= . Por otra parte es claro
(muestrelo en detalle) que
[
A=
[a]R .
aA
2)
=
=
=
=
..
.
=
{x| x 0 = 2k, k Z}
{2k| k Z}
{2(k + 1)| k Z}
[2](mod 2)
[2n](mod 2) , n Z
De manera similar se tiene que [1](mod 2) esta constituida por todos los enteros
impares y que [2k + 1](mod 2) = [1](mod 2) , para cada entero k. En definitiva,
se tiene
Z/ (mod 2) = {[0](mod 2) , [1](mod 2) }.
Ejemplo 3.2. Mas generalmente, para un entero positivo fijo n 1, la relacion
(denominada de congruencia m
odulo n) definida en Z por
x y(mod n) x y = nk para alg
un entero k,
6
b
6