2015-02-28 14:52:45 8 Comments

I am working on this problem$^{(1)}$ on Lebesgue measurability of composition of Lebesgue measurable function and a continuous function:

Show that $g \circ f$ is Lebesgue measurable, if $f: X \to \mathbb R$ is Lebesgue measurable and if $g: \mathbb R \to \mathbb R$ is continuous.

Prior to this posting, I did lots of research online. First, I found this 6-year-old solution to a problem very similar to mine *here* at MathHelpForum, but on closer inspection I think not only the author left lots of gap, but also I am not sure if this is a correct solution, and on top of it I do not really understand it. And then internally in MSE, I found this 2012's *posting* and also this 2013's *posting*, which are similar but not exactly the same.

In my naive logic, I am thinking of first proving that $g$ is measurable because of its continuity, and then since composition of 2 measurable functions is measurable, therefore $g \circ f$ is measurable. But my logic is unreliable, please help me with the right direction and also steps to solve this question.

Thank you very much for your time and help.

**Oops!**

I forget to include definition to Lebesque measurability and Lebesgue measurable function until @PhoemueX brought it up. The problem with this text is that it does not have one nice, stand-alone paragraph definition. According to its index, it is written here and there on pages 21, 27 and 39. Here is what I managed to piece them together from those pages:

Let $X = \mathbb R$ and let $\mathcal C$ be the collection of intervals of the form $(a, b]$... Let $\mathcal l(I) = b - a$ if $I = (a, b]$... Define $\mu^*$ as an outer measure... however, that if we restrict $\mu^*$ to a $\sigma$-algebra $\mathcal L$ which is strictly smaller than the collection of all subsets of $\mathbb R$, then $\mu^*$ will be a measure on $\mathcal L$. That measure is what is known as

Lebesgue measure.The $\sigma$-algebra $\mathcal L$ is called theLebesgue $\sigma$-algebra.... A set isif it is in the Lebesgue $\sigma$-algebra.Lebesgue measurableIf $X$ is a metric space, $\mathcal B$ is the Borel $\sigma$-algebra, and $f: X \to \mathbb R$ is measurable with respect to $\mathcal B$, we say $f$ is Borel measurable. If $f : \mathbb R \to \mathbb R$ is measurable with respect to the Lebesgue $\sigma$-algebra, we say $f$ is

.Lebesgue measurable function

**Footnotes:**

(1) Richard F. Bass' *Real Analysis*, 2nd. edition, chapter 5: Measurable Functions, Exercise 5.6, page 44.

### Related Questions

#### Sponsored Content

#### 1 Answered Questions

### [SOLVED] Is the composition of two Lebesgue Measurable functions necessarily Lebesgue measurable?

**2019-05-09 16:27:01****user8482839****73**View**1**Score**1**Answer- Tags: real-analysis analysis measure-theory lebesgue-measure

#### 2 Answered Questions

### [SOLVED] Does $\sigma-$algebra of Lebesgue measurable sets of $\mathbb{R}^n$ contains non Lebesgue measurable sets?

**2017-12-01 10:55:39****Unavailable****333**View**1**Score**2**Answer- Tags: real-analysis measure-theory lebesgue-measure

#### 1 Answered Questions

### [SOLVED] Classifying measurability of functions for $\mathcal{L}(\mathbb{R})$

**2017-11-21 18:31:03****Redundant Aunt****90**View**2**Score**1**Answer- Tags: measure-theory lebesgue-integral lebesgue-measure borel-sets

#### 3 Answered Questions

### [SOLVED] Does the measurability of a set depend on a specific measure or is it "universal"?

**2017-03-07 10:20:41****Constantin****425**View**4**Score**3**Answer- Tags: measure-theory

#### 1 Answered Questions

### [SOLVED] show that continuous functions on $\mathbb{R}$ are measurable

**2016-04-30 21:17:25****analsyis2****547**View**3**Score**1**Answer- Tags: real-analysis analysis measure-theory continuity

#### 2 Answered Questions

### [SOLVED] Why do we use the Borel sigma algebra for the codomain of a measurable function?

**2015-12-10 22:53:32****Alok Singh****616**View**5**Score**2**Answer- Tags: real-analysis measure-theory lebesgue-measure

#### 1 Answered Questions

### [SOLVED] Composition of 2 Lebesgue measurable functions is not lebesgue measurable: Are these two functions Borel Measurable?

