www.vorkurse.de
Ein Projekt von vorhilfe.de
Die Online-Kurse der Vorhilfe

E-Learning leicht gemacht.
Hallo Gast!einloggen | registrieren ]
Startseite · Mitglieder · Teams · Forum · Wissen · Kurse · Impressum
Forenbaum
^ Forenbaum
Status Mathe-Vorkurse
  Status Organisatorisches
  Status Schule
    Status Wiederholung Algebra
    Status Einführung Analysis
    Status Einführung Analytisc
    Status VK 21: Mathematik 6.
    Status VK 37: Kurvendiskussionen
    Status VK Abivorbereitungen
  Status Universität
    Status Lerngruppe LinAlg
    Status VK 13 Analysis I FH
    Status Algebra 2006
    Status VK 22: Algebra 2007
    Status GruMiHH 06
    Status VK 58: Algebra 1
    Status VK 59: Lineare Algebra
    Status VK 60: Analysis
    Status Wahrscheinlichkeitst

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
Forum "Funktionalanalysis" - lemma von mazur
lemma von mazur < Funktionalanalysis < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Funktionalanalysis"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

lemma von mazur: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 10:34 Fr 02.12.2011
Autor: hula

Hallöchen,

Ich kenne folgenden Beweis von Mazur:

wenn $ [mm] x_n [/mm] $ schwach gegen ein $ [mm] x_0 [/mm] $ konvergiert, dann existieren Konvexkombinationen $ [mm] y_l [/mm] $ von $ [mm] x_n [/mm] $ so dass $ [mm] y_l \to x_0 [/mm] $ stark konvergiert.

Im Beweis wird ja die Menge $ K:= [mm] cl(conv(\{x_k\})) [/mm] $ also die abgeschlossene konvexe Hülle der $ [mm] x_k [/mm] $ definiert. Man weiss nun, dass diese Menge auch schwach abgeschlossen ist. D.h. $ [mm] x_0 \in [/mm] K $.
Da wir auf einem normierten Vektorraum sind, haben wir insbesondere eine Metrik. Daher kann ich eine Folge $ [mm] y_l [/mm] $ aus $ [mm] conv(\{x_k\}) [/mm] $ finden die stark gegen $ [mm] x_0 [/mm] $ konvergiert. Wieso ist $ [mm] y_l [/mm] $ von der Gestalt:

$ [mm] y_l =\summe_{i=1}^{l}\lambda_i x_i [/mm] $ mit $ [mm] \summe_{i=1}^{l}\lambda_i [/mm] = 1 $.

Ich weiss, dass in einer konvexen Hülle die Elemente die Form

$ [mm] \summe_{i=1}^{n} \lambda_i x_i [/mm] $ besitzen
Aber oben wird ja für jedes $ l $ ein weiteres $ [mm] x_i [/mm] $ dazugenommen? wieso besteht $ [mm] y_1 [/mm] $ gerade aus $ [mm] x_1 [/mm] $? Wieso ist die gefundene Folge gerade dadurch beschrieben, dass ich $ [mm] y_l [/mm] $ au sden $ [mm] x_1, \dots, x_l [/mm] $ konstruieren kann?

greetz

hula

Edit: Die Frage geht wohl auf folgendes hinaus:

