MAXIMAL D-IDEALS in a RIESZ SPACE

Total Page:16

File Type:pdf, Size:1020Kb

MAXIMAL D-IDEALS in a RIESZ SPACE Can. J. Math., Vol. XXXV, No. 6, 1983, pp. 1010-1029 MAXIMAL d-IDEALS IN A RIESZ SPACE CHARLES B. HUIJSMANS AND BEN DE PAGTER 1. Introduction. We recall that the ideal / in an Archimedean Riesz space L is called a d-ideal whenever it follows from/ e / that {/} c /. Several authors (see [4], [5], [6], [12], [13], [15] and [18] ) have considered the class of all d-ideals in L, but the set^ of all maximal d-ideals in L has not been studied in detail in the literature. In [12] and [13] the present authors paid some attention to certain aspects of the theory of maximal d-ideals, however neglecting the fact that^, equipped with its hull-kernel topology, is a structure space of the underlying Riesz space L. The main purpose of the present paper is to investigate the topological properties of^ and to compare^ to other structure spaces of L, such as the space Jt of minimal prime ideals and the space Qe of all ^-maximal ideals in L (where e > 0 is a weak order unit). This study of^ makes it for instance possible to place some recent results of F. K. Dashiell, A. W. Hager and M. Henriksen [7], concerning the order completion of C(X) in the general setting of Riesz spaces. After establishing some preliminary results in Section 2, it is proved in Section 3 that for any uniformly complete Riesz space L with weak order unit the spaced is a compact quasi-F-space. This result makes it possible to use^ for the description of the order completion of L, which is done in Section 4. Furthermore we consider what conditions have to be imposed on L in order that^ is an F-space, basically disconnected or extremally disconnected respectively. In Section 5 it is investigated what effect e certain homeomorphisms between^, Jt9 and £ have on L. Finally in Section 6, we interpret some of the results in the case that L is the Riesz space C(X). It turns out that ^ is precisely the minimal quasi-F-cover K(X) of X, as introduced in [7]. We can apply therefore the results of Sections 4 and 5 to the space K(X). Moreover, it is shown that the representation of the order completion of L which we have obtained in Section 4 is in the case L = C(X) precisely the realization of the order completion as obtained in [7]. Received March 19, 1982 and in revised form January 21, 1983. Work by the second author on this paper was supported by a NATO-Science Fellowship from the Netherlands Organization for the Advancement of Pure Research (Z.W.O.). 1010 Downloaded from https://www.cambridge.org/core. 02 Oct 2021 at 07:38:29, subject to the Cambridge Core terms of use. MAXIMAL D-IDEALS 1011 2. Sème preliminary results. All Riesz spaces considered in this paper are supposed to be Archimedean. For the terminology and unproved properties of Riesz spaces we refer to [16]. Throughout this paper relatively uniformly complete (closed) is called uniformly complete (closed). Let L be an Archimedean Riesz space. Definition 2.1 (see [12], Section 4). The ideal / in L is called a d-ideal if it follows from/ e / that {f}dd c /. It is immediate from the definition that the ideal / is a d-ideal if and only if/G/,gGL and {f}dd = {g}dd imply gel. All er-ideals in L (and hence all bands) are d-ideals. Moreover, every minimal prime ideal is a d-ideal. For any non-empty subset D of L, the d-ideal E(D) generated by D is the intersection of all d-ideals containing D. The proof of the next lemma is routine. LEMMA 2.2. E(D) = {/ e L3d{, dn e D such that /e {|ddV...V|d,?/|}^}. In particular, every principal d-ideal is of the form {/} . The proper d-ideal J in L is called a maximal d-ideal if L is the only d-ideal in which J is properly contained. We denote the set of all maximal d-ideals by^. Every maximal d-ideal is a (proper) prime ideal (see [12], Section 6). If L has in addition a weak order unit e > 0, then, by a Zorn argument, every proper d-ideal is contained in some maximal d-ideal. We équipa with its hull-kernel topology by choosing as a base for the open sets all subsets of the form {J}u = {J G Jd\u & J} with 0 ^ u G L ( [16], Section 36). The closed sets in this topology are precisely the hulls of subsets of L, i.e., sets of the form h(D) = [J e fd\D c /}. Clearly, we can replace D in this formula by the d-ideal E(D) generated by D. From the next proposition it follows thâtjy is a structure space of L. PROPOSITION 2.3. Let L be an Archimedean Riesz space with weak order unit e > 0. (i)c^ ^ a compact Hausdorff space. (ii) n {JJ e^} = {0}. Proof, (i) This is similar to the proof of [16], Theorem 36.4. (ii) For any 0 < u e L there exists n G N such that (nu — e)+ > 0. Downloaded from https://www.cambridge.org/core. 02 Oct 2021 at 07:38:29, subject to the Cambridge Core terms of use. 1012 C.B. HUIJSMANS AND B. DE PAGTER Since (nu - e)+ £ I = {(nu - e)~}dd, the ideal / is, as a proper d-ideal, contained in some maximal d-ideal J. We claim that u & J. Indeed, u ^ J would imply that (nu — e)+ e J. Combined with (nu — e)~ <E J this would result in e e /, a contradiction. For future purposes we collect finally some simple properties of maximal d-ideals. The proof is omitted. PROPOSITION 2.4. In any Archimedean Riesz space L with a weak order unit e > 0 the following statements hold. dd (i) {u} = n {J <=fd:u G J} for allO ^ u e L. (ii) {J}u c {^}v if and only if {u}dd c {v}^(0 ^ M, v G L). In [13], Remark 7.6 (iii) it is observed that in any Archimedean Riesz space with a weak order unit every a-ideal is an intersection of maximal d-ideals, so Proposition 2.4 (i) is a special case of the former result. 3. The quasi-F-space ^. The main purpose of this section is to prove that for any uniformly complete Archimedean Riesz space L with a weak order unit the spaced is a quasi-F-space. We recall that a completely regular Hausdorff space X is said to be a quasi-F-space whenever every bounded continuous function on a dense cozero-set has a continuous extension to the whole of X, i.e., every dense cozero-set in X is Q-embedded. Quasi-F-spaces were orginally defined in [7], Definition 3.6. The following lemma gives a simple characterization of quasi-F-spaces. LEMMA 3.1 ( [18], Lemma 11.9). Let X be a completely regular Hausdorff space. The following are equivalent. (i) X is a quasi-F-space. (ii) For any two zero-sets Z\ and Z2 in X with disjoint interiors, the sets int Z\ and int Z^ are completely separated by a continuous function. The next theorem gives more information about the topological structure of^. THEOREM 3.2. Let L be an Archimedean uniformly complete Riesz space with weak order unit e > 0. Then the space J^ is a quasi-F-space. Proof. We use the criterion of Lemma 3.1, so suppose that Z\ and Z2 are zero-sets in^ such that Downloaded from https://www.cambridge.org/core. 02 Oct 2021 at 07:38:29, subject to the Cambridge Core terms of use. MAXIMAL D-IDEALS 1013 (int Zj) n (int Z2) = 0. Following [22], Lemma 6.2, there exist 0 ^ i/,7 G L, 0 ^ vw e L (n = 1, 2, . ) such that OO CO Zj = n {/}„, Z. = n L/}v. Since Z! and Z2 are closed, Zj = h(I\) and Z2 = h(I2) for appropriate d-ideals ^ and I2 in L. From h(I\) c {/}Mn it follows that £(/j, ww) = L (n = 1, 2, . ). There exists, therefore, an element 0 ^ wn <E J^ such /J that e <E {w„ V w,?}' (see Lemma 2.2), i.e., un V wn is a weak order unit. Without loss of generality we may assume 0 < wn = e (n = \, 2, . .). Analogously, there exist elements zn E 72, 0 = zn ~ e such that v„ V zn are weak order units in L («=1,2,...). Now define CO CO W P = 2 2- HV <? = 2 2-»z„ /I = 1 /7 = 1 (^-uniformly convergent series). Clearly p e I\ and g G I2 . We assert that/? V g is a weak order unit in L. To this end, take 0 ^ y e L such that j A (/? V </) = 0. It follows that y A w„ = y A zn = 0 (w = 1,2,...). dd Since un V H>„ is a weak order unit we have y e. {W„ V wn} - Hence, y A {*(«BVH'H)} TA >% so J> A (k Un) TA- V tW which implies>> e {w,7} . By Proposition 2.4 (ii), {/}v c {J}Ufi. Similarly, it is shown that {J}y c {</}v,;. It follows easily that {J}v c int (Z0 n int (Z2), so {/}r = 0, i.e., y = 0 (Proposition 2.3 (ii) ). Therefore/? V g is a weak order unit.
Recommended publications
  • Contents 1. Introduction 1 2. Cones in Vector Spaces 2 2.1. Ordered Vector Spaces 2 2.2
    ORDERED VECTOR SPACES AND ELEMENTS OF CHOQUET THEORY (A COMPENDIUM) S. COBZAS¸ Contents 1. Introduction 1 2. Cones in vector spaces 2 2.1. Ordered vector spaces 2 2.2. Ordered topological vector spaces (TVS) 7 2.3. Normal cones in TVS and in LCS 7 2.4. Normal cones in normed spaces 9 2.5. Dual pairs 9 2.6. Bases for cones 10 3. Linear operators on ordered vector spaces 11 3.1. Classes of linear operators 11 3.2. Extensions of positive operators 13 3.3. The case of linear functionals 14 3.4. Order units and the continuity of linear functionals 15 3.5. Locally order bounded TVS 15 4. Extremal structure of convex sets and elements of Choquet theory 16 4.1. Faces and extremal vectors 16 4.2. Extreme points, extreme rays and Krein-Milman's Theorem 16 4.3. Regular Borel measures and Riesz' Representation Theorem 17 4.4. Radon measures 19 4.5. Elements of Choquet theory 19 4.6. Maximal measures 21 4.7. Simplexes and uniqueness of representing measures 23 References 24 1. Introduction The aim of these notes is to present a compilation of some basic results on ordered vector spaces and positive operators and functionals acting on them. A short presentation of Choquet theory is also included. They grew up from a talk I delivered at the Seminar on Analysis and Optimization. The presentation follows mainly the books [3], [9], [19], [22], [25], and [11], [23] for the Choquet theory. Note that the first two chapters of [9] contains a thorough introduction (with full proofs) to some basics results on ordered vector spaces.
    [Show full text]
  • Riesz Spaces Valued Measures and Processes Bulletin De La S
    BULLETIN DE LA S. M. F. NASSIF GHOUSSOUB Riesz spaces valued measures and processes Bulletin de la S. M. F., tome 110 (1982), p. 233-257 <http://www.numdam.org/item?id=BSMF_1982__110__D233_0> © Bulletin de la S. M. F., 1982, tous droits réservés. L’accès aux archives de la revue « Bulletin de la S. M. F. » (http: //smf.emath.fr/Publications/Bulletin/Presentation.html) 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 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/ Bull. 5<?c, ^.2ik. pr^ce, 110, 1982, p. 233-257. RIESZ SPACES VALUED MEASURES AND PROCESSES BY NASSIF GHOUSSOUB (*) ABSTRACT. — We give necessary and sufficient conditions for the weak convergence (resp. strong convergence, resp. order convergence) of L1-bounded (resp. uniformly bounded, resp. order bounded) supermartingales and, more generally, order asymptotic martingales valued in Banach lattices. RESUME. - On donne des conditions nccessaircs et suffisantes pour la convergence faible (resp. tone, resp. pour Fordre) des surmartingales et plus generalement des martingales asymptotiques pour Fordro a valeurs dans un treillis de Banach et qui sont bomees dans L1 (resp. uniformement bomees, resp. bomees pour 1'ordre). 0. Introduction This paper is mainly concerned with Riesz spaces valued measures and processes. We first study the lattice properties of processes of vector measures valued in an ordered vector space, but the main goal is to analyze those Banach lattice-valued processes of random variables, which include martingales, submartingales and supermartingales, that is an extension of the notion of asymptotic martingales to the infinite dimensional setting.
    [Show full text]
  • Semantics of Higher-Order Probabilistic Programs with Conditioning
    Semantics of higher-order probabilistic programs with conditioning Fredrik Dahlqvist Dexter Kozen University College London Cornell University [email protected] [email protected] Abstract—We present a denotational semantics for higher- exponentials. To accommodate conditioning and Bayesian order probabilistic programs in terms of linear operators between inference, we introduce ‘Bayesian types’, in which values are Banach spaces. Our semantics is rooted in the classical theory of decorated with a prior distribution. Based on this foundation, Banach spaces and their tensor products, but bears similarities with the well-known semantics of higher-order programs a` we give a type system and denotational semantics for an la Scott through the use ordered Banach spaces which allow idealized higher-order probabilistic language with sampling, definitions in terms of fixed points. Being based on a monoidal conditioning, and Bayesian inference. rather than cartesian closed structure, our semantics effectively We believe our approach should appeal to computer sci- treats randomness as a resource. entists, as it is true to traditional Scott-style denotational se- mantics (see IV-D). It should also appeal to mathematicians, I. INTRODUCTION statisticians and§ machine learning theorists, as it uses very Probabilistic programming has enjoyed a recent resurgence familiar mathematical objects from those fields. For example, of interest driven by new applications in machine learning a traditional perspective is that a Markov process is just a and statistical analysis of large datasets. The emergence of positive linear operator of norm 1 between certain Banach probabilistic programming languages such as Church and lattices [7, Ch. 19]. These are precisely the morphisms of our Anglican, which allow statisticians to construct and sample semantics.
    [Show full text]
  • Characterizations and Classifications of Some Classical Banach Spaces
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - Publisher Connector ADVANCES IN MATHEMATICS 12, 367-401 (1974) Characterizations and Classifications of Some Classical Banach Spaces H. ELTON LACEY AND S. J. BERNAU* Department of Mathematics, University of Texas, ~tustin, Texas 78712 Communicated by E. Hewitt The classical Banach spaces L~(/~) and sublattices of C(T) are characterized in terms of their lattice structure. Isomorphic classifications of L~(/z) are also presented for the case of a finite measure. Also, some Banach space charac- terizations of L~(#) are developed. l. PRELIMINARIES The purpose of this paper is to present a survey of some structure theorems for certain classes of Banach spaces. These spaces are known as "classical Banach spaces." The spaces we are concerned with are of two distinct types, namely, Lp(/~) for 1 ~< p < oo and sublattices of C(T) for some compact Hausdorff space T. While most of the theorems in this paper have appeared in research papers, some of them are not widely known. Also, certain proofs have been heretofore inacessible and certain definitions not generally agreed upon (viz. the definition of an abstract L9 space). The discussion will of necessity include topics in the areas of measure theory, Boolean algebras, Banach spaces, Banach lattices, cardinal and ordinal numbers, and compact Hausdorff spaces. Such diversity makes it impossible for this paper to be completely self-contained. The reader is invited to check [11], [14], and [24] for any unexplained terminology or the necessary background theorems. We shall present a brief discussion of the parts of these areas which are used herein.
    [Show full text]
  • View Those Results As Characteriza- Tions of When the Identity Mapping Is Continuous with Respect to the Unbounded/Classical Convergences
    Unbounded convergences in vector lattices by Mitchell A. Taylor A thesis submitted in partial fulfillment of the requirements for the degree of Master of Science in Mathematics Department of Mathematical and Statistical Sciences University of Alberta © Mitchell A. Taylor, 2018 Abstract Abstract. Suppose X is a vector lattice and there is a notion σ of convergence xα x in X. Then we can speak of an “un- −→ uσ bounded” version of this convergence by saying that xα x −−→ σ if xα x u 0 for every u X+. In the literature the | − | ∧ −→ ∈ unbounded versions of the norm, order and absolute weak con- vergence have been studied. Here we create a general theory of unbounded convergence, but with a focus on uo-convergence and those convergences deriving from locally solid topologies. We also give characterizations of minimal topologies in terms of unbounded topologies and uo-convergence. At the end we touch on the theory of bibases in Banach lattices. ii iii Preface The research in this thesis is an amalgamation of the papers Un- bounded topologies and uo-convergence in locally solid vector lattices, Metrizability of minimal and unbounded topologies, Completeness of unbounded convergences, and Extending topologies to the universal σ- completion of a vector lattice. The second paper was done in collabora- tion with Marko Kandi´c, and appeared in the Journal of Mathematical Analysis and Applications. The third paper is published in the Proceed- ings of the American Mathematical Society. There are also many new results in this thesis that do not appear in the aforementioned papers. The section on bibases in Banach lattices has not yet been submitted for publication, but there are plans to do so.
    [Show full text]
  • The Ideal Center of Partially Ordered Vector Spaces
    THE IDEAL CENTER OF PARTIALLY ORDERED VECTOR SPACES BY WILBERT WILS Massachusetts Institute of Technology, Cambridge, Mass., U.S.A. Introduction and summary This paper is concerned with a partially ordered vector space E over R such that E = E+-E +. The ideal center ZE of E is the algebra of endomorphisms of E which are bounded by a multiple of the identity operator I. Zs turns out to be a very useful tool in digging up remnants of lattice structure. It provides e.g. a missing link between the theory of simplicial spaces introduced by Effros [13] and the theory of C*-algebras. As a result a simple proof is obtained of the general extension theorem [1, 5.2.] for certain func- tions on the extreme boundary of compact convex sets in locally convex spaces proved by Andersen and Alfsen. A unified treatment is given of maximal measures on simplices and central measures on state spaces of C* algebras. In w 1 the algebraic foundations for the subsequent theory are laid. If the ordering on E is Archimedean then ZE is isomorphic to a dense subalgebra of C(~) where ~ is a compact Hausdorff space. The relation of ZE with relics of lattice struc- ture becomes clear in studying the idempotents in ZE which are precisely the extremal points of (ZE)~. The images SE+ of such elements are called split-faces of E + because they induce a splitting of E, which is similar to the decomposition in disjoint comple- mentary bands in the lattice setting. An important property of the set of split-faces is that it is a Boolean algebra.
    [Show full text]
  • HOPF's DECOMPOSITION and RECURRENT SEMIGROUPS Josef
    HOPF'S DECOMPOSITION AND RECURRENT SEMIGROUPS Josef Teichmann Abstract. Some results of ergodic theory are generalized in the setting of Banach lattices, namely Hopf's maximal ergodic inequality and the so called Hopf decom- position (see [6]). Then these results are applied to a recently analysed problem concerning recurrent semigroups on L1-spaces (see [2],[3],[7]). 1. Introduction The following stability result has been shown by W. Arendt, C. J. K. Batty, Ph. B´enilan[2] (see also C. J. K. Batty [3]). Consider the Laplacian on L1(Rn) and a n 4 positive potential V L1(R ): If n = 1; 2, then the semigroup generated by V converges strongly to2 0 as t whenever V = 0; on the other hand, if n 3,4− then there exist V = 0, such that! the 1 semigroup is not6 stable. In fact exp t( ≥V ) leaves 6 n 4 − invariant a strictly positive function in L1(R ). I. McGillivray and M. Ouhabaz showed that the essential properties for this behaviour are recurrence (if n = 1; 2) and transience (if n 3). The purpose of this≥ paper is to line out, that these phenomena can be observed in a much more general context. In fact it seems, that positive operators on Banach lattices form the right framework for the formulation of these results. A key role is played by the Hopf decomposition theorem, which we prove in an abstract context in section 3. This seems to be of independent interest. In section 4 we prove the stability results as immediate consequences. For convenience of the reader we put together the elementary properties of Banach lattices and positive operators needed in the sequel.
    [Show full text]
  • Extensions and Liftings of Positive Linear Mappings On
    TRANSACTIONSOF THE AMERICANMATHEMATICAL SOCIETY Volume 211, 1975 EXTENSIONSAND LIFTINGS OF POSITIVE LINEARMAPPINGS ON BANACHLATTICES BY HEINRICH P. LOTZi1) ABSTRACT. Let F be a closed sublattice of a Banach lattice G. We show that any positive linear mapping from F into L (i¿) or C(X) for a Stonian space X has a positive norm preserving extension to G. A dual re- sult for positive norm preserving liftings is also established. These results are applied to obtain extension and lifting theorems for order summable and majorizing linear mappings. We also obtain some partial results concerning positive extensions and liftings of compact linear mappings. The main purpose of this paper is to establish some conditions under which positive linear mappings between Banach lattices have norm preserv- ing positive linear extensions or liftings. These results are then applied to obtain extension and lifting theorems for order summable and majorizing linear mappings and to establish the inductive and projective character of the |cr|- tensor product topology introduced by Jacobs [6]. Finally, we obtain some partial results concerning the problem of finding positive, compact linear extensions and liftings of positive compact linear mappings between Banach lattices. We begin our discussion with a summary of known results concerning the corresponding problems for continuous linear mappings between Banach spaces. Suppose that E, F and G are Banach spaces, that cf> is an isometry of F into G and that T is a continuous linear mapping of F into E. When does T have a norm preserving linear extension T:G —*E, that is, when does there exist a continuous linear mapping T of G into E such that ||T|| = ||T|| and such that the following diagram commutes? If E is the scalar field, the Hahn-Banach theorem asserts that such an exten- sion T of T always exists.
    [Show full text]
  • Arxiv:1710.03128V1 [Math.FA] 9 Oct 2017 Completeness for Vector Lattices
    Completeness for vector lattices Youssef Azouzi Research Laboratory of Algebra, Topology, Arithmetic, and Order Faculty of Mathematical, Physical and Natural Sciences of Tunis Tunis-El Manar University, 2092-El Manar, Tunisia Abstract The notion of unboundedly order converges has been recieved re- cently a particular attention by several authors. The main result of the present paper shows that the notion is efficient and deserves that care. It states that a vector lattice is universally complete if and only if it is unboundedly order complete. Another notion of completeness will be treated is the notion of sup-completion introduced by Don- ner. 1 Introduction This paper deals with various notions of completeness for a vector lattice and studies the connection between them. We will pay a particular attention to the notion of unbounded order convergence and then to the unbounded order completeness. A normed space is said to be complete if every Cauchy se- arXiv:1710.03128v1 [math.FA] 9 Oct 2017 quence is norm convergent. In contrast to this definition, notions as Dedekind completeness and universal completeness are often defined via the existence of supremum for certain families. A Dedekind complete vector lattice X is also called order complete and this is very meaningful because the order completeness is equivalent to the fact that order Cauchy nets are order con- vergent. One can ask whether or not there is an analogous characterization of universal completeness. In the recent paper [8], the authors proved that under some extra condition a vector lattice is universal complete if and only if every uo-Cauchy net is uo-convergent.
    [Show full text]
  • On the Existence of Support Points of Solid Convex Sets
    Pacific Journal of Mathematics ON THE EXISTENCE OF SUPPORT POINTS OF SOLID CONVEX SETS JURG¨ THOMAS MARTI Vol. 51, No. 1 November 1974 PACIFIC JOURNAL OF MATHEMATICS Vol. 51, No. 1, 1974 ON THE EXISTENCE OF SUPPORT POINTS OF SOLID CONVEX SETS J. T. MARTI Let E be a separable Frέchet lattice. It is shown that a solid convex set X with void interior in E is supported at each of its boundary points if and only if the span of X is not dense in E. This result then is applied to the case of solid convex sets with void interior in real Frέchet spaces with an unconditional Schauder basis and in the real Banach lattice C(S), S compact Hausdorff. 1* Introduction* If E is a real Hausdorff topological vector space and X is a convex subset of E with nonempty interior and boundary 3Xthen, by a known theorem, every point of dX supports X, that is, for every x e dX there exists a continuous nontrivial linear functional f on E such that sup f(X) = f(x). However, if X has void interior, there are examples of compact convex sets, e.g., the Hubert cube in l2 [1, p. 160], which have boundary points that are not support points. The object of this note is to investigate conditions on convex sets X with void interior in a separable real Frechet lattice E, such that every point of dX is a support point of X A theorem obtained is that for such sets X which are also solid, X is supported at each boundary point if and only if the span sp X of X is not dense in E.
    [Show full text]
  • Laplace Transformation on Ordered Linear Space of Generalized Functions K
    World Academy of Science, Engineering and Technology International Journal of Mathematical and Computational Sciences Vol:2, No:3, 2008 Laplace Transformation on Ordered Linear Space of Generalized Functions K. V. Geetha and N. R. Mangalambal Abstract—Aim. We have introduced the notion of order to multi- Let La,b denote the linear space of all complex valued normed spaces and countable union spaces and their duals. The smooth functions defined on R. Let topology of bounded convergence is assigned to the dual spaces. The aim of this paper is to develop the theory of ordered topological linear L (t)=eat, 0 ≤ t<∞ a,b spaces La,b, L (w, z), the dual spaces of ordered multinormed spaces = ebt, −∞ <t<0. La,b, ordered countable union spaces L(w, z), with the topology of bounded convergence assigned to the dual spaces. We apply Laplace (Km) be a sequence of compact subsets of R such that K1 ⊆ transformation to the ordered linear space of Laplace transformable ⊆ R generalized functions. We ultimately aim at finding solutions to non- K2 ... and such that each compact subset of is contained homogeneous nth order linear differential equations with constant in one Km. Define coefficients in terms of generalized functions and comparing different ( ) = sup | ( ) k ( )| =0 1 2 solutions evolved out of different initial conditions. γKm,k φ La,b t D φ t ,k , , ... ∈ Method. The above aim is achieved by t Km { }∞ L L • Defining the spaces La,b, L(w, z). γKm,k k=0 is a multinorm on a,b,Km where a,b,Km is • Assigning an order relation on these spaces by identifying a the subspace of La,b whose elements have their support in positive cone on them and studying the properties of the cone.
    [Show full text]
  • Banach Lattices in Applications
    J. Banasiak Department of Mathematics and Applied Mathematics University of Pretoria, Pretoria, South Africa BANACH LATTICES IN APPLICATIONS Contents 1 Introduction ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 5 2 Basics ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 7 1 Defining Order . .7 2 Order and Norm . 13 3 Sublattices, Ideals and Bands . 17 3.1 Complexification . 19 4 Some other stuff . 21 3 Operators on Banach Lattices ::::::::::::::::::::::::::::::::::::::::::::::::::::::: 23 1 Types of operators . 23 1.1 Positive functionals . 27 1.2 Positive operators on complex Banach lattices. 27 2 Perron{Frobenius theorems . 29 2.1 Basics of spectral theory . 29 References ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 33 Index :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 35 1 Introduction The common feature of many models coming from natural and engineering sciences is that the solutions represent the distribution of the particles of various sizes and thus they should be coordinate-wise nonnegative (provided the initial distribution is physically realistic; that is, also non-negative). Though mostly we work with spaces of continuous or integrable functions, or sequences, where the nonnegativity of an element f is understood as f(x) ≥ 0 pointwise or µ-almost everywhere in the former case and fn ≥ 0 for any n in the latter case, ertain results are easier to formulate in a more general setting. Thus we shall briefly present basic concepts of the theory of Banach lattices; that is, Banach spaces with order compatible with the norm. The presentation is based on classical textbooks on Banach lattices, see e.g. [1, 2, 3, 4, 5, 6]. 2 Basics 1 Defining Order In a given vector space X an order can be introduced either geometrically, by defining the so-called positive cone (in other words, by saying what it means to be a positive element of X), or through the axiomatic definition: Definition 2.1.
    [Show full text]