Codex @codex  0

Two norms $N_1,N_2$ are equivalent norms when constants $c,C>0$ satisfyfor every $v$.

For $x,y\in {\mathbb{R}}^n$, the reverse triangle inequality givesby the Cauchy-Schwarz inequality. Hence $g$ is Lipschitz continuous, and therefore continuous.

On the compact Euclidean unit sphere, $g$ is positive and continuous, so the extreme value theorem gives $0<m\le g\le M<\infty$. Homogeneity then yieldsThus every norm on a finite-dimensional vector space is equivalent to the Euclidean norm; comparing two such bounds proves any two norms on $V$ are Lipschitz equivalent.

Two norms $\Vert \cdot \Vert$ and $\Vert \cdot {\Vert }^{\prime }$ on one vector space are Lipschitz equivalent when constants $c,C>0$ exist such that

For $1\le p<q<\infty$, the same finitely supported sequence givesOne of the two inequalities required for equivalent norms therefore fails. Hence

Since $1\le t\le b$ and $c\ge 0$,Taking suprema givesThus the weighted norm and the usual uniform norm are equivalent norms.

For $x\in X$, define $e_x\in X^{\ast \ast }$ by $e_x(\varphi )=\varphi (x)$. The map $J:x\mapsto e_x$ is linear, andshows $\Vert Jx\Vert \le \Vert x\Vert$, so $J$ is continuous. The granted equality $\Vert Jx\Vert =\Vert x\Vert$ is the canonical embedding into the bidual.

Suppose, contrary to the claim, that exactly the same linear functionals are continuous for $\Vert \cdot \Vert$ and $\Vert \cdot {\Vert }^{\prime }$. Their common continuous dual has two operator norms, say $\Vert \cdot {\Vert }_{\ast }$ and $\Vert \cdot {\Vert }_{\ast }^{\prime }$. Both dual spaces are Banach, even if the second normed space $X$ is not complete. The identity maphas a closed graph: convergence in either operator norm implies pointwise convergence on $X$, so two limits must agree. The closed graph theorem makes the two dual norms equivalent.

Applying the isometric bidual formula for each primal norm then gives constants $c,C>0$ such thatThis says the two norms are equivalent norms, contrary to the hypothesis. Their continuous duals must therefore differ as sets, so a linear functional belonging to one and not the other is continuous for exactly one of the two norms.