logo

Uniform Convexity 📂Banach Space

Uniform Convexity

Definitions1

Let’s call (X,)(X, \left\| \cdot \right\|) a normed space. We say that the norm \left\| \cdot \right\| of XX is uniformly convex if it satisfies the following condition:

  • For every ϵ\epsilon where 0<ϵ20 \lt \epsilon \le 2, there exists a positive number δ(ϵ)>0\delta (\epsilon) \gt 0 such that if x,yXx,y \in X and x=y=1\| x \| = \|y\| = 1, xyϵ\| x-y\| \ge \epsilon then it satisfies (x+y)/21δ(ϵ)\|( x+y)/2 \| \le 1-\delta (\epsilon).

In this case, the normed space XX itself is also considered to be uniformly convex. If a normable space has a uniformly convex norm, it is also said to be uniformly convex.

Explanation

It is important to note that just because some norm defined on XX is uniformly convex, does not mean that another equivalent norm is also uniformly convex.

Theorem

Hilbert space is uniformly convex.

Proof

Let us assume that a positive number ϵ\epsilon is given where 0<ϵ20< \epsilon \le 2. Assume that HH is a Hilbert space, and that x,yHx,y \in H, x=y=1\| x\|=\| y\|=1, and xyϵ\| x-y\| \ge \epsilon.

Parallelogram Law(../1842)

x+y2+xy2=2(x2+y2) \| x+ y \|^2 + \| x - y \|^2 = 2 \left( \| x \|^2 + \| y \|^{2} \right)

Substituting x,yx, y into the parallelogram law gives

x+y2+xy2=2(x2+y2) \| x+ y \|^2 + \| x - y \|^2 = 2 \left( \| x \|^2 + \| y \|^{2} \right)

    x+y2=4xy24ϵ2 \implies \|x+y\|^2 =4-\|x-y\|^2\le 4-\epsilon^2

    x+y24ϵ2 \implies \|x+y\|^2\le 4-\epsilon^2

Summarizing,

x+y4ϵ2    x+y2=12x+y124ϵ2 \| x+y\| \le \sqrt{4-\epsilon^2} \quad \implies \left\| \frac{x+y}{2} \right\| = \dfrac{1}{2}\|x+y \| \le \frac{1}{2}\sqrt{4-\epsilon^2}

Since 0<ϵ20 \lt \epsilon \le 2, the range on the right-hand side is 0124ϵ2<10 \le \dfrac{1}{2}\sqrt{4-\epsilon^2} \lt 1. Therefore, as the Hilbert space is a complete space, it can be represented with some positive number δ(ϵ)\delta (\epsilon) depending on ϵ\epsilon as follows.

x+y21δ(ϵ) \left\| \frac{x+y}{2} \right\| \le 1-\delta (\epsilon)


  1. Robert A. Adams and John J. F. Foutnier, Sobolev Space (2nd Edition, 2003), p8 ↩︎