Ver el código de «1-forma»

En [[álgebra lineal]], una '''1-forma''' o '''uno-forma''' o '''covector''' (también llamado '''función lineal'''), es una aplicación o [[transformación lineal]] de un [[espacio vectorial]] sobre su [[cuerpo (matemática)|cuerpo]] de escalares, es decir, esta transformación aplica vectores en escalares. Intuitivamente es un objeto matemático definido sobre un cierto dominio <math>\Omega \subset \R^n</math> (o de una [[variedad diferenciable]]) que "operado" con un [[campo vectorial]] da lugar un [[campo escalar]] o función definida sobre el mismo dominio. Es decir:
{{ecuación|
<math>T: \mbox{Vec}_n(\Omega) \to \R \qquad
\mbox{Vec}_n(\Omega) = \mathcal{C}^{(k)} (\Omega,\R^n)</math>
||left}}
Donde <math>\mbox{Vec}_n(\Omega)</math> denota el conjunto de funciones vectoriales con derivadas parciales continuas hasta orden ''n'' definidas sobre <math>\Omega</math>, es decir, es un conjunto formado por campos vectoriales. Una 1-forma o forma uno es un caso particular de [[forma diferencial|''n''-forma]].

== Ejemplos de 1-formas en física ==
En general, si ''V'' es un espacio vectorial sobre un cuerpo ''k'', entonces un funcional lineal &fnof; es una función de ''V'' a ''k'' que es lineal:
:<math>f(\vec{v}+\vec{w}) = f(\vec{v})+f(\vec{w})</math> para todo <math>\vec{v}, \vec{w}\in V</math>
:<math>f(a\vec{v}) = af(\vec{v})</math> para todo <math>\vec{v}\in V, a\in k</math>

Al conjunto de todas las transformaciones lineales de un espacio vectorial sobre su cuerpo, Hom<sub>''k''</sub>(''V'',''k''), se le llama [[espacio dual]] y se le denota generalmente por V* o V′.

*En [[mecánica newtoniana]] diversas magnitudes funcionan como 1-formas. Por ejemplo, el  '''"trabajo infinitesimal"''' puede ser formalizado adecuadamente como una 1-forma definida a lo largo de la trayectoria de una partícula:
{{ecuación|
<math>\delta W = \mathbf{F}\cdot d\mathbf{r} = F_x dx + F_y dy + F_z dz</math>
||left}}
Es una 1-forma, que aplicada a un vector velocidad da la [[Potencia (física)|potencia]] realizada por la fuerza:<br />
{{ecuación|
<math> P = \langle \mathbf{F}, \mathbf{v}\rangle = F_x v_x + F_y v_y + F_z v_z</math>
||left}}
La integral a lo largo del tiempo de la potencia, que es un escalar, da el trabajo finito realizado por la fuerza. Cuando la 1-forma trabajo infinitesimal debido a la naturaleza de las fuerzas es una diferencial exacta, se dice que el conjunto de fuerzas forma un [[campo conservativo]].

