Dependencia funcional

El concepto de dependencia funcional aparece en varios contextos de la matemática y la lógica y se refiere a que determinados entes matemáticos pueden expresarse como funciones matemáticas de otros entes.

Teorema de dependencia funcional

El concepto de dependencia funcional es una generalización del concepto de dependencia lineal. Se dice que un conjunto de funciones es funcionalmente dependiente cuando existe una relación funcional entre ellas, o alternativamente, cuando alguna de las funciones del conjunto es expresable como función de las otras funciones del conjunto.

Más formalmente, si se tiene un conjunto abierto y una colección de funciones , con , se dice que dicho conjunto es funcionalmente dependiente si existe una función tal que:[1]

  1. Para cada conjunto abierto existe , con .
  2. para todo .

En caso contrario se dice que la familia es funcionalmente independiente. La condición (1) anterior expresa que la función F no puede ser idénticamente nula en ningún abierto de . La relación (2) expresa la existencia de una relación constante entre las funciones de la colección.

El teorema de dependencia funcional establece que una condición necesaria es que si las funciones son de clase entonces todos los menores de orden m de la matriz jacobiana son idénticamente nulos, o equivalentemente que dicha matriz tiene un rango inferior a m.

Una aplicación importante de este teorema es que da condiciones bajo las cuales una función, que en principio depende de n parámetros, puede expresarse como función de un conjunto de variables más pequeño.

Other Languages