Fibrati e Connessioni

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Fibrati e Connessioni"

Transcript

1 Fibrati e Connessioni Guy Le Baube, Rue Bois Le Vent (1971)

2 1 Generalità sui Fibrati Vettoriali. Nel seguito B è uno spazio topologico connesso e paracompatto (vuol dire che B è di Hausdorff e ogni ricoprimento aperto di B ammette un raffinamento aperto localmente finito), detto spazio di base. Definizione 1.1 [Fibrato Vettoriale]: Un fibrato vettoriale reale ξ su B consiste nei dati seguenti: Uno spazio topologico E detto spazio totale; Una mappa continua e suriettiva π : E B detta proiezione; Una struttura di R-spazio vettoriale su ciascuna delle fibre π ({b}) = F b. Tali dati devono soddisfare la seguente condizione di trivializzazione locale: Per ogni b B esistono un intorno U B e un omeomorfismo tali che il diagramma sotto sia commutativo. h b : U F b = π (U) (1) π (U) h U F b (2) π U proj 1 U ed F b hanno la topologia di sottospazio e U F b la prodotto. Grazie ad h resta definito un isomorfismo tra R κ (ove κ = dim R F b ) e F b stesso mediante la corrispondenza x h(b, x). Una coppia (h, U) come sopra è detta sistema di coordinate locali, o trivializzazione locale per il fibrato ξ. Se si può scegliere U = E, il fibrato ξ è detto triviale su B. Lo spazio vettoriale F b è detto fibra di ξ sopra E. Se c è pericolo di confusione si denota F b (ξ). Per l ipotesi di suriettività fatta, F b per ogni b B. La dimensione di F b (che supponiamo ora e sempre finita) è una funzione continua B N (con la topologia discreta sul secondo), che deve perciò essere localmente costante. Osservazione 1 : In una terminologia più generale, un fibrato (anche non vettoriale) su uno spazio B consiste nel dato di una applicazione continua e suriettiva p: E B, tale che ogni x B abbia un intorno U per cui p (U) = U F x, per qualche spazio topologico F x : questa sola condizione assicura che p ({x}) = F x, e dunque F x si può sensatamente pensare come lo spazio della fibra di x B. Gli aperti U della condizione sono detti aperti banalizzanti; la classe di omeomorfismo della fibra F x è costante restando su un aperto banalizzante, dunque è localmente costante; si può eliminare il pedice x chiamando F la fibra. Appare chiaro dove aggiungere delle ipotesi per ottenere fibrati vettoriali; un omomorfismo di fibrati vettoriali è una mappa continua verso B che rispetta le fibre, ossia tale che φ F sia una applicazione lineare tra le fibre. La nozione di fibrato vettoriale liscio si può dare analogamente. 2

3 1.0.1 Alcuni Esempi. Esempio 1.1 [Fibrato Banale]: Il fibrato banale ɛ B con spazio totale E = B R n ha la mappa di proiezione π : E B : (b, x) b Osservazione 2 : Un fibrato è triviale se e solo se è isomorfo a ɛ B. Esempio 1.2 [Fibrato Tangente]: Il fibrato tangente τ M ad una varietà liscia M di dimensione n è un fibrato liscio (con un argomento classico si riesce a dotare T M di una struttura di varietà liscia). Lo spazio totale è la varietà T M = p M T pm, ovvero fatta dalle coppie (p, v), dove p M e v T p M è un vettore tangente a M in p. La proiezione è definita da (p, v) p, di modo che π (p) = T p M, ed in effetti T M = p M T pm. La condizione di trivialità locale è semplice da verificare: in p U T pm h U R n (3) U la mappa h è definita come (p, v) (p, ψ(v)), dove ψ GL(R n ) è un qualsiasi isomorfismo lineare che identifica T p M ed R n (per esempio, scelte delle coordinate x 1,... x n date da una carta di M attorno a p, e vedendo T p M come spazio di derivazioni, ψ manda x i proj in e i -base canonica-). Osservazione 3 : In modo analogo si definisce il fibrato cotangente ad M, τ M con spazio totale fatto dall unione disgiunta p M T p M = p M (T pm) Esempio 1.3 [Fibrato Normale]: Se M è una varietà liscia di dimensione n, immersa in R N per qualche N > n, lo spazio totale del fibrato normale ν M si ottiene dall unione disgiunta p M (T pm) (l ortogonale è quello indotto dall usuale prodotto scalare di R N ). La proiezione è π : NM M : (p, α) p, in modo che π (p) = (T p M). Esempio 1.4 [Spazio proiettivo P n (R)]: Lo spazio proiettivo reale P n (R) è definito come l insieme dei punti della sfera n-dimensionale S n quozientato dalla relazione di antipodia. Abbiamo modo, a partire da tale spazio, di costruire un fibrato vettoriale: se chiamiamo E(γ 1,n ) il sottoinsieme di P n (R) R n+1 fatto dalle coppie ([x], v), dove v = λx, definiamo π : E(γ 1,n ) P n (R): ([x], v) [x]. Ogni fibra si può quindi identificare alla retta di R n+1 che congiunge i punti antipodali x e x, con la naturale struttura di spazio vettoriale. Questo è un esempio di fibrato in rette, detto fibrato in rette tautologico su P n (R). Il fibrato in rette tautologico su P n (R) è localmente triviale. Si scelga U S n tale da non contenere punti antipodali, e sia U 1 la sua immagine in P n (R). Si definisce facilmente un omeomorfismo h: U 1 R π (U 1 ) ([x], λ) ([x], λx). (4) Per mostrare che γ 1,1 non è globalmente triviale, definiamo Definizione 1.2 : Una sezione di un fibrato ξ su B è una funzione continua s: B E(ξ) tale che s(b) F b per ogni b B. Una sezione s si dice mai nulla se s(b) 0 Fb per ogni b B. 3

4 Esempio 1.5 : Se M è una varietà liscia, una sezione del fibrato tangente T M si dice campo vettoriale su M. Un fibrato isomorfo al banale possiede almeno una sezione trasversale mai nulla, ossia (fissato un vettore v 0 in F b ) s: B B R n b (b, v) (5) Però γ 1,1 non può averla (dunque la tesi segue dal Teorema 1.1): se s: P n (R) E(γ 1,1 ) è una sezione, la composizione S n P n E che manda x S n in una coppia ([x], t(x) x), mediante una funzione t: S n R, continua e tale che t( x) = t(x), è continua. Essendo S n connessa, t( ) deve annullarsi in almeno un punto x 0, dunque s(x 0 ) = ([x 0 ], 0). Nel caso particolare n = 1, ogni elemento e E(γ 1,1 ) si riesce a scrivere come ([(cos θ, sin θ)], t(cos θ, sin θ)), per qualche 0 θ π, e t R. Tale rappresentazione è unica eccetto che per il fatto che i punti immagine di (0, t) e π, t) coincidono per ogni t R. In altre parole,e(γ 1,1 ) si ottiene da [0, π] R nel piano (θ, t) identificando {0} R con {π} R, grazie alla mappa (0, t) (π, t): E(γ 1,1 ) è il nastro di Möbius (aperto). Un criterio di trivialità per un fibrato ξ è il seguente: Definizione 1.3 : Le sezioni s 1,..., s k di un fibrato ξ su B si dicono indipendenti se per ogni b B i vettori s 1 (b),..., s k (b) sono linearmente indipendenti in F b (ξ). Teorema 1.1 : Un fibrato di dimensione n su B è triviale se e solo se ammette n sezioni indipendenti. La dimostrazione dipende dal seguente Lemma Lemma 1.1 : Siano ξ, η due fibrati di dimensione n su B, e sia f : E(ξ) E(η) una funzione continua che manda ogni fibra F b (ξ) in F b (η) con un isomorfismo lineare f b. Allora f è un omeomorfismo. In altre parole due fibrati sono isomorfi se e solo se lo sono fibra per fibra. Proof. Dato b B possiamo scegliere coordinate locali (U, g) e (V, h) su E(ξ) ed E(η) tali che b U V. Allora esiste un diagramma commutativo π ξ (U V ) g proj (U V ) R n U V π η (U V ) h (6) Se mostriamo che la composizione h 1 f g è un omeomorfismo abbiamo concluso. Poniamo h 1 f g(b, x) = (b, y), dove y = f b (x) si può scrivere y i = f ij (b)x j, per certi coefficienti reali f ij, funzioni continue di b B, tali che det f ij (b) 0. (b) è la matrice inversa a f ij(b) è chiaro che la mappa (b, y) (b, x), dove x i = f 1 ij y j, è l inversa di h 1 f g ed è continua, dunque è un omeomorfismo. La tesi segue perché ora h 1 f g = u, isomorfismo, implica f = h u g 1, composizione di isomorfismi. Se f 1 ij Ora, se s 1,..., s n sono sezioni indipendenti del fibrato ξ, definiamo la mappa f : B R n E (b, v) vi s i (b) (7) 4

5 Per costruzione f è una funzione continua che manda ogni fibra del fibrato banale in una fibra di E, isomorficamente. La tesi dunque segue dal precedente Lemma. Viceversa, sul fibrato banale B R n ci sono le sezioni costanti e indipendenti s i (b) = (b, e i ). ({e 1,..., e n } è la base canonica.) 1.1 Funzioni di Transizione. Sia ξ un fibrato su B di proiezione π : E B. Gli aperti banalizzanti formano un ricoprimento di B, che indichiamo con {U i }. In corrispondenza di due trivializzazioni locali h i : π (U i ) = U i R n e h j : π (U j ) = U j R n, si ottiene, per restrizione all intersezione U ij := U i U j, un isomorfismo h ij, definito da h i h 1 j : U ij R n U ij R n (x, v) (x, g ij (x)v), (8) dove g ij : U ij GL n (R) è una mappa continua (o liscia se B è una varietà). Le funzioni g ij sono dette funzioni di transizione per E. Esse soddisfano le identità (dette condizioni di cociclo) g ij (x)g ji (x) = id Uij R n per ogni x U ij g ik (x) = g ij (x)g jk (x) per ogni x U ijk = U i U j U k Proof. Entrambe le identità sono conseguenza del fatto che g ij è l unica mappa tale che h ij = id Uij g ij. La prima segue dal fatto che h ij h ji = h i h 1 j h j h 1 i = id Uij R n, dunque g ij(x)g ji (x)v = v per ogni v R n, che implica quanto affermato. La seconda segue dal fatto che id Uik g ik = h ik = h i h 1 = h i h 1 j k h j h 1 k = (id Uij g ij ) (id Ujk g jk ) = id Uik (g ij g jk ), per ogni x U ijk, e per l unicità di cui sopra si conclude. Le funzioni di transizione di un fibrato lo caratterizzano univocamente, nel senso che se viene dato un ricoprimento aperto dello spazio di base, U = {U i } i I ed una famiglia di mappe continue g ij : U ij GL n (R) che soddisfano le condizioni di cociclo, esiste un unico fibrato vettoriale di dimensione n che ammette le g ij come funzioni di transizione. Esso è costruito prendendo per spazio totale E l unione disgiunta ( Ui R n) (9) i I quozientata per la relazione di equivalenza generata dall identificazione (x, v) (y, v ) se e solo se x = y e v = g ij (x)v. Se su E c è la topologia quoziente, π : E B è una mappa continua e suriettiva. Le trivializzazioni locali h i : π (U i ) = U i R n sono definite da h 1 i (x, v) = [(x, v)] (la classe nel quoziente). 1.2 Operazioni sui Fibrati. La collezione dei fibrati su B è una famiglia di oggetti resa ricca dal trasporto di molte costruzioni topologiche (prodotti fibrati, cartesiani) e vettoriali (somme dirette, ortogonali, duali) alle proiezioni sullo spazio B. Vediamo in che modo i principali trasporti hanno luogo. 5

