[Tema :].

ELEMENTOS DE LGEBRA ABSTRACTA

(Notas incompletas de clase)
Incompletas y por tanto, imperfectas
(c) 2011, Juanmiguel Len-Rojas. Esta obra, puedes copiarla y modicarla puedes alterarla, transformarla o crear nuevas obras a partir de ella (obras derivadas), distribuirla y
comunicarla pblicamente y hacer un uso comercial de ella.
Metalicencia Gratuidad Cristiana <http://gratuidadcristiana.blogspot.com/>(metalicencia de Creative Commons CC 0 y CC BY).
Aus dem Paradies, das Cantor uns geschaen, soll uns
niemand, vertreiben knnen. (Del paraiso, que Cantor nos
proporcion, nadie nos podr expulsar). David Hilbert. ber
das Unendliche (1925), pg. 274 de los Grundlagen der
Geometrie (7 ed., 1930).
Jams ha habido criaturas; slamente ha habido parejas.
Jean Giraudoux Sodoma y Gomorra.
j. Conjuntos, Aplicaciones y Relaciones
(v. 1.0-alpha2)
1
j.:. Conjuntos
.i.i. Generalidades
Denicin.i (Denicin primera de Cantor).-
En 1880, Cantor dene un conjunto como toda coleccin,
clase, agregado o totalidad M de objetos determinados y di-
ferenciados por la intuicin o el pensamiento (objetos que se
denominan elementos de M).
En 1901, Russell se encontraba escribiendo su obra Prin-
cipia Mathematica, cuando se dio cuenta que admitiendo como
denicin de conjuntos la anterior surgan paradojas en la teo-
ra.
Russell argumentaba as: Distinguimos dos clases de con-
juntos, los conjuntos R, que son elementos de s mismos, y
los conjuntos noR que no son elementos de s mismos. Sea
A = {todos los conjuntos noR}. Es A un conjuto R o un
conjunto noR? Pero si A es R entonces A es elemento de s
mismo, de donde, por denicin de A, A es noR (contradic-
cin). Por otro lado, si A es noR, entonces A no es elemento
de s mismo, de donde, por denicin de A, A es elemento de
A y por tanto A es R (contradiccin).
Teorema .i (Validez de la denicin primera de Can-
tor).-
Para que la denicin primera de Cantor sea vlida, (1) debe
poder asegurarse, de cada objeto, si pertenece o no al conjun-
to; (2) todos los objetos de un conjunto son distintos; (3) los
objetos del conjunto deben estar perfectamente determinados
antes de que se les considere reunidos para formar el conjunto.
Esta ltima condicin no permite que un conjunto sea ele-
mento de s mismo, y por tanto evita la antinomia de Russell.
Denicin.z.-
Dado un conjunto A, el hecho de ser a un elemento de A
se nota a A, y se lee a pertenece al conjunto A, o bien,
a es elemento de A.
Denicin..-
Un conjunto puede denirse de dos formas: por extensin,
enumerando todos sus elementos, y por comprensin, de-
niendo todos sus elementos mediante las propiedades que los
caracterizan.
Ejemplo .i.-
Si un conjunto es nito, podra denirse enumerando todos sus
elementos
2
, pero si es innito, en principio, es imposible ha-
cer sto. En este ltimo caso, podramos recurrir a la deni-
cin por comprensin: lo ms sencillo sera indicar el esquema
que siguen esos elementos por ejemplo, es fcil darse cuenta
que A = {2, 4, 6, 8, 10, 12, . . . } es el conjunto de los nmeros
pares, no obstante el problema surge cuando quien lo lee no
se da cuenta de la relacin. Para evitar esto, resulta ms con-
veniente escribir la propiedad que los caracteriza, as, A = {x :
x es natural y par }, o bien, A = {x N : y N, x = 2y}, o
bien, A = {(x N)(y N)(x = 2y)}.
Los conjuntos se representan entre llaves {}, y se notan con
letras maysculas, A, B, C . . .
Denicin.q.-
Dado un conjunto nito A, se denomina cardinal de A, y se
nota card(A), |A| o #(A), al nmero de elementos de A. (Aun-
que esta denicin deber ser revisada al tratar con conjuntos
innitos).
Denicin.j.-
Se dice que dos conjuntos A y B son iguales, y se nota A = B,
precisamente si contienen los mismos elementos.
Teorema .z.-
El orden de los elementos en un conjunto no importa;
{1, 2, 3} = {3, 1, 2}, an ms, la repeticin de uno o ms
elementos no hace que los conjuntos sean distintos, {1, 2, 3} =
{1, 2, 1, 3, 2}.
Denicin.6.-
Se denomina conjunto unitario al formado por un slo ele-
mento, por ejemplo {7}. Tambin se considera el conjunto que
no posee ningn elemento, se llama conjunto vaco y se no-
ta ; este conjunto suele denirse como aqul cuyos elementos
satisfacen una contradiccin, por ejemplo, = {x : x = x}.
Denicin..-
Se dice que A es subconjunto de B, y se nota, A B, precisa-
mente si todo elemento de A es elemento de B. Formalmente,
A B
def
x A x B. La relacin A B se lee A est
incluido o es igual a B.
Denicin.8.-
Si A B pero A = B, o sea, que al menos un elemento de B
no es elemento de A, se dice que A es subconjunto propio
de B, y se nota A B (A est incluido en B)
3
.
Teorema ..-
A B A B
Observacin.i.-
El recproco no es cierto, por ejemplo, sea A = {Juan}, y
B = {mximos acertantes en la Lotera}, y supongamos que se
ha celebrado el sorteo y que Juan B; mientras que no nalice
el recuento, slo podemos asegurar que A B, pues no sabe-
mos si Juan es el nico acertante, luego no podemos decir que
A B.
Observacin.z.-
Sean A = {x : x N x 10} y B = {1, 3, 5, 7}. Claramente,
B A, de donde A B. Estos smbolos tambin suelen escri-
birse al revs en realidad se trata de relaciones de orden y de
sus inversas ( cfr. 3.5.3), A B (A incluye a B). Ojo! con
lo anterior: B A no es equivalente a A B, pues, B A
implica A B, pero el recproco no es cierto, por ejemplo,
A = {1, 2, 3} B = {4, 5, 6} y tampoco, B A.
Observacin..-
Las relaciones de inclusin, representadas por los smbolos
y , deben entenderse como totalmente distintas de la rela-
cin de pertenencia . Por ejemplo, {2} {2, 3}, y tambin
{2} {2, 3}, pero no es cierto {2} {2, 3}, ni {2} {{2, 3}},
ni {2} {{2, 3}}, aunque s lo son las armaciones, 2 {2, 3},
{2} {{2}, {3}} y {{2}} {{2}, {3}}. El conjunto vaco es
1
Utilizamos una asignacin de versiones similar al clsico versionado de software cfr. http://es.wikipedia.org/wiki/Versin_de_software.
2
No obstante, obsrvese que la cuestin de fondo es disponer de un procedimiento efectivo de enumeracin de los elementos de un conjunto, sean
estos de la naturaleza que sean y sea el nmero de ellos, nito s, pero arbitrariamente grande.
3
Algunos leen como estar incluido y como estar incluido estrictamente o propiamente; nosotros seguimos la notacin de Haussdorf.
1
2 CAPTULO 3. CONJUNTOS, APLICACIONES Y RELACIONES
subconjunto de cualquier conjunto A, pero en general no es ele-
mento de A. Asmismo, es fcil comprender que x A
{x} A es tautologa.
Denicin.q (Redenicin de igualdad de conjuntos).-
Sean dos conjuntos A y B. Entonces:
A = B
def
(A B) (B A)
Teorema .q.-
Por esta redenicin, demostrar la igualdad de dos conjuntos,
es equivalente a demostrar la doble inclusin.
Observacin.q.-
Ntese el paralelismo existente entre las dos siguientes equi-
valencias en los dos mbitos:
A = B (A B) (B A)
A B (A B) (B A)
.i.z. Conjunto potencia
Denicin.io.-
Se denomina conjunto potencia de A (o conjunto de las
partes de A), al conjunto de todos los subconjuntos de A. Se
nota 2
A
o P
A
.
Teorema .j (Cardinal del conjunto potencia).-
Si |A| = n, entonces |2
A
| = 2
n
.
Demostracin. La haremos por induccin sobre n. (1) Para
n = 0, el nico conjunto es , cuyo nico subconjunto es ,
de donde, 2

