www.matheraum.de
Das Matheforum.
Das Matheforum des MatheRaum.

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

Open Source FunktionenplotterFunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme
StartseiteMatheForenReelle Analysis mehrerer VeränderlichenKompaktheit
Foren für weitere Schulfächer findest Du auf www.vorhilfe.de z.B. Geschichte • Erdkunde • Sozialwissenschaften • Politik/Wirtschaft
Forum "Reelle Analysis mehrerer Veränderlichen" - Kompaktheit
Kompaktheit < mehrere Veränderl. < reell < Analysis < Hochschule < Mathe < Vorhilfe
Ansicht: [ geschachtelt ] | ^ Forum "Reelle Analysis mehrerer Veränderlichen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien

Kompaktheit: Korrektur
Status: (Frage) beantwortet Status 
Datum: 17:43 Fr 18.03.2011
Autor: Nadia..

Aufgabe
Sei $X$ ein metrischer Raum. Eine Abbildung $f:X [mm] \to \mathbb{R}$ [/mm] heisst (global) beschränkt, falls ihre$ [mm] Wertemengef(X)\subset \mathbb{R}$ [/mm] beschränkt ist. Sie heißt lokal beschränkt, falls jeder Punkt aus$X$ eine
o ffene [mm] Umgebung$U\subset [/mm] X$  besitzt, so dass die Einschränkung von$f$ auf $U$beschränkt ist.
Zeigen Sie:Ist $X$ kompakt ,so ist jede lokal beschränkte Funktion $f:X [mm] \to \mathbb{R}$ [/mm] (global) beschränkt

Sei $f$ lokal beschränkt ,$X$ Kompakt
Z.z
   $f:X [mm] \to \mathbb{R}$ [/mm] (global) beschränkt

Dazu

sei [mm] $\U_i$ [/mm] offene Überdeckung  von $X$
Wegen $X$ i Kompakt [mm] $\Rightarrow \,$ [/mm] existiert endliche Teilüberdeckung $ [mm] X\subset \bigcup_{i \in I \subset \mathh{R}}U_{i}(ai) [/mm]  $ für $i = 1....r$
wegen

$f$ lokal beschränkt, d.h es existiert [mm] $\forall [/mm] x [mm] \in [/mm] X $ ein [mm] $\epsilon [/mm] >0 $, [mm] $u_\epsilon(x) \subset [/mm] X$, sodass $f(x) [mm] \subset \mathbb{R}$. [/mm]

also
$ [mm] f(X)\subset \bigcup_{i \in I \subset \mathh{R}}f(U_{i}(ai)) \subset [/mm] R  $

Also ist f global beschränkt.

Hilfe!!!!

Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.

        
Bezug
Kompaktheit: Antwort
Status: (Antwort) fertig Status 
Datum: 17:55 Fr 18.03.2011
Autor: steppenhahn

Hallo!


> Sei [mm]X[/mm] ein metrischer Raum. Eine Abbildung [mm]f:X \to \mathbb{R}[/mm]
> heisst (global) beschränkt, falls ihre[mm] Wertemengef(X)\subset \mathbb{R}[/mm]
> beschränkt ist. Sie heißt lokal beschränkt, falls jeder
> Punkt aus[mm]X[/mm] eine
>  o ffene Umgebung[mm]U\subset X[/mm]  besitzt, so dass die
> Einschränkung von[mm]f[/mm] auf [mm]U[/mm]beschränkt ist.

>  Zeigen Sie:Ist [mm]X[/mm] kompakt ,so ist jede lokal beschränkte
> Funktion [mm]f:X \to \mathbb{R}[/mm] (global) beschränkt


> sei [mm]\U_i[/mm] offene Überdeckung  von [mm]X[/mm]

Damit solltest du nicht beginnen. Deine offene Überdeckung sollte schon eine bestimmte sein.
Da f lokal beschränkt ist, gibt es für jedes [mm] $x\in [/mm] X$ eine offene Umgebung [mm] $U_x$, [/mm] auf der f beschränkt ist.
Dann ist [mm] $(U_x)_{x\in X}$ [/mm] eine offene Überdeckung von X.


