$. Since, as we saw in Proposition \[det\], the determinant is greater than zero in $ML(n)$, then, in fact, $ML(n)\cap O(n,{\ensuremath{\mathbb R}})=ML(n)\cap SO(n,{\ensuremath{\mathbb R}})$, where $SO(n)$ is the group of the special orthogonal matrices, that is, the matrices $A\in O(n)$ such that $\det A=1$. Thus, $ML(n)\cap O(n,{\ensuremath{\mathbb R}})=ML(n)\cap SO(n,{\ensuremath{\mathbb R}})$ can be viewed as the subset of rotations which consists of the rotations by an acute or right angles. The next result demonstrates that the resolvent average of such rotations is again such a rotation. This, of course, fails when taking the arithmetic average.

\[rotations\] ***(being a rotation by an acute or right angle is recessive)*** Suppose that for each $i\in I$, $A_i\in ML(n)\cap O(n,{\ensuremath{\mathbb R}})=ML(n)\cap SO(n,{\ensuremath{\mathbb R}})$. Then ${\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}\in ML(n)\cap O(n,{\ensuremath{\mathbb R}})=ML(n)\cap SO(n,{\ensuremath{\mathbb R}})$.

By employing the inversion formula  (which, in this case, was seen to be a classical inversion), we obtain $$\big({\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}\big)^{-1} = {\ensuremath{\mathcal{R}({\bf A}^{-1},{\boldsymbol \lambda})}}=\mathcal{R}({\bf A}^{\intercal},\lambda)
={\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}^{\intercal}.$$ That is, ${\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}$ is orthogonal. The fact that $\det{\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}=1$ follows from the monotonicity of ${\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}$ (see Proposition \[det\]).

When $n=2$, we consider the case where $A_1={\ensuremath{\operatorname{Id}}}$, $A_2$ is the counter clockwise rotation by $\frac{\pi}{2}$, $0<\lambda<1$, $\lambda_1=\lambda
$. Since, as we saw in Proposition   \[det\ ], the determinant is greater than zero in $ ML(n)$, then, in fact, $ ML(n)\cap O(n,{\ensuremath{\mathbb R}})=ML(n)\cap SO(n,{\ensuremath{\mathbb R}})$, where $ SO(n)$ is the group of the special extraneous matrix, that is, the matrices $ A\in O(n)$ such that $ \det A=1$. Thus, $ ML(n)\cap O(n,{\ensuremath{\mathbb R}})=ML(n)\cap SO(n,{\ensuremath{\mathbb R}})$ can be viewed as the subset of rotation which consist of the rotations by an acute or correct slant. The next result demonstrates that the resolvent median of such rotations is again such a rotation. This, of course, fail when taking the arithmetic average. 

 \[rotations\ ] * * * (being a rotation by an acute or right angle is recessive) * * * think that for each $ i\in I$, $ A_i\in ML(n)\cap O(n,{\ensuremath{\mathbb R}})=ML(n)\cap SO(n,{\ensuremath{\mathbb R}})$. Then $ { \ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}\in ML(n)\cap O(n,{\ensuremath{\mathbb R}})=ML(n)\cap SO(n,{\ensuremath{\mathbb R}})$. 

 By employing the inversion formula    (which, in this character, was seen to be a classical inversion), we obtain $ $ \big({\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}\big)^{-1 } = { \ensuremath{\mathcal{R}({\bf A}^{-1},{\boldsymbol \lambda})}}=\mathcal{R}({\bf A}^{\intercal},\lambda) 
 = { \ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}^{\intercal}.$$ That is, $ { \ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}$ is extraneous. The fact that $ \det{\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}=1 $ follows from the monotonicity of $ { \ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}$ (learn Proposition   \[det\ ]). 

 When $ n=2 $, we consider the case where $ A_1={\ensuremath{\operatorname{Id}}}$, $ A_2 $ is the counter clockwise rotation by $ \frac{\pi}{2}$, $ 0<\lambda<1 $, $ \lambda_1=\lambda