**2015-06-14 01:03:16****illysial****627**View**2**Score**1**Answer- Tags: measure-theory

#### 2 Answered Questions

### [SOLVED] Show that inverse image of a Lebesgue measurable function is Lebesgue-measurable

**2014-09-02 20:01:58****user119615****1052**View**3**Score**2**Answer- Tags: real-analysis measure-theory lebesgue-measure

#### 1 Answered Questions

### [SOLVED] Measurability of product of Borel measurable functions with different domains?

**2014-08-25 21:59:48****layman****694**View**1**Score**1**Answer- Tags: real-analysis functional-analysis measure-theory lebesgue-integral

#### 1 Answered Questions

### [SOLVED] Borel measurable function that preserves Lebesgue measure

**2014-06-08 01:38:31****Irene****358**View**2**Score**1**Answer- Tags: measure-theory lebesgue-measure

## 2 comments

## @Clement C. 2015-02-28 16:02:37

Edit: following the comment of kahen below, I modified my answer: Lebesgue-measurability of a function $h$ is measurability of $h\colon (X,\mathcal{L}_X)\to (Y,\mathcal{B}_{Y})$, not $h\colon (X,\mathcal{L}_X)\to (Y,\mathcal{L}_{Y})$)You have that $f\colon (X,\mathcal{L}_X)\to (\mathbb{R},\mathcal{B}_\mathbb{R})$ is

Lebesgue-measurable (for the $\sigma$-algebras $\mathcal{L}_X$, $\mathcal{B}_\mathbb{R}$). As $g\colon \mathbb{R}\to \mathbb{R}$ is continuous, it isBorel-measurable ($g\colon (\mathbb{R},\mathcal{B}_\mathbb{R})\to (\mathbb{R},\mathcal{B}_\mathbb{R})$ is measurable for the $\sigma$-algebras $\mathcal{B}_\mathbb{R}$, $\mathcal{B}_\mathbb{R}$). You want to show that $g\circ f$ isLebesgue-measurable. i.e. $g\circ f \colon (X,\mathcal{L}_X)\to (\mathbb{R},\mathcal{B}_\mathbb{R})$ is measurable.Take any $B\in\mathcal{B}_\mathbb{R}$: you need to show that $(g\circ f)^{-1}(B)\in \mathcal{L}_X$.

By measurability of $g$, you have that for since $B\in\mathcal{B}_\mathbb{R}$, $B^\prime = g^{-1}(B)\in \mathcal{B}_\mathbb{R}$. By measurability of $f$, this implies that $f^{-1}(B^\prime)\in \mathcal{L}_X$, i.e. $(g\circ f)^{-1}(B)\in \mathcal{L}_X$. This shows that $g\circ f$ is measurable for the $\sigma$-algebras $\mathcal{L}_X$, $\mathcal{B}_\mathbb{R}$ (i.e., $g\circ f\colon (X, \mathcal{L}_X)\to (\mathbb{R}, \mathcal{B}_\mathbb{R})$ is measurable), as wanted.

## @Clement C. 2015-02-28 16:13:30

(If you define $f$ being Lebesgue-measurable as being measurable from $(X,\mathcal{L}_X)$ to $(\mathbb{R},\mathcal{B}_\mathbb{R})$, then it is straightforward, though. How was it defined in your book?)

## @kahen 2015-02-28 16:17:52

You definitely do not give the codomain the Lebesgue $\sigma$-algebra. The problem is that there are continuous maps which are not $\mathcal L_{\mathbb R}$-$\mathcal L_{\mathbb R}$ measurable.

## @Clement C. 2015-02-28 16:19:15

OK. So if Lebesgue-measurability of $h\colon X\to Y$ is measurability of $h\colon (X,\mathcal{L}_X)\to (Y,\mathcal{B}_Y)$, then the above works...

## @Clement C. 2015-02-28 16:26:26

(regarding your last point, yes -- that was what confused me regarding the validity of the question, for the definition of Lebesgue-measurability I was assuming)

## @Amanda.M 2015-02-28 16:39:30

@ClementC. : I have post-scripted whatever the text has on the definition of Lebesgue measurability, see above. Let me know and thanks as always.

## @Clement C. 2015-02-28 16:40:26

From what I gather (I also had a look at the book itself), this is consistent with the definition in the "Edit" part.

## @Amanda.M 2015-02-28 16:50:40

