Mostra la font per a Integració

{{article de qualitat}}
[[Fitxer:Integral example.png|miniatura|La integral definida d'una funció representa l'àrea limitada per la gràfica de la funció amb signe positiu quan la funció té valors positius i negatiu quan en té de negatius.]]
El concepte d''''integració''' és un concepte fonamental de les [[matemàtiques]] avançades, especialment en els camps del [[Càlcul infinitesimal|càlcul]] i de l'[[anàlisi matemàtica]]. Bàsicament, una '''integral''' és una generalització de la [[suma]] d'[[infinit]]s sumatoris, infinitament petits.
Una '''integral''' assigna números a funcions d'una manera que pot descriure el desplaçament, l'àrea, el volum i altres conceptes que sorgeixen combinant dades infinitesimals. La integració és una de les dues principals operacions de [[càlcul]], amb la seva inversa, [[Derivada|derivació]], que és l'altra.

Donada una [[funció matemàtica|funció]] ''f''(''x'') d'una [[variables dependents i independents|variable]] [[nombre real|real]] ''x'' i un [[interval (matemàtiques)|interval]] <nowiki>[</nowiki>''a'',''b''<nowiki>]</nowiki> de la [[recta real]], la '''integral'''
: <math>\int_a^b f(x)\,dx </math>
és igual a l'[[àrea]] de la regió del pla ''xy'' limitada entre la [[Gràfica d'una funció|gràfica]] de ''f'', l'eix ''x'', i les línies verticals ''x'' = ''a'' i ''x'' = ''b'', on es resten les àrees que estan per sota de l'eix ''x''.

La paraula "integral" també es pot referir a la noció de [[funció primitiva]], és a dir, una funció ''F'', la [[derivada]] de la qual és la funció donada ''f''. En aquest cas s'anomena '''integral indefinida''', mentre que les integrals tractades en aquest article són les '''integrals definides'''. Alguns autors conserven una distinció entre primitives i integrals indefinides.

Els principis de la integració varen ser formulats per [[Isaac Newton|Newton]] i [[Gottfried Wilhelm Leibniz|Leibniz]] a finals del {{segle|XVII|s}}. A través del [[teorema fonamental del càlcul]], que varen desenvolupar tots dos de forma independent, la integració es connecta amb la [[derivada|derivació]], i la integral definida d'una funció es pot calcular fàcilment un cop se'n coneix una primitiva. Les integrals i les derivades esdevenen eines bàsiques del [[Càlcul infinitesimal|càlcul]], amb nombroses aplicacions en ciència i enginyeria.

A començaments del {{segle|XIX}}, [[Bernhard Riemann]] va donar una definició rigorosa de la integral. Es basa en un [[límit]] que aproxima l'àrea d'una regió curvilínia a base de partir-la en petits bocins verticals. Posteriorment varen començar a aparèixer nocions més sofisticades de la integral, on s'han generalitzat els tipus de les funcions i els dominis sobre els quals es fa la integració. La [[integral curvilínia]] es defineix per funcions de dues o tres variables, i l'interval d'integració <nowiki>[</nowiki>''a'',''b''<nowiki>]</nowiki> se substitueix per una certa [[corba]] que connecta dos punts del pla o de l'espai. En una [[integral de superfície]], la corba se substitueix per un bocí d'una [[superfície]] a l'espai de tres dimensions. Els conceptes moderns d'integració es basen en la teoria matemàtica abstracta coneguda com a [[teoria de la mesura]], que va desenvolupar [[Henri Lebesgue]] a principis del {{segle|XX}}.

Les integrals de les [[forma diferencial|formes diferencials]] juguen un rol fonamental en la [[geometria diferencial]] moderna. Aquestes generalitzacions de la integral varen sorgir primer a partir de les necessitats de la [[física]], i tenen un paper important en la formulació de moltes lleis físiques com, per exemple, les de l'[[electromagnetisme]].
{{Índex esquerra}}

== Història ==
{{article principal|Història del càlcul}}
=== Integració abans del càlcul ===
La integració es pot resseguir en el passat fins a l'[[antic Egipte]], ''circa'' 1800 aC, amb el [[Papir de Moscou]], on es demostra que ja es coneixia una fórmula per calcular el volum d'un [[Tronc de piràmide|tronc piramidal]].<ref>No hi ha cap prova de com es va assolir el resultat; alguns, entre els quals s'inclou [[Morris Kline]] (''Mathematical thought from ancient to modern times'' Vol. I) suggereixen que s'hi va arribar per prova i error.</ref><ref name=Aslaksen>Helmer Aslaksen. [http://www.math.nus.edu.sg/aslaksen/teaching/calculus.html Why Calculus?] [[Universitat nacional de Singapore]].</ref> La primera tècnica sistemàtica documentada capaç de determinar integrals és el [[mètode d'exhaustió]] d'[[Èudox de Cnidos|Èudox]] (c. [[370 aC]]), que mirava de trobar àrees i volums a base de partir-los en un nombre infinit de formes per les quals l'àrea o el volum fossin coneguts. Aquest mètode va ser desenvolupat i usat més endavant per [[Arquimedes]], que el va emprar per calcular àrees de paràboles i una aproximació a l'àrea d'un cercle. Mètodes similars varen ser desenvolupats de forma independent a la [[Xina]] al voltant del {{segle|III|s}} per [[Liu Hui]], que els va fer servir per trobar l'àrea del cercle. Més tard, [[Zu Chongzhi]] va fer servir aquest mètode per trobar el volum d'una [[esfera]].<ref name=Aslaksen/> Algunes idees de càlcul integral es troben al ''Siddhanta Shiromani'', un llibre d'astronomia del {{segle|XII|s}} del matemàtic [[Índia|indi]] [[Bhaskara II]].

Fins al {{segle|XVI|s}} no varen començar a aparèixer avenços significatius sobre el mètode d'exhaustió. En aquesta època, d'una banda, el treball de [[Bonaventura Cavalieri|Cavalieri]] amb el seu ''mètode dels indivisibles'' i, de l'altra, els treballs de [[Fermat]], varen començar a desenvolupar els fonaments del càlcul modern. A inicis del {{segle|XVII}}, es varen produir nous avenços amb les aportacions de [[Isaac Barrow|Barrow]] i [[Evangelista Torricelli|Torricelli]], que varen presentar els primers indicis d'una connexió entre la integració i la [[derivada|derivació]].

=== Newton i Leibniz ===
Els principals avenços en integració varen venir al {{segle|XVII}} amb el descobriment del [[teorema fonamental del càlcul]], realitzat de manera independent per [[Isaac Newton|Newton]] i [[Gottfried Leibniz|Leibniz]]. El teorema demostra una connexió entre la integració i la derivació. Aquesta connexió, combinada amb la facilitat (comparativament parlant) del càlcul de derivades, es pot fer servir per calcular integrals. En particular, el teorema fonamental del càlcul permet resoldre una classe més ampla de problemes. També cal destacar tot el marc estructural al voltant de les matemàtiques que varen desenvolupar també tots dos, Newton i Leibniz; l'anomenat [[càlcul infinitesimal]] va permetre d'analitzar, de forma precisa, funcions amb dominis continus. Posteriorment, aquest marc ha esdevingut el càlcul modern, i la notació per les integrals procedeix directament del treball de Leibniz.

=== Formalització de les integrals ===
Encara que Newton i Leibniz varen subministrar un enfocament sistemàtic a la integració, el seu treball està mancat d'un cert nivell de rigor. És memorable l'atac del [[George Berkeley|bisbe Berkeley]] qualificant els [[infinitesimal]]s com "els fantasmes de les quantitats que s'esvaeixen". El càlcul va adquirir una posició més ferma amb el desenvolupament dels [[límit]]s i, a la primera meitat del {{segle|XIX}}, va rebre una fonamentació adequada per part de [[Augustin Louis Cauchy|Cauchy]]. La integració va ser rigorosament formalitzada per primera vegada per [[Georg Friedrich Bernhard Riemann|Riemann]], emprant límits. Malgrat que totes les funcions contínues fragmentades i fitades són integrables segons la definició de Riemann en un interval fitat, més tard, es varen considerar funcions més generals per les quals no s'aplica la definició de Riemann. A principis del {{segle|XX}}, [[Lebesgue]] va formular una definició diferent de la integral, basada en la [[teoria de la mesura]], que és aplicable a moltes més funcions i conserva els mateixos resultats per les integrals que es poden calcular segons la definició de Riemann. També es varen proposar altres definicions d'integral, que amplien les definicions de Riemann i Lebesgue.

=== Notació ===
[[Isaac Newton]], per indicar integració feia servir una petita barra vertical damunt d'una variable, o posava la variable dins d'una caixa. La barra vertical es confonia fàcilment amb <math>\dot{x}</math> o <math>x'\,\!</math>, que Newton feia servir per indicar la derivació, i la notació "caixa" era difícil de reproduir pels impressors; per això, aquestes notacions no varen ser adoptades àmpliament.

La notació moderna de les integrals indefinides va ser presentada per [[Gottfried Leibniz]] el [[1675]].<ref>Burton, David M. (2005). ''The History of Mathematics: An Introduction'' (6a ed.), McGraw-Hill, pàg. 359, {{ISBN|978-0-07-305189-5}}</ref><ref>Leibniz, Gottfried Wilhelm (1899) (Gerhardt, Karl Immanuel, ed.). ''Der Briefwechsel von Gottfried Wilhelm Leibniz mit Mathematikern''. Erster Band, Berlin: Mayer & Müller, pàg. 154</ref> Per indicar ''summa'' (en [[llatí]], "suma" o "total"), va adaptar el símbol integral, "∫", estirant una [[S llarga]]. La notació moderna de la integral definida, amb els límits a dalt i a baix del signe integral, la va fer servir per primer cop [[Joseph Fourier]] a ''Mémoires'' de l'Acadèmia Francesa, que va escriure al voltant de 1819–20 i que es va reimprimir en el seu llibre de 1822.<ref>Cajori, Florian (1929). ''A History Of Mathematical Notations'', Vol. II, Open Court Publishing, pàg. 247–252, {{ISBN|978-0-486-67766-8}}</ref><ref>Fourier, Jean Baptiste Joseph (1822). ''Théorie analytique de la chaleur'', Chez Firmin Didot, père et fils, pàg. §231, [http://books.google.cat/books?id=TDQJAAAAIAAJ Google Llibres]</ref>
En la notació matemàtica en [[àrab]] modern, que s'escriu de dreta a esquerra, es fa servir un signe integral invertit [[Fitxer:Signed'IntegracióArabic.png|22px|Integral àrab]].<ref>W3C (2006). [http://www.w3.org/TR/arabic-math/ ''Arabic mathematical notation'' ]</ref>

== Terminologia i notació ==
Si una funció té una integral, es diu que és '''integrable'''. De la funció de la qual es calcula la integral es diu que és l''''integrand'''. De la regió sobre el qual s'integra la funció se'n diu el '''domini d'integració'''. Si la integral no té un domini d'integració, es considera indefinida (la que té domini es considera definida). En general, l'integrand pot ser una funció de més d'una variable, i el domini d'integració pot ser una àrea, un volum, una regió de dimensió superior, o fins i tot un espai abstracte que no té estructura geomètrica en cap sentit usual.

