Dependencia Funcional Ente Variables

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.

Sean e atributos (o conjunto de atributos) de una relación . Se dice que depende funcionalmente de (se denota por ) si cada valor de tiene asociado un solo valor de . En esta relación, a se le denomina determinante (de ). Se dice que el atributo es completamente dependiente de si depende funcionalmente de , y no depende de ningún subconjunto propio de

...