DOCSLIB.ORG

© in This Web Service Cambridge University Press Cambridge University Press 978-0-521-19243-9

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
© in This Web Service Cambridge University Press Cambridge University Press 978-0-521-19243-9 Cambridge University Press 978-0-521-19243-9 - Locally Convex Spaces over Non-Archimedean Valued Fields C. Perez-Garcia and W. H. Schikhof Index More information Index absolutely convex, 83 Bessaga–Pelczynski Selection Principle, 234 absolutely convex hull, 84 best approximation, 5 absorbing, 85 bilinear form, 446 accumulation point, 446 bilinear map, 374, 446 adjoint, 272 Bipolar Theorem, 215 admissible topology, 235 boundary, 446 affine transformation, 445 bounded away from 0, 443 algebraic, 444 bounded map, 448 algebraic base, 445 bounded sequence, 112, 448 algebraic closure, 444 bounded set, 112, 448 algebraic dual, 445 bounded weak topology, 336 algebraically closed, 444 α-regular inductive sequence, 411 C1-function, 70 almost Hahn–Banach property, 199 Cn-function, 72 analytic element, 65 C∞-function, 72 A-normed space, 203 c-countably generated, 90 Approximation Theorem for linear forms, 243 c-compact, 154, 206, 244 Ascoli Theorem, 143 canonical norm on Kn, 20 associated norm, 38 Cauchy net, 100, 449 associated topologies, 336 Cauchy sequence, 449 automorphism, 444 Cauchy–Schwarz inequality, 38 centre of a ball, 1 Baire Category Theorem, 104, 448 characteristic, 444 Baire space, 448 characteristic function, 446 Banach disk, 414 clopen, 447 Banach space (over K), 15 closed, 446 Banach’s Open Mapping Theorem, 21 closed ball, 1 Banach–Dieudonne´ Theorem, 440 Closed Graph Theorem, 22, 111, 413 Banach–Steinhaus Theorem, 22, 111, 256 closed linear hull, 449 Banach–Stone Theorem, 79 closed unit ball, 6, 15 Banaschewski compactification, 55 closed unit disk, 6 barrel, 255 closely related, 101 barrelled, 255 closure, 446 barycenter, 240 cluster point, 448 base, 31, 338, 442, 446 codimension, 445 base of continuous seminorms, 94 coefficient functional, 338 468 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-19243-9 - Locally Convex Spaces over Non-Archimedean Valued Fields C. Perez-Garcia and W. H. Schikhof Index More information Index 469 commutation relation, 80 Eberlein-Smulian˘ Theorem, 241 compact, 447 edged, 84, 88 compact open topology, 115 edged hull, 84 compact operator, 334 embedded, 447 compactifying operator, 309 embedding, 17, 97, 444, 447 compactoid inductive limit, 424 entire function, 62 compactoid inductive sequence, 424 equicontinuous, 449 compactoid operator, 302 equivalent norms, 18 compactoid regular inductive sequence, equivalent seminorms, 92 441 equivalent valuations, 6 compactoid set, 143 ε-dense, 91 complement, 24, 105, 445 ε-topology, 335 complemented, 24, 105 extreme point, 206 complete, 100, 449 extreme set, 206 completed tensor product, 395 completion, 100, 449 fenced disk, 63 complexification, 404 field extension, 444 connected, 447 field homomorphisms, 444 Continuity Lemma, 384 filter, 442 continuous, 447 finite rank, 445 continuously differentiable, 70 finite type, 182, 218 convergence of filters, 447 Frechet´ space, 108 convergence of nets, 447 free simplex, 207 convex, 87 Full Perturbation Lemma, 33 convex filter, 246 functionals, 445 convex hull, 88 fundamental sequence coordinate map, 338 fundamental sequence of bounded sets, 295 countable type, 28 fundamental sequence of compact sets, 116 fundamental sequence of complete bounded Decomposition Lemma, 236, 242 subsets, 126 degree, 444 fundamental sequence of equicontinuous sets, dense, 446 295 dense valuation, 7 derivative, 70 gauge, 85 diameter, 2 germs of analytic functions, 125 Dieudonne-Schwartz´ Theorem, 412 Goldstine Theorem, 276 differentiable function, 70 graph, 443 dimension, 445 Grothendieck, 413 direct sum, 445 Grothendieck–Kothe¨ counterexample, 432 directed set, 443 discrete topological space, 446 Hahn–Banach property, 199 discrete topology, 446 Hahn–Banach Theorem, 171, 173, 176, 178, discrete valuation, 7 193, 205, 217 disk, 62 Hasse derivatives, 131 distance between sets, 2 Hausdorff, 446 distributions, 371, 438 hemicompact, 116 divisible group, 444 Hilbert-like space, 40 dual, 97 homeomorphic, 447 dual of an inductive sequence, 415 homeomorphism, 447 dual space, 17, 97 homomorphism, 444 dual-separating, 202, 210, 211 hyperplane, 445 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-19243-9 - Locally Convex Spaces over Non-Archimedean Valued Fields C. Perez-Garcia and W. H. Schikhof Index More information 470 Index ideal, 444 Mackey Convergence Condition, 426 immediate valued field extension, 11 Mackey space, 235 indiscrete topology, 446 Mackey topology, 235 inductive limit, 107 Mahler base, 79 inductive sequence, 107 maximal convex filter, 246 inductive system, 107 maximal ideal, 444 inductive topology, 121 maximal valued field, 11 inherited topology, 446 measure, 51 inner product, 38 measures, 263 interior, 446 mercury drop behaviour, 3 invariant metric, 108, 449 metric, 1 invariant subspace, 445 metric space, 1 inverse, 444 metrizable, 447 isolated, 446 metrizable locally convex space, 108 isometrical isomorphism, 448 Minkowski function, 85 isometrically embedded, 448 Montel, 312 isometrically isomorphic, 17, 448 multiplicative group of a field, 7 isometry, 448 isomorphic, 97, 444, 445 N-compact, 448 isomorphism, 444, 445 n-th derivative, 70 isosceles triangle principle, 3 n-th difference quotient, 71 n-th Hasse derivative, 72 K-algebra, 446 natural map, 8 k0-space, 117 neighbourhood, 446 Kothe¨ dual, 350 neighbourhood base, 446 Kothe¨ sequence space associated to a nested collection, 442 matrix, 356 net, 442 Kothe¨ space, 349 non-Archimedean valuation, 6 Krein–Milman compactoids, 206 non-Archimedean valued field, 6 Krein–Milman Theorem, 206 non-measurable cardinality, 443 Kronecker delta, 446 norm, 15 Krull valuation, 13 normable, 96 normal topology, 351 Lagrange polynomials, 187 normed direct sum, 21 (LF)-space, 435 normed product, 21 limit, 447 normed space (over K), 15 linear hull, 445 nuclear, 312, 320 linear manifold, 445 null sequence, 449 linearly homeomorphic, 17 Liouville Theorem, 64 of countable type, 175 Lipschitz, 448 of finite type, 218 Lipschitz constant, 448 (O.P.)-space, 240 Lipschitz norm, 16 open, 446 (LM)-space, 435 open ball, 1 local convergence, 305 open map, 447 locally compact, 448 Open Mapping Theorem, 21, 111, 308 locally constant, 47 open unit ball, 6, 15 locally convex direct sum, open unit disk, 6 101 operator, 302 locally convex direct sum topology, 101 Orlicz–Pettis space, 240 locally convex space, 93 orthocomplemented, 24 locally convex topology, 93 orthogonal, 23 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-19243-9 - Locally Convex Spaces over Non-Archimedean Valued Fields C. Perez-Garcia and W. H. Schikhof Index More information Index 471 orthogonal base, 29 projective tensor product, 384 “orthogonal” base, 338 property (∗), 240 orthogonal complement, 24 pseudocompact, 267 orthogonal indexed system, 25 Pull Back Principle, 155, 156, 323 orthogonal projection, 24 orthogonal sequence, 25 quasicomplete, 113 “orthogonal” sequence, 162 quotient, 448 orthogonal set, 24 quotient map, 445, 448 orthogonal system, 24 quotient norm, 17 “orthogonal” system, 26 quotient seminorm, 98 orthogonal with respect to p, 162 quotient space, 17, 445 orthonormal base, 29 quotient topology, 17, 98, 448 orthonormal system, 24 orthoprojection, 24 radius, 1 overconvergent power series, 125 Radon measures, 437 rapidly decreasing at infinity, 143 p-adic complex number, 10 rapidly decreasing sequences, 371 p-adic Fourier Transform, 438 reflexive, 275 p-adic integer, 9 regular inductive limit, 411 p-adic Laplace Transform, 438 regular inductive sequence, 411 p-adic metric, 2 relatively closed, 447 p-adic number, 9 relatively compact, 448 p-adic valuation, 8 relatively open, 447 p-open, 92 residue class field, 7 p-topology, 92 resolution, 435 partition, 442 restriction topology, 446 perfect sequence space, 350 Riesz Representation Theorem, 52 Perturbation Lemma, 25, 33, 42 Riesz Theorem, 145 ϕ-null set, 263 rigid analytic function, 126 π-topology, 335 ring, 442 pointwise bounded, 256, 449 pointwise convergence, 114, 449 saturated, 93 polar inductive limit, 259, 422, 438 Schauder base, 31, 163 polar inductive sequence, 438 Schwartz space, 334 polar seminorm, 193 semi-metric, 2 polar set, 196 semi-Montel, 311 polar space, 193 semicompact inductive sequence, 439 polar topology, 193 semicompact operator, 334 polar topology associated to τ, 208 seminorm, 83 polarly barrelled, 256 seminorm of countable type, 175 power series, 62 seminorm of finite type, 218 precompact, 143, 449 semireflexive, 275 prime field, 444 separable, 28, 447 principal, 442 separate the points, 443 Principle of van Rooij, 23 separation of convex sets, 204, 240 Product Lemma, 305 sequence space, 125, 350 product of locally convex spaces, 99 sequentially closed, 447 product topology, 448 sequentially complete, 114, 449 projection, 24, 105, 445 sequentially continuous, 447 projective limit, 106 sequentially retractive inductive sequence, 441 projective sequence, 106 sides of a hyperplane, 205 projective system, 106 σ -compact, 448 © in this web service Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-19243-9 - Locally Convex Spaces over Non-Archimedean Valued Fields C. Perez-Garcia and W. H. Schikhof Index More information 472 Index simple convergence, 114 totally disconnected, 447 small, 443 translate, 446 solid norm, 19 translation, 445 solid seminorm, 83 transseparable, 175 spherical completion, 11 trivial metric, 3 spherically complete, 4 trivial valuation, 7 splitting lemma,
Load more

