3
$\begingroup$

Let $F(v)=\inf\{x: f(x)\leq v\}$, where $f(x)$ is a nonincreasing, right continuous function.

I have already prove that $F(v)$ is nonincreasing also. However, how to prove this is right continuous?

Right coninuous means if $v_m\to v,\ v_m\geq v$, then $F(v_m)\to F(v)$.

This is what I tried:

Pick a sequence {$v_m$} decreasing to $v$. We must have $F(v_m)$ monotone increasing, bounded by $F(v)$ So $F(v_m)$ converge to some number, say $F(\hat v)$. Now we just need to prove $F(\hat v)\geq F(v)$. If this is not the case, i.e.$F(\hat v). And I am stucked at here.

Any suggestions?

  • 0
    What happens if you compare $F(\nu_m)$ directly with $F(\nu)$? You will naturally have to invoke the right-continuity of $f(x)$. As well, do not assume that convergence is "to some number, say $F(\tilde{\nu})$ (your hope is that $\tilde{v}=v$). Just assume the limit is some number $L$ and show that $L=F(\nu)$2012-12-19

1 Answers 1

1

You know that $\langle F(v_m):m\in\Bbb N\rangle$ converges to some number $y$, but you don’t know that $y$ is in the range of $F$, so you don’t know that it can be written as $F(\hat v)$ for some $\hat v\in\Bbb R$. (Of course you hope to show that $y=F(v)$.)

HINT: Suppose that $y; clearly $f(y)>v$, so there is an $m\in\Bbb N$ such that $v, and hence $y\notin\{x:f(x)\le v_m\}$. Let $A=\{x:f(x)\le v_m\}$. First note that if $u>x\in A$, then $u\in A$, so $y for all $x\in A$. Now use the right-continuity of $f$ to show that $F(v_m)=\inf A\in A$, and conclude that $y, which is a contradiction.