stanford-oval/wikipedia huggingface dataset:
شهرستان خوزات

مکان
| شهرستان خوزات | شهرستان خوزات |
| --- | --- |
شهرستان خوزات: شهرستان خوزات
مختصات: ۳۹°۰۶′۳۳″ شمالی ۳۹°۱۳′۱۲″ شرقی﻿ / ﻿۳۹٫۱۰۹۱۷°شمالی ۳۹٫۲۲۰۰۰°شرقی﻿ / 39.10917; 39.22000: مختصات: ۳۹°۰۶′۳۳″ شمالی ۳۹°۱۳′۱۲″ شرقی﻿ / ﻿۳۹٫۱۰۹۱۷°شمالی ۳۹٫۲۲۰۰۰°شرقی﻿ / 39.10917; 39.22000
استان: استان تونج‌ایلی
حکومت: حکومت
 • شهردار: Celaleddin Polat (حزب جمهوری‌خواه خلق)
 • قائم‌مقام: Fatih Demir
مساحت: مساحت
 • منطقه: ۷۷۷٫۱۳ کیلومتر مربع (۳۰۰٫۰۵ مایل مربع)
جمعیت (2012): جمعیت (2012)
 • شهری: ۶٬۶۹۳
 • منطقه: ۸٬۶۶۱
 • تراکم منطقه: ۱۱/کیلومتر مربع (۲۹/مایل مربع)
کد پستی: 62400
سامانه طبقه‌بندی اقلیمی کوپن: اقلیم قاره‌ای مرطوب
وبگاه: www.hozat.bel.tr
شهرستان خوزات (به ترکی استانبولی: Hozat) از شهرستان‌های کردنشین استان تونج‌ایلی در شرق ترکیه است. این شهرستان از لحاظ جغرافیایی، بخشی از فلات ایران محسوب می‌شود که پس از جنگ چالدران به تصرف عثمانیها درآمد.
| داده‌های کتابخانه‌ای  | داده‌های کتابخانه‌ای  |
| --- | --- |
عمومی:  ویاف 1  ورلدکت (از طریق ویاف) 
کتابخانه‌های ملی:  اسرائیل  ایالات متحده آمریکا 
↑  "Area of regions (including lakes), km²". Regional Statistics Database. Turkish Statistical Institute. 2002. Retrieved 2013-03-05.
↑  "Population of province/district centers and towns/villages by districts - 2012". Address Based Population Registration System (ABPRS) Database. Turkish Statistical Institute. Retrieved 2013-02-27.
روح (فیلم ۲۰۲۰)

| روح | روح |
| --- | --- |
پوستر رسمی فیلم: پوستر رسمی فیلم
کارگردان: پیت داکتر
تهیه‌کننده: دانا مورای
نویسنده: پیت داکتر مایک جونز کمپ پاورز
بازیگران: جیمی فاکس تینا فی گراهام نورتون ریچل هاوس آلیس براگا ریچارد آیوادی فیلیسیا رشاد دانل راولینگز کوئستلاو آنجلا باست فورچون فیمستر
موسیقی: ترنت رزنر آتیکوس راس
فیلم‌بردار: مت آسپبری ایان مگیبن
تدوین‌گر: کوین نولتینگ
شرکت تولید: والت دیزنی پیکچرز پیکسار
توزیع‌کننده: استودیو سینمایی والت دیزنی
تاریخ‌های انتشار:  ۱۱ اکتبر ۲۰۲۰ (۲۰۲۰-۱۰-۱۱) (BFI)    ۲۵ دسامبر ۲۰۲۰ (۲۰۲۰-۱۲-۲۵) (ایالات متحده)  
مدت زمان: ۱۰۱ دقیقه
کشور: ایالات متحده
زبان: انگلیسی 
هزینهٔ فیلم: ۱۵۰ میلیون دلار
فروش گیشه: ۲۵۰ میلیون دلار
روح (به انگلیسی: Soul) یک پویانمایی رایانه‌ای در ژانر ماجراجویی، فانتزی و کمدی–درام به کارگردانی پیت داکتر ساختهٔ پیکسار است که توسط والت دیزنی پیکچرز در سال ۲۰۲۰ منتشر شد. از بازیگران آن می‌توان به جیمی فاکس و تینا فی اشاره کرد.
انیمیشن روح، ابتدا در جشنواره فیلم لندن در ۱۱ اکتبر اکران شد. ابتدا قرار بود برای اکران سینمایی در نظر گرفته شود اما به دلیل شیوع ویروس کروناویروس به صورت دیجیتالی در دیزنی پلاس منتشر شد. انیمیشن، داستان، صداپیشگی و موسیقی اثر مورد تحسین منتقدان قرار گرفت. این انیمیشن در نود و سومین دوره جوایز اسکار، برنده جایزه اسکار بهترین فیلم پویانمایی و موسیقی متن فیلم شد.
داستان

