请输入您要查询的字词:

 

单词 BanachLimit
释义

Banach limit


Consider the set c0 of all convergent complex-valued sequences {x(n)}n.The limit operationMathworldPlanetmath xlimnx(n)is a linear functionalMathworldPlanetmath on c0, by the usual limit laws.A Banach limitMathworldPlanetmath is, loosely speaking, any linear functional that generalizes lim to apply to non-convergent sequences as well. The formal definition follows:

Let be the set of boundedPlanetmathPlanetmathPlanetmathPlanetmath complex-valued sequences {x(n)}n, equippedwith the sup norm.Then c0, and lim:c0 is a linear functional.A Banach limit is any continuousMathworldPlanetmathPlanetmath linear functional ϕ()* satisfying:

  1. i

    ϕ(x)=limnx(n) if xc0 (That is, ϕ extends lim.)

  2. ii

    ϕ=1.

  3. iii

    ϕ(Sx)=ϕ(x), where S: is the shift operator defined by Sx(n)=x(n+1). (Shift invariance)

  4. iv

    If x(n)0 for all n, then ϕ(x)0. (Positivity)

There is not necessarily a unique Banach limit. Indeed, Banach limits are often constructedby extending lim with the Hahn-Banach theorem (which in turn invokes the Axiom of ChoiceMathworldPlanetmath).

Like the limit superior and limit inferior, the Banach limit can be applied for situationswhere one wants to algebraically manipulate limit equations or inequalitiesMathworldPlanetmath,even when it is not assured beforehandthat the limits in question exist (in the classical sense).

1 Some consequences of the definition

The positivity condition ensures that the Banach limit of a real-valued sequence is real-valued,and that limits can be compared:if xy, then ϕ(x)ϕ(y).In particular, given a real-valued sequence x, by comparison with the sequencesy(n)=infknx(k) and z(n)=supknx(k),it follows that lim infnx(n)ϕ(x)lim supnx(n).

The shift invariance allows any finite number of terms of the sequence to be neglected when taking the Banach limit, as is possible with the classical limit.

On the other hand, ϕ can never be multiplicative, meaning thatϕ(xy)=ϕ(x)ϕ(y) fails.For a counter-example, set x=(0,1,0,1,); then we would haveϕ(0)=ϕ(xSx)=ϕ(x)ϕ(Sx)=ϕ(x)2, so ϕ(x)=0,but 1=ϕ(1)=ϕ(x+Sx)=ϕ(x)+ϕ(Sx)=2ϕ(x)=0.

That ϕ is continuous means it is compatible with limits in .For example, suppose that {xk}k,and that k=0xk is absolutely convergent in .(In other words, k=0xk<.)Then ϕ(k=0xk)=k=0ϕ(xk)by continuity.Observe that this is just the dominated convergence theorem, specializedto the case of the counting measure on , in disguise.

2 Other definitions

In some definitions of the Banach limit, condition (i) is replacedby the seemingly weaker condition that ϕ(1)=1 —the Banach limit of a constant sequence is that constant.In fact, the latter condition together with shift invarance implies condition (i).

If we restrict to real-valued sequences,condition (ii) is clearly redundant, in view of the other conditions.

随便看

 

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

 

Copyright © 2000-2023 Newdu.com.com All Rights Reserved
更新时间:2025/5/4 21:12:32