# If both $f ge 1$ and $fle 1$ almost surely then $f = 1_A$, where $A$ is borel

Mathematics Asked by orientablesurface on October 23, 2020

Let $$f:[0,1]rightarrow mathbb{R}$$ be a positive measurable function. If $$fleq 1$$ almost surely and $$fgeq 1$$ almost surely (with respect to lebesgue measure). Show that $$f=1_{A}$$ for some $$Ain B[0,1]$$.

I’m not sure how to start.

My attempt is as follows:

So $$fgeq 1$$ almost surely means there exists some set U in borel algebra on [0,1] such that $$mu(U)=0$$ on which $$f<1$$

$$fleq 1$$ almost surely means that there exists some set V in borel algebra on [0,1] such that $$mu(V)=0$$ on which $$f>1$$

By construction of U and V, $$Ucap V=varnothing$$. Hence, setting $$A=Ucup V$$, we obtain

However, I have gotten nowhere.

May someone elaborate? What should I modify the problem for the conclusion to hold (if it doesnt hold?)

There exist sets $$E,F$$ of measure $$0$$ such that $$f(x) leq 1$$ if $$x notin E$$ and $$f(x) geq 1$$ if $$x notin F$$. Let $$A=E cup F$$. Then $$A$$ has measure $$0$$ and $$f(x) = 1$$ if $$x notin A$$ (because $$x notin A$$ implies $$x notin E$$ and $$x notin F$$). Now let $$D={x: f(x)=1}$$. Then $$D$$ is a Lebesgue measurable set and $$f=1_D$$ almost everywhere. To complete the proof just note that there is a Borel set $$B$$ such that $$I_D=I_B$$ almost everywhere.

Answered by Kavi Rama Murthy on October 23, 2020

## Related Questions

### Approximating convolution with $L^1$ function by sum of translation operators

0  Asked on December 2, 2020 by clhpeterson

### How to approach proof of “For an integer n, if $n > 7$, then $n^2-8n+12$ is composite”?

2  Asked on December 2, 2020 by lswift

### Distance from vectors in $mathbb{Z}^d$ to the cube $[-1/2,1/2]^d$

1  Asked on December 2, 2020 by oliver-diaz

### Let $T:X to Y$ be a linear operator and $dim X=dim Y<infty$. Show $Y=mathscr{R}(T)$ if and only if $T^{-1}$ exists, without dimension theorem.

2  Asked on December 2, 2020 by andr-armatowski

### sum of terms of series

2  Asked on December 2, 2020 by albus-dumbledore

### Find possible solution for minimization of a functional with free boundary condition

2  Asked on December 2, 2020 by nicole-douglas

### What are some examples of non-trivial series that are equal to $0$?

3  Asked on December 2, 2020 by the_firehawk

### Find the limit of $f(n)$ where $f(n)=(2-f(n+1))^2$

2  Asked on December 2, 2020 by amit-zach

### On the spectral decomposition for compact operators in a Banach space

0  Asked on December 2, 2020 by nessundorma

### How to prove that there’s at least one of them to be multiple 5?

1  Asked on December 2, 2020 by henry-cai

### Specify the inverse of the matrix $g_{ij}=langle v_i,v_jrangle$, where $(v_1,…,v_n)$ is a basis

2  Asked on December 1, 2020 by filippo

### A bus goes to 3 bus stops, at each stop 3/4 of the people on the bus get off and 10 get on. what is the minimum number of people to start on the bus?

4  Asked on December 1, 2020 by mathie102

### Homogenous PDE, changing of variable

1  Asked on December 1, 2020 by still_waters

### Recursive sequence depending on the parameter

2  Asked on December 1, 2020 by invisible

### Computing $mathrm{Vect}_k(M)$?

0  Asked on December 1, 2020 by koko

### Solving an upper triangular system of linear equations

2  Asked on December 1, 2020 by j-ricky

### Counting Problem: Pigeonhole principle

2  Asked on November 30, 2020 by keshav-vinayak-jha

### Hausdorff axiomatization of topological space on Wikipedia

2  Asked on November 30, 2020 by christine

### Solutions to the Diophantine equation

3  Asked on November 30, 2020 by highgardener

### How many ways to select 5 objects from 3 groups of 4 objects each?

1  Asked on November 30, 2020 by ijm

Get help from others!