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šų: 331–360 iš 1709

Matematika ir logikaVejerštraso M kriterijus

Jei realiosios funkcijos fₙ, apibrėžtos toje pačioje aibėje A, tenkina |fₙ(x)|≤Mₙ visiems x∈A, kur Mₙ≥0 ir ΣMₙ<∞, tai Σfₙ aibėje A konverguoja tolygiai ir absoliučiai.

Matematinis teiginysMatematika ir logikaNesavieji integralai ir nepriklausomos ribos intervalo galuose

Nesavasis integralas yra baigtinė savųjų integralų riba, kai artėjama prie singuliaraus intervalo galo arba prie begalybės.

ApibrėžimasMatematika ir logikaIntegralinis požymis ir p-eilutės

Jei f yra teigiama, tolydi ir mažėjanti intervale [1,∞), tai Σₙ₌₁∞f(n) ir ∫₁∞f(x)dx arba abu konverguoja, arba abu diverguoja.

Matematinis teiginysMatematika ir logikaŽenklą kaitaliojančių eilučių konvergavimas ir liekana

Jei bₙ≥0 mažėja iki nulio, Σ(−1)ⁿbₙ konverguoja; absoliučioji paklaida po N narių neviršija kito praleisto nario modulio b_(N+1).

Matematinis teiginysMatematika ir logikaMonotoninė konvergencija ir Fatou lema

Didėjančiai neneigiamų mačiųjų funkcijų sekai fₙ→f galioja ∫fₙdμ→∫f dμ.

Matematinis teiginysMatematika ir logikaMajoruojamos konvergencijos teorema

Jei mačiosios realiosios funkcijos fₙ→f konverguoja kiekviename taške ir |fₙ|≤g su ta pačia integruojamąja funkcija g, tai ∫fₙdμ→∫f dμ.

Matematinis teiginysMatematika ir logikaPogrupiai ir pogrupio kriterijus

Pogrupis H⊆G yra grupė su G operacijos apribojimu aibei H.

ApibrėžimasMatematika ir logikaGretutinės klasės ir pogrupio indeksas

Kairiosios gretutinės klasės gH={gh:h∈H} sudaro G skaidinį.

ApibrėžimasMatematika ir logikaNormalieji pogrupiai ir faktorgrupės

Pogrupis N yra normalusis, kai gNg⁻¹=N kiekvienam g∈G.

Matematinis teiginysMatematika ir logikaIdealai ir faktoržiedžiai

Žiedo R dvipusis idealas I yra adityvusis pogrupis, sugeriantis daugybą iš R elementų iš abiejų pusių.

ApibrėžimasMatematika ir logikaHolomorfinės funkcijos ir Koši–Rymano lygtys

Funkcija yra holomorfinė atviroje aibėje, kai ji yra kompleksiškai diferencijuojama kiekviename tos aibės taške.

ApibrėžimasMatematika ir logikaKompleksinis integravimas kontūru ir Koši teorema

Dalimis C¹ klasės keliui γ galioja ∫γf(z)dz=∫f(γ(t))γ′(t)dt.

Matematinis teiginysMatematika ir logikaKoši integralinė formulė ir išvestinės

Jei f yra holomorfinė uždaro skritulio aplinkoje, o z yra jo teigiamai orientuoto kontūro γ viduje, tai f⁽ⁿ⁾(z)=n!/(2πi)∮γ f(w)/(w−z)ⁿ⁺¹dw, kai n≥0.

Matematinis teiginysMatematika ir logikaKompleksiniai Teiloro ir Lorano skleidiniai

Holomorfinė funkcija turi konverguojantį Teiloro skleidinį skritulyje, kuriame nėra singuliarumų.

Matematinis teiginysMatematika ir logikaReziduumai ir reziduumų teorema

Reziduumas izoliuotajame singuliarume yra Lorano eilutės nario (z−a)⁻¹ koeficientas.

Matematinis teiginysMatematika ir logikaSlankiojo kablelio skaičiai ir apvalinimas

Slankiojo kablelio skaičiai vaizduojami naudojant ženklą, baigtinę mantisę ir eksponentę.

ArtinysMatematika ir logikaSkaitinio uždavinio sąlygotumas

Sąlygotumas nusako tikslaus atsakymo jautrumą duomenų trikdžiams.

ApibrėžimasMatematika ir logikaTiesioginė paklaida, atgalinė paklaida ir stabilumas

Tiesioginė paklaida nusako apskaičiuoto atsakymo skirtumą nuo tikslaus atsakymo.

ApibrėžimasMatematika ir logikaNiutono iteracija skaliarinei šakniai rasti

Niutono iteracijoje naudojama formulė xₖ₊₁=xₖ−f(xₖ)/f′(xₖ).

