Purchase Solution

Lebesgue Measurable Set

Not what you're looking for?

Ask Custom Question

Let A be a set in R^n, we denote by A + x_o a parallel shift of A by x_o to A + x_o,
A + x_o = { x : x = y + x_o, y in A}.

Now, if A is a lebesgue measurable then show that

1). x_o + A is also lebesgue measurable

2). m(A) = m(x_o + A)

Can someone check my answer and tell me if it is correct or not?

My work:
since A is a subset of R^n then A^c ( A compliment) = R^n - A and therefore A^c union A = R^n
and (A + x_o ) union (A^c + x_o) = R^n
Since A+x_o in R^n and (A+x_o)^c = A^c + x_o
( to show (A + x_o)^c = A^c + x_o :
let z be element of (A+x_o)^c then z doesn't belong to A + x_o, since x_o is a point then z doesn't belong to x_o, and z doesn't belong to A so z belongs to A^c and therefore z belongs to A^c + x_o
To do the other way, it is almost the same just reverse the procedure)

Nowwe get the following
E = ( E intersection A) union ( E intersection A^c) , where E is a subset of R^n
and E = (E intersection ( A + x_o) ) union( E intersection ( A^c + x_o))
so
(E intersection A) union ( E intersection A^c) = ( E intersection ( A + x_o)) union
(E intersection ( A^c + x_o))

so A+x_o is lebesgue measurable

now for part 2
m(E intercetion A) union ( E intersection A^c)) =< m((E intersection ( A + x_o)) union( E intersection (A^c + x_o))

and

m( E intersection ( A+x_o) union( E intersection (A^c+x_o)) =< m ((E intersection A) union( E intersection A^c))

so m( (E intersection ( A + x_o) ) union ( E intersection ( A^c + x_o ) ) =
m(( E intersection A) union( E intersection A^c)

so m(E) = m ( (E intersection ( A + x_o) ) union ( E intersection ( A^c + x_o))
= m( ( E intersection A) union ( E intersection A^c))

Purchase this Solution
Solution Summary

Lebesgue Measurable Sets are investigated. The solution is detailed and well presented.

Solution Preview

Please see the attached file for the complete solution.
Thanks for using BrainMass.

Mathematics, Real Variables
lebesgue measurable set
________________________________________
Let A be a set in R^n, we denote by A + xo a parallel shift of A by xo to A + xo,
A + xo = { x : x = y + xo, y in A}.

Now, if A is a lebesgue measurable then show that

1). xo + A is also lebesgue measurable

2). m(A) = m(xo + A) ...

Purchase this Solution
Free BrainMass Quizzes
Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Probability Quiz

Some questions on probability

Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

Solving quadratic inequalities

This quiz test you on how well you are familiar with solving quadratic inequalities.

Know Your Linear Equations

Each question is a choice-summary multiple choice question that will present you with a linear equation and then make 4 statements about that equation. You must determine which of the 4 statements are true (if any) in regards to the equation.

View More Free Quizzes
Related BrainMass Solutions

  • Lebesque measurable sets in R^n.

    ,m_n) m belongs to z^d Now we say that A in R^n is Lebesque measurable set in R^n if A intersection (k_1)^(m) is lebesque measurable for every m in z^d. Please see the attachment. Proof: , is a basic Lebesgue measurable cells.

  • Lebesgue Measurable Sets, Compact Sets and Open Sets

    L0 denotes the lebesgue measurable set that contains all open sets and compacts with finite measure.] The approximation theorem: Let A ∈ Rn is a Lebesgue measurable set and m(A) < ∞.

  • Q on Lebesgue integrals.

    A set is Lebesgue measurable if and only if its inner measure is equal to its outer measure.

  • definition of Lebesgue sum

    387856 definition of Lebesgue sum Using the definition of Lebesgue sum, show Lebesgue integral. 21.1 Definition: If f is bounded measurable function on a bounded measurable set , if is a partition of and if for then we call a Lebesgue sum of

  • Lebesgue Set: Change of Variable Theorem and Integrability

    . (*) The integral (mb) of f(y)dy = the integral (b) of f(mx)|detm| dx for everyy Lebesgue measurable function f = R^n --> R which is LEbesgue integrable on a Lebesgue set B the union of R^n.

  • Prove that if A is a set of positive, finite Lebesgue measure, then almost every point of A is a density point.

    60537 Prove that if A is a set of positive, finite Lebesgue measure A point x of a measurable subset A of the reals is called a density point if m( A intersection [x-h, x+h] ) / 2h goes to 1 as h goes to 0 where m is the Lebesgue measure.

  • Real Analysis : Lebesgue Measure

    Similarly, the product function defined by is also measurable as f,g are measurable. And the range of k is atmost the cardinality of f(A)Xg(B). Hence k is also a simple function. Lebesgue Measure and DeMorgan's Law are investigated.

  • Lebesgue Integration

    116031 Lebesgue Integration For what values of a in R (real numbers) is the function (1+x^2)^a in L^2 NOTE: let L^2 be like in Lebesgue integration where the set of all measurable functions that are square-integrable forms a Hilbert space, the so-called

  • Real Analysis : Lebesgue Integral Problem

    38810 Real Analysis : Lebesgue Integral Problem Let f be a nonnegative measurable function. Show that (integral f = 0) implies f = 0 a.e. See attached document for notations.

View More Related Solutions