www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Neuerdings beta neu
 Forum...
 vorwissen...
 vorkurse...
 Werkzeuge...
 Nachhilfevermittlung beta...
 Online-Spiele beta
 Suchen
 Verein...
 Impressum
Das Projekt
Server und Internetanbindung werden durch Spenden finanziert.
Organisiert wird das Projekt von unserem Koordinatorenteam.
Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.
Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".
Partnerseiten
Mathe-Seiten:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenIntegrationstheorieIntegr. unend., Fkt. endl. f ü
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Integrationstheorie" - Integr. unend., Fkt. endl. f ü
Integr. unend., Fkt. endl. f ü < Integrationstheorie < Maß/Integrat-Theorie < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Integrationstheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Integr. unend., Fkt. endl. f ü: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 09:35 Sa 20.09.2014
Autor: Herr_von_Omikron

Aufgabe
Geben Sie eine nichtnegative Borel-messbare Funktion [mm] f:[0,1]->\bar{\mathbb{R}}_+ [/mm] mit den folgenden Eigenschaften an:
[mm] f(x)<\infty [/mm] fast überall
Für jedes Intervall [mm] [a,b]\subseteq [/mm] [0,1] gilt: [mm] \int_{[a,b]}f(x)d\mu(x)=\infty, [/mm] wobei [mm] \mu [/mm] das Lebesgue-Maß bezeichnet.

