Lattice homomorphisms in harmonic analysis
H. Garth Dales, Marcel de Jeu

TL;DR
This paper investigates lattice homomorphisms arising from positive bilinear maps in harmonic analysis, establishing conditions under which these maps are lattice homomorphisms and applying results to convolutions and function space embeddings.
Contribution
It provides new conditions ensuring that certain positive bilinear maps in harmonic analysis are lattice homomorphisms, with applications to convolutions and function space dualities.
Findings
The associated map from X to regular operators is a lattice homomorphism under mild conditions.
Order duals of compactly supported functions can be viewed as order ideals.
L^p-spaces and measure lattices embed into duals of compactly supported functions.
Abstract
Let be a non-empty, closed subspace of a locally compact group that is a subsemigroup of . Suppose that , and are Banach lattices that are vector sublattices of the order dual of the real-valued, continuous functions with compact support on , and where is Dedekind complete. Suppose that is a positive bilinear map such that for all and with compact support. We show that, under mild conditions, the canonically associated map from into the vector lattice of regular operators from into is then a lattice homomorphism. Applications of this result are given in the context of convolutions, answering questions previously posed in the literature. As a preparation, we show that the orderâŠ
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsMathematical Analysis and Transform Methods · Advanced Mathematical Modeling in Engineering · Stability and Controllability of Differential Equations
Lattice homomorphisms in harmonic analysis
H. Garth Dales
H. Garth Dales, Department of Mathematics and Statistics, University of Lancaster, Lancaster LA1 4YF, United Kingdom
 andÂ
