@let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que...

49
Una revisión de la inversa core EP D.E. FERREYRA, F.E. LEVIS, N. THOME 1

Transcript of @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que...

Page 1: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Una revisión de la inversa core EP

D.E. FERREYRA, F.E. LEVIS, N. THOME

1

Page 2: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Índice I

IntroducciónResumenNotaciones y DefinicionesMotivaciónAntecedentes del Problema

Una nueva caracterización de la inversa core EPResultado PrincipalPropiedades de la inversa core EP

Reprentación y cálculo de la inversa core EPForma canónica de la inversa core EPMás propiedades de la inversa core EP

2

Page 3: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Introducción

3

Page 4: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Resumen

En este trabajo:

• Se da una nueva caracterización y representación de la inversa core EPusando la descomposición core EP.

• Se dan nuevas propiedades de la inversa core EP y su conexión con lasinversas BT y DMP.

• Se da una forma canónica de la inversa core EP a partir de ladescomposición de Hartwig-Spindelböck que provee una manerasencilla de calcularla.

4

Page 5: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Resumen

En este trabajo:

• Se da una nueva caracterización y representación de la inversa core EPusando la descomposición core EP.

• Se dan nuevas propiedades de la inversa core EP y su conexión con lasinversas BT y DMP.

• Se da una forma canónica de la inversa core EP a partir de ladescomposición de Hartwig-Spindelböck que provee una manerasencilla de calcularla.

4

Page 6: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Resumen

En este trabajo:

• Se da una nueva caracterización y representación de la inversa core EPusando la descomposición core EP.

• Se dan nuevas propiedades de la inversa core EP y su conexión con lasinversas BT y DMP.

• Se da una forma canónica de la inversa core EP a partir de ladescomposición de Hartwig-Spindelböck que provee una manerasencilla de calcularla.

4

Page 7: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Resumen

En este trabajo:

• Se da una nueva caracterización y representación de la inversa core EPusando la descomposición core EP.

• Se dan nuevas propiedades de la inversa core EP y su conexión con lasinversas BT y DMP.

• Se da una forma canónica de la inversa core EP a partir de ladescomposición de Hartwig-Spindelböck que provee una manerasencilla de calcularla.

4

Page 8: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Notaciones y Definiciones

Para A ∈ Cn×n, los símbolos A∗, A−1, R(A), N (A) y rk(A), denotarán latranspuesta conjugada, la inversa, el espacio columna, el núcleo y el rangode A, respectivamente.

Una matriz X ∈ Cn×n que satisface la igualdad AXA = A es llamada unainversa interior de A. La clase de todas las inversas de A es denotada porA{1}.

Sea A ∈ Cn×n, el índice de A, denotado por Ind(A), es el menor de losenteros no negativos k tal que R(Ak) = R(Ak+1).

Se dice que A ∈ Cn×n es una matriz EP si R(A) = R(A∗).

5

Page 9: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Notaciones y Definiciones

Para A ∈ Cn×n, los símbolos A∗, A−1, R(A), N (A) y rk(A), denotarán latranspuesta conjugada, la inversa, el espacio columna, el núcleo y el rangode A, respectivamente.

Una matriz X ∈ Cn×n que satisface la igualdad AXA = A es llamada unainversa interior de A. La clase de todas las inversas de A es denotada porA{1}.

Sea A ∈ Cn×n, el índice de A, denotado por Ind(A), es el menor de losenteros no negativos k tal que R(Ak) = R(Ak+1).

Se dice que A ∈ Cn×n es una matriz EP si R(A) = R(A∗).

5

Page 10: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Notaciones y Definiciones

Para A ∈ Cn×n, los símbolos A∗, A−1, R(A), N (A) y rk(A), denotarán latranspuesta conjugada, la inversa, el espacio columna, el núcleo y el rangode A, respectivamente.

Una matriz X ∈ Cn×n que satisface la igualdad AXA = A es llamada unainversa interior de A. La clase de todas las inversas de A es denotada porA{1}.

Sea A ∈ Cn×n, el índice de A, denotado por Ind(A), es el menor de losenteros no negativos k tal que R(Ak) = R(Ak+1).

Se dice que A ∈ Cn×n es una matriz EP si R(A) = R(A∗).

