1

Assume that $\Sigma^2$ is a closed surface in $\mathbb{R}^3$ defined by the equation $\rho(x)=1$, where $\rho$ is some smooth function so that $\nabla \rho\neq 0$. Let $A=H(\rho)$ be the Hessian matrix of $\rho$. My question arises, whether $\left<Ax,x\right>>0$ for $x\neq 0$ implies that the domain $\Omega$ bounded by $\Sigma^2$ is convex?

Zach Teitler
  • 6,197
Lira
  • 719

1 Answers1

2

Yes. your condition implies that the surface is locally convex, and the fact that locally convex implies globally convex is a theorem of Tietze.

Igor Rivin
  • 95,560