Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If $f(t,u)$ is continuous wrt. $t$ (and $u$), then is $$\sup_{u \in H^1(\Omega)} f(t,u)$$ continuous wrt. $t$?

I am unable to prove this. Help appreciated.

share|cite|improve this question
What is $H^1(\Omega)$? Forgive my lack of knowledge of functional analysis. – akkkk Dec 22 '12 at 16:53
Generally, all we know is that the supremum of continuous functions is lower semicontinuous. Of course, that has nothing to do with $H^1(\Omega)$. – GEdgar Dec 22 '12 at 17:00
Well, it has almost nothing to do with $H^1(\Omega)$. We need that $H^1(\Omega)$ isn't compact. – Andreas Blass Dec 22 '12 at 17:14
@Lemon: I agree with GEdgar. Take the sequence $$f_n(x)= \begin{cases} 0 & x\le 0 \\ nx & 0< x < \frac{1}{n} \\ 1 & \frac{1}{n} \le x \end{cases},$$ where $n \in \mathbb{N}$ and $x\in \mathbb{R}$. If you let $$f(x)=\sup_{n \in \mathbb{N}}f_n(x)$$ you get the discontinuous function $$f(x)=\begin{cases} 1 & x \le 0 \\ 0 & 0< x\end{cases}$$ Here you took the supremum with respect to $n$ and obtained a discontinuous function of $x$. – Giuseppe Negro Dec 22 '12 at 19:07
@GiuseppeNegro Thanks – Lemon Dec 23 '12 at 13:17
up vote 1 down vote accepted

Let $S= (0,\infty) \times (0,\infty)$. If $f\colon S\to\mathbb R$ is defined by $$ f(t,u) = \begin{cases} 0, & \text{if } t\le 1, \\ (t-1)u, & \text{if } t>1 \text{ and } (t-1)u\le 1, \\ 1, & \text{if } t>1 \text{ and } (t-1)u>1, \end{cases} $$ then $$ \sup_{u\in (0,\infty)} f(t,u) = \begin{cases} 0, & \text{if } t\le 1, \\ 1, & \text{if } t>1 \end{cases} $$ is not continuous.

share|cite|improve this answer
Thanks but your $f$ is not continuous at $t=1$ I believe. – Lemon Dec 22 '12 at 18:58
I think it is continuous, actually. The third case of the definition doesn't come in to play infinitesimally to the right of $t=1$; it's always the second case of the definition that ends up being relevant. – Greg Martin Dec 23 '12 at 1:21

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.