Axioms 2013, 2, 224-270; doi:10.3390/axioms2020224

OPEN ACCESS

axioms

ISSN 2075-1680

www.mdpi.com/journal/axioms

Article

Quantitative Hahn-Banach Theorems and Isometric Extensions for Wavelet and Other Banach Spaces

Sergey Ajiev

School of Mathematical Sciences, Faculty of Science, University of Technology-Sydney, P.O. Box 123, Broadway, NSW 2007, Australia; E-Mail: Sergey.Ajiev@uts.edu.au

Received: 4 March 2013; in revised form: 12 May 2013 / Accepted: 14 May 2013 / Published: 23 May 2013

Abstract: We introduce and study Clarkson, Dol'nikov-Pichugov, Jacobi and mutual diameter constants reflecting the geometry of a Banach space and Clarkson, Jacobi and Pichugov classes of Banach spaces and their relations with James, self-Jung, Kottman and Schaffer constants in order to establish quantitative versions of Hahn-Banach separability theorem and to characterise the isometric extendability of Holder-Lipschitz mappings. Abstract results are further applied to the spaces and pairs from the wide classes IG and IG+ and non-commutative Lp-spaces. The intimate relation between the subspaces and quotients of the IG-spaces on one side and various types of anisotropic Besov, Lizorkin-Triebel and Sobolev spaces of functions on open subsets of an Euclidean space defined in terms of differences, local polynomial approximations, wavelet decompositions and other means (as well as the duals and the /p-sums of all these spaces) on the other side, allows us to present the algorithm of extending the main results of the article to the latter spaces and pairs. Special attention is paid to the matter of sharpness. Our approach is quasi-Euclidean in its nature because it relies on the extrapolation of properties of Hilbert spaces and the study of 1-complemented subspaces of the spaces under consideration.

Keywords: wavelet norms; quantitative Hahn-Banach theorem; isometric extension; Holder-Lipschitz mapping; IG-spaces; non-commutative Lp-spaces; Clarkson, Jacobi and Pichugov classes; Besov, Lizorkin-Triebel and Sobolev spaces; anisotropic function spaces; Schatten-von Neumann classes

1. Introduction

In a sense, the theory of function spaces has appeared as a result of "building a bridge" between abstract methods of functional analysis and mathematical physics (PDE, or harmonic/real analysis in a wider sense) by Sergey L. Sobolev [1]. In particular, he has proved and utilised the Clarkson inequalities that are the counterparts of the parallelogram identity characterising the inner product spaces. As the starting point, we introduce and study Jacobi and Clarkson classes of spaces and related constants in Section 5.1, thus dealing with the Banach-space counterparts of the Jacobi and parallelogram identities. They appear to be in fruitful relations with both the classical James, self-Jung, Kottman and Schaffer constants and superreflexive spaces and the newly introduced mutual diameter and Dol'nikov-Pichugov constant and Pichugov classes. An alternative approach to estimating Jacobi and Clarkson constants based on the counterparts of the Pythagorean theorem for the Birkhoff-Fortet orthogonality (but not giving the precise constants) is developed in [2].

Dol'nikov [3] has established a quantitative estimate describing the separability of a pair of bounded (non-convex) subsets in a Hilbert space in terms of their diameters and the distance between them. His results were further extended by Pichugov [4] to the setting of subsets of Lebesgue spaces with the aid of an interesting inequality for Lp-functions. While our Dol'nikov-Pichugov constant serves as the quantitative reflection of the quantitative Hahn-Banach theorems, the introduction of Pichugov classes in Section 5.2 and the study of them and their relations with other constants and classes of Banach spaces is the most important tool for establishing the quantitative Hahn-Banach theorems for the subspaces and quotients of the spaces from very large auxiliary classes of (parameterised) independently generated spaces IG and IG+ that we introduce in Section 2.1 to cover, firstly, Lebesgue and sequence lp space with mixed norm, sequence spaces appearing as wavelet spaces (i.e., the spaces ltp,q and lq(lp) isometric to the spaces of the coefficients of the wavelet decompositions of the functions from Besov and Lizorkin-Triebel spaces), Schatten-von Neumann classes and general non-commutative Lp-spaces (Section 2.2), secondly, various types of anisotropic Besov, Lizorkin-Triebel and Sobolev spaces (classical information is in [1,5-8]) defined by means of different tools, including differences, local polynomial approximations, smooth Littlewood-Paley decompositions (for example, Triebel-Lizorkin spaces), and, thirdly, the duals, lp-sums and "Bochnerizsations" of the above spaces. The intimate connection between the IG-class and various function spaces is highlighted in Section 3.

The history of investigating the isometric extension problem for Holder-Lipschitz and uniformly continuous mappings between Hilbert and Lebesgue spaces is described in [9-11], where Wells, Williams and Hayden have identified the sets of the smoothness parameters of the Holder-Lipschitz mappings between Lp-spaces (including lp) allowing a (semi)norm-preserving extension from every subset to the whole space, further developing the approach introduced by Minty [12]. It appears that the introduction of Jacobi classes not only provides a natural abstract setting for a generalised and slightly strengthened version of their approach, but also allows us (in Section 6) to describe the corresponding isometric extension and convex isometric extension sets of the exponents of the Holder-Lipschitz mappings between the pairs of IG-spaces, IG+-spaces, non-commutative Lp-spaces (for example, Schatten-von Neumann classes) and describe how to cover the pairs of all the spaces mentioned above.

Auxiliary results and by-product estimates are mostly placed in Sections 4 and 7. The majority of the assertions are shown to be sharp. Further applications of our quasi-Euclidean approach can be found in [13,14]. The investigation of the complementability of subspaces of function spaces is approximately as old as Sobolev spaces and goes back to G. M. Fichtenholtz and L. V. Kantorovich [15] who have established the non-complementability of C([a, b]) in L^([a, b]) (see also [2,16,17] for more references, generalisations and related stronger results).

The numbering of the equations is used sparingly. Since the majority of references inside every logical unit are to the formulas inside the unit, equations are numbered independently inside every proof of a corollary, lemma and theorem, or a definition (if there are any numbered formulas).

2. Definitions, Designations, and Basic Properties

Let n be the set of the natural numbers; n0 = n U {0}; In = [1, n] n n for n e n. Let p' be the conjugate to p e [1, to]"-, i.e., 1/pj + 1/p = 1 (1 < i < n).

In what follows, one can assume y« = ((t„)i, ..., (Y«)n) e (0, TO)n and |y«| = ^(y«)» = n to be fixed.

