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 $u,u_k \in C^{0}(K)$ where $K \subset \mathbb{R}^{n}$ is a compact set. Assume that $u_k \rightarrow u$ uniformly. Is these hypotheses sufficient to guarantee that \begin{equation} \mbox{med}(\{u_k>0\}) \rightarrow \mbox{med}(\{u>0\}) \end{equation} or \begin{equation} \mbox{med}(\{u_k \ge0\}) \rightarrow \mbox{med}(\{u \ge 0\})? \end{equation}

share|improve this question
    
What is the definition of $\mbox{med}(\{u>0\})$? –  Sasha Aug 21 '12 at 19:51
    
This is the lebesgue measure. –  user29999 Aug 21 '12 at 19:53
    
What is the difference between the two lines separated by 'or'? –  copper.hat Aug 21 '12 at 19:53
4  
Also, out of curiosity, where does this name for Lebesgue measure come from? I've seen many ways to denote it, but this is a first. –  tomasz Aug 21 '12 at 19:54
    
Sorry I am going to correct. –  user29999 Aug 21 '12 at 19:55

2 Answers 2

up vote 2 down vote accepted

This is not true. Let $K=[-1,1]$ and $$u_k(x)=\begin{cases} \frac{1}{k} &\text{if } x\geq \frac12\\ \frac{2x}{k} &\text{if } \frac{-1}{2}<x<\frac12\\ \frac{-1}{k} &\text{if } x\leq \frac{-1}{2}\end{cases}$$ and note that $u_k\to 0$. We have $\mathrm{med}(\{u_k>0\})=1$ for all $k$ yet $\mathrm{med}(\{u>0\})=0$, and $\mathrm{med}(\{u_k\geq 0\})=1$ for all $k$ yet $\mathrm{med}(\{u\geq 0\})=2$.

share|improve this answer

It is not true under the given hypotheses.

Take $u_k(x) = \frac{1}{k} \max(0, \frac{1}{2}-|x-\frac{1}{2}|)$. Clearly $u_k(x) \to 0$ for all $x$, so $u = 0$. Then $m\{x | u(x) > 0 \} = 0$, whereas $m\{x | u_k(x) > 0 \} = 1$.

Furthermore, by considering $v_k = -u_k, v=-u$ instead, we have $m\{x | v(x) \geq 0 \} = 1$, whereas $m\{x | v_k(x) \geq 0 \} = 0$.

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.