Universidad Fermín Toro

Facultad de Ingeniería en Mantenimiento Mecánico

Sede Cabudare

Relaciones de Orden y de Equivalencia

Alumno
Ruben Meza
Cedula
24409605

Cabudare, 15 de septiembre de 2019

 Relaciones de Orden

Una relación de orden o más conocida como "Orden en R" es una

relación binaria que pretende formalizar la idea intuitiva de ordenación de los
elementos de un conjunto, es decir, que ayuda a la creación del orden del
mismo.

Decimos que una relación binaria es de orden cuando cumple las

propiedades reflexiva, antisimétrica y transitiva. Cuando además 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 relación de orden podemos establecer una ordenación
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.

Sea A un conjunto dado no vacío y R una relación binaria definida en A,

entonces se dice que R es una relación de orden
- Reflexiva: Todo elemento de A está relacionado consigo mismo.
- Antisimétrica: Si dos elementos de A se relacionan entre sí,
entonces ellos son iguales.
- Transitiva: Si un elemento de A está relacionado con otro, y ese
otro a su vez se relaciona con un tercero, entonces el primero estará
relacionado también con este último.

Clasificación de relaciones de Orden

Relaciones de Orden total: Sea A un conjunto dado, es una relación de

orden total si y solo si todos los elementos de A se relacionan entre sí.
Relaciones de Orden Parcial: Sea un conjunto dado, es una relación de
orden parcial si y solo si al menos un par de elementos de A se relacionan
entre sí.
 Relaciones de Orden Densa: Una relación de orden parcial ≤ sobre un

conjunto X se dice densa (o densa-en -sí-misma) si, para todo x

e y en X tales que

Relaciones de equivalencia

En teoría de conjuntos y álgebra la noción de relación de equivalencia

sobre un conjunto, permite establecer una relación entre los elementos del
conjunto que comparten cierta característica o propiedad. Esto permite
reagrupar dichos elementos en clases de equivalencia, es decir, paquetes de
elementos similares. Esto posibilita la construcción de nuevos conjuntos
añadiendo todos los elementos de una misma clase como un solo elemento
que los representará y que define la noción de conjunto cociente.

Es una relación de equivalencia si cumple las siguientes propiedades:

- Reflexividad: Todo elemento de está relacionado consigo mismo.

- Simetría: Si un elemento de K está relacionado con otro,
entonces ese otro elemento también se relaciona con el primero. Es
decir,
- Transitividad: Si un elemento de K está relacionado con otro, y
ese otro a su vez se relaciona con un tercero, entonces el primero estará
relacionado también con este último. Es decir,
 Clase de equivalencia o Relación de equivalencia
En lógica de clases y análisis matemático, la relación de define
subconjuntos disjuntos en K llamados clases de equivalencia:

Dado un elemento K, el conjunto dado por todos los elementos

relacionados con a definen la clase:

Se le llama la clase de equivalencia asociada al elemento a.

Al elemento a se le llama representante de la clase.

Se llama orden al número de clases que genera una relación de

equivalencia; si éste es finito, se dice que la relación es de orden finito.

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 algún
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:
 Partición
Una relación de equivalencia sobre un conjunto induce una partición del
mismo, es decir, un conjunto en el que se ha definido una relación de
equivalencia puede ser dividido en varios subconjuntos de elementos
equivalentes entre sí y tales que la reunión de esos subconjuntos coincide con
el conjunto entero. El siguiente teorema expresa en términos más formales esa
misma idea:

Proposición: Una relación de equivalencia en el conjunto no vacío K

determina una partición de este, y toda partición de K determina una relación
de equivalencia en este.