Integrál forrásának megtekintése

[[Fájl:Integral example.svg|bélyegkép|300px|Egy függvény határozott integrálja úgy értelmezhető, mint a függvény grafikonja és az {{nowrap|x-tengely}} által bezárt előjeles területösszeg.|alt=Példa határozott integrálra]]

Az '''integrál''' a [[matematikai analízis]] fontos fogalma. Egy adott ''f'' valós, {{nowrap|<nowiki>[</nowiki>''a'', ''b''<nowiki>]</nowiki>}} intervallumon definiált függvény '''határozott integrálja''' ugyanezen intervallumon:

: <math>\int\limits_{a}^{b} \! f(x) \, dx</math>

Egyszerűen úgy fogalmazható meg, hogy ez a függvény és az {{nowrap|x-tengely}} által az ({{nowrap|<nowiki>[</nowiki>''a'', ''b''<nowiki>]</nowiki>}} intervallumon) bezárt előjeles terület.

Ezt a területet a következők határolják:

*az&nbsp;''f'' függvény grafikonja,
*az {{nowrap|x-tengely}}
*{{nowrap|''<nowiki>x = a</nowiki>''}} és az {{nowrap|''<nowiki>x = b</nowiki>''}} függőleges egyenesek

Az {{Nowrap|x-tengely}} feletti terület "hozzáad" a teljes területhez, vagyis pozitív területű, míg az {{Nowrap|x-tengely}} alatti terület "elvesz" a teljes területből, vagyis negatív területű.

Az integrálás a deriválás ellentétének tekinthető, emiatt néha az integrál kifejezést használják az antiderivált (''f'' antideriváltjai azok a függvények, amelyek deriváltja ''f'') jelölésére is.

Amennyiben nincs meghatározva az integrálás tartománya, akkor ''határozatlan integrálról'' beszélünk:
:<math>F(x) = \int f(x)\,dx.</math>
Ez a szócikk a ''határozott integrálról'' szól.

Az integrálás alapjait egymástól függetlenül fedezte fel Newton és Leibniz a 17. század végén. A mindkettőjük által felfedezett [[Newton–Leibniz-tétel]] összeköti az integrálást és a deriválást:

ha ''f'' egy folytonos valós függvény az {{nowrap|[''a'', ''b'']}} intervallumon akkor, ha adott az ''F ''függvény, ami ''f'' primitív függvénye, akkor ''f'' határozott integrálja a következőképpen számítható ki:

:<math>\int_a^b \! f(x)\,dx = F(b) - F(a).</math>