داستان فیلم پویانمایی روح، دربارهٔ جو گاردنر، آموزگار نوازندگی یک گروه موسیقی در دبیرستان است. جو که همیشه سودای اجرای موسیقی جاز بر صحنه را در سر می‌پرورانده، با تحت تأثیر قرار دادن دیگر موسیقی‌دانان جاز، در یک تمرین آزاد در هالف نوت کلاب، این فرصت نصیبش می‌شود و خود را برای دست یافتن به آرزوهایش آماده می‌کند.
اما در ادامه حادثه‌ای باعث می‌شود که روح گاردنر از بدنش جدا شود و به سمینار «خود» منتقل شود. مرکزی که در آن روح‌ها رشد می‌کنند و پیش از انتقال به کالبد نوزادان تازه متولد شده، شور و اشتیاق برای زندگی پیدا می‌کنند!
گاردنر برای بازگشت به زمین باید بر روی ۲۲ (یکی از روح‌های سمینار خود) کار کند. غافل از اینکه ۲۲، پس از سال‌ها ماندن در آنجا، دیدش نسبت به زندگی عوض شده و درکی از مفاهیم زندگی ندارد!
این در حالی است که جو تنها راه نجات خود را تحول ۲۲ می‌داند…
جوایز

نود و سومین دوره جوایز اسکار
| قسمت | نامزد | نتیجه |
| --- | --- | --- |
| بهترین صداگذاری | رن کلایس، کویا الیوت و دیوید پارکر | نامزدشده |
| بهترین موسیقی متن | ترنت رزنر، آتیکوس راس و جان باتیست | برنده |
| بهترین فیلم پویانمایی | پیت داکتر و دانا موری | برنده |
هفتاد و هشتمین مراسم گلدن گلوب
| قسمت | نامزد | نتیجه |
| --- | --- | --- |
| بهترین موسیقی | ترنت رزنر، آتیکوس راس و جان باتیست | برنده |
| بهترین فیلم انیمیشن | پیت داکتر و دانا موری | برنده |
زوطر الشرقیة

مکان در 23x15px|border |alt=|link= لبنان
| زوطر الشرقیة زوطر الشرقیة | زوطر الشرقیة زوطر الشرقیة |
| --- | --- |
شهر: شهر
استان: نبطیه
شهرستان: نبطیه
منطقهٔ زمانی: یوتی‌سی +۲ (زمان اروپای شرقی)
 • تابستانی (DST): یوتی‌سی +۳ (ساعت تابستانی اروپای شرقی)
Dialing code: +۹۶۱
زوطر الشرقیة (به عربی: زوطر الشرقیة) یک منطقهٔ مسکونی در لبنان است که در استان نبطیه واقع شده‌است.
آئین تگورایت

مکان در 23x15px|border |alt=|link= الجزایر
| Ain Tagourait | Ain Tagourait |
| --- | --- |
شهرداری: شهرداری
استان‌های الجزایر: استان تی‌پازه
منطقهٔ زمانی: یوتی‌سی +۱ (زمان)
آئین تگورایت یک شهرداری در الجزایر است که در استان تی‌پازه واقع شده‌است.
انتگرال

انتگرال معین تابعی را می‌توان به صورت مساحت علامت دار ناحیه ای محدود به نمودار آن تابع نشان داد.
در ریاضیات، انتگرال (به فرانسوی: Integral)، روشی برای اختصاص اعداد به توابع است؛ به گونه‌ای که جابجایی، مساحت، حجم و دیگر مفاهیم برآمده از ترکیب داده‌های بی‌نهایت کوچک را به وسیله آن بتوان توصیف کرد. انتگرال‌گیری یکی از دو عمل مهم در حساب دیفرانسیل و انتگرال است، که عمل دیگر آن (عمل معکوس) دیفرانسیل‌گیری یا همان مشتق‌گیری است. برای تابع داده شده‌ای چون f از متغیر حقیقی x و بازه  [a,b] از خط حقیقی، انتگرال معین:
بطور صوری به عنوان مساحت علامت‌دار ناحیه‌ای از صفحه xy که به نمودار f، محور x و خطوط عمودی x=a و x=b محدود شده‌است. نواحی بالای محور x به مساحت کل افزوده و نواحی پایین محور x از آن می‌کاهند.
عملیات انتگرال‌گیری، در حد یک مقدار ثابت (یعنی بدون در نظر گرفتن یک مقدار ثابت)، معکوس عملیات دیفرانسیل‌گیری است. بدین منظور، اصطلاح انتگرال را می‌توان به معنای پاد-مشتق نیز به کار برد، یعنی تابعی چون F که مشتقش تابع داده شدهٔ f باشد. در این حالت به انتگرال f، انتگرال نامعین گفته شده و به صورت زیر نوشته می‌شود:
انتگرال‌هایی که در این مقاله مورد بحث قرار می‌گیرند از نوع انتگرال معین اند. قضیه اساسی حساب، دیفرانسیل‌گیری را به انتگرال معین ارتباط می‌دهد: اگر f یک تابع پیوسته حقیقی مقدار روی بازهٔ  [a,b] باشد، آنگاه زمانی که پاد مشتق f یعنی F، معلوم باشد، انتگرال f روی آن بازه مساوی است با:
اصول انتگرال‌گیری به‌طور مستقل توسط اسحاق نیوتون و گوتفرید ویلهلم لایبنیز در اواخر قرن هفدهم میلادی قاعده‌بندی شد، آن‌ها انتگرال را به صورت جمع مستطیل‌هایی با عرض‌های بی‌نهایت کوچک می‌دیدند. برنارد ریمان تعریف دقیقی از انتگرال ارائه نمود. این تعریف بر اساس فرایند حدگیری است که مساحت زیر نمودار یک خم را با شکستن آن ناحیه به قطعات نازک عمودی تخمین می‌زند. با شروع قرن نوزدهم میلادی، مفاهیم پیچیده‌تری از انتگرال ظهور پیدا کرد که در آن نوع تابع به علاوه دامنه انتگرال‌گیری تعمیم یافت. انتگرال خطی برای توابع دو یا چند متغیره تعریف شده‌است و بازه انتگرال‌گیری  [a,b] در آن با خمی که دو نقطه ابتدا و انتهای انتگرال‌گیری را به هم متصل می‌کند جایگزین شده‌است. در انتگرال سطح (یا انتگرال رویه‌ای)، خم با یک رویه در فضای سه بعدی جایگزین می‌شود.
تاریخچه > قبل از حسابان

اولین تکنیک نظام مندی که قادر به تعیین انتگرال، روش افنا بود که توسط ستاره‌شناس یونان باستان، اودوکسوس (حدود ۳۷۰ قبل از میلاد) معرفی شد. در این روش مساحت‌ها و حجم‌ها به تعداد نامتناهی تکه که مساحت یا حجم هر کدام از آن تکه‌ها معلوم بود تقسیم‌بندی می‌شدند. ارشمیدس این روش را ارتقاء داده و از آن در قرن سوم قبل از میلاد استفاده کرد تا مساحت‌های سهمی و دایره را به کمک آن به‌دست آورد.
روش مشابهی به‌طور مستقل در حدود قرن سوم بعد از میلاد توسط میو هوی در چین به‌دست آمد، او از این روش برای به‌دست آوردن مساحت دایره استفاده کرد. این روش بعدها در قرن پنجم میلادی توسط ریاضیدانان پدر و پسر چینی یعنی زو چونگژی و زو گنگ برای به‌دست آوردن حجم یک کره (Shea 2007; Katz 2004، صص. ۱۲۵–۱۲۶) مورد استفاده قرار گرفت.
در خاورمیانه، حسن ابن الهیثم (نام لاتین شده او Alhazen است) (۹۶۵–۱۰۴۰ میلادی) فرمولی برای جمع توان‌های چهارم به‌دست آورد. او از این فرمول برای به‌دست آوردن چیزی استفاده کرد که اکنون می‌دانیم انتگرال آن تابع است، وی از آن برای محاسبه حجم یک سهمی گون استفاده نمود.
تا قرن هفدهم میلادی پیشرفت مهمی در حساب انتگرال صورت نگرفت. در این زمان بود که روش کاوالیری یعنی روش تقسیم ناپذیرها، و همچنین کارهای فرما، بنیانگذاری حساب مدرن را کلید زدند. کاوالیری در فرمول‌های مربع کاوالیری خود، انتگرالهای  x^{n} را تا درجه n=۹ محاسبه کرد. قدم‌های بعدی در اوایل قرن هفدهم میلادی توسط بارو و توریسلی برداشته شد، آن‌ها اولین نشانه‌های ارتباط انتگرال و دیفرانسیل را ارائه نمودند. بارو اولین اثبات قضیه اساسی حساب را ارائه داد. والیس روش کاوالیری را برای محاسبه انتگرال‌های توان‌های عمومی x تعمیم داد، به گونه ای که شامل توان‌های منفی و حتی توان‌های کسری نیز می‌شد.
تاریخچه > نیوتون و لایبنیز

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

درحالی که نیوتون و لایبنیز رهیافت نظام مندی به انتگرال‌گیری ارائه نمودند، کارهای آن‌ها فاقد درجه ای از استواری و استحکام ریاضیاتی بود. بیشاپ برکلی، حمله بیاد ماندنی به روش افزایش ناپدید شونده نیوتون کرد و آن را «ارواح کمیت‌های مرده» نامید. با توسعه حد، حسابان مجهز به بنیان مستحکمی گشت. ابتدا انتگرال‌گیری با کمک حدود توسط ریمان از نظر ریاضیاتی مستحکم شد. گرچه که تمام توابع تکه به تکه پیوسته در بازه ای کراندار ریمان-انتگرال پذیرند، اما مثلاً به‌طور خاص در بستر آنالیز فوریه با توابعی سروکار داریم که بر اساس روش ریمانی انتگرال پذیر نیستند، لذا به مرور با توسعه تعریف انتگرال‌گیری، مثل فرمول انتگرال‌گیری لبگ، توابع بیشتری در دایره توابع انتگرال پذیر قرار گرفتند و بدین طریق نظریه اندازه (زیر شاخه ای از آنالیز حقیقی) شکل گرفت. تعاریف دیگر انتگرال که هردو رهیافت ریمانی و لبگ را بسط می‌دهند نیز پیشنهاد شده‌اند. این رهیافت‌ها بر اساس سیستم اعداد حقیقی بوده و امروزه رایج اند، اما رهیافت‌های دیگری نیز وجود دارند که بر اساس دستگاه اعداد فراحقیقی بنیان نهاده شده‌اند و از بخش استاندارد (مربوط به آنالیز غیر استاندارد) جمع بی‌نهایت ریمانی برای تعریف انتگرال استفاده می‌کنند.
مهم‌ترین تعاریف در انتگرال

مثالی از انتگرال با تقسیمات ناهمسان (بزرگترین قسمت با رنگ قرمز مشخص شده‌است)
همگرایی مجموع‌های ریمان
از مهم‌ترین تعاریف در انتگرال می‌توان از انتگرال ریمان و انتگرال لِبِگ است. انتگرال ریمان به‌وسیله برنهارد ریمان در سال ۱۸۵۴ ارائه شد که تعریف دقیقی را از انتگرال ارائه می‌داد تعریف دیگر را هانری لبگ ارائه داد که طبق این تعریف شرایط تعویض‌پذیری حد و انتگرال با شرط مساوی ماندن عبارت، ارائه می‌کرد.
از دیگر تعاریف ارائه شده در زمینه انتگرال می‌توان به انتگرال ریمان–استیلتیس اشاره کرد. پس به‌طور خلاصه سه تعریف زیر از مهم‌ترین تعاریف انتگرال می‌باشند:
محاسبه انتگرال

اکثر روش‌های اساسی حل انتگرال بر پایه قضیه اساسی حساب دیفرانسیل و انتگرال بنا نهاده شده‌است که بر طبق آن داریم:
f تابعی در بازه (a,b) در نظر می‌گیریم.
پاد مشتق f را پیدا می‌کنیم که تابعی است مانند f.
قضیه اساسی حساب دیفرانسیل و انتگرال را در نظر می‌گیریم؛ بنابراین مقدار انتگرال ما برابر خواهد بود.
به این نکته توجه کنید که انتگرال واقعاً پاد مشتق نیست (یک عدد است) اما قضیه اساسی به ما اجازه می‌دهد تا از پاد مشتق برای محاسبه مقدار انتگرال استفاده کنیم.
معمولاً پیدا کردن پاد مشتق تابع f کار ساده‌ای نیست و نیاز به استفاده از تکنیک‌های انتگرال‌گیری دارد این تکنیک‌ها عبارت‌اند از:
انتگرال‌گیری به‌وسیله تغییر متغیر
انتگرال‌گیری جزء به جزء:  \int u\,dv=uv-\int v\,du
انتگرال‌گیری با تغییر متغیر مثلثاتی
انتگرال‌گیری به‌وسیله تجزیه کسرها
روش‌هایی دیگر نیز وجود دارد که برای محاسبه انتگرالهای معین به کار می‌رود همچنین می‌توان بعضی از انتگرال‌ها با ترفندهایی حل کرد برای مثال می‌توانید به انتگرال گاوسی مراجعه کنید.
محاسبه انتگرال > تقریب انتگرال‌های معین

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