5

Page 11: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Notaciones y Definiciones

Para A ∈ Cn×n, los símbolos A∗, A−1, R(A), N (A) y rk(A), denotarán latranspuesta conjugada, la inversa, el espacio columna, el núcleo y el rangode A, respectivamente.

Una matriz X ∈ Cn×n que satisface la igualdad AXA = A es llamada unainversa interior de A. La clase de todas las inversas de A es denotada porA{1}.

Sea A ∈ Cn×n, el índice de A, denotado por Ind(A), es el menor de losenteros no negativos k tal que R(Ak) = R(Ak+1).

Se dice que A ∈ Cn×n es una matriz EP si R(A) = R(A∗).

5

Page 12: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Notaciones y Definiciones

DefiniciónSea A ∈ Cn×n. La única matriz X ∈ Cn×n satisfaciendo

AXA = A, XAX = X, (AX)∗ = AX y (XA)∗ = XA,

es llamada la inversa de Moore-Penrose de A y es denotada por A†.

DefiniciónSea A ∈ Cn×n. La única matriz X ∈ Cn×n satisfaciendo

XAX = X, AX = XA y Ak+1X = Ak,

donde k = Ind(A), es llamada la inversa de Drazin de A y es denotada porAd.

Si Ind(A) ≤ 1, entonces la inversa de Drazin de A es llamada la inversa degrupo de A y es denotada por A#.

6

Page 13: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Notaciones y Definiciones

DefiniciónSea A ∈ Cn×n. La única matriz X ∈ Cn×n satisfaciendo

AXA = A, XAX = X, (AX)∗ = AX y (XA)∗ = XA,

es llamada la inversa de Moore-Penrose de A y es denotada por A†.

DefiniciónSea A ∈ Cn×n. La única matriz X ∈ Cn×n satisfaciendo

XAX = X, AX = XA y Ak+1X = Ak,

donde k = Ind(A), es llamada la inversa de Drazin de A y es denotada porAd.

Si Ind(A) ≤ 1, entonces la inversa de Drazin de A es llamada la inversa degrupo de A y es denotada por A#.

6

Page 14: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Notaciones y Definiciones

DefiniciónSea A ∈ Cn×n. La única matriz X ∈ Cn×n satisfaciendo

AXA = A, XAX = X, (AX)∗ = AX y (XA)∗ = XA,

es llamada la inversa de Moore-Penrose de A y es denotada por A†.

DefiniciónSea A ∈ Cn×n. La única matriz X ∈ Cn×n satisfaciendo

XAX = X, AX = XA y Ak+1X = Ak,

donde k = Ind(A), es llamada la inversa de Drazin de A y es denotada porAd.

Si Ind(A) ≤ 1, entonces la inversa de Drazin de A es llamada la inversa degrupo de A y es denotada por A#.

6

Page 15: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

La inversa coreO. Baksalary, G. Trenkler, Core inverse of matrices, Linear and Multilinear Algebra, 58

(6) (2010) 681-697.

En el trabajo anterior, los autores introdujeron una nueva inversageneralizada de la siguiente manera

DefiniciónSea A ∈ Cn×n. Una matriz X ∈ Cn×n satisfaciendo

AX = PA y R(X) ⊂ R(A),

es llamada la inversa core de A y es denotada por A#©, donde PA es elproyector ortogonal sobre el rango de A, es decir, PA = AA†.

Una condición necesaria y suficiente para que A ∈ Cn×n sea core invertiblees que Ind(A) ≤ 1.

7

Page 16: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

La inversa coreO. Baksalary, G. Trenkler, Core inverse of matrices, Linear and Multilinear Algebra, 58

(6) (2010) 681-697.

En el trabajo anterior, los autores introdujeron una nueva inversageneralizada de la siguiente manera

DefiniciónSea A ∈ Cn×n. Una matriz X ∈ Cn×n satisfaciendo

AX = PA y R(X) ⊂ R(A),

es llamada la inversa core de A y es denotada por A#©, donde PA es elproyector ortogonal sobre el rango de A, es decir, PA = AA†.

Una condición necesaria y suficiente para que A ∈ Cn×n sea core invertiblees que Ind(A) ≤ 1.

7

