Lebesgue-Integral – Wikipedia
Le Lebesgue-intégral (Après Henri Léon Lebesgue [ ʁiː ea ləb s ]) est le concept intégral des mathématiques modernes, qui permet l’intégration des fonctions définies sur tous les espaces dimensionnels. Dans le cas de nombres réels avec la mesure de Lebesgue, l’intégrale de Lebesgue représente une généralisation réelle de l’intégrale de Riemann.
En parlant de façon vivante, cela signifie: Afin d’approcher l’intégrale de Riemann (Fig. 1 Blue), l’axe d’abscissa est divisé en intervalles (partitions) et rectangles en fonction de la valeur fonctionnelle à un point de support dans les intervalles pertinents et a ajouté ces surfaces. En revanche, l’axe ordonné est divisé en intervalles pour aborder l’intégrale de Lebesgue (Fig. 1 rouge) et les surfaces pour l’approximation résultent d’un centre de support de l’intervalle d’ordonnées respectif multiplié par la longueur globale de l’association de l’intervalle primitif (mêmes tonalités rouges). La somme des domaines formés de cette manière se traduit par une approche de l’intégrale de Lebeegue. La longueur totale de l’archétype est également appelée leur mesure. Comparez la citation de Henri Lebesgue dans la section ci-dessous.
Tout comme une intégrale de Riemann est définie par la convergence de la zone d’une séquence de fonctions d’escalier, l’intégrale de Lebesgue est définie par la convergence d’une conséquence de fonctions dites simples.
La raison du calcul différentiel et intégral commence au XVIIe siècle avec Isaac Newton et Gottfried Wilhelm Leibniz (en 1687 “Philosophiae naturalis Principia Mathematica” de Newton). Il représente une étape importante dans l’histoire de la science, car pour la première fois, on avait un concept mathématique pour la description des processus continue et dynamiques dans la nature et, par conséquent, à calculer les zones tordues. Cependant, de nombreuses décennies devraient passer pour le calcul intégral vers le milieu du 19e siècle par Augustin Louis Cauchy et Bernhard Riemann sur une base théorique solide.
Cependant, la généralisation de la soi-disant Riemann intégrale dans les pièces de dimension supérieure, par exemple pour calculer les volumes de tout corps de la pièce, s’est avérée difficile. Le développement d’un concept intégral plus moderne et plus puissant est inextricablement lié au développement de la théorie des mesures. En fait, les mathématiciens ont commencé à étudier systématiquement comment toutes les sous-quantités du
De manière raisonnable, on peut attribuer un volume. La justification axiomatique stricte des figures réelles de Richard Dedekind et Georg Cantor et la raison de la théorie de la quantité par Cantor à la fin du 19e siècle ont été une condition préalable indispensable pour ce travail.
Premières réponses à la question du volume de toute sous-quantités du
Par exemple, a donné Giuseppe Peano et Marie Ennemond Camille Jordan. Une solution satisfaisante à ce problème n’a été obtenue qu’émile Borel et Henri Lebesgue par la construction de la mesure de Lebesgue. 1902 a formulé Lebesgue dans son parisien Thèse Pour la première fois, le problème de mesure moderne et a explicitement souligné de ne pas être en mesure de le résoudre en plein grand public, mais seulement pour une classe de quantités très spécifique Quantités mesurables appelé. En fait, il devrait s’avérer que le problème de mesure n’est généralement pas résolu, c’est-à-dire H. En fait, il existe des quantités qui ne peuvent pas être attribuées à une mesure significative (voir la phrase par Vitali, Banach-Tarski-Paradox). En raison de la construction de la mesure de Lebesgue, la voie était maintenant ouverte à un nouveau concept général général. La première définition de l’intégrale de Lebesgue a donné à Henri Lebesgue dans son Thèse lui-même. D’autres définitions significatives de l’intégrale de Lebesgue sont venues un peu plus tard de William Henry Young (1905) et Frigyes Riesz (1910). La définition présentée ci-dessous, qui est désormais la plus courante dans la littérature spécialisée, suit la construction de jeunes.
De nos jours, l’intégrale de Lebesgue est le concept intégral des mathématiques modernes. Sa généralisation et son – d’un point de vue mathématique – de belles propriétés en font également un outil indispensable dans l’analyse fonctionnelle, la physique et la théorie des probabilités.
Économie et quantités mesurables [ Modifier | Modifier le texte source ]]
L’intégrale de Lebesgue est définie pour les fonctions sur n’importe quel espace. Un espace sur beaucoup
consiste en une sélection de sous-quantités de
, comme mesurable appliquer, et une mesure si appelée
, avec lequel un sous-ensemble mesurable
depuis
Leur mesure
est assigné. Cette mesure d’un sous-ensemble mesurable
est toujours un nombre réel non négatif ou
. Ici, à la fois la sélection des sous-quantités de
ainsi que la mesure respecte certains axiomes.
Pour l’intégration de quantités partielles de la
Les fonctions définies sont généralement utilisées
. Ceci est caractérisé par le fait que
– L’hyperréciation dimensionnelle cogne leur “normal”
– Le volume de dimension est attribué:
.
Intégration de fonctions simples [ Modifier | Modifier le texte source ]]
Tout comme l’intégrale de Riemann est construite par des fonctions d’approximation au moyen d’une approximation, vous construisez l’intégrale de Lebesgue à l’aide de soi-disant fonctions simples. Cette procédure est parfois appelée «induction algébrique» et est utilisée dans de nombreuses preuves de fonctions mesurables.
Une fonction simple aussi Fonction élémentaire Appelé, est une fonction mesurable non négative qui ne fait que finalement de nombreuses valeurs fonctionnelles
accepte. Ainsi, chaque fonction simple peut être
écrire
- .
Y a-t-il pour
,
un nombre réel positif,
une quantité mesurable et
La fonction caractéristique aussi
et le
sont tous disjoints. Cela prend
la valeur
à l’extérieur de
la valeur
.
Maintenant, l’intégrale d’une fonction simple peut être très naturelle
définir:
L’intégrale de
au-dessus de
Il en va de même pour la somme des produits de la valeur fonctionnelle de
et la mesure du montant sur lequel la fonction assume la valeur respective.
Intégration des fonctions non négatives [ Modifier | Modifier le texte source ]]
Maintenant, vous définissez d’abord l’intégrale des fonctions non négatives, i. H. Pour les fonctions qui n’acceptent pas les valeurs négatives. La condition préalable à l’intégabilité d’une fonction est sa mesurabilité.
Une fonction non négative (numérique)
, par lequel
Le borelsche σ-algèbre
désigné est exactement mesurable lorsqu’il y a une séquence
de fonctions simples qui se développent en un point et monotone
convergé. Vous définissez maintenant l’intégrale d’une fonction non négative et mesurable
- ,
où le
sont simples et en croissance et monotones contre
converger. Les limes sont du choix spécial de l’épisode
indépendant. L’intégrale peut également être la valeur
supposer.
La définition équivalente suivante se trouve souvent dans la littérature:
Vous définissez donc l’intégrale d’une fonction mesurable non négative en modifiant la fonction “d’en bas” comme souhaité par des fonctions simples.
Intégration de toutes les fonctions et intégabilité mesurables [ Modifier | Modifier le texte source ]]
Afin de définir l’intégrale de toute fonction mesurable, vous les démontez dans leur partie positive et négative, les intégrer individuellement et tirer les intégrales les unes des autres. Cependant, cela n’a de sens que si les valeurs de ces deux intégrales sont enfin (au moins la valeur de l’une des deux intégrales).
Le Positif
une fonction
est défini (point) comme
.
Le Négatif
est en conséquence (point – par) par
Sont définis.
ES doré alors (points de points)
,
,
et
.
Une fonction signifie µ-quasiintegable ou quasi-intégrable en ce qui concerne la taille µ Si au moins l’une des deux intégrales
- ou
Enfin.
Dans ce cas moyen
- .
le
-Intral de
au-dessus de
.
Pour toutes les sous-quantités mesurables
Est alors
le
-Intral de
au-dessus de
.
Une fonction signifie µ-intégrable ou intégrable en ce qui concerne le niveau µ Si les deux intégrales
- et
sont enfin.
La condition équivaut à ce
- .
De toute évidence, toute fonction intégrable peut être quasi intégrée.
De nombreuses orthographes sont utilisées pour l’intégrale de Lebesgue: ci-dessous est
une quantité mesurable. Si vous voulez la variable d’intégration pendant l’intégration
Spécifiez, vous écrivez
- ou ou .
Pour
Et le gars de la vie mesure
Vous écrivez à la place
simplement
, dans le cas d’une seule dimension, c’est-à-dire
, vous écrivez aussi
Pour l’intégrale sur l’intervalle
ou
.
Si la mesure
Une densité de radon-nikodým
En ce qui concerne la mesure de Lebesgue, s’applique
- .
L’orthographe est dans les zones d’application
souvent aussi utilisé lorsque
officiellement n’a pas de densité. Cependant, cela n’a de sens que si vous
Pas en fonction, mais comme une distribution.
Est cette mesure
dans le cas
À travers une fonction de distribution
défini, vous obtenez donc l’intégrale de Le Lebesgue-Stales-Jes avec
- ou
mentionné.
Est
Une probabilité, donc vous pouvez
être considéré comme une variable aléatoire (pour laquelle la notation
au lieu de
est commun). Vous définissez ensuite la valeur des attentes
depuis
quand
- .
En physique théorique, l’orthographe devient
utilisé dans l’analyse fonctionnelle parfois l’orthographe
, dans la théorie de la mesure aussi
[d’abord] .
Beaucoup
, qui a la mesure 0, est appelé zéro, dans le cas de la mesure de Lebesgue également spécialement spécialement Lebesgue-Nullmenge .
Est ainsi
avec
et
Une fonction intégrable, ce qui suit s’applique:
Depuis l’intégrale sur le montant zéro
accepte la valeur 0. ((
Décrit le montant
Sans la foule
)
En conséquence, la valeur de l’intégrale ne change pas si la fonction est
change sur un zéro. Si une fonction a une propriété (continu, convergence, etc.) dans toute la plage de définition à l’exception d’une quantité de taille 0, il est dit que cette propriété existe presque partout . Dans la théorie de l’intégration de Lebesgue, il est souvent logique de faire deux fonctions qui correspondent presque partout même Pour regarder – vous les résumez en une classe d’équivalence (voir aussi L p ).
Il est souvent le cas que les fonctions qui ne sont définies que presque partout (par exemple les limes de méthodes ponctuelles d’une séquence de fonctions qui ne convergent que presque partout) apparaissent comme des fonctions dans toute la pièce et sans considération
écrit, même si
pas tout du tout
est défini. Cette procédure est justifiée par le fait que chaque continuation de
Seulement sur un zéro
depuis
distingue et donc l’intégrale de la suite de l’ensemble
a la même valeur que l’intégrale sur
.
Vous devez noter qu’une quantité nulle n’est que «petite» négligeable au sens de la mesure. Cependant, il peut également contenir un nombre infini d’éléments. Par exemple, le montant est
, la quantité de nombres rationnels en tant que sous-ensemble des nombres réels une quantité nul. La fonction Dirichlet
Donc, dans le sens ci-dessus, c’est la même que la fonction qui prend constamment la valeur zéro (fonction zéro), bien qu’il n’y ait pas un petit environnement dans lequel vos valeurs correspondent. Un bien connu surestimé (aussi
Significatif) La quantité vivante nul est la quantité de cantor.
L’intégrale est linéaire dans
(Espace des fonctions intégrables), d. H. Pour des fonctions intégrables
et
et n’importe quel
Est aussi
Intégrable et ce qui suit s’applique:
L’intégrale est monotone, i. H. sont
et
deux fonctions mesurables avec
Alors s’applique
- .
L’intégrale peut être séparée
Est
mesurable avec
Alors s’applique
L’un des avantages les plus importants de l’intégrale de Lebeegue est les très belles ensembles de convergence d’un point de vue mathématique. Cela affecte l’interchangeabilité de la valeur limite et intégralement en cas de fonctions de la forme
. Les phrases de convergence les plus importantes sont:
- Phrase de la convergence monotone (Beppo Levi, 1906)
- Est Une séquence monotone de fonctions non négatives et mesurables, donc:
- .
- Phrase de la convergence majeure (dominée) (Henri Léon Lebesgue, 1910)
- Converge la conséquence des fonctions mesurables -Fort partout contre la fonction mesurable et sont les fonctions , , montant -Fast partout à travers une fonction intégrable limité, alors s’applique:
-
- est intégrable,
- et
- Lemma von Fatou (Pierre Fatou, 1906)
- Sont , , fonctions mesurables non négatives, puis ce qui suit s’applique:
Dans le cas
Ce qui suit s’applique avec le gars de la vie: si une fonction peut être intégrée sur un intervalle compact Riemann-, il peut également être intégré de la vie. D’un autre côté, toutes les fonctions intégrables de Leesgue ne peuvent pas également être intégrées.
Cependant, une fonction mal intertwinable n’a pas à dans son ensemble Peut être intégré de la vie. Cependant, la limite correspondante des intégres de vie existe en fonction des remarques ci-dessus et offre la même valeur que pour l’intégrale de Riemann. Mais est
Riemann inévitablement intégré, alors
Même dans son ensemble intégré à la vie.
Il est facile de spécifier un exemple d’une fonction intégable inévitablement intégable de Riemann qui ne peut pas être intégrée de la vie.
Une fonction d’escalier avec les surfaces d’abord , -1/2 , 1/3 etc., alors c’est
Riemann inévitablement intégré. Parce que l’intégrale correspond à la ligne harmonieuse alternative. Étaient
Guy en direct intégré, alors
sont valides. Cependant, ce n’est pas le cas parce que la série harmonieuse est divergente. En conséquence, l’intégrale de Lebesgue correspondante existe pas . La situation est illustrée à la figure 2.
Ce qui est plus important, c’est le cas inverse d’une fonction intégrable de vie qui ne peut pas être intégrée à Riemann.
L’exemple le plus connu de ceci est la fonction Dirichlet:
Je ne peux pas être intégré à Riemann, car tous les examens sont toujours 0 et toutes les sommes supérieures sont toujours 1. Ici mais
La quantité de nombres rationnels, dans lesquels la quantité de nombres réels est une quantité de vie à tous, est la fonction Presque partout 0 . Ainsi, l’intégrale de Lebesgue existe et a la valeur 0.
La principale différence dans la procédure d’intégration selon Riemann ou Lebesgue est que l’intégrale de Riemann de la Zone de définition (Abscissa), cependant, dans l’intégrale de Lebesgue Quantité (Ordonnée) de la fonction. Les exemples ci-dessus peuvent déjà être constatés que cette différence peut être avérée cruciale.
Henri Lebesgue a dit à propos de la comparaison entre Riemann et Lebesgue Integral:
«Vous pouvez dire que dans l’approche de Riemann, vous vous comportez comme un marchand sans système, l’argent et les billets comptent dans l’ordre de la façon dont il les met en main; Pendant que nous agissons comme un marchand prudent qui dit:
- J’ai Pièces de monnaie à une couronne, fait ,
- J’ai Pièces de monnaie pour deux couronnes, fait ,
- J’ai Pièces de monnaie pour cinq couronnes, fait ,
etc., donc j’ai un total de
.
Les deux procédures conduisent certainement le marchand au même résultat parce que – aussi riche soit-il – il ne doit compter qu’un nombre fini de billets; Mais pour nous, que nous devons ajouter un nombre infini d’indivisible, la différence entre les deux procédures est essentielle. »
– Henri Lebesgue, 1926 : Après Jürgen Elstrodt
L’intégrale de Bochner représente une généralisation directe de l’intégrale de Lebesgue pour la digne de Banachraum.
- Jürgen Elstrodt: Théorie de la mesure et de l’intégration . Huitième édition élargie et mise à jour. Springer Spektrum, Berlin 2018, ISBN 978-3-662-57938-1, iv. The Lebesgue Integral, S. 135–177 , est ce que je: 10 1007 / 978-3-662-57939-8 .
- Walter Rudin: Analyse . 2., édition corrigée. Oldenbourg, Munich / Vienne 2002, ISBN 3-486-25810-9, 11. La théorie de Lebesguesch, S. 353–392 .
- Claus D. Schmidt: Mesure et probabilité . 2e, à travers l’édition. Springer, Berlin / Heidelberg 2011, ISBN 978-3-642-21025-9, 8. Lebesgue Integral, 9. Calcul de l’intégrale de Lebesgue, S. 109–190 , est ce que je: 10 1007 / 978-3-642-21026-6 .
- ↑ Olav Kallenberg: Fondements de la probabilité moderne (= Théorie des probabilités et modélisation stochastique . Groupe 99 ). 3. Édition. Springer, Cham 2021, ISBN 978-3-03061870-4, S. 21 , est ce que je: 10 1007 / 978-3-030-61871-1 .
Recent Comments