Thanks, I am still digesting your solution bit by bit...

## @Amanda.M 2015-02-28 18:48:05

@ClementC. I like your solution better! Your definition of measurable function, i.e., $(g \circ f)^{-1}(B) \in \mathcal L_X$ mimics that of Wikipedia's: en.wikipedia.org/wiki/Measurable_function . But my text uses a "different" definition: "A function $f : X \to \mathbb R$ is measurable or $\mathcal A$-measurable if $\{x \mid f(x) > a\} \in \mathcal A, \forall a \in \mathbb R$." Wikipedia's & yours is more intuitive. Are they the same or textbook-specific? (I am talking about measurable fuction, not

Lebesguemeasurable function.) Thanks again and again.## @Clement C. 2015-02-28 19:12:12

@A.Magnus: they are the same: yours essentially looks at sets $B_a=(a,+\infty)$, and considers $f^{-1}(B_a)$. But it is a classic result that the $\sigma$-algebra generated by $(B_a)_{a\in\mathbb{R}}$ is exactly $\mathcal{B}_\mathbb{R}$

## @Amanda.M 2015-02-28 19:34:02

Thanks, quite relieved hearing they are the same! The same question then goes on asking (a) Is this also true if $g$ is Borel measurable instead of continuous? (b) Is this true if $g$ is Lebesgue measurable instead of continuous? I

thinkthe answer for (a) is yes and for (b) is no? Can you shed some more light here? Thanks again and again.## @Ian 2015-02-28 20:23:47

@A.Magnus (a) Yes; the key is that $g^{-1}(A)$ is Borel when $A$ is Borel, so $f^{-1}(g^{-1}(A))$ is the preimage of a Borel set under $f$.

## @Clement C. 2015-02-28 20:28:34

(b) Indeed, it is false. That's the key thing in the counterexample from here: if $g$ is only Lebesgue measurable, $B^\prime=g^{-1}(B)$ can end up being in $\mathcal{L}_\mathbb{R}\setminus \mathcal{B}_\mathbb{R}$, and then you don't have the guarantee that $f^{-1}(B^\prime)$ is in $\mathcal{L}_\mathbb{R}$.

## @Ian 2015-02-28 20:29:10

@ClementC. I was in the process of writing down that example myself :)

## @Amanda.M 2015-03-03 02:01:15

@ClementC. : Hope you get this message: Thanks for your helps and now this problem was completely done, couple of clarifications, if you please: (a) Just wanted to confirm that Lebesgue $\sigma$-algebra is always more inclusive than Borel $\sigma$-algebra, am I correct? (b) The hypothesis first says that $g : \mathbb R \to \mathbb R$ is continuous, and then you claim that $g: (\mathbb R, \mathcal B_R) \to (\mathbb R, \mathcal B_R)$ is measurable. How do you determine that $\mathbb R$ has $\mathcal B$ in the first place, even though hypothesis does not say it? Is it by default for $\mathbb R$?

## @Clement C. 2015-03-03 03:41:43

Hi, Yes, one has $\mathcal{B}\subset \mathcal{L}$. As for continuity, it does imply Borel-measurability (this is a theorem), and Borel sets is a "antural" $\sigma$-algebra for $\mathbb{R}^n$)

## @Amanda.M 2015-03-04 13:05:58

I think you meant "natural," not "anatural," correct? Thanks again and again, I green check-marked, up-voted your answer, and up-arrowed all you comments, hoping you get points bountiful thereafter.

## @Clement C. 2015-03-04 13:31:55

(yes, natural... sorry)

## @Ian 2015-02-28 16:08:23

Note that $ (g \circ f)^{-1}(A)=f^{-1}(g^{-1}(A))$. You need to show this is Lebesgue measurable if $ A $ is open. Now the key is that if $A$ is open, then so is $ g^{-1}(A) $. So $(g \circ f)^{-1}(A)=f^{-1}(B) $ where $ B $ is open. Conclude from there.

## @kahen 2015-02-28 16:55:10

Borel instead of open, right?

## @Ian 2015-02-28 17:28:43

@kahen It doesn't matter. The books I have used define measurability of real-valued functions just with open sets or even just with infinite rays. The $\sigma$-algebra properties and the fact that preimages commute with unions and intersections take care of the rest.

## @Amanda.M 2015-02-28 19:34:47

@Ian : Thank you for your speedy response!