The GATE Grind

GATE 2023 MA – Question 17

Real Analysis · Measure and Integration · 1 mark · Multiple choice

Measurable E_k⊆[0,1] have measure 1/k². Define $E=\bigcap_n\bigcup_{k\ge n}E_k$ and $F=\bigcup_n\bigcap_{k\ge n}E_k$. P:m(E)=0; Q:m(F)=0. Choose truth values.

  1. Both true
  2. Both false
  3. P true, Q false
  4. Q true, P false

Practise this question in The GATE Grind →

Show answer and explanation

Correct answer: (A) Both true

Explanation

The union bound gives $m(E)\le\sum_{k\ge n}1/k^2$ for every n. Its tail tends to zero, so m(E)=0. Since liminf E_k⊆limsup E_k, F⊆E and m(F)=0. **A**.

More Measure and Integration questions

All Measure and Integration questions →