A problem from Rudin's Real and Complex Analysis
A problem from Rudin's Real and Complex Analysis
Problem: Let, $f$ be a real-valued Lebesgue measurable function on $\mathbb{R}^k$, prove that there exists Borel functions $g$ and $h$ such that $\mu_k(\{x \in \mathbb{R}^k: g(x) \neq h(x)\}) = 0$ and $g(x) \le f(x) \le h(x)$ a.e. $[\mu_k]$.
(where, $\mu_k$ is the Lebesgue measure on $\mathbb{R}^k$)
Note: This is problem 14 from pg-59 of Rudin's Real and Complex Analysis book. The problem as stated in book is incorrect. It requires us to find Borel functions $g$ and $h$ such that $\mu_k(\{x \in \mathbb{R}^k: g(x) \neq h(x)\}) = 0$ and $g(x) \le f(x) \le h(x)$ for all $x \in \mathbb{R}^k$. It's interesting to construct a counter-example to the above proposition/disprove it.
(where, $\mu_k$ is the Lebesgue measure on $\mathbb{R}^k$)
Note: This is problem 14 from pg-59 of Rudin's Real and Complex Analysis book. The problem as stated in book is incorrect. It requires us to find Borel functions $g$ and $h$ such that $\mu_k(\{x \in \mathbb{R}^k: g(x) \neq h(x)\}) = 0$ and $g(x) \le f(x) \le h(x)$ for all $x \in \mathbb{R}^k$. It's interesting to construct a counter-example to the above proposition/disprove it.
Create an account or sign in to join the discussion
You need to be a member in order to post a reply
Create an account
Not a member? register to join our community
Members can start their own topics & subscribe to topics
It’s free and only takes a minute
Sign in
Who is online
Users browsing this forum: No registered users and 0 guests