Let O = <mo fence="false" stretchy="false">{ ( x 1 </msub> ,

Leonel Contreras

Leonel Contreras

Answered question

2022-06-22

Let O = { ( x 1 , x 2 ) R 2 : 0 < x 1 = x 2 < 1 }, I = { N B : λ ( ( 0 , 1 ) N ) = 0 }, where λ is the Lebesgue measure and B is the Borel sigma algebra.
Furthermore let μ ( A ) = { 0 A 1 , A 2 I ,  and  B 1 , B 2 B ,  so  A ( A 1 × B 1 ) ( A 2 × B 2 ) 1 otherwise
Show that μ ( O ) = 1.
My thought is a contradiction argument. If μ ( O ) = 0, then there must exist N 1 , N 2 I and B1,B2∈B such that O ( N 1 × B 1 ) ( N 2 × B 2 ). But since O is a line from the point (0,0) to the point (1,1), there cannot be a set with Lebesguemeasure 0 on the interval (0,1) on either axis. There is therefore no way to "describe" the line, because it goes from 0 to 1 on both axis, and therefore there does not exist N 1 , N 2 I so O ( N 1 × B 1 ) ( N 2 × B 2 )
My problem is that I understand why is the measure μ ( O ) = 1, I just can't seem to find the right proof technique.

Answer & Explanation

sleuteleni7

sleuteleni7

Beginner2022-06-23Added 28 answers

Your approach is fine. Assuming that O ( N 1 × B 1 ) ( N 2 × B 2 ), we get ( 0 , 1 ) N 1 N 2 . But λ ( ( N 1 N 2 ) ( 0 , 1 ) ) = 0 < λ ( ( 0 , 1 ) ), which gives the required contradiction.

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?