No reclamo ninguna experiencia aquí, pero la equivalencia parece ser bastante inmediata a partir de las definiciones.
Primero suponga que para cualquier [math] \ alpha, S_ \ alpha [/ math] es convexo. Arregle [math] x, y [/ math] y deje [math] \ alpha = {\ rm max} (f (x), f (y)) [/ math]. Por convexidad de [math] S_ \ alpha, f (ax + (1-a) y) \ leq \ alpha = {\ rm max} (f (x), f (y)) [/ math] para [math] a \ leq 0 \ leq 1. [/ math]
Ahora arregle [math] \ alpha [/ math] y suponga que [math] f (ax + (1-a) y) \ leq {\ rm max} (f (x), f (y)) [/ math] se mantiene para todos [math] a \ leq 0 \ leq 1. [/ math] Sea [math] x [/ math] y [math] y [/ math] sean elementos de [math] S_ \ alpha [/ math]. Entonces [math] f (x) \ leq \ alpha [/ math] y [math] f (y) \ leq \ alpha, [/ math] entonces [math] {\ rm max} (f (x), f ( y)) \ leq \ alpha [/ math]. Por lo tanto, [math] f (ax + (1-a) y) \ leq {\ rm max} (f (x), f (y)) \ leq \ alpha, [/ math] y [math] f (ax + (1-a) y) \ en S_ \ alpha. [/ Math] Esto significa que [math] S_ \ alpha [/ math] es convexo.
- ¿Alguien podría ser bueno en las matemáticas de la Olimpiada? ¿Qué matemáticas necesitan saber las olimpiadas?
- Con respecto a los conceptos fundamentales de la teoría de conjuntos, ¿qué significa que el axioma 'un conjunto está determinado por sus elementos' es una afirmación no trivial sobre la pertenencia?
- ¿Qué es el álgebra abstracta?
- ¿Cómo se ve la gráfica de [math] \ sqrt [x] {x} [/ math]?
- ¿Cuál es la conexión entre la escala logarítmica y de pH?