Instituto Politécnico Nacional

(IPN)

Actividad
Relaciones de orden total
Relaciones de orden parcial

Presenta
Andres Felipe Osorio Benavides

Docente
Patricia González

Campus Coahuila (México)

Noviembre 2021
 Relaciones de orden total
En matemáticas, un orden total, orden lineal, orden simple, o simplemente orden
en un conjunto X es una relación binaria sobre X que es: reflexiva, transitiva,
antisimétrica, y total; esto es, si se denota una tal relación 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 (antisimétrica).
 A ≤ b o b ≤ a (totalidad o completitud).

Una relación R en un conjunto A es una relación de ORDEN si es reflexiva,

antisimétrica y transitiva. RELACIONES DE ORDEN Un conjunto ordenado es un
par (A, R) donde R es un orden en A (N, ≤), (N, |) | es la relación de divisibilidad
Orden total a, b son elementos comparables de (A,R) si aRb ó bRa 4 y 7 son
comparables en (N, ≤) pero NO en (N, |) Un orden es total si dos elementos
cualesquiera son comparables (N, ≤) es un conjunto totalmente ordenado La
divisibilidad en N es un orden parcial
 Relaciones de orden parcial

Una relación de Orden parcial, R, es un tipo de relación binaria que se define en

AxA. Este tipo de relación satisface reflexividad, antisimetría y transitividad;
cuando se conforma este tipo relación se la denota (A,R) o, también, (A, <). Este
tipo de relaciones puede graficarse empleando los denominados Diagramas de
Hasse, los cuales exponen un cierto orden o secuencia entre elementos del
conjunto originada por la relación.
Una relaci´on ≤ en un conjunto A es un orden parcial (o simplemente un orden) si
es I reflexiva: ∀a, a ≤ a, I transitiva: ∀a, b, c,(a ≤ b ∧ b ≤ c =⇒ a ≤ c), I antisim
´etrica: ∀a, b,(a ≤ b ∧ b ≤ a =⇒ a = b). Se dice que (A, ≤) es un conjunto
parcialmente ordenado o poset. La noci´on de orden parcial es mucho m´as
intuitiva que la noci´on de preorden (de hecho, es un caso particular, que no
admite ciclos)

MINIMOS, MAXIMOS, MINIMALES Y MAXIMALES

La definición de máximo es, como no podía ser de otra manera:

m∈Am∈A es elemento máximo de AA si cualquier otro elemento en A será menor

o igual que mm, es decir, si:
(∀x∈A):x≤m(∀x∈A):x≤m
Por último, la existencia de un orden total en un conjunto no implica la existencia
de un máximo (o mínimo en su caso) en dicho conjunto. Valga como ejemplo el
conjunto de todos los números reales mayores que 00 y menores que 11, que
denotamos A=(0,1)A=(0,1). A=(0,1)A=(0,1) no tiene máximo, pues para cada
x∈Ax∈Α podremos señalar otro y∈Ay∈Α mayor (respectivamente menor) que él.
Eso hace necesaria la introducción de un concepto más: el de supremo
(respectivamente ínfimo) de un conjunto ordenado. En el caso del ejemplo, el
supremo de A=(0,1)A=(0,1) una cota superior de A=(0,1)A=(0,1) será todo
elemento de RR que es mayor o igual a todo elemento de A=(0,1)A=(0,1). Por
ejemplo, el 22. Y el supremo (respectivamente, el ínfimo) será el menor
(respectivamente, el mayor) de todas las cotas superiores (respectivamente
inferiores) de A=(0,1)A=(0,1). Así, el supremo de A=(0,1)A=(0,1) es el 11, y su
ínfimo es el 00. No podemos decir que sean el máximo y el mínimo porque (y esto
es crucial) no pertenecen al conjunto.

Ejemplos
 Sea P = [0, ∞[ ⊆ R. Para todo m ∈P se tiene x = m + 1 ∈ P pero m < x, con
lo que ningún m puede ser maximal.
 Sea P = {q ∈ Q | 1 ≤ q² ≤ 2}; puesto que la raíz 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} | a∈A},
parcialmente ordenado por inclusión. 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 máximo).
 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
máximo.
Mínimos

Un elemento mínimo se define dualmente, como aquel a ∈ A tal que cualquier

otro es mayor o igual que él; es decir, tal que para todo x ∈ A, a ≤ x, en la figura el
elemento a es el mínimo de A.
La propiedad de antisimetría de la relación de orden ≤ asegura que de existir un
elemento máximo o mínimo en un conjunto, estos son únicos.
Ejemplo:
 Míniales.
