leq 
    3({\ensuremath{\|{T_{1}}\|_{(1,\infty)}}}+{\ensuremath{\|{T_{2}}\|_{(1,\infty)}}}) \frac{\log\log\Lambda}{\log\Lambda}.$$ Therefore, the functionals $\tau_{\Lambda}$, $\Lambda \geq e$, give rise to an additive homogeneous map, $$\tau:   {\ensuremath{\mathcal{L}}}^{(1,\infty)}\cap {\ensuremath{\mathcal{L}}}({\ensuremath{\mathcal{H}}})_{+} \longrightarrow C_{b}[e,\infty)/C_{0}[e,\infty).
$$ It follows from this that for any state $\omega$ on the $C^{*}$-algebra $C_{b}[e,\infty)/C_{0}[e,\infty)$, i.e., for any positive linear form such that $\omega(1)=1$, there is a unique linear functional ${\ensuremath{{\operatorname{Tr}}_{\omega}}}:{\ensuremath{\mathcal{L}}}^{(1,\infty)}\rightarrow {\ensuremath{\mathbb{C}}}$ such that $${\ensuremath{{\operatorname{Tr}}_{\omega}}}T = \omega(\tau(T)) \qquad \forall T \in  {\ensuremath{\mathcal{L}}}^{(1,\infty)}\cap {\ensuremath{\mathcal{L}}}({\ensuremath{\mathcal{H}}})_{+}.  
$$

We gather the main properties of this functional in the following.

\[prop:NCG.properties-Dixmier-trace\] For any state $\omega$ on $C_{b}[e,\infty)/C_{0}[e,\infty)$ the Dixmier trace ${\ensuremath{{\operatorname{Tr}}_{\omega}}}$ has the following properties:

1\) If $T$ is trace-class, then ${\ensuremath{{\operatorname{Tr}}_{\omega}}}T=0$.

2\) We have ${\ensuremath{{\operatorname{Tr}}_{\omega}}}(T)\geq 0$ for any $T\in {\ensuremath{\mathcal{L}^{(1,\infty)}}}\cap {\ensuremath{\mathcal{L}}}({\ensuremath{\mathcal{H}}})_{+}$.

