Varietat diferenciable

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

Una varietat diferenciable és un espai topològic separat V en el qual hi ha definida una família de funcions reals F = (V), que compleixen les següents condicions: si f és una funció f: V →R tal que per a tot punt p de V existeix una funció q de F que coincideix amb f en un cert entorn de p, aleshores f és de F; si f1, ..., fk són funcions de F, i si F és una funció diferenciable qualsevol sobre l'espai euclidià Rk, aleshores F (fk ,...,fn) pertany a F; per a tot punt p de V existeixen n funcions f1,...,fn de F tals, que l'aplicació q → [f1(q),...,fn(q) ] dóna un homeomorfisme entre un cert entorn U de p i un obert de Rn.

En geometria i topologia, una varietat diferenciable és un tipus especial de varietat topològica, a la qual podem estendre les nocions de càlcul diferencial que normalment fem servir a \mathbb{R}^n. En una varietat diferenciable M podrem definir el que és una funció diferenciable f: M\rightarrow{}\mathbb{R}, i camps de tensors diferenciables (inclosos camps de vectors). L'estudi del càlcul en varietats diferenciables es coneix com a geometria diferencial.

Generalització dels conceptes de corba i superfície[modifica | modifica el codi]

Una varietat diferenciable representa una generalització, en dos aspectes bàsics, del concepte de superfície diferenciable:

  • Suposa la generalització a qualsevol nombre de dimensions. En dimensió 1, una varietat és una corba, en dimensió 2, una superfície, en dimensió 0, un punt.
  • Suposa una altra generalització en intentar definir una varietat de manera intrínseca . Per exemple, una corba o una superfície solen descriure embegudes en un espai ambient R³, però es podrien descriure sense fer-hi al·lusió. És més, hi ha casos de varietats de dimensió 2 que no podran veure's embegudes en un espai euclidià de dimensió 3 (però sí de dimensió superior).

Abans de fer la segona generalització, podríem pensar que una varietat és diferenciable , informalment parlant, si cada un dels seus punts té espai tangent, és a dir, no té "pics" ni "fils". Però per fer una definició formal necessitarem que aquesta no faci al·lusió a un possible encastat de la varietat en un espai ambient.

Una mica d'història[modifica | modifica el codi]

Riemann, al segle XIX, va observar la importància de definir la noció de varietat d'una manera intrínsec, sense requerir que l'espai topològic subjacent estigués encastat en un espai afí. La definició formal precisa va ser introduïda per primera vegada per Hermann Weyl el 1913.

Les varietats diferenciables apareixen en diversos camps de la física:

  • En Relativitat general, l'espai (de dimensió 3) i el temps formen una varietat de dimensió 4 anomenada espai-temps.
  • Moltes teories modernes, com la Teoria de cordes, operen en una varietat de dimensió més gran que 4.
  • En mecànica clàssica, per descriure la situació d'un sòlid rígid en l'espai es necessiten 6 paràmetres (3 que descriguin la posició del seu centre de masses i altres 3 que corresponen als graus de llibertat rotacional). Una situació concreta d'un sòlid quedarà descrita com un punt en una varietat diferenciable de dimensió 6, que s'anomena espai de configuració del sòlid rígid.

Conceptes previs de varietats topològiques[modifica | modifica el codi]

Recordem els conceptes de varietat topològica i de cartes:

  • Una varietat topològica de dimensió n\geq 0 és un espai topològic M (que sol suposar Hausdorff i ANII) al que per a cada p\in M hi ha un entorn obert U_p\subset M homeomorf a un obert de \mathbb{R}^n mitjançant \varphi_p: U_p\longrightarrow V_p\subset\mathbb{R}^n.
  • Un parell (U_p,\varphi_p) sota aquestes condicions es denomina carta o sistema coordinat sobre M per p, i l'aplicació \varphi_p s'anomena aplicació coordenada per p.
  • Cada aplicació coordenada es podrà desglossar com un conjunt de n funcions coordenades (x_1,\ldots, x_n): en efecte, si per a cada j\in\{1 ,..., n\}\subset\mathbb{Z} convenim a representar per r_j a la funció r_j:\mathbb{R}^n\longrightarrow\mathbb{R} que a cada q = (q_1 ,..., q_n)\in\mathbb{R}^n li fa correspondre r_j (q) = q_j (és a dir, la j-èsima coordenada de q), anomenarem a l'aplicació x_j = r_j\circ\varphi_p com la funció coordenada per p.

Podríem qüestionar-nos com seria possible determinar si una funció f: M\rightarrow{}\mathbb{R} definida en una varietat topològica és una funció diferenciable. Aparentment seria suficient exigir que f\circ\varphi_\alpha^{-1}, el que ofereix aquest entorn coordinat sigui diferenciable. Però aquesta condició no seria consistent si fem un canvi de carta. En efecte, si observem la seva expressió en una altra carta:

f\circ\varphi_\beta^{-1}= f\circ (\varphi_\alpha^{-1}\circ\varphi_\alpha)\circ\varphi_\beta^{-1}= ( f\circ\varphi_\alpha^{-1})\circ (\varphi_\alpha\circ\varphi_\beta^{-1}),

necessitarem per mantenir la consistència que el canvi de cartes representat per l'últim parèntesi sigui diferenciable. Aquesta exigència és la base de la definició d'estructura diferenciable.

Definició[modifica | modifica el codi]

Estructura diferenciable[modifica | modifica el codi]

Donada una varietat topològica M i un nombre enter r\geq 0, una estructura diferenciable (o atles maximal ) F de classe r sobre M és una família \{(U_{\lambda},\varphi_{\lambda}):\lambda\in\Lambda\} de sistemes coordenats sobre M de manera que es compleixi que:

  1. U_{\lambda} recobreix M, és a dir, \bigcup_{\lambda\in\Lambda}U_{\lambda}= M,
  2. donats dos qualsevol \alpha,\beta\in\Lambda ha de passar que l'aplicació \varphi_{\alpha}\circ\varphi^{-1}_{\beta}, anomenada canvi de cartes sigui diferenciable d'ordre r.
  3. F és maximal (relatiu a l'ordre donat per la inclusió de conjunts) entre totes les famílies d'entorns coordenats sobre M sota les condicions 1 i 2.

Varietat diferenciable[modifica | modifica el codi]

Es diu que el parell (M, F) format per la varietat topològica M de dimensió n i per l'estructura diferenciable F de classe r és una varietat diferenciable de dimensió n i classe r.

Hi ha una certa confusió sobre la terminologia varietat diferenciable (sense més especificacions) i varietat suau. En qualsevol cas, per evitar confusions, tots els textos indiquen què entenen per varietat diferenciable.

Subvarietat diferenciable[modifica | modifica el codi]

És qualsevol subconjunt d'una varietat diferenciable que mitjançant la topologia induïda de la varietat original segueix tenint estructura de varietat diferenciable. En general les subvarietats diferenciables són els subconjunts de punts per als quals és possible definir localment una funció diferenciable f que satisfaci:


f (p) = 0,\ p\in\mathcal{M}

Els conjunts no suaus, o que satisfent una equació semblant a l'anterior però on f no fos diferenciable en general no constitueixen subvarietats diferenciables.

Càlcul en varietats[modifica | modifica el codi]

Aspectes que es generalitzen[modifica | modifica el codi]

Moltes de les tècniques del càlcul multivariable són aplicables mutatis mutandis en varietats diferenciables. Podem definir la derivada direccional d'una funció diferenciable en la direcció marcada per un vector tangent a la varietat. Aquesta derivada es comportarà de manera similar al de la derivada ordinària d'una funció definida en l'espai euclidià, almenys localment: hi haurà versions del teorema de la funció implícita i de la funció inversa.

No obstant això, la derivada direccional d'un camp de vectors no estarà definida de forma directa. Hi ha diverses generalitzacions que capten certes característiques formals de la derivació en espais euclidians. Les principals són:

  • La derivada de Lie, que queda definida de forma única per l'estructura diferenciable, però deixa de satisfer alguna de les propietats de la derivada direccional.
  • Una connexió afí que no està definida de forma única, per la qual cosa ha de ser especificada com una dada afegit a la varietat. Presenta una generalització més completa de les característiques de la derivada direccional ordinària.

Les idees del càlcul integral també poden estendre's a les varietats diferenciables. Trobareu la seva expressió natural en el llenguatge del càlcul exterior amb formes diferenciables. Teoremes fonamentals del càlcul integral en diverses variables, en particular el teorema de Green, el de la divergència i el de Stokes es generalitzen en un sol teorema anomenat teorema de Stokes.

Vectors tangents en un punt[modifica | modifica el codi]

Vegeu també: Espai tangent

En una varietat abstracta, en no considerar embeguda en cap espai ambient, no podrem visualitzar l'espai tangent com un subespai afí de l'ambient. La generalització del concepte d'espai tangent requerirà concebre els vectors tangents com operadors que representen una derivada direccional.

A \mathbb{R}^n podem visualitzar un vector X_p = (a^1,\cdots, a^n) com un operador X_p: C^\infty (p)\longrightarrow\mathbb{R} que actua sobre una funció f\in C^\infty (p) diferenciable en un entorn qualsevol de p, i ens torna el seu derivada en la direcció marcada per X_p:

X_p (f) =\sum{a^i\frac{\partial f}{\partial x^i}}

En els anys 1960 sorgeix la definició axiomàtica de vector tangent en un punt d'una varietat , com a generalització de l'anterior. Un vector X_p tangent a una varietat serà un operador X_p: C^\infty (p)\longrightarrow\mathbb{R} que satisfaci:

  1. La condició de linealitat: X_p (\alpha f+\beta g) =\alpha X_p (f)+\beta X_p (g)
  2. La regla de Leibniz: X_p (fg) = X_p (f) g (p)+f (p) X_p (g).

El conjunt de vectors tangents en un punt formen un espai vectorial de la mateixa dimensió que la varietat anomenat espai tangent En pi notat com T_p M. En principi, espais tangents en punts diferents no són comparables. Però podem formar amb ells una varietat de dimensió el doble de la dimensió de M, que es dirà fibrat tangent i es notarà com TM . Com a conjunt, TM =\cup_{p\in M}{T_p M}

Aplicacions diferenciables[modifica | modifica el codi]

Una aplicació F: M\longrightarrow N es dirà diferenciable si la seva expressió en cartes ho és. Formalment, F és diferenciable si per a tot punt p de M podem trobar una carta (U,\phi) de M que el contingui i una carta (V,\psi) de L que contingui F (p) tals que \psi\circ F\circ\phi^{-1} sigui diferenciable.

Una aplicació diferenciable indueix un homomorfisme d'espais vectorials dF_p: T_p M\longrightarrow T_{f (p)}N entre els espais tangents respectius. Igual que en el càlcul diferencial ordinari, podrem aproximar un objecte diferenciable ( F ) per un objecte lineal (d_p F).

Relació amb varietats topològiques[modifica | modifica el codi]

Donada una varietat topològica, ens podem preguntar si s'admetrà sempre una estructura diferenciable C^k o si aquesta estructura serà única. En primer lloc, segons un teorema a causa de Whitney, en qualsevol varietat amb una estructura C^k amb k> 0, hi ha una única estructura C compatible amb l'anterior .

L'existència i unicitat està garantida en dimensions menors que 4:

  • Tota varietat topològica de dimensió 1, 2, o 3 té una única estructura diferenciable (excepte difeomorfismes).

La situació és diferent en dimensió superior:

  • Es coneixen exemples de varietats topològiques que no admeten cap estructura diferenciable (Teorema de Donaldson),
  • i d'altres que admeten múltiples estructures difeomorfas (fins i tot una quantitat no numerable d'elles).

Alguns exemples:

  • Només hi ha una estructura diferenciable (excepte difeomorfismos) sobre \mathbb{R}^{n} excepte quan n = 4, cas que admet un nombre no numerable d'estructures diferenciables.
  • La següent taula mostra el nombre d'estructures diferenciables (mòdul Homeomorfismes que conserven l'orientació) sobre la NI esferes per dimensions n <19. Les esferes amb estructures diferenciables diferents de la usual es coneixen amb el nom de esferes exòtiques.
Dimensió 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
Estructures 1 1 1 ? 1 1 28 2 8 6 992 1 3 2 16.256 2 16 16

Definicions alternatives[modifica | modifica el codi]

Hi ha almenys dues maneres de definir el que és una varietat diferenciable, ambdues equivalents: per mitjà de parametritzacions o per mitjà d'aplicacions coordenades. La diferència és subtil, però important.

A més, en el cas de espais euclidians hi ha una sèrie de definicions equivalents que són més senzilles que en el cas general.

Definició mitjançant parametritzacions .[modifica | modifica el codi]

Sigui M un conjunt (en principi podria ser buit, però és un cas trivial), n\geq 0 i r\geq 0 dos nombres enters, una família \{(U_{\lambda}, x_{\lambda}):\lambda\in\Lambda\} en la qual cada U_{\lambda}\subset\mathbb{R}^n és un obert i cada x_{\lambda}: U_{\lambda}\longrightarrow M un aplicació injectiva, de manera que es compleixi que:

  1. \bigcup_{\lambda\in\Lambda}x_{\lambda}(U_{\lambda}) = M,
  2. daus qualssevol dos \alpha,\beta\in\Lambda de manera que x_{\alpha}(U_{\alpha})\cap x_{\beta}(U_{\beta}) = W\neq\varnothing ha de passar que x^{-1}_{\alpha}(E) i x^{-1}_{\beta}(E) són oberts de \mathbb{R}^n i l'aplicació x^{-1}_{\alpha}\circ x_{\beta} és diferenciable d'ordre r a U_{\alpha} (ie, x^{-1}_{\alpha}\circ x_{\beta}\in C^r (U_{\alpha})).

sota aquestes condicions, cada parell (U_{\lambda}, x_{\lambda}) de manera que p\in x_{\lambda}(U_{\lambda})\subset M s'anomena una carta local o sistema de coordenades de M a p, x_{\lambda} s'anomena parametrització de M per p, x_{\lambda}(U_{\lambda}) s'anomena entorn coordinat de p, i la família \{(U_{\lambda}, x_{\lambda}):\lambda\in\Lambda\} és denominada una atles sobre M. Si un atles A és maximal (relatiu a l'ordre donat per la inclusió de conjunts) entre tots els atles sobre M (per descomptat sota les condicions 1 i 2 , ja que d'altra manera no seria atles) es diu que l'atles A és una estructura diferenciable sobre M.

El conjunt \{G\subset M: x^{-1}_{\lambda}(G)\in\tau (U_{\lambda}),\lambda\in\Lambda\} (on aquí \tau (U_{\lambda}) representa la topologia del conjunt U_{\lambda}) no és altra cosa que la topologia final En M per a la família \{(U_{\lambda}, x_{\lambda}):\lambda\in\Lambda\}. Quan es pren una estructura diferenciable A sobre M i la topologia final a M per aquesta estructura diferenciable fa de M un espai topològic que compleix el segon axioma de numerabilitat i la propietat de Hausdorff, llavors es diu que el parell (M, A) format pel conjunt M i l'estructura diferenciable A sobre M és una varietat topològica de dimensió n i classe r. Quan a més r> 0, llavors es diu que (M, A) és una varietat diferenciable (de dimensió n i classe  r).

Definicions en espais euclidians[modifica | modifica el codi]

Hi ha almenys quatre maneres (totes equivalents entre si) de definir una varietat diferencial quan se les considera com a subconjunts d'un espai euclidià. Cadascuna d'elles és útil, i depenent del context o de la dificultat del problema es farà servir una o altra, o fins i tot es combinaran diverses a la vegada.

Representació implícita d'una varietat diferenciable
Sigui E un espai euclidià de dimensió n\geq 0 i sigui S\subset E. Direm que S és una varietat diferenciable en E de dimensió k (on 0\leq k\leq n és un nombre enter) i classe C^r (on r\geq 1 és un nombre sencer) si per a cada x_0\in S hi ha un entorn obert U\subset E de x_0 i una aplicació \Phi : U\longrightarrow\mathbb{R}^{nk} de manera que:
  1. \Phi és de classe r sobre U (és a dir, \Phi\in C^r (U) ),
  2. la matriu jacobiana de \Phirang nk (és a dir, rang [D\Phi (x_0)] = nk),
  3. S\cap U =\{x\in U:\Phi (x) = 0\}.

A la igualtat \Phi (x) = 0 l'anomenarem representació implícita local de la varietat S al punt x_0, o simplement direm que la varietat ve donada implícitament per \Phi a x_0.

Si hi ha un obert V\subset E i una aplicació \Phi\in C^r (V) (on r\geq 1 és un nombre enter) de manera que S =\{x\in V:\Phi (x) = 0, rang [D\Phi (x)] = nk\}\neq\varnothing , a la igualtat \Phi (x) = 0 s'anomena representació implícita global de la varietat, o es diu simplement que la varietat ve donada implícitament per \Phi . En aquest cas podem prendre com a representació implícita local per cada punt de S l'obert U =\{x\in V: rang [D\Phi (x)] = nk\} i l'aplicació \Phi.

Representació explícita d'una varietat diferenciable

Sigui E un espai euclidià de dimensió n\geq 0 i sigui S\subset E. Direm que S és una varietat diferenciable en E de dimensió k (on 0\leq k\leq n és un nombre enter) i classe C^r (on r\geq 1 és un nombre sencer) si per a cada x_0\in S hi ha:

  1. una base <u_1, u_2,..., u_n> de E,
  2. un obert V\subset E_1 de z_0: = x_0^1 u_1+x_0^2 u_2+...+X_0^k u_k, on es defineix el subespai E_1 com l'espai generat per \{u_1 ,..., u_k\},
  3. un obert W\subset E_2 de y_0: = x_0^{k+1}u_{k+1}+x_0^{k+2}u_{k+2}+. ..+X_0^n u_n, on es defineix el subespai E_2 com l'espai generat per \{u_{k+1},..., u_n\},
  4. una aplicació f: V\longrightarrow W de classe r sobre V (és a dir, f\in C^r (V)) de manera que f (z_0) = y_0 i S\cap (V\times E) =\{(z, f (z))\in E_1\times E_2: z\in V\}.

L'última condició equival a dir que S\cap (V\times E) és la gràfica Gr (f) de f . A la igualtat y = f (z), z\in V, o simplement a l'aplicació f, se l'anomena representació explícita local de la varietat S al punt x_0. Si hi ha una única aplicació f tal que S = Gr (f), llavors f s'anomena representació explícita global de la varietat.

Representació difeomórfica local d'una varietat diferenciable

Sigui E un espai euclidià de dimensió n\geq 0 i sigui S\subset E. Direm que S és una varietat diferenciable en E de dimensió k (on 0\leq k\leq n és un nombre enter) i classe C^r (on r\geq 1 és un nombre sencer) si per a cada x_0\in S hi ha un entorn obert U_0\subset E de x_0 i una aplicació \Psi : U_0\longrightarrow\mathbb{R}^n de manera que:

  1. \Psi és un difeomorfismo de classe r entre U_0 i la seva imatge (és a dir, \Psi\in C^r ( U_0) és injectiva),
  2. \Psi (S\cap U_0) =\Psi (U_0)\cap (\mathbb{R}\times\{0\}^{nk}).

A l'aplicació \Psi (x) = 0 l'anomenarem representació difeomórfica local de la varietat S al punt x_0.

Cal observar que, a conseqüència de ser \Psi difeomorfismo local i U_0 obert, \Psi (U_0) és també un obert de \mathbb{R}^n.

Representació paramètrica d'una varietat diferenciable

Sigui E un espai euclidià de dimensió n\geq 0 i sigui S\subset E. Direm que S és una varietat diferenciable en E de dimensió k (on 0\leq k\leq n és un nombre enter) i classe C^r (on r\geq 1 és un nombre sencer) si per a cada x_0\in S hi ha un entorn obert U_1\subset E de x_0, un obert no buit V\subset\mathbb{R}^k, un element t_0\in V i una aplicació \varphi: V\longrightarrow E de manera que:

  1. \varphi (t_0) = x_0,
  2. la jacobiana d\varphi (t_0) de \varphi a t_0 és injectiva,
  3. \varphi és un Homeomorfisme de classe r sobre V (és a dir, \varphi\in C^r (V) és contínua, oberta i injectiva) entre V i S\cap U_1 ( amb la topologia relativa).

A l'aplicació \varphi l'anomenarem representació paramètrica local de la varietat S al punt x_0.

Vegeu també[modifica | modifica el codi]

Bibliografia[modifica | modifica el codi]

  • John M. Lee, Introduction to Smooth Manifolds , (2003) Springer Graduate Texts in Mathematics 218.
  • Roger Penrose: El camí de la realitat , Ed Debate, Barcelona, 2006, p. 464, ISBN 84-8306-681-5.
  • Michael Spivak, Càlcul en varietats . Reverté (1988), ISBN 8429151427
  • Michael Spivak, A comprehensive introduction to differential geometry, volume I , Publish or Perish, Inc, Houston, Texas, 1999, ISBN 091409887X.