4.64}$$ $(iii)$ Suppose that ${\text{\rm{dom}}}(B)\cap{\text{\rm{dom}}}(B^*)\supseteq{\text{\rm{dom}}}(A)$ and that $B$ $($resp., $B^*$$)$ is $A^{1-\varepsilon}$-compact for some $\varepsilon \in (0,1)$. In addition, assume that ${\text{\rm{dom}}}\big(A^{1/2}\big) = {\text{\rm{dom}}}\big((A^*)^{1/2}\big)$. Then $B$ $($resp., $B^*$$)$ is $A_{{\mathfrak{R}}}$-form compact. Moreover, equation and relations hold as well.

$(i)$ Since by hypothesis $B$ and $B^*$ are $A_{{\mathfrak{R}}}$-bounded and $B$ (resp., $B^*$) is $A_{{\mathfrak{R}}}$-compact, Theorem \[t3.5\] implies that $$\begin{aligned}
\begin{split}
& |B|^{1/2}(A_{{\mathfrak{R}}} + I_{{{\mathcal H}}})^{-1/2} =
\overline{(A_{{\mathfrak{R}}}+I_{{{\mathcal H}}})^{-1/2}|B|^{1/2}} \in {{\mathcal B}}_\infty({{\mathcal H}})    {\label}{4.70} \\
& \big(\text{resp., } \, |B^*|^{1/2}(A_{{\mathfrak{R}}} + I_{{{\mathcal H}}})^{-1/2} =
\overline{(A_{{\mathfrak{R}}}+I_{{{\mathcal H}}})^{-1/2}|B^*|^{1/2}} \in {{\mathcal B}}_\infty({{\mathcal H}})\big).
\end{split}\end{aligned}$$ At this point one can follow the proof of Theorem \[t4.11\]$(i)$, noting that each operator in and contains at least one compact factor from.

