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

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

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

هدف این مقاله ارائه اثباتهای دیگری برای چند قضیه مقدماتی در آنالیز حقیقی است. اثبات دیگری از یک قضیه دید تازه تری  نسبت به آن ایجاد می کند که برای  توجیه آن رهیافت نو کافی است. به هر حال اثباتی تازه برای یک قضیه قدیمی  که به لحاظ مفهومی ساده تر باشد، دارای مزایای آشکاری است.

در این پایان نامه نخست قضیه ای برای بدست آوردن جواب های لگاریتم محدب معادله تابعی (f(x+1)=g(x)f(x ثابت می کنیم که تعمیمی از قضیه بور - مولراپ - آرتین است چنین قضیه ای امکان به دست آرودن قضایای دیگری برای معادله تابعی دیگری را با توجه به شرایط اعمال شده بر g فراهم می کند در واقع با اعمال شرایط مجانبی روی g می توان جوابهای (سرانجام) لگاریتم محدب و همچنین جواب های (سرانجام )لگاریتم محدب از مرتبه د...

در سال های اخیر توجه قابل ملاحظه ای جهت برآورد جوابهای معادلات دیفرانسیل جزئی صورت گرفته است. در بسیاری از این مطالعات اصول قضیه فراگمن -لیندلوف مورد استفاده قرار گرفته است. در این راستا معادلات دیفرانسیل جزئی غیر خطی از اهمیت خاص برخوردار بوده است. به عنوان نمونه روسمن ‏‎(j.i. roseman 1973)‎‏ از تعمیم قضیه فراگمن=لیندلوف در معادلات بیضوی غیر خطی مرتبه ی دو استفاده کرده است. هم چنین هورگان و هم...

چکیده اعداد صحیح b و d داده شده اند به طوری که |b|>1 و d > 1 . هدف ما ساختن توابع تظریف پذیر هموار و تفکیک ناپذیر با محمل فشرده و ضریب اتساع b است که یک آنالیز چندریزه ساز روی) (r^d l^2 تولید می کند. این توابع تظریف پذیر، تفکیک ناپذیرند. به عبارت دیگر نمی توان آنها را به صورت حاصلضرب دو تابع از بعدهای پایین تر بیان کرد. با استفاده از این توابع مقیاس و یک تعمیم از قضیه ای از لای و استوکلر، قابک...

در آنالیز کلاسیک مشتق¬پذیری توابع نقش اساسی را ایفا می¬کند. به طور کلی در آنالیز هموار توابع همه جا مشتق پذیر نیستند، اما بحث مشتق پذیری توابع در آنالیز غیر هموار کمی پیچیدتر می¬شود. دراین پایان¬نامه بر آن هستیم که به معرفی چند مشتق برای توابع تعریف شده روی یک فضای باناخ بپردازیم. در ادامه با استفاده از مشتق¬های معرفی شده مفهوم زیر مشتق را بیان می¬کنیم. هدف اصلی ما در این پایان نامه معرفی ε-ز...

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