jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Adjustment in Fenchl-Moreau.

Browse Source
This commit is contained in:
Bokuan Li
2026-06-26 12:57:30 -04:00
parent 03e7899904
commit 369a1e72db
1 changed files with 2 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/fa/convex/legendre.tex
View File

@@ -221,14 +221,9 @@
E \times \real \setminus \ol{\text{Conv}}(\text{epi}(f)) \subset E \times \real \setminus \text{epi}(f)
\]
To this end, let $A = \ol{\text{Conv}}(\text{epi}(f))$ and $(x, \alpha) \in E \times \real \setminus A$. By the \hyperref[Hahn-Banach Theorem]{theorem:hahn-banach-geometric-2}, there exists $\phi \in F$ and $\mu \in \real$ such that
To this end, let $A = \ol{\text{Conv}}(\text{epi}(f))$ and $(x, \alpha) \in E \times \real \setminus A$. By the \hyperref[Hahn-Banach Theorem]{theorem:hahn-banach-geometric-2}, there exists $\phi \in F$, $\mu \in \real$, and $\alpha_0 \in (\alpha, \infty)$ such that
\[
\sup_{(y, \beta) \in A}\dpn{y, \phi}{\lambda} - \mu \beta < \dpn{x, \phi}{\lambda} - \mu \alpha
\]
Given that the inequality is strict, there exists $\alpha_0 \in (\alpha, \infty)$ such that
\[
\sup_{(y, \beta) \in A}\dpn{y, \phi}{\lambda} - \mu \beta \le \dpn{x, \phi}{\lambda} - \mu\alpha_0
\sup_{(y, \beta) \in A}\dpn{y, \phi}{\lambda} - \mu \beta \le \dpn{x, \phi}{\lambda} - \mu \alpha_0 \le \dpn{x, \phi}{\lambda} - \mu \alpha
\]
For any $(y, \beta) \in A$, $\beta$ may be arbitrarily large by \autoref{lemma:closed-convex-epigraph}, so $\mu \ge 0$.