For x,y e rn, t > 0, let [x,y] be the segment in rn with the ends x and y; xy = (x^), ty = (tyi); x/y = for yj = 0, and t/Y« = ((¿57) . Assuming |x|7o = maxi<t<n |xj|1/(la)i, we have

|x + y1 Y a < CY a (|x|Ya + 1 y 1 la ) .

By means of M(Q, we designate the space of all ^-measurable functions defined on the measure space (Q,^). For a Lebesgue measurable E C rn and a finite D, let |E| and |D| be, correspondingly, the Lebesgue measure / xe(x)dx of E and the number of the elements of D.

For n e n, r e (0, to]"-, p e (0, to), q e (0, to], a (countable) index set I, and a quasi-Banach space A, let lq(A) := lq(I, A) be the space of all sequences a = {ak}keI C A with the finite quasi-norm l|a||1q = (Skei |ak|q)1/q < to; assume also c0(A) is the subspace of l^>(A) determined by limk ak = 0

lr (A) := lr„ (Irn.! ... (lPl (A)__J2

n brackets

For m e n and either l = lr(A), or l = lq(A), by means of lm, we designate the subspace of l satisfying aj = 0 for either imax > m, or i > m correspondingly.

For G C rn and f : G ^ r by means of f : rn ^ r, we designate the function

f (x), for x e G,

f(x) :=

1 0, for x e rn \ G

For p e (0, TO]n, let Lp(G) be the space of all measurable functions f : G ^ rn with the finite mixed quasi-norm,

( ( f \P2 /P1 \Pn/Pn-1 \1/Pn

llf |Lp(G)|

If |P1 dxi

^R \R / J ^

where, for pj = to, one understands (fr |g(xj)|pi dxj)1/Pi as esssupx.eR |g(xj)|. The classical quantitative geometry of these spaces had been studied for a long time (for example, see [18]).

For an ideal space Y = Y(Q) for a measurable space (Q, and a Banach space X, let Y(Q, X) be the space of the Bochner-measurable functions f : Q ^ X with the finite (quasi)norm.

||f|Y(Q,X)|| := ||||f(-)||x|Y(Q)||

If another measure v, absolutely continuous with respect to ^ with the density dv = u, is used instead of the corresponding space is denoted by Y(G, u, X).

For example, Lp(rn, lq) with p,q G [1, to] is a Banach space of the measurable function sequences f = {fk(x)}r=0 with the finite norm ||||{ffc(-)}fceNo|lq|||Lp(rn)||.

The construction in the definition of the auxiliary ltpq-spaces (next) suits both the classical dyadic approach [19] and our slightly more optimal covering approach [20] to the wavelet norms (characterisations) of anisotropic function spaces.

Definition 2.1. For p G (0, to)", q G (0, to) and n G n, let ltp,q = ltp,q(zn x J) be the quasi-Banach space of the sequences {tj }j|J with J G {n0, z} endowed with the (quasi)norm,

||{tij }|lt

^ ti,jXFij \ ,iezn ) jej

Lp(Rn, lq

, lq (J))

where {Fi,j }j|j is a fixed nested family of the decompositions {Fi,j }ieZn of rn into unions of congruent parallelepipeds {Fitj}ieZn satisfying

Ui€Zn Fi,j = rn, lFi,j n Fkj | = 0 for every j G J, i = k

and either lFi0,j0 n Fil,j11 = 0, or Fi0,j0 n Fil,j1 = Fi0,j0 for every i0, ii and j0 > ji. We shall assume that this system is regular in the sense that the length of the kth side lkj of the parallelepipeds {Fi}j }ieZn of the j th decomposition (level) satisfies

cib-j(Xa)k < lkj < cub-j(Xa)k for k G In

for some positive constants b > 1 and cl,cu. Let also the 0-level parallelepipeds {Fi 0}ieZn be of the form Qt(z).

For a parallelepiped F G {Fi,j}j|j or F = rn, by means of ltp,q(F) we designate the subspace of ltpq (zn x J) defined by the condition: titj = 0 if Fitj ^ F.

The symbol ltpq denotes either of the spaces ltpq (zn x J) or ltpq (F).

The space ltp,q is isometric to a complemented subspace of Lp(rn,lq), while its dual lt*q is isomorphic to ltp>q for p, q G (1, to) (see Section 2.1 below).

Remark 2.1. There are many books and articles dedicated to the wavelet decompositions (and their predecessors) and related characterisations of the function spaces, including [19,21-29]. The construction of ltpq above is compatible not only with the known results but also with a more optimal version [20]. Thus, Besov Bp, q(rn)w and Lizorkin-Triebel L^ q(rn)w sequence spaces, which we shall call Besov and Lizorkin-Triebel spaces with wavelet norms, can be defined in various constructive ways

(we omit the lengthy details) but the following property always holds. Indeed, throughout the article we only need to know the immediate corollary of the definition(s) that Bs q (rn)w is, in fact, isometric to lq (n0, lp(Zn)), while Ls(rn)w is isometric to a 1-complementedsubspace of ltpq (zn x n, lq(IM)) for certain M e n and contains, in turn, an isometric and 1-complemented copy of ltpq = ltpq(zn x n0).

We say that a subspace Y of a Banach space X is C-complemented (in X) if there exists a projection P onto Y satisfying ||P|L(X)|| < C.

For B c X, let co(B) and co(B) be the convex envelope and the closed convex envelope of B in X correspondingly. Similarly, let lin(B) and lin(B) be the linear envelope and the closed linear envelope of B in X correspondingly.

For a subspace E of a (quasi)Banach space A, let also A\E denote E endowed with || ■ |A||.

Definition 2.2. For r e [1, to], a finite, or countable set I and a set of quasi-Banach spaces {Xi}ieI, let its lr -sum lr (I, {Ai}ieI) be the space of the sequences x = {xi}ieI e n iei Xi with the finite norm

|x|lr(I, {Ai}i€i)||r := ^

Xi||Ai

2.1. Independently Generated Spaces, ltpq and ltpq

The purpose of this subsection is to introduce a wide class of auxiliary spaces containing not only almost all the auxiliary spaces related to the function spaces defined above but also the Lebesgue spaces with mixed norm and lp-sums of various spaces used in counterexamples.

First let us note some important properties of the space ltpq (see Definition 2.1 above) and its dual and explain the necessity to introduce the latter. It will be enough to deal with ltpq (Rn). The next lemma is very helpful despite to its simplicity.

Lemma 2.1. Let X be a Banach space, and P e L(X) be a projector onto its subspace Y c X. Assume also that QY : X ^ X = X/Ker P is the quotient map. Then we have

HQyxHx < ||Px||x < ||P|l(X)||||Qyx||x for every x e X.

In particular, the dual space Y* = X*/Y± and Y are isometric to P*X* and X if, and only if, Y is 1-complemented in X, i.e., ||P|L(X)|| = 1.

Proof of Lemma 2.1. The double inequality follows from the observations

Qyx = QyPx, ||Q|L(X,X)|| = 1 and Px = P(x - z) for every z e Ker P.

Applying the inequality to P*, Q, X* and Im P* instead of P, X and Y and noting Ker P* = Y± and ||P|L(X)|| = ||P*|L(X*)||, we obtain

||Qp*x* f Hx*/p*x* < ||P*f ||x* < ||PmXMQp-x* f ||x*/p*x* for every f e X* finishing the proof of the lemma. □

As mentioned after Definition 2.1, the space ltpq is isometric to a subspace of Lp(W",lq) for p E (1, to)", q E (1, to). The corresponding projection operator is defined by the series of conditional expectation operators (ESj }jeJ for the subalgebras Ij of the Lebesgue measurable subsets of r" generated by {F^-}ieZn (see Definition 2.1). We shall always assume that the corresponding nested family of decompositions of r" is regular. Note that the operator Es is defined by the kernel

Kj (x,y) :=Y1 1Fi,j 1 1XFi,j (x)XFij (y)

Thus, the image of E = {ESj}jeJ : {fj}jeJ ^ {Ejfj}jeJ is complemented in Lp(r", lq) thanks to the Fefferman-Stein inequality for mixed norm spaces (see [30] and remarks therein)

||{Mfj}jej|Lp(rn,lq)|| < C(p,q,n)\\{fj}jej|Lp(r",lq)||

and the pointwise estimate

|Esj fj I < CMfj a.e.

where M is the anisotropic Hardy-Littlewood maximal function. This observation, along with the Hahn-Banach theorem and Holder inequalities for sequences and integrals, implies the estimates

|f |ltp,q || < ||E*ExtHB f | ltp; ,q' || < C (p, q, n) |f |lt;,q |

explaining the isomorphism of lt*q and ltp>,q> for p E (1, to)", q E (1, to). According to Lemma 2.1, the space lt*q is not necessarily isometric to ltp>,q> unless p = g.

The boundedness of the projector E explains also why the spaces ltpq and ltpq inherit their complex interpolation properties from the spaces Lp(r", lq) (see Theorem 4.2 below and references therein). In the case of ltpq, it follows from the next theorem, while the dual case is treated with the aid of the duality theorem for complex method and reflexivity.

Nevertheless, the spaces ltpq and lt* q contain isometric and 1-complemented copies of lp and lq according to the next lemma.

Lemma 2.2. Let p E [1, to)" and q E [1, to). Then the spaces ltp,q(rn) and ltp>q (r") contain isometric 1-complemented copies of lp(n"), lq(n) and lp (Zn,lq(n)), and the spaces ltpq(F) (see Definition 2.1) and ltp>q (F)* contain isometric 1-complemented copies of lq(n), lp (Im, lq(n)) for every m E n".

Proof of Lemma 2.2. Let F = Fi0J0. Then the sequence of 1-complemented subspaces {Xj }j>j0 of ltp,q (F) defined by ti,1 = 0 if Fi,1 ^ F or l = j contain (isometrically and 1-complementedly) lp(n") for all sufficiently large j. If F = r", all these subspaces are isometric 1-complemented copies of lp. Now Lemma 2.1 provides the corresponding isometric and 1-complemented copies of the same spaces in ltp>q (F)* and ltp>q (r")*.

The subspace XT of ltpq(F) defined by the relations ti1,j = ti2,j for every j > j0 is isometric to lq. Moreover, the kernel |F|-1xF(x)xF(y) of the averaging operator T, which is a norm 1 operator in L(Lp(F)), is positive and also norm 1 on the Lebesgue-Bochner space Lp(F,lq). Since XT = ImT, T2 = T and ltpq(F) is a subspace of Lp(F,lq), XT is also 1-complemented in ltpq(F) and, thus, in

ltpq(rn). As above, we use Lemma 2.1 to show the presence of an isometric 1-complemented copy of

lq in ltp/q(F)* and ltp/q(rn)*.

The subspaces {Xj}j>j0 of ltpq(F) defined by the identities

tkui = tk2,i whenever l > j and Ffcl>i U Fh2ti C Fitj C F

are lp-sums of the copies of lq considered above and, therefore, contain lp (Im, lq (n)) for all large j. In the case of F = rn, they are all isometric copies of lp(lq). Similarly, the projectors Tj : ltpq(F) ^ Xj are the restrictions (from Lp(F,lq) onto ltpq(F)) of the averaging integral operators defined by the positive kernels

Kj(x,y)= Y1 \Fi'j\-lXFi,3 (x)XFi:3 (y)

i:Fij CF

All these integral operators have the same norm 1 in both Lp(F, lq) and Lp(F) thanks to their positivity. Hence, we found isometric 1-complemented copies of lp (Im, lq(n)) (and lp(lq)). We finish the proof by exploiting Lemma 2.1 to find the corresponding subspaces in ltp>,q>(F)* and ltp>,q>(rn)*. □

Remark 2.2. There are several known ways of detecting copies of la-spaces in a Banach space. It seems that, at least, in the setting of a regular domain G one can uncover almost isometric copies in Besov and Lizorkin-Triebel spaces with the aid of the remarkable results due to M. Levy [31 ], M. Mastylo [32] and V Milman [33] (in combination with the results in Section 10 in [2]). Direct constructions of the isomorphic (and often complemented) copies of various sequence spaces (for example, mixed lp and Lorentz Lpr) in various anisotropic Besov, Sobolev and Lizorkin-Triebel spaces of functions defined on open subsets of rn are presented in Section 3 in [2].

Definition 2.3. Independently generated spaces

Let S be a set of ideal (quasi-Banach) spaces such that every element Y e S is either a sequence space Y = Y (I) with a finite or countable I, or a space Y = Y (Q), where (Q, is a measure space with a countably additive measure ^ without atoms.

By means of the leaf growing process (step) from some Y e S, we call the substitution of Y with: (Type A) either Y(I, {Y}i€I) for some {Yhei C S if Y = Y(I), or (Type B) Y(Q, Yo) for some Yq e S if Y = Y(Q).

Here the quasi-Banach space Y(I, {Yi,}ieI) is the linear subset ofYlieI Yi of the elements {xi}ieI with the finite quasi-norm.

ll{xi}ieI|Y(I, {Yi}iEI)|| := ¡{Hx^}m||y

Note that a type B leaf (i.e., of the form Y = Y (Q)) can grow only one leaf of its own. We shall also refer to either {Yi,}ieI, or Y0 as to the leaves growing from Y, which could have been a leaf itself before the tree growing process. Let us designate by means of IG(S) the class of all spaces obtained from an element of S in a finite number of the tree growing steps consisting of the tree growing processes for some or all of the current leaves.

Thus, there is a one-to-one correspondence between IG(S) and the trees of finite depth with the vertexes from S, such that every vertex of the form Y(I) has at most I branches and every vertex of

the form Y(Q) has at most one branch. The tree corresponding to a space X e IG(S) is designated by T(X).

The set of all vertexes (elements of S) of the tree corresponding to some X e IG(S) will be denoted by means of V(X).

We shall always assume that the generating set S of IG(S) is minimal in the sense that there does not exist a proper subset QcS, such that S C IG(Q).

If the set S includes only the spaces described by (different) numbers of parameters from [1, to] and X e IG(S), we assume that I (X) is the set of all the parameters of the spaces at the vertexes of the tree T corresponding to X and

Pmin(X) := inf I(X) and Pmax(X) := sup I(X)

For the sake of brevity, we also assume that

IG := {X e IG(lp, Lp, ltpq, liprj) : [pmin(X),Pmax(X)] C (1, to)} and IGo := IG n IG(lp, Lp)

We say that two IG-spaces are of the same tree type if their trees are congruent and the spaces at the corresponding vertexes are both either lp-spaces, or Lp(Q)-spaces on two measure spaces (Q, ^0) and (Q,^i) with their (non-negative) measures ^0 and being absolutely continuous with respect to a a-additive and a-finite measure ^ on Q, or ltpq-spaces, or ltp q-spaces.

It is convenient to think about the parameters as parameter functions p = pX : P ^ [1, to] defined on one and the same parameter position set P = V (X) (here we slightly abuse the notation in the sense that the vertexes that are classes ltpq or lt*q are doubled to cover both their parameters, or that the value of p on them is 2-dimensional with the vector operations as in the beginning of this section) determined by T and the spaces at its vertexes.

Every IG space X can be interpreted as a space of functions defined on some set Q = Q(X) that is obtained by (repeated) combinations of the operations of taking sums and Cartesian products from a family of measurable spaces and index sets.

We also assume that an abstract Lp is an IG space with I(Lp) = {p}.

Let us also define the class IG+. A space X belongs to IG+ if it is either in IG, or obtained from a space X- e IG by means of the leaf growing process, in the course of which some leaves (or just one leaf) of X- have grown some new leaves from the set

{Sp, spn, Lp(M,T)}nt;i^

where (M,t) is a semifinite von Neumann algebra (defined below in Section 2.2). The set of the parameters p of these "last non-commutative leaves" is included into I(X) and they are part of the corresponding tree T(X). Let also

IGo+ = {Y e IG+ : Y- e IGo}

Remark 2.3.

(a) We shall deal with the set {lp, Lp, ltpq, ltp ,}, where lp, Lp, ltpq and ltp q, designate, respectively, the classes {lp(I)}pt[1)TC], {Lp(Q)}pt[1)TCj for all the Q with some countably additive and not purely atomic measure ^ on it, {ltpq}p,qt[1)TC] and {lt*p, ,}p,qt[1)TC].

(b) The subclass of lp-spaces can formally be excluded from the definition of the class IG because lp is isometric to

l^p p but

is left there for the sake of technical convenience. The subclass of lt*q-spaces is included to make IG closed with respect to passing to dual spaces.

(c) The Lebesgue or sequence spaces with mixed norm and the lp-sums of them are particular elements of IG(lp,Lp).

(d) Two IG(S) spaces X and Y form a compatible couple of Banach spaces if their trees are congruent and the spaces standing at the corresponding vertexes form compatible couples themselves, that is, when T (X) = T (Y) (meaning, particularly, the same domain of the parameter functions P = V (X) = V (Y)).

To sidestep the fact that ltpq is not a 1-complemented subspace in Lp(rn, lq (n)), we shall need the following structural observation.

Lemma 2.3. Let X e IG+ (X e IG). Then there exists X e IG0+ (X e IG0) with I(X) = I(Y) and T (X) c T (Y), such that X is a complemented subspace of a quotient Y¡Z, where Z is a complemented subspace of Y. Moreover, if ltp q e T(X), then X is a complemented subspace of Y.

Proof of Lemma 2.3. Let us start by noting that the subtree X (ltp,q) = ltpq (Zn x n, {Xj}) of X with {Xi}ieZnxN c IG+ is a 1-complemented subspace of V = ltpq (Zn x n, W), where W = lq (Zn x n, {Xj}). In addition, X(ltp,q)* is a 1-complemented subspace of V*. But V is also a complemented subspace of U = Lp(Rn, lq(n, W)). Indeed, the Fefferman-Stein inequality remains valid in the setting of UMD-valid functions (see Definition 7.3 below) due to a result of J. Bourgain [34], and W is a UMD space. Therefore, we can repeat the argument preceding Lemma 2.2. Hence, we also know that X(ltp,q)* is a complemented subspace of a quotient of U* with respect to its complemented subspace.

Now we move from the leaves of T(X) to its root in a finite number of steps, substituting every subtree growing from an entry of ltpq with the corresponding space U and every subtree growing from an entry of lt* q with the corresponding U* constructed as above. The resulting space Y e IG0+ is what we are looking for. □

2.2. Non-Commutative Spaces

Definition 2.4. Let M be a von Neumann algebra, and M+ be its positive part (cone). A trace on M is a map t : M+ ^ [0, to] satisfying

(a) t(x + y) = t(x) + t(y) for every x,y e M+ (additivity);

(b) t(Ax) = At(x) for every A e [0, to) and x e M+ (positive homogeneity);

(c) t(u*u) = t(uu*) for every u e M.

If a function 0 : M+ ^ [0, to] satisfies all the properties of the trace except for (c), then it is called weight. The trace t (weight 0) is said to be:

normal if supa t(xa) = t (supa xa) for every bounded increasing net {xa} c M+,

semifinite if for every non-zero x e M+ there exists a non-zero y e M + satisfying y < x and t (y) < to,

faithful if t(x) = 0 implies x = 0, and

finite if t (1) < to (without loss of generality one assumes t (1) = 1).

A von Neumann algebra M is said to be semifinite (finite) if it admits a normal semifinite (finite) faithful (n. s.(f.)f.) trace.

Let also |x| = (x*x)1/2 for x e M.

Every von Neumann algebra admits a normal semifinite faithful weight. The ways of defining general non-commutative Lp-spaces for a von Neumann algebra M with a normal semifinite faithful weight 0 Lp(M) = Lp(M,4>) (Haagerup spaces) are presented in [35]. We provide the definition only in the setting of a semifinite M and always deal with the general case with the aid of Theorem 2.2.

Definition 2.5. Let M be a semifinite algebra, and x e M+. The support supp x is the least projection in M satisfying px = x (or, equivalently, xp = x). Assume also that S is the linear span of the set S+ of all x e M+ with t(supp x) < to. For p e (0, to) and x e S, let the min(p, 1)-norm of x be defined by

llxllp = t (|x|p)1/p

The corresponding non-commutative Lebesgue space Lp(M, t) is the closure of S with respect to || ■ ||p; L^(M,t) is M endowed with the operator norm.

The linear manifold S is a w*-dense *-subalgebra of M. A trace t admits a continuous extension to S and, hence, to L1(M, t).

Examples 2.1 ([36]). Let H1, H2 be Hilbert spaces and p e [1, to). The Schatten-von Neumann class Sp = Sp(H1,H2) is the Banach space of all compact operators A e L(H1 ,H2) with the finite norm

sp = \\AISP(HUH2)\\ := (tr(A*A)p/2)

The class S^(Hi, H2) is the space of all compact operators with the norm inherited from L(Hb H2). The trace of a projector P, t (P ) = tr(P ) = dim(Im P ) corresponds to the counting measure and

Sp(H 1,H2) = Lp (L(Hi, H),tr) and Sp = Sp(Hi,Hi) for dim(Hi) = to

This trace is normal, semifinite and faithful. When dim(Hi) = dim(H2) < to, the elements of the Schatten-von Neumann classes can be represented by matrixes with a dense subset of the invertible matrixes, and the trace is finite. In this case we designate S'p = Sp (Hi,H2).

A finite-dimensional subspace of a Lebesgue space Lp consisting of simple functions is isometric to a subspace of lp. A similar argument relating Schatten-von Neumann and non-commutative Lp spaces of finite von Neumann algebras reduces the local properties (i.e., the properties that hold for the whole space if, and only if, they hold for its finite-dimensional subspaces) of the latter to the properties of the former.

Theorem 2.1 ([37,38]). Let M be a semifinite von Neumann algebra, p0,pl e [1, to], 9 e (0,1) and

1/p = (1 - 9)/po + 9/pi. Then

(a) (LP0(M,t),LP1 (M,t))[e] = Lp(M,t) (isometry);

(b) (LP0(M,t),LP1 (M,t))6p = LP(M, t) (isomorphism).

The following theorem permits to reduce the study of the local properties of the Haagerup Lp-spaces to checking them for the Lp spaces of finite von Neumann algebras.

Theorem 2.2 (Haagerup, see [35]). Let M be a von Neumann algebra with a normal semifinite faithful weight 4>, p e (0, to)), and let Kp(M,4>) be the associated Haagerup Lp-space. Then there are a min(p, 1)-Banach space X, a directed family {(Mi, n)}ieI of finite von Neumann algebras and a family {Ji}iei of isometric embeddings Ji : Lp(Mi, ni) satisfying

(1) Im Ji C Im Ji/ for all i, i with i < i';

(2) Im Ji is dense in X;

(3) Kp(M,4>) is isometric to a subspace of X, complemented if p e [1, to).

The next theorem from [35] (see also [39]) implies the superreflexivity and, thus, Radon-Nikodym property of the non-commutative Lebesgue spaces (see Section 7.1).

Theorem 2.3 ([39], Corollary 7.7 in [35]). Let M be a von Neumann algebra with a normal semifinite faithful weight fi andp e (0, to)). Then Lp(M,4>) is a UMD-space (see Definition 7.3).

We finish this section with the counterpart of Lemma 2.2 for Schatten-von Neumann classes and general Lp(M), where M is a von-Neumann algebra with a normal semifinite faithful weight (that always exists).

Lemma 2.4. For p e [1, to], the space Sp contains 1-complemented isometric copies of S'n, lp(In) and lp for n e n. Moreover, an infinite-dimensional Lp(M) contains a 1-complemented isometric copy of lp.

Proof of Lemma 2.4. Assume that Sp = Sp(H, H) for a separable Hilbert space H with an orthonormal basis {ek }k£N. For n e n, let Pn be the orthogonal projector onto the span Hn = [el,... ,en] C H and Pn : A i—► PnAPn. The properties of the approximation numbers show that Pn is a projector of Sp onto the isometric copy of Spn with ||Pn|L(Sp)|| = 1.

The subspace of the diagonal matrixes of S'^ is an isometric copy of lp(In). The operator Dn : S'n ^ Spn : A ^ diag{aiti}n=i, where aitj are the entries of the matrix A. Ky Fan's inequality (see Section 2.11.12 in [40]) demonstrates that ||Qn|L(Sn) || = 1 but the averaging representation of Qn from [41] implies that Qn is a norm 1 projector from L(l2(In)) endowed with any norm onto its subspace of the diagonal matrixes (with respect to {ek}). In a shortly-formalized form this representation can be written as

Qn : A f Rn(t)ARn(t)dt (1)

where Rn (t) is the isometry defined by the diagonal operator diag{ri(t), r2(t),..., rn(t)} with a set of Rademacher functions {rj(t)}n=i.

Thus, QnPn is a norm 1 projector of Sp onto an isometric copy of lp(In). The extension (by continuity) of QnPn from (JneN Spn to Sp is a norm 1 projector onto an isometric copy of lp.

If X = Lp(M) and M is not of type I, then it contains an isometric 1-complemented copy of Lp(R), where R is a hyperfinite II1 factor according to [42]. (This statement is Theorem 3.5 in [35], also compare with Corollary 4.2 in [35].) We have just seen that Sp4 (Sp) contains an isometric 1-complemented copy of lp(In) (lp). If now M is of type I or M = R, the proof of Theorem 2.1 in [35] contains an explicit construction of an isometric 1-complemented copy of lp(In) in Lp(M), and we can substitute lp(In) with lp if Lp(M) is infinite-dimensional. □

3. Connection between Function and Independently Generated Spaces

In addition to introducing and studying the generalised functions and generalised derivatives, Sergey L. Sobolev [1] has transformed the closedness of the latter into the completeness of the Sobolev spaces. Following the same principal idea, we study geometric properties of IG-spaces and their subspaces because some of the latter are isometric to various types of (anisotropic) (semi)normed Besov, Lizorkin-Tribel or Sobolev spaces of functions defined on open subsets of an Euclidean space.

It is possible to classify all the function spaces of Besov, Lizorkin-Triebel and Sobolev types in two categories: Homogeneous (seminormed) spaces and normed spaces.

As an example, let us consider the anisotropic normed and seminormed (also known as homogeneous) Sobolev spaces endowed with the simplest norms and corresponding seminorms.

For s e nn, c e [1, to), p e [1, TO]n and an open G c rn, let Wps(G) = Wps(G)? be the Banach space of the measurable functions f defined on G possessing the Sobolev generalized derivatives DS f and the finite norm

IIflWS(G)r := |f |Lp(G)|r + If K(G)II? = If|Lp(G)||? + £ ||Df f |Lp(G)|

Let also wp(G) = wp(G)? be the completion of the linear space of the measurable functions f defined on G and possessing the Sobolev generalized derivatives D^ f and the finite seminorm

wp(G)|? = £ ||D?f |Lp(G)||-

factorised by the null-space of this seminorm (consisting of the finite-dimensional space of polynomials).

Note that, in the case of the most intricate problems of the theory of functions, one can choose the most convenient equivalent norm in a given function space (see the references in Introduction and specialised [30]). Thus, the particular value of c is not important and, by default, is equal to 1. On the contrary, the geometric properties of the function spaces are not isomorphic and depend on the particular choice of the equivalent norm and even require the introduction of new parameters (see [2,30,43,44]). Again, the idea of taking c = 2=1 belongs to Sobolev [1]. Our quasi-Euclidean approach strongly depends on the geometric properties and requires certain restrictions on the choice of the parameters of (the equivalent norms of) function spaces. Let us consider the two abstract categories in detail.

Given a linear topological space W, a (quasi) Banach space Y and an injective linear operator A : W D D(A) ^ Y, let za,y be the completion of the linear space {x e W : Ax e Y} endowed with the (quasi) norm ||x|zA,Y|| := ||Ax||Y. If Ker A = {0} is closed, we use W/Ker A instead of W.

We note that, according to this definition, za,y is isometric to the closure Im A of the image of A in Y.

Given c e (0, to], (quasi) Banach spaces X and Y and a closed linear operator A e C (X,Y), let Za,x,y = be the (quasi) Banach linear space DX(A) = D(A) n X endowed with the

(quasi) norm

HxIZa,x,y||? := ||x||X + ||Ax||Y

Note that the completeness of ZA,Xy is equivalent to the closedness of A.

The specific examples of the spaces from the first (for example, wp(G)) and the second (for example, Ws(G)) categories also include, correspondingly, various types of the homogeneous and non-homogeneous Besov and Lizorkin-Triebel spaces defined in terms of averaged differences, local approximations by polynomials, wavelet representations and families of closed operators (including Triebel-Lizorkin spaces defined in terms smooth Littlewood-Paley decompositions and spaces defined in terms of holomorphic functional calculi). More details are found in [2,17,30].

To see that the presence of a weight is not a problem, let us note that, for example, the Lebesgue Lp(G) and weighted Lebesgue Lp(G, w) spaces for p e [1, to) and w > 0 almost everywhere on G are isometric with the isometry Tw,p : Lp(G, w) —► Lp(G); f -—► fw1/p.

Remark 3.1. As described in this section, the results of this article in the setting of IG-spaces imply the corresponding counterparts in the settings of various types of Besov, Lizorkin-Triebel and Sobolev spaces defined in terms of differences, local polynomial approximations, systems of closed operators and wavelet decompositions, except for the matter of sharpness. The latter can be treated by means of real/harmonic analysis tools and will be presented elsewhere.

4. Key Tool: Interpolation of Banach Spaces and Their Subspaces

The non-weighted case u0 = v0 = u1 = v1 = 1 of Part (b) of the next theorem is Theorem 5.1.2 from [45], its proof also works for Part (a) (see also [46,47]).

Theorem 4.1.

(a) For an index set I, let {.Ai}ieI and {Bi}ieI be systems of compatible couples of Banach spaces. Assume thatpj,qj e [1, to] for j = 0,1, 9 e (0,1), 1/pe = (1 — 9)/p0 + 9/p1 and 1/qe = (1 — 9)/q0 + 9/q\. Let also T be a bounded linear operator from lpj (I, {Aji}ieI) into lqj (K, {Bji}ieI) with the norm Mj for j = 0,1 and finite, or countable I and K, where we use, correspondingly, c0(I, {Aji}ieI) and c0(K, {Bji}ieI) instead of lpj (I, {Aji}ieI) if pj = to and lqj (K, {Bji}ieI) if qj = to. Then T is also bounded from

lpe {Ai[8]}i£l) = (lpo (^ {A0i} ieI) , lpi (I, {Aii}i€I))[fl] (isometry)

lqe (K, {Bi[e]}iei) = (lqo (K, {Boi} iEl) , lqi

(K, {Bu}iei))[e] (isometry)

with the norm

||tmiP9(I,{Am}m),iqe(k, [Bm}ieI))|| < Mol-dmq

(b) Let (Ao, Ai) and (Bo, Bi) be compatible couples ofBanach spaces, and let also (Q, y) and (G, v) be measure spaces. Assume that Uj and Vj for j = 0,1 are ^-measurable and v measurable weights on Q and G correspondingly. Let pj ,qj e [1, to] for j = 0,1, 9 e (0,1), 1/pQ = (1 — 9)/po + 9/p1,

Pi-P9 PQ-Pe qi-qp qp-qg

1/qe = (1 — 9)/q0 + 9/q1, uq = uPi-PQ uPQ-Pi and vq = v0qi-qQ v1qQ-qi. Assume also that a linear operator T is bounded from Lpj (Q,Aj) into Lqj (G,Bj) with the norm Mj for j = 0,1, where the closures L^ (Q, Uj, Aj) and/or L^ (Q, Vj, Bj) of the simple functions are used instead of Lpj (Q,Uj, Aj) and Lqj (G, Vj, Bj) correspondingly ifpj = to and/or qj = to for j = 0,1. Then T is also bounded from

Lpe(Q,uq, aq) = (LpQ(Q,uo,Ao),Lpi(Q, Ui, Ai))[q] (isometry)

Lqe (G,vq ,Bq ) = (Lqp (G,Vo,Bo), Lqi (G, Vi, Bi)) [q] (isometry)

with the norm

|| T| L (Lpe(Q, uq, aq),Lqe(G, vq, bq)) || < Moi-QMQ

Proof of Theorem 4.1, (b). As mentioned above, the non-weighted case of Part (b) is Theorem 5.1.2 from [45].

The general (weighted) variant of Part (b) is deduced from this particular case with the aid of Besov's trick described by Lizorkin in [48]. Namely, assume that we have the isometry

Lpe (Q,Aq ) = (Lpp (Q,Ao),Lpi (Q, Ai))[Q]

for a measure space (Q, The trick consists in applying this identity with another measure v that is absolutely continuous with respect to ^ and defined by the density

dv (<J£\(pi-pQ)-i ^i\(pi-pQ)-1

u = — = —^ to the function fw = f —

d^ \u\ J \uoj

given a function f. Indeed, one has following isometries

IlgwlLpj (Q, u, Aj )|| = UglLpj (Q,u3, Aj )|| for j = 0,1 and 11 fwl Lpe (Q, u, Aq = 11 f l Lpe (Q,Uq , Aq

because

Uj = wpju for j = 0,1 and uQ = wPeu They imply the desirable isometry

Lpe (Q,uq ,Aq ) = (Lpp (Q,uo,Ao),Lpi (Q,ui ,Ai))[Q]

Theorem 4.2. ([8,49]) For p e [1, to], 9 e (0,1), let (A0,A^ be a compatible couple of Banach spaces, and B be a complemented subspace of A0 + A2, whose projector P e L(A0) n L(A1). Then (A0 n B, A1 n B) is also compatible, and we have the isomorphisms

(Ao n B, Ai n B)e,p x (A0, Ai)e>p n B and (A0 n B, Ai n B)[e] x (A0, Ai)[e] n B

Moreover, if Ai n B is 1-complemented in Ai for i = 0,1, then we also have the isometry

(A0 n B, Ai n B)p] = (A0, Ai)[0] n B

Multiple iterations of the Banach space versions of both parts of Theorem 4.1 with the aid of Theorem 4.2 and Lemma 2.3 lead to the complex interpolation result for IG-spaces described in the following corollary.

Corollary 4.1. Let (A0,Ai) be a compatible pair (see Remark 2.3, (d)) of 1G+--spaces (A0,Ai e 1G+) with the parameter functions p0 and pi taking values in [1, to] and 9 e (0,1). Assume also that 1/pe = (1 — 9)/p0 + 9/pi, and that the space Ae e 1G+ defined by the parameter function pe is the space with the same tree type as both A0 and Ai. Then we have the isomorphism (A0, Ai)[e] x Ae that becomes the isometry (A0, Ai)[e] = Ae if (A0, Ai e 1G0+).

5. From Jacobi, Clarkson and Pichugov Classes to Quantitative Hahn-Banach Theorems

5.1. Counterparts of Jacobi and Parallelogram Identities

Approximately a century before the appearance of the Jordan-von-Neumann parallelogram criterion, K. G. Jacobi established a remarkable identity relating the moment of inertia of a system of mass (with respect to its barycentre) and the distances between them. Namely, in a Hilbert space H, for every {xj}n=i C H and {ai}™=i C [0,1] with a = 1 and xb := aixi, one has

ai|xi|2 — ||xb||2 = ^^ ai|xi — xb||2 = 2-i ^^ aiaj ||xi — Xj ||2 (KGJ)

i=i i=i i,j=i

In Part (d) of the next remark, we shall see that the Jacobi identity, implying the parallelogram identity, characterizes the inner product spaces as well. Therefore, considering its counterparts, we must deal with inequalities. Having in mind the future use, we define the Jacobi and adjoint classes of normed spaces.

Definition 5.1. Let X be a Banach space, a, a0, a e [1, to] and j+, cj > 0. We say that the space X belongs to the Jacobi class J(a0,ai,cJ), or the adjoint Jacobi class J+(a0,ai,cJ+), if, for every X-valued stochastic variables £ and n that are independent and identically distributed on a probability measure space (Q, S,p), one has, respectively, the estimates

(Es||£ — nllX1 )iM < cj (Es ||£||X0)1ajo , or (J)

(Es ||£ — Es£||X)iM < cj + (Es||£ — n||X)i/CT0

Let also J (a, cj) = J (a, a, cj) and J+(a, cj+) = J+(a, a, cj+). For a purely atomic probability space (Q, E,p), let

ep = inf{p(A) : A c E and A is an atom}

We assume that e^ = 0 for the measures ^ with continuous components. It is convenient to use a simplex representation for the set of purely atomic probability measures. For a finite or countable set I, assume that Si is the set of all a e [0,1]n satisfying ieiai = 1.

We say that the space X belongs to the atomic Jacobi class Ja(a0,a1,cj), or the adjoint atomic Jacobi class J^ (a0, a\, cj+), if, for every finite or countable I and a e SI, one has, respectively,

\ V°"1 / \ !/°"0

Y^ aiaj\\x- Xj iix1 i < cj I Y1

\%,jei J \ iei

ai\\xi\\X I , or

\ 1/°1 / \ l/°0

^2ai\\xi - xb\\°X I < cj+ I ^ aiaj\\xi - Xj\X . iei J \i,jei

Let also Ja(a,cj) = Ja(a,a,cj) and J^ (a,cj+) = Ja (a,a,cj+).

For X e J(a0,ai) and Y e J+ (a0,ai), we designate the best constants cj and cj+ by cj(X) = cj,a-0,(j1 (X) and cj+ (Y) = cj+,a0,ai (Y) correspondingly. As we shall see in Theorem 5.3, the purely atomic and continuous classes coincide, leaving us with the notations J(a0,a1,cj) and J+(ao ,ai,cj +).

Let (E, d) be a metric space, a, a0,a1 e (0, to] and cj > 0. We say that the space E belongs to the Jacobi class J(a0,a1) = J(a0,a1,cj), if, for every x e E and E-valued stochastic variables £ and n that are independent and identically distributed on a probability measure space (Q, E,p), one has the estimate

(Esd(£, n)ai)1/ai < cj (Esd(£, x)a0)1/a0 (J metric)

c We shall use the constants cj and cj + to estimate the self-Jung constant (see Theorem 7.2 below and related references) and the Kottman [50] constant /3(BX) < cj (see Definition 5.4; BX is the unit ball of X; compare with [11]), to identify the existence of isometric extensions of the Holder mappings between various spaces in Section 6 and estimate the Dol'nikov-Pichugov and mutual diameter constants in Section 5.2.

Remark 5.1.

(a) One clearly has the inclusions J(a0, a1,cj) c Ja(a0, a1, cj), J+(a0,a1,cj+) c J^(a0, a1,cj+).

(b) Let us note that, if a Banach space X is in some Jacobi, or adjoint Jacobi class, and Y is either a subspace or a quotient, or finitely represented (see Definition 7.1) in X, then Y is in the same class.

(c) Restricting ourselves by only finite index sets I in the definition of the atomic Jacobi classes, we obtain an equivalent definition of the same classes. The same assertion holds for the general Jacobi classes thanks to Part (h) of Theorem 5.1.

(d) According to Parts (a) and (e) of the next theorem, all the nontrivial Jacobi classes contain superreflexive spaces only.

(e) A Banach space X is a Hilbert space if, and only if, X e Ja(2, v^) n J^(2,1/v^2) (i.e., (KGJ) holds). Indeed, choosing ai = 1/4 and {xi}4=1 = {±x, ±y} for arbitrary x,y e X, we obtain the parallelogram identity

llxHX/2 + llyllX/2 + ||x - y||X/4 + ||x + y||X/4 = ||x||X + llyMX

(f) If [p1,Po] C [q1, qo], the Holder inequality provides the inclusions

J(Po,Pi,cj) C J(qo,qi,Cj), Ja(po,pi, cj) C Ja(qo,qi,Cj),

J+ (P0,P1,CJ) C J+ (qo,qi,cj), J^(po,pi,cj) C J^(qo,qi,cj)

(g) The triangle inequality implies that every metric space (E, d) belongs to the class J (a, a, 21/a) for a e (0,1].

For a e [0, to] and a probability space (Q, we shall deal with the Bochner spaces LCT(Q, X) and La(Q x Q,X), where the latter space is just a convenient representation for independent identically distributed stochastic variables £ and n in the form

£(wi,w2) = f (wi) and n(^i,^2) = f (^2)

for an arbitrary f e LCT(Q,X) that is also convenient to apply the complex interpolation and duality theories of linear operators.

Let D : La(Q, X) ^ La(Q x Q, X) and D* : La> (Q x Q, X) ^ La> (Q, X) be the difference operator and its adjoint, respectively, defined by

(Df)(wo, wi) := f (wo) - f (wi) and (D*g)(w) := E«y (g(w, w') - g(w', w))

Lemma 5.1. Let a e [1, to]. Then one has Im D*D = Im D* = KerE, Im DD* = Im D, 2-1D*D = I — E, and P = 2-1DD* is a bounded projector with ||P (Q x Q,X )|| < 2. If either ^ is purely atomic, or X and X* possess the Radon-Nikodymproperty and a e (1, to), then the operator D* is the dual of D e L(LCT(Q, X),LCT(Q x Q, X)).

Proof of Lemma 5.1. The Radon-Nikodym property requirement provides the relations between the corresponding Lebesgue-Bochner spaces in the continuous setting. The Minkowski and Jensen inequalities imply max(||D||, ||D*||) < 2 and, hence, the estimate for the norm of P. The validity of 2-1D*D = I - E and ED* = 0 is checked straightforward and implies Im D* D Im D*D = Im I - E = Ker E D Im D*. Similarly, with the aid of the identities ED* = 0 and 2-1D*D = I - E, we see that 2-1D*DD* = D* delivering both the second identity of the lemma and P2 = P. □

Corollary 5.1. Let (Q,^) be a probability measure space with either ^ being purely atomic uniform measure on the finite discrete Q (|Q| < to), or ^ being uniform (continuous) on Q, and let A = (Ao, A1) be a compatible pair of Banach spaces. Assume also that ui : Q2 ^ (0, to) is a positive weight on Q2 = Q x Q with respect to = ^ x ^ on Q2 with

di = ||u |L^(Q2)|| ■ ||u-1 |L^(Q2)|| < to for i = 1, 2.

P1-P8 P 0-

Let also 9 G (0,1), p0,pi G [1, to], 1/pe = (1 — 9)/p0 + 9/p\ and ue = uOp1 P0 up0 P1. Then we have

(ImD n LP0(tt2,uo,Ao), ImD n LP0(Q2, uo, Ao)) [e] = ImD n LPe(Q2,ue,Ae) where Im D = D (Lp0(Q,u0, A0) + LP1 (Q, ui, Ai)) and the intersections inherit the norms.

Proof of Corollary 5.1. Part (b) of Theorem 4.1 provides the isometry

(Lp0(Q2,uo,Ao),Lp0 (Q2,uo,Ao)) ^ = Lpe(Q2,ue, Ae)

Thus, to finish the proof it is sufficient to check the validity of the conditions of Theorem 4.2 on the interpolation of subspaces. According to Lemma 5.1, P = P(n2,^2) (i.e., defined for the uniform distribution on Q x Q) is a projector onto Im D with

||P|L (Lpi(Q2,^2, Ai)) || < 2 for i = 0,1 (2)

The conditions on the weights imply that the identity operator is the isomorphism

I : Lp.(Q2,^2,Ai)) ^ Lp.(Q2,ui,Ai) for i = 0,1 with

|| I|L (Lp.(Q2,^2, Ai)),Lp.(Q2,ui, Ai)) || ■ || I|L (LPi(Q2,u,, Al))Ln(Q2,Ai))) || < d]/pi (3) Now (2) and (3) provide the desirable estimate

||P|L (Lpi(Q2,ui, Ai)) | < 2dl/pi for i = 0,1 (4)

justifying the applicability of Theorem 4.2. □

Regarding Parts (a) and (e) of the next theorem, let us note that there are reflexive (and uniformly convex in every direction) spaces with trivial Jacobi constants. One example is the lp-sum (p G (1, to)) of lpi (pi G (1, to)) lp (n, {1pi}i€N) with either liminf^^pi = 1 or limsupi^pi = to.

Theorem 5.1. Let X be a Banach space, let E be a metric space, a, a0,a1 G [1, to] and cJ +, cJ > 0. Then one has:

(a) X G J(a0, a1, 2) n J+(a0, a1,1) and E G J(a0, a1, 2) if a0 > a1;

(b) min(cJ(X), cJ(E) > cJ(r) = 21/if X, E G Ja(a, cJ), and Ja(a0, a1,cJ) = 0 if a0 < a1;

(c) cj+(X) > cj+(R) = 2-1/if X G J+ (a, cj), and Ja+ (<o,<1,cj+ ) = 0 if <o < <n;

(d) if X G Ja(ao,<1,cj) (X* G Ja(ao,<1 ,cj)), then X* G J+ (a'1 ,a0,cj/2) (X G J+ (a[,a0,cj/2)), and the same holds for the general J and J+;

(e) if either X G Ja(a0,a1,cj) with cJ < 2 or X G J+ (a0,a1,cJ+) with cJ+ < 1, then X is superreflexive; and, if X = X**, then cj,a0ta1 (X) = 2 and cJ+,a0,a1 (X) = 1;

(f) Ja(a,cj) C Ja(p, 21-a'/p' j/p') n Ja(q, 21-a/qcjq) for a G [p,q] C (1, to);

(g) J+ (a,cj+) C J+ (p, J) n J+ (qj) for a G [p, q] C (1, to);

(h) J(<o, a 1, cj) = Ja(<o,<1,cj) and J(<o,<1,cj) = Ja(<o,<1,cj);

(i) cj^a1 (X) > 21/min(a,a') and cj+>ao>ai (X) > 2-1/if, for an increasing {nkc n, X contains either la (Ink) or la' (Ink) almost isometrically for every k.

Moreover, Part (e) shows the coincidence of the atomic and non-atomic classes: Ja = J and

J+ = J+.

Proof of Theorem 5.1. Part (a) for a0 = a1 follows either from the boundedness of the operators D and the restriction of D* onto Im D established in the proof of Lemma 5.1 with the aid of the triangle, Jensen and Minkowski inequalities (one can also use the Holder inequality (a + b)p < 2p-1(ap + bp) to avoid the restriction step), or with the aid of the complex interpolation method (in the case of X) applied to the pairs

(L1(fi,X),L^(n,X)), (L^Q x Q,X),L^(Q x Q,X)) and

(ImD n L^Q x Q,X), ImD n L^(Q x Q,X)) (5)

where we also use Corollary 5.1 and Theorem 4.2. Part (f) of Remark 5.1 (or Holder inequality) finishes the proof of (a).

The duality (Part (d)) for the case of purely atomic measures follows immediately from Lemma 5.1: D* is the dual of D and 2-1D*D = I - E and the fact that X is a subspace of X**.

In the case of Part (e) with the aid of this duality, we have one of the inclusions X* e J^ (a^, a0, j/2) or X e J+a(a0,a1,cJ+) implying, thanks to the Theorem 11.15, (a), the estimates for the self-Jung constants (the uniform normal structure for either X* or X) Js(X*) < 1 or Js(X) < 1, which, in turn, are followed by the superreflexivity of X and X* provided by Part (b) of Theorem 7.1. At the same time, Part (a) of Theorem 7.1 states that Js(X) = 1 if X is not reflexive. This observation provides the second half of (e) by reversing the implications.

Since the reflexivity implies the Radon-Nikodym property (see Section 7), the rest of Part (d) follows either from Part (a) in the trivial case cJ = 2, or from the duality in Lemma 5.1.

To establish Parts (b) and (c) in the case of Banach spaces, let us assume that n = Q is a countable set of atoms with ^({i}) = a^. We also take x1 = x = 0 and xj = 0 for i > 1 and obtain

(2^(1 - aOIMIX1 )1M < cj (« ||x||£°)1M° and

(«1 (1 - «1 r ||x||X)1M < cj+ (2a1(1 - a1)||x||X)1/<J° (6)

Tending a1 ^ 0, we see that, necessarily, a0 > a1 in Parts (b) and (c). Moreover, when a0 = a1 = a, we also obtain cJ > 21/ct and cJ+ > 2-1/ct. Since r is a Hilbert space, we have the Jacobi identities

2-1/2||Df |L2(Q x Q)|| = ||f - fn|L2(Q)|| < ||f |L2(Q)| (7)

Interpolating these inequalities with the limiting cases a = 1 and a = to provided by and as in Part (a) by means of the complex method, we obtain the estimates cJ(r) < 21/min(CT>CT') and cj+(r) < 2-1/ Considering Q = In with an even n with the uniform probability ^({i}) = 1/n and

xj = (-1)1, we see that

2CT-1 < c^ and 1 < cj+2ct-1

providing the identities cJ(r) = 21/ mln(^,CT,) and cJ +(r) = 2-1/max(^,CT,). To finish the proof of (b) and (c) for Banach spaces it is left to notice that every Banach space contains an isometric copy of r. To establish Part (b) for metric spaces, we similarly take Q = I2 to be composed of two atoms with M{i}) = «j. One also considers £ ({i}) = xj for i e I2 and x = x1 to establish a counterpart of (7):

(2«1(1 - a1)d(x1,x2)CT1 )1M < cj (a1d(x1,x2)CT°)1/ct°

implying the rest of (a).

Parts (f) and (g) are established by means of the complex interpolation, correspondingly, between the inclusions X e Ja(a, cj) and X e J+ (a, cJ+) and the inclusions in Part (a) (valid for every X). As in Part (a), we use Theorem 4.2 and Corollary 5.1.

The nontrivial inclusions J(a0,a1,cJ) D Ja(a0,a1,cj) and J(a0,a1,cJ) D Ja(a0,a1,cj) in Part h are established by approximating a general stochastic variable £ with simple functions (stochastic variables).

If X contains la (Ink) almost isometrically, then, according to Part (b) of Remark 5.1,

J0,*1 (X) > limsup cj,ao,ai (la(Ink))

Choosing the discrete Q = Ink with ^({i}) = 1/nk and £(i) = xi = ei from Lemma 7.1 and, then, Q = Ih(nk) with M{i}) = 1/h(nk) and £(i) = x,i = fi from Lemma 11.8 (the Hadamard function h is found in Definition 7.5), we obtain

cj,CTo,.i (la(Ink)) > max (21/a(1 - 1/nk)1/ai, 21/a'(1 + 1/h(nk))1/a(1 - 1/h(nk))1/ai)

implying the first estimate in Part (i). To finish the proof of the theorem, we obtain in the same manner

cj+,ao,ai (X) > limsup^x j+,ao,ai (la (Ink )) and

cj+,ao,ai (la (Ink )) > max n-1 ((nk - 1f + nk - 1)^ (1 - 1/nk )-1/ai

2-1/a (1 + 1/h(nk ))-1/a (1 - 1/h(nk ))-1/ai)

Corollary 5.2. The proof of Theorem 5.1 also shows that for [a1, a0] C [1, to], we have cj,ao,ai (r) = 21/min(ai,ai) and cj+,ao,ai (r) = 2-1/max(ao,a0>

There is a huge amount of literature dedicated to the Clarkson inequalities and most of the rest of this subsection (if not all) should be known in, most probably, different terms. The proof and applications of the classical Clarkson inequalities can be found, for example, in [1]. We intend to achieve only the level of completeness suitable for our purposes.

Definition 5.2. Let X be a Banach space and p,p0,p1 e (0, to], cci > 0. We say that X is in Clarkson class Cl(p0,p1,cd) if

(I|X + v\\PX + llx - v\\PX)1/Pi < cci (llxllX + llyllX)1/po

for every x,y e X;

Cl(p, cci) = Cl(p,p, cci) (Cl)

For X e Cl(p0,p1), we designate the best constant cCi by cCi(X) = cCi,po,pi (X).

As shown in Part (c) of Theorem 7.2 and Part (f) of Theorem 11.16 in [2], the Clarkson constant cCi dominates some other important constants, including the non-squareness constant of James.

Lemma 5.2. Let X be a Banach space andp,pc>,pi € [1, to], cc1 > 0. Then we have

(a) X € C7(pc,Pi, 21/pi+1/p°);

(b) coi,p(X) > cCi,p(r) = 21/min(p'p,);

(c) X € C7(pc,p1,cd) ^ X* € C7(p'i,pC,cci);

(d) C/(p, cci) C C/(r, 21-p,/rc^) n C/(q, 21-p/qcC/q);

(e) cc,p(Lp) = cCi,p(r) = 21/min(pp);

(f) (IMIX + llyMX)1/p < (Mx + yMX + llx - yllX)1/pfor x,y € X € C/(p).

Proof of Lemma 5.2. Part (a) follows from the triangle and Holder inequalities

((llx + y||pi + ||x - yMpi ))1/pi < 21/pi (llxll + 11 y M) < 21/pi+1/p'° (MxMpo + lly Mpo )1/po

Part (d) is the outcome of the complex interpolation of the operator T : (x,y) ^ (x + y,x — y) whose boundedness at the end-point spaces of the corresponding interpolation pairs is interpreted as X € C/(1, 2) n c/(to, 2) n C/(p, cj). In the same manner, the upper estimate in (e) is established with the aid of the complex interpolation of the same operator between the inclusions L2 € C/(2, 21/2), L1 € C/(1, 2) and L^(to, 2).

The first inequality in Part (b) follows from the isometric inclusion r C X. The lower estimate for cc1(r) is found by choosing x € {0,1} in the inequality

(1 + x)p + (1 — x)p < cC (1+ xp) (8)

The combination of this lower estimate with the upper estimate established for Part (e) finishes the proof of both (b) and (e).

Let us treat Part (c). Since X is a subspace of X**, it is enough to establish the implication

X € C7(pc,p1,cci) X* € 67(^1,pC,cd)

Observing the isometry /p(I,X)* = 1p,(I,X*) for p € [1, to] and a finite I, we choose (x,y) from the unit sphere of 1p° (I2, X) satisfying, for a given (f, g) € 1p, (I2, X*) and e > 0, the estimates

(, , \ 1/p°

llf + 0llX- + llf — — e < (f + g)(x) + (f — g)(y) = f (x + y) + g(x — y) <

< (llf llX + llf llX)1/pi (Mx + ylX + Mx — ylX)1/pi < cci (llf llX + llf llX)1/pi

To establish (f) it is enough to note that T2 = 2I. □

Note that the Minkowski inequality implies that the class 6/(1, to, 2) contains all Banach spaces too.

Remark 5.2. Parts (a) of Theorem 5.1 and Lemma 5.2 (and the majority of the results below) explain the importance of the sharpness of the Jacobi and Clarkson constants. In this article we apply the approach leading to precise constants for limited ranges of parameters. An alternative and somewhat less precise approach based on our counterparts of the Pythagorean theorem for Birkhoff-Fortet orthogonality is presented in [2].

5.1.1. Constructive Approach for Particular Spaces

In this subsection, we establish sharp results for IG+-spaces, their subspaces, quotients and the spaces finitely represented (see Definition 7.1) in them.

The next simple lemma follows from the Minkowski and triangle inequalities. It provides slight improvement with respect to the inclusion X e J (1, 2) n J (to, 2) in the case of the purely atomic measure ^ with a finite number of atoms. Recall that is in Definition 5.1.

Lemma 5.3. For a Banach space X and a probability measure space (Q, one has

(a) ||D|L(Li(Q,X),L:(Q x Q,X))|| < 2(1 - eM);

(b) ||D|L(L^(Q,X),LM(Q x Q,X))|| = 2.

The next theorem (due to Riesz and Thorin [45]) is well-known and is also an immediate corollary of the easier case of Banach spaces of both parts of Theorem 4.1.

Theorem 5.2 ([45]). Forpo,pi e [1, to]", 0 e (0,1) and 1/pe = (1 - 0)/po + 9/ph one has

(Lp0 ,LP1 )[e] = Lpe (isometry)

In the case X e {lp, Lp} with p e [1, to], the inequalities in Parts (a), (b) of the next theorem are due to Wells, Williams and Hayden (see [9-11]).

Theorem 5.3. Let Y be a Banach space from the class IG+ with [pmin(Y ),pmax(Y)] e [1, to] and finite or countable set Q = I. Let also X be either finitely represented (see Definition 7.1) in Y or a subspace, or a quotient of Y. Assume also that {xi}iei C X, {ai}ieI C [0,1] with

ai = 1, xb = ^^ aixi and = inf a

^ i ei iei iei

In addition, let ft = min (pmin(Y ),pmax(Y)'). Then the following inequalities take place:

(a) for a e [1, min(pmin(Y),pmax(Y)')], j(X) = 21/min(a>a') and

1/a , x 1/a

E aiaj N - Xj ||X ) < (1 - eM)2/a-121/a £ ai||xi||£ \i,jei J \ iei

(b) for a e [max(pmin(Y)',pmax(Y)), to], cj+;CT(X) = 2-1/max(a>a') and

\ 1/a / x 1/a

^ai|xi - xbrx) < (1 - eM)1-2/CT 2-1/al ^ ^ ||x» - xj ||X , iei J \i,jei

(c) for a e [max(pmin(Y)',pmax(Y)), to], j(X) = 21/min(a>a') and

1/a i x 1/a

aiaj ||xi - xj ||X I < 21/a'l ^ ai||xi ||X \i,jei J \ iei

(d) for a e [1, min(pmin(Y),pmax(Y)')], cj+;(J(X) = 2-1/max(^ and

1/ct / \ 1/ct

- x6||x ) ^ 2 1/ct'| aiaj ||X - Xj NX , ie/ / Vi,je/

Moreover, we also have for a e [min(pmin(Y ),Pmax(Y)'), max(pmin(Y )',Pmax(Y))]:

(e) j(X) = j(X) = 2^ > j(X);

(f) cj+>/9(X) = cj+tl3,(X) = 2-1/3' > cj+><7(X).

One has equalities in (e) and (f) if, for an increasing {nk C n, X contains either lp(Infc) or lp (Infc) almost isometrically for every k.

Remark 5.3.

(a) In an aggregated form (if the last assumption holds as well) the statement of Theorem 5.3 can be written as

cja (X) = 21/ min(CT,CT/,Pmin(Y),pmaX(Y)/) and cj+ a(X) = 2-1/max(CT,CT/,pmin(Y)',pmaX(Y))

for a e [1, to]. It particular, for p e [1, to], a e [1, to] and an infinite-dimensional Lp, one has

cj,a(Lp) = 21/min(CT>CT>>p/) and cJ+,CT (X) = 2-1/max(^,p,p/)

(b) According to the idea of Section 3, this theorem, combined with Theorem 5.1; (c) and the corresponding Rademacher type-cotype descriptions (see Theorems 8.8 and 8.9 in [2]), provides, in particular, the exact values of the Jacobi constants for various classes of anisotropic Besov, Lizorkin-Triebel and Sobolev spaces and their duals and the lp-sums of function spaces, non-commutative spaces and their duals.

Proof of Theorem 5.3. Thanks to Lemma 2.3 combined with Theorem 4.2, we shall deal mostly with the IG0+ spaces. These spaces will possess the same tree type T = T(X) as the space X itself but different values of the parameters of the spaces at the vertexes of T. As in Definition 2.3, the parameter functions p : P ^ [1, to] are defined on one and the same parameter position set P = V(X) determined by T and the spaces at its vertexes. Thus, I(X) = p(P). The IG0+ space of the same tree type T with the parameter function p will be designated by Xp.

Assume that p = pY is the parameter function of Y as an IG+-space. Let also 2 be a constant parameter function equal to 2 with the same domain as p (shared also by all the other parameter functions). Noting that the subspaces, quotients and the spaces finitely represented in Y inherit those properties of Y that are mentioned in Parts (a) — (d), we may assume that X = Y, while Lemma 2.3 further allows to assume X = Y e IG0+.

Since the extreme cases pmin(Y) = 1 and pmax(Y) = to are covered by more general Lemma 5.3, we assume that ft = min(pmin(Y),pmax(Y)') < 1 and = max(pmin(Y)',pmax(Y)) < to. Next we

observe that one can find a parameter function pq with the values in [1, to] , satisfying 1/p = (1 — 9) /2 + 1/pq for some 9 e (0,1), exactly when either

1/a = (1 — 9)/2 + 9/1 e [1/ft, 1), or 1/a = (1 — 9)/2 + 9/to e (0,1/ft'] (9)

The last preliminary observation is that, in a Hilbert space H = Y2, one has

2-1 E aiai WXi — Xj \\H = ^ ai\\xi\\2H — \\xb\\% = ^ ®i\\xi — xb\\2H

i,jei iei iei

meaning \\Dl£(L2(I,H),L2(I x I,H))\\ = \\D*|L(ImDnL2(I x I, H), L2(I, H))\\-1 = ^2. Here we assume that I and I x I are endowed with the probability measures ^ ({i}) = ai for i e I and v = ^ x ^ respectively. Thus, (the Banach case of) Theorem 4.1 and Corollary 4.1 provide the identities

(Lr (G,YPq ),L2(G,H = La (G,Y) for r e {1, to} and G e {I, I x I},

where pq is chosen as in (9) and depends on r. The properties of the complex interpolation method for D provide the upper estimates in (a) and (c). In the case of the upper estimates in (b) and (c), we also involve Theorem 4.2 to interpolate the images of the projector P (i.e., D) from Lemma 5.1 and, then, apply the interpolation estimates to the restriction of D*.

The lower estimates that are parts of the equalities for cj and cJ+ in (a) — (f) are provided by the isometric inclusion r c X and Parts (b) and (c) of Theorem 5.1. Together with (a) — (d), they imply the identities in (a) — (f). The inequalities in (e) and (f) follow from the complex interpolation of the pairs (Lp(G,Y),Lp,(G,Y)) with G e {I, I x I}:

1 1 _9 9

(Lp (G, Y), Lp, (G, Y))M = La (G,Y), - = — + -The potential equalities in (e) and (f) are provided by Part (i) of Theorem 5.1. □

Theorem 5.4. Let Y e {Lp(M,t), Sp} with p e [1, TO],where (M,t) is a von Neumann algebra with a normal semifinite faithful weight t, and let Q = I be finite or countable set. Let also X be either finitely represented (see Definition 7.1) in Y or a subspace, or a quotient of Y. Assume also that {xi}iei c X, {ai}iEi c [0,1] with

ai = 1 and xb = ^^ aixi iei iei

Then the following inequalities take place:

(a) for a e [1, min(p,p')], cj0(X) = 21/ and

\ 1/0 / \ 1/0 Z aa \\xi — xj\\X < (1 — e,)2/0-121/0i ^ ai\\xi\\x

i,jei iei

(b) for a e [max(p',p), to], cJ+0(X) = 2-1/ max(°,°') and

\ 1/0 / \ 1/0 J2®i\\xi — xbVxj < (1 — eM)1-2/0 2-1/0 £ aa\\xi — xj\\X

iei i,jei

(c) for a e [max(p,p), to], j(X) = 2^min(^0 and

\1AJ y

£ a^j ||xj - Xj||X I < 21/ct^I £ a^x

(d) for a e [1, min(p,p')], cJ+;CT(X) = 2-1/max(^) and

Moreover, we also have for a e [min(p,p'), max(p',p)]:

(e) cJMn(P,P')(X) = Cj)max(p',p)(X) = 21/min(p,p,) > j(X);

(f) J+jmin^p^ (X) = CJ+,max(p,,p) (X) = 2-1/max(p ,p) > Cj+,a (X).

One has equalities in (e) and (f) if X = Y is infinite-dimensional.

Proof of Theorem 5.4. This proof is a simplification of the proof of Theorem 5.3 corresponding to repeating its proof for the particular case of a Lebesgue space. The first difference is that we use Part (a) of Theorem 2.1 instead of the complex interpolation of IG+-spaces (Corollary 4.1) to cover the case of semifinite algebras and, then, use Theorem 2.2 to cover the general case with the same constants. The second difference is the usage of Lemma 2.4 instead of Part (i) of Theorem 5.1 to establish the potential equalities in (e) and (f) when X = Y and dim(X) = to. □

The next theorem is the counterpart of the previous one corresponding to the Clarkson classes.

Theorem 5.5. Let Y be a Banach space from the class IG+ with [pmin(X),pmax(X)] e [1, to]. Let also X be either finitely represented (see Definition 7.1) in Y or a subspace, or a quotient of Y. Then one has:

(a) X e C1(a, 21/^^)) with the sharp constant 21/min(^0 for

a e [1, min(pmin(Y),Pmax(Y)')] U [max(pmin(Y)',Pmax(Y)), to]

(b) X e C1(a, 21/min(pmin(Y),pmax(Y),) ) for

a e [min(pmin(Y) , pmax (Y)') , max(pmin (Y^ Pmax(Y))]

and the constant 21/ min(pmin(Y),pmaX(Y),) is sharp if X = Y.

Remark 5.4.

(a) In an aggregated form, Theorem 5.5 states that, for either

a e [1, to] \ (min (pmin (Y) , pmax (Y)') , max (pmin (Y)' , pmax (Y))), or X = Y

we have

Ccz <r(Y) = 21/min(CT'CT/'Pmin(Y),PmaX(Y)')

In particular, one has cCi,a (Lp) = 21/ min(CT>CT/>p>p/) for p e [1, to].

(b) According to the idea of Section 3, this theorem, combined with Lemma 5.2; (c) and the corresponding Rademacher type-cotype descriptions (see Theorems 8.8 and 8.9 in [2]), provides, in particular, the exact values of the Clarkson constants for various classes of anisotropic Besov, Lizorkin-Triebel and Sobolev spaces, their duals and the lp-sums of function spaces, non-commutative spaces and their duals.

Proof of Theorem 5.5. All the lower estimates related to the sharpness in Part (a) are provided by Part (b) of Lemma 5.2, while the upper estimates hold thanks to the same complex interpolation procedure as is employed in the proof of Theorem 5.3 applied to the operator T from the proof of Lemma 5.2. To establish the lower estimates (the sharpness) in Part (b), we note that Y contains an isometric copy of lq(I2) for every q e I(Y), including either pmin(Y) or {pk}keN with limk^xpk = Pmin(Y) and Pmax(Y) or {pk}keN with limk^xPk = Pmax(Y). Considering the pairs ((0,1), (1, 0)) and ((1,1), (1, -1)) of elements (x, y) in both lpmin(Y) and lpmax(Y), we see that either

Coi,a (lPk ) > 21/min(pk'Pk), or

max (cci„(lpmin(Y)),cci,a(^(Y))) > 21/min(pmin(Y),pmax(Y)/) implying cCl,a (Y) > 21/ min(pmin(Y),PmaX(Y)/)

under the conditions of Part (b). □

Theorem 5.6. Let Y e {Lp(M,r), Sp} with p e [1, to], where (M, t) is a von Neumann algebra with a normal semifinite faithful weight t . Let also X be either finitely represented (see Definition 7.1) in Y or a subspace, or a quotient of Y. Then one has:

(a) X e Cl(a, 21/min(CT'ff/)) with the sharp constant 21/min(^0 for

a e [1, min(p,p')] U [max(p',p), to]

(b) X e Cl(a, 21/min(p,p/)) for

a e [min(p,p'), max(p',p)] and the constant 21/ min(p,p/) is sharp if X = Y.

Proof of Theorem 5.6. In the same way as the proof of Theorem 5.4 relates to the one of Theorem 5.3, this proof is a simplification of the proof of Theorem 5.5 corresponding to repeating its proof for the particular case of a Lebesgue space. The only difference is that we use Part (a) of Theorem 2.1 instead of the complex interpolation of IG-spaces to cover the case of semifinite algebras and, then, use Theorem 2.2 to cover the general case with the same constants. □

5.2. Quantitative Hahn-Banach Theorems

In this section we provide lower estimates for the distance between two bounded (non-convex) subsets of a Banach space sufficient for the existence of a separating hyperplane. This problem was considered by Dol'nikov [3] and Pichugov [4] in the settings of the Hilbert and Lebesgue spaces correspondingly. Pichugov's approach was relying on new inequalities for the Lebesgue spaces. In the first subsection we extend Pichugov's inequalities to a wide range of function, independently generated and noncommutative Lp-spaces and establish adjoint counterparts of these inequalities.

5.2.1. Pichugov Classes

In this subsection we introduce Pichugov and adjoint Pichugov classes of Banach spaces, investigate their properties, evaluate and calculate the corresponding constants and study their relations with the Jacobi and Clarkson classes of Banach spaces introduced earlier.

Definition 5.3. Let X be a Banach space, a e [1, to] and cP +, cP > 0. We say that the space X belongs to the adjoint Pichugov class P+(a) = P+(a, cP +), or the Pichugov class P(a) = P(a, cP), if, for every combination £, r, £' and j of independent X-valued stochastic variables, such that the variables in the pairs £ and £' and r and j are (independent and) identically distributed on a probability measure space (Q, E,p), one has, respectively, the estimates

(Es||£ - £Yx + Es||r - r'WX)1AJ < cp + (Es ||£ - rWX)1aj , or (P)

(Es ||£ - Es£ - r + EsnWX)1/a < cp (Es||£ - £'||X + ES||r - r'WX)V<J

For X e P+(ao, a1) and Y e P(ao, a1), we designate the best constants cp + and cj by cp + (X) = cP+,a (X) and cP (Y) = cP,a (Y) correspondingly.

We shall use the constants cP + and cP to estimate the Dol'nikov-Pichugov and the mutual diameter constants in Theorems 5.7-5.9 to provide the quantitative description for the Hahn-Banach separation.

Remark 5.5.

(a) As with Jacobi classes, restricting ourselves by only finite index sets I in the definition of the Pichugov classes, we obtain an equivalent definition of the same classes. The motivation (proof) is the same as in Part (c) of Remark 5.1.

(b) Thanks to (a), let us note that, if a Banach space X is in some Pichugov, or adjoint Pichugov class, and Y is either a subspace or a quotient, or finitely represented (see Definition 7.1) in X, then Y is in the same class.

(c) According to Part (c) of the next theorem some Pichugov classes contain superreflexive spaces only.

(d) Letting r = 0 and p e [p1,p0] in the definition of the Pichugov classes, we obtain the inclusions

P+(p,cp+) C J(po,P1,cp+), P(p,cp) C J+(po,P1,cp)

(e) A Banach space X is a Hilbert space if, and only if, X e P+(2, v^2) H P(2,1 /V2). Indeed, this statement is reduced to Part (e) of Remark 5.1 thanks to the inclusions in (e).

Theorem 5.7. Let X be a Banach space, a e [1, to] and cP + , cP > 0. Then one has:

(a) J (a, cj) n Cl(a, cai) C P+(a, 2-1/ct' cj cai) and J+(a, cJ+) n Cl(a, cat) C P (a, 2-1/ct cj+cai);

(b) X e P+(a, 22-1/ct') n P(a, 21/ct' );

(c) if either X e P+(a, cP+) with cP + < 2 or X e P (a, cP) with cP < 1, then X is superreflexive;

(d) cp+,CT (X) > 21/min(^0 and cPa(X) > 2-1/max(^0 if, for an increasing (nfcc n, X contains either la (/nfc) or la> (/nfc) almost isometrically for every k.

Proof of Theorem 5.7. Part (a) follows from the inequalities

(Es|l£ - C'lIX + Eslln - n'llX)1AJ < 2-1/</cai (2-lE3He - + n - n'llX+

+2-iEsie - e' + n - niix)1Aj = 2-i/ct'cai (Esie - e' + n - nix)1/CT <

< 2-1/ct'caicj (ES ||e - nllX)1/a ; (Es lie - Es£ - n + E-nllX)1/a < cj+ (Es|e - + n' - nllX)V<J =

= cj+ (2-iE3le - e' + n - n'llx + 2-1 Eslle - e' + n - nllx )1Aj <

< 2-1/ctcj+cai (Esle - e'lX + Eslln - n'llX)V<J

where we used the observation that n - n' and n' - n have identical distributions (independent of e and £') and applied the definition of Jacobi classes to the stochastic variable £ - n

With the aid of Parts (a) of Theorem 5.1 and Lemma 5.2, Part (a) implies (b). Thanks to Part (d) of Remark 5.5, we derive Part (c) from Part (e) of Theorem 5.1. Part (d) follows from Parts (b) and (c) of Theorem 5.1 with the aid of Part (d) of Remark 5.5.

The cases X e {lp, Lp} and a e {p,p'} for p e [1, to] of Parts (b) and (c) of the next theorem were established by Pichugov [4] but he used the scheme of Wells and Williams [11] to establish the upper estimates of the constants and completely different approach to their sharpness. □

Theorem 5.8. Let Y be a Banach space from the class IG+ with [pmin(Y),pmax(Y)] e [1, to]". Let also X be either finitely represented (see Definition 7.1) in Y or a subspace, or a quotient of Y. Then we have:

(a) X e P+ (a, 22/ min(CT'CT''Pmin(Y),Pmax (Y )')-l/a'\ Pl p [a 21/ct' 2/max(CT'CT''pmin(Y)/,pmax(Y))\;

(b) for a e [max(pmin(Y)',Pmax(Y)), to], cp+)CT(X) = 2l/CT/;

(c) for a e [1, min(pmin (Y ),Pmax(Y)')], cP(J (X) = 2-l/CT/.

Proof of Theorem 5.8. Part (a) follows from the inclusions in Part (a) of Theorem 5.7 and Remarks 5.3 and 5.4. In turn, Part (a) implies the upper estimates in (b) and (c), while the lower estimates are provided by the identities cP + = cj and cP = cj+ (under the conditions in (b) and (c) correspondingly) and the sharpness of the corresponding Jacobi constants established in Parts (c) and (d) of Theorem 5.3. □

In exactly the same manner (even with simplifications), we deduce the following theorem from Theorems 5.4 and 5.6.

Theorem 5.9. Let Y e {LP(M, t), Sp} with p e [1, to], where (M,t) is a von Neumann algebra with a normal semifinite faithful weight t . Let also X be either finitely represented (see Definition 7.1) in Y or a subspace, or a quotient of Y. Then one has:

(a) X e P+ (a, 22/ min(a,a' ,p,p/)-1/°' j p| p (a, 21/<j,-2/ max(ff-ff/,p/,p)j;

(b) for a G [max(p',p), to], cp+>a(X) = 21/a';

(c) for a G [1, min(p,p')], cP>(7 (X) = 2-1/<J'.

5.2.2. Dol'nikov-Pichugov and Mutual Diameter Constants

The Dol'nikov-Pichugov constant for a particular Banach space X quantifies the corresponding Hahn-Banach separability theorem for X governing the separability of bounded (non-convex) sets by a hyperplane and, even, quantifying the corresponding strict separability.

Definition 5.4. Let X be a Banach space.

For a bounded subset A c X, let its diameter be

d(A) = 5(A) = sup ||x — y||

Given, in addition, a subset B c X, the Chebyshev radius r(A, B) of A relative to B is

r(A, B) = inf sup ||y — x||X and r(A) := r(A, X)

xeB yeA

is the Chebyshev radius of A.

For an infinite subset A c X, let its separation be

inf ||x — y^

For a bounded subset A c X, its measure of noncompactness ft (A) (see [51-53] and Section 11.1.2 in [2]) is

ft (A) = sup{e : e is the separation of {xi}ieN} For bounded subsets A, B c X, let its mutual diameter be

5(A, B) = inf sup ||x — y — z||

zeX xeA

For subsets A,B c X, the distance between them is

d(A,B) = inf ||x — y||

For p e (0, to), we define the Dol'nikov-Pichugov constant DPp(X) by means of the relation

DPp(X) := sup j (^p(Ad+4^B(B))i/P : A U B c X, co(A) n co(B) = 0, 5(A U B) < to

Let also the mutual diameter constant DP(X) be

(ft P(A) + ftP(B ))1/p

Dp(X) := sup <| (ft (A)) + ^(B)) : A U B c X, 5(A U B) < to

The fact that ft(A) is indeed a measure of noncomactness is Erzakova's celebrated result (see [51-53]). Let us note that

DPp(X) := sup { (¿p(A)(Af(B)) 1/p : A U B C X, co(A) n co(B) = 0, ¿(A U B) < to

In fact, the Dol'nikov-Pichugov constant can be computed relying on finite subsets only and, thus, is a local parameter as shown in the next lemma.

Lemma 5.4. Let X and Y be Banach spaces andp e [1, to].

(a) DPp(X) = sup {: A U B C X, co(A) n co(B) = 0, |A U B| < to};

(b) DPp(X) = sup {DPp(Y) : Y is a subspace of X, dim Y < to};

(c) DPp(X) — dBM(X, Y)DPp(Y), and DPp(X) — DPp(Y) if X is finitely represented (see Definistion 7.1) in Y;

(d) if DPp(X) < 1, then X is superreflexive;

(e) if X = X**, then DPp(X) > 1.

Proof of Lemma 5.4. Part (a) follows from the observation that, if x e co(A) n co(B), then x e co(A') n co(B') for some finite A' C A and B' C B. Indeed, we have

d(A-B) < „, ^'f'Lv,/p < DPp(X) (10)

(8p(A) + 8p(B))1/p - (Sp(A') + ¿p(B'))1/p

Now Part (a) implies (b) because dim(lin(A U B)) < to. The definition provides the first half of (c), implying also the second half with the aid of (b). We deduce (d) from Part (b) of Theorem 7.1 with the aid of the estimate Js(X) — DPp(X) < 1 provided by Part (d) of Theorem 7.2. In the same manner, the combination of the same inequality and Part (a) of Theorem 7.1 implies (e), finishing the proof. □

To deal with the Dol'nikov-Pichugov constant, we shall need the Kirchberger theorem [54,55] in an equivalent form convenient for our purposes.

Theorem 5.10 (Kirchberger). For n e n, let X be an n-dimensional normed space, and E,F be its finite subsets. Then co(E) n co(F) = 0 if, and only if, co(E n S) n co(F n S) = 0 for every S c E U F with |S | — n + 2.

To formulate the following theorem devoted to the upper estimate for the Dol'nikov-Pichugov constant, for a e (0, to) and m e n, we define the function p(a,m, •, •) : [0, to)2 ^ [0, to) by means of

t(a, m, a, b) := max ((1 - 1AK + (1 - (m + 2 - k)-1)ba)1/a

The next theorem (without the upper estimate for the mutual diameter in Part (a) that we have just introduced) is a generalization of the related results of Dol'nikov [56] and Pichugov [4], where the case a =1 and X e {Lp, lp} has been considered. Let us recall that every Banach space is contained in some Pichugov and adjoint Pichugov classes according to Part (b) of Theorem 5.7.

Theorem 5.11. Let X be a Banach space and r e [1, to]. Assume also that A and B are bounded subsets of X with d(A, B) = d > 0 and X e P(r, cp) n P+(r, cp +). Then we have:

(a) Dr (X) < cp+, DPr (X) < cp and, if dim(X) = n and co(A) n co(B) = 0, d(A, B) < cpt (r, n, 5(A), 5(B));

(b) d(co(A), co(B)) > d(A,B) - cp(5r(A) + 5r(B))1/r;

(c) if dim(X) = n, d(co(A), co(B)) > d(A, B) - cpt (r, n - 1,5(A), 5(B)).

Remark 5.6. Pichugov [4] has also proved that, for a = r =1 and an arbitrary Banach space X, one has

d(A,B) < t(1,n, 5(A), 5(B)) if co(A) n co(B) = 0

In the case X = Lp([0,1]), he also provided the examples of bounded A U B c Lp with co(A) n co(B) = 0 and

-, / / /X / • / n . , A\ 1/ min(p,p')

d(A,B) = 2-1/max(p,p) ((5(A)min(p,p) + (5(B))min(p,p)

Proof of Theorem 5.11. In the case of (a), let us assume that z e co(A) n co(B), i.e., there exist finite

{xi}ie/ C A and {yj}iej c B and weights {a}iei U (ft}iej c [0,1] with

E ai = ^ ftj = 1, xb = aixu Vb = ^ ftjyj iei jeJ iei jeJ

and z = xb = yb. Hence, we have, according to the definition of the Pichugov class P(r, cP),

\iei,jeJ

d(A,B) <( ^ Ilxi- VjIX

< cp i E ai0 ai! |xi0 - xii HX + E

\io,iiei jo,jieJ

aio aii ||xio — xii H|X + ftjo ftji Hyjo — yji H|X <

jo,jieJ '

< cp ((1 - 1/|1 |)5r(A) + (1 - 1/| J|)5r(B))1/r (11)

Thus, the DP-half of (a) follows.

To finish the proof of (a), let us assume that e > 0, A' = (xi}ieI C A and B' = {y }jeJ c B with ||xi - xj ||X > ft (A) - 2-1/r e and ||yi - yj ||X > ft (B) - 2-1/r e. For arbitrary weights {ai}iei and {ftj}jeJ, we have, thanks to the definition of P+ (r, cp+),

(ft(A)r + ft(B)r)1/r - e < f £ «ioaii ||xio - xii ||X + E ftjoftji II Vo - Vji Hx] <

Vo,iiei jo,jieJ J

< cp + / «iftj||xi - Vj - z||X ) < cp+(5(A,B)+ e)

( ^2 aiftj |xi- Vj

iei,jeJ

where z is chosen for the last inequality to hold that is possible thanks to the definition of the mutual diameter 5(A, B). Since e > 0 is arbitrary, we establish the rest of (a).

To approach Part (c), following the related idea from [4], we choose x0 G co(A), y0 G co(B) and /0 G SX*, such that /0(x0 — y0) = ||x0 — y0||X = d(co(A),co(B)) and consider the translate B' = x0—y0+B of B. Since x0 G co(A)nco(B'), the sets A1 = Anx0+Ker/0 and B1 = B'nx0+Ker/0 are not empty and co(A) n x0 + Ker/0 = co(A1) and co(B') n x0 + Ker/0 = co(B1) because the latter sets are extreme and contain x0.

As in (a), we select finite subsets A2 C A1 and B2 C B1 with x0 G co(A2) n co(B2). Now the Kirchberger Theorem 5.10 applied to the sets A2 and B2 provides us with their subsets A3 C (A2) and B3 C (B2) with

| A3I + |B3| < n +1 and co(A3) n co(B3) = 0 (12)

where one uses the relation dim(Ker/0) = n — 1.

Repeating the considerations from the proof of Part (a) leading to (11) with A1 and B1 instead of A and B and xb = yb — x0, we obtain

d(A,B') < d(A3,B3) < cpt(r,n — M(A3),£(B3)) < cpt(r,n — 1,5(A),5(B)) (13)

Now the proof of (c) is finished with the aid of the triangle inequality.

Let us now reduce Part (b) to (c). For an arbitrary e > 0, we find x G co(A) and y G co(B) and finite

Ao C A and Bo C B satisfying 5(Ao) < 5(A), 5(Bo) < 5(B),

||x — y|X < d(co(A), co(B)) + e, s G co(A0), y G co(B0), and, thus,

d(co(Ao), co(Bo)) < d(co(A), co(B)) + e (14)

Applying now Part (c) to the sets A0 and B0 in their linear span, we obtain that

d(co(A), co(B) + e > d(Ao, Bo) — cp(5r(Ao) + 5r(Bo))1/r > d(A, B) — cp(5r(A) + 5r(B))1/r

Tending e to 0, one finishes the proof of the theorem. □

Combining Theorems 5.8, (c) and 5.11, we obtain particular cases (optimal choice of r) of the quantitative Hahn-Banach theorem for IG-spaces, their subspaces, quotients and Banach spaces finitely represented in them. In particular, it covers various classes of anisotropic Besov, Lizorkin-Triebel and Sobolev spaces and their duals and the /p-sums of function spaces and their duals.

Theorem 5.12. Let Y be a Banach space from the class IG with [pmin(Y ),pmax(Y)] G [1, to]. Let also X be either finitely represented (see Definition 7.1) in Y or a subspace, or a quotient of Y. Assume also that r G [1, min(pmin(Y),pmax(Y)')]. Then we have:

(a) DPr (X) < 2-1/r' and, if dim(X) = n and co(A) n co(B) = 0, d(A,B) < 2-1/r't (r,n, 5(A), 5(B));

(b) d(co(A), co(B)) > d(A,B) — 2-1/r'(5r(A) + 5r(B))1/r;

(c) if dim(X) = n, d(co(A), co(B)) > d(A, B) — 2-1/r't (r, n — 1,5(A), 5(B)).

6. Extension of Holder-Lipschitz Mappings

This section is dedicated to the extension problem for the Holder-Lipschitz mappings from a subset of a metric or Banach space into a Banach space. We start with the treatment of these problems in the setting of the pairs of abstract spaces in the first three subsections and finish with the treatment of various pairs of our concrete spaces.

Definition 6.1. Assume that X is a metric space, Y is a Banach space, and a,d > 0. Let Ha(X, Y) be the Banach space of all Y-valued continuous functions f defined on X with the finite norm:

||f|Ha(X, Y)|| := supdlf (x) - f (y)||y/dx(x,y) : x,y E X and x = y}

We say that the pair (X, Y) possesses (d, a)-extension property if, for every subset F c X (with the induced metric) and every / E Ha(F, Y), there is an extension / E Ha(X, Y) satisfying

f(x) = /(x) for x E F and ||f |Ha(X, Y) || < d||f |Ha(F,Y)||

Let Sb(X, Y) c (0, to) be the set of all a, such that the pair (X, Y) possesses (d, a)-extension property for some d < to.

We say that the pair (X,Y) possesses convex (d, a)-extension property if it possesses the (d, a)-extension property, and there exists a corresponding extension f E Ha(X, Y) of f E Ha(F, Y) satisfying f (X) c cof (F).

Let also S=(X, Y) c (0, to) be the set of all a, such that the pair (X, Y) possesses (1, a)-extension property, while S=c(X,Y) c (0, to) be the set of all a, such that the pair (X,Y) possesses convex (1, a)-extension property.

The discrepancy between an arbitrary pair of {Sb (X, Y), S=(X, Y), S=,c (X, Y)} is called the phase transition phenomenon for the pair (see [57]).

The sets Sb(X, Y) for all the pairs of spaces mentioned in this paper are studied in [2] with the aid of different approaches.

For the applications of the results on bounded extension, it is very useful to observe that, if a pair (X,Y) has a (d, a)-extension property, and X is C0-Lipschitz homeomorphic (or C0-isomorphic if X is Banach) to X0, while Y is Cl-isomorphic to Y0, then the pair (X0, Y0) has the (dC^Cl, a)-extension property, where X0 can be a quasi-metric or a quasi-Banach space and Y0 can be a quasi-Banach space. In this manner, the existence of the isometric extensions (d = 1) for a pair of function spaces means the existence of the bounded extensions for the same pair equipped with equivalent norms.

6.1. Isometric Extensions

The isometric extension problem addresses the question of the existence of (1, a)-extension property for various pairs of spaces. The general (point-by-point extension) scheme for solving the isometric extension problem, which is analogous to the proof of the Hahn-Banach theorem, was created by Minty in [12]. We adapt to our general setting the presentation and further development of the scheme due to Wells, Williams and Hayden in [9,10]. Let us assume that Sn is the simplex in rn defined by

Sn = {a E rn : ai > 0 for i E In and ^ a, = 1}

The following definition of K-function is Definition 17.1 in [9,10] (with C instead of 1/2).

Definition 6.2 ([9,10]). Assume that E is a set, and Y is a linear space. A function $ : E x E x Y is called a K-function provided that $(xi, x2, y) is convex in y for every pair (x1,x2) G E x E, and, for some C > 0 and every n G n, finite sequence {(xi,yi)}™=1 C E x Y, a G Sn and x G E, one has

n n / n

C y^ aiaj$(xi, xj,yi - yj) > £ ai$ I xi, x,yi - £ ajyj i,j= 1 i=1 \ j=1

The connection between the point-by-point extension and the existence of a K-function is provided by the following corollary from the finite-dimensional version of von Neumann's minimax principle.

Theorem 6.1 ([9,10]). If, under the conditions of Definition 6.2, the pairs {(xi,yi)}n=1 C E x Y are such that

$(xi,xj ,yi - yj) < 0 for every i,j G In and an arbitrary z G E, then there exists y G co ({yi}n=1) satisfying

$(xi,x,yi - y) < 0 for every i,j G In

It was shown in [9,10] (Theorems 19.1 and 19.2 in [10]) that, for p,q G (1, to) and a metric space E, the pairs (Lp, Lq) and (E, Lq) have the convex (1, a)-extension property for a G ^0, miXe^') and

a G (0, max(1q q/) correspondingly, and that the set of admissible a for the pair (Lp, Lq) is sharp and also characterizes the (1, a)-extension property if both Lp and Lq are infinite-dimensional. The scheme of the proof is easily adapted to the more general settings described in the next two theorems.

Theorem 6.2. For 2 G [p, q] C [1, to) and Banach spaces X and Y and a metric space (E, d), let X,E G Ja(p,cj) and Y G J+ (q,cJ+) with cJcJ+ < 1. Then the convex (1, a)-extension property for a G (0,p/q] is possessed by the pairs (X, Y) and (E, Y).

Remark 6.1.

(a) According to Parts (b) and (c) of Theorem 5.1 under the conditions of Theorem 6.2 for the pair (X, Y) of Banach spaces, we have cqJ > 21/p for both E and X and cJ+(Y) > 2-1/q implying cqJ (E) = cj(X) = 21/p and cj+(Y) = 2-1/q.

(b) Thanks to Part (a) of Theorem 5.1, Jacobi class J(1, 2) contains all metric spaces.

Corollary 6.1. If, under the conditions of Theorem 6.2, E is an arbitrary metric space (i.e., p =1 and cJ(E) = 2 according to Part (b) of Remark 6.1), then the pair (E,Y) possesses the convex (1, a)-extension property for a G (0,1/q].

Proof of Theorem 6.2. In exactly the same manner as it is done in the proof of the Hahn-Banach theorem, the Max Zorn lemma reduces the problem of extending a map f : D ^ Y from a subset D of X or E to the problem of extending f to the set D U {x} for a point x in X \ D or in E \ D.

Let us first notice that, according to Part (a) of Remark 6.1, cq+ = cq+(Y) = 2-1/q and, therefore, Y is superreflexive thanks to Part (e) of Theorem 5.1. Assuming that a = p/q and x e E \ D, we have to show that the intersection of the Y ** balls {B (cd(z, x)a), f (z)}zeD with the centres {f (z)}zeD and the radii {cd(z,x)}zeD for c = ||f lHa(D, Y)|| is non-empty and contains a common point with co(f (D)). The weak compactness of the balls in the reflexive space Y, and therefore the weak compactness of the intersections Z = {Co(f (D)) n B(cd(z0,x)a, f (z0)) n B(cd(z,x)a), f (z))}zeD for some z0 e D requires the system Z to be centred. This means that we can assume that D is finite. In order to apply Theorem 6.1 with D = {zi}ieI, it is enough to check that 0(zo,z1,y) = ||y||Y — cqd(z0,z1)p is a K-function with C = cj+. Indeed, the definition of the Jacobi classes provide, for every discrete probability measure (I, y) with y({i}) = ai and every {(zi} yi)}ieI C E x Y, the inequality

Y1 ai (hyi— yafv— JcqJ+cqd(zi,zj)p) < cJ+J2 (^yi— yj№ — cqd(zi,zj)p), where (15)

iei i,jei

ya = aiyi iei

This inequality and the condition cjqcj+ < 1 show that 0 is a K-function. This finishes the proof in the case a = p/q and also applies to E = X. If a = p/q e (0,p/q), we combine Part (a) of Remark 6.1 with Part (g) of Theorem 5.1 to observe that the conditions of the theorem hold when q is substituted with q e (q, to). This observation finishes the proof of the theorem. □

The next theorem deals with the question of sharpness.

Theorem 6.3. For p C [1, to), q e (1, to) and Banach spaces X and Y, let lp and lq be finitely represented (see Definition 7.1) in X and Y correspondingly. Then we have

(a) S=,c(X,Y) C (0, min(p,p')/max(q,q'));

(b) S=(X,Y) C (0,p/q) if there exist a monotone subsequence {nk }ken C n, a sequence {Yk }keN of subspaces of Y and a sequence {pk }keN of projectors from Y onto Yk satisfying

lim dBM (Yk, lq (Ink)) = lim ||Pk |L(Y,Yk )|| = 1 k—k—

Proof of Theorem 6.3. Let us first consider the case X = lp and Y = lq and denote by Dk,p,e = {ei,p,nk }nk1 and by Dk,p,f = {n-1/p fi,p,nk }n=1 the systems of vectors defined in Lemma 7.1, where {nk}keN is a sequence of Hadamard numbers (see Definition 7.5). Note that the latter assumption (regarding the choice of nk) can be made in both (a) and (b). We also choose Dk = Dkpe if p e [1, 2], and Dk = Dk,p>f if p e (2, to). Similarly, we assume Hk = Dkq,f if q e [1, 2], and Hk = Dkqe if q e (2, to). If fk : Dk ^ Hk is any a-Holder bijection, then, according to Lemma 7.1, one has

llfk |H a(Dk , lq )|| =2 maxW) min(p.p') (16)

Thus, if Fk is an extension of fk onto Dk U {0}, we must have

llFk(z) — Fk(0)||iq < ||fk|Ha(Dk, lqMzliap

for every z e Dk. Therefore, Lemma 7.1 requires that

min ^(1 - l/nk )1/q, (l + (nk - < 2 max(q,q') - min (^p/) (17)

in the case of the (1, a) extension property and

min ((1 - 1/nk )1/q , n—1 (nk - 1 + (nk - 1)q )-1/^ < 2 max(1q,q') - min^p') (1g)

in the case of the convex (1, a) extension property and, thus a < min(p,p') / max(q, q') in both cases by tending k to to.

In the case of general X and Y, we use (the existence of) the sequences of isomorphisms Tk : lp(Ink) ^ Xk for a family {Xk}keN of subspaces of X and Gk : lq(Ink) ^ Yk for a family {Yk}keN of subspaces of Y satisfying

lim ||Tk ||HT-1n = klim || Gk DUG-1!! = 1 (19)

k—k—

to construct the a-Holder bijections fk = Gk o fk o Tk-1 : Tk (Dk) ^ Gk and their extensions Fk to Tk (Dk) U {0} with the same a-Holder norms

~ _1_ _a_

Ufk\Ha(T(Dk),Y)U < 2max(q,q')-min(P,P') 11Gfc||UT~11|'a (20)

Working with Fk in the case of Part (a) and with Fk = Pk o Fk in the case of (b), we establish the following counterparts of (18) (for (a)) and (17) (for (b)):

min ((1 - 1/nk)1/q,n-1 (nk - 1 + (nk - 1)q)-1/q) < 2-||Gk|||G—1| (|TkЦЦTk-1Ц)a

mi^(1 - 1/nk)1/q, (1 + (nk - 1)1-q')-W) < 2-11Pk||Gk||||G-111| (|Tk||||Tk-1 ||)a

These estimates finish the proof of the theorem by tending k to to. □

6.2. Pairs of Concrete Spaces

Theorems 6.2 and 6.3 permit us, in particular, to identify the ranges S=(X, Y) and S=,c(X, Y) for the pairs (X, Y) of various classes of anisotropic Besov, Lizorkin-Triebel and Sobolev spaces and their duals and the lp-sums of function spaces, non-commutative spaces and their duals. According to Section 3, all these pairs are covered by the former theorem. Along with Lemmas 2.1 and 2.4 above, the existence of the copies of lp in these spaces, required by Theorem 6.3, is investigated in [2,16,17]. The next theorem is an example of the usage of Theorems 6.2 and 6.3.

Anisotropic Besov Bp,q (rn)w and Lizorkin-Triebel Lp q (rn)w sequence spaces, which we shall call Besov and Lizorkin-Triebel spaces with wavelet norms, are defined for s e rn, q e (1, to) and p e (1, TO)n as the spaces of the wavelet expansions of the functions of the corresponding Besov and Lizorkin-Triebel spaces (on rn) endowed with the appropriate wavelet norms, which can be found, for example, in [19] for the classical dyadic approach to the anisotropy and in [20] for a more optimal non-dyadic approach to the anisotropy. The exact lengthy definitions are not presented here because, for

our purposes, one only needs to know the immediate consequences of the definition. Namely, Bp,q (rn)w is, in fact, isometric to lq (n0, lp(zn)), while Lp,q(rn)w is isometric to a 1-complemented subspace of ltp,q (zn x n, lq(IM)) for certain M G n and contains, in turn, an isometric and 1-complemented copy of ltp,q = ltp,q(zn x n0). Note that the smoothness of the spaces does not play any role in the geometry of these spaces. It happens because the spaces ltp,q and lq (n0,lp(zn)) are isometric, correspondingly, to the weighted versions of the same spaces, while the weight is the only parameter depending on the smoothness.

Theorem 6.4. For m,n G n, s0 G si G q0,q^q2 G (1, to) and p0,p^p2 G (1, to)", open subsets G0 C and Gi C rm, let X be the l2-sum of Bpo,qo (rn)w and Bpiqi (rm)w, and let also Y be the Bochner-Lebesgue space Lp2 (E, Sq2) of the Schatten-von-Neumann-valued functions, Bochner-measurable on E c Then we have

S=(X, Y) = S=,C(X, Y)

S= (Y, X ) = S=,C(Y, X )= 0

min (p0 min, pi min, max' pi max

max (p2 max q2, p2 min ,q2)

_min(p2max,g2,p2min,g2 )_

max (p0 min, pi min, q0, qi, p0

max, pi max,

q0, qi)

Proof of Theorem 6.4. Let us note that, according to the comments preceding the theorem, X is isometric to a 1-complemented subspace X of the l2-sum Xi of

lqo (n0, lpo (zn)) and ltpi,qi (zm x n, lqi (im)) for certain M G n, while X itself contains the 1-complemented l2-sum X0 of

lqo (n0, lpo (zn)) and ltpi,qi (zm x n0)

Since both X0 and Xi are IG-spaces with the identical set of parameters, we apply Theorem 5.3 to obtain the inclusions X0,Xi G J(u_, 2i/u-) n J+(u+, 2_i/u+), where u_ =

min (p0 min, pi min, q0,qi,p0 max pi max q0 ,qi), u+ = max(p0 min,

min, q0,qi, p0 max, pi max, q0 ,qi),

implying X G J(u-, 2i/u-) n J+(u+, 2_i/u+). Furthermore, Theorem 5.3 provides, for the IG+-space Y, the inclusion Y G J(t_, 2i/t-) n J+(t+, 2-i/t+), where t_ = min (p'2max, q2,p2min,q2) and

t+ = max (p2max, q2,p2min, q2).

Now Theorem 6.2 leads to the inclusions (0,u_/t+] C S=C(X, Y) and (0,t_/u+] C S=C(Y,X). Since the Bochner space Lp2 (E, Sq2) contains the 1-complimented isometric copies of both lq2 due to Lemma 2.4 and lp2i for every i G In = [1,n] n n, while X contains the 1-complemented copies of both lqi, lpij for j G Im thanks to Lemma 2.2 and lpoi for i G In, we employ Theorem 6.3 to establish the opposite inclusions S= (X, Y) C (0,u_/t+] and S= (Y, X) C (0,t_/u+]. Therefore, the proof is finished by the observation (see Definition 6.1) that S=c(V, W) C S=(V, W) for every pair (V, W) of Banach spaces. □

7. Miscellaneous Constants and Auxiliary Results

The following notions and results are of auxiliary nature. We state the definitions and related properties of certain constants, classes of Banach spaces and matrixes

7.1. Radon-Nikodym Property and Superreflexive and UMD Spaces

Here we state the definitions, basic properties and basic relations among UMD, reflexive and superreflexive spaces and those with the Radon-Nikodym property. These and certain other properties of various function spaces are presented in [2].

Definition 7.1. Let X,Y be (quasi)Banach spaces and A > 1. Then the Banach-Mazur distance dBM (X, Y) between them is equal to to if they are not isomorphic and is, otherwise, defined by

dBM(X, Y) := inf{||T|| ■ ||T-1|| : T : X —° Y, KerT = 0}

The space X is A-finitely represented in Y if for every finite-dimensional subspace X1 c X,

inf{dBM(X1, Y1) : Y1 is a subspace of Y} = A

If A is equal to 1, then X is simply said to be finitely represented in Y.

It is said that Y contains almost isometric copies of X (or contains X almost isometrically) if

inf{dBM(X, Y1) : Y1 is a subspace of Y} = 1

For example, it is well-known that, for a Banach space X, its second conjugate X** is finitely represented in X, and X itself is finitely represented in c0. While, according to Banach, dBM(lp, Lp) =

to for p e [1, to) \ {2} (see [33]), Lp is finitely represented in lp for p e [1, to].

Definition 7.2. A Banach space X is said to be superreflexive if it is reflexive and every Banach space Y finitely represented in X is reflexive too.

A Banach space X is said to possess the Krein-Milman property if every closed convex bounded subset of X can be represented as the convex hull of its extreme points.

A Banach space X is said to possess the Radon-Nikodym property if the Radon-Nikodym theorem holds for the X-valued measures. That is, for every probability space (Q, a, v) and every countably additive X-valued measure ^ on Q that is absolutely continuous with respect to v, there is a Bochner-v-measurable X-valued derivative dr.

The relations between these properties are best seen from the following results of M. G. Krein, D. P. Milman, and Huff and Morris [58,59]. A Banach space X possesses the Radon-Nikodym (Krein-Milman) property if and only if every bounded closed (convex) subset of X has an extreme point. For dual spaces both properties coincide.

Definition 7.3. Let p e (1, to). A Banach space X is said to be a UMD space if there is a constant Pp = Pp(X) such that, for every X-valued martingale difference sequence {£¿1°=! on any probability space (Q, a, v) and every sequence {£i}°=\ of numbers 1 and -1, one has

i i sup || V £j|Lp(Q)|| < Pp sup I V £i|Lp(Q)|

A Banach space X is said to be Z-convex if there is a bi-convex function Z : X x X ^ r satisfying

Z(0,0) > 0 and ((x,y) < ||x + y|| for ||x|| = ||y|| = 1

A Banach space X is said to be an HT space if Hilbert transform is a bounded operator in the Bochner-Lebesgue space Lp(R, X).

It is shown by Bourgain [60] and Burkholder [61,62] that the classes of UMD, HT and Z-convex spaces coincide and do not depend on p. Using the Lyons-Peetre interpolation formula from [63], Cobos [39] proved that Lorentz-Zygmund spaces (with the parameters from the reflexivity range) and their noncommutative analogs are UMD spaces.

It is known that the UMD spaces are superreflexive (see Aldous [64]), and all the reflexive spaces have the Radon-Nikodym property (see Bessaga, Pelczynski [65]), while these inclusions are strict.

7.2. James, Jung, Self-Jung and Schaffer Constants

Definition 7.4. Let A, B c X be a Banach space and its bounded subsets. A point x e B is a Chebyshev centre of A relative to B if r(A, {x}) = r(A, B). The set of all such points is designated by CX (A, B). Setting B = co(A), one obtains the self-Chebyshev centre CX (A, co(A)) of A. The Jung and self-Jung constants J(X) and Js(X) are defined by

J(X) := sup r(A)/6(A), JS(X) := sup r(A, co(A))/6(A)

AcX AcX

The space X is said to possess the uniform normal structure if JS(X) < 1.

The James constant James(X) and the Schaffer constant S (X) are defined by the formulas

James(X)= sup min(||x + y||X, ||x — y||X) S(X)= inf max(||x + y||x, ||x — y||x)

The Chebyshev centre set CX(A,B) is not empty if X is a dual space and B is weak*-closed. Moreover, CX (A, B) is a single point if X is uniformly convex and B is a closed convex subset of X. In a quantitative manner (i.e., with explicit exponents and estimates for the corresponding seminorms), the Holder-Lipschitz regularity of the Chebyshev centre mappings and metric projections in the setting of the same classes of spaces is studied in [43].

Let us note that the James constant James(X) and the Schaffer constant S(X) are not independent: they are related by the remarkable identity from [66]

James(X)S(X)= sup min(||x + y||X, ||x — y||X) inf max(||x + y||X, ||x — y||X) = 2

x,yeBX x,yeSx

The first theorem contains the basic properties of the self-Jung constant. Maluta [67] has established Part (a). Part (b) is the celebrated result due to Gulevich [68] answering the question raised by Amir, Casini and Maluta and relying on his (c) and (d) from [69].

Theorem 7.1. Let X and Y be Banach spaces, A U {xi}ieN C X, and Z c X be a subspace. Then the following holds.

(a) Js(X) = 1 if X is nonreflexive;

(b) X is superreflexive if Js(X) < 1;

(c) Js(X) = sup{ Js(Z) : Z C X, dimZ < to};

(d) Js(X) = sup{A(A)/5(A) : bounded A c X}.

Part (a) of the next theorem contains the abstract essence of the main result from [70]. In connection with Part (a), see also [70,71].

Theorem 7.2. For a e [1, to) and cJ+, col > 0, let X e J+(a, cJ+) n C1(a, col) be a Banach space. Then one has

(a) Js(X) < cj +;

(b) Js(X) < cj + ()1/a if dimX = n;

(c) 2/S(X) = James(X) < coi;

(d) Js(X) < (X).

Proof of Theorem 7.2. Following the idea from [70], one uses Theorem 7.1, (d). Let A c Y be a bounded subset, and an xb e co(A) be a convex combination

xb ^ ^ aixi

Then, the definition of the adjoint Jacobi class implies the estimates

d(xb, co(A)) = d(xb, co(A)) < d(xb, co({xi}m=1) <

i=j= 1

Part (a) follows from (23) because

Eg = 1

In the case of Part (b), we use the Caratheodory theorem [72] stating that m < n + 1 and the Cauchy-Bunyakovskiy-Schwarz inequality to establish the estimate

J] aiaj = 1 - J] «2 < 1 - 1/m < i=j= 1 i= 1

The proof is finished as in (a). Part (c) is an immediate consequence of Definition 5.3.

Considering the definition of DPo-(X) (i.e., Definition 5.4) and with only sets A = {x} e X degenerated into a point, we obtain Js(X) instead of (X). This observation establishes (d) finishing the proof of the theorem. □

¿({xi}™1) < 5(A)

We shall need the definition of the Hadamard matrixes, numbers and the closest-preceding-Hadamard-number function.

Definition 7.5 ([73]). An n x n-matrix A = {aitk }nj=1 is an Hadamard matrix if every

ai,j E {-1,1} and AAl = nln

where In is the identity matrix. We say that an Hadamard matrix is regular when ai,j = 1 if either i = 1 or j = 1. By means of A we designate a regular Hadamard matrix A without its first column, and by {hi}n=i — the rows of A. We say that n E n is an Hadamard number if there exists an n x n Hadamard matrix.

Let us also define the function h : n —► n, such that h(n) + 1 is the maximal Hadamard number less or equal to n + 1.

Note that, for infinitely many integer values n, there exists a regular n x n Hadamard matrix. Using the transformations DAD with a diagonal orthogonal D, one sees that the existence of an Hadamard matrix means the existence of a regular Hadamard matrix.

We utilize this theorem in the next two propositions. Parts (a) and (b) of the next lemma have been established by Pichugov [74]. We provide an alternative to [10,11] proof of (b). Note that the Hadamard matrix utilized by Pichugov is the most optimal variant of the so-called designs (see [75]). Amir and Franchetti [75] used different designs to establish similar results.

Similarly, Part (c) and an asymptotic estimate for Part (d) have been obtained and applied in [9,10] and in [75]. In the latter source, the symmetry with respect to the permutations of the basic vectors has been used in a more general setting of the finite-dimensional ideal spaces, while the former contain counterparts of (a) and (b) for a different design.

Lemma 7.1. For p E [1, to], m,n E n and Im = [1, m] n n, In = [1, n] n n, let m +1 and Am+1 be an Hadamard number and a corresponding regular Hadamard matrix. We assume also that {gj }m+11 C lp(Im, r) and {ei}n=1 C lp(In, r) are, respectively, the rows of Am+1 and the basic vectors of lp(In, r). Then they satisfy the following relations:

(a) If llp(Im, r)|| = m1/p and ||f - fkllp(Im, r)|| = 21/p'(m + 1)1/p for k,j E W;

(b) r f }jeim+i ,lp(Im, r)) = r f }jeim+i, 0) = m1/p;

(c) Heillp(Ln, r)|| = 1 and Ha - ekllp(Ln, r)|| = 21/p for i,k E ln;

(d) r ({ejn ,lp(In, r)) = r ({ejn ,zo) = (1 + (n - 1)1-p' )-1/p', where zo = (1 + (n - 1)p'-1)-1 (l^^l)

n times

Remark 7.1. As observed in [75], the self-Chebyshev centre of the basic vectors in (d) is the unique intersection of the ray through its Chebyshev centre and the hyperplane through them because such a hyperplane exists. This is a slight modification of Part (d).

Proof of Lemma 7.1. Parts (a) and (c) follow from definitions and the properties of the Hadamard matrices.

To establish Part (b), let us consider the norming functionals {gj }jeim+1 satisfying

gj (/j) = n1/P for j G /m+1

and assume the existence of 0 = z G /p(Im, r) with

r ({/j} j'Glm + 1 , 0) < r ({/j Wm+i, 0)

Then, for every j, one has

n1/P > ||/j - Z|/p(im, r)|| > gj (/j - z) = n1/p - gj (z) However, since gj = n-1/p' /j in the coordinate representation, we have the contradiction

0= £ gj (z) > 0 j=1

To prove Part (d), we use the invariance of the sets under consideration and the measure space E = In with the counting measure v with respect to the group G being either the group of all permutations of In, or its cyclic subgroup of order n of cyclic permutations endowed with the normalized counting measures (see Theorom 11.13 in [2]). Thus, there is a Chebyshev centre of the form

Zo(x) = (x,..., x) n times

The minimum of the function 0(x) = (1 — x)p + (n — 1)xp is achieved at (1 — x0)p-1 = (n — 1)xP-1 and is equal to

11e 1 - Zo(xo)|/p(In,r)|| = (0(xo))1/p = = ((1 - Xo)(n - 1)x0-1 + (n - 1)x0)1/p = (1 + (n - 1)1-p')-1/p' Thus, the lemma is proved. □

8. Conclusions

The Jacobi identity characterizes Hilbert spaces in the class of all Banach spaces. Indeed, the parallelogram identity itself characterises the subclass of Hilbert spaces, therefore implying the Jacobi identity. In turn, the latter applied to the points {x, -x, y, -y} taken with equal masses 1/4 leads to the parallelogram identity

2||x||Z + 2||y||Z = ||x - y||Z + ||x + y||Z

for arbitrary elements x, y in a Banach space Z that is, thus, an inner product space too.

While the "purely Euclidean" Jacobi and parallelogram identities are equivalent in the setting of the inner product spaces, their quasi-Euclidean counterparts describing Jacobi and Clarkson classes appear to be different. For example, the duality relates the Jacobi and adjoint Jacobi classes (Part (d) of

Theorem 5.1), while the Clarkson classes appear to be self-dual (Part (c) of Lemma 5.2). Moreover, the comparison of Theorems 5.3 and 5.4, respectively, with Theorems 5.5 and 5.6 shows that the Jacobi classes are more sensitive to the finiteness of the dimension of a Banach space.

The difference between the Jacobi and Clarkson classes is even more subtle (but quantitatively decisive) in capturing the essence of convexity. While a Banach space X from the Clarkson class Cl(a, 21/ct') (Cl( a, 21/a)) is as uniformly convex (smooth) as a Lebesgue space La with a E [2, to) (a E (1, 2]), it is only the symmetric "two-point" uniform convexity (smoothness). On the contrary, the quantitative, or uniform, smoothness (convexity) captured by the (adjoint) Jacobi classes is both multi-point and asymmetric (compare [2]). This difference is quantitatively so decisive that, as shown in Sections 5.2 and 6 correspondingly, the membership in Clarkson classes with proper constants governs both the isometric and the convex isometric extension properties and almost governs the quantitative Hahn-Banach separation property.

Acknowledgements

The author would like to thank the editors of the special volume and the anonymous referees for the opportunity to contribute and for dealing with the manuscript. He would also like to thank RFBR (project 11-01-00444-a) for the support.

References

1. Sobolev, S.L. Some Applications of Functional Analysis in Mathematical Physics, 3rd ed.; American Mathematical Society: Providence, RI, USA, 1991; pp. 1-286.

2. Ajiev, S.S. Elements of Quantitative Functional Analysis for Function and other Banach Spaces. University of Technology-Sydney, Broadway, Australia. Unpublished work,

3. Dol'nikov, V.L. Note on the separation of sets by a hyperplane. Ukr. Mat. J. 1987, 39, 773-776.

4. Pichugov, S.A. On the separability of sets by a hyperplane in Lp. Anal. Math. 1991,17, 21-33.

5. Besov, O.V.; Il'in, V.P.; Nikol'skiy, S.M. Integral Representations of Functions and Embedding Theorems, 2nd ed.; Nauka-Fizmatgiz: Moscow, Russia, 1996.

6. Burenkov, V.I. Sobolev Spaces on Domains. In Teubner Texts in Mathematics; B. G. Teubner Verlagsgesellschaft GmbH: Stuttgart, Germany, 1998; Volume 137.

7. Nikol'skii, S.M. Approximation of Function of Several Variables and Embedding Theorems; Nauka: Moscow, Russia, 1969.

8. Triebel, H. Interpolation Theory, Function Spaces, Differential Operators; North-Holland Publishing Company: Amsterdam, The Netherlands; Oxford, UK, 1995; pp. 1-528.

9. Williams, L.R.; Wells, J.H.; Hayden, T. On the extension of Lipschitz-Holder maps on Lp spaces. Studia. Math. 1971, 39, 29-38.

10. Wells, J.H.; Williams, L.R. Embeddings and Extensions in Analysis. In Ergebnisse der Mathematik und ihrer Grenzgebiete, b. 84; Springer-Verlag: Berlin/Heidelberg, Germany; New York, NY, USA, 1975; pp. 1-108.

11. Williams, L.R.; Wells, J.H. Lp-Inequalities. J. Math. Anal. Appl. 1978, 64, 518-529.

12. Minty, G. On the extension of Lipschitz, Lipschitz-Hölder and monotone functions. Bull. Am. Math. Soc. 1970, 76, 334-339.

13. Ajiev, S.S. Holder classification of spheres of Sobolev, Besov, Lizorkin-Triebel, Schatten-von Neumann and other Banach spaces. Eurasian Math. J., accepted.

14. Ajiev, S.S. Approximation of Uniformly Continuous Mappings between Function and other Banach Spaces. University of Technology-Sydney, Broadway, Australia. Unpublished work.

15. Fichtenholtz, G.M.; Kantorovich, L.V. Sur les operations lineaires dans l'espace des fonctions bornees. Stud. Math. 1934, 5, 69-98.

16. Ajiev, S.S. On Noncomplementable Subspaces and Noncompact Embeddings of Certain Function Spaces; VINITI: Moscow, Russia, 2000; pp. 1-36.

17. Ajiev, S.S. Phillips-Type theorems for Nikol'skii and certain other spaces. Proc. Steklov Math. Inst. 2001, 232, 27-38.

18. Maleev, R.P.; Trojanski, S.L. Moduli of convexity and of smoothness for the spaces Lpq . Annuaire Univ. Sofia Fac. Math. 1971, 66, 331-339.

19. Triebel, H. Theory of Function Spaces III. In Monographs in Mathematics; Birkhauser Verlag: Basel, Switzerland, 2006; Volume 100, pp. 1-426.

20. Ajiev, S.S. Optimal non-dual local non-stationary multiresolution analysis for anisotropic function spaces. Appl. Comp. Harm. Anal. 2012, submitted.

21. Berkolaiko, M.Z.; Novikov, I.Y. Unconditional bases in spaces of functions of anisotropic smoothness. Proc. Steklov Math. Inst. 1994, 204, 27-41.

22. Ciesielski, Z.; Domsta, J. Construction of an orthonormal basis in Cm(Id) and Wm (ID). Stud. Math. 1972, 41,211-224.

23. Ciesielski, Z.; Figiel, T. Spline bases in classical function spaces on compact C^ manifolds. Part

I. Stud. Math. 1983, 76, 1-58.

24. Ciesielski, Z.; Figiel, T. Spline bases in classical function spaces on compact C^ manifolds. Part

II. Stud. Math. 1983, 76, 95-136.

25. Cohen, A.; Daubechies, I.; Feauveau, J.-C. Biorthogonal bases of compactly supported wavelets. Commun. Pure Appl. Math. 1992, 45, 485-560.

26. Daubechies, I. Ten Lectures on Wavelets; Society for Industrial and Applied Mathematics: Philadelphia, PA, USA, 1992; pp. 1-357.

27. Garrigos, G.; Tabacco, A. Wavelet decompositions of anisotropic Besov spaces. Math. Nachr. 2002, 239-240, 80-102.

28. Hochmuth, R. Wavelet characterizations for anisotropic Besov spaces. Appl. Comp. Harm. Anal. 2002,12, 179-208.

29. Kyriazis, G. Multilevel characterizations of anisotropic function spaces. SIAMJ. Math. Anal. 2004, 36, 441-462.

30. Ajiev, S.S. Characterizations of Bs (G),LS (G), Ws(G) and other function spaces. Applications. Proc. Steklov Math. Inst. 1999, 227, 1-36.

31. Levy, M. L'espace d'interpolation reel (A0, A1)e,p Contient lp. In Initiation Seminar on Analysis; UPMS: Paris, France, 1980; p. 9.

32. Mastylo, M. Banach spaces via sublinear operators. Math. Japonica. 1991, 36, 85-92.

33. Milman, V.D. Geometric theory of Banach spaces. II. Geometry of the unit ball. Uspehi. Mat. Nauk. 1969, 26, 73-149.

34. Bourgain, J. Extension of a result of Benedek, Calderon and Panzone. Ark. Mat. 1984, 22, 91-95.

35. Pisier, G.; Xu, Q. Non-Commutative Lp-Spaces. In Handbook of the Geometry of Banach Spaces; Johnson, W., Lindenstrauss, J., Eds.; Elsevier: Amsterdam, The Netherlands, 2001; pp. 1459-1517.

36. Diestel, J.; Jarchow, H.; Tonge, A. Absolutely Summing Operators; Cambridge University Press: Cambridge, UK, 1995; pp. 1-474.

37. Ovchinnikov, V.I. Symmetric spaces of measurable operators. Soviet. Math. Dokl. 1970, 11, 448-451.

38. Ovchinnikov, V.I. Symmetric spaces of measurable operators. Trudy Inst. Math. VGU 1971, 3, 88-107.

39. Cobos, F. Some spaces in which martingale difference sequences are unconditional. Bull. Polish Acad. Sci. 1986, 34, 695-703.

40. Pietsch, A. Eigenvalues and s-Numbers. In Cambridge Studies in Advanced Mathematics; Cambridge University Press: Cambridge, UK, 1987; Volume 13, pp. 1-360.

41. Ball, K.; Carlen, E.A.; Lieb, E.H. Sharp uniform convexity and smoothness inequalities for trace norms. Invent. Math. 1994,115, 463-482.

42. Marcolino, J. La stabilite des espaces Lp non-commutatifs. Math. Scand. 1997, 81, 212-218.

43. Ajiev, S.S. On Chebyshev centres, retractions, metric projections and homogeneous inverses for Besov, Lizorkin-Triebel Sobolev and other Banach spaces. East J. Approx. 2009,15, 375-428.

44. Ajiev, S.S. On concentration, deviation and Dvoretzky's theorem for Besov, Lizorkin-Triebel and other spaces. Compl. Var. Ellipt. Eq. 2010, 55, 693-726.

45. Bergh, J.; Löfström, J. Interpolation Spaces. An Introduction. In Die Grundlehren der mathematischen Wissenschaften B. 223; Springer-Verlag: Berlin, Germany, 1976.

46. Cobos, F.; Peetre, J.; Persson, L.E. On the connection between real and complex interpolation of quasi-Banach spaces. Bull. Sci. Math. 1998,122, 17-37.

47. Cwickel, M.; Milman, M.; Sagher, Y. Complex interpolation of some quasi-Banach spaces. J. Func. Anal. 1986, 65, 339-347.

48. Lizorkin, P.I. Interpolation of Lp spaces with weight. Tr. Matem. Inst. Steklova 1976, 140, 201-211.

49. Baouendi, M.S.; Goulaouic, G. Commutation de l'intersection et des founcteurs d'interpolation. Compt. Rend. Acad. Sci. Paris 1967, 265, 313-315.

50. Kottman, C.A. Subsets of the unit ball that are separated by more than one. Stud. Math. 1975, 53, 15-27.

51. Akhmerov, R.R.; Kamenskii, M.I.; Potapov, A.S.; Rodkina, A.E.; Sadovskii, V.N. Measures of Noncompactness and Condencing Operators; Birkhauser Verlag: Basel, Switzerland, 1992; pp. 1-249.

52. Erzakova, N.A. On the Measure of Noncompactness ß of Linear Operators in Spaces of Summable Functions; VINITI: Moscow, Russia, 1982; pp. 1-15.

53. Erzakova, N.A. A Measure of Noncompactness. In Approximate Methods for Investigating Differential Equations and Their Applications; Kuibyshev Gos. University: Kuibyshev, Russia, 1982, pp. 58-60.

54. Kirchberger, P. Uber Tschebyschefsche Annaherungsmethoden. Math. Ann. 1903, 57, 509-540.

55. Shimart, M. Simple proof of a theorem of P. Kirchberger. Pacif. J. Math. 1955, 5, 361-362.

56. Dol'nikov, V.L. On the Jung constant for 1n. Mat. Zametki 1987,42, 519-526.

57. Naor, A. A phase transition phenomenon between the isometric and isomorphic extension problems for Holder functions between Lp spaces. Mathematika 2001, 48, 253-271.

58. Huff, R.E.; Morris, P. Dual spaces with the Krein-Milman property have the Radon-Nikodym property. Proc. Am. Math. Soc. 1975, 49, 104-108.

59. Huff, R.E.; Morris, P. Geometric characterizations of the Radon-Nikodym property in Banach spaces. Stud. Math. 1976, 56, 157-164.

60. Bourgain, J. Some remarks on Banach spaces in which martingale difference sequences are unconditional. Ark. Mat. 1983,22, 163-168.

61. Burkholder, D.L. A geometric characterization of Banach spaces in which martingale difference sequences are unconditional. Ann. Prob. 1981, 9, 997-1011.

62. Burkholder, D.L. A Geometric Condition that Implies the Existence of Certain Singular Integrals of Banach-Space Value Functions. In Conference on Harmonic Analysis in Honour of Antoni Zygmund; Wadsworth: Belmont, CA, USA, 1983; pp. 270-286.

63. Lions, J.L.; Peetre, J. Sur une classed'espaces d'interpolation. Inst. Hautes Etudes Sci. Publ. Mat. 1964,19, 5-68.

64. Aldous, D.J. Unconditional bases and martingales in Lp(F). Math. Proc. Camb. Phil. Soc. 1979, 85, 117-123.

65. Bessaga, C.; Pelczynski, A. On extreme points in separable conjugate spaces. Isr. J. Math. 1966, 4, 262-264.

66. Kato, M.; Maligranda, L.; Takahashi, Y. On James and Jordan-von Neumann constants and the normal structure coefficient of Banach spaces. Stud. Math. 2001,144, 275-295.

67. Maluta, E. Uniformly normal structure and related coefficients. Pacif. J. Math. 1984,111, 357-369.

68. Gulevich, N.M. Fixed points of nonexpansive mappings. J. Math. Sci. 1996, 79, 755-815.

69. Gulevich, N.M. Measure of nonconvexity and the Jung constant. Zap. Nauch. Sem. S.-Peterb. Otd. MIAN 1992, 208, 174-181.

70. Gulevich, N.M.; Gulevich, O.N. An estimate for the measure of nonconvexity in the Lp-space. Zap. Nauch. Sem. S.-Peterb. Otd. MIAN 2001, 280, 141-145.

71. Amir, D. On Jung's constant and related constants in normed linear spaces. Pacif. J. Math. 1985, 118, 1-15.

72. Caratheodory, C. Uber den Variabilitatsbereich der Koeffizienten von Potenzreihen, die gegebene Werte nicht annehmen. Math. Ann. 1907, 64, 96-115.

73. Vinogradov, I.M. The Basics of Number Theory; Nauka: Moscow, Russia, 1981.

74. Pichugov, S.A. The Jung constant of Lp. Math. Notes 1988, 43, 604-614.

75. Amir, D.; Franchetti, C. The radius ratio and convexity properties in normed linear spaces. Trans. Am. Math. Soc. 1984, 282, 275-291.

© 2013 by the author; licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution license (http://creativecommons.org/licenses/by/3.0/).

Copyright of Axioms (2075-1680) is the property of MDPI Publishing and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use.