|
Autor |
Ungleichung mit Betrag |
|
civilengineer
Wenig Aktiv  Dabei seit: 25.05.2011 Mitteilungen: 1805
Wohnort: Bayern, München
 | Themenstart: 2018-12-09
|
Hi,
ich versuche gerade zu zeigen, dass $y\neq 0$ sein soll, aber irgendwie will es noch nicht ganz klappen, hier ist die Aufgabenstellung:
Seien $y,y_0 \in \mathbb{R}$ und $\epsilon > 0$:
Ist $y_0\neq 0$ und ist $|y-y_0|<\text{min}(\frac{|y_0|}{2},\frac{\epsilon|y_0|^2}{2})$, dann ist $y\neq 0$ und es gilt
$$ \left\vert \frac{1}{y}-\frac{1}{y_0} \right\vert < \epsilon.$$
Versuch:
Wegen $|y-y_0|<\text{min}(\frac{|y_0|}{2},\frac{\epsilon|y_0|^2}{2})$ ist $|y-y_0|<\frac{|y_0|}{2}\leq \frac{\epsilon|y_0|^2}{2}$ oder $|y-y_0|<\frac{\epsilon|y_0|^2}{2}<\frac{|y_0|}{2}$ möglich. Da $|y_0|\neq 0$ ist, kann durch $|y_0|^2>0$ abdividiert werden: Es ist $\frac{|y-y_0|}{|y_0|^2}<\frac{1}{2|y_0|}\leq \frac{\epsilon}{2}$ oder $\frac{|y-y_0|}{|y_0|^2}<\frac{\epsilon}{2}<\frac{1}{2|y_0|}$ möglich. Da $|y_0|^2=|y_0^2|$ ist, folgt $\frac{|y-y_0|}{|y_0|^2} = |\frac{y}{y_0^2}-\frac{1}{y_0}|\leq \frac{\epsilon}{2}$. Da $|\frac{y}{y_0^2}-\frac{1}{y_0}|=|\frac{y}{y_0^2}+(-\frac{1}{y_0})|\geq |\frac{y}{y_0^2}|-|-\frac{1}{y_0}| = |\frac{y}{y_0^2}|-|\frac{1}{y_0}|$ ist, gilt $|\frac{y}{y_0^2}|-|\frac{1}{y_0}| \leq |\frac{y}{y_0^2}-\frac{1}{y_0}|\leq \frac{\epsilon}{2}$
Aus der letzten Bedingung folgt nicht automatisch, dass $y \neq 0$ sein muss. Nur ist $y$ kleiner als ein positiver Wert...
Danke für eure Denkanstöße und Hilfe im Voraus.
Viele Grüße
CE
|
Profil
|
xiao_shi_tou_
Senior  Dabei seit: 12.08.2014 Mitteilungen: 1259
Wohnort: Augsburg
 | Beitrag No.1, eingetragen 2018-12-09