Page 17: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

La inversa coreO. Baksalary, G. Trenkler, Core inverse of matrices, Linear and Multilinear Algebra, 58

(6) (2010) 681-697.

En el trabajo anterior, los autores introdujeron una nueva inversageneralizada de la siguiente manera

DefiniciónSea A ∈ Cn×n. Una matriz X ∈ Cn×n satisfaciendo

AX = PA y R(X) ⊂ R(A),

es llamada la inversa core de A y es denotada por A#©, donde PA es elproyector ortogonal sobre el rango de A, es decir, PA = AA†.

Una condición necesaria y suficiente para que A ∈ Cn×n sea core invertiblees que Ind(A) ≤ 1.

7

Page 18: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

La inversa coreO. Baksalary, G. Trenkler, Core inverse of matrices, Linear and Multilinear Algebra, 58

(6) (2010) 681-697.

En el trabajo anterior, los autores introdujeron una nueva inversageneralizada de la siguiente manera

DefiniciónSea A ∈ Cn×n. Una matriz X ∈ Cn×n satisfaciendo

AX = PA y R(X) ⊂ R(A),

es llamada la inversa core de A y es denotada por A#©, donde PA es elproyector ortogonal sobre el rango de A, es decir, PA = AA†.

Una condición necesaria y suficiente para que A ∈ Cn×n sea core invertiblees que Ind(A) ≤ 1.

7

Page 19: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Las inversas core EP, BT y DMP

Tres generalizaciones de la inversa core fueron introducidas y estudiadasrecientemente para matrices cuadradas de índice arbitrario.

La única matriz X ∈ Cn×n tal que

XAX = X y R(X) = R(X∗) = R(Ak),

es llamada la inversa core EP de A y es denotada por A †©.

La matriz A� := (APA)† es llamada la inversa BT de A.

La única matriz X ∈ Cn×n satisfaciendo

XAX = X, XA = AdA y AkX = AkA†,

es llamada la inversa DMP de A y es denotada por Ad,†.

8

Page 20: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Las inversas core EP, BT y DMP

Tres generalizaciones de la inversa core fueron introducidas y estudiadasrecientemente para matrices cuadradas de índice arbitrario.

La única matriz X ∈ Cn×n tal que

XAX = X y R(X) = R(X∗) = R(Ak),

es llamada la inversa core EP de A y es denotada por A †©.

La matriz A� := (APA)† es llamada la inversa BT de A.

La única matriz X ∈ Cn×n satisfaciendo

XAX = X, XA = AdA y AkX = AkA†,

es llamada la inversa DMP de A y es denotada por Ad,†.

8

Page 21: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Las inversas core EP, BT y DMP

Tres generalizaciones de la inversa core fueron introducidas y estudiadasrecientemente para matrices cuadradas de índice arbitrario.

La única matriz X ∈ Cn×n tal que

XAX = X y R(X) = R(X∗) = R(Ak),

es llamada la inversa core EP de A y es denotada por A †©.

La matriz A� := (APA)† es llamada la inversa BT de A.

La única matriz X ∈ Cn×n satisfaciendo

XAX = X, XA = AdA y AkX = AkA†,

es llamada la inversa DMP de A y es denotada por Ad,†.

8

Page 22: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Las inversas core EP, BT y DMP

Tres generalizaciones de la inversa core fueron introducidas y estudiadasrecientemente para matrices cuadradas de índice arbitrario.

La única matriz X ∈ Cn×n tal que

XAX = X y R(X) = R(X∗) = R(Ak),

es llamada la inversa core EP de A y es denotada por A †©.

La matriz A� := (APA)† es llamada la inversa BT de A.

La única matriz X ∈ Cn×n satisfaciendo

XAX = X, XA = AdA y AkX = AkA†,

es llamada la inversa DMP de A y es denotada por Ad,†.

8

Page 23: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Motivación de este trabajo

O.Baksalary, G. Trenkler, Core inverse of matrices, Linear and Multilinear Algebra, 58(6) (2010) 681-697.

La inversa core de A ∈ Cn×n es la única matriz X ∈ Cn×n satisfaciendo

AX = PA = AA† y R(X) ⊂ R(A).

