0
$\begingroup$

I am trying to find a counterexample to the products of two functions which are lower semicontinous at $a$. So let those functions be $g_1,g_2$

Does $g_1 = -1$ and $g_2 = 1$ for $x\neq a$ and $0$ when $x=a$

  • 0
    $g_1(x)\times g_2(x) = g_1(x)$ so the product has the same properties as one of the original functions2012-12-10
  • 0
    But at $x = a$, $0 \times -1 = 0$ no?2012-12-10
  • 0
    It seems your statement is ambiguous about the value of $g_1(a)$. In any case $g_1(x)\times g_2(x) = -g_2(x)$ so the product still has the same continuity properties as one of the original functions2012-12-10
  • 0
    No $g_1 = -1 \forall x$, it's a horizontal line. and $g_2 = 1$ with a hole at $x = a$2012-12-10

1 Answers 1

1

Take $g_1(x) = -1$, $g_2 = 1_{(0,\infty)}$. Both, are lsc., but the product $f(x) = -1_{(0,\infty)}(x)$ is not lsc.

$f(\frac{1}{n})=-1$ for all $n\in \mathbb{N}$, but $f(0) = 0$, so $\liminf_{x \to 0}f(x) = -1 < 0$, or alternatively, the set $\{x| f(x) > -1\} = (-\infty,0]$ is not open.

  • 0
    For $g_2$ what happened to the other intervals? I don't see what's wrong with my example2012-12-10
  • 0
    Your example is fine too, in your case, $g_2 = 1_{\mathbb{R}\setminus \{a\}}$, and the same reasoning as in my example (replacing $0$ by $a$) shows that the product is not lsc.2012-12-10
  • 0
    Sorry, but do you mind clarifying what Henry was saying then?2012-12-10
  • 0
    Henry was incorrect. $g_2$ (your's or mine) is lsc., but $-g_2$ is not; they do not have the same continuity properties.2012-12-10