Übungsblatt 3 (Analysis für Informatiker) (Stens)

Aus Infostudium Wiki

Wechseln zu: Navigation, Suche

Inhaltsverzeichnis

Aufgabe 1

  • Ist (a_n)_{n\in\N} konvergent und (b_n)_{n\in\N} bestimmt divergent gegen \infty, so ist (a_n\cdot b_n)_{n\in\N} bestimmt divergent gegen \infty. Achtung: a könnte gegen 0 laufen.


Aufgabe 3

Zeigen Sie Lemma 1.8

a)

Der Durchschnitt beliebig vieler abgeschlossener Mengen ist abgeschlossen.


Fall 1 : der Durchschnitt ist leer \Rightarrow Trivial da \emptyset abgeschlossen ist. Fall 2 : der Durschschnitt ist nicht leer: A:=\bigcap_{i=1}^{n} A_{i} ~ i \in \mathbb{N} ~ A_{i} ist abgeschlossen. Z.z. ist A ist abgeschlossen.
A =_{Lemma~1.4~(8)} \complement( \complement A) =_{Def.} \complement( \complement \bigcap_{i=1}^{n} A_{i}) =_{Lemma~1.4~(10)} \complement(\underbrace{\bigcup_{i=1}^{n}  \underbrace{\complement A_{i})}_{offen~nach~L.~1.7}}_{offen~nach~L.~1.5} \Rightarrow A ist somit Komplement von einer offenen Menge \Rightarrow A ist nach Lemma 1.7 abgeschlossen

b)

Die Vereinigung endlich vieler abgeschlossener Mengen ist abgeschlossen.

Genau wie Fall a) nur die anderen Teile vom Lemma 1.7 benutzen. Achtung! Bei der Definition die endlichkeit nicht vergessen. Also | Ai | endlich

Aufgabe 4

Beweisen Sie die folgenden Aussagen von Satz 2.2 der Vorlesung mithilfe der der Definition 2.3:

Satz 2.2 Seien \alpha\in\R sowie (a_n)_{n\in\N} und (b_n)_{n\in\N} reelle Folgen mit \lim_{n\to\infty}a_n=a\in\R und \lim_{n\to\infty}b_n=b\in\R. Dann gilt:

  1. \lim_{n\to\infty} \alpha a_n =\alpha a.
  2. \lim_{n\to \infty} a_n + b_n =a + b.

Hinweis: Sie dürfen für die Bearbeitung der Aufgabe keine Ergebnisse verwenden, die erst nach Definition 2.3 vorgestellt werden.


Bearbeitung (a) 2 Fälle α = 0 und α ungl. 0


1.Fall klar!

2.Fall:

Setze Grenzwert von |an - a| < e/|α|

Dann hast du |α*an -α*a| = |α| * |an - a| < |α| * e/|α| = e


(b)

1. Setzte Grenzwerte von Folge an und bn auf |e/2|

Nun wie in (a) mit Hilfe der Dreiecksungleichung.

Aufgabe 5

Zeigen Sie mithilfe der Definition 2.3, dass die reelle Folge (a_n)_{n\in\N} mit a_n=\frac{5n^2}{n^2+1} für n\in\N konvergiert.

Hinweis: Sie dürfen für die Bearbeitung dieser Aufgabe keine Ergebnisse verwenden, die erst nach Definition 2.3 vorgestellt werden.

Bearbeitung: 1.) Schauen gegen was es konvergiert (a)

2.) |an - a| zu einem Bruch machen, umformen, Betrag raushauen, und nach oben abschätzen

Aufgabe 6

Bestimmen Sie, falls existent, den Grenzwert der Folge (x_n)_{n\in\N}.

a) Seien k,l\in \N mit k > l. Dann sei x_n=\left(1+\frac{1}{n^k}\right)^{(n^l)} fur alle n\in\N.

Hinweis: Benutzen Sie (ohne Beweis) das Sandwich-Lemma (siehe unten) und die Bernoullische Ungleichung.

b) x_n= \sqrt{9n^2+23n+47}-3n fur alle n\in\N.

Hinweis: Sie dürfen ohne Beweis benutzen:

Korollar: Sei (cn) eine reelle Folge mit c_n\geq 0 für alle n\in\N. Dann gilt \lim_{n\to\infty}\sqrt{c_n}=\sqrt{\lim_{n\to\infty}c_n}.

Bemerkung: Auch in den folgenden Übungen dürfen Sie das folgende Lemma benutzen.

Lemma (Sandwich-Lemma)

Seien (a_n)_{n\in\N}, (b_n)_{n\in\N} und (c_n)_{n\in\N} Folgen reeller Zahlen mit

  1. Es gibt ein n_0\in\N, so dass für alle n\in\N mit n\geq n_0 gilt a_n\leq b_n\leq c_n.
  2. (a_n)_{n\in\N} und (c_n)_{n\in\N} sind konvergent mit \lim_{n\to\infty} a_n=a=\lim_{n\to\infty} c_n.

Dann konvergiert auch die Folge (b_n)_{n\in\N} mit \lim_{n\to\infty} b_n=a.

Aufgabe 7

Eine Datenbank muss häufig neu sortiert werden, als Erfahrungswerte erhält man für die beiden Sortieralgorithmen in etwa den Aufwand in Abhängigkeit von der Zahl n der zu sortierenden Eintrage:

  • Bubblesort: b_n:=\frac{1}{2}\sum_{k=1}^n (1+3k) und
  • Insertsort: i_n:=\sum_{k=1}^{n} (2+2k)

Welches der beiden Verfahren ist für sehr große Datenbanken zu empfehlen? Berechnen Sie dazu den Grenzwert der Folge (b_n/i_n)_{n \in \N} und interpretieren Sie das Ergebnis.

Vorgehen:

Die Summen mit dem kleinem Gauß in Terme umformen, dann den Bruch bilden, schon sieht man, wogegen es strebt. 3/4 sollte das richtige Ergebnis sein.

Daraus folgt, dass Bubblesort für größere (und nebenbei bemerkt für alle) n der effizientere Algorithmus ist.

Achtung: Es kann sein, dass man erst den kleinen Gauß durch vollständige Induktion beweisen muss.