Demostrar Que Un Conjunto Es Convexo

¿Cómo probar que un conjunto es convexo? Es más sencillo de lo que parece. Primero, necesitamos entender qué significa "convexo".

Definición de Conjunto Convexo

Un conjunto es convexo si, dados dos puntos cualesquiera dentro del conjunto, el segmento de línea que los une está completamente contenido dentro del conjunto. Imagina una galleta. Si tomas dos puntos dentro de la galleta, la línea recta entre ellos también está dentro de la galleta. Eso sería un conjunto convexo.

En términos más formales: Si x e y son dos puntos pertenecientes a un conjunto C, entonces para todo t en el intervalo [0, 1], el punto tx + (1-t)y también debe pertenecer a C.

Desglosando la Definición

Vamos por partes. x e y son solo dos puntos que eliges al azar de tu conjunto. t es un número entre 0 y 1 (incluidos el 0 y el 1).

La expresión tx + (1-t)y calcula un punto entre x e y. Piensa en ello como un promedio ponderado. Cuando t es 0, estás en el punto y. Cuando t es 1, estás en el punto x. Para cualquier otro valor de t entre 0 y 1, estás en algún punto del segmento de línea entre x e y.

Lo clave es: para cualquier par de puntos x e y que elijas, todos los puntos en la línea que los une deben estar también dentro del conjunto para que este sea convexo.

Cómo Demostrar la Convexidad

Para demostrar que un conjunto C es convexo, sigue estos pasos:

1. Elige dos puntos arbitrarios: Sean x e y dos puntos pertenecientes al conjunto C.
2. Define el segmento de línea: Considera el punto tx + (1-t)y, donde t está en el intervalo [0, 1].
3. Demuestra que el segmento está en el conjunto: Debes demostrar, usando las propiedades del conjunto C, que para todo t en [0, 1], el punto tx + (1-t)y también pertenece a C. Este es el paso crucial. Aquí es donde usas la definición del conjunto C.

Ejemplos

Ejemplo 1: Una recta. Una línea recta es un conjunto convexo. No importa dónde elijas dos puntos en la línea, la línea entre ellos también está en la línea.

Ejemplo 2: Un círculo. El interior de un círculo es convexo. Si dibujas una línea entre dos puntos dentro de un círculo, la línea siempre estará dentro del círculo.

Ejemplo 3: Un conjunto no convexo. Imagina una forma de "C". Puedes encontrar dos puntos dentro de la "C" de manera que la línea que los une salga de la "C". Por lo tanto, una "C" no es un conjunto convexo.

En Resumen

La convexidad implica que no hay "huecos" o "protuberancias" internas en un conjunto. Para probar que un conjunto es convexo, debes demostrar que cualquier punto en el segmento de línea entre dos puntos cualesquiera del conjunto también pertenece al conjunto. La clave está en la manipulación algebraica y el uso de la definición del conjunto.