= {}, que tiene 2

0
= 1 elementos. (2) Suponga-
mos que para todo conjunto con n = k elementos, su conjunto
potencia tenga 2
k
elementos. Consideremos un conjunto A con
n = k + 1 elementos; quitmosle uno, llammoslo x, el conjun-
to restante, A \ {x} tiene k elementos y su conjunto potencia
2
k
. Estos 2
k
elementos son todos los subconjuntos de A que no
contienen a x. El nmero de subconjuntos de A que contienen
a x es fcil hallarlo, son todos aquellos subconjuntos de A que
no contienen a x, introduciendo x en ellos, o sea, tambin 2
k
.
Por tanto, 2
A
tiene 2
k
+ 2
k
= 2(2
k
) = 2
k+1
elementos. De (1)
y (2), por induccin, obtenemos el teorema.
.i.. El lgebra de Boole de los conjuntos
Denicin.ii.-
El conjunto {x/x A x B}, se denomina conjunto dife-
rencia A menos B. Se nota por A\B o por AB. Obsrvese
que no es necesario que B A.
Denicin.iz.-
Sea B 2
A
, se denomina complementario de B en A, y no-
taremos B
c
al conjunto B
c
= {x : x Ax B}. Al conjunto
A se le denomina conjunto universal. Suele notarse por U al
conjunto universal, y a los subconjuntos de U, elementos de
2
U
, por las letras normales, A, B, C, . . . Otras formas de notar
al complementario de un conjunto dado A, son A

