
Syftet med artikeln Àr att stödja nybörjare inom datavetenskap. I detta avsnitt har vi enkelt gÄtt igenom tre sÀtt att lösa en linjÀr regressionslikning: analytisk lösning, gradientnedstigning och stokastisk gradientnedstigning. För den analytiska lösningen anvÀnde vi formeln
. I denna artikel, som titeln antyder, kommer vi att motivera anvÀndningen av denna formel, eller med andra ord, hÀrleda den sjÀlva.
Varför det Àr vÀrt att fokusera mer pÄ formeln
?
Det Ă€r just med den matrisk likningen som för de flesta börjar bekantskapen med linjĂ€r regression. Ă
andra sidan Àr detaljerade redovisningar av hur formeln hÀrleddes sÀllsynta.
Till exempel, pÄ maskininlÀrningskurser frÄn Yandex, nÀr deltagarna introduceras till regularisering, erbjuds de att anvÀnda funktioner frÄn biblioteket sklearn, utan att nÀmna nÄgot om den matrisk representationen av algoritmen. Det Àr vid detta tillfÀlle som nÄgra deltagare kan fÄ lust att dyka djupare in i frÄgan och skriva kod utan att anvÀnda fÀrdiga funktioner. För detta mÄste man först framstÀlla likningen med regulariseraren i matrisk form. Denna artikel kommer just att möjliggöra för de som önskar att behÀrska sÄdana fÀrdigheter. LÄt oss börja.
Ursprungliga förhÄllanden
MÄlindikatorer
Vi har en serie vÀrden för mÄlindikatorn. Till exempel kan mÄlindikatorn vara priset pÄ en viss tillgÄng: olja, guld, vete, dollar, osv. HÀr med en serie vÀrden för mÄlindikatorn menar vi antalet observationer. SÄdana observationer kan till exempel vara mÄnatliga oljepriser under ett Är, vilket innebÀr att vi har 12 vÀrden för mÄlindikatorn. LÄt oss börja introducera beteckningar. Vi betecknar varje vÀrde för mÄlindikatorn som
. Totalt har vi
observationer, vilket innebÀr att vi kan presentera vÄra observationer som
.
Regressorer
Vi kan anta att det finns faktorer som pÄ olika sÀtt förklarar vÀrdena pÄ det mÄlrelaterade mÄttet. Till exempel pÄverkar oljepriser, Fed:s rÀntesats och andra faktorer kursen för dollar/rubeln kraftigt. Dessa faktorer kallas regressorer. Dessutom mÄste varje vÀrde pÄ det mÄlrelaterade mÄttet motsvara ett vÀrde av regressorn, det vill sÀga, om vi har 12 mÄlrelaterade mÀtningar för varje mÄnad under 2018, sÄ mÄste vi ocksÄ ha 12 vÀrden av regressorerna för samma period. LÄt oss beteckna vÀrdena för varje regressorn genom
. Anta att vi i vÄrt fall har
regressorer (det vill sÀga
faktorer som pÄverkar vÀrdena pÄ det mÄlrelaterade mÄttet). Det betyder att vÄra regressorer kan representeras pÄ följande sÀtt: för 1:a regressorn (till exempel oljepriset):
, för 2:a regressorn (till exempel Fed:s rÀntesats):
, för «
-te» regressorn: 
Beroendet av de mÄlrelaterade mÀtningarna frÄn regressorerna
Anta att beroendet av det mÄlrelaterade mÄttet
frÄn regressorerna «
-te» observation kan uttryckas genom en linjÀr regressionslikning av typen:

, dÀr
â «
-te» vÀrdet av regressorn frÄn 1 till
,
â antalet regressorer frĂ„n 1 till 
â lutningskoefficienter, som representerar den mĂ€ngd medelvĂ€rdet pĂ„ det berĂ€knade mĂ„lrelaterade mĂ„ttet som kommer att Ă€ndras vid en förĂ€ndring i regressorn.
Med andra ord definierar vi för varje (utom
) regressorn en «egen» koefficient
, sedan multiplicerar vi koefficienterna med vÀrdena pÄ regressorerna «
-te» observation, vilket resulterar i ett visst nÀrmevÀrde av «
-te» mÄlrelaterade mÄttet.
Följaktligen behöver vi optimera sÄdana koefficienter
, dÀr vÀrdena av vÄr approximativa funktion
Àr sÄ nÀra som möjligt de vÀrden av de mÄlrelaterade mÀtningarna.
UtvÀrdering av kvaliteten pÄ den approximativa funktionen
Vi kommer att bestÀmma kvaliteten pÄ den approximativa funktionen med metoden för minsta kvadraters princip. Kvalitetsfunktionsformeln kommer i detta fall att se ut som följer:

