+2 Daumen
2,9k Aufrufe

ich tu mich noch relativ schwer beim Umgang mit topologischen Grundlagen und hab jetzt auf dem Übungszettel Aufgaben dazu. Kann mir jemand Tipps zu folgenden Aufgaben geben bitte?

Bei a.) muss ich ja nur zeigen, dass der Raum vollständig ist. Sprich ich muss zeigen, dass jede Cauchy Folge konvergiert. Das heißt ich nehm eine beliebige Cauchy Folge her in diesem Raum. Alle Folgenglieder sind Supremi einer beschränkten Folge im Vektorraum der beschränkten Folgen, also sicher kleiner als unendlich, und irgendwann wird der Abstand zwischen zwei Gliedern kleiner als jedes beliebige Epsilon. Nur wie ich dann auf den Beweis komme, dass die Folgen dann auch konvergieren, weiß ich echt nicht...

Bei b.) bin ich noch ein bisschen planloser,

LG Mathstiger

Analysis.JPG

Avatar von

1 Antwort

+3 Daumen

Bei a.) muss ich ja nur zeigen, dass der Raum vollständig ist.

Nein, Du sollst zeigen, dass ein vollstaendiger normierter Vektorraum vorliegt. Das sind drei Sachen. Wobei schon in der Aufgabe drin steht, dass ein Vektorraum vorliegt. Also noch zwei Sachen. Wobei man jetzt noch sagen kann, dass auch schon die Normbehauptung in der Aufgabe drin steht. Also doch bloss Vollstaendigkeit. Wie willst Du es halten?

Avatar von

Ja ich hab mir schon gedacht, dass man annehmen kann, dass das was in der Angabe drinnen steht für wahr nehmen kann. Zumindest wurde uns das letztens gesagt.

LG Mathstiger

Du musst für die Vollstaendigkeit eine Cauchyfolge in der gegebenen Norm von Elementen aus V betrachten. Das ist also eine Cauchy-Folge von beschraenkten Folgen. Denk Dir zuerst eine Notation für Folgen von Folgen aus und formuliere das damit mal.

Oke gut probieren wir es einmal: Ich betrachte eine Cauchy - Folge x_n aus diesem Vektorraum. Die Folgenglieder dieser C.F. sind selber beschränkte komplexe Folgen. Das heißt ich wähle zum Beispiel als C.F. die Folge x_(a_n). Ich weiß also dass es für alle Epsilon größer null, es ein a_N aus V gibt, sodass für alle a_n und a_m größer als a_N gilt: d(x_(a_n),(x_(a_m))< epsilon. Zeigen muss ich, dass die Folge auch konvergiert: Sprich für alle Epsilon größer null, gibt es ein a_N aus V, sodass für alle a_n > a_N gilt, dass d(x_(a_n),x_(a))< Epsilon. Stimmt das soweit?

Eher so: Wir schreiben z.B. (xn)=(x1(k),x2(k),x3(k),,xn(k),).(x_n)=\left(x_1^{(k)}, x_2^{(k)}, x_3^{(k)},\ldots,x_n^{(k)},\ldots\right). Der obere Index ist für die inneren Folgenglieder. Dann haben wir xmxn=sup{xm(k)xn(k) : kN}<ε\lVert x_m-x_n\rVert_\infty=\sup\left\{\left|x_m^{(k)}-x_n^{(k)}\right|: k\in\mathbb{N}\right\}<\varepsilon für grosse m,nm,n. Zu zeigen ist, dass dann ein Grenzwert ξ=(ξ(1),ξ(2),ξ(3),)V\xi=\left(\xi^{(1)}, \xi^{(2)}, \xi^{(3)},\ldots\right)\in V (also auch eine Folge) existiert, d.h. es muss xnξ=sup{xn(k)ξ(k) : kN}0\lVert x_n-\xi\rVert_\infty=\sup\left\{\left|x_n^{(k)}-\xi^{(k)}\right|:k\in\mathbb{N}\right\}\to0 gelten. So sieht die Sache aus. Denke eine Weile drueber nach. :)

