Locally Solid Riesz Spaces with Applications to Economics / Charalambos D

Total Page:16

File Type:pdf, Size:1020Kb

Locally Solid Riesz Spaces with Applications to Economics / Charalambos D http://dx.doi.org/10.1090/surv/105 alambos D. Alipr Lie University \ Burkinshaw na University-Purdue EDITORIAL COMMITTEE Jerry L. Bona Michael P. Loss Peter S. Landweber, Chair Tudor Stefan Ratiu J. T. Stafford 2000 Mathematics Subject Classification. Primary 46A40, 46B40, 47B60, 47B65, 91B50; Secondary 28A33. Selected excerpts in this Second Edition are reprinted with the permissions of Cambridge University Press, the Canadian Mathematical Bulletin, Elsevier Science/Academic Press, and the Illinois Journal of Mathematics. For additional information and updates on this book, visit www.ams.org/bookpages/surv-105 Library of Congress Cataloging-in-Publication Data Aliprantis, Charalambos D. Locally solid Riesz spaces with applications to economics / Charalambos D. Aliprantis, Owen Burkinshaw.—2nd ed. p. cm. — (Mathematical surveys and monographs, ISSN 0076-5376 ; v. 105) Rev. ed. of: Locally solid Riesz spaces. 1978. Includes bibliographical references and index. ISBN 0-8218-3408-8 (alk. paper) 1. Riesz spaces. 2. Economics, Mathematical. I. Burkinshaw, Owen. II. Aliprantis, Char­ alambos D. III. Locally solid Riesz spaces. IV. Title. V. Mathematical surveys and mono­ graphs ; no. 105. QA322 .A39 2003 bib'.73—dc22 2003057948 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by e-mail to [email protected]. © 2003 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. @ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10 9 8 7 6 5 4 3 2 1 08 07 06 05 04 03 To the memory of my parents: Atou^ato KOLL YjUx\)povlot Charalambos Dionysios Aliprantis To my high school mathematics and science teachers, Elizabeth De Vary and Donald Roush. Great teachers make a difference in the lives of their students. Owen Burkinshaw Contents Preface of the 1st Edition vii Preface of the 2nd Edition ix List of Special Symbols xi Chapter 1. The Lattice Structure of Riesz spaces 1 1.1. Elementary Properties of Riesz spaces 1 1.2. Ideals, Bands, and Riesz Subspaces 10 1.3. Order Completeness and Projection Properties 18 1.4. The Freudenthal Spectral Theorem 25 1.5. The Main Inclusion Theorem 31 1.6. Order Bounded Operators 33 1.7. The Order Dual of a Riesz space 41 Chapter 2. Locally Solid Topologies 49 2.1. Linear Topologies on Vector Spaces 49 2.2. The Basic Properties of Locally Solid Topologies 55 2.3. Locally Convex-solid Topologies 59 2.4. Topological Completion of a Locally Solid Riesz Space 66 Chapter 3. Lebesgue Topologies 75 3.1. Examples and Properties of Lebesgue Topologies 75 3.2. Locally Convex-solid Lebesgue Topologies 80 3.3. Lebesgue Properties and Lp-Spaces 85 Chapter 4. Fatou Topologies 99 4.1. Basic Properties of the Fatou Topologies 99 4.2. The Structure of the Fatou Topologies 102 4.3. Topological Completeness and Fatou Topologies 108 4.4. Quotient Riesz Spaces and Fatou Properties 114 Chapter 5. Metrizability 119 5.1. Upper and Lower Elements 119 5.2. Frechet Topologies 125 5.3. The Pseudo Lebesgue Properties 129 5.4. The ^-Property 135 5.5. Comparing Locally Solid Topologies 136 Chapter 6. Weak Compactness in Riesz Spaces 143 6.1. Topologies on the Duals of a Riesz Space 143 6.2. Weak Compactness in the Order Duals 148 vi CONTENTS 6.3. Weak Sequential Convergence 158 6.4. Compact Solid Sets 162 6.5. Semireflexive Riesz Spaces 173 Chapter 7. Lateral Completeness 179 7.1. Laterally Complete Riesz Spaces 179 7.2. The Universal Completion 187 7.3. Lateral and Universal Completeness 196 7.4. Lateral Completeness and Local Solidness 201 7.5. Minimal Locally Solid Topologies 207 Chapter 8. Market Economies 215 8.1. Preferences and Utility Functions 215 8.2. Exchange Economies and Efficiency 217 8.3. Efficiency, Prices, and the Welfare Theorems 221 8.4. Properness 224 8.5. Properness and Efficiency 228 8.6. Equilibrium 231 8.7. Continuity Properties of Supporting Prices 233 8.8. The Utility Space of an Economy and Efficiency 236 8.9. Existence of Equilibria 240 8.10. The Core of an Economy 243 8.11. Replication 245 8.12. Edgeworth Equilibria 247 8.13. Core Equivalence 251 8.14. The Single Sector Growth Model 257 Chapter 9. Solutions to the Exercises 267 9.1. Chapter 1: The Lattice Structure of Riesz Spaces 267 9.2. Chapter 2: Locally Solid Topologies 279 9.3. Chapter 3: Lebesgue Topologies 284 9.4. Chapter 4: Fatou Topologies 289 9.5. Chapter 5: Metrizability 295 9.6. Chapter 6: Weak Compactness in Riesz Spaces 301 9.7. Chapter 7: Lateral Completeness 307 9.8. Chapter 8: Market Economies 317 Bibliography 331 Index 337 Preface of the 1st Edition In 1928, at the International Mathematical Congress in Bologna, Italy, F. Riesz in a short address [115] triggered the investigation of what is today called the theory of Riesz spaces. Soon after, in the mid-thirties, H. Freudenthal [60] and L. V. Kantorovich [69, 70] independently set up the axiomatic foundation and derived a number of properties dealing with the lattice structure of Riesz spaces. From then on the growth of the subject was rapid. In the forties and early fifties the Japanese school led by H. Nakano, T. Ogasawara, and K. Yosida, and the Russian school, led by L. V. Kantorovich, A. I. Judin, and B. Z. Vulikh, made fundamental contributions. At the same time a number of books started to appear on the field. Most of the early work on Riesz spaces, as well as most of the books, was devoted to the so-called "algebraic part" of the theory and little attention was given to the "analytical part." The bulk of the existing work on the analytical part is in the area of normed Riesz spaces, and in particular in the theory of Banach lattices; we note the work of W. A. J. Luxemburg and A. C. Zaanen appearing in a series of articles [89] and the recent book of H. H. Schaefer [123]. The general theory of topological Riesz spaces seems somehow to have been neglected. The recent book by D. H. Fremlin [58] is partially devoted to this subject; and there are, of course, a number of books on linear ordered spaces (see [65, 108, 127, 130]). But there have been no books completely devoted to topological Riesz spaces. The purpose of this book is to fill this gap and present a unified approach to the theory of locally solid Riesz spaces. It has been our desire to emphasize the relationship between the order and topological structures. The present work is written for graduate students and for persons involved in research in functional analysis. The book is self-contained and should be accessible to any student with a standard course in functional analysis. The material has been arranged into seven chapters. As a supplement, at the end of each chapter, we have included a number of exercises of varying degrees of difficulty. We have also listed some open problems to give insight into possible areas of research. Throughout the book the basic concepts are illustrated by numerous examples and counterexamples, and special notes trace the history of the subject. However, it is possible that credit was not given to all contributors to this field. In Chapter 1 a summary of the basic theory of the lattice structure of Riesz spaces is given, with special emphasis on results that are not easily accessible and to proofs that are not well known. The fundamental properties of locally solid topologies are presented in Chapter 2, while Chapter 3 studies the interaction between order convergence and topological convergence (Lebesgue properties) with applications to the representation theorems of abstract Lp-spaces. vii st Vlll PREFACE OF THE 1 EDITION Chapter 4 deals with Fatou topologies and shows the remarkable relationship between order completeness and topological completeness, while Chapter 5 inves­ tigates the important properties of metrizable locally solid Riesz spaces. In Chapter 6 locally solid topologies that are also locally convex are considered. Weakly compact sets are studied via the concept of order-equicontinuity. The interplay between the order structure and the topological concept of compactness is demonstrated extensively, and characterizations of semireflexive Riesz spaces are presented. Finally, Chapter 7 discusses both the remarkable lattice and topological properties of laterally complete Riesz spaces. This book has been influenced by the discussions the first author had with W. A. J. Luxemburg and the second with S. Kaplan, to whom we express our appreciation for introducing us to the subject. Finally, we would like to thank our wives, Bernadette and Betty, for their help and understanding during the preparation of this book. Indianapolis C. D. ALIPRANTIS June 1977 O. BURKINSHAW Preface of the 2nd Edition This monograph is the 2nd edition of our book Locally Solid Riesz Spaces that was published by Academic Press in 1978.
Recommended publications
  • The Semi-M Property for Normed Riesz Spaces Compositio Mathematica, Tome 34, No 2 (1977), P
    COMPOSITIO MATHEMATICA EP DE JONGE The semi-M property for normed Riesz spaces Compositio Mathematica, tome 34, no 2 (1977), p. 147-172 <http://www.numdam.org/item?id=CM_1977__34_2_147_0> © Foundation Compositio Mathematica, 1977, tous droits réservés. L’accès aux archives de la revue « Compositio Mathematica » (http: //http://www.compositio.nl/) implique l’accord avec les conditions géné- rales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infrac- tion pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ COMPOSITIO MATHEMATICA, Vol. 34, Fasc. 2, 1977, pag. 147-172 Noordhoff International Publishing Printed in the Netherlands THE SEMI-M PROPERTY FOR NORMED RIESZ SPACES Ep de Jonge 1. Introduction It is well-known that if (0394, F, IL) is a u-finite measure space and if 1 ~ p 00, then the Banach dual L *p of the Banach space Lp = Lp(0394, IL) can be identified with Lq = Lq(L1, 03BC), where p-1 + q-1 = 1. For p =00 the situation is different; the space Li is a linear subspace of L*, and only in a very trivial situation (the finite-dimensional case) we have Li = Lfi. Restricting ourselves to the real case, the Banach dual L *~ is a (real) Riesz space, i.e., a vector lattice, and Li is now a band in L*. The disjoint complement (i.e., the set of all elements in L* disjoint to all elements in LI) is also a band in L*, called the band of singular linear functionals on Loo.
    [Show full text]
  • ORDER EXTREME POINTS and SOLID CONVEX HULLS 1. Introduction at the Very Heart of Banach Space Geometry Lies the Study of Three I
    ORDER EXTREME POINTS AND SOLID CONVEX HULLS T. OIKHBERG AND M.A. TURSI To the memory of Victor Lomonosov Abstract. We consider the \order" analogues of some classical notions of Banach space geometry: extreme points and convex hulls. A Hahn- Banach type separation result is obtained, which allows us to establish an \order" Krein-Milman Theorem. We show that the unit ball of any infinite dimensional reflexive space contains uncountably many order extreme points, and investigate the set of positive norm-attaining func- tionals. Finally, we introduce the \solid" version of the Krein-Milman Property, and show it is equivalent to the Radon-Nikod´ym Property. 1. Introduction At the very heart of Banach space geometry lies the study of three in- terrelated subjects: (i) separation results (starting from the Hahn-Banach Theorem), (ii) the structure of extreme points, and (iii) convex hulls (for instance, the Krein-Milman Theorem on convex hulls of extreme points). Certain counterparts of these notions exist in the theory of Banach lattices as well. For instance, there are positive separation/extension results; see e.g. [1, Section 1.2]. One can view solid convex hulls as lattice analogues of convex hulls; these objects have been studied, and we mention some of their properties in the paper. However, no unified treatment of all three phenomena listed above has been attempted. In the present paper, we endeavor to investigate the lattice versions of (i), (ii), and (iii) above. We introduce the order version of the classical notion of an extreme point: if A is a subset of a Banach lattice X, then a 2 A is called an order extreme point of A if for all x0; x1 2 A and t 2 (0; 1) the inequality a ≤ (1 − t)x0 + tx1 implies x0 = a = x1.
    [Show full text]
  • Vector Lattice Covers of Ideals and Bands in Pre-Riesz Spaces
    Vector lattice covers of ideals and bands in pre-Riesz spaces Anke Kalauch,∗ Helena Malinowski† November 12, 2018 Abstract Pre-Riesz spaces are ordered vector spaces which can be order densely embedded into vector lattices, their so-called vector lattice covers. Given a vector lattice cover Y for a pre-Riesz space X, we address the question how to find vector lattice covers for subspaces of X, such as ideals and bands. We provide conditions such that for a directed ideal I in X its smallest extension ideal in Y is a vector lattice cover. We show a criterion for bands in X and their extension bands in Y as well. Moreover, we state properties of ideals and bands in X which are generated by sets, and of their extensions in Y . 1 Introduction In the analysis of partially ordered vector spaces, subspaces as ideals and bands play a central role. In vector lattices, problems involving those subspaces are broadly discussed in the literature, see e.g. [1, 15, 22]. Directed ideals in partially ordered vector spaces were introduced in [6, Definition 2.2] and studied in [2, 3, 14, 5]; for a more recent overview see [12]. The investigation of disjointness and bands in partially ordered vector spaces starts in [9], where for the definition of disjointness sets of upper bounds are used instead of lattice operations. Here a band is defined to be a set that equals its double-disjoint complement, analogously to the notion in arXiv:1801.07191v2 [math.FA] 8 Nov 2018 Archimedean vector lattices. Ideals and bands are mostly considered in pre-Riesz spaces.
    [Show full text]
  • Approximation Boundedness Surjectivity
    APPROXIMATION BOUNDEDNESS SURJECTIVITY Olav Kristian Nygaard Dr. scient. thesis, University of Bergen, 2001 Approximation, Boundedness, Surjectivity Olav Kr. Nygaard, 2001 ISBN 82-92-160-08-6 Contents 1Theframework 9 1.1 Separability, bases and the approximation property ....... 13 1.2Thecompletenessassumption................... 16 1.3Theoryofclosed,convexsets................... 19 2 Factorization of weakly compact operators and the approximation property 25 2.1Introduction............................. 25 2.2 Criteria of the approximation property in terms of the Davis- Figiel-Johnson-Pe'lczy´nskifactorization.............. 27 2.3Uniformisometricfactorization.................. 33 2.4 The approximation property and ideals of finite rank operators 36 2.5 The compact approximation property and ideals of compact operators.............................. 39 2.6 From approximation properties to metric approximation prop- erties................................. 41 3 Boundedness and surjectivity 49 3.1Introduction............................. 49 3.2Somemorepreliminaries...................... 52 3.3 The boundedness property in normed spaces . ....... 57 3.4ThesurjectivitypropertyinBanachspaces........... 59 3.5 The Seever property and the Nikod´ymproperty......... 63 3.6 Some results on thickness in L(X, Y )∗ .............. 63 3.7Somequestionsandremarks.................... 65 4 Slices in the unit ball of a uniform algebra 69 4.1Introduction............................. 69 4.2Thesliceshavediameter2..................... 70 4.3Someremarks...........................
    [Show full text]
  • A Note on Bi-Contractive Projections on Spaces of Vector Valued Continuous
    Concr. Oper. 2018; 5: 42–49 Concrete Operators Research Article Fernanda Botelho* and T.S.S.R.K. Rao A note on bi-contractive projections on spaces of vector valued continuous functions https://doi.org/10.1515/conop-2018-0005 Received October 10, 2018; accepted December 12, 2018. Abstract: This paper concerns the analysis of the structure of bi-contractive projections on spaces of vector valued continuous functions and presents results that extend the characterization of bi-contractive projec- tions given by the rst author. It also includes a partial generalization of these results to ane and vector valued continuous functions from a Choquet simplex into a Hilbert space. Keywords: Contractive projections, Bi-contractive projections, Vector measures, Spaces of vector valued functions MSC: 47B38, 46B04, 46E40 1 Introduction We denote by C(Ω, E) the space of all continuous functions dened on a compact Hausdor topological space Ω with values in a Banach space E, endowed with the norm YfY∞ = maxx∈Ω Yf(x)YE. The continuity of a function f ∈ C(Ω, E) is understood to be “in the strong sense", meaning that for every w0 ∈ Ω and > 0 there exists O, an open subset of Ω, containing w0 such that Yf (w) − f(w0)YE < , for every w ∈ O, see [9] or [16]. A contractive projection P ∶ C(Ω, E) → C(Ω, E) is an idempotent bounded linear operator of norm 1. ⊥ A contractive projection is called bi-contractive if its complementary projection P (= I − P) is contractive. In this paper, we extend the characterization given in [6], of bi-contractive projections on C(Ω, E), with Ω a compact metric space, E a Hilbert space that satisfy an additional support disjointness property.
    [Show full text]
  • Boolean Valued Analysis of Order Bounded Operators
    BOOLEAN VALUED ANALYSIS OF ORDER BOUNDED OPERATORS A. G. Kusraev and S. S. Kutateladze Abstract This is a survey of some recent applications of Boolean valued models of set theory to order bounded operators in vector lattices. Key words: Boolean valued model, transfer principle, descent, ascent, order bounded operator, disjointness, band preserving operator, Maharam operator. Introduction The term Boolean valued analysis signifies the technique of studying proper- ties of an arbitrary mathematical object by comparison between its representa- tions in two different set-theoretic models whose construction utilizes principally distinct Boolean algebras. As these models, we usually take the classical Canto- rian paradise in the shape of the von Neumann universe and a specially-trimmed Boolean valued universe in which the conventional set-theoretic concepts and propositions acquire bizarre interpretations. Use of two models for studying a single object is a family feature of the so-called nonstandard methods of analy- sis. For this reason, Boolean valued analysis means an instance of nonstandard analysis in common parlance. Proliferation of Boolean valued analysis stems from the celebrated achieve- ment of P. J. Cohen who proved in the beginning of the 1960s that the negation of the continuum hypothesis, CH, is consistent with the axioms of Zermelo– Fraenkel set theory, ZFC. This result by Cohen, together with the consistency of CH with ZFC established earlier by K. G¨odel, proves that CH is independent of the conventional axioms of ZFC. The first application of Boolean valued models to functional analysis were given by E. I. Gordon for Dedekind complete vector lattices and positive op- erators in [22]–[24] and G.
    [Show full text]
  • Dentability and Extreme Points in Banach Spaces*
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF FUNCTIONAL ANALYSIS 16, 78-90 (1974) Dentability and Extreme Points in Banach Spaces* R. R. PHELPS University of Washington, Seattle, Washington 98195 Communicated by R. Phillips Received November 20, 1973 It is shown that a Banach space E has the Radon-Nikodym property (equivalently, every bounded subset of E is dentable) if and only if every bounded closed convex subset of E is the closed convex hull of its strongly exposed points. Using recent work of Namioka, some analogous results are obtained concerning weak* strongly exposed points of weak* compact convex subsets of certain dual Banach spaces. The notion of a dentable subset of a Banach space was introduced by Rieffel[16] in conjunction with a Radon-Nikodym theorem for Banach space-valued measures. Subsequent work by Maynard [12] and by Davis and Phelps [6] (also by Huff [S]) has shown that those Banach spaces in which Rieffel’s Radon-Nikodym theorem is valid are precisely the ones in which every bounded closed convex set is dentable (definition below). Diestel [7] observed that the classes of spaces (e.g., reflexive spaces, separable conjugate spaces) which are known to have this property (the “Radon-Nikodym property”) appear to coincide with those which are known to have the property that every bounded closed convex subset is the closed convex hull of its extreme points (the “Krein-Milman property”) and he raised the question as to whether the two properties are equivalent.
    [Show full text]
  • Extreme Points of Vector Functions
    EXTREME POINTS OF VECTOR FUNCTIONS SAMUEL KARLIN Several previous investigations have appeared in the literature which discuss the nature of the set T in »-dimensional space spanned by the vectors ifsdui, ■ ■ ■ , fsdp.n) where 5 ranges over all measur- able sets. It was first shown by Liapounov that xi ui, • • ■ , un are atomless measures, then the set F is convex and closed. Extensions of this result were achieved by D. Blackwell [l] and Dvoretsky, Wald, and Wolfowitz [2]. A study of the extreme points in certain function spaces is made from which the theorems concerning the range of finite vector measures are deduced as special cases. However, the extreme point theorems developed here have independent interest. In addition, some results dealing with infinite direct products of func- tion spaces are presented. Many of these ideas have statistical in- terpretation and applications in terms of replacing randomized tests by nonrandomized tests. 1. Preliminaries. Let p. denote a finite measure defined on a Borel field of sets $ given on an abstract set X. Let Liu, 5) denote the space of all integrable functions with respect to u. Finally, let Miß, %) be the space of all essentially bounded measurable functions defined on X. It is well known that Af(/i, 5) constitutes the conjugate space of Liu, %) and consequently the unit sphere of Af(/x, %) is bi- compact in the weak * topology [3]. Let (®Ln) denote the direct product of L taken with itself » times and take i®Mn) as the direct product of M n times. With appropriate choice of norm, i®M") becomes the conjugate space to (®7,n).
    [Show full text]
  • When Is the Core Equivalence Theorem Valid?
    DIVISION OF THE HUMANITIES AND SOCIAL SCIENCES CALIFORNIA INSTITUTE OF TECHNOLOGY PASADENA, CALIFORNIA 91125 WHEN IS THE CORE EQUIVALENCE THEOREM VALID? Charalambos D. Aliprantis California Institute of Technology Indiana University - Purdue Univeristy at Indianapolis Owen Burkinshaw Indiana University - Purdue University at Indianapolis SOCIAL SCIENCE WORKING PAPER 707 September 1989 WHEN IS THE CORE EQUIVALENCE THEOREM VALID? Charalambos D. Aliprantis and Owen Burkinshaw ABSTRACT In 1983 L. E. Jones exhibited a surprising example of a weakly Pareto optimal al­ location in a two consumer pure exchange economy that failed to be supported by prices. In this example the price space is not a vector lattice (Riesz space). Inspired by Jones' example, A. Mas-Colell and S. F. Richard proved that this pathological phenomenon cannot happen when the price space is a vector lattice. In particu­ lar, they established that (under certain conditions) in a pure exchange economy the lattice structure of the price space is sufficient to guarantee the supportability of weakly Pareto optimal allocations by prices-i.e., they showed that the second welfare theorem holds true in an exchange economy whose price space is a vector lattice. In addition, C. D. Aliprantis, D. J. Brown and 0. Burkinshaw have shown that when the price space of an exchange economy is a certain vector lattice, the Debreu-Scarf core equivalence theorem holds true, i.e., the sets of Walrasian equilib­ ria and Edgeworth equilibria coincide. (An Edgeworth equilibrium is an allocation that belongs to the core of every replica economy of the original economy.) In other words, the lattice structure of the price space is a sufficient condition for avoiding the pathological situation occuring in Jones' example.
    [Show full text]
  • On Universally Complete Riesz Spaces
    Pacific Journal of Mathematics ON UNIVERSALLY COMPLETE RIESZ SPACES CHARALAMBOS D. ALIPRANTIS AND OWEN SIDNEY BURKINSHAW Vol. 71, No. 1 November 1977 FACIFIC JOURNAL OF MATHEMATICS Vol. 71, No. 1, 1977 ON UNIVERSALLY COMPLETE RIESZ SPACES C. D. ALIPRANTIS AND 0. BURKINSHAW In Math. Proc. Cambridge Philos. Soc. (1975), D. H. Fremlin studied the structure of the locally solid topologies on inex- tensible Riesz spaces. He subsequently conjectured that his results should hold true for σ-universally complete Riesz spaces. In this paper we prove that indeed Fremlin's results can be generalized to σ-universally complete Riesz spaces and at the same time establish a number of new properties. Ex- amples of Archimedean universally complete Riesz spaces which are not Dedekind complete are also given. 1* Preliminaries* For notation and terminology concerning Riesz spaces not explained below we refer the reader to [10]* A Riesz space L is said to be universally complete if the supremum of every disjoint system of L+ exists in L [10, Definition 47.3, p. 323]; see also [12, p. 140], Similarly a Riesz space L is said to be a-univer sally complete if the supremum of every disjoint sequence of L+ exists in L. An inextensible Riesz space is a Dedekind complete and universally complete Riesz space [7, Definition (a), p. 72], In the terminology of [12] an inextensible Riesz space is called an extended Dedekind complete Riesz space; see [12, pp. 140-144]. Every band in a universally complete Riesz space is in its own right a universally complete Riesz space.
    [Show full text]
  • Order-Quasiultrabarrelled Vector Lattices and Spaces
    Periodica Mathematica Hungarica YoL 6 (4), (1975), pp. 363--371. ~ ORDER-QUASIULTRABARRELLED VECTOR LATTICES AND SPACES by T. HUSAIN and S. M. KHALEELULLA (Hamilton) 1. Introduetion In this paper, we introduce and study a class of topological vector lattices (more generally, ordered topological vector spaces) which we call the class of order-quasiultrabarreUed vector lattices abbreviated to O. Q. U. vector lattices (respectively, O. Q. U. spaces). This class replaces that of order-infrabarrened Riesz spaces (respectively, order-infrabarrelled spaces) [8] in situations where local convexity is not assumed. We obtain an analogue of the Banach--Stein- haus theorem for lattice homom0rphisms on O. Q. U. vector lattices (respec- tively positive linear maps on O. Q. U. spaces) and the one for O. Q. U. spaces is s used successfully to obtain an analogue of the isomorphism theorem concerning O. Q.U. spaces and similar Schauder bases. Finally, we prove a closed graph theorem for O. Q. U, spaces, analogous to that for ultrabarrelled spa~s [6]. 2. Notations and preliminaries We abbreviate locally convex space, locally convex vector lattice, tope- logical vector space, and topological vector lattice to 1.c.s., 1.c.v.l., t.v.s., and t.v.l., respectively. We write (E, C) to denote a vector lattice (or ordered vector space) over the field of reals, with positive cone (or simply, cone) C. A subset B of a vector lattice (E, G) is solid if Ixl ~ ]y], yEB implies xEB; a vector subspace M of (~, C) which is also solid is called a lattice ideal.
    [Show full text]
  • Notes on Convex Sets, Polytopes, Polyhedra, Combinatorial Topology, Voronoi Diagrams and Delaunay Triangulations
    Notes on Convex Sets, Polytopes, Polyhedra, Combinatorial Topology, Voronoi Diagrams and Delaunay Triangulations Jean Gallier and Jocelyn Quaintance Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104, USA e-mail: [email protected] April 20, 2017 2 3 Notes on Convex Sets, Polytopes, Polyhedra, Combinatorial Topology, Voronoi Diagrams and Delaunay Triangulations Jean Gallier Abstract: Some basic mathematical tools such as convex sets, polytopes and combinatorial topology, are used quite heavily in applied fields such as geometric modeling, meshing, com- puter vision, medical imaging and robotics. This report may be viewed as a tutorial and a set of notes on convex sets, polytopes, polyhedra, combinatorial topology, Voronoi Diagrams and Delaunay Triangulations. It is intended for a broad audience of mathematically inclined readers. One of my (selfish!) motivations in writing these notes was to understand the concept of shelling and how it is used to prove the famous Euler-Poincar´eformula (Poincar´e,1899) and the more recent Upper Bound Theorem (McMullen, 1970) for polytopes. Another of my motivations was to give a \correct" account of Delaunay triangulations and Voronoi diagrams in terms of (direct and inverse) stereographic projections onto a sphere and prove rigorously that the projective map that sends the (projective) sphere to the (projective) paraboloid works correctly, that is, maps the Delaunay triangulation and Voronoi diagram w.r.t. the lifting onto the sphere to the Delaunay diagram and Voronoi diagrams w.r.t. the traditional lifting onto the paraboloid. Here, the problem is that this map is only well defined (total) in projective space and we are forced to define the notion of convex polyhedron in projective space.
    [Show full text]