Vous êtes sur la page 1sur 109

Ministre de l'enseignement suprieur et de la recherche scientique

Universit El Hadj Lakhdar, Batna


Facult des Sciences
Dpartement de Mathmatiques
N

d'ordre:
N

de srie:
THESE
Prsente par
Hanifa ZEKRAOUI
Pour l'obtention du grade de
Docteur en Sciences
En Mathmatiques
OPTION
ALGBRE
SUR LES PROPRITS
ALGBRIQUES DES G
k
INVERSES
DES MATRICES
Soutenue le 3 Juillet 2011
Devant le jury:
Lemnouar Noui Prsident Professeur Universit El Hadj Lakhdar, Batna
Said Guedjiba Encadreur M. C. A Universit El Hadj Lakhdar, Batna
Rachid Benacer Examinateur Professeur Universit El Hadj Lakhdar, Batna
A/ Ouahab Kadem Examinateur M. C. A Universit Ferhat Abbas, Stif
Khaled Melkemi Examinateur Professeur Universit Mohamed Khider, Biskra
BoudjemaaTeniou Examinateur Professeur Universit Mentouri, Constantine
Reconnaissances
J'aimerais remercier le Professeur. S. Guedjiba, mon encadreur, pour les sug-
gestions secourables et pour le support constant pendant cette recherche. Je tiens
aussi remercier les membres du Jury pour m'avoir donn l'occasion de discuter
ce travail, spcialement le Professeur. L. Noui pour les questions stimulantes et les
suggestions utiles.
ii
Sommaire
Sommaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii
Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
Table des notations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1 Prliminaires. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.1 Existence de G
k
inverses . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2 Quelques exemples sur les inverses gnraliss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3 Quelques mthodes de calcul . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3.1 Calcul de l'inverse gnralis par factorisation prservant le rang . . . . . . 11
1.3.2 Mthode de la matrice bordante . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.3.3 Mthode de la matrice partitionne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4 L'inverse gnralis d'une matrice carre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4.1 L'inverse gnralis d'un bloc de Jordan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5 Quelques proprits concernant l'image et le rang . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
1.6 Equations matricielles et classes des G
k
inverses . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.6.1 L'equation A1 = C . 22
2 Quelques types d'inverses gnraliss . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
iii
Sommaire iv
2.2 L'inverse de Moore-Penrose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.2.1 Proprits algbriques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.2.2 Relation entre l' adjointe et l'inverse de Moore-Penrose d'une matrice . 32
2.3 Le Groupe inverse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.3.1 Existence et unicit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
2.3.2 Quand
#
est gale
+
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.3.3 Le groupe cyclique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
2.4 L'inverse de Drazin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
2.5 Indice d'un inverse gnralis d'un endomorphisme . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.5.1 L'indice d'un 1 inverse de , . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
2.5.2 Comparaison des indices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
2.5.3 Indice d'un 1. 2 inverse de , . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
2.6 Application l'inverse de Drazin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
3 Oprations algbriques et inverses gnraliss . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
3.2 Sur les inverses gnraliss de la somme de deux matrices . . . . . . . . . . . . . . . . . . . . 53
3.2.1 Le cas o 1() 1(1) = 0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
3.2.2 Le cas o 1() 1(1) ,= 0. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59
3.2.3 Quand ( +1)
+
=
+
+1
+
? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.2.4 La forme gnrale de ( +1)
+
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.3 Sur les inverses gnraliss du produit de deux matrices . . . . . . . . . . . . . . . . . . . . . . 66
3.3.1 Mthode de la matrice partitionne . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66
3.3.2 Mthode des projecteurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
Sommaire v
3.4 L'invariance de la loi d'ordre inverse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
3.5 Quand (1)
+
= 1
+

+
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
3.5.1 Quelques applications . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
4 Quelques structures algbriques sur
1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
4.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
4.2 Structure d'un semi-groupe sur
1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.2.1 Factorisation et commutativit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.2.2 Rgularit et :rgularit de
1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
4.2.3 Matrices quivalentes et semi-groupes asocis . . . . . . . . . . . . . . . . . . . . . . . . 85
4.3 Relation entre `
mn
(K) et l'ensemble des semi-groupes associs . . . . . . . . . . . . 87
4.3.1 Intersection des semi-groupes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
4.3.2 Relation d'ordre partiel dans `
1
mn
(K) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
4.4 Structure d'un espace afne et d'une algbre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
5 Appendice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
Bibliographie . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 102
Introduction
Il est bien connu qu'une matrice sur un corps a un inverse, si elle est carre de dter-
minant non nul. Cependant, dans plusieurs domaines des mathmatiques appliques on a
besoin de quelques types d'inverses partiels d'une matrice singulire, ou mme rectangu-
laires. Par exemple, les solutions d'un systme linaire peuvent exister mme si la matrice
dnissant ce systme est singulire. Ce qui conduit l'inverse ainsi nomm gnralis
d'une matrice. L'inversibilit est l'une des disciplines les plus rpandues en Mathma-
tique, beaucoup de problmes sont interprts par une quation du type r = . o est
une transformation linaire donne, qui est dans notre situation une matrice de type ::
sur K (un oprateur linaire dni d'un espace vectoriel 1 dans un autre 1 de dimensions
respective : et :): comme l'analyse numrique, l'optimisation, la thorie de contrle,
thorie de codage, la statistique et les modles linaires, ce problme est aussi manipul
via le concept d'un inverse gnralis (ou le pseudo inverse) d'une matrice (ou d'un opra-
teur linaire). Devant des questions de ce type on cherche un oprateur ayant le maximum
de proprits dont l'inverse usuel rjouit, et d'une manire que cet inverse existe pour une
classe aussi large d'oprateurs linaires.
Si est un oprateur linaire, considrons
0
. un oprateur linaire vriant
0
=
et
0