die oben gefundene Folge $ [mm] y_l [/mm] $ ist apriori ja in $ [mm] conv(\{x_k\} [/mm] $. Dass heisst von der Form

[mm] $\summe_{i=1}^{n} \lambda_i x_{\alpha_i} [/mm] $ wobei $ [mm] \alpha_i \in \IN [/mm] $. Kann ich ein $ [mm] y_l [/mm] $ immer so darstellen, dass ich eine endliche Anzahl $ [mm] x_{\alpha_i}, \dots, x_{\alpha_q} [/mm] $ (dies seien $ m$ Elemente) wähle und dann die $\ [mm] \lambda_i [/mm] $ finden kann, so dass $ [mm] y_l [/mm] = [mm] \lambda_1 x_{\alpha_i} +\dots \lambda_m x_{\alpha_q}$ [/mm]  ?

        
Bezug
lemma von mazur: Antwort
Status: (Antwort) fertig Status 
Datum: 10:51 Fr 02.12.2011
Autor: fred97


> Hallöchen,
>  
> Ich kenne folgenden Beweis von Mazur:
>  
> wenn [mm]x_n[/mm] schwach gegen ein [mm]x_0[/mm] konvergiert, dann existieren
> Konvexkombinationen [mm]y_l[/mm] von [mm]x_n[/mm] so dass [mm]y_l \to x_0[/mm] stark
> konvergiert.
>  
> Im Beweis wird ja die Menge [mm]K:= cl(conv(\{x_k\}))[/mm] also die
> abgeschlossene konvexe Hülle der [mm]x_k[/mm] definiert. Man weiss
> nun, dass diese Menge auch schwach abgeschlossen ist. D.h.
> [mm]x_0 \in K [/mm].

Damit ist der Beweis doch fertig !

> Da wir auf einem normierten Vektorraum sind, haben wir
> insbesondere eine Metrik. Daher kann ich eine Folge [mm]y_l[/mm] aus
> [mm]conv(\{x_k\})[/mm] finden die stark gegen [mm]x_0[/mm] konvergiert. Wieso
> ist [mm]y_l[/mm] von der Gestalt:
>  
> [mm]y_l =\summe_{i=1}^{l}\lambda_i x_i[/mm] mit
> [mm]\summe_{i=1}^{l}\lambda_i = 1 [/mm].
>  
> Ich weiss, dass in einer konvexen Hülle die Elemente die
> Form
>  
> [mm]\summe_{i=1}^{n} \lambda_i x_i[/mm] besitzen
> Aber oben wird ja für jedes [mm]l[/mm] ein weiteres [mm]x_i[/mm]
> dazugenommen? wieso besteht [mm]y_1[/mm] gerade aus [mm]x_1 [/mm]? Wieso ist
> die gefundene Folge gerade dadurch beschrieben, dass ich
> [mm]y_l[/mm] au sden [mm]x_1, \dots, x_l[/mm] konstruieren kann?


Ehrlich gesagt, ist mir das auch nicht klar und ich glaube das auch nicht. Wo hast Du denn diesen Beweis her ?

FRED

>  
> greetz
>  
> hula
>  
>  


Bezug
                
Bezug
lemma von mazur: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 11:07 Fr 02.12.2011
Autor: hula

Siehe Edit im 1. Beitrag! Kann ein Administrator dies in eine Frage umwandeln oder den ersten Beitrag als ungelöst markieren?

Bei uns im Skript lautet der Satz:

Sei $ [mm] x_k [/mm] $ eine schwach konvergente Folge gegen $ [mm] x_0 [/mm] $. Dann existiert eine Folge von Konvexkombinationen $ [mm] y_l [/mm] $ mit

$ [mm] y_l [/mm] = [mm] \summe_{i=1}^l \lambda_{l,i}x_i, [/mm] 0 [mm] \le \lambda_{l,i}\le [/mm] 1, [mm] \summe_{i=1}^l \lambda_{l,i} [/mm] = 1 $ und

$ [mm] y_l \to x_0 [/mm] $ für $ [mm] l\to \infty [/mm] $.

Danach habe ich eine Übung in Brézis gefunden, die eigentlich meine Frage ist:
Mann soll beweisen:
Wenn wir eine schwach konvergente Folge wie oben haben, dann gilt:
es existiert eine Folge $ [mm] y_l [/mm] $ mit

a) $ [mm] y_l \in conv(\cup_{i=l}^\infty \{x_i\}) \forall [/mm] l $ so dass $ [mm] y_l \to x_0 [/mm] $

b) $ [mm] y_l \in conv(\cup_{i=1}^l \{x_i\}) \forall [/mm] l $ so dass $ [mm] y_l \to x_0 [/mm] $

b) wäre wohl gerade meine Frage.

greetz

hula

ps: Das Buch ist das von Brézis in Kapitel 3 (Titel des Buches: Functional Analysis, Sobolev Spaces and Partial Differential Equations

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


^ Seitenanfang ^
www.vorkurse.de
[ Startseite | Mitglieder | Teams | Forum | Wissen | Kurse | Impressum ]