www.vorhilfe.de
- Förderverein -
Der Förderverein.

Gemeinnütziger Verein zur Finanzierung des Projekts Vorhilfe.de.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Impressum
Forenbaum
^ Forenbaum
Status VH e.V.
  Status Vereinsforum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation
 Startseite...
 Suchen
 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
Forum "Differentiation" - Konvex-2.te Ableitung
Konvex-2.te Ableitung < Differentiation < Funktionen < eindimensional < reell < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Differentiation"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Konvex-2.te Ableitung: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 01:49 Do 12.01.2012
Autor: sissile

Aufgabe
Sei f: I -> [mm] \IR [/mm] zweimal differenzierbar und f''(x) [mm] \ge [/mm] 0
[mm] \forall [/mm] x [mm] \in [/mm] I => f ist konvex.

Beweis: (des Skriptums)
z = [mm] \alpha [/mm] x + (1- [mm] \alpha) [/mm] y
f(z) = [mm] \alpha [/mm] * f(x)  + (1- [mm] \alpha) [/mm] f(y) Wollen wir stehen haben.

[mm] \alpha [/mm] * (f(z) - f(x) ) + (1- [mm] \alpha) [/mm] (f(z)-f(y))
wollen wir abschätzen [mm] \le \alpha [/mm] * f(x)  + (1- [mm] \alpha) [/mm] f(y)
aber dazu müssen wir zeigen, das [mm] \alpha [/mm] * (f(z) - f(x) ) + (1- [mm] \alpha) [/mm] (f(z)-f(y))  [mm] \le [/mm] 0 ist

[mm] \alpha [/mm] * (f(z) - f(x) ) + (1- [mm] \alpha) [/mm] (f(z)-f(y))  [mm] \le [/mm] ß
Der Beweis dazu wurde durchgeführt auch verständlich.

FRAGE:
Warum muss  [mm] \alpha [/mm] * (f(z) - f(x) ) + (1- [mm] \alpha) [/mm] (f(z)-f(y))  [mm] \le [/mm] 0 gelten, dass man die obige Abschätzung machen darf=?

Gilt der obige Satz auch in die andere Richtung? Wie würde der beweis aussehen?



        
Bezug
Konvex-2.te Ableitung: Antwort
Status: (Antwort) fertig Status 
Datum: 06:42 Do 12.01.2012
Autor: fred97


> Sei f: I -> [mm]\IR[/mm] zweimal differenzierbar und f''(x) [mm]\ge[/mm] 0
>  [mm]\forall[/mm] x [mm]\in[/mm] I => f ist konvex.

>  Beweis: (des Skriptums)
>  z = [mm]\alpha[/mm] x + (1- [mm]\alpha)[/mm] y
>  f(z) = [mm]\alpha[/mm] * f(x)  + (1- [mm]\alpha)[/mm] f(y) Wollen wir stehen
> haben.
>  

Nein. Es muß gezeigt werden:

f(z) [mm] \le[/mm]  [mm]\alpha[/mm] * f(x)  + (1- [mm]\alpha)[/mm] f(y)


> [mm]\alpha[/mm] * (f(z) - f(x) ) + (1- [mm]\alpha)[/mm] (f(z)-f(y))
> wollen wir abschätzen [mm]\le \alpha[/mm] * f(x)  + (1- [mm]\alpha)[/mm]
> f(y)
>  aber dazu müssen wir zeigen, das [mm]\alpha[/mm] * (f(z) - f(x) )
> + (1- [mm]\alpha)[/mm] (f(z)-f(y))  [mm]\le[/mm] 0 ist
>
> [mm]\alpha[/mm] * (f(z) - f(x) ) + (1- [mm]\alpha)[/mm] (f(z)-f(y))  [mm]\le[/mm] ß
>  Der Beweis dazu wurde durchgeführt auch verständlich.
>  
> FRAGE:
>  Warum muss  [mm]\alpha[/mm] * (f(z) - f(x) ) + (1- [mm]\alpha)[/mm]
> (f(z)-f(y))  [mm]\le[/mm] 0 gelten, dass man die obige Abschätzung
> machen darf=?


$ [mm] \alpha [/mm] $ * (f(z) - f(x) ) + (1- $ [mm] \alpha) [/mm] $ (f(z)-f(y))  $ [mm] \le [/mm] $ 0 ist äquivalent zu

f(z) [mm] \le[/mm]  [mm]\alpha[/mm] * f(x)  + (1- [mm]\alpha)[/mm] f(y)


FRED

>  
> Gilt der obige Satz auch in die andere Richtung? Wie würde
> der beweis aussehen?
>  
>  


Bezug
                
Bezug
Konvex-2.te Ableitung: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 21:24 Do 12.01.2012
Autor: sissile

achso ;) Lichtchen* geht auf ;)
Danke

> Gilt der obige Satz auch in die andere Richtung? Wie würde
> der beweis aussehen? (Hinweis)

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


^ Seitenanfang ^
ev.vorhilfe.de
[ Startseite | Mitglieder | Impressum ]