0
=
0
. ces proprits, qui sont celles de l'inverse ordinaire, rendent
0
aussi
proche de l'inverse de . ou autrement dit on est proche d'obtenir
0
= 1
n
; l'identit
dans 1. Les oprateurs les plus proches de l'identit du point de vue proprits, sont les
projecteurs (l'application identique est une projection dont l'image est l'espace tout entier),
1
Introduction 2
pour cela, cherchons
0
vriant l'une ou les deux quations:
_

0
= 1
E

0
= 1
F
o 1
E
et 1
F
sont des projecteurs vriant de plus 1
F
= et (ou) 1
E

0
=
0
. La ques-
tion a t connue depuis longtemps; utilise par Fredholm (1903) pour traiter les quations
intgrales, aussi par Hurwitz, Hilbert, ..., et ainsi des dnitions de ce genre d'oprateurs
apparaissent, donnant naissance une terminologie varie, suivie de notations diffrentes,
mais possdant toutes un point commun, faisant apparatre leurs proprits proches de
celles de l'inverse usuel.
Parmi la terminologie existante, citons par exemple : inverse partiel, inverse intrieur,
inverse extrieur, quasi inverse, pseudo inverse, inverse gnralis,.... D'autres inverses
portent les noms de leurs fondateurs, par exemple: l'inverse de Moore, l'inverse de Moore-
Penrose, l'inverse de Drazin, de Dufn,...
La majorit des proprits de l'inverse gnralis ont t traites dans le livre de A.
Ben Isral et T. N. E. Greville [3]. et aussi dans le livre du Z. Nashed [14].
Les travaux, desquels notre thme est inspir ont trait les proprits algbriques des
inverses gnraliss
0
d'une matrice vriant le systme suivant:
_

0
=

0
=
0
.
galement, on va traiter les inverses gnraliss de la somme, du produit et l'invariance
de la loi d'ordre inverse sous le choix d'un inverse gnralis. Certaines de ces pro-
prits sont apparues depuis plus de cinquante ans. Une reprsentation trs complique
pour l'inverse gnralis de la somme a t donne par R. Cline [4]. Cette reprsentation
Introduction 3
utilise la somme de deux matrices semi dnie- positives, et a t rcemment utilis par J.
A. Fill et D. E. Fishkind pour obtenir une autre reprsentation [7]. En utilisant le thorme
d' additivit des rangs, nous tudions un inverse gnralis de la somme, et nous obtenons
quelques rsultats sur le Moore-Penrose inverse de la somme. Dans [5]. R. Cline a donn
une reprsentation pour le Moore-Penrose inverse du produit de deux matrices en utilisant
le Moore-Penrose inverse d'autres produits, i. e (1)
+
= (
+
1)
+
_
1(
+
1)
+
_
+
[16] . Baser sur ce dernier rsultat, la reprsentation: (1)

= 1

11

pour
certains inverses gnraliss

. 1

et (

11

. a t donne par X. M. Ren, Y.


Wang et K. P. Shum [17] . Dans notre contribution [20] . nous utilisons les projecteurs
an d'obtenir l'galit (1)

= 1

1
(R(A

))
1
(R(B))

. o 1(A) dsigne l'espace im-


age d'une matrice A et 1
(R(X))
un projecteur sur 1(A) .
En 1964, dans [6] . I. Erdelyi avait montr l'quivalence: (1)
+
= 1
+

+
si et seule-
ment si (
+
11
+
)
+
= (
+
11
+
)
+
. (11
+

+
)
+
= 11
+

+
et (1
+

+
1)
+
=
1
+

+
1 . Aprs, dans [9] . T. N. E. Greville a prouv la relation: (1)
+
= 1
+

+
si
et seulement si 1(
+
1) 1(1) et 1(11
+

+
) 1(
+
). Nous montrons que 1

(1)
1
si et seulement si 1(
+
1) 1(1) et 1(11
+

+
) 1(
+
). Remarquons
que si et 1 sont des isomtries partielles (c'est dire
+
=
+
et 1
+
= 1
+
), alors nous
obtenons les conditions de T. N. E. Greville. Plus gnralement ses conditions ne donnent
que l'ordre inverse de l'inverse de Moore-Penrose du produit de deux matrices. Il est
souligner que de nos conditions, alors que nous avons toujours l'ordre inverse, le produit
1
+

+
ne peut tre (1)
+
. Les proprits topologiques et certaines proprits algbriques
ont t tudies par M. Z. Nashed [14] . S. Guedjiba et R. Benacer [11].
Introduction 4
Rappelons que les puissances d'une matrice carre et de son Groupe inverse
#
avec le projecteur
#
constituent un groupe ablien en vertu du produit de matrices, et
ce groupe a d'abord t dni par I. Erdelyi [3]. Notre contribution et de montrer que si ce
groupe est ni ayant un ordre /. alors la matrice est rduite la /racine de l'unit.
Concernant les questions sur la structure algbrique de l'ensemble
1
des inverses
gnraliss d'une matrice . et les relations entre les indices d'un endomorphisme , d'un
espace vectoriel ni, et d'un inverse gnralis ,

. nous constatons que l'ensemble


1
n'est qu'un semi-groupe. Un semi-groupe quotient de
1
est isomorphe au semi-groupe
de projecteurs sur 1(). et pour deux matrices quivalentes, et 1. les semi-groupes

1
et 1
1
sont isomorphes. Enn un endomorphisme , et son 1. 2 inverse ,

ont
le mme indice j si et seulement si ker ,
p
= ker (,

)
p
. En particulier, ,

est nilpotent si
et seulement si , l'est. Cela est un travail original dont la premire question fait l'objet de
la publication [21] .
La thse se compose de quatre chapitres. Le premier, en plus de son caractre intro-
ductif, est consacr rappeler quelques proprits de plusieurs types d'inversion gnral-
ise et leurs reprsentations. Nous illustrons cela en donnant diffrentes mthodes de con-
structions des inverses gnraliss, et en citant quelques proprits algbriques de l'espace
image, le rang et les classes des inverses gnraliss.
Le deuxime chapitre traite principalement l'inverse de Moore-Penrose
+
de la
matrice . Etant donn que cette dernire inverse conserve de nombreuses proprits de
l'inverse ordinaire, nous discutons la relation entre
+
et la matrice
+
adjointe de . Pour
les proprits non- conserves par l'inverse de Moore-Penrose, comme la forme normale de
Introduction 5
Jordan, valeurs propres et les puissances d'une matrice carre, nous considrons le Groupe
inverse, (quand il existe), pour sa ressemblance avec l'inverse ordinaire. Comme l'indice
d'une matrice est une source essentielle de l'inverse de Drazin, qui est le cas gnral, ce
concept prendra galement une part importante de l'intrt du deuxime chapitre .
Le troisime chapitre est consacr l'tude des inverses gnraliss de la somme et
du produit de deux matrices. Nous y discutons galement l'invariance de l'ordre inverse
sous le choix des inverses gnraliss des facteurs, et nous appliquons nos conditions de la
loi d'ordre inverse des rsultats prcdents de R. E. Cline, I. Erdelyi et T. N. E. Greville.
Enn, le quatrime chapitre traite certaines structures algbriques lies aux classes
des inverses gnraliss cits dans le premier chapitre, comme semi- groupes, espaces
afnes et algbres, et on en dduit certaines proprits, comme la commutativit, la rgular-
it et la norme matricielle. En outre, nous construisons l'ensemble `
1
mn
(K) des classes
des inverses gnraliss des matrices de `
mn
(K) en tablissant une bijection entre les
semi- groupes
_
`
1
mn
(K) .
_
et (`
mn
(K) . +) . Comme cette bijection n'est pas un
homomorphisme, nous prsentons des proprits symtriques, comme l'quivalence des
matrices et l'isomorphisme entre les semi- groupes associs, la somme des matrices dont
les images sont d'intersection nulle et l'intersection des semi- groupes associs, et nale-
ment, la relation d'ordre "-

" entre les matrices, et la relation d'ordre "" entre les semi-
groupes associs, respectivement [21] .
Introduction 6
Table des notations
K le corps des nombres rels ou complexes.
`
mn
(K) l'espace des matrices de type :: sur K.
1 = 1
n
la matrice identique d'ordre :.

0
ou

inverse gnralis de .
:() le rang de .
`() le noyau de .
1() l'espace image de .
i:d () l'indice de .

t
la matrice transpose de .

+
la matrice adjointe de .
\
l
l'espace orthogonal d'un espace vectoriel \.
la somme directe .
J

(:) bloc de Jordan associ la valeur propre ` d'ordre :.

+
le Moore-Penrose inverse de .

#
le Groupe inverse de .

D
le Drazin inverse de .
C () le groupe cyclique constitue des puissances de et
#
.
/ (1) ) l'espace vectoriel d'endomorphismes de l'espace 1.
Im, l'image de l'endomorphisme ,.
ker , le noyau de l'endomorphisme ,.
~ relation d'quivalence
Introduction 7
-

l'ordre partiel "moins".


`
1
mn
(K) l'ensemble des inverses gnraliss des matrices appartenant `
mn
(K) .

1 la direction de l'espace vectoriel 1.


|.|
F
la norme matricielle.
Chapter 1
Prliminaires.
Dans tout le contenu, K dsigne le corps des nombres rels ou complexes et les
coefcients de nos matrices appartiennent ce corps.
Dnition 1.0.1 Soient A une matrice de type m n et k un entier positif. Un
G
k
inverse de A est une matrice A
0
de type n m satisfaisant les deux quations:
_
(
0
)
k
=
(
0
)
k

0
=
0
((1))
Si A
0
vrie la premire quation, alors A
0
s'appelle 1
k
inverse de A. Un G
1
inverse
est dit aussi ginverse rexif ou 1. 2 inverse de A. et un 1
1
inverse est dit simple-
ment ginverse ou un 1 inverse de A. Par l'inverse gnralis on dsigne un 1
k
ou un
G
k
inverse.
Remarque 1.0.1 Soit A
0
un 1
k
inverse de A. alors
(
0
)
2k
= (
0
)
k
. (
0
)
2k
= (
0
)
k
.
En effet, comme = (
0
)
k
= (
0
)
k
. on a
(
0
)
2k
=
_
(
0
)
k

0
(
0
)
k1
=
0
(
0
)
k1
= (
0
)
k
.
(
0
)
2k
= (
0
)
k1

0
_
(
0
)
k
_
= (
0
)
k1

0
= (
0
)
k
.
1.1 Existence de G
k
inverses
Lemme 1.1.1 Toute matrice possde un G
k
inverse, qui en gnral, n'est pas unique.
8
1.2 Quelques exemples sur les inverses gnraliss 9
Preuve. Soient 1 et Q deux matrices inversibles telles que
= Q
_
1
r
0
0 0
_
1. avec : = : () .
Si on prend
0
= 1
1
_
o 0
0 0
_
Q
1
. avec o
k
= 1
r
. alors
0
est un G
k
inverse de .
Prenons
t
0
= 1
1
_
o oA
1 1 A
_
Q
1
. avec A et 1 des matrices non nulles, alors
on obtient
(
t
0
)
k
= Q
_
1
r
A
0 0
_
Q
1
. (
t
0
)
k
= .
(
t
0
)
k
= 1
1
_
1
r
0
1 o
k1
0
_
1 et (
t
0
)
k

t
0
=
t
0
.
ce qui montre que,
t
0
est un autre G
k
inverse de .
Si on est concern par l'unicit de l'inverse gnralis, les quations du systme (1)
doivent tre compltes par d'autres conditions, comme nous allons le voir pour l'inverse
de Moore-Penrose, et aussi pour le Groupe inverse.
1.2 Quelques exemples sur les inverses gnraliss
1- Soit ` =
_
0
0 0
_
une matrice par blocs, alors `
0
=
_

0
A
1 2
_
est un 1 inverse
de `. avec
0
un 1 inverse de et A. 1 et 2 sont arbitraires.
2- Considre ` =
_
0
0 0
_
. alors `
0
=
_
A 1

0
2
_
est un 1 inverse de `
telle que
0
est un 1 inverse de et A. 1 et 2 sont arbitraires.
3- Si est une matrice inversible, alors
0
=
1
est le seule 1 inverse de . Cepen-
dant les G
k
inverse de sont de la forme o
1
et
1
o o o est une /racine de l'unit
1.2 Quelques exemples sur les inverses gnraliss 10
(on verra plus tard que (
0
)
k
et (
0
)
k
sont des projecteurs de rangs : () . donc pour
inversible, (
0
)
k
et (
0
)
k
sont des /racine de l'unit).
4- tant donn une matrice symtrique = 1
t
_
1
r
0
0 0
_
1. avec 1 orthogonal.
On voit aisment que
0
= 1
t
_
1
r
A
1 1 A
_
1 est un 1. 2 inverse de . Pour A et 1
diffrentes, (
0
)
t
est un autre1. 2 inverse de .
5- Pour une matrice inversible droite (resp. gauche) . un inverse droite (resp.
gauche) est un 1. 2 inverse de .
6- Soient et
0
satisfaisant
0
= 1. Alors
0
est un G
2
inverse de .
7- Considrons les matrices et
0
telles que
0
= o o o une racine de l'unit
d'ordre /. alors
0
est un G
k
inverse de .
8- Une racine de l'unit d'ordre / est un G
k
inverse de l' identit.
Remarque 1.1.1 1) Un 1 inverse ( resp. 1. 2 inverse) est un 1
k
inverse
(resp. G
k
inverse).
En effet, soit
0
un 1 inverse de . Alors
=
0
= (
0
). (
0
) = (
0
)
2
.
et une simple rcurrence montre que (
0
)
k
= pour tout / _ 2.
2) Si
0
est un G
k
inverse de A. alors (
0
)
t
( resp. (
0
)
+
) est un G
k
inverse de

t
(resp. A
+
). En particulier, si A est symtrique (resp. auto- adjointe) et
0
est un G
k

inverse de A. on a (
0
)
t
(resp. (
0
)
+
) est un G
k
inverse de A qui , en gnral est diffrent
de
0
.
1.3 Quelques mthodes de calcul 11
1.3 Quelques mthodes de calcul d'un inverse gnralis
On a dj dans la section 1.1 une mthode de dtermination des inverses gnraliss d'une
matrice. On se propose ici d'exposer d'autres mthodes permettent aussi le calcul des
inverses gnraliss .
1.3.1 Calcul de l'inverse gnralis par factorisation prservant le rang
La mthode se rsume dans le lemme suivant:
Lemme 1.3.1 Pour toute matrice A de type m n de rang r. il existe une matrice
inversible gauche B et une matrice inversible droite C. de rang r telles que A = BC.
De plus, 1
t
1 et CC
t
sont inversibles. Alors,
0
= C
t
(CC
t
)
1
o (1
t
1)
1
1
t
. o o
k
= 1.
est un G
k
inverse de . Alternativement, on peut choisir un inverse gauche 1
l
de 1 et
un inverse droite C
r
de C an d'avoir
0
= C
r
o1
l
.
La preuve de ce lemme gure dans l'appendice.
1.3.2 Mthode de la matrice bordante
Considrons une matrice de type : : de rang :. et 1 et C deux matrices de rangs
maximums, telles que
1(1) = 1()
l
. 1
_
C
t
_
= 1(
+
)
l
. (C)
Alors, 1 est une matrice de type :(::) de rang ::. donc inversible gauche, C
est une matrice de type (: :) : de rang : :. donc inversible droite, et s'il existe A
1.3 Quelques mthodes de calcul 12
et 1 tels que
_

C
_
A =
_
1
0
_
1.
on a
A = 11 1() 1(1) . et CA = 0.
De la condition (C), on a aussi 1() 1(1) = 0 . ce qui donne 1 = 0. car 1 est
inversible gauche, et 1(A) ` () . Comme ` () = 1(C
+
) . il existe A = C
+
A
t
pour un certain A
t
. Par suite, 0 = CA = CC
+
A
t
ce qui implique A
t
= 0. puisque CC
+
est inversible. D'o A = 0. Par consquent,
1
_

C
_
1
_
1
0
_
= 0 .
D'autre part, ` () = 1(C
+
) implique
1(
+
) 1(C
+
) = 0 .
La matrice
` =
_
1
C 0
_
est dite matrice bordante de . ` est d'ordre (: +::) . de plus, les intersections prc-
dentes donnent
: (`) = :
_

C
_
+:
_
1
0
_
= : () +: (C) +: (1)
= : + (: :) + (::) = : +::.
ainsi ` est inversible. Si `
1
=
_
1 1
G H
_
o 1 est une matrice de type : :. on a,
``
1
=
_
1
C 0
__
1 1
G H
_
=
_
1 +1G 1 +1H
C1 C1
_
=
_
1
m
0
0 1
nr
_
.
(1.1)
1.3 Quelques mthodes de calcul 13
`
1
` =
_
1 1
G H
__
1
C 0
_
=
_
1 +1C 11
G +HC G1
_
=
_
1
n
0
0 1
mr
_
. (1.2)
De (1.1), on a
1 +1G = 1
m
. 1 = 1H. C1 = 0. C1 = 1
nr
Comme 1() 1(1) = 0 et 1 est inversible gauche, on a H = 0. ce qui donne
1 = 1H = 0. L'quation (1.2) donne
1 +1C = 1
n
. 11 = 0. G +HC = 0. G1 = 1
mr
Multiplions gauche l'quation 1 +1C = 1
n
par . on a
1 +1C = 1 = . (1.3)
Multiplions gauche l'quation 1 +1G = 1
m
par 1. on a
11 +11G = 11 = 1 (1.4)
Les quations (1.3) et (1.4) montrent que 1 est un 1. 2 inverse de . De plus les matri-
ces G et 1 sont des inverses gauche et droite de 1 et C respectivement. Les quations
11 = 0 et C1 = 0 impliquent 1(1) ` (1) et 1(1) ` (C) . De l'orthogonalit
dans la condition (C) . il s'ensuit que ` (
+
) ` (1) et 1(1) 1(
+
) . Les relations
concernant l'image et le rang de Moore-Penrose inverse (ce qu'on va voir plut tard) mon-
tre que 1 est le Moore-Penrose inverse de . si nous remplaons la condition (C) par un
supplmentaire quelconque de 1() ou 1(
t
) nous obtenons un 1. 2 inverse de .
Exemple 1.3.1 Soit
=
_
1 0 1
1 0 1
_
.
1.3 Quelques mthodes de calcul 14
Si on prend
1 =
_
1
1
_
et C =
_
1 0
0 1
1
0
_
.
on obtient
` =
_
_
_
_
1 0 1 1
1 0 1 1
1 0 1 0
0 1 0 0
_
_
_
_
. `
1
_
_
_
_
1
4
1
4

1
2
0
0 0 0 1
1
4
1
4
1
2
0

1
2
1
2
0 0
_
_
_
_
.
Ainsi,
1 =
_
_
1
4
1
4
0 0
1
4
1
4
_
_
et
1 =
_
1 0 1
1 0 1
_
_
_
1
4
1
4
0 0
1
4
1
4
_
_
_
1 0 1
1 0 1
_
=
_
1 0 1
1 0 1
_
= .
1.3.3 Mthode de la matrice partitionne
La mthode expose dans le lemme 1.1.1 est l'une des matrices partitionnes, an d'tre
plus praticable, il est commode de mettre la matrice sous la forme
=
_

11

12

21

22
_
.
o
11
est une matrice inversible d'ordre : = :(). De l'identit
_
1
r
0

21

1
11
1
mr
__

11

12

21

22
__
1
r

1
11

12
0 1
mr
_
=
_

11
0
0
22

21

1
11

12
_
.
on obtient : (
11
) = : = :() = : (
11
) + :
_

22

21

1
11

12
_
. puisque les matrices
_
1
r
0

21

1
11
1
_
et
_
1
r

1
11

12
0 1
_
sont inversibles. Il s'ensuit que
_

22

21

1
11

12
_
= 0.
22
=
21

1
11

12
.
1.4 L'inverse gnralis d'une matrice carre 15
Un simple calcul montre alors que
0
=
_
o
1
11
0
0 0
_
est une G
k
inverse de .
Exemple 1.3.2 Soit
=
_
_
0 1 1 0
1 0 0 1
1 1 0 0
_
_
.
Alors,
: () = 3.
11
=
_
_
0 1 1
1 0 0
1 1 0
_
_
.
1
11
=
_
_
0 1 0
0 1 1
1 1 1
_
_
et

0
=
_

1
11
0
_
=
_
_
_
_
0 1 0
0 1 1
1 1 1
0 0 0
_
_
_
_
est un 1. 2 inverse de .
1.4 Mthode de calcul de l'inverse gnralis d'une matrice
carre
1.4.1 L'inverse gnralis d'un bloc de Jordan
Dnition 1.4.1 Une matrice carre d'ordre : de la forme
_
_
_
_
_
_
` 1 0 . .0
0 ` 1 0 .0
. . . . .
0 . 0 ` 1
0 . . 0 `
_
_
_
_
_
_
est dite bloc de Jordan correspondant la valeur propre `. on le note par J
n
(`) .
Lemme 1.4.1 Tout bloc de Jordan J
n
(`) . a un 1. 2 inverse J
(1;2)
n
(`) tel que
J
(1;2)
n
(`) =
_
J
1
n
(`) pour ` ,= 0
J
t
n
(`) pour ` = 0
.
En effet, un calcul direct montre que J
(1;2)
n
(`) dni prcdemment est un 1. 2 inverse
de J
n
(`) .
1.4 L'inverse gnralis d'une matrice carre 16
Rappelons que J
n
(0) est la matrice nilpotente d'ordre :. partitionne par blocs
comme suit:
J
n
(0) =
_
0
(n1)1
1
n1
0
11
0
1(n1)
_
.
Par un calcul direct, il s'ensuit que
J
t
n
(0) =
_
0
1(n1)
0
11
1
n1
0
(n1)1
_
= J
(1;2)
n
(0) .
on vrie que
J =
_
0
1(n1)
0
11
o1
n1
0
(n1)1
_
est un G
k
inverse de J
n
(0) . o o tant une racine carre d'ordre / de 1
n1
.
1..1 Forme normale de Jordan
Il est bien connu que pour une matrice carre . il existe une matrice inversible 1 et des
blocs de Jordan J
n
1
(`
1
) . J
n
2
(`
2
) . .... J
nm
(`
m
) tels que
1
1
1 =
_
_
_
_
_
_
J
n
1
(`
1
) 0 . . .0
0 J
n
2
(`
2
) . . .0
. . . . .
. . . . .
0 0 . . J
nm
(`
m
)
_
_
_
_
_
_
.
o `
1
. .... `
m
sont les valeurs propres de la matrice . Ainsi, de la dnition du G
k
inverse,
nous avons l'assertion suivante.
Proposition 1.4.1 Considrons
= 1
1
_
_
_
_
_
_
J
n
1
(`
1
) 0 . . .0
0 J
n
2
(`
2
) . . .0
. . . . .
. . . . .
0 0 . . J
nm
(`
m
)
_
_
_
_
_
_
1.
1.4 L'inverse gnralis d'une matrice carre 17
Alors, il existe un 1. 2 inverse de de la forme:

(1;2)
= 1
1
_
_
_
_
_
_
J
(1;2)
n
1
(`
1
) 0 . . .0
0 J
(1;2)
n
2
(`
2
) . . .0
. . . . .
. . . . .
0 0 . . J
(1;2)
nm
(`
m
)
_
_
_
_
_
_
1.
Posons

0
= 1
1
_
_
_
_
_
_
o
1
J
(1;2)
n
1
(`
1
) 0 . . .0
0 o
2
J
(1;2)
n
2
(`
2
) . . .0
. . . . .
. . . . .
0 0 . . o
m
J
(1;2)
nm
(`
m
)
_
_
_
_
_
_
1.
o
i
tant une racine de l'unit d'ordre :
i
. Si k est le plus petit commun multiple de :
1
. .... :
m
.
alors
0
est un G
k
inverse de .
Corollaire 1.4.1 La mthode prcdente peut- tre employe pour dterminer l'inverse
gnralis d'une matrice rectangulaire l'aide d'un inverse gnralis de la matrice

+
. en prenant
(1;2)
= (
+
)
(1;2)

+
.
Preuve. Rappelons que pour toute matrice A. le produit A
+
A est semi-dni posi-
tif, d'o, A
+
A = 0 entrane A = 0. et de la remarque 1.1.1, si (A
+
A)
(1;2)
est un
1. 2 inverse de A
+
A. alors
_
(A
+
A)
(1;2)
_
+
est un autre 1. 2 inverse de A
+
A. Ap-
pliquons cet argument
+
. nous avons:
_
(
+
)
(1;2)

+

_
+
_
(
+
)
(1;2)

+

_
=
_

_
(
+
)
(1;2)
_
+

+
__
(
+
)
(1;2)

+

_
=
_

_
(
+
)
(1;2)
_
+

+

+

__
(
+
)
(1;2)

+
1
n
_
=
(
+

+
)
_
(
+
)
(1;2)

+
1
n
_
= 0.
1.5 Quelques proprits concernant l'image et le rang 18
ce qui entrane (
+
)
(1;2)

+
= . d'autre part, on a
_
(
+
)
(1;2)

+
_

_
(
+
)
(1;2)

+
_
=
_
(
+
)
(1;2)
(
+
) (
+
)
(1;2)
_

+
= (
+
)
(1;2)

+
.
Par consquent, (
+
)
(1;2)

+
=
(1;2)
.
1.5 Quelques proprits concernant l'image et le rang
Lemme 1.5.1 tant donn une matrice de type ::. et
0
un 1
k
inverse de . Alors
1) :() = :(
0
) = :(
0
) _ :(
0
).
2) :() = :((
0
)
k
) = :((
0
)
k
) _ :(
0
).
3) Il existe au moins un 1
k
inverse de de rang maximum.
4)
0
est un G
k
inverse de si et seulement si :(
0
) = :().
Preuve. L'galit (
0
)
k
= donne :() = :((
0
)
k
) _ :((
0
)
k
) _
:(
0
) _ min (:(). :(
0
)) .ce qui montre la premire assertion du lemme.
D'une faon analogue, et par l'galit (
0
)
k
= . on montre la deuxime.
La troisime assertion s'obtient en prenant
= Q
_
1
r
0
0 0
_
1
1
.
0
= 1
_
o1
r
0
0 l
_
Q
1
avec : (l) = min (:. :) :. et notamment, si : (l) = i _ min (:. :) :. on obtient un
1
k
inverse de de rang : +i.
1.5 Quelques proprits concernant l'image et le rang 19
Soit
0
un G
k
inverse de . puis et
0
sont 1
k
inverse l'un de l'autre. La
premire partie du lemme donne
:() _ :(
0
). :(
0
) _ :().
Rciproquement, supposons que
0
est un 1
k
inverse de avec :(
0
) = :().
Alors, 1(
0
)
k
_ 1(
0
).
Appliquons le rsultat 1, on a :(
0
) = :(
0
)
k
. ainsi
1(
0
)
k
= 1(
0
) et
0
= (
0
)
k
A.
pour une matrice A. En outre,
(
0
)
k

0
= (
0
)
k
(
0
)
k
A = (
0
)
k
A =
0
.
Lemme 1.5.2 Soit une matrice de type ::. et
0
un G
k
inverse de . Alors
1) 1
_
(
0
)
k
_
= 1() et `
_
(
0
)
k
_
= `(
0
).
2) 1
_
(
0
)
k
_
= 1(
0
) et `
_
(
0
)
k
_
= `().
3) (
0
)
k
et (
0
)
k
sont des projecteurs sur 1() et 1(
0
) respectivement.
4) K
m
= 1() `(
0
) et K
n
= 1(
0
) `().
Preuve. 1) Evidemment, on a 1
_
(
0
)
k
_
1().et du fait que :() = :((
0
)
k
).
les deux sous-espaces sont confondus. Pour l'galit des noyaux,et comme
0
est un
G
k
inverse de . nous avons
0
=
0
(
0
)
k
. ce qui donne `(
0
) _ `
_
(
0
)
k
_
_
`
_

0
(
0
)
k
_
= `(
0
).
2) La preuve de la deuxime assertion est analogue celui ci-dessus.
3) de la deuxime assertion, et de la remarque 1.0.1, on a (
0
)
k
est un projecteur
sur 1(). Pour la mme raison, on a (
0
)
k
est un projecteur sur 1(
0
).
1.5 Quelques proprits concernant l'image et le rang 20
4) La preuve de la quatrime partie est une consquence simple des rsultats an-
trieurs (Pour tout projecteur j d'un espace vectoriel 1. on a 1 = 1(1) ` (1)).
Remarque 1.5.1 Si
0
est un 1
k
inverse seulement, alors, on a `(
0
) `(
0
).
D'o, la dcomposition 1
m
= 1() `(
0
) n'est pas toujours vraie.
En effet, soient =
_
1
r
0
0 0
_
.
0
=
_
1
r
0
0 2
_
.avec 2 une matrice non nulle. Alors,
:(
0
) = : +:(2) ~ : () . d'o, dim(`(
0
)) = ::(
0
) = :: :(2) - ::.
Notons galement que si
0
est un G
k
inverse de . alors, les matrices
0
et
0

sont des involutions d'ordre / sur 1() et 1(


0
) (resp. nilpotentes d'indice / sur `(
0
)
et `()). On note aussi qu'on peut dcomposer 1() et 1(
0
) en somme directe. Le
thorme qui suit donne une dcomposition 1() et 1(
0
) . on se base sur le lemme
suivant dont la dmonstration gure dans l'annexe.
Lemme 1.5.3 tant donn un espace vectoriel 1 sur K. un endomorphisme 1 de
1. et g (t) et h (t) deux polynmes premiers entre eux. Si f (t)le polynme produit
, (t) = q (t) /(t)
vrie , (1) = 0. alors,
1 = ` (q (1)) ` (/(1)) .
Thorme 1.5.1 Soient / ~ 1 et
0
un G
k
inverse d'une matrice de type :n.
Alors
1) 1() = ` (
0
1) `
_
I + AA
0
+... + (AA
0
)
k1
_
.
1(
0
) = ` (
0
1) `
_
1 +
0
+... + (
0
)
k1
_
.
2) La matrice
0
(resp.
0
) peut tre reprsente sur ` (
0
) (resp. sur ` ()) par une
matrice diagonale par blocs 1icq (J
0
(:
1
) . ...J
0
(:
l
)). o J
0
(:
1
) . ...J
0
(:
l
) sont des blocs
1.6 Equations matricielles et classes des G
k
inverses 21
de Jordan nilpotents, o | = dim` (
0
) (resp. dim` ()), et au moins l'un des blocs est
d'ordre / et les autres sont d'ordre ne dpassant pas /.
3) Sur 1
m
.
0
(resp.
0
) peut tre reprsente par une matrice diagonale par blocs
1icq
_
1. .. ....
k1
. J
0
(:
1
) . ...J
0
(:
l
)
_
. o . est une racine de l'unit d'ordre / et J
0
(:
1
) . ....
J
0
(:
l
) sont des blocs de Jordan nilpotents d'ordre :
1
. .... :
l
. avec | = dim` (
0
) . (| =
dim` ()).
Preuve. La preuve de la seconde assertion du thorme est similaire celle de la
premire assertion. Donc on va dmontrer la premire seulement, et on va utiliser le lemme
1.5.2 et les rsultats obtenus dans ces deux partie pour dmontrer la troisime assertion .
Signalons que la restriction de (
0
)
k
1() (resp. ` (
0
)) est la matrice iden-
tique (resp. la matrice nulle), il suft de prendre 1 =
0
. , (t) = t
k
1. q (t) = t 1.
et /(t) = 1 + t + ...t
k1
dans le lemme 1.5.3, pour avoir le rsultat mentionn. Selon le
lemme 1.5.2, nous avons K
m
= 1() `(
0
). Puis, l'expression de
0
. dans la forme
rquise, est une combinaison des expressions correspondantes sur 1() et `(
0
). en tant
que valeurs propres de
0
sur 1() sont les racines de ,(t).
1.6 Equations matricielles et classes des G
k
inverses
1.6 Equations matricielles et classes des G
k
inverses 22
1.6.1 L'equation A1 = C
Nous avons vu qu'une matrice peut admettre un nombre inni d'inverses gnraliss. An
de donner une reprsentation de l'ensemble des inverses gnraliss d'une matrice, nous
allons rsoudre certaines quations matricielles.
Considrons le systme
_
A =
AA = A
(1.5)
Remarquons que la premire quation de ce systme est un cas particulier de l'quation
A1 = C. et peut galement tre reprsente par le systme suivant:
_
A1 = 1
1 = C .
(1.6)
Comme les quations A1 = 1 et 1
+
A
+
= 1
+
sont quivalentes, on considre la
forme gnrale: A = C.
Lemme 1.6.1 Soient et C deux matrices de types :: et :|. Nous avons les
conditions suivantes:
1) L'quation A = C admet une solution si et seulement si 1(C) _ 1().
2) Si la condition 1) est satisfaite, alors la solution gnrale est de la forme
A =
0
(
0
)
k1
C + (1 (
0
)
k
)l.
o
0
un 1
k
inverse de et l est une matrice quelconque de type : |.
Preuve. 1) Soit
0
un 1
k
inverse de . Alors, (
0
)
k
est un projecteur sur 1().
et si 1(C) _ 1(). on a (
0
)
k
C = C. d'o (
0
(
0
)
k1
C) = C. et il s'ensuit
1.6 Equations matricielles et classes des G
k
inverses 23
que A
0
=
0
(
0
)
k1
C est une solution de l'quation A = C. Rciproquement, si
A = C admet une solution, alors il existe une matrice A
0
telle que A
0
= C. Par suite
1(C) _ 1().
2) Soit A
0
une matrice, telle que A
0
= C. alors, pour tout A telle que A =
C. Alors (A A
0
) = 0. et par suite 1(A A
0
) `(). Le lemme 1.5.2 donne
`() = `((
0
)
k
) = 1((1
0
)
k
). et dduit qu'il existe une matrice l. telle que
A A
0
= (1
0
)
k
l = l (
0
)
k
l. d'o la solution gnrale est sous la forme
A = A
0
+l (
0
)
k
l =
0
(
0
)
k1
C + (1 (
0
)
k
)l.
Corollaire 1.6.1 Soient 1 et C deux matrices de types | et :|. Alors
1) L'quation A1 = C admet une solution si et seulement si 1(C
+
) _ 1(1
+
).
2) Si la condition 1) est satisfaite, alors la solution gnrale est de la forme
A = C(1
0
1)
k1
1
0
+l(1 (11
0
)
k
)
o 1
0
est un 1
k
inverse de B et l est une matrice quelconque de dimensions m q.
Preuve. L'quation A1 = C est satisfaite si et seulement si 1
+
A
+
= C
+
. Le
lemme 1.6.1 donne la premire assertion. Le lemme 1.6.1 donne galement dans ce cas
A
+
= 1
+
0
(1
+
1
+
0
)
k1
C
+
+ (1 (1
+
0
1
+
)
k
)l
+
.
on prend l'adjointe des deux membres, on a
A = C(1
0
1)
k1
1
0
+l(1 (11
0
)
k
).
1.6 Equations matricielles et classes des G
k
inverses 24
Corollaire 1.6.2 Soient . B et C trois matrices de types : :. | et : |
respectivement. Alors on a
1) L'quation A1 = C admet une solution si et seulement si
1(C) _ 1() et 1(C
+
) _ 1(1
+
).
2) Si la condition 1) est satisfaite, alors la solution gnrale est de la forme
A =
0
(
0
)
k1
C(1
0
1)
k1
1
0
+ ((1 (
0
)
k
)l)((1
0
1)
k1
1
0
) +\ (1 (11
0
)
k
).
o
0
. 1
0
sont des 1
k
inverse de et 1 respectivement et l et \ sont arbitraires.
Preuve. Comme le systme (2) est quivalent A1 = C. alors en appliquant les
rsultats prcdents, on a
A =
0
(
0
)
k1
C(1
0
1)
k1
1
0
+ ((1 (
0
)
k
)l)((1
0
1)
k1
1
0
) +\ (1 (11
0
)
k
).
o
0
. 1
0
sont des 1
k
inverse de et 1 respectivement et l et \ sont arbitraires.
Corollaire 1.6.3 La solution gnrale de l'quation A = est de la forme:
A = (
0
)
k1

0
+\ (1 (
0
)
k
) + (1 (
0
)
k
)l. (1.7)
o
0
est un 1
k
inverse de A et l et \ sont des matrices arbitraires.
Preuve. Prenons = 1 = C dans les rsultats prcdents, nous avons les inclu-
sions triviales: 1() _ 1(). 1(
+
) _ 1(
+
). d'o, la solution est sous la forme:
A = (
0
)
k1

0
+\ (1 (
0
)
k
) + (1 (
0
)
k
)l.
De l'tude prcdente, nous avons le thorme suivant:
Thorme 1.6.1 La classe des G
k
inverses d'une matrice est donne par
A = (
0
)
k1

0
+ (1 (
0
)
k
)l(
0
)
k
+ (
0
)
k
l(1 (
0
)
k
). (1.8)
1.6 Equations matricielles et classes des G
k
inverses 25
o
0
est un G
k
inverse donn de A et l est une matrice de dimension convenable.
Preuve. Soit A un 1
k
inverse de . de l'quation (1.7), on a
AA = (
0
)
k1

0
(
0
)
k1

0
+\ (1 (
0
)
k
)(
0
)
k1

0
+(1 (
0
)
k
)l(
0
)
k1

0
+ (
0
)
k1
(
0
)\ (1 (
0
)
k
)
+\ (1 (
0
)
k
)\ (1 (
0
)
k
) + (1 (
0
)
k
)l\ (1 (
0
)
k
)
+(
0
)
k1
(
0
) (1 (
0
)
k
)l +\ (1 (
0
)
k
)(1 (
0
)
k
)l
+(1 (
0
)
k
)l(1 (
0
)
k
)l.
Comme (
0
)
k1

0
= (
0
)
k
. (1 (
0
)
k
) = 0 et (1 (
0
)
k
) = 0. en
remplaant tous ces termes dans l'quation prcdente, nous obtenons
AA = (
0
)
k1

0
+ (1 (
0
)
k
)l(
0
)
k
+ (
0
)
k
\ (1 (
0
)
k
)
+(1 (
0
)
k
)l\ (1 (
0
)
k
). (1.9)
Maintenant, si on pose sous la forme =
_

1
0
0 0
_
. avec
1
inversible, et
l =
_
l
11
l
12
l
21
l
22
_
. \ =
_
\
11
\
12
\
21
\
22
_
.
Il suft de prendre
0
=
_
o
1
1
0
0 0
_
. avec o
k
= 1 an d'avoir
\ (1 (
0
)
k
=
_
\
11
\
12
\
21
\
22
__
0 0
0 1
_
=
_
0 \
12
0 \
22
_
et
(1 (
0
)
k
)l =
_
0 0
0 1
__
l
11
l
12
l
21
l
22
_
=
_
0 0
l
21
l
22
_
.
ainsi, nous obtenons
A = (
0
)
k1

0
+
_
0 \
12
0 \
22
_
+
_
0 0
l
21
l
22
_
.
1.6 Equations matricielles et classes des G
k
inverses 26
Ce qui signie que A est de la forme gnrale A = (
0
)
k1

0
+
_
0 c
, q
_
o c. ,. q
sont des matrices arbitraires de dimensions appropries.
On remarque que le terme
_
0 c
, q
_
est indpendant de la matrice . D'autre part,
nous avons
(1 (
0
)
k
)l(
0
)
k
=
_
0 0
l
21
0
_
(
0
)
k
\ (1 (
0
)
k
) =
_
0 \
12
0 0
_
.
(1 (
0
)
k
)l\ (1 (
0
)
k
) =
_
0 0
0 l
21

1
\
12
_
.
ainsi, en remplaant les galits prcdentes dans l'quation (1.9), nous obtenons
AA = (
0
)
k1

0
+
_
0 0
l
21
0
_
+
_
0 \
12
0 0
_
+
_
0 0
0 l
21

1
\
12
_
= (
0
)
k1

0
+
_
0 \
12
l
21
l
21

1
\
12
_
.
Le terme l
21

1
\
12
n'est pas arbitraire, car il est dpendant de
1
. puis AA = A ne tient
que si le terme
_
0 \
12
l
21
l
21

1
\
12
_
est indpendant de la matrice . Comme cela n'est
satisfait que si
(1 (
0
)
k
)l\ (1 (
0
)
k
) = 0.
on a,
A = (
0
)
k1

0
+
_
0 \
12
l
21
0
_
.
Enn, la classe des G
k
inverses de la matrice est donne par la forme:
A = (
0
)
k1

0
+ (1 (
0
)
k
)l(
0
)
k
+ (
0
)
k
l(1 (
0
)
k
).
o
0
est un G
k
inverses donn de la matrice et l une matrice arbitraire de type
appropri.
Chapter 2
Quelques types d'inverses gnraliss
2.1 Introduction
Il est bien connu que les inverses gnraliss les plus importants sont l'inverse de Moore-
Penrose et le Groupe inverse (s'il existe), ils conservent une bonne partie des proprits
de l'inverse ordinaire, que l'unicit de l'inverse, les proprits de symtrie et beaucoup
d'autres qui font un concept central en algbre linaire, analyse numrique et dans di-
verses applications [1] . [3] . [14] . Dans ce chapitre, nous allons comparer les proprits al-
gbriques de l'inverse de Moore-Penrose et du groupe inverse ceux de l'adjointe d'une
matrice. En particulier, nous allons donner les conditions ncessaires et sufsantes pour
que le groupe form des puissances d'une matrice et celles de son Groupe inverse soit un
groupe ni (Thorme 2.3.1). En outre; en comparant entre les indices d'une matrice et de
son inverse gnralis, nous avons dmontr sous certaines conditions que l'indice d'un in-
verse gnralis est infrieur ou gal l'indice de la matrice. En particulier, la matrice est
nilpotente si et seulement si elle possde un inverse gnralis nilpotent (Proposition 2.5.1,
Proposition 2.5.2 et ses corollaires).
Dnition 2.1.1 tant donn une matrice de type ::. De l'quation (1.6.1)
et l'quation (1.6.2). et pour / = 1. on a: la classe des 1 inverses de est donne
par
X = A
0
+ U(I (AA
0
)) + (I (A
0
A))V. (1)
27
2.2 L'inverse de Moore-Penrose 28
avec
0
est un 1 inverse de . et l et \ sont arbitraires de types appropris.
La classe des 1. 2 inverses ou des ginverses rexifs de est donne par

0
+ (
0
)l(1 (
0
)) + (1 (
0
))l(
0
). (1. 2)
avec
0
est un 1. 2 inverse de . et l est arbitraire de type appropri.
L'inverse de Moore-Penrose not
+
[16] . est l'unique matrice A satisfaisant les qua-
tions:
A = (1)
AA = A (2)
(A)
+
= A (3)
(A)
+
= A (4)
(1. 2. 3. 4)
Les matrices satisfaisant la premire et la troisime quations sont donnes par
X = A
0
+ (I (A
0
A))U. o U est arbitraire de type appropri. (1. 3)
Les matrices satisfaisant la premire et la quatrime quations sont donnes par
X = A
0
+ U(I (AA
0
)). o U est arbitraire de type appropri. (1. 4)
2.2 L'inverse de Moore-Penrose
tant donn une matrice de type ::. Citons quelques proprits de
+
.
1)
+
existe et unique.
2) (
+
)
+
= (ce qu'on appelle l'involution de +).
3)
+
et
+
sont auto- adjoints positives.
4)
+
A =
+
1 entrane A = 1 (la rgle de + simplication).
5) \c ~ 0.
+
+ c1.
+
+ c1 sont inversibles. De plus, si est une matrice carre,
alors
+
+
+
+c1 est inversible et
+

+
,= 1.
2.2 L'inverse de Moore-Penrose 29
6) Si est une matrice carre, alors \/ ~ 0. (
+
)
k
=
_

k
_
+
. (la commutativit de la
puissance avec l'involution).
7) Pour toutes matrices et 1 de type : :. ( +1)
+
=
+
+ 1
+
(l'involution est
additive).
8) Pour toutes matrices et 1 telles que le produit est dni, on a (1)
+
= 1
+

+
(l'ordre
inverse pour l'involution).
2.2.1 Proprits algbriques de l'inverse de Moore-Penrose
Toutes les proprits de
+
ci-dessus restent valables pour
+
sauf 6, 7 et 8, qui ne sont
vraies que sous certaines conditions quivalentes, ce qui a t le sujet de plusieurs articles.
Un document de I. Erdelyi [6] a donn des conditions quivalentes pour (1)
+
= 1
+

tenir. D'autres conditions ont t donnes par T. N. E. Greville [9]. Dans le chapitre suivant,
nous allons tudier ce sujet. En outre, par un thorme fameux d Cochran connu par
" Rank additivity , un document de remplissage [7] a t rdig; sous des conditions
appropries, on obtient une relation entre l'inverse de Moore-Penrose de la somme de deux
matrices et les inverses de Moore-Penrose des termes se servant de la somme parallle de
matrices. Autrement dit, l'invariance de ( +1)

1 sous le choix d'un 1 inverse.


Nous allons tudier les conditions quivalentes pour que ( +1)
+
=
+
+ 1
+
dans le
troisime chapitre.
Maintenant, nous allons prouver des proprits en commun pour
+
. en ajoutant la
proprit de commutativit de l'involution (+) avec le signe (+) de Moore-Penrose.
1. L'existence et l'unicit :
2.2 L'inverse de Moore-Penrose 30
Il y a un rsultat qui assure les conditions ncessaires et sufsantes pour l'existence
de l'inverse de Moore-Penrose sur un corps quelconque. Pearl [15] est peut-tre le pre-
mier ayant examin la question de l'existence de divers inverses gnraliss d'une matrice
( l'exception du Groupe inverse) sur un corps quelconque en vertu d'un automorphisme
involutif. Plus prcisment, il a prouv le rsultat suivant:
Lemme 2.2.1 ( [14]Thorme 1) tant donn une matrice rectangulaire . Alors

+
existe si et seulement si :() = :(
t
) = :(
t
).
Ce rsultat semble galement avoir t obtenu indpendamment par Kalman ([12].
section 3, p. 116). L'existence des ginverses rexifs et des ginverses normaliss ont
galement t obtenus par Pearl (voir, par exemple, [15] thorme 4 et corollaire 3). Ful-
ton [8]. a tudi la factorisation d'une matrice donne et obtenu des conditions pour
l'existence d'un ginverse normalis (tout ginverse rexif A d'une matrice satis-
faisant (A)
t
= A) et l'existence de l'inverse de Moore-Penrose
+
.
Preuve. L'existence de
+
est assure par la condition du lemme ci-dessus, puisque
Kest le corps rel ou le domaine complexe (voir la preuve du lemme 1.3.1). Pour l'unicit,
on suppose qu'on a
+
1
.
+
2
deux inverses de Moore-Penrose de . De la dnition de
+
et la partie 2 de la remarque 1.1.1, on obtient

+
1
=
+
1

+
1
=
+
1
_

+
1
_
+
=
+
1
_

+
1
_
+

+
=
+
1
_

+
1
_
+

+
_

+
2
_
+

+
=
+
1
_

+
1
_
+
_

+
2
_
+
=
+
1
_

+
1
_ _

+
2
_
=
+
1

+
2
=
+
1

+
2

+
2
=
_

+
1

_
+
_

+
2

_
+

+
2
=
+
_

+
1
_
+

+
_

+
2
_
+

+
2
=
+
_

+
2
_
+

+
2
=
_

+
2

_
+

+
2
=
_

+
2

_

+
2
=
+
2
.
2.2 L'inverse de Moore-Penrose 31
En outre, on peut en dduire l'existence et l'unicit en utilisant la factorisation plein
rang de . en prenant = 1C. Puis, par une vrication directe dans (1. 2. 3. 4) . nous
constatons que C
+
(CC
+
)
1
(1
+
1)
1
1
+
=
+
.
2. L'application
+
est une involution:
Si on remplace C
+
(CC
+
)
1
et (1
+
1)
1
1
+
dans l'quation prcdente par des ma-
trices A et 1. on obtient
+
= A1 une factorisation plein rang de
+
. Puis, partir de
l'involution de (+) et l'inversibilit et par un calcul similaire utilis pour
+
. nous consta-
tons que (
+
)
+
= .
3.
+
et
+
auto-adjoints (orthoprojecteurs):
Les projecteurs
+
et
+
sont auto- adjoints par dnition de
+
.
4. La rgle de +simplication:
Pour toutes matrices A et 1. si
+
A =
+
1. alors,
+
A =
+
1 =
A = 1.
5. L'inversibilit de
+
+c1
n
.
+
+c1
m
pour c ~ 0:
Comme
+
(resp.
+
) est un projecteur, alors, ses valeurs propres sont 0 ou
1. D'autre part, det (
+
+c1
n
) = 0 = c = 1 ou 0. Par consquent, \c ~ 0.
det (
+
+c1
n
) ,= 0, ce qui signie que
+
+c1
n
(resp.
+
+c1
m
) est inversible.
Toutefois, si est une matrice carre, on a
+

+
,= 1. sinon,
+
=
+
+ 1
2.2 L'inverse de Moore-Penrose 32
est inversible. D'autre part,
+
est un projecteur, se qui implique
+
= 1.
+
est
l'inverse droite de la matrice carre . ce qui exige d'tre de rang maximum, et que

+
= 1 =
+
. Par consquent, nous avons 1 = 21. ce qui est impossible.
6. Moore-Penrose inverse d'une puissance:
Pour prouver que, pour / ~ 0. (
+
)
k
=
_

k
_
+
n'est pas vrai pour toutes les matri-
ces, nous allons donner un contre exemple, dans le chapitre prochain, nous discutons cette
question.
Exemple 2.2.1 On considre =
_
1 1
0 0
_
. alors
2
= .
+
=
1
2
_
1 0
1 0
_
et (
2
)
+
=
+
tandis que (
+
)
2
=
1
2

+
.
7. L'adjoint de Moore-Penrose inverse:
Pour nir notre comparaison, remarquons que les quations (1). (2). (3) et (4) dans
la dnition de Moore-Penrose nous conduisent, par prendre l'adjointe des deux parties,
(
+
)
+
= (
+
)
+
.
2.2.2 Relation entre l' adjointe et l'inverse de Moore-Penrose d'une
matrice
De l'tude faite, on peut se demander quelle est la relation entre
+
et
+
. En fait, nous pou-
vons utiliser l'inverse de Moore-Penrose d'une matrice symtrique pour calculer l'inverse
de Moore-Penrose d'une matrice quelconque. En outre, nous avons le lemme suivant
2.2 L'inverse de Moore-Penrose 33
Lemme 2.2.2 tant donn une matrice de type ::. Alors
(
+
)
+

+
=
+
=
+
(
+
)
+
.
Preuve. Pour toute matrice . on a

_
(
+
)
+

+
_
=
+
(
+
)
+
(
+
) =
+
.
Appliquons la rgle de +simplication, nous obtenons
_
(
+
)
+

+
_
= . En re-
vanche,
_
(
+
)
+

+
_

_
(
+
)
+

+
_
=
_
(
+
)
+
(
+
) (
+
)
+
_

+
= (
+
)
+

+
.
_
(
+
)
+

+
_
+
=
_
(
+
)
+
_
+

+
= ((
+
)
+
)
+

+
= (
+
)
+

+
.
De mme,
_
(
+
)
+

_
+
=
+
(
+
)
+
=
_

+
(
+
)
+
_
+
= (
+
)
+

+
.
Par consquent, nous obtenons (
+
)
+

+
=
+
. De la mme manire, nous pouvons
prouver que
+
=
+
(
+
)
+
.
Remarque 2.2.1 On a 1(
+
) = 1(
+
) et ` (
+
) = ` (
+
)
en effet,
+
=
+
(
+
)
+
implique 1(
+
) 1(
+
) . D'autre part, prenons
l'adjointe des deux membres de l'quation:
+
= . nous obtenons
+
= (
+
)
+
.
d'o, 1(
+
) = 1(
+
) . De l'galit (1())
l
= ` (
+
) . on a ` (
+
) = ` (
+
) .
2.3 Le Groupe inverse 34
2.2.1 Applications
1) Considrons deux matrices et 1 telles que 1 = 0. alors
1
+

