Existenz der Umkehrfunktion

06.08.2007, 01:45

Theodor

Existenz der Umkehrfunktion

Hallo, folgende Frage habe ich:

Wann ex. genau eine Umkehrabbildung?

Sei f: I -> IR diffbar und f´(x) ungleich 0 für alle x aus I.

Warum ex. hier eine Umkehrabbildung?
- Injektivtät hab ich. (indirekt über MWS)
- Surjektiv (sehe ich nicht), bei abgeschlossenen Intervall I hätte ich Surjektivität (wegen dem Zwischenwertsatz). Was ist bei halboffnen I etc...(kann man den ZWS übertragen?)
- Stetigkeit hab ich (dank diffbarkeit)

Theo

06.08.2007, 10:02

system-agent

Auf diesen Beitrag antworten »

eine umkehrfunktion existiert genau dann, wenn die funktion bijektiv ist, das heisst also injektiv und surjektiv.
injektivität ist klar, folgt auch schon aus der stetigkeit und der nichtverschwindenden ableitung.
was die surjektivität angeht, das würde ich einschränken. nimm zb. $\begin{eqnarray*} f:\,\mathbb R_+\to\mathbb R \end{eqnarray*}$ mit $\begin{eqnarray*} f(x)=x^2 \end{eqnarray*}$ ist nicht surjektiv, aber die definition für $\begin{eqnarray*} f:\,\mathbb R_+\to\mathbb R_+ \end{eqnarray*}$ schon.
wenn du sagst für $\begin{eqnarray*} f:\, I\to R \end{eqnarray*}$ mit $\begin{eqnarray*} R=f(I) \end{eqnarray*}$ , dann existiert auf jeden fall eine

06.08.2007, 10:27

mylittlehelper

Auf diesen Beitrag antworten »

Wenn $\begin{eqnarray*} f'(x)\neq 0 \end{eqnarray*}$ heißt das, dass die Funktion $\begin{eqnarray*} f \end{eqnarray*}$ im Intervall $\begin{eqnarray*} I \end{eqnarray*}$ an keiner Stelle den Anstieg $\begin{eqnarray*} 0 \end{eqnarray*}$ hat. Dies bedeutet, dass die Funktion entweder streng monoton fallend oder steigend ist. Das wäre die Injektivität mal ausgeführt.

Ich dachte zuerst über die strenge Monotonie ließe sich auch die Surjektivität zeigen, allerdings kann man - falls das Intervall nicht groß genug ist - immer Werte aus $\begin{eqnarray*} \mathbb{R} \end{eqnarray*}$ finden, die keinen entsprechenden Funktionswert besitzen. Daher ist die obige Einschränkung korrekt.

06.08.2007, 10:32

tigerbine

Auf diesen Beitrag antworten »

Ohne weitere Eigenschaften zu benutzen, eigentlich doch noch nichts. Ich stelle mir gerade z.B. die Sägezahnfunktion vor. verwirrt

http://upload.wikimedia.org/wikipedia/commons/5/59/Kippschwingung.jpg

Auf was wolltest Du denn raus?

Gruß,
tigerbine Wink

06.08.2007, 10:54

WebFritzi

Auf diesen Beitrag antworten »

Sei mal I = [-1,1]. Kann jetzt nicht f' unstetig sein, so dass

$\begin{eqnarray*} f'(x) \begin{cases}< 0&\text{für }x < 0\\ > 0&\text{für }x>0\end{cases} \end{eqnarray*}$

??? Es war ja nicht die Rede von stetiger Diffbarkeit.

06.08.2007, 11:11

mylittlehelper

Auf diesen Beitrag antworten »

Zitat:

Original von WebFritzi
Es war ja nicht die Rede von stetiger Diffbarkeit.

Guter Punkt. Ich war automatisch davon ausgegangen, dass $\begin{eqnarray*} f\in C^1(I) \end{eqnarray*}$ ist, was natürlich nicht sein muss.

Wenn Sie nicht stetig ableitbar ist, haben wir nur die Stetigkeit, was - siehe auch Fall der Sägezahnfunktion - keinesfalls auf die Umkehrbarkeit schließen lässt.

