CONDICIÓN NECESARIA Y SUFICIENTE

Veo que una parte importante de quien llega a este blog, lo hace
buscando en Google “Condición necesaria y suficiente”. Imagino que
buscan un ejemplo de este atributo matemático.

Una condición necesaria es aquella que ha de cumplirse siempre, para

poder afirmar el cumplimiento de otra. Si la condición necesaria no se
cumple, podemos afirmar con toda seguridad que la propiedad
condicionada a ella tampoco se da.

Ejemplo:

En R^1 : f Derivable -> f Continua (Si no continua, no derivable)

Otro ejemplo: En R^n, la existencia de derivadas parciales en todas las

direcciones del espacio es condición necesaria para que la función sea
diferenciable. Si no existe una de ellas, la función ya no es
diferenciable, pero aún existiendo todas, no podemos asegurar
directamente la diferenciabilidad de la función.

Una condición suficiente es aquella que, de cumplirse, implica

directamente el cumplimiento de otra. De no cumplirse, no podemos
afirmar nada, y debemos seguir buscando.

Ejemplo:

En R^n, si una función tiene derivadas parciales continuas, es

diferenciable. Que no sean continuas no implica que la función no sea
diferenciable, pero si lo son, sí podemos afirmarlo con seguridad.

Una condición necesaria y suficiente es, como habreis podido

imaginar, la suma de ambas.

A es condición necesaria y suficiente de B. Si se da A, entonces

podemos afirmar que se cumple B seguro. Si no se da A, entonces
podemos afirmar con toda seguridad que NO se cumplirá B.

Ejemplo:

Un ejemplo de condición necesaria y suficiente nos lo da el criterio de

Leibniz para la convergencia de series numéricas alternadas:

Si el límite cuando n tiende a infinito de an vale cero, y, cada término

es, en valor absoluto, mayor o igual al término siguiente, la serie
alternada (-1)^n·an converge.