چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

هدف ما در این پایان نامه مطالعه ی منطق اثبات ها و برخی گسترش های آن است. منطق اثبات ها (cp) ابتدا توسط آرتموف در سال 1994 مطرح گردید. یکی از انگیزه های شکل گیری منطق اثبات هاارایه ی یک معنا شناسی اثبات پذیری دقیق برای s4 و صوری کردن تعبیر bhk برای منطق شهودی بود. cp گسترشی از منطق گزاره ای کلاسیک است که زبان آن علاوه بر نمادهای منطق گزاره ای شامل عملگرهای اثبات می باشد. در این پایان نامه ضمن بی...

چکیده درهمتنیدگی یکی از مهمترین موضوعات در نظریه اطلاعات کوانتومی است. این پایان نامه به تولید حالت های درهمتنیده بل و ghz در نقاط کوانتومی نیمرساناها، به کمک برهمکنش مدهای کاواک با نقاط کوانتومی می پردازد

نامساوی کلاسیک بوهر توسط اچ.بوهر در سال 1924 ارائه شد.ما در این رساله تعمیم هایی از این نامساوی برای عملگرهای خطی و کران دار روی یک فضای هیلبرت تفکیک پذیر h رابیان می کنیم. علاوه بر این روشی را بیان می کنیم که این نامساوی رابه مضربی از عملگرهاتعمیم می دهد و سچس با استفاده از این روش چند نامساوی نظیر نامساوی بوهر را به دست می آوریم.در واقع ایده ی اصلی این رساله تبدیل مسائل در نظریه عملگر به مسائ...

هندسه ناجابجایی، هندسه فضاهای کوانتمی را مطالعه می کند. به عبارت ساده تر، این کار به معنی مطالعه خواص هندسی جبرهای ناجابجایی است. اساس کار بر توجه به این نکته است که رسته های مختلفی از فضاها را می توان به وسیله جبرهای جابه جایی نگاشت ها بر آنها کاملا توصیف کرد. در این صورت به یک جبر جابجایی می توان به عنوان جبر نگاشت ها بر یک فضای ناجابجایی نگریست. حال سوال این است: خاصیت هندسی یک جبر ناجابجای...

-c*جبر c ، a*-بازتابی است هرگاه هر a-مدول هیلبرت شمارا تولید شده مانند c ، m*-بازتابی باشد، یعنیm"?m. در این پایان نامه نشان می دهیم که c*-جبر جابه جایی c ، a*-بازتابی است اگر و تنها اگر برای هر دنباله مانند ik}k} از c*-زیرجبرهای جابه جایی a ، شمول کانونی kik ? a_? به روی ?_k ik گسترش نیابد.

قضیه ی تثبیت کاسپاروف بیان می دارد که برای هر *c- جبر a و هر a- مدول هیلبرت شمارا تولید شده ی e، جمع مستقیم ah?e به عنوان a- مدول هیلبرت یکریخت با ah است. طبیعی است که در مورد تعمیم این قضیه به a- مدول های هیلبرت دلخواه سوال کنیم که در آن ah را جایگزین a j?j? ، برای یک مجموعه ی به قدر کافی بزرگ j وابسته به e، کنیم. به عبارت دیگر برای هر a- مدول هیلبرت e، آیا مجموعه ی مناسب j ای وابسته به e وجود...

در این پایان نامه عملگرهای ضربی را روی جبر تمام عملگرهای خطی و کراندار که روی فضای هیلبرت h تعریف می شوند، معرفی می کنیم و خواص ویژه ی این دسته از عملگرها را مورد بررسی قرار می دهیم و نرم آنها را نیز بدست می آوریم. هم چنین عملگرهای مقدماتی را با استفاده از عملگرهای ضربی تعریف می کنیم و رده های خاص این عملگر از قبیل عملگرهای مشتق درونی، عملگرهای مشتق تعمیم یافته و عملگر مقدماتی ژوردن را معرفی می...