Opial property

Opial property

In mathematics, the Opial property is an abstract property of Banach spaces that plays an important role in the study of weak convergence of iterates of mappings of Banach spaces, and of the asymptotic behaviour of nonlinear semigroups. The property is named after the Polish mathematician Zdzisław Opial.

Definitions

Let (X, || ||) be a Banach space. X is said to have the Opial property if, whenever (xn)nN is a sequence in X converging weakly to some x0 ∈ X and x ≠ x0, it follows that

\liminf_{n \to \infty} \| x_{n} - x_{0} \| < \liminf_{n \to \infty} \| x_{n} - x \|.

Alternatively, using the contrapositive, this condition may be written as

\liminf_{n \to \infty} \| x_{n} - x \| \leq \liminf_{n \to \infty} \| x_{n} - x_{0} \| \implies x = x_{0}.

If X is the continuous dual space of some other Banach space Y, then X is said to have the weak-∗ Opial property if, whenever (xn)nN is a sequence in X converging weakly-∗ to some x0 ∈ X and x ≠ x0, it follows that

\liminf_{n \to \infty} \| x_{n} - x_{0} \| < \liminf_{n \to \infty} \| x_{n} - x \|,

or, as above,

\liminf_{n \to \infty} \| x_{n} - x \| \leq \liminf_{n \to \infty} \| x_{n} - x_{0} \| \implies x = x_{0}.

A (dual) Banach space X is said to have the uniform (weak-∗) Opial property if, for every c > 0, there exists an r > 0 such that

1 + r \leq \liminf_{n \to \infty} \| x_{n} - x \|

for every x ∈ X with ||x|| ≥ c and every sequence (xn)nN in X converging weakly (weakly-∗) to 0 and with

\liminf_{n \to \infty} \| x_{n} \| \geq 1.

Examples

  • Opial's theorem (1967): Every Hilbert space has the Opial property.

References

  • Opial, Zdzisław (1967). "Weak convergence of the sequence of successive approximations for nonexpansive mappings". Bull. Amer. Math. Soc. 73 (4): 591–597. doi:10.1090/S0002-9904-1967-11761-0. 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • List of mathematics articles (O) — NOTOC O O minimal theory O Nan group O(n) Obelus Oberwolfach Prize Object of the mind Object theory Oblate spheroid Oblate spheroidal coordinates Oblique projection Oblique reflection Observability Observability Gramian Observable subgroup… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”