Gut hab einmal eine Weile drüber nachgedacht. Ich wäre jetzt vermutlich irgendwie so vorgegangen, vielleicht ein bisschen zu viel Wunschdenken dabei:

Hätte einen Beweis durch Widerspruch probiert. Nehme also an, dass die Folge x_n nicht gegen ξ in dieser Norm konvergiert. Das heißt, es gibt ein ε>0, für alle Folgenglieder k beider Folgen das nie unterschritten wird. Jetzt hätte ich probiert einen Grenzwert ξ zu konstruieren, indem ich annehme, dass (x_11, x_21, x_31...,x_n1, ξ1) gelte. Das Gleiche auch für k = 2, 3, 4,...

Komponentenweise Konvergenz nennt sich das glaub ich, was ich da ausnützen will, um einen Grenzwert zu konstruieren. Nur weiß ich überhaupt nicht ob ich das machen darf? Wahrscheinlich, weil x_n eine Cauchy Folge ist und der Abstand zweier Folgenglieder (also zweier Folgen) immer kleiner werden muss.

Wenn ich das so annehme ist klar, dass meine Cauchy Folge meinem ξ beliebig nahe kommt und in dieser Norm, dann irgendwann kleiner als jede beliebige ε wird. Womit ich meinen Widerspruch zur Annahme hab.

Bitte um Antwort,

Mathstiger

Ob in VV Konvergenz komponentenweise Konvergenz bedeutet, waere zu untersuchen. Wir sind hier nicht im Rn\mathbb{R}^n. Die Idee, die Grenzfolge (ξ(k))\left(\xi^{(k)}\right) zuerst zu konstruieren, ist gut. Wenn man kk festhaelt, was ist dann (xn(k))\left(x_n^{(k)}\right)?

Dann bekommt man für das festgehaltene k von unserer gewählten Cauchy Folge wieder eine Folge oder?

Bei festgehaltenen k folgt dann x_nk = (x_1k, x_2 ^ (k),..., x_nk, ξk) für ein bestimmtes vorher gewähltes k oder?

Das ist dann eine neu konstruierte Folge. Ist die Frage ob das dann auch eine Cauchy Folge wieder ist? Wahrscheinlich schon. Bitte um weitere Hilfe

LG Mathstiger

Wenn man kk festhaelt, ist (xn(k))\left(x_n^{(k)}\right) eine gewoehnliche Folge in C\mathbb{C}. Ausserdem ist es auch eine Cauchy-Folge in C\mathbb{C}.

(1) Warum?

Jedenfalls existiert deshalb ein ξ(k)C\xi^{(k)}\in\mathbb{C} mit limnxn(k)=ξ(k)\lim_{n\to\infty}x_n^{(k)}=\xi^{(k)}. Damit haben wir unseren Kandidaten ξ\xi für den Grenzwert von (xn)(x_n) erhalten. Es bleibt noch zu zeigen:

(2) ξV\xi\in V, d.h. die Folge (ξ(k))\left(\xi^{(k)}\right) muss beschraenkt sein.

(3) Es gilt tatsaechlich xnξx_n\to\xi bzgl. \lVert\,\cdot\,\rVert_\infty, d.h. es muss limnxnξ=0\lim_{n\to\infty}\lVert x_n-\xi\rVert_{\infty}=0 sein.

Einen Plan hast Du damit. Du musst bloss noch die einzelnen Punkte abarbeiten.

1.) Wäre (xn)k keine Cauchy-Folge in ℂ, dann wäre auch unsere gewählte Gesamt-Cauchy Folge in V keine Cauchy Folge mehr. Dann gebe es einen Index k oben, der die Bedingung, dass der Abstand zwischen zwei Folgenglieder kleiner als jedes ε wird, nicht erfüllt. Sprich durch unsere Ausreißerfolge, bekommen wir ein neues sup > 0 der Menge. Glaub ich zumindest, dass es so geht.