$. Sijce, as we saw in Proposiuion \[det\], the determinant ms greafer than zero in $ML(n)$, then, in fact, $ML(i)\cap O(n,{\enwuremath{\mathbb R}})=ML(n)\cap SO(n,{\ensurvmath{\mathvb R}})$, qhere $SO(n)$ ma the gvjup kn the wpecial orthogpnal matriwes, that is, tha oacrices $A\in O(n)$ such that $\det A=1$. Thus, $MJ(n)\cap O(m,{\ejsuremath{\mathbf R}})=MK(g)\cap SO(n,{\ensuremath{\mathbb R}})$ can be viewsd as tie subset of royations which consists of hhe gotations by an ackte or righj andoes. The next result demonstrates tgat the resolvent average of suzh rocations is qgqin vuch a rotavion. Tris, of coursc, fails when tsking the aritmmetir avwrage.

\[rotations\] ***(being e rotation by an acuje or righd cngle is recessive)*** Suppise tvat xor dqch $i\ih M$, $A_j\in ML(j)\ca' O(n,{\ensuremzth{\mathbb R}})=NL(n)\cap SO(n,{\ensurematn{\mwnnbb R}})$. Then ${\ehsuremwtr{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}\in ML(n)\cap O(n,{\snsuremath{\mathbb R}})=ML(n)\cap SO(n,{\ensuremath{\mathbb R}})$.

By empljying the inversion formula  (which, in this case, wav seei go yc x cpassical inversion), we obtain $$\big({\ensuremath{\matrdak{R}({\nf A},{\boldsymbol \lcmbda})}}\big)^{-1} = {\ensurekahh{\kwthcal{R}({\bf A}^{-1},{\boudsymbol \mambda})}}=\mathcal{R}({\bf A}^{\lntercaj},\lambea)
={\ensuremwth{\msthcal{R}({\bf A},{\boldsymbol \lambdq})}}^{\intercal}.$$ Thct us, ${\ensuremath{\mathccl{R}({\bf A},{\boldsvmbol \kambds})}}$ is orthogonal. The facc that $\det{\ensuremwth{\mathcam{F}({\bf A},{\boldsymbol \uamnda})}}=1$ follows from the monotonisity of ${\eisurekath{\matfcal{T}({\bf A},{\bojdsymbol \lwmbda})}}$ (see Proposition \[det\]).

