cours/intégrale de Riemann.md
Oscar Plaisant f91c506a9e update
2025-03-16 18:05:45 +01:00

12 KiB

excalidraw-plugin, tags, excalidraw-open-md
excalidraw-plugin tags excalidraw-open-md
parsed
excalidraw
true

up::intégration sigling:: intégrale de lebesgue author::Riemann #s/maths/analyse

[!definition] Intégrale de Riemann Soit \varphi\in\varepsilon([a,b]) une fonction escalier sur [a,b] Soit s=(x_i)_{0\leq i\leq n}\in\cal S([a,b]) une Subdivision d'un intervalle sur [a,b] adaptée à \varphi On note \lambda_i la valeur de \phi sur ]x_i,x_{i+1}[ On montre que le réel : \displaystyle\sum_{i=0}^{n-1}\Big( (x_i-x_{i+1})\lambda_i \Big)

ne dépend pas de la subdivision adaptée à \phi. Ce réel est appelé l'intégrale de \varphi sur $[a,b]$ et noté \displaystyle\int_a^b\varphi(x)\, dx ^definition

$= "![[" + dv.current().file.name + ".svg|700]]"

Fonction intégrable au sens de Riemann

une fonction bornée f: [a,b]\rightarrow \mathbb{R} est intégrable au sens de Riemann, ou encore Riemann intégrable, si : Pour tout \varepsilon>0 il existe des fonctions en escalier \varphi et \psi sur [a,b] telles que :

\displaystyle \forall x\in[a,b], \varphi(x)\leq f(x)\leq \psi(x) et \displaystyle\int_a^b\Big( \psi(x) - \varphi(x) \Big) \, dx \leq \varepsilon

Si f est Riemann intégrable sur [a,b], on a :


\displaystyle
\sup\left\{ \int_a^b\varphi(x)\, dx \Big| \varphi\in\varepsilon([a,b]), \varphi\leq f\right\}
= 
\inf\left\{ \int_a^b \psi(x) \, dx \Big| \psi\in\varepsilon([a,b]), f\leq\psi \right\}

Et ce nombre est appelé l'intégrale de f sur [a,b] et noté \displaystyle\int_a^b f(x)\, dx

Intégrale par les sommes de Riemann

Soit \sigma = (s_{0}, \dots, s_{n}) une Subdivision d'un intervalle de [a; b]. Soit X = (x_{0}, \dots, x_{n-1}) le $n$-uplet de [a;b] adapté à \sigma Soit f \in C^{0}([a;b]) On définit la somme de Riemann de f associée à \sigma et X par : \displaystyle S_{\sigma, X}(f) = \sum\limits_{i=0}^{n-1}\Big((s_{i+1}-s_{i})f(x_{i})\Big)

Ce nombre est la somme des aires des rectangles de base [s_{i}; s_{i+1}] et de hauteur f(x_{i}), donc une approximation de l'aire sous le graphe f. En prenant des subdivisions de plus en plus fines, on converge vers l'aire sous le graphe, donc vers l'intégrale.

[!definition]- Lemme (convergence avec des subdivisions plus fines) Soit f \in C^{0}([a, b]) On note \omega le module de continuité de f Soient \sigma = (s_{0}, \dots, s_{n}) et \tau = (t_{0}, \dots, t_{n}) deux subdivisions de [a, b] telles que \tau est plus fine que \sigma On pose :

  • X = (x_{0}, \dots, x_{n-1}) un $n$-uplet de [a, b] associé à \sigma
  • Y = (y_{0}, \dots, y_{n-1}) un $n$-uplet de [a, b] associé à \tau On a alors : \left| S_{\sigma, X}(f) - S_{\tau, Y}(f) \right| \leq (b - a)\omega(P(\sigma))

[!info] Démonstration Comme \tau est plus fine que \sigma, pour tout k \in \{ 0, \dots, n \}, il existe i_{k}\in [\![ 0; m]\!] tel que s_{k} = t_{i_{k}}. Ainsi si i_{k} \leq i < i_{k+1} - 1, on a y_{i} \in [t_{i}, t_{i+1}] \subset [s_{k}, s_{k+1}]