MetodasMatematika ir logikaLU skaidymas ir trikampių sistemų sprendimas

LU skaidymas išreiškia A=LU, kur L yra apatinė trikampė matrica su vienetais pagrindinėje įstrižainėje, o U – viršutinė trikampė matrica.

MetodasMatematika ir logikaEliminavimas su daliniu pagrindinio elemento parinkimu

Taikant dalinį pagrindinio elemento parinkimą, prieš eliminuojant po juo esančius elementus sukeičiamos eilutės, kad pagrindinio elemento stulpelyje būtų pasirinktas didžiausio modulio prieinamas elementas.

MetodasMatematika ir logikaOrtogonaliosios matricos ir QR skaidymas

Realioji ortogonalioji kvadratinė matrica Q tenkina lygybę QᵀQ=I ir išsaugo euklidinius ilgius.

Matematinis teiginysMatematika ir logikaSąlygotumo skaičius ir tiesinės sistemos trikdžiai

Kai A yra apgręžiama ir naudojama indukuotoji matricos norma, κ(A)=‖A‖‖A⁻¹‖.

Matematinis teiginysMatematika ir logikaLagranžo teorema ir elementų eilės

Baigtinei grupei G ir jos pogrupiui H galioja |G|=[G:H]|H|.

Matematinis teiginysMatematika ir logikaPirmoji izomorfizmo teorema

Grupių homomorfizmo φ:G→H branduolys ker φ yra normalusis pogrupis, o G/ker φ yra izomorfiška im φ pagal atvaizdį g ker φ↦φ(g).

Matematinis teiginysMatematika ir logikaGauso eliminavimas ir suderinamumas

Eilučių sukeitimas, eilutės dauginimas iš nenulinio skaliaro ir kitos eilutės kartotinio pridėjimas nekeičia tiesinių lygčių sistemos sprendinių aibės.

MetodasMatematika ir logikaDeterminantai ir apverčiamumas

Kai Aᵢⱼ sudaroma išbraukus i eilutę ir j stulpelį, skleidžiant pagal algebrinius papildinius gaunama det A=Σⱼ(−1)ⁱ⁺ʲaᵢⱼdet Aᵢⱼ, pradedant nuo det[a]=a.

Matematinis teiginysMatematika ir logikaEuklidinė skaliarinė sandauga ir ortogonalumas

Kai x,y∈Rⁿ, ⟨x,y⟩=Σxᵢyᵢ ir ‖x‖=√⟨x,x⟩.

ApibrėžimasMatematika ir logikaMažiausieji kvadratai ir ortogonaliosios liekanos

‖Ax−b‖₂² minimizuojantys sprendiniai tenkina Aᵀ(Ax−b)=0, todėl jų liekana yra ortogonali stulpelių erdvei.

MetodasMatematika ir logikaInterpoliavimas ir jautrumas mazgams

Interpoliuojant parenkama p, kad p(tᵢ)=yᵢ nurodytuose skirtinguose mazguose.

Metodas
MetodasPatikrinta pagal šaltinius

Mažiausieji kvadratai ir ortogonaliosios liekanos

Matematika ir logika

‖Ax−b‖₂² minimizuojantys sprendiniai tenkina Aᵀ(Ax−b)=0, todėl jų liekana yra ortogonali stulpelių erdvei.

Esminės žinios

‖Ax−b‖₂² minimizuojantys sprendiniai tenkina Aᵀ(Ax−b)=0, todėl jų liekana yra ortogonali stulpelių erdvei. Kai matricos rangas lygus stulpelių skaičiui, minimumą duodantis sprendinys yra vienintelis; naudojant sutrumpintąjį QR skaidinį, jį galima rasti iš Rx=Qᵀb.

Sąlygos ir taikymo ribos

  • A ir b yra suderintų matmenų duomenys, kurių elementai yra baigtiniai realieji skaičiai.
  • Nepilno rango uždaviniai gali turėti kelis koeficientų sprendinius; tiesiogiai sudarant normaliąsias lygtis, sąlygotumas gali pablogėti.
Šaltiniai · 1

Šaltiniai

Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.

  1. Fundamentals of Numerical Computation: The normal equationsTobin A. Driscoll and Richard J. BraunVadovėlio skyriusfncbook.comSkaityti šaltinį

Pagrindimas ir peržiūra

3.2 skyriaus normaliųjų lygčių teorema, geometrinė interpretacija ir pastaba apie skaitinius skaičiavimus; QR skaidinio įstatymas yra nurodyta algebrinio skaidymo pasekmė.

