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
StartseiteMatheForenStetigkeitStetigkeit 3
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Deutsch • Englisch • Französisch • Latein • Spanisch • Russisch • Griechisch
Forum "Stetigkeit" - Stetigkeit 3
Stetigkeit 3 < Stetigkeit < Funktionen < eindimensional < reell < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Stetigkeit"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Stetigkeit 3: Beweis
Status: (Frage) beantwortet Status 
Datum: 16:00 So 06.12.2009
Autor: firsttransfer

Hallo zusammen.

Es sei f:[a,b] [mm] \to \IR [/mm] stetig, und f habe einen 2-periodischen Punkt (das ist ein x [mm] \in [/mm] [a,b] mit f(x) [mm] \in [/mm] [a,b] und f(f(x))=x). Man zeige, dass f einen Fixpunkt hat.

Kann mir jemand einen ersten Tipp geben?

        
Bezug
Stetigkeit 3: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 16:16 So 06.12.2009
Autor: reverend

Hallo firsttransfer,

nur kurz (länger hier):

Wir erwarten hier eigene Lösungsansätze.

lg,
reverend

Bezug
        
Bezug
Stetigkeit 3: Antwort
Status: (Antwort) fertig Status 
Datum: 09:05 Mo 07.12.2009
Autor: fred97

Tipp: nimm an, f habe keinen Fixpunkt. Wegen der Stetigkeit von kannst du annehmen, dass dann

                   f(x) -x >0

ist für x [mm] \in [/mm] [a,b]

FRED

Bezug
                
Bezug
Stetigkeit 3: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 15:25 Mo 07.12.2009
Autor: firsttransfer

Kann ich die Aufgabe folgendermaßen beantworten:

Sei M:={x [mm] \in [/mm] [a,b] ; x [mm] \le [/mm] f(x) }. Wegen a [mm] \in [/mm] M ist M nicht leer. Wegen M [mm] \subset [/mm] [a,b] ist M beschränkt. Also existiert c:= sup M. Sicherlich c [mm] \in [/mm] [a,b] und daher auch f(c) [mm] \in [/mm] [a,b].

Beh.: c ist Fixpunkt von f, d.h. f(c)=c.

Annahme: f(c) > c. Dann existiert ein x mit a [mm] \le [/mm] c < x < f(c) [mm] \le [/mm] b. Da f monoton wächst, gilt f(c) [mm] \le [/mm] f(x), also x < f(x). Also ist auch x [mm] \in [/mm] M.
Widerspruch zu c= sup M.

Annahme: f(c) < c. Wegen c:= sup M gibt es ein x [mm] \in [/mm] M mit f(c) < x [mm] \le [/mm] c. Da x [mm] \in [/mm] M gilt x [mm] \le [/mm] f(x), also f(c) < f(x). Widerspruch zum monotonen Wachsen von f.

Nach dem Trichotomiegesetz muss also f(c) = c sein.

Fertig.

Geht das so?

Bezug
                        
Bezug
Stetigkeit 3: Antwort
Status: (Antwort) fertig Status 
Datum: 15:35 Mo 07.12.2009
Autor: fred97

Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

> Kann ich die Aufgabe folgendermaßen beantworten:
>  
> Sei M:={x [mm]\in[/mm] [a,b] ; x [mm]\le[/mm]Eingabefehler: "{" und "}" müssen immer paarweise auftreten, es wurde aber ein Teil ohne Entsprechung gefunden (siehe rote Markierung)

f(x) }. Wegen a [mm]\in[/mm] M ist M


Wieso ist f(a) [mm] \ge [/mm] a ???


> nicht leer. Wegen M [mm]\subset[/mm] [a,b] ist M beschränkt. Also
> existiert c:= sup M. Sicherlich c [mm]\in[/mm] [a,b] und daher auch
> f(c) [mm]\in[/mm] [a,b].


Wieso ist f(c) [mm]\in[/mm] [a,b] ?


>  
> Beh.: c ist Fixpunkt von f, d.h. f(c)=c.
>  
> Annahme: f(c) > c. Dann existiert ein x mit a [mm]\le[/mm] c < x <
> f(c) [mm]\le[/mm] b. Da f monoton wächst,


