www.vorhilfe.de
Vorhilfe

Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Vorhilfe
  Status Geisteswiss.
    Status Erdkunde
    Status Geschichte
    Status Jura
    Status Musik/Kunst
    Status Pädagogik
    Status Philosophie
    Status Politik/Wirtschaft
    Status Psychologie
    Status Religion
    Status Sozialwissenschaften
  Status Informatik
    Status Schule
    Status Hochschule
    Status Info-Training
    Status Wettbewerbe
    Status Praxis
    Status Internes IR
  Status Ingenieurwiss.
    Status Bauingenieurwesen
    Status Elektrotechnik
    Status Maschinenbau
    Status Materialwissenschaft
    Status Regelungstechnik
    Status Signaltheorie
    Status Sonstiges
    Status Technik
  Status Mathe
    Status Schulmathe
    Status Hochschulmathe
    Status Mathe-Vorkurse
    Status Mathe-Software
  Status Naturwiss.
    Status Astronomie
    Status Biologie
    Status Chemie
    Status Geowissenschaften
    Status Medizin
    Status Physik
    Status Sport
  Status Sonstiges / Diverses
  Status Sprachen
    Status Deutsch
    Status Englisch
    Status Französisch
    Status Griechisch
    Status Latein
    Status Russisch
    Status Spanisch
    Status Vorkurse
    Status Sonstiges (Sprachen)
  Status Neuerdings
  Status Internes VH
    Status Café VH
    Status Verbesserungen
    Status Benutzerbetreuung
    Status Plenum
    Status Datenbank-Forum
    Status Test-Forum
    Status Fragwürdige Inhalte
    Status VH e.V.

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
Dt. Schulen im Ausland: Mathe-Seiten:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
Forum "Uni-Komplexe Analysis" - Cauchy-Schwarz im Hilbertraum
Cauchy-Schwarz im Hilbertraum < komplex < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Uni-Komplexe Analysis"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Cauchy-Schwarz im Hilbertraum: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 22:04 Sa 12.01.2008
Autor: Bastiane

Aufgabe
Zeigen Sie, dass für alle $x,y$ in einem Hilbertraum $X$ folgende Cauchy-Schwarzsche Ungleichung gilt: [mm] $|\langle x|y\rangle|\le||x||\cdot||y||$. [/mm]

Hallo zusammen!

Der Beweis ist doch []dieser hier, oder? Wieso kann man denn da [mm] $\lambda$ [/mm] irgendwie wählen? Warum steht da am Anfang überhaupt das [mm] \lambda? [/mm]

Und warum stehen auf der Seite dort mehrere Beweise - ok, im reellen Fall ist das Ganze etwas einfacher, aber ansonsten? Und wieso steht in der Aufgabenstellung, dass es ein Hilbertraum sein soll - was könnte es denn sonst sein bzw. welche Cauchy-Schwarzsche Ungleichung würde denn sonst gelten?

Viele Grüße
Bastiane
[cap]


        
Bezug
Cauchy-Schwarz im Hilbertraum: Antwort
Status: (Antwort) fertig Status 
Datum: 23:05 Sa 12.01.2008
Autor: M.Rex

Hallo Bastiane

> Zeigen Sie, dass für alle [mm]x,y[/mm] in einem Hilbertraum [mm]X[/mm]
> folgende Cauchy-Schwarzsche Ungleichung gilt: [mm]|\langle x|y\rangle|\le||x||\cdot||y||[/mm].
>  
> Hallo zusammen!
>  
> Der Beweis ist doch
> []dieser hier,
> oder?

Ich denke, ja

Wieso kann man denn da [mm]\lambda[/mm] irgendwie wählen?

> Warum steht da am Anfang überhaupt das [mm]\lambda?[/mm]

Du nutzt hier eine der Eigenschaften des Skalarproduktes in [mm] \IC, [/mm] nämlich
die Sesquilinearität aus.

Sesquilinear bedeute ja:

* [mm] \langle x+y,z\rangle=\langle x,z\rangle+\langle y,z\rangle [/mm]
* [mm] \langle x,y+z\rangle=\langle x,y\rangle+\langle x,z\rangle [/mm]
* [mm] \langle x,\lambda y\rangle=\lambda\langle x,y\rangle=\langle\bar\lambda x,y\rangle [/mm]
  
Und diese Eigenschaft wird  gerne auch mal Gleichzeitig angewandt.
(Das war der Standardtrick bei unserem Analysis 2 Prof.)
Du nutzt hier wirklich nur die drei Eigenschaften aus.

<(x-ay);x-ay>
=<(x-ay);x>-<x-ay;ay>
=<(x-ay;x>-a<(x-ay);y>
=<x;x>-<ay;x>-a(<x;y>-a<y;y>)
=<x;x>-<ay;x>-a<x;y>+|a|²<y;y>)
[mm] =-\overline{a}-a+|a|² [/mm]

Jetzt wählst du hat genau das a, was in deinem Link vorgegeben ist, und kommst dann auf das gewünschte Ergebnis
Ich weiss, das ist eine fürchterliche Rechnerei

> Und warum stehen auf der Seite dort mehrere Beweise - ok,
> im reellen Fall ist das Ganze etwas einfacher, aber
> ansonsten? Und wieso steht in der Aufgabenstellung, dass es
> ein Hilbertraum sein soll - was könnte es denn sonst sein
> bzw. welche Cauchy-Schwarzsche Ungleichung würde denn sonst
> gelten?
>  

Gute Frage, deswegen lasse ich das mal auf z.T. beantwortet

> Viele Grüße
>  Bastiane
>  [cap]

Marius

>  


Bezug
                
Bezug
Cauchy-Schwarz im Hilbertraum: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 00:11 Mo 14.01.2008
Autor: Bastiane

Hallo Marius!

> Du nutzt hier eine der Eigenschaften des Skalarproduktes in
> [mm]\IC,[/mm] nämlich
>  die Sesquilinearität aus.
>  
> Sesquilinear bedeute ja:
>  
> * [mm]\langle x+y,z\rangle=\langle x,z\rangle+\langle y,z\rangle[/mm]
>  
> * [mm]\langle x,y+z\rangle=\langle x,y\rangle+\langle x,z\rangle[/mm]
>  
> * [mm]\langle x,\lambda y\rangle=\lambda\langle x,y\rangle=\langle\bar\lambda x,y\rangle[/mm]

Da stelle ich gerade fest, dass es wohl doch egal ist, ob ich sage, dass ich, wenn ich aus der 2. Komponente etwas rausziehe, es konjugiere oder ob ich das bei der 1. Komponente mache!? Sesquilinear ist einfach nur definiert als dass es in einer Komponente linear und in der anderen semilinear ist? Und es ist nicht festgelegt, was in welcher Komponente!?

> Und diese Eigenschaft wird  gerne auch mal Gleichzeitig
> angewandt.
>  (Das war der Standardtrick bei unserem Analysis 2 Prof.)
>  Du nutzt hier wirklich nur die drei Eigenschaften aus.
>  
> <(x-ay);x-ay>
>  =<(x-ay);x>-<x-ay;ay>
>  =<(x-ay;x>-a<(x-ay);y>
>  =<x;x>-<ay;x>-a(<x;y>-a<y;y>)
>  =<x;x>-<ay;x>-a<x;y>+|a|²<y;y>)
>  [mm]=-\overline{a}-a+|a|²[/mm]

Danke für die Mühe, aber ich glaube, mittlerweile bekomme ich das auch wieder selbst hin (vor ein paar Tagen hätte ich da schon/noch/wieder Schwierigkeiten mit gehabt...)

> Jetzt wählst du hat genau das a, was in deinem Link
> vorgegeben ist, und kommst dann auf das gewünschte
> Ergebnis

Aber wieso kann ich denn das a wählen!??? Muss es nicht für alle a gelten? Also, was besagt denn die Ungleichung?

>  Ich weiss, das ist eine fürchterliche Rechnerei

Joah, das hatte ich aber gestern glaube ich schon mal durchgerechnet...

Viele Grüße
Bastiane
[cap]

Bezug
                        
