تمرکز مقاله بر بیان اثبات های متعدد قضیه مشهور پروانه در هندسه اقلیدسی است.

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

یک گراف را بدون پنجه گوییم هرگاه دارای رأسی نباشد که دارای سه همسایه ی دو به دو نامجاور باشد. در نگاه اوّل، این طور به نظر می رسد که انواع بسیار زیادی از گراف های بدون پنجه وجود دارد. به عنوان مثال، گراف های یالی، گراف بیست وجهی، مکمل گراف های منشوروار و گراف اشلفلی (یک گراف بسیار متقارن زیبا با ‎??‎‎ رأس) را می توان به عنوان نمونه هایی از گراف های بدون پنجه نام برد. به علاوه، اگر رئوس یک گراف ر...

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

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

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

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

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