„Integralrechnung“ – Versionsunterschied

Flächenberechnungen werden seit der [[Antike]] untersucht. Im 5.&nbsp;Jahrhundert vor Christus entwickelte [[Eudoxos von Knidos]] nach einer Idee von [[Antiphon (Sophist)|Antiphon]] die [[Exhaustionsmethode]], die darin bestandbesteht, Verhältnisse von Flächeninhalten mittels enthaltener oder überdeckender [[Polygon]]e abzuschätzen. Er konnte durch diese Methode sowohl Flächeninhalte als auch Volumina einiger einfacher Körper bestimmen. [[Archimedes]] (287–212 v.&nbsp;Chr.) verbesserte diesen Ansatz, und so gelang ihm die exakte Bestimmung des Flächeninhalts einer von einem [[Parabel (Mathematik)|Parabelbogen]] und einer [[Sekante]] begrenzten Fläche ohne Rückgriff auf den [[Grenzwert (Funktion)|Grenzwertbegriff]], der damals noch nicht vorhanden war; dieses Ergebnis lässt sich leicht in das heute bekannte Integral einer quadratischen Funktion umformen. Zudem schätzte er das Verhältnis vonvom KreisumfangUmfang eines Kreises zu dessen Durchmesser, also die [[Kreiszahl]] [[Kreiszahl|<math>\pi</math>]], als Wert zwischen <math>\textstyle{3\frac{10}{71}}</math> und <math>\textstyle{3\frac{10}{70}}</math> ab.

Diese Methode wurde auch im Mittelalter benutzt. Im 17.&nbsp;Jahrhundert stellte [[Bonaventura Francesco Cavalieri]] das [[Prinzip von Cavalieri]] auf, wonach zwei Körper das gleiche Volumen haben, wenn alle parallelen ebenen SchnitteSchnittflächen den gleichen Flächeninhalt haben. [[Johannes Kepler]] benutzte in seinem Werk ''Astronomia Nova'' (1609) bei der Berechnung der Marsbahn Methoden, die heute als numerische Integration bezeichnet würden. Er versuchte ab 1612, den Rauminhalt von Weinfässern zu berechnen. 1615 veröffentlichte er die ''Stereometria Doliorum Vinariorum'' („[[Stereometrie]] der Weinfässer“), später auch als [[keplersche Fassregel]] bekannt.

Ende des 17.&nbsp;Jahrhunderts gelang es [[Isaac Newton]] und [[Gottfried Wilhelm Leibniz]] unabhängig voneinander, Kalküle zur Differentialrechnung zu entwickeln und so den [[Fundamentalsatz der Analysis]] zu entdecken (zur Entdeckungsgeschichte und zum Prioritätsstreit siehe den Artikel [[Infinitesimalrechnung]]; zum Integralzeichen und dessen Geschichte siehe [[Integralzeichen]]). Ihre Arbeiten erlaubten das Abstrahieren von rein geometrischer Vorstellung und werden deshalb als Beginn der Analysis betrachtet. Bekannt wurden sie vor allem durch das Buch des Adligen [[Guillaume François Antoine, Marquis de L’Hospital]], der bei [[Johann I Bernoulli]] Privatunterricht nahm und darin dessen Forschung zur Analysis so publizierte. Der Begriff ''Integral'' geht auf Johann Bernoulli zurück.

Im 19.&nbsp;Jahrhundert wurde die gesamte Analysis auf ein solideres Fundament gestellt. 1823 entwickelte [[Augustin-Louis Cauchy]] erstmals einen Integralbegriff, der den heutigen Ansprüchen an [[Stringenzmathematische Strenge]] genügt. Später entstanden die Begriffe des [[Riemann-Integral]]s und des [[Lebesgue-Integral]]s. Schließlich folgte die Entwicklung der [[Maßtheorie]] Anfang des 20.&nbsp;Jahrhunderts.

Die symbolische Schreibweise von Integralen geht auf den Miterstbeschreiber der Differential- und Integralrechnung, [[Gottfried Wilhelm Leibniz]], zurück. Das [[Integralzeichen]] '''∫''' ist aus dem Buchstaben [[langes s]] (ſ) für lateinisch ''summa'' abgeleitet. Die multiplikativ zu lesende Notation <math>f(x)\;,\mathrm{d}x</math> deutet an, wie sich das Integral –&nbsp;dem Riemann-Integral folgend&nbsp;– aus Streifen der Höhe <math>f(x)</math> und der [[Infinitesimalzahl|infinitesimalen]] Breite <math>\mathrm{d}x</math> zusammensetzt.

=== MittelwerteMittelwert stetigereiner FunktionenFunktion ===