|
Aus \(y=0\) wuerde \(|y-y_0|=|y_0|
|
Profil
|
civilengineer
Wenig Aktiv  Dabei seit: 25.05.2011 Mitteilungen: 1805
Wohnort: Bayern, München
 | Beitrag No.2, vom Themenstarter, eingetragen 2018-12-09
|
Du bist der Beste!
Sei $y=0$, dann ist $|y-y_0|=|0-y_0|=|-y_0|=|y_0|<\text{min}(\frac{|y_0|}{2},\frac{\epsilon|y_0|^2}{2})$, also $|y_0|<\frac{|y_0|}{2}$. Dies ist ein Widerspruch zur Annahme, dass $y=0$ sei. Dieser Widerspruch zeigt, dass $y\neq 0$ sein muss.
Ok, beim Zeigen der Ungleichung, wie ist das richtige Vorgehen?
|
Profil
|
civilengineer
Wenig Aktiv  Dabei seit: 25.05.2011 Mitteilungen: 1805
Wohnort: Bayern, München
 | Beitrag No.3, vom Themenstarter, eingetragen 2018-12-09
|
Ich glaube beim zweiten Teil muss man $|y-y_0|<\frac{\epsilon|y_0|^2}{2}$ verwenden, richtig? Eventuell durch $y^2$ und/oder durch $y_0^2$ abdividieren?
|
Profil
|
civilengineer
Wenig Aktiv  Dabei seit: 25.05.2011 Mitteilungen: 1805
Wohnort: Bayern, München
 | Beitrag No.4, vom Themenstarter, eingetragen 2018-12-09
|
Da $|y-y_0|<\frac{\epsilon|y_0|^2}{2}$ und $y\neq 0$ und $y_0 \neq 0$ gelten, kann diese Ungleichung einmal mit $\frac{1}{|y|^2}$ und mit $\frac{1}{|y_0|^2}$ multipliziert werden, da $\frac{1}{|y|^2}>0$ und $\frac{1}{|y_0|^2}>0$ sind. Es folgen $|\frac{1}{y}-\frac{y_0}{y^2}|<\frac{\epsilon|y_0|^2}{2|y|^2}$ und $|\frac{y}{y_0^2}-\frac{1}{y_0}|<\frac{\epsilon}{2|y_0|}$. Durch Addition dieser letzten beiden Ungleichungen folgt:
$|\frac{1}{y}-\frac{y_0}{y^2}|+|\frac{y}{y_0^2}-\frac{1}{y_0}|<\frac{\epsilon|y_0|^2}{2|y|^2}+\frac{\epsilon}{2|y_0|}$
Mit der Dreiecksungleichung folgt:
$\displaystyle\left\vert \frac{1}{y}-\frac{y_0}{y^2}+\frac{y}{y_0^2}-\frac{1}{y_0}\right\vert \leq \left\vert \frac{1}{y}-\frac{y_0}{y^2}\right\vert + \left\vert \frac{y}{y_0^2}-\frac{1}{y_0}\right\vert <\frac{\epsilon|y_0|^2}{2|y|^2}+\frac{\epsilon}{2|y_0|}=\frac{\epsilon}{2}\left(\frac{|y_0|^2}{|y|}+\frac{1}{|y_0|}\right)$
$$\vdots$$
$$\vdots$$
$$\vdots$$
$$\displaystyle \left\vert \frac{1}{y}-\frac{1}{y_0} \right\vert < \epsilon $$
Schon mal ein guter Ansatz? Der Weg ist dunkel, aber nicht weit...
|
Profil
|
civilengineer
Wenig Aktiv  Dabei seit: 25.05.2011 Mitteilungen: 1805
Wohnort: Bayern, München
 | Beitrag No.5, vom Themenstarter, eingetragen 2018-12-09
|
Profil
|
civilengineer
Wenig Aktiv  Dabei seit: 25.05.2011 Mitteilungen: 1805
Wohnort: Bayern, München
 | Beitrag No.6, vom Themenstarter, eingetragen 2018-12-09
|
Ok, ich komme mit der Voraussetzung, dass $|y-y_0|<\frac{\epsilon |y_0|^2}{2}$ gilt, zur Ungleichung $\frac{2}{|y_0|^2}|y-y_0|<\epsilon$ und dann zur Ungleichung $2|\frac{1}{y} \cdot \frac{y^2}{y_0^2}-\frac{1}{y_0}|<\epsilon$ also zur Ungleichung $|\frac{1}{y} \cdot \frac{y^2}{y_0^2}-\frac{1}{y_0}|<\frac{\epsilon}{2}$...
Fehlt noch einen magischen Trick zum Zeigen, dass $|\frac{1}{y} -\frac{1}{y_0}|<\epsilon$ gilt...
|
Profil
|
civilengineer
Wenig Aktiv  Dabei seit: 25.05.2011 Mitteilungen: 1805
Wohnort: Bayern, München
 | Beitrag No.7, vom Themenstarter, eingetragen 2018-12-09
|
Und mit der Ungleichung $|y-y_0|<\frac{|y_0|}{2}$ komme ich zur Ungleichung $|\frac{y}{y_0}-1|<\frac{1}{2}$... Diese besagt, dass $-\frac{1}{2}<\frac{y}{y_0}-1<\frac{1}{2}$ bzw. $\frac{1}{2}<\frac{y}{y_0}<\frac{3}{2}$ oder $\frac{1}{4}<\frac{y^2}{y_0^2}<\frac{9}{4}$...
|
Profil
|
civilengineer
Wenig Aktiv  Dabei seit: 25.05.2011 Mitteilungen: 1805
Wohnort: Bayern, München
 | Beitrag No.8, vom Themenstarter, eingetragen 2018-12-09
|
Den ultimativen Denk-Tritt gesucht...
|
Profil
|
civilengineer
Wenig Aktiv  Dabei seit: 25.05.2011 Mitteilungen: 1805
Wohnort: Bayern, München
 | Beitrag No.9, vom Themenstarter, eingetragen 2018-12-09
|
Die Ungleichung $|y-y_0|<\frac{\epsilon|y_0|^2}{2}$ kann mit $\frac{1}{|y y_0|}$ multipliziert werden, da $\frac{1}{|yy_0|}>0$ ist. Es Folgt $|\frac{1}{y_0}-\frac{1}{y}|<\frac{\epsilon|y_0|}{2|y|}$. Da $|\frac{1}{y_0}-\frac{1}{y}|=|\frac{1}{y}-\frac{1}{y_0}|$ ist, gilt also $|\frac{1}{y}-\frac{1}{y_0}|<\frac{\epsilon|y_0|}{2|y|}$... Sieht schon mal besser aus...
|
Profil
|
civilengineer
Wenig Aktiv  Dabei seit: 25.05.2011 Mitteilungen: 1805
Wohnort: Bayern, München
 | Beitrag No.10, vom Themenstarter, eingetragen 2018-12-09
|
Ok, ich habs jetzt irgendwieso gemacht
Sei $y=0$, dann ist $|y-y_0|=|0-y_0|=|-y_0|=|y_0|<\text{min}(\frac{|y_0|}{2},\frac{\epsilon|y_0|^2}{2})$, also $|y_0|<\frac{|y_0|}{2}$. Dies ist ein Widerspruch zur Annahme, dass $y=0$ sei. Dieser Widerspruch zeigt, dass $y\neq 0$ sein muss.
Die Ungleichung $|y-y_0|<\frac{\epsilon|y_0|^2}{2}$ kann mit $\frac{1}{|y y_0|}$ multipliziert werden, da $\frac{1}{|yy_0|}>0$ ist. Es folgt $|\frac{1}{y_0}-\frac{1}{y}|<\frac{\epsilon|y_0|}{2|y|}$. Da $|\frac{1}{y_0}-\frac{1}{y}|=|\frac{1}{y}-\frac{1}{y_0}|$ ist, gilt also $|\frac{1}{y}-\frac{1}{y_0}|<\frac{\epsilon|y_0|}{2|y|}$.
Die Ungleichung $|y-y_0|<\frac{|y_0|}{2}$ kann mithilfe der Dreiecksungleichung so erweitert werden: $||y|-|y_0||\leq |y-y_0|<\frac{|y_0|}{2}$.
Aus der Ungleichung $||y|-|y_0||<\frac{|y_0|}{2}$ folgt $|\frac{|y|}{|y_0|}-1|<\frac{1}{2}$. Das bedeutet $-\frac{1}{2}<\frac{|y|}{|y_0|}-1<\frac{1}{2}$ oder $\frac{1}{2}<\frac{|y|}{|y_0|}<\frac{3}{2}$ oder $2>\frac{|y_0|}{|y|}>\frac{2}{3}$. Somit ist $|\frac{1}{y}-\frac{1}{y_0}|<\frac{\epsilon|y_0|}{2|y|}<\epsilon$, da $2>\frac{|y_0|}{|y|}. \ \square$
|
Profil
|
civilengineer hat die Antworten auf ihre/seine Frage gesehen. civilengineer hat selbst das Ok-Häkchen gesetzt. |
|
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2023 by Matroids Matheplanet
This web site was originally made with PHP-Nuke, a former web portal system written in PHP that seems no longer to be maintained nor supported. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen. Lesen Sie die
Nutzungsbedingungen,
die Distanzierung,
die Datenschutzerklärung und das Impressum.
[Seitenanfang]
|