زیر فضای بسته m از فضای باناخx را متمم دار نامیم هر گاه زیر فضایی مانندn درx وجود دشته باشد که x ? n ? m. از تعریف روشن است که در یک فضای هیلبرت، هر زیرفضای بسته متمم دار است. چون مطالعه و توصیف زیرفضاهای متمم دار، کمک زیادی به شناختن خود فضاهای باناخ و در نتیجهکمک به شناخت عملگرهای روی فضاهای باناخ می نماید، لذا بررسی این زیر فضاها در آنالیز تابعی و نظریه عملگرها دارای اهمیت فوق العاده ای است....

چکیده ندارد.

یک _nتایی از عملگرها دنباله ای متناهی به طول n از عملگرهای خطی پیوسته جابجاپذیر روی فضای موضعاً محدب x است. در فصل اول، مدارهای عملگرهای ساده و عملگرهای ابردوری (در حالت n=1) مورد بررسی قرار گرفته است. بخصوص « قضیه برخی جاها چگال»، که می گوید اگر t یک عملگر خطی پیوسته روی فضای موضعاً محدب x باشد، آنگاه هر مدار t یا همه جا چگال است یا هیچ جا چگال، اثبات شده است. در فصل دوم ثابت شده است _(n+1)تایی ...

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

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

موضوع این پایان نامه ، کوانتش مشاهده پذیر های کلاسیکی برای ذره جرم دار مربوط به فضای دوسیتر 1+1 روی حلقه مختلط می باشد . فضای دوسیتر 1+1 را می توان به صورت یک هیپربولوئید در فضای مینکوفسکی سه بعدی تجسم نمود . یکی از مباحث جالب در این فضا ، کوانتش مشاهده پذیر های کلاسیکی به روش حالت های همدوس می باشد . در این روش ، ابتدا فضای فاز مربوط به هیپربولوئید را که فضای کتانژانت مربوط به یک حلقه است تعی...

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