Generalized Universal Theorem of Isometric Embedding

Slides:



Advertisements
Similar presentations
Vector Spaces A set V is called a vector space over a set K denoted V(K) if is an Abelian group, is a field, and For every element vV and K there exists.
Advertisements

Completeness and Expressiveness
Basic properties of the integers
Chaper 3 Weak Topologies. Reflexive Space.Separabe Space. Uniform Convex Spaces.
Groups TS.Nguyễn Viết Đông.
Title: Functions, Limits and Continuity Prof. Dr. Nasima Akhter And Md. Masum Murshed Lecturer Department of Mathematics, R.U. 29 July, 2011, Friday Time:
Mathematics. Session Functions, Limits and Continuity-1.
Mathematics. Session Set, Relation & Function Session - 3.
1 Reproducing Kernel Exponential Manifold: Estimation and Geometry Kenji Fukumizu Institute of Statistical Mathematics, ROIS Graduate University of Advanced.
استاد : دکتر گلبابایی In detail this means three conditions:  1. f has to be defined at c.  2. the limit on the left hand side of that equation has.
Chapter 3 L p -space. Preliminaries on measure and integration.
MA4266 Topology Wayne Lawton Department of Mathematics S ,
1 Annoucement n Skills you need: (1) (In Thinking) You think and move by Logic Definitions Mathematical properties (Basic algebra etc.) (2) (In Exploration)
MA5296 Lecture 1 Completion and Uniform Continuity Wayne M. Lawton Department of Mathematics National University of Singapore 2 Science Drive 2 Singapore.
MA5241 Lecture 1 TO BE COMPLETED
I.3 Introduction to the theory of convex conjugated function.
Universidad Nacional de ColombiaUniversidad Nacional de Colombia Facultad de IngenieríaFacultad de Ingeniería Departamento de Sistemas- 2002Departamento.
March 24, 2006 Fixed Point Theory in Fréchet Space D. P. Dwiggins Systems Support Office of Admissions Department of Mathematical Sciences Analysis Seminar.
Chapter 4 Hilbert Space. 4.1 Inner product space.
Positively Expansive Maps and Resolution of Singularities Wayne Lawton Department of Mathematics National University of Singapore
Lemma II.1 (Baire) Let X be a complete metric space and a seq. of closed sets. Assume that for each n. Then.
1 ۞ An eigenvalue λ and an eigenfunction f(x) of an operator Ĥ in a space S satisfy Week 6 2. Properties of self-adjoint operators where f(x) is implied.
ON SMALL COMBINATION OF SLICES IN BANACH SPACES Sudeshna Basu 1.
Chapter Three SEQUENCES
Linear Programming Back to Cone  Motivation: From the proof of Affine Minkowski, we can see that if we know generators of a polyhedral cone, they.
Department of Statistics University of Rajshahi, Bangladesh
Let X be a metric space. A subset M of X is said to be  Rare(Nowhere Dense) in X if its closure M has no interior points,  Meager(of First Category)
Summary of the Last Lecture This is our second lecture. In our first lecture, we discussed The vector spaces briefly and proved some basic inequalities.
MA4266 Topology Wayne Lawton Department of Mathematics S ,
INTERPOLATORY SOLUTIONS OF LINEAR ODE’S AND EXTENSIONS Wayne M. Lawton Dept. of Mathematics, National University of Singapore 2 Science Drive 2, Singapore.
Prepared By Meri Dedania (AITS) Discrete Mathematics by Meri Dedania Assistant Professor MCA department Atmiya Institute of Technology & Science Yogidham.
Function Hubert Chan (Chapter 2.1, 2.2) [O1 Abstract Concepts]
Chapter 6 Differentiation.
Chapter 2 Sets and Functions.
Chapter 3 The Real Numbers.
Functions of Complex Variable and Integral Transforms
37TH ANNUAL AMATYC CONFERENCE A Modern Existence Proof Through Graphs
Chapter 5 Limits and Continuity.
Unit-III Algebraic Structures
Theorem of Banach stainhaus and of Closed Graph
Department of Mathematics
Chapter 3 The Real Numbers.
Rotation Invariant Minkowski Classes Vienna University of Technology
Chapter 2 Sets and Functions.
Chapter 3 The Real Numbers.
Set Topology MTH 251 Lecture # 8.
Function Hubert Chan (Chapter 2.1, 2.2) [O1 Abstract Concepts]
Chapter 3 The Real Numbers.
On a Result of Datta and Jha
B.Sc. III Year Mr. Shrimangale G.W.
Chapter 3 The Real Numbers.
Lecture 7 Functions.
GROUPS & THEIR REPRESENTATIONS: a card shuffling approach
§1-3 Solution of a Dynamical Equation
Preliminary.
B.Sc. III Year Mr. Shrimangale G.W.
Proposed in Turing’s 1936 paper
Stability Analysis of Linear Systems
Chapter 3 The Real Numbers.
Affine Spaces Def: Suppose
I.4 Polyhedral Theory (NW)
Chapter 5 Limits and Continuity.
I.4 Polyhedral Theory.
VI.3 Spectrum of compact operators
Lecture # 18 Types of Functions
PRESENTED BY Dr.U.KARUPPIAH DEPARTMENT OF MATHEMATICS
Preliminaries on normed vector space
Calculus In Infinite dimensional spaces
Presentation transcript:

Generalized Universal Theorem of Isometric Embedding Applied Mathematical Sciences, Vol. 3, 2009, no. 60, 2967 - 2971 Generalized Universal Theorem of Isometric Embedding Ma Yumei Dalian Nationalities University Department of Mathematics Dalian Liaoning, 116600, China mayumei@dlnu.edu.cn Abstract Universal theorem is an important theorem, in this paper, Figiel’s lemma that concerns the isometric embedding from a Banach space X into the continuous space C(L) are extended. That is a form of extension of universal theorem. Mathematics Subject Classification: 39B; 46A21 Keywords: Mazur-Ulam theorem, Figiel’s lemma, Universal theorem 1 Introduction In 1932, Mazur-Ulam [1] established the following problem: if X, Y are normed linear spaces and f : X -* Y is an surjective isometric mapping, then f is an affine mapping. The ”surjection” is a necessary condition. As a matter of fact, there is an example[2] which shows that the above result may not be true without this condition. When is this affinity result true without the ”surjection” ? Many authors today investigate the cases not restricted to this surjection condition. In 1968, T.Figiel[3,4] extended Mazur-Ulam’s theorem and proved the fol-lowing theorem. Theorem 1.1. Suppose that X, Y are both real Banach spaces.If F : X -* Y is an isometry mapping and F(0) = 0, then there exists a continuous linear mapping f : spanF(X) -* X, which satisfies f o F = iX, and that f is unique and ||f||spanF(x)|| = 1. In part 2 we introduce Figiel’s lemma and establish an extension of it, and we finish the proof in part 3.

2 Extension of Universal Theorem 2968 Ma Yumei 2 Extension of Universal Theorem Universal theorem[4] is very important in Banach space: Any separable Banach space X can be isometrically embedded to C[0, 1]. Any Banach space X can be isometrically embedded to C(K). (Here K is the unit ball of X*, which is w*− compact set.) The following two properties come from Figiel[4]. Property 2.1[4] Suppose that X, Y are two real Banach spaces a is one of smooth points of the spheres {x ∈ X,||x|| = ||a||}, and F : X → Y is an isometry mapping, such that F(0) = 0, and besides there exists f ∈ Y *, ||f|| = 1, such that for any r ∈ R, f(F(ra)) = r||a||, then f ◦ F = fa, where fa is a support function at a. Property 2.2.[4] Suppose that Y is a real normed linear space, R is a real space, and F : R → Y is an isometric embedding. Then there exists f ∈ Y *,||f|| = 1 such that f ◦ F = idR. Here, idR is an identity operator on R. Now,we extended Property 2.2, as follows: Theorem 2.3. Suppose that X, Y are two real Banach spaces, F : X → Y is an isometry mapping and F(0) = 0. Then, i) There exists f ∈ Y *,||f|| = 1, such that f ◦ F ∈ S(X*). ii)f ◦ F = idR as X = R. iii) There exists a compact LYX(w*-topology), such that U : X ~→ C(LYX), U(x) = F(x)|LX is an linear isometric mapping. This iii) can be said to generalized of Universal theorem. Remark 2.4[4]. If X = Y , then ii) in universal theorem is obvious by Theorem 2.3. 3 Proof of Theorem The proof Theorem 2.3. need Mazur’s Theorem[5]: ” Suppose that A is a solid closed convex set of a separable Banach space. Then the smooth points set sm(A) of A, is the residual set of a bounded ∂(A), and sm(A) is dense in ∂(A).” Thanks to R.Villa [5] we give Proof of Theorem 2.3. Proof: Section 1: Suppose X is a separable space. Let a ∈ X be the smooth point of {x ∈ X,||x|| = ||a||}, and fa be the support function at a, i.e. ||fa|| = 1, fa(a) = ||a||. Then for ∀n ∈ N, by Hahn-Banach Theorem, there exists

(n − r)||a|| = |gn(F(na) − F(ra))|. (1) Generalized universal theorem of isometric embedding 2969 gn E Y *,||gn|| = 1, so that gn(F (na) − F(−na)) = ||F (na) − F (−(na))|| = 2n||a||, and for Vr,|r| < n, we obtain 2n||a|| < |gn(F(na) − F(ra))| + |gn(F (ra) − F(−na))| < ||F (na) − F(ra)|| + ||F(ra) − F(−na)|| = |n − r|·||a|| + |n + r|· ||a|| = 2n||a||. This implies that (n − r)||a|| = |gn(F(na) − F(ra))|. (1) If r = 0, then |gn(F(na))| = n||a||. Let us take En E {−1, 1} such that Engn(F(na)) = n||a||. (2) Moreover, for any |r| < n, we claim that Engn(F(ra)) = r||a||.1 (3) Indeed, En(gn(F(na)) − gn(F(ra))) = n||a|| − EngnF(ra) > n||a|| − |gnF(ra)| > (n − |r|)||a|| > 0. From( (1), Engn(F(na)) − gn(F(ra))) = |(gn(F(na)) − gn(F(ra)))| = (n − r)||a||, and from (2) we show that (3)is true. Because B(Y *) is w*-compact, there is ga E B(Y *) which is a cluster point of {gn} such that ga(F(ra)) = r||a|| (Vr E R). (4) By Property 2.1, we can show that gao F = fa, and we denote that f = ga. Thus complete the proof of i) under the condition of X is separable. For ii), we can let 11a11 = 1, then by (4) g1 o F(r) = r, this also extend Property 2.2. Next, we will prove that iii). Let LYX = {g E B(Y *), goF E B(X*)} (5) 'In Lemma 9.4.4 of [4]-p404, we can find similarity result of the space of reals R, In [4]-p407 give a general result but no proof of it.

