Lie Algebras of Linear Operators on Locally Convex Spaces Rodrigo

Total Page:16

File Type:pdf, Size:1020Kb

Lie Algebras of Linear Operators on Locally Convex Spaces Rodrigo Lie algebras of linear operators on locally convex spaces Rodrigo Augusto Higo Mafra Cabral Tese de Doutorado Orientador: Frank Michael Forger Programa de P´os-Gradua¸c~aoem Matem´atica Aplicada Instituto de Matem´atica e Estat´ıstica da Universidade de S~aoPaulo (IME - USP) Trabalho produzido com apoio financeiro da ag^encia CNPq Outubro de 2019 Lie algebras of linear operators on locally convex spaces Esta vers~aoda tese cont´emas corre¸c~oes e altera¸c~oessuge- ridas pela Comiss~aoJulgadora no dia da defesa da ver- s~aooriginal do trabalho, realizada em 15/03/2019. Uma c´opia da vers~aooriginal est´adispon´ıvel no Instituto de Matem´atica e Estat´ıstica da Universidade de S~aoPaulo. Comiss~aoJulgadora: • Prof. Dr. Frank Michael Forger (orientador) - IME - USP • Prof. Dr. Christian Dieter J¨akel - IME - USP • Prof. Dr. Severino Toscano do R^egoMelo - IME - USP • Prof. Dr. Pedro Lauridsen Ribeiro - CMCC - UFABC • Prof. Dr. Luiz Roberto Hartmann Junior - DM - UFSCar Dedicated to my parents, Ione and Juarez Agradecimentos Primeiramente, gostaria de agradecer aos meus pais, Ione e Juarez, pelo apoio constante e incondicional, e sem os quais este trabalho n~aoseria poss´ıvel; ao meu irm~ao,Gabriel, por ser um grande amigo com quem sempre posso contar; e `aGabs, por ter sido uma grande companhia nas (muitas) madrugadas em que esta tese foi escrita. Ao meu orientador, Frank Michael Forger, por sempre compartilhar seus conhecimentos cient´ıficos de maneira t~aogenerosa, e por expor sua vis~aosobre a Ci^encia sempre de maneira franca, entusiasmada e, certamente, inspiradora. Agrade¸coimensamente por ter me a- presentado a uma ´area t~aorica e fascinante dentro da An´alise Funcional, e por ter tido a liberdade de estudar quaisquer t´opicos que me interessassem para, somente ent~ao,decidir o tema da tese. Esta abordagem heterodoxa constituiu-se numa experi^encia muito enrique- cedora, para mim. Ao Severino Toscano do R. Melo, por seu grande altru´ısmo, pelas in´umeras conversas, sobre Matem´atica ou n~ao,e pelos incont´aveis ensinamentos que tanto contribu´ıram para a minha forma¸c~aode Matem´atico, como aluno, orientando e, agora, colaborador. E´ realmente im- poss´ıvel quantificar o aprendizado que obtive durante todos esses anos. Ao professor Paulo Domingos Cordaro, por poder ter assistido como ouvinte o excelente curso \Espa¸cos Localmente Convexos e Aplica¸c~oes", ministrado em 2017, e pelos esclareci- mentos acerca de operadores fortemente el´ıpticos. Ao Eric Ossami Endo, por sempre me incentivar a expor o meu trabalho, pelos convites a tantos semin´arios e eventos e pelas v´arias aulas de Mec^anica Estat´ıstica Cl´assica. Ao Lucas Affonso, por sempre me mostrar alguma aplica¸c~ao(ou poss´ıvel aplica¸c~ao!)interes- sante de An´alise Funcional `aMec^anica Estat´ıstica Qu^antica. Resumo Palavras-chave: ´algebras de Lie, grupos de Lie, representa¸c~oesfortemente cont´ınuas, exponencia¸c~ao,espa¸coslocalmente convexos, limites projetivos, limites inversos, vetores anal´ıticos projetivos, ´algebras localmente convexas, ∗-´algebras localmente convexas, ´alge- bras localmente C∗, ´algebras de Arens-Michael, ∗-´algebras de Arens-Michael, ´algebras de von Neumann, ´algebras GB∗, automorfismos, ∗-automorfismos, deriva¸c~oes, ∗-deriva¸c~oes, operadores pseudo-diferenciais. Condi¸c~oesnecess´arias e suficientes para a exponencia¸c~aode ´algebras de Lie reais de dimens~aofinita de operadores lineares sobre espa¸coslocalmente convexos completos Haus- dorff s~aoobtidas, com foco no caso equicont´ınuo - em particular, condi¸c~oes necess´arias para a exponencia¸c~aocom respeito a grupos de Lie compactos s~aoestabelecidas. Aplica¸c~oespara ´algebras localmente convexas completas s~aodadas, com uma aten¸c~aoespecial para ´algebras localmente C∗. A defini¸c~aode vetor anal´ıtico projetivo ´eintroduzida, possuindo um papel importante em alguns dos teoremas de exponencia¸c~aoe na caracteriza¸c~aodos geradores de uma certa classe de grupos a um par^ametro fortemente cont´ınuos. i Abstract Keywords: Lie algebras, Lie groups, strongly continuous representations, exponenti- ation, locally convex spaces, projective limits, inverse limits, projective analytic vectors, locally convex algebras, locally convex ∗-algebras, locally C∗-algebras, pro-C∗-algebras, LMC∗-algebras, Arens-Michael algebras, Arens-Michael ∗-algebras, von Neumann algebras, GB∗-algebras, automorphisms, ∗-automorphisms, derivations, ∗-derivations, pseudodiffer- ential operators. Necessary and sufficient conditions for the exponentiation of finite-dimensional real Lie algebras of linear operators on complete Hausdorff locally convex spaces are obtained, focused on the equicontinuous case - in particular, necessary conditions for exponentiation to compact Lie groups are established. Applications to complete locally convex algebras, with special attention to locally C∗-algebras, are given. The definition of a projective analytic vector is given, playing an important role in some of the exponentiation theorems and in the characterization of the generators of a certain class of strongly continuous one- parameter groups. iii Contents Introduction vii 1 Preliminaries 1 1.1 One-Parameter Semigroups and Groups . 3 1.2 Lie Group Representations and Infinitesimal Generators . 8 1.2.1 The G˚arding Subspace . 12 1.2.2 The Space of Smooth Vectors is Left Invariant by the Generators . 16 1.2.3 Lie Algebra Representations Induced by Group Representations . 18 1.2.4 Group Invariance and Cores . 19 1.3 Dissipative and Conservative Operators . 27 1.4 The Kernel Invariance Property (KIP), Projective Analytic Vectors . 30 1.5 Some Estimates Involving Lie Algebras . 45 1.6 Extending Continuous Linear Maps . 49 1.7 Projective Limits . 50 2 Group Invariance and Exponentiation 57 Constructing a Group Invariant Domain . 57 Exponentiation Theorems . 86 The First Exponentiation Theorems . 86 Strongly Elliptic Operators - Sufficient Conditions for Exponentiation . 97 Strongly Elliptic Operators - Necessary Conditions for Exponentiation . 116 Exponentiation in Locally Convex Spaces - Characterization . 120 3 Some Applications to Locally Convex Algebras 123 Definitions, Examples and a Few Structure Theorems . 123 Exponentiation of Complete Locally Convex Algebras . 133 v vi Contents Exponentiation of Locally C∗-Algebras . 136 Bibliography 139 Introduction A Physics Point of View: Some Motivations1 With the advent of Quantum Theory, the theory of Lie groups and their representa- tions has assumed an important role in Physics, mainly to mathematically incorporate the notion of symmetry. Some highlights that could be mentioned are, already in the 1930's, the development of the theory of compact Lie groups and their representations, by Hermann Weyl, a typical application being the consequences of rotational symmetry in atomic spectroscopy, and the classification of relativistic elementary particles in terms of irreducible unitary representations of the Poincar´egroup, by Eugene Wigner. Another historical landmark was the \eightfold way", by Gell'Mann and Ne'eman, in the 1960's, to classify hadrons (strongly interacting particles) in terms of weight diagrams of the group SU(3). In the early stages of Lie group representation theory, studies dealt almost exclusively with unitary representations on Hilbert spaces as the state spaces of quantum systems. However, Quantum Mechanics had already exposed with clarity a phenomenon which is present even in Classical Mechanics, but had rarely been treated there in an explicit man- ner: the duality between the state space and the algebra of observables of a system, which leads, in the treatment of temporal evolution, to the distinction between the \Schr¨odinger picture" (with time-dependent states and static observables) and the \Heisenberg picture" (with static states and time-dependent observables). The transition from Quantum Me- chanics to Quantum Field Theory strongly suggests that it is, at the very least, more convenient to perform this temporal evolution - or, more generally, the dynamics - on the observables, and not on the states, since the observables, and not the states, are the ones that allow localization in regions of space-time. Hence, besides unitary representations on 1The author would like to thank his advisor, Frank Michael Forger, for the big help in the writing process of this section of the Introduction. His great knowledge of Physics contributed in an essential way to the final form of the text. vii viii Introduction Hilbert spaces one should also investigate representations by automorphisms on algebras of observables. The question that naturally arises is then: which kind of algebras must one use? A first answer to this question may be found in Algebraic Quantum Field Theory, initiated in 1964 by Haag and Kastler, which revolves around a central concept that is absent in Quantum Mechanics: locality. This is incorporated by demanding the existence of a net of local C∗-algebras A(U) associated to an adequate (suficiently large) family of bounded open sets U in space-time satisfying the property that, if U ⊂ V , then A(U) ⊂ A(V ). The total C∗-algebra of this net is defined by [ A := A(U); U where the closure indicates the C∗-completion of the algebra. Relativistic invariance of the theory is implemented by a representation α: P −! Aut(A) of the Poincar´egroup P by ∗-automorphisms of A which is compatible with this net: α(a; Λ)[A(U)] = A(ΛU + a): Locality means that A(U) and A(V ) commute when the two regions U and V are spatially separated [62]. However, since the beginning of this
Recommended publications
  • Quantum Duality, Unbounded Operators, And
    JOURNAL OF MATHEMATICAL PHYSICS 51, 063511 ͑2010͒ Quantum duality, unbounded operators, and inductive limits ͒ Anar Dosia Middle East Technical University Northern Cyprus Campus, Guzelyurt, KKTC, Mersin 10, Turkey ͑Received 20 October 2009; accepted 7 April 2010; published online 14 June 2010͒ In this paper, we investigate the inductive limits of quantum normed ͑or operator͒ spaces. This construction allows us to treat the space of all noncommutative con- tinuous functions over a quantum domain as a quantum ͑or local operator͒ space of all matrix continuous linear operators equipped with S-quantum topology. In par- ticular, we classify all quantizations of the polynormed topologies compatible with the given duality proposing a noncommutative Arens–Mackey theorem. Further, the inductive limits of operator spaces are used to introduce locally compact and lo- cally trace class unbounded operators on a quantum domain and prove the dual realization theorem for an abstract quantum space. © 2010 American Institute of Physics. ͓doi:10.1063/1.3419771͔ I. INTRODUCTION The operator analogs of locally convex spaces have been started to develop in Ref. 14 by Effros and Webster. The central goal of this direction is to create a theory of quantum polynormed spaces or quantum spaces, which should reflect the “locally convex space chapters” of quantum functional analysis. This theory has been created as the basic language of quantum physics. To have a comprehensive mathematical model of quantum physics, it is necessary to consider the linear spaces of unbounded Hilbert space operators or “noncommutative variable spaces.”19 This is the mathematical background of Heisenberg’s “matrix mechanics.” The quantizations of a variable space have provided functional analysis with the new constructions, methods, and problems.22 Being a new and modern branch of functional analysis, quantum functional analysis can be divided into the normed13,20 and polynormed ͑or locally convex͒ topics,14,25 as in the classical theory.
    [Show full text]
  • Spectral Measures in Locally Convex Algebras by Helmut H
    SPECTRAL MEASURES IN LOCALLY CONVEX ALGEBRAS BY HELMUT H. SCHAEFER The University of Michigan, U.S.A.Q) Introduction The central subject of classical spectral theory has been the spectral representation of self-adjoint and normal operators in Hilbert space; after Hilbert had given a complete treatment of the bounded case, the spectra] theory of unbounded self-adjoint and normal operators was developed by yon Neumann and others. (An excellent account can be found in [23].) Abstractions of algebras of Hermitian and normal operators were considered by various authors, notably Stone [22] who characterized such algebras as algebras of conti- nuous functions on a compact (Hausdorff) space. Investigations by Freudenthal [9] and Nakano [15] (especially papers 1 and 2), also leading to spectral theories, went in a different direction. Generalizations of unitary operators to reflexive Banach spaces were considered by Lorch [13]; Lorch also developed an operational calculus for those operators in reflexive Banach spaces that can be represented by a spectral measure [12]. (Taylor [24] developed such a calculus for closed operators on a Banach space whose spectrum does not cover the plane, but necessarily restricted to functions locally holomorphic on the spectrum. There are some recent results in this direction for operators on a locally convex space [26], [16].) The most extensive work on bounded and unbounded operators in a Banach space is due to Dunford, Schwartz, Bade and others (for a detailed bibliography, see [6] and [8]). Dunford considers operators that have a countably additive resolution of the identity, but may differ from a spectral operator (in the sense of Definition 4, Section 4 of this paper) by a quasi-nilpotent.
    [Show full text]
  • Subspaces and Quotients of Topological and Ordered Vector Spaces
    Zoran Kadelburg Stojan Radenovi´c SUBSPACES AND QUOTIENTS OF TOPOLOGICAL AND ORDERED VECTOR SPACES Novi Sad, 1997. CONTENTS INTRODUCTION::::::::::::::::::::::::::::::::::::::::::::::::::::: 1 I: TOPOLOGICAL VECTOR SPACES::::::::::::::::::::::::::::::: 3 1.1. Some properties of subsets of vector spaces ::::::::::::::::::::::: 3 1.2. Topological vector spaces::::::::::::::::::::::::::::::::::::::::: 6 1.3. Locally convex spaces :::::::::::::::::::::::::::::::::::::::::::: 12 1.4. Inductive and projective topologies ::::::::::::::::::::::::::::::: 15 1.5. Topologies of uniform convergence. The Banach-Steinhaus theorem 21 1.6. Duality theory ::::::::::::::::::::::::::::::::::::::::::::::::::: 28 II: SUBSPACES AND QUOTIENTS OF TOPOLOGICAL VECTOR SPACES ::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 39 2.1. Subspaces of lcs’s belonging to the basic classes ::::::::::::::::::: 39 2.2. Subspaces of lcs’s from some other classes :::::::::::::::::::::::: 47 2.3. Subspaces of topological vector spaces :::::::::::::::::::::::::::: 56 2.4. Three-space-problem for topological vector spaces::::::::::::::::: 60 2.5. Three-space-problem in Fr´echet spaces:::::::::::::::::::::::::::: 65 III: ORDERED TOPOLOGICAL VECTOR SPACES :::::::::::::::: 72 3.1. Basics of the theory of Riesz spaces::::::::::::::::::::::::::::::: 72 3.2. Topological vector Riesz spaces ::::::::::::::::::::::::::::::::::: 79 3.3. The basic classes of locally convex Riesz spaces ::::::::::::::::::: 82 3.4. l-ideals of topological vector Riesz spaces :::::::::::::::::::::::::
    [Show full text]
  • Mackey Continuity of Convex Functions on Dual Banach Spaces: a Review
    Article in press - EXTRACTA MATHEMATICAE Available online September 24, 2020 EXTRACTA MATHEMATICAE Mackey continuity of convex functions on dual Banach spaces: a review A.J. Wrobel ∗ 15082 East County Road 600N, Charleston, Illinois, 61920-8026, United States [email protected] https://www.researchgate.net/profile/Andrew_Wrobel3/research Volumen 33, N´umero 2, 2018 instituto de investigacion´ de matematicas´ de la universidadReceived de extremadura December 13, 2019 Presented by David Yost Accepted September 13, 2020 Abstract: A convex (or concave) real-valued function, f, on a dual Banach space P ∗ is continuous for the Mackey topology m (P ∗;P ) if (and only if) it is Mackey continuous on bounded subsets of P ∗. Equivalence of Mackey continuity to sequential Mackey continuity follows when P is strongly weakly compactly generated, e.g., when P = L1 (T ), where T is a set that carries a sigma-finite measure σ. This result of Delbaen, Orihuela and Owari extends their earlier work on the case that P ∗ is either L1 (T ) or a dual Orlicz space. An earlier result of this kind is recalled also: it derives Mackey continuity from bounded Mackey continuity for a nondecreasing concave function, F , that 1 is defined and finite only on the nonnegative cone L+ . Applied to a linear f, the Delbaen-Orihuela- Owari result shows that the convex bounded Mackey topology is identical to the Mackey topology, i.e., cbm (P ∗;P ) = m (P ∗;P ); here, this is shown to follow also from Grothendieck's Completeness Theorem. As for the bounded Mackey topology, bm (P ∗;P ), it is conjectured here not to be a vector topology, or equivalently to be strictly stronger than m (P ∗;P ), except when P is reflexive.
    [Show full text]
  • Categorical Duality in Probability and Quantum Foundations
    Categorical Duality in Probability and Quantum Foundations Proefschrift ter verkrijging van de graad van doctor aan de Radboud Universiteit Nijmegen op gezag van de rector magnificus prof. dr. J.H.J.M. van Krieken, volgens besluit van het college van decanen in het openbaar te verdedigen op dinsdag 3 oktober 2017 om 10.30 uur precies door Robert William Johnston Furber geboren op 10 augustus 1986 te Londen, Verenigd Koninkrijk. Promotor: Prof. dr. B.P.F. Jacobs Manuscriptcommissie: Prof. dr. P. Busch (Universiteit van York, Verenigd Koninkrijk) Prof. dr. N.P. Landsman Prof. dr. M. Ozawa (Nagoya Universiteit, Japan) Prof. dr. P. Panangaden (McGill Universiteit, Montreal, Canada) Prof. dr. A. Simpson (Universiteit van Ljubljana, Sloveni¨e) Categorical Duality in Probability and Quantum Foundations Doctoral thesis to obtain the degree of doctor from Radboud University Nijmegen on the authority of the Rector Magnificus prof. dr. J.H.J.M. van Krieken, according to the decision of the Council of Deans, to be defended in public on Tuesday October 3, 2017 at 10.30 hours by Robert William Johnston Furber born August 10, 1986 in London, United Kingdom. Supervisor: Prof. B.P.F. Jacobs Manuscript committee: Prof. P. Busch (University of York, UK) Prof. N.P. Landsman Prof. M. Ozawa (Nagoya University, Japan) Prof. P. Panangaden (McGill University, Montreal, Canada) Prof. A. Simpson (University of Ljubljana, Slovenia) Dedicated to my parents, Rosemary Johnston and James Furber. Contents Contents i Introduction 3 0 Preliminaries 7 0.1 Convexity in Vector Spaces . 7 0.2 Ordered Vector Spaces . 20 0.3 Dualities, Polars and Bipolars .
    [Show full text]
  • Arxiv:1911.05851V3 [Math.FA] 24 Jun 2021
    PROJECTIVE ANALYTIC VECTORS AND INFINITESIMAL GENERATORS RODRIGO A. H. M. CABRAL Abstract. We establish the notion of a “projective analytic vector”, whose defining requirements are weaker than the usual ones of an analytic vector, and use it to prove generation theorems for one-parameter groups on locally convex spaces. More specifically, we give a characterization of the generators of strongly continuous one-parameter groups which arise as the result of a projective limit procedure, in which the existence of a dense set of projective analytic vectors plays a central role. An application to strongly continuous Lie group representations on Banach spaces is given, with a focused analysis on concrete algebras of functions and of pseudodifferential operators. 1. Introduction In the Banach space context, there are very well-known generation theorems for one-parameter groups which rely on the hypothesis of existence of a dense set of analytic vectors. In Hilbert spaces, for example, E. Nelson proved in [22, Lemma 5.1] that a closed hermitian operator is self-adjoint if, and only if, it possesses a dense set of analytic vectors inside its domain – generators of strongly continuous unitary one-parameter groups are all of the form iT , with T a self-adjoint operator (see [24, Theorem VIII.7, Theorem VIII.8]). J. Rusinek then improved this result in reference [25] to the Banach space context for an arbitrary strongly continuous one-parameter group – see also [5, Theorem 3.1.22]. In the paper [18], Z. Magyar deals with generation theorems on locally convex spaces beyond the normed framework and provides, as a corollary, a classification of the generators of one-parameter groups with“uniform exponential growth”– see [18, page 101]; see also [19, Chapter 1].
    [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]
  • Topologies on Sequences Spaces
    Pacific Journal of Mathematics TOPOLOGIES ON SEQUENCES SPACES WILLIAM HENRY RUCKLE Vol. 42, No. 1 January 1972 PACIFIC JOURNAL OF MATHEMATICS Vol. 42, No. 1, 1972 TOPOLOGIES ON SEQUENCE SPACES WILLIAM H. RUCKLE A study is made of two means to topologize a space of sequences. The first method rests upon the duality of every sequence space S with the sequence space φ (finitely Φ 0) by means of the form (fai), (bj)) - Σ a& (*i) e S> ^ e Ψ 3 The second method is a generalization of the Kothe-Toeplitz duality theory. The Kδthe dual Sa of a sequence space S consists of all (bj) such that (a,jbj) e I1 (absolutely convergent series) for (a/) e S. Other spaces may take the role of I1 in the above definition. A means to construct a topology on S is determined using this generalized dual. Finally, a parti- cularly suitable type of space (the sum space) to play the role of I1 is defined. Our motivation is primarily the inexact but nevertheless meaningful question: what is the "natural" topology for an arbitrary space of sequences S. We consider two classes of topologies on S. Both classes include the topologies studied by Kothe and Toeplitz [10] and Garling [3, 4]. Our most important result is Theorem 4.10 which establishes a relationship between these two classes. The first method of topologizing a space of sequences is based upon the observation that every sequence space S is in duality with the space φ of finitely nonzero sequences by means of the natural pairing = Σ *& (*s) e S, ύ It is thus possible to define upon S topologies having a neighborhood base at 0 consisting of polars of a subfamily of the collection of all S-bounded subsets of φ.
    [Show full text]
  • Bases and Cones in Locally Convex Spaces
    BASES AND CONES IN l,OCALLY CONVEX SPACES By FHA.NJ\ PAUL BOZEL, B.Sc., M.Sc. A Thesis Submitted to the Faculty of Grach.t~1te Studies in Partial Fulfilment of the Requirements for the D:::grec Doc tm· of Philosopy Mel-I.aster tin:i.ve_;·si ty May 1971 . DOCTOR OF PHILOSOPY (1971) McMASTER UNIVERSITY (Mathematics) Hamilton, Ontario. TI'l'LE: Bases and Cones in Locally Convex Spaces AUTHOR: Frank Paul Bozel, B.Sc. (Mel.faster University) M.Sc. (McMa.ster University) SUPERVISOR: Professor T. Husain NUMBER OF PAGES: v, 73 SCOPE AND CONTEN'l'S: The major results of this work include an isomorphism theorem for B-complete barrelled spaces with similar bases and a theorem which shows that the cone a.sf:cciated with a. cepnrating biorthogonal system in a perfect C.N.S. has a basis. We also obtain some applications of the former result in the case of dual generali:;:;ed bw:;es and some results concerning Schauder bases in countably barrelled spaces. ii ACKNOWLEDGEMENTS The author would like to thank his supervisor Dr. T. Husain for the careful attention he has given this work and for his helpful suggestions and assistance in preparing this thesis. The author would also like to heartily thank all those who were a source of encouragement to him, in particular Professor H. L. Jackson and Mr. Shu-Bun Ng. Behind each Ph.D. C'rndidate there sits a typist who has the sometimes exasperating task of reading the aspirant's writing, and so the author would like to express his appreciation to his typist Mrs.
    [Show full text]
  • Locally Convex Spaces of Non-Archimedean Valued Continuous Functions
    Pacific Journal of Mathematics LOCALLY CONVEX SPACES OF NON-ARCHIMEDEAN VALUED CONTINUOUS FUNCTIONS WILLY GOVAERTS Vol. 109, No. 2 June 1983 PACIFIC JOURNAL OF MATHEMATICS Vol 109, No 2, 1983 LOCALLY CONVEX SPACES OF NON-ARCHIMEDEAN VALUED CONTINUOUS FUNCTIONS WILLY GOVAERTS We study the space C( X, K, <3)) of all continuous functions from the ultraregular space X into the non-Archimedean valued field K with topology of uniform convergence on a family 9 of subsets of the Z-repletion of X. We characterize the bornological space associated to C(X, K, <5P), semi-bornological spaces C(X,K,9), reflexivity and semi-reflexivity both for spherically complete and non-spherically com- plete K. 1. Introduction. Throughout this paper, K is a complete non-triv- ially non-Archimedean valued field and X is an ultraregular (= zero- dimensional Hausdorff) space. Then X Q vκX Q v0X Q β0X where vκX, v0X and β0X are the ΛΓ-repletion, Z-repletion and Banaschewski com- pactification of X, respectively. If K has nonmeasurable cardinal, then vκX — VQX[\, Theorem 15]. The set \K\— {|λ|: λ E K) is provided with a topology in which all points are discrete, except for 0, whose neighborhoods are the usual ones. IKI is a complete metric space under the metric Hence \K\is Z-replete [1, Theorem 9], so |/| can be extended continu- ously over the whole of v0X whenever / belongs to the vector space C( X, K) of all continuous functions from Xinto K. A set A c v0X is called bounding if \\f\\A '-= supxG/ί |/|(x) < °o for all / E C(X, K).
    [Show full text]
  • Exponentiation of Lie Algebras of Linear Operators on Locally Convex Spaces
    Exponentiation of Lie Algebras of Linear Operators on Locally Convex Spaces Rodrigo A. H. M. Cabral Departamento de Matem´atica Aplicada, Instituto de Matem´atica e Estat´ıstica, Universidade de S˜ao Paulo (IME-USP), BR-05508-090, S˜ao Paulo, SP, Brazil. a Abstract Necessary and sufficient conditions for the exponentiation of finite-dimensional real Lie alge- bras of linear operators on complete Hausdorff locally convex spaces are obtained, focused on the equicontinuous case - in particular, necessary conditions for exponentiation to compact Lie groups are established. Applications to complete locally convex algebras, with special attention to locally C∗-algebras, are given. The definition of a projective analytic vector is introduced, playing an important role in some of the exponentiation theorems. Contents Introduction 2 1 Some General Facts 4 1.1 One-ParameterSemigroupsandGroups . ..... 4 1.2 Lie Group Representations and Infinitesimal Generators . ......... 8 1.3 Lie Algebra Representations Induced by Group Representations.......... 12 1.4 GroupInvarianceandCores. ... 12 1.5 Dissipative and Conservative Operators . ..... 18 1.6 The Kernel Invariance Property (KIP), ProjectiveAnalyticVectors . 19 1.7 Some Estimates Involving Lie Algebras . ... 23 2 Group Invariance and Exponentiation 27 ConstructingaGroupInvariantDomain . ..... 27 ExponentiationTheorems . .. .. .. .. .. .. .. .. .. .. .. .. .. .. ... 51 TheFirstExponentiationTheorems . 51 Strongly Elliptic Operators - Sufficient Conditions for Exponentiation ...... 56 Strongly Elliptic Operators
    [Show full text]
  • Local Operator Spaces, Unbounded Operators and Multinormed C∗-Algebras
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Functional Analysis 255 (2008) 1724–1760 www.elsevier.com/locate/jfa Local operator spaces, unbounded operators and multinormed C∗-algebras Anar Dosiev Middle East Technical University NCC, Güzelyurt, KKTC, Mersin 10, Turkey Received 19 October 2007; accepted 4 July 2008 Available online 8 August 2008 Communicated by P. Delorme Abstract In this paper we propose a representation theorem for local operator spaces which extends Ruan’s repre- sentation theorem for operator spaces. Based upon this result, we introduce local operator systems which are locally convex versions of the operator systems and prove Stinespring theorem for local operator systems. ∗ A local operator C -algebra is an example of a local operator system. Finally, we investigate the injec- tivity in both local operator space and local operator system senses, and prove locally convex version of the known result by Choi and Effros, that an injective local operator system possesses unique multinormed ∗ C -algebra structure with respect to the original involution and matrix topology. © 2008 Elsevier Inc. All rights reserved. Keywords: Local operator space; Matrix seminorm; Local operator system; Quantized domain 1. Introduction The known [9, Theorem 2.3.5] representation theorem for operator spaces asserts that each abstract operator space V can be realized as a subspace of the space B(H ) of all bounded linear operators on a Hilbert space H . By realization we mean a matrix isometry Φ : V → B(H ) of V onto the subspace Φ(V) ⊆ B(H ).
    [Show full text]