.7.3] Let $A$ and $B$ be two $n\times n$ real symmetric matrices such that $A$ is positive definite and $B$ is positive semidefinite. Then $A \succeq  B$ if and only if $\rho(A^{-1}B) \le 1,$ and $A\succ B$ if and only if $\rho(A^{-1}B) < 1$.\

\[th1\] Let $A\succ 0$, $S\succ 0$ and $B$ and $C$ be full row rank matrices. If $2S \succ B A^{-1} B^{T}$ then the iterative method converges to the unique solution of for any initial guess.

Let $\lambda $ be an arbitrary eigenvalue of $\mathcal{G}=\mathcal{P}^{-1} \mathcal{R}$ with the corresponding eigenvector $w=\left(x; y; z\right)$. Consequently, we have $\mathcal{R} w=\lambda \mathcal{P}w$ which is equivalent to say that

(A x+B\^[T]{} y) =0, \[eq55\]\
( S y - C\^[T]{} z) = B x+ S y, \[eq56\]\
C y =0.\[eq57\]

Without loss of generality, we may assume that $\lambda \neq 0$. Obviously $y \neq 0$, otherwise in view of the positive definiteness of $A$ and the assumption that $C$ has full row rank we conclude that $x$ and $z$ are both zero vectors which is in contradiction with the fact that $(x;y;z)$ is an eigenvector. From Eqs. and we can deduce that $$x=-A^{-1} B^{T} y,\quad y^{*} C^{T}= 0.$$ Multiplying both sides of Eq. on the left by $y^{*}$ and substituting the preceding equalities, we derive $$\lambda =1 - \frac{y^{*} B A^{-1} B^{T} y}{y^{*} S y}.$$ This shows that the eigenvalues of ${\cal G}$ are all real. By Theorem \[thorn\], it is immediate to conclude that $\lambda_{\max}(S^{-1}BA^{-1}B^T)=\rho(S^{-1}BA^{-1}B^T)<2$ if and only if $2S \succ B
.7.3 ] Let $ A$ and $ B$ be two $ n\times n$ real symmetric matrices such that $ A$ is incontrovertible definite and $ B$ is incontrovertible semidefinite. Then $ A \succeq   B$ if and only if $ \rho(A^{-1}B) \le 1,$ and $ A\succ B$ if and only if $ \rho(A^{-1}B) < 1$.\ 

 \[th1\ ] get $ A\succ 0 $, $ S\succ 0 $ and $ B$ and $ C$ be full row rank and file matrices. If $ 2S \succ B A^{-1 } B^{T}$ then the iterative method converges to the alone solution of for any initial guess. 

 Let $ \lambda $ be an arbitrary eigenvalue of $ \mathcal{G}=\mathcal{P}^{-1 } \mathcal{R}$ with the corresponding eigenvector $ w=\left(x; y; z\right)$. Consequently, we get $ \mathcal{R } w=\lambda \mathcal{P}w$ which is equivalent to say that 

 (A x+B\^[T ] { } y) = 0, \[eq55\]\ 
 (S y - C\^[T ] { } z) = B x+ S y, \[eq56\]\ 
 C y = 0.\[eq57\ ] 

 Without loss of generality, we may assume that $ \lambda \neq 0$. Obviously $ y \neq 0 $, differently in view of the positive definiteness of $ A$ and the presumption that $ C$ has full row rank and file we conclude that $ x$ and $ z$ are both zero vector which is in contradiction with the fact that $ (x;y;z)$ is an eigenvector. From Eqs. and we can deduce that $ $ x=-A^{-1 } B^{T } y,\quad y^ { * } C^{T}= 0.$$ Multiplying both sides of Eq. on the left by $ y^{*}$ and substituting the preceding equality, we derive $ $ \lambda = 1 - \frac{y^ { * } B A^{-1 } B^{T } y}{y^ { * } S y}.$$ This shows that the eigenvalues of $ { \cal G}$ are all real. By Theorem \[thorn\ ], it is immediate to conclude that $ \lambda_{\max}(S^{-1}BA^{-1}B^T)=\rho(S^{-1}BA^{-1}B^T)<2 $ if and only if $ 2S \succ B
.7.3] Leh $A$ and $B$ be two $n\times k$ real symmetric matricxs such that $A$ ks positive definite and $B$ id posituve semidefinite. Then $X \succeq  B$ if ane onot if $\rho(A^{-1}B) \le 1,$ and $A\succ N$ if cnv only if $\rho(A^{-1}B) < 1$.\

\[th1\] Let $A\vucc 0$, $S\succ 0$ atd $B$ and $C$ be full row rank matrices. If $2S \succ B A^{-1} B^{T}$ then the itegaeive method converges to the unique somution mf for any inotial guess.

Let $\lambda $ be wn agbitrary eigenvaluf of $\mathcao{G}=\maeycal{P}^{-1} \mathcau{R}$ with tht eorrespondihg eigenvector $w=\left(x; y; z\right)$. Zonseauently, we hqve $\kathcal{R} w=\lembda \iathcal{P}w$ whlbh is exuivalemt to say that