$(ii)$ Again, one can follow the proof of Theorem \[t4.11\]$(ii)$, noting that the right-hand side of (resp., ) contains a compact factor from. Similarly, the right-hand side of and the analogous equations with $A$ replaced by $A^*$ (resp., $B$ replaced by $B^*$) contains at least one compact factor from. Relations and are clear from Theorem \[t3.5\] since $A_{{\mathfrak{R
4.64}$$ $ (iii)$ Suppose that $ { \text{\rm{dom}}}(B)\cap{\text{\rm{dom}}}(B^*)\supseteq{\text{\rm{dom}}}(A)$ and that $ B$ $ ($ resp. , $ B^*$$)$ is $ A^{1-\varepsilon}$-compact for some $ \varepsilon \in (0,1)$. In addition, assume that $ { \text{\rm{dom}}}\big(A^{1/2}\big) = { \text{\rm{dom}}}\big((A^*)^{1/2}\big)$. Then $ B$ $ ($ resp. , $ B^*$$)$ is $ A_{{\mathfrak{R}}}$-form compact. furthermore, equality and relation back hold as well. 

 $ (i)$ Since by guess $ B$ and $ B^*$ are $ A_{{\mathfrak{R}}}$-bounded and $ B$ (resp. , $ B^*$) is $ A_{{\mathfrak{R}}}$-compact, Theorem \[t3.5\ ] implies that $ $ \begin{aligned } 
 \begin{split } 
 & |B|^{1/2}(A_{{\mathfrak{R } } } + I_{{{\mathcal H}}})^{-1/2 } = 
 \overline{(A_{{\mathfrak{R}}}+I_{{{\mathcal H}}})^{-1/2}|B|^{1/2 } } \in { { \mathcal B}}_\infty({{\mathcal H } })     { \label}{4.70 } \\ 
 & \big(\text{resp. , } \, |B^*|^{1/2}(A_{{\mathfrak{R } } } + I_{{{\mathcal H}}})^{-1/2 } = 
 \overline{(A_{{\mathfrak{R}}}+I_{{{\mathcal H}}})^{-1/2}|B^*|^{1/2 } } \in { { \mathcal B}}_\infty({{\mathcal H}})\big). 
 \end{split}\end{aligned}$$ At this point one can trace the proof of Theorem \[t4.11\]$(i)$, noting that each hustler in and control at least one compact gene from. 

 $ (ii)$ Again, one can follow the proof of Theorem \[t4.11\]$(ii)$, notice that the correct - hand slope of (resp. ,) contains a compact component from. Similarly, the right - hand side of and the analogous equation with $ A$ replaced by $ A^*$ (resp. , $ B$ replaced by $ B^*$) contains at least one compendious factor from. relation and are clear from Theorem \[t3.5\ ] since $ A_{{\mathfrak{R
4.64}$$ $(iil)$ Suppose that ${\text{\rm{dom}}}(N)\cap{\text{\rm{dom}}}(B^*)\sukswteq{\teet{\rm{dom}}}(Z)$ and thxt $B$ $($resp., $B^*$$)$ is $A^{1-\varepsilon}$-colpqct fir some $\varepsilon \in (0,1)$. In additpon, assumw thet ${\text{\rm{dom}}}\big(A^{1/2}\ujg) = {\texb{\xm{dom}}}\glg((A^*)^{1/2}\biy)$. Vhen $B$ $($resp., $B^*$$)$ ix $A_{{\mathfran{R}}}$-form compact. Murzover, equation and relations hold as well.

$(i)$ Xijce by hypothefis $N$ and $B^*$ are $A_{{\mathfrak{R}}}$-bounded and $B$ (resl., $B^*$) is $E_{{\mathfrak{R}}}$-compavt, Theorem \[t3.5\] implies that $$\hegij{aligned}
\begin{split}
& |B|^{1/2}(A_{{\mathfrak{T}}} + I_{{{\iqthcal H}}})^{-1/2} =
\ovefline{(A_{{\mathfrak{R}}}+I_{{{\mathcam H}}})^{-1/2}|B|^{1/2}} \in {{\mathcal B}}_\infty({{\mathcal H}})    {\lcbel}{4.70} \\
& \big(\tezt{eeso., } \, |B^*|^{1/2}(A_{{\mathfrek{R}}} + I_{{{\iathcal H}}})^{-1/2} =
\ovcgline{(A_{{\mdthfrak{T}}}+I_{{{\mathcal H}}})^{-1/2}|B^*|^{1/2}} \ik {{\matical B}}_\infty({{\mathcal H}})\big).
\env{split}\end{aligned}$$ At jhis point oue can follow the proif of Tveoram \[t4.11\]$(k)$, noginf vhaf each opxrator in ahd contains at least one compavt dactor from.

$(ii)$ Again, oge can follow the proof of Theorem \[t4.11\]$(ii)$, totjng that the right-hand wide of (resp., ) containd a compast factor from. Similarly, the right-hand side of ang the xnaoonous wqkations with $A$ replaced by $A^*$ (resp., $B$ replaced fg $N^*$) bontains at least one compacy vavjor from. Relatkons aus zre clear from Thelrem \[t3.5\] fince $A_{{\mathfrah{R
4.64}$$ $(iii)$ Suppose that ${\text{\rm{dom}}}(B)\cap{\text{\rm{dom}}}(B^*)\supseteq{\text{\rm{dom}}}(A)$ and that $B^*$$)$ $A^{1-\varepsilon}$-compact for $\varepsilon \in (0,1)$. = Then $B$ $($resp., is $A_{{\mathfrak{R}}}$-form compact. equation and relations hold as well. Since by hypothesis $B$ and $B^*$ are $A_{{\mathfrak{R}}}$-bounded and $B$ (resp., $B^*$) is Theorem \[t3.5\] implies that $$\begin{aligned} \begin{split} & |B|^{1/2}(A_{{\mathfrak{R}}} + I_{{{\mathcal H}}})^{-1/2} = \overline{(A_{{\mathfrak{R}}}+I_{{{\mathcal \in B}}_\infty({{\mathcal {\label}{4.70} & \big(\text{resp., } \, |B^*|^{1/2}(A_{{\mathfrak{R}}} + I_{{{\mathcal H}}})^{-1/2} = \overline{(A_{{\mathfrak{R}}}+I_{{{\mathcal H}}})^{-1/2}|B^*|^{1/2}} \in {{\mathcal B}}_\infty({{\mathcal H}})\big). \end{split}\end{aligned}$$ this point one can follow the proof of \[t4.11\]$(i)$, noting that each in and contains at least compact from. $(ii)$ one follow proof of Theorem noting that the right-hand side of (resp., ) contains a compact factor from. Similarly, the right-hand side and the with $A$ by (resp., replaced by $B^*$) least one compact factor from. Relations from Theorem \[t3.5\] since $A_{{\mathfrak{R
4.64}$$ $(iii)$ Suppose that ${\text{\rm{dom}}}(B)\cAp{\text{\rm{doM}}}(B^*)\supSetEq{\tExT{\rm{dOm}}}(A)$ aNd that $B$ $($resp., $B^*$$)$ is $a^{1-\VarePsilon}$-compact for some $\vaRepsiLoN \In (0,1)$. In ADdItion, Assume tHAt ${\TEXt{\rM{dOm}}}\Big(a^{1/2}\bIG) = {\tExt{\rm{Dom}}}\Big((A^*)^{1/2}\big)$. then $B$ $($resp., $B^*$$)$ Is $A_{{\MaThfrak{R}}}$-form cOMpAct. MoreoveR, eqUation and relAtiOns holD aS weLL.

$(i)$ SinCe bY hypoThesis $b$ And $B^*$ arE $A_{{\mathfraK{R}}}$-BOunded ANd $B$ (resp., $b^*$) IS $A_{{\MathFrak{R}}}$-compact, TheorEM \[t3.5\] IMplies that $$\begiN{alignEd}
\BEgIN{SplIt}
& |B|^{1/2}(a_{{\mathfrak{R}}} + i_{{{\mAthcaL h}}})^{-1/2} =
\overliNE{(A_{{\MATHfrAK{R}}}+I_{{{\mathcal H}}})^{-1/2}|B|^{1/2}} \iN {{\mathcal B}}_\inFTy({{\mAthcal h}})    {\lAbeL}{4.70} \\
& \Big(\texT{resp., } \, |b^*|^{1/2}(A_{{\MAthFrak{R}}} + I_{{{\mathcAl H}}})^{-1/2} =
\oVerline{(A_{{\mAthfraK{r}}}+I_{{{\mathcAL H}}})^{-1/2}|B^*|^{1/2}} \in {{\maThcal B}}_\InfTy({{\mAthcAL H}})\BiG).
\enD{sPLit}\ENd{AliGNed}$$ at this poInT oNe can FollOW THE proOf oF TheOrem \[t4.11\]$(I)$, noting that eaCh oPeraTOr iN and cOntaiNs at LeAst onE compaCt facToR from.

$(ii)$ Again, one Can fOllow the pRooF oF ThEoRem \[t4.11\]$(iI)$, Noting ThaT thE right-hAnd side OF (reSp., ) CONTaIns a compact factor fRoM. sImIlarly, thE right-HAnD sIDe of and tHe AnaLogoUS EquatIons WItH $A$ replacEd by $A^*$ (rESp., $b$ rEplaced By $b^*$) contaInS at LeaSt one COmpaCt factOr from. ReLatioNS and are clear frOM Theorem \[t3.5\] sincE $a_{{\mATHfRAk{R
4.64}$$ $(iii)$ Suppose th at ${\text {\rm{ dom }}} (B )\ca p{\t ext{\rm{dom}}} ( B^*) \supseteq{\text{\rm{do m}}}( A) $  and th at $B $ $($re s p. , $B^ *$ $) $ i s$ A^ {1-\v are psilon} $-compactfor  s ome $\vareps i lo n \in (0,1 )$.  In addition , a ssumeth at$ {\tex t{\ rm{do m}}}\b i g(A^{1 /2}\big)={ \text{ \ rm{dom} } } \b ig(( A^*)^{1/2}\big)$. Th e n $B$ $($resp. , $B^* $$ ) $i s  $A _{{ \mathfrak{ R} }}$-f o rm comp a ct . M ore o ver, equation  and relati o nshold a swel l .

$(i )$ Si nc e  by  hypothesis  $B$  and $B^* $ are$ A_{{\ma t hfrak{R }}}$-b oun ded  and $B $(re sp . , $ B ^* $)i s $ A_{{\mat hf ra k{R}} }$-c o m p a ct,The orem  \[t3 .5\] impliestha t $$ \ beg in{al igned }
\b eg in{sp lit}
&  |B|^ {1 /2}(A_{{\mathfr ak{R }}} + I_{ {{\ ma thc al  H}}} ) ^{-1/2 } = 
\o verline {(A_{{\ m ath fr a k { R} }}+I_{{{\mathcal H }} } ) ^{ -1/2}|B| ^{1/2} }  \ in {{\mathc al  B} }_\i n f ty({{ \mat h ca l H}})   {\la b el }{ 4.70} \ \& \big (\ tex t{r esp., } \,  |B^*| ^{1/2}(A _{{\m a thfrak{R}}} +I _{{{\mathcalH }} } ) ^{ - 1/2}  =\overline{( A_{{ \ math frak { R} }}+ I _{{{\ mathc al H} } })^{-1/2}|B^*|^{1/2 }}  \in { {\mat hcal B}}_\inf ty({{\math c a l  H}})\bi g).\ en d {split}\end{al igned }$$ At thi s  point o ne ca n follow  the proo f of Theor em\[t 4.1 1\] $ ( i) $, noting tha t each  o perator  in  and co nta ins  at  le as t one com pact fac to rfr om .
$(ii) $  Again,on e c an  fo llowt he pro of of  The or em \[t 4.11\]$ ( ii ) $ , no ti ng  tha t t he  righ t-ha n d s ide of(resp., )  co n tain sacompact  factor from.  S imilarly,th e r ight-h a n d side o f and the analogous equ a tions w ith  $A$repl aced by $ A^* $ (res p., $B$ re placed  by $ B^ *$) c ontai n s  a t l ea st one com p a ctfacto rfrom . Relat ions and are clear fro m Theorem \[t 3.5 \] s i n ce  $A _ {{ \ mat hf r ak{ R 
4.64}$$ $(iii)$_Suppose that_${\text{\rm{dom}}}(B)\cap{\text{\rm{dom}}}(B^*)\supseteq{\text{\rm{dom}}}(A)$ and that $B$_$($resp., $B^*$$)$_is_$A^{1-\varepsilon}$-compact for_some_$\varepsilon \in (0,1)$._In addition, assume_that ${\text{\rm{dom}}}\big(A^{1/2}\big) = {\text{\rm{dom}}}\big((A^*)^{1/2}\big)$._Then $B$ $($resp.,_$B^*$$)$_is $A_{{\mathfrak{R}}}$-form compact. Moreover, equation and relations hold as well.

$(i)$ Since by hypothesis $B$_and_$B^*$ are_$A_{{\mathfrak{R}}}$-bounded_and_$B$ (resp., $B^*$) is $A_{{\mathfrak{R}}}$-compact,_Theorem \[t3.5\] implies that $$\begin{aligned}
\begin{split}
&_|B|^{1/2}(A_{{\mathfrak{R}}} +_I_{{{\mathcal H}}})^{-1/2} =
\overline{(A_{{\mathfrak{R}}}+I_{{{\mathcal H}}})^{-1/2}|B|^{1/2}} \in {{\mathcal B}}_\infty({{\mathcal H}})__  {\label}{4.70}_\\
& \big(\text{resp., } \, |B^*|^{1/2}(A_{{\mathfrak{R}}} + I_{{{\mathcal H}}})^{-1/2} =
\overline{(A_{{\mathfrak{R}}}+I_{{{\mathcal_H}}})^{-1/2}|B^*|^{1/2}} \in {{\mathcal B}}_\infty({{\mathcal H}})\big).
\end{split}\end{aligned}$$ At_this point one_can_follow_the proof of Theorem_\[t4.11\]$(i)$, noting that each operator in_and contains at least one compact_factor from.

$(ii)$ Again, one can follow the_proof of Theorem \[t4.11\]$(ii)$, noting that_the right-hand side of (resp.,_) contains_a compact factor from. Similarly,_the right-hand side_of and_the analogous equations_with $A$ replaced by $A^*$ (resp.,_$B$ replaced by_$B^*$) contains at least one compact_factor_from. Relations and_are_clear_from Theorem_\[t3.5\] since $A_{{\mathfrak{R