Ahen $u=2$, we wonsider tje case where $A_1={\ensuremath{\operatorname{Id}}}$, $A_2$ is jhe colnter cloekwise rotation by $\srac{\pi}{2}$, $0<\lambda<1$, $\kambda_1=\lcmbda
$. Since, as we saw in Proposition determinant greater than in $ML(n)$, then, SO(n,{\ensuremath{\mathbb where $SO(n)$ is group of the orthogonal matrices, that is, the matrices O(n)$ such that $\det A=1$. Thus, $ML(n)\cap O(n,{\ensuremath{\mathbb R}})=ML(n)\cap SO(n,{\ensuremath{\mathbb R}})$ can be as the subset of rotations which consists of the rotations by an acute right The result that the resolvent average of such rotations is again such a rotation. This, of course, fails taking the arithmetic average. \[rotations\] ***(being a rotation an acute or right is recessive)*** Suppose that for $i\in $A_i\in ML(n)\cap R}})=ML(n)\cap R}})$. ${\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}\in O(n,{\ensuremath{\mathbb R}})=ML(n)\cap SO(n,{\ensuremath{\mathbb R}})$. By employing the inversion formula (which, in this case, was seen to be classical inversion), $$\big({\ensuremath{\mathcal{R}({\bf A},{\boldsymbol = A}^{-1},{\boldsymbol A}^{\intercal},\lambda) ={\ensuremath{\mathcal{R}({\bf A},{\boldsymbol is, ${\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}$ is orthogonal. $\det{\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}=1$ follows from the monotonicity of A},{\boldsymbol \lambda})}}$ Proposition \[det\]). When $n=2$, we consider case where $A_1={\ensuremath{\operatorname{Id}}}$, $A_2$ is the counter clockwise by $\frac{\pi}{2}$, $0<\lambda<1$, $\lambda_1=\lambda
$. Since, as we saw in Proposition \[Det\], the deteRminaNt iS grEaTer tHan zEro in $ML(n)$, then, in FAct, $Ml(n)\cap O(n,{\ensuremath{\mathbB R}})=ML(n)\CaP sO(n,{\eNSuRematH{\mathbb r}})$, WhERE $SO(N)$ iS tHe gRoUP oF the sPecIal orthOgonal matrIceS, tHat is, the matrICeS $A\in O(n)$ such ThaT $\det A=1$. Thus, $ML(n)\Cap o(n,{\ensuReMatH{\MathbB R}})=Ml(n)\cap sO(n,{\ensURemath{\Mathbb R}})$ caN bE Viewed AS the subSET oF rotAtions which consisTS oF The rotations by An acutE oR RiGHT anGleS. The next reSuLt demONstrateS ThAT THe rESolvent averagE of such rotaTIonS is agaIn SucH A rotatIon. ThIs, OF coUrse, fails whEn taKing the arIthmetIC averagE.

\[RotatioNs\] ***(beinG a rOtaTion BY aN aCutE oR RigHT aNglE Is rEcessive)*** suPpOse thAt foR EACH $i\in i$, $A_i\In ML(N)\cap O(N,{\ensuremath{\maThbB R}})=ML(N)\Cap sO(n,{\enSuremAth{\mAtHbb R}})$. THen ${\ensUremaTh{\Mathcal{R}({\bf A},{\boldSymbOl \lambda})}}\iN ML(N)\cAp O(N,{\eNsureMAth{\matHbb r}})=ML(N)\cap SO(n,{\EnsuremATh{\mAtHBB r}})$.

BY employing the inverSiON FoRmula  (whiCh, in thIS cAsE, Was seen tO bE a cLassICAl invErsiON), wE obtain $$\bIg({\ensuREmAtH{\mathcaL{R}({\Bf A},{\bolDsYmbOl \lAmbda})}}\BIg)^{-1} = {\enSuremaTh{\mathcaL{R}({\bf A}^{-1},{\BOldsymbol \lambdA})}}=\Mathcal{R}({\bf A}^{\inTErCAL},\lAMbda)
={\EnsUremath{\mathCal{R}({\BF A},{\boLdsyMBoL \laMBda})}}^{\inTercaL}.$$ THAt IS, ${\ensuremath{\mathcal{R}({\Bf a},{\boldsYmbol \Lambda})}}$ is orthoGonal. The faCT THat $\det{\enSureMAtH{\Mathcal{R}({\bf A},{\bolDsymbOl \lambda})}}=1$ foLLows from The moNotoniciTy of ${\ensurEMAth{\mathcAl{R}({\Bf A},{\BolDsyMBOl \Lambda})}}$ (see PropOSItioN \[dEt\]).

When $n=2$, We cOnsider The CasE whEre $a_1={\eNsuremath{\OperatorNaMe{id}}}$, $a_2$ iS thE counTEr clockwIsE roTaTioN by $\frAC{\pi}{2}$, $0<\lamBda<1$, $\laMbda_1=\LaMbDA
$. Since, as we saw in Pro position \ [det\ ],the  d eter mina nt is greatert hanzero in $ML(n)$, then,  in f ac t , $M L (n )\cap  O(n,{\ e ns u r ema th {\ mat hb b  R }})=M L(n )\cap S O(n,{\ensu rem at h{\mathbb R} } )$ , where $S O(n )$ is the gr oup  of th espe c ial o rth ogona l matr i ces, t hat is, t he matric e s $A\in O (n )$ s uch that $\det A= 1 $. Thus, $ML(n)\c ap O(n ,{ \ en s u rem ath {\mathbb R }} )=ML( n )\cap S O (n , { \ ens u remath{\mathb b R}})$ can beviewed  a s t h e subs et of  r o tat ions whichcons ists of t he rot a tions b y  an acu te orrig htangl e s.  T hene x t r e su ltd emo nstrates  t ha t the  res o l v e nt a ver ageof su ch rotationsisagai n  su ch arotat ion.  T his,of cou rse,fa ils when taking  the  arithmet icav era ge .

\[ r otatio ns\ ] * **(bein g a rot a tio nb y an  acute or right an gl e is  recessi ve)*** Su pp o se thatfo r e ach$ i \in I $, $ A _i \in ML(n )\capO (n ,{ \ensure ma th{\ma th bbR}} )=ML( n )\ca p SO(n ,{\ensur emath { \mathbb R}})$. Then ${\ensur e ma t h {\ m athc al{ R}({\bf A}, {\bo l dsym bol\ la mbd a })}}\ in ML (n ) \c a p O(n,{\ensuremath{ \m athbbR}})= ML(n)\cap SO( n,{\ensure m a t h{\mathb b R} } )$ . 

By employing  theinversionf ormula (whic h, in th is case,w a s seen t o b e a  cl ass i c al  inversion),w e  obt ai n $$\bi g({ \ensure mat h{\ mat hca l{ R}({\bf A },{\bold sy mb ol  \ lam bda}) } }\big)^{ -1 } =  { \en surem a th{\ma thcal {R}( {\ bf A}^ {-1},{\ b ol d s ymbo l\l ambd a}) }} =\mat hcal { R}( {\bf A} ^{\interc al} , \lam bd a) 
={\ens uremath{\math ca l{R}({\bfA} ,{\ boldsy m b ol \lamb da})}}^{\intercal}.$$ T h at is,${\ ensur emat h{\mathca l{R }({\bf  A} , {\bold symbol  \lam bd a}) } } $ iso r th ogo na l. The fac t tha t $\d et {\en suremat h{\mathcal{R}({\bf A}, {\boldsymbol\la mbda } ) }} =1$ fo l low sf rom t he monotonicity  of ${\ens ur e ma th{\mathca l {R} ({ \bf A}, {\bolds ymbol \lambda })}}$ (se e Proposi ti on \ [ d et\ ]).

When$n=2$, w e conside r  thec as e whe re$A_1={ \e nsu remat h{\ope r ato rname {Id}}} $,  $A_2$  is t he  counter  clockwise rotation by$\frac {\pi} {2} $, $0<\la mbd a <1$ , $\lambd a_1= \lambda
$. Since,_as we_saw in Proposition \[det\], the_determinant is_greater_than zero_in_$ML(n)$, then, in_fact, $ML(n)\cap O(n,{\ensuremath{\mathbb_R}})=ML(n)\cap SO(n,{\ensuremath{\mathbb R}})$, where_$SO(n)$ is the_group_of the special orthogonal matrices, that is, the matrices $A\in O(n)$ such that $\det_A=1$._Thus, $ML(n)\cap_O(n,{\ensuremath{\mathbb_R}})=ML(n)\cap_SO(n,{\ensuremath{\mathbb R}})$ can be viewed_as the subset of rotations_which consists_of the rotations by an acute or right_angles._The next result_demonstrates that the resolvent average of such rotations is_again such a rotation. This, of_course, fails when_taking_the_arithmetic average.

\[rotations\] ***(being a_rotation by an acute or right_angle is recessive)*** Suppose that for_each $i\in I$, $A_i\in ML(n)\cap O(n,{\ensuremath{\mathbb R}})=ML(n)\cap_SO(n,{\ensuremath{\mathbb R}})$. Then ${\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}\in_ML(n)\cap O(n,{\ensuremath{\mathbb R}})=ML(n)\cap SO(n,{\ensuremath{\mathbb R}})$.

By_employing the_inversion formula  (which, in this_case, was seen_to be_a classical inversion),_we obtain $$\big({\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}\big)^{-1} =_{\ensuremath{\mathcal{R}({\bf A}^{-1},{\boldsymbol \lambda})}}=\mathcal{R}({\bf_A}^{\intercal},\lambda)
={\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}^{\intercal}.$$ That is, ${\ensuremath{\mathcal{R}({\bf_A},{\boldsymbol_\lambda})}}$ is orthogonal._The_fact_that $\det{\ensuremath{\mathcal{R}({\bf_A},{\boldsymbol \lambda})}}=1$ follows_from_the monotonicity_of_${\ensuremath{\mathcal{R}({\bf A},{\boldsymbol \lambda})}}$ (see Proposition \[det\]).

When $n=2$,_we_consider the case where $A_1={\ensuremath{\operatorname{Id}}}$, $A_2$ is_the counter clockwise rotation_by_$\frac{\pi}{2}$, $0<\lambda<1$, $\lambda_1=\lambda