matheraum.de
Raum für Mathematik
Offene Informations- und Nachhilfegemeinschaft

Für Schüler, Studenten, Lehrer, Mathematik-Interessierte.
Hallo Gast!einloggen | registrieren ]
Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum
Forenbaum
^ Forenbaum
Status Mathe
  Status Schulmathe
    Status Primarstufe
    Status Mathe Klassen 5-7
    Status Mathe Klassen 8-10
    Status Oberstufenmathe
    Status Mathe-Wettbewerbe
    Status Sonstiges
  Status Hochschulmathe
    Status Uni-Analysis
    Status Uni-Lin. Algebra
    Status Algebra+Zahlentheo.
    Status Diskrete Mathematik
    Status Fachdidaktik
    Status Finanz+Versicherung
    Status Logik+Mengenlehre
    Status Numerik
    Status Uni-Stochastik
    Status Topologie+Geometrie
    Status Uni-Sonstiges
  Status Mathe-Vorkurse
    Status Organisatorisches
    Status Schule
    Status Universität
  Status Mathe-Software
    Status Derive
    Status DynaGeo
    Status FunkyPlot
    Status GeoGebra
    Status LaTeX
    Status Maple
    Status MathCad
    Status Mathematica
    Status Matlab
    Status Maxima
    Status MuPad
    Status Taschenrechner

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:Weitere Fächer:

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenFunktionalanalysisPunktspektrum d. Multip.oper.
Foren für weitere Studienfächer findest Du auf www.vorhilfe.de z.B. Astronomie • Medizin • Elektrotechnik • Maschinenbau • Bauingenieurwesen • Jura • Psychologie • Geowissenschaften
Forum "Funktionalanalysis" - Punktspektrum d. Multip.oper.
Punktspektrum d. Multip.oper. < Funktionalanalysis < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Funktionalanalysis"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Punktspektrum d. Multip.oper.: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 12:16 Fr 12.07.2013
Autor: Thomas_Aut

Aufgabe
Sei [mm] \mu [/mm] ein [mm] \sigma [/mm] - endliches Maß auf   [mm] \Omega, [/mm] 1<p< [mm] \infty [/mm] und [mm] \Phi \in L^{\infty}(\mu). [/mm] Zeige dass das Punktespektrum des Multiplikationsoperators [mm] M_{\Phi} \in \Beta (L^{p}(\mu)) [/mm] höchstens abzählbar ist.




Hallo,

Meine Idee hierzu:

Sei [mm]\lambda \in \sigma_{p}(M_{\Phi})[/mm] so folgt für ein [mm] f_{\lambda} \neq [/mm] 0 dass :
[mm] (M_{\Phi}- \lambda)f_{\lambda} [/mm] = 0. f.ü.
es folgt die Gültigkeit [mm] \Phi [/mm] = [mm] \lambda [/mm] f.ü. auf [mm] [f_{\lambda} \neq 0]:=\{\omega \in \Omega : f_{\lambda}(\omega) \neq 0\}. [/mm]
Es hat natürlich [mm] [\Phi [/mm] = [mm] \lambda] [/mm] pos. Maß und es gilt [mm] [\Phi [/mm] = [mm] \lambda_{1}] \cap [\Phi [/mm] = [mm] \lambda_{2}] [/mm] = [mm] \emptyset [/mm] , [mm] \lambda_{1} \neq \lambda_{2} \in \sigma_{p}(M_{\Phi}). [/mm]
Es ist zu zeigen , dass das System [mm] ([\Phi [/mm] = [mm] \lambda])_{\lambda \in \sigma_{p}(M_{\Phi})} [/mm] (Im Falle dass [mm] \sigma_{p}(M_{\Phi}) [/mm] überabz. und [mm] \sigma [/mm] endlich ist)
[mm] \summe_{\lambda \in \sigma_{s}(M_{\Phi})} [\Phi [/mm] = [mm] \lambda] [/mm] = [mm] \bigcup_{\lambda \in \sigma_{s}(M_{\Phi})} [\Phi [/mm] = [mm] \lambda] \subseteq \Omega, \mu([\Phi=\lambda]) [/mm] > 0 dies nicht erfüllt.

