Take the 2-minute tour ×
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 $(X,d)$ be a metric space and $\mu$ a probability measure. Let $f(x)=\mu(B(x,r))$. Is this map upper semi continuous?

I have some other assumptions since this is part of a larger proof but I'm wondering if this question is trivial or do I need to use some of my other assumptions from the proof.

share|improve this question
    
First of all it depends on $\mu$. For example a probability measure can be discrete and in this case the function will be upper semi-continuous at some points. –  nikita2 Sep 23 '12 at 1:40

1 Answer 1

up vote 0 down vote accepted

Assuming $B(x,r)$ denotes the open ball about $x$ of radius $r$, this map is lower semicontinuous but need not be upper semicontinuous.

Note that if $d(x,y) < r$ then $d(x_n,y) < r$ for sufficiently large $n$, so $y \in B(x_n, r)$. This means $\liminf_{n \to \infty} 1_{B(x_n, r)}(y) \ge 1_{B(x, r)}(y)$. Now we can use Fatou's lemma to see $$\liminf_{n \to \infty} \int 1_{B(x_n, r)}\,d\mu \ge \int \liminf_{n \to \infty} 1_{B(x_n, r)}\,d\mu \ge \int 1_{B(x,r)}\,d\mu.$$ That is, $\liminf_{n \to \infty} f(x_n) \ge f(x)$.

To see it need not be upper semicontinuous, take $X = \mathbb{R}$, $\mu = \delta_0$, $x_n = 1 - 1/n$, $x=1$, $r=1$. Then $\mu(B(x_n, r)) = 1$ for all $n$ but $\mu(B(x,r)) = 0$.

In fact, $f$ is upper semicontinuous (hence continuous) at $x$ if and only if $\mu(\partial B(x,r)) = 0$.

If $B(x,r)$ was meant to be the closed ball, then $f$ is indeed upper semicontinuous. The proof is essentially the same as above.

share|improve this answer

Your Answer

 
discard

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.