06.08.2007, 11:11

Leopold

Auf diesen Beitrag antworten »

Ich kann mich jetzt schwer täuschen, aber ich glaube, daß für eine in einer Umgebung von $\begin{eqnarray*} 0 \end{eqnarray*}$ differenzierbare Funktion $\begin{eqnarray*} f \end{eqnarray*}$ mit

$\begin{eqnarray*} f'(x) < 0 \ \ \mbox{für} \ x < 0 \ \ \text{und} \ \ f'(x) > 0 \ \ \mbox{für} \ x > 0 \end{eqnarray*}$

automatisch $\begin{eqnarray*} f'(0) = 0 \end{eqnarray*}$ folgt. Ich glaube, daß Ableitungsfunktionen mit Unstetigkeitsstellen in einer Umgebung der Unstetigkeitsstelle oszillieren müssen. Ich glaube - ich glaube ... verwirrt

Aber ich lasse mich gerne durch ein Gegenbeispiel eines Besseren belehren.

06.08.2007, 11:15

Theodor

Auf diesen Beitrag antworten »

Hi,

Hatte, das gestern von meiner Mitschrift aufgeschrieben, im Skript fand ich das so: I, I_1 Intervalle in IR.
$\begin{eqnarray*} f: I_1 -> I \end{eqnarray*}$ . Rest wie sonst.

Surjektivität ist mir noch nicht in allen Fällen klar (hab unten 9 Fälle aufgeschrieben, wie das Intervall aussehen könnte)

Fall 1) klar:

ist $\begin{eqnarray*} I_1 = [a,b] \end{eqnarray*}$ so folgt mit der Stetigkeit, das f sein Max. und sein Min., sowie alle Werte dazwischen annimmt (Zwischenwertsatz), d.h. f ist surjektiv auf [inf f, sup f] = I

Vll ein Ansatz für Fall2)
Fall 2) Sei e>0 gewählt. Betrachte: $\begin{eqnarray*} [a+e, b-e] \end{eqnarray*}$ + Zwischenwertsatz => $\begin{eqnarray*} f: [a+e, b-e] -> I, I = f([a+e, b-e]) = [m,M] \end{eqnarray*}$
e immer kleiner werden lassen....naja auf welches Intervall komm ich dann?

$\begin{eqnarray*} 1)[a,b] \end{eqnarray*}$
$\begin{eqnarray*} 2)(a,b) \end{eqnarray*}$
$\begin{eqnarray*} 3)[a,b) \end{eqnarray*}$
$\begin{eqnarray*} 4)(a,b] \end{eqnarray*}$
$\begin{eqnarray*} 5)[a,\infty) \end{eqnarray*}$
$\begin{eqnarray*} 6)(a,\infty) \end{eqnarray*}$
$\begin{eqnarray*} 7)(- \infty,b] \end{eqnarray*}$
$\begin{eqnarray*} 8)(- \infty ,b) \end{eqnarray*}$
$\begin{eqnarray*} 9)(-\infty, \infty) \end{eqnarray*}$

Theo

06.08.2007, 11:33

tigerbine

Auf diesen Beitrag antworten »

Stetig ist die S-Funktion doch nicht verwirrt

Ich wollte mit dem Beispiel eigentlich nur provozieren, dass Du deine Folgerungen mehr untermauerst. Und mit

Zitat:

Ich war automatisch davon ausgegangen, dass $\begin{eqnarray*} f\in C^1(I) \end{eqnarray*}$ ist, was natürlich nicht sein muss.

Lag mein Bauchgefühl wohl richtig, wenn auch das Beispie nicht ganz sauber ist Augenzwinkern

.

Die hier gegebene Funktion f ist auf dem Intervall I differenzierbar. Daher folgt daraus, dass sie auf I auch stetig ist.

Es wird aber keinerlei Aussage über die Stetigkeit der Ableitung getroffen. wir wissen nur, dass sie auf ganz I von 0 verschieden ist.

Als Beispiel für die nicht stetige Differenzierbarkeit fällt mir gerade nur der "Klassiker" ein, der auch auf Wikipedia steht.