Az integrálás és a deriválás a fizikusok és a mérnökök fontos eszköze. Az analízis megalkotói az integrált úgy képzelték el, mint olyan közelítő téglalapok területösszege, amelyek alapterülete [[infinitezimális]]. Az integrál egyik első és legelterjedtebb formális definíciója [[Georg Friedrich Bernhard Riemann|Bernhard Riemann]]tól származik. Ez a definíció egy közelítés ({{nowrap|[[Riemann-összeg]]ek}}) [[határérték]]eként definiálja az integrál értékét. A 19. század elején az integrálfogalom különféle általánosításai jelentek meg, amelyek az integrálható függvények halmazát kiterjesztették, éppúgy, mint ahogy kiterjesztették ezen integrálható függvények lehetséges alaphalmazát. A [[vonalintegrál]] olyan integrál, ahol az integrálási tartomány nem egy [[intervallum]], hanem egy meghatározott [[görbe (matematika)#Topológiai értelmezés|görbe]], amely összeköt két pontot egy síkon vagy a térben. Az integrál ilyen általánosításainak legfőbb mozgatórugója a [[fizika]], különösen az [[elektrodinamika]] szükségletei voltak. Többféle modern integrál is létezik, a legismertebb talán a {{nowrap|[[Lebesgue-integrál]],}} amit [[Henri Lebesgue]] fejlesztett ki a 20. század elején.

==Történet==
{{See also|Az analízis története}}

===Első megjelenés===
Az első dokumentált szisztematikus módszer határozott integrálok meghatározására a görög Eudoxosz úgynevezett kimerítési módszere volt, amellyel területeket és térfogatokat lehet kiszámolni, úgy, hogy ezeket felbontjuk végtelen sok olyan alakzatra, amelyek térfogatát/területét ismerjük. Ezt a módszert később Arkhimédész fejlesztette tovább, és használta parabolák területének kiszámolására és a kör területének közelítő meghatározására. Hasonló módszerek Kínában is megjelentek, hasonlóan a kör területének meghatározása közben. Később ezt a módszert Kínában a gömb térfogatának meghatározásához is használták. ({{harvnb|Shea|2007}}; {{harvnb|Katz|2004|pp=125–126}}).

A következő jelentős állomás a 16. században érkezett [[Bonaventura Cavalieri]]től a {{nowrap|[[Cavalieri-elv]]}} formájában. Cavalieri meghatározta az {{nowrap|''x''<sup>''n''</sup>}} integrálját egészen {{nowrap|''n'' {{=}} 9}}-ig. A következő lépés a 17. század elején következett, amikor [[Isaac Barrow]] és [[Evangelista Torricelli]] elsőként rámutattak arra, hogy a differenciálszámítás és az integrál között kapcsolat lehet. Barrow megadta az első bizonyítást a {{nowrap|[[Newton–Leibniz-tétel]]re}}. Wallis általánosította Cavalieri módszerét a negatív kitevőkre és törtkitevőkre is.

===Newton és Leibniz===
A legjelentősebb fejlődés az integrálásban a 17. században következett be a {{nowrap|Newton–Leibniz-tétel}} felfedezésével. A tételt két matematikus, [[Isaac Newton|Newton]] és Leibniz egymástól függetlenül egyszerre fedezte fel. A tétel rámutat a differenciálszámítás és az integrálás közötti kapcsolatra. Ezt a kapcsolatot és a differenciálszámításban szerzett korábbi tapasztalatokat felhasználva lehetőség nyílt számos, különböző integrál kiszámítására. Ugyanakkor a {{nowrap|Newton–Leibniz-tétel}} nem csak az integrálok kiszámítására használható, hiszen az a tény, hogy az integrálás valamilyen szempontból a deriválás "ellentéte", más problémák megoldása felé is megnyitotta az utat. Ezen kezdeti lépések még az infinitezimálisokat alkalmazták a definíciókban. Az ekkor, Leibniz által kifejlesztett jelölés vált az általánossá az integrálás jelölésére.

===Az integrál formalizálása===
Habár a Newton és Leibniz által felfedezett formula általános módszert szolgáltatott integrálok kiszámításához, mindkettőjük munkájából hiányzott a matematikai formalizmus. Az analízis szigorú megalapozására a határérték megjelenése adott lehetőséget. Az integrálás határértékkel való pontos matematikai definícióját először Riemann adta meg. Habár bármely folytonos függvény {{nowrap|Riemann-integrálható,}} léteznek olyan nem folytonos függvények is, amelyek szintén Riemann-integrálhatóak. Később például a Fourier analízishez kapcsolódóan általánosabb függvények is előkerültek, amelyekkel a {{nowrap|Riemann-féle}} definíció nem tudott mit kezdeni, így később Lebesgue adott egy integráldefiníciót, amely a mértékelméleten alapul.

===Jelölések===
Newton vagy egy kis függőleges egyenest használt a kifejezések felett az integrálás jelölésére, vagy bekeretezte a kifejezést. A függőleges vonal könnyen összetéveszthető volt a <math>\dot{x}</math> vagy a <math>x'\,\!</math> jelöléssel, amit Newton a deriváltak jelölésére használt, míg a bekeretezéses jelölés a könyvnyomtatás során okozott nehézségeket, így egyik jelölés sem terjedt el széles körben.

A mai jelölés az integrálásra 1675-ből, Leibniztől származik ({{Harvnb|Burton|1988|loc=p.&nbsp;359}}; {{Harvnb|Leibniz|1899|loc=p.&nbsp;154}}). A jelölésre Leibniz az '''∫''' integráljelet használta, amely az ''ſ'' (hosszú s) jelből származik, a ''szumma'' (latinul: ''ſumma''; jelentése: "összeg") szó rövidítéseként. A mai jelölés Joseph Fourier-vel nyerte el a végső formáját, aki az integrálási határokat az integráljel alatt és felett kezdte jelölni az {{nowrap|1819–20-as}} ''Mémoires ''című könyvében ({{Harvnb|Cajori|1929|loc=pp.&nbsp;249–250}}; {{Harvnb|Fourier|1822|loc=§231}}).

==Elnevezések és jelölések==
Egy valós ''f''(''x'') függvény integrálja az ''x'' változóra nézve:

:<math> \int f(x)\,dx . </math>

Az integráljel ∫ jelöli az integrálást. A ''dx'' jelöli, hogy az ''x'' változó szerint integrálunk. A {{nowrap|∫...''dx''}} jelölés belsejében található az integrandus, vagyis az integrálandó kifejezés. Ha nincs megadva integrálási tartomány/görbe/határok, akkor a jelölés a határozatlan integrált jelenti.

Egy adott halmaz fölötti integrálás esetén ''határozott integrálról'' beszélünk. Egy ''D'' halmaz fölötti integrált a következőképpen jelölünk: <math>\int_D f(x)\,dx ,</math> vagy <math>\displaystyle \int_a^b f(x)\,dx </math>, ha a halmaz az {{nowrap|[''a'', ''b'']}} intervallum.
A ''D'' halmaz vagy az {{nowrap|[''a'', ''b'']}} intervallum az úgynevezett ''integrálási tartomány''.

Ha egy függvénynek létezik az integrálja, akkor ''integrálható''.

Az integrálási változót jelölő ''dx''-nek többféle értelmezése is lehetséges, attól függően, hogy milyen fajta integrálról beszélünk. Vehetjük, úgy, mint csupán egy jelölést az integrálási változó használatára, vagy például a {{nowrap|[[Riemann-összegek]]nél}} a téglalapok egyik oldalának az elfajult hosszának, a {{nowrap|Lebesgue-integrál}} esetén ''dx'' jelöli az integrálásnál használt [[mérték]]et, míg a [[nemsztenderd analízis]]ben, infinitezimálisnak tekinthetjük, vagy akár értelmezhetjük úgy, mint egy [[differenciál]]. Eredetileg Leibniz szerint infinitezimális változót jelöl, habár Leibniz értelmezése nem formális és nem megfelelően definiált, mégis ez az értelmezés nagyon elterjedt.

==Bevezetés==
Az integrálok nagyon sok helyzetben megjelenhetnek. Ha adott egy szögletes, téglatest alakú úszómedence, akkor könnyen megállapíthatjuk a bele tölthető víz térfogatát, felületét, a medence oldaléleinek hosszának összegét stb. Ha azonban a medencét lecseréljük egy például gömbölyű, lekerekített aljú medencére, akkor a fentiek kiszámításához már integrálra van szükségünk. Noha az eredményt jól közelíthetjük ilyen egyszerű példák esetén, de a mérnöki munkában, illetve a fizikában bizonyos esetekben a pontos eredmény elengedhetetlen.

[[Fájl:Integral approximations.svg|bélyegkép|A &radic;''x'' függvény 0 és 1 közötti integráljának közelítése téglalapokkal (lásd: {{nowrap|[[Riemann-összeg]])}} kétféleképpen. A háttérbeli sárga (<span style="color:#fec200">■</span>) téglalapok magassága az alapjukat adó intervallum jobb oldalában vett függvényérték, míg az elülső zöld (<span style="color:#009246">■</span>) közelítés minden téglalap magasságához az intervallumok bal oldalában vett függvényértéket használja. Az így kapott közelítések a függvény monotonitása miatt alsó- és felső közelítőösszegek. (lásd: {{nowrap|[[Darboux-összegek]])}}]]
Kezdésként vegyünk egy {{nowrap|''y'' {{=}} ''f''(''x'')}} görbét {{nowrap|''x'' {{=}} 0}} és {{nowrap|''x'' {{=}} 1}} közötti intervallumon, úgy, hogy {{nowrap|''f''(''x'') {{=}} √''x''}}. Ekkor megkérdezhetjük:
:Mekkora az ''f'' függvény alatti terület a 0-tól {{nowrap|1-ig}} terjedő intervallumon?
Nevezzük ezt az (egyelőre ismeretlen) területet ''f'' '''integráljának'''. Jelöljük ezt a következőképpen:
:<math> \int_0^1 \sqrt x \, dx \,\!.</math>

Első közelítésként vegyünk egy téglalapot az egységnyi hosszú intervallumon, vagyis amelynek oldalai {{nowrap|''x'' {{=}} 0}} és {{nowrap|''x'' {{=}} 1}}. A monotonitás miatt a jobb szélen vett függvényértékű magasságú téglalap felső Darboux közelítő összeg lesz, míg a bal oldali pontban vett függvényértékű magasságú téglalap alsó Darboux közelítő összeg. Így adott, hogy az integrál értéke {{nowrap|1-nél}} kisebb pozitív valós szám. (Mivel az alsó közelítő téglalap területe 0, mivel a magassága 0, míg a felső közelítő téglalap területe 1 mivel a magassága {{nowrap|''f(1){{=}}1''}}). Nyilvánvalóan a közelítő téglalapok szélességének csökkentésével a közelítés pontossága javul. Ha az intervallumot 5 egyenlő részre osztjuk, következő közelítésnek, akkor az osztópontok a 0, 1/5, 2/5, és így tovább {{nowrap|1-ig}} lesznek. A felső közelítő téglalapok magassága az adott intervallumok jobb oldalában vett függvényértékek, vagyis √(1⁄5), √(2⁄5) és így tovább {{nowrap|√1 {{=}} 1}}-ig. Ezen téglalapok területét összegezve kapjuk a következő, már pontosabb közelítést, ami:
:<math>\textstyle \sqrt {\frac {1} {5}} \left ( \frac {1} {5} - 0 \right ) + \sqrt {\frac {2} {5}} \left ( \frac {2} {5} - \frac {1} {5} \right ) + \cdots + \sqrt {\frac {5} {5}} \left ( \frac {5} {5} - \frac {4} {5} \right ) \approx 0.7497.\,\!</math>

Vagyis véges sok olyan szorzatot összegzünk, amelyek egyik tagja ''f'' egy pontbeli értéke, a másik tényező pedig két egymást követő osztópont különbsége (vagyis a téglalap alapjának a hossza). A fenti példában a közelítés még mindig nem megfelelő, így további osztópontok segítségével, több téglalap segítségével közelíthetjük a keresett területet, ugyanakkor belátható, hogy az ilyen közelítés soha nem lesz teljes pontosságú. A lényeges lépés a véges közelítő összegekről, véges szorzatok összegzéséről a megfelelő végtelen sok téglalap területének összegzésére való áttérés. (Önmagában a végtelen sok osztópont/intervallum nem biztosítja a pontos eredményt. A szükséges követelmény az, hogy minden osztópont közötti távolság 0-hoz tartson, vagyis a definíció a [[határérték]]re épül. Eredetileg a határérték-fogalom a mai formájában nem létezett, az csak később jelent meg, így az eredeti Newtoni-Leibnizi értelmezés az ''infinitezimális'', vagyis a végtelen kicsiny hosszúságú alappal rendelkező közelítő téglalapok területösszegére épült, ugyanakkor ezek formalizálása nem bizonyult olyan egyszerűnek, mint amilyen szemléletes a jelentése. Így a későbbiekben az analízis fogalmait, így az integrált is a határérték fogalmára átültették.)

A gyakorlatban használatos módszert az integrálok értékének meghatározásához, a [[Newton-Leibniz-formula]] biztosítja, amely kapcsolatot teremt a deriválás és az integrálás között. Ha a fenti négyzetgyök-függvényre {{nowrap|''f''(''x'') {{=}} ''x''<sup>1/2</sup>-re}} alkalmazzuk, akkor azt kapjuk, hogy az ''f'' ''primitív függvénye'' vagy más néven ''antideriváltja'' az {{nowrap|''F''(''x'') {{=}} (2/3)''x''<sup>3/2</sup>}} függvény. Ennek segítségével az integrál ''pontos'' értéke a tétel szerint: {{nowrap|''F''(1) &minus; ''F''(0),}} mivel a 0 és 1 az integrálási intervallum (a {{nowrap|[0,; 1]}} intervallum) határpontjai. Vagyis:
:<math> \int_0^1 \sqrt x \,dx = \int_0^1 x^{1/2} \,dx = F(1)- F(0) = \frac{2}{3}.</math>

(Ez egyébként egy általánosan is igaz szabály, vagyis, hogy az {{nowrap|''f''(''x'') {{=}} ''x''<sup>''q''</sup>}}, ahol {{nowrap|''q'' ≠ &minus;1}} függvény antideriváltja, amellyel az integrál pontos értéke kiszámítható, {{nowrap|''F''(''x'') {{=}} ''x''<sup>''q'' + 1</sup>/(''q'' + 1).}})

Az
:<math> \int f(x) \, dx \,\! </math>
jelölés onnan ered, hogy az integrál végtelen sok szorzat összegeként volt definiálva (amelyek egyik tényezője minden esetben infinitezimális), és az összeg, summa, kezdőbetűje az angolban és a latinban az s betű. Az integrálási határok feltüntetése eredetileg nem volt Leibniz jelölésének része, ez később [[Fourier]]től származik.

Újabban az infinitezimálisok újra megjelentek, most már kellően formalizálva a modern eszközök segítségével.

{{Több kép
 | igazítás = center
 | irány = vízszintes
 | fejléc = Példák alsó és felső Darboux integrálközelítő összegekre
 | fejléc_igazítás = center
 | szélesség = 300
 | kép1 = Riemann Integration and Darboux Upper Sums.gif
 | szélesség1 = 300
 | szöveg1 = <div class="center" style="width:auto; margin-left:auto; margin-right:auto;">Az {{nowrap|y {{=}} x<sup>2</sup>}} függvény felső Darboux-összegei</div>
 |
 | kép2 = Riemann Integration and Darboux Lower Sums.gif
 | szélesség2 = 300
 | szöveg2 = <div class="center" style="width:auto; margin-left:auto; margin-right:auto;">Az {{nowrap|y {{=}} x<sup>2</sup>}} függvény alsó Darboux-összegei</div>
}}

==Formális definíciók==
[[Fájl:Integral Riemann sum.png|bélyegkép|right|200px|Példa Riemann közelítő összegekre nem egyenletes felosztás felett. Pirossal jelölve a legnagyobb intervallumot.]]
[[Fájl:Riemann sum convergence.png|bélyegkép|right|200px|A {{nowrap|Riemann-összegek}} konvergenciája.]]

Az integrálok formális definíciójára több verzió is létezik, amelyek nem feltétlenül ekvivalensek. A különbségek nagy része azért van jelen mert így egyes függvények integrálhatóak egyes integrálokkal, míg más definíciót használva nem integrálhatóak. Bizonyos esetekben a különbségnek pedagógiai okai vannak. A leggyakoribb integrál definíciók (amelyek nem ekvivalensek) a Riemann és a {{nowrap|Lebesgue-féle}} integrál definíciók. A {{nowrap|Lebesgue-integrál}} a {{nowrap|Riemann-integrál}} kiterjesztése, vagyis minden {{nowrap|Riemann-integrálható}} függvény {{nowrap|Lebesgue-integrálható}} is, és a két integrál értéke megegyezik.

De vigyázat, mert belefuthatunk olyan példába a későbbiekben, amely látszólag ellentmond eme állításnak. Elsőre úgy tűnhet, hogy az alábbi függvény Riemann-integrálható:

<math>\int_{\mathbb{R}} \frac{sin(x)}{x}\, dx = \pi</math>,

miközben nem Lebesgue-integrálható:

<math>\int_{\mathbb{R}} \left| \frac{sin(x)}{x} \right| \, dx = \infty</math>. 

A hiba a terminus pongyola használatából adódik. A függvény improprius Riemann-integrálja létezik, de nem a Riemann-integrálja, amelyhez alapfeltétel a korlátos, zárt intervallum.

===Riemann-integrál===
{{Main|Riemann-integrál}}

A {{nowrap|Riemann-integrált}} a {{nowrap|[[Riemann-összeg]]ekkel}} definiáljuk. Egy függvény {{nowrap|Riemann-összegéhez}} az integrálási intervallum úgynevezett ''címkézett partíciójára'' van szükségünk. Legyen {{nowrap|[''a'', ''b'']}} egy zárt valós intervallum; ekkor ennek az intervallumnak egy címkézett partíciójának a következő véges sorozatot nevezzük:

:<math> a = x_0 \le t_1 \le x_1 \le t_2 \le x_2 \le \cdots \le x_{n-1} \le t_n \le x_n = b . \,\!</math>

Ez felosztja az {{nowrap|[''a'',''b'']}} intervallumot ''n'' db {{nowrap|[''x''<sub>''i''−1</sub>, ''x''<sub>''i''</sub>]}} részintervallumra úgy, hogy minden részintervallumhoz tartozik egy kijelölt pont {{nowrap|''t''<sub>''i''</sub> ∈ [''x''<sub>''i''−1</sub>, ''x''<sub>''i''</sub>]}}. Egy ''f'' függvény {{nowrap|''Riemann-összege''}} a fenti címkézett partíció fölött:
:<math>\sum_{i=1}^{n} f(t_i) \Delta_i ; </math>
vagyis egy olyan összeg, amelynek minden tagja egy {{nowrap|közelítő-téglalap}} területe, amelynek magassága az adott intervallum kiválasztott pontjában vett függvényérték, míg a téglalap alapja az adott részintervallum, tehát az intervallum alapjának a hossza megegyezik az adott részintervallum hosszúságával. {{nowrap|Δ<sub>''i''</sub> {{=}} ''x''<sub>''i''</sub>−''x''<sub>''i''−1</sub>}} jelöli az ''i''-edik részintervallum szélességét; míg a felosztás (partíció) ''finomságának'' a legnagyobb részintervallum hosszúságát nevezzük {{nowrap|max<sub>''i''{{=}}1…''n''</sub> Δ<sub>''i''</sub>}}. Az ''f'' függvény {{nowrap|''Riemann-integrálja''}} az {{nowrap|[''a'',''b'']}} intervallumon ''S'', ha:
:Bármely {{nowrap|ε &gt; 0}}-hoz, létezik egy {{nowrap|δ &gt; 0}} úgy, hogy az {{nowrap|[''a'',''b'']}} intervallum bármely címkézett felosztása amelynek finomsága kisebb, mint δ, olyan, hogy a fölötte vett Riemann-összeg maximum ''ε'' távolságra van ''S''-től, vagyis:
::<math>\left| S - \sum_{i=1}^{n} f(t_i)\Delta_i \right| < \varepsilon.</math>
:Vagyis:
::<math>\lim_{\max(\Delta_i) \to 0}\sum_{i=1}^{n} f(t_i)\Delta_i=S,</math>
:ahol <math>\max(\Delta_i)</math> a felosztás finomságát jelenti.
Ha minden részintervallumban a kiválasztott pont a függvény maximumértékét adja az adott intervallumon [illetve a minimumértékét], akkor a {{nowrap|[[Riemann-összeg]]}} úgynevezett felső {{nowrap|[[Darboux-összeg]]}} [illetve alsó {{nowrap|Darboux-összeg}}], ami azt mutatja, hogy a két integrál (a {{nowrap|[[Darboux-integrál]]}} és a {{nowrap|[[Riemann-integrál]]}}) definíciója ekvivalens, illetve, hogy minden {{nowrap|Darboux-integrálható}} függvény {{nowrap|Riemann-integrálható}} függvény is és fordítva és az integrálok értéke mindig megegyezik.

===Lebesgue-integrál===
{{Main|Lebesgue-integrál}}
[[Image:RandLintegrals.svg|bélyegkép|250px|A Riemann–Darboux-integrál (fent) és a {{nowrap|Lebesgue-integrál}} (alul)|alt=A Riemann és a Lebesgue integrál összehasonlítása]]

Gyakran felmerül az igény arra mind elméletben, mind pedig gyakorlati alkalmazásokban, hogy a {{nowrap|Riemann-integrált}} kiterjesszük, általánosítsuk. Például a függvények egy olyan sorozata gyakran készíthető, amelyek közelítenek egy másik adott függvényt. Ekkor logikus, hogy az adott határfüggvény integrálja megegyezik a függvénysorozat integráljának határértékével. Ez ugyanakkor általánosan a Riemann-integrálra nem igaz mivel {{nowrap|Riemann-integrálható}} függvények sorozatának határértéke lehet olyan függvény, amely nem {{nowrap|Riemann-integrálható.}} A fenti tétel általánosan igazzá tehető, ha az integrál fogalmát általánosítjuk és így a lehetséges integrálható függvények halmazát kiterjesztjük. {{Harv|Rudin|1987}}.

Ilyen kiterjesztés például a Lebesgue-integrál, ami arra a tényre épül, hogy ha függvényt az integrálási intervallumban átrendezzük, akkor az integrál értékének nem kellene változnia. [[Henri Lebesgue]] erre építve alkotta meg a róla elnevezett integrált, amit egy levélben így magyarázott el [[Paul Montel]]nek:
{{quote|Ki kell fizetnem egy meghatározott összeget, amelyet összegyűjtöttem a zsebemben. Kivehetem az érméket és bankjegyeket olyan sorrendben, amilyenben csak akarom és ilyen sorrendben oda is adogathatom a célszemélynek addig, amíg el nem érem teljes kifizetendő összeget. Ez a Riemann-integrálnak felel meg. Ugyanakkor más sorrendben is fizethetek. Először is kiveszem az összes pénzt a zsebemből, ezután csoportosítom az érméket és a bankjegyeket az értékük szerint, majd a különféle a csoportokat egyenként adom át a célszemélynek. Ez az én integrálom.}}
:<small>''Forrás'': {{harv|Siegmund-Schultze|2008}}</small>

Ahogy Folland {{Harvtxt|Folland|1984|loc=p.&nbsp;56}} mondja, "Az ''f'' függvény Riemann-integrálásakor az adott {{nowrap|[''a'', ''b'']}} intervallumot particionáljuk részintervallumokra", míg a Lebesgue-integrál esetén, "az ''f'' függvény értékkészletét particionáljuk". A Lebesgue-integrál definíciója a μ mérték definíciójával kezdődik. A legegyszerűbb esetben a {{nowrap|[[Lebesgue-mérték]]e}} egy {{nowrap|''A'' {{=}} [''a'',''b'']}} intervallumnak μ(''A'') az intervallum hossza, {{nowrap|''b'' &minus; ''a'',}} vagyis a {{nowrap|Lebesgue-integrál}} értéke megegyezik a {{nowrap|Riemann-integrállal}} ha mindkét integrál létezik. Bonyolultabb esetekben az a halmaz amit mérünk lehet, hogy nem összefüggő esetleg nagymértékben "szakadozott" és esetleg egyáltalán nem bontható fel intervallumokra.

Az "értékkészlet particionálás" elvét követve, egy nemnegatív {{nowrap|''f'' : '''R''' &rarr; '''R'''}} függvény integrálja az {{nowrap|1=''y'' = ''t''}} és {{nowrap|1=''y'' = ''t'' + ''dt''}} egyenesek közé eső területek összege minden {{nowrap|''t''-re}} (vagyis a területet "vízszintes csíkokkal" daraboljuk fel, nem "függőlegesekkel"). Ez ilyen csík közé eső függvény alatti terület tehát: {{nowrap|μ{ ''x'' : ''f''(''x'') > ''t''}&thinsp;''dt''}}. Legyen {{nowrap|1=''f''<sup>&lowast;</sup>(''t'') = μ{ ''x'' : ''f''(''x'') > ''t''}}}. Ekkor ''f'' {{nowrap|Lebesgue-integrálja}} így definiált {{harv|Lieb|Loss|2001}}:
:<math>\int f = \int_0^\infty f^*(t)\,dt</math>
ahol az egyenlőség jobb oldalán álló integrál egy egyszerű improprius Riemann-integrál (az ''f''<sup>∗</sup> egy szigorúan csökkenő pozitív függvény, így az improprius integrál létezik). Ez a definíció megfelelő a függvények egy megfelelően nagy halmazának Lebesgue-integrálásához (az úgynevezett mérhető függvények integrálásához).

Egy tetszőleges ''f'' függvény Lebesgue-integrálható, ha az ''f'' függvény grafikonja és az {{nowrap|x-tengely}} által bezárt terület véges, vagyis:
:<math>\int_E |f|\,d\mu < + \infty.</math>
Ebben az esetben az integrál, csakúgy, mint a {{nowrap|Riemann-integrál}} esetén az {{nowrap|x-tengely}} fölötti terület és az az alatti terület különbsége:
:<math>\int_E f \,d\mu = \int_E f^+ \,d\mu - \int_E f^- \,d\mu</math>
ahol
:<math>\begin{align}
 f^+(x)&=\max(\{f(x),0\}) &=&\begin{cases}
               f(x), & \text{ha } f(x) > 0, \\
               0, & \text{különben}
             \end{cases}\\
 f^-(x) &=\max(\{-f(x),0\})&=& \begin{cases}
               -f(x), & \text{ha } f(x) < 0, \\
               0, & \text{különben}
             \end{cases}
\end{align}</math>

===Egyéb integrálok===
Habár a [[Riemann-integrál|Riemann-]] és a {{nowrap|[[Lebesgue-integrál]]}} a leggyakrabban használt integrálok, számos egyéb definíciója létezik az integrálnak:
* A [[Darboux-integrál]], ami ekvivalens a {{nowrap|[[Riemann-integrál]]lal}}, vagyis egy függvény, akkor és csak akkor Darboux-integrálható, ha Riemann-integrálható, és az integrálok értéke, már ha létezik, akkor megegyezik. A Darboux-integrál előnye az, hogy könnyebben definiálható a Riemann-integrálnál.
* A [[Riemann–Stieltjes-integrál]], ami a Riemann-integrál egy kiterjesztése.
* A [[Lebesgue–Stieltjes-integrál]], egy [[Johann Radon]] által kifejlesztett integrál, ami a {{nowrap|[[Riemann–Stieltjes-integrál]]}} és a {{nowrap|[[Lebesgue-integrál]]}} általánosítása.
* A [[Daniell-integrál]], amely a Lebesgue-integrál és a {{nowrap|[[Lebesgue–Stieltjes-integrál]]}} általánosítása [[Mértékelmélet (matematika)|mértékek]] használata nélkül.
* A [[Haar-integrál]], amit lokálisan kompakt topologikus csoportok fölötti integrálást tesz lehetővé. [[Alfréd Haar]] alkotta meg 1933-ban.

==Tulajdonságok==

===Linearitás===
* Egy zárt {{nowrap|[''a'', ''b'']}} intervallumon {{nowrap|Riemann-integrálható}} függvények halmaza/családja vektorteret alkot, a függvényösszegzés (pontonkénti összegzés) és a skalárral való szorzás műveletével. Ekkor az
::<math> f \mapsto \int_a^b f(x) \; dx</math>
:függvény egy lineáris [[funkcionál]] ezen a vektortéren. Így, először is az integrálható függvények halmaza/családja zárt az elemek [[lineáris kombináció]]jának képzésére, másodsorban pedig, egy lineáris kombináció integrálja megegyezik az őt alkotó elemek integráljának összegével, vagyis:

::<math> \int_a^b (\alpha f + \beta g)(x) \, dx = \alpha \int_a^b f(x) \,dx + \beta \int_a^b g(x) \, dx. \,</math>

*Hasonlóan a valós értékű Lebesgue-integrálható függvények halmaza egy adott ''μ'' mértékű ''E'' [[mértéktér]] felett szintén zárt az elemek lineáris kombinációjának való képzésére, vagyis szintén vektorteret alkot és az
:: <math> f\mapsto \int_E f \, d\mu </math>

:ahol az integrál a {{nowrap|[[Lebesgue-integrál]]}} szintén egy lineáris funkcionál, így:

::<math> \int_E (\alpha f + \beta g) \, d\mu = \alpha \int_E f \, d\mu + \beta \int_E g \, d\mu. </math>

A linearitás és az integrál néhány egyéb tulajdonságai felhasználhatóak arra, hogy egy alternatív definíciót adjunk az integrálnak ezekre építve. A {{nowrap|[[Daniell-integrál]]}} pontosan erre épül. Lásd {{Harv|Hildebrandt|1953}} az axiomatikus definícióért.

===Integrál-egyenlőtlenségek===
Számos {{nowrap|Riemann-integrálható}} zárt korlátos {{nowrap|[''a'', ''b'']}} intervallumon definiált függvényekre igaz egyenlőtlenség ismert, amelyek általánosíthatóak más integrálokra is (például Lebesgue és Daniell integrálokra).

* ''Alsó és felső korlátok'' Egy ''f'' {{nowrap|[''a'', ''b'']}} intervallumon integrálható függvény, szükségszerűen [[korlátos függvény|korlátos]] az {{nowrap|[''a'', ''b'']}} intervallumon. Vagyis eszerint léteznek ''m'' és ''M'' valós számok úgy, hogy {{nowrap|''m'' ≤ ''f''&thinsp;(''x'') ≤ ''M'',}} bármely ''{{nowrap|x'' ∈ [''a'', ''b'']-re.}} Mivel így az alsó és a felső közelítő összegek korlátosak {{nowrap|''m''(''b'' &minus; ''a'')}} és {{nowrap|''M''(''b'' &minus; ''a'')}} által, így:
:: <math> m(b - a) \leq \int_a^b f(x) \, dx \leq M(b - a). </math>

* ''Függvények integráljának egyenlőtlensége'' Ha {{nowrap|''f''(''x'') ≤ ''g''(''x'')}} minden {{nowrap|''x'' ∈ [''a'', ''b'']-re,}} akkor ''f'' bármely alsó és felső közelítése felülről korlátos a ''g'' függvény alsó ill. felső közelítése által. Vagyis:
:: <math> \int_a^b f(x) \, dx \leq \int_a^b g(x) \, dx. </math>
:Ezt az egyenlőtlenséget tekinthetjük az előző általánosításának is, hiszen {{nowrap|''M''(''b'' &minus; ''a'')}} egyenlő az konstans ''M'' értékű függvény {{nowrap|[''a'', ''b'']}} intervallum fölötti integráljával.
:Továbbá az is igaz, hogy ha az egyenlőtlenség a függvények között szigorú akkor az integráljuk között is szigorú egyenlőtlenség áll fenn. Vagyis ha {{nowrap|''f''(''x'') < ''g''(''x'')}} minden {{nowrap|''x'' ∈ [''a'', ''b'']-re,}} akkor:
:: <math> \int_a^b f(x) \, dx < \int_a^b g(x) \, dx. </math>

* ''Részintegrál'' Ha {{nowrap|[''c'', ''d'']}} egy részintervalluma {{nowrap|[''a'', ''b'']-nek}} és {{nowrap|''f''(''x'')}} nemnegatív minden {{nowrap|''x''-re,}} akkor:
:: <math> \int_c^d f(x) \, dx \leq \int_a^b f(x) \, dx. </math>

* ''Függvények abszolút értékének szorzata'' Ha ''f'' és ''g'' két függvény akkor ezek szorzatára, hatványaikra és abszolút értékükre igaz, hogy:
:: <math>(fg)(x)= f(x) g(x), \; f^2 (x) = (f(x))^2, \; |f| (x) = |f(x)|.\,</math>
:Ha ''f'' {{nowrap|Riemann-integrálható}} {{nowrap|[''a'', ''b'']-n,}} akkor |''f''| is az, és igaz, hogy:
:: <math>\left| \int_a^b f(x) \, dx \right| \leq \int_a^b | f(x) | \, dx. </math>

:Továbbá, ha ''f'' és ''g'' mindketten {{nowrap|Riemann-integrálhatóak,}} akkor ''fg'' szintén Riemann-integrálható és:
:: <math>\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). </math>
:A fenti egyenlőtlenség az integrálokra megfogalmazott {{nowrap|[[Cauchy–Schwarz-egyenlőtlenség]],}} ami fontos szerepet játszik a {{nowrap|[[Hilbert-tér|Hilbert-terek]]}} elméletében.

* ''Hölder-egyenlőtlenség'' Legyen ''p'' és ''q'' két valós szám úgy, hogy {{nowrap|1 ≤ ''p'', ''q'' ≤ ∞,}} amikre teljesül még, hogy {{nowrap|1/''p'' + 1/''q'' {{=}} 1,}} és ''f'' és ''g'' {{nowrap|Riemann-integrálható}} függvények. Ekkor a |''f''|<sup>''p''</sup> és a |''g''|<sup>''q''</sup> függvények szintén {{nowrap|Riemann-integrálhatóak}} és a következő úgynevezett {{nowrap|[[Hölder-egyenlőtlenség]]}} teljesül rájuk:
:<math>\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}.</math>
:Ha ''p'' = ''q'' = 2, a Hölder-egyenlőtlenség megegyezik a {{nowrap|Cauchy–Schwarz-egyenlőtlenséggel.}}

