MIT OpenCourseWarehttp://ocw.mit.edu 18.102 Introduction to Functional Analysis Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.� � � � � PREPARATORY QUESTIONS FOR TEST 1 FOR 18.102, SPRING 2009. RICHARD MELROSE These questions, in addition to those in Problems3, are intended to help you study for the test on Thursday March 5. In fact the questions on the test will be very similar to some of those below or on the problem sets. 1. Problem pT1.1 We have defined a set of measure zero E ⊂ R by the condition that there exist an absolutely summable series of step functions fn for which (1) E ⊂ {x ∈ R; |fn(x)| = ∞}. n Definition 1. A set E ⊂ R is said to be of Lebesgue measure zero if for each δ > 0 there exists a countable collection of open intervals (ai, bi) such that (2) E ⊂ (ai, bi), (bi − ai) < δ. i i This question asks you to prove that these two concepts are the same; on the test I would only ask the first part:-Proposition 1. A set is of measure zero if and only if it is of Lebesgue measure zero. You can of course proceed on your own or follow these steps. (1) = ⇐ Show that the definition of Lebesgue measure zero is equivalent to the condition that for each n there exist semi-open intervals Ii (n)[a(in), b(in)) which are disjoint (for each fixed n) and such that (3) E ⊂ Ii (n) , (b(in) − a(in)) < 2−n . i i If fi (n) are the characteristic functions of the intervals Ii (n) in the pre-vious step show that (4) |f(n)| < ∞.i i,n Arrange this double sequence into an absolutely summable series of step functions which diverges on E. Conclude that if E is of ‘Lebesgue measure zero’ then it is ‘of measure zero’ in the earlier sense. 1� 2 RICHARD MELROSE (2) = ⇒ If E is of measure zero in our usual sense, let fn be an absolutely summable series of step functions as in (1). �� For each δ > 0 choose N = N(δ) such that |fn| < δ. n>N For each fixed δ and hence N, consider the sets which depend on non-negative integers k and j : (5) Jk,j = {x ∈ R; |fn(x)| > 2k}. N<n≤N+j Fixing k, or each j this is a finite union of semi-open intervals, since the fn are step functions. See if you can construct a covering as needed for the Lebesgue measure zero condition from these. 2. Problem pT1.2 Recall our original definition of integrability of a complex-value function on R. Show, directly from the definition, that the real and imaginary parts of an integrable function are integrable. Department of Mathematics, Massachusetts Institute of
View Full Document
Unlocking...