+
= (1
+
1)
+
1
+

+
(
+
)
+
= (1
+
1)
+
(1)
+
(
+
)
+
= 0 = (1)
+
.
2) Le calcul de
+
, en se servant de la matrice (
+
)
+
. est plus facile que celui
utilisant la mthode de la factorisation prservant le rang, parce que
+
est semi-dnie
positive. Puis elle est semblable une matrice diagonale. Il existe alors, une matrice
unitaire l telle que
+
= l
+
dicq (`
1
. .... `
n
) l. Donc
(
+
)
+
= l
+
dicq
_
`
+
1
. .... `
+
n
_
l o `
+
i
=
_
`
1
i
si `
i
,= 0
0 si `
i
= 0
. pour i = 1. ...: .
En revanche, cela n'est pas vrai pour d'autres matrices. (c. . d. la forme normale
de Jordan d'une matrice n'est pas conserve en prenant l'inverse de Moore-Penrose; dans
l'exemple de la proprit 6, les valeurs propres de sont 0 et 1. tandis que celles de
+
sont
0 et
1
2
. Toutefois, nous verrons dans la section suivante que lorsque le Groupe inverse d'une
matrice carre existe, alors la forme normale de Jordan est prserve en prenant le Groupe
inverse. Ce fait rend le Groupe inverse plus proche de l'inverse ordinaire que l'inverse de
Moore-Penrose.
2.3 Le Groupe inverse
Dnition 2.3.1 tant donn une matrice carre d'ordre :. Le groupe inverse de
note
#
est la matrice carre, du mme ordre satisfaisant les quations suivantes:
_
_
_
A =
AA = A
A = A
2.3 Le Groupe inverse 35
Remarque 2.3.1 Le systme prcdent est quivalent
_
_
_

2
A =
A
2
= A
A = A
Remarque 2.3.2 De la troisime quation, nous obtenons:
1() = 1
_

#
_
et ` () = `
_

#
_
2.3.1 Existence et unicit
Lemme 2.3.1 tant donn une matrice carre . Les conditions suivantes sont quiva-
lentes
1) :() = :(
2
).
2) 1() = 1(
2
).
3) 1() ` () = K
n
( 1() et ` () sont supplmentaires ).
4)
#
existe et il est unique.
Preuve. videmment, les assertions 1 et 2 sont quivalentes.
Nous allons prouver l'quivalence entre 2 et 3. Partons du fait que
: () + dim`() = :.
et que
` () `
_

2
_
.
il suft de montrer que ` () 1() = 0 . En raison des dimensions, si :() = :(
2
).
alors ` () = ` (
2
) . Pour tout r ` ()1() . il existe telle que = r `().
2.3 Le Groupe inverse 36
d'o,
2
= r = 0. ce qui donne `(
2
) = ` () . Par consquent,
r = = 0.
Inversement, on suppose que ` () 1() = 0 . alors si r 1() avec r = 0.
on a r = 0. Il en rsulte que, la restriction de 1() (comme endomorphisme) est un
automorphisme. Donc
1
_

2
_
= (1()) = 1() .
Maintenant on montre l'quivalence entre 2 et 4. Supposons que 1() = 1(
2
). alors, il
existe une matrice A telle que =
2
A. Soit = 1C la factorisation prservant le rang
de . et 1
l
et C
r
les inverses gauche et droite de 1 et C respectivement, on obtient
= 1C = 1C1CA. (1
l
1) (CC
r
) = 1 = (C1)CAC
r
ce qui montre que (C1) est inversible. On pose
A = 1(C1)
2
C.
On a
A = 1C1(C1)
2
C1C = 1C = .
AA = 1((C1)
2
C1C1)(C1)
2
C = 1(C1)
2
C = A.
et
A = 1C1(C1)
2
C = 1(C1)
1
C = A.
Il s'ensuit que A =
#
. Inversement, si
#
existe, alors l'quation
2
A = est quiva-
lente 1() = 1(
2
).
2.3 Le Groupe inverse 37
Unicit: Supposons que G
1
et G
2
sont deux Groupe inverses de . on obtient:
G
1
= G
2
1
= G
2
1
_

2
G
2
_
= G
1
_
G
1

2
_
G
2
= G
1
G
2
= G
1
_

2
G
2
_
G
2
=
_
G
1

2
_
G
2
2
= G
2
2
= G
2
.
2.3.2 Quand
#
est gale
+
Nous avons vu que l'existence de
#
est quivalente au fait que 1() et ` () sont
supplmentaires. Maintenant, si
1() = 1(
+
) ou ` () = ` (
+
) .
alors,
#
existe, et comme 1(
+
) = 1(
+
) et ` (
+
) = ` (
+
) . alors,

