Covector

De Viquipèdia
Dreceres ràpides: navegació, cerca

S'anomenen covectors o 1-forma les 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  \Omega \subset \R^n (o d'una varietat diferenciable) que "operat" amb un camp vectorial dóna lloc un camp escalar o funció definida sobre el mateix domini. És a dir:


 T: \mbox{Vec}_n (\Omega) \to \R \qquad
\mbox{Vec}_n (\Omega) = \mathcal{C}^{(k)}(\Omega, \R^n)

On  \mbox{Vec}_n (\Omega) denota el conjunt de funcions vectorials amb derivades parcials contínues fins a ordre k definides sobre  \Omega , és a dir, és un conjunt format per camps vectorials. Una 1-forma o manera un és un cas particular d' n -forma.

Exemples d'1-formes en física[modifica | modifica el codi]

  • 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:


 \delta W = \mathbf{F}\cdot d \mathbf{r}= F_x dx+F_y dy+F_z dz

És una 1-forma, que aplicada a un vector velocitat dóna la potència realitzada per la força:


 \langle \delta W, \mathbf{v}\rangle = F_x v_x+F_y v_y+F_z v_z

La integral al llarg del temps de la potència, que és un escalar, dóna 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:


\delta q = T(S,V)\ dS \qquad \delta q = C_V(V,T) dT \qquad \delta q = C_p(p,T) dT

On  C_v, C_P són les capacitats calorífiques baix volum i sota pressió constants respectivament i  dS, dT 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 clàssica el potencial vector pot ser considerat una 1-forma sobre un espai-temps de 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[modifica | modifica el codi]

  • 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 1-forma exacta:


 df = \frac{\partial f}{\partial x}dx+\frac{\partial f}{\partial y}dy+
\frac{\partial f}{\partial z}dz

Per ser l'anterior una 1-forma exacta, també és també una 1-forma tancada, la qual cosa implica que:


 \frac{\part^2 f}{\part x_i \part x_j}- \frac{\part^2 f}{\part x_j \part x_i}= 0

Integrabilitat d'1-formes: diferencials exactes[modifica | modifica el codi]

Una 1-forma F , es diu exacta si existeix una funció g tal que:


\left[\mathbf{F} = \sum_i F_i\ dx^i \quad \mbox{exacta}\right] \quad \Longleftrightarrow
\quad F_i = \frac{\partial g}{\partial x_i}

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:


 \frac{\partial f_i}{\partial x_j}= \frac{\partial F_j}{\partial x_i}

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[modifica | modifica el codi]

Òbviament no tota 1-forma és exacta, un exemple físic interessant el constitueix la calor o el 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:


dU = \delta Q + \delta W \qquad \delta Q := T(S,V)\ dS \qquad \delta W := -p(S,V)\ dV

Ò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:


\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]

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àticaS ) sigui zero, ja que el treball només pot ser una diferencial exacta en un sistema termodinàmic si i només si:


 \left (\frac{\partial p}{\partial S}\right) _v =
- \left (\frac{\partial T}{\partial V}\right) _S = - \frac{1}{V \alpha_S}

Vegeu[modifica | modifica el codi]