Ein physikalisches [[Phänomen]], an dem der Integralbegriff erklärt werden kann, ist der [[Freier Fall|freie Fall]] eines [[Körper (Physik)|Körpers]] im [[Schwerefeld]] der [[Erde]]. Die [[Beschleunigung]] <math>g</math> des [[Freier Fall|freien Falls]] in [[Mitteleuropa]] beträgt ca. 9,81&nbsp;m/s². Die [[Geschwindigkeit]] <math>v</math> eines Körpers zur Zeit <math>t</math> lässt sich daherwird durch die Formel

Nun soll aber die Wegstrecke <math>l</math> berechnet werden, die der fallende Körper innerhalbbis zu einer bestimmten Zeit <math>T</math> zurücklegt. DasDie ProblemFormel hierbei<math>l = v \cdot T</math> („Weg = Geschwindigkeit × Zeit“) ist, dassnur bei einer konstanten Geschwindigkeit gültig''.'' Unter dem Einfluss der Erdbeschleunigung nimmt die Geschwindigkeit <math>v</math> des Körpers jedoch stetig mit der Zeit zunimmtzu. Um das Problem zu lösen, nimmtzerlegt man an,den dassgesamten Zeitraum fürin einesehr kurze ZeitspanneZeitintervalle <math>\Delta t</math>; während jedes Zeitintervalls ändert sich die Geschwindigkeit <math>v</math>nur wenig, so dass die sichFormel aus„Weg der= ZeitGeschwindigkeit × Zeit“ zumindest näherungsweise gilt. Die innerhalb eines kurzen Zeitraums <math>g \cdotDelta t</math> ergibt,zurückgelegte konstantTeilstrecke bleibt.<math>\Delta l</math> beträgt daher

Die: Zunahme<math>\Delta derl Wegstrecke\approx innerhalbg des\cdot kurzen Zeitraums <math>t\,\cdot\Delta t</math> beträgt daher.

: <math>l = \lim_{\Delta t \to 0} \left(\sum \left(g \cdot t \,\cdot \Delta t\right)\right) = \int_0^T \left(g \cdot t\;\mathrm{d}t\,\right).</math>

Das Integral lässt sich analytischz. angebenB. mit dem Hauptsatz der Analysis auswerten:

: <math>l = \frac g 2 \cdot t^2.</math>

Weitere einfache Beispiele sind:

:<math>\sum_{i=0}^{n-1}\,f(x_i)\,\{left(g(x_{i+1})-g(x_i)\}right).</math>

Durch Limesbildung in der üblichen Weise erhält man dann das sogenannte ''Riemann-Stieltjes-Integral'' <math>\textstyle \int_I\, f\, \mathrm dg</math>.

Einen moderneren und –&nbsp;in vielerlei Hinsicht&nbsp;– besseren Integralbegriff als den des Riemann’schen Integrals liefert das Lebesgue-Integral. Es erlaubt zum Beispiel die Integration über allgemeine [[Maßraum|Maßräume]]. Das bedeutet, dass man Mengen ein [[Maß (Mathematik)|Maß]] zuordnen kann, das nicht notwendig mit ihrer geometrischen Länge bzw. ihrem Rauminhalt übereinstimmen muss, so zum Beispiel [[Wahrscheinlichkeitsmaß]]e in der [[Wahrscheinlichkeitstheorie]]. Das Maß, das dem intuitiven Längen- bzw. Volumenbegriff entspricht, ist das [[Lebesgue-Maß]]. In der Regel wird das Integral über dieses Maß als ''Lebesgue-Integral'' bezeichnet. Man kann beweisen, dass fürFür jede Funktion, die über einem kompakten Intervall Riemann-integrierbar ist, existiert auch das entsprechende Lebesgue-Integral existiert und die Werte beider Integrale übereinstimmenstimmen überein. Umgekehrt sind aber nicht alle Lebesgue-integrierbaren Funktionen auch Riemann-integrierbar. Das bekannteste Beispiel dafür ist die [[Dirichlet-Funktion]], also die Funktion, die für rationale Zahlen den Wert Eins, aber für irrationale Zahlen den Wert Null hat. Neben der größeren Klasse an integrierbaren Funktionen zeichnet sich das Lebesgue-Integral gegenüber dem Riemann-Integral vor allem durch die besseren Konvergenzsätze aus ([[Satz von der monotonen Konvergenz]], [[Satz von der majorisierten Konvergenz]]) und die besseren Eigenschaften der durch das Lebesgue-Integral [[Normierter Raum|normierten]] [[Funktionenraum|Funktionenräume]] (etwa [[Vollständiger Raum|Vollständigkeit]]).