Definition:Local Minimum in Set of Reals

From ProofWiki
Jump to navigation Jump to search

Definition

Let $X$ be a subset of $\R$, the set of all real numbers.

Let $x \in X$.

Then $x$ is local minimum in set $X$ if and only if:

$\exists y \in \R: y < x \land \openint y x \cap X = \O$


Sources