Desigualdad Estricta

Preálgebra

Una desigualdad estricta usa < o > para mostrar que una cantidad es estrictamente menor o estrictamente mayor que otra, sin permitir la igualdad.

Visualization

Definition

Una desigualdad estricta usa $<$ o $>$ y significa "pero NO igual a": el valor límite no está incluido en la solución, así que en una recta numérica se dibuja un círculo abierto (hueco) en ese valor. El conjunto solución de una desigualdad estricta es un intervalo abierto, representado con paréntesis en notación de intervalos. Formalmente, en un cuerpo ordenado, $a < b$ significa que $b - a$ pertenece al cono positivo $P$, donde $P$ es cerrado bajo la suma y la multiplicación, no contiene al cero, y satisface la ley de tricotomía; las desigualdades estrictas definen conjuntos abiertos en la topología del orden sobre $\mathbb{R}$, que forman una base para la topología estándar, y esta topología generada por intervalos abiertos es el fundamento del análisis real, ya que la distinción entre conjuntos abiertos y cerrados determina la continuidad, la compacidad y la completitud.

Example

$x > 4$ es estricta: $x$ puede ser $5$, $6$ o $4.1$, pero NO $4$ mismo, dibujado con un círculo abierto en $4$. $x < -2$ tiene el conjunto solución $(-\infty, -2)$, que excluye el punto límite $-2$, en comparación con $x \le -2$, que incluye a $-2$ y tiene la solución $(-\infty, -2]$. El intervalo abierto $(a, b) = \{x \in \mathbb{R} : a < x < b\}$ está definido por dos desigualdades estrictas, y todo conjunto abierto en la topología estándar sobre $\mathbb{R}$ es una unión numerable de tales intervalos abiertos.

Key Insight

"Estricta" significa que no hay margen en el límite: hay que ser estrictamente mayor o estrictamente menor. Los límites abiertos frente a los cerrados son fundamentales en el cálculo y el análisis real; por ejemplo, una función definida en $(0, 1)$ (abierto) puede no alcanzar su máximo, mientras que en $[0, 1]$ (cerrado) el Teorema del Valor Extremo garantiza que sí lo hace.