Forum de mathématiques - Bibm@th.net

geométrefs

Membre

Inscription : 15-09-2010

Messages : 14

geometrie différentielle

bonjour les amis ;

il y a quelqu'un qui étudie la géométrie différentielle ? peut me dire c'est quoi l'espace SM ( le faisceau de la sphère projective d'une variété M ) j ai méme lancé une recherche sur le net mais j'ai pas trouvé la définition que je cherche.
merci .

Junior ste

Membre

Inscription : 03-11-2021

Messages : 93

Re : geometrie différentielle

th

Forum de mathématiques - Bibm@th.net
Accueil☰
Connecté(e) sous l'identité  Junior ste Dernière visite : 07-12-2021 07:34:07
Contributions : Récentes | Sans réponse
Pages : 1Répondre
#131-01-2011 11:50:44
mathieu64
Bonjour,
J'ai du mal à montrer  que l'homographie h(Z)=a*Z+b avec module de a=1 et une rotation d'arg(a) et de centre b/2. Au passage intuitivement j'aurai pensé à centre b mais dans l'exo c'est écrit b/2.

Merci d'avance

Hors ligne

Signaler Citer
#231-01-2011 11:56:10
Fred
Salut,

  Tu cherches le point invariant en résolvant Z=aZ+b, soit Z=b/(1-a).
Soit
Z
0
ce point.
Alors tu as :

h
(
Z
)
−
Z
0
=
a
(
Z
−
Z
0
)

ce qui correspond bien à une rotation d'angle arg(a) et de centre
Z
0
(qui n'est ni b, ni b/2, sauf si on d'autres informations sur a (par exemple, a=-1)).

Fred.

Hors ligne

Signaler Citer
#331-01-2011 11:58:20
mathieu64
merci

Hors ligne

Signaler Citer
#401-02-2011 00:58:02
MOHAMED_AIT_LH
Bonsoir

Et ce n'est pas une homographie ...

Mohamed A.L.

Hors ligne

Signaler Citer
#501-02-2011 17:24:31
mathieu64
bonsoir,
On dirait bien que si http://www.bibmath.net/dico/index.php3? … aphie.html  ...

Dernière modification par mathieu64 (01-02-2011 17:24:49)

Hors ligne

Signaler Citer
#602-02-2011 03:05:40
Trickoo
Bonsoir

Et c'est quoi une homographie?

Hors ligne

Signaler Citer
#702-02-2011 07:38:39
Fred
cf le lien donné par Mathieu.

Fred.

Hors ligne

Signaler Citer
#806-02-2011 02:36:13
MOHAMED_AIT_LH
Bonsoir:

La  définition  que  j'avais  est   
z
↦
a
z
+
b
c
z
+
d
   avec 
c
≠
0
   et 
a
d
−
b
c
≠
0
Mais  je  viens  de  jetter   un  coup  d'oeil  ici  et  on  voit  que  cette définition  est  envisageable la  bonne  idée !
Toutefois l'appelation n'est  pas  homographie  mais fonction homographique
Même chose ici

Dernière modification par MOHAMED_AIT_LH (06-02-2011 02:55:53)

Mohamed A.L.

Hors ligne

Signaler Citer
#909-02-2011 12:54:54
Groupoid Kid
Chouette, des homographies :)

Mohamed, si tu retires simplement ta condition de
c
=
0
, tu remarqueras que tu obtiens entre autres les fonctions de Mathieu ;-) Le mot magique qui manque ici est géométrie projective.

La différence entre homographie et fonction homographique est minime, et tient à la complétion à l'infini. On peut en effet refermer le plan complexe comme un papier de sucette, en envoyant tout ce qui part à l'infini en un seul point imaginaire, le point à l'infini. On obtient alors une sphère, la Sphère de Riemann,
S
=
C
∪
{
∞
}
.

