Consideremos el paralelogramo cuyos vértices son los puntos $(2,1)$,$(-1, 1)$,$(-2, -1)$,$(1, -1)$.
Sea $\mathcal{A} = \Big\{ (x, y) \in \mathbb{R}^2 \, \Big| \, -1\leqslant y \leqslant 1,\; -3 \leqslant y-2x \leqslant 3 \Big\}$
Este paralelogramo es un conjunto convexo y también simétrico respecto al origen, es decir que $$(x, y) \in \mathcal{A} \Longrightarrow (-x, -y) \in \mathcal{A}$$
Además es cerrado, $\bar{\mathcal{A}} = \mathcal{A} \cup \partial \mathcal{A} = \mathcal{A} $, donde $\partial \mathcal{A}$ es la unión de los elementos de recta que forman las aristas, incluyendo los vértices.
Es acotado con la norma Euclidiana (un conjunto es acotado si está contenido en una bola).
Entonces, nos preguntamos si ¿existe una norma $\big\| \; \big\|_{\square}: \mathbb{R}^2 \longrightarrow \mathbb{R}$ tal que $\mathcal{A}$ sea la bola unitaria cerrada?, es decir $$\mathcal{A} = \Big\{ (x, y) \in \mathbb{R}^2 \, \Big| \, \Big\| (x, y) \Big\|_{\square} \leqslant 1 \Big\}$$
Para que la frontera sea la «circunferencia unitaria» debe suceder que si $$(x, y) \in \partial \mathcal{A} \Longrightarrow \Big\| (x, y) \Big\|_{\square}=1$$
Para que sea norma se debe complir que $$\Big\| (0, 0) \Big\|_{\square}=0$$
y además debe cumplir que $$ \Big\| t(x, y) \Big\|_{\square} = \Big|t \Big| \, \Big\|(x, y) \Big\|_{\square}$$
Analicemos que:
si $$(x, y) = \lambda (a, b)$$ entonces $$\Big\| (x, y) \Big\|_{\square} = \Big| \lambda \Big| \, \Big\| (a, b) \Big\|_{\square} = \Big| \lambda \Big|$$ ya que el punto $(a, b)$ es un punto de $\mathcal{A}$.
Entonces ¿cuál es la regla de correspondencia que a cada $(x, y) \longrightarrow \Big|\lambda \Big|= \Big\|(x, y) \Big\|_{\square}$?
Sea $(x, y) \in \mathbb{R}^2$, tenemos que considerar los siguientes casos:
Caso «fácil»: si $(x, y)$ está en la recta diagonal.
Caso «menos fácil»: si $(x, y)$ no está en ninguna recta que contenga a una diagonal.
Pregunta auxiliar ¿cuáles son las ecuaciones de las rectas que contienen a las diagonales del paralelogramo?
Tenemos que las ecuaciones de las rectas que contienen a las diagonales son:
Recta I: $ \; y=\frac{1}{2}x$
Recta II: $ \; y=-x$
Comenzamos analizando el caso «fácil»:
CASO «punto en la Recta I»: si $(x, y)=\lambda (2,1)$
entonces $(x, y) =(2\lambda , \lambda)$
por lo tanto $y = \lambda$
Ejemplo: $\Big\| (4, 2) \Big\|_{\square}=2$
CASO «punto en la Recta II»: si $(x, y) =\lambda (-1, 1)$
entonces $(x, y) = (-\lambda, \lambda)$
por lo que $y = \lambda$
Ejemplo: $\Big\| (-3, 3) \Big\|_{\square} = 3$
Análogamente se estudia el CASO III $(x, y) = \lambda (-2, -1)$,
y el CASO IV, cuando $(x, y) = \lambda (1, -1)$.
Ejemplo: $\Big\| (-10, -5) \Big\|_{\square} =5$
$\Big\| (8, -8) \Big\|_{\square} = 8$
Ahora, analizamos el caso «menos fácil»:
CASO «punto en la Región I»: si $(x,y)$ está en el cono generado por los vectores $\vec{a}=(2,1)$ y $\vec{b}=(-1,1)$.
$$(x,y)=\alpha \, \vec{a} + \beta \, \vec{b} \hspace{5mm} \alpha, \beta > 0$$
Afirmación:
$t=máx \Bigg\{ \big|y \big|, \dfrac{|2x-y|}{3} \Bigg\}$
Sea $(x,y) \in \mathbb{R}^2 \setminus \partial \square$.
Consideramos 4 posibilidades, dadas por la ubicación del punto en algunas de las cuatro partes en las que queda dividido el plano, según las rectas $y=\frac{1}{2}x$ y $y= – \, x$.
Veamos que sucede cuando el punto está en las regiones «I» y «IV». Los dos casos restantes son análogos.
Cuando $(x,y)$ está en la Región I, cumple que: $$y>-x$$ $$y>\frac{1}{2}x$$
Observación: como $y>0$ entonces al unir $(x,y)$ con $(0,0)$ cortamos a la arista superior en un punto de la forma $(a,b)$ pero la arista superior está contenida en la recta $y=1$ por lo que $b=1$ por lo tanto $(a,b)=(a,1)$.
Luego $(x,y)=t(a,b)=t(a,1)$
Por lo tanto, $$y=t$$
$$\Big\| (x,y) \Big\|_\square =y$$
Cuando $(x,y)$ está en la Región IV, cumple que: $$y> – \, x$$ $$y<\frac{1}{2}x$$
Ahora $x>0$ por lo que al unir $(x,y)$ con $(0,0)$ cortamos a la arista del lado derecho del paralelogramos en el punto $(a,b)$, pero como la arista está contenida en la recta $y=2x-3$ tenemos que $b=2a-3$
Luego $$(x,y)=t(a,b)$$
por lo que $x=ta$ y $y=tb$ entonces $$y=t(2a-3)$$ $$y=2at-3t$$ $$a=\dfrac{y+3t}{2t}$$
Hemos propuesto $$\Big\| (x,y) \Big\|_\square := \text{máx} \Big\{ |y|, \dfrac{|2x-y|}{3} \Big\}$$
$$ \Big\| \; \Big\|_\square : \mathbb{R}^2 \longrightarrow \mathbb{R}$$
Afirmación: $ \Big\| \; \Big\|_\square$ es una norma.
$\Big\| (x,y) \Big\|_\square > 0$
$\Big\| (x,y) \Big\|_\square = 0 \iff (x,y) = (0,0)$
$\Big\| (x,y) \Big\|_\square = \text{máx} \Big\{ |ty|, \frac{|2tx-ty|}{3} \Big\} = |t| \, \text{máx} \Big\{ |y|, \dfrac{|2x-y|}{3} \Big\} = \Big|t \Big| \, \Big\| (x,y) \Big\|_{\square}$.
Por último probamos que satisface la desigualdad del triángulo, es decir que se cumple que: $\Big\| u+v \Big\|_{\square} \leqslant \Big\|u \Big\|_{\square} + \Big\|v \Big\|_{\square}$
Sean $u=(u_1, u_2)$ y $v=(v_1, v_2)$. Además $u+v =(u_1 + v_1, u_2 + v_2).$
Entonces $\Big\| u+v \Big\|_{\square} = \text{máx} \Bigg\{ \Big|u_2 + v_2 \Big|, \dfrac{2(u_1+v_1) \, – \, (u_2+v_2)}{3} \Bigg\}$
Por demostrar $\Big\| u+v \Big\|_{\square} \leqslant \Big\| u \Big\|_{\square} + \Big\| v \Big\|_{\square}$
Si el máximo es $\Big| u_2+v_2 \Big|$ entonces, se tiene que $$\Big| u_2 + v_2 \Big|\leqslant \Big| u_2 \Big| + \Big| v_2 \Big|\leqslant \Big\| u \Big\|_{\square} + \Big| v \Big\|_{\square}$$
Si el máximo es $\dfrac{2(u_1+v_1)-(u_2+v_2)}{3}$ entonces, $$\dfrac{2(u_1+v_1)-(u_2+v_2)}{3} = \dfrac{2u_1-u_2+2v_1-v_2}{3} \leqslant \dfrac{2u_1-u_2}{3} + \dfrac{2v_1\, – \, v_2}{3} \leqslant \Big\| u \Big\|_{\square} + \Big\| v \Big\|_{\square}$$
Por lo anterior queda probado que $\| \; \|_{\square}$ es una norma.