Una función $f: X \rightarrow \mathbb{R}$ se dice que es convexo en el punto medio si para todo $x, y \in X$ tenemos $$f(\frac{x + y}{2}) \leq \frac{f(x) + f(y)}{2}. $$ ¿Puede dar un ejemplo de una función que sea convexa en el punto medio pero no convexa?
De hecho, se sabe que cualquier contraejemplo no puede ser medible y que la existencia de tal función no puede demostrarse en ZF. (Ver las preguntas enlazadas.) Su ejemplo no funciona. Basta con considerar $x=2+\sqrt2$ y $y=-\sqrt2$ . (O cualesquiera otros dos números irracionales tales que su media sea un número racional distinto de cero).
1 votos
Esta función tendría que ser no medible y, por tanto, podría ser un poco difícil de "escribir".
0 votos
@PrahladVaidyanathan ¿Por qué no se puede medir?
0 votos
Es un teorema de alguien (que no recuerdo - pero sospecho que es bastante profundo) que una función convexa de punto medio medible está obligada a ser continua - y por lo tanto convexa (Una función convexa de punto medio es siempre racionalmente convexa)
0 votos
Os agradezco mucho las respuestas.
4 votos
Esta parece ser la misma pregunta que este . También añadiré el enlace a este post relacionado . Otros preguntas enlazadas allí también puede ser de interés.