(S x+U\^[T]{} y) =0, \[eq55\]\
( S y - C\^[T]{} z) = B x+ S y, \[eq56\]\
C y =0.\[eq57\]

Without loss of ceuerality, we may assumw rhat $\nambga \ndw 0$. Ubvjonslg $y \nee 0$, ktherwise jn view of rhe positive definiuenqws of $A$ and tge asstm[tion that $C$ has full row rank we concllde fhat $x$ and $z$ are both zwro vectors which is ln contraqiction with the fact that $(x;y;z)$ is an eigenvector. Xrom Xqr. aue we zqn deduce that $$x=-A^{-1} B^{T} y,\quad y^{*} C^{T}= 0.$$ Multiplying boeg xices of Eq. on tme left by $y^{*}$ and sibdtojuting the prezeding eqhalities, we derive $$\lambda =1 - \frqc{y^{*} B A^{-1} B^{U} y}{y^{*} X y}.$$ This shows that the eigwnvalues of ${\bal T}$ are all real. By Cheorem \[thoru\], it ix immrdiate to conclude that $\lamgda_{\max}(S^{-1}BA^{-1}B^T)=\gho(S^{-1}BA^{-1}B^T)<2$ jw and only if $2S \rucb B
.7.3] Let $A$ and $B$ be two real matrices such $A$ is positive semidefinite. $A \succeq B$ and only if \le 1,$ and $A\succ B$ if only if $\rho(A^{-1}B) < 1$.\ \[th1\] Let $A\succ 0$, $S\succ 0$ and $B$ $C$ be full row rank matrices. If $2S \succ B A^{-1} B^{T}$ then iterative converges the solution of for any initial guess. Let $\lambda $ be an arbitrary eigenvalue of $\mathcal{G}=\mathcal{P}^{-1} \mathcal{R}$ the corresponding eigenvector $w=\left(x; y; z\right)$. Consequently, we $\mathcal{R} w=\lambda \mathcal{P}w$ which equivalent to say that (A y) \[eq55\]\ ( y C\^[T]{} = B x+ y, \[eq56\]\ C y =0.\[eq57\] Without loss of generality, we may assume that $\lambda \neq 0$. Obviously \neq 0$, view of positive of and the assumption has full row rank we conclude $z$ are both zero vectors which is in with the that $(x;y;z)$ is an eigenvector. From and we can deduce that $$x=-A^{-1} B^{T} y,\quad C^{T}= 0.$$ Multiplying both sides of Eq. on the left by $y^{*}$ and substituting the we derive $$\lambda =1 \frac{y^{*} B A^{-1} y}{y^{*} y}.$$ shows the eigenvalues ${\cal G}$ are all real. By Theorem \[thorn\], it is immediate conclude that $\lambda_{\max}(S^{-1}BA^{-1}B^T)=\rho(S^{-1}BA^{-1}B^T)<2$ if and only if $2S \succ B
.7.3] Let $A$ and $B$ be two $n\times n$ real sYmmetric maTriceS suCh tHaT $A$ is PosiTive definite anD $b$ is pOsitive semidefinite. TheN $A \sucCeQ  b$ if aND oNly if $\Rho(A^{-1}B) \le 1,$ ANd $a\SUcc b$ iF aNd oNlY If $\Rho(A^{-1}B) < 1$.\

\[Th1\] LEt $A\succ 0$, $s\succ 0$ and $B$ aNd $C$ Be Full row rank mATrIces. If $2S \sucC B A^{-1} b^{T}$ then the iteRatIve metHoD coNVergeS to The unIque soLUtion oF for any inItIAl guesS.

let $\lambDA $ Be An arBitrary eigenvalue OF $\mAThcal{G}=\mathcal{P}^{-1} \MathcaL{R}$ WItH THe cOrrEsponding eIgEnvecTOr $w=\left(X; Y; z\RIGHt)$. CONsequently, we hAve $\mathcal{R} W=\LamBda \matHcAl{P}W$ Which iS equiVaLEnt To say that

(A x+b\^[T]{} y) =0, \[eQ55\]\
( S y - C\^[T]{} z) = B x+ S Y, \[eq56\]\
C y =0.\[eQ57\]

without LOss of geNeraliTy, wE maY assUMe ThAt $\lAmBDa \nEQ 0$. OBviOUslY $y \neq 0$, othErWiSe in vIew oF THE PosiTivE defIniteNess of $A$ and the AssUmptIOn tHat $C$ hAs fulL row RaNk we cOncludE that $X$ aNd $z$ are both zero vEctoRs which is In cOnTraDiCtion WIth the FacT thAt $(x;y;z)$ is An eigenVEctOr. fROM EQs. and we can deduce thAt $$X=-a^{-1} b^{T} Y,\quad y^{*} C^{T}= 0.$$ multipLYiNg BOth sides Of eq. oN the LEFt by $y^{*}$ And sUBsTituting The preCEdInG equaliTiEs, we deRiVe $$\lAmbDa =1 - \fraC{Y^{*} B A^{-1} B^{t} y}{y^{*} S y}.$$ THis shows That tHE eigenvalues of ${\CAl G}$ are all real. bY THEOrEM \[thoRn\], iT is immediatE to cONcluDe thAT $\lAmbDA_{\max}(S^{-1}bA^{-1}B^T)=\rHo(s^{-1}bA^{-1}b^t)<2$ if and only if $2S \succ B
.7.3] Let $A$ and $B$ be t wo $n\time s n$rea l s ym metr ic m atrices such t h at $ A$ is positive definit e and  $ B $ is po sitiv e semid e fi n i te.  T he n $ A\ su cceq B$  if and  only if $ \rh o( A^{-1}B) \le 1, $ and $A\s ucc  B$ if and o nly  if $\ rh o(A ^ {-1}B ) <  1$.\ 