مجموعه توابع قابل ادغام ریمان در یک بازه بسته [a , b] یک فضای برداری را تحت عملیات جمع نقطه ای و ضرب توسط یک اسکالر و عملیات یکپارچه سازی تشکیل می‌دهد.
یک تابع خطی در این فضای برداری است؛ بنابراین، مجموعه توابع انتگرال پذیر با گرفتن ترکیبات خطی بسته می‌شود، و انتگرال یک ترکیب خطی، ترکیب خطی انتگرال‌ها است:
به‌طور مشابه، مجموعه توابع انتگرال پذیر Lebesgue با ارزش واقعی در فضای اندازه‌گیری داده شده E با اندازه‌گیری μ تحت ترکیب‌های خطی بسته می‌شود و بنابراین یک فضای برداری و انتگرال لبگ را تشکیل می‌دهد.
یک تابع خطی در این فضای برداری است، به طوری که:
به‌طور کلی، فضای برداری همه توابع قابل اندازه‌گیری را در یک فضای اندازه‌گیری در نظر بگیرید (E , μ) و مقادیر را در یک فضای برداری توپولوژیکی کامل فشرده محلی V روی یک میدان توپولوژیکی فشرده محلی K , f: E → V در نظر بگیرید. سپس می‌توان یک نقشه انتزاعی انتزاعی تعریف کرد که به هر تابع یک عنصر از V یا نماد ∞ اختصاص می‌دهد،
که با ترکیبات خطی سازگار است. در این وضعیت، خطی بودن برای زیرفضای توابعی که انتگرال آنها عنصری از V است (یعنی "محدود") برقرار است. مهم‌ترین موارد خاص زمانی به وجود می‌آیند که K R ، C یا یک گسترش متناهی از میدان Q p از اعداد پی آدیک باشد، و V یک فضای برداری با بعد محدود روی K باشد، و زمانی که K = C و V یک مختلط است. فضای هیلبرت
خطی بودن، همراه با برخی ویژگی‌های پیوستگی طبیعی و نرمال‌سازی برای کلاس خاصی از توابع «ساده»، ممکن است برای ارائه یک تعریف جایگزین از انتگرال استفاده شود. این رویکرد دانیل برای مورد توابع با ارزش واقعی در مجموعه X است که توسط نیکلاس بورباکی به توابع با مقادیر در یک فضای برداری توپولوژیکی فشرده محلی تعمیم داده شده‌است. برای توصیف بدیهی انتگرال به هیلدبراند ۱۹۵۳ مراجعه کنید.
خواص‌ها > نابرابری‌ها