Recommended publications
  • On the Topology of Compactoid Convergence in Non-Archimedean Spaces Annales Mathématiques Blaise Pascal, Tome 3, No 2 (1996), P
    ANNALES MATHÉMATIQUES BLAISE PASCAL A.K. KATSARAS A. BELOYIANNIS On the topology of compactoid convergence in non-archimedean spaces Annales mathématiques Blaise Pascal, tome 3, no 2 (1996), p. 135-153 <http://www.numdam.org/item?id=AMBP_1996__3_2_135_0> © Annales mathématiques Blaise Pascal, 1996, tous droits réservés. L’accès aux archives de la revue « Annales mathématiques Blaise Pascal » (http: //math.univ-bpclermont.fr/ambp/) implique l’accord avec les conditions géné- rales d’utilisation (http://www.numdam.org/legal.php). Toute utilisation commer- ciale ou impression systématique est constitutive d’une infraction 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/ Ann. Math. Blaise Pascal, Vol. 3, N° 2, 1996, pp.135-153 ON THE TOPOLOGY OF COMPACTOID CONVERGENCE IN NON-ARCHIMEDEAN SPACES A. K. KATSARAS and A. BELOYIANNIS Department of Mathematics, University of Ioannina P.O. Box 1186, 451 10 loannina, Greece email: [email protected] Abstract Some of the properties, of the topology of uniform convergence on the compactoid subsets of a non-Archimedean locally convex space E, are studied. In case E is metrizable, the compactoid convergence topology coincides with the finest locally convex topology which agrees with a~E’, E) on equicontinuous sets. 1 1 Introduction In [7J some of the properties of the topology of uniform convergence on the compactoid subsets, of a non-Archimedean locally convex space, are inves- tigated. In the same paper, the authors defined the ~-product E~F of two non-Archimedean locally convex spaces E and F.
    [Show full text]
  • Sisältö Part I: Topological Vector Spaces 4 1. General Topological
    Sisalt¨ o¨ Part I: Topological vector spaces 4 1. General topological vector spaces 4 1.1. Vector space topologies 4 1.2. Neighbourhoods and filters 4 1.3. Finite dimensional topological vector spaces 9 2. Locally convex spaces 10 2.1. Seminorms and semiballs 10 2.2. Continuous linear mappings in locally convex spaces 13 3. Generalizations of theorems known from normed spaces 15 3.1. Separation theorems 15 Hahn and Banach theorem 17 Important consequences 18 Hahn-Banach separation theorem 19 4. Metrizability and completeness (Fr`echet spaces) 19 4.1. Baire's category theorem 19 4.2. Complete topological vector spaces 21 4.3. Metrizable locally convex spaces 22 4.4. Fr´echet spaces 23 4.5. Corollaries of Baire 24 5. Constructions of spaces from each other 25 5.1. Introduction 25 5.2. Subspaces 25 5.3. Factor spaces 26 5.4. Product spaces 27 5.5. Direct sums 27 5.6. The completion 27 5.7. Projektive limits 28 5.8. Inductive locally convex limits 28 5.9. Direct inductive limits 29 6. Bounded sets 29 6.1. Bounded sets 29 6.2. Bounded linear mappings 31 7. Duals, dual pairs and dual topologies 31 7.1. Duals 31 7.2. Dual pairs 32 7.3. Weak topologies in dualities 33 7.4. Polars 36 7.5. Compatible topologies 39 7.6. Polar topologies 40 PART II Distributions 42 1. The idea of distributions 42 1.1. Schwartz test functions and distributions 42 2. Schwartz's test function space 43 1 2.1. The spaces C (Ω) and DK 44 1 2 2.2.
    [Show full text]
  • Models of Linear Logic Based on the Schwartz $\Varepsilon $-Product
    MODELS OF LINEAR LOGIC BASED ON THE SCHWARTZ ε-PRODUCT. YOANN DABROWSKI AND MARIE KERJEAN Abstract. From the interpretation of Linear Logic multiplicative disjunction as the ε-product de- fined by Laurent Schwartz, we construct several models of Differential Linear Logic based on usual mathematical notions of smooth maps. This improves on previous results in [BET] based on con- venient smoothness where only intuitionist models were built. We isolate a completeness condition, called k-quasi-completeness, and an associated notion stable by duality called k-reflexivity, allow- ing for a ∗-autonomous category of k-reflexive spaces in which the dual of the tensor product is the reflexive version of the ε product. We adapt Meise’s definition of Smooth maps into a first model of Differential Linear Logic, made of k-reflexive spaces. We also build two new models of Linear Logic with conveniently smooth maps, on categories made respectively of Mackey-complete Schwartz spaces and Mackey-complete Nuclear Spaces (with extra reflexivity conditions). Varying slightly the notion of smoothness, one also recovers models of DiLL on the same ∗-autonomous cat- egories. Throughout the article, we work within the setting of Dialogue categories where the tensor product is exactly the ε-product (without reflexivization). Contents 1. Introduction 2 1.1. A first look at the interpretation of Linear Logic constructions 6 Part 1. Three Models of MALL 7 2. Preliminaries 7 2.1. Reminder on topological vector spaces 7 2.2. Reminder on tensor products and duals of locally convex spaces. 8 2.3. Dialogue and ∗-autonomous categories 10 2.4.
    [Show full text]
  • A Short Description on Locally Convex and Polar Topologies
    International Journal of Engineering Science Invention (IJESI) ISSN (Online): 2319-6734, ISSN (Print): 2319-6726 www.ijesi.org ||Volume 9 Issue 7 Series II || July 2020 || PP 01-05 A Short Description on Locally Convex and Polar Topologies Dr. Krishnandan Prasad1, Dr. Amar Nath Kumar2 1(Mathematics,T.P.S. College/ Patliputra University,India) 2(Mathematics, Patna Science College/Patna University Name,India) ABSTRACT: In this paper an attempt has been made to make some positive contributions to the study of topological dynamical systems. It is well known that the classical studies of dynamical systems are based on Hamilton’s principle and the principle of least action and techniques employed in them is usually the variational calculus. Some years ago, studies has been made of dynamical systems which carry topologies on them making the dynamical behavior of the system continuous i.e. the so-called topologies campactible with dynamical structure of the system. This relates the study of dynamical systems with the study of continuous semigroup of operators on Banach Algebras, specially C*-Algebra, and W*-Algebras. The most useful topologies for such studies are so-called weak topologies, strong topologies and the corresponding notations of weak continuities and strong continuities. Thus we are lead to the studies of topological dynamical systems in the context of topological vector space, specially locally convex spaces and locally compact groups. KEYWORDS - Absorbent, Absolutely Convex, Balanced, Convex, , Locally Convex Topological Linear
    [Show full text]
  • Marie Kerjean
    Tensor products and *-autonomous categories Marie Kerjean Laboratory PPS, Universit´eParis Diderot [email protected] The main use of ∗-autonomous categories is in the semantic study of Linear Logic. For this reason, it is thus natural to look for a ∗-autonomous category of locally convex topological vector spaces (tvs). On one hand, Linear Logic inherits its semantics from Linear Algebra, and it is thus natural to build models of Linear Logic from vector spaces [3,5,6,4]. On the other hand, denotational semantics has sought continuous models of computation through Scott domains [9]. Moreover, the infinite nature of the exponential of Linear Logic calls for infinite dimensional spaces, for which topology becomes necessary. One of the first intuitions that comes to mind when thinking about objects in a ∗-autonomous category is the notion of reflexive vector space, i.e. a a tvs which equals its double dual. When A is a vector space, the transpose dA : A ! (A !?) !? of the evaluation map evA :(A !?) × A !? is exactly the canonical injection of a vector space in its bidual. Then, requiring dA to be an isomorphism amounts to requiring A to be reflexive. However, the category of reflexive topological vector spaces is not ∗-autonomous, as it is not closed. Barr [2] constructs two closed subcategories of the category of tvs by re- stricting to tvs endowed with their weak topology (wtvs) or with their Mackey topology (mtvs), which are both polar topologies. Indeed, if E is a tvs, one can define its dual E0 as the space of all continuous linear form on E.
    [Show full text]
  • Polar Locally Convex Topologies and Attouch-Wets Convergence
    BULL. AUSTRAL. MATH. SOC. 46AO5, 46A20, 54B20 VOL. 47 (1993) [33-46] POLAR LOCALLY CONVEX TOPOLOGIES AND ATTOUCH-WETS CONVERGENCE GERALD BEER Let X be a Hausdorff locally convex space. We show that convergence of a net of continuous linear functionals on X with respect to a given polar topology on its continuous dual X' can be explained in terms of the convergence of the cor- responding net of its graphs in X X R, and the corresponding net of level sets at a fixed height in X, with respect to a natural generalisation of Attouch-Wets convergence in normable spaces. 1. INTRODUCTION Let X be a real normed linear space and let 3/, yl, 2/2 > 2/3 j • • • be continuous linear functionals on X. It has been long known that convergence of (yn) to y in the norm topology can be explained in terms of the convergence of the associated sequence of graphs (Grt/n) to Gry in X x R, with respect to a metric 6 on the closed linear subspaces of a normed space given by Kato [10, p.197-204]. For closed subspaces M and N, this distance may be described by 6{M, N) = inf{e >0: M nU cN+eU and NnU C M + eU}, where U is the solid unit ball of the space. Evidently, this notion of distance is not appropriate for the more general class of closed convex sets. For one thing, such sets need not hit the unit ball. Furthermore, even for convex sets that do hit the unit ball, the triangle inequality may fail with respect to this notion of distance.
    [Show full text]
  • The Banach-Steinhaus Theorem in Abstract Duality Pairs
    Proyecciones Journal of Mathematics Vol. 34, No 4, pp. 391-399, December 2015. Universidad Cat´olica del Norte Antofagasta - Chile The Banach-Steinhaus Theorem in Abstract Duality Pairs Min-Hyung Cho Kum-Oh National Institute of Technology, Korea Li Ronglu Harbin Institute of Technology, P. R. C. and Charles Swartz New Mexico State University, U. S. A. Received : October 2015. Accepted : November 2015 Abstract Let E,F be sets and G a Hausdorff, abelian topological group with b : E F G;werefertoE,F,G as an abstract duality pair with respect× to G→or an abstract triple and denote this by (E,F : G).Let (Ei,Fi : G) be abstract triples for i =1, 2.Let i be a family of F subsets of Fi and let τ i (Ei)=τi be the topology on Ei of uniform F convergence on the members of i.LetΓ be a family of mappings F from E1 to E2. We consider conditions which guarantee that Γ is τ1 τ2 equicontinuous. We then apply the results to obtain versions of− the Banach-Steinhaus Theorem for both abstract triples and for linear operators between locally convex spaces. 392 Min-Hyung Cho, Li Ronglu and Charles Swartz In [CLS] we established versions of the Orlicz-Pettis Theorem for sub- series convergent series in abstract triples or abstract duality pairs based on results which were initiated at New Mexico State University during Pro- fessor Li Ronglu’s tenure as a visiting scholar. In this note we present some further results on an equicontinuity version of the Banach-Steinhaus The- orem for abstract triples which were also the result of Professor Li’s visit.
    [Show full text]
  • 7 Oct 2019 Polar Fuzzy Topologies on Fuzzy Topological Vector Spaces
    Polar fuzzy topologies on fuzzy topological vector spaces B. Darabya, N. Khosravib, A. Rahimic a,b,cDepartment of Mathematics, University of Maragheh, P. O. Box 55136-553, Maragheh, Iran Abstract In this paper, we introduce the concept of polar fuzzy sets on fuzzy dual spaces. Using the notion of polar fuzzy sets, we define polar linear fuzzy topologies on fuzzy dual spaces and prove the Mackey-Arens type Theorem on fuzzy topological vector spaces. Subject Classification 2010: 03E72, 54A40 Keywords: Polar fuzzy sets, Polar fuzzy topology, Mackey-Arens Theorem. 1 Introduction Katsaras and Liu defined the notion of fuzzy topological vector space in [9]. Later, Katsaras changed the definition of fuzzy topological vector space in [10] and he con- sidered the linear fuzzy topology on the scalar field K, which consists of all lower semi-continuous functions from K into I = [0, 1]. Also, Katsaras [11] investigated the concepts of fuzzy norm and fuzzy seminorm on vector spaces. After then, many authors arXiv:1910.04152v1 [math.GM] 7 Oct 2019 such as, Cheng and Mordeson [2], Felbin [8], Bag and Samanta [1], and so on started to introduce the notion of fuzzy normed linear space. Later, Xiao and Zhu [14], Fang [7], Daraby et. al. ([3], [4]) redefined the notion of Felbin’s [8] definition of fuzzy norm and studied some properties of its topological structure. Das [5] introduced a fuzzy topology generated by fuzzy norm and studied some properties of this topology. Fang ∗ [7] introduced a new I-topology Tk.k on the fuzzy normed vector space using the notion of fuzzy norm.
    [Show full text]
  • Schauder Decompositions in Locally Convex Spaces
    Proc. Camb. Phil. Soc. (1970), 68, 377 377 PCPS 68-45 Printed in Qreat Britain Schauder decompositions in locally convex spaces BY N. J. KALTON University of Warwick (Received 20 September 1969) 1. Introduction. A decomposition of a topological vector space E is a sequence (En)%=1 of non-trivial subspaces of E such that each x in E can be expressed uniquely in the form x = Sj/j, where yi&Ei for each i. It follows at once that a basis (a;n)™=1 of E i=l corresponds to the decomposition consisting of the one-dimensional subspaces En = lin{£n}; the theory of bases can therefore be regarded as a special case of the general theory of decompositions, and every property of a decomposition may be naturally denned for a basis. The decomposition (En)™=1 induces a sequence (Qn)n=i of projections denned by 00 Qnx = yn, where x = £ yi with yieEi. These projections are obviously orthogonal i = \ (i.e. QnQm = 0 if n # m) and Qn(E) = En for each n; if, in addition, they are con- tinuous, the decomposition is said to be a Schauder decomposition. For a basis (xn)%=1 the projection Qn takes the form Qn(x) = fn(x) xn, where /„ is a linear functional and Qn is continuous if and only if fn is continuous; it is known that every basis of an jF-space or ilF-space is a Schauder basis (2). It is, in general, necessary to restrict attention to Schauder decompositions, as non-Schauder decompositions are extremely difficult to deal with.
    [Show full text]
  • Constructive Utility Functions on Banach Spaces †
    Constructive Utility Functions on Banach spaces y Jose¶ C. R. Alcantud ¤ Facultad de Econom¶³ay Empresa, Universidad de Salamanca, E 37008 Salamanca, Spain e-mail: [email protected] and Ghanshyam B. Mehta Department of Economics, University of Queensland, Queensland 4072, Australia e-mail: [email protected] Abstract In this paper we prove the existence of continuous order-preserving func- tions on subsets of ordered Banach spaces using a constructive approach. JEL classi¯cation: D11 Key words: Utility function, Banach space Address for Correspondence: Jos¶eC. R. Alcantud Facultad de Econom¶³ay Empresa Universidad de Salamanca, E 37008 Salamanca, Spain. Tel: +34-923-294500 ext. 3180. Fax: +34-923-294686. Personal webpage{ http://web.usal.es/»jcr ¤ This author acknowledges ¯nancial support by FEDER and DGICYT Project BEC2002- 02456, and by Junta de Castilla y Le¶onunder the Research Project SA061/02. y Some of the research for this paper was done while the second author was visiting the University of Salamanca in September-October 2003. He would like to thank Doctor J. C. R. Alcantud and Professor J. M. Guti¶errezD¶³ezand the department for their hospitality and support and for providing an excellent research environment. 1 1. Introduction The object of this paper is to prove the existence of continuous real-valued order- preserving functions (also called utility functions) on subsets of Banach spaces using the \distance method" pioneered by Wold (1943-44) and Arrow-Hahn (1971). Apart from the intrinsic interest of such results, the in¯nite-dimensional method of proof, with its topological subtleties and complications, that is used in the paper will also lead to a bet- ter understanding of the ¯nite-dimensional Wold and Arrow-Hahn theorems because in the well-known words of Debreu by \forcing one to greater generality, it brings out with greater clarity and simplicity the basic concepts of the analysis and its logical structure".
    [Show full text]
  • Subseries Convergence in Abstract Duality Pairs
    Proyecciones Journal of Mathematics Vol. 33, No 4, pp. 447-470, December 2014. Universidad Cat´olica del Norte Antofagasta - Chile Subseries convergence in abstract duality pairs Min-Hyung Cho Kum-Oh national Institute of Tech., Korea Li Ronglu Harbin Institute of Tech., P. R. C. and Charles Swartz New Mexico State University, U.S.A. Received : October 2014. Accepted : October 2014 Abstract Let E,F be sets, G an Abelian topological group and b : E F G. Then (E,F,G) is called an abstract triple. Let w(F, E) be the× weakest→ toplogy on F such that the maps b(x, ):x E from F into G are continuous. A subset B F is {w(F,· E) sequentially∈ } conditionally ⊂ compact if every sequence yk B has a subsequence yn such that { } ⊂ { k } limk b(x, yn ) exists for every x E. It is shown that if a formal series k ∈ xj in E is subseries convergent in the sense that for every subse- quence xn there is an element x E such that ∞ b(xn ,y)= P { j } ∈ j=1 j b(x, y) for every y F,thentheseries ∞ b(x ,y) converge uni- j=1 nj P formly for y belonging∈ to w(F, E) sequentially conditionally compact subsets of F . This result is used to establishP Orlicz-Pettis Theorems in locall convex and function spaces. Applications are also given to Uniform Boundedness Principles and continuity results for bilinear mappings. 448 Min-Hyung Cho, Li Ronglu and Charles Swartz In this paper we give an abstraction of the classical notion of duality between two vector spaces and prove several versions of the Orlicz-Pettis Theorem for subseries convergent series in the abstract setting.
    [Show full text]
  • Planetmath: Topological Space
    (more info) Math for the people, by the people. Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS Advanced search topological space (Definition) "topological space" is owned by djao. [ full author list (2) ] (more info) Math for the people, by the people. Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS Advanced search compact (Definition) "compact" is owned by djao. [ full author list (2) ] Dense set 1 Dense set In topology and related areas of mathematics, a subset A of a topological space X is called dense (in X) if any point x in X belongs to A or is a limit point of A.[1] Informally, for every point in X, the point is either in A or arbitrarily "close" to a member of A - for instance, every real number is either a rational number or has one arbitrarily close to it (see Diophantine approximation). Formally, a subset A of a topological space X is dense in X if for any point x in X, any neighborhood of x contains at least one point from A. Equivalently, A is dense in X if and only if the only closed subset of X containing A is X itself. This can also be expressed by saying that the closure of A is X, or that the interior of the complement of A is empty. The density of a topological space X is the least cardinality of a dense subset of X. Density in metric spaces An alternative definition of dense set in the case of metric spaces is the following. When the topology of X is given by a metric, the closure of A in X is the union of A and the set of all limits of sequences of elements in A (its limit points), Then A is dense in X if Note that .
    [Show full text]