http://de.wikipedia.org/wiki/Differentia...erbare_Funktion

Dort sind nun aber die Ableitung auch Null. Vielleicht helfen WebFritzi und/oder Leopold hier mal mit einem Beispiel aus? Mit Zunge

06.08.2007, 11:45

Leopold

Auf diesen Beitrag antworten »

Ich greife das von WebFritzi geschilderte Problem noch einmal auf und behaupte:

Ist $\begin{eqnarray*} f \end{eqnarray*}$ in einer Umgebung von $\begin{eqnarray*} 0 \end{eqnarray*}$ differenzierbar und gilt

$\begin{eqnarray*} f'(x) < 0 \ \ \mbox{für} \ x < 0 \ \ \ \text{und} \ \ \ f'(x) > 0 \ \ \mbox{für} \ x > 0 \end{eqnarray*}$

dann ist $\begin{eqnarray*} f'(0) = 0 \end{eqnarray*}$ .

Für den Beweis nehme ich ohne Beschränkung der Allgemeinheit noch $\begin{eqnarray*} f(0) = 0 \end{eqnarray*}$ an (Verschiebung des Graphen in $\begin{eqnarray*} y \end{eqnarray*}$ -Richtung ändert $\begin{eqnarray*} f' \end{eqnarray*}$ nicht). Nach Voraussetzung existiert $\begin{eqnarray*} f'(0) = \lim_{x \to 0} \frac{f(x)}{x} \end{eqnarray*}$ .

Nach Voraussetzung über $\begin{eqnarray*} f'(x) \end{eqnarray*}$ für $\begin{eqnarray*} x \neq 0 \end{eqnarray*}$ ist $\begin{eqnarray*} f \end{eqnarray*}$ für $\begin{eqnarray*} x \leq 0 \end{eqnarray*}$ streng monoton fallend und für $\begin{eqnarray*} x \geq 0 \end{eqnarray*}$ streng monoton wachsend. Insbesondere ist $\begin{eqnarray*} f(x) > 0 \end{eqnarray*}$ für $\begin{eqnarray*} x \neq 0 \end{eqnarray*}$ . Es folgt:

$\begin{eqnarray*} \frac{f(x)}{x} > 0 \ \ \mbox{für} \ x > 0 \end{eqnarray*}$

$\begin{eqnarray*} \frac{f(x)}{x} < 0 \ \ \mbox{für} \ x < 0 \end{eqnarray*}$

Mit $\begin{eqnarray*} x \to 0 \end{eqnarray*}$ folgt daraus einerseits $\begin{eqnarray*} f'(0) \geq 0 \end{eqnarray*}$ und andererseits $\begin{eqnarray*} f'(0) \leq 0 \end{eqnarray*}$ , also

$\begin{eqnarray*} f'(0) = 0 \end{eqnarray*}$

Und das war zu zeigen.

Ich bitte, meine Argumentation zu überprüfen. Bei solchen Fragestellungen spielt einem die Anschauung leicht einen Streich.

06.08.2007, 11:46

mylittlehelper

Auf diesen Beitrag antworten »

Zitat:

Original von tigerbine
Stetig ist die S[ägezahn]-Funktion doch nicht.

Warum nicht? Es gilt doch offenbar:

$\begin{eqnarray*} f(x_0)=\lim_{x\to x_0\pm 0}f(x) \end{eqnarray*}$ für alle $\begin{eqnarray*} x_0\in I \end{eqnarray*}$

EDIT:

Ups, genau genommen ist sie ja nicht mal eine Funktion sondern nur eine Abbildung.

06.08.2007, 13:13

Theodor

Auf diesen Beitrag antworten »

kann mir da jemand weiterhelfen wo ich schwierigkeiten habe? ^^

Theo

06.08.2007, 16:45

tensor07

Auf diesen Beitrag antworten »

RE: Existenz der Umkehrfunktion
Hallo Theodor

Allgemein gilt: Für ein stetig differenzierbares Vektorfeld auf eine offene Teilmenge von $\begin{eqnarray*} \mathbb{R}^n \end{eqnarray*}$ , die ein reguläres Differential ("Jacobi-Matrix") in einem Punkt $\begin{eqnarray*} p \end{eqnarray*}$ des Definitionsbereichs hat, existiert eine Umgebung von $\begin{eqnarray*} p \end{eqnarray*}$ , wo es eine Inverse gibt. Diese Eigenschaft heisst "lokale Invertierbarkeit", und die Aussage heisst Satz der inversen Funktion, und ist ziemlich technisch zu beweisen.

Im eindimensionalen Fall ist das Differential nichts anderes als die Ableitung, und seine Regularität entspricht "ungleich 0". Wenn der Definitionsbereich zusammenhängend ist und die Regularität überall gilt, dann kann die lokale Invertierbarkeit globalisiert werden: es existiert dann eine "globale" Inverse.

Gruss

06.08.2007, 16:55

WebFritzi

Auf diesen Beitrag antworten »

@Leopold: Dein Beweis sieht OK aus. Nur: Ich kann noch nicht ganz glauben, dass eine solche Funktion, wie Theodor sie hier hat, im allgemeinen injektiv sein soll. Ohne weitere Voraussetzungen könnte die Ableitung doch irgend ne "Drecksfunktion" sein, die "an kaum einer Stelle" stetig ist, aber halt nie Null wird. Die Frage ist also: Wie schlimm kann eine Ableitung einer diffbaren Funktion sein?

06.08.2007, 17:18

Theodor

Auf diesen Beitrag antworten »

Naja brauche das ganze für eine Substituionsregel (Integralrechnung). Naja im Beweis finde ich nur, dass die Funktion injektiv ist, von Surjektivität steht im Beweis leider nichts.

Naja, da ich gerade ein Skript durcharbeite, wäre es mir recht wenn man das mit den Mitteln von Ana1 (vll. Anfang Ana2) zeigen könnte.

Theo

06.08.2007, 17:30

tensor07

Auf diesen Beitrag antworten »

Injektivität ist das schwierige, da es ums Verhalten der Funktion geht. Surjektivität ist einfach, die hängt nur davon ab, wie du den Zielbereich definierst. Wenn du eine injektive Funktion auf $\begin{eqnarray*} I \end{eqnarray*}$ hast, dann ist

$\begin{eqnarray*} f: I \longrightarrow f(I) \end{eqnarray*}$

bijektiv.

Die Fälle $\begin{eqnarray*} (a,b) \end{eqnarray*}$ und $\begin{eqnarray*} (-\infty,b) \end{eqnarray*}$ und $\begin{eqnarray*} (a,\infty) \end{eqnarray*}$ und $\begin{eqnarray*} (-\infty,\infty) \end{eqnarray*}$ sind äquivalent, wie auch die Fälle $\begin{eqnarray*} [a,b) \end{eqnarray*}$ und $\begin{eqnarray*} (a,b] \end{eqnarray*}$ und $\begin{eqnarray*} (-\infty,b] \end{eqnarray*}$ und $\begin{eqnarray*} [a,\infty) \end{eqnarray*}$ , da es stetig differenzierbare Abbildungen mit stetig differenzierbaren Inversen gibt, die diese Intervalle ineinander bijektiv überführen.

06.08.2007, 21:22

WebFritzi

Auf diesen Beitrag antworten »

Zitat:

Original von tensor07
Die Fälle $\begin{eqnarray*} (a,b) \end{eqnarray*}$ und $\begin{eqnarray*} (-\infty,b) \end{eqnarray*}$ und $\begin{eqnarray*} (a,\infty) \end{eqnarray*}$ und $\begin{eqnarray*} (-\infty,\infty) \end{eqnarray*}$ sind äquivalent, wie auch die Fälle $\begin{eqnarray*} [a,b) \end{eqnarray*}$ und $\begin{eqnarray*} (a,b] \end{eqnarray*}$ und $\begin{eqnarray*} (-\infty,b] \end{eqnarray*}$ und $\begin{eqnarray*} [a,\infty) \end{eqnarray*}$ , da es stetig differenzierbare Abbildungen mit stetig differenzierbaren Inversen gibt, die diese Intervalle ineinander bijektiv überführen.

HIer ist nichts stetig diffbar.

EDIT: Ach so. Hab die Aussage zu schnell gelesen. Sorry.

07.08.2007, 04:37

tensor07

Auf diesen Beitrag antworten »

Ach Fritzi Hammer

07.08.2007, 10:38

Theodor

Auf diesen Beitrag antworten »

@tensor07
Hi, wie zeige ich, dass es die Inserven gibt.
Muss ja irgendwie für die Surjektivität zeigen, dass f(I) = J, also einem Intervall (-> einer der 9 Fälle) ist.

Theo

07.08.2007, 10:55

WebFritzi

Auf diesen Beitrag antworten »

Man, Theodor. Lies doch mal die Beiträge, die für DICH geschrieben werden. Die Surjektivität ist sch...egal. Wenn f injektiv ist auf I mit J := f(I), dann ist f : I -> J bijektiv und hat natürlich eine Umkehrfunktion. Es ist hier nur die Injektivität zu zeigen.

07.08.2007, 11:04

tigerbine

Auf diesen Beitrag antworten »

Zitat:

Original von WebFritzi
Die Frage ist also: Wie schlimm kann eine Ableitung einer diff'baren Funktion sein?

Hatten wir dafür nun schon ein Beispiel (Unabhängig von Theodor)? Außer dem aus wikipedia?

Gruß Wink

07.08.2007, 11:27

WebFritzi

Auf diesen Beitrag antworten »

Nein, leider nicht. Hast du eins? Augenzwinkern

07.08.2007, 11:28

Theodor

Auf diesen Beitrag antworten »

Ja, aber warum muss J ein Intervall sein? Bei I = [a,b] wird das durch den Zwischenwertsatz erklärt, dann ist f(I) = [m,M] = J, also wirklich ein Intervall.

Habe mir das so erklärt (hoffe das ist so richtig):

Wenn J kein Intervall wäre, gäbe es einen isolierten Punkt c, d.h. es ex. ein x_0 mit f(x_0) = c. Dann würde aber f(x) nicht gegen f(x_0)= c laufen, wenn x->x_0. (Widerspruch zur Stetigkeit)

Theo

07.08.2007, 11:29

Dual Space

Auf diesen Beitrag antworten »

Zitat:

Original von Theodor
Ja, aber warum muss J ein Intervall sein?

Weil I eins ist und f stetig ist.

07.08.2007, 11:33

WebFritzi

Auf diesen Beitrag antworten »

Wenn es einen isolierten Punkt gäbe, wäre deine Argumentation richtig. Alerdings frage ich mich, wie du auf die Existenz eines isolierten Punktes kommst. J könnte ja auch eine Vereinigung von paarweise disjunkten Intervallen sein. Dass J ein Intervall ist, liegt daran, dass zusammenhängende Mengen durch stetige Abbildungen wieder auf zusammenhängende Mengen abgebildet werden. Und die zusammenhängenden Mengen in IR sind nunmal gerade die Intervalle. Augenzwinkern

Übrigens ist es eigentlich auch egal, ob J ein Intervall ist oder nicht. Wenn f : I -> J bijektiv ist, dann existiert eine Umkehrfunktion g : J -> I. Dabei spielt es keine Rolle, was J für eine Menge ist.

07.08.2007, 11:44

tigerbine

Auf diesen Beitrag antworten »

Zitat:

Original von WebFritzi
Nein, leider nicht. Hast du eins? Augenzwinkern

Bis jetzt noch nicht. Würde aber auch gerne ein weiteres kennen. In einem Ana Skritp, aber das ist eigentlich wie in wiki, wurde das Verhalten ("stetige" Differenzierbarkeit) von

$\begin{eqnarray*} f(x)=\begin{cases} x^n\cdot sin(\frac{1}{x})& x \neq 0 \\ 0 & x=0\end{cases} \end{eqnarray*}$

für n= 1,2,3,... untersucht. Ok, das scheint wohl echt der Klassiker zu sein. Aber gibt's denn da nicht noch mehr? verwirrt

07.08.2007, 11:50

Theodor

Auf diesen Beitrag antworten »

Hi,
stimmt WebFritzi, da sagst du was, an einer Vereinigung von paarweisen disjunkten Intervallen hab ich gar nicht gedacht.

ich bin so scharf darauf das J ein Intervall ist, weil der Satz (Substitutionsregel) dann eine weitere Funktion g: J -> IR braucht. (J soll ein Intervall sein, f: I -> J, und g: J -> IR).

"Das zusammenhängende Mengen durch stetige Abbildungen wieder auf zusammenhängende Mengen abgebildet werden" Ist das Stoff aus Ana1 oder Ana2? Beweist man das in der Regel für IR^n und sagt dann im Nachhinein das es auch so in IR ist. Oder wird sowas in einer Vorlesung bereits im IR gemacht und in Ana2 dann in IR^n nochmal?
Finde gerade nichts passendes im Ana1 Abschnitt.

Theo

07.08.2007, 11:53

tigerbine

Auf diesen Beitrag antworten »

Am Anfang wird es meist eindimensional gemacht. In der Vorlesung Ana3 kam es mehrdimensional. Im Königsberger findest Du es in Ana2.

07.08.2007, 12:08

Theodor

Auf diesen Beitrag antworten »

Frechheit, das ich den nicht in meinen Ana1 Skript finde. Muss ich eben warten bis ich an dieser Stelle bin...

Theo

07.08.2007, 12:10

Dual Space

Auf diesen Beitrag antworten »

Leopold Verdacht scheint zu stimmen. Falls die Ableitung einer differentierbaren Funktion unstetig ist, kann es sich nur um Oszillationen handeln (Unstetigkeiten 3. Art ??). Für alle anderen Unstetigkeitsarten kann man nachrechnen, dass die Funktion in diesen Punkten nicht differentierbar sein kann.

Edit: Eigentlich folgt das schon "sofort" aus der Definition von Differenzierbarkeit.

07.08.2007, 12:18

Dual Space

Auf diesen Beitrag antworten »

Zitat:

Original von Theodor
Frechheit, das ich den nicht in meinen Ana1 Skript finde. Muss ich eben warten bis ich an dieser Stelle bin...

Brauchst du nicht. Das gewünschte Resultat liefert dir das Epsilon-Delta-Kriterium.

07.08.2007, 12:19

Leopold

Auf diesen Beitrag antworten »

Ich habe den Verdacht, daß folgende Analogie zum Zwischenwertsatz für stetige Funktionen besteht.

Vermutung 1

Sei $\begin{eqnarray*} f \end{eqnarray*}$ im Intervall $\begin{eqnarray*} [a,b] \end{eqnarray*}$ differenzierbar.
Haben $\begin{eqnarray*} f'(a) \end{eqnarray*}$ und $\begin{eqnarray*} f'(b) \end{eqnarray*}$ unterschiedliche Vorzeichen, so existiert ein $\begin{eqnarray*} \xi \in (a,b) \end{eqnarray*}$ mit $\begin{eqnarray*} f'(\xi) = 0 \end{eqnarray*}$ .

Wohlgemerkt: Die Stetigkeit von $\begin{eqnarray*} f' \end{eqnarray*}$ wird hier nicht vorausgesetzt. Trotzdem glaube ich, daß der Satz richtig ist.

Durch Kontraposition, angewandt auf die Teilintervalle von $\begin{eqnarray*} I \end{eqnarray*}$ , bekommt man die äquivalente

Vermutung 2

Sei $\begin{eqnarray*} f \end{eqnarray*}$ im Intervall $\begin{eqnarray*} I = [a,b] \end{eqnarray*}$ differenzierbar.
Gilt $\begin{eqnarray*} f'(x) \neq 0 \end{eqnarray*}$ für alle $\begin{eqnarray*} x \in I \end{eqnarray*}$ , so gilt entweder $\begin{eqnarray*} f'(x) > 0 \end{eqnarray*}$ für alle $\begin{eqnarray*} x \in I \end{eqnarray*}$ oder $\begin{eqnarray*} f'(x) < 0 \end{eqnarray*}$ für alle $\begin{eqnarray*} x \in I \end{eqnarray*}$ .

Damit würde die Forderung $\begin{eqnarray*} f'(x) \neq 0 \end{eqnarray*}$ bereits für die Umkehrbarkeit auf dem Bild von $\begin{eqnarray*} I \end{eqnarray*}$ genügen.

Wer kann diese Vermutungen beweisen oder durch ein Gegenbeispiel widerlegen?

Nachtrag: @ Dual Space
Wie folgt das?

07.08.2007, 12:19

tigerbine

Auf diesen Beitrag antworten »

Aha, ich hab das von Leopold noch nicht genau gelesen. Dann wäre das typische Beispiel aus den Vorlesungen,eigentlich "das" Beispiel?

Schade eigentlich, dass es dann auch nicht so erwähnt wird. Zumindest ist mir bislang kein Lemma, Übungsaufgabe oder ähnliches unter gekommen. Aber Analysis ist nur ein Stiefkind von mir.

Gruß Wink

Zur dritten Art. In meinen Skript wurde bei 0 begonnen Hammer

0: Behebbare (Loch)

1: Sprungstelle

2: Grenzwerte existieren nicht (wesentliche Unstetigkeit)

EDIT:

Zu Leopold's neuem Post. Er möchte ja die Zwischenwerteigenschaft benutzen. Mir sind noch die mahnenden Worte des Prof's in den Ohren "Verwechseln Sie Stetigkeit nicht damit, dass eine Funktion die Zwischenwerteigentschaft besitzt!" (in der schule wird ja gerne: Malen ohne Stift abzusetzen" als Beschreibung der Stetigkeit verwendet. Böse Falle oszillierende Funktionen")

Ok, aber wo findet man den Informationen über Funktionen, die die Zwischenwerteigenschaft haben? wie gesagt, mir fällt nur der Satz

$\begin{eqnarray*} \text{stetig } \Rightarrow \text{ Zwischenwerteigenschaft} \end{eqnarray*}$

ein.

Gruß Wink

07.08.2007, 12:30

Dual Space

Auf diesen Beitrag antworten »

Zitat:

Original von Leopold
Nachtrag: @ Dual Space
Wie folgt das?

Kurz gesagt (vielleicht zu kurz?):
Angenommen die Ableitung einer Funktion f habe hebbare Unstetigkeiten oder Sprungstellen. Dann stimmen rechts- und linksseitige Grenzwerte der Differenzenquotienten an diesen Stellen nicht überein. Nach Definition der Differenzierbarkeit ist f an diesen Stellen nicht differenzierbar.

Edit: Herjee ... ok lassen wir hebbare Unstetigkeiten vorerst außen vor. verwirrt

07.08.2007, 12:33

tigerbine

Auf diesen Beitrag antworten »

Zitat:

hebbare?

07.08.2007, 12:35

Dual Space

Auf diesen Beitrag antworten »

Na gut: Behebbare.

07.08.2007, 12:37

tigerbine

Auf diesen Beitrag antworten »

Dann stimmen aber die Grenzwerte überein, oder? Herjee, des macht mich fertisch... Augenzwinkern

07.08.2007, 12:41

Dual Space

Auf diesen Beitrag antworten »

Zitat:

Original von tigerbine
Dann stimmen aber die Grenzwerte überein, oder? Herjee, des macht mich fertisch... Augenzwinkern

Stimmt.

Zitat:

Original von Dual Space
Edit: Herjee ... ok lassen wir hebbare Unstetigkeiten vorerst außen vor. verwirrt

Edit: Hebbare Unstetigkeiten können aber auch nicht auftreten, weil (wieder nach Definition) der Wert der Ableitung an einer Stelle gleich dem des Differentialquotienten sein muss.

07.08.2007, 13:43

tigerbine

Auf diesen Beitrag antworten »

Zitat:

Edit: Hebbare Unstetigkeiten können aber auch nicht auftreten, weil (wieder nach Definition) der Wert der Ableitung an einer Stelle gleich dem des Differentialquotienten sein muss.

Jo. Du und dein hebbar. Lol.

f sollte ja auf I (welche Gestalt I auch immer hat?) differenzierbar sein.

Zitat:

Königsberger
Eine Funktion $\begin{eqnarray*} f:~I \to \mathbb C \end{eqnarray*}$ auf einem Intervall I heißt differenzierbar in $\begin{eqnarray*} x_0 \in I \end{eqnarray*}$ , wenn der Grenzwert:

$\begin{eqnarray*} \lim_{x \to x_0}~\frac{f(x)-f(x_0)}{x-x_0} \end{eqnarray*}$

existiert. Diesen bezeichnet man dann mit $\begin{eqnarray*} f'(x_0) \end{eqnarray*}$

Aus dieser Existenz folgt, dass die Funktion $\begin{eqnarray*} \frac{f(x)-f(x_0)}{x-x_0} \end{eqnarray*}$ in $\begin{eqnarray*} x_0 \end{eqnarray*}$ eine stetige Fortsetzung $\begin{eqnarray*} \varphi \end{eqnarray*}$ besitzt. Es gilt dann $\begin{eqnarray*} \varphi(x_0) = f'(x_0) \end{eqnarray*}$ . (vgl. Königsberger, 2. Formulierung der Diff'barkeit).