2.) Da ξk eine Cauchy Folge ist, muss die Folge auch beschränkt sein. Der Abstand zweier Folgenglieder von ξk wird irgendwann beliebig klein, also kann die Folge nicht ins Unendliche weiter wachsen.

3.) Dies muss gelten, da alle Komponenten (bei festgehaltenen k) dann wegen 1.) Cauchy Folgen sind. Im Grenzwert n ->oo nähern sich dann alle ξk an, sodass alle den Wert von ξ annehmen und der sup von allen Komponenten k, von allen xn - ξ mit vorgegebener Norm 0 wird.

Gut vor allem das 3.) wird man viel besser formulieren können, nur ich möchte wissen inwieweit ich da auf dem Holzweg bin

LG Mathstiger

Zu 1): Man haette da gerne ein kurzes direktes Argument basierend auf der Definition des Supremums.

Zu 2): ξ\xi ist i. Allg. keine Cauchyfolge!

Zu 3): Behaupten kann man viel.

Oh oke alles falsch, super...

2.Versuch:

(1) Da bei unser gewählten Cauchyfolge, ab einer gewissen Folge das sup {|xn- xm |} gegen 0 geht für alle k, muss es erst recht für ein einziges festgewähltes k gelten.

(2) ξ ist beschränkt, weil alle x_nk beschränkt sind, da Cauchy Folgen. (für fest gewähltes k). Also alle ξk sind beschränkt, damit auch die gesamte Folge ξ.

(3) Da hab ich ehrlich gesagt wenig Plan. ξk ist der Grenzwert der Folge x_nk bei festgehaltenen k. Da x_nk eine Cauchy Folge ist, folgt, dass für große m der Abstand zweier Folgenglieder beliebig klein wird. Das sup für alle {|x_nk - ξk|} geht bei großem n gegen 0 dann.

(2) ξ ist beschränkt, weil alle x_nk beschränkt sind, da Cauchy Folgen.

Wie kommst Du da drauf? Zunaechst mal gilt nur, dass es zu jedem kk eine Konstante MkM_k mit xn(k)Mk\left|x_n^{(k)}\right|\le M_k für alle nn gibt. Damit ist noch lange nicht gezeigt, dass man auch mit einer von kk unabhaengigen Konstanten auskommen kann. (Es koennte z.B. Mk=kM_k=k sein.) Genau das braucht man aber, um die Beschraenktheit von ξ\xi nachzuweisen. Aus xn(k)M\left|x_n^{(k)}\right|\le M folgt naemlich durch Grenzuebergang ξ(k)M\left|\xi^{(k)}\right|\le M.

Ich geb Dir einen Tipp: (xn)(x_n) ist eine Cauchyfolge in VV bzgl. \lVert\,\cdot\,\rVert_\infty. Und Cauchyfolgen sind ja bekanntlich beschraenkt. Also gibt es eine Konstante MM mit xnM\lVert x_n\rVert_\infty\le M für alle nn.

Und bei (3) machst Du den gleichen Fehler. Du nimmst einfach an, dass xn(k)ξ(k)\left|x_n^{(k)}-\xi^{(k)}\right| für alle kk beliebig klein wird, wenn man nur nn gross genug macht. Dafuer gibt es erstmal keinen Grund. Die Konvergenz koennte z.B. mit wachsendem kk ohne Ende immer schlechter werden. Ein simples Beispiel dafuer waere xn(k)=k/nx_n^{(k)}=k/n.


Naja immerhin (1) stimmt, bin ich schon froh. Mühsam ernährt sich das Eichhörnchen.

