عبارت مورد نظر خود را بنویسید
قضیه لومان-منشوف در تحلیل مختلط بیان میکند که یک تابع پیوسته با مقادیر مختلط در یک مجموعه باز از صفحه مختلط، هولومرفیک است اگر و تنها اگر معادلات کوشی-ریمان را برآورده کند. این قضیه، تعمیمی از قضیه گورسا است و شرط پیوستگی تابع را به جای مشتقپذیری فریژه بررسی میکند.
حوزه بدون محدودیت (Unrestricted Domain) در نظریه انتخاب اجتماعی، به ویژگیای از تابع رفاه اجتماعی اشاره دارد که تمام ترجیحات رأیدهندگان را بدون در نظر گرفتن ملاحظات دیگر، در نظر میگیرد. این مفهوم، یکی از پیشنیازهای اساسی برای توابع انتخاب اجتماعی است و در قضیه محالیت ارو نقش کلیدی ایفا میکند.
قضیهٔ گنومون بیان میکند که در برخی موازیالاضلاعها که در گنومون تشکیل میشوند، مساحتهای برابر وجود دارد. این قضیه در هندسهٔ اقلیدسی ریشه دارد و کاربردهای مهمی در ساخت اشکال هندسی و تبدیل مسائل هندسی به جبر دارد.
قضیه والاس-بولیایی-گرویِن در هندسه، که به نام ویلیام والاس، فارکاس بولیایی و پ. گرویِن نامگذاری شده، بیان میکند که دو چندضلعی را میتوان با برش به قطعات محدود و بازچینی آنها با جابجایی و چرخش، به یکدیگر تبدیل کرد، به شرطی که مساحت آنها برابر باشد.
قضیه ایتو-نیسيو، اثباتشده توسط ریاضیدانان ژاپنی در ۱۹۶۸، همگرایی مجموع متغیرهای تصادفی مستقل و متقارن در فضاهای باناخ را بررسی میکند. این قضیه معادلهای مختلفی برای همگرایی تقریباً حتمی، همگرایی به احتمال و تنگش یکنواخت ارائه میدهد و به تعمیم حرکت براونی میانجامد.
برهان قطری تکنیکی خلاقانه در ریاضیات است که در اثبات قضایای مهمی چون قضیه کانتور، پارادوکس راسل، لم قطری، قضایای ناتمامیت گودل و مسئله توقف کاربرد دارد.
الگوریتم بوزِن، که در نظریه صف و احتمال کاربرد دارد، روشی انقلابی برای محاسبه ثابت نرمالسازی G(N) در قضیه گوردن-نیول است. این الگوریتم که توسط جفری پ. بوزِن در ۱۹۷۱ معرفی شد، با کاهش چشمگیر پیچیدگی محاسباتی، امکان مدلسازی سیستمهای واقعی مانند شبکههای کامپیوتری و سیستمهای تولید انعطافپذیر را فراهم کرد.
قضیه استوارت در هندسه، رابطهای میان طول اضلاع و برآمد (cevian) در یک مثلث برقرار میکند. این قضیه به افتخار متیو استوارت، ریاضیدان اسکاتلندی، نامگذاری شده که آن را در سال ۱۷۴۶ میلادی منتشر کرد. این قضیه طول برآمد را با استفاده از طول اضلاع و بخشهای تقسیمشده توسط برآمد، مرتبط میسازد.
قضیه دنوآ در ریاضیات، شرط کافی برای همارزی توپولوژیکی یک دیفئومورفیسم دایره با چرخش غیرجبری را بیان میکند. این قضیه توسط دنوآ در جریان طبقهبندی توپولوژیکی هومئومورفیسمهای دایره اثبات شد. او همچنین مثالی از دیفئومورفیسم C1 با عدد چرخشی غیرجبری ارائه کرد که با چرخش همارز نیست.
زاویه داخلی دایره زاویهای است که در داخل دایره تشکیل میشود زمانی که دو وتر با هم تقاطع میکنند. این زاویه همچنین میتواند به عنوان زاویهای تعریف شود که در یک نقطه روی دایره، توسط دو نقطه دیگر روی دایره ایجاد میشود. بر اساس قضیه زاویه داخلی، اندازه این زاویه نصف اندازه زاویه مرکزی است که همان کمان را میپوشاند.
نابرابریهای چبیشف-مارکوف-استیلتjes در تحلیل ریاضی، کرانهای دقیقی را برای اندازهگیری توزیعها بر حسب گشتاورهای اولیه ارائه میدهند. این قضیه در دهه ۱۸۸۰ میلادی توسط چبیشف مطرح و توسط مارکوف و استیلتjes اثبات شد.
قضیه بریکنریج-مکلورین، نامگذاری شده به افتخار ریاضیدانان بریتانیایی قرن هجدهم، معکوس قضیه پاسکال است. این قضیه بیان میکند که اگر سه نقطه تقاطع جفت خطوط عبوری از اضلاع مقابل یک ششضلعی روی یک خط قرار بگیرند، آنگاه شش رأس ششضلعی روی یک مخروطی قرار میگیرند. این قضیه در ساخت مخروطیها از پنج نقطه و تعیین مکان نقطه ششم کاربرد دارد.
قضیه بیز، که به افتخار توماس بیز نامگذاری شده، روشی علمی برای بهروزرسانی باورها بر اساس شواهد جدید است. این قضیه کاربردهای گستردهای در حوزههای مختلف از جمله حقوق و بازاریابی دارد.
پیتر استیون لندوبر، زاده ۱۷ اوت ۱۹۴۰ در واشینگتن دی.سی، یک ریاضیدان آمریکایی است که در حوزه توپولوژی جبری فعالیت میکند. او با معرفی جبر لندوبر-نویکف و اثبات قضیه فانکتور دقیق خود، نقش مهمی در توسعه نظریههای همولوژی ایفا کرده است. لندوبر همچنین به همراه دو همکارش، نظریه همولوژی بیضوی را معرفی کرد که کاربردهای گستردهای در فرمهای ماژولار و منحنیهای بیضوی دارد.
آسکولد ایوانوویچ وینوگرادوف (۱۹۲۹–۳۱ دسامبر ۲۰۰۵) ریاضیدان روس بود که در نظریه تحلیلی اعداد پژوهش میکرد. نام او با قضیه بمبیری–وینوگرادوف، از نتایج مهم درباره توزیع اعداد اول، پیوند خورده است.
قضیه گورنستاین–والتر ساختار گروههای متناهی با زیرگروه سیلوی ۲-تایی دووجهی را توصیف میکند و نشان میدهد پس از حذف بخش فردی، چه گروههایی میتوانند ظاهر شوند.
قضیه فرنیک، اثبات شده توسط زاویر فرنیک در ۱۹۷۰، به بررسی رفتار اندازههای گاوسی در فضاهای باناخ میپردازد. این قضیه نشان میدهد که متغیرهای تصادفی گاوسی در این فضاها دارای دمهای نمایی هستند، مشابه رفتار آنها در فضاهای محدودبعدی.
تابع انتگرال لگاریتمی یا li(x) یکی از توابع خاص در ریاضیات است که کاربردهای مهمی در فیزیک و نظریه اعداد دارد. این تابع بر اساس قضیه اعداد اول، تقریب بسیار خوبی برای تابع شمارش اعداد اول ارائه میدهد و نقشی کلیدی در درک توزیع اعداد اول ایفا میکند.
ران آهارونی، ریاضیدان اسرائیلی و استاد تکنیون، در ترکیبیات متناهی و نامتناهی پژوهش میکند؛ از گسترش قضیه ازدواج هال برای گرافهای نامتناهی تا نوشتن کتابهایی برای آموزش ریاضی به والدین و معلمان.
قضیه گیبورد-سَترثویت در نظریه انتخاب اجتماعی نشان میدهد که اکثر سیستمهای رأیگیری با بیش از دو گزینه، یا دیکتاتورانه هستند، یا نتایج را به دو گزینه محدود میکنند، یا قابل دستکاری توسط رأیدهندگان برای منافع شخصی هستند.
