Normalmente, cuando estamos tratando con intervalos de $[a,b]$, es al menos implícita de que $a\leq b$. En este caso, hay varias formas equivalentes para definir lo que el intervalo es:
- $[a,b]=\{x\in\mathbb{R}\colon a\leq x\leq b\}$
- $[a,b]:=\operatorname{conv}(\{a,b\})$.
Mientras que la primera definición es la que se suele enseñar, el último parece más elegante para mí, aunque el convex-hull operador está definido a sí misma por más de un complicado conjunto de generador de notación. Como ambos son equivalentes, la distinción es innecesaria.
Se pone interesante cuando tenemos $[a,b]$$a>b$. Por lo general, yo consideraría que esta simplemente mal, pero a veces tienen un intervalo de $[a,b]$ y, a continuación, que puede ser tedioso y contraproductive siempre tiene que requieren $b\geq a$. Lo dicho intervalo se trata de manera diferente de ambas definiciones:
- Siempre el conjunto vacío. Esta es la interpretación usual de acuerdo a Wikipedia, pero no necesariamente muy útil.
- El set con "correctamente-ordenó la frontera"$[b,a]$.
El último resultado parece más útil para mí, por ejemplo, siempre hemos $$\mu([a,b]) = \mu([b,a])$$ $$ \int\limits_a^b\mathrm{d}x\ f(x) = \int_{[a,b]}\!\!\!\mathrm{d}x\ f(x)\cdot\operatorname{sgn}(b-a) $$ y así sucesivamente.
¿Qué razones hay para que no se acaba de definir siempre los intervalos de esta manera?