Tensor products in Riesz space theory
|
|
- Jack Carr
- 6 years ago
- Views:
Transcription
1 Tensor products in Riesz space theor Jan van Waaij Master thesis defended on Jul 16, 2013 Thesis advisors dr. O.W. van Gaans dr. M.F.E. de Jeu Mathematical Institute, Universit of Leiden
2 CONTENTS 2 Contents Contents 2 Preface 4 Acknowledgments 5 List of smbols 6 1 Riesz space theor Partiall ordered vector spaces Morphisms Order ideals Relativel uniform topolog Norms on partiall ordered vector spaces Order denseness Free spaces Free vector spaces and free Riesz spaces Free normed Riesz space and free Banach lattice Riesz completion The Riesz completion of a directed partiall ordered vector space The Riesz completion of a pre-riesz space Morphisms Riesz* bimorphisms 29 5 The Archimedean completion The Archimedean completion of a partiall ordered vector space The Archimedean completion of a Riesz space The Archimedean Riesz tensor product 39 7 The integrall closed Riesz* tensor product 43 8 The positive tensor product Tensor cones Construction of the positive tensor product via a free Riesz space Construction of the positive tensor product via the Archimedean Riesz tensor product 50 9 Eamples Tensor product of R m and R n Tensor product of polhedral cones
3 CONTENTS 3 10 Fremlin space tensor product Definition and properties Construction of Fremlin space tensor product Banach lattice tensor product Definitions and properties Construction of the normed Riesz space and Banach lattice tensor product via a free normed Riesz space Fremlin space tensor product and Banach lattice tensor product Open problems 62 References 63 Inde 64
4 PREFACE 4 Preface The aim of m master project is to stud several tensor products in Riesz space theor and in particular to give new constructions of tensor products of integrall closed directed partiall ordered vector spaces, also known as integrall closed pre-riesz spaces, and of Banach lattices without making use of the constructions b D.H. Fremlin [3, 4]. To do this, we made use of socalled free Riesz spaces and free Banach lattices. Our second aim was to find out if positive linear maps as universal mappings are reall so natural as the seems to be. The so-called Riesz* homomorphism and bimorphisms seems to be more natural as universal mappings for pre-riesz spaces, since Riesz* homomorphisms etends to Riesz homomorphism between the Riesz completions. Therefore we define the integrall closed Riesz* tensor product. Under some conditions, Riesz* bimorphisms etends to Riesz bimorphisms between the Riesz completions and we can prove that the integrall closed Riesz* tensor product actuall eists. In the cases where it eists, it is equal to the usual tensor product of integrall closed pre-riesz spaces; the positive tensor product. It turns out that the positive tensor product E F of integrall closed pre-riesz spaces E and F has the nice propert that the Riesz completion of E F is the Archimedean Riesz tensor product of the Riesz completions E r and F r. Moreover, : E F E F is a Riesz* bimorphism and the restriction of the Riesz bimorphism : E r F r E r F r where we view E as a subspace of E r and F as a subspace of F r. We give a positive answer to the open problem in [7]; the Archimedean tensor cone is equal to the Fremlin tensor cone. After all we consider the tensor product of partiall ordered vector spaces with Fremlin norm and norm closed cone and we calculate the positive tensor product of polhedral cones.
5 ACKNOWLEDGMENTS 5 Acknowledgments I would like to thank Marcel de Jeu and Onno van Gaans for their support and help during m master project and b writing this thesis.
6 LIST OF SYMBOLS 6 List of smbols A l A u [, ] A A A E + E FBLA FNRSA FVSA FRSA K F K I K T E F L M L M L M r A : R B R A set of lower bounds of a set A set of upper bounds of a set A order interval for non-empt set A we have a for all a A for non-empt set A we have a for all a A A and A is orthogonal to supremum of and infimum of and absolute value of positive elements of E the space of all order bounded linear functionals on E free Banach lattice over non-empt set A free normed Riesz space over non-empt set A free vector space over set A free Riesz space over set A Fremlin tensor cone integrall closed tensor cone projective tensor cone positive tensor product or vector space tensor product of E and F Riesz space tensor product of L and M Archimedean Riesz space tensor product of L and M Banach lattice tensor product of L and M restriction map for subset A B j A : R RA R RB j A fξ = fξ A, f R RA, ξ R B ω ξ : FRSA R, ξ R A ω ξ f = fξ
7 1 RIESZ SPACE THEORY 7 1 Riesz space theor Man vector spaces have a natural ordering. For eample R or R n but also the continuous functions on R, CR, with the point-wise ordering. In this section we treat the most basic theor about Riesz spaces and partiall ordered vector spaces. For the standard theor and notation we refer to [1, 2]. 1.1 Partiall ordered vector spaces Definition 1.1. A partiall ordered vector space is a real vector space E with a partiall ordering defined on it, such that for all,, z E and α R + i implies that + z + z, ii impies that α α. The ordering on a partiall ordered vector space is called a vector space ordering. An alternative notation for is. If and we also write < or >. We call an element E positive if 0 and negative if 0. Two elements and are comparable if or and we denote this b. We denote b FinE the set of all finite subsets of E. The trivial ordering on a vector space E, is defined b if and onl if = for all, E. The set of all positive elements of a partiall ordered vector space E is denoted b E +. It is called the positive cone. Definition 1.2. Let E be a partiall ordered vector space. Let A E be a set. We call A i bounded from below if there is an E such that a for all a A, and we write A or A. ii bounded from above if there is an E such that for all a A we have that a. In this case we write A or A. iii order bounded if it is both bounded from below and from above. iv solid if A = A [, ], or equivalentl, A is solid, if [, ] A for all A [5, Definition 351I]. A linear subspace of E that is solid is called an order ideal or solid subspace. We define i the set of all lower bounds of A to be A l = { E : for all a A, a}, ii the set of all upper bounds of A to be A u = { E : for all a A, a }. We write A ul for A u l, etc. Remark 1.3. i [, ] if and onl if. ii If E is a Riesz space and I E a subspace, then is I an order ideal if and onl if for all E and I, implies that I. iii Ever ideal of a Riesz space is a Riesz subspace. iv l = u = E. Proposition 1.4. Let E be a partiall ordered vector space. i If A E then A ulu = A u, ii If E 0 then E l = E u =.
8 1 RIESZ SPACE THEORY 8 Proof. Let E be a partiall ordered vector space. i Let A E be a subset. Let A u. Then A ul, so A ulu, and hence A u A ulu. Let A ulu. Let a A, then is a A u, so a A ul, and therefore a. Hence A u, so A ulu A u. We conclude that A u = A ulu. ii Suppose E 0. If E has the trivial ordering, then the statements are clear. Suppose E has a non-trivial ordering. Then there is an E with < 0. Suppose that E l. Let E l. Then < 0. But then 2 < and 2 E, so E l. Contradiction. So E l =. There is an E, > 0. Suppose that E u. Let E u. Then > 0. But then 2 > and 2 E, thus E u. Contradiction. So E u =. Definition 1.5. Let E be a partiall ordered vector space. Let A E be a subset. An element E is called the infimum of A provided is a lower bound of A and, for all A l. Likewise E is called the supremum of A if it is an upper bound of A and, for all A u. Definition 1.6. A partiall ordered vector space E is called 1. directed or generating if for all, E there is a z E such that z and z, 2. Archimedean if for all, E with the propert that n for all n Z, we have that = 0, 3. integrall closed if for all, E with the propert that n for all n N 0, one has 0, 4. a pre-riesz space if E is directed and for all X FinE\{ } and for all E with + X u X u we have that 0 [9, Definition 1.1viii], 5. a Riesz space if for all, E the supremum and infimum of and eists, 6. a σ-dedekind complete Riesz space if for ever countable bounded set X in E the supremum sup X and infimum inf X of X eists. Proposition 1.7. For a partiall ordered vector space E the following statements hold i E is directed if and onl if E = E + E +, ii if E is integrall closed, then E is Archimedean. The converse is not true in general. iii Ever Riesz space is pre-riesz and ever directed integrall closed partiall ordered vector space is pre-riesz[9, Theorem 1.7]. iv E is a Riesz space if and and onl if one of the following is satisfied a eists, for all, E, or, b eists, for all, E, or, c for all E, the absolute value = of eists, or, d for all E, the positive part of, + = 0 eists, or, e for all E, the negative part of, = 0 eists. Follows directl from [1, Theorem 1.7]. v Let I be an inde set and let for ever i I, E i be a partiall ordered vector space. The point wise ordering on E := i I E i is given b i i I i i I if and onl if i i, for all i I. E is directed, pre-riesz, Riesz or σ-dedekind complete, respectivel if and onl if for each i I, E i is directed, pre-riesz, Riesz or σ-dedekind complete, respectivel. vi For a Riesz space the notions Archimedean and integrall closed are equivalent.
9 1 RIESZ SPACE THEORY 9 vii A σ-dedekind complete Riesz space is Archimedean. Proof. Let E be a partiall ordered vector space. We will onl prove i, ii, vi and vii. The other statements are trivial or we refer to the literature. i Suppose E is directed. Let E. Then there is a E with 0 and. Thus 0 and =, so we have E = E + E +. On the other hand, suppose E = E + E +. Let, E. Then there are 1, 2, 1, 2 E + such that = 1 2 and = 1 2. Hence and So E is directed. ii Suppose E is integrall closed. Let, E with n for all n Z. Then n and n for all n N 0. Thus 0 and 0. So = 0. It follows that E is Archimedean. For a counter-eample consider R 2 with 1, 2 1, 2 if 1 < 1 and 2 < 2, or 1, 2 = 1, 2. Suppose n 1, 2 1, 2 for all n Z. Then n 1 1 and n 2 2, for all n Z. Thus 1, 2 = 0. So R 2, is Archimedean. Note that n 1, 0 1, 1, for all n N 0 and 1, 0 0. Therefore R 2, is not integrall closed. vi B statement ii we onl need to prove that an Archimedean Riesz space E is integrall closed. Let, E and suppose that n for all n N 0. Then n + for all n Z. Thus + = 0 and 0. It follows that E is integrall closed. vii Suppose E is a σ-dedekind complete Riesz space. Let, E and suppose that n, for all n N 0. Then { n : n N} =: A. Since A is bounded and E is a σ-dedekind complete Riesz space i = inf A eists. We will prove that i = 0. Suppose i 0. Since 0 A, we have that i > 0. We have ni for all n N 0. Thus B := {ni : n N 0 } is a bounded set. Let s = sup B. Then n + 1i s, for all n N 0. So ni s i for all n N 0. Since s is the supremum of B we have that s s i so i 0. Therefore i > 0 and i 0 and that is a contradiction. We conclude that i = 0, thus 0. It follows that E is Archimedean. Proposition 1.8. Let E be a partiall ordered vector space. Then the following statements are equivalent. i E is integrall closed, ii 0 = inf { n : n N}, for all E +. Proof. Let E be a partiall ordered vector space. Assume i. Let E +. Clearl, 0 is a lower bound of { 1 n : n N}. Let { 1 n : n N} l. Then, n, for all n N0. Since E is integrall closed, we have that 0. So the infimum of { n : n N} eists and is equal to 0. Assume ii. Let, E, and assume that n for all n N 0. So 0 and is a lower bound of { n : n N}. Hence inf { n : n N} = 0. We conclude that E is integrall closed. Cones Cones in a vector space are in a one-to-one correspondence to the possible vector space orderings. Definition 1.9. Let E be vector space. A subset K E is called a cone provided 1. α, + K for all, K and α R +, 2. K K = 0. If K satisfies i, then it is called a wedge.
10 1 RIESZ SPACE THEORY 10 Proposition Let E be a vector space. Let K be a cone in E. Define on E b if and onl if K. Then is a partiall ordered vector space. On the other hand if is a vector space ordering, then E + is a cone. The vector space ordering and the ordering induced from E + coincide. Proof. Let E be a vector space and K a cone in E. Let be defined through if and onl if K. Let,, z E and suppose that and z. Then z, K. Thus z + = z K, so z. If and, then, K, so K K = 0, thus =. For all E we have. Thus is a partiall ordering. It is straightforward that is a vector space ordering. On the other hand, suppose is a vector space ordering on E. Note that +, α E +, for all, E + and α R +. Suppose E + E +, then 0 and 0. Thus = 0. Therefore E + is a cone. The last statement is trivial. Remark If is a vector space ordering induced from a cone K, we denote E, sometimes b E, K. 1.2 Morphisms Definition Let E and F be partiall ordered vector spaces and let φ : E F be linear, then we call φ 1. order bounded if for ever order bounded set A E, the set φa is order bounded, 2. positive or increasing if for all, E with one has φ φ or equivalentl, φ 0 as soon as 0, 3. bipositive if 0, for all E, is equivalent to φ 0, 4. an order isomorphism if it is bipositive and surjective, 5. regular or a difference of positive linear maps if there are positive linear maps ψ, ω : E F such that φ = ψ ω. If E and F are directed, then we call φ 1. a Riesz* homomorphism if φ{, } ul φ{, } ul for all, E [9, Definition 5.1], 2. a Riesz homomorphism if φ{, } u l = φ{, } ul for all, E [9, Definition 2.1i], 3. a complete Riesz* homomorphism if for ever set X in E bounded from above, we have that φx ul φx ul [9, Definition 5.11], 4. a complete Riesz homomorphism if for ever set X in E with inf X = 0, also inf φx = 0[9, Definition 2.1ii]. Remark i Ever positive operator is regular and ever regular operator is order bounded. Not ever order bounded linear map is regular, for a countereample, see the Eample of Lotz in [1, Eample 1.16]. ii Ever bipositive linear map is injective. iii Ever Riesz homomorphism is a Riesz* homomorphism[9, Remark 5.2i]. iv If E and F are Riesz spaces, then ever Riesz* homomorphism φ : E F is also a Riesz homomorphism[9, Remark 5.2ii]. v The composition of two Riesz homomorphism is not necessaril a Riesz homomorphism[9, Remark 2.3].
11 1 RIESZ SPACE THEORY 11 vi There eists an eample of a Riesz homomorphism φ : E F and a directed subspace D E, such that φ D : D F is not a Riesz homomorphism[9, Remark 2.10]. vii The composition of two Riesz* homomorphisms is a Riesz* homomorphism[9, Remark 5.2iii]. viii If E and F are Riesz spaces, then our definition of a Riesz homomorphism coincide with the usual definition of a Riesz homomorphism[9, Remark 2.2]. i A complete Riesz homomorphism φ : E F is not necessaril a Riesz homomorphism [9, Remark 2.2], but if E is pre-riesz, then φ is also a Riesz homomorphism [9, Corollar 2.7]. Theorem Let E be a directed partiall ordered vector space. Let I be an inde set. Let F i be a directed partiall ordered vector space for ever i I. Let, for ever i I, φ i : E F i be a linear map. Let F = i I F i with the pointwise ordering. Define φ : E F b φ i = φ i. Then i φ is a Riesz* homomorphism if and onl if for each i I, φ i is a Riesz* homomorphism. ii φ is a Riesz homomorphism if and onl if for each i I, φ i is a Riesz homomorphism. Proof. For the proof of ii see also [9, Theorem 2.14]. Note that for, E φ{, } ul = i I φ i {, } ul, φ{, } u l = i I φ i {, } u l and φ{, } ul = i I φ i {, } ul. Hence the Theorem follows. Proposition Let L and M be Riesz spaces. If φ : L M is an injective Riesz homomorphism, then φ is bipositive. Proof. Let L and M be Riesz spaces. Let φ : L M be an injective Riesz homomorphism. Clearl, φ is positive. Let L and φ 0. Then φ = φ 0 = φ φ0 = φ 0. Since φ is injective, we have that = 0 0. Thus φ is bipositive. Not ever injective positive linear map is bipositive, for eample f : R, {0} R, R +, is an injective positive linear map that is not bipositive. 1.3 Order ideals Recall that a subspace I of a partiall ordered vector space E is called an ideal, if for all I the order interval [, ] is contained in I. We will give some results here about ideals and what the are useful for. Proposition Let E and F be partiall ordered vector spaces. Let φ : E F be a positive linear map. Then ker φ is an order ideal. Proof. Let E and F be partiall ordered vector spaces. Let φ : E F be a positive linear map. Let ker φ. For all [, ], we have 0 = φ φ φ = 0. Hence φ = 0, therefore ker φ. We conclude that ker φ is an order ideal.
12 1 RIESZ SPACE THEORY 12 Theorem Let E be a partiall ordered vector space and let J E be an order ideal. Denote an equivalence class + J of E b []. Define a partiall ordering on E/J b, [] [] if there is an z J such that + z. This turns E/J into a partiall ordered vector space. We have for all X, Y E/J, X Y if and onl if there are, E such that, [] = X and [] = Y. Moreover E/J + = {[] : E + }. Define q : E E/J b []. If E is directed, then q is a Riesz homomorphism. Proof. For the first statements, see [5, Proposition 351J]. Suppose E is directed. Let, E. Then q{, } u l = {[z] : z {, } u } l {[], []} ul = q{, } ul. Since q is in particular positive, the converse inclusion holds b [9, Lemma 2.4]. Thus q is a Riesz homomorphism. We call q the quotient Riesz homomorphism and E/J the quotient space. Proposition See [10, Corollar ] and [11, Theorem 62.3]. Let L be a normed Riesz space and I a norm closed order ideal of L. Then L/I is a normed Riesz space with quotient norm [] = inf{ : L, [] = []}. If L is a Banach lattice, then L/I is also a Banach lattice. 1.4 Relativel uniform topolog Suppose I is an ideal of a Riesz space L, then L/I is also a Riesz space. Unfortunatel, even in the case that L is Archimedean, L/I need not be Archimedean. A sufficient and necessar condition for L/I to be Archimedean is that I is relativel uniforml closed, which will be defined net. Definition Let E be a partiall ordered vector space. A sequence { n } n 1 converges relativel uniforml ru-converges to E, if there eist a u E + and a sequence of positive real numbers {ε n } n 1 with ε n 0 such that ε n u n ε n u, for all n N. A set A E is relativel uniforml closed ru-closed if for ever sequence { n } n 1 A that is relativel uniforml convergent to an L, we have that A. Clearl, the intersection of an arbitrar collection of relativel uniforml closed sets if relativel uniforml closed. We define the relativel uniforml closure ru-closure of a set A to be the intersection of all relativel uniforml closed sets B that contain A. This collection is not empt since it contains E. Remark i If E is a Riesz space, then n converges relativel uniforml to, if there is a u E + and a real valued sequence {ε n } n 0, ε n 0 such that n ε n u, for all n N. ii Suppose L is a non-archimedean Riesz space. So there are, L such that n, for all n Z, but 0. Note that = 0. For all n N we have that n and n, thus n, for all n N 0. We conclude that 0 1 n, for all n N, and that the constant sequence {0} n 1 converges to 0. We see that {0} is not ru-closed and that that the constant sequence {0} n=1 converges to at least two different elements, namel 0 and. Theorem Let E be a partiall ordered vector space. If E + is relativel uniforml closed, then E is integrall closed. Proof. Let E be a partiall ordered vector space with relativel uniforml closed positive cone E +. Let, E be such that n, for all n N 0. Then 0 and 0 1 n, for all n N. Hence 1 n 1 n = 1 n, for all n N. We see that the sequence { 1 n } n 1 E + converges relativel uniforml to. Since E + is relativel uniforml closed we have that E +, thus 0 and E is integrall closed. Lemma Let E be a partiall ordered vector space. Let A E be a non-empt relativel uniforml closed set. Then for all E we have that + A = { + : A} is relativel uniforml closed.
13 1 RIESZ SPACE THEORY 13 Proof. Let E be a partiall ordered vector space. Let A E be a non-empt relativel uniforml closed set. Let E. Suppose {+ n } n=1 is a sequence in +A that converges relative uniforml to. Then, there eists a real sequence {ε n } n=1 and u E + such that for all n N. Thus for all n N we have that ε n u + n ε n u, ε n u n ε n u. It follows that { n } n=1 is a sequence in A that ru-converges to. Since A is ru-closed, we have that A, thus + A. Hence + A is ru-closed. Theorem Let E be a partiall ordered vector space. Let I be an order ideal of E. Then E/I is Archimedean if and onl if I is relativel uniforml closed. Proof. Let E be a partiall ordered vector space and let I be an order ideal of E. Let q : E E/I be the canonical quotient map. Suppose E/I is Archimedean. Let { n } n 1 be a sequence in I that relative uniform converges to E. B definition, there is a sequence of positive real numbers {ε n } n 1 and a u E + such that ε n 0 and ε n u n ε n u, for all n N. Thus ε n qu q ε n qu, for all n N. For ever m N there is an n m N such that 1 m ε n m, so 1 m qu q 1 mqu, for all m N. It follows that mq qu, for all m N. Since E/I is Archimedean we have that q = 0. Thus I and I is relativel uniforml closed. On the other hand, suppose that I is relativel uniforml closed. Let, E be such that n[] [], for all n Z, then [] 0. Therefore we ma assume that 0. We have for all n N, Thus there is an n I such that 1 n [] [] 1 n []. 1 n + n 1 n, for all n N. Hence { + n } n=1 is a sequence in + I that converges relativel uniforml to 0. B Lemma 1.22 on the preceding page + I is ru-closed and hence 0 + I, so [] = 0. We conclude that E/I is Archimedean. Theorem Let E be a partiall ordered vector space. Then E is Archimedean if and onl if ever relativel uniforml convergent sequence in E has a unique limit. Proof. First assume that E = E/{0} is Archimedean. B Theorem 1.23, {0} is ru-closed. Let { n } n 0 be a sequence in E that converges relativel uniforml to and in E. B definition there are sequences of positive real numbers {ε n } n 1 and {δ n } n 1 and u, v E + with ε n 0 and δ n 0 and ε n u n ε n u and δ n v n δ n v, for all n N. Thus δ n v n δ n v, for all n N. It follows that for all n N. We conclude that ε n u δ n v ε n u + δ n v, ε n δ n u + v 0 ε n δ n u + v, for all n N. Note that ε n δ n 0 and that u + v 0 and hence {0} n 0 ru-converges to. Since {0} is ru-closed, we have that = 0, that is =. We conclude that { n } n=1 has a unique limit. On the other hand, suppose that E is not Archimedean. Then there are, E such that n, for all n Z, but 0. We have 1 n 0 1 n for all n N. Thus the constant sequence {} n=1 converges to 0, but clearl it also converges to 0. So {} n=1 has at least two different limits.
14 1 RIESZ SPACE THEORY 14 Theorem Let E and F be partiall ordered vector spaces with F Archimedean. Let φ : E F be positive. Then ker φ is ru-closed. Proof. Let E and F be partiall ordered vector spaces with F Archimedean. Let φ : E F be positive. Let { n } n=1 be a sequence in ker φ that is ru-convergent to E. So there eists a real sequence {ε n } n=1, ε n 0 and a u E +, such that for all n N. Thus ε n u n ε n u, ε n φu φ ε n φu, for all n N. For ever m N, there is an n m N, such that ε nm 1 n. Thus 1 n φu φ 1 n φu, for all n N. Furthermore φu 0, so nφ φu, for all n Z. Since F is Archimedean, we have that φ = 0, that is ker φ. We conclude that ker φ is ru-closed. The relativel uniform topolog Clearl, if Λ is an inde set and, for all λ Λ, A λ is a ru-closed subset of a partiall ordered vector space E, then λ Λ A λ is ru-closed too. Triviall, and E are ru-closed subsets of E. Lemma Let E be a partiall ordered vector space and A and B ru-closed subsets of E, then A B is ru-closed. Proof. Let E be a partiall ordered vector space and let A and B be ru-closed subsets of E. Let { n } n=1 be a sequence in A B that ru-converges to E. Then there is a subsequence { nk } k=1 of { n } n=1 such that nk C, for all k N, where C is either A or B. It follows directl from the definition of a ru-convergent sequence that { nk } k=1 ru-converges to. Since C is ru-closed, we have that C A B. So A B is ru-closed. Now, the following theorem follows immediatel. Theorem Let E be a partiall ordered vector space. The complements of ru-closed sets of E form a topolog; the relative uniform topolog or ru-topolog T ru. A set O E is open if and onl if E\O is ru-closed. 1.5 Norms on partiall ordered vector spaces In this subsection we consider norms on partiall ordered vector spaces that respect the order structure. Definition Let E be a partiall ordered vector space. A norm ρ on E is called a Fremlin norm provided that for all, E with we have that ρ ρ. Definition Let L be a Riesz space. A Riesz norm or lattice norm on L is a norm on L such that if then, for all, L. The pair L, is called a normed Riesz space. If the induced metric b on L is complete, then we call L, a Banach lattice. Proposition Let L be a Riesz space and let ρ be a norm on L. Then ρ is a Riesz norm if and onl if ρ is a Fremlin norm and ρ = ρ, for all L. Proof. Let L be a Riesz space and ρ a norm on L. Suppose ρ is a Riesz norm on L. Suppose, L and. Then ± thus. Hence ρ ρ. So ρ is a Fremlin norm. Clearl, ρ = ρ, for all L. On the other hand suppose that ρ is a Fremlin norm and ρ = ρ, for all L. Let, L and suppose. Then, and. Thus. Hence. Since ρ is a Fremlin norm, we have that ρ ρ. Note that ρ = ρ thus ρ ρ. We conclude that ρ is a Riesz norm.
15 1 RIESZ SPACE THEORY 15 It follows that ever Riesz norm is a Fremlin norm. A Fremlin norm on a Riesz space is not necessaril a Riesz norm as the following eample shows. The eample is from [6, Eample 1.8i]. The condition that ρ = ρ for all L is reall necessar. Eample Consider R 2 with the standard ordering. Then R 2 is a Riesz space. Define ρ 1, 2 = Let = 1, 2, = 1, 2 R 2 and suppose that. Then and and Thus 1 1, 2 2 and It follows that ρ ρ. Hence ρ is a Fremlin norm. Note that 1, 1 = 1, 1 = 1, 1, but ρ1, 1 = 4 2 = ρ1, 1. Thus b Proposition 1.30 on the preceding page ρ is not a Riesz norm. Proposition Let E be a partiall ordered vector space with Fremlin norm ρ. Then E is Archimedean. If E + is closed under ρ, then E is integrall closed. Proof. Let E be a partiall ordered vector space with Fremlin norm ρ. Let, E be such that n, for all n Z. Thus 1 n 1 n, for all n N. So ρ ρ 1 n = 1 nρ, for all n N. Hence ρ = 0 and therefore = 0. It follows that E is Archimedean. Suppose further that E + is ρ-norm closed. Let, E be such that n, for all n N 0. We have n, for all n N, which ρ-converges to, as n. Since E+ is ρ-closed, we have that E +, that is 0. We conclude that E is integrall closed. Definition A Fremlin space is a partiall ordered vector space E with Fremlin norm ρ such that E + is closed under ρ. Remark E need not be directed. An eample is R with the trivial ordering and Fremlin norm. Ever Fremlin space can be considered as a subspace of a Banach lattice. Theorem 1.35 Van Gaans. [6, Corollar 4.8]. The following statements are equivalent. i F is a Fremlin space. ii There eists a Banach lattice F and an isometric bipositive linear map ι : F F. Remark Eample [6, Eample 4.9] shows that the embedding of F in F is not necessaril a Riesz homomorphism. 1.6 Order denseness Order denseness is a ver important notion in the theor about general partiall ordered vector spaces, in particular in the theor about Riesz and Dedekind completions. We give also a proof that order denseness is transitive, because there is no proof in the literature, as far as we know. Definition Let E be a partiall ordered vector space. A subspace D E is called order dense in E if for all E we have that = inf E {d D : d} and = sup E {d D : d }. The following eample is illustrative. Eample Let D L 1 R be the space of all integrable simple functions. Then D is order dense in L 1 R. The following characterization of order denseness is useful. Proposition Let E be a partiall ordered vector space and let D E be a subspace. Then the following statements are equivalent. 1. D E is order dense, 2. = inf E {d : d, d D}, for all E,
16 1 RIESZ SPACE THEORY = sup E {d : d, d D}, for all E. Proof. Clearl, 1 2 and : Suppose that 2 holds. Let E and note that {d D : d } = {d D : d} = { d : d, d D} = {d D : d}. Since 2 holds, we have sup E {d D : d } = inf E {d D : d} = =. 3 1: Similar to the proof of 2 1. Proposition Let G be a partiall ordered vector space, let E G be an order dense subspace and let F G be a subspace such that E F G. Then F G is order dense. Proof. Let E, F and G be as in the proposition. Let G. Note that = inf G {e E : e}. Triviall, {f F : f}. Let G with {f F : f}. Then {e E : e}, since {e E : e} {f F : f}. Thus = inf G {e E : e}. It follows that = inf G {f F : f}. In m bachelor thesis [14, Lemmas and Theorem 1.27], I proved that order denseness is transitive. That is, if E F is order dense and F G is order dense, then E G is order dense. To do this we need three lemmas. Lemma Let E be a partiall ordered vector space and let D be an order dense subspace of E. Suppose that S D is a subset such that the infimum of S in the space D eists and is equal to s. Then the infimum of S eists in the space E and is equal to s. Proof. Let E be a partiall ordered vector space and let D E be an order dense subspace of E. Let S D be a set, such that the infimum s of S in D eists. Note that s S in E. Suppose that t E and t S. Suppose that d D with d S, then d s = inf D S. If d D with d t, then d S, so d s = inf D S. Thus {d D : d t} {d D : d s}. Since D E is order dense, we have that t = sup E {d D : d t} sup E {d D : d s} = s. It follows that s is the infimum of S in E. Lemma Let E be a partiall ordered vector space and let D be an order dense subspace of E. Suppose that, E are such that. Then there is a d D such that d and d. Proof. Let E be a partiall ordered vector space and let D E be an order dense subspace. Let, E be such that. We argue b contradiction. Suppose that there is no d D with d and d. Then for an d D with d one has d. So {d D : d} {d D : d}. Therefore, since D E is order dense, = inf E {d D : d} inf E {d D : d} =. That contradicts our assumption that. Lemma Let G be a partiall ordered vector space and let E and F be subspaces of G such that E F G, E F is order dense and F G is order dense. Then for ever z G there eist an E such that z. Proof. Let E, F and G be as in the lemma. Let z G. Since z = inf G { F : z } we have { F : z } =. Let 0 { F : z }. Since 0 = inf F { E : 0 } we have { E : 0 }. Let 0 { E : 0 }. Then 0 0 z. Theorem Let G be a partiall ordered vector space. Let E and F be subspaces of G such that E F G, E F is order dense and F G is order dense. Then E G is order dense. Proof. Let E, F and G be as in the theorem. We argue b contradiction. So suppose that E G is not order dense. Then there is a z G such that z is not the infimum of S = { E : z } in G. B Lemma 1.43 we have S. Note that z S. Thus there is a z G with z S 1
17 1 RIESZ SPACE THEORY 17 and z z. Since F G is order dense, we have b Lemma 1.42 on the preceding page a F such that and z 2 z. 3 Since E F is order dense and F G is order dense we have b Lemma 1.41 on the previous page that = inf F { E : } = inf G { E : }. Let E, then z, b 2, thus S. From 1 follows that z. Since z S { E : } and = inf G { E : } we have that z. This contradicts 3. We are forced to conclude that E G is order dense. Theorem 1.44 on the preceding page implies that for ever finite sequence of order dense subspaces D 1 D 2... D n, D n D 1 is order dense. The following eample shows that Theorem 1.44 on the previous page does not hold in greater generalit, when we have an infinite decreasing sequence of order dense subsets. Eample Let for all D N C[0, 1] be the subspace of continuous functions f : [0, 1] R with the propert that f0 = f k 2, N N0, k = 0, 1,..., 2 N. We will show that D N N+1 D N is order dense for all N. Consider D := N=1 D N. Then this is a subspace of D 0. Consider f D. For all N N 0 and all k {0, 1,..., 2 N } we have f0 = f k 2. Since f is continuous N and { k : N N 2 N 0, k {0, 1,..., 2 N }} [0, 1] is topologicall dense, we have that f is constant f0. It is clear that D D 0 is not order dense. Let N N 0 and let f D N. Since f is continuous and [0, 1] is compact M := sup [0,1] f <. Define a sequence of functions f n n=1 D N+1 through f if f n = { ma { ma 4n2 N+1 k f 2 N M k } + M, f 4n2N+1 2N+1 k if 2 N+1 k 2 N n2 N+1, k {0, 1,..., 2N+1 1} k 2 N n2 N+1 < < k N+1 1 4n2 N+1, k {0, 1,..., 2N+1 1} 4n2 N+1 M f k N+1 1 4n2 N n2 N+1 k f k + 1 } 2 N+1 1, f 4n2N+1 if k N+1 1 4n2 N+1 k N+1,, {0, 1,..., 2N+1 1} N+1 + Then f n D N+1, for all n N, and f f n. Letting n, we see that inf DN {f n : n N 0 } = f. So inf DN {g : f g, g D N+1 } = f. We conclude that D N+1 D N is order dense. Instead of looking at a decreasing sequence, we can also view an increasing sequence D 1 D 2..., such that D n D n+1 is order dense, for all n N. Let X = n N D n, then D 1 X is order dense. Theorem Let {D n } n=1 be a sequence of partiall ordered vector spaces such that D n D n+1 is a order dense subspace, for all n N. Define X := n=1 D n. Then X is a partiall ordered vector space and D 1 X is an order dense subspace. Proof. Let {D n } n=1 and X be as in the theorem. For,, z X there is an n N such that,, z D n. So all aioms of a vector space are satisfied. Define on X b, if and onl if there is an n N such that, D n and in D n. Note that this is well defined, since for m N with, D m we either have that D n D m or D n D m, so that in both cases in D m. Note that satisfied all aioms of a partiall ordered vector space. Thus X, is a well
18 2 FREE SPACES 18 defined partiall ordered vector space. Suppose X. Then there is an n N such that D n. Note that D 1 D n is order dense; appl Theorem 1.44 on page 16. So = inf Dn {d D 1 : d}. Note that {d D 1 : d} in X. Suppose that X and {d D 1 : d}. There is an m > n such that D m. Appl Lemma 1.41 on page 16, m n times to get that = inf Dn {d D 1 : d} = inf Dn+1 {d D 1 : d} =... = inf Dm {d D 1 : d}. Thus and hence = inf X {d D 1 : d}. Therefore D 1 X is order dense. Remark Note that Theorem 1.44 on page 16 is a special case of Theorem 1.46 on the previous page, let D 1 = E, D 2 = F and for n 3 let D n = G. Theorem Let A be a directed inde set and let {E α } α A be an increasing net of partiall ordered vector spaces, such that E α E β is order dense for all α, β A with α β. Let X = α A and define on X through if and onl if there is an α A such that, E α and in E α, for all, X. Then X is a well defined vector space and is a well defined vector space ordering on X and E α X is order dense, for all α A. Proof. Let A be a directed inde set and let {E α } α A be an increasing net of partiall ordered vector spaces, such that E α E β is order dense, for all α, β A with α β. Let X = α A and define on X through if and onl if there is an α A such that, E α and in E α, for all, X. Suppose, E α and in E α and, E β, then there is a γ {α, β}. So, E γ E α, so in E γ. Since E β E γ, we also have that in E β. Thus on X is well defined. Let,, z X. Since A is directed, there is an α A such that,, z E α. So all aioma s of a vector space are satisfied for X and is a vector space ordering on X. Let α A. We will now prove that E α is an order dense subspace of X. Let X. Since A is directed, there is a β α such that E β. Since E α E β is order dense, we have that = inf Eβ {d E α : d}. Let X, {d E α : d}. There is a γ β such that E γ. Since E β E γ is order dense, we have b Lemma 1.41 on page 16 that = inf Eγ {d E α : d}, so. Thus, = inf X {d E α : d} and E α X is order dense. Theorem If F is a partiall ordered vector space and E is an order dense subspace of F, then E is integrall closed if and onl if F is integrall closed. Proof. Let F be a partiall ordered vector space and let E be an order dense subspace of F. Clearl, if F is integrall closed, then E is integrall closed. On the other hand, suppose E is integrall closed. Let, F and suppose that n, for all n N 0. Let 0 E with 0 and let 0 E with 0. Then n 0 0, for all n N 0. Since E is integrall closed, we have that 0 0. Thus for all 0 E with 0, we have that 0 0. Since = sup F { 0 E : 0 }, we have that 0. We conclude that F is integrall closed. Remark Suppose E is an order dense subspace of a partiall ordered vector space F. An interesting question is wether E is Archimedean if and onl if F is Archimedean. We could not find a proof. E α E α 2 Free spaces The free vector space over a set A are all linear combinations of elements of A. Thus A is the vector space basis for the free vector space. Something similar can be done for Riesz spaces, normed Riesz
19 2 FREE SPACES 19 spaces and Banach lattices. We define and stud these objects here. We need the free spaces for the construction of various tensor products. Let B be a set and let A B. We define r A : R B R A to be the restriction map, thus for f R B we define r A f = f A. It is clear that r A is a surjective Riesz homomorphism. Sometimes we write ξ A = r A ξ for ξ R B. We define j A : R RA R RB b j A fξ = fξ A = fr A ξ = fξ A, where f R RA and ξ R B. Then j A is an injective Riesz homomorphism. From Proposition 1.15 on page 11 follows that j A is bipositive. 2.1 Free vector spaces and free Riesz spaces In this subsection we stud the free vector space and the free Riesz space and we will show that the free vector space is a subspace of the free Riesz space. Definition 2.1. A free vector space over a set A is a pair V, ι where ι : A V is a map and V is a real vector space, such that for ever real vector space W and for ever map φ : A W there is a unique linear map φ : V W such that φ = φ ι. φ V W ι φ A Lemma 2.2. Let A be a set. Suppose V, ι and W, j are free vector spaces over A. Then there is a unique bijective linear map φ : V W such that j = φ ι. Proof. Let A be a set. Suppose that V, ι and W, j are free vector spaces over A. B definition there are unique linear maps ι : W V and j : V W such that ι = ι j and j = j ι. Thus ι = ι j ι. Note that also the identit map id V on V is a linear map such that ι = id V ι. From the uniqueness statement it follows that id V = ι j. Similarl, we have that the identit map id W on W is equal to j ι. Define φ = j : V W. Then φ is the unique isomorphism ψ : V W such that j = ψ ι. V j W ι ι j A Definition 2.3. A free Riesz space over a set A is a pair L, ι where ι : A L is a map and L is a Riesz space such that for ever Riesz space M and ever map φ : A M there is a unique Riesz homomorphism φ : L M such that φ = φ ι. L φ M φ A The net lemma can be found in [13, Proposition 3.3]. ι Lemma 2.4. A free Riesz space is unique if it eists, in the following sense: let L, ι and M, j be two free Riesz spaces over a set A, then there is a unique surjective Riesz isomorphism T : L M such that T ι = j. In particular T is an order isomorphism.
20 2 FREE SPACES 20 Proof. Let A be a set and suppose that L, ι and M, j are two free Riesz spaces over A. There is a unique Riesz homomorphism j : L M such that j = j ι and a unique Riesz homomorphism ι : M L such that ι = ι j. Note that ι = ι j = ι j j and ι j : L L is a Riesz homomorphism. Note that also that the identit map id L on L is a Riesz homomorphism such that ι = id L ι. From the uniqueness statement follows that id L = ι j. Likewise is the identit map id M on M satisfies id M = j ι. Define T = j : L M, then T is an invertible Riesz homomorphism and T 1 = ι is a Riesz homomorphism and T ι = j ι = j. Moreover T is the unique Riesz homomorphism with this properties. In particular T is an order isomorphism. j L M ι ι j A Theorem 2.5. [13, Proposition 3.2]. generated as Riesz space b ιa. If L, ι is a free Riesz space over a set A, then L is Proof. Let L, ι be a free Riesz space over a set A. Let M be the Riesz subspace of L generated b ιa. Define the map φ : A M b φa = ιa. B definition, there is a Riesz homomorphism φ : L M such that φ = φ ι. Let j : M L be the inclusion map. Then j φ : L L satisfies j φ ι = ι. B definition, the identit map on L, id L is the unique Riesz homomorphism ψ : L L that satisfies ι = ψ ι. Thus j φ = id L. But that implies that j is surjective, so M = L. We conclude that L is generated as Riesz space b ιa. φ L M j ι φ A For ever set the the free Riesz space eists, see [13, Proposition 3.7]. The case A = is trivial. Theorem 2.6. Let A be a set. If A =, then 0, is the free Riesz space over A. If A then FRSA, ι is the free Riesz space over A, where FRSA is the Riesz subspace of R RA generated b elements ξ a R RA, defined b ξ a f = fa for a A and f R A, and where ι : A FRSA is defined b a ξ a. Moreover ι is injective and FRSA is Archimedean. Lemma 2.7. Let A be a set. Let ι be as in Theorem 2.6. Then ιa is a linearl independent set. Proof. The case A = is trivial, so suppose that A. Let a 1,..., a n A be finitel man mutuall different elements. Let λ 1,..., λ n R be such that n i=1 λ iξ ai = 0. Then, for all f R A we have that n n λ i ξ ai f = λ i fa i = 0. i=1 Define f k R A b fa k = 1 and fa = 0 for a A\{a k }, where k {1,..., n}. Then n n λ i ξ ai f k = λ i f k a i = λ k = 0. i=1 Thus λ k = 0, for k {1..., n}. It follows that ξ 1,..., ξ n are linearl independent. i=1 i=1
21 2 FREE SPACES 21 Theorem 2.8. Let A be a set. If A =, then 0, is the free vector space over A. If A, let ξ a be as in Theorem 2.6 on the previous page, where a A. Let FVSA = Span{ξ a : a A} FRSA R RA. Define ι : A FVSA b a ξ a, where a A. Then FVSA, ι is the free vector space over A. Proof. Let A be a set. The statement is trivial if A =. So suppose that A has at least one element. Let FVSA and ι be as in the statement of the theorem. B Lemma 2.7 on the preceding page {ξ a : a A} is a linearl independent set. Let W be an arbitrar vector space and let φ : A W be a map. Define a linear map φ : FVSA W on its basis elements ξ a b ξ a φa, where a A. Thus φ = φ ι. For an other linear map ψ : FVSA W that satisfies φ = ψ ι, we have that ψξ a = φa = φ ξ a. Since the ξ a generate FVSA as vector space, we have that ψ = φ thus φ is unique. We conclude that FVSA, ι is the free vector space over A. Remark 2.9. We view the free vector space as a subspace of the free Riesz space. Theorem Let B be a set and let A B be a subset. Let FRSB, ι B be the free Riesz space over B. Let FRSA be the Riesz subspace of FRSB generated b the elements ι B a, where a A, and let ι A = ι B A. Then FRSA, ι A is the free Riesz space over A. Proof. Let B be a set and let A B be a subset. The map j A : R RA R RB is an injective Riesz homomorphism, and hence j A FRSA FRSB is an injective Riesz homomorphism. Proposition Let A be a finite set. Let FRSA, ι be the free Riesz space over A. Then ιa is a strong order unit for FRSA. a A Proof. Let A be a finite set with free Riesz space FRSA, ι. Then the statement is clear from the fact that A is finite and that FRSA is generated b elements ιa. Proposition Let A be a non-empt set and let FA denote the set of all finite subsets of A. Then FRSA = FRSB, B FA where we view FRSB as a Riesz subspace of FRSA. Proof. Let A be a non-empt set with free Riesz space FRSA, ι. From Theorem 2.10 it is clear that FRSB FRSA. B FA On the other hand ever element FRSA is generated b finitel man elements ι a1,..., ι an, so FRS{a 1,..., a n } and hence FRSA = FRSB. B FA Proposition Let A be a set. 1. If ξ R A, then ω ξ : FRSA R defined b ω ξ f = fξ, where f FRSA, is a Riesz homomorphism. 2. If ω : FRSA R is a Riesz homomorphism, then there is a ξ R A such that ω = ω ξ. Here, we view FRSA as a Riesz subspace of R RA. Proof. The first statement is trivial. Suppose ω : FRSA R is a Riesz homomorphism. Define ξ R A b ξa = ωιa, for a A. Then for a A we have ωιa = ξa = ιaξ = ω ξ ιa. Thus ω and ω ξ coincide on the set {ιa : a A} that generates FRSA as Riesz space hence ω = ω ξ.
22 2 FREE SPACES Free normed Riesz space and free Banach lattice Something similar to free Riesz space eists for Banach lattices. It is eas to generalize the results of De Pagter and Wickstead for Banach lattices [13] to normed Riesz spaces. We give an overview of the main results. Definition Let A be a non-empt set and let X be a normed space. A map φ : A X is norm bounded, if there eists an M > 0 such that φa M, for all a A. We define the norm of a norm bounded map φ : A X to be φ = sup{ φa : a A}. Remark Note that is norm on the vector space of all norm bounded maps φ : A X. Definition Let A be a non-empt set. The free normed Riesz space free Banach lattice over A is a pair L, ι where L is a normed Riesz space Banach lattice and ι : A L is a bounded map such that for an normed Riesz space Banach lattice M and for an bounded map φ : A M there is a Riesz homomorphism φ : L M with the propert φ = φ. Moreover φ is the unique Riesz homomorphism ψ : L M that satisifies φ = ψ ι. L φ M φ A From the fact that ι = id L follows that ι = ι = 1. But even more is true. ι Lemma [13, Proposition 4.2]. Let A be a non-empt set, and suppose that L, ι is a free Banach lattice or free normed Riesz space over A. Then ιa = 1, for ever a A. Proof. Let A be a non-empt set, and suppose that L, ι is a free Banach lattice over A. Define j : A R b a 1, a A. Then j = j = 1. Further, 1 = ja = j ιa j ιa = ιa, thus ιa 1, for all a A. Since ι = 1 we have ιa 1, for all a A. Therefore ιa = 1, for all a A. The case that L, ι is a free normed Riesz space over A is proven similarl. L j R j A ι L ι L ι A ι The free Banach lattice or normed Riesz space is unique if it eists, see [13, Proposition 4.3]. Lemma Let A be a non-empt set, and suppose that L, ι and M, j are free Banach lattices over A free normed Riesz spaces over A. Then there eists a unique isometric order isomorphism φ : L M, such that φ ι = j. Proof. Let A be a non-empt set, and suppose that L, ι and M, j are free Banach lattices over A. Let j : L M be the unique Riesz homomorphism such that j = j ι. Then b Lemma 2.17, j = j = 1. Similarl, there is a unique Riesz homomorphism ι : M L of norm 1, such that ι = ι j. So ι j : L L is a Riesz homomorphism and ι = ι j = ι j ι. From the uniqueness statement in the theorem follows that ι j is the identit map on L. Similarl, j ι is the identit map on M. So ι is an isometric order isomorphism. The case that L, ι is a free normed Riesz space over A is proven similarl. j L M ι ι j A
23 2 FREE SPACES 23 For an ordered vector space E we denote b E the space of all order bounded linear functionals on E. According to [1, Theorem 1.18] E is equal to the space of regular linear functionals as soon as E is an Archimedean Riesz space. De Pagter and Wickstead define in [13] a lattice norm F on FRSA, that turns FRSA into the free normed Riesz space over A and its norm completion is the free Banach lattice over A. We will now review this construction. Definition [13, Definition 4.4] For a non-empt set A we define a map : FRSA [0, ] b φ = sup{ φ ιa : a A}. Let FRSA = {φ FRSA : φ < }. The following is clear from the definition. Lemma FRSA is a vector lattice ideal in FRSA. Lemma Let A be a non-empt set. Let ξ R A. Let ω ξ : FRSA R be defined through ω ξ = ξ, FRSA See Proposition 2.13 on page 21. Then ω ξ < if and onl if ξ is bounded. Or, equivalentl, ω ξ FRSA if and onl if ξ is bounded. Proof. Let ξ R A. Since ξa = ιaξ = ω ξ ιa = ω ξ ιa = ω ξ ιa, for all a A, it follows that ω ξ < if and onl if ξ is bounded. Lemma If A is a non-empt set, then is a Riesz norm on FRSA. Proof. Let A be a non-empt set. is clearl a Riesz seminorm. Suppose that φ = 0. Then φ ιa = 0, for all a A, thus φ ιa = 0, for all a A. Let FRSA. B Proposition 2.12 on page 21 there are finitel man a 1,..., a n A such that FRS{a 1,..., a n }. B Proposition 2.11 on page 21 e = n i=1 ιa is a strong order unit for FRS{a 1,..., a n }. Thus there is an λ R + such that λe. It follows that φ φ λ φ e = 0 and hence φ = 0. So φ = 0. We conclude that is a Riesz norm. Definition For a non-empt set A and for FRSA we define F = sup{φ : φ FRSA +, φ 1}. Theorem If A is a non-empt set, then F is a lattice norm on FRSA. Proof. From the definition it is clear that for, FRSA with we have that F F and that F is positive homogenious and subadditive. First we will show that for all FRSA we have that F <. Let FRSA. B Proposition 2.12 on page 21 there are finite a 1,..., a n A such that FRS{a 1,..., a n }. B Proposition 2.11 on page 21 e = n i=1 ιa i is a strong order unit of FRS{a 1,..., a n }. So there is a λ > 0 such that λe. So F λ e F. For φ FRSA +, φ 1, we have φe = n i=1 φ ιa i n. Thus e F n and hence F λn <. It onl remains to show that for all FRSA we have that F = 0 implies that = 0. Let FRSA with F = 0. Clearl, for all φ FRSA + we have φ = 0. In particular ω ξ = ξ = 0, for ever ξ R A. B Proposition 2.12 on page 21 there is a finite subset B of A such that FRSB. In particular for ever ξ R B R A we have that ξ = 0. But that means that = 0, since FRSB R RB. Theorem Let A be a non-empt set. Then FRSA, F, ι is the free normed Riesz space over A.
24 3 RIESZ COMPLETION 24 Proof. Let A be a non-empt set. Consider the free Riesz space over A, FRSA, ι. Let M be an arbitrar normed Riesz space and let φ : A M a bounded map that maps into M 1, the closed unit ball of M, and suppose that φ = 1. B the definition of the free Riesz space, there is a unique Riesz homomorphism φ : FRSA M such that φ = φ ι. It onl remains to prove that φ = φ. B Lemma 2.17 on page 22 we have for all a A, ιa = 1. So φ φ ιa = φa, thus φ φ. Suppose that φ > φ. So for some FRSA with = 1 is φ = φ > φ. B Hahn-Banach there eists a positive functional ψ on M of norm at most one and ψφ > φ. We have ψ φ = sup{ ψ φ ιa : a A} = sup{ ψ φ ιa : a A} = sup{ ψφa : a A} 1. Thus F ψφ > φ = 1. This is a contradiction. Therefore φ = φ. Suppose φ : FRSA M is a bounded map and φ > 0. Then φ = φ/ φ is of norm one and maps into M 1. It is clear that φ = φ / φ, so φ = φ. Suppose φ : FRSA M is zero. Then φ = 0, so φ = φ. This concludes our proof. Remark We denote the free normed Riesz space over a non-empt set A b FNRSA. For the net theorem see [1, Theorems 4.1 and 4.2]. Theorem Let E be a normed Riesz space and let E denote its norm dual space. Then E is a Banach lattice. Consider E as a subspace of its double dual E = E. Then the norm completion of E is a Banach lattice. Theorem Let A be a non-empt set. Let FBLA be the F -norm completion of FRSA. Then FBLA is a Banach lattice and FBLA, ι is the free Banach lattice over A. Proof. Let A be a non-empt set and let FBLA be the F -norm completion of FRSA. B Theorem 2.27, FBLA is a Banach lattice. Suppose M is Banach lattice and φ : A M a bounded map. B Theorem 2.25 on the previous page there is a Riesz homomorphism φ : FRSA M such that φ = φ ι and φ = φ, moreover φ is the unique Riesz homomorphism ψ that satisfies φ = ψ ι. The Riesz homomorphism φ etends b continuit to a Riesz homomorphism φ : FBLA M and we still have φ = φ ι and φ = φ. Suppose ψ : FBLA M is also a Riesz homomorphism that satisfies φ = ψ ι. Then ψ and φ coincide on FRSA. Since the continuous etension is unique, we have that ψ = φ. So FBLA, ι is the free Banach lattice over A. 3 Riesz completion Riesz spaces have man nice properties and there is an abundance of theor about them. That is the reason that one like, to embed partiall ordered vector spaces in a nice wa into Riesz spaces. It turns out that ever pre-riesz space can be bipositivel embedded into a Riesz space, its Riesz completion, such that the embedding is order dense and the Riesz completion is generated as a Riesz space b the pre-riesz space. Of course we could make use of the so-called Dedekind completion but then we should require that the space is integrall closed. Moreover, the Dedekind completion ma be too large. We give a short overview of the construction and theor of the Riesz completion. We follow the Ph.D. thesis of Van Haandel [9]. 3.1 The Riesz completion of a directed partiall ordered vector space We start with a definition, taken from [9, Definition 3.1]. Definition 3.1. Let E be a directed partiall ordered vector space. A pair L, φ, consisting of a Riesz space L and a Riesz homomorphism φ : E L, is called a Riesz completion of E if for
Fuzzy Topology On Fuzzy Sets: Regularity and Separation Axioms
wwwaasrcorg/aasrj American Academic & Scholarl Research Journal Vol 4, No 2, March 212 Fuzz Topolog n Fuzz Sets: Regularit and Separation Aioms AKandil 1, S Saleh 2 and MM Yakout 3 1 Mathematics Department,
More informationYou don't have to be a mathematician to have a feel for numbers. John Forbes Nash, Jr.
Course Title: Real Analsis Course Code: MTH3 Course instructor: Dr. Atiq ur Rehman Class: MSc-II Course URL: www.mathcit.org/atiq/fa5-mth3 You don't have to be a mathematician to have a feel for numbers.
More informationDirected Ideals in partially ordered vector spaces
Directed Ideals in partially ordered vector spaces Anke Kalauch TU Dresden Leiden, July 2013 Anke Kalauch (TU Dresden) Directed ideals Leiden, July 2013 1 / 20 Outline 1 Characterizations of ideals in
More informationStone-Čech compactification of Tychonoff spaces
The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological
More informationBanach Spaces II: Elementary Banach Space Theory
BS II c Gabriel Nagy Banach Spaces II: Elementary Banach Space Theory Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we introduce Banach spaces and examine some of their
More informationFunctional Analysis HW #1
Functional Analysis HW #1 Sangchul Lee October 9, 2015 1 Solutions Solution of #1.1. Suppose that X
More informationBanach Spaces V: A Closer Look at the w- and the w -Topologies
BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,
More informationFREMLIN TENSOR PRODUCTS OF CONCAVIFICATIONS OF BANACH LATTICES
FREMLIN TENSOR PRODUCTS OF CONCAVIFICATIONS OF BANACH LATTICES VLADIMIR G. TROITSKY AND OMID ZABETI Abstract. Suppose that E is a uniformly complete vector lattice and p 1,..., p n are positive reals.
More informationReflexivity of Locally Convex Spaces over Local Fields
Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric
More informationNotes on Ordered Sets
Notes on Ordered Sets Mariusz Wodzicki September 10, 2013 1 Vocabulary 1.1 Definitions Definition 1.1 A binary relation on a set S is said to be a partial order if it is reflexive, x x, weakly antisymmetric,
More informationCompact operators on Banach spaces
Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact
More information5 Banach Algebras. 5.1 Invertibility and the Spectrum. Robert Oeckl FA NOTES 5 19/05/2010 1
Robert Oeckl FA NOTES 5 19/05/2010 1 5 Banach Algebras 5.1 Invertibility and the Spectrum Suppose X is a Banach space. Then we are often interested in (continuous) operators on this space, i.e, elements
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More informationI teach myself... Hilbert spaces
I teach myself... Hilbert spaces by F.J.Sayas, for MATH 806 November 4, 2015 This document will be growing with the semester. Every in red is for you to justify. Even if we start with the basic definition
More informationTopological Vector Spaces III: Finite Dimensional Spaces
TVS III c Gabriel Nagy Topological Vector Spaces III: Finite Dimensional Spaces Notes from the Functional Analysis Course (Fall 07 - Spring 08) Convention. Throughout this note K will be one of the fields
More informationHomework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2.
Homework #05, due 2/17/10 = 10.3.1, 10.3.3, 10.3.4, 10.3.5, 10.3.7, 10.3.15 Additional problems recommended for study: 10.2.1, 10.2.2, 10.2.3, 10.2.5, 10.2.6, 10.2.10, 10.2.11, 10.3.2, 10.3.9, 10.3.12,
More informationA Survey of Lance s Weak Expectation Property, The Double Commutant Expectation Property, and The Operator System Local Lifting Property
A Survey of Lance s Weak Expectation Property, The Double Commutant Expectation Property, and The Operator System Local Lifting Property Roy M. Araiza Purdue University Department of Mathematics Abstract
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More information4 Inverse function theorem
Tel Aviv Universit, 2013/14 Analsis-III,IV 53 4 Inverse function theorem 4a What is the problem................ 53 4b Simple observations before the theorem..... 54 4c The theorem.....................
More informationMAT 578 FUNCTIONAL ANALYSIS EXERCISES
MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.
More informationNormed Vector Spaces and Double Duals
Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces
More informationProjection-valued measures and spectral integrals
Projection-valued measures and spectral integrals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 16, 2014 Abstract The purpose of these notes is to precisely define
More information8. BOOLEAN ALGEBRAS x x
8. BOOLEAN ALGEBRAS 8.1. Definition of a Boolean Algebra There are man sstems of interest to computing scientists that have a common underling structure. It makes sense to describe such a mathematical
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More information2.2 Annihilators, complemented subspaces
34CHAPTER 2. WEAK TOPOLOGIES, REFLEXIVITY, ADJOINT OPERATORS 2.2 Annihilators, complemented subspaces Definition 2.2.1. [Annihilators, Pre-Annihilators] Assume X is a Banach space. Let M X and N X. We
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationGELFAND S THEOREM. Christopher McMurdie. Advisor: Arlo Caine. Spring 2004
GELFAND S THEOREM Christopher McMurdie Advisor: Arlo Caine Super Advisor: Dr Doug Pickrell Spring 004 This paper is a proof of the first part of Gelfand s Theorem, which states the following: Every compact,
More informationChapter 1. Introduction
Chapter 1 Introduction Functional analysis can be seen as a natural extension of the real analysis to more general spaces. As an example we can think at the Heine - Borel theorem (closed and bounded is
More informationRESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES
RESTRICTED UNIFORM BOUNDEDNESS IN BANACH SPACES OLAV NYGAARD AND MÄRT PÕLDVERE Abstract. Precise conditions for a subset A of a Banach space X are known in order that pointwise bounded on A sequences of
More informationSimple Abelian Topological Groups. Luke Dominic Bush Hipwood. Mathematics Institute
M A E NS G I T A T MOLEM UNIVERSITAS WARWICENSIS Simple Abelian Topological Groups by Luke Dominic Bush Hipwood supervised by Dr Dmitriy Rumynin 4th Year Project Submitted to The University of Warwick
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationA sharp Blaschke Santaló inequality for α-concave functions
Noname manuscript No will be inserted b the editor) A sharp Blaschke Santaló inequalit for α-concave functions Liran Rotem the date of receipt and acceptance should be inserted later Abstract We define
More informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationA SHORT INTRODUCTION TO BANACH LATTICES AND
CHAPTER A SHORT INTRODUCTION TO BANACH LATTICES AND POSITIVE OPERATORS In tis capter we give a brief introduction to Banac lattices and positive operators. Most results of tis capter can be found, e.g.,
More informationConstant 2-labelling of a graph
Constant 2-labelling of a graph S. Gravier, and E. Vandomme June 18, 2012 Abstract We introduce the concept of constant 2-labelling of a graph and show how it can be used to obtain periodic sphere packing.
More informationContents. Index... 15
Contents Filter Bases and Nets................................................................................ 5 Filter Bases and Ultrafilters: A Brief Overview.........................................................
More information16 1 Basic Facts from Functional Analysis and Banach Lattices
16 1 Basic Facts from Functional Analysis and Banach Lattices 1.2.3 Banach Steinhaus Theorem Another fundamental theorem of functional analysis is the Banach Steinhaus theorem, or the Uniform Boundedness
More informationRudiments of Hilbert Space Theory
Rudiments of Hilbert Space Theory Tom Potter Tom Potter August 31, 2015, last revised: August 2018 Copyright Registration No. 1124049 Contents Preface 2 1 Preliminaries: Limits, Sup, Limsup 3 1.1 Double
More informationMath 426 Homework 4 Due 3 November 2017
Math 46 Homework 4 Due 3 November 017 1. Given a metric space X,d) and two subsets A,B, we define the distance between them, dista,b), as the infimum inf a A, b B da,b). a) Prove that if A is compact and
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationTree-adjoined spaces and the Hawaiian earring
Tree-adjoined spaces and the Hawaiian earring W. Hojka (TU Wien) Workshop on Fractals and Tilings 2009 July 6-10, 2009, Strobl (Austria) W. Hojka (TU Wien) () Tree-adjoined spaces and the Hawaiian earring
More informationLectures on Analysis John Roe
Lectures on Analysis John Roe 2005 2009 1 Lecture 1 About Functional Analysis The key objects of study in functional analysis are various kinds of topological vector spaces. The simplest of these are the
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Wee November 30 Dec 4: Deadline to hand in the homewor: your exercise class on wee December 7 11 Exercises with solutions Recall that every normed space X can be isometrically
More informationNorm-induced partially ordered vector spaces
Stefan van Lent Norm-induced partially ordered vector spaces Bachelor thesis Thesis Supervisor: dr. O.W. van Gaans Date Bachelor Exam: 30th of June 016 Mathematisch Instituut, Universiteit Leiden Contents
More informationTopological vectorspaces
(July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural non-fréchet spaces Topological vector spaces Quotients and linear maps More topological
More informationProblem Set 6: Solutions Math 201A: Fall a n x n,
Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series
More informationSpectral Theory, with an Introduction to Operator Means. William L. Green
Spectral Theory, with an Introduction to Operator Means William L. Green January 30, 2008 Contents Introduction............................... 1 Hilbert Space.............................. 4 Linear Maps
More informationLattice algebra representations of L 1 (G) on translation invariant Banach function spaces
David Nicolaas Leendert Kok Lattice algebra representations of L 1 () on translation invariant Banach function spaces Master s thesis, defended on October 28, 2016 Thesis advisor: Dr. M.F.E. de Jeu Mathematisch
More informationA note on some approximation theorems in measure theory
A note on some approximation theorems in measure theory S. Kesavan and M. T. Nair Department of Mathematics, Indian Institute of Technology, Madras, Chennai - 600 06 email: kesh@iitm.ac.in and mtnair@iitm.ac.in
More informationAnalysis Preliminary Exam Workshop: Hilbert Spaces
Analysis Preliminary Exam Workshop: Hilbert Spaces 1. Hilbert spaces A Hilbert space H is a complete real or complex inner product space. Consider complex Hilbert spaces for definiteness. If (, ) : H H
More information4. Product measure spaces and the Lebesgue integral in R n.
4 M. M. PELOSO 4. Product measure spaces and the Lebesgue integral in R n. Our current goal is to define the Lebesgue measure on the higher-dimensional eucledean space R n, and to reduce the computations
More information7 Complete metric spaces and function spaces
7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationWeak Topologies, Reflexivity, Adjoint operators
Chapter 2 Weak Topologies, Reflexivity, Adjoint operators 2.1 Topological vector spaces and locally convex spaces Definition 2.1.1. [Topological Vector Spaces and Locally convex Spaces] Let E be a vector
More informationRecall that any inner product space V has an associated norm defined by
Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner
More informationHilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality
(October 29, 2016) Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2016-17/03 hsp.pdf] Hilbert spaces are
More informationJoseph Muscat Universal Algebras. 1 March 2013
Joseph Muscat 2015 1 Universal Algebras 1 Operations joseph.muscat@um.edu.mt 1 March 2013 A universal algebra is a set X with some operations : X n X and relations 1 X m. For example, there may be specific
More informationINF-SUP CONDITION FOR OPERATOR EQUATIONS
INF-SUP CONDITION FOR OPERATOR EQUATIONS LONG CHEN We study the well-posedness of the operator equation (1) T u = f. where T is a linear and bounded operator between two linear vector spaces. We give equivalent
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationBest approximations in normed vector spaces
Best approximations in normed vector spaces Mike de Vries 5699703 a thesis submitted to the Department of Mathematics at Utrecht University in partial fulfillment of the requirements for the degree of
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationCONTENTS. 4 Hausdorff Measure Introduction The Cantor Set Rectifiable Curves Cantor Set-Like Objects...
Contents 1 Functional Analysis 1 1.1 Hilbert Spaces................................... 1 1.1.1 Spectral Theorem............................. 4 1.2 Normed Vector Spaces.............................. 7 1.2.1
More information6 Classical dualities and reflexivity
6 Classical dualities and reflexivity 1. Classical dualities. Let (Ω, A, µ) be a measure space. We will describe the duals for the Banach spaces L p (Ω). First, notice that any f L p, 1 p, generates the
More informationE.7 Alaoglu s Theorem
E.7 Alaoglu s Theorem 359 E.7 Alaoglu s Theorem If X is a normed space, then the closed unit ball in X or X is compact if and only if X is finite-dimensional (Problem A.25). Even so, Alaoglu s Theorem
More informationMAA6617 COURSE NOTES SPRING 2014
MAA6617 COURSE NOTES SPRING 2014 19. Normed vector spaces Let X be a vector space over a field K (in this course we always have either K = R or K = C). Definition 19.1. A norm on X is a function : X K
More informationSet theory and topology
arxiv:1306.6926v1 [math.ho] 28 Jun 2013 Set theory and topology An introduction to the foundations of analysis 1 Part II: Topology Fundamental Felix Nagel Abstract We provide a formal introduction into
More informationInner product on B -algebras of operators on a free Banach space over the Levi-Civita field
Available online at wwwsciencedirectcom ScienceDirect Indagationes Mathematicae 26 (215) 191 25 wwwelseviercom/locate/indag Inner product on B -algebras of operators on a free Banach space over the Levi-Civita
More informationAliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide
aliprantis.tex May 10, 2011 Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide Notes from [AB2]. 1 Odds and Ends 2 Topology 2.1 Topological spaces Example. (2.2) A semimetric = triangle
More informationAN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 (2016), 53-64 AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE Mona Nabiei (Received 23 June, 2015) Abstract. This study first defines a new metric with
More informationSpectral theory for compact operators on Banach spaces
68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationTake-Home Final Examination of Math 55a (January 17 to January 23, 2004)
Take-Home Final Eamination of Math 55a January 17 to January 3, 004) N.B. For problems which are similar to those on the homework assignments, complete self-contained solutions are required and homework
More informationSOLUTIONS TO SOME PROBLEMS
23 FUNCTIONAL ANALYSIS Spring 23 SOLUTIONS TO SOME PROBLEMS Warning:These solutions may contain errors!! PREPARED BY SULEYMAN ULUSOY PROBLEM 1. Prove that a necessary and sufficient condition that the
More informationNATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part I
NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Comple Analsis II Lecture Notes Part I Chapter 1 Preliminar results/review of Comple Analsis I These are more detailed notes for the results
More informationCOMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE
COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE MICHAEL LAUZON AND SERGEI TREIL Abstract. In this paper we find a necessary and sufficient condition for two closed subspaces, X and Y, of a Hilbert
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationA PARTIAL CHARACTERIZATION OF THE COCIRCUITS OF A SPLITTING MATROID
DEPARTMENT OF MATHEMATICS TECHNICAL REPORT A PARTIAL CHARACTERIZATION OF THE COCIRCUITS OF A SPLITTING MATROID DR. ALLAN D. MILLS MAY 2004 No. 2004-2 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookeville, TN 38505
More informationarxiv:math.oa/ v1 22 Nov 2000
arxiv:math.oa/0011184 v1 22 Nov 2000 A module frame concept for Hilbert C*-modules Michael Frank and David R. Larson Abstract. The goal of the present paper is a short introduction to a general module
More informationB. Appendix B. Topological vector spaces
B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function
More informationLipschitz p-convex and q-concave maps
Lipschitz p-convex and q-concave maps J. Alejandro Chávez-Domínguez Instituto de Ciencias Matemáticas, CSIC-UAM-UCM-UC3M, Madrid and Department of Mathematics, University of Texas at Austin Conference
More informationON CONNES AMENABILITY OF UPPER TRIANGULAR MATRIX ALGEBRAS
U.P.B. Sci. Bull., Series A, Vol. 80, Iss. 2, 2018 ISSN 1223-7027 ON CONNES AMENABILITY OF UPPER TRIANGULAR MATRIX ALGEBRAS S. F. Shariati 1, A. Pourabbas 2, A. Sahami 3 In this paper, we study the notion
More informationLecture 7: Semidefinite programming
CS 766/QIC 820 Theory of Quantum Information (Fall 2011) Lecture 7: Semidefinite programming This lecture is on semidefinite programming, which is a powerful technique from both an analytic and computational
More informationSection 3.1. ; X = (0, 1]. (i) f : R R R, f (x, y) = x y
Paul J. Bruillard MATH 0.970 Problem Set 6 An Introduction to Abstract Mathematics R. Bond and W. Keane Section 3.1: 3b,c,e,i, 4bd, 6, 9, 15, 16, 18c,e, 19a, 0, 1b Section 3.: 1f,i, e, 6, 1e,f,h, 13e,
More informationMinimal reductions of monomial ideals
ISSN: 1401-5617 Minimal reductions of monomial ideals Veronica Crispin Quiñonez Research Reports in Mathematics Number 10, 2004 Department of Mathematics Stocholm Universit Electronic versions of this
More informationCHAPTER I THE RIESZ REPRESENTATION THEOREM
CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals
More informationHomework Notes Week 6
Homework Notes Week 6 Math 24 Spring 24 34#4b The sstem + 2 3 3 + 4 = 2 + 2 + 3 4 = 2 + 2 3 = is consistent To see this we put the matri 3 2 A b = 2 into reduced row echelon form Adding times the first
More informationDiameter preserving linear maps and isometries
Arch. Math. 73 (1999) 373±379 0003-889X/99/050373-07 $ 2.90/0 Birkhäuser Verlag, Basel, 1999 Archiv der Mathematik By FEÂ LIX CABELLO SA Â NCHEZ*) Abstract. We study linear bijections of C X which preserve
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationFunctional Analysis HW #3
Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform
More informationBanach algebras of operators
Banach algebras of operators Matthew David Peter Daws December 2004 Submitted in accordance with the requirements for the degree of Doctor of Philosophy The University of Leeds School of Mathematics Department
More informationRené Bartsch and Harry Poppe (Received 4 July, 2015)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 2016, 1-8 AN ABSTRACT ALGEBRAIC-TOPOLOGICAL APPROACH TO THE NOTIONS OF A FIRST AND A SECOND DUAL SPACE III René Bartsch and Harry Poppe Received 4 July, 2015
More informationPart III Functional Analysis
Part III Functional Analysis András Zsák Michaelmas 2017 Contents 1 The Hahn Banach extension theorems 1 2 The dual space of L p (µ) and of C(K) 7 3 Weak topologies 12 4 Convexity and the Krein Milman
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationA Brief Introduction to Functional Analysis
A Brief Introduction to Functional Analysis Sungwook Lee Department of Mathematics University of Southern Mississippi sunglee@usm.edu July 5, 2007 Definition 1. An algebra A is a vector space over C with
More information