Bezug
Cauchy-Schwarz im Hilbertraum: Antwort
Status: (Antwort) fertig Status 
Datum: 00:30 Mo 14.01.2008
Autor: M.Rex

Hallo Bastiane

>  
> > Du nutzt hier eine der Eigenschaften des Skalarproduktes in
> > [mm]\IC,[/mm] nämlich
>  >  die Sesquilinearität aus.
>  >  
> > Sesquilinear bedeute ja:
>  >  
> > * [mm]\langle x+y,z\rangle=\langle x,z\rangle+\langle y,z\rangle[/mm]
>  
> >  

> > * [mm]\langle x,y+z\rangle=\langle x,y\rangle+\langle x,z\rangle[/mm]
>  
> >  

> > * [mm]\langle x,\lambda y\rangle=\lambda\langle x,y\rangle=\langle\bar\lambda x,y\rangle[/mm]
>  
> Da stelle ich gerade fest, dass es wohl doch egal ist, ob
> ich sage, dass ich, wenn ich aus der 2. Komponente etwas
> rausziehe, es konjugiere oder ob ich das bei der 1.
> Komponente mache!? Sesquilinear ist einfach nur definiert
> als dass es in einer Komponente linear und in der anderen
> semilinear ist? Und es ist nicht festgelegt, was in welcher
> Komponente!?
>  

Nicht ganz:
[mm] =\overline{a} [/mm]
Aber:
<x;ay>=a<x;y>

> > Und diese Eigenschaft wird  gerne auch mal Gleichzeitig
> > angewandt.
>  >  (Das war der Standardtrick bei unserem Analysis 2
> Prof.)
>  >  Du nutzt hier wirklich nur die drei Eigenschaften aus.
>  >  
> > <(x-ay);x-ay>
>  >  =<(x-ay);x>-<x-ay;ay>
>  >  =<(x-ay;x>-a<(x-ay);y>
>  >  =<x;x>-<ay;x>-a(<x;y>-a<y;y>)
>  >  =<x;x>-<ay;x>-a<x;y>+|a|²<y;y>)
>  >  [mm]=-\overline{a}-a+|a|²[/mm]
>  
> Danke für die Mühe, aber ich glaube, mittlerweile bekomme
> ich das auch wieder selbst hin (vor ein paar Tagen hätte
> ich da schon/noch/wieder Schwierigkeiten mit gehabt...)
>  
> > Jetzt wählst du hat genau das a, was in deinem Link
> > vorgegeben ist, und kommst dann auf das gewünschte
> > Ergebnis
>  
> Aber wieso kann ich denn das a wählen!??? Muss es nicht für
> alle a gelten? Also, was besagt denn die Ungleichung?
>

Es gilt für alle a. Aber du willst ja die Ungleichung beweisen, also definierst du dir das a so, dass es "Passt".
Ich habe mich damit hier auch sehr schwer getan, das zu "akzeptieren"

> >  Ich weiss, das ist eine fürchterliche Rechnerei

>  
> Joah, das hatte ich aber gestern glaube ich schon mal
> durchgerechnet...
>  
> Viele Grüße
>  Bastiane
>  [cap]

Marius

Bezug
                                
Bezug
Cauchy-Schwarz im Hilbertraum: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 00:57 Mo 14.01.2008
Autor: andreas

hi

> > Da stelle ich gerade fest, dass es wohl doch egal ist, ob
> > ich sage, dass ich, wenn ich aus der 2. Komponente etwas
> > rausziehe, es konjugiere oder ob ich das bei der 1.
> > Komponente mache!? Sesquilinear ist einfach nur definiert
> > als dass es in einer Komponente linear und in der anderen
> > semilinear ist? Und es ist nicht festgelegt, was in welcher
> > Komponente!?
>  >  
>
> Nicht ganz:
>  [mm]=\overline{a}[/mm]
>  Aber:
>  <x;ay>=a<x;y>

da hat bastiane schon recht: es ist im prinzip egal, welchen eintrag man homogen behandelt und welchen man mit einer komplexen konjugation versieht. die komplexe konjugation beim vorderen eintrage ist eben eher die physiker-notation.