تعدادی از نابرابری‌های کلی برای توابع قابل انتگرال‌پذیری ریمان که در بازه‌های بسته و محدود [a , b] تعریف شده‌اند وجود دارند و می‌توان آن‌ها را به مفاهیم دیگر انتگرال تعمیم داد (لبگ و دانیل).
مرزهای بالا و پایین. یک تابع انتگرال پذیر f در [a , b]، لزوماً در آن بازه محدود است؛ بنابراین اعداد حقیقی m و M وجود دارند به طوری که m ≤ f (x) ≤ M برای همه x در [a , b]. از آنجایی که مجموع پایین و بالایی f بیش از [a , b] به ترتیب با m محدود می‌شوند (b-a) و M (b − a)، نتیجه می‌شود که
m(b-a)\leq \int _{a}^{b}f(x)\,dx\leq M(b-a).
نابرابری بین توابع اگر f (x) ≤ g (x) برای هر x در [a , b]، هر یک از مجموع بالا و پایین f در بالا به ترتیب با مجموع بالا و پایین g محدود می‌شود. بدین ترتیب
\int _{a}^{b}f(x)\,dx\leq \int _{a}^{b}g(x)\,dx. این تعمیم نابرابری‌های فوق است، زیرا M (b - a) انتگرال تابع ثابت با مقدار M بیش از [a , b] است. علاوه بر این، اگر نابرابری بین توابع دقیق باشد، نابرابری بین انتگرال‌ها نیز شدید است؛ یعنی اگر f ( x ) < g (x) برای هر x در [a , b]
\int _{a}^{b}f(x)\,dx<\int _{a}^{b}g(x)\,dx.
زیر بازه‌ها اگر [c , d] زیر بازه ای از [a , b] باشد و f (x) برای همه x غیر منفی باشد، آنگاه
\int _{c}^{d}f(x)\,dx\leq \int _{a}^{b}f(x)\,dx.
محصولات و مقادیر مطلق توابع. اگر f و g دو تابع باشند، ممکن است حاصل ضربات نقطه‌ای و توان و مقادیر مطلق آنها را در نظر بگیریم :
(fg)(x)=f(x)g(x),\;f^{2}(x)=(f(x))^{2},\;|f|(x)=|f(x)|. اگر f روی [a , b] قابل ادغام ریمان باشد، در مورد نیز همین‌طور است| f |، و
\left|\int _{a}^{b}f(x)\,dx\right|\leq \int _{a}^{b}|f(x)|\,dx. علاوه بر این، اگر f و g هر دو انتگرال پذیر ریمان باشند، fg نیز قابل انتگرال پذیری ریمان است، و
\left(\int _{a}^{b}(fg)(x)\,dx\right)^{2}\leq \left(\int _{a}^{b}f(x)^{2}\,dx\right)\left(\int _{a}^{b}g(x)^{2}\,dx\right). این نابرابری که به نام نابرابری کوشی-شوارتز شناخته می‌شود، نقش برجسته‌ای در نظریه فضای هیلبرت بازی می‌کند، جایی که سمت چپ به عنوان حاصلضرب درونی دو تابع مربع‌پذیر f و g در بازه [a , b] تفسیر می‌شود.
نابرابری هلدر فرض کنید که p و q دو عدد واقعی هستند، ۱ ≤ p , q ≤ ∞ با۱/پ+1/q= ۱ و f و g دو تابع قابل ادغام ریمان هستند. سپس توابع | f | p و | g | q نیز انتگرال پذیر هستند و نابرابری هلدر زیر صادق است: برای p = q = ۲، نابرابری هولدر به نابرابری کوشی-شوارتز تبدیل می‌شود.
نابرابری مینکوفسکی فرض کنید که p ≥ ۱ یک عدد واقعی است و f و g توابع قابل انتگرال‌گیری ریمان هستند. سپس | f | p , | g | p و | f + g | p همچنین قابل ادغام ریمان هستند و نابرابری مینکوفسکی زیر صادق است:
\left|\int f(x)g(x)\,dx\right|\leq \left(\int \left|f(x)\right|^{p}\,dx\right)^{1/p}\left(\int \left|g(x)\right|^{q}\,dx\right)^{1/q}. یک آنالوگ این نابرابری برای انتگرال لبگ در ساخت فضاهای L p استفاده می‌شود.
خواص‌ها > کنوانسیون‌ها

در این بخش، f یک تابع قابل ادغام ریمان با ارزش واقعی است . انتگرال
در یک بازه [a , b] تعریف می‌شود اگر a < b. این بدان معنی است که مجموع بالا و پایین تابع f در یک پارتیشن a = x 0 ≤ x 1 ≤ ارزیابی می‌شود. . . ≤ x n = b که مقادیر x i در حال افزایش است. از نظر هندسی، این نشان می‌دهد که ادغام از چپ به راست انجام می‌شود و f را در فواصل زمانی [xi  , x i  +1] ارزیابی می‌کند . جایی که یک بازه با شاخص بالاتر در سمت راست یک با شاخص کمتر قرار دارد. مقادیر a و b، نقاط انتهایی بازه، حدود یکپارچه سازی f نامیده می‌شوند . انتگرال‌ها همچنین می‌توانند تعریف شوند اگر a > b:
با a = b، این نشان می‌دهد:
اولین قرارداد با توجه به در نظر گرفتن انتگرال‌ها بر فرعی بازه‌های [a , b] ضروری است. دومی می‌گوید که انتگرال گرفته شده در یک بازه منحط، یا یک نقطه، باید صفر باشد. یکی از دلایل قرارداد اول این است که انتگرال پذیری f در بازه [a , b] دلالت بر این دارد که f در هر زیر بازه [c , d] قابل انتگرال است، اما به‌طور خاص انتگرال‌ها این ویژگی را دارند که اگر c هر عنصری از [a باشد. ،b]، سپس:
با اولین قرارداد، رابطه حاصل
سپس برای هر جایگشت چرخه ای a , b و c به خوبی تعریف می‌شود.
برنامه کاربردی انتگرال