K.M. Prasad, K.S. Mohana, Core EP inverse, Linear and Multilinear Algebra, 62 (3)(2014) 792-802.

La inversa core EP de A es la única matriz X ∈ Cn×n tal que

XAX = X y R(X) = R(X∗) = R(Ak).

TeoremaSea A ∈ Cn×n tal que Ind(A) = k. Entonces X ∈ Cn×n es la inversa core EP de A siy sólo si X satisface las condiciones

XAk+1 = Ak, XAX = X, (AX)∗ = AX, y R(X) ⊂ R(Ak).

9

Page 24: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Motivación de este trabajo

O.Baksalary, G. Trenkler, Core inverse of matrices, Linear and Multilinear Algebra, 58(6) (2010) 681-697.

La inversa core de A ∈ Cn×n es la única matriz X ∈ Cn×n satisfaciendo

AX = PA = AA† y R(X) ⊂ R(A).

K.M. Prasad, K.S. Mohana, Core EP inverse, Linear and Multilinear Algebra, 62 (3)(2014) 792-802.La inversa core EP de A es la única matriz X ∈ Cn×n tal que

XAX = X y R(X) = R(X∗) = R(Ak).

TeoremaSea A ∈ Cn×n tal que Ind(A) = k. Entonces X ∈ Cn×n es la inversa core EP de A siy sólo si X satisface las condiciones

XAk+1 = Ak, XAX = X, (AX)∗ = AX, y R(X) ⊂ R(Ak).

9

Page 25: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Motivación de este trabajo

O.Baksalary, G. Trenkler, Core inverse of matrices, Linear and Multilinear Algebra, 58(6) (2010) 681-697.

La inversa core de A ∈ Cn×n es la única matriz X ∈ Cn×n satisfaciendo

AX = PA = AA† y R(X) ⊂ R(A).

K.M. Prasad, K.S. Mohana, Core EP inverse, Linear and Multilinear Algebra, 62 (3)(2014) 792-802.

La inversa core EP de A es la única matriz X ∈ Cn×n tal que

XAX = X y R(X) = R(X∗) = R(Ak).

TeoremaSea A ∈ Cn×n tal que Ind(A) = k. Entonces X ∈ Cn×n es la inversa core EP de A siy sólo si X satisface las condiciones

XAk+1 = Ak, XAX = X, (AX)∗ = AX, y R(X) ⊂ R(Ak).

9

Page 26: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Motivación de este trabajo

O.Baksalary, G. Trenkler, Core inverse of matrices, Linear and Multilinear Algebra, 58(6) (2010) 681-697.

La inversa core de A ∈ Cn×n es la única matriz X ∈ Cn×n satisfaciendo

AX = PA = AA† y R(X) ⊂ R(A).

K.M. Prasad, K.S. Mohana, Core EP inverse, Linear and Multilinear Algebra, 62 (3)(2014) 792-802.La inversa core EP de A es la única matriz X ∈ Cn×n tal que

XAX = X y R(X) = R(X∗) = R(Ak).

TeoremaSea A ∈ Cn×n tal que Ind(A) = k. Entonces X ∈ Cn×n es la inversa core EP de A siy sólo si X satisface las condiciones

XAk+1 = Ak, XAX = X, (AX)∗ = AX, y R(X) ⊂ R(Ak).

9

Page 27: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Motivación de este trabajo

O.Baksalary, G. Trenkler, Core inverse of matrices, Linear and Multilinear Algebra, 58(6) (2010) 681-697.

La inversa core de A ∈ Cn×n es la única matriz X ∈ Cn×n satisfaciendo

AX = PA = AA† y R(X) ⊂ R(A).

K.M. Prasad, K.S. Mohana, Core EP inverse, Linear and Multilinear Algebra, 62 (3)(2014) 792-802.La inversa core EP de A es la única matriz X ∈ Cn×n tal que

XAX = X y R(X) = R(X∗) = R(Ak).

TeoremaSea A ∈ Cn×n tal que Ind(A) = k. Entonces X ∈ Cn×n es la inversa core EP de A siy sólo si X satisface las condiciones

XAk+1 = Ak, XAX = X, (AX)∗ = AX, y R(X) ⊂ R(Ak).

9

Page 28: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Antecedentes del Problema

