Mostra la font per a Covector

S'anomenen '''covectors''' o '''1-forma''' les [[forma lineal|formes lineals]] d'un [[espai vectorial]]. Els covectors són, per tant, els elements de l'[[espai dual]] d'un espai vectorial.

Intuïtivament un covector és un objecte matemàtic definit sobre un cert domini <math> \Omega \subset \R^n </math> (o d'una [[varietat diferenciable]]) que "operat" amb un [[camp vectorial]] dona lloc un [[camp escalar]] o funció definida sobre el mateix domini. És a dir:
{{Equació|
<math> T: \mbox{Vec}_n (\Omega) \to \R \qquad
\mbox{Vec}_n (\Omega) = \mathcal{C}^{(k)}(\Omega, \R^n) </math>
||Left}}
On <math> \mbox{Vec}_n (\Omega) </math> denota el conjunt de funcions vectorials amb derivades parcials contínues fins a ordre '' k '' definides sobre <math> \Omega </math>, és a dir, és un conjunt format per camps vectorials. Una 1-forma o manera un és un cas particular d'[[forma diferencial|'' n ''-forma]].

== Exemples d'1-formes en física ==
* En [[mecànica newtoniana]] diverses magnituds funcionen com 1-formes. Per exemple, el ''' "treball infinitesimal" ''' pot ser formalitzat adequadament com una 1-forma definida al llarg de la trajectòria d'una partícula:
{{Equació|
<math> \delta W = \mathbf{F}\cdot d \mathbf{r}= F_x dx+F_y dy+F_z dz </math>
||Left}}
És una 1-forma, que aplicada a un vector velocitat dona la potència realitzada per la força: <br/>
{{Equació|
<math> \langle \delta W, \mathbf{v}\rangle = F_x v_x+F_y v_y+F_z v_z </math>
||Left}}
La integral al llarg del temps de la potència, que és un escalar, dona el treball finit realitzat per la força. Quan la 1-forma treball infinitesimal causa de la naturalesa de les forces és una diferencial exacta, es diu que el conjunt de forces forma un [[camp conservatiu]].

* En termodinàmica l'anomenat impròpiament ''' "calor infinitesimal" ''' és una altra 1-forma, normalment no exacta, que és expressable en diferents tipus de coordenades:
{{Equació|
<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}}
On <math> C_v, C_P </math> són les [[capacitat calorífica|capacitats calorífiques]] baix volum i sota pressió constants respectivament i <math> dS, dT </math> són 1-formes exactes associades a les variables d'estat, temperatura i entropia respectivament.
Un factor integrant és una funció multiplicativa que converteix a una 1-forma no exacta en exacta. Així un factor integrant per a la magnitud "calor infinitesimal" és l'invers de la temperatura, en aquest cas la 1-forma resultant pot derivar de la [[variable d'estat]] anomenada [[entropia]]
* En [[Electrodinàmica # Electrodinàmica clàssica|electrodinàmica clàssica]] el potencial vector pot ser considerat una 1-forma sobre un [[espaitemps]] de [[quarta dimensió|quatre dimensions]] del qual es pot derivar totes les components del camp electromagnètic. Aquesta 1-forma mai és exacta a menys que el camp electromagnètic sigui nul.
* Un [[camp vectorial]] que derivi d'un potencial admet una representació com 1-forma exacta.

== Exemples d'1-formes en matemàtiques ==
* La [[diferencial total]] d'una funció de diverses variables pot ser tractada rigorosament com una 1-forma. Així si es té una funció de diverses variables '' f '' ('' x, y, z '') diferenciable, la seva diferencial total és una [[forma diferencial # Algunes definicions formals|1-forma exacta]]:
{{Equació|
<math> df = \frac{\partial f}{\partial x}dx+\frac{\partial f}{\partial y}dy+
\frac{\partial f}{\partial z}dz </math>
||Left}}
Per ser l'anterior una 1-forma exacta, també és una [[forma diferencial # Algunes definicions formals|1-forma tancada]], la qual cosa implica que:
{{Equació|
<math> \frac{\partial^2 f}{\partial x_i \partial x_j}- \frac{\partial^2 f}{\partial x_j \partial x_i}= 0 </math>
||Left}}

== Integrabilitat d'1-formes: diferencials exactes ==
Una 1-forma ''' F ''', es diu [[forma diferencial # Algunes definicions formals|exacta]] si existeix una funció '' g '' tal que:
{{Equació|
<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}}
Es pot provar que una [[condició necessària i suficient]] perquè una 1-forma sigui exacta, al voltant d'algun punt, d'acord amb el ''' teorema de Poincaré ''' és que hi hagi algun punt en el qual es compleixi que:
{{Equació|
<math> \frac{\partial f_i}{\partial x_j}= \frac{\partial F_j}{\partial x_i}</math>
||Left}}
Quan la condició anterior se satisfà en algun punt llavors la 1-forma és [[localment]] exacta en aquest punt, és a dir, hi ha una petita regió al voltant del punt en què la 1-forma és exacta.

== Diferencials inexactes en física ==
Òbviament no tota 1-forma és exacta, un exemple físic interessant el constitueix la calor o el [[Treball (física)|treball]] que apareixen a la [[forma diferencial]] de l'energia interna tal com sol usar-se per a formular, el [[primer principi de la termodinàmica]]:
{{Equació|
<math>dU = \delta Q + \delta W \qquad \delta Q := T(S,V)\ dS \qquad \delta W := -p(S,V)\ dV</math>
||left}}
Òbviament aquesta diferencial de l'[[energia interna]] si és una 1-forma exacta, ja que l'energia interna és una [[variable d'estat]]. No obstant això, ni la calor, ni el treball són 1-formes exactes. Per la calor tenim:
{{Equació|
<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 l'anterior equació si la derivada de la temperatura respecte al volum fos nul significaria que el cos té una taxa de dilatació adiabàtica infinita, la qual cosa és absurd. Per al treball hem de per les [[relacions de Maxwell]], el treball no és una 1-forma exacta a menys que el [[coeficient de dilatació adiabàtica]] (α '' <sub> S </sub> '') sigui zero, ja que el treball només pot ser una diferencial exacta en un sistema termodinàmic si i només si:
{{Equació|
<math> \left (\frac{\partial p}{\partial S}\right) _v =
- \left (\frac{\partial T}{\partial V}\right) _S = - \frac{1}{V \alpha_S}</math>
||Left}}

== Vegeu ==
* [[Forma lineal]]
* [[Espai dual]]

[[Categoria:Espais vectorials]]