Comparabilidad

En matemáticas , se dice que dos elementos x e y de un conjunto P son comparables con respecto a una relación binaria ≤ si al menos una de las siguientes es verdadera: x ≤ y o y ≤ x . Se denominan incomparables si no son comparables.

Una relación binaria en un conjunto es por definición cualquier subconjunto de Dado se escribe si y solo si en cuyo caso se dice que está relacionado con por Se dice que un elemento es -comparable , o comparable ( con respecto a ), a un elemento si o A menudo, se utiliza un símbolo que indica comparación, como (o y muchos otros) en lugar de en cuyo caso se escribe en lugar de por lo cual se utiliza el término "comparable". ${\estilo de visualización P}$${\estilo de visualización R}$${\displaystyle P\veces P.}$${\displaystyle x,y\en P,}$ ${\estilo de visualización xRy}$${\displaystyle (x,y)\en R,}$${\estilo de visualización x}$${\estilo de visualización y}$${\estilo de visualización R.}$${\displaystyle x\en P}$${\estilo de visualización R}$${\estilo de visualización R}$${\displaystyle y\en P}$${\estilo de visualización xRy}$${\estilo de visualización yRx.}$${\estilo de visualización \,<\,}$${\estilo de visualización \,\leq \,,}$ ${\estilo de visualización \,>,\,}$ ${\estilo de visualización \geq ,}$${\estilo de visualización R,}$${\displaystyle x<y}$${\estilo de visualización xRy,}$

La comparabilidad con respecto a induce una relación binaria canónica en ; específicamente, la relación de comparabilidad inducida por se define como el conjunto de todos los pares tales que es comparable con ; es decir, tal que al menos uno de y es verdadero. De manera similar, la relación de incomparabilidad en inducida por se define como el conjunto de todos los pares tales que es incomparable con , es decir, tal que ni ni son verdaderos. ${\estilo de visualización R}$${\estilo de visualización P}$${\estilo de visualización R}$${\displaystyle (x,y)\en P\veces P}$${\estilo de visualización x}$${\estilo de visualización y}$${\estilo de visualización xRy}$${\estilo de visualización yRx}$${\estilo de visualización P}$${\estilo de visualización R}$${\displaystyle (x,y)\en P\veces P}$${\estilo de visualización x}$${\displaystyle y;}$${\estilo de visualización xRy}$${\estilo de visualización yRx}$

Si se utiliza el símbolo en lugar de, entonces la comparabilidad con respecto a a veces se denota con el símbolo , y la incomparabilidad con el símbolo . ^[1] Por lo tanto, para cualesquiera dos elementos y de un conjunto parcialmente ordenado, exactamente uno de y es verdadero. ${\estilo de visualización \,<\,}$${\estilo de visualización \,\leq \,}$${\estilo de visualización \,<\,}$${\displaystyle {\overset {<}{\underset {>}{=}}}}$${\displaystyle {\cancelar {\overset {<}{\underset {>}{=}}}}\!}$${\estilo de visualización x}$${\estilo de visualización y}$${\displaystyle x\ {\overset {<}{\underset {>}{=}}}\ y}$${\displaystyle x{\cancelar {\overset {<}{\underset {>}{=}}}}y}$

Un conjunto totalmente ordenado es un conjunto parcialmente ordenado en el que dos elementos cualesquiera son comparables. El teorema de extensión de Szpilrajn establece que todo orden parcial está contenido en un orden total. Intuitivamente, el teorema dice que cualquier método de comparación de elementos que deje algunos pares incomparables puede extenderse de tal manera que cada par sea comparable.

Ambas relaciones comparabilidad e incomparabilidad son simétricas , es decir, es comparable a si y sólo si es comparable a y lo mismo para la incomparabilidad. ${\estilo de visualización x}$${\estilo de visualización y}$${\estilo de visualización y}$${\estilo de visualización x,}$

El gráfico de comparabilidad de un conjunto parcialmente ordenado tiene como vértices los elementos de y tiene como aristas precisamente aquellos pares de elementos para los cuales . ^[2]${\estilo de visualización P}$${\estilo de visualización P}$${\estilo de visualización \{x,y\}}$${\displaystyle x\ {\overset {<}{\underset {>}{=}}}\ y}$

Al clasificar objetos matemáticos (por ejemplo, espacios topológicos ), se dice que dos criterios son comparables cuando los objetos que obedecen a un criterio constituyen un subconjunto de los objetos que obedecen al otro, es decir, cuando son comparables bajo el orden parcial ⊂. Por ejemplo, los criterios T ₁ y T ₂ son comparables, mientras que los criterios T ₁ y de sobriedad no lo son.

• Ordenamiento débil estricto  : clasificación matemática de un conjunto Páginas que muestran descripciones breves de los objetivos de redireccionamiento, un ordenamiento parcial en el que la incomparabilidad es una relación transitiva

• «PlanetMath: orden parcial». Archivado desde el original el 11 de julio de 2012. Consultado el 6 de abril de 2010 .