+
_

_
=
+
.
+

+
_
=
+
.
du fait que
+
et
+
sont des projecteur sur 1() = 1(
+
) . Par consquent,

+
=
_

_
+
=
_

+
_

__
+
=
_

_
+
_

+
_
+
=
+

+
_
=
+
.
Ainsi, on a
+
=
#
.
Remarque 2.3.3 Si est idempotente, alors =
#
.
En effet, =
2
implique l'existence de
#
. De la remarque 2.3.1, nous obtenons
A = A
2
A
#
= AA
#
= A
_
A
_
A
#
_
2
_
= A
2
_
A
#
_
2
= A
_
A
#
_
2
= A
2.3.3 Le groupe cyclique
Le nom du groupe inverse a t donn par I. Erdelyi, parce que les puissances positives et
ngatives d'une matrice donne (les puissances ngatives de tant interprtes comme
2.3 Le Groupe inverse 38
puissances positives de
#
), avec le projecteur
#
comme lment neutre, constituent
un groupe ablien en vertu de la multiplication des matrices.
En effet, soit une matrice carre et
#
son Groupe inverse. On pose G =
_

k
. / Z
_
.

0
=
#
. Comme
#
=
#
. il suft de vrier la multiplication dans le ct gauche.
Remarquons que pour tout / Z. on a
_

#
_

k
=
#

k1
=
k1
=
k
.
d'o
#
est l'lment neutre de G. Comme
#
=
#
. alors est l'inverse de
#
(au sens de l'inversion dans le groupe) .
Notons aussi que G est cyclique, engendr par ou
#
. donc il sera not C () .
Dans le thorme suivant nous allons donner les conditions quivalentes pour l'existence
d'un entier positif / vriant
k
=
#
.
Thorme 2.3.1 tant donn une matrice carre telle que
#
existe.. Les condi-
tions suivantes sont quivalentes:
1) Il existe un entier positif / pour lequel
k
=
#
.
2) C () est un groupe ni d'ordre /.
3) est semblable
_
o 0
0 0
_
o o est une /racine de l'unit.
Preuve. Les deux premires conditions sont juste une simple consquence des
groupes cycliques.
3) On sait que, si
k
=
#
. alors
k
est un projecteur sur 1() . d'o
_

k
= 1 sur 1()

k
= 0 sur ` ()
.
2.3 Le Groupe inverse 39
En forme de Jordan, cela signie que: sur 1(). les valeurs propres non nulles de sont
les k-racines de l'unit, et sur `(). = ` une matrice en blocs diagonale, nilpotente
d'indice de nilpotence /. On en dduit qu'il existe une matrice inversible 1. telle que
= 1
1
_
o 0
0 `
_
1 .
o o est une racine de l'unit d'ordre /. Si on prend
A = 1
1
_
o
1
0
0 `
t
_
1.
alors A est un 1. 2 inverse de (voir bloc de Jordan, Lemme 1.4.1 ). On a aussi
A = (A)
k
= 1
1
_
1
r
0
0 (``
t
)
k
_
1 (2.1)
du fait que A est idempotent. Pour obtenir le Groupe inverse, il faut avoir A = A. ce
qui implique ``
t
= `
t
`. et cela donne (``
t
)
k
= `
k
(`
t
)
k
= 0. De l'quation (2.1),
on obtient ``
t
= (``
t
)
k
= 0. et par suite ` = 0. du fait que ``
t
est semi-dnie
positive. Finalement,
= 1
1
_
o 0
0 0
_
1.
Rciproquement, si
= 1
1
_
o 0
0 0
_
1.
alors le polynme caractristique de est t
(nk)
_
t
k
1
_
.ce qui entrane la dcomposition:
K
n
= ker
_

k
1
_
ker
nk
. Comme ker
_

k
1
_
= 1() . ker
nk
= ` () . on a
_

k
= 1 sur 1()

k
= 0 sur ` ()
ce qui donne
k

#
=
#
. d'o
k
=
#
du fait que
#
est l'lment neutre.
2.4 L'inverse de Drazin 40
2.4 L'inverse de Drazin
tant donn une matrice carre . On sait que la suite des sous-espaces suivante
1(1) = 1
_

0
_
1() 1
_

2
_
... 1
_

k
_
1
_

k+1
_
...
est stationnaire. Soit j le plus petit entier non ngatif pour lequel 1(
p
) = 1(
p+1
).
On dit dans ce cas que est d'indice j not i:d () . Si 1(
p
) = 0, on dit que ,
est nilpotent d'indice de nilpotence j. Le lemme suivant rsume les proprits les plus
importantes de l'indice.
Lemme 2.4.1 Soit , / (1). Les conditions suivantes sont quivalentes:
1) , est d'indice j.
2) Im,
p
= Im,
p+1
.
3) 1 = ker ,
p
Im,
p
.
Pour la preuve, voir l'appendice
Remarque 2.4.1 D'aprs le lemme prcdent, nous concluons que: si i:d () = j.
alors i:d (
p
) =1. donc (
p
)
#
existe. Par consquent, pour toute matrice d'indice
j _ 1 il existe un groupe C (
p
) .
Dnition 2.4.1 Soit une matrice carre d'indice j. L'inverse de Drazin de est
une matrice carre note
D
. qui satisfait les quations suivantes:
_
_
_

D
=
D

D
=
D

p+1
=
p
.
On a
2.4 L'inverse de Drazin 41
Corollaire 2.4.1 1)
D
est un projecteur sur 1
_

D
_
.
2) 1
_

D
_
= 1(
p
) et `
_

D
_
= ` (
p
).
3) Si est inversible, alors
D
=
1
.
4) Si i:d () = 1. alors
D
=
#
.
Preuve. 1) L'galit
D
=
D
. entrane
_

_
2
=
D

D
=
D
. donc

D
est un projecteur sur 1
_

D
_
.
2) De la troisime quation de la dnition 2.4.1 , on a 1(
p
) 1
_

D
_
. De ce qui
prcde, on a:

p
_

D
_
p+1
=
_

D
_
p

D
=
D

D
=
D
.
ce qui signie que 1
_

D
_
1(
p
) . D'o, 1
_

D
_
= 1(
p
) . Maintenant, les qua-
tions:

p+1

D
=
p
.
_

D
_
p+1

p
=
D
entranent `
_

D
_
= ` (
p
) .
3) Si est inversible, nous avons 1() = 1(
0
) = 1(1) . D'o,
D
= 1 =

D
. Ainsi
D
=
1
.
4) Nous avons vu que si i:d () = 1. alors,
#
existe. Ainsi, partir des dnitions
du Groupe inverse et l'inverse de Drazin, il suft de prouver que
D
= . D'aprs les
deux dernires quations de la dnition 2.4.1 , nous avons
=
D

2
=
D
=
D
.
2.5 Indice d'un inverse gnralis d'un endomorphisme 42
2.5 Indice d'un inverse gnralis d'un endomorphisme
Dans cette section, nous allons tudier la relation entre l'indice d'un inverse gnralis
donn

d'une matrice carre et l'indice de . Nous allons les comparer et de trouver


des relations entre
D
et (

)
D
. Des cas particuliers pour
#
et
1
galement auront
lieu. Soient , et ,

les endomorphismes associs et

. L'espace vectoriel des en-


domorphismes de 1 sera dsign par / (1) . Les lemmes suivants ne sont qu'une version
fonctionnelle du lemme 1.5.2, lorsque / = 1. Donc nous n'avons pas besoin de les red-
montrer.
Lemme 2.5.1 Soit , / (1) . ,

est un 1inverse de ,. Alors
1) Im, = Im,,

. ker ,

, = ker ,. ker ,

ker , ,

. et Im,

, Im,

.
2) 1 = ker ,,

Im,.
3) 1 = ker , Im,

,.
Lemme 2.5.2 Soit , / (1) . ,

un 1. 2-inverse de ,. Alors
1) Im, = Im,,

. ker ,

, = ker ,. ker ,

= ker , ,

. Im,

, = Im,

.et
: (,) = : (,

) .
2) 1 = ker ,

Im,.
3) 1 = ker , Im,

.
2.5.1 L'indice d'un 1 inverse de ,
Proposition 2.5.1 Soit 1 un espace vectoriel de dimension nie sur K. , / (1) et ,

un 1 inverse de ,. Les conditions suivantes sont quivalentes:


i) i:d (,

) = j.
2.5 Indice d'un inverse gnralis d'un endomorphisme 43
ii) \/ _ j. ker ,,

_ ker (,

)
k
et Im, _ ker (,

)
k
ou ker ,,

ker (,

)
k
et
(,

)
k+1
Im, = (,

)
k
Im, ou (,

)
k+1
ker ,,

= (,

)
k
ker ,,

et Im, ker (,

)
k
ou (,

)
k+1
ker ,,

= (,

)
k
ker ,,

et (,

)
k+1
Im, = (,

)
k
Im,.
Preuve. Comme 1 = ker ,,

Im, . on a
\/ _ 1. Im
_
,

_
k
=
_
,

_
k
ker ,,

+
_
,

_
k
Im,. (2.2)
Remarquons d'abord que
_
(,

)
k
ker ,,

_
k1
.
_
(,

)
k
Im,
_
k1
sont des suites dcrois-
santes de sous-espaces de 1. d'o, chacune d'elles, soit tend vers l'espace nul ou reste
stationnaire. On va envisager quatre cas:
1) Si les deux suites ont tendent vers l'espace nul, il existe deux entiers /
0
et /
1
. tels
que
ker ,,

ker
_
,

_
k
0
. Im, ker
_
,

_
k
1
.
On pose j = max (/
0
. /
1
) tel que
\/ _ j. ker ,,

_ ker
_
,

_
k
. Im, _ ker
_
,

_
k
. (2.3)
Remplaons (2.3) dans (2.2), nous avons, Im(,

)
p
= 0 . d'o ,

est nilpotent d'indice


j = max (/
0
. /
1
) . Inversement, si ,

est nilpotent d'indice j. alors de (2.2), on a


0 =
_
,

_
p
ker ,,

+
_
,

_
p
Im,.
ce qui signie que les deux termes sont des espaces nuls, d'o les inclusions (2.3) sont
triviales.
2.5 Indice d'un inverse gnralis d'un endomorphisme 44
2)
_
(,

)
k
ker ,,

_
k1
tend vers l'espace nul et
_
(,

)
k
Im,
_
k1
est stationnaire. Il
existe /
0
. /
1
tels que,
ker ,,

ker
_
,

_
k
0
.
_
,

_
k
1
+1
Im, =
_
,

_
k
1
Im,.
d'o,
\/ _ max (/
0
. /
1
) . ker ,,

ker
_
,

_
k
.
_
,

_
k+1
Im, =
_
,

_
k
Im, . (2.4)
Remplaons (2.4) dans (2.2), nous avons
\/ _ j = max (/
0
. /
1
) . Im
_
,

_
k
=
_
,

_
k
Im, =
_
,

_
p
Im, = Im
_
,

_
p
.
ce qui montre que ,

est d'indice j = max (/


0
. /
1
) .
3)
_
(,

)
k
ker ,,

_
k1
est stationnaire et
_
(,

)
k
Im,
_
k1
tend vers l'espace nul. Il
existe /
0
. /
1
tels que,
Im, ker
_
,

_
k
1
.
_
,

_
k
0
+1
ker ,,

=
_
,

_
k
0
ker ,,

.
d'o \/ _ max (/
0
. /
1
) .
Im, ker
_
,

_
k
.
_
,

_
k+1
ker ,,

=
_
,

_
k
ker ,,

. (2.5)
Remplaons (2.5) dans (2.2), nous avons
\/ _ j = max (/
0
. /
1
) . Im
_
,

_
k
=
_
,

_
k
ker ,,

=
_
,

_
p
ker ,,

= Im
_
,

_
p
.
d'o ,

est d'indice j = max (/


0
. /
1
) .
4) Les deux suites sont stationnaires. Il existe /
0
. /
1
tels que,
_
,

_
k
0
+1
ker ,,

=
_
,

_
k
0
ker ,,

.
_
,

_
k
1
+1
Im, =
_
,

_
k
1
Im,.
2.5 Indice d'un inverse gnralis d'un endomorphisme 45
d'o
\/ _ max (/
0
. /
1
) .
_
,

_
k+1
ker ,,

=
_
,

_
k
ker ,,

.
_
,

_
k+1
Im, =
_
,

_
k
Im, .
(2.6)
Remplaons (2.6) dans (2.2), nous avons
\/ _ j = max (/
0
. /
1
) . Im
_
,

_
k
=
_
,

_
p
ker ,,

+
_
,

_
p
Im, = Im
_
,

_
p
.
d'o ,

est d'indice j = max (/


0
. /
1
) .
Inversement, si ,

est d'indice j. on a \/ _ j. Im(,

)
k
= Im(,

)
p
si et seulement
si l'un des cas prcdents dtient.
2.5.2 Comparaison des indices
Maintenant, nous allons comparer les indices de , et d'un ,

donn.
Proposition 2.5.2 Soient , / (1) d'indice j et ,

un 1inverse de ,. Les deux


conditions suivantes sont quivalentes:
i) Il existe /
0
_ 1 tel que, ker ,
p
_ ker (,

)
k
0
ou \/ _ /
0
. (,

)
k
ker ,
p
= (,

)
k
0
ker ,
p
ou (,

)
k
0
ker ,
p
_ Im,
p
.
ii) ,

est d'indice /
0
.
Preuve. Suite au lemme 2.4.1, nous avons i:d (,) = j = 1 = ker ,
p
Im,
p
.
D'o,
\/ _ 1. Im
_
,

_
k
=
_
,

_
k
ker ,
p
+
_
,

_
k
Im,
p
. (2.7)
Comme la restriction de , Im,
p
est un automorphisme, alors la restriction de ,

Im,
p
devient l'inverse ordinaire de , . en fait, pour tout Im,
p
. il existe r Im,
p
tel que
2.5 Indice d'un inverse gnralis d'un endomorphisme 46
,
1
() = r. d'o
,
1
() = ,
1
(, (r)) = ,
1
_
,,

, (r)
_
=
_
,
1
,
_
,

() = ,

() .
Ainsi, \/ _ 1. (,

)
k
Im,
p
= Im,
p
. L'quation (2.7) devient
\/ _ 1. Im
_
,

_
k
=
_
,

_
k
ker ,
p
+ Im,
p
. (2.8)
La suite
_
Im(,

)
k
_
k1
ne dpend que de la suite
_
(,

)
k
ker ,
p
_
k1
. donc, nous avons
deux cas:
1) Il existe /
0
_ 1 tel que ker ,
p
ker (,

)
k
0
. Remplaons cette inclusion dans
(2.8), nous obtenons:
\/ _ /
0
. Im
_
,

_
k
= Im,
p
= Im
_
,

_
k
0
. (2.9)
ce qui montre que ,

est d'indice /
0
. On remarque aussi que, s'il existe /
0
_ 1 tel
que (,

)
k
0
ker ,
p
_ Im,
p
. alors,
\/ _ /
0
.
_
,

_
k
ker ,
p
_
_
,

_
k
0
ker ,
p
_ Im,
p
.
Donc,
\/ _ /
0
. Im
_
,

_
k
= Im,
p
= Im
_
,

_
k
0
.
ce qui montre que ,

est d'indice /
0
.
2) Il existe /
0
_ 1 tel que
\/ _ /
0
.
_
,

_
k
ker ,
p
=
_
,

_
k
0
ker ,
p
,= 0 .
Remplaons cette galit dans l'quation (2.8), nous avons
\/ _ /
0
. Im
_
,

_
k
=
_
,

_
k
0
ker ,
p
+ Im,
p
= Im
_
,

_
k
0
.
2.5 Indice d'un inverse gnralis d'un endomorphisme 47
Ce cas montre que
Im,
p
Im
_
,

_
k
0
. (2.10)
Par suite, ,

est d'indice /
0
_ 1.
Inversement, si ,

est d'indice /
0
. on a \/ _ /
0
. Im(,

)
k
= Im(,

)
k
0
si et seule-
ment si l'un des cas prcdents dtient.
Corollaire 2.5.1 Soient , / (1) d'indice j et de rang : - :. et ,

un 1 inverse
de , d'indice /
0
. Alors nous avons:
1) j _ /
0
si et seulement si Im,
p
= Im(,

)
k
0
.
2) j _ /
0
si et seulement si Im,
p
Im(,

)
k
0
et ,

est un 1. 2inverse de ,.
Preuve. 1) Selon les quations (2.9) et (2.10), ,

est d'indice /
0
si et seulement si
Im,
p
= Im(,

)
k
0
. ou Im,
p
Im(,

)
k
0
.
Si Im,
p
= Im(,

)
k
0
. alors, de (2.8), on a Im(,

)
k
0
_ Im(,

)
p
. d'o j _ /
0
. du
fait que la suite
_
Im(,

)
k
_
k1
est dcroissante.
2) Le cas de Im,
p
Im(,

)
k
0
dtient si (,

)
k
ker ,
p
= (,

)
k
0
ker ,
p
. Par l'ingalit
de Frobenius ( : (1) _ : () +: (1) : ), on a
: j (: :) _ : (,)
p
- :
_
,

_
k
0
.
et de l'ingalit : /
0
(: :) _ : (,

)
k
0
. avec : (,

) = :. on a
: j (: :) _ : /
0
(: :) .
Par consquent,
/
0
(: :) _ j (: :) .
Donc, si ,

est un 1. 2 inverse de , . on a : = :. et, dans ce cas on a /


0
_ j.
2.5 Indice d'un inverse gnralis d'un endomorphisme 48
2.5.3 Indice d'un 1. 2 inverse de ,
Dans ce paragraphe, nous citons quelques rsultats dduits partir de ce qui prcde. Nous
pouvons comparer les indices de , et de ,

quand ,

est un 1. 2 inverse de , .
Comme : (,) = : (,

) . alors, pour , / (1) . on a dimker , = dimker ,

. et la
restriction de , Im,

est un isomorphisme de Im,

sur Im, . On conclue que , et


,

sont, l'un est l'inverse ordinaire de l'autre sur Im, et Im,

.
Corollaire 2.5.2 Soient , / (1) d'indice j et ,

un 1. 2-inverse de ,. Alors
1) ,

est d'indice j si et seulement si ker ,


p
= ker (,

)
p
.
2) ,

est d'indice j si et seulement si Im,


p
= Im(,

)
p
.
3) ,

est nilpotent si et seulement si , est nilpotent.


Preuve. La sufsance dans les assertions du corollaire est satisfaite par la propo-
sition 2.5.2. Ainsi on n'a besoin qu' dmontrer la ncessit, et le fait que les conditions
ncessaires de ces deux dernires ne sont qu'un rsultat de la premire condition, alors
nous allons dmontrer ce dernier seulement
Selon les rsultats mentionns ci-dessus et les paragraphes prcdents, si , est d'indice
j alors, les restrictions de ,

et , Im,
p
sont l'un est inverse de l'autre. D'o,
_
,

,
_
Im,
p
=
_
,,

_
Im,
p
= Im,
p
= Im,
p+1
.
et
1 = ker ,
p
Im,
p
.
Appliquons , l'quation prcdente, on obtient
Im, = , ker ,
p
+ Im,
p+1
= , ker ,
p
+ Im,
p
= , ker ,
p
Im,
p
. (2.11)
2.5 Indice d'un inverse gnralis d'un endomorphisme 49
En effet, pour r , ker ,
p
. il existe ker ,
p
. tel que
r = , () .
D'autre part, ker ,
p
= ker ,
p+1
entrane
,
p
(r) = ,
p+1
() = 0.
d'o r ker ,
p
. Ainsi,
, (ker ,
p
) _ ker ,
p
.
Par consquent, on a une somme directe.
Appliquons ,

l'quation (2.11), on a
Im,

= Im,

, = ,

, ker ,
p
,

Im,
p
= ,

, ker ,
p
Im,
p
.
Nous avons une somme directe car, pour r ,

, ker ,
p
Im,
p
. il existe ker ,
p
. tel
que
r = ,

, () .
avec r Im,
p
. Appliquons ,
p
. on a
,
p
(r) = ,
p1
_
,,

,
_
() = ,
p
() = 0.
D'o, r ker ,
p
Im,
p
= 0 . De la mme faon, on a
\/ _ 1. Im
_
,

