Distanzdiskrete Vektorräume

Einleitung

Diese Seite zum Thema Distanzdiskrete Vektorräume kann als Wiki2Reveal Folien angezeigt werden. Einzelne Abschnitte werden als Folien betrachtet und Änderungen an den Folien wirken sich sofort auf den Inhalt der Folien aus. Dabei werden die folgenden Teilaspekte im Detail behandelt:

• (1) Metrik, Messgenauigkeit und Fehlerabschätzung
• (2) Wahrscheinlichkeitsverteilungen
• (3) Funktionenräume

Zielgruppe

Die Zielgruppen der Lernressource zum Thema Distanzdiskrete Vektorräume sind Studierende des Faches Mathematik, die sich mit

• mehrdimensionaler Wahrscheinlichkeitstheorie
• Funktionalanalysis
• Topologie

beschäftigen.

Zielsetzung

Diese Lernressource zu distanzdiskreten Vektorräumen in der Wikiversity hat das Ziel, die Konsequenz einer diskretisierten Metrik (z.B. $d(x,y)\in {\mathbb{N}}_0$ auf die topologische und algebraische Struktur eines Vektorraumes zu untersuchen.

Trennungseigenschaften

Die Hausdorff-Eigenschaft T2 erlaubt es, dass man zwei verschiedene Punkte $x,y\in X$ in einem topologischen Raum durch disjunkte Umgebungen $U_x,U_y$ von x bzw. y. trennen:

$x\in U_x\in {𝔘}_{𝒯}(x)x\in U_y\in {𝔘}_{𝒯}(y)U_x\cap U_y=\mathrm{\varnothing }$

Normen - Gaugefunktionale

Auf Normen bzw. Gaugefunktionale übertragen, liefern folgende Eigenschaften die Hausdorff-Eigenschaft:

$\Vert x\Vert =0⟹x=0_X$

bzw. allgemein für topologische Vektorräume bzw. Algebren:

${\mathrm{\forall }}_{\alpha \in 𝒜}:\Vert x{\Vert }_{\alpha }=0⟹x=0_X$

Messgenauigkeit

Wenn man im Alltag Messungen durchführt, gibt es allerdings diese mathematisch sinnvolle Trennungseigenschaft in der Regel nicht. Z.B. zeigt ein Messinstrument für Schadstoff in der Umwelt ggf. 0 an, weil die Konzentration des Schadstoffes unterhalb eines Grenzwertes liegt, aber die Schadstoffkonzentration tatsächlich nicht 0 ist.

Verletzung der Trennungseigenschaften

Das angesprochene Beispiel erfüllt also die Eigenschaft:

$\Vert x\Vert =0\wedge x≠0_X$

Bei einem System von Gaugefunktionalen wären das Beispiele der Form

${\mathrm{\forall }}_{\alpha \in 𝒜}:\Vert x{\Vert }_{\alpha }=0\wedge x≠0_X$

Dies bedeutet, dass alle Messinstrumente $\Vert x{\Vert }_{\alpha }$ den Wert 0 anzeigen, obwohl eine Vektor selbst nicht der Nullvektor $0_X$ in $X$ ist.

Messung und Metrik

Sei $(X,d)$ ein metrischer Raum. Eine deterministische Abstandmessung zwischen zwei Punkten wird zur Unterscheidung zur Metrik mit $m(x,y)$ bezeichnet. Deterministisch bedeutet in diesem einführenden Beispiel, dass die Messung bei einer gleichen tatsächlichen Distanz $m(x,y)$ immer das gleiche Messergebnis liefert. Unterhalb einer Schranke $\epsilon$ sind Punkte dabei Distanzen nicht mehr unterscheidbar, aber bei jeder Messung der gleiche Messwert herauskommt.

Bemerkung - Bezug Stochastik

Wenn eine Messung nicht deterministisch ist, kommen der wiederholten Messung unterschiedliche Messwerte heraus. Für eine Messung gibt also eine Wahrscheinlichkeitsverteilung, wie die Messung um einen deterministischen Messwert mit einer Messgenauigkeit $\epsilon >0$ streut.

Einstiegsbeispiel

Als Einstiegsbeispiel betrachtet man nun eine Distanzmessung im dreidimensionalen Raum $X={ℝ}^3$ mit der durch euklidischen Topologie, die durch die Norm:

$\Vert x\Vert :=\sqrt{x_1^2+x_2^2+x_3^2}x=(x_1,x_2,x_3)\in {ℝ}^3=X$

Eine Norm induziert eine Metrik mit:

$d(x,y):=\Vert x-y\Vert x,y\in {ℝ}^3=X$.

Eine Messung erfolgt bis auf 2 Nachkommastellen genau.

Rechenbeispiel

Sei $x=(3,2,7)$ und $y=(2,2,6)$. Die ist $x-y=(1,0,1)$ und

$d(x,y)=\Vert x-y\Vert =\sqrt{2}=\mathrm{1,41421}3562373095048801688724209\dots$

Die Messung ist bis auf zwei Nachkommastellen genau und liefert damit $m(x,y)=1,41$.

Messgenauigkeit - Nachweisgrenze

Wenn der Messwert unterhalb der Nachweisgrenze $\epsilon$ liegt dann zeigt das Messinstrument 0 an. Auch geringe Veränderungen unterhalb von $\epsilon$ müssen ferner auch nicht zu einer Veränderung des Messergebnisses $m(x,y)$ führen.

Gaußklammerfunktion

Die Gaußklammerfunktion wird ein wesentliche Werkzeug sein. Messgenauigkeit für Messergebnisse in diesem einführenden Beispiel zu beschreiben.

Graph der Gaußklammerfunktion

Definition - Gaußklammerfunktion

Für eine reelle Zahl $x\in ℝ$ ist $\lfloor x\rfloor$ die größte ganze Zahl, die kleiner oder gleich $x$ ist:

$\lfloor x\rfloor :=max\{k\in \mathbb{Z}\mid k\le x\}$

Bemerkung - Abbildung

Damit ist die Gaußklammerfunktion einer Abbildung

$\lfloor \cdot \rfloor :ℝ\to \mathbb{Z},$

die auf den offenen Intervallen $(n,n+1)$ für alle $n\in \mathbb{Z}$ konstant und damit stetig differenzierbar ist und auf den halboffenen Intervallen $[n,n+1)$ rechtsseitig stetig ist.

Messung als Anwendung der Gaußklammer - Beispiel

Sei $x=(3,2,7)$ und $y=(2,2,6)$. Die Differenz ist wie oben wieder $x-y=(1,0,1)$ und die Messgenauigkeit ist $\epsilon =\frac{1}{100}$. Damit lässt die Messung über die Gaußklammerfunktion wie folgt definieren:

$m(x,y)=\lfloor \Vert x-y\Vert \cdot \frac{1}{\epsilon }\rfloor \cdot \epsilon =\lfloor \sqrt{2}\cdot \frac{1}{\epsilon }\rfloor \cdot \epsilon =141\cdot \epsilon =1,41$

Die Messung ist bis auf zwei Nachkommastellen genau liefert damit über die Gaußklammerfunktion $m(x,y)=1,41$. Die führt zu der folgenden Definition für metrische Räume.

Definition - Messinstrument auf metrischen Räumen

Sei $(X,d)$ ein metrischer Raum. Ein auf $d$ basierendes Messinstrument $m:X\times X\to {ℝ}_o^{+}$ mit eine Messgenauigkeit $\epsilon >0$ ist dann eine Abbildung:

$\begin{array}{cccc}m:& X\times X& \to & {ℝ}_0^{+}\\ & (x,y)& \mapsto & m(x,y)=\lfloor d(x,y)\cdot \frac{1}{\epsilon }\rfloor \cdot \epsilon \end{array}$

Nachkommastellen - Messbarkeit von Veränderungen =

In dem obigen Beispiel werden Nachkommastellen abgeschnitten und damit alle Abstandsveränderung, die größer als $\epsilon$ sind, führen auch zu einer messbaren Veränderung im Messinstrument. Abstandsveränderung, die kleiner als $\epsilon$ müssen nicht notwendigerweise messbar mit $m$ sein.

Beispiel - Messbarkeit von Veränderungen

Sei $x=(3,2,7)$ und $y=(2,2,6)$. Die ist $x-y=(1,0,1)$ und

$d(x,y)=\Vert x-y\Vert =\sqrt{2}=\mathrm{1,41421}3562373095048801688724209\dots$

Die Messung ist bis auf zwei Nachkommastellen genau und liefert damit $m(x,y)=1,41$. Bei einer Verkürzung der Distanz zu $x$ mit $d(x,\tilde{y})$ um -0,005 verändert sich die Messung zu $m(x,\tilde{y})=1,40$, während bei eine Vergrößerung der Distanz zu $x$ mit $d(x,\hat{y})$ um +0,005 bleibt die Messung mit $m(x,\hat{y})=1,41$ unverändert.

Aufgabe

Zeigen Sie, dass für das Messinstrument $m:X\times X\to {ℝ}_o^{+}$ mit eine Messgenauigkeit $\epsilon >0$ die folgende Eigenschaft für alle $x,y\in X$ gilt:

$m(x,y)\le d(x,y)\le m(x,y)+\epsilon$

Gilt auch $d(x,y)<m(x,y)+\epsilon$?

Lemma - Eigenschaften Messinstrument

Sei $(X,d)$ ein metrischer Raum und $m:X\times X\to {ℝ}_o^{+}$ ein auf $d$ basierendes Messinstrument mit eine Messgenauigkeit $\epsilon >0$. Dann gilt für alle $x,y\in X$:

• (M1 - Punktetrennung) Für alle $x,y\in X$ folgt $d(x,y)\ge \epsilon$ auch $m(x,y)\ge \epsilon$
• (M2 - Symmetrie) Für alle $x,y\in X$ gilt $m(x,y)=m(y,x)$
• (M3 - Dreiecksungleichung) Für alle $x,y,z\in X$ gilt $m(x,y)\le m(x,z)+m(z,y)+3\epsilon$

Beweis - Eigenschaften Messinstrument

In dem Beweis nutzt man die Eigenschaften der Metrik $d$ und überträgt diese auf das Messinstrument $m$ mit der Messgenauigkeit $\epsilon >0$.

Beweis M1 - Punktetrennung

Im Vergleich zu einer Metrik $d$, die $X$ zu einem Hausdorff-Raum macht, kann ein Messinstrument $m$ zwei verschiedene Punkte $x,y\in X$ mit $x≠y$ nur dann durch die Messung mit $m$ trennen, wenn $d(x,y)\ge \epsilon$ gilt. Dies zeigt die folgenden Abschätzung:

$\begin{array}{ccc}m(x,y)& =& \lfloor \underset{\ge \epsilon }{\underbrace{d(x,y)}}\cdot \frac{1}{\epsilon }\rfloor \cdot \epsilon \\ & \ge & \lfloor \epsilon \cdot \frac{1}{\epsilon }\rfloor \cdot \epsilon =\epsilon \end{array}$

Beweis M2 - Symmetrie

Die Eigenschaft der Symmetrie überträgt sich direkt von der Metrik $d$ auf das Messinstrument $m$.

$\begin{array}{ccc}m(x,y)& =& \lfloor d(x,y)\cdot \frac{1}{\epsilon }\rfloor \cdot \epsilon \\ & =& \lfloor d(y,x)\cdot \frac{1}{\epsilon }\rfloor \cdot \epsilon =m(y,x)\end{array}$

Beweis M3 - Dreiecksungleichung

Die Eigenschaft der Dreieckungleichung der Metrik $d$ liefert für das Messinstrument $m$ ein größere Ungenauigkeit in der Abschätzung bzgl $\epsilon$.

$\begin{array}{ccc}m(x,y)& =& \lfloor d(x,y)\cdot \frac{1}{\epsilon }\rfloor \cdot \epsilon \\ & \le & (d(x,y)\cdot \frac{1}{\epsilon })\cdot \epsilon =d(x,y)\\ & \le & d(x,z)+d(z,y)\\ & \le & m(x,z)+\epsilon +m(z,y)+\epsilon \end{array}$

Aufgaben für Studierende

Mit den folgenden Aufgaben zum Thema distanzdiskrete Vektorräume werden die Inhaltsbereiche:

• Normen, Metriken, Topologie und
• Fehlerabschätzung in der Numerik

vorausgesetzt.

Aufgabe 1 - Messungen

Aus der praktischen Anwendung von Messinstrumenten z.B. zur Entfernungsmessung nur eine gewisse Messgenauigkeit $\epsilon >0$ >besitzen. Welche Konsequenzen ergeben sich daraus, wenn man die Messung zwischen zwei Punkten $x,y$ das Ergebnis $m(x,y)=0$ der Distanzmessung ist, aber für die topologieerzeugende Metrik $d(x,y)$ gilt:

$0<d(x,y)<\epsilon$

Aufgabe 2

Wir nehmen nun an, dass das Messinstrument keine deterministischen Messergebnisse bei der wiederholten Messung liefert. Welche Verteilungsannahmen kann man begründet für die Streuung der Messungen um den tatsächlichen Wert $d(x,y)$?

Aufgabe 3

Wenden Sie das Konzept von Messinstrumenten $m_k$ mit einer Messgenauigkeit ${\epsilon }_k>0$ auf zwei vergleichbar toxische Chemikalien $C_1$ und $C_2$. Dabei liegen die in die Umwelt ausgebrachten Mengen von $C_1$ weit über der Nachweisgrenze ${\epsilon }_1$ bzgl. Messinstrument $m_1$ und die in die Umwelt ausgebrachten Mengen von $C_2$ liegen nur knapp über der Nachweisgrenze ${\epsilon }_2$ von $m_2$. Diskutieren Sie die Auswirkungen auf die Detektion der toxischen Chemikalien $C_1$ und $C_2$ in der Umwelt mit $m_1$ bzw. $m_2$. Welche Konsequenzen ergeben sich dabei für das Risikomanagement von $C_1$ und $C_2$?

Nicht-deterministische Messungen

Bei einer nicht-deterministischen Messung $m(x,y)$ mit einer Messgenauigkeit $\epsilon$ kommen bei wiederholten Messungen eines unveränderten Abstandes $m(x,y)$ ggf. unterschiedliche Messergebnisse heraus. Um eine solches in der Realität z.B. bei verrauschten Daten auftretendes Phänomen auf die Messung zu übertragen, bildet $m(x,y)$ nicht auf einzelnen Wert ab, sondern auf eine in der Regel diskrete Wahrscheinlichkeitsverteilung auf $\epsilon \cdot {\mathbb{N}}_o$.

Beispiel

Mit $\epsilon =\frac{1}{100}$ ist $\epsilon \cdot {\mathbb{N}}_o$ die Menge aller Zahlen in ${\mathbb{Q}}_o^{+}$, die eine endliche Dezimalbruchentwicklung mit zwei Nachkommastellen besitzt.

Erwartungwert der Messergebnisse

Der Erwartungswert diese Verteilung gibt dabei die Information darüber, um welchen Mittelwert die nicht-deterministischen Messungen streuen. Dieser Erwartungswert muss dabei nicht mit dem Wert der Metrik $d(x,y)$ zusammenfallen.

Streuung der Messergebnisse

Die Varianz diese Verteilung gibt dabei die Information darüber, wie stark eine Messung von dem Erwartungswert abweicht. Ideal für ein Messinstrument ist, wenn die Varianz diese Verteilung sehr klein ist.

Arithmetische Mittel der Messergebnis

Arithmetische Mittel der Messergebnissen ist stochastisch gesehen eine Versuchswiederholung, die idealerweise stochastisch unabhängig ist. Über das Gesetz der großen Zahlen liefert das arithmetische Mittel dann eine Schätzer für den Erwartungswert der Messung.

Distanzdiskrete Vektorräume

Bei distanzdiskreten Vektorräume ist die Abstandsmessungs deterministisch und jede Messung verändert die Position eines Objektes in dem Vektorraum. Um eine solchen distanzdiskreten Vektorraum zu definieren, benötigt man zunächst Objekte im Raum, die bestimmte Eigenschaften tragen können.

ObjektOrientierte Mathematische Modellbildung - OOMM

ObjektOrientierte Mathematische Modellbildung liefert mathematische Modelle für Objekte in einem Raum, die Attribute bzw. Zustände und über Methoden werden Prozesse definiert, die in den Objekten ablaufen können. Diese Objekte besitzen Messinstrumente mit einer gewissen Genauigkeit. Die Messergebnisse der Objekte bestimmen dann das Verhalten der Objekte im Raum.

Objekte im Raum - Punkte im Raum - Beispiel

Zur Unterscheidung betrachten wir ein Fußballspiel mit einem rechtwickligen Spielfeld $\mathrm{\Omega }=[a_1,b_1]\times [a_2,b_2]$. Punkte im Raum gibt es überabzählbare viele in $\mathrm{\Omega }\subset {ℝ}^2$. 22 Spieler können dabei als mathematische Objekte modelliert werden,die als Attribute/Zustände Raumkoordinaten in $\mathrm{\Omega }$ besitzen.

Position von Objekten als zeitabhängiges Attribut

Ein Spieler $S=(S_t{)}_{t\in T}$ Koordinaten $(x,y)\in \mathrm{\Omega }$ als Attribut für die aktuelle Position enthalten.

$S_t.position=(x_t,y_t)\in \mathrm{\Omega }$

Die Position $(x_t,y_t)$ gibt also die Position des Spielers $s$ zum Zeitpunkt $t$. Objekte im Raum sind also mehr als Punkte im Raum, Insgesamt operieren die Objekte im Raum und verändern sich in der Zeit, also verändern ihre Position auf dem Spielfeld oder verändern auch die Position von anderem Objekten im Raum $\mathrm{\Omega }$ wie z.B. die Position eines den Balles.

Nachhaltigkeit und OOMM

Die ObjektOrientierte Mathematische Modellbildung liefert damit die Möglichkeit, mathematische Modelle zur Modellierung von Nachhaltigkeit zu generieren. Dabei haben Fahrzeuge einen gewissen Treibstoffvorrat, den diese bei der Bewegung im Raum verbrauchen oder können unterschiedliche Wege im Raum nutzen und sich dabei unterschiedlich schnell und diese mit unterschiedlichen Treibstoffverbrauch von A nach B gelangen. Mathematische Optimierung zielt dann z.B. auf eine geringer $C{O}_2$-Emission bzw. einem geringeren Treibstoffverbrauch.

Siehe auch

• Kurs:Funktionalanalysis
• Kurs:Maßtheorie auf topologischen Räumen
• Transport
• Wege in topologischen Räumen
• Wege in der komplexen Zahlenebene
• Wiki2Reveal

Seiteninformation

Diese Lernresource können Sie als Wiki2Reveal-Foliensatz darstellen.

Wiki2Reveal

Dieser Wiki2Reveal Foliensatz wurde für den Lerneinheit Kurs:Funktionalanalysis' erstellt der Link für die Wiki2Reveal-Folien wurde mit dem Wiki2Reveal-Linkgenerator erstellt.

• Die Seite wurde als Dokumententyp PanDocElectron-SLIDE erstellt.
• Link zur Quelle in Wikiversity: https://de.wikiversity.org/wiki/Distanzdiskrete%20Vektorr%C3%A4ume
• siehe auch weitere Informationen zu Wiki2Reveal und unter Wiki2Reveal-Linkgenerator.