(2) Gut, xn ist eine Cauchyfolge in V bzgl. der vorgegebenen Norm. Da Cauchyfolgen beschränkt sind, gibt es eine Konstante M mit ||xn||oo≤ M für alle n. Nach Definition der Norm muss dann sup {|xn|:n∈ℕ} ≤ M gelten für alle Folgen dieser Cauchyfolge. Das heißt für alle n
gibt es eine obere Schranke M, die alle Folgen in dieser Folge bzgl.
der Norm nach oben beschränkt. Im Grenzübergang folgt dann, dass |ξk| auch gegen dieses M beschränkt sein muss.

(3) Oke ich bin immer noch äußerst planlos...

Ich muss zeigen: ||xn-ξ||oo = sup {|xnkk|: k ∈ ℕ} → 0. Das heißt ich muss zeigen, dass die Abstände irgendwann in jedem Folgenglied k gegen 0 gehen. Ich frag jetzt schon ziemlich verunsichert: Kann ich das über die in (1) bewiesen Eigenschaft machen? Nämlich, dass alle Folgen bei festgehaltenen k Cauchyfolgen sind. Das
heißt im Grenzwertübergang wird der Abstand |xnk - ξk| beliebig klein für jedes festgehaltene k und damit folgt die zu zeigende Aussage.

Vielleicht fang ich auch schon einmal an meine Gedanken zu b.) nieder zu schreiben:

1.) Beschränkheit: Gut, das ist find ich klar: Jedes sup einer Folge in dieser Einheitskugel ist beschränkt, nach oben durch 1. Das impliziert aber auch sofort, dass jede Folge beschränkt ist durch 1 und damit auch die ganze Einheitskugel.

2.) Abgeschlossen: Zeigen müsste ich, dass der Grenzwert jede Folge von Folgen wieder in der Einheitskugel liegt. Dann nehm ich einfach eine beliebige Cauchyfolge in der Einheitskugel her. Ich weiß aber, dass alle Folgen in dieser Folge beschränkt. Das heißt jedes einzelnes xnk bei festem k und bei festem n, ist sicher nach oben durch 1 beschränkt. Dann konstruiere ich wieder wie in a.) Cauchy-Folgen bei festgewählten k. Im Grenzübergang folgt, dass ξk auch beschränkt ist durch 1 und deswegen in der Einheitskugel drinnen liegt.

3.) Nicht folgenkompakt: Da hab ich ehrlicherweise keine Ahnung wie ich auf so ein Gegenbeispiel kommen kann. Ich tu mich da im Moment zu schwer überhaupt eine Folge von Folgen ordentlich vorstellen zu können.

Da Cauchyfolgen beschränkt sind, gibt es eine Konstante M mit ||xn||oo≤ M für alle n. Nach Definition der Norm muss dann sup {|xn|:n∈ℕ} ≤ M gelten

Nur dass das eben nicht die Definition von xn\lVert x_n\rVert_\infty ist. Die lautet ja eben xn : =supkNxn(k)\lVert x_n\rVert_\infty:=\sup_{k\in\mathbb{N}}\left|x_n^{(k)}\right|.

Das heißt im Grenzwertübergang wird der Abstand |xnk - ξk| beliebig klein für jedes festgehaltene k und damit folgt die zu zeigende Aussage. 

Ich hab's Dir oben bereits mit Gegenbeispiel erklaert. Besagter Abstand muss gleichmaessig in kk klein werden, wenn man nn gross macht. Dass er für jedes feste kk mit wachsendem nn klein wird, reicht nicht. Wir betrachten hier abzaehlbar unendlich viele Folgen parallel. Da muss (im Gegensatz zu endlich vielen Folgen) keine am schlechtesten konvergierende Folge dabei sein. Die Konvergenz kann ohne Ende immer schlechter werden. In diesem Falle haette man zwar Konvergenz für jedes feste kk, aber keine Konvergenz in der Supremumsnorm.

Und weiter geht's, bin echt gespannt wann ich das richtig mache.

2.) Gut, xn ist eine Cauchyfolge in V bzgl. der vorgegebenen Norm. Da Cauchyfolgen beschränkt sind, gibt es eine Konstante M mit ||xn||oo≤ M für alle n. Nach Definition der Norm muss dann sup k∈ℕ {|xnk|} ≤ M gelten für alle Folgen dieser Cauchyfolge. Gut das impliziert schon, dass das jeweilige ξk auch gegen dieses M beschränkt ist.

3.) Ich muss zeigen: ||xn-ξ||oo = sup {|xnkk|: k ∈ ℕ} → 0. Das heißt ich muss zeigen, dass die Abstände irgendwann in jedem Folgenglied k gegen 0 gehen. Und zwar muss der Abstand für jedes k gleichmässig klein werden. Muss man da als Argument vorbringen, dass alle Folgen xnk für alle k∈ℕ gegen M beschränkt sind. Und dadurch, dass sie Cauchy Folgen sind, werden sie alle gleich alle gegen dieses M klein genug. (Ja ich weiß. ich hab schon wieder dieses Argument gebracht, nur ich weiß bald nicht mehr, was ich noch sagen kann)

Hast Du jetzt eigentlich das Gegenbeispiel zu Deiner Argumentation für (3) xn(k)=k/nx_n^{(k)}=k/n studiert und verstanden? Fuer jedes feste kk gilt limnxn(k)=0\lim_{n\to\infty}x_n^{(k)}=0, aber es gibt kein NN, so dass xn(k)<ε\left|x_n^{(k)}\right|<\varepsilon für n>Nn>N und alle kk, denn es muss dafuer ja n>N : =k/εn>N:=k/\varepsilon gelten. Wenn kk nur aus einer endlichen Menge waere, koenntest Du Dich am groesstmoeglichen Wert kmaxk_{\text{max}} orientieren und n>N : =kmax/εn>N:=k_{\text{max}}/\varepsilon nehmen. Es ist aber kNk\in\mathbb{N} bei der Aufgabe hier. Anders gesagt: Im Raum aller Folgen mit Supremumsnorm folgt aus komponentenweiser Konvergenz keine Konvergenz in der Norm. Dass es im Raum aller beschraenkten Folgen aber stimmt, ist explizit zu zeigen. Du musst dazu ein NN angeben koennen, dass unabhaengig von kk ist.

Bei Teil (2) ist das Problem das Gleiche.

Frustrierend, dass ich so rein gar nichts schaffe und auch ehrlicherweise nicht alles verstehe... Wie kommst du zum Beispiel darauf, dass im Gegenbeispiel N = k/ε gelten muss?

(2): Du hast mir als Tipp gegeben: xn ist eine Cauchyfolge in V bzgl. der vorgegebenen Norm. Da Cauchyfolgen beschränkt sind, gibt es eine Konstante M mit ||xn||oo≤ M für alle n. Nach Definition der Norm muss dann sup k∈ℕ {|xnk|} ≤ M gelten. Ausgeschrieben bedeutet dies, dass das sup für alle festen k der Menge {|x1k|, |x2k|, |x3k|,...,|ξk|} ≤ M ist, oder? Stimmt das soweit?

(3) Kannst du mir bitte zeigen, wie man das angeht ein N zu finden? Ich muss also mit der Folgen-Definition arbeiten: Für alle ε>0 gibt es ein N aus ℕ, sodass für alle n>N und alle k∈ℕ: |xnk - ξ|< ε gilt. Kann man da irgendwas per Widerspruch machen? Ich hab keine Ahnung mehr, was ich machen soll?

Tut mir leid, aber bitte hilf mir nochmal ein bisschen

Du Lösung zu dem Problem ist doch von Anfang an in die Aufgabe eingebaut: VV ist der Raum der Folgen mit endlicher Supremumsnorm (also der beschraenkten Folgen). Muss man bloss auch merken und benutzen.

