Diferencia entre revisiones de «Ley de tricotomía»
Contenido eliminado Contenido añadido
todo Etiquetas: Edición desde móvil Edición vía web móvil |
mSin resumen de edición |
||
Línea 4:
{{ecuación|1=<math> x < y\ , \ y < x\ \text{o} \ x = y </math>}}
}}
La ley de tricotomía es equivalente a que la relación de orden ≤ sea [[orden total|total]], esto es, que dados dos elementos {{math|''x''}} e {{math|''y''}} se tenga {{math|''x'' ≤ ''y''}} o {{math|''y'' ≤ ''x''}} (o ambos). Las relaciones de orden de los [[números naturales]], [[números enteros|enteros]], [[números racionales|racionales]] y [[números reales|reales]] cumplen la ley de tricotomía (son órdenes totales). Sin embargo, la relación de [[subconjunto|inclusión]] {{math|{{unicode|⊆}}}} en los [[conjunto potencia|subconjuntos]] de un conjunto dado no la cumple: puede haber dos conjuntos incomparables tales que ninguno es subconjunto del otro. En palabras más simples, para cualquier relación correspondiente S en el conjunto Q, la relación se dice que es tricotómica si , una de las relaciones mantiene:
x Q y, x = y y Q x
Cuando se habla de la propiedad reflexiva o total, no es necesario que la ley de la Tricotomía se mantenga. Por Fernando Fernandee
== Enlaces externos ==
| |||