Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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

Suppose $ x^*$ is a local minimiser of $f$ over $\Omega$ , $\Omega \subset \Omega ' $, $x^*$ is interior point, how to prove that $x^*$ is also local minimiser over $\Omega '$. It looks obvious, i try to show that the neighbourhood of $ x^*$ is same over $\Omega$ as it is over $\Omega '$.

share|cite|improve this question

migrated from Nov 3 '12 at 17:35

This question came from our site for users of Mathematica.

$x^*$ is an interior point of $\Omega$? – littleO Nov 3 '12 at 17:45
up vote 0 down vote accepted

$x^*$ is a local minimizer on $\Omega$ iff there exists an open set $U$ such that $f(x)\geq f(x^*)$ for all $x \in U\cap \Omega$.

Since $x^* \in \Omega^\circ$, the interior of $\Omega$, this shows that we can take the open set $U$ to be contained in $\Omega$, ie, $U \subset \Omega$. Since $\Omega\subset \Omega'$, we have $f(x)\geq f(x^*)$ for all $x \in U\cap \Omega'= U.$ Hence $x^*$ is a local minimizer of $f$ on $\Omega'$.

To see a trivial example of why $x^*$ being in the interior matters, take $f(x) = x^2$. Then if $\Omega = [1,\infty)$, you see that $x^* = 1$ is a local minimizer on $\Omega$, but not on $\Omega' = \mathbb{R}$.

share|cite|improve this answer

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.