introduction variétés différentielles · tistique des données expérimentales ... exercices...

15
INTRODUCTION AUX VARIéTéS DIFFéRENTIELLES Jacques LAFONTAINE 17, avenue du Hoggar Parc d’Activité de Courtabœuf - BP 112 91944 Les Ulis Cedex A - France

Upload: hoangthu

Post on 13-Sep-2018

217 views

Category:

Documents


0 download

TRANSCRIPT

IntroductIon aux varIétés dIfférentIelles

Jacques lafontaIne

17, avenue du HoggarParc d’Activité de Courtabœuf - BP 112

91944 Les Ulis Cedex A - France

Grenoble Sciences

Grenoble Sciences est un centre de conseil, expertise et labellisation de l’ensei-gnement supérieur français. Il expertise les projets scientifiques des auteurs dans une démarche à plusieurs niveaux (référés anonymes, comité de lecture inte-ractif) qui permet la labellisation des meilleurs projets après leur optimisation. Les ouvrages labellisés dans une collection de Grenoble Sciences ou portant la mention « Sélectionné par Grenoble Sciences » (« Selected by Grenoble Sciences ») corres-pondent à : » des projets clairement définis sans contrainte de mode ou de programme, » des qualités scientifiques et pédagogiques certifiées par le mode de sélection (les membres du comité de lecture interactif sont cités au début de l’ouvrage),

» une qualité de réalisation certifiée par le centre technique de Grenoble Sciences.

Directeur scientifique de Grenoble SciencesJean Bornarel, Professeur à l’Université Joseph Fourier, Grenoble 1

On peut mieux connaître Grenoble Sciences en visitant le site web :http://grenoble-sciences.ujf-grenoble.fr

On peut également contacter directement Grenoble Sciences :Tél (33) 4 76 51 46 95, e-mail : [email protected]

Grenoble Sciences bénéficie du soutien du Ministère de l’Enseignement supérieur et de la Recherche et de la Région Rhône-Alpes

Grenoble Sciences est rattaché à l’Université Joseph Fourier de Grenoble

Livres et pap-ebooksGrenoble Sciences labellise des livres papier (en langue française et en langue anglaise) mais également des ouvrages utilisant d’autres supports. Dans ce contexte, situons le concept de pap-ebooks qui se compose de deux éléments : » un livre papier qui demeure l’objet central avec toutes les qualités que l’on connaît au livre papier

» un site web corrélé ou site web compagnon qui propose : › des éléments permettant de combler les lacunes du lecteur qui ne possèderait pas les prérequis nécessaires à une utilisation optimale de l’ouvrage › des exercices de training › des compléments permettant d’approfondir, de trouver des liens sur internet, etc.

Le livre du pap-ebook est autosuffisant et nombreux sont les lecteurs qui n’utilise-ront pas le site web compagnon. D’autres pourront l’utiliser, et chacun à sa manière. Un livre qui fait partie d’un pap-ebook porte en première de couverture un logo caractéristique et le lecteur trouvera le site compagnon à l’adresse internet suivante :

http://grenoble-sciences.ujf-grenoble.fr/pap-ebook/nom de l’auteur du livre

Introduction aux variétés différentielles

Cet ouvrage, labellisé par Grenoble Sciences, est un des titres du secteur Mathématiques de la Collection Grenoble Sciences d’EDP Sciences, qui regroupe des projets originaux et de qualité. Cette collection est dirigée par Jean Bornarel, Professeur à l’Université Joseph Fourier, Grenoble 1.

Comité de lecture de l’ouvrage : › Pierre averbuch , Directeur de recherche honoraire au CNRS, Grenoble › Pierre berard, Professeur à l’Université Joseph Fourier, Grenoble I › Gaël MeIgnIez, Professeur à l’Université de Bretagne Sud › Jean-Yves MerIndol, Professeur, Directeur de l’ENS Cachan

Cette nouvelle édition d’ Introduction aux variétés différentielles de Jacques Lafontaine a été suivie par Laura Capolo pour la partie scientifique et par Anne-Laure passavant et Sylvie Bordage du centre technique Grenoble Sciences pour sa réalisation pratique.

L’illustration de couverture est l’œuvre d’Alice giraud, d’après : Thomas Banchoff & Jeff BeaLL, Brown University : Bouteille de KLein; Fropuff/ Inductiveload, Wikimedia commons : Immersion « 8 » de la bouteille de KLein ; éléments fournis par l’auteur.

Autres ouvrages labellisés sur des thèmes proches (chez le même éditeur) :