Vi behöver optimera sÄdana vÀrden pÄ koefficienterna $w$, dÀr vÀrdet av
Ă€r det minsta.
Vi omvandlar likningen till matrisform
Vektorrepresentation
För att underlÀtta för oss sjÀlva bör vi först titta pÄ linjÀr regressionslikningen och mÀrka att den första koefficienten
multipliceras inte med nÄgon regressorn. NÀr vi transformerar data till matrisform kommer den ovan nÀmnda situationen att allvarligt komplicera berÀkningarna. I detta avseende föreslÄs att införa en ytterligare regressorn för den första koefficienten
och sÀtta den till ett. Mer exakt, varje "
-te" vĂ€rde av denna regressorn ska sĂ€ttas till ett â eftersom multiplikering med ett inte förĂ€ndrar resultaten av berĂ€kningarna, samtidigt som det enligt reglerna för matrisprodukter avsevĂ€rt minskar vĂ„ra svĂ„righeter.
Nu, för en tid, för att förenkla materialet, anta att vi bara har en "
-te" observation. DÄ förestÀller vi oss vÀrdena för regressorerna för "
-te" observationen som en vektor
. Vektorn
har dimension
, det vill sÀga
rader och 1 kolumn:

LÄt oss representera de önskade koefficienterna som en vektor
, som har dimensionen
:

Ekvationen för linjÀr regression för "
-te" observationen kommer att anta följande form:

Kvalitetsbedömningsfunktionen för den linjÀra modellen kommer att ta följande form:

Vi noterar att i enlighet med reglerna för matrisberÀkning mÄste vi transponera vektorn
.
Matrisrepresentationen
Som ett resultat av multiplikationen av vektorer fÄr vi ett tal:
, vilket var att förvÀnta. Detta tal Àr approximationen av "
-te" mÄlvariabeln. Men vi behöver en approximation av inte bara ett vÀrde av mÄlvariabeln, utan alla. För detta kommer vi att skriva alla "
-te" regressorer i matrisformat
. Den erhÄllna matrisen har dimension
:

Nu kommer ekvationen för linjÀr regression att anta följande form:

LÄt oss beteckna vÀrdena för mÄlvariablerna (alla
) som vektorn
med dimensionen
:

Nu kan vi skriva ekvationen för kvalitetsbedömningen av den linjÀra modellen i matrisformat:

I sjÀlva verket fÄr vi med denna formel den kÀnda formeln 
Hur görs detta? Parenteserna öppnas, deriveringar utförs, de erhÄllna uttrycken omformas osv., och precis detta kommer vi nu att syssla med.
Matristransformeringar
Ăppna parenteserna


Förbered ekvationen för derivation
För detta kommer vi att göra vissa omvandlingar. I de följande berÀkningarna kommer det att vara bekvÀmare om vektorn
presenteras i början av varje produkt i ekvationen.
Transformation 1

Hur gick det till? För att svara pÄ denna frÄga rÀcker det med att titta pÄ storlekarna av de multiplerade matriserna och se att vi fÄr ut ett tal eller annorlunda uttryckt.
.
LÄt oss skriva ner storlekarna pÄ matriskonstruktionerna.



Transformation 2

Vi skriver ut pÄ samma sÀtt som i transformation 1


Vi fÄr en ekvation som vi kommer att derivera:

Vi deriverar funktionsvÀrderingen av modellens kvalitet.
Vi deriverar med avseende pÄ vektorn.
:




Det borde inte finnas nÄgra frÄgor om varför.
Men vi kommer att gÄ igenom operationerna för att bestÀmma derivatorna i de tvÄ andra uttrycken mer noggrant.
Derivering 1
LÄt oss utveckla deriveringen: 
För att bestÀmma derivatan av en matris eller vektor behöver vi titta pÄ vad som finns inuti dem. Vi tittar:



