Ley de Tricotomía
Ley de Tricotomía
Ley de Tricotomía
En matemticas, la ley de tricotoma es una propiedad de algunos conjuntos ordenados, por la cual todos sus elementos son comparables entre s.
En X se cumple la ley de tricotoma si para cada par de elementos x e y, se tiene una sola de las siguientes relaciones: x<y y<x x=y
La ley de tricotoma es equivalente a que la relacin de orden sea total, esto es, que dados dos elementos x e y se tenga x y o y x (o ambos). Las relaciones de orden de los nmeros naturales, enteros, racionales y reales cumplen la ley de tricotoma (son rdenes totales). Sin embargo, la relacin de inclusin en los subconjuntos de un conjunto dado no la cumple: puede haber dos conjuntos incomparables tales que ninguno es subconjunto del otro.
Relacin transitiva
sobre un conjunto
se relaciona con otro y ste ltimo con un tercero, entonces el primero se relaciona con el tercero. Esto es:
Dado el conjunto A y una relacin R, esta relacin es transitiva si: a R b y b R c se cumple a R c. La propiedad anterior se conoce como transitividad.
sta propiedad dice que para todo nmero a y b pertenecientes a R, existe otro nmero c, tal que: a<c<b Es decir, que dados dos nmeros siempre podemos encontrar otro que est entre los 2 o, equivalentemente, que podemos tener siempre un nmero tan cercano como queramos a otro dado. Por ejemplo, entre 2 y 3 estar el 2,4; entre el 2 y el 2,4 el 2,12; entre el 2 y el 2,12 el 2,08...etctera.
Si entonces
Esta propiedad es esencial para que el campo de los nmeros reales se vuelva un espacio completo, ya que otros campos que no satisfacen el axioma, como el campo de los nmeros racionales, no son completos.