5-6 Riemann Integral, Folgen und Grenzwerte
Analysis vom ETH-Basisjahr Mathematik bzw. Physik oder RW; Dozent Peter Jossen; zum Kapitel 5 und 6 aus der Vorlesung
Analysis vom ETH-Basisjahr Mathematik bzw. Physik oder RW; Dozent Peter Jossen; zum Kapitel 5 und 6 aus der Vorlesung
Fichier Détails
Cartes-fiches | 46 |
---|---|
Langue | Deutsch |
Catégorie | Mathématiques |
Niveau | Université |
Crée / Actualisé | 18.06.2020 / 08.06.2025 |
Lien de web |
https://card2brain.ch/box/20200618_6_folgen_und_grenzwerte
|
Intégrer |
<iframe src="https://card2brain.ch/box/20200618_6_folgen_und_grenzwerte/embed" width="780" height="150" scrolling="no" frameborder="0"></iframe>
|
Definition Exponentialfunktion
\(e^x\)
\(\exp(x) = \lim\limits_{n \to \infty} \left( 1 + \frac{x}{n} \right)^n\)
\(\exp(1) = \lim\limits_{n \to \infty} \left( 1 + \frac{1}{n} \right)^n = \mathrm e\) die euler'sche Zahl
Eigenschaften Exponentialfunktion
\(\exp(x)\)
\(\exp: \mathbb R \to \mathbb R_{>0}\)
bijektiv, streng monoton steigend, stetig
\(\exp(0) = 1 \\\exp(-x) = \exp(x)^{-1} \quad \forall x \in \mathbb R \\\exp(x+y) = \exp(x) \exp(y) \quad \forall x,y \in \mathbb R\)
Zerlegung von \([a,b]\)
endlich viele Elemente (Trennungspunkte \(x_i\)): \(a=x_0 < x_1 < \dots < x_n = b\)
\([a,b] = \{ x_0 \} \cup(x_0,x_1)\cup \{x_1\} \cup \dots \cup (x_{n-1}, x_n) \cup \{x_n\}\)
Treppenfunktion
Eine Funktion \(f:[a,b] \to \mathbb R\) heisst Treppenfunktion, falls eine Zerlegung von \([a,b]\) existiert, sodass:
\(f|_{(x_{i-1},x_{i})} = c_i\) konstant \(\forall i = 1, \dots, n\) (\(c_i\) : Konstanzwert)
i.e. \(f\) ist Treppenfunktion bezüglich dieser Zerlegung
Wir schreiben:
\(\int\limits_a^b f(x) dx = \sum\limits_{i=1}^n (x_i - x_{i-1}) \cdot c_i\)
Die Menge aller Treppenfunktionen sind ein Vektorraum:
Die Abbildung
\(I: \mathcal F([a,b]) \to \mathbb R \\\quad \ f \longrightarrow \int_a^b f(x) dx = I(f)\)
erfüllt:
- Linearität:
\(I(f+c\cdot g)=I(f) + c \cdot I(g)\) - Monotonie:
\(g \le f \Rightarrow I(g)\le I(f)\) - Eichung:
\(I(\mathbf1_{[c,d]}) = d-c\quad \forall [c,d] \subseteq [a,b]\)
Beschränkte Funktion \(f:[a,b] \to \mathbb R\) ist Riemann integrierbar, falls
\(\inf \big( \mathcal O(f) \big) = \sup \big(\mathcal U (f) \big)\)
mit Untersumme \(\mathcal U (f) \) und Obersumme \(\mathcal O(f)\):
\(\mathcal U(f) = \left\{ \int\limits_a^b u dx \,\bigg| \, u \in \mathcal{TF}, u\le f\right\}\)
\(\mathcal O(f) = \left\{ \int\limits_a^b o dx \,\bigg| \, o \in \mathcal{TF}, o \ge f\right\}\)
Insbesondere ist jede \(\mathcal {TF}\) (Treppenfunktion) Riemann integrierbar.
Beispiel für beschränkte, nicht Riemann integrierbare Funktion
z.B. :
\(f:[0,1] \to \mathbb R, f(x) = \bigg \{ \begin{matrix}1 && x \in \mathbb Q \\0 && \text{sonst}\end{matrix}\)
Nützliche Umformung der Definition von Riemann integrierbarkeit
Beschränkte Funktion \(f: [a,b] \to \mathbb R\) ist Riemann integrierbar, falls \(\forall \varepsilon > 0\)..
\(\exists u,o \in \mathcal{TF}, u \le f \le o : \ \)\(\int_a^b (o-u) dx < \varepsilon\)
Dreiecksungleichung für Integrale
\(\left| \int_a^b f \ dx\right| \le \int_a^b |f(x)| \ dx\)
Sei \(f:[a,b] \to \mathbb R\) monoton. Dann..
ist f integrierbar
Sei \(f:[a,b] \to \mathbb R\) stetig. Dann..
ist f integrierbar.
(Intervall [a,b] kompakt, also f gleichmässig stetig. Wähle \(\delta > x_k -x_{k-1} \quad \forall k = i,\dots, n\) )
Insbesondere sind Polynomfunktionen integrierbar.
metrischer Raum
\((X,d)\) Menge mit Distanzfunktion bzw. Metrik
def. Distanzfunktion?
\(d:X \times X \to \mathbb R_{\ge 0}\)
- Definitheit \(d(x,y) \ge 0\), \(d(x,y)=0 \Longleftrightarrow x=y\)
- Symmetrie \(d(x,y) = d(y,x)\)
- Dreiechsungleichung \(d(x,y) + d(y,z) \ge d(x,z)\)
Beispiele von Metriken
- Standardmetrik auf \(\mathbb R, \ \mathbb C \simeq \mathbb R^2, \ \mathbb R^n\) \(d(x,y) = |x-y|\)
- diskrete Metrik \(d(x_1,x_2) = \Big\{ \begin{smallmatrix}1 && \text{falls} \ x_1 \not = x_2 \\ 0 && \text{falls} \ x_1 = x_2\end{smallmatrix}\)
- kürzester Weg (\(n \in \mathbb N\)) beim kominatorischen Graphen
- "SNCF-Metrik" oder "NY-Metrik" im \(\mathbb R^2\)
\(d(x,y) = \bigg\{ \begin{smallmatrix} |x| + |y| && \text{falls x,y nicht kolinear} \\ |x - y| && \text{falls x,y kolinear} \end{smallmatrix}\), \(d(x,y) = d \left( \big( \begin{smallmatrix} x_1 \\ x_2 \end{smallmatrix} \big) , \big( \begin{smallmatrix} y_1 \\ y_2 \end{smallmatrix} \big) \right) = |x_1-y_1| + |x_2-y_2|\) - mit \(X = \mathcal C ([a,b])\) (stetige Fct. auf [a,b]): \(d(f,g) = \max\{ |f(x)-g(x)| \, \big| \, x \in [a,b]\}\)
- mit \(X = \mathcal C ([a,b])\) \(d(f,g) = \int_a^b |f(x) - g(x)| \, dx\)
Sei \((X,d)\) metrischer Raum.
Was ist ein Ball?
\(B(x_0, r) = \{ x\in X \,|\,d(x, x_0) < r \} \) mit \(x_0 \in X, r\in \mathbb R_{>0}\)
ein offener Ball mit Zentrum \(x_0\) und Radius \(r\)
Sei \((X,d)\) metrischer Raum, \(A \subseteq X\) Teilmenge.
Wann heisst \(A \) beschränkt?
Falls:
\(\exists R \ge 0 : d(x,y) \le R \quad \forall x,y \in A\)
bsp. \(A = \mathbb Z \subseteq \mathbb R\) ist nicht beschränkt
Sei \((X,d)\) metrischer Raum, wir sagen Teilmenge\(A \subseteq X\) sei offen, wenn:
\(\forall x_0 \in A \ \exists \delta >0 : B(x_0, \delta) \subseteq A\)
Und \(B \subseteq X\) abgeschlossen, falls \(X \backslash B\) offen.
Stetigkeit im metrischen Raum
(in einem Punkt, auf ganzer Funktion, gleichmässige Stetigkeit und Lipschitzstetigkeit)
metrische Räume (X,d) und (Y,d)
Funktion \(f: X \to Y\) heisst stetig im Punkt \(x_0 \in X\) falls:
\(\forall \varepsilon >0 \ \exists \delta >0 : \ \)\(d_X(x,x_0) < \delta \Longrightarrow d_Y \big((f(x), f(x_0) \big) < \varepsilon\)
(\(f\) stetig, wenn stetig in jedem Punkt, also obiges \(\forall x_0 \in X\); zu jedem Punkt und \(\varepsilon\) ein \(\delta\))
gleichmässig stetig: Wenn obiges \(\forall x,x_0 \in X\), also ein \(\delta(\varepsilon)\) für alle Punkte
Lipschitz stetig: \(\exists L \ge 0 : d_Y \big( f(x_1), f(x_2) \big) \le L \cdot d_X(x_1,x_2)\)
Sei \(f : X \to Y \) stetig mit \((X,d), (Y,d)\) metrische Räume.
Dann ist äquivalent:
Für jede offene Teilmenge \(U \subseteq Y\) ist das Urbild \(f^{-1}(U) \subseteq X\) offen.
\(f^{-1}(U) = \{x \in X \,|\, f(x) \in U\}\)
Folgen
Funktion \(x: \mathbb N \to X\) (kann auch auf einen Funktionenraum wie z.B. \(\mathcal C ([0,1])\) stetige Fct auf [0,1] gehen)
schreibe Folgeglieder als \(x(n) = x_n\)
gesamte Folge als \((x_n)^\infty_{n=0}\) geschrieben
Folge heisst beschränkt, wenn ihr Bild beschränkt ist.
Grenzwert/Limes einer Folge
Sei Folge \((x_n)_{n=0}^\infty\) auf metrischem Raum \((X,d)\).
Element \(a \in X\) heisst Grenzwert, falls:
\(\forall \varepsilon > 0 \ \exists N \in \mathbb N :\) \(n \ge N \Longrightarrow d(a, x_n) < \varepsilon\)
Schreibe auch \(a = \lim\limits_{n \to \infty} x_n\)
Folge heisst konvergent, falls Grenzwert existiert. Andernfalls divergent.
Ist Folge \((x_n)_{n=0}^\infty\) konvergent, so..
\(\left( \exists a = \lim\limits_{n \to \infty} x_n \right)\)
ist \((x_n)_{n=0}^\infty\) beschränkt.
Häufungspunkt
Sei \((x_n)_{n=0}^\infty\) eine Folge auf dem metrischen Raum \((X,d)\).
Element \(a \in X \) heisst Häufungspunkt falls:
\(\forall \varepsilon >0 \ \forall N \in \mathbb N \ \exists n \ge N : \ \)\(d(x_n,a)< \varepsilon\)
Ist eine Folge konvergent ist der Grenzwert der einzige HP.
Existieren HP, so existiert zu jedem HP konvergierende Teilfolgen \((y_k)_{k=0}^\infty\) von \((x_n)_{n=0}^\infty\) mit dem HP als Grenzwert.
Teilfolge
\((y_k)_{k=0}^\infty\) ist Teilfolge von \((x_n)_{n = 0}^\infty\), falls
\(\exists f: \mathbb N \to \mathbb N\) streng monoton steigend mit \(y_k = x_{f(k)} \quad \forall k \in \mathbb N\)
Folge \( (x_n)_{n=0}^\infty\) konvergent gegen a,
\(f: X \to Y\) stetig mit \((X,d), (Y,d)\) metrische Räume, so gilt:
\(\big( f(x_n) \big)_{n=0}^\infty\) konvergiert gegen \(f(a)\)
Cauchy-Folge
Folge \((x_n)_{n=0}^\infty\) heisst Cauchy-Folge, falls
\(\forall \varepsilon >0 \ \exists N \in \mathbb N : \,\)\(d(x_n, x_m) < \varepsilon \ \forall n,m \ge \mathbb N\)
Jede konvergente Folge ist eine Cauchy-Folge. Aber nicht jede Cauchy-Folge konvergiert:
z.B. \((x_n)_{n=0}^\infty\) mit \(x_n = 10^{-n}\) auf \((X,d)\) mit \(X = (0,1), \ d(x,y) = |x-y|\)
(weil \(0 \not \in X\))
Vollständigkeit in metrischen Räumen
Ein metrischer Raum \((X,d)\) heisst vollständig, falls jede Cauchy-Folge in \(X\) konvergiert.
z.B. \((0,1)\) oder \(\mathbb Q\) sind nicht vollständig
Banach'scher Fixpunktsatz
Sei \((X,d)\) ein nicht leerer, vollständiger metrischer Raum
und sei \(T: X \to X\) eine Abb. mit der Eigenschaft [...],
dann existiert ein eindeutiges Element \(a \in X\) mit \(T(a) = a\).
Eigenschaften von \(T: X \to X\) :
\(T\) ist eine Kontraktion, also Lipschitz-stetig mit Lipschitz-Konstante \(0 \le \lambda < 1\), also \(d \big( T(x),T(y) \big) \le \lambda \cdot d(x,y)\)
(zwei Punkte sind nach anwenden von \(T\) näher beisammen, also gibt es einen Fixpunkt a)
Seien \((x_n)_{n=0}^\infty\), \((y_n)_{n=0}^\infty\) konvergente Folgen in \(\mathbb R\).
Seien \(\lim \limits_{n \to \infty} (x_n) = a\), \(\lim \limits_{n \to \infty} (y_n) = b\) die entsprechenden Grenzwerte.
Dann gilt:
- Die Folge \((x_n + y_n)_{n=0}^\infty\) konvergiert gegen \(\lim\limits_{n \to \infty} ( x_n + y_n) = a + b\) (vgl. Komplexe Folge)
- Die Folge \((x_n y_n)_{n=0}^\infty\) konvergiert gegen \(\lim\limits_{n \to \infty} ( x_n y_n) = a b\)
- Angenommen \(x_n \not = 0 \ \ \forall n\) und \(\lim \limits_{n \to \infty} x_n \not = 0\).
Dann konvergiert \((x_n^{-1})_{n=0}^\infty\) gegen \(\lim \limits_{n \to \infty} x_n^{-1} = a^{-1}\) - Gilt \(a < b\) so existiert eine Schranke \(N \in \mathbb N\) mit \(x_n < y_n \quad \forall n \ge N\)
- Existiert ein \(N \in \mathbb N\) so dass \(x_n \le y_n\) für \(n \ge N\) so gilt \(a \le b\)
Folgenstetigkeit
Sei \(f : D \subseteq \mathbb R \to \mathbb C\), die Funktion \(f\) ist genau dann stetig bei \(x_0 \in D\), wenn..
für jede konvergente Folge \((y_n)_{n=0}^\infty\) in \(D\) mit \(\lim \limits_{n \to \infty} y_n = x_0\)
auch die Folge \(\big( f(x_n) \big)_{n=0}^\infty\) konvergiert und \(\lim \limits_{n \to \infty} f(y_n) = f(x_0)\) gilt.
Sandwich-Lemma
Seien \((x_n)_{n=0}^\infty, (y_n)_{n=0}^\infty, (z_n)_{n=0}^\infty\) Folgen in \(\mathbb R\).
Angenommen \(x_n \le y_n \le z_n \ \ \forall n \ (n \ge N)\) und \((x_n)_{n=0}^\infty\) und \((z_n)_{n=0}^\infty\) konvergieren gegen denselben Grenzwert \(a \in \mathbb R\).
Dann konvergiert auch \((y_n)_{n=0}^\infty\) mit \(\lim \limits_{n \to \infty} y_n = a\).
Eine monotone Folge \((x_n)_{n=0}^\infty\) konvergiert genau dann, wenn..
sie beschränkt ist.
Ist sie monoton wachsend, so gilt \(\lim \limits_{n \to \infty} x_n = \sup \{x_n \,|\,n \in \mathbb N\}\).
Monoton fallend entsprechen \(\lim \limits_{n \to \infty} x_n = \inf \{x_n \,|\,n \in \mathbb N\}\).
Limes superior, Limes inferior
\(\limsup \limits_{n \to \infty} x_n := \lim \limits_{k \to \infty} ( \sup\{ x_n \,|\, n \ge k\})\)
\(\liminf \limits_{n \to \infty} x_n := \lim \limits_{k \to \infty} ( \inf\{ x_n \,|\, n \ge k\})\)
Bernoulli-Ungleichung
Sei \(a \in \mathbb R\) mit \(a \ge -1\) dann gilt:
\((1+a)^n \ge 1+na \quad \forall n \in \mathbb N\)
Grenzwert einer Funktion
Sei \(f : D \to \mathbb R\) eine Funktion. Eine reelle Zahl \(a\) heisst Grenzwert von \(f(x)\) für \(x \to x_0\), falls..
\(\forall \varepsilon >0 \ \ \exists \delta >0 : \,\)\(x \in D \cap B(x_0, \delta) \Longrightarrow | f(x) - a| < \varepsilon\)
Falls der Grenzwert existiert schreibe:
\(\lim \limits_{x \to x_0} f(x) = a\)
Weiter gilt, falls \(\lim \limits_{x \to x_0} g(x) = b\) esistiert:
\(\lim \limits_{x \to x_0} f(x) + g(x) = a + b\) und \(\lim \limits_{x \to x_0} f(x) g(x) = a b\)
Stetigkeit mit Grenzwerten
\(f: D \to \mathbb R\) stetig bei \(x_0 \quad \)\(\Longleftrightarrow \quad \lim \limits_{x \to x_0} f(x) = f(x_0)\)
Falls \(\lim \limits_{\begin{smallmatrix} x \to x_0 \\ x \ge x_0 \end{smallmatrix}} f(x) \) existiert sagen wir \(f\) sei rechtsseitig stetig (analog links).
Wir nennen \(x_0 \in D\) Sprungstelle, falls \(\lim \limits_{\begin{smallmatrix} x \to x_0 \\ x < x_0 \end{smallmatrix}} f(x) \) und \(\lim \limits_{\begin{smallmatrix} x \to x_0 \\ x > x_0 \end{smallmatrix}} f(x) \) existieren aber verschieden sind.
hebbare Unstetigkeitsstelle
Angenommen \(x_0 \in D\) sei HP von D, also auch von \(D \backslash \{ x_0 \}\).
Sei \(f ^* : D \backslash \{ x_0 \} \to \mathbb R\) die Einschränkunt von \(f\) auf \(D \backslash \{ x_0 \}\).
Schreibe \(\lim \limits_{\begin{smallmatrix}x \to x_0 \\x \not = x_0\end{smallmatrix}} f(x) := \lim\limits_{x \to x_0} f^*(x)\) falls dieser Grenzwert existiert.
(Grenzwert von \(f\) in punktierter Umgebung von \(x_0\))
Dann ist \(x_0 \in D\) eine hebbare Unstetigkeitsstelle von \(f\). Und zwar mit
\(\tilde f : D \to \mathbb R \\\tilde f(x) = \Big\{ \begin{smallmatrix}f(x) && \text{falls} & x \in D \backslash \{x_0\} \\A && \text{falls} & x = x_0\end{smallmatrix}\)
Uneigentliche Grenzwerte
\(\lim \limits_{x \to x_0} f(x) = \infty\) für
\(\forall M \in \mathbb R \ \ \exists \delta > 0 \ : \ \)\(|x-x_0| < \delta \Longrightarrow f(x) > M \ \ \forall x \in D\)
Umgekehrt:
\(\lim \limits_{x \to x_0} f(x) = -\infty\) wenn \(\lim \limits_{x \to x_0} -f(x) = \infty\)
Rechtsseitiger Grenzwert
\(\lim \limits_{ \begin{smallmatrix} x \to x_0 \\ x > x_0\end{smallmatrix} }f(x) = a\) Bzw. linksseitiger: \(\lim \limits_{ \begin{smallmatrix} x \to x_0 \\ x < x_0\end{smallmatrix} }f(x) = a\)
z.B. \(\lim \limits_{ \begin{smallmatrix} x \to 0 \\ x > 0\end{smallmatrix} }\text{sgn} (x) = 1\) während \(\lim \limits_{x \to 0}\text{sgn} (x)\) oder \(\lim \limits_{ \begin{smallmatrix} x \to 0 \\ x \not = 0\end{smallmatrix} }\text{sgn} (x)\) nicht existieren
Landau-Notation
\(f\) ist Gross-O von \(g\) ( \(f(x) = O(g(x))\) ) für \(x \to x_0\), wenn:
\(\exists \delta > 0 , \ M > 0 : \, \)\(|x-x_0| < \delta \Longrightarrow |f(x)| \le M \, |g(x)|\)
\(f\) ist klein-o von \(g\) ( \(f(x) = o(g(x))\) ) für \(x \to x_0\), wenn:
\(\forall \varepsilon > 0,\ \exists \delta > 0 : \, \)\(|x-x_0| < \delta \Longrightarrow|f(x)| \le \varepsilon \, |g(x)|\)
Normen in Vektorräumen
Eine Norm auf V (einem \(\mathbb K\)-Vektorraum, \(\mathbb K = \mathbb R \vee \mathbb K = \mathbb C\) ) ist eine Abbildung \(||\dots|| : V \to \mathbb R\) mit den Eigenschaften:
- Definitheit
\(||v|| \ge 0 \ \ \forall v \in V\) und \(||v|| = 0 \Longleftrightarrow v = 0\) - Homogenität
\(\forall v \in V \ \ \forall \alpha \in K : \,\)\(|| \alpha \cdot v || = | \alpha | \cdot ||v||\) - Dreiecksungleichung
\(||v + w|| \le ||v|| + ||w||\)