2026-10-10 · Nepriklausoma DI redakcinė peržiūra: perskaitytas visas 241 glaustai suformuluotų teiginių rinkinys, įskaitant prielaidas, pateiktas lygtis ir susitarimus, taip pat visos 596 semantinės kilmės sąsajos. Peržiūrėta visa autoriaus tikslių šaltinių patikros matrica, apimanti 241 įrašą, ir deklaruoti apribojimai. Kad būtų aprėptas visas įrašų rinkinys, perskaitytas ir ankstesnių 105 faktiškai perimtų matematikos ir informacijos įrašų rinkinys. Toliau išvardyti tikslingai parinkti pirminių šaltinių skyriai, tikrinti nepriklausomai; tuo NETEIGIAMA, kad visas kiekvieno cituojamo šaltinio tekstas ar kiekvienas įrodymas buvo nepriklausomai perskaitytas iš naujo. Tai DI atlikta informacinio turinio peržiūra, o ne žmogaus atliekamas dalykinis sertifikavimas, išsamus vadovėlio atkūrimas ar eksperimentinis atkartojimas. Patvirtinimo įrašas: mathematics-information-independent-content-review.1.

Susiję žinyno įrašai

Tyrinėkite ryšius šioje pažinimo srityje ir jos sąsajas su kitomis sritimis.

Rodomi 1–13 iš 13 ryšių

Mokslinių žinių ryšiai · 13 / 13

