REPBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD PEDAGGICA EXPERIMENTAL LIBERTADOR

INSTITUTO DE MEJORAMIENTO PROFESIONAL DE MAGISTERIO
EL TIGRE ESTADO ANZOTEGUI

Relacione
s entre
conjuntos

Profesora: Integrantes:
Lcda. Lerida Evans Daz Yunilza CI: 15.015.346
Rodrguez Marlene CI: 8.468.526
Villarroel Rosimar CI: 22.860.501

El Tigre 10 junio del 2017

Introduccin:

En matemticas, el producto cartesiano de dos conjuntos es una operacin, que resulta

en otro conjunto, cuyos elementos son todos los pares ordenados que pueden formarse
de forma que el primer elemento del par ordenada, una relacin binaria sobre un
conjunto es transitiva cuando se cumple: siempre que un elemento se relaciona con otro
y este ltimo con un tercero, entonces el primero se relaciona con el tercero. Esto es:
Dado el conjunto A y una relacin R, esta relacin es transitiva si: a R b y b R c se
cumple a R o pertenezca al primer conjunto y el segundo elemento pertenezca al
segundo conjunto.
Esta relacin es de equivalencia porque: Es reflexiva: a - a = 0, que es mltiplo de M.
Es simtrica: si a - b es mltiplo de M, entonces b - a = -(a - b) tambin es mltiplo de
M. Es transitiva: sean k y l nmeros enteros tales que a - b = M k y b - c = M l.
Una relacin reflexiva o refleja es una relacin binaria R sobre un conjunto A, de
manera que todo elemento de A est relacionado consigo mismo. Una relacin de orden
es una relacin definida en un conjunto que verifica las propiedades reflexiva,
antisimtrica y transitiva. Cuando en un conjunto hayamos definido una relacin de
orden, diremos que el conjunto est ordenado con respecto a dicha relacin.
Las ordenes parciales ms comunes son las relaciones y en Z y N . Por esta razn
cuando se habla en general de un orden parcial R en un conjunto A, a menudo se usan
los smbolos o para R. Siempre que (A, ) sea un conjunto parcialmente ordenado
se usar el smbolo para indicar el orden inverso de de modo que (A, ) ser el
conjunto parcialmente ordenado dual.
Los Diagramas de Hasse son ciertos tipos que conjuntos ordenados (casi siempre no
lineales) que son especialmente fciles de graficar gracias a ciertas conversiones. A
primera vista parecera que m debera ser un elemento mximo, lo que no es siempre
cierto los elemento maximal es algo ms dbil. De hecho, pueden existir elementos
maximales sin que haya un mximo. La razn es que, en general, es slo un orden
parcial en P; si m es un maximal y p P, cabe la posibilidad de que ni p m ni m p,
con lo que m no sera mximo. Esto permite, adems, que haya ms de un elemento
maximal en un conjunto.
 PRODUCTO CARTESIANO DE DOS CONJUNTOS.

Antes de entrar de lleno en el establecimiento del significado producto

cartesiano, se hace necesario que procedamos a determinar el origen etimolgico de las
dos palabras que le dan forma:

-Producto deriva del latn, de productus, que es equivalente a producido y que es

fruto de la suma del prefijo pro-, sinnimo de hacia delante, y el adjetivo ductus,
que puede traducirse como guiado.

-Cartesiano, por su parte, de Cartesius que era el nombre en latn del filsofo francs
Ren Descartes, que fue el que dio forma al cartesianismo o dualismo cartesiano. Esta
doctrina o ideario vena a establecer, entre otras muchas cosas ms, que el ser humano
estaba compuesto de dos sustancias: la extensa y la pensante.

La nocin de producto cartesiano se emplea en el mbito de la matemtica, ms

precisamente en el campo del lgebra. El producto cartesiano revela una relacin de
orden entre dos conjuntos, constituyndose como un tercer conjunto.

En teora de conjuntos, el producto cartesiano de dos conjuntos es una operacin

que resulta en otro conjunto cuyos elementos son todos los pares ordenados que pueden
formarse tomando el primer elemento del par del primer conjunto, y el segundo
elemento del segundo conjunto.

El producto cartesiano de un conjunto A y de un conjunto B es el conjunto

