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
 
(37 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt)
Zeile 1: Zeile 1:
{{In Bearbeitung}}
{{Qualität
=Voraussetzung=
|correctness        = 5
Es seien: <math>a \in ]-\infty,\infty[</math>, <math>b \in ]a,\infty[</math> und <math>c \in ]a,b[</math>.
|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>.


Es sei überdies <math>d := b-a > 0\!</math> die Länge des Intervalls <math>[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)}\!</math> und <math>f_{D((c-a)/d)}\!</math>  
seien wie in [[Dreiecksverteilung]] bzw. [[Standard-Dreiecksverteilung]] beschrieben definiert.  
seien wie in [[Dreiecksverteilung]] bzw. [[Standard-Dreiecksverteilung]] beschrieben definiert.  


Aufgrund der obigen Voraussetzungen erfüllen die Parameter <math>a,b,c\!</math> die in der Definition  
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>(c-a)/d\!</math> die in der Definition der Standard-Dreickesverteilung
Ebenso erfüllt <math>\frac{c-a}{b-a}</math> die in der Definition der Standard-Dreickesverteilung
geforderte Bedingung <math>(c-a)/d \in ]0,1[\!</math>, da
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\!</math>, <math>d=b-a>0\!</math> und <math>c-a<b-a=d\!</math>.


=Satz=
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}{d} = \frac{1}{d}\cdot x - \frac{a}{d}</math> und  
<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}{d}\cdot x</math> aus den  
<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> f_{D(a,b,c)}(x)  
<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}{d}\cdot f_{D((c-a)/d)}\left(\frac{x-a}{d}\right)
       = \frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)
</math> (vgl. [[Verkettung von Funktionen]])
</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\!</math> bildet das Interval <math>[0,1]\!</math>
Die Transformationsfunktion <math>t_1</math> bildet das Interval <math>[0,1]</math>
auf das Interval <math>[a,b]\!</math> ab, die Transformationsfunktion <math>t_2\!</math> modifiziert die  
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 ''wieder'' 1 beträgt (vgl. [[Standard-Dreiecksverteilung: Dichtefunktion (Satz)|Satz über Dichtefunktionen der Standard-Dreiecksfunktion]]) :
Höhe der transformierten Dichtefunktion so, dass die von ihr umfasste Fläche „wieder“ 1 beträgt:


<math>\int\limits_{-\infty}^{\infty} \frac{1}{d}\cdot f_{D((c-a)/d)}\left(\frac{x-a}{d}\right)\, \mathrm{d}x =  
<div class="formula"><math>
      \int\limits_{-\infty}^{\infty} f_{D(a,b,c)}(x)\, \mathrm{d}x = 1</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 =  
([[Beta-Verteilung:Dichtefunktion (Satz)|Satz über Dichtefunktionen der allgemeinen Beta-Verteilungen]])
  \int\limits_{-\infty}^{\infty} f_{D(a,b,c)}(x)\, \mathrm{d}x = 1</math></div>


=Beweis=
==Beweis==
Die Bedingungen <math>x < a\!</math> und <math>\frac{x-a}{d} < 0</math>
Die Bedingungen <math>x < a</math> und <math>\frac{x-a}{b-a} < 0</math>
sowie <math>x > b\!</math> und <math>\frac{x-a}{d} > 1</math> sind äquivalent
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)/d)}\left(\frac{x-a}{d}\right) = \frac{1}{d}\cdot f_{D((c-a)/d)}\left(\frac{x-a}{d}\right)</math>  (Def. der Dichtefunktionen der [[Standard-Dreiecksverteilung|standardisierten ]] und der [[Dreiecksverteilung|allgemeinen Dreiecksverteilung]])
<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>
 
<br><br>


Für <math>a \le x \le c</math> bzw. die dazu äquivalente Bedingung <math>0 \le \frac{x-a}{d} \le \frac{c-a}{d}</math>  
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:


{|cellpadding="3" cellspacing="10"
:{|
| <math>\frac{1}{d}\cdot f_{D((c-a)/d)}\left(\frac{x-a}{d}\right)</math>
|   
|   
| <math>\displaystyle{\frac{1}{b-a}\cdot f_{D((c-a)/(b-a))}\left(\frac{x-a}{b-a}\right)}</math>
|-
| =
| <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]])
|-
|-
| =
| =
| <math>\frac{1}{d}\cdot 2\cdot\frac{\frac{x-a}{d}}{\frac{c-a}{d}} </math>
| <math>\displaystyle{\frac{2(x-a)}{(b-a)(c-a)}}</math>
|  ([[Standard-Dreiecksverteilung|Definition der Dichtefunktion der Standard-Dreiecksverteilung]])
|-
|-
| =
| =
| <math>\frac{1}{d}\cdot \frac{\left(\frac{x-a}{d}\right)^{\alpha -1}\left(\frac{b-a-x+a}{d}\right)^{\beta-1}}{\Beta(\alpha,\beta)}</math>  
| <math>\displaystyle{f_{D(a,b,c)}(x)}</math>
| ([[Dreiecksverteilung|Definition der Dichtefunktion der Dreiecksverteilung]])
|}
 
<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>
([[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>
|-
|-
| =
| =
| <math>\frac{1}{d}\cdot \frac{\frac{(x-a)^{\alpha -1}}{d^{\alpha -1}}\frac{(b-x)^{\beta-1}}{d^{\beta-1}}}{\Beta(\alpha,\beta)} </math>  
| <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]])
|-
|-
| =
| =
| <math>\frac{1}{d}\cdot \frac{(x-a)^{\alpha -1}(b-x)^{\beta-1}}{\Beta(\alpha,\beta)\cdot d^{\alpha-1+\beta-1}}</math>  
| <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{(x-a)^{\alpha -1}(b-x)^{\beta-1}}{\Beta(\alpha,\beta)\cdot d^{\alpha+\beta-1}}</math>  
| <math>\displaystyle{\frac{2(b-x)}{(b-a)(b-c)}}</math>
|-
|-
| =
| =
| <math>f_{D(a,b,c)}(x)\!  </math>  
| <math>\displaystyle{f_{D(a,b,c)}(x)}</math>
| ([[Beta-Verteilung|Definition der Dichtefunktion der allgemeinen Beta-Verteilung]])
| ([[Dreiecksverteilung|Definition der Dichtefunktion der Dreiecksverteilung]])
|}
|}


=Quellen=
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]])
|-
|}


* Autor des Beweises: [[Benutzer:Kowa|W. Kowarschick]]
==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]]
{{{{SITENAME}}-konformer Artikel}}

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

  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