قضیه بورسوک-اولام و قضیه نقطه ثابت براوئر هر دو از قضیه های شناخته شده در توپولوژی هستند و هر دو غیر ساختاری و وجودی به شمار می آیند. بیشتر کتابهای درسی این قضیه ها را بدون ذکر رابطه آنها با یکدیگر بیان کرده اند. با وجود این ثابت می شود که قضیه بورسوک-اولام، قضیه نقطه ثابت براوئر را نتیجه می دهد. در این مقاله این نتیجه را با روشی مستقیم ثابت می کنیم.

برای مطالعه ی‎‎ نقاط برشی ، فضاهای توپولوژیک همبند با حداقل دو نقطه در نظرگرفته می شوند. یک نقطه ی برشی از فضای توپولوژیک x‎ نقطه ای مثل ‎x‎ است به طوری که ‎x-x‎ ناهمبند باشد. این سوال که آیا نقاط غیر برشی وجود دارند، درمباحث نقاط برشی اهمیت ویژه ای دارد. اگر یک فضا حداقل دو نقطه غیربرشی داشته باشد گوئیم قضیه وجودی نقطه ی غیر برشی برای فضا برقراراست. این قضیه برای هر فضای همبند بر قرار نیست. به...

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

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

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

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

دوزیرکاتگوری مدول های آرتینی رابررسی می کنیم که عبارتنداز:زیرکاتگوری سروزیرکاتگوری عریض.ثابت می کنیم که همه ی زیرکاتگوری مدول های آرتینی زیرکاتگوری سر هستند.همچنین یک تناظردوسویی رابین مجموعه زیرکاتگوری سر و مجموعه ویژه سازی زیرمجموعه بسته مجموعه ایده آل های اول بسته ی برخی از حلقه های کامل را ایجاد می کنیم. این نتایج مشابه قضیه های آرتینی که در [13]ثابت شده است.

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