folge grenzwert funktion diffb < eindimensional < reell < Analysis < Hochschule < Mathe < Vorhilfe
|
Status: |
(Frage) reagiert/warte auf Reaktion | Datum: | 09:34 So 25.01.2009 | Autor: | AriR |
hey leute.. angenommen ich betrachte eine diffbare funktion [mm] f:\IR\to\IR [/mm] und eine folge [mm] a_n [/mm] mit [mm] \lim a_n=a [/mm] und [mm] f(a_n)=0 [/mm] für alle [mm] n\in\IN
[/mm]
da die fkt diffbar ist, ist diese auch stetig. kann man dann annehmen, dass diese funktion in einer kleinen eps. umgebung um a konstant ist da in jeder umgebung abzählbar unendlich viele pkt von [mm] f(a_n)=0 [/mm] "links oder rechts" von a liegen?
wenn ja wie kann ich das streng formal zeigen?
die eignetlich aufgabe ist diese hier:
Aufgabe | Sei [mm] f:\IR\to\IR [/mm] eine Funktion, die in jedem Punkt [mm] x\in\IR [/mm] unendlich oft differenzierbare
ist. Sei [mm] (a_n)_{n\in\IN} [/mm] eine streng monoton fallende Folge mit [mm] \lim{a_n}=a\in\IR.
[/mm]
Zeigen Sie: Ist [mm] f(a_n)=0 [/mm] für alle n, so gilt [mm] f^{(n)}(a)=0 [/mm] für alle [mm] n\in\IN. [/mm] |
wobei [mm] f^{(n)} [/mm] die n-te ableitung soll wenn ich mich nicht irre.
|
|
|
|
Status: |
(Antwort) fertig | Datum: | 10:35 So 25.01.2009 | Autor: | iks |
Moin Arir!
> hey leute.. angenommen ich betrachte eine diffbare funktion
> [mm]f:\IR\to\IR[/mm] und eine folge [mm]a_n[/mm] mit [mm]\lim a_n=a[/mm] und [mm]f(a_n)=0[/mm]
> für alle [mm]n\in\IN[/mm]
>
> da die fkt diffbar ist, ist diese auch stetig. kann man
> dann annehmen, dass diese funktion in einer kleinen eps.
> umgebung um a konstant ist da in jeder umgebung abzählbar
> unendlich viele pkt von [mm]f(a_n)=0[/mm] "links oder rechts" von a
> liegen?
Die Funktion muss nicht konstant sein.
Sei [mm] $f(x)=\begin{cases}\sin(\frac{1}{x})\text{ }&\text{ }x\neq0\\0\text{ }&\text{ }x=0\end{cases}$, [/mm] $a=0$ und eine Folge [mm] $(a_n)$ [/mm] gegeben durch [mm] $a_n=\frac{1}{n\pi}$.
[/mm]
Dann ist [mm] $\lim_{n\to\infty} a_n=a$ [/mm] und [mm] $\forall n\in\IN:\mbox{ } f(a_n)=0$. [/mm] $f$ ist aber in keiner Epsilonumgebung von $a=0$ konstant.
mFg iks
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 10:45 Mo 26.01.2009 | Autor: | fred97 |
> Moin Arir!
>
> > hey leute.. angenommen ich betrachte eine diffbare funktion
> > [mm]f:\IR\to\IR[/mm] und eine folge [mm]a_n[/mm] mit [mm]\lim a_n=a[/mm] und [mm]f(a_n)=0[/mm]
> > für alle [mm]n\in\IN[/mm]
> >
> > da die fkt diffbar ist, ist diese auch stetig. kann man
> > dann annehmen, dass diese funktion in einer kleinen eps.
> > umgebung um a konstant ist da in jeder umgebung abzählbar
> > unendlich viele pkt von [mm]f(a_n)=0[/mm] "links oder rechts" von a
> > liegen?
>
> Die Funktion muss nicht konstant sein.
>
> Sei [mm]f(x)=\begin{cases}\sin(\frac{1}{x})\text{ }&\text{ }x\neq0\\0\text{ }&\text{ }x=0\end{cases}[/mm],
> [mm]a=0[/mm] und eine Folge [mm](a_n)[/mm] gegeben durch [mm]a_n=\frac{1}{n\pi}[/mm].
>
Diese Fkt. hat einen großen Nachteil:
Sie ist in 0 nicht differenzierbar !!
FRED
> Dann ist [mm]\lim_{n\to\infty} a_n=a[/mm] und [mm]\forall n\in\IN:\mbox{ } f(a_n)=0[/mm].
> [mm]f[/mm] ist aber in keiner Epsilonumgebung von [mm]a=0[/mm] konstant.
>
>
> mFg iks
|
|
|
|
|
Status: |
(Mitteilung) Reaktion unnötig | Datum: | 12:19 Mo 26.01.2009 | Autor: | AriR |
weißt du denn wie man die untenstehende aufgabe in meiner ursprünglichen frage lösen könnte?
gruß ;)
|
|
|
|
|
Status: |
(Antwort) fertig | Datum: | 12:45 Mo 26.01.2009 | Autor: | fred97 |
Ich mach Dir mal 2 Schritte vor:
[mm] a_n [/mm] ---> a und [mm] 0=f(a_n) [/mm] liefern : f(a) = 0
Dann: f'(a) = [mm] \limes_{n\rightarrow\infty}\bruch{f(a)-f(a_n)}{a-a_n} [/mm] = 0.
Sein n [mm] \in \IN [/mm] . Wegen [mm] a_n [/mm] > [mm] a_{n+1} [/mm] und des Mittelwertsatzes gibt es ei [mm] t_n \in (a_{n+1}, a_n) [/mm] mit [mm] $f'(t_n)$ [/mm] = 0
Dann ist [mm] (t_n) [/mm] ebenfals streng fallend und [mm] t_n [/mm] ----> a.
Wie im ersten Schritt (mit [mm] t_n [/mm] statt [mm] a_n) [/mm] sieht man dann $f''(a) = 0$
Kommst Du jetzt weiter ?
FRED
|
|
|
|