El cas més senzill, la integral d'una funció real ''f'' d'una variable real ''x'' sobre l'interval [''a'', ''b''], s'escriu
:<math>\int_a^b f(x)\,dx. </math>
El signe ∫ és una "S" allargada que representa integració; ''a'' i ''b'' són respectivament el '''límit inferior''' i el '''límit superior''' de la integració i defineixen el domini d'integració; ''f'' és l'integrand, que s'ha d'avaluar en variar ''x'' sobre l'interval [''a'',''b'']; i ''dx'' pot tenir diferents interpretacions depenent de la teoria que es faci servir. Per exemple, pot ser vist simplement com la indicació que ''x'' és la variable d'integració, com una representació dels pesos en la suma de Riemann, com una mesura (en la integració de Lebesgue i les seves extensions), com un infinitesimal (en [[anàlisi no estàndard]]) o com una quantitat matemàtica independent: una [[forma diferencial]]. Casos més complicats poden variar la notació lleugerament.

== Concepte d'integral ==
Les integrals apareixen en moltes situacions pràctiques. Considereu una piscina. Si és rectangular, llavors, a partir de les seves longitud, amplada i alçada, es pot determinar fàcilment el volum d'aigua que pot contenir (per omplir-la), l'àrea de la superfície (per cobrir-la), i la llargada de la seva vora (per lligar-la). Tanmateix, si és oval amb un fons arrodonit, totes aquestes quantitats demanen integrals. En alguns casos pot ser suficient amb aproximacions pràctiques, però en la majoria de casos caldran respostes exactes i rigoroses a aquesta mena de problemes. Posem un exemple:

[[Fitxer:Integral approximations.svg|miniatura|Aproximacions a la integral de √''x'' entre 0 i 1, amb <span style="color:#fec200">■</span> 5 mostres per l'esquerra (a dalt) i <span style="color:#009246">■</span> 12 mostres per la dreta (davall)]]
Per començar, es considerarà la corba ''y'' = ''f''(''x'') entre ''x'' = 0 i ''x'' = 1, amb ''f''(''x'') = √''x''. La pregunta és:
:Quina és l'àrea sota la funció ''f'', a l'interval des de 0 fins a 1? 
D'aquesta àrea (encara desconeguda) se'n dirà la '''integral''' de ''f''. La notació per aquesta integral serà 
:<math> \int_0^1 \sqrt x \, dx \,\!</math>.

Com a primera aproximació, es mira al quadrat unitat donat pels costats ''x''=0 fins a ''x''=1 i ''y''=''f''(0)=0 i ''y''=''f''(1)=1. La seva àrea és exactament 1. Tal com es pot veure el verdader valor de la integral ha de ser d'alguna forma més petit. Reduint l'amplada dels rectangles emprats per fer l'aproximació s'obtindrà un millor resultat; així, es parteix l'interval en cinc passos, emprant per a l'aproximació els punts 0, ¹⁄₅, ²⁄₅, així fins a 1. S'ajusta una caixa cada pas emprant l'alçada del cantó dret de cada bocí de la corba, així √¹⁄₅, √²⁄₅, i així fins a √1 = 1. Sumant les àrees d'aquests rectangles, s'obté una aproximació millor de la integral que s'està buscant,
<!--:√¹⁄₅*(¹⁄₅-0)+√²⁄₅*(²⁄₅-¹⁄₅)+…+√⁵⁄₅*(⁵⁄₅-<sup>4</sup>⁄₅) ≈ 0.7497.-->
:<math>\sqrt {\frac {1} {5}} \left (\frac {1} {5} - 0 \right) + \sqrt {\frac {2} {5}} \left (\frac {2} {5} - \frac {1} {5} \right) + \ldots + \sqrt {\frac {5} {5}} \left (\frac {5} {5} - \frac {4} {5} \right) \approx 0.7497\,\!</math>

Fixeu-vos que s'està sumant una quantitat finita de valors de la funció ''f'', multiplicats per la diferència entre dos punts d'aproximació successius. Es pot veure fàcilment que l'aproximació continua donant un valor més gran que el de la integral. Emprant més passos s'obté una aproximació més ajustada, però no serà mai exacta: si en comptes de 5 subintervals se'n prenen dotze i s'agafa el valor de l'esquerra, tal com es mostra al dibuix, s'obté un valor aproximat per l'àrea, de 0.6203, que en aquest cas és massa petit. La idea clau és la transició des de la suma d'''una quantitat finita'' de diferències de punts d'aproximació multiplicats pels respectius valors de la funció, cap a fer servir passos infinitament fins, o ''[[infinitesimal]]s''. La notació
:<math> \int f(x) \, dx \,\!</math>
concep la integral com una suma ponderada (denotada per la "S" allargada), dels valors de la funció (com les alçades, ''y'' = ''f''(''x'')) multiplicats per passos d'amplada infinitesimal, els anomenats ''diferencials'' (indicats per ''dx'').

Pel que fa al càlcul d'integrals, el [[teorema fonamental del càlcul]], degut a Newton i Leibniz, és el lligam fonamental entre les operacions de [[Derivada|derivació]] i integració. Sota condicions adequades, el valor d'una integral sobre una regió, es pot determinar a base de mirar només a la frontera de la regió. Aplicat això a la corba arrel quadrada, s'ha de mirar la funció relacionada <math>F(x)=\frac{3}{2}\sqrt{x^{3}}</math>, i simplement agafar ''F''(1)−''F''(0), on 0 i 1 són les fronteres de l'[[interval (matemàtiques)|interval]] [0,1]. (Aquest és un exemple d'una regla general, que diu que per ''f''(''x'') = ''x''<sup>''q''</sup>, amb ''q'' ≠ −1, la funció relacionada, l'anomenada [[primitiva]] és ''F''(''x'') = (''x''<sup>''q''+1</sup>)/(''q''+1).)

Històricament, després que els primers esforços de definir rigorosament els infinitesimals no fructifiquessin, Riemann va definir formalment les integrals com el [[límit]] de sumes ponderades, de forma que el ''dx'' suggereix el límit d'una diferència (l'amplada de l'interval). Els efectes de la dependència de la definició de Riemann en els intervals i la continuïtat varen motivar noves definicions, especialment la integral de Lebesgue, que es basa en l'habilitat d'estendre la idea de "mesura" de formes molt més flexibles. Així la notació
:<math> \int_A f(x) \, d\mu \,\!</math>
Es refereix a una suma ponderada del valors en què es divideix la funció, on μ mesura el pes que s'ha d'assignar a cada valor. (Aquí ''A'' indica la regió d'integració.) La [[geometria diferencial]], amb el seu "càlcul de varietats", encara dona una altra interpretació a aquesta notació familiar. Ara ''f''(''x'') i ''dx'' esdevenen una [[forma diferencial]], ω = ''f''(''x'')''dx'', apareix un nou [[operador diferencial]] '''d''', conegut com la [[derivada exterior]], i el teorema fonamental esdevé el (més general) [[teorema de Stokes]],
:<math> \int_{A} \mathbf{d} \omega = \int_{\partial A} \omega, \,\!</math>
a partir del qual se'n segueixen el [[teorema de Green]], el [[teorema de la divergència]], i el [[teorema fonamental del càlcul]].

Recentment, els infinitesimals han reaparegut amb rigor, a través d'innovacions modernes com l'[[anàlisi no estàndard]]. Aquests mètodes no només reivindiquen la intuïció dels pioners, també porten cap a noves matemàtiques, i fan més intuïtiu i comprensible el treball amb càlcul infinitesimal.

Tot i que hi ha diferències entre totes aquestes concepcions de la integral, hi ha una superposició considerable. Així, l'àrea de la piscina oval es pot trobar com una el·lipse geomètrica, com una suma d'infinitesimals, com una integral de Riemann, com una integral de Lebesgue, o com una varietat amb una forma diferencial. El resultat obtingut amb el càlcul serà el mateix en tots els casos.

== Definicions formals ==
Hi ha moltes formes de definir formalment una integral, no totes són equivalents. Les diferències existeixen principalment per tractar casos especials que poden no ser integrables amb les altres definicions, però ocasionalment també per motius pedagògics. Les definicions d'integral que es fan servir més habitualment són les integrals de Riemann i les integrals de Lebesgue.

=== Integral de Riemann ===
{{article principal|Integral de Riemann}}
[[Fitxer:Integral Riemann sum.png|miniatura|Integral amb el plantejament de Riemann fa una suma basada en una ''partició etiquetada'', amb posicions de mostreig i amplades irregulars (el màxim en vermell). El verdader valor és 3.76; l'estimació obtinguda és 3.648.]]
La integral de Riemann es defineix en termes de [[sumatori de Riemann|sumatoris de Riemann]] de funcions respecte de ''particions etiquetades'' d'un interval. Sia [''a'',''b''] un [[interval (matemàtiques)|interval]] tancat de la recta real; llavors una ''partició etiquetada'' de [''a'',''b''] és una seqüència finita:

:<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>

[[Fitxer:Riemann sum convergence.png|miniatura|esquerra|Convergència de sumatoris de Riemann a mesura que els intervals es parteixen, quant es mostreja a <span style="color:#0081cd">■</span> la dreta, <span style="color:#bc1e47">■</span> el mínim, <span style="color:#009246">■</span> el màxim, o <span style="color:#fec200">■</span> l'esquerra.]]
Això divideix l'interval [''a'',''b''] en ''i'' subintervals [''x''<sub>''i''−1</sub>, ''x''<sub>''i''</sub>], cada un dels quals és "etiquetat" amb un punt específicat ''t''<sub>''i''</sub> de; [''x''<sub>''i''−1</sub>, ''x''<sub>''i''</sub>]. Sia Δ<sub>''i''</sub> = ''x''<sub>''i''</sub>−''x''<sub>''i''−1</sub> l'amplada del subinterval ''i''; el ''pas'' d'aquesta partició etiquetada és l'amplada del subinterval més gran obtingut per la partició, max<sub>''i''=1…''n''</sub> Δ<sub>''i''</sub>. Un ''sumatori de Riemann'' d'una funció ''f'' respecte d'aquesta partició etiquetada es defineix com
:<math>\sum_{i=1}^{n} f(t_i) \Delta_i; </math>
Així cada terme del sumatori és l'àrea del rectangle amb alçada igual al valor de la funció en el punt especificat del subinterval donat, i de la mateixa amplada que l'amplada del subinterval. La ''integral de Riemann'' d'una funció ''f'' sobre l'interval [''a'',''b''] és igual a ''S'' si:
:Per tot ε &gt; 0 existeix δ &gt; 0 tal que, per qualsevol partició etiquetada [''a'',''b''] amb pas més petit que δ, es té
::<math>\left| S - \sum_{i=1}^{n} f(t_i)\Delta_i \right| < \epsilon.</math>
Quan les etiquetes escollides donen el màxim (o mínim) valor de la funció en el respectiu integral, el sumatori de Riemann esdevé un [[integral de Darboux|sumatori de Darboux]] superior (o inferior), això suggereix l'estreta connexió que hi ha entre la integral de Riemann i la [[integral de Darboux]].

=== Integral de Lebesgue ===
{{article principal|Integral de Lebesgue}}

La integral de Riemann no està definida per un ample ventall de funcions i situacions d'importància pràctica (i d'interès teòric). Per exemple, la integral de Riemann pot integrar fàcilment la densitat per tal d'obtenir la massa d'una biga d'acer, però no es pot adaptar a una bola d'acer que s'hi recolza al damunt. Això motiva la creació d'altres definicions, sota les quals es pot integrar un assortit més ample de funcions.<ref>Rudin, Walter (1987). ''Real and Complex Analysis''. "Chapter 1: Abstract Integration" (International ed.), McGraw-Hill, {{ISBN|978-0-07-100276-9}}</ref> La integral de Lebesgue, en particular, assoleix una gran flexibilitat a base de centrar l'atenció en els pesos de la suma ponderada.

Així, la definició de la integral de Lebesgue comença amb una [[mesura (matemàtiques)|mesura]], μ. En el cas més senzill, la [[mesura de Lebesgue]] μ(''A'') d'un interval ''A'' = [''a'',''b''] és la seva amplada, ''b'' − ''a'', així la integral de Lebesgue coincideix amb la integral de Riemann quan les dues existeixen. En casos més complicats, els conjunts a mesurar poden estar altament fragmentats, sense continuïtat ni semblança a intervals.

Per explotar aquesta flexibilitat, la integral de Lebesgue inverteix l'enfocament de la suma ponderada. Com ho expressa Folland:<ref>Folland, Gerald B. (1984). ''Real Analysis: Modern Techniques and Their Applications'' (1a ed.), John Wiley & Sons, {{ISBN|978-0-471-80958-6}}</ref> "Per calcular la integral de Riemann de ''f'', es parteix el domini [''a'',''b''] en subintervals", mentre que en la integral de Lebesgue, "de fet el que s'està partint és el recorregut de ''f''".

Un enfocament habitual, primer defineix la integral de la [[Funció característica (matemàtiques)|funció característica]] d'un [[conjunt mesurable]] ''A'' per:
:<math>\int 1_A d\mu = \mu(A)</math>.
Això s'estén per linealitat a les [[funció esglaonada|funcions esglaonades]] simples, que només tenen un nombre finit ''n'', de valors diferents no negatius:
:<math>\begin{align}
 \int s \, d\mu &{}= \int\left(\sum_{i=1}^{n} a_i 1_{A_i}\right) d\mu \\
 &{}= \sum_{i=1}^{n} a_i\int 1_{A_i} \, d\mu \\
 &{}= \sum_{i=1}^{n} a_i \, \mu(A_i)
\end{align}</math>
(on la imatge de ''A''<sub>''i''</sub> en aplicar-li la funció esglaonada ''s'' és el valor constant ''a''<sub>''i''</sub>). Així si ''E'' és un conjunt mesurable, es defineix
:<math> \int_E s \, d\mu = \sum_{i=1}^{n} a_i \, \mu(A_i \cap E). </math>
Llavors, per qualsevol [[funció mesurable]] no negativa ''f'' es defineix
:<math>\int_E f \, d\mu = \sup\left\{\int_E s \, d\mu\, \colon 0 \leq s\leq f\text{ i } s\mbox{ és una funció esglaonada}\right\};</math>
És a dir, s'estableix que la integral de ''f'' és el [[suprem]] de totes les integrals de funcions esglaonades que són més petites o iguals que ''f''.
Una funció mesurable qualsevol ''f'', se separa entre els seus valors positius i negatius a base de definir
:<math>\begin{align}
 f^+(x) &{}= \begin{cases}
 f(x), & \text{si } f(x) > 0 \\
 0, & \text{altrament}
 \end{cases} \\
 f^-(x) &{}= \begin{cases}
 -f(x), & \text{si } f(x) < 0 \\
 0, & \text{altrament}
 \end{cases}
\end{align}</math>
Finalment, ''f'' és Lebesgue integrable si
:<math>\int_E |f| \, d\mu < \infty, \,\!</math>
I llavors es defineix la integral per
:<math>\int_E f \, d\mu = \int_E f^+ \, d\mu - \int_E f^- \, d\mu. \,\!</math>

Quan l'espai mètric en el que estan definides les funcions és també un [[espai topològic]] [[espai compacte|localment compacte]] (com és el cas dels nombres reals ℝ), les mesures compatibles amb la topologia en un sentit adequat ([[mesura de Radon]], de les quals la mesura de Lebesgue n'és un exemple) una integral respecte d'elles es pot definir d'un altra manera, es comença a partir de les integrals de les [[funcions contínues]] amb [[suport (matemàtiques)#suport compacte|suport compacte]]. De forma més precisa, les funcions compactament suportades formen un [[espai vectorial]] que comporta una [[espai topològic|topologia]] natural, i es pot definir una mesura (Radon) com a ''qualsevol'' funcional [[aplicació lineal|lineal]] continu d'aquest espai; llavors el valor d'una mesura a una funció compactament suportada, és també, per definició, la integral de la funció. Llavors es continua expandint la mesura (la integral) a funcions més generals per continuïtat, i es defineix la mesura d'un conjunt com la integral de la seva funció característica. Aquest és l'enfocament que pren [[Bourbaki]]<ref>Bourbaki, Nicolas (2004). ''Integration I'', Springer Verlag, {{ISBN|3-540-41129-1}}. En particular, els capítols III i IV.</ref> i cert nombre d'altres autors. Per més detalls, vegeu [[mesures de Radon]].

=== Altres definicions d'integral ===
Tot i que les integrals de Riemann i Lebesgue són les definicions més importants d'integral, n'hi ha unes quantes més, incloent-hi:
* La [[integral de Riemann-Stieltjes]], una extensió de la integral de Riemann.
* La [[integral de Lebesgue-Stieltjes]], desenvolupada més per [[Johann Radon]], la qual generalitza les integrals de [[integral de Riemann-Stieltjes|Riemann-Stieltjes]] i de [[integral de Lebesgue|Lebesgue]].
* La [[integral de Daniell]], que inclou la [[integral de Lebesgue]] i la [[integral de Lebesgue-Stieltjes]] sense haver de dependre de cap [[mesura (matemàtiques)|mesura]].
* La [[integral de Henstock-Kurzwe]], definida de forma variada per [[Arnaud Denjoy]], [[Oskar Perron]], i (de la forma més elegant, com la integral de calibre "gauge") [[Jaroslav Kurzweil]], i desenvolupada per [[Ralph Henstock]].
* La [[integral de Darboux]], que és equivalent a la integral de Riemann.
* La [[Mesura de Haar|integral de Haar]], que és la integral de Lebesgue amb la [[mesura de Haar]].

== Propietats de la integració ==
=== Linealitat ===
* El conjunt de les funcions Riemann integrables en un interval tancat [''a'', ''b''] formen un [[espai vectorial]] amb les operacions de suma (la funció suma d'altres dues és la funció que a cada punt li fa correspondre la suma de les imatges d'aquest punt per cada una de les altres dues) i la multiplicació per un escalar. L'operació integració
::<math> f \mapsto \int_a^b f \; dx</math>

:és un [[funcional lineal]] d'aquest espai vectorial. Així, en primer lloc, el conjunt de funcions integrables es tancat amb la [[combinació lineal]], i en segon lloc, la integral d'una combinació lineal és la combinació lineal de les integrals, 

::<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>

* De forma semblant, el conjunt de les funcions reals Lebesgue integrables en un [[espai mètric]] ''E'' donat, amb la mesura ''μ'' és tancat respecte de les combinacions lineals i, per tant, formen un espai vectorial, la integral de Lebesgue 

:: <math> f\mapsto \int_E f d\mu </math>

:és un funcional lineal d'aquest espai vectorial, de forma que 

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

* De forma més general, si s'agafa l'espai vectorial de totes les [[funcions mesurables]] sobre un espai mètric (''E'',''μ''), que prenen valors en un [[espai vectorial topològic]] [[espai metric complet|complet]] [[localment compacte]] ''V'' sobre un [[camp topològic]] [[localment compacte]] ''K'', ''f'': ''E'' → ''V''. Llavors es pot definir una aplicació integració abstracta que a cada funció ''f'' li assigna un element de ''V'' o el símbol ∞, 
::<math> f\mapsto\int_E f d\mu, \,</math>
:que és compatible amb les combinacions lineals. En aquesta situació, la linealitat se sosté per al subespai de les funcions, la integral de les quals és un element de ''V'' (és a dir les integrals "finites"). Els casos més importants sorgeixen quan ''K'' és '''R''', '''C''', o una extensió finita del camp '''Q'''<sub>''p''</sub> de [[nombres p-adics]], i ''V'' és un espai vectorial de dimensió finita sobre ''K'', i quan ''K''='''C''' i ''V'' és un [[espai de Hilbert]] complex.

La linealitat, conjuntament amb algunes propietat naturals de continuïtat i la normalització per certes classes de funcions "simples", es poden fer servir per donar una definició alternativa d'integral. Aquest és l'enfocament de [[integral de Daniell|Daniell]] pel cas de funcions reals en un conjunt ''X'', generalitzat per [[Bourbaki]] a funcions que prenen valors en un espai vectorial topològicament compacte. Vegeu Hildebrandt (1953)<ref>Hildebrandt, T. H. (1953). "Integration in abstract spaces", ''Bulletin of the American Mathematical Society'' 59(2): 111–139, ISSN 0273-0979 {{ref-web |url=http://www.worldcat.org/issn/0273-0979|títol=Enllaç<!--Títol generat per bot-->}}</ref> per una caracterització axiomàtica de la integral.

=== Desigualtats amb integrals ===
Es verifiquen diverses desigualtats generals per [[funció (matemàtiques)|funcions]] Riemann integrables definides en un [[interval (matemàtiques)|interval]] [[conjunt tancat|tancat]] i [[conjunt fitat|fitat]] [''a'', ''b''] i es poden generalitzar a altres nocions d'integral (Lebesgue i Daniell).

* ''Fites superiors i inferiors.'' Una funció ''f'' integrable en [''a'', ''b''], és necessàriament [[funció fitada|fitada]] a l'interval. Per tant, hi ha dos [[nombres reals]] ''m'' i ''M'' tals que ''m'' ≤ ''f'' (''x'') ≤ ''M'' per tot ''x'' de [''a'', ''b'']. Atès que els sumatoris superior i inferior de ''f'' sobre [''a'', ''b''] són també fitats per ''m''(''b'' − ''a'') i ''M''(''b'' − ''a'') respectivament, d'aquí en resulta que
:: <math> m(b - a) \leq \int_a^b f(x) \, dx \leq M(b - a). </math>

* ''Desigualtats entre funcions.'' Si ''f''(''x'') ≤ ''g''(''x'') per tot ''x'' de [''a'', ''b''] llavors cada un dels sumatoris superior i inferior de ''f'' són fitats inferiorment i superiorment pels sumatoris superior i inferior de ''g'' respectivament. Així
:: <math> \int_a^b f(x) \, dx \leq \int_a^b g(x) \, dx. </math>
:Això és una generalització de les desigualtats anteriors, atès que ''M''(''b'' − ''a'') és la integral de la funció constant amb valor ''M'' a l'interval [''a'', ''b''].

* ''Subintervals.'' Si [''c'', ''d''] és un subinterval de [''a'', ''b''] i ''f''(''x'') és no negativa per tot ''x'', llavors
:: <math> \int_c^d f(x) \, dx \leq \int_a^b f(x) \, dx. </math>

* ''Productes i valors absoluts de funcions.'' Si ''f'' i ''g'' emprant els seus producte, potències i valor absolut:
:: <math>
 (fg)(x)= f(x) g(x), \; f^2 (x) = (f(x))^2, \; |f| (x) = |f(x)|.\,</math>
:Si ''f'' és Riemann integrable en [''a'', ''b''] llavors el mateix és cert per |''f''|, i
:: <math>\left| \int_a^b f(x) \, dx \right| \leq \int_a^b | f(x) | \, dx. </math>
:És més, si ''f'' i ''g'' són les dues Riemann integrables llavors ''f'' ², ''g'' ², i ''fg'' són també Riemann integrables, i 
:: <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>
:Aquesta desigualtat es coneix com la [[Desigualtat de Cauchy-Schwarz|desigualtat de Cauchy–Schwarz]], té un paper prominent en la teoria dels [[espai de Hilbert|espais de Hilbert]], on el cantó de la dreta s'interpreta com el [[producte escalar]] de dues funcions integrables ''f'' i ''g'' a l'interval [''a'', ''b''].

* ''Desigualtat de Hölder.'' Si ''p'' i ''q'' són dos nombres reals, 1 ≤ ''p'', ''q'' ≤ ∞ amb 1/''p'' + 1/''q'' = 1, i ''f'' i ''g'' són dues funcions Riemann integrables. Llavors les funcions |''f''|<sup>''p''</sup> i |''g''|<sup>''q''</sup> també són integrables i es compleix la [[desigualtat de Hölder]]:
:<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>
:Pel cas de ''p'' = ''q'' = 2, la desigualtat de Hölder esdevé la desigualtat de Cauchy–Schwarz.

* ''Desigualtat de Minkowski''. Si ''p'' ≥ 1 és un nombre real i ''f'' i ''g'' són funcions Riemann integrables. Llavors |''f''|<sup>''p''</sup>, |''g''|<sup>''p''</sup> and |''f'' + ''g''|<sup>''p''</sup> són també Riemann integrables i es compleix la [[desigualtat de Minkowski]]: 
:<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>
: Una desigualtat anàloga a aquesta per la integral de Lebesgue es fa servir en la construcció dels [[Espais Lp|espais L<sup>p</sup>]].

=== Propietats relatives als límits d'integració ===
En aquesta secció ''f'' és una [[funció (matemàtiques)|funció]] [[nombres reals|real]] Riemann integrable. La integral 
:<math> \int_a^b f(x) \, dx </math>
sobre un interval [''a'', ''b''] està definida si ''a'' ≤ ''b''. Això significa que els sumatoris superiors i inferiors de la funció ''f'' s'avaluen sobre una partició ''a'' = ''x''<sub>0</sub> ≤ ''x''<sub>1</sub> ≤. .. ≤ ''x''<sub>''n''</sub> = ''b'' els valors de la qual ''x''<sub>''i''</sub> són creixents. Geomètricament això significa que la integració té lloc "d'esquerra a dreta", avaluant ''f'' dins d'intervals [''x''<sub> ''i''</sub> , ''x''<sub> ''i'' +1</sub>] on l'interval amb un índex més gran queda a la dreta de l'interval amb un índex més petit. Dels valors ''a'' i ''b'', els punts extrems del [[interval (matemàtiques)|interval]], se'n diu els [[límits d'integració]] de ''f''. Les integrals també es poden definir si ''a'' &gt; ''b'':

* ''Inversió dels límits d'integració.'' si ''a'' &gt; ''b'' llavors es defineix
:: <math>\int_a^b f(x) \, dx = - \int_b^a f(x) \, dx. </math>
Això, amb ''a'' = ''b'', implica: 
* ''Integrals sobre intervals de longitud zero.'' si ''a'' és un [[nombre real]] llavors
:: <math>\int_a^a f(x) \, dx = 0. </math>

La primera convenció és necessària al calcular integrals sobre subintervals de [''a'', ''b'']; la segona diu que una integral sobre un interval degenerat, o un [[punt (geometria)|punt]], ha de ser [[zero]]. Un motiu per la primera convenció és que la integrabilitat de ''f'' sobre un interval [''a'', ''b''] implica que ''f'' és integrable sobre qualsevol subinterval [''c'', ''d''], però en particular, les integrals tenen la propietat que:

* ''Additivitat de la integració sobre intervals.'' si ''c'' és qualsevol [[element (matemàtiques)|element]] de [''a'', ''b''], llavors
:: <math> \int_a^b f(x) \, dx = \int_a^c f(x) \, dx + \int_c^b f(x) \, dx.</math>
Amb la primera convenció la relació resultant
: <math>\begin{align}
 \int_a^c f(x) \, dx &{}= \int_a^b f(x) \, dx - \int_c^b f(x) \, dx \\
 &{} = \int_a^b f(x) \, dx + \int_b^c f(x) \, dx
\end{align}</math>
queda ben definida per qualsevol permutació cíclica de ''a'', ''b'', i ''c''.

En comptes de veure l'anterior com a convencions, també es pot adoptar el punt de vista que la integració es fa només sobre [[varietats orientades]]. Si ''M'' és una tal forma ''m''-dimensional orientada, i ''M' '' és la mateixa forma amb orientació oposada i ''ω'' és una ''m''-forma, llavors es té (vegeu més avall per integració de formes diferencials):
: <math>\int_M \omega = - \int_{M'} \omega \,.</math>

== Teorema fonamental del càlcul ==
{{article principal|Teorema fonamental del càlcul}}

El ''teorema fonamental del càlcul'' és l'afirmació que la [[derivada|derivació]] i la integració són operacions inverses: si una [[funció contínua]] primer s'integra i llavors es deriva, es recupera la funció original. Una conseqüència important, de vegades anomenada el ''segon teorema fonamental del càlcul'', permet de calcular integrals a base d'emprar una [[primitiva]] de la funció a integrar.

=== Enunciat dels teoremes ===
* ''Teorema fonamental del càlcul.'' Sia ''f'' una [[funció (matemàtiques)|funció]] real integrable definida en un [[interval tancat]] [''a'', ''b'']. Si es defineix ''F'' a cada ''x'' de [''a'', ''b''] per
::<math>F(x) = \int_a^x f(t)\, dt.</math>
:Llavors ''F'' és [[funció contínua|contínua]] a [''a'', ''b'']. Si ''f'' és contínua a ''x'' de [''a'', ''b''], llavors ''F'' és [[derivada|derivable]] a ''x'', i ''F'' ′(''x'') = ''f''(''x'').

* ''Segon teorema fonamental del càlcul''. Sia ''f'' una funció real, integrable definida en un interval tancat [''a'', ''b'']. Si ''F'' és una funció tal que ''F'' ′(''x'') = ''f''(''x'') per tot ''x'' de [''a'', ''b''] (és a dir, ''F'' és una [[primitiva]] de ''f''), llavors
::<math>\int_a^b f(t)\, dt = F(b) - F(a).</math>

* ''Corol·lari''. Si ''f'' és una funció contínua a [''a'', ''b''], llavors ''f'' és integrable a [''a'', ''b''], i ''F'', definida per
::<math>F(x) = \int_a^x f(t) \, dt</math>
:és una primitiva de''f'' a [''a'', ''b'']. A més,
::<math>\int_a^b f(t) \, dt = F(b) - F(a).</math>

== Càlcul d'integrals ==
Per calcular una integral es pot buscar una [[primitiva]] de la funció i llavors aplicar el [[teorema fonamental del càlcul]] per determinar el valor de la integral. Aquesta tècnica es pot intentar automatitzar mitjançant programes d'ordinador que implementin algorismes d'[[integració simbòlica]]. No sempre és possible trobar la primitiva d'una funció i de vegades, tot i que és possible, el resultat és molt complex. Una altra forma de trobar un valor aproximat de la integral és emprant el que s'anomena [[integració numèrica|quadratura numèrica]], que és un conjunt d'algorismes que permeten calcular de forma aproximada el valor de la integral directament sense trobar primer la funció primitiva.

=== A partir del càlcul de primitives ===
La tècnica més bàsica per calcular integrals d'una variable real es basa en el [[teorema fonamental del càlcul]]. Es procedeix de la següent forma:
# Escollir una funció ''f''(''x'') i un interval [''a'', ''b''].
# Trobar una primitiva de ''f'', és a dir, una funció ''F'' tal que ''F' '' = ''f''.
# Emprant el teorema fonamental del càlcul, suposant que ni l'integrand ni la integral tenen [[singularitat matemàtica|singularitats]] en el camí d'integració,
#: <math>\int_a^b f(x)\,dx = F(b)-F(a).</math>
# Per tant, el valor de la integral és ''F''(''b'') − ''F''(''a'').

Fixeu-vos que la integral no és exactament la primitiva, sinó que el teorema fonamental permet emprar les primitives per avaluar les integrals definides.

El pas difícil d'aquest procés és sovint el de trobar una primitiva de ''f''. Rarament és possible donar un cop d'ull a una funció i escriure directament la seva primitiva. Molt sovint, és necessari emprar una de les moltes tècniques que s'han desenvolupat per calcular integrals. La majoria d'aquestes tècniques transformen una integral en una altra que s'espera que sigui més tractable. Aquestes tècniques inclouen:
* [[Integració per canvi de variable]]
* [[Integració per parts]]
* [[Integració per reducció]]
* [[Integració per substitució trigonomètrica]]
* [[Integració de fraccions racionals]]

Fins i tot si aquestes tècniques fallen, encara és possible d'avaluar una integral donada. La següent tècnica més comuna és el [[Residu (anàlisi complexa)|càlcul de residus]], mentre que la [[sèrie de Taylor]] es pot fer servir de vegades per trobar la primitiva de les [[integral no elemental|integrals no elementals]]; és el que es coneix com el mètode d'[[integració per sèries]]. També hi ha moltes formes menys habituals per calcular integrals definides; per exemple la [[identitat de Parseval]] es pot fer servir per transformar una integral sobre una regió rectangular en una suma infinita. En algunes ocasions, una integral es pot avaluar emprant un truc; un exemple d'aquest tipus es pot veure a la [[integral de Gauß]].

Els càlcul de volums de [[sòlid de revolució|sòlids de revolució]] normalment es pot fer amb la [[integració per discs]] o la [[integració per capes]].

Els resultats específics que s'han trobat emprant les diferents tècniques es recullen a la [[taula d'integrals]].

=== Algorismes simbòlics de càlcul de primitives ===
{{article principal|Integració simbòlica}}

Molts problemes de matemàtiques, física, i enginyeria impliquen integració on es desitja una fórmula explícita per la integral. Amb aquesta finalitat, al llarg dels anys s'han publicat extenses [[Taula d'integrals|taules d'integrals]]. Amb l'expansió dels [[ordinador]]s, molts professionals, educadors, i estudiants s'han fixat en els [[sistemes de càlcul algebraic per ordinador]] que han estat dissenyats específicament per desenvolupar tasques tedioses o difícils, incloent integració. La integració simbòlica presenta un repte especial en el desenvolupament d'aquest tipus de sistemes.

Una dificultat matemàtica important de la integració simbòlica és que, en molts casos, una fórmula tancada per la primitiva d'una funció aparentment innocent, simplement no existeix. Per exemple, se sap que les primitives de les funcions ''exp'' (''x''²), ''x''<sup>''x''</sup> i sin (''x'')/''x'' no es poden expressar amb una fórmula tancada que impliqui només [[fraccions racionals]], [[funció exponencial|exponencials]] funcions, [[logaritme|logarítmiques]], [[funcions trigonomètriques]], [[inverses de les funcions trigonomètriques]], i les operacions de suma, multiplicació i composició; en altres paraules, cap d'aquestes tres funcions donades és integrable amb [[funcions elementals]]. La [[teoria diferencial de Galois]] dona els criteris generals per determinar quan la primitiva d'una funció elemental és elemental. Desgraciadament, resulta que les funcions amb expressions tancades per les seves primitives són l'excepció en comptes de la regla. En conseqüència, els sistemes de càlcul algebraic per ordinador no poden tenir cap esperança de poder trobar una primitiva per una funció elemental qualsevol construïda de forma aleatòria. Al cantó positiu, si els ''blocs constructius'' de les primitives són fixats d'antuvi, encara és possible de decidir si la primitiva d'una funció donada es pot expressar emprant aquests blocs i les operacions de multiplicació i composició, i de trobar la resposta simbòlica en el cas que existeixi. L'[[algorisme de Risch]], implementat a [[Mathematica]] i al [[Maple computer algebra system|Maple]], fa precisament això per funcions i primitives construïdes a partir de fraccions racionals, [[arrel aritmètica|radicals]], logaritmes i funcions exponencials.

Alguns integrands especials apareixen amb prou freqüència per garantir-ne un estudi especial. En particular, pot ser útil de tenir, en el conjunt de primitives, les [[funcions especials]] de la [[física]] (com les funcions de [[Legendre]], la [[Sèrie hipergeomètrica|funció hipergeomètrica]], la [[funció Gamma]] i així). Estendre l'algorisme de Risch-Norman de forma que inclogui aquestes funcions és possible però és tot un repte.

La majoria de les persones no són capaces d'integrar aquestes fórmules generals, així, en cert sentit, els ordinadors són més hàbils integrant fórmules altament complicades. És poc probable que les fórmules molt complexes tinguin primitives de forma tancada, per tant fins a quin punt això és un avantatge és una qüestió filosòfica oberta al debat.

=== Per quadratura numèrica ===
{{article principal|Integració numèrica}}

Les integrals que es troben en els cursos bàsics de càlcul han estat triades deliberadament per la seva simplicitat; les que es troben en aplicacions reals no sempre són tan avinents. Algunes integrals no es poden trobar exactament, algunes necessiten funcions especials que elles mateixes són tot un repte per calcular-les, i d'altres són tan complexes que trobar la resposta exacta és massa lent. Això motiva l'estudi i l'aplicació de mètodes numèrics per aproximar integrals, els quals, avui en dia fan servir [[aritmètica de coma flotant]] en [[ordinador]]s. Moltes de les idees varen sorgir molt abans, per les calculadores manuals; però la velocitat dels ordinadors de propòsit general han creat la necessitat de millores.

Els objectius de la integració numèrica són exactitud, fiabilitat, eficiència i generalitat. Els mètodes sofisticats poden millorar molt un mètode ingenu en totes quatre mesures ([[Germund Dahlquist|Dahlquist]] i Björck,;<ref>Dahlquist, Germund & Björck, Åke (forthcoming). "Chapter 5: Numerical Integration", ''Numerical Methods in Scientific Computing'', Philadelphia: SIAM</ref> Kahaner, Moler i Nash;<ref>Kahaner, David; Moler, Cleve & Nash, Stephen (1989). "Chapter 5: Numerical Quadrature", ''Numerical Methods and Software'', Prentice Hall, {{ISBN|978-0-13-627258-8}}</ref> Stoer i Bulirsch<ref>Stoer, Josef & Bulirsch, Roland (2002). "Chapter 3: Topics in Integration", ''Introduction to Numerical Analysis'' (3a ed.), Springer, {{ISBN|978-0-387-95452-3}}</ref>). Per exemple, la integral
:<math> \int_{-2}^{2} \tfrac15 \left(\tfrac{1}{100}(322 + 3 x (98 + x (37 + x))) - 24 \frac{x}{1+x^2} \right) dx, </math>
que té la resposta exacta de <sup>94</sup>⁄<sub>25</sub> = 3.76. (en la pràctica ordinària, la resposta no és coneguda per endavant, per tant una tasca important — que no s'explora aquí — és decidir en quin moment una aproximació ja és prou bona.) Un enfocament de "llibre de càlcul" divideix l'interval d'integració en, per exemple, 16 bocins iguals, i calcula els valors de la funció.
:{| cellpadding=0 cellspacing=0 class=wikitable style="text-align:center;background-color:white"
|+ Valors de la funció en les posicions
|-
! ''x''
| colspan=2 | −2.00 || colspan=2 | −1.50 || colspan=2 | −1.00 || colspan=2 | −0.50 || colspan=2 | 0.00 || colspan=2 | 0.50 || colspan=2 | 1.00 || colspan=2 | 1.50 || colspan=2 | 2.00
|- style="font-size:80%"
! style="font-size:125%" | ''f''(''x'')
| colspan=2 | 2.22800 || colspan=2 | 2.45663 || colspan=2 | 2.67200 || colspan=2 | 2.32475 || colspan=2 | 0.64400 || colspan=2 | −0.92575 || colspan=2 | −0.94000 || colspan=2 | −0.16963 || colspan=2 | 0.83600
|-
! ''x''
| 
| colspan=2 | −1.75 || colspan=2 | −1.25 || colspan=2 | −0.75 || colspan=2 | −0.25 || colspan=2 | 0.25 || colspan=2 | 0.75 || colspan=2 | 1.25 || colspan=2 | 1.75 || 
|- style="font-size:80%"
! style="font-size:125%" | ''f''(''x'')
|
| colspan=2 | 2.33041 || colspan=2 | 2.58562 || colspan=2 | 2.62934 || colspan=2 | 1.64019 || colspan=2 | −0.32444 || colspan=2 | −1.09159 || colspan=2 | −0.60387 || colspan=2 | 0.31734 || 
|- style="background-color:#aaa"
| || || || || || || || || || || || || || || || || || || 
|}
[[Fitxer:Numerical quadrature 4up.png|miniatura|Mètodes numèrics de quadratura: <span style="color:#bc1e47">■</span> Rectangle, <span style="color:#fec200">■</span> Trapezoide, <span style="color:#0081cd">■</span> Romberg, <span style="color:#009246">■</span> Gauss]]
Emprant el cantó esquerra de cada bocí, el [[mètode rectangular]] suma 16 valors de la funció i multiplica per l'amplada del pas, ''h'', en aquest cas 0.25, i obté una valor aproximat de 3.94325 per la integral. L'exactitud no és impressionant, però formalment el càlcul empra bocins d'amplada infinitesimal, per tant d'entrada això no sembla que hagi de ser motiu de preocupació. Efectivament, doblant repetidament el nombre de passos s'arriba a obtenir una aproximació de 3.76001. Ara bé, han fet falta 2<sup>18</sup> bocins, un cost computacional gran per una exactitud tan petita; i buscar precisions més grans pot forçar a fer passos tan petits que la precisió aritmètica esdevé un obstacle.

Una aproximació millor substitueix les parts superiors dels rectangles per segments inclinats que toquen la funció als extrems de cada bocí. Aquest [[mètode trapezial]] és gairebé igual de fàcil de calcular; suma els 17 valors de la funció, però al primer i al últim els dona un pes de la meitat, i altre cop multiplica per l'amplada del pas. Això millora l'aproximació de forma immediata a 3.76925, que és notablement més exacte. És més, només calen 2¹⁰ bocins per assolir una exactitud de 3.76000, substancialment menys potència de càlcul per obtenir una exactitud comparable.

El [[mètode de Romberg]] construeix el mètode del trapezoide amb un efecte més gran. Primer, la longitud dels passos es parteix de forma incremental, donades les aproximacions trapezoïdals indicades per ''T''(''h''<sub>0</sub>), ''T''(''h''<sub>1</sub>), i així, on ''h''<sub>''k''+1</sub> és la meitat de ''h''<sub>''k''</sub>. Per cada nova mida de pas, només cal calcular la meitat dels valors de la funció; els altres s'agafen de la partició amb la mida prèvia (tal com es mostra a la taula de més amunt). Tanmateix, la idea realment potent és la d'[[Interpolació|interpolar]] un polinomi a través de les aproximacions, i extrapolar a ''T''(0). Amb aquest mètode una resposta numèricament ''exacta'' només requereix quatre bocins (cins valors de la funció)! El [[polinomi de Lagrange]] que interpola {''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 3.76+0.148''h''², produeix el valor extrapolat exacte 3.76 a ''h'' = 0.

Per obtenir aproximacions millors, amb la [[quadratura de Gauss]] normalment fa falta molta menys feina. En aquest exemple, pot calcular els valors de la funció només a dues posicions de ''x'', ±²⁄<sub>√3</sub>, llavors dobla cada valor i els suma per obtenir la resposta numèrica exacta. L'explicació d'aquest èxit dramàtic recau en l'anàlisi de l'error i en una mica de sort. Un mètode de Gauss de n punts és exacte per polinomis de fins a grau ''n''−1. La funció d'aquest exemple és un polinomi de grau 3, més un terme que s'anul·la perquè els punts finals escollits són simètrics respecte al zero. (L'anul·lació d'aquest terme també beneficia el mètode de Romberg.)

Desplaçant l'interval a l'esquerra en deixa una mica, si la integral és des de −2.25 fins a 1.75, s'elimina la simetria. De totes maneres, el mètode trapezoïdal és més aviat lent, el mètode d'interpolació polinòmica de Romberg és acceptable — Si el nombre de punts és conegut per endavant. La interpolació racional, també pot fer servir les mateixes avaluacions trapezoïdals del mètode de Romberg per tal d'obtenir un efecte més gran.

:{| class=wikitable style="background-color:white;text-align:center"
|+ Comparació del cost de computació dels mètodes de quadratura
|-
! style="text-align:right" | Mètode
| '''Trapezoide''' || '''Romberg''' || '''Racional''' || '''Gauss'''
|-
! style="text-align:right" | Punts
| 1048577 || 257 || 129 || 36
|-
! style="text-align:right" | Error relatiu
| −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" | Valor
| colspan=4 | <math>\textstyle \int_{-2.25}^{1.75} f(x)\,dx = 4.1639019006585897075\ldots</math>
|}

A la pràctica, cada mètode ha d'utilitzar avaluacions extra per tal d'assegurar una fita del error en una funció desconeguda; això tendeix a eliminar alguns avantatges del mètode de Gauss pur, i motiva el popular [[Quadratura_de_Gauss#Mètode_de_Gauss–Kronrod|mètode híbrid de Gauss–Kronrod]]. La simetria encara es pot explotar a base de dividir la integral en dos intervals, des de −2.25 fins a −1.75 (no simètric), i des de −1.75 fins a 1.75 (simètric). De forma més ampla, la [[quadratura adaptativa]] parteix un interval entre bocins basant-se en les propietats de la funció, així els punts de dades es concentren on són més necessaris.

Aquesta introducció breu omet les integrals de dimensió superior (per exemple, càlculs d'àrea i de volum), on alternatives tals com el mètode de [[integració de Montecarlo]] tenen gran importància.

Un text de càlcul no es pot substituir per l'anàlisi numèrica, però la inversa també és certa. Fins i tot el millor codi numèric adaptatiu, de vegades requereix que l'usuari ajudi amb les integrals que necessiten més potència de càlcul. Per exemple, les integrals impròpies poden requerir un canvi de variable o mètodes que puguin evitar que la funció presenti valors infinits; i propietats conegudes com la simetria i la periodicitat poden subministrar avantatges crítics.

== Aplicacions ==
=== Valor mitjà d'una funció ===
Per calcular el valor mitjà m d'una [[funció (matemàtiques)|funció]] f en un [[interval (matemàtiques)|interval]] [a,b] es fa servir la següent fórmula:
:<math> m=\frac{1}{b-a}\int_a^b f(x) \mathrm{d}x.</math>
Fixeu-vos que, si la funció f és una [[funció esglaonada]] amb graons d'igual amplada, aquesta definició coincideix amb la [[mitjana aritmètica]] dels valors de la funció. Si els graons tenen amplades diferents, llavors coincideix amb la [[Mitjana ponderada|mitjana aritmètica ponderada]] on el valor de la funció a cada graó es pondera amb l'amplada del graó. Per tant, aquesta definició es pot entendre com l'extensió natural de la mitjana.

En [[fabricació mecànica]] es fa servir aquesta definició. Si f(x) és la mida d'una superfície física donada per un rugosímetre i aquesta superfície s'ha fabricat pretenent obtenir una superfície plana, llavors el valor m és la cota mitjana de la superfície, per trobar la rugositat mitjana es torna a aplicar la definició sobre la funció g(x)=|f(x)-m|.

=== Aplicacions en física ===
Moltes lleis de la física s'expressen en forma d'[[equació diferencial|equacions diferencials]] en el cas més senzill aquestes equacions diferencials es resolen amb el càlcul d'una primitiva i moltes vegades el resultat final que es busca es troba amb el càlcul d'una integral.

Per exemple, la integral s'aplica per resoldre el problema de la caiguda lliure d'un cos sotmès a la [[gravetat]] de la [[terra]]. A la Terra, l'acceleració de la gravetat és aproximadament ''g'' = 9,81 m/s². Per tant, un cos que cau lliurement començant la seva caiguda amb velocitat nul·la té una velocitat que ve donada per la següent funció:
: <math>v = -g \cdot t</math>
El signe negatiu és degut al fet que la gravetat és cap al centre de la terra i els sistemes de referència normalment es trien de forma que la direcció positiva és cap amunt.

Si es vol saber la distància que ha recorregut el cos durant un temps donat T es pot raonar (emprant [[anàlisi no estàndard]]) que entorn a cada instant t la velocitat és constant tret de variacions infinitesimals, per tant l'espai recorregut en aquest instant durant un període infinitesimal dt és v(t)dt la suma de tots els espais recorreguts durant tots els instants des de t=0 fins a t=T (el moment en què es vol saber la distància recorreguda) es calcula amb la integral:
: <math>l = \int_0^T \left(-g \cdot t\;\mathrm{d}t\,\right)</math>.
El resultat d'aquesta integral és:
:<math>l =\, \frac g 2 \cdot T^2</math>.
Altres exemples de camps de la física on s'apliquen les integrals:
* L'[[energia]] consumida en un període és la integral de la [[Potència física|potència]] durant el temps.
* La variació de la [[càrrega elèctrica]] en un [[condensador]] durant un període és la integral del [[corrent elèctric]] que flueix cap al condensador durant aquest temps.
* La integració del [[cabal hidràulic|cabal]] (metres cúbics per segon) que flueix per un conducte proporciona el [[volum]] de fluid que ha passat pel conducte durant el període d'integració.

== Extensions ==
=== Integrals impròpies ===
{{article principal|Integral impròpia}}
[[Fitxer:Improper integral.svg|miniatura|La [[integral impròpia]]<br /><math>\int_{0}^{\infty} \frac{dx}{(x+1)\sqrt{x}} = \pi</math><br /> té interval no fitats tant al domini com al recorregut.]]
Una integral de Riemann "pròpia" suposa que l'integrand està definit i és finit en un interval tancat i fitat, els extrems del qual són els límits d'integració. Una integral impròpia apareix quant una o més d'aquestes condicions no se satisfà. En alguns casos questes integrals es poden definir prenent el [[límit]] d'una [[successió matemàtica|successió]] d'integrals de Riemann pròpies sobre intervals successivament més llargs.

Si l'interval no és fitat, per exemple al seu extrem superior, llavors la integral impròpia és el límit quant el punt final tendeix a infinit.
:<math>\int_{a}^{\infty} f(x)dx = \lim_{b \to \infty} \int_{a}^{b} f(x)dx</math>
Si l'integrand només està definida en un interval finit semiobert, per exemple (''a'',''b''], llavors, altre cop el límit pot subministrar un resultat finit.
:<math>\int_{a}^{b} f(x)dx = \lim_{\epsilon \to 0} \int_{a+\epsilon}^{b} f(x)dx</math>

Això és, la integral impròpia és el [[límit]] d'integrals pròpies qun un dels punts extrems de l'interval d'integració s'aproxima, ja sigui a un [[nombre real]] especificat o a −∞. En casos més complicats, calen límits aIs dos punts extrems o a punts interiors.

Per exemple, la funció <math>\tfrac{1}{(x+1)\sqrt{x}}</math> integrada des de 0 a ∞ (imatge de la dreta). A l'extrem inferior, a mesura que ''x'' s'apropa a 0 la funció tendeix a ∞, i l'extrem superior és ell mateix ∞, tot i que la funció tendeix a 0. Així aquesta és una integral doblement impròpia. Integrada, per exemple, des de 1 fins a 3, amb un sumatori de Riemann ordinari n'hi ha prou per obtenir un resultat de <math>\tfrac{\pi}{6}</math>. Per integrar des de 1 fins a ∞, un sumatori de Riemann no és possible. Ara bé, qualsevol límit superior finit, per exemple ''t'' (amb ''t'' &gt; 1), dona un resultat ben definit, <math>\tfrac{\pi}{2} - 2\arctan \tfrac{1}{\sqrt{t}}</math>. Aquest resultat té un límit finit quan ''t'' tendeix a infinit, que és <math>\tfrac{\pi}{2}</math>. De forma semblant, la integral des de ¹⁄₃ fins a 1 admet també un sumatori de Riemann, que per casualitat dona altre cop <math>\tfrac{\pi}{6}</math>. Substituint ¹⁄₃ per un valor positiu arbitrari ''s'' (amb ''s'' &lt; 1) resulta igualment un resultat definit i dona <math>-\tfrac{\pi}{2} + 2\arctan\tfrac{1}{\sqrt{s}}</math>. Aquest, també té un límit finit quan ''s'' tendeix a zero, que és <math>\tfrac{\pi}{2}</math>. Combinant els límits dels dos fragments, el resultat d'aquesta integral impròpia és
:<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\frac{1}{\sqrt{s}} \right)
 + \lim_{t \to \infty} \left(\frac{\pi}{2} - 2 \arctan\frac{1}{\sqrt{t}} \right) \\
 &{} = \frac{\pi}{2} + \frac{\pi}{2} \\
 &{} = \pi.
\end{align}</math>
Aquest procés no té l'èxit garantit; un límit pot no existir, o pot ser infinit. Per exemple, sobre l'interval tancat de 0 a 1 la integral de <math>\tfrac{1}{x^2}</math> no convergeix; i sobre l'interval obert de l'1 a ∞ la integral de <math>\tfrac{1}{\sqrt{x}}</math> no convergeix.

[[Fitxer:Improper integral unbounded internally.svg|miniatura|La [[integral impròpia]]<br /><math>\int_{-1}^{1} \frac{dx}{\sqrt[3]{x^2}} = 6</math><br /> no està fitada internament, però tots dos límits (per la dreta i per l'esquerra) existeixen.]]
També pot passar que un integrand no estigui fitat en un punt interior, en aquest cas la integral s'ha de partir en aquest punt, i el límit de les integrals de tots dos cantons han d'existir i han de ser fitats. Així
:<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>
En a la integral similar
:<math> \int_{-1}^{1} \frac{dx}{x} \,\!</math>
no se li pot assignar un valor d'aquesta forma, atès que les integrals per damunt i per davall de zero no convergeixen independentment l'una de l'altra. (En canvi, vegeu [[valor principal de Cauchy]].)

=== Integració múltiple ===
{{article principal|Integral múltiple}}
[[Fitxer:Volume under surface.png|miniatura|Integral doble com el volum limitat per una superfície.]]
Les integrals es poden calcular sobre regions diferents dels intervals. En general, una integral sobre un [[conjunt]] ''E'' d'una funció ''f'' s'escriu:

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

Aquí ''x'' no cal que sigui necessàriament un nombre real, sinó que pot ser qualsevol altra quantitat adequada, per exemple, un [[vector (matemàtiques)|vector]] de '''R'''<sup>3</sup>. El [[teorema de Fubini]] demostra que aquestes integrals poden ser reescrites com una '''[[integral múltiple|integral iterada]]'''. En altres paraules, la integral es pot calcular a base d'integrar les coordenades una per una.

Si la integral definida d'una funció positiva representa l'[[àrea]] de la regió tancada entre la gràfica de la funció i l'eix ''x'', la '''integral doble''' d'una funció positiva de dues variables representa el [[volum]] de la regió compresa entre la superfície definida per la funció i el pla que conté el seu [[domini (matemàtiques)|domini]].<ref>El mateix volum es pot obtenir a través d'una '''integral triple''' — la integral de la funció de tres variables — de la funció constant ''f''(''x'', ''y'', ''z'') = 1 sobre la regió esmentada abans entre la superfície i el pla, el mateix es pot fer amb una integral doble per calcular una superfície.</ref> Si el nombre de variables és més gran, llavors la integral representa un [[hipervolum]], el volum d'un sòlid de més de tres dimensions, que no es pot representar gràficament.

Per exemple, el volum del [[paral·lelepípede]] de cares 4 × 6 × 5 es pot obtenir de dues maneres:
* Amb la integral doble
:: <math>\iint_D 5 \ dx\, dy</math>
:de la funció ''f''(''x'', ''y'') = 5 calculada a la regió ''D'' del pla ''xy'' que és la base del paral·lelepípede.
* Per la integral triple 
::<math>\iiint_{\text{paral·lelepípede}} 1 \, dx\, dy\, dz</math>
:de la funció constant 1 calculada sobre el paral·lelepípede mateix (tot i que aquest segon mètode també es pot interpretar com l'hipervolum d'un hiperparal·lelepípede de quatre dimensions que té com a base el paral·lelepípede en qüestió i una altura constat de 1, com que l'altura és 1 el volum coincideix amb l'àrea de la base).

=== Integrals curvilínies ===
{{article principal|Integral curvilínia}}
[[Fitxer:Line-Integral.gif|miniatura|Una integral curvilínia acumula elements al llarg d'una corba.]]
El concepte d'integral es pot estendre a dominis d'integració més generals, tals com les línies corbes i les superfícies. Aquestes integrals es coneixen com integrals curvilínies i integrals de superfície respectivament. Tenen importants aplicacions a física quan es tracta amb [[camp vectorial|camps vectorials]].

Una ''integral curvilínia'' (anomenada de vegades '''integral de camí''') és una integral on la [[funció (matemàtiques)|funció]] a integrar és avaluada al llarg d'una [[corba]]. Es fan servir diverses integrals curvilínies diferents. En el cas d'una corba tancada també se'n diu una '''integral de contorn'''.

La funció a integrar pot ser un [[camp escalar]] o un [[camp vectorial]]. El valor de la integral curvilínia és la suma dels valors del camp als punts de la línia, ponderats per alguna funció escalar de la corba (habitualment la [[Longitud d'arc|longitud de l'arc]] o, pel cas d'un camp vectorial, el [[producte escalar]] del camp vectorial per un vector [[Diferencial d'una funció|diferencial]] de la corba). Aquesta ponderació distingeix les integrals curvilínies de les integrals més senzilles definides sobre [[interval (matemàtiques)|intervals]].

Moltes fórmules senzilles de la física tenen de manera natural anàlogues contínues en termes d'integrals curvilínies; per exemple, el fet que el [[treball mecànic|treball]] sigui igual a la [[força]] multiplicada per la distància es pot expressar (en termes de quantitats vectorials) com:
:<math>W=\vec F\cdot\vec d</math>
Que té el seu paral·lel en integral curvilínia:
:<math>W=\int_C \vec F\cdot d\vec s</math>
Que acumula els components vectorials al llarg d'un camí continu, i així troba el treball fet per un objecte en moure's a través d'un camp, com ara un camp elèctric o un camp gravitatori.

=== Integrals de superfície ===
{{article principal|Integral de superfície}}
[[Fitxer:Surface integral illustration.svg|miniatura|La definició de les integrals de superfície descansa en la divisió de la superfície en petits elements de superfície.]]
Una '''integral de superfície''' és una [[integral definida]] calculada sobre una [[superfície]] (que pot ser un [[conjunt]] corbat a l'[[espai]]) es pot entendre com la [[Integral múltiple|integral doble]] anàloga a la [[integral curvilínia]]. La funció a integrar pot ser un [[camp escalar]] o un [[camp vectorial]]. El valor de la integral de superfície és la suma ponderada dels valors del camp a tots els punts de la superfície. Això es pot aconseguir a base de dividir la superfície en elements de superfície, els quals proporcionen la partició pels sumatoris de Riemann.

Com a exemple de les aplicacions de les integrals de superfície, es pot considerar un camp vectorial '''v''' sobre una superfície ''S''; és a dir, per cada punt '''x''' de ''S'', '''v'''('''x''') és un vector. Imagineu que es té un fluid fluint a través de ''S'', de forma que '''v'''('''x''') determina la velocitat del fluid al punt '''x'''. El [[cabal hidràulic|cabal]] es defineix com la quantitat de fluid que flueix a través de ''S'' en una unitat de temps. Per trobar el cabal, cal calcular el [[producte escalar]] de '''v''' pel vector unitari [[Vector normal|normal a la superfície]] ''S'' a cada punt, això donarà un camp escalar, integrant aquest camp escalar sobre la superfície:
:<math>\int_S {\mathbf v}\cdot \,d{\mathbf {S}}</math>.
El cabal de fluid d'aquest exemple pot ser d'un fluid físic com l'aigua o l'aire, o d'un flux elèctric o magnètic (en aquest cas rep el nom de flux en comptes de cabal). Així les integrals de superfície tenen aplicacions a la [[física]], en particular a la [[Física clàssica|teoria clàssica]] de l'[[electromagnetisme]].

=== Integrals de formes diferencials ===
{{article principal|forma diferencial}}

Una [[forma diferencial]] és un concepte matemàtic en els camps del [[càlcul multivariable]], [[topologia diferencial]] i [[tensor]]s. La notació moderna de les formes diferencials, així com la idea de les formes diferencials com el [[producte exterior]] de [[derivada exterior|derivades exteriors]] formant un [[àlgebra exterior]], va ser presentada per [[Élie Cartan]].

Es comença treballant en un [[conjunt obert]] de '''R'''<sup>''n''</sup>.
Una 0-forma es defineix com una [[Funció contínuament diferenciable|funció infinitament derivable]] ''f''.
Quan s'integra una [[funció (matemàtiques)|funció]] ''f'' sobre un subespai de ''m''-[[dimensió|dimensional]] ''S'' de '''R'''<sup>''n''</sup>, s'escriu com 
:<math>\int_S f\,dx^1 \cdots dx^m.</math>

(Els superíndexs són índexs, no exponents)

Es pot considerar que ''dx''¹ fins a ''dx''<sup>''n''</sup> són objectes formals ells mateixos, més que no pas etiquetes afegides per fer que la integral s'assembli als sumatoris de [[Sumatori de Riemann|Riemann]]. De forma alternativa es poden veure com a [[covector]]s, i així una [[mesura (matemàtiques)|mesura]] de la "densitat" (per tant integrable en un sentit general). Es diu als ''dx''¹, …,''dx<sup>n</sup>'' [[formes diferencials de grau u]] ''basiques''.

Es defineix el [[producte exterior]], "∧", un operador "multiplicació" bilineal sobre aquests elements, amb la propietat ''alternant'' de

:<math> dx^a \wedge dx^a = 0 \,\!</math>

per tots els índexs ''a''. Fixeu-vos que l'alternança juntament amb la linealitat implica ''dx''<sup>''b''</sup>∧''dx''<sup>''a''</sup> = −''dx''<sup>''a''</sup>∧''dx''<sup>''b''</sup>. Això també assegura que el resultat del producte exterior té una [[Orientació (matemàtiques)|orientació]].

Es defineix el conjunt de tots aquests productes com les 2-''formes'' ''bàsiques'', i de forma similar es defineix el conjunt dels productes de la forma ''dx''<sup>''a''</sup>∧''dx''<sup>''b''</sup>∧''dx''<sup>''c''</sup> com les 3-''formes'' ''bàsiques''. Una ''k''-forma general és, per tant, una suma ponderada de ''k-''formes, bàsiques on els pesos són les funcions infinitament derivables ''f''. Totes juntes formen un [[espai vectorial]] amb les ''k''-formes bàsiques com els vectors base, i les 0-formes (funcions infinitament derivables) com el camp d'escalars. El producte exterior s'estén a les ''k''-formes de la forma natural. Sobre '''R'''<sup>''n''</sup> com a màxim ''n'' covectors poden ser linealment independents, així una ''k-''forma amb ''k'' &gt; ''n'' serà sempre zero per la propietat alternant.

A més del producte exterior, també hi ha l'operador [[derivada exterior]] '''d'''. Aquest operador fa correspondre a les ''k''-formes (''k''+1)-formes. Per una ''k''-forma ω = ''f'' ''dx<sup>a</sup>'' sobre '''R'''<sup>''n''</sup>, es defineix l'acció de '''d''' per:

:<math>{\mathbf d}{\omega} = \sum_{i=1}^n \frac{\partial f}{\partial x_i} dx^i \wedge dx^a.</math>

Amb extensió a les ''k''-formes generals de linealment.

Aquest plantejament més general permet un enfocament de la integració sobre [[varietat diferenciable|varietats]] lliure de coordenades. També permet una generalització natural del [[teorema fonamental del càlcul]], anomenada el [[teorema de Stokes]], que es pot establir com

:<math>\int_{\Omega} {\mathbf d}\omega = \int_{\partial\Omega} \omega \,\!</math>

on ω és una ''k''-forma general, i ∂Ω indica la [[frontera (topologia)|frontera]] de la regió Ω. Així en el cas que ω és una 0-forma i Ω és un interval tancat de la recta real, el teorema de Stokes es redueix al [[teorema fonamental del càlcul]]. En el cas que ω sigui una 1-forma i Ω sigui una regió de dimensió 2 en el pla, el teorema es redueix al [[teorema de Green]]. De manera similar, emprant, 2-formes, i 3-formes i la [[dualitat de Hodge]], es pot arribar al [[teorema de Stokes]] i al [[teorema de la divergència]]. D'aquesta forma es pot veure que les formes diferencials subministren una potent visió unificadora de la integració.

== Referències i notes ==
{{referències}}

== Bibliografia ==
* {{ref-llibre
 | cognom = Estela
 | nom = M. Rosa
 | data = 2003
 | títol = Fonaments de càlcul
 | lloc= Barcelona
 | editorial = Ed. [[Universitat Politècnica de Catalunya]]
 | isbn = 84-8301-835-7
}}
* {{ref-llibre | cognom=Alamar Penadés | nom=Miguel | títol=Fonaments matemàtics I | any=2006 | editorial=Ed. [[Universitat Politècnica de València]] | isbn=8483630095 | url=http://books.google.cat/books?id=ZVY5h40dWDAC&printsec=frontcover&dq=integrand&source=gbs_summary_r&cad=0}}
* {{ref-llibre | cognom=Guardiola | nom=Rafael | títol=Mètodes numèrics per la física | any=2002 | editorial=Ed. Universitat Politècnica de València | isbn=8437053609 | url=http://books.google.cat/books?id=qhyl3VxITZEC&dq=integrand&source=gbs_summary_s&cad=0}}
* {{ref-llibre | cognom=Apostol | nom=Tom M. | enllaçautor=Tom M. Apostol | títol=Calculus Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra | any=1967 | edició=2a ed.| editorial=John Wiley & Sons | llengua=anglès|isbn=978-0-471-00005-1}}
* {{ref-llibre | cognom=Bourbaki| nom=Nicolas | enllaçautor=Nicolas Bourbaki | títol=Integration I | any=2004 | editorial=Springer Verlag | isbn=3-540-41129-1|llengua=anglès}} En particular els capítols tercer i quart.
* {{ref-llibre | cognom=Burton | nom=David M. | títol=The History of Mathematics: An Introduction |llengua=anglès| edició=sisena edició | any=2005<!--November 8--> | editorial=McGraw-Hill | isbn=978-0-07-305189-5 | pàgines=pàg. 359}}
* {{ref-llibre |llengua=anglès| cognom=Cajori | nom=Florian | enllaçautor=Florian Cajori | títol=A History Of Mathematical Notations Vol. II | any=1929 | editorial=Open Court Publishing| url=http://www.archive.org/details/historyofmathema027671mbp | isbn=978-0-486-67766-8 | pàgines=pàg. 247–252}}
* {{ref-llibre | llengua=anglès | cognom=Dahlquist | nom=Germund | enllaçautor=Germund Dahlquist | coautors=Åke Björck | títol=Numerical Methods in Scientific Computing | editorial=SIAM | lloc=Filadèlfia | any=2008 | url=http://www.mai.liu.se/~akbjo/NMbook.html | capítol=Chapter 5: Numerical Integration | urlcapítol=http://www.siam.org/books/ot103/OT103%20Dahlquist%20Chapter%205.pdf}} {{Webarchive|url=https://web.archive.org/web/20070615185623/http://www.mai.liu.se/~akbjo/NMbook.html |date=2007-06-15}}
* {{ref-llibre |llengua=anglès| cognom = Folland | nom = Gerald B.| títol=Real Analysis: Modern Techniques and Their Applications | edició=primera edició | editorial=Wiley-Interscience | any = 1984 | isbn=978-0-471-80958-6}}
* {{ref-llibre | cognom=Fourier | nom=Jean Baptiste Joseph | enllaçautor=Joseph Fourier | títol=Théorie analytique de la chaleur | any=1822 | editorial=Chez Firmin Didot, père et fils | url=http://books.google.cat/books?id=TDQJAAAAIAAJ | pàgines=§231|llengua=francès}}
* {{ref-llibre |llengua=anglès| editor=T. L. Heath (ed.) | títol = The Works of Archimedes | any = 2002 | editorial = Dover | isbn = 978-0-486-42084-4 | url = http://www.archive.org/details/worksofarchimede029517mbp}}
*: Originalment publicat per Cambridge University Press, 1897, basat en la versió grega de J. L. Heiberg.)
* {{ref-publicació|cognom=Hildebrandt |nom=T. H. |títol=Integration in abstract spaces |publicació=Bulletin of the American Mathematical Society |volum=59 | number=2 |any=1953 |pàgines=111–139 | url=http://projecteuclid.org/euclid.bams/1183517761 | issn=0273-0979}}
* {{en}}{{ref-llibre | cognom=Kahaner | nom=David | cognom2=Moler | nom2=Cleve | enllaçautor2 =Cleve Moler | cognom3=Nash | nom3=Stephen | títol=Numerical Methods and Software | any=1989 | editorial=Prentice-Hall | capítol=Chapter 5: Numerical Quadrature | isbn=978-0-13-627258-8}}
* {{de}}{{ref-llibre | cognom=Leibniz | nom=Gottfried Wilhelm | enllaçautor=Gottfried Wilhelm Leibniz | títol=Der Briefwechsel von Gottfried Wilhelm Leibniz mit Mathematikern. Erster Band | editor=Gerhardt, Karl Immanuel | lloc=Berlín| editorial=Mayer &amp; Müller | any=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 umich.edu]
 -->
* {{en}}{{ref-llibre | cognom=Miller | nom=Jeff | títol=Earliest Uses of Symbols of Calculus | url=http://members.aol.com/jeff570/calculus.html | consulta=2007-06-02}} {{Webarchive|url=https://web.archive.org/web/19981205110714/http://members.aol.com/jeff570/calculus.html |date=1998-12-05}}
* {{en}}{{ref-llibre | cognom=O’Connor | nom=J. J. | cognom2=Robertson | nom2=E. F. | títol=A history of the calculus | any=1996 | url=http://www-history.mcs.st-andrews.ac.uk/HistTopics/The_rise_of_calculus.html | consulta=2007-07-09}}
* {{en}}{{ref-llibre | cognom=Rudin | nom=Walter | enllaçautor=Walter Rudin | títol=Real and Complex Analysis | any=1987 | edició=International | editorial=McGraw-Hill | capítol=Chapter 1: Abstract Integration | isbn=978-0-07-100276-9}}
* {{en}}{{ref-llibre | cognom=Saks | nom=Stanisław | enllaçautor=Stanisław Saks | títol=Theory of the integral | url=http://matwbn.icm.edu.pl/kstresc.php?tom=7&wyd=10&jez= | edició= English translation by L. C. Young. With two additional notes by Stefan Banach. Second revised | editorial= Dover | lloc=Nova York| any=1964}}
* {{en}}{{ref-llibre | cognom=Stoer | nom=Josef | cognom2=Bulirsch | nom2=Roland | any=2002 | títol=Introduction to Numerical Analysis | edició=3a ed.| editorial=Springer-Verlag | capítol=Chapter 3: Topics in Integration | isbn=978-0-387-95452-3}}.
* {{en}}{{ref-llibre | autor=W3C | any=2006<!--January--> | títol=Arabic mathematical notation<!--W3C Interest Group Note 31--> | url=http://www.w3.org/TR/arabic-math/}}
* {{Ref-llibre |cognom=Perelló |nom=Carles |enllaçautor=Carles Perelló i Valls |títol= Càlcul infinitesimal|editorial=Enciclopèdia Catalana |lloc=Barcelona |data=1994 |isbn=84-7739-518-7}}

== Vegeu també ==
<div style="-moz-column-count:2; column-count:2;">
* [[Taula d'integrals]] – integrals de les funcions més comunes.
* [[Integral múltiple]]
* [[Primitiva]]
* [[Integració numèrica]]
* [[Equació integral]]
* [[Integral de Riemann]]
* [[Integració simbòlica]]
* [[Sumatori de Riemann]]
* [[Integral multiplicativa]]
</div>

== Enllaços externs ==
{{Commonscat}}
* [http://integrals.wolfram.com/ The Integrator] de Wolfram Research
* Keisler, H. Jerome, [http://www.math.wisc.edu/~keisler/calc.html Elementary Calculus: An Approach Using Infinitesimals], University of Wisconsin
* Kowalk, W.P., [http://einstein.informatik.uni-oldenburg.de/20910.html ''Integration Theory''], University of Oldenburg. A new concept to an old problem. Online textbook
{{Integració}}
{{Viccionari-lateral|integració}}
{{Article de qualitat}}
{{Glossari de la geopolítica}}

{{ORDENA:Integracio}}
[[Categoria:Articles de qualitat de matemàtiques]]
[[Categoria:Càlcul integral| ]]
[[Categoria:Traduccions que són articles de qualitat]]