396:
1277:
566:
682:
Lebesgue integration has the property that every function defined over a bounded interval with a
Riemann integral also has a Lebesgue integral, and for those functions the two integrals agree. Furthermore, every bounded function on a closed bounded interval has a Lebesgue integral and there are many
557:; his contributions to this field had a tremendous impact on the shape of the field today and his methods have become an essential part of modern analysis. These have important practical implications for fundamental physics of which Lebesgue would have been completely unaware, as noted below.
55:
491:
functions with his 1903 paper "Sur les séries trigonométriques". He presented three major theorems in this work: that a trigonometrical series representing a bounded function is a
Fourier series, that the n Fourier coefficient tends to zero (the
721:
is an even more general notion of integral (based on
Riemann's theory rather than Lebesgue's) that subsumes both Lebesgue integration and improper Riemann integration. However, the Henstock integral depends on specific ordering features of the
504:, this time on trigonometrical series and he went on to publish his lectures in another of the "Borel tracts". In this tract he once again treats the subject in its historical context. He expounds on Fourier series, Cantor-Riemann theory, the
617:, the latter being a way of measuring how quickly a function changed at any given point on the graph. This surprising relationship between two major geometric operations in calculus, differentiation and integration, is now known as the
297:
when
Lebesgue was still very young and his mother had to support him by herself. As he showed a remarkable talent for mathematics in primary school, one of his instructors arranged for community support to continue his education at the
321:, where he continued to focus his energy on the study of mathematics, graduating in 1897. After graduation he remained at the Ăcole Normale SupĂ©rieure for two years, working in the library, where he became aware of the research on
261:, which was a generalization of the 17th-century concept of integrationâsumming the area between an axis and the curve of a function defined for that axis. His theory was published originally in his dissertation
530:
Lebesgue once wrote, "Réduites à des théories générales, les mathématiques seraient une belle forme sans contenu." ("Reduced to general theories, mathematics would be a beautiful form without content.")
667:
of the function for his fundamental unit of area. Lebesgue's idea was to first define measure, for both sets and functions on those sets. He then proceeded to build the integral for what he called
105:
456:. The problem of integration regarded as the search for a primitive function is the keynote of the book. Lebesgue presents the problem of integration in its historical context, addressing
656:
of the areas of the rectangles at each stage. For some functions, however, the total area of these rectangles does not approach a single number. Thus, they have no
Riemann integral.
515:
In a 1910 paper, "Représentation trigonométrique approchée des fonctions satisfaisant a une condition de
Lipschitz" deals with the Fourier series of functions satisfying a
717:. The Lebesgue integral integrates many of these functions (always reproducing the same answer when it does), but not all of them. For functions on the real line, the
1365:
1117:
Borel's assertion that his integral was more general compared to
Lebesgue's integral was the cause of the dispute between Borel and Lebesgue in the pages of
1355:
395:
538:
generalizes
RiemannâStieltjes and Lebesgue integration, preserving the many advantages of the latter in a more general measure-theoretic framework.
429:
of minimum area with a given bound, and the final note gave the definition of
Lebesgue integration for some function f(x). Lebesgue's great thesis,
890:
621:. It has allowed mathematicians to calculate a broad class of integrals for the first time. However, unlike Archimedes' method, which was based on
1360:
1345:
1256:
1170:
659:
Lebesgue invented a new method of integration to solve this problem. Instead of using the areas of rectangles, which put the focus on the
433:, with the full account of this work, appeared in the Annali di Matematica in 1902. The first chapter develops the theory of measure (see
1320:
1213:
410:'s theorem on approximation to continuous functions by polynomials. Between March 1899 and April 1901 Lebesgue published six notes in
860:
698:
are functions that take a finite number of values, and each value is taken on a measurable set). Lebesgue's technique for turning a
800:
468:. Lebesgue presents six conditions which it is desirable that the integral should satisfy, the last of which is "If the sequence f
990:
1350:
1281:
805:
1335:
1079:
1054:
1020:
357:
from the
Sorbonne with the seminal thesis on "Integral, Length, Area", submitted with Borel, four years older, as advisor.
1370:
750:
605:, but this could be applied only in limited circumstances with a high degree of geometric symmetry. In the 17th century,
244:
810:
375:, being promoted to professor starting in 1919. In 1921 he left the Sorbonne to become professor of mathematics at the
1232:"Sur une dĂ©finition due Ă M. Borel (lettre Ă M. le Directeur des Annales Scientifiques de l'Ăcole Normale SupĂ©rieure)"
360:
Lebesgue married the sister of one of his fellow students, and he and his wife had two children, Suzanne and Jacques.
1110:
760:
437:). In the second chapter he defines the integral both geometrically and analytically. The next chapters expand the
618:
535:
461:
406:
Lebesgue's first paper was published in 1898 and was titled "Sur l'approximation des fonctions". It dealt with
553:
about whose integral was more general. However, these minor forays pale in comparison to his contributions to
1315:
968:
845:
820:
755:
318:
126:
1330:
1287:
740:
421:
to functions of two variables. The next five dealt with surfaces applicable to a plane, the area of skew
322:
154:
31:
17:
1325:
840:
835:
830:
780:
520:
493:
372:
417:
The first of these, unrelated to his development of Lebesgue integration, dealt with the extension of
379:, where he lectured and did research for the rest of his life. In 1922 he was elected a member of the
710:
1070:
Perrin, Louis (2004). "Henri Lebesgue: Renewer of Modern Analysis". In Le Lionnais, François (ed.).
995:
855:
602:
293:. His parents assembled at home a library that the young Henri was able to use. His father died of
985:
380:
815:
1046:
1040:
307:
1231:
1145:
594:
368:
190:
1188:
519:, with an evaluation of the order of magnitude of the remainder term. He also proves that the
299:
1340:
1096:
702:
into an integral generalises easily to many other situations, leading to the modern field of
699:
457:
441:
notes dealing with length, area and applicable surfaces. The final chapter deals mainly with
83:
1310:
1305:
885:
765:
709:
The Lebesgue integral is deficient in one respect. The Riemann integral generalises to the
575:
445:. This dissertation is considered to be one of the finest ever written by a mathematician.
442:
364:
329:, a recent graduate of the school. At the same time he started his graduate studies at the
258:
186:
140:
694:
from intervals to a very large class of sets, called measurable sets (so, more precisely,
501:
376:
303:
198:
8:
981:
825:
770:
637:
516:
481:
330:
266:
224:
194:
130:
326:
915:
907:
648:. To define this integral, one fills the area under the graph with smaller and smaller
622:
418:
1106:
1075:
1050:
1016:
919:
745:
718:
686:
As part of the development of Lebesgue integration, Lebesgue invented the concept of
660:
626:
610:
524:
509:
1246:
1203:
1160:
945:
899:
775:
687:
645:
641:
590:
542:
505:
476:(x) tends to the integral of f(x)." Lebesgue shows that his conditions lead to the
465:
426:
205:
144:
38:
1008:
714:
695:
668:
633:
585:
is a mathematical operation that corresponds to the informal idea of finding the
253:
228:
679:
of all the integrals of simple functions smaller than the function in question.
523:
is a best possible result for continuous functions, and gives some treatment to
1102:
795:
785:
703:
497:
477:
412:
346:
342:
338:
158:
550:
541:
During the course of his career, Lebesgue also made forays into the realms of
449:
367:, lecturing there until 1906, when he moved to the Faculty of Sciences of the
334:
210:
1299:
1013:
God created the integers: the mathematical breakthroughs that changed history
726:
and so does not generalise to allow integration in more general spaces (say,
554:
500:
is integrable term by term. In 1904-1905 Lebesgue lectured once again at the
434:
350:
964:
363:
After publishing his thesis, Lebesgue was offered in 1902 a position at the
903:
850:
606:
573:
This is a historical overview. For a technical mathematical treatment, see
488:
294:
257:; June 28, 1875 â July 26, 1941) was a French mathematician known for his
407:
286:
220:
176:
1251:
1208:
1165:
730:), while the Lebesgue integral extends to such spaces quite naturally.
672:
614:
598:
534:
In measure-theoretic analysis and related branches of mathematics, the
911:
675:
many values. Then he defined it for more complicated functions as the
950:
933:
723:
653:
649:
790:
727:
676:
664:
582:
546:
422:
278:
75:
683:
functions with a Lebesgue integral that have no Riemann integral.
349:. In 1899 he moved to a teaching position at the Lycée Central in
613:
discovered the idea that integration was intrinsically linked to
454:
Leçons sur l'intégration et la recherche des fonctions primitives
400:
Leçons sur l'integration et la recherche des fonctions primitives
290:
484:
and the analytical and geometrical definitions of the integral.
353:, while continuing work on his doctorate. In 1902 he earned his
1276:
691:
116:
54:
1146:"Remarques sur les théories de la mesure et de l'intégration"
384:
311:
101:
1095:
Pesin, Ivan N. (2014). Birnbaum, Z. W.; Lukacs, E. (eds.).
586:
282:
79:
1074:. Vol. 1 (2nd ed.). Courier Dover Publications.
934:"Prizes Awarded by the Paris Academy of Sciences for 1914"
644:
followed up on this by formalizing what is now called the
569:
Approximation of the Riemann integral by rectangular areas
565:
713:
to measure functions whose domain of definition is not a
354:
1288:
Henri LĂ©on Lebesgue (28 juin 1875 - 26 juillet 1941 )
448:
His lectures from 1902 to 1903 were collected into a "
1239:
Annales Scientifiques de l'Ăcole Normale SupĂ©rieure
1196:
Annales Scientifiques de l'Ăcole Normale SupĂ©rieure
1153:
Annales Scientifiques de l'Ăcole Normale SupĂ©rieure
597:. The first theory of integration was developed by
560:
625:, mathematicians felt that Newton's and Leibniz's
472:(x) increases to the limit f(x), the integral of f
979:
37:Not to be confused with the French palaeographer
1297:
891:Obituary Notices of Fellows of the Royal Society
371:. In 1910 Lebesgue moved to the Sorbonne as a
1366:Academic staff of the University of Poitiers
277:Henri Lebesgue was born on 28 June 1875 in
53:
1356:Members of the French Academy of Sciences
1250:
1207:
1189:"L'intégration des fonctions non bornées"
1164:
1098:Classical and Modern Integration Theories
1034:
1032:
949:
861:List of things named after Henri Lebesgue
601:in the 3rd century BC with his method of
383:. Henri Lebesgue died on 26 July 1941 in
1229:
1143:
663:of the function, Lebesgue looked at the
564:
394:
1038:
1007:
991:MacTutor History of Mathematics Archive
884:
14:
1298:
1072:Great Currents of Mathematical Thought
1069:
1029:
1001:
671:; measurable functions that take only
390:
317:In 1894, Lebesgue was accepted at the
1186:
1094:
1063:
888:(1944). "Henri Lebesgue. 1875-1941".
880:
878:
876:
801:Lebesgue's universal covering problem
252:
1361:Foreign members of the Royal Society
629:did not have a rigorous foundation.
1015:. Running Press. pp. 1041â87.
24:
1321:20th-century French mathematicians
873:
806:LebesgueâRokhlin probability space
549:. He also had a disagreement with
265:("Integral, length, area") at the
25:
1382:
1269:
944:(2358): 518â519. 7 January 1915.
1275:
1262:from the original on 2009-09-16.
1219:from the original on 2014-08-05.
1176:from the original on 2009-09-16.
1045:. Infobase Publishing. pp.
761:Lebesgue differentiation theorem
751:Lebesgue's decomposition theorem
561:Lebesgue's theory of integration
272:
1346:Ăcole Normale SupĂ©rieure alumni
1223:
1180:
619:Fundamental Theorem of Calculus
1137:
1088:
973:
958:
926:
811:LebesgueâStieltjes integration
462:Peter Gustav Lejeune Dirichlet
13:
1:
1119:Annales de l'Ăcole SupĂ©rieure
969:Mathematics Genealogy Project
867:
846:Dominated convergence theorem
30:For the number theorist, see
1336:French mathematical analysts
690:, which extends the idea of
289:and his mother was a school
7:
1351:Lycée Louis-le-Grand alumni
741:Lebesgue covering dimension
733:
652:and takes the limit of the
536:LebesgueâStieltjes integral
155:Fellow of the Royal Society
10:
1387:
1371:University of Paris alumni
756:Lebesgue's density theorem
572:
285:. Lebesgue's father was a
36:
29:
821:BlaschkeâLebesgue theorem
711:improper Riemann integral
611:Gottfried Wilhelm Leibniz
431:Intégrale, longueur, aire
337:'s work on the incipient
333:, where he learned about
263:Intégrale, longueur, aire
234:
216:
204:
182:
172:
165:
150:
136:
122:
112:
90:
61:
52:
45:
1230:Lebesgue, Henri (1920).
1144:Lebesgue, Henri (1918).
1042:A to Z of mathematicians
1039:McElroy, Tucker (2005).
996:University of St Andrews
856:Tietze extension theorem
636:developed epsilon-delta
319:Ăcole Normale SupĂ©rieure
127:Ăcole Normale SupĂ©rieure
816:LebesgueâVitali theorem
781:Lebesgue's number lemma
254:[ÉÌÊileÉÌlÉbÉÉĄ]
904:10.1098/rsbm.1944.0001
841:WalshâLebesgue theorem
836:RiemannâLebesgue lemma
831:FatouâLebesgue theorem
826:BorelâLebesgue theorem
570:
521:RiemannâLebesgue lemma
494:RiemannâLebesgue lemma
403:
369:University of Poitiers
191:University of Poitiers
32:Victor-Amédée Lebesgue
1187:Borel, Ămile (1919).
632:In the 19th century,
568:
458:Augustin-Louis Cauchy
398:
381:Académie des Sciences
373:maßtre de conférences
325:done at that time by
259:theory of integration
1316:People from Beauvais
1284:at Wikimedia Commons
982:Robertson, Edmund F.
766:Lebesgue integration
576:Lebesgue integration
482:measurable functions
365:University of Rennes
308:Lycée Louis-le-Grand
187:University of Rennes
141:Lebesgue integration
27:French mathematician
1331:Functional analysts
1282:Henri-LĂ©on Lebesgue
1009:Hawking, Stephen W.
980:O'Connor, John J.;
517:Lipschitz condition
391:Mathematical career
300:CollĂšge de Beauvais
267:University of Nancy
241:Henri LĂ©on Lebesgue
225:Zygmunt Janiszewski
195:University of Paris
131:University of Paris
1252:10.24033/asens.725
1209:10.24033/asens.713
1166:10.24033/asens.707
746:Lebesgue constants
623:Euclidean geometry
571:
525:Lebesgue constants
487:He turned next to
404:
1326:Measure theorists
1280:Media related to
1081:978-0-486-49578-1
1056:978-0-8160-5338-4
1022:978-0-7624-1922-7
719:Henstock integral
677:least upper bound
627:integral calculus
510:Dirichlet problem
502:CollĂšge de France
478:theory of measure
443:Plateau's problem
427:surface integrals
377:CollĂšge de France
304:Lycée Saint-Louis
238:
237:
217:Doctoral students
199:CollĂšge de France
167:Scientific career
16:(Redirected from
1378:
1292:
1279:
1264:
1263:
1261:
1254:
1236:
1227:
1221:
1220:
1218:
1211:
1193:
1184:
1178:
1177:
1175:
1168:
1150:
1141:
1135:
1134:
1092:
1086:
1085:
1067:
1061:
1060:
1036:
1027:
1026:
1005:
999:
998:
986:"Henri Lebesgue"
977:
971:
962:
956:
955:
953:
951:10.1038/094518a0
930:
924:
923:
882:
776:Lebesgue measure
771:Lebesgue's lemma
696:simple functions
669:simple functions
646:Riemann integral
642:Bernhard Riemann
543:complex analysis
506:Poisson integral
466:Bernhard Riemann
327:René-Louis Baire
256:
251:
247:
206:Doctoral advisor
145:Lebesgue measure
97:
71:
69:
57:
43:
42:
21:
1386:
1385:
1381:
1380:
1379:
1377:
1376:
1375:
1296:
1295:
1290:
1272:
1267:
1259:
1234:
1228:
1224:
1216:
1191:
1185:
1181:
1173:
1148:
1142:
1138:
1113:
1093:
1089:
1082:
1068:
1064:
1057:
1037:
1030:
1023:
1006:
1002:
978:
974:
963:
959:
932:
931:
927:
898:(13): 483â490.
883:
874:
870:
865:
736:
715:closed interval
634:Augustin Cauchy
615:differentiation
580:
563:
475:
471:
419:Baire's theorem
393:
345:'s work on the
275:
249:
243:
229:Georges de Rham
227:
223:
197:
193:
189:
157:
143:
129:
123:Alma mater
108:
99:
95:
86:
73:
67:
65:
48:
41:
35:
28:
23:
22:
15:
12:
11:
5:
1384:
1374:
1373:
1368:
1363:
1358:
1353:
1348:
1343:
1338:
1333:
1328:
1323:
1318:
1313:
1308:
1294:
1293:
1285:
1271:
1270:External links
1268:
1266:
1265:
1222:
1179:
1136:
1111:
1105:. p. 94.
1103:Academic Press
1087:
1080:
1062:
1055:
1028:
1021:
1000:
972:
965:Henri Lebesgue
957:
925:
886:Burkill, J. C.
871:
869:
866:
864:
863:
858:
853:
848:
843:
838:
833:
828:
823:
818:
813:
808:
803:
798:
796:Lebesgue spine
793:
791:Lebesgue space
788:
786:Lebesgue point
783:
778:
773:
768:
763:
758:
753:
748:
743:
737:
735:
732:
704:measure theory
562:
559:
498:Fourier series
496:), and that a
473:
469:
439:Comptes Rendus
413:Comptes Rendus
392:
389:
347:Jordan measure
343:Camille Jordan
339:measure theory
274:
271:
236:
235:
232:
231:
218:
214:
213:
208:
202:
201:
184:
180:
179:
174:
170:
169:
163:
162:
159:Poncelet Prize
152:
148:
147:
138:
137:Known for
134:
133:
124:
120:
119:
114:
110:
109:
100:
98:(aged 66)
92:
88:
87:
74:
63:
59:
58:
50:
49:
47:Henri Lebesgue
46:
26:
9:
6:
4:
3:
2:
1383:
1372:
1369:
1367:
1364:
1362:
1359:
1357:
1354:
1352:
1349:
1347:
1344:
1342:
1339:
1337:
1334:
1332:
1329:
1327:
1324:
1322:
1319:
1317:
1314:
1312:
1309:
1307:
1304:
1303:
1301:
1289:
1286:
1283:
1278:
1274:
1273:
1258:
1253:
1248:
1244:
1240:
1233:
1226:
1215:
1210:
1205:
1201:
1197:
1190:
1183:
1172:
1167:
1162:
1158:
1154:
1147:
1140:
1133:
1131:
1127:
1123:
1120:
1114:
1112:9781483268699
1108:
1104:
1100:
1099:
1091:
1083:
1077:
1073:
1066:
1058:
1052:
1048:
1044:
1043:
1035:
1033:
1024:
1018:
1014:
1010:
1004:
997:
993:
992:
987:
983:
976:
970:
966:
961:
952:
947:
943:
939:
935:
929:
921:
917:
913:
909:
905:
901:
897:
893:
892:
887:
881:
879:
877:
872:
862:
859:
857:
854:
852:
849:
847:
844:
842:
839:
837:
834:
832:
829:
827:
824:
822:
819:
817:
814:
812:
809:
807:
804:
802:
799:
797:
794:
792:
789:
787:
784:
782:
779:
777:
774:
772:
769:
767:
764:
762:
759:
757:
754:
752:
749:
747:
744:
742:
739:
738:
731:
729:
725:
720:
716:
712:
707:
705:
701:
697:
693:
689:
684:
680:
678:
674:
670:
666:
662:
657:
655:
651:
647:
643:
639:
635:
630:
628:
624:
620:
616:
612:
608:
604:
600:
596:
592:
588:
584:
578:
577:
567:
558:
556:
555:real analysis
552:
548:
544:
539:
537:
532:
528:
526:
522:
518:
513:
511:
507:
503:
499:
495:
490:
489:trigonometric
485:
483:
479:
467:
463:
459:
455:
451:
446:
444:
440:
436:
435:Borel measure
432:
428:
424:
420:
416:
414:
409:
401:
397:
388:
386:
382:
378:
374:
370:
366:
361:
358:
356:
352:
348:
344:
340:
336:
332:
328:
324:
323:discontinuity
320:
315:
313:
309:
305:
301:
296:
292:
288:
284:
280:
273:Personal life
270:
269:during 1902.
268:
264:
260:
255:
246:
242:
233:
230:
226:
222:
219:
215:
212:
209:
207:
203:
200:
196:
192:
188:
185:
181:
178:
175:
171:
168:
164:
160:
156:
153:
149:
146:
142:
139:
135:
132:
128:
125:
121:
118:
115:
111:
107:
103:
94:July 26, 1941
93:
89:
85:
81:
77:
72:June 28, 1875
64:
60:
56:
51:
44:
40:
39:Henri LebĂšgue
33:
19:
1341:Intuitionism
1242:
1238:
1225:
1199:
1195:
1182:
1156:
1152:
1139:
1129:
1125:
1121:
1118:
1116:
1097:
1090:
1071:
1065:
1041:
1012:
1003:
989:
975:
960:
941:
937:
928:
895:
889:
851:Osgood curve
708:
685:
681:
658:
631:
607:Isaac Newton
581:
574:
540:
533:
529:
514:
486:
453:
447:
438:
430:
411:
405:
399:
362:
359:
316:
302:and then at
295:tuberculosis
276:
262:
240:
239:
183:Institutions
166:
96:(1941-07-26)
1311:1941 deaths
1306:1875 births
1291:(in French)
1245:: 255â257.
1159:: 191â250.
603:quadratures
583:Integration
551:Ămile Borel
408:Weierstrass
335:Ămile Borel
221:Paul Montel
211:Ămile Borel
177:Mathematics
113:Nationality
18:H. Lebesgue
1300:Categories
868:References
650:rectangles
599:Archimedes
589:under the
287:typesetter
68:1875-06-28
1202:: 71â92.
920:122854745
728:manifolds
724:real line
1257:Archived
1214:Archived
1171:Archived
1128:(1919),
1124:(1918),
1011:(2005).
734:See also
673:finitely
665:codomain
595:function
547:topology
508:and the
423:polygons
331:Sorbonne
279:Beauvais
245:ForMemRS
161:for 1914
76:Beauvais
967:at the
700:measure
688:measure
452:tract"
291:teacher
250:French:
1132:(1920)
1109:
1078:
1053:
1019:
938:Nature
918:
912:768841
910:
692:length
661:domain
640:, and
638:limits
464:, and
402:, 1904
173:Fields
151:Awards
117:French
106:France
84:France
1260:(PDF)
1235:(PDF)
1217:(PDF)
1192:(PDF)
1174:(PDF)
1149:(PDF)
916:S2CID
908:JSTOR
593:of a
591:graph
450:Borel
385:Paris
351:Nancy
312:Paris
102:Paris
1107:ISBN
1076:ISBN
1051:ISBN
1017:ISBN
654:sums
609:and
587:area
545:and
480:and
341:and
306:and
283:Oise
91:Died
80:Oise
62:Born
1247:doi
1204:doi
1161:doi
1047:164
946:doi
900:doi
355:PhD
310:in
1302::
1255:.
1243:37
1241:.
1237:.
1212:.
1200:36
1198:.
1194:.
1169:.
1157:35
1155:.
1151:.
1130:37
1126:36
1122:35
1115:.
1101:.
1049:.
1031:^
994:,
988:,
984:,
942:94
940:.
936:.
914:.
906:.
894:.
875:^
706:.
527:.
512:.
460:,
425:,
387:.
314:.
281:,
104:,
82:,
78:,
1249::
1206::
1163::
1084:.
1059:.
1025:.
954:.
948::
922:.
902::
896:4
579:.
474:n
470:n
415:.
248:(
70:)
66:(
34:.
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.