وبلاگ

در جبرهای C* مفهومی به نام -C*محدب و -C*فرین وجود دارد  که تعریف -C* محدب را در قسمت تعاریف اصلی خواهیم آورد و تعریف نقاط – فرین را از مقاله ی لوئبل و پالسن (1981) می­اوریم. این نقاط برای زیر مجموعه­های  از جبر  C*،  ،همان  نقاط فرین در مقاله ی لوئبل و پالسن(1981)هستند که عکس آن طبق مقاله­های هاپنواسر و مور (1981)و فارنیک و مورنز (1993)بر قرار نمی باشد. طبق مقاله ی لوئبل و پالسن(1981)حالت دیگری از قضیه کراین میلمان برای مجموعه­های فشرده – محدب برقرار است و در واقع اخیراً برای زیر مجموعه­های Mn این چنین قضیه­ای توسط مورنز (1994) ثابت شده بود که از بعضی کارهای  قبلی فارنیک (1992) و فارنیک و مورنز استفاده شده.

درفصل 3 این پایان نامه قضیه 3-2-2 را در حالت کلی برای عامل­های ابرمتناهی بیان کرده و اثبات آن را به کمک قضیه های زیرنشان خواهیم داد.

قضیه: فرض کنید R یک عامل دلخواه باشد و وجود داشته باشد  به طوری که یک زیر عامل (شامل همانی R) ایزوموف با Mn باشد. آنگاه برای  هر  به طوری که Wn(x)به عنوان زیر مجموعه­ای از A در نظر گرفته  می­شود و A توسط Mn مشخص می­شود (با استفاده از یک C*-ایزومورفیسم دلخواه) به  علاوه  برای هر نگاشت کاملاً  مثبت یکانی  و هر زیر مجموعه محدب C* فشرده ی ضعیف ستاره ی  از R.

قضیه: فرض کنید R یک جبرC* یکانی و A یک زیر جبر C* شامل همانی R باشد  به طوری که برای هر  یک امید شرطی  وجود داشته باشد که . اگر  زیرمجموعه محدب C* از R باشد که  برای هر نگاشت کاملاً مثبت یکانی ، آن گاه .

هم چنین درفصل 3 لم زیر را برای اثبات قضیه3-1-3  استفاده کرده و لم 3-2-2 را نیز اثبات خواهیم کرد.

قضیه: فرض کنید A یک جبرC* یکانی باشد و am,…,a1 عناصر A و p یک حالت روی A در بستار ضعیف ستاره حالت­های محض باشد. آن گاه برای هر وجود دارد عنصر  به طوری که  و برای i=1,…,m.

پس از آن در فصل 4، قضیه 3-1-3 را در حالت R=Mn توسط نتایجی از مقالات فارنیک (1992) و مورنز (1994) یا مقاله ی وبستر و وینکلر(1999 )  اثبات خواهیم کرد.

خاطر نشان می­شویم که وجود نقاط  _ فرین از زیرمجموعه­های   _محدب فشرده ی ضعیف ستاره ی K از یک جبر دلخواه فون نویمان در مقاله ماگاجنا اثبات شده اما نقاط فرین بدست آمده از مقاله ماگاجنا دلخواه است و برای تولید کردن K مناسب نیست.

بنابراین برای جبرهای دلخواه فون نویمان این مسئله که هر زیر مجموعه -C*محدب فشرده ی ضعیف ستاره توسط نقاط -C*فرینش تولید می­شود، هنوز حل نشده است.