_
k
=
_
,

_
k
, ker ,
p
Im,
p
. (2.12)
Maintenant, si ,

est d'indice j. d'une part on a


ker ,
p
Im,
p
= 1 = ker
_
,

_
p
Im
_
,

_
p
.
2.5 Indice d'un inverse gnralis d'un endomorphisme 50
d'autre part, pour / = j. on remplace Im(,

)
p
par l'quation (2.12), on obtient
ker ,
p
Im,
p
= ker
_
,

_
p

_
,

_
p
, ker ,
p
Im,
p
.
Comme ,

est l'inverse de , sur Im, . nous avons pour r (,

)
p
, ker ,
p
. il existe
ker ,
p
tel que
r =
_
,

_
p
, () .
Appliquons ,
2p
. on a
,
2p
(r) = ,
p+1
() = 0.
ce qui montre que
r ker ,
2p
= ker ,
p
.
Ainsi,
_
,

_
p
, ker ,
p
_ ker ,
p
.
Par consquent,
ker
_
,

_
p
_ ker ,
p
.
Comme , et ,

sont l'un est ginverse de l'autre, par rciprocit, on procde de la mme


faon, an d'avoir l'inclusion: ker ,
p
_ ker (,

)
p
.
Corollaire 2.5.3 Soient , / (1) de rang : - :. et ,

un nilpotent 1. 2 inverse
de , d'indice /
0
. Alors , est nilpotent d'indice j. et soit
:
: :
_ /
0
- j ou j =
:
: :
. (2.13)
Preuve. Comme ,

est nilpotent d'indice /


0
. alors, , est nilpotent d'indice j. et 1 =
ker ,
p
= ker (,

)
k
0
. Ainsi, si /
0
- j. alors par l'ingalit de Frobenius,
: _ /
0
(: :) - j (: :) .
2.6 Application l'inverse de Drazin 51
D'o,
n
nr
_ /
0
- j. Si /
0
~ j. on a
ker
_
,

_
p
ker
_
,

_
k
0
= 1 = ker ,
p
.
d'o
dimker
_
,

_
p
: _ j (: :) - /
0
(: :) .
D'autre part,
dimker
_
,

_
p
_ j (: :) .
Donc, il faut que, : = j (: :) - /
0
(: :) . ce qui implique
n
nr
= j - /
0
. On conclue
que, si ,

est un 1. 2 inverse de ,. avec un indice de nilpotence /


0
~ j = indice ,.
alors j divise :.
2.6 Application l'inverse de Drazin
On considre une matrice carre . et

un 1 inverse de . De se qui prcde, on


peut dduire deux rsultats:
Corollaire 28 1) i:d () _ i:d (

) si et seulement si 1
_

D
_
= 1
_
(

)
D
_
.
Dans ce cas, si i:d () ~ 1. alors,
_

ind(A)
= 0.
2) Si

est un 1. 2 inverse de . alors i:d () _ i:d (

) si et seulement si
1
_

D
_
1
_
(

)
D
_
. Dans ce cas, si i:d () = 1. alors

#
=
D
.
_

_
#
=
_

_
D
et 1() = 1
_

#
_
= 1
_
_

_
#
_
= 1
_

_
.
3) Si

est nilpotente, alors, est nilpotente, et (

)
D
= 0 =
D
.
Chapter 3
Oprations algbriques et inverses gnraliss
3.1 Introduction
Les inverses gnraliss de la somme ont fait l'objet de plusieurs travaux. Le concept
d'additivit des rangs (le thorme de Cochran) a t le mot cl dans [1] . [2] . [7] . Les
inverses gnraliss du produit ont fait l'objet des publications [5] . [6] . [9] . [10] . [18] .
[19] . Il est connu qu'ils ne suivent pas la rgle de l'inverse ordinaire (ce qui est appel la loi
d'ordre inverse). Aussitt, mais trs complique, une reprsentation d'un inverse gnralis
du produit de deux matrices a t donne par Cline [5] o il a montr que pour des matrices
et 1 telles que le produit est dni, un inverse gnralis (1)
+
= 1
+
1

+
1
. o 1
1
=

+
1 et
1
= 1
1
1
+
1
. Pas trop loin de la reprsentation prcdente, en utilisant un autre
concept, la reprsentation (1)

= 1

11

pour certains 1. 2 inverses

. 1

et (

11

a t donne par X. M. Ren, Y. Wang et K. P. Shum [17]. Vu


l'importance de la proprit de la loi d'ordre inverse lie l'inverse ordinaire du produit
matriciel, dans les domaines de l'algbre linaire, analyse numrique, optimisation etc..,
cette proprit lie l'inverse gnralis a t tudie par Erdelyi dans [6] o il a donn
des conditions quivalentes pour avoir (1)
+
= 1
+

+
. ensuite beaucoup de travaux
concernant cette proprit ont t ralis, titre d'exemple, on peut citer les travaux de
[10] et [19].
52
3.2 Sur les inverses gnraliss de la somme de deux matrices 53
Dans ce chapitre, notre contributions majeure rside dans l'tude des proprits al-
gbriques de l'inversion gnralise de la somme (Thorme 3.2.1, Thorme 3.2.2,), et du
produit de deux matrices (Proposition 3.3.1, Proposition 3.3.2, Proposition 3.3.3, Thorme
3.4.1). En utilisant l'additivit des rangs nous avons tudi l'inverse gnralis de la somme
de deux matrices si leurs images ne sont pas disjointes et donn un exemple numrique
dans ce cas. Ensuite nous avons utilis les projecteurs pour exprimer la forme gnrale
d'un inverse gnralis du produit de deux matrices. Enn, en supposant que les condi-
tions quivalentes pour avoir la proprit de l'ordre inverse sont satisfaites, nous avons
tabli les conditions quivalentes pour que l'ordre inverse soit invariant. Ce chapitre a t
l'objet de la publication [20] .
3.2 Sur les inverses gnraliss de la somme de deux matrices
Considrons et 1 deux matrices de type ::. et
0
et 1
0
leurs 1 inverses respec-
tivement. Commenons d'abord par citer quelques proprits concernant la somme, en les
regroupant dans les deux lemmes ci-dessous.
Lemme 3.2.1 ( L'additivit des rangs ) Soient et 1 deux matrices de type ::.
Les assertions suivantes sont quivalentes:
1) :( +1) = :() +:(1).
2) 1() 1(1) = 0 et 1(
t
) 1(1
t
) = 0.
Preuve. Posons : () = :. : (1) = :. = A1. 1 = l\ ; les factorisations
plein rang de et 1. et A = [r
1
. r
2
. ...r
r
] . l = [n
1
. n
2
. ...n
s
] . alors r
1
. r
2
. ...r
r
et
n
1
. n
2
. ...n
s
sont deux bases de 1() et 1(1) respectivement. De l'quation
3.2 Sur les inverses gnraliss de la somme de deux matrices 54
+1 = [A. l]
_
1
\
_
. (3.1)
on a
:( +1) _ : ([A. l]) _ : +: = :() +:(1) = :(A) +:(l).
et de la donne
:( +1) = :() +:(1).
on obtient
:([A. l]) = :(A) +:(l) = : +:.
Ainsi r
1
. r
2
. ...r
r
. n
1
. n
2
. ... n
s
sont linairement indpendants. Pour tout 1()
1(1). il existe c
1
. c
2
. ..c
r
. ,
1
. ,
2;
....,
s
. tels que
= c
1
r
1
+c
2
r
2
+...c
r
r
r
= ,
1
n
1
+,
2
n
2
+....,
s
n
s
.
d'o,
0 = c
1
r
1
+c
2
r
2
+...c
r
r
r
+ (,
1
)n
1
+ (,
2
)n
2
+....(,
s
)n
s
.
Par suite,
c
1
=. ... = c
r
= ,
1
=
;
... = ,
s
= 0
ce qui entrane = 0. Par consquent, 1() 1(1) = 0 .
Compte tenu du fait que
:(
t
) +:(1
t
) = : () +: (1) = : ( +1) = :(( +1)
t
) = :(
t
+1
t
).
la relation :(
t
) +:(1
t
) = :(
t
+1
t
) entrane 1(
t
) 1(1
t
) = 0 .
Maintenant, nous supposons que la condition 2 est vrie. Du fait que = A1.
1 = l\ sont des factorisations prservant les rangs, on a 1() = 1(A) et 1(1) =
3.2 Sur les inverses gnraliss de la somme de deux matrices 55
1(l) . d'o, 1(A) 1(l) = 0 et 1(1 ) 1(\ ) = 0 . Ainsi l'quation (3.1) est
une factorisation prservant le rang de +1. ce qui entrane
: ( +1) = : ([A. l]) = : (A) +: (l) = : () +: (1) .
Lemme 3.2.2 Soient et 1 deux matrices de type ::. telles que
:( +1) = :() +:(1).
Alors,
1) Il existe deux matrices inversibles 1 et Q telles que
1Q =
_
1
r
0
0 0
_
. 11Q =
_
0 0
0 1
_
.
2) Tout 1 inverse de +1 est un 1 inverse de et 1 la fois.
3) Si A est un 1 inverse de +1. alors AXB = 0 et BXA = 0.
Preuve. Sans restreindre de gnralit, on peut supposer que =
_
1
r
0
0 0
_
. Soit
1 = l\ une factorisation plein rang de 1. On peut aussi prsenter 1 par:
1 =
_
l
1
l
2
_
_
\
1
. \
2

(3.2)
o l
1
. \
1
sont des matrices de types :: et :: respectivement. Soient l
l
. \
r
des inverses
gauche et droite de l et \ respectivement. On va montrer que
:(l
2
) = : = :(\
2
).
Si :(l
2
) - :. il existe A C
n
. A ,= 0. tel que l
2
A = 0. De l'galit 1 = l\. on a
(1\
r
)A =
_
l
1
l
2
_
A =
_
l
1
A
l
2
A
_
=
_
l
1
A
0
(mr)1
_
1(1) (3.3)
3.2 Sur les inverses gnraliss de la somme de deux matrices 56
A =
_
1
r
0
0 0
__
A
1
A
2
_
=
_
A
1
0
_
=
_
1
r
0
(mr)1
_
A 1() .d'o,
_
l
1
A
0
(mr)1
_
=
_
1
r
0
(mr)1
_
l
1
A 1(). (3.4)
De (3.3) et (3.4), on a
_
l
1
A
0
(mr)1
_
(1() 1(1)). Comme :(+1) = :() +:(1).
appliquons le lemme 3.2.1, on obtient
_
l
1
A
0
(mr)1
_
= 0. ce qui donne lA = 0. D'autre
part, l est de rang maximum, alors A = 0. ce qui contredit l'hypothse, d'o :(l
2
) = :.
et il existe une matrice ` telle que l
1
= `l
2
.
D'autre part de l'galit 1 = l\. on a \ = l
l
1. d'o, \
t
= 1
t
(l
l
)
t
.
De manire analogue, et avec la condition 2 du lemme 3.2.1, on a :(\
2
) = :.
On pose \
1
= \
2
` . Remplaons l
1
et \
1
dans l'quation (3.2), nous obtenons
1 =
_
`l
2
l
2
_
_
\
2
`. \
2

=
_
`l
2
\
2
` `l
2
\
2
l
2
\
2
` l
2
\
2
_
.
Soient o et 1 deux matrices, telles que o
_
0 0
0 1
_
1 = 1.
_
o
11
o
12
o
21
o
22
__
0 0
0 1
__
1
11
1
12
1
21
1
22
_
=
_
o
12
1 1
21
o
12
1 1
22
o
22
1 1
21
o
22
1 1
22
_
=
_
`l
2
\
2
` `l
2
\
2
l
2
\
2
` l
2
\
2
_
.
Il suft de prendre 1 = l
2
\
2
. o
12
= `. 1
21
= `. o
22
= 1
mr
. 1
12
= 0. o
21
=
0. 1
11
= 1
r
. o
11
= 1
r
. 1
22
= 1
nr
. pour avoir
o =
_
1
r
`
0 1
mr
_
. 1 =
_
1
r
0
` 1
nr
_
.
On prend
1 = o
1
=
_
1
r
`
0 1
mr
_
. Q = 1
1
=
_
1
r
0
` 1
nr
_
.
alors
11Q = o
1
11
1
=
_
0 0
0 1
_
. 1Q =
_
1
r
0
0 0
_
.
3.2 Sur les inverses gnraliss de la somme de deux matrices 57
Soient . 1 et +1 comme dans la preuve du lemme 3.2.2, alors pour toute 1 inverse
( +1)
0
de +1. nous avons
[A. l]
_
1
\
_
( +1)
0
[A. l]
_
1
\
_
= [A. l]
_
1
\
_
.
de l'quation (3.1), il existe des inverses gauche et droite [A. l]
l
et
_
1
\
_
r
telles que
[A. l]
l
[A. l]
_
1
\
_
( +1)
0
[A. l]
_
1
\
_ _
1
\
_
r
=
_
1
\
_
( +1)
0
[A. l] =
_
1 ( +1)
0
A 1 ( +1)
0
l
\ ( +1)
0
A \ ( +1)
0
l
_
= 1
r+s
=
_
1
r
0
0 1
s
_
.
Ainsi, on a 1 ( +1)
0
A = 1
r
=A1 ( +1)
0
A1 = A1
r
1 = A1 = .
1 ( +1)
0
l = 0. \ ( +1)
0
A = 0. (3.5)
et
\ ( +1)
0
l = 1
s
=l\ ( +1)
0
l\ = l1
S
\ = l\.
Par suite
1( +1)
0
1 = 1.
L'assertion 3 peut-tre dduite de l'quation (3.5), en multipliant gauche les deux qua-
tions par A et l et droite par \ et 1 respectivement, on obtient
A1 ( +1)
0
l\ = 0. l\ ( +1)
0
A1 = 0.
3.2 Sur les inverses gnraliss de la somme de deux matrices 58
3.2.1 Le cas o 1() 1(1) = 0
Thorme 3.2.1 Soient et 1 deux matrices de type ::. telles que :(+1) = :()+
:(1). Alors, il existe
0
et 1
0
. 1 inverses de et 1 tels que
0
+1
0
( +1)
1
.
Preuve. Appliquons le lemme 3.2.2, il existe deux matrices inversibles 1 et Q.
telles que
= 1
1
_
1
r
0
0 0
_
Q
1
. 1 = 1
1
_
0 0
0 1
_
Q
1
. +1 = 1
1
_
1
r
0
0 1
_
Q
1
.
Il suft de prendre

0
= Q
_
1
r
0
0 0
_
1. 1
0
= Q
_
0 0
0 1
0
_
1.
avec 1
0
est un 1 inverse de 1 pour avoir

0
+1
0
= Q
_
1
r
0
0 1
0
_
1.
On vrie que
( +1)(
0
+1
0
)( +1) = 1
1
_
1
r
0
0 1
_
Q
1
Q
_
1
r
0
0 1
0
_
11
1
_
1
r
0
0 1
_
Q
1
= 1
1
_
1
r
0
0 1 1
0
1
_
Q
1
= 1
1
_
1
r
0
0 1
_
Q
1
= +1.
Remarque 3.2.1 De l'assertion 2 du lemme 3.2.2, on a
(
0
+1
0
) = =1
0
= 0. 1(
0
+1
0
)1 = 1 =1
0
1 = 0.
Thorme 3.2.2 Soient et 1 deux matrices de type :: telles que :(+1) =
:() + :(1). Alors il existe
0
et 1
0
. 1. 2 inverses de et 1 tels que
0
+ 1
0
=
( +1)
0
est un 1. 2 inverse de +1.
3.2 Sur les inverses gnraliss de la somme de deux matrices 59
Preuve. Reprenons

0
= Q
_
1
r
0
0 0
_
1. 1
0
= Q
_
0 0
0 1
0
_
1.
avec 1
0
est un 1. 2 inverse de 1. et en appliquant le thorme prcdent, on a
0
. 1
0
et
0
+1
0
sont des 1 inverses de . 1 et +1 respectivement et que

0
=
0
. 1
0
11
0
= Q
_
0 0
0 1
0
1 1
0
_
1 = Q
_
0 0
0 1
0
_
1 = 1
0
.
(
0
+1
0
)( +1)(
0
+1
0
) = Q
_
1
r
0
0 1
0
_
11
1
_
1
r
0
0 1
_
Q
1
Q
_
1
r
0
0 1
0
_
1
= Q
_
1
r
0
0 1
0
1 1
0
_
1 = Q
_
1
r
0
0 1
0
_
1 =
0
+1
0
.
Remarque 3.2.2 Du thorme 3.2.2, on a

0
( +1)
0
=
0
. 1
0
( +1)1
0
= 1
0
.
Ainsi,

0
1
0
= 0. 1
0
1
0
= 0.
En effet, comme
0
+ 1
0
est un 1. 2 inverse de + 1. alors + 1 est un
1 inverse de
0
+ 1
0
. Appliquons l'assertion 2 du lemme 3.2.2, on en dduit que
+1 est un 1 inverse de
0
et 1
0
.
3.2.2 Le cas o 1() 1(1) ,= 0
Dans ce cas, nous trouverons un 1 inverse de la somme. Soit C = c
1
. c
2
. .....c
k
une
base de 1() 1(1). C peut tre tendu une base A ' C de 1() et peut tre aussi
tendu une base l ' C de 1(1).
3.2 Sur les inverses gnraliss de la somme de deux matrices 60
On pose A = r
1
. r
2
. ...r
rk
et l = n
1
. n
2
.....n
sk
. et nous dsignons par
C = [c
1
. c
2
. .....c
k
] . A = [r
1
. r
2
. ...r
rk
] et l = [n
1
. n
2
.....n
sk
] . les matrices dont leurs
colonnes sont c
i
. r
i
et n
i
respectivement. D'aprs notre construction, nous avons
1(A) 1(C) = 0 . 1(A) 1(l) = 0 . 1(C) 1(l) = 0 .
=
_
C. A

_
1
1
1
2
_
. 1 =
_
C. l

_
\
1
\
2
_
.
Comme
_
C. A

et
_
C. l

sont des matrices de types :: et ::. alors on a les
factorisations prservant les rangs de et 1 respectivement. Envisageons deux cas:
i) :() = :(1) = :
+1 =
_
C. A

_
1
1
1
2
_
+
_
C. l

_
\
1
\
2
_
= C(1
1
+\
1
) + (A1
2
+l\
2
).
Posons
` = C(1
1
+\
1
). ` = A1
2
+l\
2
.
Comme C et 1
1
+\
1
sont des matrices de types :/ et / : (de rang maximum /), on
a une factorisation prservant le rang de ` . On a aussi
1(A) 1(l) = 0 .
et A et 1
2
sont des matrices de types :(:/) et (:/): de rang :/. Des arguments
similaires sont appliqus l\
2
. Appliquons le lemme 3.2.1, on a
:(`) = :(A1
2
) +:(l\
2
) = :(A) +:(l).
3.2 Sur les inverses gnraliss de la somme de deux matrices 61
Comme 1(A) 1(C) = 0 et 1(l) 1(C) = 0 . on a 1(`) 1(`) = 0 .
Appliquons encore le lemme 3.2.1, on a :(` +`) = :(`) +:(`). Appliquons le lemme
3.2.2 ` et `. il existe deux matrices inversibles 1 et Q d'ordres : et :. telles que
1`Q =
_
`
1
0
0 0
_
. o `
1
est une matrice carre d'ordre /. avec / = :(`). 1`Q =
_
0 0
0 `
1
_
. avec `
1
une matrice de type (:/) (: /) . Du thorme 3.2.1, il existe
`
0
et `
0
des 1 inverses de ` et ` tels que
( +1)
0
= (` +`)
0
= `
0
+`
0
.
ii) Si :() < :(1).alors, en mettant
=
_
C . A . 0
m(sr)

_
_
1
1
1
2
0
(sr)n
_
_
.
on a
+1 = C(1
1
+\
1
) + ((A1
2
+ 0) +l\
2
) .
Pour avoir un 1 inverse de +1. nous prenons
` = C(1
1
+\
1
). ` = (A1
2
+ 0) +l\
2
.
Exemple 3.2.1 Soient
A =
_
_
1 0 0
2 1 2
1 0 0
_
_
. B =
_
_
1 1 2
2 0 0
1 1 2
_
_
.
Alors, nous prenons
1)
_
C. A

=
_
_
1 0
2 1
1 0
_
_
.
3.2 Sur les inverses gnraliss de la somme de deux matrices 62
et, la factorisation prservant le rang de :
=
_
C. A

_
1
1
1
2
_
=
_
_
1 0
2 1
1 0
_
_
_
1 0 0
0 1 2
_
2)
_
C. l

=
_
_
1 1
2 0
1 1
_
_
et la factorisation prservant le rang de 1:
1 =
_
C. l

