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