, A, C
U
A
(donde la U en el subndice indica el conjunto universal al que
se hace referencia) y U \ A. Si no hay duda en quien es U,
este no aparece en la notacin y simplemente notaremos A
c
al
complementario de A.
Teorema .6.-
Dados A, B 2
U
, se satisface: A \ B = A \ (A B) y
A\ B = A (U \ B).
Teorema . (Propiedades de la unin e interseccin).-
Sean A y B dos conjuntos. Se satisface:
a) Idempotentes: A A = A A A = A
b) Asociativas:

(A B) C = A B C)
(A B) C = A B C)
c) Conmutativas: A B = B A A B = B A
d) De simplicacin: A(AB) = A A(AB) = A
e) Distributivas:

A (B C) = (A B) (A C)
A (B C) = (A B) (A C)
4
f ) Complementacin: A A
c
= A A
c
= U
g) Elemento absorbente: A = A U = U
h) Elemento neutro: A U = A A = A
i) Leyes de Morgan:

(A B)
c
= A
c
B
c
(A B)
c
= A
c
B
c
j) Respecto de :

A B A B = A
A B A B = B
A B A B
c
=
A B A
c
B = U
A B B
c
A
c
Denicin.i.-
Se denomina diferencia simtrica de los conjuntos A y B,
y se nota AB, al conjunto AB =
def
(A\ B) (B\ A), esto
es, AB = {x A : x B} {x B : x A}.
Teorema .8.-
Sean A, B 2
U
. Se satisface:
a) AB = (A B) \ (A B)
b) AB = (A B) (C(A) C(B))
Teorema .q (Propiedades de ).-
Asociativa: (AB)C = A(BC)
Conmutativa: AB = BA
Elemento neutro: A = A
Elemento simtrico: AA =
Distributiva resp. de : A (BC) = (A B)(A C)
Denicin.iq.-
Sea el conjunto 2
U
de un conjunto universal U; en l estn de-
nidas las operaciones ver, ms adelante, el apartado estruc-
turas algebraicas interseccin, unin y complementacin. Se
dice que 2
U
con estas tres operaciones y vericando las propie-
dades de la unin e interseccin (a), . . . , (i) ( vid. supra teor.
3.7), posee estructura de lgebra de Boole. En resumen,
que la cuaterna (2
U
, , , ()
c
) es un lgebra de Boole.
.i.q. Particiones
Denicin.ij.-
Se denomina particin de un conjunto A a todo conjunto
de subconjuntos de A tales que, siendo disjuntos dos a dos,
su unin sea todo A. Esto es, {A
1
, A
2
, ..., A
n
} es particin de
A
def
(a) (b) (c), siendo:
a) i {1, ..., n}, A
i
A
b) i, j {1, ..., n}, i < j, A
i
A
j
=
c) A
1
A
2
... A
n
= A.
Denicin.i6.-
Si no se verica la segunda condicin, se dice que
{A
1
, A
2
, ..., A
n
} es un recubrimiento de A.
Denicin.i.-
Dadas dos particiones, P
1
y P
2
de un conjunto A, se dice que
P
1
es una particin ms na que P
2
(o que P
1
es un re-
namiento de P
2
) si cada conjunto de P
1
es un subconjunto de
algn conjunto de P
2
.
Ejemplo .z.-
Sean A = {a, b, c}, A
1
= {a, b} y A
2
= {b, c}. Entonces,
{A
1
, A
2
} no es particin A, aunque s recubrimiento.
.i.j. Producto cartesiano
Denicin.i8.-
Sean A y B dos conjuntos. Se denomina producto carte-
siano de A y B, y se nota A B, al conjunto A B =
{(x, y) : x A y B}.
Teorema .io (Propiedades).-
Dados tres conjuntos A, B, C:
a) absorbente: A = A = .
b) Distributiva respecto de la unin: A(B C) = (AB)
(AC)
c) Distributiva respecto de la interseccin: A (B C) =
(AB) (AC)
d) Distributiva respecto de la diferencia: A (B C) = (A
B) (AC)
4
Comparado por ejemplo con la arimtica ordinaria, que se satisfagan ambas distributivas puede sorprender, ya que en aquella solo se satisface la
primera, a saber: a(b + c) = ab + ac.
3.2. CORRESPONDENCIAS Y APLICACIONES 3
e) No asociativa: A (B C) = (A B) C (pues por de-
nicin de par ordenado, ((a, b), c) = (a, (b, c))).
f ) No conmutativa: AB = BA (pues por denicin de par
ordenado, (x, y) = (y, x)).
j.z. Correspondencias y aplicaciones
Denicin.iq.-
Una correspondencia del conjunto A al B es cualquier
subconjunto G del producto cartesiano A B. En este tro
(A, B, G), que conforma una correspondencia, a G suele deno-
minrsele grafo de la correspondencia. Las correspondencias
se suelen notar
5
f : A B, tal que a f(a) = b, donde a
es el elemento original o anti-imagen, b es la imagen de
a.
Denicin.zo.-
Destacan varios conjuntos: conjunto original o inicial A,
conjunto nal B, dominio de f, dom(f) = {x A :
y B, f(x) = y} y codominio, rango o imagen de f,
codom(f) = ran(f) = im(f) = f(A) = {y B : x
A, f(x) = y}, que no es ms que la imagen de dom(f) y en
denitiva la imagen de A, f(A).
j.j. Funciones y aplicaciones
..i. Conceptos bsicos
Denicin.zi.-
Una correspondencia f : A B es una funcin, precisamente
si x A, !y B, f(x) = y.
Denicin.zz.-
Una funcin f : A B es una aplicacin
6
, precisamente si
dom(f) = A.
Denicin.z.-
Sean A, B conjuntos y f, g : A B dos funciones tales que
dom(f) = dom(g). Entonces, se dice que f y g son iguales,
precisamente si a A, f(a) = g(a).
..z. Tipos de funciones
Denicin.zq.-
Sean A, B conjuntos y f : A B una funcin. Entonces, se
dice que:
a) f es inyectiva precisamente si todo elemento imagen lo es
exactamente de un nico elemento original, esto es, preci-
samente si a, b A, f(a) = f(b) a = b.
b) f es sobreyectiva precisamente si todo elemento del con-
junto nal es imagen de algn elemento del conjunto inicial,
esto es, precisamente si b B, a A, f(a) = b (en resu-
men, precisamente si im(f) = A).
c) f es biyectiva precisamente si es inyectiva y sobreyectiva.
Teorema .ii (Caracterizacin de la biyectividad).-
Sean A, B conjuntos y f : A B una funcin. Entonces:
f es biyectiva b B, !a A, f(a) = b.
... Composicin de funciones
Denicin.zj.-
Sean A, B, C conjuntos y f : A B y g : B C funciones
tales que im(f) dom(g). Se dene la composicin de f y g,
como g f : A C, (g f)(x) = g(f(x)).
Teorema .iz.-
Dados A, B, C conjuntos y f : A B y g : B C funciones
tales que im(f) dom(g), la composicin g f es una funcin:
la funcin compuesta de f y g.
Teorema .i (Propiedades).-
Sean A, B, C, D conjuntos y f : A B, g : B C y h : C
D funciones tales que im(f) dom(g) y im(g) dom(h). En-
tonces, se satisface:
a) h (g f) = (h g) f (asociatividad de ).
b) f, g inyectivas g f inyectiva.
c) f, g sobreyectivas g f sobreyectiva.
d) f, g biyectivas g f biyectiva.
Observacin.j.-
La composicin de funciones no es conmutativa.
..q. Funcin inversa o recproca
Denicin.z6.-
Si f : A B es biyectiva, puede hablarse de f
1
: B A, que
asocia a b el nico a tal que f(a) = b, y se denomina funcin
o aplicacin inversa (o recproca) de f.
Teorema .iq.-
f : A B es biyectiva f
1
: B A f
1
es biyectiva.
j.q. Multiconjuntos
Denicin.z.-
Dado un conjunto A, un multiconjunto es cualquier disposi-
cin no ordenada y con repeticin de elementos de A. En otras
palabras, se denomina multiconjunto al par ordenado (A, )
donde A es un conjunto y : A N una aplicacin que indi-
ca la multiplicidad de cada elemento A, esto es, el nmero de
veces que dicho elemento aparece en A.
No existe una notacin estndar, pero a veces se usa }{.
Ejemplo ..-
{(0, 0), (1, 1), (2, 2), (3, 3), . . . } como multiconjunto de conjunto
soporte A = N y funcin de multiplicidad : N N, f(n) = n,
que notamos por extensin: }1, 2, 2, 3, 3, 3, . . . {.
j.j. Relaciones
Denicin.z8.-
Dado un conjunto A, se dice que R es una relacin binaria
en A, precisamente si R es una correspondencia de A en A. Su
grafo es un subconjunto de A
2
. Cuando (a, b) R se dice que
a est relacionado con by se escribe aRb.
Denicin.zq.-
Dado un conjunto A, se dice que R es una relacin n-aria
en A, precisamente si R es una correspondencia de A
i
en A
j
,
siendo i, j Z
+
tales que i +j = n. Su grafo es un subconjunto
de A
n
. Si n = 2 se tiene una relacin binaria, si n = 3 una
relacin ternaria, si n = 4, cuaternaria, etc.
Denicin.o.-
Sea R una relacin binaria denida en A:
a) R es reexiva en A
def
a A, aRa;
b) R es antirreexiva en A
def
a A, aRa;
c) R es simtrica en A
def
a, b A, aRb bRa;
d) R es antisimtrica en A
def
a, b A, aRbbRa a =
b;
e) R es transitiva en A
def
a, b, c A, aRb bRc aRc;
f ) R es conexa en A
def
a, b A, aRb bRa;
g) R es asimtrica en A
def
a, b A, aRb bRa.
Ejemplo .q.-
a) Reexiva es la relacin de inclusin en el conjunto potencia
de cualquier conjunto; tambin lo son las relaciones y ,
en cualquier subconjunto de nmeros reales.
b) Antirreexiva es la relacin de perpendicularidad en el con-
junto de las rectas del plano; tambin lo son las relaciones
< y >, en cualquier subconjunto de nmeros reales.
c) Simtrica es la relacin de paralelismo en el conjunto de las
rectas del plano; tambin lo es la relacin = en cualquier
subconjunto de nmeros reales.
d) Antisimtrica es la relacin de divisibilidad en cualquier
subconjunto de nmeros enteros; tambin lo es la relacin
de inclusin en el conjunto potencia de cualquier conjunto
y las relaciones , , < y >, en cualquier subconjunto de
nmeros reales.
e) Transitiva es la relacin de inclusin en el conjunto potencia
de cualquier conjunto; tambin lo son las relaciones , ,
< y >, en cualquier subconjunto de nmeros reales y la de
5
Parece que el uso y la notacin de las funciones se la debemos a Leibniz (Gottfried Wilhelm, 1646-1716) y a Euler (Leonhard, 1707-1783).
6
En el mbito del Anlisis Matemtico y del Clculo, a las aplicaciones se les denomina funciones totales. A veces, para insistir en el carcter
no total de una funcin se dice que es una funcin parcial.
4 CAPTULO 3. CONJUNTOS, APLICACIONES Y RELACIONES
divisibilidad en cualquier subconjunto de nmeros enteros;
no lo es, por ejemplo, la relacin de perpendicularidad en el
conjunto de las rectas del plano.
f ) Asimtrica son las relaciones < y >, en cualquier subcon-
junto de nmeros reales; no lo es la relacin de inclusin
en el conjunto potencia de cualquier conjunto de cardinal
mayor que 1.
g) La relacin ser hermano de es antirreexiva (nadie es
hermano de s mismo), simtrica (si A es hermano de B,
entonces B es hermano de A) y transitiva (si A es her-
mano de B, y B es hermano de C, entonces A es hermano
de C). Esta relacin es un ejemplo de orden parcial estricto
simtrico vid. infra Def. 3.35.
En la tabla siguiente se muestra una tipologa mayor de
relaciones binarias.
Propiedades de una relacin binaria
Reexiva (R) (a C)(aRa)
Irreexiva (I) (a C)(aRa)
Simtrica (S) (a, b C)(aRb bRa)
Asimtrica (A) (a, b C)(aRb bRa)
Antisimtrica (An) (a, b C)(aRb bRa a b)
Transitiva (T) (a, b, c C)(aRb bRc aRc)
Idempotencia (Id) (a, b, c C)(aRb bRc aRc)
Negativamente transitiva (nT) (a, b, c C)(aRb bRc aRc)
Serial (Se) (a C)(b C)(aRb)
Direccin (Di) (a, b C)(c C)(cRa cRb)
Contradireccin (Cdi) (a, b C)(c C)(aRc bRc)
Euclidea (E) (a, b, c C)(aRb aRc bRc)
Proyeccin
7
(F) (a, b, c C)(aRb aRc b c)
Proyeccin C
C
(Fc) (a C)(!b C)(aRb)
Asignacin (As) (a, b, c C)(bRa cRa b c)
Dbilmente densa (D) (a, b C)(aRb (c C)(aRc cRb))
Dbilmente dirigida (Dd) (a, b, c C)(aRb aRc (d C)(bRd cRd))
Completitud dbil (Cd) (a, b, c C)(aRb aRc bRc cRb b c)
Completitud (C) (a, b C)(a b aRb bRa)
Completitud fuerte (Cf) (a, b C)(aRb bRa)
Relacin de Ferrers (Fe) (a, b, c, d C)(aRb cRd aRd cRb)
Semi-transitiva (St) (a, b, c C)(aRb bRc (d C)(aRd dRc))
Trivialidad (Tr) (a, b C)(aRb)
Vacuidad (V) (a, b C)(aRb)
Tabla 3.1: Propiedades frecuentemente satisfechas por una relacin
binaria R denida sobre un conjunto no vaco C.
El siguiente teorema ofrece una coleccin de interrelaciones
entre algunas de las propiedades listadas en la tabla anterior.
Teorema .ij.-
Si R es una relacin binaria denida en un conjunto no vaco
C, entonces:
a) Si R es reexiva, entonces R es serial.
b) Si R es reexiva, entonces R es euclidea si y slo si R es
simtrica y transitiva.
c) Si R es reexiva y euclidea, entonces R es simtrica.
d) Si R es reexiva y euclidea, entonces R es simtrica y tran-
sitiva.
e) Si R es irreexiva, transitiva y fuertemente completa, en-
tonces R es negativamente transitiva.
f ) Si R es simtrica y transitiva, entonces R es euclidea.
g) Si R es simtrica, transitiva y serial, entonces R es reexi-
va.
h) Si R es simtrica y euclidea, entonces R es transitiva.
i) Si R es asimtrica, entonces R es irreexiva y antisimtrica.
j) Si R es asimtrica y negativamente transitiva, entonces R
es transitiva.
k) Si R es transitiva, entonces ser R asimtrica equivale a ser
R irreexiva.
l) Si R es una proyeccin, entonces R
1
(la inversa o dual de
R) es una asignacin, y viceversa.
m) Si R es fuertemente completa, entonces R es reexiva y
completa.
.j.i. Relaciones de equivalencia
Denicin.i.-
Se dice que R A A es una relacin de equivalencia en
A
def
R es reexiva, simtrica y transitiva en A. De un par
de elementos de A relacionados por una tal R se dice que son
equivalentes, y dependiendo de las circustancias tambin se
dice que son semejantes, congruentes o isomorfos.
Las notaciones ms frecuentes por las que se expresa la equi-
valencia de dos elementos son a b, a b, a

