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

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

چکیده ندارد.

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

این پایان‏نامه به بررسی دیدگاهی نو در حل مسائل کنترل بهینه پرداخته ‏است. بر‏اساس تئوری کنترل بهینه، ابزارهای ریاضی هوشمند و ارائه‏ی الگوریتمی نو بر مبنای توابع متعامد در فضای هیلبرت این تحقیق توانسته است مسائل کنترل بهینه غیر خطی را پوشش دهد. انتقال مداری بهینه‏ی فضاپیمای تراست?کم از اهمیت ویژه‏ای در حوزه‏ی طراحی ماموریت‏های فضایی برخوردار است. لذا این تحقیق بر اساس الگوریتم نو و خلاقانه‏ی خود،...

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

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