constituido por la totalidad de los pares ordenados que tienen un primer componente
en A y un segundo componente en B
.
Ejemplos:

1. Si el conjunto A est formado por los elementos 3, 5, 7 y 9, mientras que el

conjunto B alberga los elementos m y r, el producto cartesiano de ambos
conjuntos es el siguiente:

A x B = {(3,m), (3,r), (5, m), (5,r), (7,m), (7,r), (9,r), (9,r)}

El producto cartesiano, por lo tanto, est formado por todos los pares ordenados
que se pueden formar a partir de dos ciertos conjuntos. Cada par ordenado se
constituye por dos elementos: el primer elemento pertenece a un conjunto y el
segundo elemento, al otro. Si seguimos con nuestro ejemplo, en el par
 ordenado (3, m), 3 es el primer elemento (corresponde al conjunto A) y m es el
segundo elemento (perteneciente al conjunto B).

2. Dados los conjuntos A = {1, 2, 3, 4} y B = { a , b }, su producto cartesiano es:

A B = {(1, a ), (1, b ), (2, a ), (2, b ), (3, a ), (3, b ), (4, a ), (4, b )}

Los elementos de A x B son pares ordenados. Cada par que se forma con un
elemento del conjunto A y uno del conjunto B, en ese orden, recibe el nombre de
par ordenado. Sus elementos se colocan entre parntesis, separados por coma.

Entonces:

El producto cartesiano de dos conjuntos cualesquiera A y B, ser un nuevo

conjunto, identificado como A x B , y consistir de un conjunto de parejas
ordenadas, (x, y), donde x pertenece al conjunto A e y pertenece al conjunto B.

3.

Tambin podramos decir que un par ordenado es una coleccin de dos objetos
distinguidos como primero y segundo, y se denota como ( a , b ), donde a es el
"primer elemento" y b el "segundo elemento".

4. Sean A = {x / x R1 < x 3 }y B = {x / x R-2 x < 2 }.

Su representacin geomtrica es:

 A x B es el conjunto de los puntos interiores al rectngulo PQRS y los puntos
que pertenecen a los segmentos PQ y QR.

5. Sean A = {x / x N1 x < 4}, B = {x / x R 1 x 3}.

Representar A x B en el plano cartesiano.

PROPIEDADES: REFLEXIVIDAD, SIMETRA, TRANSITIVIDAD,

ASIMETRA.

Reflexiva:
Una relacin R en un conjunto es reflexiva si y solo si la diagonal principal de la matriz
asociada a la relacin tiene nicamente unos. De la misma forma es Irreflexiva si tiene
solamente ceros.
Una relacin R en un conjunto A es reflexiva si (a, a) R para todas las a A, esto es, si
a R e para todas las a e A. Una relacin R en un conjunto A es irreflexiva si a R a para
toda a A.

Por consiguiente, R es reflexiva si cada elemento a e A est relacionado consigo mismo

y es irreflexiva si ningn elemento est relacionado consigo mismo.
Ejemplo:

1. Sea = [(a, a)\ a A], de modo que A es la relacin de igualdad en el conjunto

A. Entonces A es reflexiva, ya que (a, a) para todas las a e A.

2. Sea R = {(a, b) e A x A | a + b}, R es la relacin de desigualdad en el conjunto A.

Entonces R es irreflexible, ya que (a, a) R para todas las x A.

3. Sean A = {1, 2, 3}. y J = {(1, 1), (1, 2)}. Entonces A es reflexiva ya

(2,2) R y (.3,3) R. Por otra parte, R no es irreflexiva, ya que (1, l) R.

4. Sea A un conjunto no vaco. Sea R = A x A, la relacin vaca. Enlaces R no es

reflexiva, ya que (a, a) R para todas las a A (el conjunto vaco tiene
elementos). Sin embargo, R es irreflexiva.

Simetra y Asimetra:

Una relacin R en un conjunto A es simtrica si cuando a R b, entonces b R a. De esto

se sigue que R no es simtrica se tiene a y b A con a R b, pero b R a.

Una relacin R en un conjunto A es asimtrica si cuando a R b, entonces b Ra. De esto

se sigue que R no es simtrica si se tiene a y b e A con ambos a R b y b R a.

Una relacin R en un conjunto A es asimtrica si cuando a R b y b R a, entonces a = b.