= b, a b, a b,
a b.
Denicin.z.-
Se denomina clase de equivalencia de un elemento a A,
y suele notarse [a], al conjunto de todos los elementos de A
relacionados con a, esto es, [a] = {b A : aRb}. En cada cla-
se se destaca un elemento al que se denomina representante
cannico de la clase de equivalencia. Se denomina conjunto
6
Jess Mostern (1984) Conceptos y teoras en la Ciencia. Alianza, Madrid (Cap. 10) discute la relacin entre las propiedades de proyeccin
y asignacin, las posibles deniciones de composicin de relaciones binarias, las consecuentes deniciones de funcin y la relacin de todo ello con
nuestro lenguaje natural. Si R S se dene como (a, b C)(a(R S)b (c C)(aSc cRb) en desacuerdo con nuestro lenguaje natural (sea
por ejemplo R ser hermano de y S ser padre de, queriendo R S expresar la relacin ser to de, que en nuestro lenguaje natural signica ser
hermano del padre de), entonces, para funciones, (f g)(x) = f(g(x)) de acuerdo con nuestra intuicin matemtica; sin embargo, si R S se
dene como (a, b C)(a(R S)b (c C)(aRc cSb) de acuerdo con nuestro lenguaje natural, entonces, para funciones, (f g)(x) = g(f(x))
en contra de nuestra intuicin matemtica. Esperando que haya interesado al lector esta pequea resea se le remite al mencionado captulo 10 de
esta obra.
3.6. EJERCICIOS 5
cociente de la relacin R, y suele notarse
A

R
, al conjunto
de todas las clases de equivalencia.
Teorema .i6.-
A

R
es una particin de A, y es por ello por lo que se dice que
R clasica los elementos de A.
Ejemplo .j.-
Imaginemos una piscina P llena de bolas blandas de colores.
Consideremos la relacin ser del mismo color que. Esta rela-
cin es de equivalencia en P. Imaginemos ahora que reunimos
las bolas del mismo color en bolsas. Tenemos as la bolsa de
bolas de color rojo, la bolsa de bolas de color verde, etc. Ele-
gimos una bola de cada bolsa y la adherimos por fuera con el
objetivo de que cada bolsa quede identicada. Cada una de es-
tas bolsas es una clase de equivalencia y la bola que la identica
su representante cannico. La reunin de todas las bolsas es el
conjunto cociente.
.j.z. Aplicaciones y relaciones de equivalencia
Denicin..-
Se denomina aplicacin cannica o natural a una aplica-
cin de A en
A

R
que hace corresponder a cada elemento de
A su clase de equivalencia.
Teorema .i.-
La aplicacin natural es sobreyectiva y no inyectiva.
.j.. Relaciones de orden
Otto Neugebauer le reri al autor la siguiente le-
yenda acerca de Einstein. Parece ser que Einstein fue
un nio tardo en hablar, lo cual, naturalmente, tena
preocupados a sus padres. Finalmente, un da, durante
la cena, rompi a hablar, con la siguiente frase: Die
Suppe ist zu heiss (La sopa est demasiado caliente).
Sus padres se sintieron muy aliviados, pero enseguida le
preguntaron por qu no haba hablado hasta entonces.
He aqu su respuesta: Bisher war Alles in Ordnung
(Hasta ahora todo estuvo en orden).
Philip J. Davis y Reuben Hersh (1989) Experiencia
matemtica. MEC-Labor, Madrid-Barcelona (p. 132)
Denicin.q.-
Se dice que R A A es una relacin de preorden en
A
def
R es reexiva y transitiva en A.
Denicin.j.-
Se dice que R es de orden parcial en A
def
R es reexi-
va, antisimtrica y transitiva en A. R es de orden parcial
estricto en A
def
R es antirreexiva y transitiva en A.
Denicin.6.-
Se dice que R es un orden total o lineal en A
def
R es un
orden parcial y conexa en A.
La notacin habitual para un orden es , y para un orden
estricto <; de todas formas, dado un conjunto ordenado (A, ),
cuando para dos elementos de A se escribe a < b, debe enten-
derse que a est relacionado con b (a b) siendo a = b; si se
escribe a b, debe entenderse que b a y si se escribe a > b,
debe entenderse que b < a. El hecho a b tambin se lee a
es anterior a b, o bien, b es posterior a a(algunos autores
dicen que a es descendiente de b o bien, que b es ascendiente de
a). a < b lo podemos leer a es anterior estricto a b. Caso
de que a < b y no exista c A tal que a < c < b se tiene que a
es el inmediato anterior de b (su hijo).
La Tabla 3.2 ?? muestra los nombres de tipos de ordenacio-
nes bastante frecuentes.
Relacin\Propiedad R I S A An T nT C Cf Fe St
Preorden parcial (casi orden)
Preorden (orden dbil)
Preorden estricto
Orden parcial
Orden parcial estricto
Orden lineal
Orden lineal estricto
Orden de intervalos
Orden estricto de intervalos
Semiorden
Semiorden estricto
Tabla 3.2: Diferentes nombres de ordenaciones, segn las
propiedades que satisfagan. El signicado de las abreviaturas de los
nombres de las propiedades puede consultarse en la tabla 3.1 ??.
Puede que otros autores denan estas relaciones atendiendo a otras
propiedades, debido a equivalencias entre ellas. Por ejemplo, como
toda relacin transitiva es asimtrica si y slo si es irreexiva,
tambin podemos denir un orden parcial estricto en un conjunto,
como una relacin irreexiva y transitiva en l. Se conoce mucho
sobre todas estas relaciones. Por ejemplo: si es un preorden lineal,
entonces, es un preorden y es una equivalencia; si es un orden
lineal, entonces, es un orden lineal estricto; si es un orden de
intervalos, entonces, es transitiva; etc.
Fuente: Elaboracin propia.
Ejemplo .6.-
. . .
j.6. Ejercicios

.i .- Proporcione un ejemplo de tres conjuntos A, B y C ta-

les que A B, B C y A C.

.z .- Sean A = y A
1
, A
2
, A
3
A, tales que A
1
A
2
,
A
2
A
3
y A
3
A
1
. Demuestre que A
1
= A
2
= A
3
.

. .- Sean A y B dos conjuntos cualesquiera. Demuestre que:

A B
c
A B = A\ B = A A B
c
= B
c
.

.q .- Sean A y B dos conjuntos cualesquiera. Es {AB, A\

B, B \ A} una particin de A?

.j .- Sean A = {x Z : x 0} y B = {x Z : x < 0}.

Demuestre que {A, B} es una particin de Z.

.6 .- Es toda relacin binaria una aplicacin? Es toda apli-

cacin una relacin binaria?

. .- Una relacin binaria R, denida en un conjunto A, no

6 CAPTULO 3. CONJUNTOS, APLICACIONES Y RELACIONES
vaco, es simtrica y transitiva en A y tal que x A, y
A, xRy. Es R reexiva en A?

.8 .- Estudie la relacin binaria denida por nRm n

2
=
m
2
en el conjunto de los nmeros naturales N.

.q .- Demuestre que la siguiente relacin denida en R es de

equivalencia: x, y R, xRy x
3
y
3
= x y.

.io .- Se dice que una relacin R denida en un conjun-

to A es una relacin circular precisamente si a, b, c
A, aRb bRc cRa. Demuestre que toda relacin de equi-
valencia es circular.

.ii .- Sea R una relacin binaria denida en un conjun-

to A. Demuestre que H C
1
C
2
, siendo H R es de
equivalencia en A, C
1
(a A)(x A)(xRa), C
2

(a, b, c A)(aRb aRc bRc).

.iz .- Sea {A
1
, A
2
, . . . , A
n
} una particin de A = . Dena
una relacin R de equivalencia en A, de forma que
A

R
=
{A
1
, A
2
, . . . , A
n
}.

.i .- Sea A = {0, 1, 2}. En 2

A
se dene la relacin binaria
R: A, B 2
A
, ARB A\ B = B \ A. Es R de equivalencia
en 2
A
?

.iq .- Sea el conjunto A = {divisores naturales de 30}.

En A se dene la relacin binaria R: x, y A, xRy
x es divisor de y.
a) Demuestre que R es una relacin binaria de orden parcial y
represntela grcamente mediante un diagrama de Hasse.
b) Halle los elementos destacados (cotas, minimales, maxima-
les, nmo, supremo, mnimo, mximo) del conjunto B =
{3, 5, 15} A.
c) Halle los elementos destacados de A (observe que A
N \ {0} y que {N \ {0}, R} est parcialmente ordenado).

