eq U^*|T^*|^{1/2}UU^*|T^*|^{1/2}U = U^*|T^*|U = |T|,$$ hence, ${\overline}{R} ({\overline}{R})^* \supseteq |T|$ and thus, $({\overline}{R})^* {\overline}{R} = {\overline}{R} ({\overline}{R})^* = |T|$. That is, ${\overline}R$ is normal and symmetric, and hence self-adjoint. Since in addition, ${\overline}R \geq 0$, ${\overline}R$ is the unique self-adjoint, nonnegative square root of $|T|$, $${\overline}R = ({\overline}R)^* = |T|^{1/2}.$$ Introducing $S=U |T|^{1/2} U^*$, one obtains analogously, $${\overline}S = ({\overline}S)^* = |T^*|^{1/2}.$$ Thus, $$|T|^{1/2} \supseteq R= U^* |T^*|^{1/2}U, \quad |T^*|^{1/2} \supseteq S = U|T|^{1/2} U^*.$$ Next, using also the first relation in, $U^*U=P_{{\overline}{{{\text{\rm{ran}}}}(|T|)}}=P_{{\overline}{{{\text{\rm{ran}}}}(|T|^{1/2})}}$, one infers $$U^* |T^*|^{1/2} \supseteq U^*U |T|^{1/2} U^* = |T|^{1/2} U^*,   \quad
 |T|^{1/2} U^* \supseteq U^* |T^*|^{1/2} UU^* = U^* |T^*|^{1/2},$$ and hence $$U^* |T^*|^{1/2} = |T|^{1/2}U^*, \text{ implying } \, U U^* |T^*|^{1/2} = |T^*|^{1/2} = U |T|^{1/2} U^*.$$ But then, $$|T^*|^{1/2} U |T|^{1/2} = U |T|^{1/2} U^* U |T|^{1/2} = U |T| =T,$$ as was to be proven.

Some Applications to Relatively (Form) Bounded and Relatively (Form) Compact Perturb
eq U^*|T^*|^{1/2}UU^*|T^*|^{1/2}U = U^*|T^*|U = |T|,$$ hence, $ { \overline}{R } ({ \overline}{R})^ * \supseteq |T|$ and thus, $ ({ \overline}{R})^ * { \overline}{R } = { \overline}{R } ({ \overline}{R})^ * = |T|$. That is, $ { \overline}R$ is normal and symmetric, and hence self - adjoint. Since in accession, $ { \overline}R \geq 0 $, $ { \overline}R$ is the alone self - adjoint, nonnegative square root of $ |T|$, $ $ { \overline}R = ({ \overline}R)^ * = |T|^{1/2}.$$ Introducing $ S = U |T|^{1/2 } U^*$, one receive analogously, $ $ { \overline}S = ({ \overline}S)^ * = |T^*|^{1/2}.$$ Thus, $ $ |T|^{1/2 } \supseteq R= U^ * |T^*|^{1/2}U, \quad |T^*|^{1/2 } \supseteq S = U|T|^{1/2 } U^*.$$ Next, using besides the first relation in, $ U^*U = P_{{\overline}{{{\text{\rm{ran}}}}(|T|)}}=P_{{\overline}{{{\text{\rm{ran}}}}(|T|^{1/2})}}$, one infers $ $ U^ * |T^*|^{1/2 } \supseteq U^*U |T|^{1/2 } U^ * = |T|^{1/2 } U^ *,    \quad 
  |T|^{1/2 } U^ * \supseteq U^ * |T^*|^{1/2 } UU^ * = U^ * |T^*|^{1/2},$$ and hence $ $ U^ * |T^*|^{1/2 } = |T|^{1/2}U^ *, \text { imply } \, U U^ * |T^*|^{1/2 } = |T^*|^{1/2 } = U |T|^{1/2 } U^*.$$ But then, $ $ |T^*|^{1/2 } U |T|^{1/2 } = U |T|^{1/2 } U^ * U |T|^{1/2 } = uranium |T| = T,$$ as was to be proven. 

 Some Applications to Relatively (class) restrict and Relatively (Form) Compact Perturb
