Universidad Complutense De Madrid Facultad De Ciencias Matemáticas

Total Page:16

File Type:pdf, Size:1020Kb

Universidad Complutense De Madrid Facultad De Ciencias Matemáticas View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by EPrints Complutense UNIVERSIDAD COMPLUTENSE DE MADRID FACULTAD DE CIENCIAS MATEMÁTICAS TESIS DOCTORAL Duality on abelian topological groups: the Mackey problema Dualidad en grupos abelianos topológicos : el problema Mackey MEMORIA PARA OPTAR AL GRADO DE DOCTOR PRESENTADA POR Daniel de la Barrera Mayoral Directoras Lydia Außenhofer Elena Martín-Peinador Madrid, 2016 © Daniel de la Barrera Mayoral, 2015 UNIVERSIDAD COMPLUTENSE DE MADRID Facultad de Ciencias Matematicas´ Duality on abelian topological groups: The Mackey Problem. (Dualidad en grupos abelianos topologicos:´ El Problema Mackey.) Daniel de la Barrera Mayoral. Memoria presentada para optar al grado de Doctor con mencion´ de Doctor Europeus en Matematicas,´ elaborada bajo la direccion´ de: Prof. Lydia Außenhofer Prof. Elena Mart´ın-Peinador Agradecimientos. En primer lugar, por supuesto, a mi familia, para los cuales´ es un honor que haya llegado a doctorarme. Tambien,´ tengo que agradecer a Elena y a Lydia, por estos seis anos˜ de mi vida que nunca podre´ olvidar. Por todas las conferencias en las que Elena ha estado dando su apoyo moral entre el publico.´ A Lydia, por esa semana que pasamos en Eichstatt¨ y dieron lugar a nuestro primer art´ıculo conjunto. Tambien´ debo agradecer a los miembros del departamento por ese companerismo˜ del que hacen gala y por la posibilidad de iniciarme en ese arte que se llama do- cencia universitaria. Por supuesto, debo agradecer al Ministerio de Educacion´ por las becas conce- didas en mis anos˜ de Licenciatura y posteriormente por los Proyectos MTM2013- 42486-P and MTM2009-14409-C02-01, que me han permitido participar en var- ios congresos y viajar a Udine. A Vaja le agradezco las largas y gratas conversaciones matematicas´ en sus visitas a la Universidad Complutense. A Ma Jesus,´ Xabier y Salvador les debo tambien´ un gran apoyo en mis diversos viajes por la geograf´ıa espanola.˜ A Dikran, Anna, Guisepina y Hans, por haberme acogido en el Departamento de Informatica´ y Matematica´ de la Universidad de Udine durante mi estancia en Italia. Especialmente a Dikran, por los viajes en tierras italianas que hicimos jun- tos y las matematicas´ que aprend´ı all´ı. Tampoco debo olvidar a Marco, Joaqu´ın, Mar´ıa y Merche, quienes fueron los primeros en conocerme dentro de la facultad con las Olimpiadas Matematicas´ y Concursos de Primavera. Al P. Emilio, debo reconocerle el merito´ de ser el primero en darse cuenta que podr´ıa llegar lejos en matematicas´ cuando aun´ andaba por Secundaria. A Santi, Miguel y David por compartir aquellos´ maravillosos anos˜ de licen- ciatura. A Santi, Jesus´ y Sergio, les agradezco que, sin ser doctores, se hayan II le´ıdo mi tesis. A mis amigos, tengo que agradecerles que me aguanten completa- mente y sin dudarlo: Mar´ıa, Miguel, Vero, Alvaro,´ Estrella, Antonio, Alberto, va por vosotros. Paco y Angel,´ esos hombres de negro que siempre estan´ dispuestos a echar una mano. Contents Introduction V Introducción XIX 1 Definitions, notation and basic results. 1 1.1 Topological groups. 1 1.2 Precompact topologies. 11 1.3 Topologies of uniform convergence. 12 1.4 T-sequences and complete topologies. 14 2 D-sequences. 17 2.1 Main definitions. 17 2.2 Numerical results concerning D-sequences. 20 2.3 The groups Z(b1). 28 2.4 The group Zb of b-adic integers. 29 3 The Mackey problem. 33 3.1 Historical background. 33 3.2 Compatible group topologies. 36 3.3 Mackey topology and open subgroups. 38 3.4 Alternative statements for the Mackey Problem. 40 3.5 G-Mackey problem. 40 4 The group of integers 43 4.1 Different topologies on the integers. 43 4.2 Precompact topologies, p-adic topologies and b-adic topologies. 44 IV CONTENTS 4.3 Topologies of uniform convergence on Z. 52 4.3.1 Topologies of uniform convergence on Z induced by a D- sequence. 53 ` 4.3.2 Duality if b 2 D1. ..................... 60 ` 4.3.3 Duality if b < D1. ..................... 70 4.3.4 Supremum of topologies of uniform convergence on D- sequences. 74 4.4 The topology δb. .......................... 76 4.4.1 δb if b has bounded ratios. 79 ` 4.4.2 δb if b 2 D1 for some `................... 83 4.5 Complete topologies on Z. ..................... 85 4.6 Open questions and problems. 86 5 The unit circle and its subgroups. 89 5.1 Two different topologies on Z(b1) . 89 5.1.1 The usual topology on Z(b1). 89 5.1.2 Topologies of uniform convergence on Z(b1). 91 5.1.3 Comparing ηb and τU . ................... 96 1 5.2 Computing the dual group of (Z(b ); ηb). 97 6 The Varopoulos Paradigm. 103 6.1 Introduction. 103 6.2 Proofs on bounded groups: (i) ) (ii) in Theorem 6.1.3. 104 6.3 Proofs on unbounded groups: (ii) ) (i) in Theorem 6.1.3. 111 6.4 Some corollaries of Theorem 6.2.1. 117 Index 121 Bibliography 124 Introduction. The idea of a general theory of continuous groups is due to S. Lie, who devel- oped his theory in the decade 1874-1884. Lie’s work is the origin of both modern theory of Lie groups and the general theory of topological groups. However, the topological considerations that are nowadays essential in both theories, are not part of his work. A topological point of view in the theory of continuous groups was first in- troduced by Hilbert. Precisely, in his famous list of 23 problems, presented in the International Congress of Mathematicians of 1900, held in Paris, the Fifth Problem boosted investigations on topological groups. In 1932, Stefan Banach, defined in Theorie` des Operations` Lineaires,` the spaces that would be named after him as special cases of topological groups. Since then, both theories (Banach spaces and topological groups) had been developed in a different, but somehow parallel, way. Several theorems for Banach, or even for locally convex spaces have been reformulated for abelian topological groups [BCMPT01], [BMPT04], [CHT96], [HGM99], [MPT04]. The main obstacle for this task is the lack of the notion of convexity for topological groups due to the lack of an outer operation. However, Vilenkin gave the definition of quasi-convex subset for a topological abelian group inspired in the Hahn-Banach Theorem. In order to deal with it, many convenient tools had to be developed and this opened the possibility of a fruitful treatment of topological groups. The notion of quasi-convexity depends on the topology, in contrast with convexity, which is a purely algebraic notion. With quasi-convex subsets at hand, it was quite natural to define locally quasi- convex groups, which was also done by Vilenkin in [Vil51]. In the sequel, we will only deal with abelian groups, even if we do not explic- itly mention it. VI INTRODUCTION. Duality theory for locally convex spaces was mainly developed in the mid of twentieth century, and by now it is a well-known rich theory. There is a very natural way to extend it to locally quasi-convex abelian groups. Fix first the dualizing object as the unit circle of the complex plane T. The con- tinuous homomorphisms from a topological group into T play the role of the con- tinuous linear forms and they are called continuous characters. The set of continuous characters defined on a group G has a natural group structure provided by the group structure of T. Thus, we can speak of the group of continuous characters of G, which is called the dual group of G and it is the analogous notion to the dual space in the topological vector space setting. The natural topology in the dual group is the compact open topology, because of the Pontryagin Duality Theorem which holds for locally compact groups, the most distinguished class of topological groups. The research we have done in this memory deals with the following problem, which we have denominated the Mackey Problem: The Mackey Problem: Let (G; τ) be an abelian topological group and let G^ be its dual group. Consider the set of all locally quasi-convex group topologies in G whose dual group coincides with G^. They will be called compatible topolo- gies. It is known that there is a minimum for this set, which is the weak topology induced by G^. Does there exist a maximum element in this set? Current state of the problem: For an abelian topological group G, it is known that there is always at least one locally quasi-convex compatible topology, namely the weak topology, which is always precompact. In general, it is not known if the set of compatible locally quasi-convex group topologies has a maximum element; whenever it exists, it will be called the Mackey topology for (G; τ). The problem of finding the largest compatible locally quasi-convex topology for a given topological group G, with this degree of generality (i.e. in the framework of locally quasi-convex groups) was first stated in 1999 in [CMPT99]. Previously in 1964 Varopoulos [Var64] had studied the question for the class of locally precompact group topologies. Partial answers are the following: if G is locally quasi-convex complete and metrizable then there exists the Mackey topology [CMPT99] and it coincides with INTRODUCTION. VII the original one. If G is locally quasi-convex metrizable (but not complete) the original topology may not coincide with the Mackey topology [DMPT14]. If G is a locally compact abelian group, its original topology is locally quasi- convex and it coincides with the Mackey topology. It is proved in [ADMP15] that the set of all locally quasi-convex compatible group topologies has cardinal greater or equal than 3.
Recommended publications
  • Locally Convex Spaces and Schur Type Properties
    Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 44, 2019, 363–378 LOCALLY CONVEX SPACES AND SCHUR TYPE PROPERTIES Saak Gabriyelyan Ben-Gurion University of the Negev, Department of Mathematics Beer-Sheva, P.O. 653, Israel; [email protected] Abstract. In the main result of the paper we extend Rosenthal’s characterization of Banach spaces with the Schur property by showing that for a quasi-complete locally convex space E whose separable bounded sets are metrizable the following conditions are equivalent: (1) E has the Schur property, (2) E and Ew have the same sequentially compact sets, where Ew is the space E with the weak topology, (3) E and Ew have the same compact sets, (4) E and Ew have the same countably compact sets, (5) E and Ew have the same pseudocompact sets, (6) E and Ew have the same functionally bounded sets, (7) every bounded non-precompact sequence in E has a subsequence which is equivalent to the unit basis of ℓ1 and (8) every bounded non-precompact sequence in E has a subsequence which is discrete and C-embedded in Ew. 1. Introduction A locally convex space (lcs for short) E is said to have the Schur property if E and Ew have the same convergent sequences, where Ew is the space E endowed with the ′ weak topology σ(E, E ). By the classical Schur theorem the Banach space ℓ1(Γ) has the Schur property for every set Γ. The results of Rosenthal in [38] (see also §2 of [8]) show that a Banach space E has the Schur property if and only if every δ-separated sequence in the closed unit ball of E has a subsequence equivalent to the unit basis of ℓ1.
    [Show full text]
  • Mackey Continuity of Characteristic Functionals
    Georgian Mathematical Journal Volume 9 (2002), Number 1, 83–112 MACKEY CONTINUITY OF CHARACTERISTIC FUNCTIONALS S. KWAPIEN´ AND V. TARIELADZE Dedicated to N. Vakhania on the occassion of his 70th birthday Abstract. Problems of the Mackey-continuity of characteristic functionals and the localization of linear kernels of Radon probability measures in locally convex spaces are investigated. First the class of spaces is described, for which the continuity takes place. Then it is shown that in a non-complete sigma- compact inner product space, as well as in a non-complete sigma-compact metizable nuclear space, there may exist a Radon probability measure having a non-continuous characteristic functional in the Mackey topology and a linear kernel not contained in the initial space. Similar problems for moment forms and higher order kernels are also touched upon. Finally, a new proof of the result due to Chr. Borell is given, which asserts that any Gaussian Radon measure on an arbitrary Hausdorff locally convex space has the Mackey- continuous characteristic functional. 2000 Mathematics Subject Classification: Primary: 60B11. Secondary: 28C20, 60B15. Key words and phrases: Radon probability measure, characteristic func- tional, kernel of a measure, weak topology, Mackey topology, presupport, Gaussian measure, covariance operator. 1. Introduction Recall that for a Hausdorff locally convex space X the Mackey topology ¿(X¤;X) is the topology in its topological dual X¤ of uniform convergence on all weakly compact absolutely convex subsets of X. The aim of this paper is to answer the following three equivalent questions: Question 1. Is the characteristic functional¹ ˆ of a Radon probability mea- sure ¹ in a Hausdorff locally convex space X continuous in the Mackey topology ¿(X¤;X)? Question 2.
    [Show full text]
  • Mackey +0-Barrelled Spaces Stephen A
    Advances in Mathematics 145, 230238 (1999) Article ID aima.1998.1815, available online at http:ÂÂwww.idealibrary.com on Mackey +0-Barrelled Spaces Stephen A. Saxon* Department of Mathematics, University of Florida, P.O. Box 118105, Gainesville, Florida 32611-8105 E-mail: saxonÄmath.ufl.edu and Ian Tweddle* Department of Mathematics, University of Strathclyde, Glasgow G11XH, Scotland, United Kingdom E-mail: i.tweddleÄstrath.ac.uk CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - PublisherReceived Connector March 25, 1998; accepted December 14, 1998 In the context of ``Reinventing weak barrelledness,'' the best possible versions of the RobertsonSaxonRobertson Splitting Theorem and the SaxonTweddle Fit and Flat Components Theorem are obtained by weakening the hypothesis from ``barrelled'' to ``Mackey and +0-barreled.'' An example showing that the latter does not imply the former validates novelty, answers an old question, and completes a robust linear picture of ``Mackey weak barrelledness'' begun several decades ago. 1999 Academic Press Key Words: weak barrelledness; Mackey topology; splitting theorem. 1. INTRODUCTION Barrelled spaces have occupied an important place in the theory of locally convex spaces since its earliest days. This is probably due to the fact that they provide a vehicle for generalizing certain important properties of Banach spaces; for example, they form the class of domain spaces for a natural generalization of Banach's closed graph theorem and, in their dual characterization, they embody the conclusion of the BanachSteinhaus theorem for continuous linear functionals. Unlike Banach spaces, they are closed under the taking of inductive limits, countable-codimensional subspaces, products, etc. A barrel in a locally convex space is a closed * We are grateful for support and hospitality from EPSRC GRÂL67257 and Strathclyde University, and for helpful discussions with Professors J.
    [Show full text]
  • A Generalisation of Mackey's Theorem and the Uniform Boundedness Principle
    BULL. AUSTRAL. MATH. SOC. 46AO5 VOL. 40 (1989) [123-128] t A GENERALISATION OF MACKEY'S THEOREM AND THE UNIFORM BOUNDEDNESS PRINCIPLE CHARLES SWARTZ We construct a locally convex topology which is stronger than the Mackey topology but still has the same bounded sets as the Mackey topology. We use this topology to give a locally convex version of the Uniform Boundedness Principle which is valid without any completeness or barrelledness assumptions. A well known theorem of Mackey ([2, 20.11.7]) states that a subset of a locally convex topological vector space is bounded if and only if it is weakly bounded. In particular, this means that if two vector spaces X and X' are in duality, then the weak topology and the Mackey topology of X have the same bounded sets. In this note we construct a locally convex topology on X which is always stronger than the Mackey topology but which still has the same bounded sets as the Mackey (or the weak) topology. We give an example which shows that this topology which always has the same bounded sets as the Mackey topology can be strictly stronger than the Mackey topology and, therefore, can fail to be compatible with the duality between X and X'. As an application of this result, we give several versions of the Uniform Boundedness Principle for locally convex spaces which involve no completeness or barrelledness assumptions. For the remainder of this note, let X and X' be two vector spaces in duality with respect to the bilinear pairing <, > . The weak (Mackey, strong) topology on X will be denoted by cr(X, X')(T(X, X'), {3(X, X')).
    [Show full text]
  • Noncomplete Mackey Topologies on Banach Spaces
    Bull. Aust. Math. Soc. 81 (2010), 409–413 doi:10.1017/S0004972709001154 NONCOMPLETE MACKEY TOPOLOGIES ON BANACH SPACES JOSÉ BONET ˛ and BERNARDO CASCALES (Received 28 March 2009) Abstract Answering a question of W. Arendt and M. Kunze in the negative, we construct a Banach space X and a norm closed weak* dense subspace Y of the dual X 0 of X such that X, endowed with the Mackey topology µ.X; Y / of the dual pair hX; Y i, is not complete. 2000 Mathematics subject classification: primary 46B10; secondary 46B50, 46A03. Keywords and phrases: Banach spaces, Mackey topologies, norming subspaces, Krein–Smulyan theorem. The following problem appeared in a natural way in connection with the study of Pettis integrability with respect to norming subspaces developed by Kunze in his PhD thesis T5U. This question was put to the authors by Kunze himself and his thesis advisor W. Arendt. PROBLEM. Suppose that .X; k·k/ is a Banach space and Y is a subspace of its topological dual X 0 which is norm closed and weak* dense. Is there a complete topology of the dual pair hX; Y i in X? We use the locally convex space (lcs) notation as in T4, 6, 7U. In particular, σ .X; Y / and µ.X; Y / denote the weak topology and the Mackey topology in X associated with the dual pair hX; Y i. For a Banach space X with topological dual X 0, the weak* topology is σ .X 0; X/. By the Bourbaki–Robertson lemma T4, Section 18.4.4U there is a complete topology in X of the dual pair hX; Y i if and only if the space .X; µ.X; Y // is complete.
    [Show full text]
  • Weak Integrals and Bounded Operators in Topological Vector Spaces
    Advances in Pure Mathematics, 2013, 3, 475-478 http://dx.doi.org/10.4236/apm.2013.35068 Published Online August 2013 (http://www.scirp.org/journal/apm) Weak Integrals and Bounded Operators in Topological Vector Spaces Lakhdar Meziani, Saud M. Alsulami Mathematics Department, King Abdulaziz University, Jeddah, KSA Email: [email protected], [email protected] Received May 4, 2013; revised June 8, 2013; accepted July 11, 2013 Copyright © 2013 Lakhdar Meziani, Saud M. Alsulami. This is an open access article distributed under the Creative Commons At- tribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is prop- erly cited. ABSTRACT Let X be a topological vector space and let S be a locally compact space. Let us consider the function space CSX0 , of all continuous functions f : SX , vanishing outside a compact set of S, equipped with an appropriate topology. In this work we will be concerned with the relationship between bounded operators TC:,0 SX X, and X-valued in- tegrals on CSX0 , . When X is a Banach space, such relation has been completely achieved via Bochner integral in [1]. In this paper we investigate the context of locally convex spaces and we will focus attention on weak integrals, namely the Pettis integrals. Some results in this direction have been obtained, under some special conditions on the structure of X and its topological dual X * . In this work we consider the case of a semi reflexive locally convex space and prove that each Pettis integral with respect to a signed measure , on S gives rise to a unique bounded operator TC:,0 SXX , which has the given Pettis integral form.
    [Show full text]
  • The Mackey Topology As a Mixed Topology 109
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 53, Number I, November 1975 THE MACKEYTOPOLOGY AS A MIXEDTOPOLOGY J. B. COOPER ABSTRACT. A theorem on the coincidence of a mixed topology and the Mackey topology is given. The techniques of partitions of unity are used. As a corollary, a result of LeCam and Conway on the strict topology is obtained. Similar methods are applied to obtain a theorem of Collins and Dorroh. Introduction. In recent years the space C(S) of bounded, continuous complex-valued functions on a locally compact space S with the strict topol- ogy has received a great deal of attention. In [5] we have shown that this to- pology was a special case of a mixed topology in the sense of the Polish school. Many of the results on the strict topology are, in fact, special cases of general results on mixed topologies and, when this is the case, it seems to us to be desirable to present this approach since it displays the strict to- pology as part of a larger scheme rather than as an isolated phenomenon. In this note, we give an example of this process by considering the prob- lem: When is the strict topology on C(S) the Mackey topology? LeCam and Conway have shown that this is the case when S is paracompact. In fact, there are a number of results of this type, that is, identifying mixed topologies with the Mackey topology (see Cooper [6], Stroyan Ll3]) and this suggests that there might be a general theorem of this type in the context of mixed to- pologies.
    [Show full text]
  • The Strict Topology and Compactness in the Space of Measures
    Louisiana State University LSU Digital Commons LSU Historical Dissertations and Theses Graduate School 1965 The trS ict Topology and Compactness in the Space of Measures. John Bligh Conway Louisiana State University and Agricultural & Mechanical College Follow this and additional works at: https://digitalcommons.lsu.edu/gradschool_disstheses Recommended Citation Conway, John Bligh, "The trS ict Topology and Compactness in the Space of Measures." (1965). LSU Historical Dissertations and Theses. 1068. https://digitalcommons.lsu.edu/gradschool_disstheses/1068 This Dissertation is brought to you for free and open access by the Graduate School at LSU Digital Commons. It has been accepted for inclusion in LSU Historical Dissertations and Theses by an authorized administrator of LSU Digital Commons. For more information, please contact [email protected]. This dissertation has been microfilmed exactly as received 6 6—7 24 CONWAY, John Bligh, 1939- THE STRICT TOPOLOGY AND COMPACTNESS IN THE SPACE OF MEASURES. Louisiana State University, Ph.D., 1965 Mathematics University Microfilms, Inc., Ann Arbor, Michigan Reproduced with permission of the copyright owner. Further reproduction prohibitedpermission. without THE STRICT TOPOLOGY AND COMPACTNESS IN THE SPACE OF MEASURES A Dissertation Submitted to the Graduate Faculty of the Louisiana State University and Agricultural and Mechanical College in partial fulfillment of the requirements for the degree of Doctor of Philosophy in The Department of Mathematics John B/^Conway B.S., Loyola University, 196I August, 1965 Reproduced with permission of the copyright owner. Further reproduction prohibited without permission. ACKNOWLEDGEMENT The author wishes to express his appreciation to Professor Heron S. Collins for his advice and encourage­ ment. This dissertation was written while the author held a National Science Foundation Cooperative Fellowship.
    [Show full text]
  • Arxiv:2005.05202V4 [Math.FA]
    BOUNDED TOPOLOGIES ON BANACH SPACES AND SOME OF THEIR USES IN ECONOMIC THEORY: A REVIEW ANDREW J. WROBEL Abstract. Known results are reviewed about the bounded and the convex bounded variants, bT and cbT , of a topology T on a real Banach space. The focus is on the cases of T = w (P ∗, P ) and of T = m (P ∗, P ), which are the weak* and the Mackey topologies on a dual Banach space P ∗. The convex bounded Mackey topology, cbm (P ∗, P ), is known to be identical to m (P ∗, P ). As for bm (P ∗, P ), it is conjectured to be strictly stronger than m (P ∗, P ) or, equivalently, not to be a vector topology (except when P is reflexive). Some uses of the bounded Mackey and the bounded weak* topologies in economic theory and its applications are pointed to. Also reviewed are the bounded weak and the compact weak topologies, bw(Y, Y ∗) and kw(Y, Y ∗), on a general Banach space Y , as well as their convex variants (cbw and ckw). 1. Introduction Nonmetric topologies on the norm-dual, P ∗, of a real Banach space (P ) can become much more manageable when restricted to bounded sets. For example, given a convex subset of P ∗, or a real-valued concave function on P ∗, the bounded weak* topology, ∗ bw := bw (P ∗,P ), can serve to show that the set in question is weakly* closed, or that the function is weakly* upper semicontinuous. In economic theory, such uses of the Krein-Smulian Theorem are made in [9, Proposition 1.1, Theorems 4.4 and 4.7], [22, Proposition 1 and Example 5], [24, Lemma 4.1] and [25, Section 6.2].
    [Show full text]
  • A Strong Uniform Boundedness Result on $\Kappa
    Kangweon-Kyungki Math. Jour. 4 (1996), No. 1, pp. 1–5 A STRONG UNIFORM BOUNDEDNESS RESULT ON κ-SPACES Min-Hyung Cho Abstract. A strong Banach-Mackey property is established for κ- spaces including all complete and some non-complete metric linear spaces and some non-metrizable locally convex spaces. As applica- tions of this result, a strong uniform boundedness result and a new Banach-Steinhaus type theorem are obtained. A topological vector space X is said to be a κ-space if every null sequence {xn} in X has a subsequence {xnk } such that the series P∞ k=1 xnk converges in X ([1], [2]). κ-spaces make a large class con- taining complete metric linear spaces, some non-complete metric lin- ear spaces and some non-metrizable locally convex spaces. Recently, κ-spaces have been shown to enjoy many nice properties ([1],[2],[3],[4]). In this paper, we would like to establish a strong Banach-Mackey prop- erty for κ-spaces and derive from this several important results includ- ing a strong uniform boundedness principle and a Banach-Steinhaus type theorem. For the remainder of this note, (X, τ) represents a topological vector space with the vector space X and the vector topology τ on X. Some- times, we use only X instead of (X, τ). For a topological vector space X let X0, Xs and Xb denote the families of continuous, sequentially continuous and bounded linear functionals on X, respectively ([5]). Similarly, for topological vector spaces X and Y let L(X, Y ), SC(X, Y ) and B(X, Y ) denote the families of continuous, sequentially continuous and bounded linear operators from X into Y , respectively.
    [Show full text]
  • Topological Characterization of Weakly Compact Operators Revisited †
    E extracta mathematicae Vol. 22, N´um. 2, 215 – 223 (2007) Satellite conference on Banach spaces · ICM2006 Topological characterization of weakly compact operators revisited † Antonio M. Peralta Departamento de An´alisisMatem´atico, Facultad de Ciencias, Universidad de Granada, 18071 Granada, Spain, [email protected] Received December 1, 2006 Abstract: In this note we revise and survey some recent results established in [8]. We shall show that for each Banach space X, there exists a locally convex topology for X, termed the “Right Topology”, such that a linear map T, from X into a Banach space Y, is weakly compact, precisely when T is a continuous map from X, equipped with the “Right” topology, into Y equipped with the norm topology. We provide here a new and shorter proof of this result. We shall also survey the results concerning sequentially Right-to-norm continuous operators. Key words: Weakly compact operator, Right topology, Mackey topology, Property (V) AMS Subject Class. (2000): 47B07, 47A20 1. Introduction This note is thought to be a complement of the talk presented at the conference “Banach Space Theory, C´aceres 2006”. In the lecture given at the conference, the results treated in [8] were presented only tangentially. In this note we shall survey the topological characterization of weakly compact operators obtained in [8]. On the other hand, in [8] we strived for maximal clarity rather than maximal generality or maximal conciseness. Among the novelties included in this note, we present an alternative and shorter proof for this topological characterization of weakly compact operators. In the last part of section §2, we shall review the connections between the Right topology and some previous studies, on certain locally convex topologies associated with operator ideals, due to I.
    [Show full text]
  • A Characterization of Separable Conjugate Spaces
    A CHARACTERIZATION OF SEPARABLE CONJUGATE BANACH SPACES By STEFANO ROSSI Abstract The following elegant characterization of dual Banach spaces will be proved: a separable Banach space X is a dual space if and only exists a norm closed subspace M ⊂ X∗ with (Dixmier) characteristic equal to 1, whose functionals are norm-attaining. Contents 1 Introduction 1 2 Notations and preliminaries 2 3 A general result 2 4 The separable case 4 5 Applications 7 1 Introduction Among all Banach spaces, dual spaces have some additional properties, which assure a more far-reaching treatment of their structure. Probably the most useful property is represented by weak*-compactness of the unit ball of such spaces. Giving necessary and sufficient conditions for a Banach space X to be a dual space is a long standing problem; it goes back essentially to J. Dixmier [3]. Many theorems concerning this intriguing area are known; these results usually require the compactness property for X1, the unit ball of X, with re- spect to suitable locally convex topology. Elegant as theoretical results, these arXiv:1003.2224v1 [math.FA] 10 Mar 2010 theorems, however, do not provide any practical tool to solve the question in the applications, because compactness property is very difficult to be checked in infinite-dimensional contexts. In spite of this, reflexive Banach spaces (which are indeed dual spaces with unique predual) are well understood thanks to a celebrate thorem by R. C. James [4], which states that a Banach space X is reflexive if and only if every continuous linear functional attains its norm on X1.
    [Show full text]