.ij .- Sea n N\{0}. Considere la relacin binaria denida

por: aRb a b es mltiplo de n. Estudie si es una relacin
de equivalencia y en su caso halle el conjunto cociente.

.i6 .- Sea R

= R \ {0}. En R

se dene la relacin
binaria: (a, b)R(c, d)
def
a d
2
= c b
2
.
a) Demuestre que R es de equivalencia.
b) Calcule [(1, 5)].
c) Demuestre que (a, b)R(c, d) !k R

, a = kcb =

kd.

.i .- Sean A = {1, 2, 3} y la relacin R en 2

A
, denida por
X, Y 2
A
, XRY f : X Y, biyectiva.
a) Es R de equivalencia en 2
A
?
b) En caso armativo, halle la clase de equivalencia de X 2
A
y el conjunto cociente.

.i8 .- Es posible que exista un conjunto A donde la relacin

binaria R, denida por a, b A, aRb a
b
= b
a
, sea relacin
de equivalencia y de orden?

.iq .- Existe algn subconjunto A de R donde la relacin

binaria denida por a, b A, aRb 7 + a = 7b sea relacin
de equivalencia?

.zo .- Considere la relacin binaria: (a, b), (c, d) N

N, (a, b)R(c, d) (2a + 1)2
d
(2c + 1)2
b
. Demuestre que es
una relacin de orden en N N.

