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

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

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

در حلقه ی توابع پیوسته ی حقیقی مقدار روی فضای توپولوژی x، هر ایدآل اول مشمول در یک ایدآل ماکسیمال منحصر به فرد است. اگر x فشرده باشد، آن گاه هر ایدآل ماکسیمال به شکل mp برای یک p ? x و شامل همه ی عناصر f ? c(x) است به طوری که f(p) = ? و اشتراک همه ی ایدآل های اول مینیمال در mp مجموعه ی همه ی توابع پیوسته ای است که در یک همسایگی نقطه ی p صفر می شوند. در این پایان نامه عکس بعضی از جزئیات را بررسی...

در این پایان نامه ضرب ?-لاتو را روی a*b که در آن a و b دو جبر باناخ و ? یک تابعک خطی ضربی ناصفر روی b است تعریف می کنیم. a*b همراه با این ضرب تشکیل یک جبر می دهد که آن را با نماد a*?b نشان می دهیم و به بررسی برخی از خواص این جبر و مقایسه آنها با موارد مشابه روی جبرهای a و b می پردازیم. در ادامه نرم های a-محدب و m- محدب را روی جبرهای جا به جایی مطالعه می کنیم و ضمن معرفی نرم عملگری ؟؟؟؟؟ با مقای...

باتوجه به اینکه هر ایده آل اولی از ‎ ‎c(x)‎ ‎ در یک ایده آل ماکسیمال منحصر به فرد واقع خواهد شد. در صورتی که ‎ x ‎ فشرده فرض شود‏، هر ایده آل ماکسیمال به ازائ ‎ p? x ‎ به ‏شکل ‎ ‎m_p‎ خواهد بود و شامل همه‎ f?c(x) ‎است‏، که‎.f(p)=‎0 اشتراک همه ایده آل های اول مینیمال متعلق به ‎ m_p‎ که با ‎ o_p‎ نمایش داده می شود برابر است با مجموعه همه توابعی در ‎ c(x) ‎ که در یک همسایگی از ‎ p ‎‏، صفر شوند. در...

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

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

چکیده ندارد.

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