LÄt oss beteckna produkten av matriser
genom matrisen
. Matrisen
Àr kvadratisk och dessutom symmetrisk. Dessa egenskaper kommer att vara anvÀndbara för oss senare, lÄt oss komma ihÄg dem. Matrisen
har dimension
:

Nu Àr vÄr uppgift att korrekt multiplicera vektorerna med matrisen och inte fÄ "tvÄ gÄnger tvÄ Àr fem", sÄ vi mÄste fokusera och vara extremt noggranna.




Men det komplicerade uttrycket har vi fĂ„tt! Faktum Ă€r att vi fick ett tal â en skalar. Och nu gĂ„r vi verkligen vidare till deriveringen. Vi behöver hitta derivatan av det resulterande uttrycket med avseende pĂ„ varje koefficient
och fÄ ut en vektor av dimension
. För sÀkerhets skull skriver jag ut procedurerna med ÄtgÀrderna:
1) vi deriverar med avseende pÄ
, vi fÄr: 
2) vi deriverar med avseende pÄ
, vi fÄr: 
3) vi deriverar med avseende pÄ
, vi fÄr: 
Resultatet â den utlovade vektorn av storlek
:

Om man tittar noga pÄ vektorn kan man mÀrka att de vÀnstra och motsvarande högra elementen i vektorn kan grupperas pÄ ett sÄdant sÀtt att man till slut kan sÀrskilja en vektor
av storlek
. Till exempel,
(vÀnster element i den översta raden av vektorn)
(höger element i den översta raden av vektorn) kan representeras som
, och
â som
och sÄ vidare för varje rad. LÄt oss gruppera:

Vi tar ut vektorn
och vi fÄr:

Nu, lÄt oss titta pÄ den resulterande matrisen. Matrisen Àr en summa av tvÄ matriser
:

Kom ihÄg att vi tidigare har noterat en viktig egenskap hos matrisen
â den Ă€r symmetrisk. UtifrĂ„n denna egenskap kan vi med sĂ€kerhet pĂ„stĂ„ att uttrycket
Ă€r lika med
. Detta kan enkelt verifieras genom att utveckla matriserna element för element.
. Vi kommer inte att göra det hÀr, de som vill kan göra en kontroll sjÀlva.
LÄt oss Äterkomma till vÄrt uttryck. Efter vÄra transformationer har det blivit precis som vi ville se det:

SÄ, vi har klarat av den första deriveringen. LÄt oss gÄ vidare till det andra uttrycket.
Derivering 2

Vi gÄr den inrutade vÀgen. Den kommer att vara mycket kortare Àn den föregÄende, sÄ hÄll er nÀra skÀrmen.
LÄt oss bryta ner vektorerna och matrisen element för element:



För tillfĂ€llet tar vi bort tvĂ„an frĂ„n berĂ€kningarna â den spelar ingen stor roll, vi sĂ€tter tillbaka den senare. Vi multiplicerar vektorerna med matrisen. Först multiplicerar vi matrisen
med vektorn
, hÀr har vi inga begrÀnsningar. Vi fÄr en vektor av storlek
:

Vi utför nĂ€sta steg â vi multiplicerar vektorn
med den erhÄllna vektorn. Som resultat förvÀntar vi oss ett tal:

Det Àr vad vi ska derivera. Utan fÄr vi en vektor av dimension
:

KÀnns det bekant? Helt rÀtt! Det Àr produkten av matrisen
med vektorn
.
SÄledes har den andra deriveringen avslutats framgÄngsrikt.
Avslutande
Nu vet vi hur likheten uppstod
.
Som sista punkt ska vi beskriva en snabb vÀg för transformationer av grundformler.
Vi bedömer modellens kvalitet enligt metoden för minsta kvadrat:


Vi deriverar det erhÄllna uttrycket:


Litteratur
InternetkÀllor:
1)
2)
3)
4)
LÀroböcker, samlingar av uppgifter:
1) FörelĂ€sningsnotater i avancerad matematik: komplett kurs / D.T. PĂsmeny â 4:e upplagan â Moskva: Iris-press, 2006
2) TillĂ€mpad regressionsanalys / N. Draper, G. Smith â 2:a upplagan â Moskva: Finanser och statistik, 1986 (översĂ€ttning frĂ„n engelska)
3) Uppgifter om att lösa matrixekvationer:
KĂ€lla: habr.com
