PlanetMath: equivalent norms

(more info)

Math for the people, by the people.

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (200)
Orphanage
Unclass'd
Unproven (490)
Corrections (6)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Legalese
About

Entry average rating: No information on entry rating

equivalent norms

(Definition)

Let $\Vert x\Vert$ and $\Vert x\Vert'$ be two norms on a vector space . These norms are equivalent norms if there exists a number such that

$\displaystyle \frac{1}{C} \Vert x\Vert \le \Vert x\Vert' \le C \Vert x\Vert$

(1)

for all $x\in V$ .

Since equation (1) is equivalent to

$\displaystyle \frac{1}{C} \Vert x\Vert ' \le \Vert x\Vert \le C \Vert x\Vert'$

(2)

it follows that the definition is well defined. In other words, $\Vert\cdot \Vert$ and $\Vert\cdot \Vert'$ are equivalent if and only if $\Vert\cdot \Vert'$ and $\Vert\cdot \Vert$ are equivalent. An alternative condition is that there exist positive real numbers

such that

$\displaystyle c\Vert x\Vert \le \Vert x \Vert' \le d \Vert x\Vert.$

However, this condition is equivalent to the above by setting $C=\max\{1/c,d\}$ .

Some key results are as follows:

If $\gamma>0$ and $\Vert x \Vert' = \gamma \Vert x \Vert$ , then $\Vert\cdot \Vert$ and $\Vert\cdot \Vert'$ are equivalent. For example, if $\gamma>1$ , then condition (1) holds with $C=\gamma$ , and for $\gamma<1$ , condition (2) holds with $C=1/\gamma$ .
Suppose norms $\Vert \cdot \Vert$ and $\Vert \cdot \Vert'$ are equivalent norms as in equation (1), and let and be the open balls with respect to $\Vert \cdot \Vert$ and $\Vert \cdot \Vert'$ , respectively. By this result it follows that
$\displaystyle C B_{\varepsilon}(x) \subseteq B'_\varepsilon(x)\subseteq \frac{1}{C} B_{\varepsilon}(x).$

It follows that the identity map from $(V,\Vert \cdot \Vert)$ to $(V,\Vert \cdot \Vert')$ is a homeomorphism. Or, alternatively, equivalent norms on induce the same topology on .
The converse of the last paragraph is also true, i.e. if two norms induce the same topology on then they are equivalent. This follows from the fact that every continuous linear function between two normed vector spaces is bounded (see this entry).
Suppose $\langle\cdot,\cdot\rangle$ and $\langle\cdot,\cdot\rangle'$ are inner product. Suppose further that the induced norms $\Vert\cdot\Vert$ and $\Vert\cdot\Vert'$ are equivalent as in equation 1. Then, by the polarization identity, the inner products satisfy
$\displaystyle \frac{1}{C^2}\langle v,w \rangle' \le \langle v,w \rangle \le C^2\langle v,w \rangle.$
On a finite dimensional vector space all norms are equivalent (see this page). This is easy to understand as the unit sphere is compact if and only if a space is finite dimensional. On infinite dimensional spaces this result does not hold (see this page).
It follows that on a finite dimensional vector space, one can check continuity and convergence with respect with any norm. If a sequence converges in one norm, it converges in all norms. In matrix analysis this is particularly useful as one can choose the norm that is most easily calculated.
The concept of equivalent norms also generalize to possibly non-symmetric norms. In this setting, all norms are also equivalent on a finite dimensional vector space. In particular, $\Vert\cdot \Vert$ and $\Vert-\cdot\Vert$ are equivalent, and there exists such that
$\displaystyle \Vert - v\Vert \le C \Vert v\Vert,\quad v\in V.$

Anyone with an account can edit this entry. Please help improve it!

"equivalent norms" is owned by matte. [ full author list (2) | owner history (2) ]

(view preamble)

This object's parent.

Attachments:: all norms on finite-dimensional vector spaces are equivalent (Theorem) by jirka
all norms are not equivalent (Example) by matte

Log in to rate this entry.
(view current ratings)

Cross-references: matrix, converges, sequence, infinite dimensional, compact, unit sphere, finite dimensional, polarization identity, induced norms, inner product, normed vector spaces, function, continuous, converse, topology, induce, homeomorphism, identity map, open balls, real numbers, positive, well defined, equivalent, equation, number, vector space, norms
There are 2 references to this entry.

This is version 7 of equivalent norms, born on 2003-05-28, modified 2008-03-22.
Object id is 4312, canonical name is EquivalentNorms.
Accessed 10323 times total.

Classification:

AMS MSC:

46B99 (Functional analysis :: Normed linear spaces and Banach spaces; Banach lattices :: Miscellaneous)

Pending Errata and Addenda

None.[ View all 1 ]

Discussion

forum policy

No messages.

Interact