12 KiB
excalidraw-plugin, tags, excalidraw-open-md
excalidraw-plugin | tags | excalidraw-open-md | |
---|---|---|---|
parsed |
|
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]
Soits=(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é def
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 toutk \in \{ 0, \dots, n \}
, il existei_{k}\in [\![ 0; m]\!]
tel ques_{k} = t_{i_{k}}
. Ainsi sii_{k} \leq i < i_{k+1} - 1
, on ay_{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==
%%