Analyse numérique et équations différentielles (Jean-Pierre Demailly) Analyse sta-tistique des données expérimentales (Konstantin Protassov) Approximation Hilber-tienne (Marc Attéia et Jean Gaches) Description de la symétrie (Jean Sivardière) Exercices corrigés d’analyse avec rappels de cours - Tome I (Daniel Alibert) Exer-cices corrigés d’analyse avec rappels de cours - Tome II (Daniel Alibert) Mathé-matiques pour l’étudiant scientifique - Tome I (Philippe-Jacques Haug) Mathéma-tiques pour l’étudiant scientifique - Tome II (Philippe-Jacques Haug) Mathéma-tiques Pour les Sciences de la Vie, de la Nature et de la Santé (Jean Paul et Françoise Bertrandias) Méthodes numériques appliquées pour le scientifique et l’ingénieur (Jean-Philippe Grivet) Nombres et algèbre (Jean-Yves Mérindol) Outils mathéma-tiques à l’usage des scientifiques et ingénieurs (E. Belorizky)

et d’autres titres sur le site internet :http://grenoble-sciences.ujf-grenoble.fr

ISBN 978-2-7598-????-?© EDP Sciences, 2010

������� ������ ��� �� ���� ����������� �� � ��� ���� �

����� ��� ��" *������ ������������� ��� ���� �� �� ���� �*� ��� ��� ������� �� �� ��� ��*�� ����'� �� ��� ����# �� �� ��

A��� �� ��� ����� �� ��������� �� .������� 1������+ �����4���� �� ��*� ��� &��� �� ���� B� ��� ��� ��� ���� ,� � ���� B� �� �� ��� ��*�� /

F ��� �������� �� � �� ��� �� ���� �� �������+F ��� �"� � �� �� ��� �0�� ��������� �� ��������� �� �������� ��*����������+F ��� ���#����������� �� ��#�� ��� ������ � ��0��&����� �� ��" ��� ����������� ���� ����

9� ���� ����� &�� �� �� �� ����� �� #� ��� ��� ��00������� 9������� �� � ���� ���0�� ��� /

���� ��������� ����������� ������������� �����������

9� ��*� H�� �� ����I ��� ������ 4 ���������� �� �� ���� *����� ��� ��*��� �� ��������������+ ��� ������� �� &������+ ��� ��������� ��*��� ��� ���� ��� �*�0�� � ��� �� �� ���� �� �� �

9� ����� &����� �� ��� ��� ��� ��� &������ $ �� 3 #���� �� �"��� ������*����� ����� �� ������ �������� �����)��+ �� ���� � 4 �� #���� �� ,�C���

9� &����� � � ���� ���� �� #��� ������ � ��� ��� ��� ������ ������������� ����� ���� ��*� 4 ����� �� ��" 4 ��� ���� ���� #��� ���+ ������ �� ;�0����� � ������ � �� �� &������

9� &����� � ��� ���� �� &�����+ �� ������� �� � ����� �"��� ��� ����)��� ����*��� ������� ��� ����� ��

9�� ���" ������ &������ ���*��� <�� � ��� ��� ������ �'� ��� ��� ��J������� � �� ��� ����� �� *����� �� �� #�� �������������

K��� ����� ��� ��������� ���+ 4 ���� �� �� L&���&�M ���� ������"+ #������� ��� �"� � �� ������ � �� #��� �#��� �+ �� ������ ��� ��� ����� �������� ������ �� ������� ��� *������ ����"���

: �� ���� �� ���� ���"�'�� ������+ �� ����� C ��� ��*��� ���'������ ������N���� �� � ��� � ��� �� �� �� ���������� ������� ���� A��� �� ��� *��� ������ �� *������ ���� #��� �� ���0��� �� ��� �� �'� �'*����� ������� �������� ���"��� �� �� �*<�������� ,� �� �����+ �� ���� B� ��*��� ����� ��� ��������� �� �������� 9�� �� ���� ���*��� ��������� ������ 4 >�� �� , ��� ����� ��00������ �� ��� &� �� ���� B� ���0��� .���� ���� �"������� ���� ������� �� ���� ���

� − ����� ��� ������ �$

�������� ���'� #��� f ��� ��������� C1 ���� ������ U �� Rp ��� Rq )�������� ��� 0 ∈ U �� ��� � ������������� df0 ��� ��"������ *���� �� ������ �� ������V �� Rq �������� 0� �� ������ U ′ ������� ��� U ��� ��� f(U ′) ⊂ V � �� �� ��$$��.��������� ϕ �� V ��� ��� ���� ���� ���

ϕ(f(x1, · · · , xp)

)= (x1, · · · , xp, 0, · · · , 0).

!����������� K� ���������� p ≤ q� ,���� f1, · · · , f q ��� �������� �� f � 9�&7���&'�� ��0���� ��� �� ���� � ;� ����� �� f ��� �� ��0 p� :�'� ������������ ������ ���� ������ � ����*�� �� �� ������+ � ���� �� ������ ��� ������ �

A =(∂jf

i(0))1≤i≤p ,1≤j≤p

��� ��*��� ��� ?� ������ ��� ��� ����� ���� g �� U ×Rq−p ���� Rq �� �����

g(x1, · · · , xp, y1, · · · , yq−p) = (f1(x), · · · , fp(x), y1 + fp+1(x), · · · , yq−p + f q(x))·

9� ���� � ;� ����� �� g ��� �� �� #��(A 0∗ I

).

.��� ��� ��*��� ��+ �� �� �"���� �� �*�� W ������� 0 ��� ��� g|W ��� �� ��##����&���� �� �� ���0�� 9� ��##���&���� &� &� ��� ϕ = g−1�

3����)��� 6�� ������� � ��������� �� � �&�'�� ��� ���"����� � ����� ��*���4 0�� &� � ��� �� f + ���� 4 ��� ����� ����� ���� ���� �*�� �� Rq ������� 0�� �� �*�� �� Rp ����� ��� f1 ◦ f = IdRp / �� ��N� �� ����� f1 = (ϕ1, · · · , ϕq)+�������� ��� �� �� 0��� ��� ��� q ����'�� ������ �� ϕ�

+0������ ,� p = 1 �����0� �� f ��� ��� � �+ �� �� �&�'�� ��� ��� ��� ���� ��� ��N������� ����� �� ���� � � ���� <�� ����#�� �� ��0���� �� ������ �� ��##���&�����

V

f

ϕ(V )

ϕ

IRq

IRp

IRp

IRq – p

������ �� ���������� ��� ������

� − ������ �� ��� ��� ��� �� � � $�

5��� ��*��� �� A��&���������+ � ��0� �� �"��� ��� ������ *����� ���� �� ��� ��N������� �������

�2���� ��!�

( !��� ����� (U1, ϕ1) �� (U2, ϕ2) ����� ������ ����������� M ���� ����� ������� k %1 ≤ k ≤ ∞( �� U1 ∩ U2 = ∅ �� �� �����������

ϕ2 ◦ ϕ−11 : ϕ1(U1 ∩ U2)→ ϕ2(U1 ∩ U2)

%���� #� ��� �� ��������( ��� �� ��$$����������� Ck

�( �� ����� �� ����� Ck ����� ������ ����������� M ��� �� ��� (Ui, ϕi)i∈I �� M���� ���� ����� ����������� ���� ���"���� ���������� ������� k

U1

U2

ϕ2

ϕ2 o ϕ1

–1

IRn

ϕ1

ϕ2(u2)

ϕ1(u1)

������ �� �������� � ����������

-���� �� �"����� ��� ����*����� ����� �� �������� 1 �� Rn+ ������ �� ����� ����� f : Rn → R� .��� ����� �� ����� ����� �� ������ �� ���� n H��� ���������� ��� ��� �*��� Ui �� M S �� i��'�� ���*�� �������� �� f �� �����������I� A��� ���� ������������ ����� ��� �� ��*��� ��� ��� ����� �� �*� �� ������ 5��� ����� ��" ��������� ���*������

�2���� ��$�

( �� ��� �� ����� Ck ����� ������ ����������� M ��� ��� ��"���� �� ����� ������������� ��� ��� ����� �� ����� �������� ����.�/�� � ����� %�� ����������� ��� � ���������� ��� �"����$� 9�������: �� 9�����:( �� ��� ��� ��� ��������� ��� ��� ������������ �� ����� Ck

�( ��� *����� ������������ �� ����� Ck ��� ��� ������ ����������� ����� �������������� ������������� �� ����� Ck

!�� ����� ��� �*�������� ����� ���� �� ������ ����� ��"����+ ���� �� �;���������� ��� ���� ����� ��� �*� ��� �������� -� �"�����+ ����'� �� ������� ������ ����*����� ����� �� Rn � ��� ��� ��� ����� ��������� .��� ��� ����� �� ������������� #�� �� ��� ��*���� �� ������ % >( ��� ��������������

.� �������+ � ������ ��� ��� ��� ������������ �� ������ ���� ����� L��� ��0�M / � ��� ���� ����� �� ������� ��"���� ��������� ?� � '�� ��;4 ������� ��� ����*������ �� Rn�

(( ����������� �� �� � � ��� ���������

���0� 12������

�� �� ����� ��� ����� ��������� ����������� � R

,�� X �� ���� ����� �*� ���0��� ���� ���� :������� ���+ X = R∐{α}+ ���

�*��� �� X ����� ��� ������ ���*��� �� R �� ������� ��� �� �� #�� U \ {0} ∪{α}, S U ��� �*�� ���� R.A��� ��� ��� ���� �� X ��� ����� ���� �� �*����##���&� 4 R+ ���� ��� X ����� ��� ������

�� ?� ����� R2 �� �� ��� ��� �� �������� �������� : ��� ���� a+ � ��� �� ��#� ��� fa+ ������ �� �� *����� M ��� ����� �� �� #����

fa(d) = (dist(a, d))2.

A��� ��� �� #� ��� fa ��� ������

�� A��� ��� ������� �� ��� ����� (x, y, z, t) ∈ R4 ���� ���

x2 + y2 = z2 + t2 =12

��� ��� ����*����� �� S3+ ��##���&� 4 S1×S1� ���� �� �<�� ��� �"������ ������*������ �� S2n−1 ��##���&�� 4 (S1)n�

!� =������ ������� �� ������ �������

�I A���+ �� ��������� ��� �� ����� �*��� ��+ ��� ������� �� U(n) ��� ���� ���������� H���� �� 4 �N ����� ����"�� ���� n ������ ��� tAA = II ��� �������*����� �� R2n2

�� �������� n2� 6������ ������� ���� �"���������� �� ���� ��� ������������� �� U(n).

I A��� �� �<�� ��� ������� �� SU(n) ��� ���� �� �������� �������� H����� ����� ������� A ∈ U(n) �� detA = 1I ��� ��� ����*����� �� �������� n2 − 1�

I A��� ��� SU(2) ��� ��##���&� 4 S3�

$� A��� ��� ���� ����� ���� ������� ��*��� �� A ∈ Gl(n + 1,R) ������ �������0� �� ������� PnR �� ��##���&����+ �� ��� �� 0��� ��� ��##���&���������� ���� ��� ����&� 4 Gl(n+ 1,R)/R∗I.

U . �� �"��� ������� ��� ��� �� Sl(2,R) �� S1 ����� ������

K�E� 5� 0��� ��� ��� PGl(n + 1,R)+ �� ������ ��� �V �� 0��� �;� ��#� !���� ����� �� �<�� �� � ����� � R �� C�

&� D�������� ���"�������

�I ,�� q ��� #�� ���������� �� ��0 ��"���� �� R4+ �� ��� p �� �;� ��� ������� �� R4 \ {0} �� P 3R� A��� ��� p(q−1(0)) ��� ��� ����*����� ��P 3R H�*������������ *���I�

I A��� ��� �� q ��� �� �7�� (1, 3) � (3, 1) ���� ����*����� ��� ������&� 4S2�

�1� ����������� �� �� � � ��� ���������

�������� ��( H�&�'�� �� _&����7 L#� ���MI� -���� ������ ������� ����� �� ��.������� n �� ������ ��� R2n+1

!����������� ?� ��� �� ���0����� f �� X ���� �� Rm� ?� *� *� ����� ������� f �*� ��� �;� ��� ��� &����+ � ����� �� ���0����� ���� Rm−1�-� � #���+ � ����� Rm ���� ����� � ����� �� ������+ �� � �������+ �� ���*� ��� ������� v ∈ Sm−1+ �� �;� ��� pv �� ���&0��� �� v ���� Rm�

-��� Y = f(X)� -� ��� �� ���� ��� �� pv 4 Y ��� ��;� ��*�+ �� #��� �� ��N� ���+����� ��� ����� x �� y ������ �� ���� Y + �� *� ���

−→xy‖−→xy‖

��� ������� �� v+ � �� � ��� v ������������ ��� 4 �����0� �� ������� ����

(x, y) �→−→xy‖−→xy‖ �� Y × Y \Δ ���� Sm−1+

S ��� � ����0�� �� Δ �� ���0���� �� Y � ����'� �� �&�'�� �� ,�� H�&��'�� ��)�I+ �� �"���� �� ���� v �'� ��� 2n < m− 1�

-� ��� pv|Y ��� ��� �������+ �� #��� �� ��N� F *� �� �0�� ��� F ��� v ������������� 4 �� �� �������� � ���0��� 4 Y H������� ��� ���� �� *���� ��������������� �� ������ �� ������I� ���������

Z = {(x, v) ∈ X × SN−1, v ∈ Tf(x)Y }.

?� *���� ��� Z ��� ��� ����*����� �� �������� 2n−1 �� X×SN−1 H*� ���"� � ��$ �� &����� �� .� ���� ���� pr2(Z) ��� �� ����� ����� �'� ��� 2n < m�

y

x

x

v

������ �� ��� ���!������ ���� "���� ������)��� �� ���*��������

.� ������ � � ���+ � *�� ���X ����� ��� ������� ����R2n �� �� ���0��������� R2n+1�

� − ������ ��� ������� �� � �3�

����� 4 �������� �� ��� ��� ��� ����0���� ��� ��� ���� ���� � *� ���� ����

�������� !�!8� �� ����.������� �������� ���� ����� ��������� ���� �� ���������'��� ���� ��� ����.������� ��������� �� ���� ��� 0���� ������#� �� k �������������������

!����������� A���� ��� � ��� �� v1, . . . , vk ��� k *� ���� ������������+������� �� Γ ��� � ������� �������� 4 �N ����� ������ ��� vi ��� ��� �� ���������� � *� ���� E� �� ��N� �� *���� ��� �� ��� ��� � K �� E+ K ∩ Γ ������� ?� ���'�� ��� vi �� ��� ��� �� E� ,�� N �� ��� ��� ��� ��� 4 ���� ����5��� ����� ��� ���� �� �� ���� � *� ���� �� �������� ���� ��� ����*�������+�� �"���� �� C > 0 ��� ��� K ⊂ BN (0, C)� :��+ �� γ =

∑ki=1 pivi ��� ���� Γ+ � �

|pi| ≤ C �� ��� i+ �� �� card(Γ ∩K) ≤ (2C + 1)n+ �� n ��� �� �������� �� E�

9� � ����� �� ���� �� � ��� � �� n� ,�� Γ �� ����0��� ��� ��� !��*�����0� ��� � �� 0 �� ������ ����� �� � ��� ���������� �� Γ� ,� n = 1 ��Γ �= {0}+ �� �"���� ��� �� v ∈ Γ �� ��� �� �� *���� � ���� ��������+ ���� ���������� �����#� -� x ∈ Γ+ � � ��

x = nv + r avec n ∈ Z , 0 ≤ r < v.

:�� r = x− nv ∈ Γ+ � ��� ����� ���� �� ��� �� r = 0.

,������ ���������� �� ������� *�� �� n+ �� ����� ����� ��� *�� �� n+ 1�5��� Γ ��� ��� ��+ �� ������+ ���� ����� ��� ����� 4 {0}+ �� ������� �� ��� v0 ����� ��������� :�� �� ������ � �� Γ\Zv0 4 �� ���� Rv0 ��� ��� ������ �����*��,��� �� �"������� ��� ����� (wk) �� ����� �� Γ \ Zv0 �� ��� ����� λk �� ���� ���������

limk→∞

‖wk − λkv0‖ = 0.

?� � �� λk = [λk] + μk+ �*� [λk] ∈ Z �� |μk| < 1/2+ �� � �� ��� ���

limk→∞

‖(wk − [λk]v0)− μkv0‖ = 0.

:�� �� k ����D 0��� ��������� wk − [λk]v0) �� Γ \ Zv0 � ��� ��� ��� ��������#����� 4 ���� �� v0+ � ��� ��� ����� 4 ��&7��&'���

,� p ����0�� ������� ���� �� �����0� �� ������� ��E ���� E/Rv0+ �� ����0��� p(Γ)�� E/Rv0 ��� ��� ��� ��� ����'� ��&7��&'�� �� � ��� � �� �"���� ��� *� ����f1, . . . , fk �� E/Rv0 ���� ���

p(Γ) =k⊕i=1

Zfi.

,���� v1, . . . , vk ∈ Γ ���� ��� p(vi) = fi� :��+ �� x ∈ Γ+ � �

p(x) =k∑i=1

nifi , �*� ni ∈ Z

�� �� �����

x−k∑i=1

nivi ∈ Re ∩ Γ = Zv0.

! − "����� ��� ��������� �(�

9� ����� � ����� ������ �� ����&���� ���� E �� E∗+ ��� v �→ v� H�� � �����#��� ��� ���� ��� ���� �� ��� ������+ *� �� �� ��� $��I� 9�����&���� ��*����� ��� α �→ α�� 5�� ����&����� ��� ������ �� ��� �������

∀w ∈ E, v�(w) = 〈v, w〉 et 〈α�, w〉 = α(w).

?� �� ������ �� ����&���� ���� ������ � *� ���� ��� &���� �� *� ���� �� ���*�� �� E �� ���� ��� #��� ������������� �� ��0� 1+ ��� �� ��� �� �� �<�� #��O�� :���� ���� �� ���� � �� ������ �� � ������ ���� &��� �� *� ���� �� ������0�������� #�� ������������ �� ��0� 1 �� ��0 ����� � � ��� ���" ����� ����*��������� A��� ����� ���� ����'� ���� <�� ������ ���� �� �� S E ��� ���������� ������ � *� ����� .��� ��� �� ����� 4 �������� ��� ������ ��" *������+ UU ��� ����� � ������ ���� &��� �� *� ���� �� ������ 4 ������ �� �� ����� ������������������ ������� ������������ UU

-���� �� �� ���� �� ����� �� ������� ����� #� ��� f �� �� ���� � �� �������� 5���� �� &��� �� *� ����+ ��� ∇f + ����� �� ∇f = df ��

6�� ������� ��������+ �������� �� �&7�����+ ��� �� ��*� �� �� &��� �� *� ������� �� &��� �� 0������ H� ���*� ���� ��������+ ���� �� ���0�0� ��� �&7�� ����I�5���� ������� ��� �� #��� �� *���� �� ��� &���� �� *� ���� ����� ����������� �������� �� 0������ �� ��� #��� ������������� / ��� #�� ��##��������� α ∈Ω1(U) ����� �����+ 4 ������ ������ �"��������� ��� #� ��� f ∈ C∞(U) ����� ���α = df? .� *��� �� �&�'�� �� , &B�D �� ������*���� ��� ���*���+ ��� �������� ������ ���

∂iαj(x) = ∂jαi(x) ����� ��� ����� x ∈ U �� i, j ∈ [1, n].

A��� ���� ������ ����� ��������� ��N������

�������� $��!� #�� R2 \ {0}� �� �������� �� �� $������� f �� ����� C1 ����� ��� �$���� ��$$����������

α =xdy − ydxx2 + y2

���� ���� � df

5���� ��� ������� � �� ����� ���*��� /

#���� $��$� 2��� ����� ������ �������� c : [a, b] → U ����� ��� c(a) = c(b) ������� $������� f ∈ C1([a, b], U) �� ∫

c

df = 0.

!����������� �� ��N� �� ������ ���∫c

df =∫ b

a

n∑i=1

∂if(c(t))c′i(t)dt = f

(c(b)

)−f(c(a)

). �

!����������� �� �������� �� ��N� ������0� α �� ��0 �� � �� �� ���� (0, 0) �� ���7� 1+ ������� �� c(t) = (cos t, sin t)+ S t ∈ [0, 2π]� ?� ��*� ���

∫c α = 2π�

������ #

������� � ���������

(��� ������������

,� f ��� ��� #� ��� ����� *��� �� ����� 4 ���*�� ������+∫ b

a

f ′(t)dt = f(b)− f(a).

5����������+ � ������� �� ��� ��� �� �� ���� ��� ��*�� #��O���� 9�� ��0����"�� ����������� �*� ���� L#���������� �&��� # �� ����M+ �� ��� ����� �� ���� ��� ���� �� ���� &���0� ��" ���" �'�� �� �� �� ���������� �� ����0�� ������������ L#���� �� 9�� ��DFK�B��M� 9� #���� �� ,�C��+ ��� ��� �� ������� ��*��� � &�����+ ��� ��� 0����������� �� ���� #���� ��" ��������� ���������� .������� �� � �"����� �� �������� S ����� ���� ���� � ��� � ��� ���� ��N ������ �� ���������� ������<���

9� ���� �� ����� �� �� #���� �� 9�� ��DFK�B�� ��� �� �*�����∫ b

a

g(t)dt = −∫ a

b

g(t)dt si a ≥ b.

5��� �*���� 4 ����0� �� �� �� ����*����+ ���� �� �� ����*���� �����+ �����4������ ����*���� S ��� � &��� ��� �0��� �� ��� �"������� ,� I = [α, β]+ �� 7 � ���"��������� ���� ���+ ���*��� ��� ��� ����� α � β ��� �0����

5���� ���� ���� &� F �����0� �� ������0��� *�� ��� ����� 4 ������0��� �� �� ;�� L�����M F ����� ���0�� �� 0��������� G����+ ��� ����� ����� ����� ���������������� ,� R �� 7 � ��� �������� ��������+ ����� �� ����� 5� ����� ���� �� �� ��� � �� ���� R2+ �<�� �� � ��� ��� ������ 5� ����� ���� �� �� ��� ���� ��*� ����� H��� �� ��� �#��� � � ���4 �� ���� L��]*�M ����������+ ��� �� ��������� ������ ���� �� �� ��� 3��I� �� 7 � �� �����0� H���������� ��0�I �� ����#��� �� 4 �� *�� ����������+ ������ ��� L�� ���� ��*��� ��� ��0������ ����� ����M

��) ����������� �� �� � � ��� ���������

�� ����� ��� � ���+ � �� L'0�� ��� ��� ��0��M H�� �� ���� ���� RI ��� ������� ��'�� ���� ��� �� �� ������ � 4 ��� ���������� 5���� ������� ��� ��� ���� ��#�O� �'� ��������� ���� [,�*���'�\I+ ����� ��� ���� �� ����� &����� �� �� �����LA� ������M �� [%�7�����\� !�� � ��� ��� ���� #��� ��� ���� ��� ����������5��� ��� ������� �� ���"����� � �� *������ �� ���������� �� &�" &���� ����������� ��� ������ ��� 5���� ������ ����� ���� �� *� L�"��������������M� .� ����+�� ���� ����� �� ��� �� � ��� ��� �"��� ���� #��������� ���� �� �� ��� 3��+ ������ ��#� � ������ �� ������ � �����+ ������ �����+ � ���� ����� �� &��� ��*� ���� ���� �� �� #�O� ���*���� / �� p ��� �� ���� �� �� ��#� � �� Rp �� ��'��&��� ��� � �� ���� ���0��� �� p+ np ��� �������� *� ��� ������� ���� �� p4 �� ��#� � ��� ��� �� ��'� (Rp, np) ��� ��� � ���� R3� 5��� ��� ������ �� �� ��� �� �� A` ���+ ��� ��������� �� �0�� 3���

������ ��� ���� � �(����

K�� ����O�� �� �� ��� ����� �� �� � �'��� ����������+ �*��� �� ����� 4�� �&��� �� ������0���� ������� �����

6� X�� ������� 7 ��� ;�� �� ��� ������� ��������� ����� *������ 5� ��� 0���� ��� ������ ��� ��� ��� �� #���'� ��� ��� ����*����� �� �������� 1H�*������������ �� ���"�+ ��� ���� �� �� ���� ����*���� ��� � �� RI� 9�#���� �� 9�� ��DFK�B�� �� 0�������� �� �����O��� [a, b] �� �� ������ �0����D �� �������� n+ {a, b} �� �� � ∂D+ �� f �� ��� #�� ������������ α �� ��0�n− 1� ?� � ∫

D

dα =∫∂D

α,

�� 0� �� ��*��� �������� 4 ����� �� ���" ������ 5���� 0����������� ��0� � ��#���� �� >���F�������+ �� #���� ��?��0���C�+ �� ��� ������� �� #���� ��,�C�� ������������+ ���� ��� � ��� ��� ��#� �� 4 � �� ������ � �� ��������3 S+ ��� �������+ ��� *�*���

9�����0���� �� ��� *������ �� �� #���� �� ,�C�� �� ��*��� ��� ��������� 4 *��� #�O� ���� � �������� ��� #����� ��� ��� *���� �� ���� -� ������� � #���+��� ������� � &����� �� ���" ����� ����� ���0����� / �� L�&�'�� �� �� ��� &�*����M H�� ��&'� S2 ����� ��� ���0�� �� ���� ���+ �������� ��� ��� &����� *� ���� �� S2 �������� ������� ���I+ �� �� �&�'�� �� E�B� H���� ������ ���� ������ ����� ��� #���� ���� ������<�� � �� ���� �"�I+ ��� �� ����������� ���� ������� �� ���0�� ��0� �����

$ − ��%������� �� �% ��� �� ���� ���

: ����+ �� ���" � �� ��� ���� ���+ �� �0��� ��00'��� ��� ���� ��#� � ���� �� � ����� ������� �� ��� ������� 5��� ���� <�� �� ��� ������

�������� '��&� #����� C �� C′ ���� ������� $������ �� R3� �� ���� Σ ��� ���$���� ���� ������� C )� ������� ��� Σ∩C′ ��� '��� �� ��� ���� ���� x �� ��������������

TxΣ ∩ TxC′ = {0}.

*����E(C,C′) =

∑x∈Σ∩C′

orx(Σ ∩ C′),

�0 ���� ���� orx(Σ ∩ C′) = +1 �� � ������� ����� ��� �������� �� TxΣ �� �������� �������� �� TxC′ ��� ��� ��� �������� �� R3� orx(Σ ∩ C′) = −1 �����

Σ

γx

x

C

C'

������ �� �� C = ∂Σ �� C′ ���� ��������� Σ ��������� C′

2����� %���������( ?� � '�� �"� ������ ��� ���� �� ���*� �� �&�'�� ��� �����+ �� ����*��� 4 Σ+ �� &���� x ∈ Σ ∩ C′+ �� ����� ������ Dx �� � γx�:��+ �� ��������� ��� �<��� �������+ �� �&�'�� �� ,�C�� �� �� #��� ��� dω = 0,�� *����

0 =∫

(Σ\∪x∈Σ∩C′Dx)×C′dδ∗ω =

∫C×C′

δ∗ω −∑

x∈Σ∩C′

∫γx×C′

δ∗ω.

�� E(C,C′) =

∑x∈Σ∩C′

E(γx, C′).

-� �������� E(γx, C′) � � '�� �"� ������ ��� ���� ���"����� H���I / ��&�����+ � ���� �� ����� �� �� S γx ��� �� � ��+ ����� &�D����+ �� SC′ �� ��� �� ���� �� � �� �&0�������� �� x� :��+ �*� ��� ������� �� ���������� ����+ F−1(0, 0, 1) ��� ����� ������� �� �� �7� ��� ����D �����+ �� � *������� �� ��0�� ���� ��� ��� ��� �� ��� ��� orx(Σ ∩ C′)� �

,�0����� �� ������ ��� ������ ����� ����*���� �� ��0������������ ,� C ��� �� � ��� ��� ����� �� �� �� �� ���� ���#�� ����������� I+ �� � ������ �� ��0�� C′ �� &��� ��0������� �� �� �� � ��� ��� �0���+ 4 ��� ������� �������� ���*��'� ��������� �� ��� ������ �&7������+ 4

I

∫C×C′

δ∗ω = IE(C′, C)

H*� ���"� � � (I+ ��� 5��%� >���� �� ��*��� ��;4�

& − '����()���� �� *���(+����� ���

<�$��� -,� ��� � , )�� ' ���� �� � ����,�

6�� ���&�� ���� ��� �� ������ 4 ��� �� 4 ��� ��*�0� ����� ��#� � �� &��� ��*� ���� �7��� �� D� ������ � 1 �� &���� �����+ �� D� ������ � 1 4 ����������� &���� #� � �� �� D� ������ � −1 4 ��������� �� &���� �<���

?� ��� ���� ����0�� �� ����� ?� �� � ��� �������� �� � ����� ��� ��D� ��0���������� ����� �� #�O� ��� &���� ����� ��� ��;�� ��� �0���+ �� �� ���� ��0�*��� ��� �"������ H � � ��� ��� ��� ��� �� �� �� ����������� ��4����������� ��� ���0���I�

������ ��� ���������� ���9������&��

5���� ���� ���+ �������� ��" ������"�� ����� ����0������+ ��00'� ���"����� ����� &��� �� *� ���� �7��� ��� D�� ���*���� /

�� ��� ������ �� �� ����0������+ ������ � +1 H�� ��I 8�� �� D� �"� ������ 4 ��������� �� &���� ������"� �� �������� 2+ ������ � 1

H�����I 8�� �� D� �"� ������ 4 ��������� �� &���� ������"� �� �������� 1+ ������ �−1 H����� �����I�

������ �� :��� ��� �� �����*�� � �� ����������

9� ���� ��� ���� �� ���� ��� &��� *��� f + s− a� .� ��������� ��� � ��� �� '������� ��� �� �&�'�� (���+ � *�� ���

�� �� �������� 12π

∫S Ωg �� ������ ��� �� �� ������� ����������� �� S 8

�� �� ��������∑x∈Z(X) indxX �� ������ ��� �� &��� �� *� ���� X H������

���*� ����� �� � ��� �� D�� 8�� ��� �� �������� f + s− a �� ������ ��� �� �� ����0�������

�� ����+ �� ��� ��������� ��� �0����+ �� �0���� 4 χ(S) ����'� �� �&�'�� (�$�

,������ �-�������� ���

$� ?� ���� ��� ������� ��� ������ �� � ���� �� G�# ������+ ��� �;�0�� �� ���;� ��� ����0��&���� iN ��&�0��&�� t �→ at+b

ct+d � ?� ��*� ������� ���� �� S1

���� S1 ������ ��

(x, y) �→

⎛⎜⎜⎝2(ac+ bd) + 2(ac− bd)x+ 2(ad+ bc)y

a2 + b2 + c2 + d2 + (a2 − b2 + c2 − d2)x+ 2(ab+ cd)ya2 + b2 − c2 − d2 + (a2 − b2 − c2 + d2)x+ 2(ab− cd)ya2 + b2 + c2 + d2 + (a2 − b2 + c2 − d2)x+ 2(ab+ cd)y

⎞⎟⎟⎠�� ��� ��� ��� ����� ��� ��#�� �� ���� � �� H�� ���� ������ RI �� ������ S1

��� �� ���� �;� ��*��

&� D�������� ���"�������

I -� ��� ��� �*��� �� �� R4+ �� �������� Q ��� ������� �� ��� ����� ������ ������ &�0'��� *������

x2 + y2 + z2 − t2 = 0.

9� ����'� ����� &�0'�� ��� ���� ���� �� Q ��� �� �� �����+ �� ��� � �� �� ��*7��� Q ���� R3 �*� �� ���

[x, y, z, t] �→ (x

t,y

t,z

t).

I 9�������� �� Q �� ������ &�0'��� ���� �� ����� ��� �� #��

x2 + y2 − z2 − t2 = 0, ���� ����� XY − ZT = 0.

K���� ��� XZ = T

Y �� XT = Z

Y + � ������ ��� ��� ����� ���� ����� f = (f1, f2)�� Q ���� P 1R× P 1R �� �����

f1([X,Y, Z, T ]) ={

[X,Z] �� (X,Z) �= (0, 0)[T, Y ] �� (T, Y ) �= (0, 0)

��

f2([X,Y, Z, T ]) ={

[X,T ] �� (X,T ) �= (0, 0)[Z, Y ] �� (Z, Y ) �= (0, 0)

�I ,� �� #�� ���������� ��� �� �7�� (r, s) H�*� rs �= 0 �� ��� *��� ��� Q ��� ��*���I+ � *���� ��� Q ��� ������&� �� ������� �� Sr−1×Ss−1 �� �� L �� ���������� M (x, y) �→ (−x,−y)�

(<� -� ���0� T 3 ���� R4+ ������ ��� L ��������� M �� ���0����� (θ, ϕ) �→ (eiθ, eiϕ)�� T 2 ���� C2 � R4� ?� ���� �� �"�����

(θ, ϕ, ψ) �→(eiθ(1− cosψ

2), eiϕ(1− sinψ

2)).

9� ����� �� �����<�� �� ���0����� ������� ���� �� ���0����� S2×S2 ����R6+ ��� �����0� ��� �� ���� ���� ��� ��&'� S5� �� ��N� ��� �� #��� ��� �;� �������0��&���� �*��� ���