Por medio de un conjunto de propiedades se caracteriza una amplia familia de funciones que pueden emplearse como penalidad para la resolucion numerica de un problema de programacion matematica. A partir de ellas se construye un algoritmo de penalizaciones demostrando su convergencia a un punto factible optimo. Se estudia la situacion de los minimos sin restricciones respecto de la region factible, la monotonia de la sucesion de valores de la funcion auxiliar y se dan varias cotas de convergencia. Una modificacion del termino de penalidad convierte a la funcion objetivo penalizada en un tipo de lagrangiano aumentado con propiedades similares a las del lagrangiano clasico, de las cuales pueden extraerse nuevas tecnicas algoritmicas conocidas generalmente como metodos de los multiplicatores.