Otra forma de expresar esta definicin es diciendo que R es anti simtrica si cuando a
b, se tiene a R b o b R a. De esto se sigue que R no es anti simtrica si se tiene a y b en
A. a b, y ambas a R b y b R a

Ejemplo Sea A = [a, b, c, d, e} y sea R la relacin simtrica dada por

R = {(a, b), (b, a), (a, c), (c, a), (b, c), (c, b), (b, e), (e, b), (e, a), (a, e), (c,a), (a,c)}
El grafo dirigido de R se muestra en la figura 2(a), mientras que en la figura
Grafo dirigido de R Grafo dirigido de R

Aparece el grado de R. Obsrvese que cada arista no dirigida corresponde a dos pares
ordenados en la relacin R.

A una relacin simtrica R en un conjunto A se le llamar conexa si existe una

trayectoria de cualquier elemento de A a cualquier otro elemento de A. Esto significa
sencillamente que el grafo de R est todo en una pieza. En la figura 3 se muestran los
grafos de dos relaciones simtricas. El grafo de la figura 3(a) est conectado mientras
que el de la figura 3(b) no lo est.
Relaciones Transitivas

Se dice que una relacin R en un conjunto A es transitiva si cuando a R b y b R e,

entonces a R c. Se sigue que R no es transitiva si y slo si se puede encontrar elemento
a, b y c en A tal que a R b y b R c, pero a R c.
Ejemplo: Sea A = Z el conjunto de los enteros y sea R la relacin considerada en el
ejemplo 2 Para ver si R es transitiva, se supone que a R b y b R c. Por consiguiente, a <
b; b < c. Entonces se sigue que a < c, por lo cual a R c. De aqu que R sea transitiva.

Una relacin R en un conjunto A es transitiva si y slo si satisface las siguientes

propiedades: Si existe una trayectoria de longitud mayor que 1 del vrtice a al vrtice b,
hay una trayectoria de extensin 1 de a a b (esto es, a est relacionada con b).
Establecido algebraicamente, R es transitiva si y slo si Rn R para todas las n 1.

Es posible caracterizar la relacin transitiva por su matriz MR = [mij] as:

si mij =1 y mjk = 1, entonces mik = 1

Para ver qu significa transitividad en trminos del grafo dirigido de una relacin, se
traducir esta definicin a trminos geomtricos.

Si se examinan los vrtices particulares a y c, las condiciones a R b y b R c

Ocurrirn si y slo si existe una trayectoria de longitud 2 de a a c, esto es, si y slo si a

R2 c. Es posible replantear la definicin de transitividad como sigue: Si a R2 c,
entonces a R c, esto es, R2 R (como un subconjunto de A x A)
RELACION DE ORDEN:

En matemtica y en lgica matemtica, especialmente en teora del orden y

lgebra abstracta, una relacin de orden es una relacin binaria que pretende formalizar
la idea intuitiva de ordenacin de los elementos de un conjunto
Decimos que una relacin binaria es de orden cuando cumple las propiedades
reflexiva, antisimtrica y transitiva. Cuando adems cumple la propiedad conexa,
diremos que el conjunto est totalmente ordenado, en caso contrario diremos que el
conjunto est parcialmente ordenado.
Por medio de una relacin de orden podemos establecer una ordenacin de un
conjunto a partir de un criterio. Aunque este criterio no tiene por que ser nico. Puede
que existan formas diferentes para ordenar el conjunto.

REPRESENTACIN DE LAS RELACIONES DE ORDEN

