Zusammenhang zwischen allgemeiner und standardisierter Dreiecksverteilung (Satz): Unterschied zwischen den Versionen
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Kowa (Diskussion | Beiträge) |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (34 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{ | {{Qualität | ||
= | |correctness = 5 | ||
Es seien | |extent = 5 | ||
|numberOfReferences = 5 | |||
|qualityOfReferences = 5 | |||
|conformance = 5 | |||
}} | |||
==Satz== | |||
Es seien <math>a \in ]-\infty,\infty[</math>, <math>b \in ]a,\infty[</math> (d.h. <math>b > a</math>) und <math>c \in ]a,b[</math>. | |||
Die Dichtefunktionen <math>f_{D(a,b,c)}</math> und <math>f_{D((c-a)/d)} = f_{D((c-a)/(b-a))}</math> | |||
Die Dichtefunktionen <math>f_{D(a,b,c)} | |||
seien wie in [[Dreiecksverteilung]] bzw. [[Standard-Dreiecksverteilung]] beschrieben definiert. | seien wie in [[Dreiecksverteilung]] bzw. [[Standard-Dreiecksverteilung]] beschrieben definiert. | ||
Aufgrund | Aufgrund dieer obigen Voraussetzungen erfüllen die Parameter <math>a,b,c</math> die in der Definition | ||
der Dreiecksverteilung genannten Voraussetzungen. | der Dreiecksverteilung genannten Voraussetzungen. | ||
Ebenso erfüllt <math> | Ebenso erfüllt <math>\frac{c-a}{b-a}</math> die in der Definition der Standard-Dreickesverteilung | ||
geforderte Bedingung <math> | geforderte Bedingung <math>\frac{c-a}{b-a} \in ]0,1[</math>, da <math>c-a>0</math>, <math>b-a>0</math> und <math>c-a<b-a</math>. | ||
<math>c-a>0 | |||
Die Dichtefunktionen der [[Dreiecksverteilungen]] | Die Dichtefunktionen der [[Dreiecksverteilungen]] | ||
können mit Hilfe zweier [[affine Transformation|affiner Transformationen]] | können mit Hilfe zweier [[affine Transformation|affiner Transformationen]] | ||
<math>t_1(x) = \frac{x-a}{ | <math>t_1(x) = \frac{x-a}{b-a} = \frac{1}{b-a}\cdot x - \frac{a}{b-a}</math> und | ||
<math>t_2(x) = \frac{1}{ | <math>t_2(x) = \frac{1}{b-a}\cdot x</math> aus den | ||
Dichtefunktionen der [[Standard-Dreiecksverteilung]] erzeugt werden: | Dichtefunktionen der [[Standard-Dreiecksverteilung]] erzeugt werden (vgl. [[Verkettung von Funktionen]]): | ||
<math> | <div class="formula"><math> | ||
f_{D(a,b,c)}(x) | |||
= t_2 \circ f_{D(a,b,c)} \circ t_1(x) | = t_2 \circ f_{D(a,b,c)} \circ t_1(x) | ||
= \frac{1}{ | = \frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right) | ||
</math> ( | </math></div> | ||
==Korrolar== | |||
Für die zugehörigen Verteilungsfunktionen folgt aus dem obigen Satz: | |||
<div class="formula"><math> | |||
F_{D(a,b,c)}(x) | |||
= F_{D(a,b,c)} \circ t_1(x) | |||
= F_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right) | |||
</math></div> | |||
==Veranschaulichung== | ==Veranschaulichung== | ||
Die Transformationsfunktion <math>t_1 | Die Transformationsfunktion <math>t_1</math> bildet das Interval <math>[0,1]</math> | ||
auf das Interval <math>[a,b] | auf das Interval <math>[a,b]</math> ab, die Transformationsfunktion <math>t_2</math> modifiziert die | ||
Höhe der transformierten Dichtefunktion so, dass die von ihr umfasste Fläche | Höhe der transformierten Dichtefunktion so, dass die von ihr umfasste Fläche „wieder“ 1 beträgt: | ||
<math>\int\limits_{-\infty}^{\infty} \frac{1}{ | <div class="formula"><math> | ||
\int\limits_{-\infty}^{\infty} \frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)\, \mathrm{d}x = | |||
\int\limits_{-\infty}^{\infty} f_{D(a,b,c)}(x)\, \mathrm{d}x = 1</math></div> | |||
=Beweis= | ==Beweis== | ||
Die Bedingungen <math>x < a | Die Bedingungen <math>x < a</math> und <math>\frac{x-a}{b-a} < 0</math> | ||
sowie <math>x > b | sowie <math>x > b</math> und <math>\frac{x-a}{b-a} > 1</math> sind äquivalent | ||
([[Normalisierung eines Intervalls (Hilfssatz)]]). | ([[Normalisierung eines Intervalls (Hilfssatz)]]). | ||
| Zeile 46: | Zeile 57: | ||
Dichtefunktionen konstant gleich 0. Und damit gilt die Aussage des Satzes trivialerweise: | Dichtefunktionen konstant gleich 0. Und damit gilt die Aussage des Satzes trivialerweise: | ||
<math>f_{D(a,b,c)}(x) = 0 = f_{D((c-a)/ | <div class="formula"><math>f_{D(a,b,c)}(x) = 0 = f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right) = \frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)</math> (Def. der Dichtefunktionen der [[Standard-Dreiecksverteilung|standardisierten ]] und der [[Dreiecksverteilung|allgemeinen Dreiecksverteilung]])</div> | ||
< | |||
Für <math>a \le x \le c</math> bzw. die dazu äquivalente Bedingung <math>0 \le \frac{x-a}{ | Für <math>a \le x \le c</math> bzw. die dazu äquivalente Bedingung <math>0 \le \frac{x-a}{b-a} \le \frac{c-a}{b-a}</math> | ||
([[Normalisierung eines Intervalls (Hilfssatz)]]) gilt: | ([[Normalisierung eines Intervalls (Hilfssatz)]]) gilt: | ||
{| | :{| | ||
| | | | ||
| <math>\frac{1}{ | | <math>\displaystyle{\frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)}</math> | ||
|- | |- | ||
| = | | = | ||
| <math>\frac{1}{ | | <math>\displaystyle{\frac{1}{b-a}\cdot 2\cdot\frac{\frac{x-a}{b-a}}{\frac{c-a}{b-a}}}</math> | ||
| ([[Standard-Dreiecksverteilung|Definition der Dichtefunktion der Standard-Dreiecksverteilung]]) | | ([[Standard-Dreiecksverteilung|Definition der Dichtefunktion der Standard-Dreiecksverteilung]]) | ||
|- | |- | ||
| = | | = | ||
| <math>\frac{2(x-a)}{ | | <math>\displaystyle{\frac{2(x-a)}{(b-a)(c-a)}}</math> | ||
|- | |- | ||
| = | | = | ||
| <math>f_{D(a,b,c)}(x) | | <math>\displaystyle{f_{D(a,b,c)}(x)}</math> | ||
| ([[Dreiecksverteilung|Definition der Dichtefunktion der Dreiecksverteilung]]) | | ([[Dreiecksverteilung|Definition der Dichtefunktion der Dreiecksverteilung]]) | ||
|} | |} | ||
<br> | |||
Für <math>c | Für <math>c < x \le b</math> bzw. die dazu äquivalente Bedingung <math>\frac{c-a}{b-a} < \frac{x-a}{b-a} \le 1</math> | ||
([[Normalisierung eines Intervalls (Hilfssatz)]]) gilt: | ([[Normalisierung eines Intervalls (Hilfssatz)]]) gilt: | ||
{| | :{| | ||
| | | | ||
| <math>\frac{1}{ | | <math>\displaystyle{\frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)}</math> | ||
|- | |- | ||
| = | | = | ||
| <math>\frac{1}{ | | <math>\displaystyle{\frac{1}{b-a}\cdot 2\cdot\frac{1-\frac{x-a}{b-a}}{1-\frac{c-a}{b-a}}}</math> | ||
| ([[Standard-Dreiecksverteilung|Definition der Dichtefunktion der Standard-Dreiecksverteilung]]) | | ([[Standard-Dreiecksverteilung|Definition der Dichtefunktion der Standard-Dreiecksverteilung]]) | ||
|- | |- | ||
| = | | = | ||
| <math>\frac{2}{ | | <math>\displaystyle{\frac{2}{b-a}\cdot\frac{\frac{(b-a-x+a)}{b-a}}{\frac{(b-a-c+a)}{b-a}}}</math> | ||
|- | |- | ||
| = | | = | ||
| <math>\frac{2(b-x)}{ | | <math>\displaystyle{\frac{2(b-x)}{(b-a)(b-c)}}</math> | ||
|- | |- | ||
| = | | = | ||
| <math>f_{D(a,b,c)}(x) | | <math>\displaystyle{f_{D(a,b,c)}(x)}</math> | ||
| ([[Dreiecksverteilung|Definition der Dichtefunktion der Dreiecksverteilung]]) | | ([[Dreiecksverteilung|Definition der Dichtefunktion der Dreiecksverteilung]]) | ||
|} | |} | ||
= | Damit ist die Behauptung für alle | ||
<math>x \,\in\, ]-\infty,\infty[ \, = \, ]-\infty,a[ \,\cup\, [a,c] \,\cup\, ]c,b] \,\cup\, ]b,\infty[ </math> | |||
gezeigt. | |||
==Beweis des Korrolars== | |||
:{| | |||
|- | |||
| | |||
| <math>\displaystyle{F_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)}</math> | |||
| | |||
|- | |||
| = | |||
| <math>\displaystyle{\int_{-\infty}^x \! F'_{D((c-a)/(b-a))}\left(\frac{t-a}{b-a}\right) \, \mathrm{d} t}</math> | |||
| ([[Fundamentalsatz der Analysis]]) | |||
|- | |||
| = | |||
| <math>\displaystyle{\int_{-\infty}^x \! \frac{1}{b-a}}\cdot f_{D((c-a)/(b-a))}\left(\frac{t-a}{b-a}\right) \, \mathrm{d} t </math> | |||
| ([[Dreiecksverteilung (standardisiert)|Definition der Verteilungsfunktion der standardisierten Dreiecksverteilung]], [[Kettenregel]]) | |||
|- | |||
| = | |||
| <math>\displaystyle{\int_{-\infty}^x \! f_{D(a,b,c)}(t) \, \mathrm{d} t}</math> | |||
| (obiger Satz) | |||
|- | |||
| = | |||
| <math>\displaystyle{F_{D(a,b,c)}(x)}</math> | |||
| ([[Dreiecksverteilung|Definition der Verteilungsfunktion der allgemeinen Dreiecksverteilung]]) | |||
|- | |||
|} | |||
==Quellen== | |||
# Autor des Beweises: [[Wolfgang Kowarschick]] | |||
#{{Quelle|Kowarschick, W.: Projektmanagement}} | |||
=Siehe auch= | ==Siehe auch== | ||
[[Wikipedia:Affine_Transformation]] | #[[Wikipedia:Affine_Transformation]] | ||
[[Kategorie:Mathematischer Satz]] | [[Kategorie:Mathematischer Satz]] | ||
[[Kategorie:Stetige Wahrscheinlichkeitsverteilung]] | [[Kategorie:Stetige Wahrscheinlichkeitsverteilung]] | ||
Aktuelle Version vom 24. November 2017, 13:49 Uhr
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen:
| Korrektheit: 5 (vollständig überprüft) |
Umfang: 5 (wesentliche Fakten vorhanden) |
Quellenangaben: 5 (vollständig vorhanden) |
Quellenarten: 5 (ausgezeichnet) |
Konformität: 5 (ausgezeichnet) |
Satz
Es seien $ a \in ]-\infty,\infty[ $, $ b \in ]a,\infty[ $ (d.h. $ b > a $) und $ c \in ]a,b[ $.
Die Dichtefunktionen $ f_{D(a,b,c)} $ und $ f_{D((c-a)/d)} = f_{D((c-a)/(b-a))} $ seien wie in Dreiecksverteilung bzw. Standard-Dreiecksverteilung beschrieben definiert.
Aufgrund dieer obigen Voraussetzungen erfüllen die Parameter $ a,b,c $ die in der Definition der Dreiecksverteilung genannten Voraussetzungen.
Ebenso erfüllt $ \frac{c-a}{b-a} $ die in der Definition der Standard-Dreickesverteilung geforderte Bedingung $ \frac{c-a}{b-a} \in ]0,1[ $, da $ c-a>0 $, $ b-a>0 $ und $ c-a<b-a $.
Die Dichtefunktionen der Dreiecksverteilungen können mit Hilfe zweier affiner Transformationen $ t_1(x) = \frac{x-a}{b-a} = \frac{1}{b-a}\cdot x - \frac{a}{b-a} $ und $ t_2(x) = \frac{1}{b-a}\cdot x $ aus den Dichtefunktionen der Standard-Dreiecksverteilung erzeugt werden (vgl. Verkettung von Funktionen):
$ f_{D(a,b,c)}(x) = t_2 \circ f_{D(a,b,c)} \circ t_1(x) = \frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right) $
Korrolar
Für die zugehörigen Verteilungsfunktionen folgt aus dem obigen Satz:
$ F_{D(a,b,c)}(x) = F_{D(a,b,c)} \circ t_1(x) = F_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right) $
Veranschaulichung
Die Transformationsfunktion $ t_1 $ bildet das Interval $ [0,1] $ auf das Interval $ [a,b] $ ab, die Transformationsfunktion $ t_2 $ modifiziert die Höhe der transformierten Dichtefunktion so, dass die von ihr umfasste Fläche „wieder“ 1 beträgt:
$ \int\limits_{-\infty}^{\infty} \frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)\, \mathrm{d}x = \int\limits_{-\infty}^{\infty} f_{D(a,b,c)}(x)\, \mathrm{d}x = 1 $
Beweis
Die Bedingungen $ x < a $ und $ \frac{x-a}{b-a} < 0 $ sowie $ x > b $ und $ \frac{x-a}{b-a} > 1 $ sind äquivalent (Normalisierung eines Intervalls (Hilfssatz)).
In den zugehörigen Intervallen $ ]-\infty,a[ $ bzw. $ ]-\infty,0[ $ sowie $ ]b, \infty[ $ bzw. $ ]1, \infty[ $ sind die jeweiligen Dichtefunktionen konstant gleich 0. Und damit gilt die Aussage des Satzes trivialerweise:
$ f_{D(a,b,c)}(x) = 0 = f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right) = \frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right) $ (Def. der Dichtefunktionen der standardisierten und der allgemeinen Dreiecksverteilung)
Für $ a \le x \le c $ bzw. die dazu äquivalente Bedingung $ 0 \le \frac{x-a}{b-a} \le \frac{c-a}{b-a} $ (Normalisierung eines Intervalls (Hilfssatz)) gilt:
$ \displaystyle{\frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)} $ = $ \displaystyle{\frac{1}{b-a}\cdot 2\cdot\frac{\frac{x-a}{b-a}}{\frac{c-a}{b-a}}} $ (Definition der Dichtefunktion der Standard-Dreiecksverteilung) = $ \displaystyle{\frac{2(x-a)}{(b-a)(c-a)}} $ = $ \displaystyle{f_{D(a,b,c)}(x)} $ (Definition der Dichtefunktion der Dreiecksverteilung)
Für $ c < x \le b $ bzw. die dazu äquivalente Bedingung $ \frac{c-a}{b-a} < \frac{x-a}{b-a} \le 1 $ (Normalisierung eines Intervalls (Hilfssatz)) gilt:
$ \displaystyle{\frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)} $ = $ \displaystyle{\frac{1}{b-a}\cdot 2\cdot\frac{1-\frac{x-a}{b-a}}{1-\frac{c-a}{b-a}}} $ (Definition der Dichtefunktion der Standard-Dreiecksverteilung) = $ \displaystyle{\frac{2}{b-a}\cdot\frac{\frac{(b-a-x+a)}{b-a}}{\frac{(b-a-c+a)}{b-a}}} $ = $ \displaystyle{\frac{2(b-x)}{(b-a)(b-c)}} $ = $ \displaystyle{f_{D(a,b,c)}(x)} $ (Definition der Dichtefunktion der Dreiecksverteilung)
Damit ist die Behauptung für alle $ x \,\in\, ]-\infty,\infty[ \, = \, ]-\infty,a[ \,\cup\, [a,c] \,\cup\, ]c,b] \,\cup\, ]b,\infty[ $ gezeigt.
Beweis des Korrolars
$ \displaystyle{F_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)} $ = $ \displaystyle{\int_{-\infty}^x \! F'_{D((c-a)/(b-a))}\left(\frac{t-a}{b-a}\right) \, \mathrm{d} t} $ (Fundamentalsatz der Analysis) = $ \displaystyle{\int_{-\infty}^x \! \frac{1}{b-a}}\cdot f_{D((c-a)/(b-a))}\left(\frac{t-a}{b-a}\right) \, \mathrm{d} t $ (Definition der Verteilungsfunktion der standardisierten Dreiecksverteilung, Kettenregel) = $ \displaystyle{\int_{-\infty}^x \! f_{D(a,b,c)}(t) \, \mathrm{d} t} $ (obiger Satz) = $ \displaystyle{F_{D(a,b,c)}(x)} $ (Definition der Verteilungsfunktion der allgemeinen Dreiecksverteilung)
Quellen
- Autor des Beweises: Wolfgang Kowarschick
- Kowarschick (PM): Wolfgang Kowarschick; Vorlesung „Projektmanagement“; Hochschule: Hochschule Augsburg; Adresse: Augsburg; Web-Link; 2014; Quellengüte: 3 (Vorlesung)