∩{LYXγ : Xγ ⊂ X, Xγ is separable} =∅ 2970 Ma Yumei then LYX is a w*-compact. Let U : X → C(LYX), U(x) = F(x)|LYX (x ∈ X). (6) Obviously, ||U(x)|| ≤ ||F(x)|| = ||x|| and U is a continuous linear mapping on X. In fact, for any x, y ∈ X, α, β ∈ R, g ∈ LYX, U(αx + βy)(g) = F(αx + βy)(g) = g ◦ F(αx + βy) = αg ◦ F(x) + βg ◦ F(y) = αU(x)(g) + βU(y)(g). Since X is separable, then there exists ga ∈ S(Y *) such that |ga(F(a))| = ~a~ for any smooth point a ∈ X. Hence 11U(a)11 = ~a~ and again Mazur’s theorem implies that the smooth points set of X is dense. Thus ||U(x)|| = ||x||. (7) Thus complete the proof of iii) under the condition of X is separable. Section 2: If X is not separable, let Ξ ={Xγ : Xγ(⊂ X) is separable}. Again Uγ : Xγ → C(LY Xγ), Uγ(x) = F(x)|LYXγ (x ∈ Xγ). If X', X'' ⊂ X are two separable subspaces, then X' + X'' is also separable, and ⊂ LX, ∩ LX,,. LX,+X,, Then the w*−closed set family {LYXγ : Xγ ⊂ X, Xγ is separable } have finite intersection property. Because that B(Y *) is w*− compact, LYX = {g∈ B(Y *), g ◦ F∈B(X*)}, so ∩{LYXγ : Xγ ⊂ X, Xγ is separable} =∅ and LYX = ∩{LYXγ : Xγ ⊂ X, Xγ is separable}. In fact, if g ∈ LYX, then g ◦ F∈X*, so g ◦ F ∈ X*γ for any subsets Xγ ⊂ X. Conversely, if g ∈ LYXγ for any γ, then g◦F is a continuous linear functional on any Xγ, thus for any x1, x2 ∈ X, we set X1 = span{x1, x2}. We easily prove that g◦F is a linear functional on X1, furthermore, g◦F∈X*. Next, we claim that ||F(x)|LYX|| = ||x||, ∀x ∈ X. In fact, let x ∈ X, and set Ξ' = {Xγ : x ∈ Xγ, Xγ is separable}.

Generalized universal theorem of isometric embedding 2971 Then Ξ' is a direction set which is non-empty, by (6) and (7) above Section 1 ||UX.,(x)|| = ||x||. For any Xγ E Ξ' there exists gγ E LYX., such that |gγ o F(x)| = ||x||. so {gγ : Xγ E Ξ'} is a net in B(Y *). Then there is a w*− closed point g0 E B(Y *). Hence for any V which is a w*− neighborhood of g0, there exists Xβ E Ξ, such that Xβ D Xγ and gβ E V. Now, we will prove that g0 E LYX. In fact, for any Xγ E Ξ, g0 E LYX.,. Otherwise , assume that X0 E Ξ, but g0 E/ LX-. Because LX- is w*−closed set, then we xo xo can find a w*−neighborhood V0 of g0 such that V0 n LY X0 = O. Since g0 is a w*−closed point of {gγ : Xγ E Ξ'}, then there exists Xγ E Ξ' such that Xγ D X0 and gγ E V0, therefore gγ E LYX., C LYX0, which implies that g0 E LYX0, leading to a contradiction. According to (6), (7), and |g0 o F(x)| = ||x||, then ||F(x)|LYX|| = ||x||, U is an isometry and ||g0 o F || = 1. Completing the proof. Acknowlegements. Thanks Professor Ding Guanggui for his many useful suggestions. References S. Mazur. and S. Ulam, Sur les transformations isom`etriques d’espaces vectorielsnorm`e, Comp. Rend. Paris, 194 (1932), 946–948. S.Banach, Th`eorie des op`e rations lin e` airea, Chelsea, New York,1933. T.Figiel, On nonlinear isometric embeddings of normed linear spaces, Bull.Acad.Polon.Sci.Ser.Math.Astronom.phys., 316 (1968), 185–188. S. Rolewicz, Metric Linear Spaces, Reidel and Pwn,Warszawa,1971. R.Villa, Isometric embedding into spaces of continuous functions, Studia Mathematica, 129(1998), 197–205. Received: April, 2009