Como mencionamos en el artculo de ayer, todas las relaciones se pueden
representar de dos formas, utilizando el diagrama cartesiano o el diagrama sagital.
Cuando representamos una relacin de orden mediante el diagrama cartesiano,
obtenemos los puntos de la diagonal que divide al eje en dos, puntos de la forma (a,a) y
ningn punto para los valores en los que x<y. En cambio con el diagrama sagital cada
elemento est relacionado consigo mismo, y las puntas de las flechas solo tienen camino
de ida, no de vuelta.
EJEMPLO:
Representar la relacin R definida sobre el conjunto M={m,u,r,c,i,a} mediante el grafo:
R(M)={(m,m), (u,u);(r,r);(c,c);(i,i);(a,a);(m,u);(c,i);(i,a);(c,a)}
Y utilizando el diagrama sagital:
EJEMPLO:
La relacin ser mltiplo de sobre el conjunto de los nmeros naturales N, es una
relacin de orden.
Vamos a comprobar que se cumplen todas las propiedades:
1. Es reflexiva: ya que para todo elemento x, del conjunto N se cumple que xRx.
Por ejemplo: 2R2, ya que 2=21.
2. Es antisimtrica: Dados dos elementos cualesquiera se cumple que el uno est
relacionado con otro, pero no al contrario: xRy, pero x noR y. Por ejemplo: 4R2,
pero 2 noR 4.
3. Es transitiva: Si un nmero es mltiplo de otro, que a su vez es mltiplo de otro,
en entonces el primer nmero es mltiplo del litmo: xRy, e yRz, entonces xRx.
Por ejemplo: 18R9, 9R3, entonces 18R3.
4. Pero no se cumple la propiedad conexa, ya que dados dos elementos
cualesquiera, estos no tienen por qu estar relacionados. Por ejemplo: si
consideramos el 4 y el 5, entonces 4 noR 5, y adems 5 noR4.
Luego, la relacin ser mltiplo de no es una relacin de orden total, por tanto R(N) es
un conjunto parcialmente ordenado.

DIAGRAMA DE HASSE:
En matemticas, un diagrama de Hasse es una representacin grfica
simplificada de un conjunto parcialmente ordenado finito. Esto se consigue eliminando
informacin redundante. Para ello se dibuja una arista ascendente entre dos elementos
solo si uno sigue a otro sin haber otros elementos intermedios.
En un diagrama de Hasse se elimina la necesidad de representar:
Ciclos de un elemento, puesto que se entiende que una relacin de orden parcial es
reflexiva.
Aristas que se deducen de la transitividad de la relacin.
De dos miembros x e y de un conjunto parcialmente ordenado S que y sigue a x si x
y y no hay elemento de S entre x e y.
El orden parcial es entonces precisamente la clausura transitiva de la relacin de seguir.
El diagrama de Hasse de S se define como el conjunto de todos los pares ordenados (x,
y) tales que y sigue a x, es decir, el diagrama de Hasse se puede identificar con la
relacin de seguir.
EJEMPLO:
Concretamente, uno representa a cada miembro de S como un punto negro en la
pgina y dibuja una lnea que vaya hacia arriba de xa y si y sigue a x.
Por ejemplo, sea el conjunto A = {1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60} (todos
los divisores de 60). Este conjunto est ordenado parcialmente por la relacin de
divisibilidad. Su diagrama de Hasse puede ser representado como sigue:

Por ejemplo, en el diagrama de Hasse del poset de todos los divisores de un

nmero n, ordenados parcialmente por divisibilidad, n mismo est en el tope del
diagrama, el nmero 1 estara en el fondo, y los divisores ms pequeos (primos)
seguiran al elemento inferior.

Relacin con los Grafos:

Un diagrama de Hasse puede verse tambin como un grafo al que se le quitan
todos sus bucles y sus aristas que pueden deducirse con la propiedad transitiva y
propiedad reflexiva.
La dificultad de encontrar un buen diagrama de Hasse.
Las relaciones seguir a queda definida de modo nico a partir de la relacin de
orden inicial.
Esto hace que las aristas del diagrama de Hasse y los puntos que conectan
queden determinados tambin de forma nica. Pero existe un problema adicional:
encontrar una ubicacin adecuada para los vrtices que pueda reflejar alguna de las
simetras subyacentes. En este sentido, encontrar un buen diagrama es difcil.
 Se han propuesto varios algoritmos para dibujo de buenos diagramas, pero
hoy en da su construccin sigue basndose en una fuerte intervencin humana. De
hecho, incluso un humano necesita bastante prctica para elaborarlos.
Los siguientes ejemplos corresponden a diagramas de Hasse de una misma
relacin de orden:

ELEMENTOS DISTINGUIDOS: MAXIMALES, MINIMALES, PRIMERO Y

LTIMO:
 En matemticas, especialmente en teora del orden, un elemento maximal de un