Wer sagt, dass f monoton wächst ?



>  gilt f(c) [mm]\le[/mm] f(x), also
> x < f(x). Also ist auch x [mm]\in[/mm] M.
>  Widerspruch zu c= sup M.
>  
> Annahme: f(c) < c. Wegen c:= sup M gibt es ein x [mm]\in[/mm] M mit
> f(c) < x [mm]\le[/mm] c. Da x [mm]\in[/mm] M gilt x [mm]\le[/mm] f(x), also f(c) <
> f(x). Widerspruch zum monotonen Wachsen von f.
>  
> Nach dem Trichotomiegesetz muss also f(c) = c sein.
>
> Fertig.
>  
> Geht das so?




nein und nochmal nein ! Meine Kritikpunkte: s.o.

Weiter hast Du die Vor. über einen 2 periodischen Punkt nicht verwendet.

So kann das nichts werden

FRED

Bezug
                                
Bezug
Stetigkeit 3: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 15:38 Mo 07.12.2009
Autor: firsttransfer

Leider war das meine einzige Idee. Wäre hier jemand bereit mir zur Lösung zu verhelfen?

Bezug
                                        
Bezug
Stetigkeit 3: Antwort
Status: (Antwort) fertig Status 
Datum: 15:46 Mo 07.12.2009
Autor: fred97

Du hast also ein [mm] x_0 \in [/mm] [a,b] mit

          [mm] f(x_0) \in [/mm] [a,b] und [mm] f(f(x_0)) [/mm] = [mm] x_0 [/mm]

Nimm mal an, f habe keinen Fixpunkt. Dann ist f(x) -x [mm] \not= [/mm] 0 für jedes x [mm] \in [/mm] [a,b]

Wegen der Stetigkeit von f können wir

                       (*)   f(x) -x >0 für jedes x [mm] \in [/mm] [a,b]

annehmen (ist Dir klar , warum ?)

In (*) setze mal [mm] x:=f(x_0) [/mm] und schau, dass Du zu einem Widerspruch kommst.

FRED

Bezug
                                                
Bezug
Stetigkeit 3: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 16:36 Mo 07.12.2009
Autor: firsttransfer

Mir ist leider nicht klar, wieso -x > 0 ist

Bezug
                                                        
Bezug
Stetigkeit 3: Antwort
Status: (Antwort) fertig Status 
Datum: 16:38 Mo 07.12.2009
Autor: fred97


> Mir ist leider nicht klar, wieso -x > 0 ist


Das hat auch niemand gesagt ! Es ist

             f(x)-x >0 für jedes x $ [mm] \in [/mm] $ [a,b]

Deutlicher:

            $ f(x) -x >0$ für jedes x $ [mm] \in [/mm] $ [a,b]

FRED

Bezug
                                                                
Bezug
Stetigkeit 3: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:01 Mo 07.12.2009
Autor: firsttransfer

Entschuldige bitte vielmals, aber ich verstehe überhaupt nicht, wieso f(x) - x > 0 sein muss

Bezug
                                                                        
Bezug
Stetigkeit 3: Antwort
Status: (Antwort) fertig Status 
Datum: 19:22 Mo 07.12.2009
Autor: angela.h.b.


> Entschuldige bitte vielmals, aber ich verstehe überhaupt
> nicht, wieso f(x) - x > 0 sein muss

Hallo,

was gilt denn, wenn f einen Fixpunkt hat? (Def. von "Fixpunkt"?)
Das solltest Du nun erstmal hinschreiben.

So, und wenn f nun keinen Fixpunkt hat?

Gruß v. Angela





Bezug
                                                                
Bezug
Stetigkeit 3: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 17:05 Mo 07.12.2009
Autor: firsttransfer

Ich soll ja x:= f(xo) in:

f(x)-x>0 einsetzen, daraus würde doch folgen:

f(f(x0)) > f(xo) oder?

Bezug
                                                                        
Bezug
Stetigkeit 3: Antwort
Status: (Antwort) fertig Status 
Datum: 19:25 Mo 07.12.2009
Autor: angela.h.b.


> Ich soll ja x:= f(xo) in:
>  
> f(x)-x>0 einsetzen, daraus würde doch folgen:
>  
> f(f(x0)) > f(xo) oder?

