Žinynas
Žinių pagrindai
Tyrinėkite sąvokas, dėsnius, lygtis ir metodus, jų taikymą ir šaltinius. Pasirinkite pažinimo sritį arba raskite konkretų žinyno įrašą.
Daugiau filtrų
Žinyno įrašai
Rodoma įrašų: 151–180 iš 360
Sigma baigtinių matų erdvėse neneigiamosios funkcijos, mačiosios sandaugos sigma algebros atžvilgiu, integralas sandaugos erdvėje ir kartotiniai integralai yra lygūs ir gali būti begaliniai.
Matematinis teiginysMatematika ir logikaJungiosios ir tiesiškai jungiosios erdvėsTopologinė erdvė yra jungioji, jei jos negalima padalyti į dvi netuščias, nesikertančias atvirąsias aibes.
ApibrėžimasMatematika ir logikaPilnosios metrinės erdvėsMetrinė erdvė yra pilnoji, jei kiekviena Koši seka turi ribą toje erdvėje.
ApibrėžimasMatematika ir logikaSuspaudžiančiųjų atvaizdžių principasNetuščios pilnosios metrinės erdvės atvaizdis T į save, tenkinantis d(Tx,Ty)≤k d(x,y), 0≤k<1, turi vienintelį fiksuotąjį tašką.
Matematinis teiginysMatematika ir logikaDispersija, kovariacija ir koreliacijaKvadratu integruojamiems realiesiems atsitiktiniams dydžiams X,Y galioja Var X=E[(X−EX)²] ir Cov(X,Y)=E[(X−EX)(Y−EY)].
ApibrėžimasMatematika ir logikaBendrieji ir marginalieji skirstiniaiBendroji tikimybių funkcija arba bendrasis tankis aprašo vienalaikes reikšmes; marginalieji skirstiniai gaunami sumuojant arba integruojant pagal kitas koordinates.
ApibrėžimasMatematika ir logikaSąlyginė matematinė viltis ir kartotiniai vidurkiaiE[X|Y=y] yra X vidurkis, apskaičiuotas pagal jo sąlyginį skirstinį.
Matematinis teiginysMatematika ir logikaPilnosios dispersijos dėsnisJei X yra integruojamas kvadratu, Var(X)=E[Var(X|Y)]+Var(E[X|Y]).
Matematinis teiginysMatematika ir logikaMomentus generuojančios funkcijosM_X(t)=E[eᵗˣ] yra momentus generuojanti funkcija (MGF), jei ji yra baigtinė atvirame intervale, apimančiame nulį.
MetodasMatematika ir logikaGama ir eksponentinis skirstiniaiTaikant formos ir intensyvumo parametrizaciją, Gamma(α,β) tankis yra βᵅxᵅ⁻¹e⁻ᵝˣ/Γ(α), kai x>0, α,β>0.
ApibrėžimasMatematika ir logikaĮvertinio poslinkis ir vidutinė kvadratinė paklaidaParametro θ įvertinio T poslinkis yra EθT−θ, o vidutinė kvadratinė paklaida (MSE) yra Eθ[(T−θ)²]=Varθ(T)+bias².
ApibrėžimasMatematika ir logikaPagrįstumas ir asimptotinis normalumasĮvertinių seka Tₙ yra pagrįsta parametro θ atžvilgiu, kai Pθ(|Tₙ−θ|>ε)→0 kiekvienam ε>0.
ApibrėžimasMatematika ir logikaFišerio informacija ir Kraméro–Rao rėžisDiferencijuojamame vienmačiame nepriklausomų ir vienodai pasiskirsčiusių stebinių modelyje, kurio skoro funkcija yra sθ=∂θlog fθ(X), Fišerio informacija yra I(θ)=Eθ[sθ²].
Matematinis teiginysMatematika ir logikaTiesinės regresijos koeficientai ir kovariacijaKai X yra fiksuota matrica, kurios stulpelių rangas pilnas, ir Y=Xβ+ε, kur Eε=0 ir Cov ε=σ²I, mažiausiųjų kvadratų metodu gaunama β̂=(XᵀX)⁻¹XᵀY, Eβ̂=β ir Cov β̂=σ²(XᵀX)⁻¹.
ModelisMatematika ir logikaLogistinė regresija dvejetainiams atsakamsKai Yᵢ yra nepriklausomi Bernulio atsitiktiniai dydžiai, logistinėje regresijoje daroma prielaida log[pᵢ/(1−pᵢ)]=xᵢᵀβ.
ModelisMatematika ir logikaDalijimo pusiau metodas su paklaidos garantijaTolydžiajai realiajai funkcijai f, kai f(a)f(b)<0, patikrinkite intervalo vidurio tašką ir palikite tą intervalo pusę, kurios galuose funkcijos reikšmių ženklai priešingi, nebent vidurio taškas yra šaknis.
MetodasMatematika ir logikaLagranžo daugianario konstravimas ir paklaidaSkirtinguose mazguose t₀,…,tₙ daugianaris p(x)=Σyₖℓₖ(x), ℓₖ(x)=∏_(i≠k)(x−tᵢ)/(tₖ−tᵢ), yra vienintelis ne aukštesnio kaip n laipsnio interpoliacinis daugianaris.
MetodasMatematika ir logikaStacionarieji taškai ir Heseno matricos kriterijusDiferencijuojamos funkcijos gradientas vidiniame lokaliojo ekstremumo taške yra lygus nuliui.
MetodasMatematika ir logikaLagranžo daugikliai esant lygybės apribojimamsC¹ klasės realiosioms funkcijoms f,g lokalusis sąlyginis f ekstremumas, kai g(x)=c, taške, kuriame ∇g≠0, turi tenkinti ∇f=λ∇g kartu su g=c.
MetodasMatematika ir logikaIškilumas ir globalieji gradientiniai įverčiaiAtviroje iškiloje srityje diferencijuojama funkcija yra iškiloji tada ir tik tada, kai visiems srities taškams galioja f(y)≥f(x)+∇f(x)·(y−x).
Matematinis teiginysMatematika ir logikaIškilojo uždavinio KKT optimalumo sertifikatasKai f₀,fᵢ yra diferencijuojamos iškilosios funkcijos erdvėje Rⁿ, o lygybiniai apribojimai Ax=b yra afininiai, leistinasis x yra optimalus, jei λ≥0, λᵢfᵢ(x)=0 ir ∇f₀(x)+Σλᵢ∇fᵢ(x)+Aᵀν=0.
MetodasMatematika ir logikaŠvarco funkcijų Furjė transformacija ir jos inversijaGlodžiai sparčiai mažėjančiai funkcijai f, kurios išvestinės taip pat mažėja sparčiau už bet kurį laipsnį, apibrėžkime f̂(ξ)=∫Rⁿe⁻ⁱˣ·ξf(x)dx.
Matematinis teiginysMatematika ir logikaKonstantų variavimas nehomogeninėms lygtimsLygties y″+p(x)y′+q(x)y=f(x) atveju naudokite tiesiškai nepriklausomus homogeninės lygties sprendinius y₁,y₂ ir pasirinkite yₚ=u₁y₁+u₂y₂.
MetodasMatematika ir logikaPoaibių skaičiavimas ir Paskalio rekurentinė formulėn elementų aibė turi 2ⁿ poaibių; jos k elementų poaibiai atitinka n ilgio dvejetaines sekas, turinčias k vienetų.
Matematinis teiginysMatematika ir logikaAntrosios eilės rekurentinių sąryšių charakteristinės šaknysKai aₙ=saₙ₋₁+taₙ₋₂ ir t≠0, skirtingos charakteristinio daugianario r²−sr−t šaknys r₁,r₂ duoda aₙ=Ar₁ⁿ+Br₂ⁿ; kartotinė šaknis r duoda aₙ=(A+Bn)rⁿ.
MetodasMatematika ir logikaLiekanų diagnostika ir modelio adekvatumasLiekanos eᵢ=yᵢ−f(xᵢ;β̂) palygina stebėtas ir modeliu įvertintas atsako reikšmes.
MetodasMatematika ir logikaLaiko atžvilgiu vienalytės Markovo grandinėsGrandinė tenkina P(Xₙ₊₁=j|X₀,…,Xₙ)=Pᵢⱼ, kai Xₙ=i; matricos P elementai yra neneigiami, o kiekvienos eilutės elementų suma lygi vienetui.
ModelisMatematika ir logikaStacionarumas, grįžtamumas ir Markovo pusiausvyraStacionarusis skirstinys yra eilutės vektorius π su neneigiamais elementais, tenkinantis Σπᵢ=1 ir πP=π.
Matematinis teiginysMatematika ir logikaHomogeninis Puasono procesasλ intensyvumo Puasono skaičiavimo procesas prasideda nuo nulio, turi nepriklausomus prieaugius, o N(t+s)−N(s) turi Puasono skirstinį su parametru λt.
ModelisMatematika ir logikaStandartinis Brauno judėjimasStandartiniam Brauno judėjimui galioja B(0)=0; jo trajektorijos beveik tikrai tolydžios, o prieaugiai nepriklausomi ir tenkina B(t)−B(s)∼N(0,t−s), kai 0≤s<t.
Modelis