.zi .- Se dene en R
2
la siguiente relacin binaria:
(a, b), (c, d) R
2
, (a, b) (c, d)

a = c a < c
a = c b d
. Se
sabe que es una relacin de orden. Es de orden total?

.zz .- Sea P una relacin binaria de preorden, denida en

un conjunto A. Se dene en A la relacin R: x, y A, xRy
(xPy) (yPx).
a) Demuestre que R es de equivalencia en
A

R
.
b) En
A

R
se dene la relacin S: [x], [y]
A

R
, [x]S[y]
xPy (siendo x [x], y [y]). Demuestre que S es una
relacin de orden en
A

R
.
c) Se puede asegurar que S es de orden parcial o que es de
orden total?

.z .- Sea A = . Sea R una relacin binaria de orden en A.

Demuestre que, caso de que exista un mximo en A para R, tal
mximo es nico.

.zq .- Sea ORD(N) la clase de todas las relaciones de or-

den en N. Se dene en ORD(N) la relacin : O
1
, O
2

ORD(N), O
1
O
2
O
1
O
2
.
a) Qu signica una inclusin entre relaciones?
b) Demuestre que es una relacin binaria de orden en
ORD(N).
c) Sea A ORD(N), A = {O
1
, O
2
, O
3
}, siendo:

.zj .- Sea n N \ {0}. En R se dene la siguiente relacin

binaria: x, y R, xR
n
y 7
xy
es mltiplo de n.
a) Si n = 1, es R
n
de equivalencia o de orden?
b) Puede ser R
n
de equivalencia o de orden para algn n = 1?
En caso armativo, hllense todos los n posibles.

.z6 .- Sea A = . Se dice que una aplicacin f : A A es

una involucin precisamente si f f es la identidad en A.
Sean a, b R. Entre las aplicaciones f : R R, denidas por
f(x) = ax +b, encuentre las que son involuciones.

.z .- Considere las aplicaciones f : ZZ Z, denida por

f(x, y) = x y y g : Z Z Z, denida por g(x) = (x, x).
a) Demuestre que f es sobreyectiva y g es inyectiva.
b) Es f g inyectiva? Es f g sobreyectiva?
c) Es g f inyectiva? Es g f sobreyectiva?

.z8 .- Sean A = {1, 2, 3, 4}, B = {1, 2} y f : 2

A
2
A
, tal
que X 2
A
, f(X) = X \ A.
a) Demuestre que f es una aplicacin.
b) Demuestre que X, Y 2
A
, f(X Y ) = f(X) f(Y ).
c) Demuestre que X, Y 2
A
, f(X Y ) = f(X) f(Y ).
d) Es f inyectiva?
e) Es f sobreyectiva?

.zq .- Sean f : R R y g : R R dos aplicaciones. (a) Si

f y g son ambas crecientes en R, es f g creciente en R? (b)
Si f y g son ambas decrecientes en R, es f g decreciente en
R?
j.. Nombres propios
. . . .
Ms nombres propios y biografas, en:
http://www-groups.dcs.st-andrews.ac.uk/~history/
http://plato.stanford.edu/
j.S. Para saber ms
. . .
j.q. Apndice: Lo bsico en GNU Octave
. . .