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

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

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

با مرور مفاهیمی از نظریه کلاف های برداری به نظریه kتوپولوژیک وارد شده به کمک آن دو مساله توپولوژی جبری توازی ناپذیری کره ها مگر s^1,s^2,s^7و عدم وجود ساختار جبر بخشی جز برای r^1,r^2,r^4,r^ اثبات شده اند.

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

فرض کنیم q زیرمجموعه ای محدب و فشرده از یک فضای برداری تو×ولوژیک موضعا محدب و هاسدورف باشد و فرض کنیم s گروه یا نیم گروهی از تبدیلات آفینی ×یوسته از q به q باشد. در این ضصورت تحت شرایطی s دارای نقطه ثابت مشترکی در q است. در سال 1938 کاکوتانی نقطه ثابت مشترک یک خانواده خطی ×یوسته یا آفینی از نگاشت ها را مورد بررسی قرار دادکه نگاشت هایی از نوع کاکوتانی مورد توجه بسیاری از ریاضیدانان بعد از وی ق...

چکیده       مطالعه سازند سروک در میدان نفتی کوپال منجر به شناسایی 8 رخساره رسوبی شده که در محیط­های لاگونی، سدی و دریای باز در یک رمپ کربناته با شیب ملایم نهشته شده­­ است. کیفیت مخزنی سازند سروک ارتباط نزدیکی با فرآیندهای دیاژنزی دارد. فشردگی، سیمانی شدن، انحلال، شکستگی و دولومیتی شدن مهمترین فرآیندهای دیاژنزی کنترل کننده خواص مخزنی هستند. دو عامل نخست باعث کاهش کیفیت مخزنی و سه عامل بعدی افزای...

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

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

هدف این مقاله ارائه اثبات دیگری از قضیه اساسی جبر بر مبنای خواص ماتریس های نمایی در فضای برداری نرمدار اقلیدسی است.