I'm trying to determine the conditions on $f : \mathbb{R}^n_{\ge 0} \to \mathbb{R^n}$ under which $\{ x \ge 0 | f(x) \le 0 \}$ is path-connected. We can assume that $f$ is continuous and concave.

Any advice?

  • $\begingroup$ Is the co-domain of $f$ really meant to be $\mathbb{R}^n$ or that was a typo for $\mathbb{R}$? In the former case, what do you mean by concave? Note that a sublevel set of a (real valued) concave function is the complement of a convex set, so it is path-connected -at least for n≥2. $\endgroup$ – Pietro Majer Oct 8 '12 at 19:13
  • $\begingroup$ Yes, the co-domain of $f$ is meant to be $\mathbb{R}^n$. By concave, I mean that it is concave on each index: for any $\lambda \in [0, 1]$, $f(\lambda x + (1 - \lambda)y) \ge \lambda f(x) + (1 - \lambda) f(y)$ (the inequality is pointwise). I think the sublevel set is only necessarily path-connected if the domain of $f$ is $\mathbb{R}^n$, not $\mathbb{R}^n_{\ge 0}$. $\endgroup$ – user21816 Oct 8 '12 at 19:21
  • 2
    $\begingroup$ A bad example is $f(x)=-\langle x,v\rangle^2$, in this case the set is not connected even in $\mathbb R^n$. $\endgroup$ – Anton Petrunin Oct 8 '12 at 19:56

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Browse other questions tagged or ask your own question.