Particiones

Definicin 124 (Particin) Sea

1.

un conjunto.

es una particin de

si y slo si:

2.

3. Los conjuntos de

son disyuntos 2 a 2, es decir, si

entonces
Observe que si

.
es una particin de

, entonces todo elemento de

est en uno y

slo un elemento
, de modo que parte a
en conjuntos disyuntos. Por
ejemplo, el conjunto de barriles propuesto al comienzo de la seccin es una particin del
conjunto de mangos. Otro ejemplo de una particin es de la divisin poltica de un pas:
El pas (visto como un conjunto de personas) se parte en estados o departamentos no
vacos disyuntos entre s.

Ejemplo 125 Sea

. Entonces
es una particin de

elementos externos (

), elementos semi-externos (

en tres conjuntos:
) y elementos internos (

). Note que

no es particin de

(por qu?).
Como lo habamos insinuado, resulta que toda relacin de equivalencia determina de
manera natural una particin:

Teorema 126 (Relacin de equivalencia

una relacin de equivalencia sobre
Demostracin. [Prueba]

Sea

. Veamos que
, luego

1.

particin) Sea
. Entonces

es una particin de

un conjunto no vaco, y

es una particin de

. Como existe

. Adems:

: Esto se tiene pues si

, entonces

2.

: Si

, existe

. Para la otra inclusin, si

tal que

, y esto implica

, entonces

, e.d.,

.
3. Los elementos de
lema 123,

Figura 5.1: Si

son disyuntos 2 a 2: Si

, por el

son disyuntos.

es una relacin de equivalencia sobre

una particin de .

La figura 5.1 ilustra el teorema anterior: en ella,

mientras que la particin

conjunto no vaco,

es un conjunto de
tiene tan slo

es

elementos,

elementos.

La moraleja es: toda relacin de equivalencia sobre

``genera'' una particin sobre
Como veremos a continuacin, el fenmeno inverso ocurre tambin: toda particin
genera de manera natural una relacin de equivalencia:

Teorema 127 (Particin

relacin de equivalencia) Dada

defina en

as:

la relacin

una particin de

si y slo si existe $S #in;P$ tal que

Entonces

es una relacin de equivalencia.

Demostracin. [Prueba]
Sea

. Verifiquemos que

es reflexiva, simtrica y transitiva:

1. Reflexividad: Sea

. Como

Entonces

, luego

2. Simetra: Si

, existe

. Como

tal que

.
tal que

, y esto prueba que

3. Transitividad: Suponga

, existe

, que es lo mismo que decir

.
y

, y sean

tales que

es una particin y

, y esto prueba que

, de modo que

Los teoremas anteriores nos permiten pensar en particiones como relaciones de

equivalencia y viceversa. Adems las traducciones dadas son mutuamente inversas:

Teorema 128 Para

equivalencia sobre
(a)

un conjunto,

una particin de

relacin de

.
(b)
.
Demostracin. [Prueba]Demostramos (a) y (b) por doble inclusin:
(a)
``

'': Sea

, y sea

pore doble inclusin: si

algn
inclusin, si
``

'': Sea

lector) que

tal que

, entonces

. Entonces

, luego

, entonces
. Tome

. Veamos que
, luego

, y as
, luego

para
. Para la otra

, es decir,

(por qu existe?); es fcil verificar (se deja al

, luego

(b)
Mostramos que para todo

si y slo si

El lector debe ser capaz de justificar claramente cada una de las anteriores
equivalencias.

Finalmente introducimos la nocin de conjunto de representantes de una particin:

Definicin 129 (Conjunto de representantes) Sea

que

es un conjunto de representantes de
para algn

una particin de

si y slo si

. Diremos

y para todo

Como su nombre lo indica, un conjunto de representantes est formado por exactamente

un elemento (representante) de cada elemento de la particin. La anterior definicin
puede darse tambin pensando en relaciones de equivalencia: es un conjunto de
representantes para la relacin de equivalencia (sobre ) si y slo si es un
conjunto de representantes de

. Veamos algunos ejemplos.

Ejemplo 130 (Conjuntos de representantes)

1.

es un conjunto de representantes para la relacin

2. Para la relacin
,

sobre
,

3. Para la relacin

, los siguientes son conjuntos de representantes:

,

, etc.

un conjunto de representantes es el siguiente: dado

, escoja un

tal que

. El conjunto

es un conjunto de representantes para

, si

, entonces

. Pero entonces
claro que

, de modo que

: para

para un

, luego

. Adems es
.

El lector podr notar que si

``poseen el mismo tamao''.

es un conjunto de representantes de

, entonces