Lite för enkelt bevis för jämförelsesatsen?
Hej
Detta är vårt bevis för jämförelsesatsen för generaliserade integraler:
Tycker satsen är jättelätt och väldigt logisk och kanske är det därför det känns som beviset inte visar något utan bara är en utarbetad version av satsen (vilket kanske alla bevis för satser är när jag tänker efter hehe).
Min fråga är egentligen hur detta kan räcka för att visa satsen? Vad är det för yttre koncept som används i beviset som gör att satsen stämmer?
Jag tror borde gå mot och inte mot oändligheten i beviset, eftersom bara gäller på .
Utöver elementära egenskaper hos integraler, så använder beviset den monotona konvergenssatsen för funktioner. Specifikt används den för att dra slutsatsen att växande + uppåt begränsad existerar.
Monotona konvergenssatsen för funktioner säger följande:
Låt vara växande på något intervall där vi tillåter att , eller båda är . Antag att är uppåt begränsad, och låt . Då konvergerar och
.
Denna sats följer från det som kallas least-upper-bound (LUB) property som de reella talen besitter. LUB säger att varje icke-tom delmängd som är uppåt begränsad (det existerar något tal sådant att för alla ) har en minsta sådan övre begränsning (least upper bound, eller supremum). Denna egenskap är en ekvivalent form av något som även kallas för completeness.
Ja, det hade blivit fel märkte jag nu. Borde R gå mot b eller b-, för ser några bevis som kör mot b-?
Vi gick faktiskt igenom majorant, minorant och intervallinkapslingssatsen den sista föreläsningen. Mest för att bevisa satsen om mellanliggande värden samt max- och min-satsen för kontinuerliga funktioner. Det var väl ganska spännande.
Jag vet inte om detta hjälper men det finns en sats som säger att en funktion är Riemannintegrerbar om och endast om det för varje existerar en partition sådan att översumman minus undersumman är strikt större än . Uttryckt symboliskt:
Jag vet inte hur ni har definierat integraler som objekt men denna sats kan vara rätt användbar och borde passa er definition (om ni har definierat integraler i termer av under- och översummor då).
Hur som helst kan man nog göra så här för kriterium nr. 2:
Antag att är konvergent. Då finns det enligt satsen för alla ett sådana att:
Eftersom så har vi att samt .
Sammantaget har vi då:
Eftersom det till höger om olikheten är mindre än måste det till vänster också vara det, alltså har vi:
Detta betyder att också är integrerbar över , alltså är också konvergent.
Jag tror att detta gäller även för generaliserade integraler, eftersom vi inte har sagt något om gränsen . Vi hade nog lika gärna kunnat slänga på ett gränsvärde nemas problemas. Som sagt bara en tanke.
EDIT: nu är jag rätt övertygad om att argumentet borde kunna förlängas till generaliserade integraler. Om vi jobbar på intervallet så kan vi säga att integrerbarhetskriteriet gäller för varje finit intervall [a,b]. Och om det gäller på varje finit intervall, oavsett val av , gäller det även då .
Ja, det går bra att låta vara oändligheten, och beviset blir i princip identiskt.
Men stämmer det verkligen att och medför ?
Generellt så medför ju inte , att .
Ja för vi har också att:
Men jag kanske tänker knasigt. Kan du försöka hitta värden på under- och översummorna som uppfyller dessa två kriterier och de andra kriterierna men där olikheten inte stämmer? Jag kan inte komma på något.
Lf = 1, Uf = 3,
Lg = 3, Ug = 4.
Då är
3 < 4 och
1 < 3, men
3 - 1 >? 4 - 3.
Jo, det har du rätt i. Det är någon liten detalj då som saknas. Är nästan spiksäker på att jag har sett ett liknande bevis innan.
Känns verkligen som epsilon-P-kriteriet borde gå att använda.
Jag tror problemet är att man inte kan välja värdena på över- och undersummorna helt godtyckligt som du gjorde i ditt exempel. Om vi väljer en extremt förfinad partition så kommer .
Om man vet att g är integrerbar på [a, b] och f är begränsad av g på intervallet, så räcker inte det för att dra slutsatsen att f är integrerbar. Jag tror vi behöver något ytterligare faktum.
Funktionen f skulle nämligen kunna vara Dirichlet funktionen som är 1 för rationella tal och 0 annars (som är ett klassiskt exempel på en icke Riemann-integrerbar funktion).
Men man måste väl få anta att funktionerna är riemannintegrerbara? Annars blir det ju lite svårt att bevisa jämförelsesatsen. Men jag fick en idé när jag var ute och spatserade. Låt säga att vi har kommit hit:
Då borde vi ju kunna skapa en partition , sådan att . I själva verket kommer de kunna komma godtyckligt nära varandra. I så fall kommer deras differens vara nästan noll. Det borde ju rimligtvis finnas någon serie partitioner av tillsammans med något som funkar. Och då har vi:
Nu borde denna olikhet gälla då differensen till vänster om olikhetstecknet kan göras godtyckligt liten, vilket innebär att vi kan garantera att differensen till höger kommer vara större.
Jag upplevde det som att ditt argument var att visa att f är integrerbar på intervallet och således att integralen konvergerade. Om du som i uppgiften antar att f är integrerbar på varje delintervall [c, d] av (a, b) så behöver du nog använda det någonstans i beviset.
Är det inte samma sak att säga att differensen U - L kan göras godtyckligt liten som att säga att funktionen är integrerbar? Vet inte om jag förstår ditt resonemang riktigt.
Har tyvärr inga bra idéer om hur man skulle kunna göra annorlunda, men jag håller med om att det borde gå att resonera på något liknande vis som du är inne på.
Gustor skrev:Ja, det går bra att låta vara oändligheten, och beviset blir i princip identiskt.
Men stämmer det verkligen att och medför ?
Generellt så medför ju inte , att .
Aa. Fick tag på lektionsanteckningarna och tydligen hade jag glömt att lägga till ”vi visar fallet [c, d] delmängd av [a, oändlighet)”. Då borde väl det inte vara ngt problem längre?
Gustor skrev:Jag upplevde det som att ditt argument var att visa att f är integrerbar på intervallet och således att integralen konvergerade. Om du som i uppgiften antar att f är integrerbar på varje delintervall [c, d] av (a, b) så behöver du nog använda det någonstans i beviset.
Japp, det har du helt rätt i. Jag missade det fullständigt. Jag trodde det man skulle visa var att var integrerbar om var integrerbar och , trodde inte man fick anta att redan var integrerbar.
Men i så fall fattar jag inte ens vad vi försöker bevisa i (ii). Det är ju trivialt sant. Att är integrerbar över varje delintervall betyder ju att den är konvergent. En funktion som divergerar är inte integrerbar.
Ja, men vi ska ju visa att f är integrerbar på (a,b), inte [c,d]. Eller från a till b, eller vad man nu säger.
Ja men om den är integrerbar på varje delintervall så måste den vara konvergent på . Eller jag tycker det känns så trivialt att jag inte fattar hur man ska visa det. Om det är sant på varje delintervall kan man låta och och voilà, proof by obviousness.
När menar du? Det beror ju på resten av förutsättningarna. Eller menar du att efter man skrivit att f är integrerbar efteråt inte kan säga att den är divergent som i 1an?
Det jag menar är att om är integrerbar på varje delintervall så betyder det redan där att den kommer vara konvergent. Det spelar ingen roll hur beter sig.
Det tror jag inte stämmer. Eftersom den uppenbarligen kan vara generaliserad i ändpunkterna a och b som inte inkluderas i [c, d].
Nej det har du helt rätt i. Herre gud vad jag har fel hela tiden idag 😭. Hjärnan fungerar inte.
Sorry att jag rörde till det i tråden.
naytte skrev:Nej det har du helt rätt i. Herre gud vad jag har fel hela tiden idag 😭. Hjärnan fungerar inte.
Sorry att jag rörde till det i tråden.
😊
Typ som för mig då hela tiden!
naytte skrev:Nej det har du helt rätt i. Herre gud vad jag har fel hela tiden idag 😭. Hjärnan fungerar inte.
Sorry att jag rörde till det i tråden.
Haha, kan relatera väl till denna känsla. Så var det näst intill varje dag på universitetet för mig. Men man lär sig mycket på att diskutera saker med andra.
Jag har funderat mer på detta och jag tror att jag har en ansats som är bättre än den förra:
Låt vara kontinuerliga funktioner och antag att är integrerbar på och att är integrerbar på alla stängda delintervall , samt att . Vi har då enligt vårt antagande om att är integrerbar att:
Vi har även att:
Vilket sammantaget ger:
Ur vårt antagande om integrerbarhet för har vi då:
Det är såklart sant att högerledet fortsätter vara mindre än vänsterledet om vi drar bort undersumman istället för att lägga till den:
Nu har jag inte kommit längre. Men det är nästan den formen vi vill ha. Det känns som det borde gå och sammanfatta talet till vänster om olikhetstecknet till ett tal och i så fall skulle man vara klar. Men jag vet inte. Vi har ju inte heller använt antagandet att är integrerbar på alla delintervall.
Tillägg: 30 okt 2024 18:18
EDIT: jag tror jag kom på hur man kan göra nu.
Om vi utgår från detta:
Så borde man kunna dra slutsatsen att för något positivt samt , för något , sådana att ?
Och då är vi väl klara?