Para cualquier funcional formula_1 que aplica funciones formula_2 definidas sobre una variedad formula_3 (nótese que el conjunto de estas funciones forma un espacio de Banach), entonces, la derivada funcional en el sentido de Gâteaux es una distribución tal que para todas las funciones de prueba (test) "f":