*En termodinámica el llamado impropiamente '''"calor infinitesimal"''' es otra 1-forma, normalmente no exacta, que es expresable en diferentes tipos de coordenadas:
{{ecuación|
<math>\delta q = T(S,V)\ dS \qquad \delta q = C_V(V,T) dT \qquad \delta q = C_p(p,T) dT</math>
||left}}
Donde <math>C_v, C_p</math> son las [[capacidad calorífica|capacidades caloríficas]] bajo volumen y bajo presión constantes respectivamente y <math>dS, dT</math> son 1-formas exactas asociadas a las variables de estado, entropía y temperatura respectivamente.
Un factor integrante es una función multiplicativa que convierte a una 1-forma no exacta en exacta. Así un factor integrante para la magnitud "calor infinitesimal" es el inverso de la temperatura, en ese caso la 1-forma resultante puede derivarse de la [[variable de estado]] llamada [[entropía]].
*En [[Electrodinámica#Electrodinámica clásica|electrodinámica clásica]] el [[Potencial vectorial electromagnético|potencial vector]] puede ser considerado una 1-forma sobre un [[espacio-tiempo]] de [[cuarta dimensión|cuatro dimensiones]] del que se puede derivar todas las componentes del campo electromagnético. Esta 1-forma nunca es exacta a menos que el campo electromagnético sea nulo.
* Un [[campo vectorial]] que derive de un potencial admite una representación como 1-forma exacta.

== Ejemplos de 1-formas en matemáticas ==
* La [[diferencial total]] de una función de varias variables puede ser tratada rigurosamente como una 1-forma. Así si se tiene una función de varias variables ''f''(''x,y,z'') diferenciable, su diferencial total es una [[forma diferencial#Algunas definiciones formales|1-forma exacta]]:
{{ecuación|
<math>df = \frac{\partial f}{\partial x} dx + \frac{\partial f}{\partial y} dy +
\frac{\partial f}{\partial z} dz</math>
||left}}
Por ser la anterior una 1-forma exacta, es también una [[forma diferencial#Algunas definiciones formales|1-forma cerrada]], lo cual implica que:
{{ecuación|
<math>\frac{\partial^2 f}{\partial x_i \partial x_j} - \frac{\partial^2 f}{\partial x_j \partial x_i} = 0</math>
||left}}

== Integrabilidad de 1-formas: diferenciales exactas ==
Una 1-forma '''F''', se dice [[forma diferencial#Algunas definiciones formales|exacta]] si existe una función ''g'' tal que:
{{ecuación|
<math>\left[\mathbf{F} = \sum_i F_i\ dx^i \quad \mbox{exacta}\right] \quad \Longleftrightarrow
\quad F_i = \frac{\partial g}{\partial x_i}
</math>
||left}}
Se puede probar que una [[condición necesaria y suficiente]] para que una 1-forma sea exacta, alrededor de algún punto, de acuerdo con el '''teorema de Poincaré''' es que exista algún punto en el que se cumpla que:
{{ecuación|
<math>\frac{\partial F_i}{\partial x_j} = \frac{\partial F_j}{\partial x_i}</math>
||left}}
Cuando la condición anterior se satisface en algún punto entonces la 1-forma es [[localmente]] exacta en ese punto, es decir, existe una pequeña región alrededor del punto en el que la 1-forma es exacta.

=== Diferenciales inexactas en física ===
Obviamente no toda 1-forma es exacta, un ejemplo físico interesante lo constituye el calor o el [[Trabajo (física)|trabajo]] que aparecen en la [[forma diferencial]] de la energía interna tal como suele usarse para formular, el [[primer principio de la termodinámica]]:
{{ecuación|
<math>dU = \delta Q + \delta W \qquad \delta Q := T(S,V)\ dS \qquad \delta W := -p(S,V)\ dV</math>
||left}}
Obviamente esta diferencial de la [[energía interna]] sí es una 1-forma exacta puesto que la energía interna es una [[variable de estado]]. Sin embargo, ni el calor, ni el trabajo son 1-formas exactas. Para el calor tenemos:
{{ecuación|
<math>\delta Q = T(S,V)\ dS + 0\ dV \quad \land \quad \left(\frac{\partial T}{\partial V}\right)_S \ne 0
\quad \Rightarrow \quad \lnot \exists \bar{Q}(S,V): \left[ \left(\frac{\partial \bar{Q}}{\partial S}\right)_V= T \land \left(\frac{\partial \bar{Q}}{\partial V}\right)_S = 0 \right]</math>
||left}}
En la anterior ecuación si la derivada de la temperatura respecto al volumen fuera nula significaría que el cuerpo tiene una tasa de dilatación adiabática infinita, lo cual es absurdo. Para el trabajo tenemos que por las [[relaciones de Maxwell]], el trabajo no es una 1-forma exacta a menos que el [[coeficiente de dilatación adiabática]] (α''<sub>S</sub>'') sea cero, ya que el trabajo solo puede ser una diferencial exacta en un sistema termodinámico si y solo si:
{{ecuación|
<math>\left(\frac{\partial p}{\partial S}\right)_V =
-\left(\frac{\partial T}{\partial V}\right)_S = -\frac{1}{V\alpha_S}</math>
||left}}

== Véase también ==
* [[forma diferencial|''n''-forma]]
* [[Funcional lineal positiva]]

{{Control de autoridades}}
[[Categoría:Análisis matemático]]
[[Categoría:Geometría diferencial]]
[[Categoría:Física matemática]]
[[Categoría:Álgebra lineal]]
[[Categoría:Funciones]]