conjunto parcialmente ordenado A es un elemento de A que no es menor que cualquier
otro. El trmino elemento minimal se define de manera dual. En la figura, dado el
conjunto A, los elementos e, h y j son maximales de A, los elementos a, c y e son
minimales, los elementos maximal y minimal no tienen por qu ser nicos en el
conjunto. Adems, el elemento e de la figura es maximal y minimal al mismo tiempo.

Sea (P, ) un conjunto parcialmente ordenado; m P es un elemento maximal de

P si el nico x P tal que m x es x = m.
La definicin de elemento minimal se obtiene reemplazando por .
Propiedades:
A primera vista parecera que m debera ser un elemento mximo, lo que no es
siempre cierto: la definicin de elemento maximal es algo ms dbil. De hecho, pueden
existir elementos maximales sin que haya un mximo. La razn es que, en general, es
slo un orden parcial en P; si m es un maximal y p P, cabe la posibilidad de que ni p
m ni m p, con lo que m no sera mximo. Esto permite, adems, que haya ms de un
elemento maximal en un conjunto.

Sin embargo, si m P es maximal y P tiene un mximo, se cumplir que mx(P)

m; por definicin de mximo se debe tener m mx(P) y por lo tanto m = mx(P); en
otras palabras, un mximo, si existe, es tambin el nico maximal.
 No es difcil ver que si es un orden total en P, las nociones de mximo y
maximal coinciden: sean m P un elemento maximal, y p P arbitrario; por la
condicin de orden total, o bien p m o bien m p; en el segundo caso se tendra p = m
por definicin de maximal, con lo cual p m, y por consiguiente, m = mx(P).
No siempre existen los elementos maximales, ni siquiera en el caso en que P est
totalmente ordenado.

EJEMPLOS:

Sea P = [0, [ R. Para todo m P se tiene x = m + 1 P pero m < x, con lo

que ningn m puede ser maximal.

Sea P = {q Q | 1 q 2}; puesto que la raz cuadrada de 2 no es racional, este

conjunto no tiene elemento maximal.

Sea A un conjunto con al menos dos elementos, y sea P = {{a} | aA},

parcialmente ordenado por inclusin. Todo elemento de P es a la vez maximal y
minimal, y para cualesquiera {a}, {b} P distintos, ni {a} {b}, ni {b} {a}
(con lo que no hay elemento mximo).

Sea P = {(x,y) R | 0 x 4, 0 y 4}, tomando (a, b) (c, d) si a c y b d.

Entonces P tiene un nico elemento maximal, (4,4), que a la vez es mximo.
Observaciones:

Los maximales y/o minimales pueden no existir.

Los maximales y/o minimales pueden no ser nicos.

Si el maximal es nico se le llama mximo o ltimo elemento (1A)

Si el minimal es nico se le llama mnimo o primer elemento.(OA ).

COTAS DE UN SUBCONJUNTO ORDENADO, SUPREMO, NFIMO:

El supremo de un conjunto A de nmeros es la menor de sus cotas superiores. Se

representa por sup A.
El nfimo es la mayor de sus cotas inferiores. Se representa por inf A.
En un intervalo del tipo A = (a, +) no hay supremo, pues no tiene cotas
superiores. Se dice entonces que sup A = +.
 En un intervalo del tipo A = (-, a ) no hay nfimo, pues no tiene cotas
inferiores. Se dice entonces que inf A = -.
Por ejemplo, en el conjunto A = {-1, 3, 5, -7, 0} formado por los cinco nmeros
que estn entre llaves, las cotas superiores son todos los nmeros mayores o iguales que
5 (que es el mayor de los nmeros del conjunto). El supremo ser la cota superior ms
pequea, o sea, el 5: sup A = 5. Las cotas inferiores son todos los nmeros menores o
iguales que -7 (que es el menor de los nmeros del conjunto). El nfimo ser la cota
inferior ms grande, o sea, el -7: inf A = -7.
En el intervalo [2, 9), las cotas superiores son los nmeros mayores o iguales
que 9. La menor de todas es el propio 9. As: sup [2, 9) = 9. Las cotas inferiores son los
nmeros menores o iguales que 2. La mayor es el 2: inf [2, 9) = 2.
En el intervalo (-, 7] el supremo es 7. No hay nfimo. As: sup (-, 7] = 7, inf
(-, 7] = -. En el intervalo (-3, +): sup (-3, +) = +, inf (-3, +) = -3.
El conjunto A = (2, +) U [-3, +) no tiene supremo ya que A = [-3, +) y no
hay cotas superiores. Tenemos: sup A = +. Adems: inf A = -3.
Cul de los siguientes conjuntos tiene a -1 de supremo? A) (-, 6) [3, 7) B) (- -7)
C) [-12, -8) U (-5, -1) D) (-10, 10) (-8,0).
El conjunto del apartado A es: (-, 6) [3, 7) = [3, 6), y el supremo es 6, no -1.
El intervalo del apartado B) tiene de supremo a -7. El conjunto de C) es: [-12, -8) U (-5,
-1) y est formado por la unin de todos los nmeros comprendidos entre -12 (incluido)
y -8 y los comprendidos entre -5 y -1. Las cotas superiores son todos los nmeros
mayores o iguales que -1 (que es el mayor nmero del conjunto). El supremo es -1. El
conjunto del apartado D) es: (-10, 10) (-8,0) = (-8, 0) tiene a 0 de supremo.