Hallo,

ja, richtig.

Und? Was machst Du mit dieser Information?

Gruß v. Angela


Bezug
                                                                
Bezug
Stetigkeit 3: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:53 Mo 07.12.2009
Autor: firsttransfer

Ist noch jemand da der mir helfen möchte?

Bezug
                                                                
Bezug
Stetigkeit 3: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 20:26 Mo 07.12.2009
Autor: firsttransfer

Kann ich es so abgeben?

Voraussetzung: h(x) = f(x) - g(x)
                          h(x) = 0

daraus folgt, dass h(x) stetig ist, denn f(x) und g(x) sind laut Vor. stetig.

Widerspruchsbeweis:

Annahme:   h(x) [mm] \not= [/mm] 0    und stetig
                   h(xo) = a         a > 0 für einen Punkt xo

                   Jede [mm] \varepsilon [/mm] - Umgebung enthält mindestens eine rationale
                   Zahl
                   Widerspruch zu h(x) = 0 für alle rationalen Zahlen x

Geht das?


Bezug
                                                                        
Bezug
Stetigkeit 3: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 21:22 Mo 07.12.2009
Autor: firsttransfer

wäre mein Widerspruch so in Ordnung?

Bezug
                                                                        
Bezug
Stetigkeit 3: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 22:01 Mo 07.12.2009
Autor: firsttransfer

Warum antwortet mir denn niemand?

Bezug
                                                                                
Bezug
Stetigkeit 3: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 22:15 Mo 07.12.2009
Autor: angela.h.b.

Hallo,

von "keiner antwortet" kann nach weniger als zwei Stunden wirklich nicht die Rede sein. Was soll die Drängelei?

Abgesehen davon: während Du dies fragtest, war ich doch längst am Schreiben einer Antwort, was Du am gelben Kästchen sehen konntest.

Gruß v. Angela



Bezug
                                                                        
Bezug
Stetigkeit 3: Antwort
Status: (Antwort) fertig Status 
Datum: 22:06 Mo 07.12.2009
Autor: angela.h.b.


> Kann ich es so abgeben?

Hallo,

abgeben kann man auch 'n zusammengefaltete Serviette, als Antwort auf die gestellte Aufgabe taugt das, was Du schreibst, nicht.
Genauer: ich entdecke so gut wie keinen Zusammenhang zu Deiner Aufgabe.

Das ist etwas schade, denn Fred hat Dir schon gesagt, wie man es machen kann, Du müßtest nun bloß noch alles zusammenfügen.
Du bist leider auch gar nicht auf meine zuvor gestellte Frage nach dem Fixpunkt eingegangen.

Also von vorn:

man hat eine stetige Funktion [mm] f:[a,b]\to \IR [/mm] mit der Eigenschaft, daß es ein [mm] x_0 \in [/mm] [a,b] gibt mit [mm] f(x_0)\in [/mm] [a,b] und  [mm] f(f(x_0))=x_0. [/mm]
Zeigen soll man, daß die Funktion einen Fixpunkt hat, dh., daß es ein [mm] x_f [/mm]  gibt mit ...

Beweis:
Angenommen die Funktion f hat keinen Fixpunkt,

d.h. für alle  [mm] x\in [/mm] [a,b] ist   [mm] f(x)\not=x [/mm]

Was folgt daraus für h(x):= f(x)-x  ?

Mit dem Argument, welches Du in Deinem "Beweis" auch bringst, ist h stetig.

Kann es passieren, daß [mm] h(x_1)>0 [/mm] und [mm] h(x_2)<0 [/mm] ? Wenn nein, warum nicht?

Also ist entweder h(x)>0 oder h(x)<0 für alle [mm] x\in [/mm] [a,b].

1.Fall: h(x)=f(x)-x>0

Und nun, wie bereits gesagt, setze [mm] x=f(x_0) [/mm]  ...

Was steht dann da? Entdeckst Du den Widerspruch?


2. Fall: h(x)<0 analog.

Gruß v. Angela













> Voraussetzung: h(x) = f(x) - g(x)



>                            h(x) = 0


> daraus folgt, dass h(x) stetig ist, denn f(x) und g(x) sind
> laut Vor. stetig.