Marcel de Jeu
Marcel de Jeu, Mathematical Institute, Leiden University, P.O. Box 9512, 2300 RA Leiden, the Netherlands
Dedicated to Ben de Pagter on the occasion of his 65th birthday
Abstract.
Let be a non-empty, closed subspace of a locally compact group that is a subsemigroup of . Suppose that , and are Banach lattices that are vector sublattices of the order dual of the real-valued, continuous functions with compact support on , and where is Dedekind complete. Suppose that is a positive bilinear map such that for all and with compact support. We show that, under mild conditions, the canonically associated map from into the vector lattice of regular operators from into is then a lattice homomorphism. Applications of this result are given in the context of convolutions, answering questions previously posed in the literature.
As a preparation, we show that the order dual of the continuous, compactly supported functions on a closed subspace of a locally compact space can be canonically viewed as an order ideal of the order dual of the continuous, compactly supported functions on the larger space.
As another preparation, we show that -spaces and Banach lattices of measures on a locally compact space can be embedded as vector sublattices of the order dual of the continuous, compactly supported functions on that space.
Key words and phrases:
Locally compact group, convolution, Banach lattice, lattice homomorphism, locally compact space, order dual, Radon measure
2010 Mathematics Subject Classification:
Primary 43A99; Secondary 28C05, 06F25, 43A10, 43A15, 43A20
1. Introduction and overview
Let be a locally compact group with (real) measure algebra . Then is not only a Banach algebra with convolution as multiplication, but also a Banach lattice. The left regular representation of is easily seen to take its values in the algebra of regular operators on , so that we actually have an algebra homomorphism . Furthermore, is Dedekind complete, so that is a vector lattice again. Hence it is meaningful to wonder whether the left regular representation is not only an algebra homomorphism, but also a lattice homomorphism. This question was raised during a workshop on ordered Banach algebras at the Lorentz Center in Leiden in 2014, and it occurs in Wicksteadâs list of open problems based on those that were posed during this workshop; see [wickstead:2017c].
The natural approach to this question is to start with one of the RieszâKantorovich formulae as a basis to determine whether is a lattice homomorphism, and to use the explicit formula for the convolution of two measures while doing so. Then the expressions become complicated very quickly, and an answer has not been obtained along these lines so far.
Nevertheless, the answer to the question is known: the left regular representation is indeed a lattice homomorphism. The first proof of this, as obtained by the present authors, is surprisingly simple. It uses just a little more than the fact that the support of the convolution of two measures with compact support is contained in the products of the support, combined with the general fact that the modulus on a vector lattice is additive on finite sums of mutually disjoint elements. The RieszâKantorovich formulae and the explicit expression for the convolution of two measures are not needed.
A closer look at the proof showed that, in fact, it does not really use that the objects involved are measures. Essentially the same proof establishes that, for , the natural action of on by convolution gives a lattice homomorphism from into the regular operators on . In fact, under mild conditions, it shows that, âwheneverâ a Banach lattice on convolves a Banach lattice on into a Dedekind complete Banach lattice on , then the natural map from into the regular operators from into is a lattice homomorphism. A still closer look showed that it is not even necessary that the action of on be given by convolution. As long as it is a positive map that satisfies the property for supports mentioned above, essentially the same proof as for shows that the natural map from into the regular operators from into is still a lattice homomorphism. As a rule of thumb, this is âalwaysâ true for convolution-like positive bilinear maps. Exaggerating a little, one could say that the main problem with the original question for is that there is too much information that obscures the underlying picture.
Above, we have spoken loosely about âessentially the same proofâ and âBanach lattices on â. It is evidently desirable to be able to make this precise, and thenâhopefullyâgive the âessentialâ proof of one central theorem that clarifies the mathematical backbone of the situation, and that specialises to various practical cases of interest. This is, indeed, possible. As will become apparent, the order dual of the continuous functions with compact support on can act as a large vector lattice thatâthis is true in a more general context of locally compact spacesâcontains various familiar Banach lattices as vector sublattices. It is in this framework that such a central theorem can, indeed, be established âonce and for allâ. The ensuing result, which is the group case of Theorem 10.3, below, is the heart of this article.
There are many examples of Banach algebras on a locally compact semigroup , provided with a convolution-like product, that are also Dedekind complete Banach lattices. Again, one can ask whether the left regular representation of these algebras is a lattice homomorphism. More generally again, if a Banach lattice on âconvolvesâ a Banach lattice on into a Banach lattice on , where is Dedekind complete, is the canonically associated map from into the regular operators from into then a lattice homomorphism? Unfortunately, the proof of the general theorem as for groups is then no longer valid. Results can still be obtained, however, when one supposes that is actually a closed subset of a locally compact group . It is then possible to reduce the problem for to the problem for , where the answer is known. For this, one merely needs to be able to view Banach lattices that are sublattices of as Banach lattices that are sublattices of . This is indeed possible, sinceâthis is a special case of a general result for closed subspaces of locally compact spacesâit can be shown that one can canonically embed as a vector sublattice of , with supports being preserved under the embedding. It is thus that the group case of our main result, Theorem 10.3, below, can actually be used to establish a similar result for semigroups that are closed subsets of locally compact groups. In the end, the original result for locally compact groups (where the actual key proof can be given) is then a special case of Theorem 10.3. This final result is described in the abstract of this article.
It may have become obvious from the above discussion that the present article is at the interface of the fields of positivity, abstract harmonic analysis, and Banach algebras. It is, perhaps, not yet very common to be familiar with the basic notions of these three disciplines together. It is for this reason that we have decided to explain the necessary terms and to review the necessary results from each of these fields in an attempt to make this article accessible to all readers, regardless of their background. We also hope that, by doing this, we shall facilitate further research at the junction of these disciplines.
This article is organised as follows.
Section 2 contains basic notions and results for vector lattices and Banach lattices,
Banach lattices can be complexified to yield complex Banach lattices; this is the topic of Section 3.
Section 4 covers the basic notions of Banach algebras and Banach lattice algebras, and introduces complex Banach lattice algebras.
Section 5 is concerned with locally compact spaces, and notably with the order dual of the continuous, compactly supported functions on a locally compact space . As will be explained in that section, this order dual is Bourbakiâs space of Radon measures on as in [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004].
Section 6 shows how the order dual for a closed subspace of a locally compact space can be embedded into as an order ideal. The reader whose interest lies in groups and not in semigroups can omit this section in its entirety. We are not aware of a reference for the results in this section, which may also find applications elsewhere.
Let be a locally compact space. As explained above in the context where is a locally compact group, it is necessary to embed various familiar Banach lattices on as vector sublattice of . This is done in Section 7. We are not aware of earlier results in this direction, where the rÎle of is not dissimilar to that of the space of distributions on an open subset of in the sense of Schwartz.
Section 8 contains the necessary material on locally compact groups and on Banach lattices and Banach lattice algebras on such groups.
Section 9 is of a similar nature as Section 8, but now for semigroups. Taken together, Sections 8 and 9 contain a good stockpile of Banach lattice algebras. Some of them are semisimple while others are radicalâthis does not seem to influence the order properties of the left regular representations. We hope that these examples can also serve as test cases for further study of Banach lattice algebras in general.
Section 10 contains our key results. This section is the core of the present article and the other sections are, in a sense, merely auxiliary. The reader may actually wish to have a look at this section, and notably at the proof for the group case of Theorem 10.3, before reading other sections.
In Section 11, all is put together. The general results from Section 10, combined with the embedding results from Section 7, are now easily combined to yield that various canonical maps are actually lattice homomorphism. The left regular representation of is one of them. We also include in this section a list of cases where it is known whether the left regular representation of a Dedekind complete Banach lattice algebra is a lattice homomorphism or not.
Section 12 discusses the relation between one of the results in Section 11 and earlier work by Arendt, Brainerd and Edwards, and Gilbert. This leads to questions for further research, on which we hope to be able to report in the future.
We conclude this section by introducing a few conventions and notations.
The vector spaces and algebras in this article are all over the real field, , unless stated otherwise. This is the canonical convention in the field of positivity. On the other hand, the canonical convention in the context of Banach algebras and abstract harmonic analysis is that the base field be the complex field, . There seems to be no natural way to reconcile these two conventions where these disciplines meet. In view of the prominent rĂŽle of ordering in the present article, we have chosen to consistently side with the convention in positivity. Readers from a different background are, therefore, cautioned to realise that a Banach algebra is a real Banach algebra, and that, e.g., the measure algebra of a locally compact group consists of the real signed regular Borel measures on the group. We apologise for the mental dissonance that such consequences of our efforts to be precise and consistent will almost inevitably cause. In a further attempt to prevent misunderstanding as much as possible, we have included the field in the notation for concrete spaces. The group algebra of a locally compact group is denoted by , for example.
We shall let denote the choice for either or when results are valid in both cases.
Algebras are always linear and associative. An algebra need not have an identity element. An algebra homomorphism between two unital algebras need not map the identity element to the identity element.
Topological spaces are always supposed to be Hausdorff, unless stated otherwise.
Let be a topological space. Then we let denote the real-valued, continuous functions on , we let denote the real-valued, bounded, continuous functions on , we let denote the real-valued, continuous functions on that vanish at infinity, and we let denote the real-valued, continuous functions on with compact support. Their complex counterparts , , , and are similarly defined.
Let be a non-empty set. Then denotes the uniform norm of a bounded, real- or complex-valued function on . Sometimes we shall write if confusion could arise otherwise.
Let and be normed spaces over . Then denotes the bounded linear operators from into . We shall write for .
The identity element of a group is denoted by .
Semigroups need not have identity elements.
Let be a semigroup, and suppose that and are non-empty subsets of . Then we set .
2. Vector lattices and Banach lattices
In this section, we shall cover some basic material on vector and Banach lattices. The details can be found in introductory books such as [de_jonge_van_rooij_INTRODUCTION_TO_RIESZ_SPACES:1977, zaanen_INTRODUCTION_TO_OPERATOR_THEORY_IN_RIESZ_SPACES:1997]. More advanced general references are [abramovich_aliprantis_INVITATION_TO_OPERATOR_THEORY:2002, abramovich_aliprantis_PROBLEMS_IN_OPERATOR_THEORY:2002, aliprantis_burkinshaw_LOCALLY_SOLID_RIESZ_SPACES_WITH_APPLICATIONS_TO_ECONOMICS_SECOND_EDITION:2003, aliprantis_burkinshaw_POSITIVE_OPERATORS_SPRINGER_REPRINT:2006, luxemburg_zaanen_RIESZ_SPACES_VOLUME_I:1971, meyer-nieberg_BANACH_LATTICES:1991, schaefer_BANACH_LATTICES_AND_POSITIVE_OPERATORS:1974, wnuk_BANACH_LATTICES_WITH_ORDER_CONTINUOUS_NORMS:1999, zaanen_RIESZ_SPACES_VOLUME_II:1983].
Suppose that is a partially ordered vector space, i.e., a vector space that is supplied with a partial ordering such that for all whenever are such that , and such that whenever in and in . The subset of positive elements of is then a cone, and it is denoted by .
A vector lattice or Riesz space is a partially ordered vector space such that every two elements of have a least upper bound in ; this supremum of the set is denoted by . The infimum of then also exists; it is denoted by . For , we define its modulus as , its positive part as , and its negative part as . Then , , and .
Let be a vector lattice. Two elements and of are disjoint if ; this is denoted by . When this is the case, then . This latter property lies at the heart of the results in this article, and can be found in [luxemburg_zaanen_RIESZ_SPACES_VOLUME_I:1971, Theorem 14.4(i)] and [zaanen_INTRODUCTION_TO_OPERATOR_THEORY_IN_RIESZ_SPACES:1997, Theorem 8.2(i)], for example.
Let . Then . Suppose that with . Then and . Suppose, further, that . Then and .
Let be a vector lattice, and let be a linear subspace of . Then is a vector sublattice of if whenever ; then also whenever , and whenever .
Let be a vector lattice, and let be a vector sublattice of . Then is an order ideal of if whenever are such that and .
An order interval in a vector lattice is a subset of the form
[TABLE]
for some in . A subset of is order bounded if it is contained in an order interval.
A vector lattice is Dedekind complete or order complete if every non-empty subset of that is bounded above in has a supremum in .
Example 2.1**.**
Let be a non-empty, topological space. Then , , , and are vector lattices when supplied with the pointwise ordering.
Let be a non-empty, compact space. Then is Dedekind complete if and only if is extremely disconnected (some sources write âextremally disconnectedâ), i.e., if and only if the closure of every open subset of is open. This result is due to Nakano; see [dales_BANACH_ALGEBRAS_AND_AUTOMATIC_CONTINUITY:2000, Proposition 4.2.9], [dales_dashiell_lau_strauss_BANACH_SPACES_OF_CONTINUOUS_FUNCTIONS_AS_DUAL_SPACES:2016, Theorem 2.3.3], or [de_jonge_van_rooij_INTRODUCTION_TO_RIESZ_SPACES:1977, Theorem 12.16], for example. The StoneâÄech compactification of the natural numbers is an example of a compact, extremely disconnected space.
Example 2.2**.**
Let be a non-empty set, let be a -algebra of subsets of , and let be a measure on . For , we supply with the pointwise -almost everywhere partial ordering. Then is a vector lattice. For , it is Dedekind complete. For , it is Dedekind complete if is localisable, i.e., if every measurable subset of of infinite measure has a measurable subset of finite, strictly positive measure and the measure algebra of is order complete. In particular, is Dedekind complete when is -finite. We refer to [luxemburg_zaanen_RIESZ_SPACES_VOLUME_I:1971, p. 126-127] and [fremlin_MEASURE_THEORY_VOLUME_2:2003, Definition 211G, Theorem 211L, and Theorem 243H] for proofs.
An example, taken from [troitsky_UNPUBLISHED:2017], where is not Dedekind complete, is as follows. Let be an uncountable set, and let be the -algebra of all subsets of such that either or is uncountable. Let be the counting measure on . Take a subset of such that both and are uncountable, and set
[TABLE]
The is a subset of that is bounded above, but has no supremum in . Hence is not Dedekind complete.
Example 2.3**.**
Let be a non-empty set, and let be a -algebra of subsets of . We let be the vector space of all signed measures . We introduce a partial ordering on by setting whenever are such that for all . Then is a Dedekind complete vector lattice; see [zaanen_INTRODUCTION_TO_OPERATOR_THEORY_IN_RIESZ_SPACES:1997, p. 187]. For , the supremum of and is given by the formula
[TABLE]
for . The formula for the infimum is similar, and, for , we have
[TABLE]
for . That is, is the usual total variation measure of .
Suppose that and are vector lattices and that is a linear operator. Then is order bounded if maps order bounded subsets of to order bounded subsets of . Equivalently, should map order intervals in into order intervals in . The order bounded linear operators from into form a vector space that is denoted by . We shall write for .
Let be order bounded linear operators. Then we say that if for all . This introduces a partially ordering on . The regular operators from into are the elements of the subspace of that is spanned by the positive linear operators from into . Thus the regular operators from into are the linear operators from into that can be written as , where are both positive. We shall write for .
It is not generally true that the partially ordered vector spaces or are again vector lattices, but there is a sufficient condition on the codomain for this to be the case. We have the following; see [aliprantis_burkinshaw_POSITIVE_OPERATORS_SPRINGER_REPRINT:2006, Theorem 1.18] or [zaanen_INTRODUCTION_TO_OPERATOR_THEORY_IN_RIESZ_SPACES:1997, Theorem 20.4], for example.
Theorem 2.4**.**
Let and be vector lattices such that is Dedekind complete. Then the spaces and coincide. Moreover, is a Dedekind complete vector lattice, where the lattice operations are given by
[TABLE]
for all and .
The formulae in the above theorem are the RieszâKantorovich formulae.
Applying the theorem with , we see that the order bounded linear functionals on coincide with the regular ones, and that they form a vector lattice. This vector lattice is denoted by , and it is called the order dual of . Of course, for , we have if and only if for all .
Suppose that and are vector lattices. A linear operator is a lattice homomorphism if for all . This is equivalent to requiring that for all , and also equivalent to requiring that for all . Lattice homomorphisms are positive linear operators.
A linear operator is interval preserving if it is positive and such that for all . The positivity of already implies that ; the point is that equality should hold.
Let be an order bounded linear operator. Then its order adjoint is defined by setting
[TABLE]
for and . In Section 5, we shall use the following two results; see [aliprantis_burkinshaw_POSITIVE_OPERATORS_SPRINGER_REPRINT:2006, Theorems 2.19 and 2.20].
Proposition 2.5**.**
Let be an interval preserving linear operator between the vector lattices and . Then is a lattice homomorphism.
Proposition 2.6**.**
Let be a positive linear operator between the vector lattices and , where is such that separates the points of . Then is a lattice homomorphism if and only if is interval preserving.
Let be a vector lattice. Then a norm on is a lattice norm if whenever and in are such that .
Definition 2.7**.**
A Banach space for which is a vector lattice and is a lattice norm is a Banach lattice.
Example 2.8**.**
Let be a topological space. Then the vector lattices and from Example 2.1 are Banach lattices when supplied with the uniform norm .
Example 2.9**.**
Let be a non-empty set, let be a -algebra of subsets of , and let be a measure on . Then the vector lattices from Example 2.2 are Banach lattices when supplied with the usual -norm .
Example 2.10**.**
Let be a non-empty set, and let be a -algebra of subsets of . Then the vector lattice of real-valued measures on from Example 2.3 is a Banach lattice when supplied with the norm that is obtained by setting
[TABLE]
Let be a Banach lattice. Then has an order dual as a vector lattice, as well as a topological dual as a Banach space. It is a fundamental fact that ; see [aliprantis_burkinshaw_POSITIVE_OPERATORS_SPRINGER_REPRINT:2006, Corollary 4.4] or [zaanen_INTRODUCTION_TO_OPERATOR_THEORY_IN_RIESZ_SPACES:1997, Theorem 25.8(iii)], for example.
Suppose that is a Banach lattice, that is a normed vector lattice, and that the map is an order bounded linear operator. Then is automatically continuous; see [aliprantis_burkinshaw_POSITIVE_OPERATORS_SPRINGER_REPRINT:2006, Theorem 4.3], for example. In the sequel we shall repeatedly use the special case that a positive linear operator from a Banach lattice into a normed vector lattice is automatically continuous.
Let and be Banach lattices, where is Dedekind complete. Then we know from Theorem 2.4 that is a Dedekind complete vector lattice. It can be supplied with the operator norm, but this is not generally a lattice norm. One can, however, define the regular norm on by setting
[TABLE]
for . The regular norm is a lattice norm on , and is then a Dedekind Banach lattice; see [aliprantis_burkinshaw_POSITIVE_OPERATORS_SPRINGER_REPRINT:2006, Theorem 4.74], for example.
3. Complex Banach lattices
In abstract harmonic analysis, Banach spaces and Banach algebras are almost always over the complex numbers. It is for this reason that we include the following material on complex Banach lattices. Details can be found in [abramovich_aliprantis_INVITATION_TO_OPERATOR_THEORY:2002, Section 3.2], [meyer-nieberg_BANACH_LATTICES:1991, Section 2.2], or [schaefer_BANACH_LATTICES_AND_POSITIVE_OPERATORS:1974, Section 2.11], for example.
Let be a Banach lattice. Then its complexified vector space can be supplied with a modulus . The definition of is analogous to one of the possible descriptions of the modulus of a complex number, as follows. For , the supremum
[TABLE]
can be shown to exist in , and we define this supremum to be the modulus of the element of . Then extends the modulus on . Take . Then if and only if . Furthermore, for all and , and for all .
Set for . Then is a norm on that extends the norm on , and is a complex Banach space that is called a complex Banach lattice. As a topological vector space, is -linearly homeomorphic to the Cartesian product . One of the things to remember is that the non-zero complex Banach lattices are not lattices: they do have a modulus, but there is no rĂŽle for a partial ordering on as a whole.
Example 3.1**.**
Let be a topological space. Then the complexifications of the Banach lattice , respectively, , from Example 2.8 can be identified with the Banach space , respectively, , with the usual pointwise complex modulus and with the uniform norm .
Example 3.2**.**
Let be a non-empty set, let be a -algebra of subsets of , and let be a measure on . Then the complexifications of the Banach lattices from Example 2.9 can be identified with the Banach spaces , with the usual pointwise -almost everywhere complex modulus and with the usual -norm .
Example 3.3**.**
Let be a non-empty set, and let be a -algebra of subsets of . Then the complexification of the Banach lattice of real-valued measures on from Example 2.10 can be identified with the Banach space of complex-valued measures on , where the modulus, respectively, the norm, is again given by equation 2.2, respectively, equation 2.6.
Let and be Banach lattices, and let be a bounded linear operator. Then its complex-linear extension is a bounded linear operator, and . If , then .
Let and be complex Banach lattices. Then every complex-linear operator has a unique expression as , where are real-linear operators, and
[TABLE]
for . Then is order bounded (respectively, regular) if both and are order bounded (respectively, regular). The complex vector space of all order bounded (respectively, regular) complex-linear operators from into is denoted by (respectively, ). Then . A complex-linear operator is positive if ; this implies that . For such positive , we have for . A complex-linear operator is a complex lattice homomorphism if for all . This is the case if and only if leaves invariant and the restricted map is a lattice homomorphism; see [schaefer:1960, p. 136].
Let and be Banach lattices, where is Dedekind complete. Then the space is a Dedekind complete Banach lattice, so that we can consider the complex Banach lattice . For , we have, by definition, that
[TABLE]
and then the norm on extends the norm on . It is clear from the definitions that and can be identified as complex vector spaces. Let . Then, viewing as an element of , so that is defined in , and viewing as an element of again, we have
[TABLE]
for all , and
[TABLE]
for all .
Let be a Banach lattice with dual Banach lattice . It follows from equation 3.1 that the norm dual of the complex Banach lattice is canonically isometrically isomorphic as a complex Banach space to the complex Banach lattice . In particular, analogously to the case of real scalars, the norm dual of a complex Banach lattice is again a complex Banach lattice.
4. Banach algebras and Banach lattice algebras
In this section, we shall review some material about Banach algebras, Banach lattice algebras, and their complex versions.
A Banach algebra (respectively, a complex Banach algebra) is a pair , where is an algebra (respectively, a complex algebra) with a norm such that is a Banach space (respectively, a complex Banach space) and
[TABLE]
for . An identity element, if present, need not have norm 1. A net in is an approximate identity if for all . If, in addition, for all , then the approximate identity is contractive.
Let and be Banach algebras. Then a map is a Banach algebra homomorphism if it is a continuous algebra homomorphism. The notion of a complex Banach algebra homomorphism between two complex Banach algebras is similarly defined.
For an introduction to the theory of complex Banach algebras, see [allan_INTRODUCTION_TO_BANACH_SPACES_AND_ALGEBRAS:2011], for example; a more substantial account is given in [dales_BANACH_ALGEBRAS_AND_AUTOMATIC_CONTINUITY:2000]. As long as one does not move into topics where working over the complex field is manifestly essentialâthe latter actually constitute most of the theoryâseveral of the (more basic) results about complex Banach algebras are obviously also true for Banach algebras.
Canonical examples of Banach algebras are , where is a Banach space, and and , where is a topological space and where the norm on both algebras is the supremum-norm . Examples of complex Banach algebras are obtained likewise.
In Section 8, we shall give examples of Banach algebras and complex Banach algebras on locally compact groups that involve convolution.
Let be a complex algebra. A proper left ideal in is modular if there exists with for all . The family of modular left ideals in (if non-empty) has maximal members, and the (Jacobson) radical of is the intersection of the maximal modular left ideals of [dales_BANACH_ALGEBRAS_AND_AUTOMATIC_CONTINUITY:2000, Section 1.5]; it is denoted by , where we set when has no maximal modular left ideals. In fact, is a (two-sided) ideal in . The complex algebra is semisimple when and radical when .
Let be a complex Banach algebra. Then is closed in , and is a semisimple complex Banach algebra. An element is quasi-nilpotent if . Each quasi-nilpotent element belongs to , and is equal to the set of quasi-nilpotent elements in the special case that is commutative.
Banach lattice algebras combine the structures of Banach lattices and of Banach algebras. Their definition in the present article is as follows.
Definition 4.1**.**
Let be a Banach lattice that is also a Banach algebra such that the product of two positive elements is again positive. Then is a Banach lattice algebra.
We note that the norm on a Banach lattice algebra is compatible with both the order and product.
There are further remarks concerning the definition of a Banach lattice algebra, in particular involving the rĂŽle of an identity, in [wickstead:2017b]. In the present article, we leave this unspecified: the algebra need not be unital, nor need an identity element, if present, be positive.
As compared to the general theory of Banach algebras or operator algebras the theory of Banach lattice algebras is largely undeveloped. We refer to [wickstead:2017b, wickstead:2017c] for a survey and for open problems. Problems 6 and 7 in [wickstead:2017c] are resolved by Corollaries 11.4 and 11.1, respectively, in the present article.
Let be a Banach lattice algebra, and take . By splitting each of and into their positive and negative parts, it follows easily that . This holds, in fact, in every so-called Riesz algebra, i.e., in every vector lattice that is an algebra with the property that the product of two positive elements is again positive.
Example 4.2**.**
Let be a topological space. Then and , with the uniform norm and pointwise ordering, are Banach lattice algebras.
Example 4.3**.**
Let be a Dedekind complete Banach lattice. Then is a Dedekind complete Banach lattice and also an algebra. It is, in fact, a Riesz algebra. Since then for , it follows that the regular norm is submultiplicative on . Hence is a Dedekind complete Banach lattice algebra.
In Section 8, we shall define the group algebra and the measure algebra of a locally compact group. These Banach algebras are Banach lattice algebras.
Definition 4.4**.**
Let and be Banach lattice algebras. Then a map is a Banach lattice algebra homomorphism if is a Banach algebra homomorphism as well as a lattice homomorphism.
Banach algebra homomorphisms are supposed to be continuous. However, since Banach lattice algebra homomorphisms are, in particular, positive linear maps between Banach lattices, their continuity is, in fact, already automatic.
Definition 4.5**.**
Let be a Banach lattice algebra, and let be a Dedekind complete Banach lattice. Suppose that is a Banach lattice algebra homomorphism. Then is a Banach lattice algebra representation of on .
Let be a Banach algebra. Then the left regular representation of is the map that is obtained by setting for . The left regular representation of a complex Banach algebra is similarly defined.
Let be a Dedekind complete Banach lattice algebra. Since , it follows that the left regular representation of is, in fact, a positive algebra homomorphism from into the regular operators on . Since is a Dedekind complete Banach lattice, it is a meaningful question whether the left regular representation of as a Banach algebra is, in fact, a Banach lattice algebra representation of on itself. That is, is the map a lattice homomorphism? This question is raised in [wickstead:2017c, Problem  1]. In Remark 11.9, below, we summarise what is known to us.
We shall now introduce complex Banach lattice algebras.
Let be a Banach lattice algebra with norm . Applying the general procedure for the complexification of a Banach lattice, one obtains the complex Banach lattice . Furthermore, is also a complex algebra. It is a non-trivial fact that for all . We refer to [arendt_THESIS_TUEBINGEN:1979, Lemma 1.5] or [scheffold:1980, Satz 1.1] for a proof of this result, which was later generalised to arbitrary Archimedean relatively uniformly complete Riesz algebras in [huijsmans:1985]. The submultiplicativity of the lattice norm on then immediately implies that for . Hence the complex Banach space is also a complex Banach algebra. The complex Banach space , with its structures of a complex Banach lattice and of a complex Banach algebra, is a complex Banach lattice algebra.
Example 4.6**.**
Let be a topological space. Complexification of the Banach lattice algebra , respectively, , yields the complex Banach lattice algebra , respectively, .
Example 4.7**.**
Let be a Dedekind complete Banach lattice. Then is a Banach lattice algebra, and complexification yields the complex Banach lattice algebra .
As we shall see later in Section 8, the complex group algebra (respectively, the complex measure algebra) of a locally compact group can be identified, as a complex algebra, with the complexification of the group algebra (respectively, the measure algebra) of the group. It is not difficult to see that the usual norms on these two complex Banach algebras coincide with the norms they obtain as complexifications of the pertinent Banach lattice algebras. Hence the complex group algebra and the complex measure algebra of a locally compact group, with the usual norm, are both complex Banach lattice algebras.
Remark 4.8**.**
It is possible to complexify arbitrary Banach algebras. Indeed, suppose that is a Banach algebra. Then the algebraic complexification can be given a norm such that is a complex Banach algebra and the natural embedding from into is an isometry. Furthermore, all norms on with this property are equivalent. We refer to [rickart_GENERAL_THEORY_OF_BANACH_ALGEBRAS:1960, Theorem 1.3.2] for these results.
There is, in fact, an explicit construction of such a norm in [rickart_GENERAL_THEORY_OF_BANACH_ALGEBRAS:1960]. It would be interesting to investigate whether, for the complexifications of the Banach lattice algebras in the present article, this particular norm in [rickart_GENERAL_THEORY_OF_BANACH_ALGEBRAS:1960] coincides with the norm as found above via the complexification of Banach lattices. If this were even true for general Banach lattice algebras, then this would yield an alternative proof of the submultiplicativity of the norm found via the complexifications of Banach lattices that would not need the results in [arendt_THESIS_TUEBINGEN:1979, Lemma 1.5], [huijsmans:1985], or [scheffold:1980, Satz 1.1] referred to above.
Definition 4.9**.**
Let and be Banach lattice algebras. Then a map is a complex Banach lattice algebra homomorphism if is a complex Banach algebra homomorphism as well as a complex lattice homomorphism.
Let and be Banach lattice algebras. Then a map is a complex Banach lattice algebra homomorphism if and only if maps into and the restricted map is a Banach lattice algebra homomorphism.
A complex Banach lattice homomorphism is automatically continuous.
Definition 4.10**.**
Let be a Banach lattice algebra, and let be a Dedekind complete Banach lattice. Suppose that is a complex Banach lattice algebra homomorphism. Then is a complex Banach lattice algebra representation of on .
Let be a Banach lattice algebra, and let be a Dedekind complete vector lattice. Then, by combining Definitions 4.4, 4.5, 4.9, and 4.10, we see that a complex algebra homomorphism is a complex Banach lattice algebra representation of on if and only if maps into and the restricted map is a Banach lattice algebra representation of on .
Let be a Dedekind complete Banach lattice algebra. Then the left regular representation of the complex Banach algebra is a positive algebra homomorphism . The left regular representation of is a complex Banach lattice algebra representation of on itself if and only if the left regular representation of is a Banach lattice algebra representation of on itself.
We mention the following. Let be a complex Banach algebra. Suppose that is a conjugate-linear map such that for , for , and for . Then the map â is an involution on , and is a complex Banach â-algebra. For complex Banach â-algebras, see [palmer_BANACH_ALGEBRAS_AND_THE_GENERAL_THEORY_OF_STAR-ALGEBRAS_VOLUME_I:1994, palmer_BANACH_ALGEBRAS_AND_THE_GENERAL_THEORY_OF_STAR-ALGEBRAS_VOLUME_II:2001], for example. The theory of â-representations of complex Banach â-algebras on complex Hilbert spaces is well developed.
In our context, one can consider complex Banach lattice algebras that are also complex Banach â-algebras. Examples are and for a topological space , provided with complex conjugation as involution. The complex group algebra and the complex measure algebra of a locally compact group are other natural examples of complex Banach lattice â-algebras. However, there does not seem to be a natural rĂŽle for the involution in the representation theory of Banach lattice â-algebras. The reason is that the complex Banach lattice algebra , where is a Dedekind complete Banach lattice, does not have a natural involution. It has a natural conjugation, but this preserves the order of the factors in a product of linear operators rather than reverses it.
5. Locally compact spaces
In this section, we shall let denote a non-empty, locally compact space. As for all topological spaces in this article, is supposed to be Hausdorff.
We shall be concerned with the order dual of . As explained in Section 1, the rÎle of in the present article is to be present as a large vector lattice that contains various familiar vector lattices as sublattices; see Theorems 7.5 and 7.9, below, for example.
The first step to be taken is to observe that is equal to the space of real Radon measures on in the sense of Bourbaki [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004]. This will make a few (not too deep) known results for these Radon measures and their supports available. For this, we shall briefly recall the definition of Bourbakiâs Radon measures on .
As usual, for a real- or complex-valued function on , the support of , denoted by , is the closure of the set consisting of those such that .
For each non-empty subset of , we let denote the set of those such that . Let be a non-empty, compact subset of . With the uniform norm, is a (possibly zero) Banach space. The space is the union of the spaces as runs over all non-empty, compact subsets of . Consider the family of all absorbing, symmetric, convex subsets of such that is a neighbourhood of [math] in for each non-empty, compact subset of . According to [bourbaki_TOPOLOGICAL_VECTOR_SPACES_CHAPTERS_1-5_SPRINGER_EDITION:1987, II,  4, No. 4, Proposition 5], is a local base at [math] for a locally convex vector space topology on . Furthermore, a linear map from into a locally convex space is continuous with respect to if and only if its restriction to is continuous for each non-empty, compact subset of , and is the only locally convex topology on with this property. The topology is also the strongest locally convex topology on such that the inclusion map from into is continuous for each non-empty, compact subset of . The topology on is called the direct limit or inductive limit of the topologies on the spaces for non-empty, compact subsets of .
A real Radon measure on in the sense of Bourbaki is a real-valued linear functional on that is continuous with respect to the topology specified above; see [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004, III,  1, No. 3, Definition 2]. In [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004], Bourbaki uses the notation for the space of real Radon measures on .
An alternative description of is given by the following result. It can already be found in the literature as [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004, paragraph preceding III,  1, No. 5, Theorem 3], but we thought it worthwhile to make it explicit and also to include the easy proof, as we wish to combine some of the available results on Bourbakiâs Radon measures with their lattice structure, which is not as prominent in Bourbaki as we shall need it.
Proposition 5.1**.**
Let be a non-empty, locally compact space. Then is the space of real Radon measures on in the sense of Bourbaki.
Proof.
Suppose that is a Radon measure in the sense of Bourbaki. Let be an order bounded subset. Then there exists such that for all . This implies that is a uniformly bounded subset of . Since the restriction of to is continuous, is a bounded, and then also an order bounded, subset of . Hence .
Conversely, suppose that . Let be a non-empty, compact subset of . Then the restriction of to is a regular linear functional. Since is a Banach lattice, this restriction is continuous. Hence is a Radon measure in the sense of Bourbaki. â
Let be a non-empty, locally compact space. The above proposition makes it slightly easier to see that a linear functional on is a Radon measure. Indeed, it will usually be obvious that it is regular if this be, in fact, the case, whereas seeing that it is continuous on each subspace could be (marginally) more complicated.
It is now also possible to make contact with measure theory in the other, perhaps more usual, sense of the word. In order to do so, we recall that a positive measure on the Borel -algebra of is:
- (1)
a Borel measure if for all compact subsets of ; 2. (2)
outer regular on if ; 3. (3)
inner regular on if .
Using the terminology in [aliprantis_burkinshaw_PRINCIPLES_OF_REAL_ANALYSIS_THIRD_EDITION:1998, p. 352], is a positive regular Borel measure on if it is a positive Borel measure that is outer regular on all and inner regular on all open subsets of . The measure is finite if .
The nomenclature is not uniform in the literature; sometimes the inner regularity on all elements of rather than just on the open subsets is incorporated in the definition of a regular Borel measure, as in [folland_REAL_ANALYSIS_SECOND_EDITION:1999, p. 212]. In [folland_REAL_ANALYSIS_SECOND_EDITION:1999, p. 212], our positive regular Borel measures are called Radon measures. In view of the possibility of confusion with Bourbakiâs terminology, we prefer to speak of positive regular Borel measures in the present article.
We shall now review a number of properties of regular measures on . Details can be found in [aliprantis_burkinshaw_PRINCIPLES_OF_REAL_ANALYSIS_THIRD_EDITION:1998], for example; this reference puts more emphasis on the lattice structure than several other sources.
The set of positive regular Borel measures on is a cone that is denoted by . Its subcone consisting of the finite positive regular Borel measures on is denoted by . By definition, the real-linear span of is the vector space of real regular Borel measures on . The vector space is, in fact, a Dedekind complete Banach sublattice of the Banach lattice from Example 2.10. The supremum of two elements is given by equation 2.1, the modulus by equation 2.6, and the norm by equation 2.6.
Let . After splitting into its positive and negative parts, the Riesz representation theorem for positive functionals on implies that there exist such that
[TABLE]
for all . If , then one can take , and in this case is uniquely determined.
Let , and suppose that is a continuous linear functional on ; equivalently, one can suppose that is the restriction to of a continuous linear functional on . Then and in equation 5.1 can both be taken to be elements of . Conversely, if , then the right-hand side of equation 5.1 defines a continuous linear functional on . In this way, an isometric isomorphism of Banach lattices between the norm (or order) dual of the Banach lattice and the Banach lattice is obtained; see [aliprantis_burkinshaw_PRINCIPLES_OF_REAL_ANALYSIS_THIRD_EDITION:1998, Theorem 38.7], for example.
Remark 5.2**.**
The measures and in equation 5.1 can be infinite simultaneously, so that it is meaningless to say that is represented by the measure because the latter cannot generally be properly defined. This is where Bourbakiâs terminology for Radon âmeasuresâ conflicts with that in measure theory in the sense of Lebesgue and Caratheodory.
Let be a non-empty, locally compact space. The Riesz representation theorem provides a means to define the product of a bounded Borel measurable function on and an element of . We shall now explain this.
Let . Suppose that is a non-empty, open, and relatively compact subset of . Since , the restriction of to is continuous when is supplied with the uniform norm. Therefore, there exists a unique finite regular Borel measure on such that
[TABLE]
for all .
Suppose that is an open and relatively compact subset of with . Then it is a consequence of [folland_A_COURSE_IN_ABSTRACT_HARMONIC_ANALYSIS_SECOND_EDITION:2016, Section 7.2, Exercise 7] and the uniqueness part of the Riesz representation theorem that equals the restriction of to . Consequently, suppose that and are two non-empty, open, and relatively compact subsets of such that . Then the restrictions of and to are identical.
Let be a bounded Borel measurable function on . Suppose that , and choose an open and relatively compact neighbourhood of in . Since is zero outside , it follows from the above that the integral
[TABLE]
does not depend on the choice of . Hence we can set
[TABLE]
as a well-defined element of , thus obtaining a map . It is then routine to verify that , and that depends bilinearly on the bounded Borel measurable function on and the element of . The element of is the product of and .
Although we shall not need this, let us note that, more generally, a similar argument that is based on local applications of the Riesz representation theorem can be employed to define the product of a Borel measurable function on that is locally integrable (in the canonical sense) with respect to for a given . It is possible to avoid the Riesz representation theorem in defining such products, see [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004, V,  5. No. 2], but the definition using the Riesz representation theorem may be a little more transparent.
Following Bourbaki (see [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004, III,  2, Nos. 1 and  2]), we shall now introduce the supports of elements of .
Let be non-empty, open subset of . An element of vanishes on if for all . By definition, vanishes on the empty set. A partition of unity argument shows that vanishes on the open subset of that is the union of all open subsets of on which vanishes. The closed subset of is called the support of ; it is denoted by . Thus a point in is in the support of if and only if, for every open neighbourhood of , there exists such that .
Let . Then ; see [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004, III,  2, No. 2, Propositions 2].
Let . Then , and if , then ; see [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004, III,  2, No. 2, Propositions 3 and 4]. Consequently, if is an arbitrary subset of , then the subset of consisting of all elements of such that is an order ideal of .
Let . It can happen that ; see [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004, V, Exercises,  5, Exerc. 4]. Hence the disjointness of two elements of does not imply that their supports are disjoint subsets of . The following result shows that the converse implication does hold.
Lemma 5.3**.**
Let be a non-empty, locally compact space. Let be such that and are disjoint subsets of . Then and are disjoint elements of . Consequently, .
Proof.
Using the fact that for , we may suppose that .
Then equation 2.5 yields that, for , we have
[TABLE]
Since and are disjoint, we have
[TABLE]
We can then find continuous functions with compact support such that , , and . For the resulting decomposition , we have , and this shows that . Since obviously , we see that . Hence .
Now that we have established that and are disjoint, the final statement follows from the general principle in vector lattices that the modulus is additive on the sum of two (in fact, of finitely many) mutually disjoint elements. â
Remark 5.4**.**
Lemma 5.3, with its elementary proof, is also a consequence of the technically considerably more demanding [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004, V,  5, No. 7, Proposition 13], where a necessary and sufficient condition for two elements of to be disjointâBourbaki calls such elements alien (to each other)âis given. The reader may wish to consult [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004, IV,  2, No. 2, Proposition 5 and IV,  5, No. 2, Definition 3] to see that an element of is concentrated on in the sense of [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004, V,  5, No. 7, Definition 4], after which it is immediate from [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004, V,  5, No. 7, Proposition 13] that the disjointness of the supports of two elements of implies their disjointness in the vector lattice .
The relevance of the following result will become clear in the proof of Theorem 7.5, below.
Lemma 5.5**.**
Let be a non-empty, locally compact space, and let . Take . Then there exist such that:
- (1)
* and ;* 2. (2)
* and ;* 3. (3)
.
Proof.
If , then we can take and ; if , then we can take and . Hence we may suppose that there exists such that and are both non-empty subsets of . It is then sufficient to prove the result for all such that . For such a fixed , set
[TABLE]
Then , , and ; we see that . Likewise, we set
[TABLE]
and then , , and .
Let . If
[TABLE]
then the continuity of implies that . Hence . Likewise, if , then , which implies that . Since , this shows that . â
6. Closed subspaces of locally compact spaces
Let be a non-empty, locally compact space, and let be a non-empty, closed subspace of . Then is again a locally compact space. We shall now prove that can be canonically viewed as the order ideal of that consists of those elements of with support contained in . The reader who is interested in Banach lattices on groups, but not on semigroups, can omit this section in its entirety.
We are not aware of references for the results in this section, which may find applications elsewhere.
Let be a non-empty, closed subset of a locally compact space . Then we define the restriction map by setting for . As we shall see, the order adjoint
[TABLE]
of is injective, and the image of under is the order ideal of that consists of those elements of with support contained in .
We shall require two preparatory results. The first one is a slight strengthening of a version of Tietzeâs extension theorem [rudin_REAL_AND_COMPLEX_ANALYSIS_THIRD_EDITION:1987, Theorem 20.4], on which it is also based.
Proposition 6.1**.**
Let be a non-empty, locally compact space, let be a non-empty, closed subspace of , and let . Then there exists such that and . If , then it can be arranged that also .
Proof.
Let . Take a relatively compact open neighbourhood of in . Since is a compact subset of , Tietzeâs extension theorem shows that there exists an element of such that as well as . By a version of Urysohnâs lemma [rudin_REAL_AND_COMPLEX_ANALYSIS_THIRD_EDITION:1987, Theorem 2.12], there exists such that , for , and .
Set , so that and . We extend to be an element of by setting for . Then we have .
For , we have ; this also shows that . For , we have because . For , we have because vanishes on . We conclude that and that .
If , then replacing by shows that we can also arrange that . â
Corollary 6.2**.**
Let be a non-empty, locally compact space, and let be a non-empty, closed subspace of . Then is a continuous, interval preserving, and surjective lattice homomorphism.
Proof.
The map is clearly a lattice homomorphism, and it is immediate from the properties of the topologies of and that is continuous. The surjectivity follows from Proposition 6.1.
It remains to show that the positive linear operator is interval preserving. For this, take , and suppose that is such that . By Proposition 6.1, there exists such that . Then and . Thus , as required. â
Theorem 6.3**.**
Let be a non-empty, locally compact space, and let be a non-empty, closed subspace of . Then is a weakâ-continuous, injective, and interval preserving lattice homomorphism.
Furthermore, for all .
The image of under is the order ideal of that consists of all elements of such that .
Suppose that is a bounded Borel measurable function on . Extend to a Borel measurable function on by setting for . Then for all .
Proof.
In view of Corollaries 6.2, 2.5, and 2.6, it is clear that , which is obviously weakâ-continuous, is an injective and interval preserving lattice homomorphism.
We turn to the second statement.
Let . Let , and suppose that . Since is a closed subset of , is a closed subset of . Hence there exists an open neighbourhood of in such that . Let be such that . If , then certainly . If , then is an element of such that . Since is then a non-empty, open subset of that is disjoint from , we have . Hence . We conclude that vanishes on , and hence . It follows that .
For the reverse inclusion, take , and suppose that . Let be an open neighbourhood of in . Take such that and . By Proposition 6.1, there exists such that , and Urysohnâs lemma furnishes such that on and . Set . Then , , and . We then conclude from that does not vanish on . Hence . This shows that .
We turn to the statement on the range of .
From what we have already established, it is clear that the support of is contained in for all . Conversely, suppose that is such that . We shall establish the existence of a such that , as follows. Let . Using Proposition 6.1, we choose such that , and we define by setting . We shall show that this is well defined. For this, it is clearly sufficient to show that whenever is such that . Fix such an , and choose an open and relatively compact neighbourhood of in . Then there exists a constant such that for all . Let be fixed, and set . Since , is an open neighbourhood of in ; in particular, is an open neighbourhood of in . Take an open and relatively compact subset of such that , and take such that , on , and .
Let , and suppose that . Then certainly , so that . In particular, . We conclude that . Evidently, , so . Hence
[TABLE]
since . It follows from this that . Since, in addition, and , we have .
We thus see that for all . Hence . This establishes our claim.
Now that we know that the map is well defined, it is immediate that it is linear. Combining the facts that a positive has a positive extension, as asserted by Proposition 6.1, and that in , it is easy to see that . Finally, for , we have, using the definition of , that . Hence .
We have now shown that the image of under is the subset of that consists of all elements of such that . Since such a subset of is an order ideal of for an arbitrary subset of , the proof of the statement on the range of is complete.
We turn to the final statement.
Let be a bounded Borel measurable function on , and let . Suppose that . Choose a non-empty, open, relatively compact neighbourhood of in ; we may suppose that . Then is a non-empty, open, relatively compact neighbourhood of in . There exists a unique regular Borel measure on such that
[TABLE]
for all . Suppose that is an arbitrary Borel subset of , and set . The fact that is closed in implies that this defines a regular Borel measure on . It is easily seen that
[TABLE]
for all bounded Borel measurable functions on .
On the other hand, there exists a unique regular Borel measure on such that
[TABLE]
for all .
Combining equations 6.1, 6.2, and 6.3, we see that, for , we have
[TABLE]
It follows that .
Using the definitions of and , we see that this implies that
[TABLE]
Hence . â
We are not aware of earlier results in the vein of Theorem 6.3. Bourbaki introduces restrictions of his Radon measures in [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004, III,  2, No. 1 and IV,  5, No. 7], but does not seem to consider what are essentially extensions as in Theorem 6.3.
7. Embedding familiar vector lattices into
In this section, is a non-empty, locally compact space. We shall see how various familiar vector lattices can be embedded into .
Let be a positive regular Borel measure on . Suppose that is Borel measurable. Then is locally integrable with respect to , or locally -integrable if
[TABLE]
for every compact subset of . We shall identify two locally -integrable functions and that are locally -almost everywhere equal, i.e., which are such that
[TABLE]
for all compact subsets of . The equivalence classes of locally -integrable functions on form a vector lattice when the vector space operations and ordering are defined pointwise locally almost everywhere using representatives of equivalence classes. The vector lattice of equivalence classes thus obtained is denoted by .
We shall shortly show that there exists a canonical lattice isomorphism from into ; see Proposition 7.2, below. The spaces for are sublattices of ; see Lemma 7.4, below. For , the restrictions of to these sublattices will, therefore, yield embeddings of the vector lattices as vector sublattices of ; see Theorem 7.5, below.
We shall need the following auxiliary result, which can be found as [rudin_REAL_AND_COMPLEX_ANALYSIS_THIRD_EDITION:1987, Corollary to Lusinâs Theorem 2.24], for example.
Proposition 7.1**.**
Let be a non-empty, locally compact space, let be a bounded Borel measurable function on , let , and let be such that . Suppose that vanishes outside and that . Then there exists a sequence in such that for all , and for -almost all in .
Proposition 7.2**.**
Let be a non-empty, locally compact space, and suppose that . For , set
[TABLE]
for . Then , and the map defines an injective lattice homomorphism . Suppose that is a bounded Borel measurable function on . Then . Furthermore, for .
Proof.
Let . It is clear that . We shall first prove that is a lattice homomorphism by showing that . For this, we apply equation 2.5 to see that
[TABLE]
for .
Fix , and take with . Then
[TABLE]
This shows that
[TABLE]
For the reverse inequality, we define by
[TABLE]
Since is compact, it has finite -measure, so that Proposition 7.1 yields a sequence in such that for all , and for -almost all in . Note that , that for all , and that
[TABLE]
Here the dominated convergence theorem was applied in the second step, and this is valid since is integrable. We thus see that
[TABLE]
Combining equations 7.2 and 7.3, we obtain
[TABLE]
and then equation 7.1 shows that . Hence .
It is now easy to prove that is injective. Indeed, let be such that . Then also . Suppose that is a compact subset of , and take such that on . Then
[TABLE]
Hence is locally -almost everywhere equal to zero, as required.
The statements on the multiplication by bounded Borel measurable functions and on supports are clear. â
Remark 7.3**.**
Proposition 7.2 also follows from [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004, V,  5, No. 2, Corollary to Proposition 2]. Bourbakiâs approach is different from ours. It does not use the dominated convergence theorem, for example, as there are no integrals present at all.
Lemma 7.4**.**
Let be a non-empty, locally compact space, let , and let . Then is a vector sublattice of .
Proof.
If a measurable function is -almost everywhere equal zero, then it is clearly locally -almost everywhere equal to zero. Furthermore, Hölderâs inequality implies that every -integrable measurable function is locally integrable. Hence there exists a canonical lattice homomorphism from into . We need to show that this homomorphism is injective. To this end, suppose that is a measurable function on such that
[TABLE]
and
[TABLE]
for every compact subset of . For , set
[TABLE]
Then and
[TABLE]
Take . Since , [folland_REAL_ANALYSIS_SECOND_EDITION:1999, Proposition 7.5] shows that
[TABLE]
Suppose that is a compact subset of such that . Then
[TABLE]
Hence equation 7.5 shows that , and then equation 7.4 implies that is -almost everywhere equal to zero. â
We can now establish our embedding theorem for -spaces.
Theorem 7.5**.**
Let be a non-empty, locally compact space, let , and let . For , set
[TABLE]
for . Then , and the map defines an injective lattice homomorphism . Suppose that is a bounded Borel measurable function on . Then .
For , set , thus making into a Dedekind complete Banach lattice. Then the set
[TABLE]
is a dense subset of the Banach lattice . Consequently, the set
[TABLE]
is a dense subset of the Banach lattice .
Proof.
It is clear from Propositions 7.2 and 7.4 that is an injective lattice homomorphism that is compatible with multiplication by bounded Borel measurable functions. We establish the remaining statements.
It is obvious that is a Dedekind complete Banach lattice when the norm is transported via the lattice isomorphism .
We turn to the density statements. Let , and let . It follows from Lemma 5.5 that there exists such that , , and . Since then and since is dense in , it follows that
[TABLE]
is a dense subset of . Applying the isometry , we see that
[TABLE]
is a dense subset of the Banach lattice .
Suppose that is such that . It follows from the inclusions and that we also have . Hence Lemma 5.3 shows that and are disjoint elements of , and this implies that the equality gives the decomposition of in into its positive and negative part and , respectively. The final density statement is now clear. â
We shall now show that can also be embedded as a vector sublattice of . For this, we shall use the following auxiliary result. It is a slightly rephrased version of [rudin_REAL_AND_COMPLEX_ANALYSIS_THIRD_EDITION:1987, Theorem 6.12], which is a consequence of the RadonâNikodĂœm theorem.
Proposition 7.6**.**
Let be a finite, real-valued measure on a -algebra of subsets of a set . Then there is a measurable function on such that for all and .
Proposition 7.7**.**
Let be a non-empty, locally compact space. For a finite, real-valued measure , set
[TABLE]
for . Then , and the map defines an injective lattice homomorphism .
Proof.
Let . We shall prove that . The proof for this is quite similar to the proof of Proposition 7.2. Again we apply equation 2.5 to see that
[TABLE]
for .
Fix . If and , then
[TABLE]
This shows that
[TABLE]
For the reverse inequality, we use the unimodular measurable function such that that is supplied by Proposition 7.6. Since is a finite measure, Proposition 7.1 yields a sequence in such that for all , and for -almost all in . Note that and for all , and that, by the dominated convergence theorem,
[TABLE]
We thus see that
[TABLE]
Combining equations 7.7 and 7.8, we obtain that
[TABLE]
and then equation 7.6 shows that . Hence .
It follows that is a lattice homomorphism.
Suppose that . We need to show that . Since also , we may suppose that . Let be a non-empty, open subset of . One of the explicit formulas in the Riesz representation theorem (see [folland_REAL_ANALYSIS_SECOND_EDITION:1999, Theorem 7.2]) shows that
[TABLE]
Since all integrals in the set on the right-hand side are zero by assumption, vanishes on all open subsets of . The outer regularity of at all Borel subsets of then implies that . â
Remark 7.8**.**
- (1)
An alternative proof of Proposition 7.7 goes as follows. It is generally true that the norm dual of a normed vector lattice is a vector sublattice of the order dual of ; see [aliprantis_burkinshaw_PRINCIPLES_OF_REAL_ANALYSIS_THIRD_EDITION:1998, Theorem 30.8]. Since is (isometrically) lattice isomorphic to , it is now immediate that the map in Proposition 7.7 is an injective lattice homomorphism.
This alternative approach uses the vector lattice part of the Riesz representation theorem, whereas our earlier proof does not. 2. (2)
There does not seem to be a result in the vein of Proposition 7.7 in [bourbaki_INTEGRATION_VOLUME_I_CHAPTERS_1-6_SPRINGER_EDITION:2004]; presumably this is because the space , which consists of measures in the sense of Caratheodory and Lebesgue, simply does not exist for Bourbaki.
We can now establish the following analogue of Theorem 7.5.
Theorem 7.9**.**
Let be a non-empty, locally compact space. For , set
[TABLE]
for . Then , and the map defines an injective lattice homomorphism . Suppose that is a bounded Borel measurable function on . Then .
For , set , thus making into a Dedekind complete Banach lattice. Then the set
[TABLE]
is a dense subset of the Banach lattice .
Proof.
It is clear that is compatible with the multiplication by bounded Borel measurable functions. In view of Proposition 7.7, it is then only the density statement that requires proof. Let , and let be its decomposition into its positive and negative parts. There exists a partition of into disjoint Borel measurable subsets and of such that , , for every Borel subset of , and for every Borel subset of ; see [rudin_REAL_AND_COMPLEX_ANALYSIS_THIRD_EDITION:1987, Theorem 6.14]. Let . Since , being finite, is inner regular at all Borel subsets of (see [folland_REAL_ANALYSIS_SECOND_EDITION:1999, Proposition 7.5]), there exists a compact subset of such that . Likewise, there exists a compact subset of with the property that . For , we set and , thus defining positive measures on . Since and are finite positive regular Borel measures, [folland_A_COURSE_IN_ABSTRACT_HARMONIC_ANALYSIS_SECOND_EDITION:2016, Section 7.2, Exercise 7] shows that . Set . Then and . Furthermore, is a compact subset of .
Since , , and , it follows that . Hence Lemma 5.3 shows that and are disjoint elements of , and this implies that the equality gives the decomposition of in into its positive and negative part and , respectively. Since by definition, the proof of the theorem is complete. â
8. Locally compact groups
In this section, we shall review some material on locally compact groups and on Banach lattice and Banach lattice algebras on such groups. In particular, we shall describe various well-known Banach algebras that are studied within harmonic analysis. For details, see [hewitt_ross_ABSTRACT_HARMONIC_ANALYSIS_VOLUME_I_SECOND_EDITION:1979, bourbaki_INTEGRATION_VOLUME_II_CHAPTERS_7-9_SPRINGER_EDITION:2004, folland_A_COURSE_IN_ABSTRACT_HARMONIC_ANALYSIS_SECOND_EDITION:2016, rudin_FOURIER_ANALYSIS_ON_GROUPS:1962], and also [dales_BANACH_ALGEBRAS_AND_AUTOMATIC_CONTINUITY:2000, Sections 3.3 and 4.5], for example.
A group that is also a locally compact space is a locally compact group whenever the group operations are continuous.
Let be a locally compact group. As for general locally compact spaces, the Borel -algebra of will be denoted by . We shall write for and for . There exists a non-zero, positive regular Borel measure on such that for all and all Borel subsets of . Such a measure is a (left)Â Haar measure on ; it is unique up to a non-zero positive multiplicative constant. We shall write for and for .
Let be a locally compact group, and let be a Haar measure on . Then
[TABLE]
for all and . When is abelian, the left Haar measure is trivially also right invariant, but this is not generally the case. There exists a continuous group homomorphism such that
[TABLE]
for all and ; some authors write where we use . The homomorphism is the modular function of . It is easy to see that for all when is compact, so that the left Haar measure is then also right invariant.
Let be a locally compact group. We recall from the general theory for locally compact spaces that the Banach lattice is isometrically lattice isomorphic to the Banach lattice . By combining this isomorphism with the group structure of the underlying locally compact space , a multiplication on can be introduced such that it becomes a Banach lattice algebra. Take . Then the convolution product of and is defined by
[TABLE]
for all . With this multiplication, is a Banach lattice algebra. The unit mass at is denoted by ; it is the identity element of . One can describe at the level of the Borel subsets of by
[TABLE]
for .
The following basic result is very well known. Since it is essential to the results in Section 10, we nevertheless include the proof.
Proposition 8.1**.**
Let be a locally compact group, and take with compact support. Then .
Proof.
We may suppose that . Then is a non-empty, open subset of . Take . Then it is immediate from equation 8.1 that . Hence vanishes on . The result follows. â
The complex Banach lattice is the complexification of the Banach lattice . Since is, in fact, a Banach lattice algebra, is a complex Banach lattice algebra. It is then easily checked that the obvious complex analogues of equations 8.1 and 8.2 hold.
Take . Set for each Borel subset of . Then is an involution on .
The following theorem is basic; see [dales_BANACH_ALGEBRAS_AND_AUTOMATIC_CONTINUITY:2000, Section 3.3].
Theorem 8.2**.**
Let be a locally compact group. Then is a Dedekind complete, unital Banach lattice algebra, and is a unital, semisimple, complex Banach lattice â-algebra. The identity element of both algebras is .
The commutativity of and that of are both equivalent to the group being abelian.
Remark 8.3**.**
In the literature on abstract harmonic analysis, the complex Banach lattice algebra is usually denoted by , and it is called the measure algebra of , without a reference to the complex field. It is then studied as a complex Banach â-algebra. We, on the other hand, concentrate on the lattice properties of .
Let be a locally compact group with left Haar measure . The subspace of consisting of all elements that are absolutely continuous with respect to is a Banach sublattice of ; it is also an algebra ideal and an order ideal of . This Banach sublattice is isometrically lattice isomorphic to by using the RadonâNikodĂœm theorem: each corresponds to the measure in . This identification provides with a product; the convolution product of and in is then given by the formulae
[TABLE]
for -almost all .
Similar remarks apply to and , with the additional feature that the subspace of consisting of all elements that are absolutely continuous with respect to is now an algebra â-ideal. The identification of with this subspace then provides with an involution, denoted by â again. For , the involution is given by
[TABLE]
for -almost .
We then have the following result.
Theorem 8.4**.**
Let be a locally compact group. Then is a Dedekind complete Banach lattice algebra which is a closed algebra ideal and an order ideal of , and is a semisimple, complex Banach lattice â-algebra which is a closed algebra â-ideal of .
The commutativity of and that of are both equivalent to the group being abelian. Both algebras have a positive contractive approximate identity, and both are unital if and only if is discrete. In the latter case, and . It is then customary to write and for the coinciding convolution algebras over the respective fields.
We remark that the space is not just an order ideal of , but that it is, in fact, a so-called band of . More precisely, it is the band that is generated by . We have not defined what a band is in the present article, and we shall not pursue this matter further.
Remark 8.5**.**
In the literature on abstract harmonic analysis, the complex Banach lattice algebra is usually denoted by , and it is called the group algebra of , without a reference to the complex field. It is then studied as a complex Banach â-algebra, whereas we concentrate on the lattice properties of .
Let be a locally compact group, and take with . Now take and , and define
[TABLE]
for those for which these integrals exist; this can be shown to be -almost everywhere the case.
Now take and . Identifying and , equations 8.4 and 8.5 specialise to
[TABLE]
for -almost all .
The following theorem is contained in [dales_BANACH_ALGEBRAS_AND_AUTOMATIC_CONTINUITY:2000, Section 3.3]; see also [hewitt_ross_ABSTRACT_HARMONIC_ANALYSIS_VOLUME_I_SECOND_EDITION:1979, (20.19)].
Theorem 8.6**.**
Let be a locally compact group, and take with . Take and . Then the functions and belong to , and and .
The following is now clear.
Corollary 8.7**.**
Let be a locally compact group, and take with .
For , define by setting
[TABLE]
for . Then , and the map defines a positive Banach algebra homomorphism .
For , define by setting
[TABLE]
*for . Then , and the map defines a positive Banach algebra homomorphism . *
Similarly, one can define a map , respectively, . Then the resulting map from , respectively, into has the same properties as its left-sided analogue, save that is an anti-homomorphism.
We shall see later that the two Banach algebra homomorphisms in Corollary 8.7 are both Banach lattice algebra homomorphisms; see Theorems 11.2 and 11.4, below.
9. Locally compact semigroups
In this section, we shall collect some material on Banach lattice algebras on locally compact semigroups. It is for these algebras that we shall benefit from the results in Section 6 by using them in the proof of our main result, Theorem 10.3, below.
Definition 9.1**.**
Let be a locally compact semigroup. A weight on is a continuous function such that
[TABLE]
for all .
Let be a locally compact group, and let be a closed subspace of that is a subsemigroup of . Suppose that is a weight on , and consider the subset of consisting of all elements of such that
[TABLE]
Then is a Dedekind complete vector sublattice of . (It is, in fact, even a band in .) Since can be embedded as a sublattice of by Theorem 7.9, this is also the case for the sublattice of . Since, furthermore, can be embedded as a sublattice of by Theorem 6.3, we see that can be embedded as a sublattice of . The embedded copy is easily checked to be a subalgebra of , and hence the embedding of into provides with a (convolution) product.
We introduce a norm on by setting
[TABLE]
for . Then is a Banach algebra. The algebra is called a Beurling algebra. It is a Dedekind complete Banach lattice algebra.
We then have the following companion result of Theorem 7.9.
Theorem 9.2**.**
Let be a locally compact group, and let be a closed subspace of that is a subsemigroup of . Suppose that is a weight on . For each , set
[TABLE]
for . Then the map defines an injective lattice homomorphism . Suppose that is a bounded Borel measurable function on , and extend to a Borel measurable function on by setting for . Then .
For , set , thus making into a Dedekind complete Banach lattice. Then the set
[TABLE]
is a dense subset of the Banach lattice .
Proof.
In view of the above, all is clear except the density statement. For this, let . Since is strictly positive and continuous, the measure is a positive regular Borel measure on ; see [folland_REAL_ANALYSIS_SECOND_EDITION:1999, Section 7.2, Exercise 9]. An easy modification of the argument in the proof of Theorem 7.9 then shows that the subset
[TABLE]
is a dense subset of . As in the proof of Theorem 7.9, the density statement for the embedded copy of is then immediate. â
Let be a locally compact group, and let be a closed subspace of that is a subsemigroup of . Suppose that is a weight on . It is obvious how to define the complex analogue of . Then is the complexification of ; hence is a complex Banach lattice algebra.
Let be a semigroup, supplied with the discrete topology, and let be a weight on . Instead of considering real-valued measures on as above, we now consider -spaces for weighted counting measures, as follows. Let consist of the functions such that
[TABLE]
We introduce a norm on by setting
[TABLE]
for . Then is a Banach space. For , we let denote the characteristic function of the subset of . Then there is a unique continuous product on such that for . When supplied with the pointwise ordering, the weighted -space is then a Dedekind complete Banach lattice algebra, which is also called a Beurling algebra.
Let be a semigroup, supplied with the discrete topology, and let be a weight on . It is obvious how to use equations 9.1 and 9.2 to define the complex analogue of . Then is the complexification of . Hence is a complex Banach lattice algebra.
Let be a group, supplied with the discrete topology, and let be a weight on . Then it is a notorious open question whether the Beurling algebra is always semisimple. It is proved in [dales_lau:2005, Theorem 7.13] that this is the case whenever is a maximally almost periodic group and is an arbitrary weight on , and also whenever is an arbitrary group and is a symmetric weight on , in the sense that for .
For semigroups, however, it is known that such Beurling algebras need not be semisimple. They can even be radical, as we shall now indicate.
Let be a semigroup, supplied with the discrete topology, and let be a weight on . For , the element of the Beurling algebra is obviously quasi-nilpotent if and only if
[TABLE]
It is shown in [dales_BANACH_ALGEBRAS_AND_AUTOMATIC_CONTINUITY:2000, Example 2.3.13(ii)] that is a radical Banach algebra whenever is quasi-nilpotent for all and for all . For example, take and set for , or take to be the free semigroup on two generators and set for a word in , where is the length of the word . Then in both cases is a radical Banach algebra.
For a study of the algebras when is a subsemigroup of , see [dales_dedania:2009]. In the case where , the algebras are examples of Banach algebras of power series; for a study of these algebras, see [bade_dales:1989, dales_BANACH_ALGEBRAS_AND_AUTOMATIC_CONTINUITY:2000].
We shall now consider continuous analogues of the Beurling algebras and above.
Consider the unital additive semigroup . Suppose that is a weight on . Then we define to be the vector space of measurable functions on such that
[TABLE]
and we introduce a norm on by setting
[TABLE]
for . For , we set
[TABLE]
for all for which the integral exists, which can be shown to be the case almost everywhere. With this (convolution) product, is a Dedekind complete Banach lattice algebra that is again an example of a Beurling algebra.
It is obvious how to use equations 9.3, 9.4, and 9.5 to define the complex analogue of . Then is the complexification of . Hence is a complex Banach lattice algebra.
The Beurling algebras are studied in [bade_dales:1981, dales_BANACH_ALGEBRAS_AND_AUTOMATIC_CONTINUITY:2000], for example. It can be shown that always exists, that is semisimple if , and that is radical if . For example, the weight gives a radical Beurling algebra on .
Let be a weight on . Then it follows from Titchmarshâs convolution theorem [dales_BANACH_ALGEBRAS_AND_AUTOMATIC_CONTINUITY:2000, Theorem 4.7.22] that the Beurling algebras and are integral domains.
10. Main theorem
In this section, we shall establish our main result, Theorem 10.3, below, in the context of non-empty, closed semigroups in locally compact groups, as well as a related, easier, result in the context of discrete semigroups.
We start with the following preparatory result.
Lemma 10.1**.**
Let be a locally compact group, and let and be non-empty, disjoint, compact subsets of . Then there exists an open neighbourhood of such that and are disjoint subsets of .
Proof.
Since is locally compact, there exists open neighbourhoods and of and , respectively, such that and are disjoint. It is easy to see that, for , there is an open neighbourhood of with . Set . Then is an open neighbourhood of and we also see that . â
For the ease of formulation, we introduce the following terminology.
Definition 10.2**.**
Let . Then the support of is separated, or has separated support, if the supports of and are disjoint subsets of .
We now come to our main result, Theorem 10.3. It employs a notation \mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}} for a bilinear map \mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}} that suggests convolution, without requiring that this actually be the case. The reason is that we also want to cover situations where, for example, is a positive measure on the Borel -algebra of a locally compact group and a function acts on a function via the formula
[TABLE]
for -almost all . Unless the measure is a left Haar measure on , this is not an actual convolution, but obviously it still satisfies the relation
[TABLE]
which is akin to the inclusion relation in the crucial first clause of the hypotheses in Theorem 10.3. Such bilinear maps occur in [oztop_samei:2017, oztop_samei:UNPUBLISHED], for example, and Theorem 10.3 is likely to be applicable in such contexts.
Theorem 10.3**.**
Let be a locally compact group, and let be a non-empty, closed subspace of that is a subsemigroup of . Let , â, and be vector sublattices of that are Banach lattices, and where is Dedekind complete.
Suppose that \mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}:X\times Y\to Z is a bilinear map such that x\mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}y\in Z^{+} whenever and . Define the positive linear map by \pi_{x}(y)\coloneqq x\mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}y for and .
Suppose that the following conditions are satisfied:
- (1)
\mathrm{supp}\,(x\mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}y)\subseteq\mathrm{supp}\,x\cdot\mathrm{supp}\,y* for all and with compact support;* 2. (2)
the elements of with compact, separated support are dense in ; 3. (3)
the elements of with compact support are dense in ; 4. (4)
* is an element of again, whenever has compact support and is a Borel subset of .*
Then is a lattice homomorphism.
For the sake of clarity, we recall that semigroups are not supposed to be unital.
Proof.
We start with the case where . We are to prove that for all .
Recalling that positive linear maps between Banach lattices are continuous, that is a Banach lattice in the regular norm, and that the modulus is continuous on Banach lattices, we see that the maps and are both continuous maps from into . By density, it is thus sufficient to prove that for all elements of with separated, compact support.
For this, we need to show that for all . It is sufficient to establish this for all . By the continuity of the regular operators and on the Banach lattice , it is, by density, sufficient to prove that for all elements of with compact support.
All in all, we see that it is sufficient to demonstrate that , whenever is an element of with separated, compact support and is an element of with compact support.
In order to do so, we fix an element of with compact, separated support, and we let be the decomposition of into its disjoint positive and negative parts. The supports of and are disjoint, compact subsets of . Using Lemma 10.1, we can then choose and fix a relatively compact open neighbourhood of the such that .
We shall now first consider the special case in which the support of is not only compact, but where it is also âsufficiently smallâ. To be precise, suppose that is an element of with compact support such that for some . We shall show that then .
First, since is positive, it is automatic that , so that we have .
Second, for the reverse inequality, we notice that certainly , so that . Since
[TABLE]
and
[TABLE]
the supports of x^{+}\mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}y and x^{-}\mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}y are still disjoint subsets of . Lemma 5.3, therefore, implies that
[TABLE]
We conclude that . We have established that in the special case where is such that is contained in for some .
Now suppose that is an arbitrary element of with compact support. Choose an open neighbourhood of such that . Then is contained in a union of finitely many right translates of . Since is still in for all Borel subsets of , it is then easy to see that is a finite sum of elements of , each of which is supported in a right translate of , hence in a right translate of . By linearity, it follows from the result as established for the special case that .
We have now established the theorem in the case where .
Next, we turn to the case of a general closed subspace of that is a subsemigroup of . The problem with the above proof in this case is that translates of open subsets need not be open again. Even if is unital, the proof of Lemma 10.1 breaks down, as does the argument in the final paragraph for the group case.
In order to circumvent this, we use Theorem 6.3 to embed as a vector sublattice of . By restriction, this global embedding yields embeddings of , â, and as vector sublattices â, â, and â of . By transporting the norms, these vector sublattices â, â, and â then become Banach lattices. The bilinear map \mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}:X\times Y\to Z yields a bilinear map \mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}^{\#}:X^{\#}\times Y^{\#}\to Z^{\#}. Since Theorem 6.3 also states that supports are preserved under the embedding of into , it is then immediate that the hypotheses in the theorem are satisfied for the sublattices â, â, and â of and the bilinear map \mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}^{\#}. We can now apply the result for the group case to these data. By transport of structure in the reverse direction, the result for the semigroup case then follows. â
During the above proof, it was indicated why the argument for the case of groups cannot in general be directly applied to the case of arbitrary semigroups. A closer inspection, however, shows that the argument for the case of groups is valid in the case of a semigroup that is discrete and cancellative. We recall that a semigroup is cancellative if the maps and from to are both injective for each . We shall now indicate the ingredients for the proof in this case.
Suppose that is a cancellative semigroup, supplied with the discrete topology. Then consists of the real-valued functions with finite support, and can be identified as a vector lattice with the real-valued functions on . Consequently, has separated support for all . Suppose that , and let be the decomposition of into its disjoint positive and negative parts. Then and are disjoint subsets of for all , due to the fact that is cancellative. Finally, if has compact support, then is a finite sum of elements of , each of which is supported in a subset of for some .
After these preliminary remarks, the reader will have no difficulty verifying the following result along the lines of the proof of Theorem 10.3.
Theorem 10.4**.**
Let be a cancellative semigroup, supplied with the discrete topology. Let , â, and be vector sublattices of that are Banach lattices, and where is Dedekind complete.
Suppose that \mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}:X\times Y\to Z is a bilinear map such that x\mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}y\in Z^{+} whenever and . Define the positive linear map by \pi_{x}(y)\coloneqq x\mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}y for and .
Suppose that the following conditions are satisfied:
- (1)
\mathrm{supp}\,(x\mathbin{\mathchoice{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\displaystyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to8.96pt{\vbox to8.96pt{\pgfpicture\makeatletter\hbox{\hskip 4.47978pt\lower-4.47978pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{4.27979pt}{0.0pt}\pgfsys@curveto{4.27979pt}{2.36368pt}{2.36368pt}{4.27979pt}{0.0pt}{4.27979pt}\pgfsys@curveto{-2.36368pt}{4.27979pt}{-4.27979pt}{2.36368pt}{-4.27979pt}{0.0pt}\pgfsys@curveto{-4.27979pt}{-2.36368pt}{-2.36368pt}{-4.27979pt}{0.0pt}{-4.27979pt}\pgfsys@curveto{2.36368pt}{-4.27979pt}{4.27979pt}{-2.36368pt}{4.27979pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-3.61108pt}{-2.32639pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\textstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to6.97pt{\vbox to6.97pt{\pgfpicture\makeatletter\hbox{\hskip 3.48442pt\lower-3.48442pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{3.28442pt}{0.0pt}\pgfsys@curveto{3.28442pt}{1.81395pt}{1.81395pt}{3.28442pt}{0.0pt}{3.28442pt}\pgfsys@curveto{-1.81395pt}{3.28442pt}{-3.28442pt}{1.81395pt}{-3.28442pt}{0.0pt}\pgfsys@curveto{-3.28442pt}{-1.81395pt}{-1.81395pt}{-3.28442pt}{0.0pt}{-3.28442pt}\pgfsys@curveto{1.81395pt}{-3.28442pt}{3.28442pt}{-1.81395pt}{3.28442pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.86108pt}{-1.62846pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}{\leavevmode\hbox to5.66pt{\vbox to5.66pt{\pgfpicture\makeatletter\hbox{\hskip 2.82793pt\lower-2.82793pt\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ }\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\pgfsys@setlinewidth{0.4pt}\pgfsys@invoke{ }\nullfont\hbox to0.0pt{\pgfsys@beginscope\pgfsys@invoke{ } {{}}\hbox{\hbox{{\pgfsys@beginscope\pgfsys@invoke{ }{{}{{{}}}{{}}{}{}{}{}{}{}{}{}{}{{}\pgfsys@moveto{2.62793pt}{0.0pt}\pgfsys@curveto{2.62793pt}{1.45137pt}{1.45137pt}{2.62793pt}{0.0pt}{2.62793pt}\pgfsys@curveto{-1.45137pt}{2.62793pt}{-2.62793pt}{1.45137pt}{-2.62793pt}{0.0pt}\pgfsys@curveto{-2.62793pt}{-1.45137pt}{-1.45137pt}{-2.62793pt}{0.0pt}{-2.62793pt}\pgfsys@curveto{1.45137pt}{-2.62793pt}{2.62793pt}{-1.45137pt}{2.62793pt}{0.0pt}\pgfsys@closepath\pgfsys@moveto{0.0pt}{0.0pt}\pgfsys@stroke\pgfsys@invoke{ } }{{{{}}\pgfsys@beginscope\pgfsys@invoke{ }\pgfsys@transformcm{1.0}{0.0}{0.0}{1.0}{-2.36108pt}{-1.1632pt}\pgfsys@invoke{ }\hbox{{\definecolor{pgfstrokecolor}{rgb}{0,0,0}\pgfsys@color@rgb@stroke{0}{0}{0}\pgfsys@invoke{ }\pgfsys@color@rgb@fill{0}{0}{0}\pgfsys@invoke{ }\hbox{{\scriptscriptstyle\star}} }}\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope}}} \pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope{{{}}}{}{}\hss}\pgfsys@discardpath\pgfsys@invoke{\lxSVG@closescope }\pgfsys@endscope\hss}}\lxSVG@closescope\endpgfpicture}}}}y)\subseteq\mathrm{supp}\,x\cdot\mathrm{supp}\,y* for arbitrary and for all with finite support;* 2. (2)
the elements of with finite support are dense in ; 3. (3)
* is an element of again, whenever has finite support and .*
Then is a lattice homomorphism.
Naturally, Theorem 10.4 follows from Theorem 10.3 for all semigroups that are subsemigroups of groups. It is known that every abelian cancellative semigroup is a subsemigroup of a group, in which case the enveloping group can even be taken to be of the same cardinality as ; see [dales_BANACH_ALGEBRAS_AND_AUTOMATIC_CONTINUITY:2000, Proposition 1.2.10]. In general, however, a unital cancellative semigroup is not necessarily a subsemigroup of any group; necessary and sufficient conditions for this, and examples where the conditions fail, are given in [clifford_preston_THE_ALGEBRAIC_THEORY_OF_SEMIGROUPS_II, Chapter 10]. This shows that Theorem 10.4 has value independent of Theorem 10.3.
11. Lattice homomorphisms in harmonic analysis
All material is now in place to show that a number of natural positive maps in harmonic analysis are, in fact, lattice homomorphisms. For each of them, all that needs to be done is merely to establish that Theorem 10.3 or Theorem 10.4 is applicable in the relevant context. In view of the general nature of these two results, it seems not unlikely that they can have future applications to cases that are not covered in the present section.
Our first result answers the original question mentioned in Section 1, which is [wickstead:2017c, Problem 7].
Theorem 11.1**.**
Let be a locally compact group. Then the left regular representation is an isometric Banach lattice algebra homomorphism.
Proof.
Since is a unital Banach algebra in which the identity element has norm one, it is clear that is an isometric Banach algebra homomorphism. It remains to be shown that is a lattice homomorphism.
For this, we start with the case where . Then Theorem 7.9 shows that can be embedded as a sublattice of via a map for , and that, after transport of the norm, the embedded sublattice is a Dedekind complete Banach lattice such that its elements with compact, separated support are dense. We now resort to Theorem 10.3, where we take and to be equal to . Then the clauses (2) and (3) of the hypotheses of Theorem 10.3 are satisfied, and it is easy to see that clause (4) of these hypotheses is also satisfied. Furthermore, Proposition 8.1 shows that clause (1) of the hypothesis of Theorem 10.3 is also satisfied when we set
[TABLE]
for . An appeal to Theorem 10.3 concludes the proof for the case where .
As explained earlier, the complex case follows from the real case on general grounds because the complex Banach lattice algebra is the complexification of the Banach lattice algebra . â
Our next result concerns the action of on for as defined in equation 8.4. As announced in the beginning of this section, the proof is quite similar to that of Theorem 11.1.
Theorem 11.2**.**
Let be a locally compact group, and take with . For and , define
[TABLE]
for those -almost for which the integral exists. Then for all and , is a regular operator on for all , and the map is an injective Banach lattice algebra homomorphism .
Proof.
All statements in the theorem are well known, except the one that states that is a lattice homomorphism. The proof for this has a general outline that is similar to that of Theorem 11.1.
Again, we start with the case where . In this case, Theorem 7.9 shows again that can be embedded as a sublattice of by means of a map for and that, after transport of the norm, the embedded sublattice is a Banach lattice such that its elements with compact, separated support are dense. Furthermore, Theorem 7.5 shows that can be embedded as a sublattice of via a map and that, after transport of the norm, the embedded sublattice is a Dedekind complete Banach lattice such that its elements with compact support are dense. We now resort to Theorem 10.3, where we take to be equal to , and where we set
[TABLE]
for and . Then the hypotheses of Theorem 10.3 are satisfied, and an application of this theorem concludes the proof for the case where .
As explained earlier, the complex case follows from the real case on general grounds because the complex Banach lattice is the complexification of the Banach lattice and the complex Banach lattice is the complexification of the Banach lattice . â
Remark 11.3**.**
The action of on by convolution was previously studied by Arendt, using earlier results by Brainerd and Edwards (see [brainerd_edwards:1966a]) and Gilbert (see [gilbert:1968]) on convolutions. In [arendt:1981], Arendt showed that the map in Theorem 11.2 is a lattice homomorphism when , and also when and is amenable. As Theorem 11.2 shows, for , the assumption that be amenable is redundant.
We shall discuss Arendtâs approach in more detail in Section 12.
Since is a Banach lattice subalgebra of , we have the following consequence of Theorem 11.2, where the action of on is now given by equation 8.6. It solves [wickstead:2017c, Problem 6]. It can also be found in earlier work by Kok (see [kok_UNPUBLISHED:2016, Example 7.6]), where it was obtained via a different approach.
Corollary 11.4**.**
Let be a locally compact group, and take with . For and , define
[TABLE]
for those -almost for which the integral exists. Then for all and , is a regular operator on for all , and the map is an injective Banach lattice algebra homomorphism .
Remark 11.5**.**
In Corollary 11.4, in the case where , the left regular representation is an isometric Banach algebra lattice homomorphism. The fact that is an isometry is an immediate consequence of the fact that is a Banach algebra with a positive contractive approximate identity. In view of Theorem 12.1, below, we refrain from making a statement on the isometric nature of if .
It is, of course, also possible to prove Corollary 11.4 directly from the central result Theorem 10.3, by using Theorem 7.5 to obtain an embedded copy of and an embedded copy of in , and taking to be equal to .
Now we turn to the case of semigroups, where we shall benefit from the results in Section 6 via their rÎle in the proof of Theorem 10.3.
Theorem 11.6**.**
Let be a locally compact group, and let be a closed subspace of that is a subsemigroup of . Suppose that is a weight on . Then the left regular representation of the Beurling algebra is a Banach lattice algebra homomorphism.
Proof.
We again start with the case where . Then Theorem 9.2 shows that can be embedded as a vector sublattice of and that, after transport of the norm, the embedded copy becomes a Dedekind complete Banach lattice such that its elements with compact, separated support are dense. Completely analogously to the proof of Theorem 11.1, Theorem 10.3 then shows that the present theorem holds for . As earlier, it then also holds for . â
In a similar vein, we have the following.
Theorem 11.7**.**
Suppose that is a weight on . Then the left regular representation of is a Banach lattice algebra homomorphism.
Proof.
We start with . Since is strictly positive and continuous, [folland_REAL_ANALYSIS_SECOND_EDITION:1999, Exercise 7.2.9] yields that the measure is a regular Borel measure on . Hence Theorem 7.5 shows that can be embedded as a vector sublattice of . An application of Theorem 10.3 then shows that the present theorem holds for . As earlier, it then also holds for on general grounds. â
We conclude the results in this section with an application of Theorem 10.4. The proof will be rather obvious by now, and is left to the reader.
Theorem 11.8**.**
Let be a cancellative semigroup, and let be a weight on . Then the left regular representation of is an injective Banach lattice algebra homomorphism.
We recall that can be a radical Banach algebra, so that our theorems on left regular representations being Banach lattice algebra homomorphisms are not restricted to the semisimple case.
Remark 11.9**.**
Let us collect what we know about the left regular representation of a Dedekind complete Banach lattice algebra being a Banach lattice algebra homomorphism from into or not.
On the positive side, we have the following.
Theorem 11.10**.**
The left regular representation is a (real or complex)Â Banach lattice algebra homomorphism from into in the following cases:
- (1)
* is the measure algebra of a locally compact group ;* 2. (2)
* is the group algebra of a locally compact group ;* 3. (3)
* is a Beurling algebra , where is a closed subspace of a locally compact group that is a subsemigroup of , and where is a weight on ;* 4. (4)
, where is a weight on ; 5. (5)
, where is a cancellative semigroup and is a weight on ; 6. (6)
* for a Dedekind complete Banach lattice .*
The first five of these results can be found in the present section. The sixth one follows from a result of Synnatzschkeâs on two-sided multiplication operators; see [synnatzschke:1980, Satz 3.1]. For further results on two-sided multiplication operators on and between vector lattices of regular operators we refer to [chen_schep:2016, wickstead:2015].
One could argue that Theorems 10.3 and 10.4 indicate that the left regular representation will be a Banach lattice algebra homomorphism for very many Dedekind complete Banach lattice algebras on groups or semigroups, whenever the multiplication is akin to a convolution. We are, in fact, not aware of a Dedekind Banach lattice algebra in harmonic analysis where the left regular representation of is not a lattice homomorphism from into .
On the negative side, there exist uncountably many two-dimensional, mutually non-isomorphic, commutative Banach lattice algebras with a positive identity element of norm one that have no faithful, finite-dimensional Banach lattice algebra representations at all; see [wickstead:2017a]. In particular, their left regular representations are not lattice homomorphisms.
It is unclear if there is an âunderlyingâ property that distinguishes the above Banach lattice algebras on the positive side from those on the negative side. Such a property, and preferably one that is easily verified or falsified in a given case, would be desirable. This question is posed in [wickstead:2017c, Problem 1], together with various refinements of it.
12. Further questions in ordered harmonic analysis
The previous sections were centred around a convolution-like bilinear map from two Banach lattices on a locally compact (semi)group to a third. There do not seem to be too many results available with the same flavour of âordered harmonic analysisâ, i.e., results that are in the area where harmonic analysis and positivity meet. In this section, we shall discuss results by Arendt, Brainerd and Edwards, and Gilbert that are at this interface and that are related to our results in Section 11. Our exposition is based on [arendt:1981, Section 3], to which the reader is referred for details and additional material. As we shall see, this discussion leads to natural research questions in ordered harmonic analysis. We hope to be able to report on these questions in the future.
Let be a locally compact group, and let . Then acts (not generally isometrically) on via the formula
[TABLE]
for and . We shall be interested in operators on that commute with all . To this end, we set
[TABLE]
and
[TABLE]
Then is a complex Banach lattice subalgebra of . There is an easy proof of this fact, as follows. For , the map from into itself is an algebra automorphism of . It is a positive map, and since its inverse is clearly also positiveâit is the map âit is a complex Banach algebra lattice automorphism. Hence its fixed point set, which is the commutant of in , is a complex Banach lattice subalgebra of . Since is the intersection of these commutants as ranges over , the space is indeed a complex Banach lattice subalgebra of . This argument is due to Arendt; see [arendt:1981, Proof of Proposition 3.3].
There is an easy way to obtain elements of from elements of . Take , and set (we repeat equation 8.4 for convenience)
[TABLE]
for and . It is easily checked that the (left) convolution operator on that is thus defined commutes with all right translations. Obviously, if is positive, then is a positive element of . Conversely, if is a positive element of , then, according to [brainerd_edwards:1966a], there exists a positive regular Borel measure on such that equals as in equation 12.1 for all and . Note that we do not write that because this representation theorem by Brainerd and Edwards does not assert that is a bounded measure. When this is always the case, but for this is related to whether or not is amenable. The following result is due to Gilbert; see [gilbert:1968, Theorem A] and also [dixmier_C-STAR-ALGEBRAS_ENGLISH_NORTH_HOLLAND_EDITION:1977, Theorem 18.3.6], [godement:1948, Theorem 17], [greenleaf_INVARIANT_MEANS_ON_TOPOLOGICAL_GROUPS_AND_THEIR_APPLICATIONS:1969, Theorem 2.2.1], [reiter:1965], and [reiter_stegeman_CLASSICAL_HARMONIC_ANALYSIS_AND_LOCALLY_COMPACT_GROUPS_SECOND_EDITION:2000, Definition 8.3.1, Theorems 8.3.2, and Theorem 8.3.18] for the equivalence of various characterisations of amenable locally compact groups.
Theorem 12.1**.**
Let be a locally compact group, and let . Then the following are equivalent:
- (1)
* is amenable;* 2. (2)
* for all ;* 3. (3)
Whenever is a positive regular Borel measure on such that , as defined in equation 12.1, is in for all , and such that there exists a such that for all , then .
Suppose that or that and that is amenable. Combining Theorem 12.1 with the representation theorem by Brainerd and Edwards, we see that the natural map defines a bipositive complex algebra isomorphism between and . Since we know that is a complex Banach lattice algebra, this bipositive vector space isomorphism is a complex Banach lattice algebra isomorphism. Since we also know that is a complex Banach lattice subalgebra of , we see that the map is a complex Banach lattice algebra homomorphism. This fact is a part of the statement of [arendt:1981, Proposition 3.3].
Remark 12.2**.**
Allowing ourselves a somewhat imprecise notation, we know from the above that and, in addition, that, for , whenever is amenable. Since all bounded operators on an -space are regular (see [kantorovich_vulich:1937]), we see that . This is Wendelâs theorem; see [dales_BANACH_ALGEBRAS_AND_AUTOMATIC_CONTINUITY:2000, Theorem 3.3.40], for example.
As we know from Theorem 11.2, the map is a complex Banach lattice homomorphism for all such that . The amenability of is not relevant for this. As long as one is interested only in being a lattice homomorphism or not, the results in [arendt:1981] are, therefore, not yet optimal. Comparing the machinery needed, including [brainerd_edwards:1966a] and [gilbert:1968], for the approach in [arendt:1981] on the one hand, with the proof of Theorem 11.2 as based on Theorem 10.3 on the other hand, one could also argue thatâas long as one is interested only in being a lattice homomorphism or notâthe approach in [arendt:1981] is more complicated than necessary.
Nevertheless, the approach in [arendt:1981] raises a few natural questions, triggered by the description of that it uses. For example, is there a more general underlying phenomenon that explains what is so special about , which is the only case where the amenability of does not play a rĂŽle in the description of the regular operators on that commute with all right translations? A way to investigate this would be to consider a general Banach function space on that is invariant under left and right translations. Under reasonable hypotheses, at least the bounded measures will act on via left convolutions. Is there then a representation theorem as in [brainerd_edwards:1966a] again, stating that a positive operator on that commutes with all right translations is a left convolution with a (possibly unbounded) positive regular Borel measure? What are the properties of that determine whether the amenability of is relevant or not for such a measure to be automatically bounded, as in Gilbertâs work in [gilbert:1968]?
Let us return to the spaces . Clearly, for all . Can the inclusions be proper? For , all bounded operators on are regular, as was already mentioned above, so in this case equality is automatic. For , we have the following partial answer.
Theorem 12.3**.**
Let be an infinite, amenable, locally compact group, and take with . Then , and so there are bounded operators on that commute with all right translations, but are not regular.
Proof.
Assume, to the contrary, that for some such that . Then . We conclude from this that for all such that . This, however, contradicts [cowling_fournier:1976, Theorem 2]. â
This result leads to a few further questions.
First, is the analogue of Theorem 12.3 true for more general Banach function spaces on amenable groups that are invariant under left and right translations? To be more specific: for a translation invariant Banach function space on a amenable group, is it true that, whenever there are bounded operators on that are not regular, there are also bounded operators on that are not regular and that commute with all right translations?
Second, is the amenability of a necessary condition in Theorem 12.3 for the inclusion to be proper? Put more generally: for a translation invariant Banach function space on a locally compact group, is it true that, whenever there are bounded operators on that are not regular, there are also bounded operators on that are not regular and that commute with all right translations?
Acknowledgements
The results in this article were obtained in part when the first author held the Kloosterman Chair in Leiden in October 2017, and when the second author visited Lancaster University in October 2018. The financial support by the Mathematical Institute of Leiden University and the London Mathematical Society is gratefully acknowledged.
References