_
\
1
\
2
_
=
_
_
1 1
2 0
1 1
_
_
_
1 0 0
0 1 2
_
Par consquent,
` = C(1
1
+\
1
) =` =
_
_
1
2
1
_
_
_
2 0 0
_
=
_
_
2 0 0
4 0 0
2 0 0
_
_
.
et
` = (A1
2
+l\
2
) =` =
_
_
0
1
0
_
_
_
0 1 2
_
+
_
_
1
0
1
_
_
_
0 1 2
_
=
_
_
0 1 2
0 1 2
0 1 2
_
_
.
Rduisons ` la forme
_
1
k
0
0 0
_
. alors,

1
` =
_
_
2 0 0
4 1 0
2 0 1
_
_
1
_
_
2 0 0
4 0 0
2 0 0
_
_
_
_
1 0 0
2 1 0
1 0 1
_
_
=
_
_
1 0 0
0 0 0
0 0 0
_
_
.

1
` =
_
_
2 0 0
4 1 0
2 0 1
_
_
1
_
_
0 1 2
0 1 2
0 1 2
_
_
_
_
1 0 0
2 1 0
1 0 1
_
_
=
_
_
2
1
2
1
4 1 2
0 0 0
_
_
.
Nous avons 1(`) 1(`) = 0 . 1(`
t
) 1(`
t
) = 0 . Posons ` sous la forme:
` =
_
l
1
l
2
_
_
\
1
. \
2

=
_
_
2
1
2
1
4 1 2
0 0 0
_
_
.
3.2 Sur les inverses gnraliss de la somme de deux matrices 63
Comme la base colonne est
_
_
2
4
0
_
_
. alors,
` =
_
_
2
4
0
_
_
_
1
1
4
1
2
_
=
_
_
2
1
2
1
4 1 2
0 0 0
_
_
.
Posons
l
1
= (2) . l
2
=
_
4
0
_
. l
1
= 1l
2
=1 =
_

1
2
0
_
.
et
\
1
= (1) . \
2
=
_
1
4
1
2
_
. \
1
= \
2
o =o =
_
4
0
_
.
alors, nous avons:
1 =
_
1
1
1
0 1
2
_
=
_
_
1
1
2
0
0 1 0
0 0 1
_
_
. Q =
_
1
1
0
o 1
2
_
=
_
_
1 0 0
4 1 0
0 0 1
_
_
.
Par suite,
1
1
`Q =
_
_
1
1
2
0
0 1 0
0 0 1
_
_
_
_
2
1
2
1
4 1 2
0 0 0
_
_
_
_
1 0 0
4 1 0
0 0 1
_
_
=
_
_
0 0 0
0 1 2
0 0 0
_
_
.
1
1
`Q =
_
_
1
1
2
0
0 1 0
0 0 1
_
_
_
_
1 0 0
0 0 0
0 0 0
_
_
_
_
1 0 0
4 1 0
0 0 1
_
_
=
_
_
1 0 0
0 0 0
0 0 0
_
_
.
Du calcul de (1
1
`Q)
0
et (1
1
`Q)
0
. 1. 2 inverses de 1
1
`Qet 1
1
`Q.
nous avons:
_
(
1
`)
_
0
=
_
_
1 0 0
0 0 0
0 0 0
_
_
.
posons ` =
_
0 0
0 1
_
avec 1 =
_
1 2
0 0
_
. alors, si nous prenons 1
0
=
_
1 0
0 0
_
comme un 1. 2 inverse de 1. nous avons
_
1
1
`Q
_
0
=
_
_
0 0 0
0 1 0
0 0 0
_
_
.
3.2 Sur les inverses gnraliss de la somme de deux matrices 64
Finalement,
_
1
1
`Q
_
0
+
_
1
1
`Q
_
0
=
_
_
1 0 0
0 1 0
0 0 0
_
_
est un 1. 2 inverse de 1
1
( +1) Q.
3.2.3 Quand ( +1)
+
=
+
+1
+
?
Lemme 3.2.3 tant donn deux matrices et 1 de type : :. telles que
+
1 = 0 et
1
+
= 0. Alors, ( +1)
+
=
+
+1
+
.
Preuve. Du lemme 2.2.2, on a

+
1 = (
+
)
+

+
1 = 0. 1
+
= 1
+
(
+
)
+
= 0.
Ainsi, (
+
+1
+
) vrie les quatre quations de l'inverse de Moore-Penrose de +1.
En fait, si les espaces considrs sont euclidiens, la condition prcdente est quiva-
lente 1() l 1(1) et 1(
+
) l 1(1
+
) . ce qui implique la condition d'additivit des
rangs . Maintenant, si nous avons cette condition, quand ( +1)
+
=
+
+1
+
?
partir des thormes prcdents, il suft de prendre

+
= Q
_
1
r
0
0 0
_
1. 1
+
= Q
_
0 0
0 1
+
_
1.
telles que 1 et Q sont des matrices unitaires ( orthogonales ). Ainsi, par une vrication
directe dans les quatre quations de la dnition de Moore-Penrose, on trouve le rsultat
demand. Notons que si 1 et Q sont dnis comme dans le lemme 3.2.2, puis, cette
condition implique que 1 = 1
m
et Q = 1
n
. Par consquent, et 1 sont des matrices
en blocs de la forme
_
A 0
0 0
_
.
_
0 0
0 1
_
. avec 1(A) 1(1 ) = 0 et 1(A
+
)
1(1
+
) = 0 .
3.2 Sur les inverses gnraliss de la somme de deux matrices 65
3.2.4 La forme gnrale de ( +1)
+
quand :( +1) = :() +:(1)
Considrons deux matrices et 1 de type :: telles que :(+1) = :() +:(1). Du
lemme 3.2.2, ( +1)
+
est un 1 inverse de et 1. D'o, il existe l
A
et \
A
. telles que
( +1)
+
=
+
+
_
1
n

_
l
A
+\
A
_
1
m

+
_
.
et
( +1)
+
1 = 0. 1( +1)
+
= 0.
Ainsi, on a

+
+
_
1
n

_
l
A
+\
A
_
1
m

+
__
1 = 0.
et
1
_

+
+
_
1
n

_
l
A
+\
A
_
1
m

+
__
= 0.
ce qui implique que
\
A
_
1
m

+
_
1 =
+
1 . 1
_
1
n

_
l
A
= 1
+
.
Ces deux dernires quations sont des quations matricielles de la forme A1 = C. d'o,
il existe deux matrices \ et l de type : : telles que
\
A
= \
_

+
1
+
\
_
1
m

+
_
1
__
1
m

+
_
1
_
+
.
l
A
= l
_
1
_
1
n

__
+
_
1
+
1
_
1
n

_
l
+

.
Donc,
( +1)
+
=
+
+
_
1
n

_
l +\
_
1
m

+
_

_
1
n

_ _
1
_
1
n

__
+
_
1
+
1
_
1
n

_
l
+

+
1
+
\
_
1
m

+
_
1
__
1
m

+
_
1
_
+
_
1
m

+
_
.
3.3 Sur les inverses gnraliss du produit de deux matrices 66
3.3 Sur les inverses gnraliss du produit de deux matrices
Les projecteurs sont les outils les plus rpandus dans le concept des inverses gnraliss
des matrices partitionnes et des matrices bordantes. Ici, nous allons utiliser deux mth-
odes diffrentes bases sur ces concepts pour calculer un inverse gnralis du produit de
matrices. Comme la proprit de loi d'ordre inverse est largement tudie, elle trouvera sa
place dans ce qui suit. De plus, nous allons tudier l'invariance de cette proprit en vertu
des inverses gnraliss.
3.3.1 Mthode de la matrice partitionne
tant donn deux matrices et 1 telles que le produit est dni. Sans restreindre de
gnralit, on peut supposer que 1 est sous la forme
1 =
_
1
r
0
0 0
_
.
L'ide de cette mthode est de dcomposer la matrice par blocs conformment 1.
comme suit:
=
_

11

12

21

22
_
.
Ainsi,
1 =
_

11
0

21
0
_
.
L'tude suivante donnera les conditions quivalentes pour que la loi d'ordre inverse soit
tablie.
Proposition 3.3.1 Soient et 1 deux matrices dnies comme dans le paragraphe
3.3.1, alors,
3.3 Sur les inverses gnraliss du produit de deux matrices 67
_
(
11
)
0
(
21
)
0
0 0
_
est un 1. 2 inverse de 1 si et seulement si

11
(
21
)
0

21
= 0.
21
(
11
)
0

11
= 0. (3.6)
et
(
11
)
0

11
(
21
)
0
= 0. (
21
)
0

21
(
11
)
0
= 0 (3.7)
pour certains (
11
)
0
et (
21
)
0
des 1. 2 inverses de
11
et
21
.
Preuve. Soient (
11
)
0
. (
21
)
0
deux 1. 2 inverses de
11
et
21
respectivement.
Alors,
_

11
0

21
0
__
(
11
)
0
(
21
)
0
0 0
__

11
0

21
0
_
=
_

11
+
11
(
21
)
0

21
0

21
+
21
(
11
)
0

11
0
_
=
_

11
0

21
0
_
.
si et seulement si,

11
(
21
)
0

21
= 0 et
21
(
11
)
0

11
= 0.
et
_
(
11
)
0
(
21
)
0
0 0
__

11
0

21
0
__
(
11
)
0
(
21
)
0
0 0
_
=
_
(
11
)
0
+ (
21
)
0

21
(
11
)
0
(
21
)
0
+ (
11
)
0

11
(
21
)
0
0 0
_
=
_
(
11
)
0
(
21
)
0
0 0
_
. si et seulement si,
(
11
)
0

11
(
21
)
0
= 0 et (
21
)
0

21
(
11
)
0
= 0.
Remarque 3.3.1 Si (
11
)
0
et (
21
)
0
sont des 1 inverses seulement, la condition
(3.6) est sufsante pour que
_
(
11
)
0
(
21
)
0
0 0
_
soit un 1 inverse de 1.
3.3 Sur les inverses gnraliss du produit de deux matrices 68
Alternativement, regardons la matrice partitionne comme une matrice bordante,
l'inverse gnralis de cette dernire, nous permet d'avoir quelques conditions pour la loi
d'ordre inverse pour le produit de deux matrices. A l'aide du thorme de Cochran (Rank
additivity), l'inverse gnralis de la matrice bordante a t utilise dans la plupart des
travaux sur les inverses gnraliss. En raison de la simplicit, on va utiliser le rsultat de
Bapat et Zheng ([2] Thorme 7):
Lemme 3.3.1 Soit = (
i;j
) une matrice en blocs de type :: telle que : () =
m

i=1
m

j=1
: (
i;j
) . Alors, une matrice G = (G
l;s
) de type : : est un 1inverse de . si et
seulement si,

i;j
G
j;l

l;s
=
_

i;j
(i. ,) = (|. :)
0 (i. ,) ,= (|. :)
(3.8)
Dans ce cas, on a:

0
=
_
(
11
)
0
(
12
)
0
(
21
)
0
(
22
)
0
_
est un 1. 2 inverse de . si et seulement si, la condition (3.8) est satisfaite. Dans ce cas
les conditions (3.6) et (3.7) ne sont qu'un cas particulier. Si on prend 1
0
=
_
1
r
0
0 0
_
.
alors,
1
0

0
=
_
1
r
0
0 0
__
(
11
)
0
(
21
)
0
(
12
)
0
(
22
)
0
_
=
_
(
11
)
0
(
21
)
0
0 0
_
= (1)
0
est un 1. 2 inverse de 1.
Pour plus des dtails sur ce lemme,voir [2] .
Dans le cas o la matrice 1 est quelconque, il suft de la mettre sous la forme:
_
1
r
0
0 0
_
.
alors, il existe deux matrices inversibles 1 et Q. telles que
Q
1
11 =
_
1
r
0
0 0
_
= 1
1
.
3.3 Sur les inverses gnraliss du produit de deux matrices 69
Si on pose Q
1
1 =
1
. appliquons l'tude prcdente
1
et 1
1
.on obtient:
(1)
0
=
_
Q
1
1
1
Q1
1
1
1
_
0
= 1 (1
1
)
0
Q
1
1 (
1
)
0
Q
1
= 1
0

0
.
3.3.2 Mthode des projecteurs
L'ide est de dcomposer un espace en somme directe de sous-espaces qui nous permet de
calculer un inverse gnralis d'un produit sur chacun d'eux. Nous utiliserons la mme
notation pour dsigner la matrice et son oprateur linaire associ.
Soient 1. 1. G trois espaces vectoriels sur K. . 1 deux matrices de types :: et
: / respectivement, et
0
et 1
0
leurs 1. 2 inverses telles que le diagramme suivant
soit vri
1
B
1
A
G
A
0
1
B
0
1.
Appliquons le lemme 1.5.2 (pour / = 1) du chapitre 1, nous obtenons les dcompositions
de 1 suivantes:
1 = 1(1) `(1
0
) = 1(
0
) `(). (3.9)
Si 1(
0
) `(1
0
). alors 1
0

0
= 0. Supposons alors que, 1(
0
) " `(1
0
).
La proposition suivante donne la loi d'ordre inverse:
Proposition 3.3.2 Avec les donnes prcdentes, si 1(
0
) _ 1(1) ou 1(1) _
1(
0
) . alors 1
0

0
est un 1. 2 inverse de 1.
Preuve. Supposons que 1(1) _ 1(
0
). il existe une matrice A telle que
1 =
0
A.
3.3 Sur les inverses gnraliss du produit de deux matrices 70
d'o,
1(1
0

0
) 1 = 11
0
(
0

0
) A = 11
0
(
0
A) = 11
0
1 = 1.
et
1
0

0
(1) 1
0

0
= 1
0
(
0

0
) A1
0

0
= 1
0
(
0
A) 1
0

0
= 1
0
11
0

0
= 1
0

0
.
Maintenant, si 1(
0
) _ 1(1). il existe une matrice A telle que
0
= 1A. d'o,
1(1
0

0
) 1 = (11
0
1) A1 = (1A) 1 = (
0
) 1 = 1.
et
1
0

0
(1) 1
0

0
= 1
0

0
(11
0
1) A = 1
0

0
(1A) = 1
0
(
0

0
) = 1
0

0
.
ce qui montre que 1
0

0
est un 1. 2 inverse de 1.
3.3.1 Forme Gnrale
La proposition suivante sert de prsenter (1)
0
sous la forme gnrale.
Proposition 3.3.3 Avec les donnes de la sousection 3.3.2, si
1(
0
) 1(1) ,= 0 . 1(
0
) ` (1
0
) ,= 0 . ` () 1(1) ,= 0 .
Alors, il existe deux projecteurs 1
(R(A
0
))
et 1
(R(B))
sur 1(
0
) et 1(1) . tels que
B
0
_
P
(R(A
0
))
P
(R(B))
_
A
0
soit un 1. 2 inverse de 1.
Preuve. tant donn trois matrices l. \. \ telles que
1(
0
) 1(1) = 1(l) . 1(
0
) ` (1
0
) = 1(\ ) . ` () 1(1) = 1(\) .
1(
0
) = 1(l) 1(\ ) . 1(1) = 1(l) 1(\) .
3.3 Sur les inverses gnraliss du produit de deux matrices 71
Les dcompositions (3.9) donnent
1 = 1(l) 1(\ ) ` () = 1(l) 1(\) ` (1
0
) (3.10)
Posons
C = 1
(R(A
0
))
1
(R(B))
.
produit de deux projecteurs, 1
(R(A
0
))
et 1
(R(B))
sur 1(
0
) et 1(1) respectivement.
Nous allons prouver que 1
0
C
0
est un 1. 2 inverse de 1. Pour tout r 1.
on a 1r 1(1) . d'o il existe c 1(l) et / 1(\) tels que 1r = c + /. Comme
/ 1(\) ` () . alors / = 0. On en dduit,
1r = c +/ = c. (3.11)
D'autre part, c 1(l) = 1(
0
) 1(1) implique

0
1r =
0
c = c et C
0
1r = Cc =
_
1
(R(A
0
))
1
(R(B))
_
c = c.
Ainsi, on a 11
0
C
0
1r = 11
0
c = c. Il en rsulte que,
(1) (1
0
C
0
) (1) r = c = 1r. (3.12)
De l'quation (3.11) et de l'quation (3.12), on obtient 1(1
0
C
0
) 1 = 1. Main-
tenant, pour tout r G.on a
0
r 1(
0
) . d'o , il existe c 1(l) et / 1(\ ) tels
que
0
r = c +/. Multiplions gauche par la matrice C. nous obtenons
C
0
r = Cc +C/ = 1
(R(A
0
))
1
(R(B))
c +1
(R(A
0
))
1
(R(B))
/. (3.13)
et du fait que
/ 1(\ ) ` (1
0
) . c 1(l) = 1(
0
) 1(1)
3.4 L'invariance de la loi d'ordre inverse 72
on a
1
(R(A
0
))
1
(R(B))
/ = 1
(R(A
0
))
0 = 0. et 1
(R(A
0
))
1
(R(B))
c = c
Remplaons ces valeurs dans l'quation (3.13), nous obtenons
C
0
r = c.
d'o
1
0
C
0
r = 1
0
c. (3.14)
Raisonnons de la mme manire, nous obtenons
(1
0
C
0
) (1) (1
0
C
0
) r = 1
0
c.
De l'quation (3.14), nous avons
(1
0
C
0
) (1) (1
0
C
0
) = 1
0
C
0
.
ce qui fait de 1
0
C
0
un1. 2 inverse de 1.
3.4 L'invariance de la loi d'ordre inverse
tant donn deux matrices et 1 telles que le produit 1 soit dni. On entend par la
loi d'ordre inverse relative aux inverses gnraliss d'un produit 1 le fait que (1)

=
1

pour certains

. 1

et (1)

. inverses gnraliss de . 1 et 1. respective-


ment. Lorsque cette proprit est ralise pour tous les

et les 1

. nous disons que


l'ordre inverse est invariant. Rappelons que, pour toute matrice A. AA
+
et A
+
A sont
des projecteurs hermitiens sur 1(A) et 1(A
+
) = 1(A
+
) respectivement. Dans cette sec-
3.4 L'invariance de la loi d'ordre inverse 73
tion, nous allons utiliser les conditions quivalentes pour l'invariance de la matrice produit
de la forme C1

1 pour 1

1
1
an de donner des conditions quivalentes pour les
1
1

1
(1)
1
tenir. La preuve sera base sur le rsultat suivant
Lemme 3.4.1 Le produit C1

1 est invariant sous le choix de 1

si et seulement
si 1(1) 1(1) et 1(C
+
) 1(1
+
) .
La preuve de ce lemme se trouve dans l'appendice.
Thorme 3.4.1 tant donn deux matrices et 1 telles que le produit 1 soit
dni. Alors, on a les assertions suivantes:
1) 11

+
1 est invariant sous le choix de 1

si et seulement si
1
_

+
1
_
1(1) .
2) 11
+

1 est invariant sous le choix de

si et seulement si
1
_
11
+

+
_
1(
+
) .
3) 1

(1)
1
pour tout 1

(1)
1
et tout

()
1
si et seulement si
1
_

+
1
_
1(1) et 1
_
11
+

+
_
1(
+
) .
Preuve. Il est vident de montrer que les assertions 1 et 2 sont vries par le
lemme prcdent. Nous allons dmontrer la troisime.
3) La ncessit: La premire inclusion donne
11
+

+
1 =
+
1.
3.4 L'invariance de la loi d'ordre inverse 74
La multiplication gauche par la matrice donne
11
+

+
1 = 1.
De la premire assertion, pour tout 1

1
1
.
11

+
1 = 11
+

+
1 = 1. (3.15)
de la seconde inclusion, on a

+
11
+

+
= 11
+

+
.
Prenons les adjoints des deux termes de l'galit prcdente, et multiplions droite par 1.
nous obtenons
11
+

+
1 = 11
+
1 = 1.
De la seconde assertion on a, pour tout


1
.
11
+

1 = 11
+

+
1 = 1. (3.16)
de l'quation (3.15) et de l'quation (3.16), il s'en suit que, pour tout 1

1
1
et pour
tout


1
. on a
11

1 = 1. (3.17)
ce qui montre que 1

(1)
1
.
La sufsance: Si l'quation (3.17) est vrie pour tout


1
et tout 1


1
1
. alors, comme
+

1
et 1
+
1
1
. on a
11

+
1 = 1 = 11
+

1.
C'est--dire que 11

+
1 est invariant sous le choix de 1

. et ainsi la premire in-


clusion est vrie. Inversons les rles de et 1. nous obtenons la seconde inclusion.
3.5 Quand (1)
+
= 1
+

+
75
3.5 Quand (1)
+
= 1
+

+
Rappelons que I. Erdelyi est le premier qui s'est intress ce problme, dans ([6]. thorme
3), il avait montr que (1)
+
= 1
+