eq K^*|T^*|^{1/2}UU^*|T^*|^{1/2}U = U^*|T^*|U = |T|,$$ hence, ${\ovevline}{R} ({\overline}{R})^* \supsetxq |T|$ ans thus, $({\oxerline}{R})^* {\overline}{R} = {\overline}{C} ({\ovwrlint}{G})^* = |T|$. That is, ${\overline}F$ is normwl and stmmeuric, and hence self-adjoinb. Sindc in cdvition, ${\overline}T \geq 0$, ${\overlhne}R$ is the unhqje self-adjoint, nonnegative square rooe of $|T|$, $${\pvfrline}R = ({\overlyne}R)^* = |T|^{1/2}.$$ Ihnriducing $S=U |T|^{1/2} U^*$, one obtains anzlogousny, $${\overline}S = ({\overline}S)^* = |T^*|^{1/2}.$$ Thus, $$|T|^{1/2} \supseheq G= U^* |T^*|^{1/2}U, \quad |T^*|^{1/2} \supsfteq S = U|T|^{1/2} O^*.$$ Nevr, using also the first relation in, $U^*U=P_{{\overline}{{{\text{\rm{ran}}}}(|T|)}}=P_{{\overline}{{{\gext{\rk{ran}}}}(|T|^{1/2})}}$, one underd $$U^* |T^*|^{1/2} \supsetxq U^*U |N|^{1/2} U^* = |T|^{1/2} U^*,   \quad
 |T|^{1/2} U^* \sgpseteq U^* |T^*|^{1/2} UU^* = U^* |T^*|^{1/2},$$ akd heice $$Y^* |T^*|^{1/2} = |T|^{1/2}U^*, \text{ implying } \, U U^* |T^*|^{1/2} = |T^*|^{1/2} = U |T|^{1/2} U^*.$$ But then, $$|T^*|^{1/2} U |T|^{1/2} = U |T|^{1/2} U^* U |T|^{1/2} = Y |R| =T,$$ av wav to ve orobei.

Soje Apppicetions to Rslatively (Firm) Bounded and Relstynrly (Form) Comlact Pqreurb
eq U^*|T^*|^{1/2}UU^*|T^*|^{1/2}U = U^*|T^*|U = |T|,$$ hence, \supseteq and thus, {\overline}{R} = {\overline}{R} ${\overline}R$ normal and symmetric, hence self-adjoint. Since addition, ${\overline}R \geq 0$, ${\overline}R$ is unique self-adjoint, nonnegative square root of $|T|$, $${\overline}R = ({\overline}R)^* = |T|^{1/2}.$$ Introducing |T|^{1/2} U^*$, one obtains analogously, $${\overline}S = ({\overline}S)^* = |T^*|^{1/2}.$$ Thus, $$|T|^{1/2} \supseteq U^* \quad \supseteq = U|T|^{1/2} U^*.$$ Next, using also the first relation in, $U^*U=P_{{\overline}{{{\text{\rm{ran}}}}(|T|)}}=P_{{\overline}{{{\text{\rm{ran}}}}(|T|^{1/2})}}$, one infers $$U^* |T^*|^{1/2} \supseteq |T|^{1/2} U^* = |T|^{1/2} U^*, \quad |T|^{1/2} U^* U^* |T^*|^{1/2} UU^* = |T^*|^{1/2},$$ and hence $$U^* |T^*|^{1/2} |T|^{1/2}U^*, implying } U |T^*|^{1/2} |T^*|^{1/2} = U U^*.$$ But then, $$|T^*|^{1/2} U |T|^{1/2} = U |T|^{1/2} U^* U |T|^{1/2} = U |T| =T,$$ as to be Applications to (Form) and (Form) Compact Perturb
eq U^*|T^*|^{1/2}UU^*|T^*|^{1/2}U = U^*|T^*|U = |T|,$$ hence, ${\overline}{r} ({\overline}{R})^* \SupseTeq |t|$ anD tHus, $({\oVerlIne}{R})^* {\overline}{R} = {\oVErliNe}{R} ({\overline}{R})^* = |T|$. That is, ${\oveRline}r$ iS NormAL aNd symMetric, aND hENCe sElF-aDjoInT. siNce in AddItion, ${\ovErline}R \geq 0$, ${\OveRlIne}R$ is the uniQUe Self-adjoinT, noNnegative squAre Root of $|t|$, $${\oVerLIne}R = ({\oVerLine}R)^* = |t|^{1/2}.$$ IntroDUcing $S=u |T|^{1/2} U^*$, one obtAiNS analoGOusly, $${\ovERLiNe}S = ({\oVerline}S)^* = |T^*|^{1/2}.$$ Thus, $$|T|^{1/2} \supSEtEQ R= U^* |T^*|^{1/2}U, \quad |T^*|^{1/2} \supsEteq S = U|t|^{1/2} U^*.$$ nExT, USinG alSo the first ReLatioN In, $U^*U=P_{{\ovERlINE}{{{\TexT{\Rm{ran}}}}(|T|)}}=P_{{\overliNe}{{{\text{\rm{ran}}}}(|t|^{1/2})}}$, One Infers $$u^* |T^*|^{1/2} \SupSEteq U^*U |t|^{1/2} U^* = |T|^{1/2} U^*,   \qUaD
 |t|^{1/2} U^* \sUpseteq U^* |T^*|^{1/2} UU^* = u^* |T^*|^{1/2},$$ anD hence $$U^* |T^*|^{1/2} = |T|^{1/2}u^*, \text{ iMPlying } \, U u^* |t^*|^{1/2} = |T^*|^{1/2} = U |T|^{1/2} U^*.$$ BuT then, $$|T^*|^{1/2} u |T|^{1/2} = U |t|^{1/2} U^* U |t|^{1/2} = U |T| =T,$$ AS wAs To bE pROveN.

