316 MARCUS AND MIZEL 5. ~-INVARIANT FUNCTIONALS; PROOF OF LEMMA 4.5 PROPOSITION 5.1 [9; Sect. 41. Let A’ be a rich subspace <strong>of</strong> L=(m) and let X be an odd, disjointly additive functional on .y,[ If f, g, h are disjoint simple functions such that f - g and f - h belong to Y/J , then iv(f - g) = - N(f - I/) - X(g - I?). (5.1) The same statement holds if YJ. is replaced by
EXTENSION THEOREMS FOR FUNCTIONALS 317 Next we claim that, <strong>for</strong> every triple <strong>of</strong> positive numbers, a, 6, C, Since the equality is symmetric with respect to a, b, c, we may and shall assume that c 3.: mas(a, b). Given a set S in 7, let (S, , S,} be a partition <strong>of</strong> S into sets <strong>of</strong> equal p-measure. Further, let (Sr’, $1 be an (a, h) partition <strong>of</strong> S, and let S,’ be a subset <strong>of</strong> S, such that By (5.5) p(&‘) = (ub/c(a 4- h)) /L(S$). Ya,b(w r= ; Y,,,(S), These equalities, together with (5.2), yield, For the last two equalities we used the fact that &’ is odd in conjunction with Proposition 5.1. Now let c,, be a fixed positive number, and set By (5.6) and (5.7), yn = Ul%) Yo.c,, 1 vu T- 0. (5.7) YdS) = @a.(S) - qqq (5.8) Let h E fFi, , h = uxu - 6xr, ) U n If :-= c‘(, n, h positive. By (5.2) (5.5), (5.7), and (5.8), we have, The measure rU is absolutely continuous with respect to nz. Hence, by the Radon-Kikodym theorem, p,, possesses a density function in Ll(m) which we
- Page 1 and 2: Extension Theorems of Hahn-Banach T
- Page 3 and 4: EXTENSIOK THEOREMS FOR FUNCTIOK.4LS
- Page 5 and 6: EXTENSION THEOREMS FOR FL'NCTIONALS
- Page 7 and 8: EXTENSION THEOREMS FOR FLJNCTIONALS
- Page 9 and 10: EXTEIiSION THEOREMS FOR FUSCTIONALS
- Page 11 and 12: EXTENSION THEOREMS FOR FUNCTIONALS
- Page 13: Hence, by Proposition 4.6, EXTENSIO
- Page 17 and 18: ESTENSION THEOREMS FOR FIVVCTIONALS
- Page 19 and 20: EXTENSION THEORERIS FOR FUNCTIONALS
- Page 21 and 22: EXTENSION TfIEOREMS FOR FUNCTIONALS
- Page 23 and 24: EXTENSION THEOREMS FOR FUNCTIONAW 3
- Page 25 and 26: EXTENSION THEOREMS FOR FUNCTIONALS
- Page 27 and 28: EXTENSION THEOREMS FOR FUNC’l’I
- Page 29 and 30: l\jow, let f be a function in F,/ ,
- Page 31 and 32: EXTENSION THEOREMS FOR FUNCTIONALS
- Page 33 and 34: KXTEXSION THEOREMS FOR FLWCTIOXA1.S
- Page 35 and 36: MEASURE SPACE AI-TOiVIORPHIBRIS 337
- Page 37 and 38: YIEASURE SPACE AUTOMORPIIISMS 339 W
- Page 39 and 40: C‘hoosc a representative (F,,),,N
- Page 41 and 42: MEASURE SPACY AUTOMORPIIIS~I~ 343 (
- Page 43 and 44: MEASURE SPACE AYI’O~IORPHIS~ld 34
- Page 45 and 46: MEASURE SPACE AUTOMORPHISMS 347 (3.
- Page 47 and 48: such that and Pvoqf. We denote On C
- Page 49 and 50: 4. ~WPLICATIONS \\‘c want to desc
- Page 51 and 52: The Theta Transform and the Heisenb
- Page 53 and 54: THE THETA TRANSFORRZ 355 The origin
- Page 55 and 56: THE THETA TRANSFORM 357 It is conve
- Page 57 and 58: THE THETA TRAXSFORM 359 zohew x1 T
- Page 59 and 60: TIIE TfIEI‘A ‘lxANSFOK~1 361 Fo
- Page 61 and 62: THE THETA TRANSFORhI 363 where J u,
- Page 63 and 64: A DUNFORD-PETTIS THEOREM FOR L1/Hal
- Page 65 and 66:
A DlJNFORD-PETTIS THEOREM FOR L1/Hu
- Page 67 and 68:
the mapping A DVNFORD-PETTIS THEORE
- Page 69 and 70:
A DCNFORD-PETTIS THEOREM FOR LIIHu
- Page 71 and 72:
.t DCNFORD-PETTIS THEOREM FOR L’,
- Page 73 and 74:
A DUNFORD-PETTIS THEOREM FOR Ll/H=-
- Page 75 and 76:
Lebesgue’s theorem implies that A
- Page 77 and 78:
,omivnr. OF FLW~~IONAI. ANALYSIS 24
- Page 79 and 80:
REPRESENTATIONS OF NILPOTENT LIE GR
- Page 81 and 82:
IIEPRESENTATIOKS OF NILPOTENT LIE G
- Page 83 and 84:
I
- Page 85 and 86:
REPRESENTATIONS OF NILPOTENT LIE GR
- Page 87 and 88:
REPRESENTATIONS OF SII.PoTEST LIE C
- Page 89 and 90:
REPRESENTATIONS OF NILPOTENT LIE GR
- Page 91 and 92:
KWKESE~TATIOSS OF NILPOTENT LIE (:I
- Page 93 and 94:
REPRESENTATIONS OF NILPOTENT LIE GR
- Page 95 and 96:
JOURNAL OF FUNCTIONAL ANALYSIS 24,
- Page 97 and 98:
TOPOLOGI('AI. ASPECTS 399 maps i,,
- Page 99 and 100:
where TOPOLOGICAL ASPECTS 401 1,’
- Page 101 and 102:
TOPOLOGICAL ASPECTS 403 PROPOSITION
- Page 103 and 104:
TOPOLOGICAL ASPECTS 405 (iv) S is b
- Page 105 and 106:
TOPOLOGICAL ASPECTS 407 ever!- o-co
- Page 107 and 108:
TOPOLOGICAL ASPECTS 409 I,et a = (J
- Page 109 and 110:
The polar decomposition of the map
- Page 111 and 112:
TOPOLOGICAL ASPECTS 413 Proof. It i
- Page 113 and 114:
TOPOLOGICAL ASPECTS 415 algebras a
- Page 115 and 116:
TOPOLOGICAL ASPECTS 417 where M, <
- Page 117 and 118:
‘I’OPOLOCICAL ASPECTS 419 RIore
- Page 119 and 120:
By the same method: TOPOLOGICAL ASP
- Page 121 and 122:
TOPOLOGICAL ASPECTS 423 Since f bel
- Page 123 and 124:
TOPOLOGICAL ASPECTS 425 20. H. H. S