grüße
andreas

Bezug
                                
Bezug
Cauchy-Schwarz im Hilbertraum: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 11:24 Mo 14.01.2008
Autor: Bastiane

Hallo M.Rex!

> > Da stelle ich gerade fest, dass es wohl doch egal ist, ob
> > ich sage, dass ich, wenn ich aus der 2. Komponente etwas
> > rausziehe, es konjugiere oder ob ich das bei der 1.
> > Komponente mache!? Sesquilinear ist einfach nur definiert
> > als dass es in einer Komponente linear und in der anderen
> > semilinear ist? Und es ist nicht festgelegt, was in welcher
> > Komponente!?
>  >  
>
> Nicht ganz:
>  [mm]=\overline{a}[/mm]
>  Aber:
>  <x;ay>=a<x;y>

Ne, bei mir ist es genau anders herum! Siehe auch Andreas' Mitteilung. :-)
  

> > Aber wieso kann ich denn das a wählen!??? Muss es nicht für
> > alle a gelten? Also, was besagt denn die Ungleichung?
> >
>
> Es gilt für alle a. Aber du willst ja die Ungleichung
> beweisen, also definierst du dir das a so, dass es "Passt".
> Ich habe mich damit hier auch sehr schwer getan, das zu
> "akzeptieren"

Das verstehe ich immer noch nicht. Wenn ich doch ein a wähle, dann gilt es nur für dieses a und nicht für alle!? Wieso gilt es denn dann direkt für alle?

Viele Grüße
Bastiane
[cap]

Bezug
                                        
Bezug
Cauchy-Schwarz im Hilbertraum: Antwort
Status: (Antwort) fertig Status 
Datum: 15:15 Mo 14.01.2008
Autor: M.Rex

Hallo nochmal


> > > Aber wieso kann ich denn das a wählen!??? Muss es nicht für
> > > alle a gelten? Also, was besagt denn die Ungleichung?
> > >
> >
> > Es gilt für alle a. Aber du willst ja die Ungleichung
> > beweisen, also definierst du dir das a so, dass es "Passt".
> > Ich habe mich damit hier auch sehr schwer getan, das zu
> > "akzeptieren"
>  
> Das verstehe ich immer noch nicht. Wenn ich doch ein a
> wähle, dann gilt es nur für dieses a und nicht für alle!?
> Wieso gilt es denn dann direkt für alle?
>  

Diese Umformungen gelten ja - wie du schon sagst - für alle a. Also kann ich mir auch ein spezielles a so definieren, dass nachher genau das gewünschte Ergebnis herauskommt.
Ich definiere mir quasi ein spezielles a, so dass am Ende das gewünschte Ergebnis herauskommt.

Marius


Bezug
        
Bezug
Cauchy-Schwarz im Hilbertraum: Antwort
Status: (Antwort) fertig Status 
Datum: 23:13 Sa 12.01.2008
Autor: rainerS

Hallo Bastiane!

> Und wieso steht in der Aufgabenstellung, dass es
> ein Hilbertraum sein soll - was könnte es denn sonst sein
> bzw. welche Cauchy-Schwarzsche Ungleichung würde denn sonst
> gelten?

Ohne (Prä-)Hilbertraum kein Skalarprodukt, also auch keine Ungleichung.

Viele Grüße
   Rainer

Bezug
                
Bezug
Cauchy-Schwarz im Hilbertraum: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 23:17 Sa 12.01.2008
Autor: M.Rex


> Hallo Bastiane!
>  
> > Und wieso steht in der Aufgabenstellung, dass es
> > ein Hilbertraum sein soll - was könnte es denn sonst sein
> > bzw. welche Cauchy-Schwarzsche Ungleichung würde denn sonst
> > gelten?
>  
> Ohne (Prä-)Hilbertraum kein Skalarprodukt, also auch keine
> Ungleichung.
>  
> Viele Grüße
>     Rainer


Hmm, das macht Sinn.
Da hätte ich auch drauf kommen können

Marius

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


^ Seitenanfang ^
www.vorhilfe.de