| R.Aron,P.Berner,A Hahn-Banach extension theorem for analytic mappings, Bull. Soc. Math. France 106 (1978), 3--24. |
....on M FIN(E)oneobtains and lim U q M : M)U Kextends q (via the naturalis metric embeddin E## (M)U ) If follows from (2) that q #Qand Q #s hence# q# Q=s up# QskL0 Qmax## . # 3.3. Every q has an extens ion to (E ## ) the Aron Berner extens ion (sW [AB]) can easgk besk as an iterated limit alonglocal ultrafilters E(s ee [LR] or [F1, 6.9. This motivated Dineen Timoney [DT] and Linds trom Ryan [LR] independently to define an uniterated Aron Berner extens0 n (as it is called in [F1] as follows for # : M,N,#) I : FIN(E ## ) FIN(E # ....
R.Aron,P.Berner,A Hahn-Banach extension theorem for analytic mappings, Bull. Soc. Math. France 106 (1978), 3--24.
.... E; F ) The key calculation is the followin# : #q# P n (E;F ) sup #q(x)# F x # # BE =sup #q L (# n x)#F x # # BE = sup #q L (z)# F z # #(# n # BE ) where # n is the diagon al map E # # n,s Edefin#D by x # # n x) For the absolutecon vex hull C : #(# n # BE ) o n# has span C = # n,s E (by Corollary 1.5. The Min kowski gauge fun ction al of Con # n,s E will beden# ted by # s ( # n,s E) or shortly # s ;n otation # n,s #s E) # s (z; # n,s E) in f # # 0 z # ##(# n # BE ) ....
....for all x # E with # m=1 # m #x # m # n #, i.e. q = # m=1 #m# n x # m (see 1.13. for # n ) It is well kn# wn a n# easy that #q# nuc =in f # m=1 # m #x # m # n q = # m=1 #m# n x # m is an orm a n# (P n nuc (E) ## nuc ) is aBan#M h space. The description 2.2. 9) of # n,s #s E # shows that the map J n E # (see 1.13. exten#F to a metric surjection J n E # : # n,s #s E # 1 # P n nuc (E) Recall # n,s E # = P n f (E) from 1.13. In 4.3. thein#DDF ]U y of this map will be in vestigated. 2.7. ....
[Article contains additional citation context not shown here]
R. Aron, . Berner, A Hahn-Banach extension theorem for analytic mappings, Bull. Soc. Math. France 106 (1978), 3--24.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC