परिभाषा 10.9विश्वविद्यालय गणित — स्नातक वर्ष 3 · अध्याय 10 — लेबेग समाकल
कोई मापनीयf:X→R (या C) समाकलनीय कहलाता है यदि ∫∣f∣dμ<∞ हो; तब ∫f=∫f+−∫f− (धनात्मक और ऋणात्मक भाग; सम्मिश्र स्थिति में वास्तविक और काल्पनिक भाग)। समाकल समाकलनीय फलनों पर रैखिक है (विघटित कीजिए और धनात्मक भागों को पुनः जोड़िए; सम्मिश्र स्थिति वास्तविक स्थिति तक सिमट जाती है) और ∫f≤∫∣f∣ को संतुष्ट करता है (वास्तविक स्थिति: ±∫f=∫(±f)≤∫∣f∣; सम्मिश्र स्थिति: समाकल को वास्तविक बनाने के लिए किसी इकाई-मापांक अचर से गुणा कीजिए)। कोई गुण लगभग सर्वत्र लागू होता है यदि वह केवल किसी μ-शून्य समुच्चय पर विफल हो; किसी शून्य समुच्चय पर f को बदलने से कोई समाकल नहीं बदलता (अंतर ∞⋅1N से प्रभावित है, जिसका समाकल 0 है)।
उदाहरण
उदाहरण 10.13
1Q कहीं भी संतत नहीं है: अतः रीमान-समाकलनीय नहीं — पर लेबेग की दृष्टि में तुच्छ: ∫1Qdλ=λ(Q)=0। टोमे का फलन (परिमेय qp पर q1, अन्यत्र 0) ठीक अपरिमेयों पर संतत है: अतः रीमान-समाकलनीय, और उसका समाकल 0 है। और अनुचित रीमान समाकल एक भिन्न धारणा हैं: ∫0∞xsinxdx∫0A की सीमा के रूप में अभिसरित होता है (सप्ताहांत समस्या उसे =2π परिकलित करती है), परंतु xsinx∈/L1((0,+∞)): निरपेक्ष समाकल हरात्मक श्रेणी की तरह अपसरित होता है (अभ्यास 10.6)। लेबेग का सिद्धांत सप्रतिबंध अभिसरण छोड़कर दृढ़ सीमा प्रमेय ले लेता है।
उदाहरण 10.16(गामा फलन)
t>0 के लिए मान लीजिए
Γ(t)=∫0+∞xt−1e−xdx.
यह समाकल अभिसरित होता है: 0 के निकट xt−1समाकलनीय है (t>0); और अनंत पर xt−1e−x≤Ce−x/2। खंडशः समाकलन ([ε,A] पर, फिर एकदिष्ट अभिसरण प्रमेय से सीमाएँ) कार्यकीय समीकरण Γ(t+1)=tΓ(t) दे देता है, जिससे Γ(n+1)=n!: अर्थात् क्रमगुणित का अंतर्वेशन। प्रत्येक [a,b]⊆(0,+∞) पर ∂t(xt−1e−x)=lnx⋅xt−1e−xसमाकलनीय∣lnx∣(xa−1+xb−1)e−x से प्रभावित है: अतः ΓC1 है, और आगमन से C∞, जिसमें Γ(k)(t)=∫0∞(lnx)kxt−1e−xdx। मान Γ(21)=π छद्म वेश में गाउसीय समाकल है (समस्या 10.1)।