Isometries on Banach spaces function spaces 1st Edition Richard J. Fleming instant download
Isometries on Banach spaces function spaces 1st Edition Richard J. Fleming instant download
https://ebookname.com/product/isometries-on-banach-spaces-
function-spaces-1st-edition-richard-j-fleming/
https://ebookname.com/product/isometries-on-banach-spaces-vector-
valued-function-spaces-and-operator-spaces-richard-j-fleming/
https://ebookname.com/product/topological-and-metric-spaces-
banach-spaces-none/
https://ebookname.com/product/handbook-of-the-geometry-of-banach-
spaces-none/
https://ebookname.com/product/monastic-practices-revised-edition-
charles-cummings/
Filter Theory in Electronic Engineering 1st Edition
Marya Troutman
https://ebookname.com/product/filter-theory-in-electronic-
engineering-1st-edition-marya-troutman/
https://ebookname.com/product/between-women-friendship-desire-
and-marriage-in-victorian-england-sharon-marcus/
https://ebookname.com/product/the-party-book-jane-bull/
https://ebookname.com/product/advances-in-chromatography-
volume-43-advances-in-chromatography-1st-edition-phyllis-r-brown/
https://ebookname.com/product/phase-transitions-and-critical-
phenomena-vol-19-1st-edition-c-domb/
Confronting Ecological and Economic Collapse Ecological
Integrity for Law Policy and Human Rights 1st Edition
Laura Westra
https://ebookname.com/product/confronting-ecological-and-
economic-collapse-ecological-integrity-for-law-policy-and-human-
rights-1st-edition-laura-westra/
CHAPMAN & HALUCRC
Monographs and Surveys in
Pure and Applied Mathematics 1 29
ISOMETRIES
ON BANACH SPACES:
function spaces
Main Editors
H. Brezis, Universite' de Paris
R.G. Douglas, Texas A&M University
A. Jeffrey, University of Newcastle upon Tyne (Founding Editor)
Editorial Board
R. Aris, University of Minnesota
G.I. Barenblatt, University of California at Berkeley
H. Begehr, Freie Universitat Berlin
P. Bullen, University of British Columbia
R.J. Elliott, University of Alberta
R.P. Gilbert, University of Delaware
R. Glowinski, University of Houston
D. Jerison, Massachusetts Institute of Technology
K. Kirchgassner, Universitat Stuttgart
B. Lawson, State University of New York
B. Moodie, University of Alberta
L.E. Payne, Cornell University
D.B. Pearson, University of Hull
G.E Roach, University of Strathclyde
I. Stakgold, University of Delaware
W.A. Strauss, Brown University
J. van der Hoek, University of Adelaide
ISOMETRIES
ON BANACH SPACES:
function spoces
RICHARD J. FLEMING
JAMES E. JAMISON
Fleming, Richard J.
Isometries on Banach spaces : function spaces I by Richard J. Fleming and James E. Jamison.
p. cm. - (Chapman & HallICRC monographs and surveys in pure and applied
mathematics ; 129)
Includes bibliographical references and index.
ISBN 1-58488-040-6 (alk. paper)
1. Function spaces. 2. Banach spaces. 3. Isometrics (Mathematics) I. Jamison, James E.
11. Title. 111. Series.
This book contains information obtained from authentic and highly regarded sources. Reprinted material
is quoted with permission, and sources are indicated. A wide variety of references are listed. Reasonable
efforts have been made to publish reliable data and information, but the authors and the publisher cannot
assume responsibility for the validity of all materials or for the consequences of their use.
Neither this book nor any part may be reproduced or transmitted in any form or by any means, electronic
or mechanical, including photocopying, microfilming, and recording, or by any information storage or
retrieval system, without prior permission in writing from the publisher.
The consent of CRC Press LLC does not extend to copying for general distribution, for promotion, for
creating new works, or for resale. Specific permission must be obtained in writing from CRC Press LLC
for such copying.
Direct all inquyies to CRC Press LLC, 2000 N.W. Corporate Blvd., Boca Raton, Florida 33431.
Trademark Notice: Product or corporate names may be trademarks or registered trademarks, and are
used only for identification and explanation, without intent to infringe.
Preface
Chapter 1. Beginnings
1.1. Introduction
1.2. Banach's Characterization of Isometries on C ( & )
1.3. The Mazur-Ulam Theorem
1.4. Orthogonality
1.5. The Wold Decomposition
1.6. Notes and Remarks
volume will include many more references which were not directly relevant in
this first one, and we also intend for Chapter 13 of Volume 2 to provide a
further guide to the literature.
We assume that our readers are familiar with the standard material in
courses in real variables, complex function theory, and functional analysis.
Terms and notation that are common in those fields we leave undefined in
the text. Page references to some of the special notation are given in the
index. Some notation, of course, serves multiple purposes which should be
understood in the context in which it appears. If some symbol or term is
encountered which is not referenced in the index, the reader should be able
to find it explained within a page or two of that location.
We have received much encouragement for this project from a number of
people over recent years, and we want to mention three people in particular
who have provided special help. Joe Diestel read portions of the work in
early stages and his kind words helped move us forward. Bill Hornor has
provided valuable advice, particularly in regard to Chapter 4 on analytic
functions. David Blecher helped immeasurably in reading much of Chapter
6, and tried to guide us in understanding the material on operator spaces and
the nonsurjective case of Kadison's theorem. However, we strongly emphasize
the fact that we alone are responsible for any existing errors.
Finally, we would both like to express our deep appreciation and love for
our wives, Diane Fleming and Jan Jamison, for their patience and devotion.
Beginnings
1.1. Introduction
Isometries are, in the most general sense, transformations which preserve
distance between elements. Such transformations are basic in the study of
geometry which is concerned with rigid motions and properties preserved by
them. The isometries of the Euclidean plane may all be described as rotations,
translations, reflections, and glide reflections, and these transformations form
a group under the operation of composition. This group is sometimes called
the Euclidean group of the plane. Of course the Euclidean group is very large
and often certain subgroups are sought which preserve some particular subset
of the plane. If S is a subset of the Euclidean plane R 2 , the subgroup G
which consists of all isometries which map S onto itself is called the complete
symmetry group of S . A subgroup of G is called a symmetry group of S .
The symmetry group of the unit circle given by an equation
which represents a reflection of the plane with respect to the line given by the
equation
The rotations form a subgroup of the symmetry group called the rotation
group.
i t is necessary a n d s u f i c i e n t t h a t
lim
t+O
Ilf +tgll
t
- llfll
exists f o r each g E C(Q).
M o r e o v e r , i f f satisfies (2), w e have
lim f + t g
t+O t
- fII =g(~o)sgnf(so)
f o r each g E C(Q).
PROOF. Let us first show that ( 3 ) is necessary. If ( 2 ) holds, then 1 1 f 1 1 =
If E C(Q) and a real number t , f t g is continuous on Q
( s o )1. Now given g +
and so attains its maximum absolute value at some st E Q . Therefore,
(5) If(s0) + tg(so)l - I f ( ~ 0 ) l < Ilf + tgII - Ilfll = If(%) +tg(st)l - If(s0)l.
Also, we have
If(s0) +tg(so)l < I f ( % ) +tg(st)l
and a little manipulation yields the inequality
Now let us first suppose that f ( s o ) < 0. By virtue of the fact that
st + so, we may choose t so small that
If (so) + tg(s0)1 - If (so) =l -f (so) - tg(s0) + f (so) = -tg(so)
and
If(%) + tg(.t)l - lf(.t)l = -f(.t) - tg(st) + f ( s t ) = -tg(st).
From these two statements and ( 5 ) we see that
The case where f ( s o )> 0 (which is the case considered in Banach's book)
can be treated in a similar manner to establish that
lim If +tsll - l l f l l = g ( s o ) ,
t+O t
This completes the proof of the necessity of the existence of the limit in ( 3 )
and shows that (4) must hold.
For the sufficiency let us assume that so, sl E Q with so # sl and
However,
We now state and prove the theorem of Banach for surjective isometries
on C ( Q ) spaces.
1.2.2. THEOREM.If Q and I?: are compact metric spaces then for the
spaces of real continuous functions C ( Q ) and C(I?:) to be isometrically iso-
morphic it is necessary and suficient that Q and I?: be homeomorophic. In
this case, an isometric isomorphism T from C ( Q ) onto C(I?:) must be given
by
(9) T f ( t ) = h ( t ) f( ~ ( t )f o)r t E I?:,
where p is a homeomorphism from I?: onto Q and h is a real valued unimodular
function on I?:.
PROOF.It is easy to see that if p is a homeomorphism from I?: onto Q ,
then a transformation U defined by ( 9 ) is an isometric isomorphism of C ( Q )
onto C(I?:) and thus the sufficiency of the condition is clear.
For the necessity, let T be a linear isometry from C ( Q ) onto C(I?:), sup-
pose so € Q and let f € C ( Q ) be such that If ( s o )1 > If (s) 1 for all s E Q. By
Lemma 1.2.1,
and we apply the lemma again to conclude that there is some t o E I?: such
that
<
I I u - vII $S(H,-~) for v E HnP1. Here, S(HnP1)denotes the diameter of
H n P 1 which is, of course, the supremum of the distances between pairs of its
elements. Clearly, S(H,) < &IIx - yII for each n . Hence, the intersection
of the H, is either empty or consists of exactly one element which is called
the (metric) center of the pair x , y.
and similarly for IITu - Tyll. This requires no linearity nor surjectivity for T .
1.3.2. LEMMA.If T is a surjective isometry from X onto Y , then T maps
the center of any pair x , y in X to the center of the pair T x , T y in Y .
PROOF. Since T is a surjective isometry, it is clear t h a t ~ ( H l ( xy)) , =
H 1 ( T x , Ty) and S ( H l ( x , y)) = S(H1(Tx,T y ) ) . If we assume this holds for
H n P 1 ( T x ,T y ) , then for u E H,(x, y) and w E H , - l ( T x , T y ) , we have w = T v
for some v E H,- 1( x , y) while
1 1
T U- T v = Ilu - ull < - 6 ( H n - l ( ~ ,Y ) ) ~ ~ ( H ~ - I ( T x , T Y ) ) .
2
Therefore, T u E H, ( T x , T y ) . Similarly, if w E H, ( T x , T y ) , then w = T u
for some u E H, ( x , y). Thus by induction, T(H, ( x , y)) = H, ( T x , Ty) for
+
every ~ o s i t i v einteger n . By Lemma 1.3.1, $ ( x y) E H, ( x , y) for every n
+
and it follows from the statement above t h a t T ( $ ( x y)) E H,(Tx, Ty) for
every n . Hence T ( $ ( x + y)) is the unique element of n r = l H n ( T x , Ty) which
is $ (TX + Ty) by Lemma 1.3.1 again.
1.3.3. LEMMA.If T is an isometry from a n.1.s. X onto a n.1.s. Y (real
or complex), then
+
(i) T ( x y) = T x + T y - T(O),
(ii) T ( s x ) = s T x + (1 - s)T(O)for all real numbers s.
so that
we conclude that (ii) holds for s = -1 and therefore for any integer n . Upon
applying (ii) to T ( x ) = T ( n z ) we get that (ii) holds for all rationals and the
extension to real follows from the continuity of T .
from which it must be concluded that llzll = 2. However, we must also have
By the strict convexity, (x - u) = t ( x - v) for some t > 0 and since IIx - ull =
11x - vll, we have t = 1. It follows that u = v.
1.4. Orthogonality
Isometries on Hilbert spaces preserve the inner product and they preserve
orthogonality. Although these notions are not so natural in the Banach space
setting, they can be defined and we want to see how they relate to isometries.
1.4.1. DEFINITION.(Lumer) A semi-inner product (s.2.p.) on a complex
vector space X is a complex valued form [., .] on X x X to C which satisfies
(i) [ x , x ] > 0 if x # 0,
(ii) [ a x + p y , z I = a [ x , z ] + P [ y , z I f o r a , p E C, x , Y ,E~X ,
<
(iii) ~ [ X , Y I ~ [~x , x ] [ Y , Yfor
] all X , Y E X .
It can be shown that llxll = [x, xI1l2 defines a norm on X (with respect
to which the s.i.p. is said to be compatible) and conversely, if 11 . 11 is a norm
on X there is a s.i.p. on X which is compatible with the norm. This follows
from the Hahn-Banach Theorem which guarantees the existence of duality
maps x + p, which satisfy llp,ll = IIxII and p x ( x ) = 11x112,where p, E X * .
The functional p, is called a support functional. Such a duality map gives a
s.i.p. by means of the formula
[x, YI = P?,(x).
Of course, such maps are not unique and so there may be many semi-inner
products compatible with a given norm. It is always possible to choose a
semi-inner product which satisfies
[ s ,XYl = X[x, Yl .
1.4.2. DEFINITION.(James) In a normed linear space ( X , 11 . II), an ele-
ment x is said to be orthogonal to y (written x I y) if
llxll < IIx + Xyll for all scalars A.
1.4.3. PROPOSITION. (Giles) If [., .] is a semi-inner product compatible
with the norm of X , then [y, x] = 0 implies that x I y.
PROOF.Let X be a given scalar. Then
1 1 ~ 1 =1 ~ [x, XI = [x + XY, XI < 11x + X Y l l l l ~ l l
so that llxll < + Xyll.
1111:
x , y. Thus we get a converse of sorts, and, in fact, the real thing when X is
smooth.
<
Hence l l f l l IIxII and it follows that l l f l l = IIxII. By the Hahn-Banach
Theorem there exists x* E X * with IIx*II = l l f l l = 11x11, x*(y) = 0 and
x*(x) = 11~11~. Let p be a duality map such that p ( x ) = x*. Then the s.i.p.
determined by p satisfies the conclusion of the proposition.
If X is smooth, then there is only one duality map from X to X * , hence
only one s.i.p. compatible with the norm and it has the desired property.
Thus
or
( T x , T x ) - (TY,T Y )
(15)
(x, x) (Y, Y)'
1 .
then llTxll = rIIxII for a11 x E X so that U = -vT is the desired isometry
This argument makes heavy use of the properties of inner products and
does not carry over to the Banach space case. Yet there is a germ of an
idea here which Koldobsky has exploited to obtain the result, at least for real
Banach spaces.
1.4.6. THEOREM.(Koldobsky) Let X be a real Banach space and T a
linear operator on X to itself which preserves orthogonality. Then T = r U
where r E R and U is an isometry.
To explain the proof of this theorem we must first introduce some notation
and observe some facts. If x and y are given elements of a normed linear space
X , then continuity of the norm guarantees that there is at least one a such
that x + a y is orthogonal to y since I Ix + ryl 1 must attain its minimum value for
some scalar a . However, such a is not necessarily unique and the convexity of
the function a + 11x + ayll (and the continuity) implies that the set A(x, y)
of all a such that (x + a y ) Iy is a closed, bounded interval [a, b], in the case
where X is a real Banach space.
Now the set R \ D ( x , y) has Lebesgue measure zero, and we can write
T h e function a
6"x
+
6 dt = "(t + f(t))-ldt for every a
continuous. Hence
x + a y l l = x + b y ~ ~ e x P L "+( t f ( t ) ) - l d t .
T h e proof of (ii) is similar.
We are now ready t o give the proof of Theorem 1.4.6.
PROOF. We assume t h a t T is a nonzero operator on X which preserves
orthogonality. Let x be such t h a t T x # 0 and suppose y is any element of X
so t h a t x and y are linearly independent. Since T preserves orthogonality, it
is clear t h a t A ( x , y) is contained in A ( T x , T y ) . Suppose a E A ( T x , T y ) . If
a E A ( x , Y ) , then by Lemma 1.4.7(iv), there exists f (a) such t h a t x a y I +
+ +
x - f ( a ) y and so T x a T y IT x - f ( a ) T y . If x* E S ( T x a T y ) we have by
Lemma 1.4.7(iii) that x*(Ty) = 0 and x* (Tx - f ( a ) T y ) = 0 so that we must
conclude that
Fibroids.—See Tumors.
Fistula.
Bismuth Oxyiodide.
Capsicum: as weak infusion locally.
Chlorine Water.
Creolin.
Diaphtherin.
Ichthyol.
Potassa.
Sanguinaria: as injection.
Freckles.
Acid, Boric.
Acid, Lactic.
Alkaline Lotions.
Benzoin.
Borax.
Copper Oleate.
Iodine.
Lime-Water.
Mercuric Chloride: locally, with glycerin, alcohol, and rose water.
Three-fourths of grn. to the oz.
Olive Oil.
Potassium Carbonate.
Resorcin.
Furunculus.—See Boils.
Gastric Dilatation.
Acid, Carbolic.
Bismuth Salicylate.
Bismuth Subnitrate.
Calcium Lactophosphate.
Charcoal.
Cod-Liver Oil or Gaduol, if due to rachitis.
Diet.
Enemas Nutrient.
Faridization of Gastric walls.
Gentian and Columba.
Ichthyol.
Iron Iodide.
Lavage.
Naphtol.
Nux Vomica.
Physostigma.
Sodium Phosphate.
Strontium Bromide.
Strychnine.
Gastritis.
Acid, Hydrocyanic: to allay pain.
Acid, Tannic.
Alum: when vomiting of glairy mucus.
Ammonium Chloride: in gastric catarrh.
Arsenic: in drunkards.
Atropine: in chronic cases.
Bismuth: in catarrh.
Caffeine: especially when associated with migraine.
Calumba.
Cinchona.
Eucalyptus: in chronic catarrh.
Hydrastis.
Ice: to suck; and to epigastrium.
Ipecacuanha: in catarrh.
Lead Acetate: along with opium.
Nutrient Enemata.
Nux Vomica.
Opium.
Silver Nitrate: in chronic gastritis.
Silver Oxide.
Veratrum Viride should never be used.
Gastritis, Acute.
Belladonna.
Bismuth Subnitrate.
Calomel.
Demulcents.
Mercury.
Morphine.
Oils.
Opium.
Sodium Paracresotate.
Warm Water, internally, or Stomach Pump: to unload stomach at
onset.
Gastrodynia.—See Gastralgia.
Gastrorrhea.—See Pyrosis.
Gingivitis.
Alum.
Aseptol.
Borax.
Myrrh.
Potassium Chlorate.
Pyoktanin.
Sozoiodole-Potassium.
Glaucoma.
Atropine has caused this disease.
Duboisine like atropine.
Eserine: lowers intraocular tension.
Iridectomy: the only cure.
Quinine.
Glossitis.
Alum.
Bismuth: locally.
Electrolysis: in simple hypertrophy, and cystic.
Iron.
Leeches.
Purgatives.
Quinine.
Granulations, Exuberant.
Acid, Chromic.
Alum, Dried.
Cadmium Oleate.
Copper Sulphate.
Potassium Chlorate.
Silver Nitrate.
Zinc Chloride.
Griping.—See Colic.
Our website is not just a platform for buying books, but a bridge
connecting readers to the timeless values of culture and wisdom. With
an elegant, user-friendly interface and an intelligent search system,
we are committed to providing a quick and convenient shopping
experience. Additionally, our special promotions and home delivery
services ensure that you save time and fully enjoy the joy of reading.
ebookname.com