Les fonctions de Mathieu et de Mohamed s'étendent toutes les deux à cette sphère de Riemann, de façon évidente : pour les "fonctions homographiques" de Mohamed, on envoie leur pôle
−
d
c
(là où elles tendent vers l'infini en module) en
∞
et on envoie
∞
sur
a
c
=
lim
z
→
∞
a
z
+
b
c
z
+
d
. On obtient alors une bijection de
S
, qui est l'homographie associée. La fonction donnée par mathieu est tout autant une homographie que les fonctions de Mohamed, simplement elle n'a pas de pôle, ou plutôt son pôle est en l'inifini. On l'étend tout bêtement à
S
en envoyant l'infini sur lui-même.

C'est cette grande disparité entre les deux cas qui conduit souvent à n'appeler homographies que les fonctions avec
c
≠
0
. Mais une fois que l'on est sur la sphère de Riemann, le point à l'infini est un point comme les autres, et il n'y a aucune différence entre ces types de fonctions.

-----

Maintenant la définition générale :
homographie : On appelle homographie un isomorphisme d'espaces projectifs. (en général automorphisme)

Grosso modo, un espace projectif est un espace vectoriel (ou affine, c'est pareil) bidouillé, et les homographies (PGL) jouent le role de applications linéaires inversibles (GL).

J'espère que ça répond à ta question Trickoo ;-)

GK, qu'a pas pu résister :p

EDIT : en fait tout ça était déjà bien expliqué si on suit les liens associés à celui de Mathieu ^^ huhu

Dernière modification par Groupoid Kid (09-02-2011 13:29:18)

Hors ligne

Signaler Citer
#1009-02-2011 13:29:01
freddy
Salut,

bigre, que voilà du lourd.

j'espère que tu nous aideras pour les sujets trapus, il y en a quelques fois des costauds !

Bis bald !

De la considération des obstacles vient l’échec, des moyens, la réussite.

Hors ligne

Signaler Citer
#1110-02-2011 02:38:54
MOHAMED_AIT_LH
Bonjour:

Merci Groupoid Kid pour  les  explications  interessantes.
Un  des  avantages de la  sphére  de Riemann est qu'elle est  compacte (compactifié d'Alexandrov du plan complexe) avec une  topologie dont  la  restriction à 
C
coincide avec la  toplogie naturelle du  plan  complexe.
Cela  fait  quelques années j'avais ,un peu,  examiné l'action des homographies sur les droites  et  cercles du plan ... et  on  peut voir  que  cela  se  ramène  à  l'étude de l'action  de  l'inversion
I
:
z
↦
1
¯¯¯
z
sur  ces  droites  et  cercles..
En  effet une  homographie 
h
   définie  par
h
(
z
)
=
a
z
+
b
c
z
+
d
dans le  cas  où 
c
≠
0
  peut s'écrire
h
(
z
)
=
δ
c
2
z
+
d
c
+
μ
   avec
δ
=
−
(
a
d
−
b
c
)
et 
μ
=
a
c
. De  sorte  que 
h
=
S
∘
I
∘
s
  où 
s
(
z
)
=
c
2
z
+
d
c
(similitude directe)   et 
S
(
z
)
=
δ
¯¯¯
z
+
μ
(similitude indirecte)
Or l'action  des  similtude  sur  les  droites  et  le  cercles  est  connue (figures  de même   nature).
L'action  de 
I
   est  comme  suit :
elle  transforme   une   droite ne  passant  pas  par  l'origine  en  un  cercle  passant par  l'origine .
une  droite  passant  par  l'origine  en  elle même
un  cercle  passant  par  l'origine  en  une  droite ne  passant  pas par  l'origine
un  cercle  ne  passant  pas  par  l'origine  en  un  cercle  ne passant  pas  par  l'origine ....

Sauf erreur  bien entendu !

Dernière modification par MOHAMED_AIT_LH (10-02-2011 02:40:43)

Mohamed A.L.

Hors ligne

Signaler Citer
#1222-02-2011 23:39:00
Groupoid Kid
Aucune erreur :-)

En fait on peut faire une description plus empirique, en utilisant une jolie notion du temps jadis, aujourd'hui tombée en désuètude : la notion d'inversion du plan par rapport à un point.

Inversion : Soit
Ω
un point du plan, et
k
∈
R
∗
. À tout point
M
du plan, j'associe le point
M
′
∈
(
Ω
M
)
tel que
¯¯¯¯¯¯¯¯¯¯
Ω
M
⋅
¯¯¯¯¯¯¯¯¯¯¯
Ω
M
′
=
k
(mesures algébriques).

On peut voir géométriquement (à l'aide de la notion de puissance d'un point par rapport à un cercle) que les inversions préservent les droites-cercles de la façon dont tu le décris, en remplaçant "origine" par
Ω
. Toute la beauté de la géométrie complexe c'est qu'elle transforme la définition compliquée d'inversion en une équation d'une simplicité lapidaire. En effet, si j'identifie les points de
C
à des vecteurs de
R
2
:
¯¯¯
z
z
′
=
(
→
z
|
→
z
′
)
+
i
⋅
d
e
t
(
→
z
,
→
z
′
)
.
Il suffit alors d'une seule équation pour exprimer simultanément que
M
,
M
′
,
Ω
sont alignés, et que le produit des mesures algébriques est
k
∈
R
:
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
(
M
−
Ω
)
(
M
′
−
Ω
)
=
k
. Il s'ensuit que l'équation complexe de l'inversion est :
M
′
=
Ω
+
k
¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯
(
M
′
−
Ω
)
On peut alors écrire les homographies à pôle comme la composée d'une inversion centrée en le pôle et d'un anti-déplacement. On écrit :
h
(
z
)
=
a
z
+
b
c
z
+
d
=
α
+
β
z
−
ω
=
α
+
k
e
i
θ
z
−
ω
=
v
+
e
i
θ
(
¯¯¯
ω
+
k
z
−
ω
)

Avec un peu d'entraînement, on peut alors décrire géométriquement l'image d'à peu près n'importe quelle figure :P

J'ai vu beaucoup de belles choses en maths, mais j'ai toujours trouvé cette décomposition véritablement époustouflante
♡
Hors ligne

Signaler Citer
#1306-12-2021 19:18:47
Junior ste
Salut.
Comment montrer qu'une homographie conserve l'alignement ???
En j'ai pris 3 points alignés de l'espace projectif P(E) je veux montrer que l'image de ces 3 points par l'homographie reste toujours alignés. Mais je ne parviens pas à traduire l'alignement de 3 points dans l'espace projectif puisque les points de l'espace projectif sont des droites pour mon espace vectoriel.