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
Zeile 7: Zeile 7:
}}
}}
==Satz==
==Satz==
Es seien <math>a \in ]-\infty,\infty[</math>, <math>b \in ]a,\infty[</math> (d.h. $b > a$) und <math>c \in ]a,b[</math>.
Es seien $a \in ]-\infty,\infty[$, $b \in ]a,\infty[$ (d.h. $b > a$) und $c \in ]a,b[$.


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 $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.  
seien wie in [[Dreiecksverteilung]] bzw. [[Standard-Dreiecksverteilung]] beschrieben definiert.  


Aufgrund dieer obigen Voraussetzungen erfüllen die Parameter <math>a,b,c</math> die in der Definition  
Aufgrund dieer obigen Voraussetzungen erfüllen die Parameter $a,b,c$ die in der Definition  
der Dreiecksverteilung genannten Voraussetzungen.  
der Dreiecksverteilung genannten Voraussetzungen.  


Ebenso erfüllt $\frac{c-a}{b-a}$ die in der Definition der Standard-Dreickesverteilung
Ebenso erfüllt $\frac{c-a}{b-a}$ die in der Definition der Standard-Dreickesverteilung
geforderte Bedingung <math>\frac{c-a}{b-a} \in ]0,1[</math>, da
geforderte Bedingung $\frac{c-a}{b-a} \in ]0,1[$, da $c-a>0$, $b-a>0$ und $c-a<b-a$.
<math>c-a>0\!</math>, <math>b-a>0</math> und <math>c-a<b-a</math>.


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}{b-a} = \frac{1}{b-a}\cdot x - \frac{a}{b-a}</math> und  
$t_1(x) = \frac{x-a}{b-a} = \frac{1}{b-a}\cdot x - \frac{a}{b-a}$ und  
<math>t_2(x) = \frac{1}{b-a}\cdot x</math> aus den  
$t_2(x) = \frac{1}{b-a}\cdot x$ aus den  
Dichtefunktionen der [[Standard-Dreiecksverteilung]] erzeugt werden (vgl. [[Verkettung von Funktionen]]):
Dichtefunktionen der [[Standard-Dreiecksverteilung]] erzeugt werden (vgl. [[Verkettung von Funktionen]]):


Zeile 41: Zeile 40:
==Veranschaulichung==
==Veranschaulichung==


Die Transformationsfunktion <math>t_1\!</math> bildet das Interval <math>[0,1]\!</math>
Die Transformationsfunktion $t_1$ bildet das Interval $[0,1]$
auf das Interval <math>[a,b]\!</math> ab, die Transformationsfunktion <math>t_2\!</math> modifiziert die  
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:
Höhe der transformierten Dichtefunktion so, dass die von ihr umfasste Fläche „wieder“ 1 beträgt:


<div class="formula">$
<div class="formula">$
Zeile 50: Zeile 49:


==Beweis==
==Beweis==
Die Bedingungen <math>x < a\!</math> und <math>\frac{x-a}{b-a} < 0</math>
Die Bedingungen $x < a$ und $\frac{x-a}{b-a} < 0$
sowie <math>x > b\!</math> und <math>\frac{x-a}{b-a} > 1</math> sind äquivalent
sowie $x > b$ und $\frac{x-a}{b-a} > 1$ sind äquivalent
([[Normalisierung eines Intervalls (Hilfssatz)]]).
([[Normalisierung eines Intervalls (Hilfssatz)]]).


In den zugehörigen Intervallen <math>]-\infty,a[</math> bzw. <math>]-\infty,0[</math>
In den zugehörigen Intervallen $]-\infty,a[$ bzw. $]-\infty,0[$
sowie <math>]b, \infty[</math> bzw. <math>]1, \infty[</math> sind die jeweiligen
sowie $]b, \infty[$ bzw. $]1, \infty[$ sind die jeweiligen
Dichtefunktionen konstant gleich 0. Und damit gilt die Aussage des Satzes trivialerweise:
Dichtefunktionen konstant gleich 0. Und damit gilt die Aussage des Satzes trivialerweise:


<div class="formula">$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 [[Standard-Dreiecksverteilung|standardisierten ]] und der [[Dreiecksverteilung|allgemeinen Dreiecksverteilung]])</div>
<div class="formula">$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 [[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}{b-a} \le \frac{c-a}{b-a}</math>
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:
([[Normalisierung eines Intervalls (Hilfssatz)]]) gilt:


:{|
:{|
|   
|   
| <math>\displaystyle{\frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)}</math>
| $\displaystyle{\frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)}$
|-
|-
| =
| =
| <math>\displaystyle{\frac{1}{b-a}\cdot 2\cdot\frac{\frac{x-a}{b-a}}{\frac{c-a}{b-a}}}</math>
| $\displaystyle{\frac{1}{b-a}\cdot 2\cdot\frac{\frac{x-a}{b-a}}{\frac{c-a}{b-a}}}$
|  ([[Standard-Dreiecksverteilung|Definition der Dichtefunktion der Standard-Dreiecksverteilung]])  
|  ([[Standard-Dreiecksverteilung|Definition der Dichtefunktion der Standard-Dreiecksverteilung]])  
|-
|-
| =
| =
| <math>\displaystyle{\frac{2(x-a)}{(b-a)(c-a)}}</math>
| $\displaystyle{\frac{2(x-a)}{(b-a)(c-a)}}$
|-
|-
| =
| =
| <math>\displaystyle{f_{D(a,b,c)}(x)}</math>
| $\displaystyle{f_{D(a,b,c)}(x)}$
| ([[Dreiecksverteilung|Definition der Dichtefunktion der Dreiecksverteilung]])
| ([[Dreiecksverteilung|Definition der Dichtefunktion der Dreiecksverteilung]])
|}
|}
Zeile 81: Zeile 80:
<br>
<br>


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>
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:
([[Normalisierung eines Intervalls (Hilfssatz)]]) gilt:


:{|
:{|
|   
|   
| <math>\displaystyle{\frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)}</math>
| $\displaystyle{\frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)}$
|-
|-
| =
| =
| <math>\displaystyle{\frac{1}{b-a}\cdot 2\cdot\frac{1-\frac{x-a}{b-a}}{1-\frac{c-a}{b-a}}}</math>
| $\displaystyle{\frac{1}{b-a}\cdot 2\cdot\frac{1-\frac{x-a}{b-a}}{1-\frac{c-a}{b-a}}}$
|  ([[Standard-Dreiecksverteilung|Definition der Dichtefunktion der Standard-Dreiecksverteilung]])  
|  ([[Standard-Dreiecksverteilung|Definition der Dichtefunktion der Standard-Dreiecksverteilung]])  
|-
|-
| =
| =
| <math>\displaystyle{\frac{2}{b-a}\cdot\frac{\frac{(b-a-x+a)}{b-a}}{\frac{(b-a-c+a)}{b-a}}}</math>
| $\displaystyle{\frac{2}{b-a}\cdot\frac{\frac{(b-a-x+a)}{b-a}}{\frac{(b-a-c+a)}{b-a}}}$
|-
|-
| =
| =
| <math>\displaystyle{\frac{2(b-x)}{(b-a)(b-c)}}</math>
| $\displaystyle{\frac{2(b-x)}{(b-a)(b-c)}}$
|-
|-
| =
| =
| <math>\displaystyle{f_{D(a,b,c)}(x)}</math>
| $\displaystyle{f_{D(a,b,c)}(x)}$
| ([[Dreiecksverteilung|Definition der Dichtefunktion der Dreiecksverteilung]])
| ([[Dreiecksverteilung|Definition der Dichtefunktion der Dreiecksverteilung]])
|}
|}


Damit ist die Behauptung für alle  
Damit ist die Behauptung für alle  
<math>x \,\in\, ]-\infty,\infty[ \, = \, ]-\infty,a[ \,\cup\, [a,c] \,\cup\, ]c,b] \,\cup\, ]b,\infty[ </math>
$x \,\in\, ]-\infty,\infty[ \, = \, ]-\infty,a[ \,\cup\, [a,c] \,\cup\, ]c,b] \,\cup\, ]b,\infty[ $
gezeigt.
gezeigt.


Zeile 112: Zeile 111:
|-
|-
|
|
| <math>\displaystyle{F_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)}</math>
| $\displaystyle{F_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)}$
|  
|  
|-
|-
| =
| =
| <math>\displaystyle{\int_{-\infty}^x \! F'_{D((c-a)/(b-a))}\left(\frac{t-a}{b-a}\right) \, \mathrm{d} t}</math>
| $\displaystyle{\int_{-\infty}^x \! F'_{D((c-a)/(b-a))}\left(\frac{t-a}{b-a}\right) \, \mathrm{d} t}$
| ([[Fundamentalsatz der Analysis]])  
| ([[Fundamentalsatz der Analysis]])  
|-
|-
Zeile 128: Zeile 127:
|-
|-
| =  
| =  
| <math>\displaystyle{F_{D(a,b,c)}(x)}</math>
| $\displaystyle{F_{D(a,b,c)}(x)}$
| ([[Dreiecksverteilung|Definition der Verteilungsfunktion der allgemeinen Dreiecksverteilung]])  
| ([[Dreiecksverteilung|Definition der Verteilungsfunktion der allgemeinen Dreiecksverteilung]])  
|-
|-

Version vom 27. Juli 2015, 11:34 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

  1. Autor des Beweises: Wolfgang Kowarschick
  2. Kowarschick (PM): Wolfgang Kowarschick; Vorlesung „Projektmanagement“; Hochschule: Hochschule Augsburg; Adresse: Augsburg; Web-Link; 2014; Quellengüte: 3 (Vorlesung)

Siehe auch

  1. Wikipedia:Affine_Transformation