(«)) the GNS representation of tho pair (v4, Y?) (r e sp ec tiv e ly íẤ n ,^ 71))).' Let us first note that 7T^(i4)” = M and N oc = {0} w hich sh o w s th a t (-n ^A )-)^ư (A ,ự > ).(^ Ư{M)) and analoguosly Lp(7v(n)(A„)') = Ư { A nM n]) Vn € N * ;p e [l,oo] By [3 Theo rem 11.4.15 and Remark 11.4.16] A is simple, ip is a primary stat, so 7T^ is faithful and 71’y { A) identifying A with is a factor Thus A is isometrically isomorphic to TĨẬA) Upon takes the form tƯỊ \A for the cyclic unit vector ị y situation remains tru e for each pair (An ,y^n )) and The we conclude now that ijú^\-nẬA)" is faithful, hence Sy — It implies that M = n^{A Ỵ and also Noc = {0}, i.e L~*-(A, ip) = M and { A , v ) = L pm For the pair (Ajt, ip(ri])- by hypothesis, = L p{ * M Y Y aro faithful state? of Dj Th en € N t 4> = ( o £ ) - Ị N Let us calculate the norm of h$ = h ^ E Note that || /i^ ||(1/V) = | | | | (N) and li/lỉo£Ỉlí) = 110° £ | | (M) for any
€ N ||6 ||< > sup Ò€/V,||6||