Takahashi minimization theorem says : Let $(X,d)$ is a complete metric space, $f:X\to \mathbb{R}\cup\{+\infty\}$ is a proper(not constantly +$\infty$) lower semi continuous function, which is bounded from below, $Z=\{x \in X: f(x)=\inf f\}$. Let for all $x \in X \setminus Z$, there exists $y\in X\setminus \{x\}$ such that $f(y)+d(x,y)\leq f(x).$ Then $Z\not= \emptyset.$

My question is that if we replace "lower pseudo-continuous" instead of "lower semi continuous" in the above theorem, whether or not the result hold?

$f$ is said to be lower pseudo-continuous on $X$, if for all $y \in X$, the set $\{x \in X : f(x) \leq f(y)\}$ would be a closed subset of $X$.


The Takahashi Theorem holds also for lower pseudo-continuous functions.

To derive a contradiction, assume that $f:X\to [0,+\infty]$ a proper lower pseudo-continuous function such that for any point $x\in X$ with $f(x)<+\infty$ there exists a point $y\in X\setminus\{x\}$ such that $f(y)\le f(x)-d(x,y)<f(x)$.

Claim. There exists a transfinite sequence of points $(x_\alpha)_{\alpha\in\omega_1}$ of the complete metric space $(X,d)$ such that for any countable ordinals $\alpha<\beta$ the following condition holds:

$(*_{\alpha,\beta})$ $\;\;d(x_\beta,x_\alpha)\le f(x_{\alpha})-f(x_\beta)\;$ and $\;f(x_\beta)<f(x_\alpha)<+\infty$.

Proof of Claim. We start an inductive constuction choosing any point $x_0\in X$ with $f(x_0)<+\infty$. Assume that for some countable ordinal $\gamma$ we have constructed points $x_\alpha$, $\alpha<\gamma$, satisfying the conditions $(*_{\alpha,\beta})$ for all $\alpha<\beta<\gamma$.

If $\gamma=\beta+1$ for some ordinal $\beta$, then by the property of $f$, there exists a point $x_\gamma\in X\setminus\{x_\beta\}$ such that $f(x_{\gamma})\le f(x_\beta)-d(x_{\gamma},x_\beta)<f(x_\beta)$. Then for any $\alpha<\gamma$ we get $$d(x_\alpha,x_\gamma)\le d(x_\alpha,x_\beta)+d(x_\beta,x_\gamma)\le f(x_\alpha)-f(x_\beta)+f(x_\beta)-f(x_\gamma)=f(x_\alpha)-f(x_\gamma)$$
and $$f(x_\gamma)<f(x_\beta)\le f(x_\alpha),$$which means that the condition $(*_{\alpha,\gamma})$ holds for any $\alpha<\gamma$.

Next, assume that the ordinal $\gamma$ is limit. Choose any strictly increasing sequence of ordinals $(\alpha_n)_{n\in\omega}$ with $\sup_{n\in\omega}\alpha_n=\gamma$. By the inductive conditions $(*_{\alpha_n,\alpha_m})$ for $n<m$, the sequence $(f(x_{\alpha_n}))_{n\in\omega}$ is decreasing and being lower bounded, is Cauchy. Then the sequnece $(x_{\alpha_n})_{n\in\omega}$ also is Cauchy (by the properties $(*_{\alpha_n,\alpha_m})$). Since the metric space $(X,d)$ is complete, the sequence $(x_{\alpha_n})_{n\in\omega}$ has a limit point $x_\gamma\in X$.

The lower pseudo-continuity of $f$ guarantees that for every $n\in\mathbb N$ the set $F_n=\{x\in X:f(x)\le f(x_{\alpha_n})\}$ is closed in $X$. The conditions $(*_{\alpha_n,\alpha_m})$ for $m\ge n$ ensure that $\{x_m\}_{m\ge n}\subset F_n$ and hence $x_\gamma\in\bigcap_{n\in\mathbb N}F_n$, which means that $f(x_\gamma)\le f(x_{\alpha_n})$ for all $n\in\mathbb N$.

It remains to check that the point $x_\gamma$ satisfies the condition $(*_{\alpha,\gamma})$ for every $\alpha<\gamma$. Since $\alpha<\gamma=\sup_{n\in\mathbb N}\alpha_n$, we can choose $n\in\mathbb N$ such that $\alpha_n>\alpha$. Then for any $m\ge n$ the condition $(*_{\alpha,\alpha_m})$ yields $$d(x_{\alpha_m},x_{\alpha})\le f(x_{\alpha})-f(x_{\alpha_m})\le f(x_{\alpha})-f(x_\gamma).$$ Passing to the limit at $m\to\infty$ we get the inequality $$d(x_\gamma,x_{\alpha})\le f(x_\alpha)-f(x_\gamma)$$which coincides with the first part of $(*_{\alpha,\gamma})$.

To see the second part, observe that $f(x_\gamma)\le f(x_{\alpha_n})<f(x_\alpha)$ by the inductive condition $(*_{\alpha,\alpha_n})$. This completes the proof of Claim.

Now the contradiction follows from the fact that $(f(x_\alpha))_{\alpha\in\omega_1}$ is a strictly decreasing transfinite sequence of real numbers. But the real line does not contain so long strictly decreasing sequences (by the first countability).


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.