* ''Minkowski-egyenlőtlenség''. Legyen ''p'' ≥ 1 egy valós szám és ''f'' és ''g'' pedig {{nowrap|Riemann-integrálható}} függvények. Ekkor |''f''|<sup>''p''</sup>, |''g''|<sup>''p''</sup> és |''f'' + ''g''|<sup>''p''</sup> mind {{nowrap|Riemann-integrálhatóak}} és az úgynevezett {{nowrap|[[minkowski-egyenlőtlenség]]}} teljesül:
:<math>\left(\int \left|f(x)+g(x)\right|^p\,dx \right)^{1/p} \leq
\left(\int \left|f(x)\right|^p\,dx \right)^{1/p} +
\left(\int \left|g(x)\right|^p\,dx \right)^{1/p}.</math>

===Megállapodások===
Ebben a részben ''f'' mindig egy valós {{nowrap|Riemann-integrálható}} függvényt jelent. Az
:<math> \int_a^b f(x) \, dx </math>
integrálban az integrálási tartomány az {{nowrap|[''a'', ''b'']}} intervallum, ha ''a'' &lt; ''b''. Ha {{nowrap|''a'' &gt; ''b''}} akkor:

* ''Az integrálási határok felcserélése.'' Ha {{nowrap|''a'' &gt; ''b''}}, akkor használjuk a következő definíciót:
:: <math>\int_a^b f(x) \, dx = - \int_b^a f(x) \, dx. </math>
Így, {{nowrap|''a'' {{=}} ''b''}} implikálja, hogy:
* ''Integrál nulla hosszúságú intervallumon'' Ha ''a'' egy valós szám, akkor
:: <math>\int_a^a f(x) \, dx = 0. </math>

