Diferencia entre revisiones de «Ley de tricotomía»
Contenido eliminado Contenido añadido
m he puesto mas hechos |
m Revertidos los cambios de Miguelx0064 (disc.) (HG) (3.1.21) |
||
Línea 1:
En [[matemáticas]], la '''ley de tricotomía''' es una propiedad de algunos [[conjunto ordenado|conjuntos ordenados]], por la cual todos sus elementos son comparables entre sí.
== Enunciado ==
Sea un conjunto ''X'' parcialmente ordenado por la relación ≤, y sea < la [[relación de orden]] estricta asociada.
{{definición|1=En ''X'' se cumple la '''ley de tricotomía''' si para cada par de elementos {{math|''x''}} e {{math|''y''}}, se tiene una sola de las siguientes relaciones:
{{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.
== Enlaces externos ==
| |||