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

در این تحقیق با بررسی فضای عملگرها و ویژگی های آن به مطالعه روش های نشاندن c0 در فضای عملگرهای فشردهw*-w پیوسته می پردازد. همچنین شرایط متمم پذیری فضای عملگرهای فشرده درفضای عملگرهای w-فشرده و متمم پذیری فضای عملگرهای فشرده w*-w پیوسته در فضای عملگرهای خطی w*-w پیوسته را مورد بررسی قرار می دهد.

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

نظریه مجموعه های راف در سال $1982$ توسط پاولاک ltrfootnote{pawlak} معرفی شد cite{pawlak}. تاکنون انواع مختلفی از تعمیم های مجموعه های راف از جمله مجموعه های تعریف پذیر خارجی ارائه شده است cite{chem}. اخیرا نوع جدیدی از مجموعه های راف تعمیم یافته به نام مجموعه های تعریف پذیر شبه خارجی معرفی و برخی از ویژگی های مهم آنها بررسی شده است cite{chem,jinjin li}. همچنین با استفاده از تقریب های...

در این پایان نامه ابتدا نرم تانسوری ? را روی حاصل ضرب تانسوری دو فضای باناخ تعریف می کنیم و آن را به یک فضای باناخ تبدیل می کنیم. با استفاده از این فضای باناخ جبر عملگرهای ?_انتگرال و جبر عملگرهای ?-هسته ای را تولید می کنیم. پس از آن ضرب های آرنز و آرنز-منظمی جبر عملگرهای ?-هسته ای را مورد بررسی قرار می دهیم که بررسی شامل عملگرهای هسته ای، عملگرهای تقریب پذیر و عملگرهای 2-هسته ای ( به عنوان مثا...

ابتدا هیلبرت c*-مدول های شمارا مولد تعریف میشود.بدین جهت ابتدا c*-جبر را تعریف میکنیم.عناصر خاصی از آن مثل تصاویر معرفی میشوند.مفهوم قاب ها را برای هیلبرت c*-مدول های شمارا مولد باز میکنیم.عملگرهای الحاقی پذیر پوشا مطالعه میشوند و ارتباط بین پوشایی و کرانداری بررسی میشود.اثر عملگرهای الحاقی پذیر پوشا بر قابها به صورت یک قضیه بررسی میشود. عملگرهای فشرده و c*-جبر متشکل از آن بررسی میشود.اگر ( k(...

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

فرض کنید (g,+,m,m) یک گروه اندازه پذیر، کامل، آبلی بطوریکه اندازه g متناهی و e یک فضای باناخ باشد. برای هر تابع f عملگرهای تفاضلی درجه دوم در فضاهای l^p را تعریف می کنیم و ثابت می کنیم که دقیقا یک تابع درجه دوم k و یک ثابت c وجود دارد،و در نهایت ثابت میکنیم که این عملگرها خطی، پیوسته و وارون پذیر است. فرض کنید e یک فضای باناخ و (x,+,m,m)یک نیم گروه کامل و عینا مساوی با صفر نیست و اندازه x متنا...

در این پایان نامه که بر مبنای مقالات [hieronymi] و [miller] نوشته شده است، ابتدا به بررسی ویژگی های تعریف پذیر بسط های به طور تعریف پذیر کامل از ترتیب های خطی چگال فاقد نقاط ابتدایی و انتهایی پرداخته می شود. سپس نشان داده می شود که اگر چنین بسط هایی ساختار گروهی داشته باشند، آن گاه هر زیرگروه تعریف پذیر سره در آن ها چگال و متمم-چگال است، یا گسسته بوده و برای ساختار اصلی یک بخش صحیح می باشد. همچ...

در این پایان نامه به خواص مدل های تعریف پذیر حساب پئانو در مدل های دیگر پئانو پرداخته می شود.