Geometrie bietet Einsicht und klassische Ungleichungen ermöglichen einen einfachen Zugang zu Genauigkeit.
Geometrische Lösung
Aus der Geometrie der kleinsten Quadrate wissen wir , dass die orthogonale Projektion des Vektors der Daten x = ( x 1 , x 2 , … , x n ) auf ist der lineare Unterraum, der durch den konstanten Vektor ( 1 , 1 , … , 1 ) und das σ x erzeugt wirdx¯=(x¯,x¯,…,x¯)x=(x1,x2,…,xn)(1,1,…,1)σxist direkt proportional zum (euklidischen) Abstand zwischen und ˉ x . Die Nicht-Negativitätsbeschränkungen sind linear, und die Entfernung ist eine konvexe Funktion, von der aus die durch die Beschränkungen bestimmten Extremwerte der Entfernung an den Kanten des Kegels erreicht werden müssen. Dieser Kegel ist die positive Orthante in R n und seine Kanten sind die Koordinatenachsen, woraus unmittelbar folgt, dass alle außer einem der x i bei den maximalen Abständen Null sein müssen. Für einen solchen Datensatz ergibt eine direkte (einfache) Berechnung σ x / ˉ x = √xx¯.Rnxiσx/x¯=n−−√.
Lösung, die klassische Ungleichungen ausnutzt
optimiertgleichzeitig mit jeder monotonen Transformation davon. Lassen Sie uns im Lichte dessen maximierenσx/x¯
x21+x22+…+x2n(x1+x2+…+xn)2=1n(n−1n(σxx¯)2+1)=f(σxx¯).
(Die Formel für kann mysteriös aussehen, bis Sie erkennen, dass sie nur die Schritte aufzeichnet, die bei der algebraischen Manipulation von σ x / ˉ x erforderlich sind , um eine einfach aussehende Form zu erhalten. Dies ist die linke Seite.)fσx/x¯
Ein einfacher Weg beginnt mit Holder Ungleichung ,
x21+x22+…+x2n≤(x1+x2+…+xn)max({xi}).
(In diesem einfachen Zusammenhang bedarf es keines besonderen Beweises: Ersetzen Sie lediglich einen Faktor jedes Terms durch die maximale Komponente max ( { x i } ) : Die Summe der Quadrate nimmt offensichtlich nicht ab der gemeinsame Term max ( { x i } ) ergibt die rechte Seite der Ungleichung.)x2i=xi×ximax({xi})max({xi})
Da die nicht alle 0 sind (was σ x / ˉ x undefiniert lassen würde), ist die Division durch das Quadrat ihrer Summe gültig und ergibt die äquivalente Ungleichungxi0σx/x¯
x21+x22+…+x2n(x1+x2+…+xn)2≤max({xi})x1+x2+…+xn.
Da der Nenner nicht kleiner sein kann als der Zähler (der selbst nur einer der Begriffe im Nenner ist), wird die rechte Seite von dem Wert dominiert , der nur erreicht wird, wenn alle bis auf eines von x i gleich 0 sind . Woher1xi0
σxx¯≤f−1(1)=(1×(n−1))nn−1−−−−−−−−−−−−−−−√=n−−√.
Alternativer Ansatz
Da die nicht negativ sind und nicht zu 0 summieren können, bestimmen die Werte p ( i ) = x i / ( x 1 + x 2 + … + x n ) eine Wahrscheinlichkeitsverteilung F auf { 1 , 2 , … , n } . Wenn wir s für die Summe von x i schreiben , erkennen wirxi0p(i)=xi/(x1+x2+…+xn)F{1,2,…,n}sxi
x21+x22+…+x2n(x1+x2+…+xn)2=x21+x22+…+x2ns2=(x1s)(x1s)+(x2s)(x2s)+…+(xns)(xns)=p1p1+p2p2+…+pnpn=EF[p].
The axiomatic fact that no probability can exceed 1 implies this expectation cannot exceed 1, either, but it's easy to make it equal to 1 by setting all but one of the pi equal to 0 and therefore exactly one of the xi is nonzero. Compute the coefficient of variation as in the last line of the geometric solution above.