جبر فون نیومن کیست؟ توضیح بده.
در ریاضیات ، جبر فون نویمان یا جبر W*-جبر *-از عملگرهای محدود در فضای هیلبرت است که در توپولوژی عملگر ضعیف بسته است و شامل عملگر هویت است. این نوع خاصی از جبر C* است.جبرهای فون نویمان در اصل توسط جان فون نویمان با انگیزه مطالعه او در مورد عملگرهای منفرد ، نمایش گروهی ، نظریه ارگودیک و مکانیک کوانتومی معرفی شد. قضیه کموتانت دوگانه او نشان می دهد که تعریف تحلیلی معادل یک تعریف جبری صرف به عنوان جبری از تقارن است.دو مثال اساسی از جبرهای فون نویمان به شرح زیر است:جبرهای فون نویمان برای اولین بار توسط در سال 1929 مورد مطالعه قرار گرفت. او و فرانسیس موری نظریه اولیه را با نام اصلی حلقه‌های عملگرها در مجموعه‌ای از مقالات که در دهه‌های 1930 و 1940 نوشته شده بود، توسعه دادند ( F.J. موری &amp; جی فون نویمان 1936 ; J. فون نویمان 1938 )، تجدید چاپ در آثار جمع آوری شده .گزارش مقدماتی جبرهای فون نویمان در یادداشت‌های آنلاین و و کتاب‌های ، ، و آمده است. اثر سه جلدی شرح دایره‌المعارفی این نظریه را ارائه می‌کند. کتاب موضوعات پیشرفته تری را مورد بحث قرار می دهد.تعاریف.سه راه متداول برای تعریف جبرهای فون نویمان وجود دارد.اولین و رایج ترین راه این است که آنها را به عنوان جبرهای بسته ضعیف * عملگرهای محدود (در فضای هیلبرت) که حاوی هویت هستند، تعریف کنیم. در این تعریف، توپولوژی ضعیف (اپراتور) را می توان با بسیاری از توپولوژی های رایج دیگر از جمله توپولوژی های اپراتور قوی ، فوق قوی یا فوق ضعیف جایگزین کرد. جبرهای *-عملگرهای محدود که در توپولوژی هنجار بسته هستند جبرهای C*-جبر هستند، بنابراین به طور خاص هر جبر فون نویمان یک جبر C* است.تعریف دوم این است که جبر فون نویمان زیر جبری از عملگرهای محدود بسته شده تحت تابش (عملیات *) و برابر با جابجایی دوتایی آن است، یا به طور معادل جانشین برخی از جبرهای فرعی بسته شده در زیر *. قضیه کموتانت دوگانه فون نویمان می گوید که دو تعریف اول معادل هستند.دو تعریف اول جبر فون نویمان را بطور عینی به عنوان مجموعه ای از عملگرها توصیف می کنند که بر روی فضای هیلبرت معین عمل می کنند. نشان داد که جبرهای فون نویمان را می‌توان به‌طور انتزاعی به‌عنوان جبرهای C* که دارای پیش‌دوالی هستند نیز تعریف کرد. به عبارت دیگر جبر فون نویمان، که به عنوان فضای باناخ در نظر گرفته می شود، دوگانه فضای باناخ دیگری است که به آن پردوال می گویند. مقدمه جبر فون نویمان در واقع تا ایزومورفیسم منحصر به فرد است. برخی از نویسندگان از «جبر فون نویمان» برای جبرها همراه با یک عمل فضایی هیلبرت، و «جبر W*-» برای مفهوم انتزاعی استفاده می کنند، بنابراین جبر فون نویمان یک جبر W*- همراه با فضای هیلبرت و یک وفادار مناسب است. اقدام واحد در فضای هیلبرت تعاریف عینی و انتزاعی یک جبر فون نویمان مشابه تعاریف عینی و انتزاعی جبر C* است که می‌تواند به عنوان جبرهای *-بسته هنجار عملگرها در فضای هیلبرت یا به عنوان جبرهای *-باناخ تعریف شود. طوری که || "aa*" ||=|| "یک" || || "a*" ||.اصطلاحات.برخی از اصطلاحات در نظریه جبر فون نویمان می تواند گیج کننده باشد و اصطلاحات اغلب معانی متفاوتی خارج از موضوع دارند.با فراموش کردن توپولوژی جبر فون نویمان، می‌توانیم آن را یک جبر * (یکی) یا فقط یک حلقه در نظر بگیریم. جبرهای فون نویمان نیمه ارثی هستند: هر زیرماژول به طور محدود تولید شده از یک ماژول تصویری، خود تصویری است. تلاش‌های متعددی برای مشخص کردن حلقه‌های زیرین جبرهای فون نویمان، از جمله حلقه*های Baer و جبرهای AW* صورت گرفته است. جبر * -عملگرهای وابسته یک جبر فون نویمان محدود یک حلقه منظم فون نویمان است. (خود جبر فون نویمان به طور کلی فون نویمان منظم نیست.)جبرهای جابجایی فون نویمان.رابطه بین جبرهای جابجایی فون نویمان و فضاهای اندازه گیری مشابه رابطه بین جبرهای جابجایی C* و فضاهای هاسدورف فشرده محلی است. هر جبر جابجایی فون نویمان به "L" ∞ ( "X" ) برای مقداری فضای اندازه گیری ( "X", μ) هم شکل است و برعکس، برای هر فضای اندازه گیری محدود σ- "X" ، *-جبر "L" ∞ ( "X" ) یک جبر فون نویمان است.با توجه به این قیاس، نظریه جبرهای فون نویمان را نظریه اندازه گیری غیرتقابلی می نامند، در حالی که نظریه جبرهای C* را گاهی توپولوژی غیر جابجایی می نامند .پیش بینی ها.عملگرهای "E" در جبر فون نویمان که "E" = "EE" = "E*" برای آنها پیش بینی نامیده می شود. آنها دقیقاً عملگرهایی هستند که یک طرح متعامد از "H" را روی یک زیرفضای بسته ارائه می دهند. گفته می شود که یک زیرفضای فضای هیلبرت "H" متعلق به جبر فون نویمان "M" است اگر تصویری از برآمدگی در "M" باشد. این یک مطابقت 1:1 بین پیش بینی های "M" و زیرفضاهایی که به "M" تعلق دارند ایجاد می کند. به طور غیررسمی، اینها زیرفضاهای بسته ای هستند که می توان آنها را با استفاده از عناصر "M" توصیف کرد، یا "M" در مورد آنها می داند.می توان نشان داد که بسته شدن تصویر هر عملگر در "M" و هسته هر عملگر در "M" متعلق به "M" است. همچنین بسته شدن تصویر تحت عملگر "M" از هر زیرفضای متعلق به "M" نیز متعلق به "M" است. (این نتایج نتیجه تجزیه قطبی است).تئوری مقایسه پیش بینی ها.اصول پایه‌ای نظریه‌ی پروژکشن‌ها توسط موری و فون نویمن (1936) تدوین شد. دو زیرفضایی که متعلق به M هستند، معادل (موری-فون نویمن) نامیده می‌شوند اگر و تنها اگر یک همارزی جزئی وجود داشته باشد که به طور ایزومورفیک اولی را به دیگری نگاشت کند و عنصری از جبر فون نویمن باشد (به طور غیررسمی، اگر M "می‌داند" که زیرفضاها ایزومورف هستند). این، رابطه‌ی همارزی طبیعی را بر روی پروژکشن‌ها القا می‌کند به این صورت که E معادل F است اگر و تنها اگر زیرفضاهای متناظر معادل باشند، یا به عبارت دیگر اگر یک همارزی جزئی در H وجود داشته باشد که به طور ایزومتری تصویر E را به تصویر F نگاشت کند و عنصری از جبر فون نویمن باشد. راه دیگر بیان این است که E معادل F است اگر و تنها اگر E=uu* و F=u*u برای برخی همارزی جزئی u در M باشد.رابطه‌ی همارزی ~ که به این صورت تعریف شده است، در معنای زیر افزایشی است: فرض کنید که E1 ~ F1 و E2 ~ F2. اگر E1 ⊥ E2 و F1 ⊥ F2 باشد، آنگاه E1 + E2 ~ F1 + F2 خواهد بود. افزایشی بودن به طور کلی برقرار نخواهد بود اگر در تعریف ~ همارزی یونیتری را مد نظر قرار دهیم، یعنی اگر بگوییم E معادل F است اگر برای برخی یونیتری u، u*Eu = F باشد. قضایای شرودر-برنشتاین برای جبرهای عملگر، شرط کافی برای همارزی موری-فون نویمن را ارائه می‌دهد.فضاهای فرعی متعلق به "M" تا حدی با گنجاندن مرتب می شوند و این باعث ایجاد نظم جزئی ≤ پیش بینی ها می شود. همچنین یک نظم جزئی طبیعی در مجموعه "کلاس های هم ارزی" پیش بینی ها وجود دارد که با ترتیب جزئی ≤ پیش بینی ها القا می شود. اگر "M" یک عامل باشد، ≤ یک ترتیب کل در کلاس های هم ارزی پیش بینی ها است که در بخش ردیابی های زیر توضیح داده شده است.یک برجستگی (یا زیرفضای متعلق به "M" ) "E" به یک طرح ریزی متناهی گفته می شود که هیچ طرحی "F" &lt; "E" (به معنی "F" ≤ "E" و "F" ≠ "E" ) که معادل "E" باشد وجود نداشته باشد. به عنوان مثال، تمام برجستگی‌های (یا زیرفضاهای) محدود بُعد محدود هستند (زیرا ایزومتریک‌های بین فضاهای هیلبرت بعد را ثابت می‌گذارند)، اما عملگر هویت در فضای بی‌بعد هیلبرت در جبر فون نویمان تمام عملگرهای محدود شده محدود نیست. از آنجایی که از نظر ایزومتریک نسبت به زیرمجموعه ای مناسب از خودش هم شکل است. با این حال این امکان وجود دارد که فضاهای فرعی ابعادی نامتناهی محدود باشند.پیش بینی های متعامد ، آنالوگ های غیر جابجایی توابع نشانگر در "L∞" ( R ) هستند. "L" ∞ ( R ) ||·|| است ∞ -بسته شدن فضای فرعی تولید شده توسط توابع نشانگر. به طور مشابه، جبر فون نویمان توسط پیش بینی های آن ایجاد می شود. این نتیجه قضیه طیفی برای عملگرهای خود الحاقی است.پیش بینی های یک عامل محدود یک هندسه پیوسته را تشکیل می دهند.عوامل.جبر فون نویمان "N" که مرکز آن فقط از مضرب عملگر هویت تشکیل شده است، عامل نامیده می شود. همانطور که نشان داد، هر جبر فون نویمان در فضای هیلبرت قابل تفکیک به یک انتگرال مستقیم از عوامل هم شکل است. این تجزیه اساسا منحصر به فرد است. بنابراین، مشکل طبقه‌بندی کلاس‌های هم‌مورفیسم جبرهای فون نویمان در فضاهای قابل تفکیک هیلبرت را می‌توان به طبقه‌بندی کلاس‌های هم‌شکل عوامل کاهش داد. showed that every factor has one of 3 types as described below. The type classification can be extended to von Neumann algebras that are not factors, and a von Neumann algebra is of type X if it can be decomposed as a direct integral of type X factors; for example, every commutative von Neumann algebra has type I1. Every von Neumann algebra can be written uniquely as a sum of von Neumann algebras of types I, II, and III.چندین روش دیگر برای تقسیم فاکتورها به کلاس ها وجود دارد که گاهی اوقات از آنها استفاده می شود:عوامل نوع I.یک فاکتور از نوع I گفته می شود که یک برجستگی حداقلی "E ≠ 0" وجود داشته باشد، یعنی یک برآمدگی "E" به گونه ای که هیچ طرح "F" دیگری با 0 &lt; "F" &lt; "E" وجود نداشته باشد. هر عاملی از نوع I با جبر فون نویمان "همه" عملگرهای محدود در فضای هیلبرت هم شکل است. از آنجایی که برای هر عدد اصلی یک فضای هیلبرت وجود دارد، کلاس های هم ریختی عوامل نوع I دقیقاً با اعداد اصلی مطابقت دارند. از آنجایی که بسیاری از نویسندگان جبرهای فون نویمان را فقط در فضاهای هیلبرت قابل تفکیک در نظر می گیرند، مرسوم است که عملگرهای محدود در فضای هیلبرت با ابعاد محدود "n را" عاملی از نوع I "n" ، و عملگرهای محدود شده را در فضای هیلبرت بی‌بعدی قابل تفکیک نامیده می‌شوند. عامل نوع I ∞ .عوامل نوع دوم.اگر پیش‌بینی‌های حداقلی وجود نداشته باشد اما پیش‌بینی‌های محدود غیرصفری وجود داشته باشد، به یک عامل از نوع II گفته می‌شود. این نشان می دهد که هر طرح "E" را می توان "نصف" کرد به این معنا که دو طرح "F" و "G" وجود دارد که معادل موری-فون نیومن هستند و "E" = "F" + "G" را برآورده می کنند. اگر عملگر هویت در یک عامل نوع II محدود باشد، ضریب از نوع II 1 گفته می شود. در غیر این صورت، گفته می شود که از نوع II ∞ است. بهترین فاکتورهای درک شده از نوع II عبارتند از عامل فوق محدود نوع II 1 و عامل فوق محدود نوع II ∞ که توسط یافت شد. اینها فاکتورهای فوق محدود منحصر به فرد از نوع II 1 و II ∞ هستند. تعداد بی شماری از عوامل دیگر از این نوع وجود دارد که موضوع مطالعه فشرده است. این نتیجه اساسی را ثابت کردند که یک عامل نوع II 1 یک حالت متناهی منحصر به فرد دارد و مجموعه آثار پیش بینی ها [0،1] است.ضریب نوع II ∞ دارای یک رد نیمه محدود است که تا مقیاس مجدد منحصر به فرد است و مجموعه آثار برآمدگی [0,∞] است. مجموعه اعداد حقیقی λ به گونه‌ای که یک اتومورفیسم وجود داشته باشد که ردیابی را با ضریب λ تغییر می‌دهد، گروه بنیادی عامل ∞ نوع II نامیده می‌شود.حاصل ضرب تانسور یک ضریب نوع II 1 و یک عامل بی نهایت نوع I دارای نوع II ∞ است و برعکس هر عاملی از نوع II ∞ را می توان به این صورت ساخت. گروه بنیادی یک عامل نوع II 1 به عنوان گروه بنیادی حاصلضرب تانسور آن با ضریب نامتناهی (قابل تفکیک) از نوع I تعریف می شود. برای سال های متمادی، یافتن یک عامل نوع II که گروه بنیادی آن نبود یک مشکل باز بود. گروه واقعی‌های مثبت ، اما کونس سپس نشان داد که جبر گروهی فون نویمان از یک گروه گسسته قابل شمارش با خاصیت کژدان (T) (نمایش بی‌اهمیت در حالت دوگانه جدا شده است. فضا)، مانند SL(3، Z )، دارای یک گروه بنیادی قابل شمارش است. متعاقباً، سورین پوپا نشان داد که گروه بنیادی می تواند برای گروه های خاصی بی اهمیت باشد، از جمله حاصلضرب نیمه مستقیم Z 2 توسط SL(2, Z ).نمونه ای از یک عامل نوع II 1 جبر گروه فون نویمان از یک گروه گسسته نامتناهی قابل شمارش است به طوری که هر کلاس مزدوج غیر پیش پا افتاده بی نهایت است. یک خانواده غیرقابل شمارش از چنین گروه هایی را با جبرهای گروه فون نویمان غیر هم شکل پیدا کرد، بنابراین وجود عوامل غیرقابل شمارش متفاوت قابل تفکیک نوع II 1 را نشان داد.عوامل نوع III.در نهایت، فاکتورهای نوع III عواملی هستند که به هیچ وجه شامل هیچ پیش‌بینی متناهی غیرصفری نیستند. در اولین مقاله خود قادر به تصمیم گیری در مورد وجود یا عدم وجود آنها نبودند. اولین نمونه ها بعداً توسط یافت شد. از آنجایی که عملگر هویت همیشه در آن فاکتورها نامحدود است، گاهی اوقات آنها را نوع III ∞ در گذشته می نامیدند، اما اخیراً این نماد با نماد III λ جایگزین شده است، که در آن λ یک عدد واقعی در بازه [0,1] است. به طور دقیق تر، اگر طیف Connes (گروه مدولار آن) 1 باشد، ضریب از نوع III 0 است، اگر طیف Connes تمام توان های انتگرال λ برای 0 باشد. &lt; λ &lt; 1، آنگاه نوع III λ است، و اگر طیف Connes تماماً واقعی مثبت باشد، نوع III 1 است. (طیف Connes یک زیرگروه بسته از واقعیات مثبت است، بنابراین اینها تنها احتمالات هستند.) تنها ردیابی در فاکتورهای نوع III مقدار ∞ را در تمام عناصر مثبت غیر صفر می گیرد و هر دو پیش بینی غیر صفر معادل هستند. زمانی فاکتورهای نوع III به عنوان اجسام غیرقابل حل در نظر گرفته می شدند، اما نظریه تومیتا تاکساکی به یک نظریه ساختار خوب منجر شده است. به طور خاص، هر عامل نوع III را می توان به صورت متعارف به عنوان حاصل ضرب ضربدر یک عامل ∞ نوع II و اعداد واقعی نوشت.پیش دال.هر جبر فون نویمان "M" دارای "M" ∗ ماقبلی است که فضای باناخ همه تابع‌های خطی بسیار ضعیف پیوسته روی "M" است. همانطور که از نام آن پیداست، "M" (به عنوان فضای باناخ) دوگانه پیش‌دوال آن است. پیش‌دوال از این نظر منحصربه‌فرد است که هر فضای باناخ دیگری که دوگانه‌اش "M" باشد، از نظر متعارف هم‌مورف به "M" * است. نشان داد که وجود یک پیش‌دوال جبرهای فون نویمان را در بین جبرهای C* مشخص می‌کند.به نظر می رسد تعریف پیش فرضی که در بالا داده شد به انتخاب فضای هیلبرت بستگی دارد که "M" روی آن عمل می کند، زیرا این موضوع توپولوژی فوق ضعیف را تعیین می کند. با این حال، پیش‌دوال را می‌توان بدون استفاده از فضای هیلبرت که "M" روی آن عمل می‌کند، با تعریف آن به عنوان فضای تولید شده توسط همه تابع‌های خطی عادی مثبت در "M" تعریف کرد. (در اینجا «نرمال» به این معنی است که وقتی برای شبکه‌های افزایش‌دهنده عملگرهای خود الحاق اعمال می‌شود، یا به طور معادل برای افزایش دنباله‌های برآمدگی، برتری را حفظ می‌کند.)"M" ∗ پیش‌فرض، زیرفضای بسته‌ای از "M*" دوگانه است (که از همه تابع‌های خطی پیوسته هنجار روی "M" تشکیل شده است) اما عموماً کوچک‌تر است. اثبات اینکه "M" ∗ (معمولاً) با "M*" یکسان نیست غیرسازنده است و از اصل انتخاب به صورت اساسی استفاده می کند. نمایش عناصر صریح "M*" که در "M" * نیستند بسیار سخت است. به عنوان مثال، اشکال خطی مثبت عجیب و غریب در جبر فون نویمان "l" ∞ ( "Z" ) توسط اولترافیلترهای آزاد ارائه می شود. آنها با همومورفیسم های عجیب و غریب * به "C" مطابقت دارند و فشرده سازی Stone-Čech "Z" را توصیف می کنند.مثال ها:اوزان و حالات و موارد خاص آنها به تفصیل در مورد بحث قرار گرفته است .هر عاملی دارای ردی است به طوری که رد یک برآمدگی غیر صفر غیر صفر است و رد یک برآمدگی نامتناهی است اگر و فقط در صورتی که برآمدگی نامحدود باشد. چنین ردیابی تا مقیاس بندی مجدد منحصر به فرد است. برای عواملی که قابل تفکیک یا متناهی هستند، دو پیش بینی معادل هستند اگر و تنها در صورتی که دارای ردیابی یکسان باشند. نوع یک عامل را می توان از مقادیر احتمالی این ردیابی بر روی پیش بینی های فاکتور به شرح زیر خواند:اگر جبر فون نویمان روی فضای هیلبرت حاوی بردار هنجار 1 "v" عمل کند، آنگاه تابعی "a" → ( "av", "v" ) یک حالت عادی است. این ساختار را می توان معکوس کرد تا یک عملکرد در فضای هیلبرت از حالت عادی ارائه شود: این ساختار GNS برای حالت های عادی است.ماژول بیش از یک عامل.با توجه به یک عامل قابل تفکیک انتزاعی، می توان برای طبقه بندی ماژول های آن، به معنای فضاهای هیلبرت قابل تفکیک که بر روی آنها عمل می کند، درخواست کرد. پاسخ به این صورت ارائه می‌شود: به هر مدول "H" می‌توان یک "M-" بعد کم "نور" ( "H" ) داد (نه بعد آن به عنوان یک فضای برداری مختلط) به طوری که مدول‌ها هم شکل هستند اگر و فقط در صورتی که دارای بعد "M" یکسان باشند. بعد "M" افزودنی است و یک ماژول نسبت به زیرفضای ماژول دیگر هم شکل است اگر و فقط اگر بعد "M" کوچکتر یا مساوی داشته باشد.اگر یک ماژول دارای بردار جداکننده چرخه ای باشد، استاندارد نامیده می شود. هر عامل یک نمایش استاندارد دارد که تا ایزومورفیسم منحصر به فرد است. نمایش استاندارد دارای یک چرخش ضد خطی "J" است به طوری که "JMJ" = "" . برای فاکتورهای محدود، ماژول استاندارد توسط ساختار GNS اعمال می شود که به حالت عادی متمایز منحصر به فرد اعمال می شود و بعد "M" نرمال می شود به طوری که ماژول استاندارد دارای ابعاد "M" -1 است، در حالی که برای فاکتورهای بی نهایت ماژول استاندارد ماژول با "M-" است. بعد برابر با ∞ابعاد "M" ممکن ماژول ها به شرح زیر است:جبرهای قابل قبول فون نویمان. and others proved that the following conditions on a von Neumann algebra "M" on a separable Hilbert space "H" are all equivalent:هیچ اصطلاح عمومی پذیرفته شده ای برای کلاس جبرهای بالا وجود ندارد. Connes پیشنهاد کرده است که amenable باید اصطلاح استاندارد باشد.عوامل قابل قبول طبقه بندی شده اند: یکی از هر یک از انواع "In" ، I ∞ ، II 1 ، II ∞ ، III λ وجود دارد، برای 0 &lt; λ ≤ 1، و آنهایی که از نوع III 0 با ارگودیک خاصی مطابقت دارند. جریان می یابد. (برای نوع III 0، نامگذاری این طبقه بندی کمی گمراه کننده است، زیرا مشخص است که هیچ راه آسانی برای طبقه بندی جریان های ارگودیک مربوطه وجود ندارد.) نوع I و II 1 توسط طبقه بندی شدند. و بقیه موارد توسط طبقه بندی شدند، به جز مورد نوع III 1 که توسط Haagerup تکمیل شد.همه عوامل قابل قبول را می توان با استفاده از ساخت فضایی با اندازه گیری گروهی موری و فون نویمان برای یک تبدیل ارگودیک ایجاد کرد. در واقع آنها دقیقاً عواملی هستند که به عنوان محصولات متقاطع ناشی از اعمال ارگودیک آزاد "Z" یا "Z/nZ" در جبرهای آبلی فون نویمان "L∞" ( "X" ) هستند. فاکتورهای نوع I زمانی رخ می دهند که فضای اندازه گیری "X" اتمی و عمل گذرا باشد. هنگامی که "X" منتشر یا غیر اتمی است، معادل [0,1] به عنوان فضای اندازه گیری است. فاکتورهای نوع II زمانی اتفاق می‌افتند که "X" یک اندازه متناهی معادل (II 1 ) یا نامتناهی ( II∞ ) را می‌پذیرد که تحت عمل "Z" تغییرناپذیر است. فاکتورهای نوع III در موارد باقیمانده که اندازه گیری ثابتی وجود ندارد، بلکه فقط یک کلاس اندازه گیری ثابت وجود دارد رخ می دهد: این عوامل عوامل کریگر نامیده می شوند.محصولات تانسور جبرهای فون نویمان.حاصل ضرب تانسور فضای هیلبرت دو فضای هیلبرت تکمیل حاصلضرب تانسور جبری آنهاست. می توان یک حاصل ضرب تانسور جبرهای فون نیومن (تکمیل حاصلضرب تانسور جبری جبرهایی که به عنوان حلقه در نظر گرفته می شوند) تعریف کرد که باز هم جبر فون نویمان است و بر روی حاصل ضرب تانسور فضاهای هیلبرت مربوطه عمل کرد. حاصل ضرب تانسور دو جبر متناهی متناهی است و حاصل ضرب تانسور یک جبر نامتناهی و یک جبر غیر صفر نامتناهی است. نوع حاصلضرب تانسور دو جبر فون نویمان (I، II یا III) حداکثر نوع آنهاست. قضیه کموتاسیون برای محصولات تانسور بیان می کند کهکه در "" نشان‌دهنده کموتانت "M" است.حاصل ضرب تانسور تعداد نامتناهی جبرهای فون نویمان، اگر ساده لوحانه انجام شود، معمولاً جبر غیرقابل تفکیک مسخره‌ای بزرگ است. در عوض، نشان داد که باید روی هر یک از جبرهای فون نویمان حالتی را انتخاب کرد، از آن برای تعریف حالتی در حاصلضرب تانسور جبری استفاده کرد، که می تواند برای تولید فضای هیلبرت و فون نویمان (به طور منطقی کوچک) استفاده شود. جبر موردی را مطالعه کردند که در آن همه عوامل جبرهای ماتریس محدود هستند. این عوامل را فاکتورهای آراکی-وودز یا فاکتورهای ITPFI می نامند (ITPFI مخفف «ضرب تانسور نامتناهی فاکتورهای محدود نوع I» است). با تغییر حالات، نوع حاصلضرب تانسور نامتناهی می تواند به طور چشمگیری تغییر کند. به عنوان مثال، حاصل ضرب تانسور نامتناهی تعداد نامتناهی از عوامل نوع I 2 بسته به انتخاب حالت ها می تواند هر نوع داشته باشد. به طور خاص یک خانواده غیرقابل شمارش از عوامل غیرهمشکلی فوق متناهی نوع III λ برای 0 &lt; λ &lt; 1، به نام فاکتورهای توان ، با گرفتن یک حاصل ضرب تانسور نامتناهی از فاکتورهای نوع I 2 ، هر کدام با حالت داده شده توسط:همه جبرهای فون نویمان بسیار محدود که از نوع III 0 نیستند نسبت به عوامل آراکی-وودز هم شکل هستند، اما تعداد زیادی از نوع III 0 غیرقابل شمارش هستند که چنین نیستند.دو ماژول ها و عوامل فرعی.دو مدول (یا مکاتبات) فضای هیلبرت "H" با عملکردهای ماژول دو جبر فون نویمان در حال رفت و آمد است. Bimodule ها ساختار بسیار غنی تری نسبت به ماژول ها دارند. هر دو مدول روی دو عامل همیشه یک عامل فرعی می دهد زیرا یکی از عوامل همیشه در کموتانت دیگری قرار دارد. همچنین یک عملکرد محصول تانسور نسبی ظریف به دلیل Connes در دو مدول وجود دارد. تئوری عوامل فرعی، که توسط وان جونز آغاز شد، این دو دیدگاه به ظاهر متفاوت را با هم آشتی داد.Bimodules همچنین برای جبر گروه فون نویمان "M" از یک گروه گسسته Γ مهم هستند. در واقع، اگر "V" هر نمایش واحدی از Γ باشد، پس با در نظر گرفتن Γ به عنوان زیرگروه مورب Γ × Γ، نمایش القایی مربوطه در "l" 2 (Γ, "V" ) به طور طبیعی یک دو مدول برای دو نسخه رفت و آمد از "M" است. ویژگی های نظری نمایش مهم Γ را می توان به طور کامل بر اساس دو مدول فرموله کرد و بنابراین برای خود جبر فون نویمان منطقی است. برای مثال، کانز و جونز تعریفی از آنالوگ خاصیت کژدان (T) برای جبرهای فون نویمان به این ترتیب ارائه کردند.عوامل غیر قابل قبول.جبرهای فون نیومن از نوع I همیشه قابل قبول هستند، اما برای انواع دیگر تعداد غیرقابل شمارشی از عوامل مختلف غیر قابل قبول وجود دارد که طبقه بندی یا حتی تشخیص آنها از یکدیگر بسیار دشوار به نظر می رسد. با این وجود، Voiculescu نشان داده است که طبقه عوامل غیرقابل قبول ناشی از ساخت فضای اندازه‌گیری گروهی، با کلاسی که از جبرهای گروه فون نویمان گروه‌های آزاد می‌آیند، متفاوت است. بعداً ناروتاکا اوزاوا ثابت کرد که جبرهای گروهی فون نویمان از گروه های هذلولی ، عوامل اول نوع II 1 را به دست می دهند، یعنی آنهایی که نمی توانند به عنوان محصولات تانسوری فاکتورهای نوع II 1 فاکتور شوند، نتیجه ای که برای اولین بار توسط Leeming Ge برای عوامل گروه آزاد با استفاده از آنتروپی آزاد Voiculescu ثابت شد. کار پوپا بر روی گروه‌های بنیادی عوامل غیرقابل پذیرش، پیشرفت مهم دیگری را نشان می‌دهد. تئوری عوامل "فراتر از فرامحدود" در حال حاضر به سرعت در حال گسترش است، با بسیاری از نتایج جدید و شگفت انگیز. ارتباط نزدیکی با پدیده سفتی در نظریه گروه هندسی و نظریه ارگودیک دارد.برنامه های کاربردی.جبرهای فون نیومن در زمینه های مختلفی از ریاضیات مانند نظریه گره ، مکانیک آماری ، نظریه میدان کوانتومی ، فیزیک کوانتومی محلی ، احتمال آزاد ، هندسه غیرجابه‌جایی ، نظریه نمایش ، هندسه دیفرانسیل ، و سیستم‌های دینامیکی کاربرد پیدا کرده‌اند.به عنوان مثال، جبر C یک بدیهیات جایگزین برای نظریه احتمال فراهم می کند. در این مورد، این روش با نام ساخت و ساز Gelfand-Naimark-Segal شناخته می شود. این مشابه دو رویکرد برای اندازه‌گیری و ادغام است، که در آن فرد می‌تواند ابتدا معیارهای مجموعه‌ها را بسازد و بعداً انتگرال‌ها را تعریف کند، یا ابتدا انتگرال بسازد و معیارهای مجموعه را به عنوان انتگرال توابع مشخصه تعریف کند.همچنین ببینید.2-