Jump to content

Talk:Strongly measurable function

Page contents not supported in other languages.
From Wikipedia, the free encyclopedia

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.