En matemáticas , la codimensión es una idea geométrica básica que se aplica a subespacios en espacios vectoriales , a subvariedades en variedades y a subconjuntos adecuados de variedades algebraicas .
Para las variedades algebraicas afines y proyectivas , la codimensión es igual a la altura del ideal definitorio . Por esta razón, la altura de un ideal se suele llamar su codimensión.
El concepto dual es dimensión relativa .
La codimensión es un concepto relativo : solo se define para un objeto dentro de otro. No existe una “codimensión de un espacio vectorial (de manera aislada)”, solo la codimensión de un subespacio vectorial .
Si W es un subespacio lineal de un espacio vectorial de dimensión finita V , entonces la codimensión de W en V es la diferencia entre las dimensiones: [1]
Es el complemento de la dimensión de W, en tanto que, con la dimensión de W, suma la dimensión del espacio ambiente V:
De manera similar, si N es una subvariedad o subvariedad en M , entonces la codimensión de N en M es
Así como la dimensión de una subvariedad es la dimensión del fibrado tangente (el número de dimensiones que se pueden mover en la subvariedad), la codimensión es la dimensión del fibrado normal (el número de dimensiones que se pueden mover fuera de la subvariedad).
En términos más generales, si W es un subespacio lineal de un espacio vectorial V (posiblemente de dimensión infinita) , entonces la codimensión de W en V es la dimensión (posiblemente infinita) del espacio cociente V / W , que se conoce de manera más abstracta como el conúcleo de la inclusión. Para espacios vectoriales de dimensión finita, esto concuerda con la definición anterior.
y es dual a la dimensión relativa como la dimensión del núcleo .
Los subespacios finito-codimensionales de espacios de dimensión infinita suelen ser útiles en el estudio de espacios vectoriales topológicos .
La propiedad fundamental de la codimensión reside en su relación con la intersección : si W 1 tiene codimensión k 1 y W 2 tiene codimensión k 2 , entonces si U es su intersección con la codimensión j tenemos
De hecho, j puede tomar cualquier valor entero en este rango. Esta afirmación es más clara que la traducción en términos de dimensiones, porque el lado derecho es simplemente la suma de las codimensiones. En palabras
Esta afirmación se llama conteo de dimensiones, particularmente en la teoría de intersecciones .
En términos del espacio dual , es bastante evidente por qué las dimensiones se suman. Los subespacios pueden definirse por la desaparición de un cierto número de funcionales lineales , que si tomamos como linealmente independientes , su número es la codimensión. Por lo tanto, vemos que U se define tomando la unión de los conjuntos de funcionales lineales que definen el W i . Esa unión puede introducir algún grado de dependencia lineal : los posibles valores de j expresan esa dependencia, siendo la suma del lado derecho el caso en el que no hay dependencia. Esta definición de codimensión en términos del número de funciones necesarias para cortar un subespacio se extiende a situaciones en las que tanto el espacio ambiente como el subespacio son de dimensión infinita.
En otras palabras, que son básicas para cualquier tipo de teoría de intersecciones , estamos tomando la unión de un cierto número de restricciones . Tenemos dos fenómenos a tener en cuenta:
El primero de ellos se expresa a menudo como el principio de contar restricciones : si tenemos un número N de parámetros para ajustar (es decir, tenemos N grados de libertad ), y una restricción significa que tenemos que "consumir" un parámetro para satisfacerla, entonces la codimensión del conjunto solución es como máximo el número de restricciones. No esperamos poder encontrar una solución si la codimensión predicha, es decir, el número de restricciones independientes , excede N (en el caso del álgebra lineal, siempre hay una solución vectorial nula trivial , que, por lo tanto, se descuenta).
La segunda es una cuestión de geometría, sobre el modelo de líneas paralelas ; es algo que puede discutirse para problemas lineales mediante métodos de álgebra lineal, y para problemas no lineales en el espacio proyectivo , sobre el cuerpo de los números complejos .
La codimensión también tiene un significado claro en topología geométrica : en una variedad, la codimensión 1 es la dimensión de la desconexión topológica por una subvariedad, mientras que la codimensión 2 es la dimensión de la teoría de ramificación y nudos . De hecho, se puede decir alternativamente que la teoría de variedades de alta dimensión, que comienza en la dimensión 5 y superiores, comienza en la codimensión 3, porque las codimensiones superiores evitan el fenómeno de los nudos. Dado que la teoría de la cirugía requiere trabajar hasta la dimensión media, una vez que uno está en la dimensión 5, la dimensión media tiene una codimensión mayor que 2 y, por lo tanto, uno evita los nudos.
Esta ocurrencia no es vacía: el estudio de incrustaciones en codimensión 2 es teoría de nudos, y difícil, mientras que el estudio de incrustaciones en codimensión 3 o más se puede realizar con las herramientas de la topología geométrica de alta dimensión y, por lo tanto, es considerablemente más fácil.