Propriétés

Toute fonction réelle application continue sur un segment [a,b] est Riemann intégrable. De même pour toute fonction continue par morceaux, pour toute fonction continue sauf en un nombre fini de points, pour toute fonction continue sauf en un nombre ensemble infini dénombrable de points.

Toute fonction réelle fonction monotone suru un segment [a,b] est Riemann intégrable.

Soient f et g deux fonctions Riemann intégrables sur [a,b] et soit k\in\mathbb{R}, Alors les fonctions k\cdot f et f+g sont Riemann intégrables. De plus : \displaystyle \int_a^b (k\cdot f)(x) \, dx = k\cdot\int_a^b f(x)\, dx et \displaystyle \int_a^b (f+g)(x)\, dx = \int_a^b f(x)\, dx + \int_a^b g(x) \, dx (L'intégration est un morphisme de groupes sur l'ensemble des fonctions muni de l'addition et de la multiplication externe).

Relation de Chasles

Soient (a,b,c)\in\mathbb{R}^3 tel que a<b<c et f une fonction intégrable au sens de Riemann sur [a,c]. Alors la fonction f est intégrable sur [a,b] et sur [b,c] et vérifie l'égalité : \displaystyle\int_a^c f(x)\, dx = \int_a^b f(x)\, dx + \int_b^c f(x)\, dx

Généralisation

soit f une fonction Riemann intégrable sur [a,b]. On note \displaystyle\int_a^b f(x)\, dx = -\int_a^b f(x)\, dx. Donc \displaystyle\int_a^a f(x)\, dx = 0 Alors, pour tout (a,b,c)\in\mathbb{R}^3 et toute fonction f Riemann intégrable sur un segment contenant a, b et c, on a la relation de Casles généralisée : \displaystyle\int_a^c f(x)\, dx = \int_a^b f(x)\, dx + \int_b^c f(x)\, dx

Inégalités

Soient f et g deux fonctions Riemann intégrables sur [a,b]. On a :

  • si f\geq0, alors \int_a^b f(x)\, dx \geq 0
  • si f\leq g, alors \int_a^b f(x)\, dx \leq \int_a^b g(x)\, dx

%%

Excalidraw Data

Text Elements

Drawing

N4KAkARALgngDgUwgLgAQQQDwMYEMA2AlgCYBOuA7hADTgQBuCpAzoQPYB2KqATLZMzYBXUtiRoIACyhQ4zZAHoFAc0JRJQgEYA6bGwC2CgF7N6hbEcK4OCtptbErHALRY8RMpWdx8Q1TdIEfARcZgRmBShcZQUebQBWbQBGGjoghH0EDihmbgBtcDBQMBLoeHF0XFJSNip+UsYWdi40JIAWePrIRtZOADlOMW4kngBOJIAOAHYAZgmANk7CyEIO

YixuCFweVJKV5gARdKgEYm4AMwIwrogSTZgAVQB1eKMAfQBJfAAlDgQHyQAFXm+gACjxAQ8AMq7UrnQj4fBQ2DBTaCDywgRQGoAawQTxI6m4fGWEGY2LYeORMFREnRdxuNT8kj+zFyrRubDguGwahgwwADAKbtZlLTUMLSZhuM5JgLtDx5lMBfM2u02rN5hMSXsIPzWgLEjN4qNlaMBdMklMkgK2jdybiEABhNj4NikTYAYiSCB9PsxEE0PJxyiZ

axdbo9Emx1mY3MC2QDFEJkm4kt1kgQhGU0mJo1GCVNi3mPCWurCp2G8Rmhqm2omSRuoeEcA+xHZqDyAF0budyJk29wOEJEYzhGtWR3irrYIhicsAL43TTj4gAUWCmWyHe7NyEcGIuBOZ1aU1Lxqt81VWpuRA4OKHI/wt7Y2DxJ9Ql3w11J5KqUAAIVWRwOGUR9R1JLJiCAtZVjAtBhwg3V8FCKAXX0fQ1GPUE2FWKBwOfX8olIKAAEFqlqTNcA/R

DCN1KDyJqCgqI/LYKLqUk4Fw7d8mWMACj2Ep00EgU+J7PiBJEroSmcMYCxNKZi1LMTli7Qol0KadIFnCo2KYgMemabhxhuQz+kGCoklGeJqxs8YZhuYCNgkXAZgDQhDmOSs0C/H9dTuCRnAAGVBSQgtIAArZQgoQAAtIRSLaSQAEUkkBAAJNgjADeFEWpcUyVdBkiMdAliCJNAdVKB1KQQfLdPpM4x2ZSdhk5bleVgQVhMgUVxR6iBpTQWTDW0RY

ZjrHgJlGDUZi1KrIH1VAJjabRRnmEZrXiS1rVte0KTxCN3S9P1fSQZdg2bIRw1dY7o3IDg4yqLJ8JuZNytTNA1QmbQpjLUpM2zXM0AGisPySeJ5gtda1SbJlW3bfJxN1PtcAHGin2aidwinPiyjnSrF2XVcNwyF6d2R0p90PY9hjPWyrV2gUFogO8HwQzHSTdN9vM/K4EH2/8YJA+DUFom4oOFuCCNvVD0MwmRThwvCZaI/9GMokIMaQ0oGPYljN

iqfSbi4vCdwkviwB6oSxOkyS9m+37/r2UTBLUvZ3bADSSi0/HdLvc7STMlpeBvIOmF6DgBg4IYDXGW11SmRy1mcyo2nczzglpnz+cc1ingAcRgABHAA1NdS4eE5Rj6ABNTRa7eCY1wAKVLoKcoRJEUQaoqmpK2qyoq3h9sdeq0T7gMmRzVqOVJLkeT5bqRVA/qbiG1BZQmGZtDmnhFLPeZTTm7UbiWjUEjGeYa3WngrRtO0B8O26o3Qb0zv9C63y

um7I02GNHrxhekmFM3AZijDiEWSGpYbiAxzPhSqPA4jM3aCtCazsyQIF5pMascx1oCiTqSK6CMKa9n7AgQcHMdaQDDMQWeqAtLaXKPOPY3tSgrmuuuTc5MkZ7gPEebB9MLx1iVNvW8qx2Zi05shV874Li5zViRKWoFVb0TWMo0W4suZywMArbC3EEFSOoWSYiZF9Za1UbrNYGtmIWKoXRUopseJoHtvxS21sra2wtoJMA8R5RtHQdJMAzgd41gIQ

2ZSbs7aW2sr9aGaC/pBOcBMH68QxhX2mPELxglXFgHaFMS+qCAmJMts4UYP05pJBmFNEYWSoneMElZH6NpRiBNKUfbQbR96zGKXUj20SfE8DaAWDoyoZi1KSTaJIyRZj1lqdkvYuT96rRtBeaBzsZJyk6d0mYvSFklFydUgsEwVSqhVDA0pSDkF3zaAkvpJRKYHMtuAyBil1mTIWAqKYPT0EqQ9upeovsdKbECNgKIq9A66mDsMIZpkI7NGjrHVA

SR2ilniLc+IhD/Ipw3lseIGcjhZ15r5AWpIAroFIKCHEdhgT0CSDic4cBzgTEZclHgoIPh9E7nlHuE8MSj0HqAyqAqqS8rpJPZqM8cZtXnh1JeBoBp9QqANDeW95RzC6fEJIqpZrzTPtwYZyQbJQz+kMpUD8RXOhfidU0SRsA7C/iGWhR1X7QAek9BMr1STvWHnfNaVp1qZNgVmeBYDVpqihhDEsGCwbEgFCiqy1kxhwxbG2UhpJUbo0sTQ1c9Ct

G6g4WsUmW4ci8NJNTAR4MhFaobN89F4j7zZtZrI4l/MAWaVJMCiQoLwVikhQ0eFnA40TDhU0cyMcKjnm3nZZO6xcW4HmASryH4SV502FCSQUI1w4lIlMIQTweBQA+AAaSdEkAC5wEAAA03zcu7jSXu/Kn74iFSPZ949xVPt1NPFk0q566gXp1JaNpFUQrTOvGUUbL5TAgYpbUFpiz6rQH4hUQpFK3OtHfBYWLqoHStX/CQ3pbX2oDEGb+zrrX3Vj

EAxMb1X1+vGDBrUJSMwhuBqgGYoTlQTG2vvFaaSJqP3LFg8GbQCE4IFKaFN+401lpRuQyhRiHE5s4Xm6R7CSbcOcZ2R5EAK3Z2RdWnBbQMUNskfm0o3M5E52/AgdtPtO3MO7QgMFSqDKDpDjwIUo7I6IsnSk7a1pvmztTlsKYS6iUroUf5Viixj24AAPIAFlYoPFik8UgxdCCaCMAl74zB4gADE3h3o/egRqAYap4iHp9N95Y8NlcKl+0oP76GNl

lYvLqCqV59vA1KSD1TfpjEhmqEzmoR2kiWoNxNE0eOZPmg5Z9LqbXWhI46n+xBltUcAc9Wj3r6PTMY4GljAM2OGK1bvM8QyOglhtDU+0ImYVCkk1NAh0mSFybhAp7WymIC0LU8YwtXCybad3OW/hBmrTnhrdtO7Zmm1WdbbZ+zRRHMEwpS53tqIfNGUqlqnH46kV3y8xteNPGQvzomBFhABnV1ktYkloKPG3gHGZqMIKUA2BTEwIaOAUxnAClyL2

LujWKuWpq8SS1ouJWkla3+5F7VOvAe86SNzIMIPDRtD9c0VyBTgN1TBpDm9SxGrSVeOs4CYOjctVtt+VlVsOtJGRp1q5bduuo7tr1uofW1YYwG5jGC4Hsa107LUtp8yTGVG938j3WgmkjSZ0Y73ZMuN05mihP2sZ0PlxZyAQPi08NT3wmmgjoeTBLCk+Y8P7Evh5lF5HJQ2FAqcxj1zYGCeeavB3vzgpxjrQ2hgpy87RjU9p9F0o5KIDfAeICQgC

AeALskAKPooJiDKBmFCc42AKCAmcKVsV5WZf1dKvRqXB+mvFW/cIKVbIZUAblV15FKvdRq4lBrzePHtAEIw1eMbc1DeTYyi3KdLVi3InLXzXzWQTbH61Ru5EYO6kaXQUYEboAAIerAJ0YfTEiHb+5BqkhB6GJVLXJaoop3ycY2glgPbYLXzVhzbWTJ6IxF4ZrfZNr/Y57qZ56aYg6lpMG6j6al4MwLApJILV5Ka17WZ8wN5eyApo66Q9puYd7EjX

zd4WTDDTRTBgF1oU6GykSj5I5+QT6sR9BMCEAwACjJQcCghTBXrpSgj4CQh9D4DpRwD6D74Pp8qX64Yn5YHCrvrn5i6y7X6/q37/qlCAbypP6ga9bq79bDQbTJATRIIJp/RaqmhCalBLTOBpJrQ8DgJWSYrXzVJV5LaUZ27EaO4FpIGu6lHu47aeogI+G8A4FMZ4GsZAyEFzRf4ap65DKlg8YiEx68y3JdJQy5GLa6jEIp46ZkJowZ6sG5rsGA5c

Elrpp8EQ4CEXjTBeaTCiG57Np17yJSFN6yEgqY4KHhxjqeb0EXG+aqGtD5j7xWRzRJ5ko4qGwAR6H14GErCsT0CSDnAPBOhQhCAUACjpTfDHplzFwfDMo8CEDFxuEFQBEwHVan5+HuGfqeEqY34djtb35K7Lyq5gYxG6iqoTTbJk7jB/5KjrRG7OAXyQzjBDIQx+JIJzQxp4ZwH252oVHsJVGcJu5oE0Ze6lA+7YH+otEnaQAEHDDjLJBiYaGzC2

hHy7JUHgxTQdCYpooMGrFfazGKZ7FsEhFiFO7LGF7THg4l5Vpl7TAwYzS7EcH7ESEkoo7N7o5/ZnHt43G45NEvFQoeY96tCLCgEahVLaEuROifGHHfG3CsROjEBJCggJa4AGDpQPAwCkT0AfDMDnBXpPAcCFaaCImPpYkmLeG+pn4YmH7NbYnBG4mK5AaEkv7Elv6xGbxVKFganVgzSagwbQEZEyhjBDbpJsnbQLDao241HwE8mIHkbVEoG1HoF7

be4HYSnHaB5nbDAdljAdAdBzA2RalqlgLjArTTQTQ6mfaQDp4GmOlGkdh7H55aY8EWlrFWl0w2kLAaoOnGKI5fF2aN4yEzgt4elt69aKGVQ7HemE4VD/4NhVJKjhmVAHBRk2YxmT5riaANxQClwUCWBOhtBQjfC4CSBTD0DpQFzJRXrFkeH9wokvqNEsxVZ1T+FH4tZBFtYNkREgY9Zrxtk2gKi7LDLTpm7VLMx0m5FGptBHyHw2QBJoaTkLnTlr

ZO78m/x3SoHurCkNG+rNHrnBrtGCjzBDbXxeZqhpLtB65HmVRiaMljIXm8F6lZo16BGqaLG/aPncG6mQD8HWmCGtKKjjGWYSII4tp/muknHOagXY5QWeYjAqETowr5gajbxhmvFzqGxrgoWSFoWsRQATC1xOgTCkR+LMDJSgjpTxDFxPBPDzAwDoqRnC48pVkX60VeGCoMWVlImsW1kcUdaNndZEnRGtmklhpf4bQrR3yGgBUsyZHTZHxqg3ySYI

aMWclTncnKWVFzkCk1FCme7aW+66UB76WhqtAQy/Rqh64lg2VMbFHCbYL8ZVJ2mBWQCTGMEvmOVzHOVX6uXGkPlmmg66Y+Xvl+X5jmjfm/a/nRn/nSEdpAXunyFen+mXHDDXFI23EJVoB1jxraqWiIVbCFZZV04xabBCDWQUAnARSkA4jxBwBPARQIDfBSW4AIAFznDUWYmtVYjlm+6dUlmc1/bsXy54lhEP7K5RG8UjXIYFIpInnbQ2TTV0nopj

S5FSXCHtC7JWQKXqUQBKW8l56qWbY7WaV7WYE6VrlHX4GbmtBzDJDWSSbck2gCZWWGYEIkG2g4YvXwxTFg7yb6mZ4uXYy/WOkeUrGXl6brG+UXjmiYp+Lg3iH6HQ3HFw1yGelgUxXEjjLxVIo3zFgELPW3BvEuQFyE3j4/GbC1xwDOCxRQg8BsDMAFykSmHKBsDzDfBCAHAAS4AfDs3VmllMUS6+F0XS41kC0tRC2cWP7cWDUS2lAbwNi/TappL4

IiWa2AGa7Gi7wzQjAJ5zDaoe1lmwFrXlGzku7bULm7X1Gm0HXm2tGnYGUQXa6LAaHjBnJpL72xqnXWTrRvL72vVeUQDXn+3fWB33nB3/XPk+1UwR3A1R01jKjC2QBswhUHGoWJ2AWlBdqt5Y79rdAeYZ353ByBmoBaomgKlSkF3pUuTpQl22ZroSCxQRSjBowfAHD6B9AHDnBQDYBPDEBQjFxrgFxPClw90tWVZ4YD11ZtWirNXIlsVj3GkIMQDh

GT3P6lCv4qqCiJDopzCzDGgr1+kDma5QxjQQIv0RLJVzRa2uq60n0baCnG2X37YMWHW33SlW28AmYKiqjdm3ztD2mDHgxHytLbxSX51/1h2APzE/WgNLGcIF4A3F6VowOpG7LxoDRINfWWahVQ3hXJ2nFRU4MMB4PWX72EN3HIpWi4LjAop41d00M5WbAUDMD6AUBJaggUDGFOgtzpnJmYAcoAQ8BC4Zoi4sUj391olD2jOlly4KMT1i08XKrv4j

AjLY3VLaq7L1h0lWg7y5GKSSZ+J1p9lWMrYznrbIHa0X0YFONm1HYW1tEnW8CQy/QW7ah/RzRiaKMf28CcbDYdD2XvVXksGZMqYgNNoh3mmQPeXQOnhl6tIQKZ1czBXAtOkJ25MYPAUI1p1o0+nnhZ0VArRTXMzKFpWha4Atz1OkrE0SCSBOgARJZXpOilwChrikB5ZGDzAFxGBrgfCEDU0iOyNc3tUVnoldUj0zP1l9VcWqO9QtkaNx47Mal/T2

S3J8ZbMdJEtVIoLfJ1jVjHOEbrV62BgG32Me6OMrnOM33kMyl45xAKRvP/6J6YrO0jDTChmVP/OQsANAsmnAPZ5B2xNFpPn/1A0wsMwzR7kYIZM+tZMoPZVoOw3ovw2p3RXYtDoQWlMBnlPlLLLDKWUkvzrHoUt0PlYtzHo4g4gFyYCxSaCkCkTOBQjJTNybprhPB76NX3qit93iMTNSPMUyPdWj04l34i0EkDXNlDVyuGYFLMwmjKlTUmVbNK1+

LlIqt73b3v2rWKUGu2PnOuqXPLmimrm3OuNSDuO5E/SGjnLtDRo9n51fPbGvYmZOtEJe1vWeuRPIt3lgvgPBvQuGawu3LlIGOINIvRuIPZOoPqTgDIxbBwBwDIgCLcDTjQCZiZCbCHhU2wgMBz4UCd1bVqXWPnBEfEdYfYAiCeofAnD6DIiOhcnH31AQBkfVAvSUcZB4en0Ef/wONXOlBMcUdUeFYjP9vNaMfkcsdUc0dCs82FCifMfZCsfUcNZT

OtWyf8cZDfCC2zMyd8ficZAJai1NmQA6fycCecBQCFZowIjAYMfGdHqmfZBQiEBGCTrCSqe6f6CAhYBkREDKAhyswICcOkdicmcZAIckQ2IGyZNuchf6BrjWLmLUSGzsRBdyd2cZA2KAgYurhYfMDYA1CIhUWVTgKdIbRJoaiXsNj/Rkh5euj4C1xxryQopSX7yYoBIPEMdGBsAGBIdBwEBCCToo7Rdpf6AafRNoiSBVBwBYehgkCOfOdxoMcze8

MnBTfIaLekAkBJZsDrBxe4CaDBB/nrckC26+wASuisSkDKBBgAAUd8ScTR93d31AEoCQAAlAGN8AgMoCOFUCCld7gLdzWM97kcKN86D/KPEO94N7Z5J3iPp1AM0DEw4l67MZ9ynBtyomgL7FkHtwd9wNiP1zcNgEQKt6gAT5S6UBwLMfj6QIT/PEIFAAHDT/14N3YPTWCswFCFT3AFtzt1T/twnQxzyAj4wICF1/gD13k3SOkGCkZET0IOSAYJl+

jnsZDag7LOSKRLL6L+LwRFBzDVeQiOEEhwuCAAuEAA==

%%