Loading ...
Sorry, an error occurred while loading the content.

question

Expand Messages
  • fatima22_m
    Dear Members can any one help me about some qusetions from these lemma. we fisrt have some assumptions: Asuumptions: Let $ mu$ be a finite positive regular
    Message 1 of 15 , Aug 16 12:51 AM
    • 0 Attachment
      Dear Members
      can any one help me about some qusetions from these lemma.
      we fisrt have some assumptions:
      Asuumptions:
      Let $\mu$ be a finite positive regular Borel Measure on the locally compact Hausdorff space $X$. we let $S^*(X. \mu)$ denote the elements of $L^\infty (\mu)$ that have absolute value one $\mu$-almost every where. Let $\rho: \Gamma\rightarrow S^*(X,\mu)$ be a group homomorphism from alocally compact abelian group $\Gamma$ such that $\rho(\gamma)\in CB(X)$ for all $\gamma$ and such that $\rho(\Gamma)$ seprates the points of $X$.
      lemma: Under above assumptions , let $F$ be any weak limit of a net in $O(\rho)=\{ \rho(\gamma): \gamma\in \Gamma \}$. then $F$ has absolute value one every where as an element of $L^\infty (\mu)^{**}$.
      proof: Fix a point $\omega$ in the support of $\mu$, considered as a measure on $\Delta(L^\infty)(\mu)$. then $|\rho(\gamma_{\alpha})|=1$
      for all $\alpha$, since evaluation of $\rho(\gamma_{\alpha})$ at $\omega$ is given by the bounded linear functional $$\rho(\gamma_alpha)\rightarrow \int \rho(\gamma_\alpha)d\delta_omega$=\prec \rho(\gamma_{\alpha}), \delta_\omega \succ$$
      which maps $L^\infty(\mu)\rightarrow C$. in above equation the integration is aganist the unit point mass at $\omega\in \Delta(L^\infty)(\mu)$. and we are identifying elements of $L^\infty(\mu)$ with thier Gelfand transforms, hence the weak limit $F$ of elements
      of $\rho(\Gamma)$ has $|F|=1$ as an element of $L^\infty(\mu)^**$.
    Your message has been successfully submitted and would be delivered to recipients shortly.