El término elemento minimales se define de manera dual. En la figura, dado el
conjunto A, los elementos d, h y l son maximales de A, los elementos a, h y k son
minimales, los elementos maximal y minimal no tienen por qué ser únicos en el
conjunto. Además, el elemento h de la figura es maximal y minimal al mismo
tiempo.
Ejemplos:

MAXIMALES
En matemáticas, especialmente en teoría del orden, un elemento maximal de un
conjunto parcialmente ordenado A es un elemento de A que no está por debajo
(en el orden correspondiente) de ningún otro. El término elemento minimal se
define de manera dual. En la figura, dado el conjunto A, los elementos d, h y l son
maximales de A, los elementos a, h y k son minimales, los elementos maximal y
minimal no tienen por qué ser únicos en el conjunto. Además, el elemento h de la
figura es maximal y minimal al mismo tiempo.

Ejemplo:

Un elemento M∈S es maximal si y sólo si, no existe elemento x∈S con x≠M tal que
M≤x. Es decir, son los elementos M de S que no tienen múltiplos en S distintos de
M. Claramente son los elementos 6,7,8,9 y 10. Un elemento m∈S es minimal si y
sólo si, no existe elemento x∈S con x≠m tal que x≤m. Es decir, son los elementos
m de S que no tienen divisores en S distintos de m. Claramente son los elementos
3,4,5 y 7.(b) De acuerdo con la definición de orden total, los subconjuntos de S
totalmente ordenados son:
RELACIONES DE EQUIVALENCIA
Una partición de un conjunto es una colección de subconjuntos disjuntos no
vacíos de que tienen a como su unión, en otras palabras, la colección de
subconjuntos Ai, i I (donde I es un índice del conjunto) forma una partición si y
solo si, También se suele decir que estos subconjuntos son llamados bloques de
la partición ={A1, A2, ... , Ak}

Ejemplo:

Sea ={a, b, c, d, … , z} y sean

W1={a,e,i,o,u}

W2={w,c}

W3={b,f,g,h,j,k,l}

W4={m,n,ñ,p,q}
W5={r,s,t,v}

W6={x,y}

W7 = {d, z}

= W1 W2 W3 W4 W5 W6 W7 o bien

={{a, e, i, o, u}, {w, c}, {b, f, g, h, j, k, l}, {m, n, ñ, p, q}, {r, s, t, v}, {x, y}, {d, z}}

CONJUNTO COCIENTE
es un término matemático que hace referencia a cierta estructura matemática que
se deriva de otra en la que se ha definido una relación de equivalencia. De manera
más precisa, si X es una estructura matemática en el que se define una relación
de equivalencia ~, entonces el espacio cociente X/~ es la estructura matemática
inducida en el conjunto de clases de equivalencia con las operaciones entre clases
de equivalencia obtenidas de manera canónica a partir de las correspondientes en
X.

Ejemplo:

1. Reflexiva. Para todo (x, y)∈E se verifica x2+y2=x2+y2, en consecuencia

(x, y)R(x,y).
Simétrica. Para todo (x, y),(z,t)∈E:
(x,y)R(z,t)⇒x2+y2=z2+t2⇒z2+t2=x2+y2⇒(z,t)R(x,y).Transitiva. Para todo
(x,y),(z,t),(u,v)∈E:{(x,y)R(z,t)
(z,t)R(u,v)⇒{x2+y2=z2+t2z2+t2=u2+v2⇒x2+y2=u2+v2⇒(x,y)R(u,v).La
relación R es por tanto de equivalencia. Determinemos una clase genérica,
para ello elijamos (x0,y0)∈E fijo. La clase a la que pertenece (x0,y0)
es:C[(x0,y0)]={(x,y)∈E:(x,y)R(x0,y0)}={(x,y)∈E:x2+y2=x02+y02}.Dado que
x02+y02≥0, la clase C[(x0,y0)] representa una circunferencia de centro el
origen y radio r=x02+y02. En consecuencia,E/R={Cr:r≥0}(Cr circunf. de
 centro (0,0) y radio r).Nótese que para r=0, la circunferencia consta de un
único punto: el (0,0).

Fuentes:
https://es.wikipedia.org/wiki/Orden_total
https://www.fceia.unr.edu.ar/~reggiani/files/ag2/2018-09-18-Posets.pdf
https://esacademic.com/dic.nsf/eswiki/422400
http://www.cs.buap.mx/~mtovar/doc/MatDiscA/FuncionesRelaciones4.pdf
https://fernandorevilla.es/2014/02/03/relacion-de-equivalencia-conjunto-cociente/