¿Cómo es cada conjunto afín convexo?

Supongo que le resulta sorprendente porque parece que la condición de convexidad es más fuerte, y la implicación inversa debería haber sido cierta. Entonces, quizás se esté preguntando ¿cómo puede algo que satisface condiciones más simples (conjuntos afines) en realidad resultar para satisfacer algo que involucra una condición más fuerte (convexidad)? Si de hecho este es tu dilema, intentaré arrojar luz sobre esto.

Expresando sus ecuaciones en palabras, un conjunto afín requiere que cada combinación afín de sus puntos (pesos que se suman a la unidad) se encuentre en el conjunto, mientras que un conjunto convexo requiere que cada combinación convexa de sus puntos (pesos no negativos que se suman a la unidad) se encuentre en el conjunto conjunto.

Ahora, una combinación afín es una condición más simple que la combinación convexa y, como consecuencia, el conjunto de todas las combinaciones convexas de una colección de puntos (que es una condición más fuerte) es un subconjunto estricto de todas las combinaciones afines de la misma colección.

Por lo tanto, si necesita que todas las combinaciones afines de puntos pertenezcan al conjunto, también requiere que todas las combinaciones convexas pertenezcan al conjunto. Por lo tanto, los conjuntos afines son convexos.

PD: El conjunto de todas las combinaciones afines de dos puntos es la línea que une los dos puntos y el conjunto de todas las combinaciones convexas de dos puntos es el segmento de línea que une los dos puntos. Esta es la base de la intuición geométrica proporcionada por todas las otras respuestas. Quería proporcionar una visión complementaria al adivinar la perspectiva que puede estar buscando.

Muy intuitivamente, un conjunto afín contiene una línea a través de dos puntos distintos en el conjunto. Esto significa que desde un punto de vista puramente geométrico, los conjuntos afines son líneas, planos, planos 3D … que claramente también son conjuntos convexos. Para una explicación matemática ordenada, consulte las notas de Boyd http://www.stanford.edu/~boyd/

Un conjunto afín contiene la línea a través de dos puntos cualesquiera en el conjunto. Un conjunto convexo contiene el segmento de línea entre dos puntos cualquiera en el conjunto. Claramente, si un conjunto contiene la línea a través de un par de puntos, entonces también contiene el segmento de línea entre los puntos.

En lugar de discutir líneas y conjuntos, examinemos los conceptos básicos del problema en cuestión. La forma en que ha definido el problema realmente ayuda enormemente. Lo que falta es que las definiciones de afín y convexo son para todos w y para todos w de modo que [math] w_i> 0 [/ math] para todo i. Eso significa que para que un conjunto sea afín y no convexo, se debe elegir w de los reales positivos pero no pertenecer a los reales. (ciertamente no es riguroso en notación) QED.