+
. si et seulement si,
_

+
11
+
_
+
=
_

+
11
+
_
+
.
_
11
+

+
_
+
= 11
+

+
et
_
1
+

+
1
_
+
= 1
+

+
1.
(c. . d.
+
11
+
est une isomtrie partielle et que 11
+

+
et 1
+

+
1 sont
Hermitiens ). Dans [9] T. N. E. Greville a dmontr que (1)
+
= 1
+

+
. si et seule-
ment si, 1(
+
1) 1(1) et 1(11
+

+
) 1(
+
). Aussi, on a dmontr dans [3]
que (1)
+
= 1
+

+
. si et seulement si,
+
11
+
est gamme hermitienne. c. . d. si
1((
+
11
+
)
+
) = 1(
+
11
+
) .
Revenons nos conditions prcdentes concernant l'invariance de l'ordre inverse,
on peut remarquer que 1

(1)
1
. si et seulement si, 1(
+
1) 1(1) et
1(11
+

+
) 1(
+
). Notons que cette dernire proposition est le rsultat de T. N. E.
Greville lorsque et 1 sont des isomtries partielles. A savoir
+
=
+
et 1
+
= 1
+
. et
gnralement les conditions de T. N. E. Greville ne donnent que l'ordre inverse de l'inverse
de Moore-Penrose du produit de deux matrices. Il est souligner que selon nos conditions,
nous avons toujours l'ordre inverse, le produit 1
+

+
peut ne pas tre gal (1)
+
.
L'exemple suivant illustre le mauvais conditionnement entre eux.
Exemple 3.5.1 Soient
=
_
1 1
0 1
_
. 1 =
_
0 1
0 1
_
.
3.5 Quand (1)
+
= 1
+

+
76
Alors,

+
1 =
_
0 2
0 3
_
.
+
=
1
=
_
1 1
0 1
_
.
+
1 = 1.
11
+

+
=
_
2 1
2 1
_
. 1
+
=
_
0 0
1 1
_
. 11
+

+
=
1
2
_
2 1
2 1
_
.
Ces calculs montrent que
1
_

+
1
_
= 1(1) . 1
_
11
+

+
_
1(
+
) .
Par suite, 1

1
(1)
1
pour tous 1

1
1
. En particulier,
_
0 0
1
2
0
_
= 1
+

1
(1)
1
.
tandis que,
(1)
+
=
_
0 0
2
5
1
5
_
,= 1
+

1
.
Nous concluons qu'au moins l'une des conditions de T. N. E. Greville n'est pas satisfaite.
Nous allons l'examiner: Du calcul prcdent, nous avons
1(
+
1) = cct (2. 3) * cct (1. 1) = 1(1) .
3.5.1 Quelques applications
1) Soit une matrice de type ::. Comme 1(
+
) _ 1() . alors les conditions de
T. N. E. Greville donnent (
+
)
+
=
+
(
+
)
+
=
+
(
+
)
+
.
2) Soit une matrice carre. D'aprs nos conditions, l'galit
_

_
k
=
_

k
_

. \


1
3.5 Quand (1)
+
= 1
+

+
77
est vraie si et seulement si 1(
+

2
) 1() . En particulier, (
+
)
k
=
_

k
_
+
si et seule-
ment si 1(
+

2
) 1() . Rappelons que si 1(
+

2
) = 1() . alors , 1(
+
) = 1() .
ce qui implique
+
=
#
comme nous l'avons dmontr dans le chapitre prcdent.
3) Soit 1 = 1Q = (1) Q telle que 1 et Q sont inversibles. Comme
1
_
1
1
1
_
= 1()
et
1
_

+
1
+
_
1(1) = 1(1
+
) .
appliquons nos conditions conscutivement, nous obtenons (1)
+
=
+
1
1
.d'o,
1
_
(1)
+
1Q
_
= 1
_

+
1
1
1Q
_
= 1
_

+
Q
_
1(1) = 1(Q) .
et
1
_
QQ
1

+
1
+
_
= 1(
+
1
+
) 1(
+
) .
Par consquent, pour tout


1
. il existe 1

1
1
telle que
1

= Q
1

1
1
.
En particulier, si 1 et Q sont unitaires, on a 1
+
= Q
+

+
1
+
.
Chapter 4
Quelques structures algbriques sur
1
4.1 Introduction
Nous avons dj vu une structure de groupe cyclique relatif au groupe inverse (Chapitre
2). Le but du chapitre prsent est d'tablir des structures possibles relatives {1}-inverse
d'une matrice. L'tude a t divise en trois sections. Dans la premire, nous allons donner
une structure de semi- groupe pour l'ensemble des inverses gnraliss d'une matrice et
tudier des proprits algbriques, comme la dcomposition et la commutativit. Nous al-
lons galement dnir une relation d'quivalence en vue d'tablir un isomorphisme entre le
quotient de ce semi- groupe et le semi- groupe des projecteurs sur 1(). Dans la deuxime
section, nous allons tudier une relation entre semi- groupes associs aux matrices quiva-
lentes et tablir une correspondance entre l'ensemble des matrices et l'ensemble des semi-
groupes associs. Nous allons galement tudier certaines proprits algbriques dans cet
ensemble; comme l'intersection et l'ordre partiel. La troisime section est indpendante
dans le contexte, mais aussi sur les structures algbriques dans l'ensemble des inverses
gnraliss. La forme des lments dans cet ensemble lie un inverse gnralis donne
(1) (voir chapitre 2, dnition 4), nous permet de dnir la structure d'un espace afne
et en dduire d'autres structures comme les espaces vectoriels et les algbres.
On note
1
l'ensemble des 1 inverses de et par
1;2
l'ensemble des 1. 2
inverses de la matrice . Nous noterons par lettres minuscules les sous- matrices d'une ma-
78
4.2 Structure d'un semi-groupe sur
1
79
trice A et par 1 et 0 pour l'identit et la matrice nulle ou identit et zro sous- matrices. Ce
chapitre est un travail original, il a fait l'objet de la publication [21]
Nous avons vu dans le chapitre 1 que, si est une matrice de type : : de rang
:. on peut la mettre sous la forme
_
c
r
0
0 0
_
. donc
+
est sous la forme
_
c
1
r
0
0 0
_
.
Les lments de
1
sont sous la forme
_
c
1
r
c
, q
_
et ceux de
1;2
sont sous la forme
_
c
1
r
c
, ,c
r
c
_
.
4.2 Structure d'un semi-groupe sur
1
4.2.1 Factorisation et commutativit
Le point principal dans le thorme ci-dessous est la factorisation de
1;2
. Pour cela, nous
introduisons deux classes ci-dessous:
1
A
+
A
=
_
A
1
. A =
_
c
1
r
r
0 0
__
et 1
AA
+ =
_
A
1
. A =
_
c
1
r
0
r 0
__
.
Les symboles 1
A
+
A
et 1
AA
+ sont justis par le fait que ces deux classes sont les ensem-
bles de points xes en vertu des multiplications droite et gauche par des projecteurs
orthogonaux
+
et
+
respectivement.
En effet; pour tout A
1
. on a
+
A = A et A
+
= A.
Thorme 4.2.1 On munit
1
d'une loi de composition interne + dnie par:
Pour tous A. 1
1
. A + 1 = A1 . Alors,
1)
1
est un semi-groupe.
2) Pour tous A. 1
1
. A + 1
1;2
.
4.2 Structure d'un semi-groupe sur
1
80
3)
1;2
est un idal de
1
.
4) 1
AA
+ + 1
A
+
A
=
1;2
et 1
AA
+ 1
A
+
A
=
+
.
5) Pour tous A. 1
1
.X + Y = Y + X =AX = AY. XA = YA.
Preuve. 1) Pour tous A. 1
1
. on a
(A1 ) = (A) 1 = 1 = .
D'o
A + 1 = A1
1
.
L'associativit de la loi + est induite de l'associativit de la multiplication des matrices. Par
suite
1
est semi- groupe.
2) Pour tous A. 1
1
. comme
(A1 ) = (A) 1 = 1 = .
et
(A1 ) (A1 ) = A (1 ) A1 = A (A) 1 = A1.
alors,
A + 1 = A1
1;2
.
3) Le rsultat 2 entrane: pour tout A
1
et tout 1
1;2
.
A + 1 = A1
1;2
et 1 + A = 1 A
1;2
.
ce qui fait de
1;2
un idal de
1
.
4) Il faut remarquer d'abord que pour
A =
_
c
1
r
0
r 0
_
. 1 =
_
c
1
r
0
0
_
1
AA
+.
4.2 Structure d'un semi-groupe sur
1
81
on a
A + 1 =
_
c
1
r
0
r 0
__
c
r
0
0 0
__
c
1
r
0
0
_
=
_
c
1
r
0
r 0
_
1
AA
+.
ce qui montre que 1
AA
+ est un sous- semi-groupe de
1;2
. De manire analogue, on
obtient le mme rsultat pour 1
A
+
A
. Par suite, 1
AA
+ + 1
A
+
A
est un sous-semi-groupe de

1;2
. D'autre part, pour tout
2 =
_
c
1
r
r
c
r
r
_

1;2
.
il existe
1 =
_
c
1
r
0
0
_
1
AA
+. A =
_
c
1
r
r
0 0
_
1
A
+
A
tels que 2 = 1 + A. Par consquent,
1
AA
+ + 1
A
+
A
=
1;2
.
Toutefois, par un calcul direct, nous constatons que 1
A
+
A
+ 1
AA
+ =
+
.
En effet, pour
2 =
_
c
1
r
r
c
r
r
_
1
AA
+ 1
A
+
A
.
on a r = 0 et = 0. d'o
2 =
_
c
1
r
0
0 0
_
=
+
.
Cette afrmation peut tre interprte comme l'unicit de la factorisation dans
1;2
.
5) Pour tous A . 1
1
. on a
A1 = 1 A =A1 = 1 A =1 = A.
4.2 Structure d'un semi-groupe sur
1
82
et
A1 = 1 A =A1 = 1 A =A = 1 .
Rciproquement
1 = A =A1 = AA . 1 = A =1 A = AA.
d'o A + 1 = 1 + A =A = 1. A = 1 .
Notons que nous n'avons pas vraiment la commutativit dans
1
. mais nous avons
une sorte de commutativit conditionne par l'galit des projecteurs associs. Il est facile
de prouver que l'ensemble des projecteurs d'un espace vectoriel sur un sous-espace est
un semi-groupe pour la composition ordinaire. Comme de nombreuses tudes sur les pro-
jecteurs et leurs proprits ont t faites, nous allons l'exploiter pour rendre les proprits
de
1
plus accessibles.
Pour atteindre ce but, on va dnir une relation d'quivalence dans
1
. donc nous
obtenons un isomorphisme entre le semi-groupe quotient de
1
et celui des projecteurs
sur 1() . Il ne causera pas de confusion si l'on utilise la mme lettre pour dsigner un
projecteur et sa matrice associe.
Thorme 4.2.2 Soient `
mn
(K) et un semi-groupe des projecteurs de K
m
sur 1() . Alors, nous avons
1) Pour tout 1 . il existe A
1
. tel que A = 1.
2) Il existe une relation d'quivalence ~dans
1
. telle que, sous la loi quotient de +.
A
f1g

soit un semi-groupe isomorphe .


Preuve. 1) Soient l'ensemble des projecteurs sur 1() . 1 . et


1
.
4.2 Structure d'un semi-groupe sur
1
83
On sait que

est un projecteur sur 1() . d'o,

1 = 1 et 1 = .
donc, il suft de prendre
A =

1
an d'avoir
A =

1 = .
Ce qui montre que
A
1
et A =

1 = 1.
et que
=
_
A , A
1
_
.
2) On dsigne par ~ une relation dans
1
. dnie par
\A. 1
1
. A ~ 1 =A = 1.
Il est vident que ~ est une relation d'quivalence dans
1
. Soit l'application canon-
ique de
1
sur
A
f1g

. Alors, pour tous (A) . (1 )


A
f1g

. on dnit la loi quotient de +


par:
(A) .(1 ) = (A + 1 ) .
Donc, il est facile de vrier que
A
f1g

est un semi-groupe pour la loi induite, et que est un


homomorphisme. Ce qui suit immdiatement l'existence d'une application de
A
f1g

sur
. dnie par
((A)) = A.
4.2 Structure d'un semi-groupe sur
1
84
Maintenant, nous vrions que est un homomorphisme. Comme
(A1 ) = (A)1 = 1.
nous avons
A1 ~ 1.
d'o,
(A1 ) = (1 ).
et
((A)(1 )) = ((A + 1 )) = ((A1 )) = ((1 )) = 1 = (A)1
= (A)(1 ) = ((A))((1 )).
Comme
A = 1 =(A) = (1 ).
nous concluons que, pour tout A . il existe un, et un seul (A)
A
f1g

tel que
((A)) = A.
4.2.2 Rgularit et :rgularit de
1
Dnition 4.2.1 Soient o un semi-groupe et r o. r est dit rgulier s'il existe o
tel que rr = r. De plus, si r = . alors est dit inverse (ou inverse relatif) de r. o
est dit semi-groupe rgulier, si tous ses lments sont rguliers, et il est dit ventuellement
rgulier (ou :rgulier) si une puissance de chaque lment de o est rgulire. o s'appelle
semi-groupe inverse si chaque lment de o possde un unique inverse.
4.2 Structure d'un semi-groupe sur
1
85
Proposition 4.2.1
1
est ventuellement rgulier (ou :rgulier), et
1;2
est un
sous-semi-groupe rgulier de
1
.
Preuve. Remarquons d'abord que pour A. 1. 2
1
. on a
A + 1 + 2 = A1 2 = A2 = A + 2.
ce qui entrane, pour A. 1
1
. on a
A + 1 + A = A
2
.
Par suite, pour A. 1
1;2
. on a
A + 1 + A = A
2
= AA = A.
ce qui montre que
1;2
est un semi-groupe rgulier.
Pour A. 1
1
. on a
A
2
+ 1 + A
2
= A
2
+ A
2
= (AA) (AA) = A (AA) A = AA = A
2
.
d'o
1
est ventuellement rgulier (ou :rgulier).
4.2.3 Matrices quivalentes et semi-groupes asocis
Lemme 4.2.1 soient et 1 deux matrices quivalentes telles que 1 = Q
1
1. Alors,
pour tout 1 1
1
. il existe A
1
unique, tel que 1 = 1
1
AQ.
Preuve. Pour tout 1 1
1
.

_
11 Q
1
_
= Q11
1
11 Q
1
Q11
1
= Q11 11
1
= Q11
1
= .
4.2 Structure d'un semi-groupe sur
1
86
Nous avons donc 11 Q
1

1
. Puisque 1 et Q sont inversibles, il en rsulte que pour
tout 1 1
1
. il existe A
1
unique, tel que 1 = 1
1
AQ.
Nous allons aussi noter + la loi interne dans 1
1
dnie par:
\A. 1 1
1
. A + 1 = A11.
Thorme 4.2.3 tant donn deux matrices quivalentes et 1. Alors
_

1
. +
_
et
_
1
1
. +
_
sont isomorphes.
Preuve. Utilisons le lemme prcdent pour dnir une bijection , de
1
sur 1
1
par: ,(A) = 1
1
AQ. o ,
1
est la bijection rciproque de 1
1
sur
1
donne par:
,
1
(A) = 1AQ
1
. De plus, pour A. 1
1
.
,(A + 1 ) = ,(A1 ) = 1
1
(A1 ) Q =
_
1
1
AQ
_ _
Q
1
1
_ _
1
1
1 Q
_
= ,(A) 1,(1 ) = ,(A) + ,(1 ) .
De manire analogue, pour A. 1 1
1
.
,
1
(A + 1 ) = ,
1
(A11 ) = ,
1
(A) ,
1
(1 ) = ,
1
(A) + ,
1
(1 ) .
ce qui montre que , est un isomorphisme.
Remarquons que ,(
+
) = 1
1

+
Q = 1
+
. si seulement si, 1 et Q sont orthogo-
nales.
4.3 Relation entre `
mn
(K) et l'ensemble des semi-groupes associs 87
4.3 Relation entre `
mn
(K) et l'ensemble des semi-groupes
associs
Pour toute matrice `
mn
(K) . on dsigne par
`
1
mn
(K) =
_

1
. `
mn
(K)
_
.
l'ensemble des semi-groupes
1
. Dans cette partie, nous allons tablir une relation entre
`
mn
(K) et `
1
mn
(K) . et dduire quelques proprits dans `
1
mn
(K) comme l'isomorphisme
des semi-groupes, l'intersection et la relation d'ordre. Pour cette raison, nous allons appli-
quer le lemme 3.2.2.
Thorme 4.3.1 Il existe une correspondance entre `
mn
(K) et `
1
mn
(K) qui
applique 0 `
nm
(K) et prserve les isomorphismes entre les semi-groupes.
Preuve. Soit une application de `
mn
(K) sur `
1
mn
(K) dnie par:
\ `
mn
(K) . () =
1
.
D'aprs le lemme 3.2.2, si
1
= 1
1
. on a
: () +: (1 ) = : (1) et : (1) +: ( 1) = : () .
Ainsi,
: ( 1) = 0 = : (1 ) .
D'o = 1. Maintenant, si . 1 `
mn
(K) telles que 1 = Q
1
1. alors d'aprs le
lemme 4.2.1 et le thorme 4.2.3, on a
1
1
=
_
1
1
AQ. A
1
_
= ,
_

1
_
.
Ainsi, on a (1) = ,( ()) .
4.3 Relation entre `
mn
(K) et l'ensemble des semi-groupes associs 88
4.3.1 Intersection des semi-groupes
Thorme 4.3.2 1) Pour toute matrice A M
mn
(K) . il existe A
t
M
mn
(K) . telle
que

1

t1
,= O.
2) Pour toutes matrices A. B M
mn
(K) . il existe un isomorphisme , de
1
sur
,
_

1
_
. tel que
,
_

1
_
1
1
,= O.
Preuve. 1) On pose : () = : _ min (:. :) . Il suft de prouver que pour
`
mn
(K) avec : () = :. il existe une matrice
t
`
mn
(K) . telle que
: ( +
t
) = : () +: (
t
) = min (:. :) .
ensuite appliquons le lemme 3.2.2, nous avons: tout 1 inverse de ( +
t
) est un
1 inverse de et
t
la fois. Par suite,

1

t1
,= O.
Prenons deux matrices inversibles 1 et Q. telles que
= Q
1
_
1
r
0
0 0
_
1.
D'o, il suft de prendre

t
= Q
1
_
0 0
0 n
_
1. n `
(mr)(nr)
(K) .
avec
: (n) = (min (:. :)) :.
4.3 Relation entre `
mn
(K) et l'ensemble des semi-groupes associs 89
2) On pose : () = :. : (1) = :. D'aprs 1, il existe deux matrices
t
. 1
t
`
mn
(K)
de rangs min (:. :) :. min (:. :) :. telles que
: ( +
t
) = : () +: (
t
) = min (:. :) .
: (1 +1
t
) = : (1) +: (1
t
) = min (:. :) .
ce qui entrane
( +
t
)
1

1

t1
. (1 +1
t
)
1
1
1
1
t1
.
Comme +
t
. 1 + 1
t
ont le mme rang, alors elles sont quivalentes, d'o l'existence
d'un isomorphisme , de
1
sur ,
_

1
_
. tel que
,( +
t
)
1
= (1 +1
t
)
1
.
Ainsi, on a
,( +
t
)
1
,
_

1

t1
_
= ,
_

1
_
,
_

t1
_
.
et
,( +
t
)
1
1
1
1
t1
.
Finalement, on a ,
_

1
_
1
1
,= O.
Remarque 4.3.1 Une question naturelle se pose de savoir s'il est possible de con-
clure que, pour toutes les matrices . 1 `
mn
(K) . nous avons

1
1
1
,= O.
La rponse est ngative, en effet, si on prend 1 = cpour un scalaire c non nul et diffrent
4.3 Relation entre `
mn
(K) et l'ensemble des semi-groupes associs 90
de 1. alors pour A
1
1
1
. on a
c = cAc = c
2

entrane c 0. 1 ce qui contredit l'hypothse. Par consquent

1
1
1
= O.
4.3.2 Relation d'ordre partiel dans `
1
mn
(K)
Dnition 4.3.1 La relation d'ordre partiel "moins" note -

est dnie comme suit.