Az utolsó megállapodás azt állítja, hogy egy degenerált intervallum (vagyis egy pont) fölött az integrál értéke nulla. Ha egy függvény integrálható az {{nowrap|[''a'', ''b'']}} intervallumon akkor ennek bármely részintervallumán is (a degenerált intervallumokon is) integrálható. Ezt felhasználjuk a következő tételben:

* ''Az integrál additivitása'' Ha ''c'' egy eleme az {{nowrap|[''a'', ''b'']}} intervallumnak, akkor
:: <math> \int_a^b f(x) \, dx = \int_a^c f(x) \, dx + \int_c^b f(x) \, dx.</math>

==A Newton–Leibniz-formula==
{{Main|Newton–Leibniz-tétel}}

A ''Newton–Leibniz-formula'' gyakorlatilag azt mondja ki, hogy a differenciálás és az integrálás egymás ellentétei, vagyis egy folytonos függvényt először integrálva majd deriválva az eredeti függvényt kapjuk. (Ha az integrálás és a deriválás sorrendjét felcseréljük, akkor az eredeti függvényt egy konstans bizonytalansággal kapjuk vissza.) A tétel fontos következménye, hogy a segítségével kiszámíthatjuk határozott integrálok pontos értékét, ha az integrandus antideriváltja ismert.

===A tétel állításai===

====Az integrálfüggvény egy primitív függvénye az integrandusnak====

Legyen ''f'' egy folytonos valós {{nowrap|[''a'', ''b'']}} intervallumon definiált függvény. Ekkor definiáljuk az ''F'' függvényt, minden {{nowrap|x ∈ [''a'', ''b'']-re}} a következőképpen:
:<math>F(x) = \int_a^x f(t)\, dt.</math>
Vagyis ''F'' ''integrálfüggvény''. Ekkor, ''F'' folytonos az {{nowrap|[''a'', ''b'']}} intervallumon és deriválható az {{nowrap|(''a'', ''b'')}} nyitott intervallumon és:

:<math>F'(x) = f(x)</math>

minden {{nowrap|''x'' ∈ (''a'', ''b'')-re.}}

A fenti állítás bizonyítható a Newton–Leibniz-formula hagyományos alakjának (lásd a következő részt) mindkét oldalának az integrál felső határpontja szerinti deriválásával.

====Határozott integrál kiszámítása a Newton–Leibniz-tétellel====

Legyen ''f'' egy valós függvény az {{nowrap|[''a'', ''b'']}} intervallumon, úgy, hogy létezik antideriváltja ''F'' az {{nowrap|[''a'', ''b'']}} intervallumon. Vagyis, ''f'' és ''F'' olyan függvények, hogy minden ''x'' ∈ {{nowrap|[''a'', ''b'']}}-re igaz, hogy:

:<math>f(x) = F'(x).</math>

Ha ''f'' integrálható az {{nowrap|[''a'', ''b'']}} intervallumon, akkor

:<math>\int_a^b f(x)\,dx = F(b) - F(a).</math>

==Kiterjesztések==

===Improprius integrál===
{{Main|Improprius integrál}}
[[Fájl:Improper integral.svg|right|bélyegkép|A <br/><math>\int_{0}^{\infty} \frac{dx}{(x+1)\sqrt{x}} = \pi</math><br/> integrál egy [[improprius integrál]], amelynek mind az integrálási tartománya, mind az integrandusának értékkészlete nemkorlátos.]]
A "normális" Riemann-integrál megköveteli, hogy az integrandus értelmezhető legyen az integrálási intervallum minden pontjában és hogy ez az intervallum korlátos legyen. Egy integrált, akkor nevezünk improprius integrálnak ha a fentiek közül egy vagy két kritérium nem teljesül. Ezen integrálokat úgy értelmezhetjük mint a "hagyományos" {{nowrap|Riemann-integrálok}} egy sorozatának határértékét, amely sorozatban az integrál integrálási intervalluma egyre növekszik.

Ha például az integrálási intervallum nemkorlátos, mondjuk a felülről, akkor az integrál a hagyományos {{nowrap|Riemann-integrál}} olyan határértéke, ahol az integrálás felső határa a végtelenbe tart.
:<math>\int_{a}^{b} f(x)\,dx = \lim_{\epsilon \to 0} \int_{a+\epsilon}^{b} f(x)\,dx</math>

Vagyis az improprius integrál olyan hagyományos {{nowrap|Riemann-integrálok}} sorozatának határértéke, ahol az integrálsorozat integráljainak integrálási határai vagy egy meghatározott valós számokhoz vagy (+ vagy &minus;) ∞-hez tartanak. Bonyolultabb esetekben, ha a kritikus pont az integrálási intervallum [[belső pont]]ja az integrált az adott pontnál két (improprius) részre bontjuk.

