Ley de tricotoma

En matemticas, la ley de tricotoma es una propiedad de algunos conjuntos ordenados, por la cual todos sus elementos son comparables entre s.

Enunciado[editar editar fuente]

Sea un conjunto X parcialmente ordenado por la relacin , y sea < la relacin de orden estricta asociada.

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

Ejemplo: Si a es mayor que b, y b es mayor que c, entonces, a es mayor que c.

Una relacin binaria

sobre un conjunto

es transitiva cuando se cumple: siempre que un elemento

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.

Axioma del supremo

En anlisis real, se denomina axioma del supremo o axioma de completitud a uno de los axiomas que componen el cuerpo de los nmeros reales, el cual establece:1 2

Si entonces

es un conjunto no vaco acotado superiormente en tiene supremo en .

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.