[go: up one dir, main page]

0% found this document useful (0 votes)
106 views3 pages

Real Analysis Midterm With Solution 2007 2008

Uploaded by

unidersnot
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
0% found this document useful (0 votes)
106 views3 pages

Real Analysis Midterm With Solution 2007 2008

Uploaded by

unidersnot
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

Real Analysis Midterm Exam, November 13, 2007

Show detailed argument to each problem.

1. (10 points) Suppose E is a Lebesgue measurable subset of R with |E| < ∞. Prove that
|E| = sup {|K| : K ⊂ E and K is compact} . (0.1)

solution:
T
Let En = E [−n, n] , n ∈ N. We have En % E and so |E − En | → 0 as n → ∞ (note that |E| < ∞).
For any ε > 0 one can find m ∈ N so that |E − En | < ε/2 for all n ≥ m. For Em one can find a closed
subset F ⊂ Em such that |Em − F | < ε/2. Hence |E − F | ≤ |E − Em | + |Em − F | < ε. In particular F is
compact since Em is bounded. We also have
|E| ≤ |E − F | + |F | < ε + |F |
where F ⊂ E and F is compact. (0.1) is proved. ¤

2. (10 points) Assume E (t) is a continuously differentiable increasing function on [0, ∞) such that 0 ≤
E (t) ≤ C for all t ∈ [0, ∞), where C is some positive constant. Show that for any ε > 0, we have
¯© ª¯
¯ t ∈ [0, ∞) : E 0 (t) > ε ¯ ≤ C .
ε
solution:

By Tchebyshev inequality we have


Z
¯© ª¯
¯ t ∈ (0, ∞) : E 0 (t) > ε ¯ ≤ 1

1h i C
E 0 (t) dt ≤ lim E (t) − E (0) ≤
ε 0 ε t→∞ ε
since 0 ≤ E (t) ≤ C for all t ∈ [0, ∞). ¤

3. (10 points) Let fn : E → R be a sequence of measurable functions defined on a measurable set


E ⊂ Rn . Let n o
A = x ∈ E : lim fn (x) exists .
n→∞
Is A a measurable set or not? Give your reasons.

solution:

Let F ∗ (x) = lim supn→∞ fn (x) and F∗ (x) = lim inf n→∞ fn (x) . We know that both functions are
measurable on E. Hence the sets
(
S1 := {x ∈ E : F ∗ (x) = ∞ and F∗ (x) = ∞}

S2 := {x ∈ E : F ∗ (x) = −∞ and F∗ (x) = −∞}


S
are all measurable. Let S = S1 S2 . Now E − S is also measurable, and F ∗ − F∗ is a measurable function
on E − S. By the relation
A = {x ∈ E − S : F ∗ (x) − F∗ (x) = 0}
we know that A is a measurable set. ¤

4. (10 points) Give an example of a sequence of measurable functions {fk } defined on a measurable
set E ⊂ Rn such that the following strict inequalities hold:
Z Z Z Z
lim inf fk dx < lim inf fk dx < lim sup fk dx < lim sup fk dx.
E k→∞ k→∞ E k→∞ E E k→∞

solution:

1
On the interval [0, 1] , let
( £ ¤
1, x ∈ 0, 12
fk (x) = £ ¤ , k = 1, 3, 5, 7, ....
0, x ∈ 12 , 1

and ( £ ¤
0, x ∈ 0, 12
fk (x) = £ ¤ , k = 2, 4, 6, 8, ....
2, x ∈ 12 , 1
then Z Z
1
0= lim inf fk dx < lim inf fk dx =
E k→∞ k→∞ E 2
and Z Z
3
1 = lim sup fk dx < lim sup fk dx = .
k→∞ E E k→∞ 2
¤
Rx
5. (15 points) Assume f ∈ L [a, b] and let h (x) = a f, x ∈ [a, b] . Is the function h (x) a measurable
function on [a, b]? Give your reasons.

solution:

By looking at f + and f − , without loss of generality, we may assume that f ≥ 0 on [a, b] . Now there
exists a sequence of simple functions 0 ≤ fk % f a.e. on E, where fk ∈ L [a, b] also for all k. Monotone
Convergence Theorem implies Z Z
x x
fk → f = h (x) as k → ∞
a a
Rx
for all x ∈ [a, b] . As fk is a bounded function on [a, b] , we know that a fk is a continuous function of
x ∈ [a, b] . Hence h (x) is a measurable function on [a, b] .

Another solution:
Rx Rx Rx Rx
We have h (x) = a f + − a f − and both a f + and a f − are increasing functions on [a, b] . We know
that an increasing function on [a, b] is continuous a.e. on [a, b] . Hence h (x) is a measurable function on
[a, b]. ¤

6. (15 points) Suppose E ⊆ R is measurable with |E| = λ > 0, where λ is a finite number. Show that
for any t with 0 < t < λ, there exists a subset A of E such that A is measurable and |A| = t. That
is, the Lebesgue measure |·| on R satisfies the Intermediate Value Theorem.

solution:
T
Define f (x) = |(−∞, x) E| , x ∈ R. Then for x < y we have f (x) ≤ f (y) and
¯ \ ¯¯ ¯¯ \ ¯¯ ¯¯ \ ¯¯
¯
f (y) − f (x) = ¯(−∞, y) E ¯ − ¯(−∞, x) E ¯ = ¯(x, y) E ¯ ≤ y − x.

This means that f (x) is a continuous function on R with limx→−∞ f (x) = 0, limx→∞ f (x) = λ. For any
0 < t < λ, by the mean
T value theorem of continuous functions, we have f (s) = t for some s ∈ R. Hence
the set A = (−∞, s) E satisfies |A| = t. ¤
R
7. (15 points) Let y = T x be a nonsingular linear transformation of Rn . If E f (y) dy exists, show that
we have the following change of variables formula:
Z Z
f (y) dy = |det T | f (T x) dx. (0.2)
E T −1 E

2
solution:

Case1: If f (x) = χE1 , E1 ⊂ E, then LHS of (0.2) is |E1 | , and the RHS is given by
Z
¯ ¯
|det T | χE1 (T x) dx = |det T | · ¯T −1 E1 ¯ .
T −1 E
We see that (0.2) holds by Theorem 3.35.

Case2: Assume f ≥ 0. Then there exists a sequence of simple functions 0 ≤ sn % f on E where


sn = a1 χE1 + · · · + ak(n) χEk(n) , k (n) depends on n.
Now by Case1
Z Z Z
sn (y) dy = a1 χE1 (y) dy + · · · + ak(n) χEk(n) (y) dy
E Z E E Z

= a1 |det T | χE1 (T x) dx + · · · + ak(n) |det T | χEk(n) (T x) dx


−1 T −1 E
Z T ³E ´
= |det T | a1 χE1 + · · · + ak(n) χEk(n) (T x) dx
−1
ZT E
= |det T | sn (T x) dx
T −1 E
and by the Monotone Convergence Theorem we obtain
Z Z Z Z
lim sn (y) dy = f (y) dy, lim |det T | sn (T x) dx = |det T | f (T x) dx.
n→∞ E E n→∞ T −1 E T −1 E
The conclusion follows.
For general f, use
Z Z Z Z Z
+ − +
f = f − f = |det T | f (T x) dx − |det T | f − (T x) dx
E E Z E T −1 E T −1 E

= |det T | f (T x) dx.
T −1 E
¤
8. (15 points)
R Let p > 0 be a constant and
R let pf, fk , k = 1, 2, 3, ..., be measurable functions on
p
R Ifp E |fk − f | → 0 as k → ∞ and E |fk | ≤ M (M > 0 is a constant) for all k, show that
E.
E |f | ≤ M also.

solution:

For any ε > 0 we have


Z
1
|{|fk − f |p > ε}| ≤ |fk − f |p → 0 as k → ∞
ε E
due to the Tchebyshev inequality. Hence fk converges to f in measure on E. In particular, there exists a
subsequence fkj such that it converges to f a.e. on E. Fatou’s lemma implies
Z Z Z
¯ ¯p ¯ ¯p
¯ ¯
lim inf fkj = p
|f | ≤ lim inf ¯fk ¯ ≤ M.
j
E j→∞ E j→∞ E
The proof is done. ¤
R
Remark 1 (be careful) E |fk − f |p → 0 as k → ∞ does not, in general, imply that |fk − f |p → 0 a.e. on
E as k → ∞. Also for p > 0 the inequality
|f |p ≤ |fk − f |p + |fk |p
is wrong in general. It holds only for 0 < p ≤ 1.

You might also like