Suppose <mo fence="false" stretchy="false">{ f n </msub> <mo fence="false" s

Landyn Jimenez

Landyn Jimenez

Answered question

2022-05-27

Suppose { f n } is a sequence of (Lebesgue) measurable functions on R d with each f n 0. If f n ( x ) f ( x ) for a.e. x, then by Fatou's lemma, we have
f lim inf n f n .
Its proof begins with a non-negative function g that is bounded and supported on a set E R d of finite measure with g f. If we set g n = min { g , f n }, then each g n is a measurable function and supported on E. Furthermore, g n ( x ) g ( x ) for a.e. x. By the bounded convergence theorem, ...
The above material is quoted from the book by Stein and Shakarchi with some minor changes, and I wonder why g n g almost everywhere. I wish I could offer you some useful ideas, but unfortunately I know nothing, which is why I'm here. I would much appreciate it if you could do me a favor. Thank you.

Answer & Explanation

stormsteghj

stormsteghj

Beginner2022-05-28Added 11 answers

Given x R d , we will look at two cases: (You may try writing out these arguments in a formal manner).
(i) If f ( x ) = g ( x ), then f n ( x ) converges to g ( x ). This completes this case as g n ( x ) = f n ( x ) or g n ( x ) = g ( x ) for each n N .
(ii) If f ( x ) > g ( x ), then as f n ( x ) converges to f ( x ), for large n, f n ( x ) > g ( x ), thus g n ( x ) = g ( x ). So, again, g n ( x ) g ( x ).
Laylah Mora

Laylah Mora

Beginner2022-05-29Added 2 answers

The reason is because the function min : R × R R is continuous. This follows from writing min ( a , b ) = a + b 2 | a b | 2 , or from a direct argument by cases ( a < b, a = b).
Thus in your case, since f n f a.e., it follows that min ( g , f n ) min ( g , f ) = g a.e.

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?