Sei also [mm] (A_{n})_{n \in IN} [/mm] eine Mengenfamilie damit gemäß der [mm] \sigma [/mm] - Endlichkeit
[mm] \mu(A_{n}) [/mm] < [mm] \infty [/mm] , [mm] \bigcup_{n \in \IN} A_{n} [/mm] = [mm] \Omega [/mm] gilt.
definiere:
[mm] I_{m,n}:=\{\lambda \in \sigma_{p}(M_{\Phi}) : \mu([\Phi = \lambda] \cap A_{m}) > 1/n\} [/mm]
so sinnd alle [mm] I_{m,n} [/mm] wegen
[mm] \infty [/mm] > [mm] \mu(A_{m}) \ge \mu(\cup_{\lambda} \in I_{m,n}[\Phi [/mm] = [mm] \lambda] \cap A_{m}) \ge a(I_{m,n})/n [/mm] endlich (a bezeichne das Zählmaß) und es folgt
[mm] \sigma_{p}(M_{\Phi}) [/mm] = [mm] \bigcup_{m,n \in \IN}I_{m,n}. [/mm] somit ist
[mm] \sigma_{p}(M_{\Phi}) [/mm] abzählbar.

Was sagt ihr dazu?
Vielen Dank im Voraus.

Gruß

Thomas

Ps: Es besteht kein Grund zur Eile - Das Beispiel wurde von mir rein aus Interesse bearbeitet.

        
Bezug
Punktspektrum d. Multip.oper.: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 09:39 Fr 02.08.2013
Autor: Thomas_Aut

Die obige Frage liegt zwar schon eine Weile zurück , aber eventuell kann sich das jemand bei Zeit kurz durchsehen.
Es besteht kein Grund zur Eile - ich habe das Beispiel nur aus Interesse bearbeitet.


Gruß Thomas

Bezug
        
Bezug
Punktspektrum d. Multip.oper.: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 04:09 Mo 05.08.2013
Autor: mathinator90

Hallo Thomas

Hab das beispiel letztes Semester für die Woraceck-Übung ausgearbeitet und bin auf eine unwahrscheinlich ähnliche Lösung gekommen.

Man sollte noch ergänzen, dass die Mengen [mm] $[\Phi=\lambda]$ [/mm] nur fast überall definiert sind und sich überlegen, ob Ausnahmenullmengen zu problemen führen können, aber sowas sauber zu notieren ist halt mühsam...

Bezug
        
Bezug
Punktspektrum d. Multip.oper.: Antwort
Status: (Antwort) fertig Status 
Datum: 12:35 Sa 10.08.2013
Autor: felixf

Moin Thomas!

> Sei [mm]\mu[/mm] ein [mm]\sigma[/mm] - endliches Maß auf   [mm]\Omega,[/mm] 1<p<
> [mm]\infty[/mm] und [mm]\Phi \in L^{\infty}(\mu).[/mm] Zeige dass das
> Punktespektrum des Multiplikationsoperators [mm]M_{\Phi} \in \Beta (L^{p}(\mu))[/mm]
> höchstens abzählbar ist.
>  
>
>
> Hallo,
>  
> Meine Idee hierzu:
>  
> Sei [mm]\lambda \in \sigma_{p}(M_{\Phi})[/mm] so folgt für ein
> [mm]f_{\lambda} \neq[/mm] 0 dass :
> [mm](M_{\Phi}- \lambda)f_{\lambda}[/mm] = 0. f.ü.
>  es folgt die Gültigkeit [mm]\Phi[/mm] = [mm]\lambda[/mm] f.ü. auf
> [mm][f_{\lambda} \neq 0]:=\{\omega \in \Omega : f_{\lambda}(\omega) \neq 0\}.[/mm]

[ok]