CONJUNTO TOTALMENTE ORDENADO:

En matemticas, un orden total, orden lineal, orden simple, o simplemente orden
en un conjunto X es una relacin binaria sobre X que es: reflexiva, transitiva,
antisimtrica, y total; esto es, si se denota una tal relacin por , lo siguiente vale para
cualesquiera a, b, y c en X:
Si a pertenece a X, entonces a a (reflexiva).
Si a b y b c, entonces a c (transitividad).
Si a b y b a, entonces a = b (antisimetra).
a b o b a (totalidad o completitud).
 La propiedad de totalidad de esta relacin se puede tambin describir como que
todo par de elementos son comparables bajo la relacin.
Por tanto, un orden total es un orden parcial que cumple la comparabilidad.
Un conjunto dotado de un orden total se denomina conjunto totalmente
ordenado, linealmente ordenado, simplemente ordenado, o cadena.
Ntese que la condicin de totalidad implica reflexividad, esto es, a a para
todo a X; por lo tanto, un orden total es tambin un orden parcial, esto es, una relacin
binaria reflexiva, antisimtrica, y transitiva. Un orden total, entonces, puede tambin
definirse como un orden parcial que sea "total", i.e. que cumpla con la condicin de
totalidad.
Como alternativa, se puede definir un conjunto totalmente ordenado como un
tipo particular de retculo, en el que se tiene {a b, a b} = {a, b} para cualesquiera a,
b. Se escribe entonces a b si y solo si a = a b. Se deduce que un conjunto totalmente
ordenado es un retculo distributivo.
Los conjuntos totalmente ordenados forman una subcategora completa de la
categora de conjuntos parcialmente ordenados, siendo los morfismos funciones que
respetan el orden, es decir, funciones f tales que si a b entonces f(a) f(b). Una
funcin biyectiva entre dos conjuntos totalmente ordenados que respete los dos rdenes
es un isomorfismo en esta categora.

CONJUNTO ORDENADA:
En teora de conjuntos, un conjunto bien ordenado es un conjunto no
vaco totalmente ordenado tal que todo subconjunto no vaco tiene un elemento mnimo.
Equivalentemente, puede decirse que un conjunto A es bien ordenado si es totalmente
ordenado y bien fundado.

Sea un conjunto no vaco y sea `` '' una relacin.

Se dice que es un ORDEN, o una RELACIN DE ORDEN, si cumple con las

siguientes propiedades:

Reflexividad:

.
Transitividad:

.
Antisimetra:
 .

En tal caso la estructura se dice ser un CONJUNTO ORDENADO.

RELACIN DE EQUIVAENCIA:
En teora de conjuntos y lgebra la nocin de relacin de equivalencia sobre un
conjunto, permite establecer una relacin entre los elementos del conjunto que
comparten cierta caracterstica o propiedad. Esto permite reagrupar dichos elementos
en clases de equivalencia, es decir, paquetes de elementos similares. Esto posibilita la
construccin de nuevos conjuntos aadiendo todos los elementos de una misma clase
como un solo elemento que los representar y que define la nocin de conjunto
cociente.

CLASE DE EQUIVALENCIA O RELACION DE EQUIVALENCIA:

En lgica de clases y anlisis matemtico, la relacin de equivalencia R define
subconjuntos disjuntos en K llamados clases de equivalencia: Dado un elemento a K,
el conjunto dado por todos los elementos relacionados con a definen la clase:

Se le llama la clase de equivalencia asociada al elemento:

Al elemento se le llama representante de la clase.

El concepto de clase de equivalencia tiene importancia en ciencia, dado un conjunto de
objetos o entidades abstractas (potencialmente infinitas), pueden establecerse relaciones
de equivalencia sobre la base de algn criterio, las clases resultantes son los "tipos" en
los que se puede clasificar toda la gama de objetos.

Conjunto cociente:
Al conjunto de todas las clases de equivalencia se denomina conjunto cociente y se
denota como:

Particin:
Una relacin de equivalencia sobre un conjunto induce una particin del mismo, es
decir, un conjunto en el que se ha definido una relacin de equivalencia puede ser
dividido en varios subconjuntos de elementos equivalentes entre s y tales que la
reunin de esos subconjuntos coincide con el conjunto entero. El siguiente teorema
expresa en trminos ms formales esa misma idea:
Proposicin: Una relacin de equivalencia en el conjunto no vaco K determina una
particin de este, y toda particin de K determina una relacin de equivalencia en este.

EJEMPLOS:
Sea N= {0,1,2, 3...}. Se define una relacin de equivalencia en NxN, como
sigue: (a;b)~ (c;d) si y slo si a+d = b +c. Esta es una relacin de equivalencia
en NxN y cada clase de equivalencia es un nmero entero. [(2;0)]= { (x;y)/ 2+y
= 0 + x } a (2;0) se llama representante cannico y se denota, simplificadamente,
2.

La igualdad matemtica.

La relacin de congruencia mdulo M en el conjunto de los nmeros enteros

donde se define es mltiplo de M.

Esta relacin es de equivalencia porque:

-Es reflexiva: a - a = 0, que es mltiplo de M.
-Es simtrica: si a - b es mltiplo de M, entonces b - a = -(a - b) tambin es
mltiplo de M.
-Es transitiva: sean k y l nmeros enteros tales que a - b = M k y b - c = M l.
Entonces, a - c = (a - b) + (b - c) = M k + M l = M(k + l) y por tanto un mltiplo
de M. En particular, si M = 2 tenemos la tradicional clasificacin de los nmeros
enteros en pares e impares.

Sea H un subgrupo de un grupo G. Definiendo para elementos del grupo

, tendremos la relacin de equivalencia llamada
congruencia mdulo H.

Definiendo, para elementos del grupo

se llama relacin de
conjugacin. Sus clases: clases de conjugacin. Las clases de equivalencia
reciben el nombre de rbita o clase de conjugacin.

CONJUNTO COCIENTE:

Antes de definir el conjunto cociente es importante conocer el espacio cociente

el cual se define como un trmino matemtico que hace referencia a cierta estructura
matemtica que se deriva de otra en la que se ha definido una relacin de equivalencia.
 De manera ms precisa, si X es una estructura matemtica en el que se define
una relacin de equivalencia ~, entonces el espacio cociente X/~ es la estructura
matemtica inducida en el conjunto de clases de equivalencia con las operaciones entre
clases de equivalencia obtenidas de manera cannica a partir de las correspondientes en
X.

Un caso muy comn se refiere al caso en que Y sea una subestructura de X (por
ejemplo, subespacio vectorial, subgrupo, subespacio topolgico, etc.) en cuyo caso el
espacio cociente de la relacin de equivalencia asociada se suele denotar como X/Y.

Si A es un conjunto y ~ una relacin de equivalencia, entonces las clases de

equivalencia forman una particin del conjunto A.

Las clases de equivalencia de la relacin integran entre s un nuevo conjunto,

denominado conjunto cociente y denotado A/~.

EJEMPLO:

Consideremos el conjunto A de personas en una oficina. La relacin:

Es una relacin de equivalencia en A e induce una particin de las personas de la

oficina en grupos separados dependiendo de su primer apellido.

Entonces el conjunto de primeros apellidos de personas de la oficina es el

conjunto cociente de las personas de la oficina entre la relacin de equivalencia.

Si, por ejemplo, en la oficina se encuentran las personas

