Extension Theorems of Hahn-Banach Type for Nonlinear Disjointly ...
Extension Theorems of Hahn-Banach Type for Nonlinear Disjointly ...
Extension Theorems of Hahn-Banach Type for Nonlinear Disjointly ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
320 MARCW AND MIZIX<br />
Then the following assertions hold.<br />
Without loss <strong>of</strong> generality, we may and shall assume that urr :. I <strong>for</strong> all rr.<br />
By Proposition 3.2, there exists a function /I,,* <strong>of</strong> the <strong>for</strong>m<br />
such that Sn*, Z’,,” are disjoint subsets <strong>of</strong> B,, and<br />
a,,(~~ .<br />
II XT.,,*)<br />
By Proposition 3.5(a), the measure (m, p) : 7 + K )I l1 is a Lyapunov measure.<br />
Hence, there exist subsets S,, , I”,, <strong>of</strong> Sn*, T,,“, respectively, such that<br />
(7% P)(S,J ~~~~ 44 I*)(&,“‘),<br />
(w cL)( 7’4 a,,(m, p)(T,,"), 77 I, 2....<br />
Set II,, xr -~~ xs, . Then, by (6.7) and (6.8),<br />
. I/<br />
(6.7)<br />
(6.X)<br />
Nest, let ;\I be a bound <strong>for</strong> the sequence [.f,,l. Again, by Proposition 3.2,<br />
there exists a function g, <strong>of</strong> the <strong>for</strong>m 2,16(,yCT,, - x,,,~) such that U, , I Vri are dis-<br />
joint subsets <strong>of</strong> A,( and<br />
Set, p,, f/n sn (n I, 2 ,... ). Then, by (6.6) (6.7), (6.9). and (6.10) CT,! is<br />
a bounded sequence in L”(m) such that<br />
From (6.11) it follows that {P)~} is (bm)-convergent to zero. ‘Ihus {I;, ~~ v,!I is<br />
(bm)-convergent to ,f. Further, by (6.1 I), (fn - v,,)