Inegalitate cu rang si exista matrice inversabila

Moderators: Bogdan Posa, Laurian Filip, Beniamin Bogosel, Radu Titiu, Marius Dragoi

Post Reply
Madalina
Arhimede
Posts: 6
Joined: Tue Oct 02, 2007 4:43 pm

Inegalitate cu rang si exista matrice inversabila

Post by Madalina »

Fie \( A,\ B\ \in M_{n}(\mathbb{R}) \). Sa se arate ca \( rang\ A\ +\ rang\ B\ \leq\ n \) daca si numai daca exista o matrice inversabila \( X\ \in\ M_{n}(\mathbb{R}) \) astfel incat \( AXB\ =\ O_{n} \).

***, Olimpiada Judeteana 2008
You think you know, but you can't even imagine...
User avatar
Beniamin Bogosel
Co-admin
Posts: 710
Joined: Fri Mar 07, 2008 12:01 am
Location: Timisoara sau Sofronea (Arad)
Contact:

Post by Beniamin Bogosel »

O implicatie rezulta din teorema lui Sylvester:
\( rang(A)+rang(B)=rang(A)+rang(XB)-rang(AXB)\leq n \)
\( \Rightarrow rang(A)+rang(B)\leq n. \)

Este cunoscut ca daca \( X \) este inversabila, atunci \( rang(B)=rang(XB) \).
Dem:
\( rang(XB)\leq rang(B) \)
\( rang(B)=rang(X^{-1}XB)\leq rang(XB) \)
User avatar
Beniamin Bogosel
Co-admin
Posts: 710
Joined: Fri Mar 07, 2008 12:01 am
Location: Timisoara sau Sofronea (Arad)
Contact:

Post by Beniamin Bogosel »

Cealalta implicatie:

Fie \( A,B,\ rang(A)=r_a,\ rang(B)=r_b \), doua matrice cu suma rangurilor mai mica decit \( n \).
Se stie ca prin transformari elementare se pot aduce matricele \( A,B \) la forma \( \begin{pmatrix}I_{r_a}&0\\0&0\end{pmatrix} \) si \( \begin{pmatrix}0&0\\0&I_{r_b}\end{pmatrix} \). Cum transformarile elementare sunt inmultiri cu matrice patratice inversabile rezulta ca
\( \begin{pmatrix}I_{r_a}&0\\0&0\end{pmatrix}=PAQ \) si \( \begin{pmatrix}0&0\\0&I_{r_b}\end{pmatrix}=RBT \), unde \( P,Q,R,T \) sunt matrice patratice inversabile.
Atunci \( PAQRBT=O_n\Rightarrow A(QR)B=O_n \). Deci matricea cautata este \( X=QR \).

Ar fi bine sa retineti metoda, pentru ca eu am aflat de ea numai dupa ce am trecut de olimpiade si am ratat citeva probleme din cauza asta. Bineinteles ca trebuie sa schitati si o demonstratie cind o folositi. Cred ca o sa postez una.
User avatar
Radu Titiu
Thales
Posts: 155
Joined: Fri Sep 28, 2007 5:05 pm
Location: Mures \Bucuresti

Post by Radu Titiu »

Este un articol de C. Mortici in GM 7-8/2003 care trateaza aceasta teorema.
A mathematician is a machine for turning coffee into theorems.
Post Reply

Return to “Algebra”