Topological Open Problems in the Geometry of Banach Spaces ∗
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Weak Topologies
Weak topologies David Lecomte May 23, 2006 1 Preliminaries from general topology In this section, we are given a set X, a collection of topological spaces (Yi)i∈I and a collection of maps (fi)i∈I such that each fi maps X into Yi. We wish to define a topology on X that makes all the fi’s continuous. And we want to do this in the cheapest way, that is: there should be no more open sets in X than required for this purpose. −1 Obviously, all the fi (Oi), where Oi is an open set in Yi should be open in X. Then finite intersections of those should also be open. And then any union of finite intersections should be open. By this process, we have created as few open sets as required. Yet it is not clear that the collection obtained is closed under finite intersections. It actually is, as a consequence of the following lemma: Lemma 1 Let X be a set and let O ⊂ P(X) be a collection of subsets of X, such that • ∅ and X are in O; • O is closed under finite intersections. Then T = { O | O ⊂ O} is a topology on X. OS∈O Proof: By definition, T contains X and ∅ since those were already in O. Furthermore, T is closed under unions, again by definition. So all that’s left is to check that T is closed under finite intersections. Let A1 and A2 be two elements of T . Then there exist O1 and O2, subsets of O, such that A = O and A = O 1 [ 2 [ O∈O1 O∈O2 1 It is then easy to check by double inclusion that A ∩ A = O ∩ O 1 2 [ 1 2 O1∈O1 O2∈O2 Letting O denote the collection {O1 ∩ O2 | O1 ∈ O1 O2 ∈ O2}, which is a subset of O since the latter is closed under finite intersections, we get A ∩ A = O 1 2 [ O∈O This set belongs to T . -
Distinguished Property in Tensor Products and Weak* Dual Spaces
axioms Article Distinguished Property in Tensor Products and Weak* Dual Spaces Salvador López-Alfonso 1 , Manuel López-Pellicer 2,* and Santiago Moll-López 3 1 Department of Architectural Constructions, Universitat Politècnica de València, 46022 Valencia, Spain; [email protected] 2 Emeritus and IUMPA, Universitat Politècnica de València, 46022 Valencia, Spain 3 Department of Applied Mathematics, Universitat Politècnica de València, 46022 Valencia, Spain; [email protected] * Correspondence: [email protected] 0 Abstract: A local convex space E is said to be distinguished if its strong dual Eb has the topology 0 0 0 0 b(E , (Eb) ), i.e., if Eb is barrelled. The distinguished property of the local convex space Cp(X) of real- valued functions on a Tychonoff space X, equipped with the pointwise topology on X, has recently aroused great interest among analysts and Cp-theorists, obtaining very interesting properties and nice characterizations. For instance, it has recently been obtained that a space Cp(X) is distinguished if and only if any function f 2 RX belongs to the pointwise closure of a pointwise bounded set in C(X). The extensively studied distinguished properties in the injective tensor products Cp(X) ⊗# E and in Cp(X, E) contrasts with the few distinguished properties of injective tensor products related to the dual space Lp(X) of Cp(X) endowed with the weak* topology, as well as to the weak* dual of Cp(X, E). To partially fill this gap, some distinguished properties in the injective tensor product space Lp(X) ⊗# E are presented and a characterization of the distinguished property of the weak* dual of Cp(X, E) for wide classes of spaces X and E is provided. -
Let H Be a Hilbert Space. on B(H), There Is a Whole Zoo of Topologies
Let H be a Hilbert space. On B(H), there is a whole zoo of topologies weaker than the norm topology – and all of them are considered when it comes to von Neumann algebras. It is, however, a good idea to concentrate on one of them right from the definition. My choice – and Murphy’s [Mur90, Chapter 4] – is the strong (or strong operator=STOP) topology: Definition. A von Neumann algebra is a ∗–subalgebra A ⊂ B(H) of operators acting nonde- generately(!) on a Hilbert space H that is strongly closed in B(H). (Every norm convergent sequence converges strongly, so A is a C∗–algebra.) This does not mean that one has not to know the other topologies; on the contrary, one has to know them very well, too. But it does mean that proof techniques are focused on the strong topology; if we use a different topology to prove something, then we do this only if there is a specific reason for doing so. One reason why it is not sufficient to worry only about the strong topology, is that the strong topology (unlike the norm topology of a C∗–algebra) is not determined by the algebraic structure alone: There are “good” algebraic isomorphisms between von Neumann algebras that do not respect their strong topologies. A striking feature of the strong topology on B(H) is that B(H) is order complete: Theorem (Vigier). If aλ λ2Λ is an increasing self-adjoint net in B(H) and bounded above (9c 2 B(H): aλ ≤ c8λ), then aλ converges strongly in B(H), obviously to its least upper bound in B(H). -
Chapter 14. Duality for Normed Linear Spaces
14.1. Linear Functionals, Bounded Linear Functionals, and Weak Topologies 1 Chapter 14. Duality for Normed Linear Spaces Note. In Section 8.1, we defined a linear functional on a normed linear space, a bounded linear functional, and the functional norm. In Proposition 8.1 (the proof is Exercise 8.2) it is shown that the collection of bounded linear functionals themselves form a normed linear space called the dual space of X, denoted X∗. In Chapters 14 and 15 we consider the mapping from X × X∗ → R defined by (x, ψ) 7→ ψ(x) to “uncover the analytic, geometric, and topological properties of Banach spaces.” The “departure point for this exploration” is the Hahn-Banach Theorem which is started and proved in Section 14.2 (Royden and Fitzpatrick, page 271). Section 14.1. Linear Functionals, Bounded Linear Functionals, and Weak Topologies Note. In this section we consider the linear space of all real valued linear function- als on linear space X (without requiring X to be named or the functionals to be bounded), denoted X]. We also consider a new topology on a normed linear space called the weak topology (the old topology which was induced by the norm we now may call the strong topology). For the deal X∗ of normed linear space X, the weak topology is called the weak-∗ topology. 14.1. Linear Functionals, Bounded Linear Functionals, and Weak Topologies 2 Note. Recall that if Y and Z are subspaces of a linear space then Y + Z is also a subspace of X (by Exercise 13.2) and that if Y ∩ Z = {0} then Y + Z is denoted T ⊕ Z and is called the direct sum of Y and Z. -
Mazur's Intersection Property and a Krein
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 104, Number 1, September 1988 MAZUR'S INTERSECTION PROPERTY AND A KREIN-MILMAN TYPE THEOREM FOR ALMOST ALL CLOSED, CONVEX AND BOUNDED SUBSETS OF A BANACH SPACE PANDO GRIGOROV GEORGIEV (Communicated by William J. Davis) ABSTRACT. Let 2^ (resp. 2^*) be the set of all closed, convex and bounded (resp. «/-compact and convex) subsets of a Banach space E (resp. of its dual E*) furnished with the Hausdorff metric. It is shown that if there exists an equivalent norm || • || in E with dual || • ||* such that (E, \\ ■ \\) has Mazur's intersection property and (¿?*,|| • ||*) has iu*-Mazur's intersection property, then (1) there exists a dense G s subset % of 2^ such that for every Xe% the strongly exposing functionals form a dense G¡ subset of E* ; (2) there exists a dense G¡ subset 2q* of 2^* such that for every X* 6 2q* the it;"-strongly exposing functionals form a dense G¿ subset of E. In particular every X 6 2^6 is the closed convex hull of its strongly exposed points and every X* 6 2q* is the «/-closed convex hull of its «/-strongly exposed points. Let y be the set of all convex, closed, bounded and nonempty subsets of a real Banach space (E, || • ||) and W* be the set of all convex, «/-compact and nonempty subsets of (E*, || ■ ||*) (the dual space of E). The Hausdorff metric between two subsets of E is defined as follows: h(X, Y) = inf {s >0:XcY+eB,YcX + eB}, where X, Y c E and B is the closed unit ball in E: B = {x G E: \\x\\ < 1}. -
Asplund Sets and Metrizability for the Polynomial Topology
ASPLUND SETS AND METRIZABILITY FOR THE POLYNOMIAL TOPOLOGY PABLO GALINDO AND ALEJANDRO MIRALLES Abstract. The theme of this paper is the study of the separability of subspaces of holomorphic functions respect to the convergence over a given set and its connection with the metrizability of the polynomial topology. A notion closely related to this matter is that of Asplund set. Our discussion includes an affirmative answer to a question of Globevnik about interpolating sequences. We also consider the interplay between polynomials and Asplund sets and derive some consequences of it. Among them we obtain a characterization of Radon-Nikod´ym com- position operators on algebras of bounded analytic functions. 1. Introduction and preliminaries In this article we deal firstly with the natural matter of the separability of some algebras of bounded analytic functions defined on complex Banach spaces E with open unit ball BE which may be seen as the natural extensions of the disc algebra. We will prove that the algebra A∞(BE) := {f : BE → C : f continuous, bounded and analytic on BE} endowed with the sup norm is separable if, and only if, E is finite-dimen- sional. This is achieved by answering affirmatively the question, raised by Globevnik [Gl], of the existence in BE of interpolating sequences for A∞(BE) if E a non-reflexive Banach space. The separability of the subalgebra Au(BE) ⊂ A∞(BE) of analytic and uniformly continuous functions on BE is also discussed and we give a sim- ple characterization of it in terms of the metrizability of its spectrum for the polynomial topology, that is, the topology τ(P (E)) of the convergence against the continuous polynomials on E. -
The Banach-Alaoglu Theorem for Topological Vector Spaces
The Banach-Alaoglu theorem for topological vector spaces Christiaan van den Brink a thesis submitted to the Department of Mathematics at Utrecht University in partial fulfillment of the requirements for the degree of Bachelor in Mathematics Supervisor: Fabian Ziltener date of submission 06-06-2019 Abstract In this thesis we generalize the Banach-Alaoglu theorem to topological vector spaces. the theorem then states that the polar, which lies in the dual space, of a neighbourhood around zero is weak* compact. We give motivation for the non-triviality of this theorem in this more general case. Later on, we show that the polar is sequentially compact if the space is separable. If our space is normed, then we show that the polar of the unit ball is the closed unit ball in the dual space. Finally, we introduce the notion of nets and we use these to prove the main theorem. i ii Acknowledgments A huge thanks goes out to my supervisor Fabian Ziltener for guiding me through the process of writing a bachelor thesis. I would also like to thank my girlfriend, family and my pet who have supported me all the way. iii iv Contents 1 Introduction 1 1.1 Motivation and main result . .1 1.2 Remarks and related works . .2 1.3 Organization of this thesis . .2 2 Introduction to Topological vector spaces 4 2.1 Topological vector spaces . .4 2.1.1 Definition of topological vector space . .4 2.1.2 The topology of a TVS . .6 2.2 Dual spaces . .9 2.2.1 Continuous functionals . -
Weak Topologies Weak-Type Topologies on Vector Spaces. Let X
Weak topologies Weak-type topologies on vector spaces. Let X be a vector space with the algebraic dual X]. Let Y ½ X] be a subspace. We want to de¯ne a topology σ on X in order to make continuous all elements of Y . Fix x0 2 X. If σ is such a topology, then the sets of the form x0 V";g := fx 2 X : jg(x) ¡ g(x0)j < "g = fx 2 X : jg(x ¡ x0)j < "g (" > 0; g 2 Y ) are open neighborhoods of x0. But this family is not a basis of σ-neighborhoods of x0, since the intersection of two of its members does not necessarily contain another member of the family. This is the reason why we instead consider the sets of the form x0 (1) V";g1;:::;gn := fx 2 X : jgi(x ¡ x0)j < "; i = 1; : : : ; ng (" > 0; n 2 N; gi 2 Y ) : x0 x0 It is easy to see that the intersection V \ V 0 of two of such sets ";g1;:::;gn " ;h1;:::;hm x0 00 0 contains V 00 where " = minf"; " g. " ;g1;:::;gn;h1;:::;hm Theorem 0.1. Let X be a vector space, and Y ½ X] a subspace which separates the points of X (that is, a so-called total subspace). 1. There exists a (unique) topology on X such that, for each x0 2 X, the sets (1) form a basis of neighborhoods of x0. This topology, denoted by σ(X; Y ), is called the weak topology determined by Y . 2. σ(X; Y ) is the weakest topology on X that makes continuous all elements of Y . -
On the Weak* Mazur Intersection Property and Frechet Differentiable Norms on Dense Open Sets
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Bull. Sci. math. 1998, 122, p. 93-105 ON THE WEAK* MAZUR INTERSECTION PROPERTY AND FRECHET DIFFERENTIABLE NORMS ON DENSE OPEN SETS BY J. P. MORENO (*) ABSTRACT.- We prove in this paper the following renorming result: every Banach space with a fundamental biorthogonal system admits an equivalent norm with a dense set of locally uniformly rotund points. Then we obtain new sufficient and necessary conditions for the existence of Frechet differentiable norms and norms with the Mazur (weak* Mazur) intersection property. These conditions are expressed in terms of norms with are Frechet differentiable on dense open sets. 0 Elsevier, Paris 1. Introduction It was MAZUR [14] who first considered the study of those Banach spaces which have the euclidean spaceproperty later called the Muzur intersection property: every bounded closed convex set can be represented as an intersection of closed balls. A systematic study of this topic was initiated by PHELPS [ 181 and continued by SULLIVAN [20]. Later, GILES, GREGORY and SIMS gave some characterisations of this property [.5]. They also (*) Manuscript presentedby G. PISIER, received in March 1996. 1991 Mathematics Subject Classification 46 B 20. .I. P. MORENO, Dpto de Analisis matematico, Facultad de Matematicas. Universidad Complutense de Madrid, E-28040 Madrid (Spain). Partially supported by DGICYT PB 93-0452. BULLETIN DES SCIENCES MATHBMATIQUES - 0007.4497/98/02 0 Elsevier, Paris 94 J. P. MORENO considered, for a dual space, the weak* Mazur intersection property: every bounded weak* closed convex set can be represented as an intersection of closed dual balls. -
Duality Results in Banach and Quasi-Banach Spaces Of
DUALITY RESULTS IN BANACH AND QUASI-BANACH SPACES OF HOMOGENEOUS POLYNOMIALS AND APPLICATIONS VIN´ICIUS V. FAVARO´ AND DANIEL PELLEGRINO Abstract. Spaces of homogeneous polynomials on a Banach space are frequently equipped with quasi- norms instead of norms. In this paper we develop a technique to replace the original quasi-norm by a norm in a dual preserving way, in the sense that the dual of the space with the new norm coincides with the dual of the space with the original quasi-norm. Applications to problems on the existence and approximation of solutions of convolution equations and on hypercyclic convolution operators on spaces of entire functions are provided. Contents 1. Introduction 1 2. Main results 2 3. Prerequisites for the applications 9 3.1. Hypercyclicity results 11 3.2. Existence and approximation results 12 4. Applications 12 4.1. Lorentz nuclear and summing polynomials: the basics 12 4.2. New hypercyclic, existence and approximation results 14 References 22 Mathematics Subject Classifications (2010): 46A20, 46G20, 46A16, 46G25, 47A16. Key words: Banach and quasi-Banach spaces, homogeneous polynomials, entire functions, convolution operators, Lorentz sequence spaces. 1. Introduction arXiv:1503.01079v2 [math.FA] 28 Jul 2016 In the 1960s, many researchers began the study of spaces of holomorphic functions defined on infinite dimensional complex Banach spaces. In this context spaces of n-homogeneous polynomials play a central role in the development of the theory. Several tools, such as topological tensor products and duality theory, are useful and important when we are working with spaces of homogeneous polynomials. Many duality results on spaces of homogeneous polynomials and their applications have appeared in the last decades (see for instance [5, 8, 9, 10, 11, 12, 15, 20, 22, 26, 28, 29, 33, 34, 41, 46] among others). -
Arxiv:Math/0405137V1 [Math.RT] 7 May 2004 Oino Disbecniuu Ersnain Fsc Group)
Draft: May 4, 2004 LOCALLY ANALYTIC VECTORS IN REPRESENTATIONS OF LOCALLY p-ADIC ANALYTIC GROUPS Matthew Emerton Northwestern University Contents 0. Terminology, notation and conventions 7 1. Non-archimedean functional analysis 10 2. Non-archimedean function theory 27 3. Continuous, analytic, and locally analytic vectors 43 4. Smooth, locally finite, and locally algebraic vectors 71 5. Rings of distributions 81 6. Admissible locally analytic representations 100 7. Representationsofcertainproductgroups 124 References 135 Recent years have seen the emergence of a new branch of representation theory: the theory of representations of locally p-adic analytic groups on locally convex p-adic topological vector spaces (or “locally analytic representation theory”, for short). Examples of such representations are provided by finite dimensional alge- braic representations of p-adic reductive groups, and also by smooth representations of such groups (on p-adic vector spaces). One might call these the “classical” ex- amples of such representations. One of the main interests of the theory (from the point of view of number theory) is that it provides a setting in which one can study p-adic completions of the classical representations [6], or construct “p-adic interpolations” of them (for example, by defining locally analytic analogues of the principal series, as in [20], or by constructing representations via the cohomology of arithmetic quotients of symmetric spaces, as in [9]). Locally analytic representation theory also plays an important role in the analysis of p-adic symmetric spaces; indeed, this analysis provided the original motivation for its development. The first “non-classical” examples in the theory were found by Morita, in his analysis of the p-adic upper half-plane (the p-adic symmetric arXiv:math/0405137v1 [math.RT] 7 May 2004 space attached to GL2(Qp)) [15], and further examples were found by Schneider and Teitelbaum in their analytic investigations of the p-adic symmetric spaces of GLn(Qp) (for arbitrary n) [19]. -
Orlicz - Pettis Theorems for Multiplier Convergent Operator Valued Series
Proyecciones Vol. 23, No 1, pp. 61-72, May 2004. Universidad Cat´olica del Norte Antofagasta - Chile ORLICZ - PETTIS THEOREMS FOR MULTIPLIER CONVERGENT OPERATOR VALUED SERIES CHARLES SWARTZ New Mexico State University, USA Received November 2003. Accepted March 2004. Abstract Let X, Y be locally convex spaces and L(X, Y ) the space of con- tinuous linear operators from X into Y . We consider 2 types of mul- tiplier convergent theorems for a series Tk in L(X, Y ).First,ifλ isascalarsequencespace,wesaythattheseries Tk is λ multiplier convergent for a locally convex topologyPτ on L(X, Y ) if the series P tkTk is τ convergent for every t = tk λ. We establish condi- tions on λ which guarantee that a λ multiplier{ } ∈ convergent series in theP weak or strong operator topology is λ multiplier convergent in the topology of uniform convergence on the bounded subsets of X.Sec- ond, we consider vector valued multipliers. If E is a sequence space of X valued sequences, the series Tk is E multiplier convergent in a locally convex topology η on Y if the series Tkxk is η convergent P for every x = xk E. We consider a gliding hump property on E { } ∈ P whichguaranteesthataseries Tk which is E multiplier convergent for the weak topology of Y is E multiplier convergent for the strong topology of Y . P 62 Charles Swartz 1. INTRODUCTION . The original Orlicz-Pettis Theorem which asserts that a series xk in anormedspace X which is subseries convergent in the weak topology of P X is actually subseries convergent in the norm topology of X can be inter- preted as a theorem about multiplier convergent series.