compact Hausdorff groupdoubly stochasticdoubly stochastic operatorsmeasuresmultipliersnormalized Haar measureregular Borel measures
Set functions and measures on topological groups or semigroups, Haar measures, invariant measures (28C10) Homomorphisms and multipliers of function spaces on groups, semigroups, etc. (43A22) Harmonic analysis on general compact groups (43A77) Probability measures on groups or semigroups, Fourier transforms, factorization (60B15)
Let G be an arbitrary compact Hausdorff group, B(G) the \(\sigma\)-algebra of Borel subsets of G, P(G) the regular Borel measures \(\mu\) on G with \(\mu (G)=1\) and m a normalized Haar measure. As it is well-known P(G) under the convolution operation and the weak* topology is a compact, convex, Hausdorff topological semigroup. Let also \(L_ p(G)\) (1\(\leq p\leq \infty)\) be the (complex) Banach space of bounded m-integrable complex-valued functions on G and \(B[L_ p(G)]\) the (complex) Banach space of bounded linear operators from \(L_ p(G)\) into itself. For \(s\in G\) let \(L_ s\) (resp. \(R_ s)\) be the left (resp. right) translation operator defined by \(L_ sf(x)=f(s^{-1}x)\) (resp. \(R_ sf(x)=f(s^{-1}x)).\) A positive operator \(T\in B[L_ 1(G)]\) (T(f)\(\geq 0\), whenever \(f\in L_ 1(G)\), \(f\geq 0)\) is called doubly stochastic (d.s.) if \(\| T\|_ 1\leq 1\) and \(T(1)=1\). A d.s. operator T is called right (resp. left) multiplier of \(L_ 1(G)\) if \(TR_ s=R_ sT\) (resp. \(TL_ s=L_ sT)\), for every \(s\in G\). Let \(M_ r\) (resp. \(M_ 1)\) be the set of d.s. right (resp. left) multipliers of \(L_ 1(G)\). A measure \(\lambda\) in P(G\(\times G)\) is called doubly stochastic (d.s.) if \(\lambda (A\times G)=\lambda (G\times A)=m(A),\) for every A in B(G). Let \(D_ r\) be the set of d.s. measures \(\lambda\) such that \(\lambda (AS\times BS)=\lambda (A\times B)\) for all A,B\(\in B(G)\) and \(s\in G.\) The author extends \textit{J. R. Brown}'s results [Z. Wahrscheinlichkeitstheorie Verw. Geb. 6, 279-286 (1966; Zbl 0171.392)] for an arbitrary compact group G. In particular, he proves that there exist bijections between \(M_ r\), \(D_ r\) and \(D_ r\), P(G), respectively. Using these bijections the author obtains a topological isomorphism of the compact convex semigroups P(G) and \(M_ r\), given by the function \(\mu \mapsto T_{\mu}\), defined by \(T_{\mu}f=\mu *f\). Also \(T\in M_ r\) is an isometry of \(L_ 1(G)\) if and only if T is a left translation operator. Further the set of extremal points of \(M_ r\) is the group of left translation operators and \(M_ r\) is the convex hull of left translation operators in the strong operator topology of \(B[L_ 2(G)]\).
This page was built for publication: Doubly stochastic right multipliers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1078697)
