ThmDex – An index of mathematical definitions, results, and conjectures.

Result R5162 on D5606: Subconvex real function

Minimizer need not be unique for a subconvex real function

Formulation 0

Let $f : \mathbb{R} \to \mathbb{R}$ be a D4364: Real function such that

(i)	\begin{equation} f(x) = 0 \end{equation}

Then

(1)	$f$ is a D5606: Subconvex real function
(2)	\begin{equation} \underset{x \in \mathbb{R}}{\text{arg min}} \, f(x) = \mathbb{R} \end{equation}

Also known as

Counterexample: subconvex real function which has uncountably many minimizers

Proofs

Proof 0

Let $f : \mathbb{R} \to \mathbb{R}$ be a D4364: Real function such that

(i)	\begin{equation} f(x) = 0 \end{equation}

Clear. $\square$