Supongamos $f : [0, 1]^\alpha \to \mathbb{R}$ es convexa. De lo anterior se sigue que $f$ tiene un límite inferior?
He demostrado que esto tiene para finito $α$. Mi pregunta es si también tiene infinitas $α$.
En el caso finito, puedo demostrarlo por inducción. En primer lugar, nos muestran un intervalo de $[0, 1]$. (Para convexo $f : [0, 1] \to \mathbb{R}$, $x ≥ \frac{1}{2}$ tenemos $f(x) ≥ 2f(\frac{1}{2}) - f(0)$, y una similar obligado tiene por $x ≤ \frac{1}{2}$.)
Siguiente, supongamos que $f : [0, 1]^{n + 1} \to \mathbb{R}$ es convexa. A continuación, para cada una de las $x ∈ [0, 1]$, vamos a $f_x$ ser la función que se lleva a $y ∈ [0, 1]^n$ a $f(x, y_1, …, y_n)$. Luego de cada función $f_x$ es convexa, y por lo tanto por la hipótesis inductiva es limitado. Deje $b(x)$ ser el mayor límite inferior de $f_x$. A continuación, $b : [0, 1] \to \mathbb{R}$ también es convexo. (Para cualquier $ε > 0$hay $y$ e $y'$ tal que $f_x(y) < b(x) + \frac{ε}{2}$ e $f_{x'}(y') < b(x') + \frac{ε}{2}$. Así \begin{align} b(λx + (1-λ)x') & ≤ f(λx + (1-λ)x', y) \\ & ≤ λf(x, y) + (1 - λ)f(x', y') \\ & < λb(x) + (1 - λ)b(x') + ε \end{align} Por lo $b(λx + (1-λ)x') ≤ λb(x) + (1 - λ)b(x')$.) Así que por la primera parte, $b$ también tiene un límite inferior, y este debe ser un límite inferior para $f$.
Parece un argumento similar usando inducción transfinita podría funcionar en general, pero yo no sé cómo el paso del límite.