{Juan Prez, Luis Garca, Carlos Prez, Manuel Gonzlez, Luis Martnez, Arturo
Garca}

Entonces las clases de equivalencia son:

[Prez] = {Juan Prez, Carlos Prez}

[Garca] = {Luis Garca, Arturo Garca}
[Gonzlez] = {Manuel Gonzlez}
[Martnez] = {Luis Martnez}
Y el conjunto cociente de dicha relacin de equivalencia es
EJEMPLO:

Si en el conjunto de los nmeros enteros Z se define la

relacin sea un mltiplo de 5, entonces las clases de
equivalencia son:

PARTICIN INDUCIDA:

En matemticas, una particin de un conjunto es una divisin del mismo en

subconjuntos disjuntos no vacos.

El concepto de particin es equivalente al de relacin de equivalencia: toda

relacin de equivalencia sobre un conjunto A define una particin de A, y viceversa.
Cada elemento de la particin corresponde a una clase de equivalencia de la relacin.

EJEMPLOS
Dado un conjunto no vaco X arbitrario, la familia P = {X} es una particin de
X.
Un conjunto con un slo elemento {x} tiene como nica particin a P = { {x} }.
El conjunto {1, 2, 3} tiene exactamente 5 particiones:
 Conclusin

El producto cartesiano revela una relacin de orden entre dos conjuntos,

constituyndose como un tercer conjunto. El producto cartesiano de un conjunto A y de
un conjunto B es el conjunto constituido por la totalidad de los pares ordenados que
tienen un primer componente en A y un segundo componente en B.
Una relacin reflexiva R en un conjunto si y solo si la diagonal principal de la matriz
asociada a la relacin tiene nicamente unos. De la misma forma es irreflexiva si tiene
solamente ceros. Por consiguiente, R es reflexiva si cada elemento a e A esta
relacionado consigo misma y es irreflexiva si ningn elemento est relacionado consigo
misma.
Una relacin R es un conjunto A es simtrica si cuando a R b, entonces b R a. de esto se
sigue que R no es simtrica se tiene a y b E A con a R b, pero b se relaciona con a.
Una relacin R en un conjunto A es asimtrica si cuando a R b y b se relaciona con a,
entonces a es igual a b.
Se dice que una relacin R en un conjunto A es transitiva si cuando a, se relaciona con b
e, entonces a se relacin con c. se sigue que R no es transitiva si solo si se puede
encontrar elemento a, b, c en A tal que a R b, b R c, pero a se R con c.
Una relacin R en un conjunto A es transitiva si solo si satisface las siguientes
propiedades. Si existe una trayectoria de longitud mayor que 1 del vrtice a al vrtice b,
hay una trayectoria de extensin 1 de a a b (esto es, a esta relacionada con b).
Establecido algebraicamente R es transitiva si solo si R n E R para todas las n mayor =
que 1.
La relacin de orden es una relacin binaria que pretende formalizar la idea intuitiva de
ordenacin de los elemento de un conjunto.
La relacin de orden en una relacin binaria que pretende formalizar la idea intuitiva de
ordenacin de los elementos de un conjunto. Decimos que una relacin de orden binaria
cuando cumple las propiedades reflexiva y antisimtrica.
El diagrama de hasse es una representacin grfica simplificada de un conjunto
parcialmente ordenado, finito. Se consigue eliminando informacin redundante. Para
ellos se dibuja una arista ascendente entre dos elementos solo si uno sigue al otro sin
haber otro elemento intermedio.
 Bibliografa:
http://matediscretasrelaciones.blogspot.com/2011/12/5_2124.html
https://es.wikipedia.org/wiki/Elemento_supremo_e_%C3%ADnfimo
http://matematica.laguia2000.com/general/relacion-de-orden#ixzz4j91QYI1F
https://es.wikipedia.org/wiki/Relacin_de_equivalencia
https://es.wikipedia.org/wiki/Elemento_maximal_y_minimal
https://es.scribd.com/doc/144025119/Diagrama-de-Hasse
 Videos:

https://www.youtube.com/watch?v=OXm78VzSUAQ
https://www.youtube.com/watch?v=0WhkU276vkI
https://www.youtube.com/watch?v=zPHVy4UJF6U
https://www.youtube.com/watch?v=L3rgqDYANYM