>  Wegen [mm]X[/mm] i Kompakt [mm]\Rightarrow \,[/mm] existiert endliche
> Teilüberdeckung [mm]X\subset \bigcup_{i \in I \subset \mathh{R}}U_{i}(ai) [/mm]
> für [mm]i = 1....r[/mm]

Ja. Jetzt schreib den Rest nochmal sauber passend dazu auf.



> Hilfe!!!!

Was meinst du damit? Wobei sollen wir dir helfen? Es ist evident, dass du das dazuschreibst!

Grüße,
Stefan

Bezug
                
Bezug
Kompaktheit: Frage (beantwortet)
Status: (Frage) beantwortet Status 
Datum: 18:20 Fr 18.03.2011
Autor: Nadia..

Aufgabe
f lokal beschränkt
Dann ist $ [mm] (U_x)_{x\in X} [/mm] $ eine offene Überdeckung von X.

Wegen $ X $ Kompakt $ [mm] \Rightarrow \, [/mm] $ existiert endliche
Teilüberdeckung $ [mm] X\subset \bigcup_{i \in I \subset \mathh{R}}U_{i}(xi) [/mm] $
für $ i = 1....r $

Insgesamt folgt

also
$ [mm] f(X)\subset \bigcup_{i \in I \subset \mathh{R}}f(U_{i}(xi)) \subset [/mm] R $
wobei [mm] $x_i \in [/mm] X$

Ist das so mathematisch korrekt?


Lg


Nadia

Bezug
                        
Bezug
Kompaktheit: Antwort
Status: (Antwort) fertig Status 
Datum: 18:32 Fr 18.03.2011
Autor: steppenhahn

Hallo,


> f lokal beschränkt
>  Dann ist [mm](U_x)_{x\in X}[/mm] eine offene Überdeckung von X.

Du hast schon wieder die Hälfte vergessen. Du musst schreiben, was die [mm] U_x [/mm] sind und wie die entstehen.

>  
> Wegen [mm]X[/mm] Kompakt [mm]\Rightarrow \,[/mm] existiert endliche
>   Teilüberdeckung [mm]X\subset \bigcup_{i \in I \subset \mathh{R}}U_{i}(xi)[/mm]
>  
> für [mm]i = 1....r[/mm]


Ja. Aber du solltest dann besser auf obige Notation eingehen!
X kompakt --> Es existieren endlich viele [mm] x_1,...,x_r [/mm] so dass $X [mm] \subset \bigcup_{i=1}^{r}U_{x_i}$. [/mm]


>  
> Insgesamt folgt
>  
> also
>  [mm]f(X)\subset \bigcup_{i \in I \subset \mathh{R}}f(U_{i}(xi)) \subset R[/mm]
>  
> wobei [mm]x_i \in X[/mm]

Besser: $f(X) [mm] \subset f\left(\bigcup_{i=1}^{r}U_{x_{i}}\right) [/mm] = [mm] \bigcup_{i=1}^{r}f(U_{x_i})$, [/mm]

Eine endliche Vereinigung von beschränkten Mengen ist wieder beschränkt.

Daraus folgt, dass der Bildbereich von f unter X beschränkt ist.

Viele Grüße,
Stefan

Bezug
                                
Bezug
Kompaktheit: Mitteilung
Status: (Mitteilung) Reaktion unnötig Status 
Datum: 23:45 Fr 18.03.2011
Autor: Nadia..

Vielen dank, ich werde das so machen.


Lg

Nadia

Bezug
Ansicht: [ geschachtelt ] | ^ Forum "Reelle Analysis mehrerer Veränderlichen"  | ^^ Alle Foren  | ^ Forenbaum  | Materialien


^ Seitenanfang ^
www.matheforum.net
[ Startseite | Forum | Wissen | Kurse | Mitglieder | Team | Impressum ]