1055:
1015:
648:
528:
366:
289:
765:
539:
412:
428:
856:
812:
868:
171:
201:
75:
294:
217:
1096:
643:{\displaystyle S\subseteq S^{\prime \prime }=S^{\prime \prime \prime \prime }=S^{\prime \prime \prime \prime \prime \prime }=\cdots =S^{2n}=\cdots }
1026:
85:
680:
1089:
1054:
371:
1120:
523:{\displaystyle S^{\prime }=S^{\prime \prime \prime }=S^{\prime \prime \prime \prime \prime }=\cdots =S^{2n-1}=\cdots }
1082:
1010:{\displaystyle \left(S_{1}'\cup S_{2}'\right)''=\left(S_{1}''\cap S_{2}''\right)'=\left(S_{1}\cap S_{2}\right)'.}
115:
47:
of the commutant of that subset. It is also known as the double commutant or second commutant and is written
140:
111:
1115:
361:{\displaystyle S^{\prime }\subseteq \left(S^{\prime }\right)^{\prime \prime }=S^{\prime \prime \prime }}
284:{\displaystyle S^{\prime \prime \prime }=\left(S^{\prime \prime }\right)^{\prime }\subseteq S^{\prime }}
176:
50:
817:
773:
36:
859:
134:
40:
1066:
89:
81:
1109:
104:
1062:
123:
97:
44:
32:
17:
25:
760:{\displaystyle \left(S_{1}\cup S_{2}\right)'=S_{1}'\cap S_{2}'.}
607:
604:
601:
598:
595:
592:
579:
576:
573:
570:
557:
554:
481:
478:
475:
472:
469:
456:
453:
450:
437:
399:
396:
393:
380:
353:
350:
347:
334:
331:
321:
303:
276:
263:
253:
250:
232:
229:
226:
188:
185:
158:
155:
62:
59:
173:, and that if not, the von Neumann algebra it generates is
88:, which relates the algebraic and analytic structures of
1070:
871:
820:
776:
683:
542:
431:
407:{\displaystyle S^{\prime }=S^{\prime \prime \prime }}
374:
297:
220:
179:
143:
53:
1009:
850:
806:
759:
642:
522:
406:
360:
283:
195:
165:
96:is a unital, self-adjoint operator algebra in the
69:
1090:
8:
414:, i.e. the commutant of the bicommutant of
1097:
1083:
80:The bicommutant is particularly useful in
989:
976:
945:
929:
898:
882:
870:
847:
838:
825:
819:
803:
794:
781:
775:
745:
729:
707:
694:
682:
625:
591:
569:
553:
541:
499:
468:
449:
436:
430:
392:
379:
373:
346:
330:
320:
302:
296:
275:
262:
249:
225:
219:
184:
178:
154:
142:
58:
52:
122:are equal. This tells us that a unital
858:(this is the case, for instance, for
7:
1051:
1049:
1027:von Neumann double commutant theorem
166:{\displaystyle M=M^{\prime \prime }}
86:von Neumann double commutant theorem
1069:. You can help Knowledge (XXG) by
196:{\displaystyle M^{\prime \prime }}
70:{\displaystyle S^{\prime \prime }}
14:
1042:, North-Holland, Amsterdam, 1981.
862:), then the above equality gives
92:. Specifically, it shows that if
1053:
851:{\displaystyle S_{2}=S_{2}''\,}
807:{\displaystyle S_{1}=S_{1}''\,}
1:
674:are subsets of a semigroup,
418:is equal to the commutant of
1137:
1048:
422:. By induction, we have:
1065:-related article is a
1011:
852:
808:
770:If it is assumed that
761:
644:
524:
408:
362:
285:
197:
167:
71:
1012:
853:
809:
762:
660:It is clear that, if
645:
525:
409:
363:
291:. On the other hand,
286:
198:
168:
72:
1040:Von Neumann Algebras
869:
860:von Neumann algebras
818:
774:
681:
540:
429:
372:
295:
218:
177:
141:
51:
953:
937:
906:
890:
846:
802:
753:
737:
206:The bicommutant of
135:von Neumann algebra
118:and bicommutant of
1121:Group theory stubs
1007:
941:
925:
894:
878:
848:
834:
804:
790:
757:
741:
725:
640:
520:
404:
358:
281:
193:
163:
67:
1078:
1077:
137:if, and only if,
90:operator algebras
1128:
1099:
1092:
1085:
1057:
1050:
1016:
1014:
1013:
1008:
1003:
999:
995:
994:
993:
981:
980:
962:
958:
954:
949:
933:
915:
911:
907:
902:
886:
857:
855:
854:
849:
842:
830:
829:
813:
811:
810:
805:
798:
786:
785:
766:
764:
763:
758:
749:
733:
721:
717:
713:
712:
711:
699:
698:
649:
647:
646:
641:
633:
632:
611:
610:
583:
582:
561:
560:
529:
527:
526:
521:
513:
512:
485:
484:
460:
459:
441:
440:
413:
411:
410:
405:
403:
402:
384:
383:
367:
365:
364:
359:
357:
356:
338:
337:
329:
325:
324:
307:
306:
290:
288:
287:
282:
280:
279:
267:
266:
261:
257:
256:
236:
235:
210:always contains
202:
200:
199:
194:
192:
191:
172:
170:
169:
164:
162:
161:
76:
74:
73:
68:
66:
65:
1136:
1135:
1131:
1130:
1129:
1127:
1126:
1125:
1106:
1105:
1104:
1103:
1046:
1035:
1023:
985:
972:
971:
967:
966:
924:
920:
919:
877:
873:
872:
867:
866:
821:
816:
815:
777:
772:
771:
703:
690:
689:
685:
684:
679:
678:
673:
666:
621:
587:
565:
549:
538:
537:
495:
464:
445:
432:
427:
426:
388:
375:
370:
369:
342:
316:
312:
311:
298:
293:
292:
271:
245:
241:
240:
221:
216:
215:
180:
175:
174:
150:
139:
138:
82:operator theory
54:
49:
48:
12:
11:
5:
1134:
1132:
1124:
1123:
1118:
1108:
1107:
1102:
1101:
1094:
1087:
1079:
1076:
1075:
1058:
1044:
1043:
1034:
1031:
1030:
1029:
1022:
1019:
1018:
1017:
1006:
1002:
998:
992:
988:
984:
979:
975:
970:
965:
961:
957:
952:
948:
944:
940:
936:
932:
928:
923:
918:
914:
910:
905:
901:
897:
893:
889:
885:
881:
876:
845:
841:
837:
833:
828:
824:
801:
797:
793:
789:
784:
780:
768:
767:
756:
752:
748:
744:
740:
736:
732:
728:
724:
720:
716:
710:
706:
702:
697:
693:
688:
671:
664:
651:
650:
639:
636:
631:
628:
624:
620:
617:
614:
609:
606:
603:
600:
597:
594:
590:
586:
581:
578:
575:
572:
568:
564:
559:
556:
552:
548:
545:
531:
530:
519:
516:
511:
508:
505:
502:
498:
494:
491:
488:
483:
480:
477:
474:
471:
467:
463:
458:
455:
452:
448:
444:
439:
435:
401:
398:
395:
391:
387:
382:
378:
355:
352:
349:
345:
341:
336:
333:
328:
323:
319:
315:
310:
305:
301:
278:
274:
270:
265:
260:
255:
252:
248:
244:
239:
234:
231:
228:
224:
190:
187:
183:
160:
157:
153:
149:
146:
116:strong closure
64:
61:
57:
13:
10:
9:
6:
4:
3:
2:
1133:
1122:
1119:
1117:
1114:
1113:
1111:
1100:
1095:
1093:
1088:
1086:
1081:
1080:
1074:
1072:
1068:
1064:
1059:
1056:
1052:
1047:
1041:
1037:
1036:
1032:
1028:
1025:
1024:
1020:
1004:
1000:
996:
990:
986:
982:
977:
973:
968:
963:
959:
955:
950:
946:
942:
938:
934:
930:
926:
921:
916:
912:
908:
903:
899:
895:
891:
887:
883:
879:
874:
865:
864:
863:
861:
843:
839:
835:
831:
826:
822:
799:
795:
791:
787:
782:
778:
754:
750:
746:
742:
738:
734:
730:
726:
722:
718:
714:
708:
704:
700:
695:
691:
686:
677:
676:
675:
670:
663:
658:
656:
637:
634:
629:
626:
622:
618:
615:
612:
588:
584:
566:
562:
550:
546:
543:
536:
535:
534:
517:
514:
509:
506:
503:
500:
496:
492:
489:
486:
465:
461:
446:
442:
433:
425:
424:
423:
421:
417:
389:
385:
376:
343:
339:
326:
317:
313:
308:
299:
272:
268:
258:
246:
242:
237:
222:
213:
209:
204:
181:
151:
147:
144:
136:
132:
128:
125:
124:C*-subalgebra
121:
117:
113:
109:
106:
105:Hilbert space
102:
99:
95:
91:
87:
84:, due to the
83:
78:
55:
46:
42:
38:
34:
30:
27:
23:
19:
1116:Group theory
1071:expanding it
1063:group theory
1060:
1045:
1039:
1038:J. Dixmier,
769:
668:
661:
659:
654:
652:
532:
419:
415:
211:
207:
205:
130:
126:
119:
112:weak closure
107:
100:
93:
79:
35:(such as an
28:
21:
15:
110:, then the
103:, for some
22:bicommutant
1110:Categories
1033:References
98:C*-algebra
983:∩
939:∩
892:∪
739:∩
701:∪
638:⋯
616:⋯
608:′
605:′
602:′
599:′
596:′
593:′
580:′
577:′
574:′
571:′
558:′
555:′
547:⊆
518:⋯
507:−
490:⋯
482:′
479:′
476:′
473:′
470:′
457:′
454:′
451:′
438:′
400:′
397:′
394:′
381:′
354:′
351:′
348:′
335:′
332:′
322:′
309:⊆
304:′
277:′
269:⊆
264:′
254:′
251:′
233:′
230:′
227:′
189:′
186:′
159:′
156:′
63:′
60:′
45:commutant
43:) is the
33:semigroup
1021:See also
1001:′
960:′
951:″
935:″
913:″
904:′
888:′
844:″
800:″
751:′
735:′
719:′
657:> 1.
37:algebra
18:algebra
26:subset
20:, the
1061:This
368:. So
214:. So
133:is a
41:group
39:or a
31:of a
24:of a
1067:stub
814:and
667:and
653:for
533:and
131:B(H)
101:B(H)
129:of
16:In
1112::
203:.
114:,
77:.
1098:e
1091:t
1084:v
1073:.
1005:.
997:)
991:2
987:S
978:1
974:S
969:(
964:=
956:)
947:2
943:S
931:1
927:S
922:(
917:=
909:)
900:2
896:S
884:1
880:S
875:(
840:2
836:S
832:=
827:2
823:S
796:1
792:S
788:=
783:1
779:S
755:.
747:2
743:S
731:1
727:S
723:=
715:)
709:2
705:S
696:1
692:S
687:(
672:2
669:S
665:1
662:S
655:n
635:=
630:n
627:2
623:S
619:=
613:=
589:S
585:=
567:S
563:=
551:S
544:S
515:=
510:1
504:n
501:2
497:S
493:=
487:=
466:S
462:=
447:S
443:=
434:S
420:S
416:S
390:S
386:=
377:S
344:S
340:=
327:)
318:S
314:(
300:S
273:S
259:)
247:S
243:(
238:=
223:S
212:S
208:S
182:M
152:M
148:=
145:M
127:M
120:M
108:H
94:M
56:S
29:S
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.