Ryšio tipas nusako santykį. Susieti teiginiai, šaltiniai ir sąlygos apibrėžia jo taikymo ribas.

  1. Remiasi apibrėžimu
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • ‖Ax−b‖₂² minimizuojantys sprendiniai tenkina Aᵀ(Ax−b)=0, todėl jų liekana yra ortogonali stulpelių erdvei. Kai matricos rangas lygus stulpelių skaičiui, minimumą duodantis sprendinys yra vienintelis; naudojant sutrumpintąjį QR skaidinį, jį galima rasti iš Rx=Qᵀb.
  2. Remiasi apibrėžimu
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • ‖Ax−b‖₂² minimizuojantys sprendiniai tenkina Aᵀ(Ax−b)=0, todėl jų liekana yra ortogonali stulpelių erdvei. Kai matricos rangas lygus stulpelių skaičiui, minimumą duodantis sprendinys yra vienintelis; naudojant sutrumpintąjį QR skaidinį, jį galima rasti iš Rx=Qᵀb.
  3. Remiasi apibrėžimu
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • ‖Ax−b‖₂² minimizuojantys sprendiniai tenkina Aᵀ(Ax−b)=0, todėl jų liekana yra ortogonali stulpelių erdvei. Kai matricos rangas lygus stulpelių skaičiui, minimumą duodantis sprendinys yra vienintelis; naudojant sutrumpintąjį QR skaidinį, jį galima rasti iš Rx=Qᵀb.
  4. Remiasi apibrėžimu
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • 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)⁻¹. Jei paklaidos dar ir nepriklausomos bei normaliai pasiskirsčiusios, β̂ skirstinys yra tiksliai daugiamatis normalusis.
  5. Remiasi apibrėžimu
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Iš tiesiškai nepriklausomų realiųjų vektorių v₁,…,vₖ sudaromi vektoriai wⱼ=vⱼ−Σ_(i<j)[(vⱼ·wᵢ)/(wᵢ·wᵢ)]wᵢ. Šie nenuliniai ortogonalieji vektoriai generuoja tą patį poerdvį; juos normuojant gaunami qᵢ=wᵢ/‖wᵢ‖. Vektoriaus x projekcija į tą poerdvį yra Σ(x·qᵢ)qᵢ.
  6. Susiję su
    Ryšio šaltiniai · 2

    Susieti teiginiai

    • Matavimo priemonės kalibravimo kreivė modeliuoja rodmenį y kaip etaloninio įėjimo dydžio x funkciją, pavyzdžiui, y=a+bx+ε. Įprasta kalibravimo statistinė išvada, grindžiama paprastuoju mažiausių kvadratų metodu, remiasi prielaidomis, kad etaloninio įėjimo dydžio neapibrėžtis yra pakankamai nereikšminga, atsako paklaidos nepriklausomos ir pastovios dispersijos modelis tinkamas. Jei šios prielaidos netenkinamos, kreivės pritaikymą ir neapibrėžties vertinimą būtina priderinti prie tikrojo paklaidų modelio, pavyzdžiui, prireikus taikyti svertinius metodus arba metodus, atsižvelgiančius į kintamųjų paklaidas.

    Least squares solves the fitted algebraic problem; metrological validity requires additional instrument/reference assumptions.

  7. Susiję su
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Ribotos taikymo srities harmoninis modelis vaizduoja astronominių potvynių ir atoslūgių vandens lygį: η(t)=η₀+Σ_jA_jcos(ω_jt+φ_j). Astronomiškai nustatyti dažniai ir pagal vietinius duomenis priderintos amplitudės bei fazės aprašo matavimo stoties atsaką modeliuojamu laikotarpiu. Harmoninė suma neprognozuoja vėjo sukeltos patvankos ar kiekvieno vidutinio jūros lygio pokyčio.

    Fixed frequencies can be fitted as sine/cosine coefficients.

  8. Susiję su
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Kai šaltinis ir imtuvas yra ant plokščio paviršiaus, horizontaliu atstumu x vienas nuo kito, virš vienalyčio h storio sluoksnio, kuriame bangų greitis yra v₁, tiesioginės bangos sklidimo laikas yra x/v₁, o nuo horizontalaus sluoksnio pagrindo atspindėtos bangos sklidimo laikas yra 2√(h²+x²/4)/v₁. Jei apatinėje terpėje v₂>v₁, idealios kritiškai lūžusios galvinės bangos šakai galioja t=x/v₂+2h√(v₁⁻²−v₂⁻²), kai egzistuoja jos geometrinis kelias. Stebimi pirmųjų bangų atėjimo laikai yra mažiausi iš galimų aptinkamų šakų laikų, o ne viena universali tiesė.

    A chosen travel-time model can be fitted, with identifiability and error checks.

  9. Susiję su
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Skirtingos požeminės tankio struktūros gali sukurti tą patį išorinį gravitacinį lauką. Pavyzdžiui, bendrą centrą turintys sferiškai simetriški kūnai, kurių spinduliai ir tankiai skiriasi, bet bendroji perteklinė masė vienoda, sukuria tą patį išorinį potencialą −GΔM/r visur, kur stebėtojas yra už jų ribų. Baigtinis triukšmingų anomalijų matavimų skaičius įveda papildomų skiriamosios gebos apribojimų; geologinės sąlygos susiaurina leistinų modelių aibę, o ne garantuoja vienareikšmiškumą.

    A least-squares fit solves a selected model problem, not geological uniqueness.

  10. Susiję su
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • PCA randa ortogonalią mažo rango poerdvio projekciją, minimizuojančią centruotų stebėjimų kvadratinę atkūrimo paklaidą. Šį tikslą išsprendžia didžiausias kovariacijos tikrines vertes atitinkantys tikriniai vektoriai; mastelio pasirinkimas ir išskirtys keičia poerdvį. Didelė paaiškinta dispersija nebūtinai apima tikslinį signalą, o mažo matmens reprezentacija nenustato priežastinių veiksnių. Kai atitinkamos tikrinės vertės kartojasi, identifikuojamumas gali išnykti.

    The PCA reconstruction uses orthogonal projection.

  11. Susiję su
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Kai M yra uždaras tiesinis Hilberto erdvės H poerdvis, kiekvienas x turi vienintelį skaidinį x=P-M x+z, kuriame P-M x priklauso M, o z yra ortogonalus M. P-M x yra vienintelis artimiausias M taškas; P-M yra tiesinis, idempotentinis ir nedidinantis normos atvaizdis. Uždarumas ir pilnumas užtikrina, kad pasiekiamas atstumo infimumas.

    Finite-dimensional least squares is a special projection problem.

  12. Susiję su
    Ryšio šaltiniai · 1

    Susieti teiginiai

    • Atvirkštinio uždavinio sprendinys yra aposteriorinis skirstinys, sąlygotas stebėjimų, tiesioginio operatoriaus, tikėtinumo ir apriorinio skirstinio. Nevienareikšmiškumas išlieka, kai skirtingi seisminiai, gravitaciniai ar magnetiniai modeliai atitinka tuos pačius duomenis; aposteriorinio skirstinio koncentracija priklauso nuo šių pasirinkimų.

    Conceptual association supported by the recorded research scope; this relation does not assert a proven derivation or mandatory prerequisite.

  13. Susiję su
    Ryšio šaltiniai · 3

    Susieti teiginiai

    • Ansamblinis asimiliavimas įvertina prognozės paklaidų kovariacijas pagal modelio realizacijas ir atnaujina būseną naudodamas stebėjimus bei jų paklaidų modelį. Diagnozuokite dėl baigtinio ansamblio atsirandančias tariamas koreliacijas ir netinkamai kalibruotą sklaidą; kovariacijų filtravimui ar sklaidos didinimui reikia konkrečiam metodui skirto pagrindimo. Analizė priklauso nuo stebėjimo sistemos ir dinaminio modelio.

    Conceptual association supported by the recorded research scope; this relation does not assert a proven derivation or mandatory prerequisite.

Įrašo informacijaNuolatinė nuoroda į šį įrašą ↗
Įrašo identifikatorius
math-least-squares-projection
Versija
university-core.1
Struktūruotas žinyno įrašas
Universitetinių pagrindų plėtra