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

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

*c-مدول های هیلبرت یک رده بین فضاهای باناخ و فضاهای هیلبرت هستند به طوری که در تمامی اصول فضای هیلبرت صدق می کنند بااین تفاوت که ضرب داخلی ذر نظر گرفته شده مقادیرش در یک *c-جبر می باشد.

برآورد عمق و موقعیت افقی توده‌های مغناطیسی (پارامترهای موقعیتی توده) در تفسیر داده­های مغناطیس­سنجی بسیار مهم است. در این زمینه روش­های متعددی توسط نویسندگان مختلف معرفی و مورد استفاده قرار گرفته است. اکثر این روش­ها به نوع و هندسه مدل زیرسطحی مولد بی‌هنجاری وابسته هستند. بدین معنی که در رابطه تخمین عمق نهایی، پارامتری به نام شاخص ساختاری وجود دارد که بیانگر هندسه توده است و قبل از حل معادله با...

در این رساله ابتدا این برسی میکنیم تحت چه شرایطی جمع و ترکیب دو عملگر یک مدول یک *c-مدول هیلبرت منظم است. سپس به مساله اغتشاش عملگرهای (خود الحاق) منظم فردهلم را بروی *c-مدولهای هیلبرت می پردازیم.در ادامه خواص توپولوژیک مجموعه عملگرهای (خود الحاق)منظم فردهلم را در فضای عملگرهای (خود الحاق)منظم نسبت به متر رخنه بررسی می کنیم. سپس قضیه تجزیه برد داگلاس برای عملگرهای بسته و به طور چگال تعریف شده ب...

در این پایان نامه، ابتدا تعاریف و خواصی از فضاهای هیلبرت، ‎c*-جبرها، حاصل ضرب تنسوری جبری و‎‎c*-مدول های ‎ هیلبرت را بیان می کنیم. سپس به بررسی تابعک های خطی مثبت، نگاشت های مثبت و نگاشت های کاملاً مثبت رویc*-جبرها پرداخته و دو قضیه ی اساسی در زمینه ی نگاشت های کاملاً مثبت بیان خواهیم کرد؛ قضیه ی اشتین اشپرینگ که یک نمایش مشخص از نگاشت های کاملاً مثبت رویc*-جبر ها به جبر عملگرهای کراندار روی فضاه...

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

فرض کنیم x یک فضای باناخ حقیقی باشد . ثابت می کنیم که اگر یک عملگر مثبت ، متقارن ، یک به یک و اکیداً نامنفرد از x به توی دوگانش وجود داشته باشد آنگاه یا x با یک فضای هیلبرت یکریخت می باشد یا شامل یک زیر فضای متمم شده غیر بدیهی است که با یک فضای هیلبرت یکریخت می باشد . همچنین ما به مورد غیر متقارن نیز خواهیم پرداخت .

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