Dado un espacio vectorial $V$ (por comodidad, definido sobre $\mathbb{r}$ ), llamamos $d:V\rightarrow\mathbb{R}$ a norma para $V$ si $\forall \mathbf{u}, \mathbf{v} \in V$ y $\forall r \in \mathbb{R}$ que tenemos:
- $d(r \mathbf{v}) = |r|d(\mathbf{v})$ ,
- $d(\mathbf{v})\ge 0$ con igualdad si $\mathbf{v} = 0$ y
- $d(\mathbf{u})+d(\mathbf{v}) \ge d(\mathbf{u}+\mathbf{v})$ (desigualdad triangular)
He leído en algunos sitios que una propiedad importante de una norma es que sea convexa; es decir, dada $\mathbf{u},\mathbf{v} \in V$ y $p \in (0,1)$ tenemos $d(p \mathbf{u} + (1-p) \mathbf{v}) \le p d(\mathbf{u}) + (1-p) d(\mathbf{v})$ . Esto se deduce claramente de la desigualdad triangular.
Mi pregunta es: ¿Se cumple también lo contrario? es decir, ¿una función que satisfaga (1) y (2) y que sea convexa satisface necesariamente la desigualdad triangular? Si no es así, ¿cuál es un contraejemplo instructivo?
Gracias. (btw: por favor, siéntase libre de sugerir mejores etiquetas / mejoras a la pregunta; ¡soy nuevo en esto!)
11 votos
Establecer $p = \frac{1}{2}$ y utiliza la propiedad 1.
0 votos
@Qiaochu Yuan: ¡Gracias! Ahora me siento un poco tonto. Incluso lo intenté en algún momento y me convencí de que no funcionaba :)
1 votos
Es genial saber que una función convexa-(1)-(2) es equivalente a ser una norma... No sabía que la desigualdad del triángulo era equivalente a la convexidad en (1) y (2). Es bueno saberlo. ¡Pulgares arriba!
0 votos
@Patrick: ¡Salud!
1 votos
@Patrick: La condición de homogeneidad $d(r\mathbf{v}) = |r| d(\mathbf{v})$ es, por supuesto, crucial aquí. La invariancia de traslación y la desigualdad triangular son no suficiente para inferir la homogeneidad. Hace algún tiempo escribió una respuesta tratando de dilucidar las relaciones entre productos escalares, normas y métricas, quizá le resulte interesante.