If A and C are two subsets of R with AC, then prove m*(A)≤m*(C)

Prove outer measure of any countable subset of R is zero.

Prove that (i)&(ii) are equivalent if , m(C) < , m( F )   (i) m(C\F)=0=m(F\C) (ii) m(C)=m(C  F )  m( F )

Let A, C, D be measurable sets of finite measure, prove that ,

m( A  C  D)  m( A)  m(C )  m( D)  m( A  C )  m( A  D)  m(C  D)  m( A  C  D) .

If D is a measurable set & m*(DF)=0, then prove F is a measurable set

Let, f: D  R, D a measurable subset of R & f is a monotone function prove that f is a measurable function.

Prove that any function defined on a set of measure zero is measurable function

If m*(D)=0 prove D is a measurable subset of R.

Is union of uncountable collection of measurable sets measurable? explain.

Let D be a measurable set, Prove m* (A) = m* (AD) + m * (A\[AD])

If | f | is a measurable function on a measurable set D, does that imply f is a measurable function on D?explain

{Fq }q 1 is a disjoint collection of measurable sets f :Fq  R* is a measurable function  Fq


then prove f is a measurable function on [ Fq ]
q 1

Define a measurable subset D of R prove if D is a measurable subset then DC is a measurable set.

Let f : DR & g : DR be simple functions prove f+g & fg are simple functions .

If f & g are measurable Functions defined on a common domain D then prove the set
A(f,g)={xD: f(x)<g(x)}M
 
   
If Dq is a sequence of measurable sets with m Dq =0,q  Z+ then prove that D= Dqis a measurable set
q 1

and has m(D) = 0.

Let f:D  R & g:D  R be measurable functions defined on a measurable set D then
prove f+g is a measurable function .

Let f be a function with measurable domain D, show that f is measurable iff the function g defined as
g(x)=f(x), for xD, & g(x) =0 if xD is measurable.

Prove Cardinality of set of measurable subsets of R is same as that of power set of R.

Assuming (a,∞) is a measurable set prove any open subset of R is a measurable set

Assuming (a,∞) is a measurable set prove any closed interval in R is a measurable set

f : D  R* is a measurable function CM & C D then f is a measurable function on set C .

For a real valued measurable function f on D prove if D(f>a) is measurable set for aR
Then D(f<a) is a measurable subset of R

For a real valued measurable function f on D prove if D(fa) is measurable for aR then D(fa) is a
measurable subset of R.

If {fq } is a sequence of measurable functions defined on a measurable set D then sup{fq }and inf {fq} are
measurable functions.

If f=g a.e. defined on a measurable set D then if f is measurable function then prove g is measurable.

If f is continuous a.e. in D then prove f is measurable function on D.

If {fq } is a sequence of real valued measurable functions defined on a measurable set D , prove
sup{ fq } & inf { fq } are measurable functions on D
If f & g are extended real valued measurable functions defined on a measurable set D and
f & g are finite a.e. then prove f-g is a measurable function.

If f:DR be function defined on a measurable set D and if f is continuous almost everywhere on D

then f is measurable function.

If f  0 , a measurable function defined on a measurable set & c>0 measurable functions then
prove   cf   c   f 
D D

If f , g  0 & f  g on D measurable functions then  f   g

D D

If f: DR is a bounded function defined on a set D of finite measure , prove if m(D)=0 then integral of f(x) on
D is zero.

If f is a bounded measurable functions defined on set D, m(D)<, prove  (af )dx  a  f dx , a  (-,)
D D
n
Let  (x)= rq  F (x) be Simple function not necessarily in canonical form assume Fi  Fj  
q 1 q
n
if i  j &m( Fq )<, q. prove   dx  rq m( Fq )
D q 1

If f& g are bounded measurablefunctions defined on set D, m(D)<, prove If f(x)  g(x) on D

then prove  ( f )dx   gdx &  f ( x)dx   f ( x) dx

D D D D

For a simple function f : DR ,if m(D)< prove upper and lower Lebesgue integral exists and are equal.

If f(x): [a,c]R is a differentiable function then prove f  (x) is a measurable function.

If {f q  0} is a sequence measurable functions defined on a set D then  (liminf f q ( x))dx  liminf  f q ( x)dx
D D

Let { f q } be a sequence nonnegative measurable functions, such that f q  f onD and fq  f , q  Z  then

 f  lim  f
D q  D
q .

For any subset A of real numbers & xR, m*(A+x)=m*(A)

Let f be real valued function defined on a measurable set D . prove f is measurable iff for any open set G in R ,
f-1(G) is a measurable set.

If X is any set define an Algebra and - Algebra of subsets of X, Give an example to show that
An algebra of subsets need not be a  Algebra of subsets. Explain your answer example without explanation will
not get marks.

Let {f q } be a sequence of measurable functions defined on a set D of finite measure & f q 
point
f
on D & L >0 such that |f q ( x) | L, x  D & q  Z  , then f is Lebesgue integrable & lim  f q ( x )dx   fdx
q 
D D

Let {f q } be a sequence of nonnegativemeasurable functions defined on a set D & f q 

point
 f on D
then liminf  f q ( x)dx   fdx
D D

prove for a measurable set D ,if m*(DF)=0 then F is a measurable set & [m(D)=m(F  D)=m(F)]