X. Wang, Core-EP decomposition and its applications, Linear Algebra and itsApplications, 508 (2016) 289-300.

TeoremaToda matriz A ∈ Cn×n admite una única descomposición de la forma

A = A1 +A2, A1 = U

[T S

0 0

]U∗, A2 = U

[0 0

0 N

]U∗,

donde T es invertible con rk(T ) = rk(Ak), N es nilpotente con índice k y U esunitaria. Dicha representación es llamada la descomposición core EP de A.

TeoremaSea A = A1 +A2 la descomposición core EP de A tal que Ind(A) = k. EntoncesA †© = A

#©1 . Más aún,

A †© = U

[T−1 0

0 0

]U∗.

10

Page 29: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Antecedentes del Problema

X. Wang, Core-EP decomposition and its applications, Linear Algebra and itsApplications, 508 (2016) 289-300.

TeoremaToda matriz A ∈ Cn×n admite una única descomposición de la forma

A = A1 +A2, A1 = U

[T S

0 0

]U∗, A2 = U

[0 0

0 N

]U∗,

donde T es invertible con rk(T ) = rk(Ak), N es nilpotente con índice k y U esunitaria. Dicha representación es llamada la descomposición core EP de A.

TeoremaSea A = A1 +A2 la descomposición core EP de A tal que Ind(A) = k. EntoncesA †© = A

#©1 . Más aún,

A †© = U

[T−1 0

0 0

]U∗.

10

Page 30: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Antecedentes del Problema

X. Wang, Core-EP decomposition and its applications, Linear Algebra and itsApplications, 508 (2016) 289-300.

TeoremaToda matriz A ∈ Cn×n admite una única descomposición de la forma

A = A1 +A2, A1 = U

[T S

0 0

]U∗, A2 = U

[0 0

0 N

]U∗,

donde T es invertible con rk(T ) = rk(Ak), N es nilpotente con índice k y U esunitaria. Dicha representación es llamada la descomposición core EP de A.

TeoremaSea A = A1 +A2 la descomposición core EP de A tal que Ind(A) = k. EntoncesA †© = A

#©1 . Más aún,

A †© = U

[T−1 0

0 0

]U∗.

10

Page 31: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Una nueva caracterización de lainversa core EP

11

Page 32: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Resultado Principal

D.E. Ferreyra, F.E. Levis, N. Thome, Revisiting the core EP and its extension to

rectangular matrices, Quaestiones Mathematicae, to appear.

A continuación, damos una condición necesaria y suficiente para que unamatriz cuadrada sea core EP invertible.

TeoremaSea A ∈ Cn×n tal que Ind(A) = k. Entonces X ∈ Cn×n es la inversa coreEP de A si y sólo si X satisface las condiciones

AX = PAk y R(X) ⊂ R(Ak).

Más aún, X = (APAk )†, donde PAk = Ak(Ak)†.

12

Page 33: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Resultado Principal

D.E. Ferreyra, F.E. Levis, N. Thome, Revisiting the core EP and its extension to

rectangular matrices, Quaestiones Mathematicae, to appear.

A continuación, damos una condición necesaria y suficiente para que unamatriz cuadrada sea core EP invertible.

TeoremaSea A ∈ Cn×n tal que Ind(A) = k. Entonces X ∈ Cn×n es la inversa coreEP de A si y sólo si X satisface las condiciones

AX = PAk y R(X) ⊂ R(Ak).

Más aún, X = (APAk )†, donde PAk = Ak(Ak)†.

12

Page 34: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Propiedades de la inversa core EP

Es conocido que inversa core A#© pertence a la clase A{1}. Es interesantepreguntarse qué ocurre con la inversa core EP.

TeoremaSea A ∈ Cn×n. Las siguientes condiciones son equivalentes

(i) A †© ∈ A{1},

(ii) Ind(A) ≤ 1,

(iii) A� ∈ A{1}.

Más aún, en este caso, A †© = A� = A#©.

Sin embargo, el hecho que A †© = A� no implica que A ∈ A{1}.

13

Page 35: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Propiedades de la inversa core EP

Es conocido que inversa core A#© pertence a la clase A{1}. Es interesantepreguntarse qué ocurre con la inversa core EP.