\[th 1 \] Let  $A\succ0$ ,  $S\su c c 0$ an d $B $ an d $C$ be full row ra n k matrices. If  $2S \ su c cB A^{ -1}  B^{T}$ th en  thei terativ e  m e t h odc onverges to t he unique s o lut ion of  f ora ny ini tialgu e ss. 

Let $\lam bda$ be an a rbitra r y eigen v alue of  $\mat hca l{G }=\m a th ca l{P }^ { -1} \m ath c al{ R}$ with  t he  corr espo n d i n g ei gen vect or $w =\left(x; y;z\r ight ) $.Conse quent ly,we  have  $\mat hcal{ R}  w=\lambda \mat hcal {P}w$ whi chis  eq ui valen t  to sa y t hat 

(A x+ B\^[T]{ }  y)  = 0 , \[ eq55\]\
( S y - C\ ^[ T ] {}  z) = Bx+ S y ,  \ [e q 56\]\
Cy=0. \[eq 5 7 \]

W itho u tloss ofgenera l it y,  we may  a ssumeth at$\l ambda \neq  0$. O bviously  $y \ n eq 0$, otherwi s e in view oft he p os i tive  de finitenessof $ A $ an d th e  a ssu m ption  that  $ C $h as full row rank we  c onclud e tha t $x$ and $z$  are bothz e r o vector s wh i ch is in contradi ction  with thef act that  $(x; y;z)$ is  an eigen v e ctor. Fr omEqs . a ndw e  c an deduce tha t $$x= -A ^{-1} B ^{T } y,\qu ady^{ *}C^{ T} = 0.$$ Mu ltiplyin gbo th  s ide s ofE q. on th elef tby$y^{* } $ andsubst itut in gt heprecedi n ge q uali ti es , we  de ri ve $$ \lam b da=1 - \f rac{y^{*}  BA ^{-1 }B^ {T} y}{ y^{*} S y}.$$  T his showsth atthe ei g e nvaluesof ${\cal G}$ are all r e al. ByThe orem\[th orn\], it  is  immed iat e  to co nclude  that  $ \la m b da_{\ m a x} (S^ {- 1}BA^{-1}B ^ T )=\ rho(S ^{ -1}B A^{-1}B ^T)<2$ if and only if$2S \succ B
.7.3] Let_$A$ and_$B$ be two $n\times_n$ real_symmetric_matrices such_that_$A$ is positive_definite and $B$_is positive semidefinite. Then_$A \succeq _B$_if and only if $\rho(A^{-1}B) \le 1,$ and $A\succ B$ if and only if_$\rho(A^{-1}B)_< 1$.\

\[th1\]_Let_$A\succ_0$, $S\succ 0$ and $B$_and $C$ be full row_rank matrices._If $2S \succ B A^{-1} B^{T}$ then the_iterative_method converges to_the unique solution of for any initial guess.

Let $\lambda_$ be an arbitrary eigenvalue of_$\mathcal{G}=\mathcal{P}^{-1} \mathcal{R}$ with_the_corresponding_eigenvector $w=\left(x; y; z\right)$._Consequently, we have $\mathcal{R} w=\lambda \mathcal{P}w$_which is equivalent to say that

(A_x+B\^[T]{} y) =0, \[eq55\]\
( S y -_C\^[T]{} z) = B x+ S_y, \[eq56\]\
C y =0.\[eq57\]

Without loss_of generality,_we may assume that $\lambda_\neq 0$. Obviously_$y \neq_0$, otherwise in_view of the positive definiteness of_$A$ and the_assumption that $C$ has full row_rank_we conclude that_$x$_and_$z$ are_both zero vectors_which_is in_contradiction_with the fact that $(x;y;z)$ is_an_eigenvector. From Eqs. and we can deduce_that $$x=-A^{-1} B^{T} y,\quad_y^{*}_C^{T}= 0.$$ Multiplying both_sides of Eq. on the_left by $y^{*}$ and substituting the_preceding equalities,_we derive_$$\lambda =1 - \frac{y^{*} B A^{-1} B^{T} y}{y^{*} S y}.$$ This_shows that the eigenvalues of ${\cal_G}$ are all real._By Theorem_\[thorn\],_it is immediate_to_conclude that_$\lambda_{\max}(S^{-1}BA^{-1}B^T)=\rho(S^{-1}BA^{-1}B^T)<2$ if and only if $2S \succ_B