Pour . 1 `
mn
(K) . alors -

1 si : (1) = : ()) +: (1 ) .
Thorme 4.3.3 1) L'inclusion est une relation d'ordre partiel dans `
1
mn
(K) .
induite par l'ordre partiel "moins" dans le sens inverse.
2) Soit :
0
= min (:. :) . Pour toute matrice `
mn
(K) de rang :. il existe une suite
de matrices
=
r
-


r+1
-

.... -


m
0
`
mn
(K) .
telles que,
: (
r
) = :. : (
r+i
) = : +i pour i = 1. ...:
0
:.
Ainsi, il existe une suite
1
m
0
....
1
r
=
1
et
1
m
0
est le dernier terme.
Preuve. 1) Soient . 1 `
mn
(K) . telles que -

1 . Alors
: (1) = : () +: (1 ) .
D'o 1
1

1
. videmment l'inclusion est une relation d'ordre partiel dans `
1
mn
(K) .
4.3 Relation entre `
mn
(K) et l'ensemble des semi-groupes associs 91
2) Soit , l'isomorphisme des semi-groupes associs aux matrices quivalentes, alors
1
1

1
=,
_
1
1
_
,
_

1
_
.
Soit
1
.
2
. ...
r
une base de 1() . On le complte par
r+1
.
r+2
. ...
m
une base de
K
m
. Soit c
1
. c
2
. ...c
r
. ...c
n
une base de K
n
. telle que

r
c
j
= c
j
=
_

j
pour , = 1. ...:
0 pour , = : + 1. ...:
.
et pour i = 1. ...:
0
:. on pose:

r+i
c
j
=
_

j
pour , = 1. ...: +i
0 pour , = : +i + 1. ...:
.
Dans ces bases, les matrices =
r
.
r+i
sont de la forme:
=
r
= Q
1
_
1
r
0
0 0
_
1.
r+i
= Q
1
_
1
r+i
0
0 0
_
1. pour i = 1. ...:
0
:.
D'o,
: (
r
) = :. : (
r+1
) = : (
r
) + 1 = : + 1 = : (
r
) +: (
r+1

r
)
et
: (
r+i+1
) = : +i + 1 = : (
r+i
) +: (
r+i+1

r+i
) . pour i = 1. ...:
0
: 1.
Ainsi
=
r
-


r+1
-

..... -


m
0
.
Par 1, on a

1
m
0
....
1
r
=
1
.
avec
1
m
0
est le dernier terme, car
m
0
est de rang maximum.
4.4 Structure d'un espace afne et d'une algbre 92
4.4 Structure d'un espace afne et d'une algbre
tant donn une matrice de type :: de rang :. Comme
1
a t exprim par

1
=
_

+
+l
_
1
m

+
_
+
_
1
n

_
\. l. \ `
nm
(K)
_
.
on va montrer que
1
est un espace afne dirig par

1
=
_
l
_
1
m

+
_
+
_
1
n

_
\. l. \ `
nm
(K)
_
.
On va d'abord montrer le lemme suivant:
Lemme 4.4.1

1
est un espace vectoriel de dimension : : :
2
sur K. et
indpendant du choix de
+
.
Preuve. Puisque

1
`
nm
(K) . il suft de montrer que

1
et un sous espace
vectoriel. On a pour tous c. , K.
l
_
1
m

+
_
+
_
1
n

_
\. l
t
_
1
m

+
_
+
_
1
n

_
\
t

1
.
c
_
l
_
1
m

+
_
+
_
1
n

_
\
_
+,
_
l
t
_
1
m

+
_
+
_
1
n

_
\
t
_
= (cl +,l
t
)
_
1
m

+
_
+
_
1
n

_
(c\ +,\
t
)

1
du fait que
(cl +,l
t
) . (c\ +,\
t
) `
nm
(K) .
Mettons sous la forme canonique, nous avons ainsi, tout lment de

1
est quiv-
alent la forme
_
0 c
, q
_
. o c `
r(mr)
(K) . , `
(nr)r
(K) . q `
(nr)(mr)
(K) .
alors,
dim

1
= : ::
2
.
4.4 Structure d'un espace afne et d'une algbre 93
Maintenant, si on choisit


1
. il existe l
t
. \
t
`
nm
(K) . telles que

=
+
+l
t
_
1
m

+
_
+
_
1
n

_
\
t
.
D'o, pour tous l. \ `
nm
(K) . il existe
\ = l (1
m
l
t
) et \
t
= (1
n
\
t
) \.
telles que
l
_
1
m

_
+
_
1
n

_
\ = \
_
1
m

+
_
+
_
1
n

_
\
t
.
ce qui implique que la forme des lments de

1
est indpendante du choix de

.
Thorme 4.4.1
1
est un espace afne de direction

1
.
Preuve. Pour tous A. 1
1
. il existe l. \. l
t
. \
t
`
nm
(K) . telles que
1 A = (l
t
l)
_
1
m

+
_
+
_
1
n

_
(\
t
\ )

1
.
Ainsi, nous pouvons dnir une application "" par
:
1

1
(X;Y )

XY =Y X
.
Pour tous A. 1
1
. on a

A1 +

1 2 = (1 A) + (2 1 ) = 2 A =

A2.
et que
_
1
+
_

_
A
+
_
= 1 A
D'o

+
A =

+
1 =A = 1.
Par consquent, il existe
A
+ une bijection de
1
sur

1
.
4.4 Structure d'un espace afne et d'une algbre 94
Corollaire 4.4.1 Les ensembles

1;2
=
+
+
+
l (1
m

+
) + (1
n

+
) l
+
. l `
nm
(K).

1;3
=
+
+ (1
n

+
) l. l `
nm
(K) et

1;4
=
+
+\ (1
m

+
) . \ `
nm
(K) sont des sous-espaces afnes de
1
.
En effet, il suft de vrier que les ensembles suivants sont des sous espaces vecto-
riels de

1
:

1;2
=
_

+
l
_
1
m

+
_
+
_
1
n

_
l
+
. l `
nm
(K)
_
.

1;3
=
__
1
n

_
l . l `
nm
(K)
_

1;4
=
_
\
_
1
m

+
_
. \ `
nm
(K)
_
Par une vrication directe, nous pouvons voir que

1
est un sous anneau de
`
nm
(K) . Par consquent,

1
est une algbre. Si on prend
+
comme origine, alors,

1
est une algbre sous l'addition (u) . la multiplication () et la multiplication par un
scalaire () dnies par
\
_

+
+t
_
.
_

+
+:
_

1
.
_

+
+t
_
u
_

+
+:
_
=
+
+ (t +:) .
\
_

+
+t
_
.
_

+
+:
_

1
.
_

+
+t
_

+
+:
_
=
+
+ (t:) .
\
_

+
+t
_

1;3
. \` K. `
_

+
+t
_
=
+
+`t.
Maintenant, si on prend la norme de Frobenius ||
F
= (t: (
+
))
1
2
. alors on peut
avoir ainsi, une algbre norme, telle que la norme est dnie par:
\A
1
. |A| =
_
_
A
+
_
_
F
.
4.4 Structure d'un espace afne et d'une algbre 95
Pour tout A = (
+
+t) . 1 = (
+
+:)
1
. on a
|A 1 | =
_
_
A 1
+
_
_
F
= |t:|
F
_ |t|
F
|:|
F
= |A| |1 | .
donc |.| est une norme matricielle. Ainsi,
1
est une algbre de Banach.
tant donn 1
(InA
+
A)
et 1
(ImAA
+
)
. la multiplication gauche et la multiplication
droite dans `
nm
(K) respectivement. Alors, pour tout l `
nm
(K) . on a
1
(InA
+
A)
_
1
(InA
+
A)
l
_
=
_
1
n

_
2
l =
_
1
n

_
l = 1
(InA
+
A)
l.
1
(ImAA
+
)
_
1
(ImAA
+
)
l
_
= l
_
1
m

+
_
2
= l
_
1
m

+
_
= 1
(ImAA
+
)
l.
ce qui montre que 1
(InA
+
A)
et 1
(ImAA
+
)
sont des projecteurs, et que leurs images sont
respectivement

1;3
et

1;4
. Finalement,
1;3
et
1;4
sont des sous algbres dans

1
telles que
1
=
1;3
u
1;4
. Remarquons que cette factorisation n'est pas unique,
car

1;3

1;4
,= 0 .
En effet, si on prend
=
_

r
0
0 0
_
=
+
=
_
1
r
0
0 0
_
.
+
=
_
1
r
0
0 0
_
.
d'o, pour l =
_
l
11
l
12
0 \
_
et \ =
_
\
11
0
\
21
\
_
. avec \ ,= 0. on a
_
1
n

_
l = \
_
1
m

+
_
=
_
0 0
0 \
_

1;3

1;4
.
Conclusion Dans le prsent chapitre nous avons dot l'ensemble des 1 inverses
d'une matrice, d'une structure d'un semi-groupe et dcompos ses lments en facteurs
rguliers. Malheureusement, ce n'est pas un semi-groupe commutatif. Pour obtenir un bon
rsultat structurel, nous avons dni une relation d'quivalence an d'avoir un isomor-
phisme entre le semi-groupe quotient et celui des projecteurs. En outre, nous avons tabli
4.4 Structure d'un espace afne et d'une algbre 96
une correspondance bijective entre l'ensemble des matrices et celui des semi-groupes as-
socis. Cette correspondance prserve les isomorphismes entre semi-groupes et applique
la matrice nulle (ce qui est le zro du groupe additif des matrices) sur l'espace des ma-
trices (qui est l'unit lie l'intersection des ensembles). Nous avons aussi prouv que
pour toute matrice, il existe une suite de semi-groupes ordonns par l'inclusion. Le semi-
groupe de 1 inverses d'une matrice est aussi une algbre de Banach qui contient des
sous-algbres de 1. 3 inverses et 1. 4 inverses d'une matrice.
Chapter 5
Appendice
Lemme 1.3.1 Pour toute matrice A de type m n de rang r. il existe une matrice
inversible gauche B et une matrice inversible droite C. de rang r telles que A = BC.
De plus, 1
t
1 et CC
t
sont inversibles. Alors,
0
= C
t
(CC
t
)
1
o (1
t
1)
1
1
t
. o o
k
= 1.
est un G
k
inverse de .
Preuve. Soit 1
1
. .... 1
r
une base de 1(). Si on pose 1 = [1
1
. .... 1
r
] une ma-
trice colonne, alors 1 est une matrice de type : : de rang :. et toute colonne de est
une combinaison linaire des vecteurs 1
1
. .... 1
r
. Par suite pour chaque colonne
j
de .
il existe c
ij
K. tels que
j
= c
1j
1
1
+ ... + c
rj
1
r
. d'o, il existe une matrice unique C
constitue de c
ij
qui est de type : :. telle que = 1C. et du fait que
min (:. :) _ : (C) _ : (1C) = : () = :.
on dduit que : (C) = :.
Rappelons que pour toute matrice A. on a ` (A) = ` (A
t
A) . D'o, : (A
t
A) =
: (A) .En effet, si Ar = 0 pour un certain r. alors A
t
Ar = 0. Inversement, si A
t
Ar = 0.
alors r
t
A
t
Ar = 0.ce qui donne Ar = 0. Appliquons cela 1 et C.on a, 1
t
1 et CC
t
sont
des matrices carres d'ordre : de rang :. donc inversibles.
Posons,
0
= C
t
(CC
t
)
1
o (1
t
1)
1
1
t
. o o
k
= 1. nous obtenons:
(
0
)
k
= 1CC
t
_
CC
t
_
1
o
_
1
t
1
_
1
1
t
...1CC
t
_
CC
t
_
1
o
_
1
t
1
_
1
1
t
. .
1C
k facteurs
= 1o
k
C = 1C = .
97
5 Appendice 98
(
0
)
k

0
= C
t
_
CC
t
_
1
o
_
1
t
1
_
1
1
t
1C...
. .
k facteurs
C
t
_
CC
t
_
1
o
_
1
t
1
_
1
1
t
= C
t
_
CC
t
_
1
o
_
1
t
1
_
1
1
t
=
0
.
Ainsi
0
est un G
k
inverse de . Alternativement, si on prend un inverse gauche 1
l
de
1 et un inverse droite C
r
de C. alors, une vrication immdiate montre que
0
= C
r
o1
l
est aussi un G
k
inverse de .
lemme 1.5.3 tant donn un espace vectoriel 1 sur K. 1 un endomorphisme de 1.
et q (t) . /(t) deux polynmes premiers entre eux. Si , (t)le polynme produit , (t) =
q (t) /(t)vrie , (1) = 0. alors,
1 = ` (q (1)) ` (/(1)) .
Preuve. Comme q (t) et /(t) sont premiers entre eux, alors, il existe deux polynmes
: (t) et : (t) tels que
: (t) q (t) +: (t) /(t) = 1.
Substituons par 1. nous obtenons:
: (1) q (1) +: (1) /(1) = 1. (5.1)
d'o
\ 1. = : (1) q (1) +: (1) /(1) . (5.2)
Du fait que pour tout polynme , (t) . on a t, (t) = , (t) t. alors, 1, (1) = , (1) 1.
Ainsi,
\ 1. /(1) : (1) q (1) = : (1) q (1) /(1) = : (1) , (1) = 0.
5 Appendice 99
ce qui entrane : (1) q (1) ker /(1) . De la mme manire, on a : (1) /(1) ker q (1) .
Par suite, la relation (5.2) montre que 1 = ker /(1) +ker q (1) . De la relation (5.1) on a:
\n ker q (1) . n ker /(1) . : (1) /(1) n = n. : (1) q (1) n = n.
Maintenant, si on crit = n +n. alors,
: (1) q (1) = : (1) q (1) n = n
et
: (1) /(1) = : (1) /(1) n = n.
ce qui entrane l'unicit de la reprsentation de . D'o, 1 = ker q (1) ker /(1) .
Lemme 2.4.1 Soit , / (1) . Les conditions suivantes sont quivalentes:
1) , est d'indice j.
2) Im,
p
= Im,
p+1
.
3) 1 = ker ,
p
Im,
p
.
Preuve. 1=2) , est d'indice j = Im,
p+1
= Im,
p
= dimker ,
p
= :
dimIm,
p
= : dimIm,
p+1
= dimker ,
p+1
.
Comme ker ,
p
ker ,
p+1
. nous avons ker ,
p
= ker ,
p+1
.
2=3) Pour la raison des dimensions, il suft de montrer que ker ,
p
Im,
p
= 0 .
Soit r ker ,
p
Im,
p
. alors, il existe 1. tel que r = ,
p
() avec r ker ,
p
. d'o,
0 = ,
p
(r) = ,
2p
() = ker ,
2p
.
5 Appendice 100
Comme ker ,
p
= ker ,
p+1
. nous avons ker ,
2p
= ker ,
p
. ce qui fait ker ,
p
. Par
consquent, r = ,
p
() = 0. Rciproquement, comme ker , ker ,
p
. alors, si
ker ,
p
Im,
p
= 0 .
on a: pour r Im,
p
tel que , (r) = 0 =r = 0. Par suite, la restriction de , Im,
p
est
un automorphisme, d'o Im,
p
= , (Im,
p
) = Im,
p+1
.
Lemme 3.4.1 Le produit C1

1 est invariant sous le choix de 1

si et seulement
si 1(1) 1(1) et 1(C
+
) 1(1
+
) .
Preuve. Les inclusions dans le lemme nous permettent d'crire:
C = `1 et 1 = 1`
pour certaines matrices ` et `. Alors, C1

1 = `11

1` = `1` est indpendant


de 1

.
Rciproquement, supposons que C1

1 est indpendant du choix de 1

. et que
1(1) * 1(1) . alors
1
t
=
_
1 11

_
1 ,= 0.
Soient C = C
l
C
r
et 1
t
= 1
l
1
r
deux factorisations qui prservent les rangs de C et 1
t
.
Pour tout 1

ginverse de 1. on a 1

+ C

r
1

l
(1 11

) = 1
t
est un autre
ginverse de 1 ( voir chapitre 2). Multiplions 1
t
gauche par C et droite par 1. nous
obtenons,
C1
t
1 = C1

1 +C
l
1
r
,= C1

1
5 Appendice 101
parce que C
l
1
r
,= 0. du fait que C
l
est inversible gauche et 1
r
est inversible droite.
Ainsi, nous obtenons une contradiction. Supposons que 1(C
+
) * 1(1
+
) . En raisonnant
de la mme manire prcdente, nous obtenons une contradiction.
Bibliographie
[1] R. B. Bapat, Linear Algebra and Linear Models, Springer, (2000).
[2] R. B. Bapat and B. Zheng, Generalized inverses of bordered matrices, Electron. J. Lin.
Algeb. 10 (2003), 1630.
[3] A. Ben-Israel and T. N. E. Greville, Generalized inverses, theory and applications,
Springer-Verlag NewYork, Inc, (2003).
[4] S. L. Campbell and C. D. Meyer, Generalized Inverses of Linear Transformations,
SIAM. 56 (2009).
[5] R. E. Cline, Note on the generalized inverse of the product of matrices, SIAM. 6 (1964),
57-58.
[6] I. Erdelyi, On the "Reverse Order Law" Related to the Generalized Inverse of Matrix
Products, Olivetti-General Electric, Milano, Italy. Journal of the Association for Com-
puting Machinery. 13 (1966), 493-443.
[7] J. A. Fill and D. E. Fishkind, The Moore-Penrose Generalized Inverse for Sums of
Matrices, SIAM. 21 (1998), 629 635.
[8] J.D. Fulton, Generalized inverses of matrices over a nite eld, Discrete Math. 21
(1978), 2329.
[9] T. N. E. Greville, Note on the generalized inverse of a matrix product, J. Soc. Indust.
Appl. Math. 9 (1966), 109115.
[10] J. Gros and Y. Tian, Invariance properties of a triple matrix product involving gener-
alized inverses, Linear Algebra Appl. 417 (2006), 94107.
[11] S.Guedjiba - R.Benacer, Inversion gnralise d'oprateurs linaires, Math. Maghreb
Rev. vol 11 (2000).
[12] R.E. Kalman, Algebraic aspects of the generalized inverse of a rectangular matrix, in:
M.Z. Nashed (Ed.), Generalized Inverses and Applications, Academic Press, New York
(1976), 111124.
[13] G. Marsaglia and G.P.H. Styan, Equalities and inequalities for ranks of matrices, Lin-
ear and Multilinear Algebra. 2 (1974), 269292.
102
Bibliographie 103
[14] M. Z. Nashed, Generalized Inverses, Theory and Applications, Academic Press, NY
(1976).
[15] M. H. Pearl, Generalized inverses of matrices with entries taken from an arbitrary
eld, Linear Algebra Appl. 1 (1968), 571587.
[16] R.Penrose, A generalized inverse for matrices, Proc.camb.Phil.Soc. 52 (1955).
[17] X. M. Ren, Y. Wang and K. P. Shum, On nding the generalized inverse matrix of the
product of matrices, PU.M.A. 16 (2005), 191-197.
[18] Y. Tian, S. Cheng, The maximal and minimal ranks of A - BXC with applications, New
York J. Math. 9 (2003), 345362.
[19] Zhiping Xiong and Bing Zheng, The reverse order laws for {1, 2, 3}- and {1, 2,
4}inverses of a two-matrix product, Appl. Math. Lett. 21 (2008), 649655.
[20] H. Zekraoui and S. Guedjiba, On algebraic properties of generalized inverses of ma-
trices, International Journal of Algebra. 2 (2008), 633 - 643.
[21] H. Zekraoui and S. Guedjiba, Semi-group of generalized inverses of a matrix, Applied
Sciences. 12 (2010), 146-152.
Rsum
Un inverse gnralis d'une matrice est une matrice A. sense de satisfaire:
(i) A est dnie pour une classe contenant les matrices non singulires
(ii) A est l'inverse usuel de lorsque est non singulire.
(iii) A possde quelques proprits de l'inverse usuel.
La racine gntique du concept des inverses gnraliss apparat essentielle-
ment dans le contexte de l'ainsi nomm les problmes linaires "mal- pos". Toute-
fois, il semble que cette terminologie a t premirement mentionne dans un man-
uscrit en 1903, attribu Fredholm, o un inverse particulier gnralis, prnomm
aussi "le Pseudo- inverse", d'un oprateur intgral a t donn. Depuis ce temps,
ce concept a cr considrablement et devint un domaine actif de la recherche. Le
but de la prsente thse est l'tude de quelques proprits algbriques des inverses
gnraliss des matrices nies sur K (K = R ou C) comme la somme, le produit,
la loi d'ordre inverse, l'invariance de la loi d'ordre inverse, l'invariance de la forme
de Jordan, la puissance d'un inverse gnralis, .. etc. En particulier, nous dnis-
sons quelques structures algbriques sur la classe des inverses gnraliss d'une
matrice, comme les semi- groupes, et l'espace afne, ce qui permet d'obtenir cer-
taines proprits telles que l'isomorphisme des semi- groupes, la commutativit, la
dcomposition en facteurs, relation d'ordre...
Mots cl: Matrice, inverse gnralis, projecteur, somme, produit.
Clasication MSC [2010]: 15A09, 15A03, 15A23, 15A24, 15A04, 15A21.
104