Wenn (xn)(x_n) eine Cauchy-Folge in VV ist, dann hat man zu jedem ε>0\varepsilon>0 ein NN, sodass für m,n>Nm,n>N gilt: xmxn<ε\lVert x_m-x_n\rVert_\infty<\varepsilon. Nach Definition der Supremumsnorm gilt dann auch xn(k)xm(k)<ε\left|x_n^{(k)}-x_m^{(k)}\right|<\varepsilon für m,n>Nm,n>N und alle kk. Man kann also für alle kk dasselbe NN nehmen; es haengt nur von ε\varepsilon ab.

Analog bei der Beschraenktheit: xn(k)xnM\left|x_n^{(k)}\right|\le\lVert x_n\rVert_\infty\le M. Das gilt so für alle nn und alle kk mit ein und demselben MM.

So einfach eigentlich, wenn man es könnte...

Gut zur Zusammenfassung:

Um zu zeigen, dass der Raum V mit der Supremumsnorm vollständig ist, muss ich eine beliebige Cauchy Folge hernehmen und zeigen, dass diese konvergiert.

Sei (xn) eine beliebige Cauchy Folge in V. (xn) := (x1(k), x2(k), x3(k)... xn(k)...)

Zu zeigen ist die Existenz einer Grenzfolge ξk in der Supremumsnorm. Wenn man k festhält, dann ist (x1(k), x2(k), x3(k)... xn(k)...) eine normale Cauchy Folge in ℂ. Warum ist das so? Weil bei unser gewählten Cauchyfolge (xn), ab einer gewissen Folge das sup {|xn- xm|} gegen 0 geht für alle k, muss es erst recht für ein einziges festgewähltes k gelten. Dadurch erhalten wir einen Kandidaten für unseren Grenzwert ξk

Es bleibt noch zu zeigen, dass ξ aus V ist und dass die Folge xn auch tatsächlich gegen ξ konvergiert bzgl. der Supremumsnorm.

Beschränktheit: xn ist eine Cauchyfolge in V bzgl. der vorgegebenen Norm. Da Cauchyfolgen beschränkt sind, gibt es eine Konstante M mit ||xn||oo≤ M für alle n. Nach Definition der Supremumsnorm gilt das dann auch für alle k aus N. Sprich man kann das für alle ein und dasselbe M wählen.

Grenzwert: xn ist eine Cauchyfolge in V, dann hat man zu jedem ε>0 ein N, sodass für m,n > N gilt: ||xm-xn||oo < ε. Nach Definition der Supremumsnorm gilt das dann auch für alle k. Man wählt also für alle k dasselbe N. Im Grenzübergang folgt, dann das ||xnkk||oo < ε.

Passts in etwa so?

(Es gibt ja auch noch ein b.)...)

Deine "Zusammenfassung" ist konfus, unvollstaendig und an etlichen Stellen schlicht falsch. Die Sache beginnt, sich im Kreise zu drehen, und mir faellt nichts Neues mehr ein.

Zu b): B1(0)B_1(0) so wie angegeben ist in jedem normierten Raum beschraenkt und abgeschlossen. Da brauchst Du Dich nicht mit Folgen von Folgen zu verkuensteln. Beim Gegenbeispiel zur Kompaktheit allerdings schon.

Was in der Aufgabe schlicht VV heisst, ist in der Literatur als \ell^\infty bekannt. Schau in Lehrbuecher oder probiere eine Suchmaschine.

Seufz tut mir leid, dass ich dich so genervt hab. Danke für die Hilfe, ich werd noch einmal das Ganze besser zusammenfassen, weil im Grunde hast du mir eh alles gesagt was zu sagen ist.

LG und Danke für die Mühe

Und nein wir hatten nie einen Satz wie: B1(0) so wie angegeben ist in jedem normierten Raum beschraenkt und abgeschlossen. Also spiel ich das weiter....

Ein anderes Problem?

Stell deine Frage