请输入您要查询的字词:

 

单词 AllNormsOnFinitedimensionalVectorSpacesAreEquivalent
释义

all norms on finite-dimensional vector spaces are equivalent


Theorem.

All norms on finite-dimensional vector spacesMathworldPlanetmath over Ror Care equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath (http://planetmath.org/EquivalentNorms).

A consequence of this is that there is only one norm induced topology on a finite dimensional vector space. This means that on such a vector space, weneed not worry about what norm we use when we talk about convergence of a sequence of vectors in norm. So a standard use of this theoremMathworldPlanetmath is in continuity argumentsMathworldPlanetmath over finite dimensional vector spaces, and it allows you to pick the most convenient norm for your argument (the Euclidean normMathworldPlanetmath is not always very convenient).

This obviously is not true for infinite dimensional spaces, for example see the different Lp spaces (http://planetmath.org/LpSpace). Note that the reason all this works is because a unit sphere is compactPlanetmathPlanetmath in a finite dimensional vector space, while that is not true in an infinite dimensional one.

Proof.

Any such finite-dimensional space is really just the same as n sowe can talk about just those spaces. That is, any finite-dimensional vectorspace over or is isomorphic to nfor some n (note that is just isomorphic to 2as a vector space over ).To see this, just write any element of the space in ofthe basis and then define the isomorphismPlanetmathPlanetmathPlanetmath to take that basis to the standardbasis in n and then extend linearly.

First let’s show that if two norms are equivalent on the unit sphere(all x such that x=1 with respect to some norm,for example the standard Euclidean norm) then they are equivalent everywhere.We can write any xn as a multiple of some scalarγ0 and a vector on the unit sphere, say x0, that isx=γx0.Then when suppose we have two equivalentnorms, say a and b, on the unit sphere

αx0ax0bβx0a
γαx0aγx0bγβx0a
αγx0aγx0bβγx0a
αxaxbβxa.

So the norms are equivalent everywhere.

Suppose we are working with the 2-norm. Now we want to show that any othernorm is a continuous functionMathworldPlanetmathPlanetmath with respect to the 2-norm.Take an arbitrary finite-dimensional space X andan arbitrary norm .Also suppose that {bi}1n is a basis of X and so an elementxX may be written as x=1nxibi.Now given anϵ>0, choose δ>0 such that x-y2<δ (the Euclidean distance is less then δ) implies that

max{|xi-yi|}<ϵi=1nbi

In fact we can just choose δ to be the right side ofthe above inequalityMathworldPlanetmath.Now we note that the triangle inequalityMathworldMathworldPlanetmath immediately also yields theinequality |x-y|x-y. So

|x-y|x-y=i=1nxibi-i=1nyibi=i=1n(xi-yi)bii=1n|xi-yi|bi(maxi|xi-yi|)i=1nbi<ϵi=1nbii=1nbi=ϵ.

And so is a continuous function.

Suppose we are given two norms a and b, we knowthat they are both continuous functions with respect to the 2-norm.And so the function defined as

f(x):=xaxb

is a continuous function on the unit sphere (with respect to the 2-norm).This function is continuous except perhaps at 0, but we don’tcare about the value at zero. On the unit sphere however f(x)is continuous and thus achieves a maximum and a minimum since the unit sphereis compact. Let’s call the minimum and maximum,α and β respectively.Then for any x on the unit sphere we have

αf(x)β
αxaxbβ
αxbxaβxb.

And so the norms are equivalent on the unit sphere and thus as we shownabove, everywhere.∎

随便看

 

数学辞典收录了18232条数学词条,基本涵盖了常用数学知识及数学英语单词词组的翻译及用法,是数学学习的有利工具。

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 9:39:46