0
$\begingroup$

My proof:

I shall use the fact that the image of a closed interval under a continuous function is a closed interval (this follows from the Extreme and Intermediate Value Theorems).

Let $c,d\in (a,b)$, $c. Then $f([c,d])=[m_1,M_1]$. Because $\lim_{x\to a^+}f(x)=+\infty$, $\exists \delta>0:aM_1$. We also have that $f([a+\delta,c])=[m_2,M_2]$. Taking $m=\min\left\{M_1,M_2\right\}$ yields that $f((a,c])=[m,+\infty)$. Similarly, $f([c,b))=[m^{\prime},+\infty)$. The proof is complete if we take the minimum of the two $m,m^{\prime}$.

Can this argument be simplified?

EDIT: We can possibly have that $a=-\infty$ or $b=+\infty$

  • 0
    A global minimum.2012-12-04

1 Answers 1

2

Define $g(x)=\min\{f(x), K\}$ for $x\in[a,b]$ where $K=f(x_0)$ for arbitrary $x_0$. Then show that:

  • if $g$ has a global minimum, $f$ has the same one;
  • $g$ is continuous.

Then $g$ is continuous on a closed interval $[a,b]$ therefore $g([a,b])=[c,K]$ and $c$ is the global minumum.


Proof working for $a,b$ being infinite: Let $K:=f(x_0)$ for arbitrary $x_0\in(a,b)$. From the definition of limit, there exists $A,B$ such that $f(x)>K$ for $x and $x>B$. Hence $\min_{x\in(a,b)} f(x)=\min_{x\in[A,B]} f(x).$

Since $f$ is continuous, the image $f([A,B])$ is closed and has a minimal element.

  • 0
    actually, you can use this argument always and completely avoid defining $g$. However, the idea is the same.2012-12-04