3\) If $S:{\ensuremath{\mathcal{H}}}'\rightarrow {\ensuremath{\mathcal{H}}}$ is a topological isomorphism, then we have ${\ensuremath{{\operatorname{Tr}}}}_{\omega,{\ensuremath{\mathcal{H}}}'}(T)={\ensuremath{{\operatorname{Tr}}}}_{\omega,{\ensuremath{\mathcal{H}}}}(STS^{-1})$ for any $T\in {\ensuremath{\mathcal{L}^{(1,\
leq 
     3({\ensuremath{\|{T_{1}}\|_{(1,\infty)}}}+{\ensuremath{\|{T_{2}}\|_{(1,\infty) } } }) \frac{\log\log\Lambda}{\log\Lambda}.$$ Therefore, the functionals $ \tau_{\Lambda}$, $ \Lambda \geq e$, give rise to an additive homogeneous function, $ $ \tau:    { \ensuremath{\mathcal{L}}}^{(1,\infty)}\cap { \ensuremath{\mathcal{L}}}({\ensuremath{\mathcal{H}}})_{+ } \longrightarrow C_{b}[e,\infty)/C_{0}[e,\infty). 
 $ $ It take after from this that for any state $ \omega$ on the $ C^{*}$-algebra $ C_{b}[e,\infty)/C_{0}[e,\infty)$, i.e., for any positive linear human body such that $ \omega(1)=1 $, there be a unique linear functional $ { \ensuremath{{\operatorname{Tr}}_{\omega}}}:{\ensuremath{\mathcal{L}}}^{(1,\infty)}\rightarrow { \ensuremath{\mathbb{C}}}$ such that $ $ { \ensuremath{{\operatorname{Tr}}_{\omega}}}T = \omega(\tau(T) ) \qquad \forall T \in   { \ensuremath{\mathcal{L}}}^{(1,\infty)}\cap { \ensuremath{\mathcal{L}}}({\ensuremath{\mathcal{H}}})_{+ }.  
 $ $ 

 We gain the independent properties of this functional in the pursuit. 

 \[prop: NCG.properties - Dixmier - trace\ ] For any department of state $ \omega$ on $ C_{b}[e,\infty)/C_{0}[e,\infty)$ the Dixmier trace $ { \ensuremath{{\operatorname{Tr}}_{\omega}}}$ suffer the following place: 

 1\) If $ T$ is trace - class, then $ { \ensuremath{{\operatorname{Tr}}_{\omega}}}T=0$. 

 2\) We have $ { \ensuremath{{\operatorname{Tr}}_{\omega}}}(T)\geq 0 $ for any $ T\in { \ensuremath{\mathcal{L}^{(1,\infty)}}}\cap { \ensuremath{\mathcal{L}}}({\ensuremath{\mathcal{H}}})_{+}$. 

 3\) If $ S:{\ensuremath{\mathcal{H}}}'\rightarrow { \ensuremath{\mathcal{H}}}$ is a topological isomorphism, then we have $ { \ensuremath{{\operatorname{Tr}}}}_{\omega,{\ensuremath{\mathcal{H}}}'}(T)={\ensuremath{{\operatorname{Tr}}}}_{\omega,{\ensuremath{\mathcal{H}}}}(STS^{-1})$ for any $ T\in { \ensuremath{\mathcal{L}^{(1,\
leq 
    3({\ensuremath{\|{T_{1}}\|_{(1,\infty)}}}+{\ensmremath{\|{T_{2}}\|_{(1,\infty)}}}) \frcx{\log\loj\Lambda}{\mog\Lambdx}.$$ Therefore, the functionals $\vau_{\Lqmbda}$, $\Lambda \geq e$, give risd to an afditive yomojeneous map, $$\tau:   {\ensuremath{\mafmcal{L}}}^{(1,\nnhty)}\cap {\ensuremajh{\mathcal{L}}}({\envuremath{\mathcan{H}}})_{+} \llngrightarrow C_{b}[e,\infty)/C_{0}[e,\infty).
$$ It fojlows ftol this that fot any ftats $\omega$ on the $C^{*}$-algebra $C_{b}[e,\infty)/C_{0}[e,\jnfty)$, i.t., for any positive linear form such that $\omeha(1)=1$, tjere is a unique llnear functuonaj ${\ensuremath{{\ooeratornamt{Tx}}_{\omega}}}:{\ensurgmath{\mathcal{L}}}^{(1,\infty)}\rightarrow {\ensjremach{\mathbb{C}}}$ soey tjdt $${\ensuremavh{{\operwtorname{Tr}}_{\omcba}}}T = \okega(\tau(Y)) \qquad \forall T \mn  {\wnsuremath{\mathcal{L}}}^{(1,\infvy)}\cap {\ensuremath{\mathsal{L}}}({\ensuramcth{\mathcal{H}}})_{+}.  
$$

We gathee rhe mdin [ropdetids kf tgis fujctmonal in ths following.

\[prop:NCG.properties-Dicmyvt-trace\] For ahy staee $\omega$ on $C_{b}[e,\infty)/C_{0}[e,\infty)$ the Dixmier tgace ${\ensuremath{{\operatorname{Rr}}_{\omega}}}$ has the folloaing propqrties:

1\) If $T$ is trace-class, then ${\ensuremath{{\operatortame{Tc}}_{\ooegc}}}B=0$.

2\) Dw jave ${\ensuremath{{\operatorname{Tr}}_{\omega}}}(T)\geq 0$ for agg $U\in {\ensuremath{\matmcal{L}^{(1,\infty)}}}\cap {\ensutelayr{\mathcal{L}}}({\ensutemath{\mcfhdal{H}}})_{+}$.

3\) If $S:{\ensurematj{\mathcaj{H}}}'\rigytarrow {\egsurrmath{\mathcal{H}}}$ is a topologixal isomorphpsm, rhen we have ${\ensurzmath{{\operatoxname{Tt}}}}_{\omega,{\rnsuremath{\mathcal{H}}}'}(T)={\ensuxemath{{\kperatornamf{Tr}}}}_{\omega,{\ehruremath{\mathcal{H}}}}(RTS^{-1})$ fmr any $T\in {\ensuremath{\mathcwl{L}^{(1,\
leq 3({\ensuremath{\|{T_{1}}\|_{(1,\infty)}}}+{\ensuremath{\|{T_{2}}\|_{(1,\infty)}}}) \frac{\log\log\Lambda}{\log\Lambda}.$$ Therefore, the functionals $\tau_{\Lambda}$, e$, rise to additive homogeneous map, $$ follows from this for any state on the $C^{*}$-algebra $C_{b}[e,\infty)/C_{0}[e,\infty)$, i.e., for positive linear form such that $\omega(1)=1$, there is a unique linear functional ${\ensuremath{{\operatorname{Tr}}_{\omega}}}:{\ensuremath{\mathcal{L}}}^{(1,\infty)}\rightarrow such that $${\ensuremath{{\operatorname{Tr}}_{\omega}}}T = \omega(\tau(T)) \qquad \forall T \in {\ensuremath{\mathcal{L}}}^{(1,\infty)}\cap {\ensuremath{\mathcal{L}}}({\ensuremath{\mathcal{H}}})_{+}. $$ We the properties this in the following. \[prop:NCG.properties-Dixmier-trace\] For any state $\omega$ on $C_{b}[e,\infty)/C_{0}[e,\infty)$ the Dixmier trace ${\ensuremath{{\operatorname{Tr}}_{\omega}}}$ has the properties: 1\) If $T$ is trace-class, then ${\ensuremath{{\operatorname{Tr}}_{\omega}}}T=0$. We have ${\ensuremath{{\operatorname{Tr}}_{\omega}}}(T)\geq 0$ any $T\in {\ensuremath{\mathcal{L}^{(1,\infty)}}}\cap {\ensuremath{\mathcal{L}}}({\ensuremath{\mathcal{H}}})_{+}$. 3\) $S:{\ensuremath{\mathcal{H}}}'\rightarrow is a isomorphism, we ${\ensuremath{{\operatorname{Tr}}}}_{\omega,{\ensuremath{\mathcal{H}}}'}(T)={\ensuremath{{\operatorname{Tr}}}}_{\omega,{\ensuremath{\mathcal{H}}}}(STS^{-1})$ for any {\ensuremath{\mathcal{L}^{(1,\
leq 
    3({\ensuremath{\|{T_{1}}\|_{(1,\infty)}}}+{\ensureMath{\|{T_{2}}\|_{(1,\infty)}}}) \Frac{\lOg\lOg\LAmBda}{\lOg\LaMbda}.$$ Therefore, tHE funCtionals $\tau_{\Lambda}$, $\LambdA \geq e$, GiVE risE To An addItive hoMOgENEouS mAp, $$\Tau:   {\EnSUrEmath{\MatHcal{L}}}^{(1,\inFty)}\cap {\ensuRemAtH{\mathcal{L}}}({\ensUReMath{\mathcaL{H}}})_{+} \lOngrightarroW C_{b}[E,\infty)/c_{0}[e,\InfTY).
$$ It foLloWs froM this tHAt for aNy state $\omEgA$ On the $C^{*}$-ALgebra $C_{B}[E,\InFty)/C_{0}[E,\infty)$, i.e., for any posITiVE linear form sucH that $\oMeGA(1)=1$, tHERe iS a uNique lineaR fUnctiONal ${\ensuREmATH{{\OpeRAtorname{Tr}}_{\omeGa}}}:{\ensurematH{\MatHcal{L}}}^{(1,\iNfTy)}\rIGhtarrOw {\ensUrEMatH{\mathbb{C}}}$ sucH thaT $${\ensuremaTh{{\operATorname{tR}}_{\omega}}}T = \Omega(\tAu(T)) \QquAd \foRAlL T \In  {\eNsURemATh{\MatHCal{l}}}^{(1,\infty)}\caP {\eNsUremaTh{\maTHCAL{L}}}({\enSurEmatH{\mathCal{H}}})_{+}.  
$$

We gather tHe mAin pROpeRties Of thiS funCtIonal In the fOllowInG.

\[prop:NCG.propertIes-DIxmier-traCe\] FOr Any StAte $\omEGa$ on $C_{b}[E,\inFty)/c_{0}[e,\infty)$ The DixmIEr tRaCE ${\ENsUremath{{\operatornamE{TR}}_{\OMeGa}}}$ has the FollowINg PrOPerties:

1\) IF $T$ Is tRace-CLAss, thEn ${\enSUrEmath{{\opeRatornAMe{tr}}_{\Omega}}}T=0$.

2\) WE hAve ${\ensUrEmaTh{{\oPeratORnamE{Tr}}_{\omeGa}}}(T)\geq 0$ foR any $T\IN {\ensuremath{\matHCal{L}^{(1,\infty)}}}\cap {\eNSuREMaTH{\matHcaL{L}}}({\ensurematH{\matHCal{H}}})_{+}$.

3\) if $S:{\eNSuRemATh{\matHcal{H}}}'\RiGHtARrow {\ensuremath{\mathcAl{h}}}$ is a toPologIcal isomorphiSm, then we haVE ${\ENsurematH{{\opeRAtORname{Tr}}}}_{\omega,{\enSuremAth{\mathcal{h}}}'}(t)={\ensuremAth{{\opEratornaMe{Tr}}}}_{\omega,{\ENSuremath{\MatHcaL{H}}}}(StS^{-1})$ fOR AnY $T\in {\ensurematH{\MAthcAl{l}^{(1,\
leq 
    3({\ensuremath{\| {T_{1}}\|_ {(1,\ inf ty) }} }+{\ ensu remath{\|{T_{2 } }\|_ {(1,\infty)}}}) \frac{ \log\ lo g \Lam b da }{\lo g\Lambd a }. $ $  Th er ef ore ,t he  func tio nals $\ tau_{\Lamb da} $,  $\Lambda \g e qe$, give r ise  to an addit ive  homog en eou s  map,  $$ \tau:    {\e n surema th{\mathc al { L}}}^{ ( 1,\inft y ) }\ cap{\ensuremath{\mat h ca l {L}}}({\ensure math{\ ma t hc a l {H} }}) _{+} \long ri ghtar r ow C_{b } [e , \ i nft y )/C_{0}[e,\in fty).
$$ It fol lows f ro m t h is tha t for  a n y s tate $\omeg a$ o n the $C^ {*}$-a l gebra $ C _{b}[e, \infty )/C _{0 }[e, \ in ft y)$ ,i .e. ,  f ora nypositive  l in ear f orms u c h  tha t $ \ome ga(1) =1$, there is  auniq u e l inear  func tion al  ${\e nsurem ath{{ \o peratorname{Tr} }_{\ omega}}}: {\e ns ure ma th{\m a thcal{ L}} }^{ (1,\inf ty)}\ri g hta rr o w {\ ensuremath{\mathbb {C } } }$  such th at $${ \ en su r emath{{\ op era torn a m e{Tr} }_{\ o me ga}}}T =  \omeg a (\ ta u(T)) \ qq uad \f or all  T\in { \ens uremat h{\mathc al{L} } }^{(1,\infty)} \ cap {\ensurem a th { \ ma t hcal {L} }}({\ensure math { \mat hcal { H} }}) _ {+}. 
$$
W e  g a ther the main prope rt ies of  this  functional i n the foll o w i ng.

\[p rop: N CG . properties-Dix mier- trace\] Fo r  any sta te $\ omega$ o n $C_{b}[ e , \infty)/ C_{ 0}[ e,\ inf t y )$  the Dixmiert r ace${ \ensure mat h{{\ope rat orn ame {Tr }} _{\omega} }}$ hasth efo ll owi ng pr o perties: 
1\)  I f $ T$ is trace- class , th en  $ { \en suremat h {{ \ o pera to rn ame{ Tr} }_ {\ome ga}} } T=0 $.

2\)  We have${\ e nsur em at h{{\ope ratorname{Tr} }_ {\omega}}} (T )\g eq 0$f o r any $T \in {\ensuremath{\mathc a l{L}^{( 1,\ infty )}}} \cap {\en sur emath{ \ma t hcal{L }}}({\ ensur em ath { \ mathc a l {H }}} )_ {+}$.

3\) I f $ S:{\e ns urem ath{\ma thcal{H}}}'\righta r row  {\ensuremath {\m athc a l {H }}} $  i s  ato p olo g i cal isomorphism , then weha v e${\ensurem a th{ {\ operato rname{T r}}}} _ {\omega ,{\ensure math{\mat hc al{H } } }'} (T)={\ensu remath{{ \operator n ame{T r }} }}_{\ ome ga,{\e ns ure math{ \mathc a l{H }}}}( STS^{- 1} )$ for  any$T \in {\en suremath{\mathcal{L}^{( 1,\
leq 
_ _ 3({\ensuremath{\|{T_{1}}\|_{(1,\infty)}}}+{\ensuremath{\|{T_{2}}\|_{(1,\infty)}}}) \frac{\log\log\Lambda}{\log\Lambda}.$$ Therefore,_the functionals_$\tau_{\Lambda}$,_$\Lambda \geq_e$,_give rise to_an additive homogeneous_map, $$\tau:  _{\ensuremath{\mathcal{L}}}^{(1,\infty)}\cap {\ensuremath{\mathcal{L}}}({\ensuremath{\mathcal{H}}})_{+} \longrightarrow_C_{b}[e,\infty)/C_{0}[e,\infty).
$$_It follows from this that for any state $\omega$ on the $C^{*}$-algebra $C_{b}[e,\infty)/C_{0}[e,\infty)$, i.e.,_for_any positive_linear_form_such that $\omega(1)=1$, there is_a unique linear functional ${\ensuremath{{\operatorname{Tr}}_{\omega}}}:{\ensuremath{\mathcal{L}}}^{(1,\infty)}\rightarrow_{\ensuremath{\mathbb{C}}}$ such_that $${\ensuremath{{\operatorname{Tr}}_{\omega}}}T = \omega(\tau(T)) \qquad \forall T \in__{\ensuremath{\mathcal{L}}}^{(1,\infty)}\cap {\ensuremath{\mathcal{L}}}({\ensuremath{\mathcal{H}}})_{+}. _
$$

We gather the main properties of this functional in_the following.

\[prop:NCG.properties-Dixmier-trace\] For any state $\omega$_on $C_{b}[e,\infty)/C_{0}[e,\infty)$ the_Dixmier_trace_${\ensuremath{{\operatorname{Tr}}_{\omega}}}$ has the following_properties:

1\) If $T$ is trace-class, then_${\ensuremath{{\operatorname{Tr}}_{\omega}}}T=0$.

2\) We have ${\ensuremath{{\operatorname{Tr}}_{\omega}}}(T)\geq 0$ for_any $T\in {\ensuremath{\mathcal{L}^{(1,\infty)}}}\cap {\ensuremath{\mathcal{L}}}({\ensuremath{\mathcal{H}}})_{+}$.

3\) If $S:{\ensuremath{\mathcal{H}}}'\rightarrow {\ensuremath{\mathcal{H}}}$_is a topological isomorphism, then we_have ${\ensuremath{{\operatorname{Tr}}}}_{\omega,{\ensuremath{\mathcal{H}}}'}(T)={\ensuremath{{\operatorname{Tr}}}}_{\omega,{\ensuremath{\mathcal{H}}}}(STS^{-1})$ for any $T\in_{\ensuremath{\mathcal{L}^{(1,\