matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Hochschulmathe
  Status Uni-Analysis
    Status Reelle Analysis
    Status UKomplx
    Status Uni-Kompl. Analysis
    Status Differentialgl.
    Status Maß/Integrat-Theorie
    Status Funktionalanalysis
    Status Transformationen
    Status UAnaSon
  Status Uni-Lin. Algebra
    Status Abbildungen
    Status ULinAGS
    Status Matrizen
    Status Determinanten
    Status Eigenwerte
    Status Skalarprodukte
    Status Moduln/Vektorraum
    Status Sonstiges
  Status Algebra+Zahlentheo.
    Status Algebra
    Status Zahlentheorie
  Status Diskrete Mathematik
    Status Diskrete Optimierung
    Status Graphentheorie
    Status Operations Research
    Status Relationen
  Status Fachdidaktik
  Status Finanz+Versicherung
    Status Uni-Finanzmathematik
    Status Uni-Versicherungsmat
  Status Logik+Mengenlehre
    Status Logik
    Status Mengenlehre
  Status Numerik
    Status Lin. Gleich.-systeme
    Status Nichtlineare Gleich.
    Status Interpol.+Approx.
    Status Integr.+Differenz.
    Status Eigenwertprobleme
    Status DGL
  Status Uni-Stochastik
    Status Kombinatorik
    Status math. Statistik
    Status Statistik (Anwend.)
    Status stoch. Analysis
    Status stoch. Prozesse
    Status Wahrscheinlichkeitstheorie
  Status Topologie+Geometrie
  Status Uni-Sonstiges

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
Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenUni-AnalysisStetigkeit
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Deutsch • Englisch • Französisch • Latein • Spanisch • Russisch • Griechisch
Forum "Uni-Analysis" - Stetigkeit
Stetigkeit < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Stetigkeit: Aufgabe
Status: (Frage) reagiert/warte auf Reaktion Status 
Datum: 02:37 Do 13.01.2005
Autor: Sauerstoff

Hallo zusammen

$ I [mm] \subset \IR [/mm] $ sei ein nichtleeres Intervall, $ f : I [mm] \to \IR [/mm] $ und $ J = f(I) $. Prüfen Sie, ob folgende Aussagen richtig sind:

a) Sei f stetig, $ I $ und $ J $ seien Intervalle vom gleichen Typ. Dann ist f streng monoton.
b) Sei f streng monoton auf $ I $. Dann existiert eine Umkehrfunktion $ f^-1 : J [mm] \to [/mm] I $.
c) Sei f streng monoton. Dann sind $ I $ und $ J $ Intervalle vom gleichen Typ.
d) Es existiert eine stetige umkehrbare Funktion f mit $ [mm] I=\IR [/mm] $ und $ J=[0,1] $

a) Stimmt. Sonst f ist konstant, d.h. für alle $ x [mm] \in [/mm] I $ existiert ein $ c [mm] \in [/mm] J $ (wegen Stetigkeit) sodass $ f(x) = c $. Daraus folgt, dass $ J $ kein Intervall ist und besteht nur von ein Element, also $ J = [mm] \{c \} [/mm] $. Da $ I $ und $ J $ vom gleichen Typ sind, ist das ein Widerspruch!

Also, f ist streng monoton.

b) Stimmt. Da f streng monoton ist, ist für $ [mm] x_1 \not [/mm] = [mm] x_2 \Rightarrow f(x_1) \not [/mm] = [mm] f(x_2) [/mm] $, d.h. f ist injektiv(1-1).
   Jetzt möchte ich zeigen, dass f surjektiv ist. Sei $ y [mm] \in [/mm] J $. Zu Zeigen: $ [mm] \forall [/mm] y [mm] \in [/mm] J $  $ [mm] \exists [/mm] x [mm] \in [/mm] I $  sodass   $ f(x) = y $.
Wegen Stetigkeit nimmt f alle Elemente in $ J $ mindestens einmal. Deshalb existiert mindestens ein x in $ I $ sodass $ f(x) = y $.
Das heisst,  f ist injektiv und surjektiv, also bijektiv. Daraus folgt,  f ist streng monoton. $ [mm] \Rightarrow [/mm] $ existiert $ f^-1 $.

Bin ich auf dem richtigen Weg??
Hat jemand eine Idee oder eine Lösung für c) oder d) ?????

Danke im Voraus

Sauerstoff

        
Bezug
Stetigkeit: Antwort (teile)
Status: (Antwort) fertig Status 
Datum: 10:23 Do 13.01.2005
Autor: DaMenge

Hi Sauerstoff,

ich möchte nur mal klar stellen, ob ich es verstanden habe:
grundvorraussetzung ist: f ist eine funktion von I nach R und J ist f(I)
da steht noch nichts über die Stetigkeit von f !

zu a) ich verstehe nicht ganz, wie du von nicht-streng-monton auf konstant kommst - die Funktion könnte doch mal steigen und mal fallen...
Beispiel : Sinus im Intervall [0, $ [mm] 2*\pi [/mm] $]

zu b) hier wird nicht vorrausgesetzt, dass f stetig ist !! du benutzt es aber in deinem beweis, um zu zeigen, dass jedes Element aus J ein Urbild hat.
Dies ist aber offensichtlich, denn J=f(I) !
btw: das mit der Injektivität ist zwar simpel, aber ich würde die strenge Monotonie noch explizit mit einrechnen (für die armen Tutoren)

bei c) weiß ich nicht, was bei euch Intervalle vom gleichen Typ sind.
Beispiel : sind $ [0;1] $ und $ [ [mm] 0;1]\cup [/mm] [ 1;2] $ gleichen Typs ?
wenn nicht, kannst du einfach eine Gerade nehmen, die an einer Stelle unstetig ist und der zweite Teil nach oben verschoben wurde.

bei d) ist also ein Funktion f:R-> [0,1] gesucht, die stetig und bijektiv ist (Letzteres gibt es garantiert wegen Gleichmächtigkeit), aber stetig... hmm, da muss ich mal noch überlegen...

viele Grüße
DaMenge

Bezug
        
Bezug
Stetigkeit: "idee" zu d)
Status: (Antwort) fertig Status 
Datum: 14:13 Do 13.01.2005
Autor: andreas

hallo

eine kurze anmerkung zu d):
eine stetige, (stetig) umkehrbare funktion von [m] \mathbb{R} [/m] nach [m] [0,1] [/m] kann es aus topologischen gründen nicht geben, da das eine objekt offen, das andere aber abgeschlossen ist (in der  notation von sauersteoff wären das dann wohl intervalle verschiedenen typs) und diese eigenschaft unter homöomorphismen eine invariante ist!

grüße
andreas

Bezug
                
Bezug
Stetigkeit: Rückfrage
Status: (Frage) für Interessierte Status 
Datum: 02:15 Fr 14.01.2005
Autor: Sauerstoff

Hallo andreas

Danke für deine Hilfe aber ich habe genau nicht verstanden. Könntest du noch ausführlich erklären, wenn möglich?

Danke im Voraus

Sauerstoff

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Analysis"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.unimatheforum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]