Une page de Wikiversité, la communauté pédagogique libre.
Début de la boite de navigation du chapitre
Orthogonalité au sens de la dualité
Chapitre no 3
Leçon : Dualité
Chap. préc. :Propriétés
fin de la boite de navigation du chapitre
En raison de limitations techniques, la typographie souhaitable du titre, «
Dualité : Orthogonalité au sens de la dualité Dualité/Orthogonalité au sens de la dualité », n'a pu être restituée correctement ci-dessus.
Dans cette partie, on appelle
A
{\displaystyle A}
et
B
{\displaystyle B}
des parties de
E
{\displaystyle E}
et
F
{\displaystyle F}
et
G
{\displaystyle G}
des sous-espaces vectoriels de
E
{\displaystyle E}
.
Début d’un théorème
Fin du théorème
Démonstration
On a déjà
F
⊥
+
G
⊥
⊂
(
F
∩
G
)
⊥
{\displaystyle F^{\perp }+G^{\perp }\subset (F\cap G)^{\perp }}
. Par formule de Grassman, il vient :
d
i
m
(
F
⊥
+
G
⊥
)
=
d
i
m
F
⊥
+
d
i
m
G
⊥
−
d
i
m
(
F
⊥
∩
G
⊥
)
=
d
i
m
F
⊥
+
d
i
m
G
⊥
−
d
i
m
(
F
+
G
)
⊥
=
C
o
d
i
m
F
+
C
o
d
i
m
G
−
C
o
d
i
m
(
F
+
G
)
=
C
o
d
i
m
(
F
∩
G
)
=
d
i
m
(
F
∩
G
)
⊥
{\displaystyle {\begin{aligned}\mathrm {dim} (F^{\perp }+G^{\perp })&=\mathrm {dim} F^{\perp }+\mathrm {dim} G^{\perp }-\mathrm {dim} (F^{\perp }\cap G^{\perp })\\&=\mathrm {dim} F^{\perp }+\mathrm {dim} G^{\perp }-\mathrm {dim} (F+G)^{\perp }\\&=\mathrm {Codim} F+\mathrm {Codim} G-\mathrm {Codim} (F+G)\\&=\mathrm {Codim} (F\cap G)\\&=\mathrm {dim} (F\cap G)^{\perp }\end{aligned}}}
Début d’un théorème
Fin du théorème