انتگرال‌ها به‌طور گسترده در بسیاری از زمینه‌ها استفاده می‌شوند. به عنوان مثال، در نظریه احتمال، انتگرال‌ها برای تعیین احتمال قرار گرفتن برخی متغیر تصادفی در محدوده خاصی استفاده می‌شوند. علاوه بر این، انتگرال تحت کل تابع چگالی احتمال باید برابر با ۱ باشد، که آزمایشی را ارائه می‌دهد که آیا یک تابع بدون مقادیر منفی می‌تواند تابع چگالی باشد یا خیر.
انتگرال‌ها را می‌توان برای محاسبه مساحت یک منطقه دو بعدی که دارای مرز منحنی است و همچنین محاسبه حجم یک جسم سه بعدی که دارای مرز منحنی است استفاده کرد. مساحت یک ناحیه دو بعدی را می‌توان با استفاده از انتگرال معین یادشده محاسبه کرد. حجم یک جسم سه بعدی مانند دیسک یا واشر را می‌توان با ادغام دیسک با استفاده از معادله حجم یک سیلندر،  \pi r^{2}h، که در آن < math>r</math> شعاع است. در مورد یک دیسک ساده که با چرخش منحنی حول محور x- ایجاد می‌شود، شعاع با {{ریاضی|f(x)} داده می‌شود. } و ارتفاع آن دیفرانسیل dx است. با استفاده از انتگرال با کرانه‌های a و b، حجم دیسک برابر است با: \pi \int _{a}^{b}f^{2}(x)\,dx.از انتگرال‌ها در فیزیک نیز استفاده می‌شود، در زمینه‌هایی مانند سینماتیک برای یافتن مقادیری مانند جابجایی، زمان و سرعت. برای مثال، در حرکت مستقیم، جابجایی یک جسم در بازه زمانی  [a,b] به صورت زیر به دست می‌آید:
که در آن  v(t) سرعتی است که به عنوان تابعی از زمان بیان می‌شود. کار انجام شده توسط نیروی  F(x) (به عنوان تابعی از موقعیت) از موقعیت اولیه  A تا موقعیت نهایی  B انجام می‌شود.
انتگرال‌ها همچنین در ترمودینامیک، که در آن ادغام ترمودینامیکی برای محاسبه اختلاف انرژی آزاد بین دو حالت داده شده استفاده می‌شود.
دیگر محاسبات آن > محاسبات تحلیلی

ابتدایی‌ترین تکنیک برای محاسبه انتگرال‌های معین یک متغیر واقعی بر اساس قضیه اساسی حساب است. اجازه دهید f(x) تابع x باشد که در یک بازه معین ادغام شود [a,  b]. سپس، یک ضد مشتق از f پیدا کنید؛ یعنی یک تابع F به گونه‌ای که F' = f در بازه. به شرطی که انتگرال و انتگرال در مسیر انتگرال تکینگی بر اساس قضیه اساسی حساب دیفرانسیل و انتگرال، نداشته باشند،
گاهی اوقات لازم است از یکی از تکنیک‌های متعددی که برای ارزیابی انتگرال‌ها ایجاد شده‌است استفاده شود. اکثر این تکنیک‌ها یک انتگرال را به عنوان یک انتگرال دیگر بازنویسی می‌کنند که امیدواریم قابل حل تر باشد. تکنیک‌ها عبارتند از ادغام با جایگزینی، ادغام با قطعات، ادغام با جایگزینی مثلثاتی، و ادغام با کسرهای جزئی. روش‌های جایگزین برای محاسبه انتگرال‌های پیچیده‌تر وجود دارد. بسیاری از انتگرال‌های غیر عنصری را می‌توان در یک سری تیلور گسترش داد و ترم به ترم ادغام کرد. گاهی اوقات، سری بی‌نهایت حاصل را می‌توان به صورت تحلیلی جمع کرد. روش کانولوشن با استفاده از تابع G-Meijers را نیز می‌توان استفاده کرد، با این فرض که انتگرال را می‌توان به عنوان حاصلضرب توابع Meijer G نوشت. همچنین روش‌های کمتر رایجی برای محاسبه انتگرال‌های معین وجود دارد. برای مثال، هویت پارسوال را می‌توان برای تبدیل یک انتگرال بر روی یک ناحیه مستطیلی به یک مجموع بی‌نهایت استفاده کرد. گاهی اوقات، یک انتگرال را می‌توان با یک ترفند ارزیابی کرد. برای مثالی از این، انتگرال گاوسی را ببینید.
محاسبات حجم را معمولاً می‌توان با ادغام دیسک یا ادغام پوسته انجام داد. نتایج خاصی که با تکنیک‌های مختلف به دست آمده‌اند در فهرست انتگرال‌ها جمع‌آوری شده‌اند.
نتایج خاصی که با تکنیک‌های مختلف به دست آمده‌اند در فهرست انتگرال‌ها جمع‌آوری شده‌اند.
دیگر محاسبات آن > نمادین

