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

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

در این تحقیق ابتدا عملگر پیش قاب q برای g-قاب، در فضای هیلبرت مختلط که نقش کلیدی در مطالعه g-قابها، g-پایه های ریس و... دارد را معرفی می نماییم. g-قابها خواص مشابه زیادی با قابها دارند. با استفاده از عملگر پیش قاب q برخی از شرایط لازم و کافی برای اینکه g-دنباله بسل، g-قاب و g-پایه ریس خصوصیات مشابهی به ترتیب با دنباله بسل، قاب و پایه ریس در فضای هیلبرت داشته باشند را بدست می آوریم. ...

چکیده ندارد.

چکیده ندارد.

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

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

چکیده ندارد.

در این پایان نامه به مطالعه ی نگاشت های حافظ تعامد و تقریبا حافظ تعامد در - مدول های فضای ضرب داخلی می پردازیم . درحالت خاص اگر a ،w,v - مدول های ضرب داخلی روی *c- جبر a باشند هر مضرب اسکالر از یک ایزومتری a- خطی، یک نگاشت حافظ تعامد a- خطی خواهد بود . عکس این مطلب در حالت کلی برقرار نمی باشد ولی در حالتی که aشامل k(h) باشد عکس آن برقرار خواهد بود) k(h) بیانگر c* - جبر همه عملگرهای فشرده روی یک...