Példának vegyük az <math>1/((x+1)\sqrt{x})</math> függvény 0-tól {{nowrap|∞-ig}} vett integrálját (lásd feljebb a képet). Ahogy ''x'' az alsó integrálási határt közelíti a függvény a {{nowrap|∞-be}} tart, míg az integrálás felső határa szintén ∞, amelybe tartva a függvény értéke 0-ba tart. Vagyis ez bizonyosan improprius integrál lesz. Ha az integrálást, mondjuk 1-től 3-ig végeznénk el akkor a hagyományos {{nowrap|Riemann-integrál}} (vagyis a megfelelő {{nowrap|Riemann-összegek}} határértéke) értéke π/6 lenne. Vegyünk a fenti függvénynek egy integrálját, amelynek alsó határa 1 míg felső határa egy véges ''t'' szám ({{nowrap|''t'' &gt; 1}}. Ennek az eredménye <math>2\arctan (\sqrt{t}) - \pi/2</math>. Ennek a kifejezésnek a határértéke létezik, ha ''t'' végtelenbe tart, és a határérték π/2. Hasonlóan a függvénynek 1/3-tól 1-ig vett integrálja π/6. Itt a második részben az 1/3-ot lecserélve egy pozitív ''s'' számra (úgy, hogy {{nowrap|''s'' &lt; 1}}) kapjuk, hogy ez az integrál <math>\pi/2 - 2\arctan (\sqrt{s})</math>. Ennek, ahogy ''s'' a 0-hoz tart szintén, létezik határértéke és ez a határérték π/2. Az integrál additivitását felhasználva kapjuk, hogy az improprius integrál
:<math>\begin{align}
 \int_{0}^{\infty} \frac{dx}{(x+1)\sqrt{x}} &{} = \lim_{s \to 0} \int_{s}^{1} \frac{dx}{(x+1)\sqrt{x}}
   + \lim_{t \to \infty} \int_{1}^{t} \frac{dx}{(x+1)\sqrt{x}} \\
  &{} = \lim_{s \to 0} \left(\frac{\pi}{2} - 2 \arctan{\sqrt{s}} \right)
   + \lim_{t \to \infty} \left(2 \arctan{\sqrt{t}} - \frac{\pi}{2} \right) \\
  &{} = \frac{\pi}{2} + \left(\pi - \frac{\pi}{2} \right) \\
  &{} = \frac{\pi}{2} + \frac{\pi}{2} \\
  &{} = \pi .
\end{align}</math>
A fenti eljárás ugyanakkor nem mindig végződik sikerrel. A {{nowrap|Riemann-integrálok}} határértéke lehet, hogy nem létezik. Például az 1/''x'' függvény nem integrálható így 0 és 1 között.
[[Fájl:Improper integral unbounded internally.svg|right|bélyegkép|Az [[improprius integrál]]<br/><math>\int_{-1}^{1} \frac{dx}{\sqrt[3]{x^2}} = 6</math><br/> integrandusa ugyan nem korlátos így hagyományosan nem Riemann-integrálható, de mivel mind a "jobb oldali" mind a "bal oldali" integrálrész határértéke létezik így improprius integrállal integrálható.]]

Ha a "kritikus pont", vagyis az a pont, ahol az integrandus nem korlátos (vagyis olyan pont, amelynek nincs olyan kis sugarú környezete, amelyben a függvény korlátos lenne) egy belső pontja az integrálási tartománynak, akkor az integrál az adott pont mentén felbontandó két improprius integrál összegére.
:<math>\begin{align}
 \int_{-1}^{1} \frac{dx}{\sqrt[3]{x^2}} &{} = \lim_{s \to 0} \int_{-1}^{-s} \frac{dx}{\sqrt[3]{x^2}}
   + \lim_{t \to 0} \int_{t}^{1} \frac{dx}{\sqrt[3]{x^2}} \\
  &{} = \lim_{s \to 0} 3(1-\sqrt[3]{s}) + \lim_{t \to 0} 3(1-\sqrt[3]{t}) \\
  &{} = 3 + 3 \\
  &{} = 6.
\end{align}</math>
De a hasonló
:<math> \int_{-1}^{1} \frac{dx}{x} \,\!</math>
integrál nem integrálható ilyen módon mivel sem a "felső" sem az "alsó" részének a határértéke nem létezik.

===Többszörös integrál===
{{Main|Többszörös integrál}}
[[Fájl:Volume under surface.png|right|bélyegkép|A kétszeres integrál megadja az egy adott tartomány és fölötte lévő felület által határolt térfogatot.]]
Integrálni nem csak [[intervallum]]ok felett lehet. Általánosan, egy adott ''E'' halmaz fölötti integrált a következőképpen jelölünk:

:<math>\int_E f(x) \, dx.</math>

Itt az {{nowrap|''x''-nek}} nem muszáj valós változónak lennie, lehet például '''R'''<sup>3</sup> vektor értékű változó is. A [[Fubini tétel]] szerint az ilyen integrálok felírhatóak integrálok integráljaként. Magyarul tehát az ilyen "területek" (vagy "térfogatok", vagy általánosan {{nowrap|''n-[[sokaság (matematika)|sokaság]]'')}} feletti integrálok kiszámítható az egyes koordináták szerinti egyenkénti integrálással. (A részletekért és a pontos állításért lásd: [[Fubini tétel]])

Ahogy a pozitív egyváltozós függvények határozott integrálja a függvény és az x-tengely által bezárt területet adja meg, úgy a kettős integrálja egy pozitív kétváltozós függvénynek megadja az integrálási tartomány és a függvény által meghatározott felület által bezárt térfogatot. (Ugyanezt a térfogatot kiszámíthatjuk hármas integrállal is. Ekkor a hármas integrál teljes integrálási tartománya a fent említett tartomány, amit a függvény és a kettős integrál integrálási tartománya {{nowrap|''bezár''&nbsp;—&nbsp;tehát}} az egész közrezárt térrész, {{nowrap|térfogat&nbsp;—&nbsp;míg}} az integrandus a konstans <math>1</math> függvény.) Ha a változók száma és az integrálok száma nagyobb, akkor a kifejezés az adott dimenziós térfogatnak felel meg.

Például, egy téglatest {{nowrap|térfogatát&nbsp;—&nbsp;amelynek}} az oldalai rendre 4, 6, és 5 {{nowrap|egység&nbsp;—&nbsp;kétféleképpen}} is kiszámíthatjuk:
* Egy kettős integrállal:
:: <math>\iint_D 5 \ dx\, dy</math>
: az integrandus az {{nowrap|''f''(''x'', ''y'') {{=}} 5}} függvény. A ''D'' tartomány, amely fölött integrálunk az ''xy''-sík azon része, amely a téglatest alapját adja. Például ha a téglatest (mint hasáb), téglalap alapját a következő egyenlőtlenség adja meg: {{nowrap|3 ≤ ''x'' ≤ 7,}} {{nowrap|4 ≤ ''y'' ≤ 10,}} akkor a konkrét kettős integrál a következő:

::<math>\int_4^{10}\left[ \int_3^7 \ 5 \ dx\right] dy.</math>

:Innen az integrálást elvégezhetjük, bármelyik változóval kezdve. Például ha először az ''x'' szerinti integrálást végezzük el (vagyis a belső integrált), akkor az első integrál kiszámítása után, például az <math>F(b) - F(a)</math> különbség meghatározásával vagy akár másképpen, a kapott eredményt a következő "beburkoló" integrál integrandusaként kell kezelni.
* Vagy pedig a
::<math>\iiint_\text{téglatest} 1 \, dx\, dy\, dz</math>
:hármasintegrállal, ahol az integrandus a konstans ''1'' függvény, míg az integrálási tartomány a teljes téglatest.

===Vonalintegrál===
{{Main|Vonalintegrál}}
[[Fájl:Line-Integral.gif|right|bélyegkép|A vonalintegrál összeadja az egy adott görbe mentén előforduló elemeket.]]
Az integrálás elve kiterjeszthető általánosabb alaphalmazokra is, mint például adott [[Görbe (matematika)#Topológiai értelmezés|görbék]] menti integrálásra vagy felületek feletti integrálásra. Ezen típusú integrálok a fizika fontos eszközei (különféle [[vektormező]]kkel kapcsolatosan).

A ''vonalintegrál'' olyan integrál, aminek az integrandusát egy adott [[Görbe (matematika)#Topológiai értelmezés|görbe]] mentén integrálunk. Ha az adott görbe zárt görbe, vagyis ha a kezdő és a végpontja megegyezik akkor a vonalintegrál ''[[körintegrál]]''.

Vektortér zárt vonalintegrálja (körintegrálja) a makroszkopikus cirkuláció az adott görbe mentén: <math>\oint_C \mathbf F \cdot d\mathbf s</math>. Konzervatív erőtér cirkulációja és rotációja is nyilván zérus, míg más erőtereknél ezek általában nem egyeznek meg.<ref>https://ertedmar.hu/cikkek/a-vonalintegral-mint-cirkulacio</ref>

A vontalintegrál integrandusa lehet [[Skalártér|skalár értékű]] vagy [[vektormező|vektor értékű]] is. A vonalintegrál értéke az adott görbe mentén előforduló elemek ''súlyozott'' összege. (A ''súlyozást'' úgy kell érteni, hogy a görbét "lépésekre" bontjuk, vagyis kijelölünk rajta pontokat, amely pontokban vesszük az integrandus értékét és megszorozzuk az előző és az aktuális pont közötti távolsággal. Ha az integrandus nem skalár hanem vektor értékű akkor a görbe adott pontbeli lineáris közelítésével, érintővektorával, való skaláris szorzatát vesszük. Az így kapott szorzatokat összegezzük. Ha minden pont közötti görberésznek a hossza a 0-ba tart akkor kapjuk meg a vonalintegrál pontos értékét.) A fizika számos részén használható az így definiált vonalintegrál. Például egy erőtér egy részecskén végzett munkáját kiszámíthatjuk a vonalintegrál segítségével. A munka alapesetben, ha az erő állandó az elmozdulás pedig egyenes akkor kiszámítható a
:<math>W=\mathbf F\cdot\mathbf s.</math>
képlettel. Ha azonban a részecske egy adott ''C'' görbe mentén mozog a térben az adott pontban ráható erőt (amely egy vektor) az ''F'' vektormező adja meg akkor az erőtér (a vektormező) által a részecskén végzett munka általánosan megkapható úgy, hogy az utat "infinitezimális" részekre bontjuk amelyeket egyenesnek veszünk. Ekkor a teljes munka megegyezik ezen részutakon végzett munkák összegével, így kapjuk a
:<math>W=\int_C \mathbf F\cdot d\mathbf s</math>
vonalintegrált.
{{Több kép
 | igazítás = center
 | align = center
 | irány = vízszintes
 | szélesség = 380
 | kép1 = Line integral of scalar field.gif
 | kép2 = Line integral of vector field.gif
 | szélesség1 = 380
 | szélesség2 = 380
 | szöveg1 = <div>Vonalintegrálás egy ''f'' skalártérben. Az integrál megadja, hogy a ''C'' görbe által és a ''z'' = ''f''(''x'',''y'') felület által meghatározott szalagnak mekkora a területe.</div>
 | szöveg2 = <div>Egy részecske pályája (pirossal) egy vektormezőben. Az ''a'' pontból indulva a részecske a ''C'' görbe mentén haladva az ''F'' vektormezőben mozog a ''b'' pontba. Az elmozdulásávektorának (piros vektor) és a vektormezőnek (adott pontbeli elemének) (kék vektor) a skaláris szorzata meghatároz egy függvényt (zöld vonal), amelynek integrálja (vagyis a "zöld görbe alatti előjeles terület", amely a képen világoszöld színű) adja meg a vonalintegrál értékét.</div>
}}

===Felületi integrál===
{{Main|Felületi integrál}}
[[Fájl:Surface integral illustration.svg|right|bélyegkép|A felületi integrál definíciója azon alapul, hogy a felületet felbonthatjuk kisebb területű elemekre.]]
A ''felületi integrál'' olyan határozott integrál, amelynek integrálási tartománya egy [[felület]]. A fentiek szerint (lásd a [[#T.C3.B6bbsz.C3.B6r.C3.B6s_integr.C3.A1l|többes integrálok részt]] és a Fubini tételt) ez felírható mint egy többszörös integrál. Az integrandus lehet [[skalártér|skalár értékű]] vagy [[vektormező|vektor értékű]] is. Az adott felületet felbonthatjuk kisebb részekre és ezeken a felosztásokon egy {{nowrap|Riemann-összeghez}} hasonló összeget definiálhatunk. A felületi integrál ennek az összegnek a határértéke, ahogy a felosztás minden elemének a mérete/mértéke 0-ba tart.

Például legyen adott egy ''v'' [[vektormező]] és egy ''S'' felület a térben; vagyis, minden {{nowrap|'''x''' ∈ ''S''-re,}} '''v'''('''x''') egy vektor. Képzeljük el, hogy egy folyadék keresztülfolyik az ''S'' felületen úgy, hogy minden '''x''' pontjában az ''S'' felületnek a folyadék sebessége '''v'''('''x'''). A [[fluxus]] azt adja meg, hogy egy adott felületen egységnyi idő alatt mennyi folyadék áramlik át. A fluxus kiszámításához ''S'' minden pontjában vennünk kell a folyadék áramlási sebességének és a felület (adott pontbeli) normálisának a [[skaláris szorzat]]át. Ez meghatároz egy skalárteret ''S'' minden pontjában, amelyet a felületen integrálva kapjuk, hogy:
:<math>\int_S {\mathbf v}\cdot \,d{\mathbf {S}}.</math>
Az ilyen típusú integrálok jelentik az alapját például az elektrodinamikának.

==Kiszámítási módszerek==
===Analitikus===
A legalapvetőbb módszer egy határozott valós egyváltozós integrál meghatározásához a [[Newton–Leibniz-tétel]] használata; Vagyis ha <math>f(x)</math> egy adott {{nowrap|<math>[a, b]</math>}} intervallumon integrálandó függvény, akkor {{nowrap|<math>f</math>-nek}} az {{nowrap|<math>[a, b]</math>}} intervallumon való antideriváltját vagy más néven primitív függvényét (vagyis azt az <math>F</math> függvényt, amelynek deriváltja <math>f</math>, vagyis <math>F'=f</math>) felhasználva kapjuk, hogy ha az integrálási tartományon sem az integrandusnak (az <math>f</math> függvény), sem az integrandus primitív függvényének nincs szingularitása, akkor:

:<math>\int_a^b f(x)\,dx = F(b)-F(a).</math>

A határozott integrál ugyan nem egyezik meg magával a primitív függvénnyel, (hiszen a határozott integrál egy ''szám'', konkrét ''érték'', míg az primitív függvény egy ''függvény'', egy függvény határozatlan integrálja pedig az összes primitív függvényének a halmaza) de a Newton–Leibniz-formulát felhasználva a primitív függvény használható, határozott integrál kiszámítására.

Ennek a módszernek a legnehezebb lépése a primitív függvény megtalálása. Bizonyos ritka esetekben a primitív függvény ránézésre megállapítható, de a legtöbb esetben különféle módszereket kell alkalmazni az antiderivált meghatározására. A legtöbb ilyen módszer az integrált más (remélhetőlebb egyszerűbben kiszámítható) alakra hozza. A leggyakoribb technikák:
* [[Helyettesítéses integrálás]]
* [[Parciális integrálás]]
* [[Inverz függvény szerinti integrálás]]
<!--* [[Order of integration (calculus)|Changing the order of integration]]-->
* [[Integrálás trigonometrikus helyettesítéssel]]
* [[Tangens félszög helyettesítés]]
* [[Integrálás parciális törtekre bontással]]
* [[Integrálás redukciós formulákkal]]
<!--* [[Integration using parametric derivatives]]-->
* [[Integrálás az Euler-képlettel]]
* [[Euler-helyettesítés]]
* [[Integrál differenciálása]]
* [[Körintegrál|Integrálás körintegrállal]]
* [[Reziduumtétel]]
A komplexebb integrálok kiszámíthatóak "alternatív" módszerekkel, például egy olyan integrál, amelynek kiszámításához szükséges primitív függvény nem [[elemi függvények|elemi függvény]] kiszámítható úgy, hogy az integrandust lecseréljük annak [[Taylor-sor|Taylor sorával]].

Kész formulákért (antideriváltakért lásd: [[Antideriváltak listája]] és [[Riemann-integrálás]]).

===Szimbolikus===
{{Main|Szimbolikus integrálás}}
Bizonyos matematikai illetve fizikai problémáknál esetleg szükség lehet az integrál értékét kifejező explicit formulára. Így megjelentek az [[Antideriváltak listája|integráltáblázatok]]. Később megjelentek olyan úgynevezett [[számítógépes algebra rendszerek]], amelyek célja hogy bonyolult vagy hosszú, nagy méretű számításokat az emberek helyett elvégezzenek. A szimbolikus integrálási feladatok elsődleges motivációt szolgáltattak ilyen rendszerek fejlesztéséhez.

A szimbolikus integrálás egyik kihívása, hogy akár meglehetősen egyszerű függvények esetén is az antiderivált kiszámítása nagy kihívást jelenthet vagy akár bizonyos esetekben zárt formulaként nem is létezik. Például az exp(''x''<sup>2</sup>), ''x''<sup>''x''</sup> és a {{nowrap|(sin ''x'')/''x''}} függvények antideriváltja nem fejezhetőek ki elemi függvényekkel. {{nowrap|[[A Risch-algoritmus]]}} (amit például a [[Mathematica]] szoftvercsomag is alkalmaz) egy olyan algoritmus, amely egy általános kritériumot ad meg annak eldöntésére, hogy egy adott [[elemi függvény]] antideriváltja elemi függvény-e, és ha igen akkor az algoritmussal kiszámítható az adott elemi antiderivált. Azonban a gyakorlat azt mutatja, hogy azok a függvények, amelyek antideriváltja elemi, kisebbségben vannak. Vagyis a számítógépes algebra rendszerek a legtöbb esetben általános elemi integrandus esetén nagy valószínűséggel nem tudnak megoldással szolgálni. Ugyanakkor ha bizonyos nem elemi függvényeket "pluszban elfogadunk elemi függvényeknek", akkor ezeket az előre betáplált, eredetileg nem elemi függvényeket (például {{nowrap|[[Gamma-függvény]])}} felhasználva az algoritmus képes lehet az antiderivált megadására.

Bizonyos integrandusok integrálása olyan gyakran kerül elő, például a fizikában (lásd például: {{nowrap|[[Legendre-függvény]]),}} hogy saját nevet {{nowrap|kapnak ([[Gamma-függvény]]}} stb). A {{nowrap|Risch-algoritmus}} ilyen nem elemi függvényekkel való kiterjesztése aktív kutatási terület jelenleg is.

===Numerikus===
{{Main|Numerikus integrálás}}

{{lefordítandó}}
<div style="display:none;"><nowiki>The integrals encountered in a basic calculus course are deliberately chosen for simplicity; those found in real applications are not always so accommodating. Some integrals cannot be found exactly, some require special functions which themselves are a challenge to compute, and others are so complex that finding the exact answer is too slow. This motivates the study and application of numerical methods for approximating integrals, which today use [[Floating point|floating-point arithmetic]] on digital electronic computers. Many of the ideas arose much earlier, for hand calculations; but the speed of general-purpose computers like the [[ENIAC]] created a need for improvements.

The goals of numerical integration are accuracy, reliability, efficiency, and generality. Sophisticated methods can vastly outperform a naive method by all four measures ({{Harvnb|Dahlquist|Björck|2008}}; {{Harvnb|Kahaner|Moler|Nash|1989}}; {{Harvnb|Stoer|Bulirsch|2002}}). Consider, for example, the integral
:<math> \int_{-2}^{2} \tfrac{1}{5} \left( \tfrac{1}{100}(322 + 3 x (98 + x (37 + x))) - 24 \frac{x}{1+x^2} \right) dx </math>
which has the exact answer {{nowrap|94/25 {{=}} 3.76}}. (In ordinary practice the answer is not known in advance, so an important task&nbsp;— not explored here&nbsp;— is to decide when an approximation is good enough.) A “calculus book” approach divides the integration range into, say, 16 equal pieces, and computes function values.
:{| cellpadding="0" cellspacing="0" class="wikitable" style="text-align:center;background-color:white"
|+ Spaced function values
|-
! ''x''
| colspan="2" | −2.00 || colspan="2" | −1.50 || colspan="2" | −1.00 || colspan="2" | −0.50 || colspan="2" | &nbsp;0.00 || colspan="2" | &nbsp;0.50 || colspan="2" | &nbsp;1.00 || colspan="2" | &nbsp;1.50 || colspan="2" | &nbsp;2.00
|- style="font-size:80%"
! style="font-size:125%" | ''f''(''x'')
| colspan="2" | &nbsp;2.22800 || colspan="2" | &nbsp;2.45663 || colspan="2" | &nbsp;2.67200 || colspan="2" | &nbsp;2.32475 || colspan="2" | &nbsp;0.64400 || colspan="2" | −0.92575 || colspan="2" | −0.94000 || colspan="2" | −0.16963 || colspan="2" | &nbsp;0.83600
|-
! ''x''
| &nbsp;
| colspan="2" | −1.75 || colspan="2" | −1.25 || colspan="2" | −0.75 || colspan="2" | −0.25 || colspan="2" | &nbsp;0.25 || colspan="2" | &nbsp;0.75 || colspan="2" | &nbsp;1.25 || colspan="2" | &nbsp;1.75 ||
|- style="font-size:80%"
! style="font-size:125%" | ''f''(''x'')
|
| colspan="2" | &nbsp;2.33041 || colspan="2" | &nbsp;2.58562 || colspan="2" | &nbsp;2.62934 || colspan="2" | &nbsp;1.64019 || colspan="2" | −0.32444 || colspan="2" | −1.09159 || colspan="2" | −0.60387 || colspan="2" | &nbsp;0.31734 ||
|- style="background-color:#aaa"
| || || || || || || || || || || || || || || || || || ||
|}
[[Fájl:Numerical quadrature 4up.png|bélyegkép|right|Numerical quadrature methods: <span style="color:#bc1e47">■</span>&nbsp;Rectangle, <span style="color:#fec200">■</span>&nbsp;Trapezoid, <span style="color:#0081cd">■</span>&nbsp;Romberg, <span style="color:#009246">■</span>&nbsp;Gauss]]
Using the left end of each piece, the [[rectangle method]] sums 16 function values and multiplies by the step width, ''h'', here 0.25, to get an approximate value of 3.94325 for the integral. The accuracy is not impressive, but calculus formally uses pieces of infinitesimal width, so initially this may seem little cause for concern. Indeed, repeatedly doubling the number of steps eventually produces an approximation of 3.76001. However, 2<sup>18</sup> pieces are required, a great computational expense for such little accuracy; and a reach for greater accuracy can force steps so small that arithmetic precision becomes an obstacle.

A better approach replaces the horizontal tops of the rectangles with slanted tops touching the function at the ends of each piece. This [[trapezium rule]] is almost as easy to calculate; it sums all 17 function values, but weights the first and last by one half, and again multiplies by the step width. This immediately improves the approximation to 3.76925, which is noticeably more accurate. Furthermore, only 2<sup>10</sup> pieces are needed to achieve 3.76000, substantially less computation than the rectangle method for comparable accuracy.

[[Romberg's method]] builds on the trapezoid method to great effect. First, the step lengths are halved incrementally, giving trapezoid approximations denoted by ''T''(''h''<sub>0</sub>), ''T''(''h''<sub>1</sub>), and so on, where ''h''<sub>''k''+1</sub> is half of ''h''<sub>''k''</sub>. For each new step size, only half the new function values need to be computed; the others carry over from the previous size (as shown in the table above). But the really powerful idea is to [[Interpolation|interpolate]] a polynomial through the approximations, and extrapolate to ''T''(0). With this method a numerically ''exact'' answer here requires only four pieces (five function values)! The [[Lagrange polynomial]] interpolating {{nowrap|{''h''<sub>''k''</sub>,''T''(''h''<sub>''k''</sub>)}<sub>''k'' {{=}} 0…2</sub> {{=}} {(4.00,6.128), (2.00,4.352), (1.00,3.908)}}} is {{nowrap|3.76 + 0.148''h''<sup>2</sup>}}, producing the extrapolated value 3.76 at {{nowrap|''h'' {{=}} 0}}.

[[Gaussian quadrature]] often requires noticeably less work for superior accuracy. In this example, it can compute the function values at just two ''x'' positions, ±2⁄√3, then double each value and sum to get the numerically exact answer. The explanation for this dramatic success lies in error analysis, and a little luck. An ''n-''point Gaussian method is exact for polynomials of degree up to 2''n''−1. The function in this example is a degree 3 polynomial, plus a term that cancels because the chosen endpoints are symmetric around zero. (Cancellation also benefits the Romberg method.)

Shifting the range left a little, so the integral is from −2.25 to 1.75, removes the symmetry. Nevertheless, the trapezoid method is rather slow, the polynomial interpolation method of Romberg is acceptable, and the Gaussian method requires the least work&nbsp;— if the number of points is known in advance. As well, rational interpolation can use the same trapezoid evaluations as the Romberg method to greater effect.

:{| class="wikitable" style="background-color:white;text-align:center"
|+ Quadrature method cost comparison
|-
! style="text-align:right" | Method
| '''Trapezoid''' || '''Romberg''' || '''Rational''' || '''Gauss'''
|-
! style="text-align:right" | Points
| 1048577 || 257 || 129 || 36
|-
! style="text-align:right" | Rel. Err.
| −5.3×10<sup>−13</sup> || −6.3×10<sup>−15</sup> || 8.8×10<sup>−15</sup> || 3.1×10<sup>−15</sup>
|-
! style="text-align:right" | Value
| colspan="4" | <math>\textstyle \int_{-2.25}^{1.75} f(x)\,dx = 4.1639019006585897075\ldots</math>
|}

In practice, each method must use extra evaluations to ensure an error bound on an unknown function; this tends to offset some of the advantage of the pure Gaussian method, and motivates the popular [[Gauss–Kronrod quadrature formula]]e. Symmetry can still be exploited by splitting this integral into two ranges, from −2.25 to −1.75 (no symmetry), and from −1.75 to 1.75 (symmetry). More broadly, [[adaptive quadrature]] partitions a range into pieces based on function properties, so that data points are concentrated where they are needed most.

[[Simpson's rule]], named for [[Thomas Simpson]] (1710–1761), uses a parabolic curve to approximate integrals. In many cases, it is more accurate than the [[trapezoidal rule]] and others. The rule states that
:<math> \int_a^b f(x) \, dx \approx \frac{b-a}{6}\left[f(a) + 4f\left(\frac{a+b}{2}\right)+f(b)\right],</math>
with an error of
:<math> \left|-\frac{(b-a)^5}{2880} f^{(4)}(\xi)\right|.</math>

The computation of higher-dimensional integrals (for example, volume calculations) makes important use of such alternatives as [[Monte Carlo integration]].

A calculus text is no substitute for numerical analysis, but the reverse is also true. Even the best adaptive numerical code sometimes requires a user to help with the more demanding integrals. For example, improper integrals may require a change of variable or methods that can avoid infinite function values, and known properties like symmetry and periodicity may provide critical leverage.

</nowiki></div>
===Mechanikus===
Egy tetszőleges kétdimenziós alakzat területe meghatározható egy speciális eszközzel az úgynevezett [[planiméter]]rel. Egy objektum térfogata megmérhető az általa kiszorított folyadék használatával. Lásd: [[Arkhimédész]].

==Néhány fontos határozott integrál==
Az integrálok segítségével definiált néhány függvény/állandó, például [[Euler–Mascheroni-állandó]]:
:<math>\gamma = \int_1^ \infty\left({1\over\lfloor x\rfloor}-{1\over x}\right)\,dx \, ,</math>

a [[Gamma-függvény]]:
:<math> \Gamma(z) = \int_0^\infty e^{-t} t^{z-1} dt,</math>

a [[Fourier-transzformáció]] ami a fizika fontos eszköze:
: <math>F(\xi) = \int_{-\infty}^{\infty} f(x) e^{-2\pi i x\xi}\,dx,</math>

a [[Laplace-transzformáció]]:
: <math>F(s) = \int_0^{\infty} f(t) e^{-st} \,dt,</math>

és a [[Gaussi-integrál]], ami a normális eloszlás definiálásának alapja, ill. a valószínűségszámításban használatos:

:<math>\int_{-\infty}^{\infty} e^{-x^2}\,dx = \sqrt{\pi}.</math>

==Fordítás==
*{{fordítás|en|Integral}}

==Jegyzetek==
{{jegyzetek}}

==Források==
{{columns-list|2|
* {{Citation | last=Apostol | first=Tom M. | author-link=Tom M. Apostol | title=Calculus, Vol.&nbsp;1: One-Variable Calculus with an Introduction to Linear Algebra | year=1967 | edition=2nd | publisher=[[John Wiley & Sons|Wiley]] | isbn=978-0-471-00005-1}}
* {{Citation | last=Bourbaki| first=Nicolas | author-link=Nicolas Bourbaki | title=Integration I | year=2004 | publisher=[[Springer Science+Business Media|Springer Verlag]] | isbn=3-540-41129-1}}. In particular chapters III and IV.
* {{Citation | last=Burton | first=David M. | title=The History of Mathematics: An Introduction | edition=6th | year=2005<!--November 8--> | publisher=[[McGraw-Hill]] | isbn=978-0-07-305189-5 | page=359}}
* {{Citation | last=Cajori | first=Florian | author-link=Florian Cajori | title=A History Of Mathematical Notations Volume II | year=1929 | publisher=[[Open Court Publishing Company|Open Court Publishing]] | url=http://www.archive.org/details/historyofmathema027671mbp | isbn=978-0-486-67766-8 | pages=247–252}}
* {{Citation | last1=Dahlquist | first1=Germund | author1-link=Germund Dahlquist | last2=Björck | first2=Åke | title=Numerical Methods in Scientific Computing, Volume I | publisher=[[Society for Industrial and Applied Mathematics|SIAM]] | location=Philadelphia | year=2008 | url=http://www.mai.liu.se/~akbjo/NMbook.html | chapter=Chapter&nbsp;5: Numerical Integration | accessdate=2014-07-29 | archívurl=https://web.archive.org/web/20070615185623/http://www.mai.liu.se/~akbjo/NMbook.html | archívdátum=2007-06-15 }} {{Wayback|url=http://www.mai.liu.se/~akbjo/NMbook.html |date=20070615185623 }}
* {{Citation | last = Folland | first = Gerald B.| title=Real Analysis: Modern Techniques and Their Applications | edition=1st | publisher=[[John Wiley & Sons]] | year = 1984 | isbn=978-0-471-80958-6}}
* {{Citation | last=Fourier | first=Jean Baptiste Joseph | author-link=Joseph Fourier | title=Théorie analytique de la chaleur | year=1822 | publisher=Chez Firmin Didot, père et fils | url=https://books.google.com/books?id=TDQJAAAAIAAJ | page=§231}}<br />Available in translation as {{citation | last=Fourier | first=Joseph | title=The analytical theory of heat | year=1878<!--original 1822--> | publisher=[[Cambridge University Press]] | url=http://www.archive.org/details/analyticaltheory00fourrich | others=Freeman, Alexander (trans.) | pages=200–201}}
* {{Citation | editor-last=Heath | editor-first=T. L. | editor-link=T. L. Heath | title = The Works of Archimedes | year = 2002 | publisher = [[Dover Publications|Dover]] | isbn = 978-0-486-42084-4 | url = http://www.archive.org/details/worksofarchimede029517mbp}}<br/>(Originally published by [[Cambridge University Press]], 1897, based on J. L. Heiberg's Greek version.)
* {{Citation | last=Hildebrandt | first=T. H. | author-link= | title=Integration in abstract spaces | journal=[[Bulletin of the American Mathematical Society]] | volume=59 | year=1953 | pages=111–139 | url=http://projecteuclid.org/euclid.bams/1183517761 | issn=0273-0979 | issue=2 | doi=10.1090/S0002-9904-1953-09694-X}}
* {{Citation | last1=Kahaner | first1=David | last2=Moler | first2=Cleve | author2-link=Cleve Moler | last3=Nash | first3=Stephen | title=Numerical Methods and Software | year=1989 | publisher=[[Prentice Hall]] | chapter=Chapter&nbsp;5: Numerical Quadrature | isbn=978-0-13-627258-8}}
*{{Citation | last=Kallio | first1=Bruce | first2=Victor | title=A History of the Definite Integral | url=https://circle.ubc.ca/bitstream/id/132341/UBC_1966_A8%20K3.pdf | year=1966 | accessdate=2014-07-29 | archívurl=https://web.archive.org/web/20140305054035/https://circle.ubc.ca/bitstream/id/132341/UBC_1966_A8%20K3.pdf | archívdátum=2014-03-05 }} {{Wayback|url=https://circle.ubc.ca/bitstream/id/132341/UBC_1966_A8%20K3.pdf |date=20140305054035 }}
*{{Citation | last1=Katz | first1=Victor J. | title=A History of Mathematics, Brief Version | publisher=[[Addison-Wesley]] | isbn=978-0-321-16193-2 | year=2004}}
* {{Citation | last=Leibniz | first=Gottfried Wilhelm | author-link=Gottfried Wilhelm Leibniz | title=Der Briefwechsel von Gottfried Wilhelm Leibniz mit Mathematikern. Erster Band | editor-last=Gerhardt | editor-first=Karl Immanuel | place=Berlin | publisher=Mayer &amp; Müller | year=1899 | url=http://name.umdl.umich.edu/AAX2762.0001.001}}
<!--
* ''Der Briefwechsel von Gottfried Wilhelm Leibniz mit Mathematikern. Erster Band. Hrsg. von C. I. Gerhardt. Mit Unterstützung der Königl. Preussischen Akademie der Wissenschaften.''<br />Leibniz, Gottfried Wilhelm, Freiherr von, 1646–1716., Gerhardt, Karl Immanuel, ed. 1816–1899, Berlin: Mayer & Müller, 1899. [http://name.umdl.umich.edu/AAX2762.0001.001]
-->
* {{citation|title=Analysis|first1=Elliott|last1=Lieb|authorlink1=Elliott Lieb|first2=Michael|last2=Loss|authorlink2=Michael Loss|year=2001 | isbn = 978-0821827833 | edition = 2 | publisher=AMS Chelsea}}
* {{Citation | last=Miller | first=Jeff | title=Earliest Uses of Symbols of Calculus | url=http://jeff560.tripod.com/calculus.html | accessdate=2009-11-22}}
* {{Citation | last1=O’Connor | first1=J. J. | last2=Robertson | first2=E. F. | title=A history of the calculus | year=1996 | url=http://www-history.mcs.st-andrews.ac.uk/HistTopics/The_rise_of_calculus.html | accessdate=2007-07-09}}
* {{Citation | last=Rudin | first=Walter | author-link=Walter Rudin | title=Real and Complex Analysis | year=1987 | edition=International | publisher=[[McGraw-Hill]] | chapter=Chapter&nbsp;1: Abstract Integration | isbn=978-0-07-100276-9}}
* {{Citation | last=Saks | first=Stanisław | author-link=Stanisław Saks | title=Theory of the integral | url=http://matwbn.icm.edu.pl/kstresc.php?tom=7&wyd=10&jez= | edition= English translation by L. C. Young. With two additional notes by Stefan Banach. Second revised | publisher= Dover | place=New York | year=1964}}
*{{citation | last1=Shea | first1=Marilyn | title=Biography of Zu Chongzhi | date=May 2007 | url=http://hua.umf.maine.edu/China/astronomy/tianpage/0014ZuChongzhi9296bw.html | publisher=University of Maine | accessdate=9 January 2009 | archívurl=https://web.archive.org/web/20100614000009/http://hua.umf.maine.edu/China/astronomy/tianpage/0014ZuChongzhi9296bw.html | archívdátum=2010-06-14 }} {{Wayback|url=http://hua.umf.maine.edu/China/astronomy/tianpage/0014ZuChongzhi9296bw.html |date=20100614000009 }}
* {{citation|last=Siegmund-Schultze|first=Reinhard|chapter=Henri Lebesgue|title=Princeton Companion to Mathematics|editors=Timothy Gowers, June Barrow-Green, Imre Leader|year=2008|publisher=Princeton University Press}}.
* {{Citation | last1=Stoer | first1=Josef | last2=Bulirsch | first2=Roland | year=2002 | title=Introduction to Numerical Analysis | edition=3rd | publisher=[[Springer Science+Business Media|Springer]] | chapter=Chapter&nbsp;3: Topics in Integration | isbn=978-0-387-95452-3}}.
* {{Citation | author=W3C | year=2006<!--January--> | title=Arabic mathematical notation<!--W3C Interest Group Note 31--> | url=http://www.w3.org/TR/arabic-math/}}
}}

==További információk==
* [http://mathworld.wolfram.com/RiemannSum.html Riemann Sum] by [[Wolfram Research]]
* [https://web.archive.org/web/20110430120810/http://www.khanacademy.org/video/introduction-to-definite-integrals?playlist=Calculus Introduction to definite integrals] by [[Khan Academy]]

===Online könyvek===
* Keisler, H. Jerome, [http://www.math.wisc.edu/~keisler/calc.html Elementary Calculus: An Approach Using Infinitesimals], University of Wisconsin
* Stroyan, K.D., [https://web.archive.org/web/20050911104158/http://www.math.uiowa.edu/~stroyan/InfsmlCalculus/InfsmlCalc.htm A Brief Introduction to Infinitesimal Calculus], University of Iowa
* Mauch, Sean, [https://web.archive.org/web/20060415161115/http://www.its.caltech.edu/~sean/book/unabridged.html ''Sean's Applied Math Book'']
* Crowell, Benjamin, [http://www.lightandmatter.com/calc/ ''Calculus'']
* Garrett, Paul, [http://www.math.umn.edu/~garrett/calculus/ Notes on First-Year Calculus]
* Hussain, Faraz, [http://www.understandingcalculus.com Understanding Calculus]
* Kowalk, W.P., [http://einstein.informatik.uni-oldenburg.de/20910.html ''Integration Theory''], University of Oldenburg.
* Sloughter, Dan, [http://math.furman.edu/~dcs/book Difference Equations to Differential Equations]
* [http://numericalmethods.eng.usf.edu/topics/integration.html Numerical Methods of Integration]
* P.S. Wang, [https://web.archive.org/web/20060917023831/http://www.lcs.mit.edu/publications/specpub.php?id=660 Evaluation of Definite Integrals by Symbolic Manipulation] (1972)

==Kapcsolódó szócikkek==
<div style="-moz-column-count:2; column-count:2;">
* [[Határozatlan integrál]]
* [[Darboux-integrál]]
* [[Henstock–Kurzweil-integrál]]
* [[Parciális integrálás]]
* [[Lebesgue-integrál]]
* [[Numerikus integrálás]]
* [[Riemann-integrál]]
* [[Riemann-összeg]]
* [[Riemann–Stieltjes-integrál]]
* [[Szimbolikus integrálás]]
</div>

[[Kategória:Analízis]]