بسیاری از مسائل در ریاضیات، فیزیک و مهندسی شامل ادغام در جایی است که یک فرمول صریح برای انتگرال مورد نظر است. جدول انتگرال گسترده‌ای در طول سال‌ها برای این منظور گردآوری و منتشر شده‌است. با گسترش رایانه‌ها، بسیاری از متخصصان، مربیان و دانش‌آموزان به سیستم جبر رایانه‌ای روی آورده‌اند که به‌طور خاص برای انجام کارهای دشوار یا خسته‌کننده از جمله یکپارچه‌سازی طراحی شده‌اند. یکپارچه‌سازی نمادین یکی از انگیزه‌های توسعه اولین سیستم‌هایی مانند Macsyma و Maple بوده‌است.
Aمشکل اصلی ریاضی در ادغام نمادین این است که در بسیاری از موارد، یک تابع نسبتاً ساده انتگرال‌هایی ندارد که بتوان آن را به صورت شکل بسته که فقط شامل تابع ابتداییها، شامل بیان عقلی و نمای توابع، لگاریتم، توابع مثلثاتی و توابع مثلثاتی معکوس، و عملیات ضرب و ترکیب. الگوریتم Risch یک معیار کلی برای تعیین ابتدایی بودن ضد مشتق یک تابع ابتدایی و محاسبه آن در صورت وجود، ارائه می‌کند. با این حال، توابع با عبارات بسته ضد مشتق‌ها استثنا هستند، و در نتیجه، سیستم‌های جبر رایانه‌ای امیدی به یافتن یک ضد مشتق برای یک تابع ابتدایی تصادفی ندارند. از جنبه مثبت، اگر «بلوک‌های سازنده» برای ضدمشتق‌ها از قبل تثبیت شده باشند، ممکن است هنوز بتوان تصمیم گرفت که آیا ضد مشتق یک تابع معین را می‌توان با استفاده از این بلوک‌ها و عملیات ضرب و ترکیب بیان کرد و نماد نمادین را یافت. هر وقت هست جواب بده الگوریتم Risch که در ریاضیات، Maple و سایر سیستم جبر رایانه ای پیاده‌سازی شده‌است، دقیقاً این کار را برای توابع و ضد مشتقات ساخته شده از توابع گویا،  رادیکال‌ها، لگاریتم و توابع نمایی.
برخی از ادغام‌های ویژه اغلب به اندازه‌ای اتفاق می‌افتند که نیاز به مطالعه ویژه دارند. به‌طور خاص، ممکن است در مجموعه ضد مشتقات، توابع ویژه (مانند تابع لژاندرها، تابع بیش هندسی، تابع گاما مفید باشد، تابع گامای ناقص و غیره). گسترش الگوریتم ریش برای گنجاندن چنین توابعی ممکن است اما چالش‌برانگیز است و یک موضوع تحقیقاتی فعال بوده‌است. اخیراً یک رویکرد جدید پدید آمده‌است، با استفاده از D-توابع محدود، که راه حل‌های معادله دیفرانسیل خطیs با ضرایب چند جمله ای هستند. اکثر توابع ابتدایی و ویژه D-متناهی هستند، و انتگرال یک تابع D-محدود نیز یک تابع D-محدود است. این یک الگوریتم برای بیان ضد مشتق یک تابع D-محدود به عنوان حل یک معادله دیفرانسیل ارائه می‌دهد. این نظریه همچنین به شخص اجازه می‌دهد تا انتگرال قطعی یک تابع D را به عنوان مجموع یک سری داده شده توسط ضرایب اول محاسبه کند و یک الگوریتم برای محاسبه هر ضریب ارائه می‌دهد.