Closed convex hull of set of measurable functions, Riemann-measurable functions and measurability of translations

Michel Talagrand

Annales de l'institut Fourier (1982)

  • Volume: 32, Issue: 1, page 39-69
  • ISSN: 0373-0956

Abstract

top
Let G be a locally compact group. Let L t be the left translation in L ( G ) , given by L t f ( x ) = f ( t x ) . We characterize (undre a mild set-theoretical hypothesis) the functions f L ( G ) such that the map t L t f from G into L ( G ) is scalarly measurable (i.e. for φ L ( G ) * , t φ ( L t f ) is measurable). We show that it is the case when t θ ( L f t ) is measurable for each character θ , and if G is compact, if and only if f is Riemann-measurable. We show that t L t f is Borel measurable if and only if f is left uniformly continuous.Some of the measure-theoretic tools used there have independent interest. For example, if a set of measurable functions on [ 0 , 1 ] is separable and point-wise relatively compact, the same is true of its convex hull.

How to cite

top

Talagrand, Michel. "Closed convex hull of set of measurable functions, Riemann-measurable functions and measurability of translations." Annales de l'institut Fourier 32.1 (1982): 39-69. <http://eudml.org/doc/74530>.

@article{Talagrand1982,
abstract = {Let $G$ be a locally compact group. Let $L_t$ be the left translation in $L^\infty (G)$, given by $L_tf(x) = f(tx)$. We characterize (undre a mild set-theoretical hypothesis) the functions $f\in L^\infty (G)$ such that the map $t\rightarrow L_tf$ from $G$ into $L^\infty (G)$ is scalarly measurable (i.e. for $\varphi \in L^\infty (G)^*$, $t\rightarrow \varphi (L_tf)$ is measurable). We show that it is the case when $t\rightarrow \theta (L_ft)$ is measurable for each character $\theta $, and if $G$ is compact, if and only if $f$ is Riemann-measurable. We show that $t \rightarrow L_tf$ is Borel measurable if and only if $f$ is left uniformly continuous.Some of the measure-theoretic tools used there have independent interest. For example, if a set of measurable functions on $[0,1]$ is separable and point-wise relatively compact, the same is true of its convex hull.},
author = {Talagrand, Michel},
journal = {Annales de l'institut Fourier},
keywords = {locally compact group; left translation; scalarly measurable; Borel measurable; left uniformly continuous},
language = {eng},
number = {1},
pages = {39-69},
publisher = {Association des Annales de l'Institut Fourier},
title = {Closed convex hull of set of measurable functions, Riemann-measurable functions and measurability of translations},
url = {http://eudml.org/doc/74530},
volume = {32},
year = {1982},
}

TY - JOUR
AU - Talagrand, Michel
TI - Closed convex hull of set of measurable functions, Riemann-measurable functions and measurability of translations
JO - Annales de l'institut Fourier
PY - 1982
PB - Association des Annales de l'Institut Fourier
VL - 32
IS - 1
SP - 39
EP - 69
AB - Let $G$ be a locally compact group. Let $L_t$ be the left translation in $L^\infty (G)$, given by $L_tf(x) = f(tx)$. We characterize (undre a mild set-theoretical hypothesis) the functions $f\in L^\infty (G)$ such that the map $t\rightarrow L_tf$ from $G$ into $L^\infty (G)$ is scalarly measurable (i.e. for $\varphi \in L^\infty (G)^*$, $t\rightarrow \varphi (L_tf)$ is measurable). We show that it is the case when $t\rightarrow \theta (L_ft)$ is measurable for each character $\theta $, and if $G$ is compact, if and only if $f$ is Riemann-measurable. We show that $t \rightarrow L_tf$ is Borel measurable if and only if $f$ is left uniformly continuous.Some of the measure-theoretic tools used there have independent interest. For example, if a set of measurable functions on $[0,1]$ is separable and point-wise relatively compact, the same is true of its convex hull.
LA - eng
KW - locally compact group; left translation; scalarly measurable; Borel measurable; left uniformly continuous
UR - http://eudml.org/doc/74530
ER -

References

top
  1. [1] J. BOURGAIN, D.H. FREMLIN, M. TALAGRAND, Pointwise compact sets of Baire-measurable functions, American J. of Math., 100, No. 4 (1978), 845-886. Zbl0413.54016MR80b:54017
  2. [2] D.H. FREMLIN, Pointwise compact sets of measurable functions, Manuscripta Math., 15 (1975), 219-242. Zbl0303.28006MR51 #8801
  3. [3] D.H. FREMLIN, Measurable functions and almost continuous functions, Manuscripta Math., (to appear). Zbl0459.28010
  4. [4] D.H. FREMLIN, M. TALAGRAND, A decomposition theorem for additive set-functions, with applications to Pettis integrals and ergodic means, Math. Z., 168 (1979), 117-142. Zbl0393.28005MR80k:28004
  5. [5] A. and C. IONESCU-TULCEA, Topics in the Theory of Liftings, Springer Verlag, 1979. 
  6. [6] A. and C. IONESCU-TULCEA, On the existence of a lifting commuting with the left translations of an arbitrary locally compact group, Proceedings Fifth Berkeley Symposium on Math. and Probability, 63-97. Zbl0201.49202
  7. [7] J.M. ROSENBLATT, Invariant means for the bounded measurable functions on a non-discrete locally compact group, Math. Annalen, 220 (1976), 219-228. Zbl0305.43002MR53 #1164
  8. [8] W. RUDIN, Homomorphisms and translations in L∞(G), Advances in Math., 16 (1975), 72-90. Zbl0297.22009MR51 #3797
  9. [9] J.R. SCHOENFIELD, Martin's axiom, Amer. Math Monthly, 82 (1975), 610-617. Zbl0314.02069MR51 #10087
  10. [10] B. WELLS, Homomorphisms and translates of bounded functions, Duke Math. J., 41 (1974), 35-39. Zbl0281.28004MR49 #1014

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.