Símbolos de Desigualdad
Los símbolos de desigualdad son la notación matemática que se usa para comparar dos cantidades: menor que ($<$), mayor que ($>$), menor o igual que ($\le$), mayor o igual que ($\ge$), y no igual a ($\neq$).
Definition
Los símbolos de desigualdad muestran cómo se comparan dos números o expresiones. Los cinco símbolos son $<$ (estrictamente menor que), $>$ (estrictamente mayor que), $\le$ (menor o igual que), $\ge$ (mayor o igual que), y $\neq$ (no es igual a). En una recta numérica, $<$ y $>$ usan círculos abiertos ya que el límite no está incluido, mientras que $\le$ y $\ge$ usan círculos cerrados ya que el límite sí está incluido. Más formalmente, los símbolos de desigualdad expresan la relación de orden total en cuerpos ordenados como $\mathbb{R}$: un orden total satisface la tricotomía (se cumple exactamente una de $a < b$, $a = b$, $a > b$), la transitividad ($a < b$ y $b < c$ implican $a < c$), y la compatibilidad con la suma y la multiplicación; no todos los cuerpos se pueden ordenar, por ejemplo $\mathbb{C}$ no se puede ordenar de manera consistente con su estructura de cuerpo, ya que $i^2 = -1$ violaría la clausura del cono positivo.
Example
$3 < 7$ significa que $3$ es menor que $7$, $10 > 4$ significa que $10$ es mayor que $4$, y $x \ge 5$ significa que $x$ es al menos $5$. Graficar $x > 3$ usa un círculo abierto en $3$ con una flecha que apunta a la derecha; graficar $x \le -1$ usa un círculo cerrado en $-1$ con una flecha que apunta a la izquierda. En el cuerpo ordenado $\mathbb{R}$, el orden estricto $<$ se define mediante $a < b$ si y solo si $b - a$ es un número real positivo, una definición que se generaliza a cuerpos ordenados y anillos ordenados.
Key Insight
Un truco para recordar: el símbolo de desigualdad es como una flecha o una boca de cocodrilo que siempre se abre hacia el número mayor. La distinción entre desigualdades estrictas ($<$, $>$) y no estrictas ($\le$, $\ge$) determina si el punto límite es parte de la solución, un detalle que importa en la optimización y el análisis real, y el hecho de que no todo cuerpo se pueda ordenar (como $\mathbb{C}$) muestra lo especial que realmente es la estructura ordenada de $\mathbb{R}$.