دنباله ی در فضای هیلبرت h، قاب نامیده می شود هرگاه b وa مثبت موجود باشند که برای هر ،[8]. قابها سیستم هایی قوی و پایدار هستند که نمایش غیر منحصربفردی از بردارها را فراهم می سازند . این سیستم ها در دو دهه ی اخیر در مواردی از قبیل نظریه ی فیلتر بانک[4] کوانتمی کردن سیگما _ دلتا [3] فرایند تصویر و سیگنال [5] و ارتباط بدون سیم [12] مورد مطالعه قرار گرفته اند. فرض کنیدi یک مجموعه ی اندیس گذار ش...

چکیده ندارد.

چکیده ندارد.

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

در این پایان نامه ابتدا تعاریفی از قاب و جمع مستقیم در فضاهای هیلبرت را ارائه داده و سپس دنباله ‏‏ی قاب با مجموعه اندیس شمارش پذیر در فضای هیلبرت را تعریف می‏کنیم [2,15]و درادامه شرایط لازم و کافی برای اینکه جمع دو دنباله بسل با عملگرهای مربوط به آن در فضای هیلبرت قاب باشد را در[3,2] بیان می‏کنیم.همچنین خواصی از جمع وجمع مستقیم دنباله‏های قاب در[12,6] بیان کرده که در این راستا شرایط لازم و کافی...

چکیده ندارد.

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

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

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

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