6 1.2.1 Restrizione ad un sottospazio della base. Sia ξ un fibrato di proiezione π : E B, e B un sottospazio di B. Poniamo E = π (B ) e sia π la corestrizione di π a B. La mappa π : E B è la proiezione di un fibrato, detto restrizione di ξ a B e denotato ξ B. La fibra F b (ξ B ) è uguale alla fibra F b (ξ) per ogni b B, ed eredita in questo modo l identica struttura di spazio vettoriale. Esempio 1.6 : Se M è una varietà liscia, e U un suo sottoinsieme aperto, il fibrato tangente a U τ U corrisponde a τ M U (nelle notazioni dell Esempio 1.2). La costruzione si può generalizzare nel modo che segue Fibrato indotto da una mappa continua. Sia ξ un fibrato di proiezione π : E B, e B un generico spazio topologico. Data una mappa continua f : B B definiamo il fibrato indotto da f, f ξ, come quello di spazio totale E = E B B nel diagramma cartesiano E ˆf E (10) π B f π B. E quindi è l insieme {(e, b) E B π(e) = f(b)}: la mappa ˆf è definita da (e, b) e, e π : (e, b) b, di modo che π ˆf = f π. Grazie a questa relazione ˆf, ristretta alle fibre F b (f ξ) e F f(b) (ξ) è un isomorfismo lineare: infatti ˆf ( (αv 1 + βv 2, b) ) = αv 1 + βv 2 = α ˆf(v 1, b) + β ˆf(v 2, b) (11) e banalmente F b (f ξ) = (π ) (b) = {e E π(e) = f(b)} {b} = {e E π(e) = f(b)} = π (f(b)) = F f(b) (ξ). Ciò prova che ˆf è una applicazione lineare biiettiva. Da ultimo, se (U, h) è una trivializzazione locale di ξ, poniamo U = f (U) e h : U R n (π ) (U ) (b, v) (b, h(f(b), v)). (12) Questa definizione è ben data se (b, h(f(b), v)) sta in (π ) (U ) = (π ) f (U). Lo fa, perché f π (b, h(f(b), v) = π ˆf((b, h(f(b), v)) = π(h(f(b), v)) = f(b) U (dato che b U ). Esercizio 1 : Si dimostri che se ξ è un fibrato triviale, tale è anche f ξ. Osservazione 4 : È possibile definire una nozione di omomorfismo di fibrati anche se gli spazi di base sono diversi; siano perciò ξ, η due fibrati su B(ξ), B(η) con proiezioni π ξ : E(ξ) B(ξ) e π η : E(η) B(η). Un omomorfismo di fibrati da η a ξ è una mappa continua tra gli spazi totali, g : E(η) E(ξ) che manda ogni fibra F b (η) in una qualche fibra F b (ξ), in modo isomorfo (più fibre potrebbero finire nella stessa F b (ξ), 6

7 e non tutte le fibre F b (ξ) potrebbero essere raggiunte, rispettivamente nel caso in cui g non sia iniettiva o non sia suriettiva). La posizione g : b b, definisce evidentemente una mappa continua tra gli spazi di base. Vale il seguente Lemma 1.2 : Se g : E(η) E(ξ) è un omomorfismo di fibrati nel senso precedente, e g la mappa indotta tra gli spazi di base, allora η = g ξ. Proof. Definiamo la mappa h: E(η) E(g ξ): e (π η (e), g(e)); si osservi che h è l unica mappa tale da far commutare in tutte le sue parti il diagramma di pull-back E(η) g (13) h B(η) B(ξ) E(ξ) E(ξ) π η B(η) g B(ξ) (questo non è casuale dato che E(g ) si ottiene davvero tramite un pull-back). Ora però h è continua e tale che se e F b (η), (π η (e), g(e)) = (b, g(e)) (π ) (b), con un isomorfismo lineare determinato da g. La tesi segue dal Lemma 1.1, che dice che h è un omeomorfismo Prodotto Cartesiano. Dati due fibrati vettoriali ξ 1, ξ 2 di proiezioni π 1 : E 1 B 1, π 2 : E 2 B 2, il prodotto ξ 1 ξ 2 dei due fibrati è definito come quello che ha per proiezione la mappa π 1 π 2 : E 1 E 2 B 1 B 2 (e 1, e 2 ) (π 1 (e 1 ), π 2 (e 2 )) (14) in modo he ogni fibra sia il prodotto delle fibre dei due: (π 1 π 2 ) (b 1, b 2 ) = F b1 (ξ 1 ) F b2 (ξ 2 ). Esempio 1.7 : Se M è una varietà liscia che risulta dal prodotto cartesiano di varietà M 1 M 2 (dotato della struttura differenziabile indotta dal prodotto di atlanti), il fibrato tangente τ M è isomorfo a τ M1 τ M2. Si può affermare, in linea generale, che le costruzioni universali tra spazi vettoriali ne inducono di analoghe tra fibrati che hanno quegli spazi vettoriali per fibre. Quelli che seguono sono degli esempi di quanto appena detto Somma di Whitney. Dati due fibrati ξ 1, ξ 2 di proiezioni π 1 : E 1 B, π 2 : E 2 B, la somma di Whitney di ξ 1 e ξ 2 è il fibrato ξ 1 ξ 2 che ha per fibra sopra b la somma diretta delle fibre F b (ξ 1 ) F b (ξ 2 ), e spazio totale l unione disgiunta b B F b(ξ 1 ) F b (ξ 2 ) di tutte queste fibre, con l ovvia proiezione definita da π (b, v + w) = b. 7

8 A partire da trivializzazioni locali h i : π 1 (U i ) = U i R n k i : π 2 (U i ) = U i R m su uno stesso aperto U i otteniamo biiezioni σ (U i ) = U i (R n R m ); le funzioni di transizione di questo fibrato sono le mappe U ij GL(R n R m ) x ( g 1 ) ij (x) 0 0 g 2 ij (x) (15) g 1 ij e g2 ij essendo le funzioni di transizione di ξ 1 e ξ 2 rispettivamente. Equivalentemente, definiamo la mappa diagonale relativa allo spazio di base d: B B B b (b, b) (16) e il fibrato ξ 1 ξ 2 = d (ξ 1 ξ 2 ); ogni fibra F b (ξ 1 ξ 2 ) è canonicamente isomorfa alla somma diretta F b (ξ 1 ) F b (ξ 2 ), in quanto spazio vettoriale isomorfo a F b (ξ 1 ) F b (ξ 2 ) Complemento Ortogonale. Definizione 1.4 : Siano ξ, η fibrati vettoriali su uno stesso spazio di base, tali che E(ξ) E(η). Si dice che ξ è un sottofibrato di η se ogni fibra F b (ξ) è un sottospazio vettoriale di F b (η). Il Lemma 1.1 porge immediatamente il risultato che segue Proposizione 1.1 : Siano ξ 1, ξ 2 due sottofibrati di η tali che F b (η) = F b (ξ 1 ) F b (ξ 2 ) per ogni b B. Allora η = ξ 1 ξ 2. Può a questo punto nascere la domanda: dato un sottofibrato ξ di η, esiste sempre un complemento ortogonale per ξ tale che η = ξ τ? In effetti è chiaro come questo sia possibile, a opportune ipotesi 1, bastando promuovere ad un fibrato ξ quello che ha per fibre gli ortogonali F b (ξ) in η. Teorema 1.2 : Sia F b (ξ ) = F b (ξ), e E(ξ ) = b B F b(ξ ) E(η). Questo definisce un sottofibrato di η, detto ξ e chiamato complemento ortogonale di ξ, in modo che η = ξ ξ Duale, Tensore, Potenza Esterna e Simmetrica. Dovrebbe apparire chiaro a questo punto che la regola operativa da seguire è che operazioni sugli spazi vettoriali ne inducono, di analoghe, tra i fibrati vettoriali che hanno quegli spazi per fibre; il modo più comodo di definire tali fibrati è attraverso le funzioni di transizione, dato che esse sono determinate, in ultima analisi, da mappe lineari U GL(F (ξ)) (si pensi per esempio ad una varietà liscia M, le mappe di transizione del suo fibrato tangente -su una sua trivializzazione locale- sono delle g ij (x) GL(T x M)); in questo senso possiamo definire 1 Queste ipotesi sono: lo spazio di base deve essere paracompatto, o almeno η deve essere un fibrato vettoriale euclideo, nel senso precisato dalla Definizione??; la paracompattezza, grazie al teorema di Whitney -ibidem- implica questa condizione. 8

9 Il fibrato duale di un fibrato ξ : E B, denotato ξ : E B e definito dalle transizioni g ij (x) = g t ij (x) GL(Rn ) (17) (identificato a GL ( (R n ) ) grazie all isomorfismo canonico); Il fibrato prodotto tensoriale di E B E (rispettivamente di dimensione n ed m), denotato ξ ξ : E E B e definito dalle transizioni k ij = g ij (x) g ij (x) GL(Rn R m ) = GL(R nm ); (18) Il fibrato potenza esterna di ξ : E B, denotato k ξ : k E B, e quello potenza simmetrica, denotato ξ : E B, definiti rispettivamente dalle transizioni w ij (x) = g ij (x) GL( R n ) z ij (x) = k (g ij )(x) GL( k R n ). Se ξ : E B è un fibrato di dimensione n, n ξ è sempre un fibrato in rette, chiamato fibrato determinante di ξ, ed è definito dalle transizioni k ij (x) = det g ij (x); si indica con det ξ. Esercizio 2 : Si dimostri che valgono i seguenti isomorfismi, per tre fibrati ξ, η, θ. (ξ η) θ = ξ (η θ) ξ η = η ξ (ξ η) θ = ξ (η θ) ξ η = η ξ (ξ η) = ξ η (ξ η) = ξ η k ξ = ( k ξ ) n k ξ = k ξ Se ξ e ξ sono due fibrati vettoriali su una stessa base B, si è già detto che un omomorfismo di fibrati è determinato da una mappa continua f tra gli spazi totali che si restringe ad una mappa lineare sulle fibre. Se (U, h), (U, h ) sono due trivializzazioni locali, la mappa f ottenuta dalla commutatività di U R n U R m (19) π (U) (π ) (U ) si dice espressione locale di f nelle trivializzazioni scelte. Essa è della forma (x, v) (x, G(x)v), ove G: U hom R (R n, R m ) è una mappa sufficientemente regolare (nella topologia ovvia di hom R (R n, R m )). 1.3 Esempi educativi Il fibrato tensoriale T r s (M). La sezione non ha raccontato la storia per intero, e ξ, ξ sono esempi di una costruzione più generale. 9

10 Diamo per nota la costruzione (universale) che ad uno spazio vettoriale V di dimensione finita associa l algebra tensoriale (controvariante) su V : essa consiste della somma diretta T (V ) = n 0 V n (20) V n indicando lo spazio V V fatto n volte. T (V ) gode della proprietà di rialzare ogni applicazione lineare φ: V A, ove A è una k-algebra, ad una applicazione T (f) di k-algebre; se una base di V è data da e 1,... e d, una base di V n è fatta dai d n simboli formali e I = e i1 e in, dove 1 i 1,..., i n d. Una analoga costruzione dà l algebra tensoriale controvariante su V, T (V ) = n 0 (V ) n : l algebra tensoriale totale si ottiene, generalizzando un altro po, dalla somma diretta degli spazi Tm(V n ) = V m (V ) n : T (V ) = V m (V ) n. (21) m,n 0 Esercizio 3 : Trovare una base per T n m(v ). Ci occupiamo ora dello studio di fibrati tensoriali (di grado (r, s)) ottenuti da un fibrato dato; richiamiamo prima qualche risultato che discende dalla funtorialità della assegnazione V T (V ), T (V ). Definizione 1.5 [Fibrato tensoriale di ξ]: Sia π : E B la proiezione di un fibrato ξ. Denotiamo come al solito F b (ξ) = π (b) per ogni b B. Definiamo T r s (ξ) := b B T r s (F b (ξ)) (22) e πs r : Ts r (ξ) B : (e, b) b nel modo ovvio, per ogni e Ts r (F b (ξ)). Allo stesso modo, se A B, definiamo Ts r (E) A := b A T s r (F b (ξ)). Se π : E B è la proiezione di un altro fibrato ξ, ed f : E E è un omomorfismo di fibrati che è isomorfismo sulle fibre (ossia f b = f Fb (ξ) è un isomorfismo), definitamo Ts r (f): Ts r (ξ) Ts r (ξ ) con la posizione Ts r (f) T r s (F b (ξ)) = Ts r (f b ). Se {U i } è un ricoprimento di aperti trivializzanti di B, allora {π (U i )} è un ricoprimento dello spazio totale, e ciascun π (U i ) è omeomorfo mediante le trivializzazioni locali a U i F (la fibra senza pedice è la generica fibra sopra b B). Da ciò segue che {(π r s) (U i )} ricopre lo spazio totale di T r s (ξ) e che restano indotte (il consiglio per esplicitarle è di cercare le funzioni di transizione) delle trivializzazioni locali h i : (π r s) (U i ) = U i T r s (F (ξ)). Queste coordinate locali sono chiamate coordinate naturali su T r s (ξ). Se lo spazio totale di ξ era una varietà, si dimostri che lo è anche lo spazio totale di T r s (ξ), e che le coordinate naturali sono un atlante per questa struttura di varietà. In effetti tutto questo si può specializzare (e acquista senso nel momento in cui questo viene fatto) al caso in cui ξ = τ M è il fibrato tangente a una varietà liscia. Definizione 1.6 : Sia M una varietà liscia e τ M il suo fibrato tangente. Il fibrato dei tensori di tipo (s, r) su M è definito da T r s (M) = T r s (τ M ). Il fibrato tangente τ M si identifica con T 1 0 (M), e il cotangente a T 0 1 (M) (oltre che al fibrato duale τ M ). Come ulteriore approfondimento studiamo le sezioni lisce del fibrato dei tensori di tipo (r, s) su una varietà. 10

11 Campi di Tensori. Si rammenti anzitutto che una sezione di un fibrato vettoriale ξ è una mappa s: U E sufficientemente regolare definita su U B, che manda ogni b U in un vettore v F b (ξ) nella fibra sopra b, e che è una sezione della proiezione di ξ. Le sezioni di ξ sono raccolte nell insieme Γ(U, ξ). L assegnazione U Γ(U, ξ) è un fascio di R-moduli. Si noti che un campo vettoriale su U M, nelle notazioni appena introdotte, è un elemento di Γ(U, τ M ) = Γ(U, T0 1 (M)) e una forma differenziale è un elemento di Γ(U, τ (M)) = Γ(U, T1 0 (M)). Questo fatto ne nasconde uno estremamente più generale. Definizione 1.7 : Un campo di tensori di tipo (s, r) su una varietà liscia M è una sezione liscia del fibrato T r s (M). Denotiamo con T r s(m) l insieme Γ(U, T r s (M)), riferendosi ad esso come dotato implicitamente della struttura di spazio vettoriale reale. Pressoché tutte le definizioni si possono dare senza troppo sforzo. Se f C (M), t T r s(m), definiamo f t: M Ts r (M): p f(p)t(p) (questo rende T r s(m) un C -modulo). Se X 1,..., X s sono campi vettoriali su M, α 1,... α r sono forme differenziali, e t Ts r (M), definiamo t(α, X): M p t t : M p R t(p)(α(p), X(p)) T s+s r+r (M) t(p) t (p). Vale ovviamente un risultato che riguarda la Rappresentazione in Coordinate di un Campo Tensoriale. Se φ: U R n è una carta locale di M, φ 1 : φ(u) U la sua inversa, allora T φ 1 (e i ) = x i è una base dello spazio tangente visto come spazio di derivazioni; la base duale sullo spazio cotangente è fatta da dx i : dx i ( x j ) = δ ij. L espressione in coordinate locali di un campo tensoriale t di tipo (s, r) su M è allora data da T U = t i1,...,ir j 1,...,j s x j1 x dx js dxi1 ir (23) dove t i1,...,ir j 1,...,j s = t ( dx i1,..., dx ir, x,..., ) j 1 x C (M). js I fibrati canonico e anticanonico. Il fibrato canonico di una varietà M (algebrica, C, analitica...) si ottiene dalla potenza esterna massima possibile del fibrato cotangente a M, n M; è un fibrato in rette, e si chiama canonico perché si ottiene senza fare delle scelte arbitrarie sulla varietà. In un modo opportuno (e questa è la base da cui parte la K-teoria, in cui non saremo così folli da addentrarsi) si può dare all insieme delle classi di isomorfismo di fibrati su uno stesso spazio (supponiamolo una varietà liscia a sufficienza) una struttura di gruppo, la cui operazione è commutativa e indotta dalla somma di Whitney. In quest ottica, 11

12 l elemento neutro è dato dal fibrato triviale, e l inverso (ci vuole qualche giro di parole per farlo esistere, ma si puo fare) è dato da un fibrato tale che E ( E) = M R n. Fatti interessanti: condizione sufficiente ad avere un inverso rispetto all operazione in K(M) è essere un fibrato vettoriale su una base Hausdorff compatta, e (più importante) il prodotto tensoriale di fibrati induce su K(M) una operazione che lo rende un anello commutativo Gli spazi dei jets. Sia M una varietà, e C (M) l algebra delle sue funzioni regolari. L insieme delle sezioni lisce di un fibrato vettoriale su M è in modo naturale un C (M)-modulo; se p M, chiamiamo C,p (M) il sottospazio di C (M) fatto dalle f che si annullano in p (questo in effetti è l ideale massimale dell anello locale C (M)). Chiamiamo Γ p il sottospazio di Γ(U, E) generato da C,p (M), ossia l insieme delle sezioni che si scrivono come s = f i s i (24) con f i (p) = 0 per ogni i = 1,..., r e s 1,..., s r Γ(U, E) Le s di quella forma possono essere pensate come le sezioni che si annullano in p almeno fino al primo ordine. Definiamo E p = Γ(U, E)/Γ p (25) Chiaramente E p è uno spazio vettoriale reale: dall insieme E = E p = p M E p = {(p, v v E p )} si ottiene un fibrato vettoriale, ponendo come mappa di proiezione l ovvia E M : (p, v) p. Aver formulato così la questione suggerisce come generalizzare: basta dividere γ(u, E) ne sottospazi delle sezioni che si annullano all ordine r e fare un quoziente. Se Γ p è definito -sono le sezioni che si annullano all ordine zero in p, ossia tali che s(p) = 0, Γ p 1 sarà composto da quelle che si annullano al primo ordine in p, e così via ad ordini più elevati: Γ p 1 è lo spazio delle combinazioni lineari di elementi di C (M)Γ p ; Γ p 2 è lo spazio delle combinazioni lineari di elementi di C (M)Γ p Γ p r è lo spazio delle combinazioni lineari di elementi di C (M)Γ p r 1. Ora, definiamo J r (E) p = Γ(M, E)/Γ p r 1, e J r (E) = p M J r (E) p. Questo induce in modo naturale un fibrato vettoriale su M, ponendo come proiezione la mappa π r : J r (E) M : (p, v) p (26) J r (E) è detto spazio dei jets di ordine r associati a Γ(U, E), ed è (nelle notazioni della sezione 1.2) l unico fibrato vettoriale su M che ha per fibra sopra p lo spazio E p = Γ(U, E)/Γ p 0. Gli spazi dei jet su M sono essenziali allo studio degli operatori differenziali sulle varietà: se d è un endomorfismo di Γ, e X un endomorfismo di C (M) compatibile con le sue funzioni di restrizione, e i due sono tali che d(fs) = X(f)s + f ds X(fg) = X(f)g + fx(g) (27) 12

13 per f, g C (M), s Γ(U, E), consideriamo s Γ(U, E) e f 1,..., f r Γ p. Allora f 1... f r s Γ p r 1 (provate): in più d(f 1... f r s) = r f 1... X(f i )... f r s + f 1... f r ds (28) i=1 che è un elemento di Γ p r 2. Con ciò abbiamo che d(γp r 1 ) Γp r 2, per p M, r 1, d mappa come sopra. Dunque, d definisce una mappa tra i due spazi che passa al quoziente ed è lineare: σ p r,d : J r (E) p J r 1 (E) p (29) Al variare di p M, σ r,d definisce una mappa J r (E) J r 1 (E) che è lineare fibra per fibra. Supponiamo ora che d sia della forma d d, con d, d operatori Γ(U, E) Γ(U, E) che rispettano le condizioni Ripetendo due volte un ragionamento analogo a quello sopra, si ottiene l inclusione d(γ p r 1 ) Γp r 3, e d passa al quoziente definendo una mappa lineare σ p r,d : J r (E) p J r 2 (E) p (30) Al variare di p M, σ r,d definisce una mappa J r (E) J r 1 (E) che è lineare fibra per fibra. Fatta questa introduzione genrale, lo scopo del resto della sezione è mostrare come il linguaggio dei fibrati dona un modo elegante di parlare di calcolo delle variazioni su una varietà (ed è quindi strumento essenziale allo studio della teoria dei campi classica). Innanzitutto, è possibile definire gli spazi dei jets anche per fibrati non vettoriali. Non cercheremo eccessivo rigore ma ci limiteremo a dare delle idee generali. Supponiamo che E M sia un fibrato liscio, localmente banale come previsto nella Osservazione 1. Chiamiamo come al solito Γ(E) lo spazio delle sue sezioni globali; non essendo le fibre di π dotate di una struttura vettoriale, Γ(E) non ha una struttura naturale di spazio vettoriale. Dovremo allora trovare un modo alternativo per definire gli spazi dei jets. Procediamo quindi a definire una relazione di equivalenza su Γ(E) e a fare il quoziente. Moralmente, quello che vogliamo è che s, s Γ(E) siano uguali all ordine r nel punto p. Questa proprietà è squisitamente locale, perciò possiamo benissimo restringerci ad un intorno banalizzante U per cui π (U) = M E p : in questo scenario una sezione è univocamente determinata da come si comporta sulla fibra, ossia è una mappa id α: M E p : x U (x, α(x)). Questo apre la strada alla giusta definizione: Diciamo che due sezioni s, s sono uguali all ordine r nel punto p se e solo se le mappe α, α che le definiscono sono tali che α(p) = α (p); In una (e quindi in tutte) le coordinatizzazioni locali di E p le derivate parziali di α e α coincidono in p fino all ordine r: questo si scrive in modo un po ingarbugliato usando i multiindici, quindi è un ottimo, noioso, esercizio. Va verificato che la definizione data non dipende dalla trivializzazione scelta (e quindi dalle coordinatizzazioni possibili su π (U): questo implica che essere uguali fino 13

14 all ordine r in p è una relazione di equivalenza in Γ(E) che chiamiamo r,p. L insieme quoziente Γ(E)/ r,p è quello che chiamiamo spazio degli r-jets in p, e che indichiamo con J r (E) p. Sorge spontanea la domanda: p M J r (E) p si può rendere in qualche modo lo spazio totale di un fibrato su M (la proiezione sarà definita come al solito)? La risposta è sì: prendiamo in considerazione l insieme J r (E) = Γ(E) M, quozientato per la relazione che identifica (s, p), (s, p ) se e solo se p = p e s r,p s. L insieme quoziente J/ r,p è lo spazio totale di un fibrato, le cui fibre sono esattamente J r (E) p se la proiezione π r : J r (E) M è definita da (s, p) p. Osservazione 5 : Se r < r esiste una mappa J r (E) J r (E), per l ovvio motivo che se s, s coincidono fino all ordine r, coincidono in particolare fino all ordine r. Ora che abbiamo reso J r (E) M un fibrato, consideriamo l insieme Γ(J r (E), M) delle sue sezioni globali. Si osservi che esiste una mappa canonica j r : Γ(E) s Γ(J r (E)) j r (s): p [(s, p)] (31) dove [(s, p)] è la classe di equivalenza rispetto a r,p. Legami col calcolo delle variazioni. Spieghiamo ora l applicazione promessa: se π : E M è un fibrato (anche non vettoriale, ma sempre liscio) e r 1 è un intero, definiamo una lagrangiana di ordine r come una funzione regolare su J r (E), che denotiamo con la lettera L. Per evitare problemi supponiamo che lo spazio di base sia una varietà orientabile e compatta, in modo che possieda una forma volume dµ e che abbia senso integrare M dµ e ogni funzione f C (M) mediante fdµ. In particolare, per una lagrangiana L denotiamo con L la M mappa L: Γ(E) R s L(j r (s) p )dµ M (32) In poche parole il compito del calcolo delle variazioni è di studiare le proprietà di L quando viene valutata su curve in Γ(E). Il problema classico del calcolo delle variazioni è in particolare quello di studiare la variazione all ordine 1 d dλ L(s(λ)) λ=0 (33) λ s(λ) essendo una curva sufficientemente regolare in Γ(E). Sepolto sotto la questione c è un certo operatore differenziale, detto di Eulero Lagrange, che in generale è complicato da determinare. Restringiamo quindi il campo di lavoro e supponiamo che r = 1; E M sia il fibrato banale; M abbia coordinate (x i ) = x. 14

15 Ogni elemento di Γ(E) si scriverà allora in modo unico come funzioni ϕ = (ϕ a (x i )) (anche a sono indici). Un sistema di coordinate su J 1 (E) è determinato dalla posizione ϕ ai = ϕ a x i (34) (precisamente, (x i, ϕ a, ϕ ai ) sono coordinate su J 1 (E).) Ora, una funzione L: J 1 (E) R verrà detta lagrangiana, e sarà rappresentata da una funzione L = L(x i, ϕ a, ϕ ai ) (35) delle variabili suddette. A questo punto però la L definita sopra acquista una forma che dovrebbe essere nota a molti: L: s L(x, ϕ(x), ϕ(x))dµ (36) M (o in coordinate s M L(xi, ϕ a, ϕ ai )dµ). Con queste notazioni fissate una volta per tutte, calcoliamo d dλ L(s(λ)) λ=0 : se λ s(λ) = (ϕ a λ (x)) è una curva in Γ(E), poniamo δ a (x) = d dλ ϕa λ(x) L a = L ϕ a ; λ=0 L L ai ϕ ai Allora d dλ L(s(λ)) λ=0 = d L(x, ϕ λ (x), ϕ λ (x))dµ dλ M [ = La (x, ϕ(x), ϕ(x))δ a (x) ] dµ M + L ai (x, ϕ(x), ϕ(x)) i δ a (x)dµ M λ=0 Se ora supponiamo che δ a sia a supporto compatto e integriamo opportunamente per parti siamo rimasti con [ ] L a (x, ϕ(x), ϕ(x)) i L ai (x, ϕ(x), ϕ(x)) δ a (x)dµ (37) M che ricorda molto da vicino le equazioni di Lagrange. 2 Connessioni Affini. Sia E p M un fibrato di rango k su una varietà liscia M (che dovremo supporre a un certo punto paracompatta). Proposizione 2.1 : Le sezioni del fibrato r T M E si possono pensare come r-forme a valori in E. 15

16 Proof. Dato U M aperto banalizzante sia per (E, p) che per ( r T M, π) (basta prendere l intersezione di due aperti banalizzanti attorno a x M), ogni sezione locale ξ Γ(U, r T M E) si scrive ξ = I j ξj I σ j dx I. (38) Si può dunque identificare ξ al vettore di r-forme (ξ 1,..., ξ k ), dove ξ m = I ξm I σ m dx I = ( I ξm I dx I) σ m. (39) Definiamo allora Ω r (U, E) := Γ(U, r T M E) (40) (si noti che Ω r (U, E) è in modo naturale un C -modulo). Direttamente dalla definizione segue che Ω 0 (U, E) = Γ(U, R E) = Γ(U, E) e Ω 1 (U, E) = Γ(U, T M E): in particolare il primo è il fascio delle sezioni globali quando U = M. Definizione 2.1 : Una connessione lineare su un fibrato E p M è una applicazione lineare D : Ω 0 (M, E) Ω 1 (M, E) (41) tale che D(fσ+τ) = df σ+fd(σ)+dτ, per ogni f C (M), σ, τ Ω 0 (M, E). Osservazione 6 : Una connessione lineare è un operatore locale, nel senso che è compatibile con le restrizioni del fascio Ω r (, E): il diagramma Ω 0 (M) D Ω 1 (M) (42) ρ 0 Ω 0 (U) D U ρ 1 Ω 1 (U) è dunque commutativo. Esempio 2.1 [Differenziale di Cartan]: Sul fibrato banale E = R M M c è sempre la connessione data dall usuale differenziale, d(f 1,..., f k ) = (df 1,..., df k ) (43) Si può definire più in generale sul fibrato banale di rango k, E = R k M M. La definizione di connessione nasce precisamente per definire un estensione del differenziale di Cartan a un fibrato non banale. Più in generale, data una matrice k k, diciamo ω, possiamo definire una connessione d A sullo spazio totale E come d A σ = dσ + ωσ (44) dove si è indicato σ = (σ 1,..., σ k ) e dσ = (dσ 1,..., dσ k ); in breve si indica con d A = d + ω. 16

17 Si verifica che d A (fσ + τ) = (d + ω)(fσ + τ) = d(fσ + τ) + ω(fσ + τ) = df σ + fdσ + dτ + fωσ + ωτ = df σ + f(d + ω)σ + (d + ω)τ = df σ + (d A σ) + d A τ Studiandola a livello locale, ci si accorge che ogni connessione d A si scrive localmente nella forma d + ω, dove ω è una opportuna matrice di 1-forme. Proof. Sia come prima U un aperto che banalizzi allo stesso tempo E e 1 T M = T M. Sia poi {σ 1,..., σ k } una base di sezioni locali, e D una assegnata connessione su E. Ogni sezione s Γ(U, E) si scrive come s = s i σ i, dunque Ds = D(s i σ i ) = ds i σ i + s i Dσ i (45) A questo punto, siccome U banalizza E T M, Dσ i deve potersi scrivere come θ ij σ j, θ ij essendo una 1-forma su U, per ogni coppia di indici. Allora Ds = (ds j + s i θ ij ) σ j (46) scrittura che in forma contratta si rappresenta come Ds = (d + θ)s, intendendo con s il vettore (s 1... s k ), θ = (θ ij ). Definizione 2.2 : La matrice θ ora determinata è detta matrice della connessione D. Il criterio di tensorialità. Per procedere nella esposizione serve una digressione sul cosiddetto criterio di tensorialità. Dati due fibrati E, E B su una stessa base, che assumiamo essere una varietà C, definiamo per prima cosa il fibrato hom(e, E ) come E E, di funzioni di transizione g t ij g ij. Vorremmo dimostrare alcune relazioni che legano tra loro Γ(M, E E ) a Γ(M, E) e a Γ(M, E ), e Γ(M, E ) a Γ(M, E). Per farlo ci serviamo di alcune proprietà del (pre)fascio delle sezioni di E M; in particolare osserviamo che su aperti abbastanza piccoli da banalizzare E ed E ogni sezione s = s U di E E si scrive come una somma k f k U gu k per opportune f U, g U C (U). Scelta una partizione dell unità {φ U } U subordinata a un ricoprimento di aperti banalizzanti, notiamo che la sezione s su U si scrive s = s 1 = s U φ U = U (sφ U ) = U σ U (47) dove σ U Γ(U, E E ). A questo punto ognuna delle σ U si scrive come sopra, σ U = k f k U gu k, in modo che s = U,k f k U gu k. La sezione s determina allora in modo univoco un elemento di Γ(M, E) C Γ(M, E ), porgendo così un isomorfismo Γ(M, E E ) = Γ(M, E) C Γ(M, E ). (48) Operando in modo simile si ricava un isomorfismo Γ(M, E ) = Γ(M, E) (49) che implica (ed è implicato dal)l esistenza di una dualità canonica Γ(M, E) C Γ(M, E ) C (M) tra i C -moduli Γ(M, E) e Γ(M, E ). Alla luce di tutto questo vale il seguente 17

18 Teorema 2.1 : Siano E, E fibrati vettoriali su una stessa base M, varietà C. Allora esiste un isomorfismo di spazi vettoriali, naturale nei suoi argomenti, tra Γ(M, E E ) e hom C (Γ(M, E), Γ(M, E )). In particolare, τ Γ(M, E E ) f τ (α) p = τ, α (p), per ogni α Γ(M, E), p M. Proof. Abbiamo la catena di isomorfismi Γ(M, E E ) = Γ(M, E ) C Γ(M, E ) = hom C (Γ(M, E), Γ(M, E )), (50) tutti giustificati dalla osservazione precedente. Osservazione 7 : Questo principio ha molte applicazioni che emergeranno durante la discussione. Esso stabilisce una biiezione { } { } sezioni globali di fibrati su M mappe di C -moduli tra sezioni di E e di E secondo la quale ogni campo tensoriale su E E si può riguardare come una mappa tra gli spazi delle sezioni. Lemma 2.1 : Se D, D sono due connessioni su E, la differenza D D è un omomorfismo di C (M)-moduli Ω 0 (M, E) Ω 1 (M, E). Proof. Valutiamo D D su fs. (D D )fs = df s + fds df s fd s = f(d D )s (51) per ogni f C (M), s Ω 0 (M, E). Il criterio di tensorialità enunciato sopra dice allora che la differenza D D determina univocamente una sezione del fibrato E E 1 T M, ossia un elemento di Ω 1 (M, End(E)). Localmente, D = d + θ, D = d + θ, dunque D D è una matrice di 1-forme. Da ciò segue quasi subito la seguente considerazione: Proposizione 2.2 : L insieme D E di tutte le connessioni su E è uno spazio affine su Ω 1 (M, End(E)). Proof. Basta mostrare che su E esiste almeno una connessione D: grazie al lemma precedente ogni altra connessione si ottiene facendo operare il gruppo abeliano Ω 1 (M, End(E)) per traslazione, il che conclude la prova. Si deve ipotizzare qui che M sia almeno paracompatto, in modo da garantire l esistenza di una partizione dell unità subordinata ad un suo ricoprimento di aperti banalizzanti. Ciò assicurato, chiamiamo {U α } il ricoprimento e {φ α } la partizione associata. Allora porre D = α A φ α D α (52) ove D α è la connessione indotta dal differenziale di Cartan sul fibrato E Uα una connessione su E; infatti ( ) D(fs) = φα D α fs = R k, è = φ α (x)d α (fs)(x) = φ α (x)(df s) + φ α fd α s ( ) = 1 df s + f φα D α s 18

19 Si noti, a margine, che D dipende fortemente dalla partizione dell unità scelta. Osservazione 8 : Un fibrato qualsiasi non possiede una connessione canonica, come avviene per il fibrato banale e per la connessione di Cartan. Per avere una connessione definia in modo intrinseco, ci si dovrà appoggiare a delle strutture aggiuntive sovraimposte al fibrato (per esempio una metrica riemanniana). La connessione D induce naturalmente dei differenziali d D : Ω r (M, E) Ω r+1 (M, E) per ogni 1 r k, univocamente determinati dalle proprietà d D = D al grado zero; d D (ω ξ) = dω ξ + ( 1) p ω d D ξ er ogni ω Ω p (M), ξ Ω p (M, E). Osservazione 9 : Non è in generale vero che d D d D = 0, dunque in generale d D non è il codifferenziale di un complesso di cocatene: per esempio, sia D = d + θ una connessione sul fibrato banale in rette R. Allora d D ω = dω + θ ω (53) (il prodotto tra una matrice di 1-forme e un vettore di r-forme si fa prendendo la forma che al posto j ha i θ jiω i ). In tal caso (d D d D )f = d(df + fθ) + θ (df + fθ) = d 2 f + d(fθ) + θ df + f(θ θ) = fdθ + df θ + θ df = fdθ e dunque se θ non è chiusa, (d D d D ) 0. Va tuttavia osservato che per ogni connessione D su E, d D d D definisce un omomorfismo C -lineare, come si osserva dal conto (d D d D )(fs) = d D (df s + fd D s) = d D (df s) + d D (fd D s) = d 2 f s df d D s + df d D s + f(d D d D )s = f(d D d D )s d D d D individua quindi, per il criterio di tensorialità (v. Esercizio 4), una sezione globale di Ω 2 (M, End(E)), chiamata curvatura della connessione e indicata con F D. Localmente, la curvatura si rappresenta in termini di una matrice di 2-forme detta matrice di curvatura della connessione; su un aperto banalizzante si ha (d D d D )s = (d + θ) (d + θ)s = d(ds + θs) + θ (ds + θs) = d(θs) + θ ds + (θ θ)s = (dθ)s θ ds + θ ds + (θ θ)s = ( dθ + θ θ ) s =: Θs (si noti che θ θ 0 perché ha per componente ij la somma l θ il θ lj ). Esercizio 4 : Si trovi come cambia la curvatura di D con un cambio di coordinate e si deduca che si tratta di una quantità tensoriale. 19

20 Connessione indotta su End(E) e identità di Bianchi. Una connessione D su E ne induce naturalmente una sul fibrato End(E) con la posizione ˆD : Ω 0 (M, End(E)) Ω 1 (M, End(E)) (54) definita da ( ˆDL)s = D(Ls) L(Ds) per ogni L Ω 0 (M, End(E)) che manda p M in L p : E E morfismo di fibrati. È facile verificare che questa posizione rende ˆD una connessione: ( ˆD(fL))s = D(fLs) fl(ds) = df Ls + f(d(ls) L(Ds)) = df Ls + f( ˆDL)s per ogni f C (M), s Ω 0 (M, E), L Ω 0 (M, End(E)). Da ciò si deduce la presenza di derivazioni in ogni grado ˆd D := d ˆD : Ω r (M, End(E)) Ω r+1 (M, End(E)) (55) Teorema 2.2 [Identità di Bianchi]: Se F D è la curvatura di una connessione D su E, allora ˆd D F D = 0 (56) Proof. Localmente si ha d D = d + θ e F D = Θ. Dunque D altra parte vale ˆd D s = d D (Θs) Θ d D s = d(θs) + θ Θs Θ (d D s) = (dθ)s + Θ ds + (θ Θ)s Θ ds (Θ θ)s = ( dθ + [θ, Θ] ) s dθ = d(dθ + θ θ) = d 2 θ + dθ θ θ dθ = (Θ θ θ) θ θ (Θ θ θ) = Θ θ θ Θ = [Θ, θ]. Dunque ( ˆd D Θ)s = 0, per ogni s Γ(U, E). Derivata Covariante. Deduciamo da quanto esposto finora la nozione di derivata covariante di una sezione lungo un campo. Sia M una varietà liscia, ed E M un fibrato su M. Si osservi innanzitutto che c è una dualità, : Γ(M, T M) Ω 1 (M, E) Ω 0 (M, E) (57) (perché ce n è una Γ(M, T M) Ω 1 (M)). Allora, se D è una connessione su E, per ogni campo vettoriale X Γ(M, T M), e ogni sezione s Ω 0 (M, E), la quantità si dice derivata covariante di s lungo X rispetto a D. X s := X, Ds Ω 0 (M, E) (58) 20

ALGEBRA I: CARDINALITÀ DI INSIEMI

ALGEBRA I: CARDINALITÀ DI INSIEMI ALGEBRA I: CARDINALITÀ DI INSIEMI 1. CONFRONTO DI CARDINALITÀ E chiaro a tutti che esistono insiemi finiti cioè con un numero finito di elementi) ed insiemi infiniti. E anche chiaro che ogni insieme infinito

Dettagli

Funzioni in più variabili

Funzioni in più variabili Funzioni in più variabili Corso di Analisi 1 di Andrea Centomo 27 gennaio 2011 Indichiamo con R n, n 1, l insieme delle n-uple ordinate di numeri reali R n4{(x 1, x 2,,x n ), x i R, i =1,,n}. Dato X R

Dettagli

4 Quarta lezione: Spazi di Banach e funzionali lineari. Spazio duale

4 Quarta lezione: Spazi di Banach e funzionali lineari. Spazio duale 4 Quarta lezione: Spazi di Banach e funzionali lineari. Spazio duale Spazi Metrici Ricordiamo che uno spazio metrico è una coppia (X, d) dove X è un insieme e d : X X [0, + [ è una funzione, detta metrica,

Dettagli

Anello commutativo. Un anello è commutativo se il prodotto è commutativo.

Anello commutativo. Un anello è commutativo se il prodotto è commutativo. Anello. Un anello (A, +, ) è un insieme A con due operazioni + e, dette somma e prodotto, tali che (A, +) è un gruppo abeliano, (A, ) è un monoide, e valgono le proprietà di distributività (a destra e

Dettagli

(V) (FX) Z 6 è un campo rispetto alle usuali operazioni di somma e prodotto.

(V) (FX) Z 6 è un campo rispetto alle usuali operazioni di somma e prodotto. 29 giugno 2009 - PROVA D ESAME - Geometria e Algebra T NOME: MATRICOLA: a=, b=, c= Sostituire ai parametri a, b, c rispettivamente la terzultima, penultima e ultima cifra del proprio numero di matricola

Dettagli

Parte 2. Determinante e matrice inversa

Parte 2. Determinante e matrice inversa Parte. Determinante e matrice inversa A. Savo Appunti del Corso di Geometria 013-14 Indice delle sezioni 1 Determinante di una matrice, 1 Teorema di Cramer (caso particolare), 3 3 Determinante di una matrice

Dettagli

ALGEBRA I: NUMERI INTERI, DIVISIBILITÀ E IL TEOREMA FONDAMENTALE DELL ARITMETICA

ALGEBRA I: NUMERI INTERI, DIVISIBILITÀ E IL TEOREMA FONDAMENTALE DELL ARITMETICA ALGEBRA I: NUMERI INTERI, DIVISIBILITÀ E IL TEOREMA FONDAMENTALE DELL ARITMETICA 1. RICHIAMI SULLE PROPRIETÀ DEI NUMERI NATURALI Ho mostrato in un altra dispensa come ricavare a partire dagli assiomi di

Dettagli

Per lo svolgimento del corso risulta particolarmente utile considerare l insieme

Per lo svolgimento del corso risulta particolarmente utile considerare l insieme 1. L insieme R. Per lo svolgimento del corso risulta particolarmente utile considerare l insieme R = R {, + }, detto anche retta reale estesa, che si ottiene aggiungendo all insieme dei numeri reali R

Dettagli

Appunti di Algebra Lineare

Appunti di Algebra Lineare Appunti di Algebra Lineare Indice 1 I vettori geometrici. 1 1.1 Introduzione................................... 1 1. Somma e prodotto per uno scalare....................... 1 1.3 Combinazioni lineari e

Dettagli

x 1 + x 2 3x 4 = 0 x1 + x 2 + x 3 = 0 x 1 + x 2 3x 4 = 0.

x 1 + x 2 3x 4 = 0 x1 + x 2 + x 3 = 0 x 1 + x 2 3x 4 = 0. Problema. Sia W il sottospazio dello spazio vettoriale R 4 dato da tutte le soluzioni dell equazione x + x 2 + x = 0. (a. Sia U R 4 il sottospazio dato da tutte le soluzioni dell equazione Si determini

Dettagli

γ (t), e lim γ (t) cioè esistono la tangente destra e sinistra negli estremi t j e t j+1.

γ (t), e lim γ (t) cioè esistono la tangente destra e sinistra negli estremi t j e t j+1. Capitolo 6 Integrali curvilinei In questo capitolo definiamo i concetti di integrali di campi scalari o vettoriali lungo curve. Abbiamo bisogno di precisare le curve e gli insiemi che verranno presi in

Dettagli

LEZIONE 17. B : kn k m.

LEZIONE 17. B : kn k m. LEZIONE 17 17.1. Isomorfismi tra spazi vettoriali finitamente generati. Applichiamo quanto visto nella lezione precedente ad isomorfismi fra spazi vettoriali di dimensione finita. Proposizione 17.1.1.

Dettagli

10. Insiemi non misurabili secondo Lebesgue.

10. Insiemi non misurabili secondo Lebesgue. 10. Insiemi non misurabili secondo Lebesgue. Lo scopo principale di questo capitolo è quello di far vedere che esistono sottoinsiemi di R h che non sono misurabili secondo Lebesgue. La costruzione di insiemi

Dettagli

Funzioni di più variabili. Ottimizzazione libera e vincolata

Funzioni di più variabili. Ottimizzazione libera e vincolata libera e vincolata Generalità. Limiti e continuità per funzioni di 2 o Piano tangente. Derivate successive Formula di Taylor libera vincolata Lo ordinario è in corrispondenza biunivoca con i vettori di

Dettagli

ALGEBRA: LEZIONI DAL 13 OTTOBRE AL 3 NOVEMBRE

ALGEBRA: LEZIONI DAL 13 OTTOBRE AL 3 NOVEMBRE ALGEBRA: LEZIONI DAL 13 OTTOBRE AL 3 NOVEMBRE 1 DIPENDENZA E INDIPENDENZA LINEARE Se ho alcuni vettori v 1, v 2,, v n in uno spazio vettoriale V, il sottospazio 1 W = v 1,, v n di V da loro generato è

Dettagli

Da una a più variabili: derivate

Da una a più variabili: derivate Da una a più variabili: derivate ( ) 5 gennaio 2011 Scopo di questo articolo è di evidenziare le analogie e le differenze, relativamente al calcolo differenziale, fra le funzioni di una variabile reale

Dettagli

Teoria degli insiemi

Teoria degli insiemi Teoria degli insiemi pag 1 Easy Matematica di dolfo Scimone Teoria degli insiemi Il concetto di insieme si assume come primitivo, cioè non riconducibile a concetti precedentemente definiti. Sinonimi di

Dettagli

Parte 3. Rango e teorema di Rouché-Capelli

Parte 3. Rango e teorema di Rouché-Capelli Parte 3. Rango e teorema di Rouché-Capelli A. Savo Appunti del Corso di Geometria 203-4 Indice delle sezioni Rango di una matrice, 2 Teorema degli orlati, 3 3 Calcolo con l algoritmo di Gauss, 6 4 Matrici

Dettagli

Esistenza di funzioni continue non differenziabili in alcun punto

Esistenza di funzioni continue non differenziabili in alcun punto UNIVERSITÀ DEGLI STUDI DI CAGLIARI FACOLTÀ DI SCIENZE MATEMATICHE, FISICHE E NATURALI CORSO DI LAUREA IN MATEMATICA Esistenza di funzioni continue non differenziabili in alcun punto Relatore Prof. Andrea

Dettagli

Geometria nel piano complesso

Geometria nel piano complesso Geometria nel piano complesso Giorgio Ottaviani Contents Un introduzione formale del piano complesso 2 Il teorema di Napoleone 5 L inversione circolare 6 4 Le trasformazioni di Möbius 7 5 Il birapporto

Dettagli

f(x, y, z) = (x + ky + z, x y + 2z, x + y z) f(x, y, z) = (x + 2y z, x + y z, x + 2y) F (f(x)) = (f(0), f(1), f(2))

f(x, y, z) = (x + ky + z, x y + 2z, x + y z) f(x, y, z) = (x + 2y z, x + y z, x + 2y) F (f(x)) = (f(0), f(1), f(2)) Algebra Lineare e Geometria Analitica Politecnico di Milano Ingegneria Applicazioni Lineari 1. Sia f : R 3 R 3 l applicazione lineare definita da f(x, y, z) = (x + ky + z, x y + 2z, x + y z) per ogni (x,

Dettagli

Lo Spettro primo di un anello. Carmelo Antonio Finocchiaro

Lo Spettro primo di un anello. Carmelo Antonio Finocchiaro Lo Spettro primo di un anello Carmelo Antonio Finocchiaro 2 Indice 1 Lo spettro primo di un anello: introduzione 5 1.1 Le regole del gioco................................ 5 1.2 Prime definizioni e risultati

Dettagli

GEOMETRIA I Corso di Geometria I (seconda parte)

GEOMETRIA I Corso di Geometria I (seconda parte) Corso di Geometria I (seconda parte) anno acc. 2009/2010 Cambiamento del sistema di riferimento in E 3 Consideriamo in E 3 due sistemi di riferimento ortonormali R e R, ed un punto P (x, y, z) in R. Lo

Dettagli

19. Inclusioni tra spazi L p.

19. Inclusioni tra spazi L p. 19. Inclusioni tra spazi L p. Nel n. 15.1 abbiamo provato (Teorema 15.1.1) che, se la misura µ è finita, allora tra i corispondenti spazi L p (µ) si hanno le seguenti inclusioni: ( ) p, r ]0, + [ : p

Dettagli

Numeri complessi e polinomi

Numeri complessi e polinomi Numeri complessi e polinomi 1 Numeri complessi L insieme dei numeri reali si identifica con la retta della geometria: in altri termini la retta si può dotare delle operazioni + e e divenire un insieme

Dettagli

4. Strutture algebriche. Relazioni

4. Strutture algebriche. Relazioni Relazioni Sia R una relazione definita su un insieme A (cioè R A A). R si dice riflessiva se a A : ara R si dice simmetrica se a, b A : arb = bra R si dice antisimmetrica se a, b A : arb bra = a = b R

Dettagli

1 Definizione: lunghezza di una curva.

1 Definizione: lunghezza di una curva. Abstract Qui viene affrontato lo studio delle curve nel piano e nello spazio, con particolare interesse verso due invarianti: la curvatura e la torsione Il primo ci dice quanto la curva si allontana dall

Dettagli

Esercizi su lineare indipendenza e generatori

Esercizi su lineare indipendenza e generatori Esercizi su lineare indipendenza e generatori Per tutto il seguito, se non specificato esplicitamente K indicherà un campo e V uno spazio vettoriale su K Cose da ricordare Definizione Dei vettori v,,v

Dettagli

CS. Cinematica dei sistemi

CS. Cinematica dei sistemi CS. Cinematica dei sistemi Dopo aver esaminato la cinematica del punto e del corpo rigido, che sono gli schemi più semplificati con cui si possa rappresentare un corpo, ci occupiamo ora dei sistemi vincolati.

Dettagli

IV-1 Funzioni reali di più variabili

IV-1 Funzioni reali di più variabili IV- FUNZIONI REALI DI PIÙ VARIABILI INSIEMI IN R N IV- Funzioni reali di più variabili Indice Insiemi in R n. Simmetrie degli insiemi............................................ 4 2 Funzioni da R n a R

Dettagli

GRUPPI TOPOLOGICI. 1 Gruppi Un gruppo è un insieme G, che contiene un elemento distinto e e su cui è definita un operazione binaria

GRUPPI TOPOLOGICI. 1 Gruppi Un gruppo è un insieme G, che contiene un elemento distinto e e su cui è definita un operazione binaria CAPITOLO I GRUPPI TOPOLOGICI 1 Gruppi Un gruppo è un insieme G, che contiene un elemento distinto e e su cui è definita un operazione binaria (1.1) G G (a, b) a b G con le proprietà: (i) a e = e a = a

Dettagli

LEZIONE 14. a 1,1 v 1 + a 1,2 v 2 + a 1,3 v 3 + + a 1,n 1 v n 1 + a 1,n v n = w 1

LEZIONE 14. a 1,1 v 1 + a 1,2 v 2 + a 1,3 v 3 + + a 1,n 1 v n 1 + a 1,n v n = w 1 LEZIONE 14 141 Dimensione di uno spazio vettoriale Abbiamo visto come l esistenza di una base in uno spazio vettoriale V su k = R, C, permetta di sostituire a V, che può essere complicato da trattare,

Dettagli

Compito di SISTEMI E MODELLI. 19 Febbraio 2015

Compito di SISTEMI E MODELLI. 19 Febbraio 2015 Compito di SISTEMI E MODELLI 9 Febbraio 5 Non é ammessa la consultazione di libri o quaderni. Le risposte vanno giustificate. Saranno rilevanti per la valutazione anche l ordine e la chiarezza di esposizione.

Dettagli

Matematica B - a.a 2006/07 p. 1

Matematica B - a.a 2006/07 p. 1 Matematica B - a.a 2006/07 p. 1 Definizione 1. Un sistema lineare di m equazioni in n incognite, in forma normale, è del tipo a 11 x 1 + + a 1n x n = b 1 a 21 x 1 + + a 2n x n = b 2 (1) = a m1 x 1 + +

Dettagli

Esercizi di Algebra Lineare. Claretta Carrara

Esercizi di Algebra Lineare. Claretta Carrara Esercizi di Algebra Lineare Claretta Carrara Indice Capitolo 1. Operazioni tra matrici e n-uple 1 1. Soluzioni 3 Capitolo. Rette e piani 15 1. Suggerimenti 19. Soluzioni 1 Capitolo 3. Gruppi, spazi e

Dettagli

Il problema della fattorizzazione nei domini di Dedekind

Il problema della fattorizzazione nei domini di Dedekind Il problema della fattorizzazione nei domini di Dedekind Stefania Gabelli Dipartimento di Matematica, Università degli Studi Roma Tre Note per i corsi di Algebra Commutativa a.a. 2010/2011 1 Indice 1 Preliminari

Dettagli

CAPITOLO I SPAZI TOPOLOGICI

CAPITOLO I SPAZI TOPOLOGICI CAPITOLO I SPAZI TOPOLOGICI 1 Topologie su un insieme Sia X un insieme. Una topologia su X è una famiglia τ di sottoinsiemi di X, che si dicono aperti. Gli aperti di una topologia su X devono soddisfare

Dettagli

Algoritmo euclideo, massimo comun divisore ed equazioni diofantee

Algoritmo euclideo, massimo comun divisore ed equazioni diofantee Algoritmo euclideo, massimo comun divisore ed equazioni diofantee Se a e b sono numeri interi, si dice che a divide b, in simboli: a b, se e solo se esiste c Z tale che b = ac. Si può subito notare che:

Dettagli

Dipendenza dai dati iniziali

Dipendenza dai dati iniziali Dipendenza dai dati iniziali Dopo aver studiato il problema dell esistenza e unicità delle soluzioni dei problemi di Cauchy, il passo successivo è vedere come le traiettorie di queste ultime dipendono

Dettagli

ALCUNE APPLICAZIONI DEL CALCOLO DIFFERENZIALE

ALCUNE APPLICAZIONI DEL CALCOLO DIFFERENZIALE ALCUNE APPLICAZIONI DEL CALCOLO DIFFERENZIALE Sia I un intervallo di R e siano a = inf(i) R { } e b = sup(i) R {+ }; i punti di I diversi dagli estremi a e b, ( e quindi appartenenti all intervallo aperto

Dettagli

Rango: Rouchè-Capelli, dimensione e basi di spazi vettoriali.

Rango: Rouchè-Capelli, dimensione e basi di spazi vettoriali. CAPITOLO 7 Rango: Rouchè-Capelli, dimensione e basi di spazi vettoriali. Esercizio 7.1. Determinare il rango delle seguenti matrici al variare del parametro t R. 1 4 2 1 4 2 A 1 = 0 t+1 1 A 2 = 0 t+1 1

Dettagli

4. Operazioni elementari per righe e colonne

4. Operazioni elementari per righe e colonne 4. Operazioni elementari per righe e colonne Sia K un campo, e sia A una matrice m n a elementi in K. Una operazione elementare per righe sulla matrice A è una operazione di uno dei seguenti tre tipi:

Dettagli

Dimensione di uno Spazio vettoriale

Dimensione di uno Spazio vettoriale Capitolo 4 Dimensione di uno Spazio vettoriale 4.1 Introduzione Dedichiamo questo capitolo ad un concetto fondamentale in algebra lineare: la dimensione di uno spazio vettoriale. Daremo una definizione

Dettagli

A i è un aperto in E. i=1

A i è un aperto in E. i=1 Proposizione 1. A è aperto se e solo se A c è chiuso. Dimostrazione. = : se x o A c, allora x o A = A o e quindi esiste r > 0 tale che B(x o, r) A; allora x o non può essere di accumulazione per A c. Dunque

Dettagli

ED. Equazioni cardinali della dinamica

ED. Equazioni cardinali della dinamica ED. Equazioni cardinali della dinamica Dinamica dei sistemi La dinamica dei sistemi di punti materiali si può trattare, rispetto ad un osservatore inerziale, scrivendo l equazione fondamentale della dinamica

Dettagli

Teoria dei Fibrati. Filippo Bracci

Teoria dei Fibrati. Filippo Bracci Teoria dei Fibrati Filippo Bracci DIPARTIMENTO DI MATEMATICA UNIVERSITÀ DI ROMA TOR VERGATA VIA DELLA RICERCA SCIENTIFICA 1, 00133 ROMA, ITALY. E-mail address: fbracci@mat.uniroma2.it Indice Capitolo

Dettagli

APPLICAZIONI LINEARI

APPLICAZIONI LINEARI APPLICAZIONI LINEARI 1. Esercizi Esercizio 1. Date le seguenti applicazioni lineari (1) f : R 2 R 3 definita da f(x, y) = (x 2y, x + y, x + y); (2) g : R 3 R 2 definita da g(x, y, z) = (x + y, x y); (3)

Dettagli

LA FUNZIONE ESPONENZIALE E IL LOGARITMO

LA FUNZIONE ESPONENZIALE E IL LOGARITMO LA FUNZIONE ESPONENZIALE E IL LOGARITMO APPUNTI PER IL CORSO DI ANALISI MATEMATICA I G. MAUCERI Indice 1. Introduzione 1 2. La funzione esponenziale 2 3. Il numero e di Nepero 9 4. L irrazionalità di e

Dettagli

RETTE, PIANI, SFERE, CIRCONFERENZE

RETTE, PIANI, SFERE, CIRCONFERENZE RETTE, PIANI, SFERE, CIRCONFERENZE 1. Esercizi Esercizio 1. Dati i punti A(1, 0, 1) e B(, 1, 1) trovare (1) la loro distanza; () il punto medio del segmento AB; (3) la retta AB sia in forma parametrica,

Dettagli

Dinamica dei corpi deformabili. Conservazione della quantità di moto

Dinamica dei corpi deformabili. Conservazione della quantità di moto Capitolo 2 Dinamica dei corpi deformabili. Conservazione della quantità di moto 2.1 Forze Le forze che agiscono su un elemento B n del corpo B sono essenzialmente di due tipi: a) forze di massa che agiscono

Dettagli

Capitolo 9: PROPAGAZIONE DEGLI ERRORI

Capitolo 9: PROPAGAZIONE DEGLI ERRORI Capitolo 9: PROPAGAZIOE DEGLI ERRORI 9.1 Propagazione degli errori massimi ella maggior parte dei casi le grandezze fisiche vengono misurate per via indiretta. Il valore della grandezza viene cioè dedotto

Dettagli

2/4 OPERATORI NEGLI SPAZI DI HILBERT INFINITODIMENSIONALI 08/09 1 INTRODUZIONE

2/4 OPERATORI NEGLI SPAZI DI HILBERT INFINITODIMENSIONALI 08/09 1 INTRODUZIONE 2/4 OPERATORI NEGLI SPAZI DI HILBERT INFINITODIMENSIONALI 08/09 INTRODUZIONE Il problema agli autovalori di un operatore La trattazione del problema agli autovalori di un operatore fatta negli spazi finitodimensionali

Dettagli

FORME DIFFERENZIALI IN R 3 E INTEGRALI

FORME DIFFERENZIALI IN R 3 E INTEGRALI FORME DIFFERENZIALI IN R 3 E INTEGRALI CLADIO BONANNO Contents 1. Spazio duale di uno spazio vettoriale 1 1.1. Esercizi 3 2. Spazi tangente e cotangente 4 2.1. Esercizi 6 3. Le forme differenziali e i

Dettagli

Teoremi di struttura dei moduli finitamente generati su un dominio euclideo

Teoremi di struttura dei moduli finitamente generati su un dominio euclideo Teoremi di struttura dei moduli finitamente generati su un dominio euclideo Appunti al corso di Algebra Anno accademico 23-24 1 Prodotti diretti. Siano M e N due moduli sullo stesso anello A, non necessariamente

Dettagli

1 Numeri Complessi, Formula di Eulero, Decomposizioni Notevoli,... ecc.

1 Numeri Complessi, Formula di Eulero, Decomposizioni Notevoli,... ecc. Classi Numeriche 1 1 Numeri Complessi, Formula di Eulero, Decomposizioni Notevoli,... ecc. In questo breve capitolo richiamiamo le definizioni delle classi numeriche fondamentali, già note al lettore,

Dettagli

MATEMATICA. { 2 x =12 y 3 y +8 x =0, si pone il problema di trovare, se esistono, un numero x ed un numero y che risolvano entrambe le equazioni.

MATEMATICA. { 2 x =12 y 3 y +8 x =0, si pone il problema di trovare, se esistono, un numero x ed un numero y che risolvano entrambe le equazioni. MATEMATICA. Sistemi lineari in due equazioni due incognite. Date due equazioni lineari nelle due incognite x, y come ad esempio { 2 x =12 y 3 y +8 x =0, si pone il problema di trovare, se esistono, un

Dettagli

Spazi metrici e spazi topologici

Spazi metrici e spazi topologici Topologia 1 2007/2008 D. Dikranjan, UDINE Spazi metrici e spazi topologici D. Dikranjan L origine della topologia é dovuta a H. Poincaré, M. Fréchet e F. Hausdorff circa un secolo fa. Adesso questa disciplina

Dettagli

Calcolo tensoriale: introduzione elementare ed applicazione alla relatività speciale

Calcolo tensoriale: introduzione elementare ed applicazione alla relatività speciale Capitolo 6 Calcolo tensoriale: introduzione elementare ed applicazione alla relatività speciale Il calcolo tensoriale costituisce un capitolo della geometria differenziale, e potrebbe essere discusso in

Dettagli

Le trasformazioni geometriche

Le trasformazioni geometriche Le trasformazioni geometriche Le trasformazioni geometriche Le trasformazioni affini del piano o affinità Le similitudini Le isometrie Le traslazioni Le rotazioni Le simmetrie assiale e centrale Le omotetie

Dettagli

Anno 5 Funzioni inverse e funzioni composte

Anno 5 Funzioni inverse e funzioni composte Anno 5 Funzioni inverse e funzioni composte 1 Introduzione In questa lezione impareremo a definire e ricercare le funzioni inverse e le funzioni composte. Al termine di questa lezione sarai in grado di:

Dettagli

I Numeri Complessi. Si verifica facilmente che, per l operazione di somma in definita dalla (1), valgono le seguenti

I Numeri Complessi. Si verifica facilmente che, per l operazione di somma in definita dalla (1), valgono le seguenti Y T T I Numeri Complessi Operazioni di somma e prodotto su Consideriamo, insieme delle coppie ordinate di numeri reali, per cui si ha!"# $&% '( e )("+* Introduciamo in tale insieme una operazione di somma,/0"#123045"#

Dettagli

QUAL È LA DISTANZA TRA ROMA E NEW YORK? UN PO' DI GEOMETRIA ANALITICA SULLA SFERA

QUAL È LA DISTANZA TRA ROMA E NEW YORK? UN PO' DI GEOMETRIA ANALITICA SULLA SFERA QUAL È LA DISTANZA TRA ROMA E NEW YORK? UN PO' DI GEOMETRIA ANALITICA SULLA SFERA Michele Impedovo Bollettino dei Docenti di Matematica del Canton Ticino (CH) n 36, maggio 98. Il problema Il lavoro che

Dettagli

METODI ITERATIVI PER SISTEMI LINEARI

METODI ITERATIVI PER SISTEMI LINEARI METODI ITERATIVI PER SISTEMI LINEARI LUCIA GASTALDI 1. Metodi iterativi classici Sia A R n n una matrice non singolare e sia b R n. Consideriamo il sistema (1) Ax = b. Un metodo iterativo per la soluzione

Dettagli

Lezioni del corso AL430 - Anelli Commutativi e Ideali

Lezioni del corso AL430 - Anelli Commutativi e Ideali Lezioni del corso AL430 - Anelli Commutativi e Ideali a.a. 2011-2012 Introduzione alla Teoria delle Valutazioni Stefania Gabelli Testi di Riferimento M. F. Atiyah and I. G. Macdonald, Introduction to Commutative

Dettagli

OGNI SPAZIO VETTORIALE HA BASE

OGNI SPAZIO VETTORIALE HA BASE 1 Mimmo Arezzo OGNI SPAZIO VETTORIALE HA BASE CONVERSAZIONE CON ALCUNI STUDENTI DI FISICA 19 DICEMBRE 2006 2 1 Preliminari Definizione 1.0.1 Un ordinamento parziale (o una relazione d ordine parziale)

Dettagli

CURVE DI LIVELLO. Per avere informazioni sull andamento di una funzione f : D IR n IR può essere utile considerare i suoi insiemi di livello.

CURVE DI LIVELLO. Per avere informazioni sull andamento di una funzione f : D IR n IR può essere utile considerare i suoi insiemi di livello. CURVE DI LIVELLO Per avere informazioni sull andamento di una funzione f : D IR n IR può essere utile considerare i suoi insiemi di livello. Definizione. Si chiama insieme di livello k della funzione f

Dettagli

Flusso a costo minimo e simplesso su reti

Flusso a costo minimo e simplesso su reti Flusso a costo minimo e simplesso su reti La particolare struttura di alcuni problemi di PL può essere talvolta utilizzata per la progettazione di tecniche risolutive molto più efficienti dell algoritmo

Dettagli

1. Intorni di un punto. Punti di accumulazione.

1. Intorni di un punto. Punti di accumulazione. 1. Intorni di un punto. Punti di accumulazione. 1.1. Intorni circolari. Assumiamo come distanza di due numeri reali x e y il numero non negativo x y (che, come sappiamo, esprime la distanza tra i punti

Dettagli

Forme bilineari e prodotti scalari. Definizione Dato lo spazio vettoriale V (K) sul campo K, una funzione. b :

Forme bilineari e prodotti scalari. Definizione Dato lo spazio vettoriale V (K) sul campo K, una funzione. b : Forme bilineari e prodotti scalari Definizione Dato lo spazio vettoriale V (K) sul campo K, una funzione b : { V V K ( v, w) b( v, w), si dice forma bilineare su V se per ogni u, v, w V e per ogni k K:

Dettagli

I numeri complessi. Mario Spagnuolo Corso di Laurea in Fisica - Facoltà di Scienze - Università Federico II di Napoli

I numeri complessi. Mario Spagnuolo Corso di Laurea in Fisica - Facoltà di Scienze - Università Federico II di Napoli I numeri complessi Mario Spagnuolo Corso di Laurea in Fisica - Facoltà di Scienze - Università Federico II di Napoli 1 Introduzione Studiare i numeri complessi può sembrare inutile ed avulso dalla realtà;

Dettagli

Proof. Dimostrazione per assurdo. Consideriamo l insieme complementare di P nell insieme

Proof. Dimostrazione per assurdo. Consideriamo l insieme complementare di P nell insieme G Pareschi Principio di induzione Il Principio di Induzione (che dovreste anche avere incontrato nel Corso di Analisi I) consente di dimostrare Proposizioni il cui enunciato è in funzione di un numero

Dettagli

LE TRASFORMAZIONI GEOMETRICHE NEL PIANO

LE TRASFORMAZIONI GEOMETRICHE NEL PIANO LE TRASFORMAZIONI GEOMETRICHE NEL PIANO Una trasformazione geometrica è una funzione che fa corrispondere a ogni punto del piano un altro punto del piano stesso Si può pensare come MOVIMENTO di punti e

Dettagli

Energia e Lavoro. In pratica, si determina la dipendenza dallo spazio invece che dal tempo

Energia e Lavoro. In pratica, si determina la dipendenza dallo spazio invece che dal tempo Energia e Lavoro Finora abbiamo descritto il moto dei corpi (puntiformi) usando le leggi di Newton, tramite le forze; abbiamo scritto l equazione del moto, determinato spostamento e velocità in funzione

Dettagli

VC-dimension: Esempio

VC-dimension: Esempio VC-dimension: Esempio Quale è la VC-dimension di. y b = 0 f() = 1 f() = 1 iperpiano 20? VC-dimension: Esempio Quale è la VC-dimension di? banale. Vediamo cosa succede con 2 punti: 21 VC-dimension: Esempio

Dettagli

MATRICI E DETERMINANTI

MATRICI E DETERMINANTI MATRICI E DETERMINANTI 1. MATRICI Si ha la seguente Definizione 1: Un insieme di numeri, reali o complessi, ordinati secondo righe e colonne è detto matrice di ordine m x n, ove m è il numero delle righe

Dettagli

Numeri reali. Funzioni e loro grafici

Numeri reali. Funzioni e loro grafici Argomento Numeri reali. Funzioni e loro grafici Parte B - Funzioni e loro grafici Funzioni reali di variabile reale Definizioni. Supponiamo che A sia un sottoinsieme di R e che esista una legge che ad

Dettagli

FOGLIO 4 - Applicazioni lineari. { kx + y z = 2 x + y kw = k. 2 k 1

FOGLIO 4 - Applicazioni lineari. { kx + y z = 2 x + y kw = k. 2 k 1 FOGLIO 4 - Applicazioni lineari Esercizio 1. Si risolvano i seguenti sistemi lineari al variare di k R. { x y + z + 2w = k x z + w = k 2 { kx + y z = 2 x + y kw = k Esercizio 2. Al variare di k R trovare

Dettagli

Lezioni di Matematica 1 - I modulo

Lezioni di Matematica 1 - I modulo Lezioni di Matematica 1 - I modulo Luciano Battaia 16 ottobre 2008 Luciano Battaia - http://www.batmath.it Matematica 1 - I modulo. Lezione del 16/10/2008 1 / 13 L introduzione dei numeri reali si può

Dettagli

L. Pandolfi. Lezioni di Analisi Matematica 2

L. Pandolfi. Lezioni di Analisi Matematica 2 L. Pandolfi Lezioni di Analisi Matematica 2 i Il testo presenta tre blocchi principali di argomenti: A Successioni e serie numeriche e di funzioni: Cap., e 2. B Questa parte consta di due, da studiarsi

Dettagli

Analisi Matematica di circuiti elettrici

Analisi Matematica di circuiti elettrici Analisi Matematica di circuiti elettrici Eserciziario A cura del Prof. Marco Chirizzi 2011/2012 Cap.5 Numeri complessi 5.1 Definizione di numero complesso Si definisce numero complesso un numero scritto

Dettagli

Matrice rappresent. Base ker e img. Rappresentazione cartesiana ker(f) + im(f).

Matrice rappresent. Base ker e img. Rappresentazione cartesiana ker(f) + im(f). Due Matrici A,B. Ker f = ker g. 1- Ridurre a scala A e B e faccio il sistema. 2 Se Vengono gli stessi valori allora, i ker sono uguali. Cauchy 1 autovalore, 1- Metto a matrice x1(0),x2(0),x3(0) e la chiamo

Dettagli

3. SPAZI VETTORIALI CON PRODOTTO SCALARE

3. SPAZI VETTORIALI CON PRODOTTO SCALARE 3 SPAZI VETTORIALI CON PRODOTTO SCALARE 31 Prodotti scalari Definizione 311 Sia V SV(R) Un prodotto scalare su V è un applicazione, : V V R (v 1,v 2 ) v 1,v 2 tale che: i) v,v = v,v per ogni v,v V ; ii)

Dettagli

Se x* e punto di minimo (locale) per la funzione nell insieme Ω, Ω = { x / g i (x) 0 i I, h j (x)= 0 j J } lo e anche per F(x) = f o (x) + c x x 2

Se x* e punto di minimo (locale) per la funzione nell insieme Ω, Ω = { x / g i (x) 0 i I, h j (x)= 0 j J } lo e anche per F(x) = f o (x) + c x x 2 NLP -OPT 1 CONDIZION DI OTTIMO [ Come ricavare le condizioni di ottimo. ] Si suppone x* sia punto di ottimo (minimo) per il problema min f o (x) con vincoli g i (x) 0 i I h j (x) = 0 j J la condizione

Dettagli

Indice generale. Modulo 1 Algebra 2

Indice generale. Modulo 1 Algebra 2 Indice generale Modulo 1 Algebra 2 Capitolo 1 Scomposizione in fattori. Equazioni di grado superiore al primo 1.1 La scomposizione in fattori 2 1.2 Raccoglimento a fattor comune 3 1.3 Raccoglimenti successivi

Dettagli

I numeri reali. Note per il corso di Analisi Matematica 1. G. Mauceri. a.a. 2003-04

I numeri reali. Note per il corso di Analisi Matematica 1. G. Mauceri. a.a. 2003-04 I numeri reali Note per il corso di Analisi Matematica 1 G. Mauceri a.a. 2003-04 2 I numeri reali Contents 1 Introduzione 3 2 Gli assiomi di campo 3 3 Gli assiomi dell ordine 4 4 Valore assoluto 5 5 I

Dettagli

Amministrazione, finanza e marketing - Turismo Ministero dell Istruzione, dell Università e della Ricerca PROGRAMMAZIONE DISCIPLINARE PER U. di A.

Amministrazione, finanza e marketing - Turismo Ministero dell Istruzione, dell Università e della Ricerca PROGRAMMAZIONE DISCIPLINARE PER U. di A. UdA n. 1 Titolo: Disequazioni algebriche Saper esprimere in linguaggio matematico disuguaglianze e disequazioni Risolvere problemi mediante l uso di disequazioni algebriche Le disequazioni I principi delle

Dettagli

Richiami di algebra lineare e geometria di R n

Richiami di algebra lineare e geometria di R n Richiami di algebra lineare e geometria di R n combinazione lineare, conica e convessa spazi lineari insiemi convessi, funzioni convesse rif. BT.5 Combinazione lineare, conica, affine, convessa Un vettore

Dettagli

Nota su Crescita e Convergenza

Nota su Crescita e Convergenza Nota su Crescita e Convergenza S. Modica 28 Ottobre 2007 Nella prima sezione si considerano crescita lineare ed esponenziale e le loro proprietà elementari. Nella seconda sezione si spiega la misura di

Dettagli

MAPPE IN DIMENSIONE UNO

MAPPE IN DIMENSIONE UNO ¾ MAPPE IN DIMENSIONE UNO Abbiamo visto come la sezione di Poincaré conduca in modo naturale alla considerazione di mappe definite mediante funzioni reali. In questo capitolo passiamo a discutere la dinamica

Dettagli

EQUAZIONI E DISEQUAZIONI POLINOMIALI E COLLEGAMENTI CON LA GEOMETRIA ELEMENTARE

EQUAZIONI E DISEQUAZIONI POLINOMIALI E COLLEGAMENTI CON LA GEOMETRIA ELEMENTARE EQUAZIONI E DISEQUAZIONI POLINOMIALI E COLLEGAMENTI CON LA GEOMETRIA ELEMENTARE 1. EQUAZIONI Definizione: un equazione è un uguaglianza tra due espressioni letterali (cioè in cui compaiono numeri, lettere

Dettagli

Appunti sul corso di Complementi di Matematica - prof. B.Bacchelli. 03 - Equazioni differenziali lineari omogenee a coefficienti costanti.

Appunti sul corso di Complementi di Matematica - prof. B.Bacchelli. 03 - Equazioni differenziali lineari omogenee a coefficienti costanti. Appunti sul corso di Complementi di Matematica - prof. B.Bacchelli 03 - Equazioni differenziali lineari omogenee a coefficienti costanti. Def. Si dice equazione differenziale lineare del secondo ordine

Dettagli

Calcolo differenziale Test di autovalutazione

Calcolo differenziale Test di autovalutazione Test di autovalutazione 1. Sia f : R R iniettiva, derivabile e tale che f(1) = 3, f (1) = 2, f (3) = 5. Allora (a) (f 1 ) (3) = 1 5 (b) (f 1 ) (3) = 1 2 (c) (f 1 ) (1) = 1 2 (d) (f 1 ) (1) = 1 3 2. Sia

Dettagli

+ t v. v 3. x = p + tv, t R. + t. 3 2 e passante per il punto p =

+ t v. v 3. x = p + tv, t R. + t. 3 2 e passante per il punto p = 5. Rette e piani in R 3 ; sfere. In questo paragrafo studiamo le rette, i piani e le sfere in R 3. Ci sono due modi per desrivere piani e rette in R 3 : mediante equazioni artesiane oppure mediante equazioni

Dettagli

Elementi di teoria degli insiemi

Elementi di teoria degli insiemi Elementi di teoria degli insiemi 1 Insiemi e loro elementi 11 Sottoinsiemi Insieme vuoto Abbiamo già osservato che ogni numero naturale è anche razionale assoluto o, in altre parole, che l insieme dei

Dettagli

Percorsi di matematica per il ripasso e il recupero

Percorsi di matematica per il ripasso e il recupero Giacomo Pagina Giovanna Patri Percorsi di matematica per il ripasso e il recupero 1 per la Scuola secondaria di secondo grado UNITÀ CMPIONE Edizioni del Quadrifoglio à t i n U 1 Insiemi La teoria degli

Dettagli

METODO DEI MINIMI QUADRATI. Quest articolo discende soprattutto dai lavori di Deming, Press et al. (Numerical Recipes) e Jefferys.

METODO DEI MINIMI QUADRATI. Quest articolo discende soprattutto dai lavori di Deming, Press et al. (Numerical Recipes) e Jefferys. METODO DEI MINIMI QUADRATI GIUSEPPE GIUDICE Sommario Il metodo dei minimi quadrati è trattato in tutti i testi di statistica e di elaborazione dei dati sperimentali, ma non sempre col rigore necessario

Dettagli

SISTEMI LINEARI QUADRATI: METODI ITERATIVI

SISTEMI LINEARI QUADRATI: METODI ITERATIVI SISTEMI LINEARI QUADRATI: METODI ITERATIVI CALCOLO NUMERICO e PROGRAMMAZIONE SISTEMI LINEARI QUADRATI:METODI ITERATIVI p./54 RICHIAMI di ALGEBRA LINEARE DEFINIZIONI A R n n simmetrica se A = A T ; A C

Dettagli

Appunti dalle Lezioni di MECCANICA RAZIONALE

Appunti dalle Lezioni di MECCANICA RAZIONALE Università degli Studi de L Aquila Appunti dalle Lezioni di MECCANICA RAZIONALE tenute dal prof. Raffaele ESPOSITO i INDICE Indice.......................................................................

Dettagli

Equazioni alle differenze finite (cenni).

Equazioni alle differenze finite (cenni). AL 011. Equazioni alle differenze finite (cenni). Sia a n } n IN una successione di numeri reali. (Qui usiamo la convenzione IN = 0, 1,,...}). Diremo che è una successione ricorsiva o definita per ricorrenza

Dettagli

5 Radici primitive dell unità e congruenze del tipo

5 Radici primitive dell unità e congruenze del tipo 5 Radici primitive dell unità e congruenze del tipo X m a (mod n ) Oggetto di questo paragrafo è lo studio della risolubilità di congruenze del tipo: X m a (mod n) con m, n, a Z ed m, n > 0. Per l effettiva

Dettagli