TeoremaSea A ∈ Cn×n. Las siguientes condiciones son equivalentes

(i) A †© ∈ A{1},

(ii) Ind(A) ≤ 1,

(iii) A� ∈ A{1}.

Más aún, en este caso, A †© = A� = A#©.

Sin embargo, el hecho que A †© = A� no implica que A ∈ A{1}.

13

Page 36: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Propiedades de la inversa core EP

Es conocido que inversa core A#© pertence a la clase A{1}. Es interesantepreguntarse qué ocurre con la inversa core EP.

TeoremaSea A ∈ Cn×n. Las siguientes condiciones son equivalentes

(i) A †© ∈ A{1},

(ii) Ind(A) ≤ 1,

(iii) A� ∈ A{1}.

Más aún, en este caso, A †© = A� = A#©.

Sin embargo, el hecho que A †© = A� no implica que A ∈ A{1}.

13

Page 37: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Propiedades de la inversa core EP

Es conocido que si Ind(A) ≤ 1 entonces (A#©)#© = APA y A#© esnecesariamente EP .

A continuación veremos que la inversa core EP satisface las mismaspropiedades.

TeoremaSea A ∈ Cn×n tal que Ind(A) = k. Entonces las siguientes afirmaciones sonverdaderas

(i) A †© es EP;

(ii) A(A †©)2 = A †©;

(iii) (A †©) †© = APAk ;

(iv) APAk es EP.

14

Page 38: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Propiedades de la inversa core EP

Es conocido que si Ind(A) ≤ 1 entonces (A#©)#© = APA y A#© esnecesariamente EP .

A continuación veremos que la inversa core EP satisface las mismaspropiedades.

TeoremaSea A ∈ Cn×n tal que Ind(A) = k. Entonces las siguientes afirmaciones sonverdaderas

(i) A †© es EP;

(ii) A(A †©)2 = A †©;

(iii) (A †©) †© = APAk ;

(iv) APAk es EP.

14

Page 39: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Reprentación y cálculo de lainversa core EP

15

Page 40: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Forma canónica de la inversa core EP

Toda matriz A ∈ Cn×n de rango r > 0 admite la descomposición deHartwig-Spindelböck dada por

A = U

[ΣK ΣL

0 0

]U∗,

donde U ∈ Cn×n es unitaria, Σ = diag(σ1Ir1 , σ2Ir2 · · · , σtIrt), σi son losvalores singulares de A, σ1 > σ2 > · · · > σt > 0, r1 + r2 + · · ·+ rt = r yK ∈ Cr×r, L ∈ Cr×(n−r) satisfacen KK∗ + LL∗ = Ir.

TeoremaSea A ∈ Cn×n escrita en la forma de Hartwig-Spindelböck. Entonces

A†© = U

[(ΣK) †© 0

0 0

]U∗.

16

Page 41: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Forma canónica de la inversa core EP

Toda matriz A ∈ Cn×n de rango r > 0 admite la descomposición deHartwig-Spindelböck dada por

A = U

[ΣK ΣL

0 0

]U∗,

donde U ∈ Cn×n es unitaria, Σ = diag(σ1Ir1 , σ2Ir2 · · · , σtIrt), σi son losvalores singulares de A, σ1 > σ2 > · · · > σt > 0, r1 + r2 + · · ·+ rt = r yK ∈ Cr×r, L ∈ Cr×(n−r) satisfacen KK∗ + LL∗ = Ir.

TeoremaSea A ∈ Cn×n escrita en la forma de Hartwig-Spindelböck. Entonces

A†© = U

[(ΣK) †© 0

0 0

]U∗.

16

Page 42: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Forma canónica de la inversa core EP

Toda matriz A ∈ Cn×n de rango r > 0 admite la descomposición deHartwig-Spindelböck dada por

A = U

[ΣK ΣL

0 0

]U∗,

donde U ∈ Cn×n es unitaria, Σ = diag(σ1Ir1 , σ2Ir2 · · · , σtIrt), σi son losvalores singulares de A, σ1 > σ2 > · · · > σt > 0, r1 + r2 + · · ·+ rt = r yK ∈ Cr×r, L ∈ Cr×(n−r) satisfacen KK∗ + LL∗ = Ir.

TeoremaSea A ∈ Cn×n escrita en la forma de Hartwig-Spindelböck. Entonces

A†© = U

[(ΣK) †© 0

0 0

]U∗.

16

Page 43: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Forma canónica de la inversa core EP

En [2, Lemma 2] y [3, Theorem 2.5], se probó que

A� = U

[(ΣK)† 0

0 0

]U∗ y Ad,† = U

[(ΣK)d 0

0 0

]U∗,

respectivamente.

CorolarioSea A ∈ Cn×n escrita en la forma de Hartwig-Spindelböck. Las siguientescondiciones son equivalentes

(i) A †© = A�;

(ii) Ad,† = A�;

(iii) ΣK es EP.

Más aún, en este caso, Ind(A) ≤ 2.

17

Page 44: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Forma canónica de la inversa core EP

En [2, Lemma 2] y [3, Theorem 2.5], se probó que

A� = U

[(ΣK)† 0

0 0

]U∗ y Ad,† = U

[(ΣK)d 0

0 0

]U∗,

respectivamente.

CorolarioSea A ∈ Cn×n escrita en la forma de Hartwig-Spindelböck. Las siguientescondiciones son equivalentes

(i) A †© = A�;

(ii) Ad,† = A�;

(iii) ΣK es EP.

Más aún, en este caso, Ind(A) ≤ 2.

17

Page 45: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Forma canónica de la inversa core EP

En [2, Lemma 2] y [3, Theorem 2.5], se probó que

A� = U

[(ΣK)† 0

0 0

]U∗ y Ad,† = U

[(ΣK)d 0

0 0

]U∗,

respectivamente.

CorolarioSea A ∈ Cn×n escrita en la forma de Hartwig-Spindelböck. Las siguientescondiciones son equivalentes

(i) A †© = A�;

(ii) Ad,† = A�;

(iii) ΣK es EP.

Más aún, en este caso, Ind(A) ≤ 2.

17

Page 46: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Más propiedades de la inversa core EP

TeoremaSea A ∈ Cn×n tal que Ind(A) = k. Entonces

(i) AA †© es un proyector ortogonal sobre R(Ak).

(ii) A †©A es un proyector oblicuo sobre R(Ak) a lo largo de N ((Ak+1)∗A).

TeoremaSea A ∈ Cn×n. Las siguientes condiciones son equivalentes

(i) A es EP;

(ii) (A †©) †© = A;

(iii) (A †©)† = A;

(iv) (A†) †© = A;

(v) APA = A.

Más aún, en este caso, AA †© = A †©A y (A †©)† = (A†) †©.

18

Page 47: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Más propiedades de la inversa core EP

TeoremaSea A ∈ Cn×n tal que Ind(A) = k. Entonces

(i) AA †© es un proyector ortogonal sobre R(Ak).

(ii) A †©A es un proyector oblicuo sobre R(Ak) a lo largo de N ((Ak+1)∗A).

TeoremaSea A ∈ Cn×n. Las siguientes condiciones son equivalentes

(i) A es EP;

(ii) (A †©) †© = A;

(iii) (A †©)† = A;

(iv) (A†) †© = A;

(v) APA = A.

Más aún, en este caso, AA †© = A †©A y (A †©)† = (A†) †©.

18

Page 48: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

O.M. Baksalary, G. Trenkler, Core inverse of matrices, Linear andMultilinear Algebra, 58 (6) (2010) 681-697.

O.M. Baksalary, G. Trenkler, On a generalized core inverse, AppliedMathematics & Compututation, 236 (2014) 450-457.

S.B. Malik, N. Thome, On a new generalized inverse for matrices of anarbitrary index, Applied Mathematics & Compututation, 226 (2014)575-580.

K.M. Prasad, K.S. Mohana, Core EP inverse, Linear and MultilinearAlgebra, 62 (3) (2014) 792-802.

X. Wang, Core-EP decomposition and its applications, Linear Algebraand its Applications, 508 (2016) 289-300.

19

Page 49: @let@token Una revisión de la inversa core EP...de A, respectivamente. Una matriz X2C n que satisface la igualdad AXA= Aes llamada una inversa interiorde A. La clase de todas las

Gracias!!!

20