Jetzt dreht sich bei mir gerade alles. Warum kann die "Ableitung" nun kein "Loch" haben verwirrt

07.08.2007, 14:01

Leopold

Auf diesen Beitrag antworten »

Ich glaube, ich habe einen Beweis für die Vermutung 1 (und damit auch die Vermutung 2). Es mögen die dortigen Voraussetzungen bestehen. Ohne Beschränkung der Allgemeinheit darf man $\begin{eqnarray*} f'(a) > 0 \end{eqnarray*}$ und $\begin{eqnarray*} f'(b) < 0 \end{eqnarray*}$ annehmen. Da der Grenzwert des Differenzenquotienten bei $\begin{eqnarray*} x = a \end{eqnarray*}$ positiv ist, muß auch

$\begin{eqnarray*} p(h) = \frac{f(a+h) - f(a)}{h} > 0 \end{eqnarray*}$ für alle genügend kleinen $\begin{eqnarray*} h > 0 \end{eqnarray*}$

gelten. Auflösen nach $\begin{eqnarray*} f(a+h) \end{eqnarray*}$ zeigt: $\begin{eqnarray*} f(a+h) = f(a) + p(h) \cdot h \end{eqnarray*}$ . Und da der zweite Summand positiv ist, folgt:

$\begin{eqnarray*} \text{(1)} \ \ f(a+h) > f(a) \end{eqnarray*}$ für alle genügend kleinen $\begin{eqnarray*} h > 0 \end{eqnarray*}$

