Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\mu$ be a nonnegative measure on a $\sigma$-algebra of subsets of $X$ and let $f \colon X\to \mathbb{C}$ be in $L^\infty$.

The essential range $S$ of $f$ is defined ( Wikipedia) as a set of all $z \in \mathbb{C}$ such that for all $\varepsilon>0$: $$\mu ( \{x\in X: |f(x)-z| < \varepsilon \})>0.$$

Let's consider the following set $$Z:=\bigcap \overline{u(X)},$$ where intersection is taken over all measurable functions $u\colon X\to \mathbb{C}$ such that $u(x)=f(x)$ almost everywhere.

Is there a connection beetween sets $S$ and $Z$?


share|cite|improve this question

1 Answer 1

up vote 3 down vote accepted


1) If $s \in S$, $\varepsilon > 0$ and $u = f$ a.e., there are lots of points $x$ with $|u(x)-s| < \varepsilon$.

2) Conversely, if $t \notin S$, define a suitable function $u$ that differs from $f$ only when $f(x)$ is near $t$.

share|cite|improve this answer
Very thanks for help. – Richard Dec 20 '11 at 8:34

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.