Convexidad


Convexidad

La convexidad de una curva o una superficie, es la zona que se asemeja al exterior de una circunferencia o una superficie esférica; es el concepto opuesto a la concavidad.

Contenido

Conjunto convexo

Definición de convexidad.

En un espacio vectorial real, se dice que una parte C es convexa si para cada par de puntos de él, el segmento que los reúne está totalmente incluido en C.

En otras palabras, en un conjunto convexo se puede ir de cualquier punto a cualquier otro en vía recta, sin salir del mismo.

Formalmente se escribe así:

\forall (A,B) \in C, [AB] \subset C

Más en detalle:problema alusivo A(siguiente :)

A

\forall (A,B) \in C, \forall t \in [0;1] , (1-t) \cdot A + t \cdot B \in C

En el caso de un conjunto no convexo, se observa que cada segmento que muestra la no convexidad ([EF] en la figura de la derecha) tiene forzosamente que atravesar por lo menos dos veces (en E´y F´) el borde \partial Y del conjunto (el borde o la frontera de un conjunto C lo constituyen los puntos del espacio en contacto a la vez con C y su complementario). Por tanto la convexidad depende esencialmente de la forma del borde del conjunto, y la definición equivale a:

\forall (A,B) \in \partial C, \forall t \in [0;1] , (1-t) \cdot A + t \cdot B \in C

Nótese que en esta fórmula, la suma de los coeficientes (1-t) y t es 1, por lo tanto el punto así definido no depende del origen del sistema de coordenadas.

Convexidad por tangentes.

En el caso de una frontera diferenciable (sin puntos angulosos) se pueden considerar sus tangentes, y resulta bastante intuitivo que los convexos se caracterizan por hallarse enteramente del mismo lado de cada tangente; es decir que las tangentes nunca atraviesan C (como en el punto A de la figura). Esta propiedad sigue cierta en presencia de puntos angulosos, como en el caso de los polígonos.

Se establece la equivalencia de estas dos caracterizaciones considerando que una tangente (en A por ejemplo) es la posición límite de las cuerdas [AA'] con A' acercándose indefinidamente de A, en el borde de C. El segmento [AA´] está en C mientras que el esto de la recta (AA') está fuera (por el absurdo: si se encuentra un punto B de C en la recta (AA´), fuera de [AA'], entonces el segmento [AB], exterior a C, contradice su convexidad).

Envoltura convexa de un conjunto

Envolturas convexas de sendos conjuntos.

Se llama envoltura convexa de un conjunto dado C al menor (por inclusión) conjunto convexo que contiene a C (es fácil ver que siempre existe). En la figura, la envoltura convexa de la forma azul oscuro es todo el dominio azul (es decir la unión del conjunto original azul oscuro con el dominio azul claro), y la envoltura convexa de los cinco puntos verde oscuro es el polígono verde claro (incluyendo los puntos, por supuesto).

Se establece con facilidad que la envoltura convexa es el conjunto de todos los baricentros positivos (es decir con coeficientes todos positivos) de los puntos del conjunto inicial.

En la figura, C es un baricentro positivo de A y B porque está en el segmento [AB], y G es otro tanto de D,E y F, porque se encuentra en el triángulo DEF.

Función convexa

Función convexa cualquiera.

Se dice que una función real, definida sobre un intervalo es convexa si el dominio del plano situado por encima de su curva (en gris en la figura) lo es.

Sin sorpresa, las consideraciones anteriores se aplican: Sólo importa la frontera del dominio, es decir la curva de ecuación y = f(x). La convexidad se expresa así:

Para cualquier par (x, x') en el intervalo I, y cualquier t en [0;1]:
f(t·x+(1-t)·x') ≤ t·f(x) + (1-t)·f(x´).

Ejemplos: la hipérbola y =  1 \over x (con x > 0), las parábolas y = ax2 + bx + c, con a ≤ 0 y x real variable, y la función exponencial y = ex.

Desigualdad de la convexidad.

Si la función f es derivable entonces la convexidad equivale a la condición siguiente: f'(x) \le \frac {f(x') - f(x)} {x' - x} \le f'(x') que significa que la pendiente de la cuerda entre dos puntos x y x' está contenida entre los valores extremos de la derivada. Esto equivale al que la derivada sea creciente, en todo el dominio de f '.

Si f es dos veces derivable, lo anterior significa que la derivada segunda es positiva: f"(x) ≥ 0.

Es fácil verificar que los tres ejemplos anteriores son convexos: \left ( \frac 1 x \right ) ^{\prime \prime} = \frac 2 {x^3} , positivo cuando x > 0; (ax2 + bx + c)" = 2a > 0; y (ex)" = ex, siempre positivo.

Diferencias entre convexidad y concavidad

Concavidad es un significado opuesto a convexidad, siendo usual confundir el nombre entre uno y otro. Una regla nemotécnica sencilla es:

"Cóncavo es bravo, su v y su barriga; convexo es obeso, y su b sale por eso."

Véase también

Referencias


Wikimedia foundation. 2010.

Sinónimos:

Antónimos:

Mira otros diccionarios:

  • convexidad — (Del lat. convexĭtas, ātis). 1. f. Cualidad de convexo. 2. Parte o sitio convexo …   Diccionario de la lengua española

  • Convexidad — ► sustantivo femenino 1 Característica de lo que es convexo. 2 Forma convexa: ■ recoger la pelota en la convexidad de la mano. * * * convexidad f. Cualidad de convexo. ⊚ Forma o parte convexa: ‘La convexidad de la mano’. ⇒ *Bulto, *saliente. * *… …   Enciclopedia Universal

  • convexidad — {{#}}{{LM C10360}}{{〓}} {{SynC10608}} {{[}}convexidad{{]}} ‹con·ve·xi·dad› {{《}}▍ s.f.{{》}} Curvatura hacia afuera en la parte central de una línea o de una superficie curvas con respecto del que las mira. {{#}}{{LM SynC10608}}{{〓}} {{CLAVE… …   Diccionario de uso del español actual con sinónimos y antónimos

  • convexidad — f Efecto que se produce por el pandeo de un miembro o elemento. Tambiйn llamado bombeo, comba …   Diccionario de Construcción y Arquitectur

  • convexidad — sustantivo femenino barriga, comba, curvatura*. ≠ cóncavo. * * * Sinónimos: ■ curvatura, bombeo, barriga, pandeo Antónimos: ■ …   Diccionario de sinónimos y antónimos

  • Convexidad logarítmica — Esta página o sección está siendo traducida del idioma inglés a partir del artículo Logarithmically convex function, razón por la cual puede haber lagunas de contenidos, errores sintácticos o escritos sin traducir. Puedes colaborar con… …   Wikipedia Español

  • Geometría convexa — La geometría convexa es la rama de la geometría que estudia sistemas convexos, principalmente en espacio euclidiano. Los sistemas convexos ocurren naturalmente en muchas áreas de la matemática: la geometría de cómputo, el análisis convexo, la… …   Wikipedia Español

  • Columna vertebral — Dibujo representativo de los segmentos de la columna vertebral, vista lateral izquierda: región cervical (naranja); región dorsal (índigo); región lumbar (amarillo); región sacra (verde); región coccígea (violeta). Th#: vértebra dorsal. Os Sacrum …   Wikipedia Español

  • Función convexa — en un intervalo [x,y]. En matemática, una función real f definida en un intervalo (o en cualquier subconjunto convexo de algún espacio vectorial) se llama función convexa o cóncava hacia arriba, si para dos puntos cualquiera x e y es su dominio C …   Wikipedia Español

  • Concavidad — En geometría, la concavidad de una curva o de una superficie es la parte que se asemeja a la zona interior de una circunferencia o de una esfera.[1] Es el concepto complementario al de convexidad. Contenido 1 Ángulos cóncavos …   Wikipedia Español