Wobei, wie mathinator90 schrieb, die Mengen [mm] $[f_\lambda \neq [/mm] 0]$ nicht wohldefiniert sind, da sie von einigen Wahlen abhaengen. Allerdings: mit Hilfe des Auswahlaxioms kannst du immer irgendwelche solche Mengen waehlen, und brauchen tust du ja die Eigenschaft [mm] $\mu([f_\lambda \neq [/mm] 0]) > 0$, die immer erfuellt ist.

> Es hat natürlich [mm][\Phi[/mm] = [mm]\lambda][/mm] pos. Maß und es gilt
> [mm][\Phi[/mm] = [mm]\lambda_{1}] \cap [\Phi[/mm] = [mm]\lambda_{2}][/mm] = [mm]\emptyset[/mm]
> , [mm]\lambda_{1} \neq \lambda_{2} \in \sigma_{p}(M_{\Phi}).[/mm]

[ok]

> Es ist zu zeigen , dass das System [mm]([\Phi[/mm] =
> [mm]\lambda])_{\lambda \in \sigma_{p}(M_{\Phi})}[/mm] (Im Falle dass
> [mm]\sigma_{p}(M_{\Phi})[/mm] überabz. und [mm]\sigma[/mm] endlich ist)
> [mm]\summe_{\lambda \in \sigma_{s}(M_{\Phi})} [\Phi[/mm] = [mm]\lambda][/mm]
> = [mm]\bigcup_{\lambda \in \sigma_{s}(M_{\Phi})} [\Phi[/mm] =
> [mm]\lambda] \subseteq \Omega, \mu([\Phi=\lambda])[/mm] > 0 dies
> nicht erfüllt.

Oder einfacher: es ist zu zeigen, dass das System abzaehlbar ist. Was du ja auch schliesslich machst.

Den Rest kannst du auch allgemeiner beweisen: sei [mm] $(B_i)_{i\in I}$ [/mm] ein Mengensystem mit [mm] $\mu(B_i) [/mm] > 0$ und [mm] $B_i \cap B_j [/mm] = [mm] \emptyset$ [/mm] fuer $i [mm] \neq [/mm] j$. Ist [mm] $\mu$ $\sigma$-endlich, [/mm] so ist $|I|$ abzaehlbar.

Bei dir ist $I := [mm] \sigma_s(M_\Phi)$ [/mm] und [mm] $B_i [/mm] := [mm] [\Phi [/mm] = i]$.

> Sei also [mm](A_{n})_{n \in IN}[/mm] eine Mengenfamilie damit
> gemäß der [mm]\sigma[/mm] - Endlichkeit
> [mm]\mu(A_{n})[/mm] < [mm]\infty[/mm] , [mm]\bigcup_{n \in \IN} A_{n}[/mm] = [mm]\Omega[/mm]
> gilt.
>  definiere:
> [mm]I_{m,n}:=\{\lambda \in \sigma_{p}(M_{\Phi}) : \mu([\Phi = \lambda] \cap A_{m}) > 1/n\}[/mm]
>  
> so sinnd alle [mm]I_{m,n}[/mm] wegen
>  [mm]\infty[/mm] > [mm]\mu(A_{m}) \ge \mu(\cup_{\lambda} \in I_{m,n}[\Phi[/mm]

> = [mm]\lambda] \cap A_{m}) \ge a(I_{m,n})/n[/mm] endlich (a
> bezeichne das Zählmaß)

Genau.

> und es folgt
>  [mm]\sigma_{p}(M_{\Phi})[/mm] = [mm]\bigcup_{m,n \in \IN}I_{m,n}.[/mm] somit
> ist
>  [mm]\sigma_{p}(M_{\Phi})[/mm] abzählbar.

[ok]

> Was sagt ihr dazu?

Sieht gut aus!

LG Felix


Bezug
                
Bezug
Punktspektrum d. Multip.oper.: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 17:04 Sa 10.08.2013
Autor: Thomas_Aut

Danke für beide Rückmeldungen.


Liebe Grüße

Thomas

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


^ Seitenanfang ^
www.matheraum.de
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]