Talk:Strongly measurable function

Latest comment: 3 years ago by Buidhe in topic Requested move 4 January 2021

Confusion with strong / uniform measurability vs. strong / uniform continuity of semigroups

edit

I have some problems with interpreting these two statements in the Wikipedia article:

  1. A semigroup of linear operators can be strongly measurable yet not strongly continuous.
  2. It is uniformly measurable if and only if it is uniformly continuous, i.e., if and only if its generator is bounded.

In the following, I want to explain where the problems are hidden. In my eyes, when we speak of a one-parameter semigroup then this means a homomorphism   of the semigroup   (the OPEN interval) in some other semigroup   (usually a Banach algebra or a space of linear bounded operators on a Banach space with the strong topology). The semi-open interval   has more structure: it is a monoid with identity  . If   carries a topology then this distinction is important when we regard continuity properties of semigroups. Basically, there are three levels of definitions of what is meant by "continuity of a semigroup" in the literature:

  1. continuity of the semigroup homomorphism  
  2. existence of the limit   (in this case extend   at   by  ) and
  3. when extending   (in case   is also a monoid) then whether   ("continuity at 0").

Hille and Phillips show in their monumental treatise "Functional Analysis and Semi-Groups" that if   is a Banach space,   the space of bounded linear operators equipped with the strong operator topology then if the one-parameter semigroup   is Bochner measurable (i.e. strongly measurable) then   is strongly continuous (so this is "level 1"-continuity). The limit   need not exist ("level 2"-continuity) and even if it exist it need not be equal to   ("level 3"-continuity). This is what Davies (in the reference of this Wikipedia article) shows in his Example 6.1.10. Similarly, if   is a Banach algebra (e.g.   equipped with the operator norm (giving it the uniform topology)) then if   is Bochner measurable (i.e. uniformly measurable in case  ) then   is also (uniformly) continuous on  . Again, the (uniform) limit   need not exist and even if it exists it need not be equal to  .

So, the two statements above should be read as follows:

  1. A semigroup of linear operators can be strongly measurable (and thus strongly continuous in  ) yet not strongly continuous in  .
  2. It is uniformly measurable if and only if it is uniformly continuous in  . It is uniformly continuous in   if and only if it is uniformly continuous in   (and thus uniformly measurable) if and only if its generator is bounded.

Yadaddy ag (talk) 11:37, 30 August 2016 (UTC)Reply

Requested move 4 January 2021

edit
The following is a closed discussion of a requested move. Please do not modify it. Subsequent comments should be made in a new section on the talk page. Editors desiring to contest the closing decision should consider a move review after discussing it on the closer's talk page. No further edits should be made to this discussion.

The result of the move request was: Moved (non-admin closure) (t · c) buidhe 12:07, 11 January 2021 (UTC)Reply



Strongly measurable functionsStrongly measurable function – Per WP:PLURAL, there is no reason for the article to use the plural form. 𝟙𝟤𝟯𝟺𝐪𝑤𝒆𝓇𝟷𝟮𝟥𝟜𝓺𝔴𝕖𝖗𝟰 (𝗍𝗮𝘭𝙠) 01:23, 4 January 2021 (UTC)Reply

Indeed; why did you open an RM instead of just moving it youself? --JBL (talk) 14:35, 4 January 2021 (UTC)Reply
The discussion above is closed. Please do not modify it. Subsequent comments should be made on the appropriate discussion page. No further edits should be made to this discussion.