Let \(\Omega = \{1, 2, 3, 4\}\).
Consider the two \(\sigma\)-fields :
\(\mathbf{F}_{1} = \{\phi, \Omega, \{1\}, \{2\}, \{1, 2\},\) \(\{3, 4\}, \{2, 3, 4\}, \{1, 3, 4\}\}\)
\(\mathbf{F}_{2} = \{\phi, \Omega, \{1, 2\}, \{3, 4\}\}\)
Let \(f\) denote a function from \((\Omega, \mathbf{F}_{1})\) to \((\Omega, \mathbf{F}_{2})\).
Then :
MH SET - 2021, SET Exam - 2021,
Answer: B
The measurable function is \(f(k) = k\), \(k = 1, 2, 3, 4\).
\(f\) is measurable if the inverse image of every set in \(\mathbf{F}_{2}\) lies in \(\mathbf{F}_{1}\). It is enough to check {1, 2} and {3, 4}.
- B: \(f^{-1}\{1, 2\} = \{1, 2\}\) and \(f^{-1}\{3, 4\} = \{3, 4\}\), both in \(\mathbf{F}_{1}\). Measurable.
- C: \(f^{-1}\{1, 2\} = \{1, 3\}\), not in \(\mathbf{F}_{1}\).
- D: \(f^{-1}\{1, 2\} = \{1, 2, 3\}\), not in \(\mathbf{F}_{1}\).
So not every \(f\) is measurable (A fails), as C and D show.
Please log in or register to report this question.