Ganz analog folgert man aus $\begin{eqnarray*} f'(b) < 0 \end{eqnarray*}$ :

$\begin{eqnarray*} \text{(2)} \ \ f(b-h) > f(b) \end{eqnarray*}$ für alle genügend kleinen $\begin{eqnarray*} h > 0 \end{eqnarray*}$

$\begin{eqnarray*} f \end{eqnarray*}$ ist differenzierbar, also stetig, und muß daher auf dem kompakten Intervall $\begin{eqnarray*} [a,b] \end{eqnarray*}$ ein Maximum annehmen. Wegen $\begin{eqnarray*} \text{(1)} \end{eqnarray*}$ und $\begin{eqnarray*} \text{(2)} \end{eqnarray*}$ kann dieses nicht am Rande des Intervalls liegen. Also wird $\begin{eqnarray*} f \end{eqnarray*}$ für ein $\begin{eqnarray*} \xi \in (a,b) \end{eqnarray*}$ maximal. Dann muß aber $\begin{eqnarray*} f'(\xi) = 0 \end{eqnarray*}$ gelten.

Wenn dieser Beweis stimmt, hieße das: Bei einer differenzierbaren Funktion $\begin{eqnarray*} f \end{eqnarray*}$ hat $\begin{eqnarray*} f' \end{eqnarray*}$ die Zwischenwerteigenschaft.

12 nächste Seite »

Neue Frage »

Antworten »

Existenz der Umkehrfunktion

Verwandte Themen