Let {f q }be sequence of measurable functions defined on a set D , m(D)<. If f q  f point a.e. on D
then  >0 D  D , such that m(D-D )   & f q 
unif
 f on D .

If f q ( x)  0 , is a sequence of real valued measurable functions defined on a measurable set D

then  liminf( f
D
q )  liminf  f q
D

Prove (a,∞) is a measurable set  a(-∞,∞).

Let {f q } be a sequence of nonnegative measurable functions defined on a set & f q 

point
 f on D ,
f q ( x)  f q 1 ( x), x  D & q  Z then lim  f q ( x)dx   fdx
q 
D D
  
Let {Fq } be an infinite sequence of measurable sets then m( Fq )   m( Fq ) and if sets Fq
q 1 q 1
 
are pairwise disjoint then m( Fq )   m(Fq )
q 1 q 1

Define Characteristic function of a subset A of real numbers , prove Characteristic function

is measurable iff A is a measurable set


Let{Fq } be sequence of measurable sets & Fq  Fq 1 , q  Z then m( Fq )= lim m(Fq )
q
q 1

If D is any measurable subset of R then prove D+y is a measurable subset of R for any real number y

Let A & C be subsets of R then prove

(i) AC ( x)   A ( x)   C ( x)   AC ( x)(ii )  AC ( x)   A ( x)  C ( x) (iii )C  A   C ( x)   A ( x)

If {fq } is a sequence of real valued measurable functions defined on a measurable set D , define
Limsup{ fq } & Liminf { fq }& prove Limsup{ fq } & Liminf { fq } are measurable functions on D

Explain the statement Functions that are not continuous at any point in D can be equivalent to a continuous
Function , but function that are cont. a.e. need not be equivalent to a continuous function. through examples.

Find an example to show two equivalent continuous functions need not be equal even if theyare defined on a set
that has (+ve) measure. Explain your answer (without satisfactory explanation marks will not be given.)

prove set of all measurable subsets sets of R is a  - Algebra.

If A is a subset of real numbers then prove m* (cA) = c m*(A) , c >0 & m* (A) < , hence prove cA is
measurable set if A is measurable set .

m m
If {Fq }qm1 is a disjoint collection of measurable sets then  m *( A  Fq )  m *( A [ Fq ])
q 1 q 1

 x  1 if x  F
Let F be nonmeasurable set constructed in the interval [0,1]define f(x)= 
 x if x  [0,1]-F
prove D(f=a) is a measurable set a  (-,) but f is not a measurable function on [0,1] [3+4]
Find an example of {Dq} a sequence of disjoint subsets of (-,) such that m*(  Dq ) < m*( Dq ). explain
your answer clearly marks will not be awarded unless explanation is correct.

Define Step functions on interval [a,c] prove step functions are simple functions.

Let f:D  R & g:D  R be measurable functions defined on ameasurable set D then
if g(x)  0 any where on D then prove f/g is a measurable function.

Find the measure of the set of irrationals in [0,1] Is every subset of irrationals measurable? Explain

When do we say two functions f & g defined on a measurable set are equivalent?. If two equivalent functions f & g
are continuous on a open interval D of real numbers . Then prove f=g on D.

Let A be the set of rational numbers in the interval (0,1),and{ In }be a finite collection of open intervals covering A,
prove that  l(In)  1.

Define F & G sets, prove every closed set and open subset of R is F & G set. [7]

Let f be a real valued function defined on a measurable set D, Prove that f is a measurable function iff the set
D(f<r) is measurable for every rational number r.

If C & D are measurable subsets of R prove union of C & D is measurable set.

  
if {Fq }q 1 is any collection of subsets of real numbers then prove ,m*  Fq    m *( Fq )
 q 1  q 1

Define almost uniform (a.u.) convergence and convergence a.e for a sequence {fq }of measurable function .
Prove f q 
a .u .
 f on D  f q 
a .e .
 f on D

Let {Fq } be a nested sequence of measurable sets i.e. Fq  Fq 1 , q  Z & m(F1 )< then


m( Fq )= lim m(Fq )
q 
q 1
Construct a nonmeasurable subset of interval [0,1] . Then prove constructed set is nonmeasurable.

For bounded measurable function f on a set D of finite measure ,if  f ( x)dx  0 &f(x)  0 on D then f ( x)  0 a.e. on D .
D

First prove Cantor set is a measurable set , then prove measure of Cantor set is zero

If f& g are bounded measurablefunctions defined on set D, m(D)<. prove  ( f  g )dx   f dx + gdx
D D D

If f , g  0 measurable functions on a measurable set D then  f  g   f  g

D D D

Let {f q }be sequence of measurable functions defined on a set D , m(D)<. If f q  f point a.e. on D
then  , >0 D  D & (+ve) integer q0 ,such that m(D-D )   & |f q ( x)  f ( x) |, q  q 0 & x  D .

If a bounded function f defined on a measurable set D of finite measure is measurable then prove f is Lebesgue
integrable.

If a bounded function f defined on a measurable set D of finite measure is Lebesgue Integrable then prove f is
measurable .

If [a,c] is a closed finite interval then prove outer measure of [a.c] is length of interval

Let f:D  (-,) be a measurable real valuedfunction, assume M  0 such that |f(x)|  M on D, then  >0 ,
 simple functions  & on D that satisfy   f    on D & 0       on D .

Let  &  be simple functions defined on a set D of finite measure then  (a  b )  a    b  
D D D