Aha. Ich weiß zwar nach wie vor nicht, was g ist...

>  
> Widerspruchsbeweis:
>  
> Annahme:   h(x) [mm]\not=[/mm] 0    und stetig
>                     h(xo) = a         a > 0 für einen

> Punkt xo
>  
> Jede [mm]\varepsilon[/mm] - Umgebung enthält mindestens eine
> rationale
>                     Zahl
>                     Widerspruch zu h(x) = 0 für alle
> rationalen Zahlen x
>  
> Geht das?
>  


Bezug
                                                                                
Bezug
Stetigkeit 3: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 22:15 Mo 07.12.2009
Autor: firsttransfer

aus h(x) = f(x) - g(x) folgt, dass h(x)=0 ist

da f:[a,b] stetig ist, folgt:

f(x) - x > 0    x [mm] \in [/mm] [a,b]

setzt man dort nun x:= f(xo) ein, erhält man:

f(f(xo)) - f(xo) > 0

f(f(xo)) > f(xo)

Nehme ich nun an, dass f(xo) > xo ist, folgt daraus, dass

f(f(xo)) > xo ist.

Dies steht im Widerspruch zu der Voraussetzung:

f(f(x)) = x


Bezug
                                                                                        
Bezug
Stetigkeit 3: Antwort
Status: (Antwort) fertig Status 
Datum: 22:20 Mo 07.12.2009
Autor: angela.h.b.


> aus h(x) = f(x) - g(x) folgt, dass h(x)=0 ist

???


>  
> da f:[a,b] stetig ist, folgt:
>  
> f(x) - x > 0    x [mm]\in[/mm] [a,b]

Warum?

>  
> setzt man dort nun x:= f(xo) ein, erhält man:
>  
> f(f(xo)) - f(xo) > 0
>  
> f(f(xo)) > f(xo)
>  
> Nehme ich nun an, dass f(xo) > xo ist,

Woher kommt die Annahme?




> folgt daraus, dass
>  
> f(f(xo)) > xo ist.
>  
> Dies steht im Widerspruch zu der Voraussetzung:
>  
> f(f(x)) = x
>  


Um Klassen besser ist es jetzt.

Gruß v. Angela

Bezug
                                                                                                
Bezug
Stetigkeit 3: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 22:25 Mo 07.12.2009
Autor: firsttransfer

f(x) - x > o für x [mm] \in [/mm] [a,b], wegen der Stetigkeit von f- Laut Vor. ist f:[a,b] stetig.

f(xo) > xo, da f(x) - x > 0
                      f(x)      > x                 , für xo gilt dann:
                      f(xo)    > xo

Bezug
                                                                                                        
Bezug
Stetigkeit 3: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 22:57 Mo 07.12.2009
Autor: firsttransfer

Entschuldigt. Ich kenne mich hier noch nicht so aus. Und habe auch nicht gesehen, dass schon jemand geantwortet hatte. Wurde gar nicht angezeigt. Hoffe meine Antwort stimmt nun zur Aufgabe

Bezug
                                                                                                                
Bezug
Stetigkeit 3: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 23:29 Mo 07.12.2009
Autor: leduart

Hallo Alicia oder firsttransfer
offensichtlich schreibst du hier unter 2 namen und bringst dann deine verschiedenen fragen durcheinander. ich schlag vor du meldest einen Account ab.
Gruss leduart

Bezug
                                                                                                        
Bezug
Stetigkeit 3: Antwort
Status: (Antwort) fertig Status 
Datum: 06:04 Di 08.12.2009
Autor: angela.h.b.


> f(x) - x > o für x [mm]\in[/mm] [a,b], wegen der Stetigkeit von f-
> Laut Vor. ist f:[a,b] stetig.

Hallo,

das Argument ist der ZWS.

Es muß übrigens nicht  f(x) - x > 0 für alle x [mm]\in[/mm] [a,b] sein, das schreib ich ja in der Antwort, in der ich Dir den schönen Beweisrohling bereitgestellt hatte.

>  
> f(xo) > xo, da f(x) - x > 0
>                        f(x)      > x      

für alle x


>           , für
> xo gilt dann:
>                        f(xo)    > xo


Gruß v. Angela

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


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