Liebe Forenmitglieder,
ich habe Probleme mit der obigen Aufgabe. Habe bereits versucht, eine Funktion zu konstruieren, die auf den "verrücktesten" Nullmengen, die ich kenne (das sind [mm] \mathbb{Q} [/mm] und die Cantor-Menge, [mm] \infty [/mm] annimmt, es gelingt mir aber nicht, so eine Funktion zu konstruieren. Es liegt vielleicht daran, dass ich mir nicht vorstellen kann, wie soetwas funktionieren soll: Wie kann eine Funktion, die nur auf einer Nullmenge unendlich sein darf, unendliches Integral auf jedem Intervall haben?
Ich denke, dass eine dichte Teilmenge von [0,1], wie [mm] \mathbb{Q}\cap[0,1] [/mm] hier eine Rolle spielt, dass die Funktion auf dieser "verrückte" Werte annehmen muss, habe aber keine Idee, wie sie aussehen könnte.

Daher hoffe ich auf eure Hilfe.

Danke und liebe Grüße
Herr_von_Omikron

        
Bezug
Integr. unend., Fkt. endl. f ü: Antwort
Status: (Antwort) fertig Status 
Datum: 10:02 So 21.09.2014
Autor: Gonozal_IX

Hiho,

deine Gedanken gehen in eine völig falsche Richtung.
Wenn du die Funktion nur auf einer Nullmenge abänderst, ändert sich mal gar nichts am Wert des Integrals.
Das wird also nicht zielführend sein!

Gruß,
Gono.

Bezug
                
Bezug
Integr. unend., Fkt. endl. f ü: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 13:49 So 21.09.2014
Autor: Herr_von_Omikron

Hmm, stimmt natürlich, hast du/jemand anders dann einen anderen Gedankenanstoß?
Kann mir nämlich überhaupt nicht vorstellen, wie das Integral auf jedem Teilintervall unendlich werden kann...

Bezug
                        
Bezug
Integr. unend., Fkt. endl. f ü: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 14:27 Di 23.09.2014
Autor: Gonozal_IX

Hiho,

also ich habe eine grobe Vorstellung, wie das aussehen könnte/müsste, bekomm das aber nicht wirklich hin und stolpere immer wieder über die Eigenschaft "auf jedem Intervall".
Daher kannst du gerne mal die Lösung hier angeben, wenn du sie weißt.

Gruß,
Gono

Bezug
        
Bezug
Integr. unend., Fkt. endl. f ü: Antwort (fehlerhaft)
Status: (Antwort) fehlerhaft Status 
Datum: 21:43 Di 23.09.2014
Autor: Marcel

Hallo,

> Geben Sie eine nichtnegative Borel-messbare Funktion
> [mm]f:[0,1]->\bar{\mathbb{R}}_+[/mm] mit den folgenden Eigenschaften
> an:
>  [mm]f(x)<\infty[/mm] fast überall
>  Für jedes Intervall [mm][a,b]\subseteq[/mm] [0,1] gilt:
> [mm]\int_{[a,b]}f(x)d\mu(x)=\infty,[/mm] wobei [mm]\mu[/mm] das Lebesgue-Maß
> bezeichnet.
>  Liebe Forenmitglieder,
>  ich habe Probleme mit der obigen Aufgabe. Habe bereits
> versucht, eine Funktion zu konstruieren, die auf den
> "verrücktesten" Nullmengen, die ich kenne (das sind
> [mm]\mathbb{Q}[/mm] und die Cantor-Menge, [mm]\infty[/mm] annimmt, es gelingt
> mir aber nicht, so eine Funktion zu konstruieren. Es liegt
> vielleicht daran, dass ich mir nicht vorstellen kann, wie
> soetwas funktionieren soll: Wie kann eine Funktion, die nur
> auf einer Nullmenge unendlich sein darf, unendliches
> Integral auf jedem Intervall haben?
>  Ich denke, dass eine dichte Teilmenge von [0,1], wie
> [mm]\mathbb{Q}\cap[0,1][/mm] hier eine Rolle spielt, dass die
> Funktion auf dieser "verrückte" Werte annehmen muss, habe
> aber keine Idee, wie sie aussehen könnte.

ich hab' mir bzgl. der folgenden Funktion NOCH NIE Gedanken bzgl. der
Integrierbarkeit gemacht, aber vielleicht ist sie ja geeignet?

    []Satz 15.16

So rein vom Gefühl her glaube ich aber, selbst, wenn dieses komische Teil
das Gewünschte auch erfüllen sollte, dass es einfacher geht. Vielleicht fällt
mir noch was dazu ein, dann melde ich mich nochmal!

Gruß,
  Marcel

Bezug
                
Bezug
Integr. unend., Fkt. endl. f ü: Korrekturmitteilung
Status: (Korrektur) fundamentaler Fehler Status 
Datum: 00:04 Mi 24.09.2014
Autor: Gonozal_IX

Hallo Marcel,

deine Funktion kann keine Lösung sein, da f ganz sicher nicht stetig ist.

Wäre f stetig, so würde sie auf [0,1] ihr Maximum annehmen und damit:

[mm] $\int_{[a,b]} [/mm] f dx [mm] \le \int_{[0,1]} [/mm] f dx [mm] \le \int_{[0,1]} \max [/mm] f dx = [mm] \max [/mm] f < [mm] \infty$ [/mm]

Die gesuchte Funktion muss also auf jedem Intervall $[a,b] [mm] \subseteq [/mm] [0,1]$ unstetig sein und zwar an überabzählbar vielen Stellen.

Insbesondere muss f auf jedem Intervall $[a,b] [mm] \subseteq [/mm] [0,1]$ unbeschränkt sein.

Wie du siehst, alles nicht so leicht....

Gruß,
Gono

Bezug
                        
Bezug
Integr. unend., Fkt. endl. f ü: you're right ;-)
Status: (Korrektur) oberflächlich richtig Status 
Datum: 00:53 Mi 24.09.2014
Autor: Marcel

Hi Gono,

> Hallo Marcel,
>  
> deine Funktion kann keine Lösung sein, da f ganz sicher
> nicht stetig ist.

wie gesagt: Ich hatte noch nie drüber nachgedacht, ob diese Funktion
geeignet ist. Aber wenn man kurz drüber nachdenkt, dass die Funktion
aus Satz 15.6 zwar nirgends differenzierbar, wohl aber überall stetig ist
(achja, es steht ja sogar in der Aussage des Satzes mit drin ... da sieht
man mal, dass ich gerade mein Hirn auf Standby hatte), stimmt das, was
Du sagst natürlich:
Stetige Funktionen sind auf kompakten Mengen beschränkt, daraus folgt
sofort (für die nicht negative Funktion [mm] $f\,$ [/mm] der Aufgabe):

> Wäre f stetig, so würde sie auf [0,1] ihr Maximum
> annehmen und damit:
>  
> [mm]\int_{[a,b]} f dx \le \int_{[0,1]} f dx \le \int_{[0,1]} \max f dx = \max f < \infty[/mm]

[ok]
  

> Die gesuchte Funktion muss also auf jedem Intervall [mm][a,b] \subseteq [0,1][/mm]
> unstetig sein und zwar an überabzählbar vielen Stellen.

Damit haben wir schonmal eine notwendige Bedingung, auch, wenn sie
sich aus meiner falschen Antwort heraus ergab. Manchmal führt Unsinn
also doch zu gar nicht so schlechten Erkenntnissen, sofern denn der
Unsinn auch als solcher erkannt wird.
Daher Danke an Dich: Unsinn-Erkenner Gono. :-)
  

> Insbesondere muss f auf jedem Intervall [mm][a,b] \subseteq [0,1][/mm]
> unbeschränkt sein.
>  
> Wie du siehst, alles nicht so leicht....

Ne, wie gesagt: Mir war schon klar, dass mein Vorschlag auch unsinnig sein
könnte - deswegen hatte ich ja dazugeschrieben, dass ich noch nie drüber
nachgedacht habe (dabei hätte ein etwas genaueres Lesen schon gereicht,
um einzusehen, dass das nicht gehen kann ... sowas könnte man jetzt als
Prüfungsaufgabe mitnehmen, falls hier jemand Analysis prüfen darf und
noch ein paar (einfache) Fragen braucht ^^).

Gruß,
  Marcel

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Integrationstheorie"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]