DOCSLIB.ORG

C H a P T E R PI^Eliminanes in This Chapter We Collect, for The

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
C H a P T E R PI^Eliminanes in This Chapter We Collect, for The C H A P T E R PI^ELIMINAnES In this chapter we collect, for the convenience of the reader, all the known concepts and results i^loh are required in the subsequent chapters. These are divided into sections bearing titles of the topics to which they relate. 1.1. Fitlds with valuation Let Gi toe €m ordered group, nultiplicatively written. Let, further-f- toe an associative operation on G\ such that the distributive laws (1.1.1) ac +• ^c z^(gu+&)<L, (1.1.2) -Ca/4fr<^^<= CCOu^t)^ hold for all CL, -6- , C , in Gi . We shall adjoin a zero element to <?, i.e. we form QU{o] such that (1.1.3) OJ-O- OCL= 0 for all OU € Gi^ (1.1.4) 0 < (h for all a, & G. - 2 - DEFINITION 1.1.1 (BACHMAN [3], p. 72, Definition 2.2). A valuation of a field K is a map 1 \". K-^ 6i U{oJ, \^ei» G iB an ordered group provided (1.1.5) for a G K , (Cbl = 0 if and only L-f CL = Oj (1.1.6) for CO, ^€ K . 10.^1 = la.1 l-6-( ; (1.1.7) for a.-^GK, lCL+-tl^ l^l+l^l. It is always possible to introduce an additive operation in an ordezed group Gi by defining (1.1.8) OJ-^ (^ = 'Yv^doc. CCb , ^) for a/,^G6t. It is easily seen that this -p is associative and that the distributive laws are satisfied, Further, condition (1.1.7) of Definition 1.1.1 becomes (1.1.9) \ch~{-J^\ <, TVLC^ac Clcol , \^0. The valuation in this case will be called non-archlmediaB. Ve shall assume throughout that <j\ ^ C&) • DEFINITION 1.1.2 (BACHMAN SO p.77, Definitions 3.1t 3.2). A subgroup H of <?i , where G] is an ordered group is called isolated if ^ eH, and ^ < 00 ^ (L^ where CL e G\ , imply CU€|-|. The order type of the set of all isolated subgroups of (jj distinct from G\ is called the rank of 6i . DEFINITION 1.1.3 (BACHMAN [3l p. 77, Definition 3.3) If I I is a non-archimedian valuation of a field K into ^^U'foj where Gr is an ordered group, then the rank of \ I la the rank of Gj - 3 - PHOPOSITION 1.1.1 (BACHMAN [3] p. 81, Th«oi»m 3.4). An oTiered group G\ of rank 1 is order Isomorphic to a subgroup of the additive group Tl of real numbers. RBMAHK 1.1.1. In riew of Proposition 1.1.1, in consider­ ing valuations of rank 1, we may assume that the ordered group Gt is a subgroup of the additive group of real numbers with the usual ordering. We shall be concerned with valuations of rank 1 only. A valuation of rank 1 may thus be defined as follows. DEFINITIOH 1,1,4 (BACHMAH [3] p.5, Definition 2,1). A valuation of rank 1 of a field K is a mapping | I : from K into the reals 1\ such that for all CL , ^ e k ^ (1.1.10) \(Xj\7'yO and \ou\-0 if and only if CO = 0 ; (1.1.11) 1 OuL[ - fCLl 1^1 •. (1.1.12) I CL-f ^1 ^ la.l+1^1.; We shall generally omit, for the sake of brevity, mention­ ing that the valuation is of rank 1 explicitly and simply speak of such a function as a valuation, it being understood that such a map is always into the reals'Bv. K is called a field with a valuation or a valued field. If (1.1.12) is satisfied in the stronger foim (1.1.13) I Cb-+- Qy\ < -ma^c c \ou\ ,1^0, a., ^ e K^ then it is called a non-archimedian valuation. - 4 - We give some examples of non-aichlmedlan valuations. EXAMPLE 1.1.1. Por any field K , we define \0\~0 and \aj\=-\ toT all 0/4^0 in K . This is called the trivial valuation on k . Valuations other than the trivial valuation are called non-trivial valuations. EXAKPLS 1.1.2, Let Q denote the field of rational numbers, c a fixed real number such that 0-cc< I and p a fixed prime number. If x is any rational number other than 0 we can write where CL , -^ , oC are integers, [^ "fa, ^ j't-S- • We define (1.1.14) l^lb= C°^ O/^ct 10((,= 0. It is known (BACHMAH [3l , p.l) that ( (. is a non- archimedian valuation on Q and is called the \:> -adic valuation of Q. EXAMPLE 1,1.3. Let K be any field and KLt]be the ring of polynomials over K . If f>Cfc;i8 an irreducible polynomial in K Lb] then we define (1.1.15) locctM.= , ? where (XCb), -^Cb)Gl<Cb3, \=>'\ CL . f^t"^* ®"^ C is a m» ^ mm fixed real niunber In ( 0 » X )• (1.1»15) gives a non- archimedian valuation on KUb] and is called a ^Cb)- ~adio valuation of KLtUCsee Bachman [5] p.14). It follovnB immediately fiom Definition 1.1.1 that a valuation satisfies the following conditions (1.1.16)1 11 = I • ; (1.1.17)1-11 =^i ^ (1.1.18) 10.^1= I 0.11^1-' ; (1.1.19) |i<5^l-l^i|^ \aj-U. PPOPOSITION 1.1.2 (BACHMAH [?] pp.7» 8). If | | is a non>archiffledian valuation and if Icol > \£>,\ then \(Xy+4>-\~\(l>\ More generally, we hare . COH)ItLABY 1.1.1. For a non-archimedian valuation we have and I a,+ a2_+--- + clw| = I Ob, I -il^ 10.^1^ 10/(1 -for j.= i-.5,-.Ti The Corollary is a consequence of finite induction an Yl using Proposition 1.1.2. * We denote by 1 the unit element of K as also the real number 1, with, of course, no room for confusion. - 6 . The following characterization of a non-aiohlffledlan valuation will be freely used in the sequel. PROPOSITION 1.1.3 (HAMANATHAH [23] , p.204). A Taluation | | on a field K is non-arohimedian if and only If (1.1.20) 1 Til ^ 1 for eveiy Integer yi e K * ThlB shows immediately that COK)LLA!?y 1.1,2 (RAMANATHAN §3] , p. 204). All the valuations of a field of characteristic j=>=|=0 are non- archimedian. We continue to assume that I i is a non-aichimedian valuation and we consider the set Sy of all cu€ K such that I CU| ^ 1 • ^®* ^ denote the set of all cue K such that lal< 1- PHOPOSITIOH 1.1.4 (BACHMAN [3] , p. 8. Theorem 2.3). If I ( is a non-archimedian valuation, then the set V is a zing with unit element and 'P is the luiique maxiaal ideal of V and hence is a prime ideal. DEPIHITIOH 1.1.5. The ring V (defined above) is called the valuation ring associated with the non-archimedian valuation | j • The field \^ is called the associated residue class field. * Throughout we write \r\\ v^ere n is an integer, for Ini/ (1 being the unit element of K ). - 7 - (1.1.11) of Definition 1.1.4 showe that CL -^ (Ctl 1» a homomorphism of the multiplicative group K of non-sseio elements of K into the multiplicative group of positive reals. This homomorphic image is a group | K ( which we call the value group of K (see MMA.HATHAN [23l p,213), PEFINITION 1.1.6. The valuation | j is called discrete or dense according as the value group of K is discrete or dense. HEMAPK 1.1.2. A valuation is either discrete or dense, A valued field K can be viewed as a metrLo space with the distance function P defined by (1.1.21) pccb,t)= |a-^l satisfying (1.1.22) pCa..-6L);^0 and PCa,6.) = 0 if ana only If (X - ^ ', (1.1.23) pca,^)= pc-^.o,): (1.1.24) Pca,^) ^ PCa.,c)-i-pCc,l), Ca,4,c£K) If, in addition* K is a non-arohlmedian valued field then this distance function P can be easily seen to satisfy the following ultrametrlc Inequality (1.1,25), the stronger form of (1.1.24) (1.1.25) ?COL,t) ^ 7na:>c (pCCL, c) , pcc, 6.)) • Thus a valued field K is a metric space. - 8 - THEOREM 1.1.1 (BHJHAT [>] , p.18). Let K be a field with a non-trivial non-archimedian raluation. Then the following conditions axe equivalent. (1.1.26) K is locally-coapact. (1.1.27) The valuation ring V of K is compact, (1.1.28) K is ^ complete metric space. ( | is a discrete valuation and the residue class field is a finite field. The above metric p gives rise to the notion of conver­ gence in K as follows. If {jJir\,] is a sequence of elements of K then it is said to converge to the element CU in K » i^f for every real number £. > 0 , there exists an integer Nce) such that la^-Cul < ^ for -rv y^ NCe) . In terms of the metric, more explicitly, this means that PCdyu, Cl/)-> 0 , •Xi _^ CO • The sequence •[Q./>^] is said to be a Cauchy sequence if for every real number 6. > 0 there exists an UC&) such that \Ci'y[-(X'Yv\\ <S whenever ru.YW ;:> NCE-j. In tenas of the metric this means PCd^, OL'TA) -> 0 as n,'rv\ -> oo , independently of each other. However, it is clear from the following proposition that the independence of VL , rrt in the above definition is of no significance in a non- archimedian valued field.
Load more

Recommended publications
  • 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]
  • Locally Convex Spaces Manv 250067-1, 5 Ects, Summer Term 2017 Sr 10, Fr
    LOCALLY CONVEX SPACES MANV 250067-1, 5 ECTS, SUMMER TERM 2017 SR 10, FR. 13:15{15:30 EDUARD A. NIGSCH These lecture notes were developed for the topics course locally convex spaces held at the University of Vienna in summer term 2017. Prerequisites consist of general topology and linear algebra. Some background in functional analysis will be helpful but not strictly mandatory. This course aims at an early and thorough development of duality theory for locally convex spaces, which allows for the systematic treatment of the most important classes of locally convex spaces. Further topics will be treated according to available time as well as the interests of the students. Thanks for corrections of some typos go out to Benedict Schinnerl. 1 [git] • 14c91a2 (2017-10-30) LOCALLY CONVEX SPACES 2 Contents 1. Introduction3 2. Topological vector spaces4 3. Locally convex spaces7 4. Completeness 11 5. Bounded sets, normability, metrizability 16 6. Products, subspaces, direct sums and quotients 18 7. Projective and inductive limits 24 8. Finite-dimensional and locally compact TVS 28 9. The theorem of Hahn-Banach 29 10. Dual Pairings 34 11. Polarity 36 12. S-topologies 38 13. The Mackey Topology 41 14. Barrelled spaces 45 15. Bornological Spaces 47 16. Reflexivity 48 17. Montel spaces 50 18. The transpose of a linear map 52 19. Topological tensor products 53 References 66 [git] • 14c91a2 (2017-10-30) LOCALLY CONVEX SPACES 3 1. Introduction These lecture notes are roughly based on the following texts that contain the standard material on locally convex spaces as well as more advanced topics.
    [Show full text]
  • Functional Properties of Hörmander's Space of Distributions Having A
    Functional properties of Hörmander’s space of distributions having a specified wavefront set Yoann Dabrowski, Christian Brouder To cite this version: Yoann Dabrowski, Christian Brouder. Functional properties of Hörmander’s space of distributions having a specified wavefront set. 2014. hal-00850192v2 HAL Id: hal-00850192 https://hal.archives-ouvertes.fr/hal-00850192v2 Preprint submitted on 3 May 2014 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Communications in Mathematical Physics manuscript No. (will be inserted by the editor) Functional properties of H¨ormander’s space of distributions having a specified wavefront set Yoann Dabrowski1, Christian Brouder2 1 Institut Camille Jordan UMR 5208, Universit´ede Lyon, Universit´eLyon 1, 43 bd. du 11 novembre 1918, F-69622 Villeurbanne cedex, France 2 Institut de Min´eralogie, de Physique des Mat´eriaux et de Cosmochimie, Sorbonne Univer- sit´es, UMR CNRS 7590, UPMC Univ. Paris 06, Mus´eum National d’Histoire Naturelle, IRD UMR 206, 4 place Jussieu, F-75005 Paris, France. Received: date / Accepted: date ′ Abstract: The space Γ of distributions having their wavefront sets in a closed cone Γ has become importantD in physics because of its role in the formulation of quantum field theory in curved spacetime.
    [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]
  • Quasi-Barrelled Locally Convex Spaces 811
    i960] quasi-barrelled locally convex spaces 811 Bibliography 1. R. E. Lane, Absolute convergence of continued fractions, Proc. Amer. Math. Soc. vol. 3 (1952) pp. 904-913. 2. R. E. Lane and H. S. Wall, Continued fractions with absolutely convergent even and odd parts, Trans. Amer. Math. Soc. vol. 67 (1949) pp. 368-380. 3. W. T. Scott and H. S. Wall, A convergence theorem for continued fractions, Trans. Amer. Math. Soc. vol. 47 (1940) pp. 155-172. 4. H. S. Wall, Analytic theory of continued fractions, New York, D. Van Nostrand Company, Inc., 1948. The University of Texas and University of Houston QUASI-BARRELLED LOCALLY CONVEX SPACES MARK MAHOWALD AND GERALD GOULD 1. Introduction and preliminary definitions. The main object of this paper is to answer some problems posed by Dieudonné in his paper Denumerability conditions in locally convex vector spaces [l]. His two main results are as follows: Proposition 1. If Eis a barrelled space on which there is a countable fundamental system of convex compact subsets, [Definition 1.2] then it is the strong dual of a Fréchet-Montel Space. Proposition 2. If E is either bornological or barrelled, and if there is a countable fundamental system of compact subsets, then E is dense in the strong dual of a Fréchet-Montel Space. Two questions raised by Dieudonné in connection with these results are: (a) If E is either bornological or barrelled then it is certainly quasi- barrelled [l, Chapter 3, §2, Example 12]. Can one substitute this weaker condition on E in Proposition 2? (b) Is there is an example of a quasi-barrelled space which is neither barrelled nor bornological? We shall show that the answer to (a) is "Yes," and that the answer to (b) is also "Yes," so that the generalization is in fact a real one.
    [Show full text]
  • Canonical Metric on Moduli Spaces of Log Calabi-Yau Varieties Hassan Jolany
    Canonical metric on moduli spaces of log Calabi-Yau varieties Hassan Jolany To cite this version: Hassan Jolany. Canonical metric on moduli spaces of log Calabi-Yau varieties . 2017. hal-01413746v3 HAL Id: hal-01413746 https://hal.archives-ouvertes.fr/hal-01413746v3 Preprint submitted on 14 Feb 2017 (v3), last revised 20 Jun 2017 (v4) HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Canonical metric on moduli spaces of log Calabi-Yau varieties Hassan Jolany February 14, 2017 Abstract In this paper, we give a short proof of closed formula [9],[18] of loga- rithmic Weil-Petersson metric on moduli space of log Calabi-Yau varieties (if exists!) of conic and Poincare singularities and its connection with Bismut-Vergne localization formula. Moreover we give a relation between logarithmic Weil-Petersson metric and the logarithmic version of semi Ricci flat metric on the family of log Calabi-Yau pairs with conical sin- gularities. In final we consider the semi-positivity of singular logarithmic Weil-Petersson metric on the moduli space of log-Calabi-Yau varieties. Moreover, we show that Song-Tian-Tsuji measure is bounded along Iitaka fibration if and only if central fiber has log terminal singularities and we consider the goodness of fiberwise Calabi-Yau metric in the sense of Mumford and goodness of singular Hermitian metric corresponding to Song-Tian-Tsuji measure.
    [Show full text]
  • Canonical Metric on a Mildly Singular Kähler Varieties with an Intermediate Log Kodaira Dimension Hassan Jolany
    Canonical metric on a mildly singular Kähler varieties with an intermediate log Kodaira dimension Hassan Jolany To cite this version: Hassan Jolany. Canonical metric on a mildly singular Kähler varieties with an intermediate log Kodaira dimension. 2017. hal-01413751v2 HAL Id: hal-01413751 https://hal.archives-ouvertes.fr/hal-01413751v2 Preprint submitted on 21 Jun 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Canonical metric on a mildly singular Kahler¨ varieties with an intermediate log Kodaira dimension HASSAN JOLANY Existence of canonical metric on a canonical model of projective singular variety was a long standing conjecture and the major part of this conjecture is about varieties which do not have definite first Chern class(most of the varieties do not have definite first Chern class). There is a program which is known as Song-Tian program for finding canonical metric on canonical model of a projective variety by using Minimal Model Program. In this paper, we apply Song-Tian program for mildly singular pair (X; D) via Log Minimal Model Program where D is a simple normal crossing divisor on X with conic singularities.
    [Show full text]
  • Some Examples on Quasi-Barrelled Spaces Annales De L’Institut Fourier, Tome 22, No 2 (1972), P
    ANNALES DE L’INSTITUT FOURIER MANUEL VALDIVIA Some examples on quasi-barrelled spaces Annales de l’institut Fourier, tome 22, no 2 (1972), p. 21-26 <http://www.numdam.org/item?id=AIF_1972__22_2_21_0> © Annales de l’institut Fourier, 1972, tous droits réservés. L’accès aux archives de la revue « Annales de l’institut Fourier » (http://annalif.ujf-grenoble.fr/) implique l’accord avec les conditions gé- nérales d’utilisation (http://www.numdam.org/conditions). Toute utilisa- tion commerciale ou impression systématique est constitutive d’une in- fraction pénale. Toute copie ou impression de ce fichier doit conte- nir 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. Inst. Fourier, Grenoble 22, 2 (1972), 21-26. SOME EXAMPLES ON QUASI-BARRELLED SPACES Q by Manuel VALDIVIA J. Dieudonne has proved in [2] the following theorem: a) Let E be a bornological space. If F is a subspace of E, of finite codimension, then F is bornological. We have given in [6] and [7], respectively, the following results : b) Let E be a quasi-barrelled space. If ¥ is a subspace of E, of finite codimension, then F is quasi-barrelled. c) Let E be an ultrabornological space. If ¥ is a subspace of E, of infinite countable codimension, then ¥ is bornological. The results a), b) and c) lead to the question if the results a) and b) will be true in the case of being F a subspace of infinite countable codimension. In this paper we give an example of a bornological space E, which has a subspace F, of infinite countable codimension, such that F is not quasi-barrelled.
    [Show full text]
  • Pointwise Bornological Vector Spaces
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Topology and its Applications 157 (2010) 1558–1568 Contents lists available at ScienceDirect Topology and its Applications www.elsevier.com/locate/topol Pointwise bornological vector spaces Tom Vroegrijk Universiteit Antwerpen, Middelheimlaan 1, Antwerpen, Belgium article info abstract Article history: The existing duality between topological and bornological vector spaces allows us to define Received 31 October 2008 bornological objects in the category of topological vector spaces. For a Tychonoff space X Received in revised form 2 April 2009 and a set B of relatively pseudocompact subsets of X,thevectorspaceC(X) endowed Accepted 6 May 2009 with the topology of uniform convergence on elements of B is a locally convex topological vector space, the bornological coreflection of which is described in [J. Schmets, Espaces de MSC: 18B30 Fonctions Continues, Lecture Notes in Math., vol. 519, Springer-Verlag, Berlin, Heidelberg, 57N17 New York, 1976; J. Schmets, Spaces of Vector-Valued Functions, Lecture Notes in Math., 54E99 vol. 1003, Springer-Verlag, Berlin, Heidelberg, New York, 1983; J. Dontchev, S. Salbany, V. Valov, Barrelled and bornological function spaces, J. Math. Anal. Appl. 242 (2000) 1– Keywords: 17; J. Schmets, Spaces of vector-valued continuous functions, in: Proceedings Vector Space Bornology Measures and Applications I, Dublin, 1977, in: Lecture Notes in Math., vol. 644, Springer- Duality Verlag, Berlin, Heidelberg, New York, 1978, pp. 368–377; J. Schmets, Bornological and Quasinorm ultrabornological C(X, E) spaces, Manuscripta Math. 21 (1977) 117–133]. If the elements Function space of B are not supposed to be relatively pseudocompact, then this topology is no longer a Coreflection vector topology and the bounded sets do not form a bornology, so the classical theory on bornologicity cannot be applied to it.
    [Show full text]
  • ON NONBORNOLOGICAL BARRELLED SPACES 0 by Manuel VALDIVIA
    Ann. Inst. Fourier, Grenoble 22, 2 (1972), 27-30. ON NONBORNOLOGICAL BARRELLED SPACES 0 by Manuel VALDIVIA L. Nachbin [5] and T. Shirota [6], give an answer to a problem proposed by N. Bourbaki [1] and J. Dieudonne [2], giving an example of a barrelled space, which is not bornological. Posteriorly some examples of nonbornological barrelled spaces have been given, e.g. Y. Komura, [4], has constructed a Montel space which is not bornological. In this paper we prove that if E is the topological product of an uncountable family of barrelled spaces, of nonzero dimension, there exists an infinite number of barrelled subspaces of E, which are not bornological.We obtain also an analogous result replacing « barrelled » by « quasi-barrelled ». We use here nonzero vector spaces on the field K of real or complex number. The topologies on these spaces are sepa- rated. If E is a separated locally convex space, we denote, as usual, by E', a(E', E) and (3(E', E), the topological dual of E, the weak topology on E', and the strong topology on E', respectively. If A is a bounded, closed and absolutely convex set of E, we denote by EA the linear hull of A equipped with the norm associated to A. We shall need the following result of J. Dieudonne [3] : a) Let E be a bornological space. If F is a subspace of E, of finite codimension, then F is bornological. THEOREM 1. — If E is the topological product of the barrelled spaces E;, i e I, where I is an uncountable set, there exists (l) Supported in part by the « Patronato papa el Fomento de la Investigacion en la Universidad ».
    [Show full text]
  • Duality of Bochner Spaces by Seppo I
    Duality of Bochner spaces by Seppo I: Hiltunen Abstract. We construct the generalized Lebesgue { Bochner spaces mvL p ( µ ; Π ) for pos- itive measures µ and for suitable real or complex topological vector spaces Π so that for 1 < p < +1 and Banachable Π with separable topology the strong dual of the classical mv p mv p∗ 0 Bochner space L ( µ ; Π ) becomes canonically represented by L ( µ ; Πσ ) . Hence we 0 need no separability assumption of the norm topology of the strong dual Π of Π . For p = 1 and for suitably restricted positive measures µ we even get a similar result without any separability of the norm topology of the target space Π . For positive Radon mea- sures on locally compact topological spaces these results are essentially contained on pages 588 { 606 in R. E. Edwards' classical Functional Analysis. Introduction and some preliminaries Our main objective in this article is the following A1 Theorem. Let 1 ≤ p < +1 , and let q = (1 − p −1 −1 if p 6= 1, and q = +1 if p = 1. Further, let µ be a positive measure on Ω, and with K 2 ftf R ; tfC g let Π 2 BaS (K ) be such that (1) or (2) or (3) or (4) or (5) or (6) below holds when mv p (D) means that µ is almost decomposable. Also let F = L (µ ; Π ), and F1 = mv q 0 L (µ ; Πσ ) if (1) or (2) or (5) or (6) below holds, otherwise letting F1 = mv q 0 Ls (µ ; Πσ ) . For R ι = h υs F × C \ f ( X ; t): 8 x 2 X ; y 2 Y ; t = Ω y : x d µ g : Y 2 υs F1 i 0 mv q 0 then ι 2 Liis (F1 ;F ) holds.
    [Show full text]
  • Order Bornological Spaces and Order Ultrabornological Spaces
    Order bornological spaces and order ultrabornological spaces Liang Hong Department of Mathematics Robert Morris University Moon Township, PA 15108, USA Email: [email protected] May 15, 2019 Abstract Ordered locally convex spaces is an important classes of spaces in the theory of ordered topological vector spaces just as locally con- vex spaces in the theory of topological vector spaces. Some special classes of ordered locally convex spaces such as order infrabarrelled spaces have been studied. The purpose of this paper is to initiate the study of order bornological spaces and their fundamental properties. In addition, order ultrabornological spaces is also investigated as an important special class of order bornological spaces. 1 Notation and basic concepts arXiv:1508.07983v2 [math.FA] 13 May 2019 For notation, terminology and standard results concerning topological vec- tor spaces, we refer to [3], [9], [12] and [13]; for notation, terminology and standard results concerning Riesz spaces, we refer to [1], [2], [11] and [17]. A partially ordered set X is called a lattice if the infimum and supremum of any pair of elements in X exist. A real vector space X is called an ordered vector space if its vector space structure is compatible with the order structure in a manner such that (a) if x ≤ y, then x + z ≤ y + z for any z ∈ X; 1 (b) if x ≤ y, then λx ≤ λy for all λ ≥ 0. An ordered vector space is called a Riesz space (or a vector lattice) if it is also a lattice at the same time. A vector subspace of a Riesz space is said to be a Riesz subspace if it is closed under the lattice operation ∨.
    [Show full text]