Générateurs des isométries vectorielles 223 Isenwam 161 159

:p
-

.
.

Salut E un IR -

u euclidien et UE OLE ) une itoueihie de E .

En notant id ) alors
r=
rgke -

on a :

1) u on produit d' au moins r

réflexions
2) filet soleil et dimltl ≥ 3 alor u est
produit dbm plus
r retournements .

démonstration : 1) Par récurrence sur r .

* Si r=O alors u = id est produit de zero

réflexion
fait / la Fatale ) l id)
* ≥1
r
propriété est vraie
nglu - <r

Soit ut OLE ) l nglu -

id ) - r .
Comme le # id
; 7e Et de norme 1

tg elle / =/ e .

Alors : Intel - e) 1- tulette ) ou Intel el Intel + e)

-

-
= Unkut Kelle -

=D cenne 04=1

faits la
réflexion par rapport
à [Veet level -

À ; alors :

shel
Vathek) e) -

{ *
sluuh-et.nu del nul
{
+ e dare -

shete) e) hehe) -

e ) t.lu/eN=e
1
-
= -

id )
que rgl
Montrons son -
L r
gl son - id ) <
nglu -

id )

Pour cela montre Keeler id) Ken / son id )

que
-

on
-

⑤ fait ne Kutu -

id ) ie uhrtx ; son but she ) .

)]
"

Krafft de montrer
que shel
- x ie a c- [
Vert ( nce ) -
e

( n ,
ulel -
e) = Ln ,
uk ) ) - ( n , e ) = Lunel .
nul ) - < a. e)

= ( n ,
e) -
La e) ,
= 0

LU (e) lette done l' inclusion

plus : son = e et u est stricte .

id ) Par
Donc rglv -
< r .

hypothèse de récurrence : 7-
per
et se ,
.

,
sp

des
reflexions de E telle
que
v. Seo
osp
-
. .
 donc done
'
'

son A- u s
Osp n
Osp
= 0 - -
.
= o o - -

Is

[ᵈⁿᵈ MUTÔ
" """ " "
" "" "
^
^ " "ᵗ
ᵐᵈᵐᵗ
t "
Hi - : " ' " ° "

M
à " • * "
Hi " * ±

①
à l' Kulu id)
hyperplan Hi .
On a : Han .
.
n
Upc - d-

dim ( Han . -

Mtp ) ≥ n -

pi d' où n
-

p
≤ n -
r

done ≤
pas forcement
r le
p
.

temps .

2) Soit Salel alors où

ut u : mo . .
osr si est une
réflexion #
Comme det lut =L et detail = -1
alors r doit être pair .

Il le
suffit de montrer
que produit de 2
reflexions en le

③
d' retournements
coupant au
plus 2 .

Soient à Ht Hz
si ,
si deux
réflexions par rapport ,

fille ① de 0 retournant
= Hz alors seok = id
qui est la
lamproie
sinon ,
Dim ( Hatha ) = n d' où dim ( Henkel = a -2

Couvre dimltl ≥ 3
; 1- V Chanter sur de dimension n -3

tt
tich 1 1 24 ,
on
définit pi peu fini sur Vet
pi
=
-

si sur

⑤ dime
de sorte
que mon =
propre µ

et est le retournement à V +0KF En

effet
pi par rapport
.
:

↑
* sur V
,
pihrl = si tu = ne
diner -3
Uit situ / fr1
pink
-
* sur ,
-
= x
nadin 2
= -

dim n -2 -

@
* Mt
pihrl = si tu R
- -
=

,
a

NtHiHIvtnHi@UiM-o--osp.si reflexion / H:
hyp
→
si

si
/a)
tu )=
=

-
n

x
rikiki
n a c- Hit
'

soit kan ulnl ospln)

ne . .
.

Ntep alors -
x = no .
.
-
x

= R -

X = 0
② Shumann Panicum
hup
'

£ alors dimlttsl d'

*
p
l diueltl t
pardef hyp
-
- =
,

feront
*
chthppou le resultat vrai
jusqu' à un
rang p
-
tes .
.
.

. Hpti
Âtli
des hyp de E .
On
pose
f- =
i =/
.
Ron la
formule de Grossman :

diurlfl + dim (
Upn ) = dim Cft
Hpm ) +
dimlfnthpt . )

Par Kk d'
par def hyp
et
,

divultl p )
+ dimltl t ≤
dimlfthpti dimlfntpti )
-

+
-

Allume
Ftkpti CE
; dimlfthpti ) ≤ dinde )

there Aim lel -

↳ + il ≤
dimlfnthpti ) ☒

③ 1) ai
reflexion
'

le M-O osr est une

peu n
= .
. .

0h a
evq r doit être
part et = (Stotz ) 0430Mt . . . ☐ Ur - ios . )
; -

montre
si on
que chaque couple
et produit d' retournement c'est
au
plus 2

"±
a-
/
⑥ se / sa
réflexion / Us .kz |
Si ht = Hr seosz (a) = mtn) - x n
'

a c- HÈME
,

motel al - sel x ) = a si 2f Us = the

done Kotz = id

⑤ pi

Vlpn_opz-_1n-oszmrV-sloC-1zl-.snos swVl@V -.Vtni

si sur V et si sur
pi
= =
-

est le retournement
peurapp ont à ✓④ HÎ
; mg pi
ladine de v @ kit ? V Chanter un
de dieu n -
3

↓ ↓
 3 → n 2 OK
n - 1 -
.

* Sur V :
pilnl = n' lut = x car ne Hantez

UF tu / HÎ
* nu :
pilule↑ n' lxl x on ne
- -
=
=

nick
'
IV Hit) Ki (al situ)
pi
-

* sur + = : =
-
=
-

" ↑ ↑
tt
Vtn

x-chipqi.in
Hi Rt