GLOBAL KNOWLEDGE ARK

Ž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

Matematika ir logikaIntegravimo tvarkos keitimas pagal Fubini ir Tonelli

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 teiginys
Matematika ir logikaJungiosios ir tiesiškai jungiosios erdvės

Topologinė erdvė yra jungioji, jei jos negalima padalyti į dvi netuščias, nesikertančias atvirąsias aibes.

Apibrėžimas
Matematika ir logikaPilnosios metrinės erdvės

Metrinė erdvė yra pilnoji, jei kiekviena Koši seka turi ribą toje erdvėje.

Apibrėžimas
Matematika ir logikaSuspaudžiančiųjų atvaizdžių principas

Netušč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 teiginys
Matematika ir logikaDispersija, kovariacija ir koreliacija

Kvadratu integruojamiems realiesiems atsitiktiniams dydžiams X,Y galioja Var X=E[(X−EX)²] ir Cov(X,Y)=E[(X−EX)(Y−EY)].

Apibrėžimas
Matematika ir logikaBendrieji ir marginalieji skirstiniai

Bendroji tikimybių funkcija arba bendrasis tankis aprašo vienalaikes reikšmes; marginalieji skirstiniai gaunami sumuojant arba integruojant pagal kitas koordinates.

Apibrėžimas
Matematika ir logikaSąlyginė matematinė viltis ir kartotiniai vidurkiai

E[X|Y=y] yra X vidurkis, apskaičiuotas pagal jo sąlyginį skirstinį.

Matematinis teiginys
Matematika ir logikaPilnosios dispersijos dėsnis

Jei X yra integruojamas kvadratu, Var(X)=E[Var(X|Y)]+Var(E[X|Y]).

Matematinis teiginys
Matematika ir logikaMomentus generuojančios funkcijos

M_X(t)=E[eᵗˣ] yra momentus generuojanti funkcija (MGF), jei ji yra baigtinė atvirame intervale, apimančiame nulį.

Metodas
Matematika ir logikaGama ir eksponentinis skirstiniai

Taikant formos ir intensyvumo parametrizaciją, Gamma(α,β) tankis yra βᵅxᵅ⁻¹e⁻ᵝˣ/Γ(α), kai x>0, α,β>0.

Apibrėžimas
Matematika ir logikaĮvertinio poslinkis ir vidutinė kvadratinė paklaida

Parametro θ įvertinio T poslinkis yra EθT−θ, o vidutinė kvadratinė paklaida (MSE) yra Eθ[(T−θ)²]=Varθ(T)+bias².

Apibrėžimas
Matematika ir logikaPagrįstumas ir asimptotinis normalumas

Įvertinių seka Tₙ yra pagrįsta parametro θ atžvilgiu, kai Pθ(|Tₙ−θ|>ε)→0 kiekvienam ε>0.

Apibrėžimas
Matematika ir logikaFišerio informacija ir Kraméro–Rao rėžis

Diferencijuojamame 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 teiginys
Matematika ir logikaTiesinės regresijos koeficientai ir kovariacija

Kai 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)⁻¹.

Modelis
Matematika ir logikaLogistinė regresija dvejetainiams atsakams

Kai Yᵢ yra nepriklausomi Bernulio atsitiktiniai dydžiai, logistinėje regresijoje daroma prielaida log[pᵢ/(1−pᵢ)]=xᵢᵀβ.

Modelis
Matematika ir logikaDalijimo pusiau metodas su paklaidos garantija

Tolydž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.

Metodas
Matematika ir logikaLagranžo daugianario konstravimas ir paklaida

Skirtinguose 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.

Metodas
Matematika ir logikaStacionarieji taškai ir Heseno matricos kriterijus

Diferencijuojamos funkcijos gradientas vidiniame lokaliojo ekstremumo taške yra lygus nuliui.

Metodas
Matematika ir logikaLagranžo daugikliai esant lygybės apribojimams

C¹ 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.

Metodas
Matematika ir logikaIškilumas ir globalieji gradientiniai įverčiai

Atviroje 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 teiginys
Matematika ir logikaIškilojo uždavinio KKT optimalumo sertifikatas

Kai 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.

Metodas
Matematika ir logikaŠvarco funkcijų Furjė transformacija ir jos inversija

Glodž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 teiginys
Matematika ir logikaKonstantų variavimas nehomogeninėms lygtims

Lygties 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₂.

Metodas
Matematika 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 teiginys
Matematika ir logikaAntrosios eilės rekurentinių sąryšių charakteristinės šaknys

Kai 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ⁿ.

Metodas
Matematika ir logikaLiekanų diagnostika ir modelio adekvatumas

Liekanos eᵢ=yᵢ−f(xᵢ;β̂) palygina stebėtas ir modeliu įvertintas atsako reikšmes.

Metodas
Matematika ir logikaLaiko atžvilgiu vienalytės Markovo grandinės

Grandinė tenkina P(Xₙ₊₁=j|X₀,…,Xₙ)=Pᵢⱼ, kai Xₙ=i; matricos P elementai yra neneigiami, o kiekvienos eilutės elementų suma lygi vienetui.

Modelis
Matematika ir logikaStacionarumas, grįžtamumas ir Markovo pusiausvyra

Stacionarusis skirstinys yra eilutės vektorius π su neneigiamais elementais, tenkinantis Σπᵢ=1 ir πP=π.

Matematinis teiginys
Matematika 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.

Modelis
Matematika ir logikaStandartinis Brauno judėjimas

Standartiniam 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