soMe APPliCations tO RElAtiveLy (FoRM) bOUndeD anD RelAtiveLy (Form) Compact perTurb
eq U^*|T^*|^{1/2}UU^*|T^*| ^{1/2}U =U^*|T ^*| U =  | T|,$ $ he nce, ${\overli n e}{R } ({\overline}{R})^* \ supse te q  |T| $  a nd th us, $({ \ ov e r lin e} {R })^ *{ \o verli ne} {R} = { \overline} {R}  ( {\overline}{ R }) ^* = |T|$.  Th at is, ${\ov erl ine}R$  i s n o rmaland  symm etric, and he nce self- ad j oint.S ince in a dd itio n, ${\overline}R\ ge q  0$, ${\overli ne}R$is th e uni que  self-adjo in t, no n negativ e  s q u a rer oot of $|T|$,  $${\overli n e}R  = ({\ ov erl i ne}R)^ * = | T| ^ {1/ 2}.$$ Intro duci ng $S=U | T|^{1/ 2 } U^*$, one obt ains a nal ogo usly ,  $ ${ \ov er l ine } S= ( { \ov erline}S )^ *= |T^ *|^{ 1 / 2 } .$$Thu s, $ $|T|^ {1/2} \supset eqR= U ^ * | T^*|^ {1/2} U, \ qu ad |T ^*|^{1 /2} \ su pseteq S = U|T| ^{1/ 2} U^*.$$  Ne xt , u si ng al s o thefir strelatio n in, $ U ^*U =P _ { { \o verline}{{{\text{\ rm { r an }}}}(|T| )}}=P_ { {\ ov e rline}{{ {\ tex t{\r m { ran}} }}(| T |^ {1/2})}} $, one in fe rs $$U^ *|T^*|^ {1 /2}  \s upset e q U^ *U |T| ^{1/2} U ^* =| T|^{1/2} U^*, \quad
 |T|^{ 1 /2 } U^ *  \su pse teq U^* |T^ *|^{ 1 /2}UU^* =U^* |T^*| ^{1/2 }, $ $a nd hence $$U^* |T^* |^ {1/2}= |T| ^{1/2}U^*, \t ext{ imply i n g  } \, UU^*| T^ * |^{1/2} = |T^* |^{1/ 2} = U |T| ^ {1/2} U^ *.$$But then , $$|T^*| ^ { 1/2} U | T|^ {1/ 2}= U | T| ^{1/2} U^* U| T |^{1 /2 } = U | T|=T,$$ a s w astobepr oven.

So me Appli ca ti on stoRelat i vely (Fo rm ) B ou nde d and Relati vely(For m)  C o mpa ct Pert u rb 
eq U^*|T^*|^{1/2}UU^*|T^*|^{1/2}U_= U^*|T^*|U_= |T|,$$ hence, ${\overline}{R}_({\overline}{R})^* \supseteq_|T|$_and thus,_$({\overline}{R})^*_{\overline}{R} = {\overline}{R}_({\overline}{R})^* = |T|$._That is, ${\overline}R$ is_normal and symmetric,_and_hence self-adjoint. Since in addition, ${\overline}R \geq 0$, ${\overline}R$ is the unique self-adjoint, nonnegative_square_root of_$|T|$,_$${\overline}R_= ({\overline}R)^* = |T|^{1/2}.$$ Introducing_$S=U |T|^{1/2} U^*$, one obtains_analogously, $${\overline}S_= ({\overline}S)^* = |T^*|^{1/2}.$$ Thus, $$|T|^{1/2} \supseteq R=_U^*_|T^*|^{1/2}U, \quad |T^*|^{1/2}_\supseteq S = U|T|^{1/2} U^*.$$ Next, using also the_first relation in, $U^*U=P_{{\overline}{{{\text{\rm{ran}}}}(|T|)}}=P_{{\overline}{{{\text{\rm{ran}}}}(|T|^{1/2})}}$, one infers_$$U^* |T^*|^{1/2} \supseteq_U^*U_|T|^{1/2}_U^* = |T|^{1/2} U^*,_  \quad
 |T|^{1/2} U^* \supseteq_U^* |T^*|^{1/2} UU^* = U^* |T^*|^{1/2},$$_and hence $$U^* |T^*|^{1/2} = |T|^{1/2}U^*, \text{_implying } \, U U^* |T^*|^{1/2}_= |T^*|^{1/2} = U |T|^{1/2}_U^*.$$ But_then, $$|T^*|^{1/2} U |T|^{1/2} =_U |T|^{1/2} U^*_U |T|^{1/2}_= U |T|_=T,$$ as was to be proven.

Some_Applications to Relatively_(Form) Bounded and Relatively (Form) Compact_Perturb