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šų: 451–480 iš 1709

Matematika ir logikaDaugianarių dalyba ir didžiausi bendrieji dalikliai

Virš kūno F, kai g nenulinis, lygybėje f=gq+r daugianariai q ir r yra vieninteliai, o r=0 arba deg r<deg g.

Metodas
Matematika ir logikaNeskaidomumas ir Eisensteino kriterijus

Nekonstantinis daugianaris virš F yra neskaidomas, jei jo negalima išskaidyti į dviejų teigiamo laipsnio daugianarių virš F sandaugą.

Metodas
Matematika ir logikaChi kvadrato skirstinys

k nepriklausomų standartinių normaliųjų atsitiktinių dydžių kvadratų suma turi chi kvadrato skirstinį χ²ₖ=Gamma(k/2,1/2), kurio vidurkis k, o dispersija 2k.

Apibrėžimas
Matematika ir logikaStjudento t skirstinys ir normaliojo vidurkio pivotinis dydis

Jei Z∼N(0,1) ir U∼χ²ν yra nepriklausomi, Z/√(U/ν) turi tν skirstinį.

Metodas
Matematika ir logikaParametrinė ir empirinė saviranka

Statistika T iš naujo apskaičiuojama daugelyje modeliuojant sugeneruotų n dydžio duomenų rinkinių.

Metodas
InformacijaDaugiajuostės mašinos imitavimas ir modelių lygiavertiškumas

Fiksuotą deterministinę Tiuringo mašiną su baigtiniu juostų skaičiumi, veikiančią per laiką t(n)≥n, galima imituoti vienajuoste mašina per O(t(n)²) laiką, saugant juostų turinį bei galvučių žymeklius ir peržiūrint juos kiekviename imituojamame žingsnyje.

Matematinis teiginys
InformacijaLaikas, atmintis ir užkoduotos įvesties dydis

Deterministinio sprendimo algoritmo laiko sąnaudos matuojamos žingsnių skaičiumi, o atminties sąnaudos – naudojamų atminties langelių skaičiumi; blogiausio atvejo ribos nustatomos imant maksimumą tarp vienodo užkoduoto ilgio įvesčių.

Apibrėžimas
Matematika ir logikaPalyginimo ir ribinio palyginimo požymiai

Jei nuo tam tikro indekso nariai yra neneigiami ir aₙ≤bₙ, tai Σbₙ konvergencija lemia Σaₙ konvergenciją, o Σaₙ divergencija lemia Σbₙ divergenciją.

Matematinis teiginys
Matematika ir logikaSantykio ir šaknies konvergavimo požymiai

Jei |aₙ₊₁/aₙ|→ρ arba |aₙ|¹⁄ⁿ→ρ, tai Σaₙ konverguoja absoliučiai, kai ρ<1, ir diverguoja, kai ρ>1.

Matematinis teiginys
Matematika ir logikaTolygusis išvestinių konvergavimas

Jei intervale (a,b) diferencijuojamos realiosios funkcijos fₙ konverguoja taškinai į f, o fₙ′ konverguoja tolygiai į g, tai f yra diferencijuojama ir f′=g.

Matematinis teiginys
Matematika ir logikaTolygiosios ribos ir Riemanno integravimas

Jei baigtiniame intervale [a,b] pagal Riemanną integruojamos funkcijos fₙ tolygiai konverguoja į f, tai f yra integruojama pagal Riemanną ir ∫ₐᵇfₙ dx→∫ₐᵇf dx.

Matematinis teiginys
Matematika ir logikaLaipsninių eilučių konvergencija ir diferencijavimas

Eilutės Σaₙ(x−c)ⁿ konvergavimo spindulys R yra 1/lim sup|aₙ|¹⁄ⁿ, taikant konvencijas 1/0=∞ ir 1/∞=0.

Matematinis teiginys
Matematika ir logikaSudėties ir daugybos skaičiavimo principai

Bendras baigtinių, tarpusavyje nesikertančių alternatyvų skaičius lygus jų skaičių sumai.

Metodas
Matematika ir logikaĮtraukimo ir atmetimo principas persidengiančioms aibėms

Baigtinėms aibėms A,B galioja |A∪B|=|A|+|B|−|A∩B|.

Metodas
Matematika ir logikaGretiniai ir deriniai

Iš n skirtingų objektų pasirinkite k be pasikartojimų.

Metodas
InformacijaLeistinasis srautas ir didžiausiojo srauto bei mažiausiojo pjūvio sertifikatas

Srautas orientuotame tinkle neviršija neneigiamų pralaidumų ir tenkina srauto tvermę visose viršūnėse, išskyrus šaltinį s ir santaką t.

Matematinis teiginys
InformacijaEdmondso–Karpo didinančiųjų kelių algoritmas

Pradėjus nuo nulinio srauto, paieška į plotį randamas trumpiausias s–t kelias liekamajame tinkle, o srautas padidinamas mažiausiu šio kelio liekamuoju pralaidumu, atnaujinant tiesioginių ir atvirkštinių briaunų pralaidumus.

Metodas
InformacijaDiskrečioji Furjė transformacija ir jos atvirkštinė

Turint N kompleksinių koeficientų aⱼ, apibrėžiama yₖ=Σ_(j=0)^(N−1)aⱼωᴶᴷ, kur ω=e²πⁱ⁄ᴺ.

Matematinis teiginys
InformacijaGreitoji Fourier transformacija su dvejetainiu skaidymu

Kai N yra dvejeto laipsnis, suskirstykite daugianario koeficientus pagal lyginius ir nelyginius indeksus, rekursyviai transformuokite kiekvieną pusę ir sujunkite reikšmes pagal p(z)=p_even(z²)+zp_odd(z²).

Metodas
Matematika ir logikaApgręžiamieji elementai, nulio dalikliai ir vientisumo sritys

Apgręžiamasis elementas turi daugybinį atvirkštinį elementą.

Apibrėžimas
Matematika ir logikaVientisumo srities trupmenų kūnas

Vientisumo srityje R trupmenos a/b, kurių b≠0, yra ekvivalentiškumo klasės pagal sąryšį a/b=c/d tada ir tik tada, kai ad=bc.

Apibrėžimas
Matematika ir logikaPirminiai ir maksimalieji idealai

Komutatyviojo žiedo su vienetu tikrinis idealas I yra pirminis tada ir tik tada, kai iš ab∈I išplaukia a∈I arba b∈I; lygiavertiškai, R/I yra vientisumo sritis.

Matematinis teiginys
Matematika ir logikaKūno charakteristika ir pirminiai pokūniai

Kūno charakteristika yra nulis, jei nėra teigiamo n, tenkinančio n·1=0; priešingu atveju jo charakteristika yra pirminis skaičius p.

Apibrėžimas
Matematika ir logikaVienareikšmio skaidymo ir pagrindinių idealų sritys

Vientisumo srityje neskaidomieji elementai yra nenuliniai neapverčiamieji elementai, kurių negalima išskaidyti į dviejų neapverčiamųjų elementų sandaugą; pirminiai elementai dalija sandaugą tik tada, kai dalija vieną iš jos daugiklių.

Matematinis teiginys
Matematika ir logikaEuklidinė dalyba ir sričių hierarchija

Euklidinėje srityje nenuliniams elementams apibrėžtas neneigiamas sveikasis dydis d, leidžiantis dalybą b=aq+r, kai r=0 arba d(r)<d(a), ir tenkinantis d(a)≤d(ab).

Matematinis teiginys
Matematika ir logikaKūno plėtinio laipsnis ir bokšto dėsnis

Kai F⊆K yra kūnai, plėtinio laipsnis [K:F] yra dim_F K.

Matematinis teiginys
Matematika ir logikaAlgebriniai elementai ir minimalieji daugianariai

Algebrinis elementas α yra nenulinio daugianario virš kūno F šaknis.

Matematinis teiginys
Matematika ir logikaBaigtiniai kūnai ir jų konstravimas daugianariais

Baigtinis kūnas turi pⁿ elementų, kur p yra pirminis skaičius, o n≥1; kiekvienam tokiam elementų skaičiui egzistuoja vienintelis kūnas izomorfizmo tikslumu.

Matematinis teiginys
Matematika ir logikaBaigtinė Galua atitiktis

Skaidymo kūną generuoja visos daugianario šaknys; separabiliojo daugianario šaknys yra skirtingos.

Matematinis teiginys
Matematika ir logikaSkaliariniai ir vektoriniai kreiviniai integralai

Išilgai dalimis C¹ glotnaus reguliaraus kelio r(t) skaliarinis integravimas apibrėžiamas formule ∫C f ds=∫f(r(t))‖r′(t)‖dt, o vektorinis integravimas – formule ∫C F·dr=∫F(r(t))·r′(t)dt.

Metodas
Matematinis teiginysPatikrinta pagal šaltinius

Diskrečioji Furjė transformacija ir jos atvirkštinė

Informacija

Turint N kompleksinių koeficientų aⱼ, apibrėžiama yₖ=Σ_(j=0)^(N−1)aⱼωᴶᴷ, kur ω=e²πⁱ⁄ᴺ.

Esminės žinios

Turint N kompleksinių koeficientų aⱼ, apibrėžiama yₖ=Σ_(j=0)^(N−1)aⱼωᴶᴷ, kur ω=e²πⁱ⁄ᴺ. Atvirkštinė transformacija yra aⱼ=N⁻¹Σ_(k=0)^(N−1)yₖω⁻ᴶᴷ. Taip daugianario koeficientai paverčiami jo reikšmėmis N-ojo laipsnio šaknyse iš vieneto.

Sąlygos ir taikymo ribos

  • Čia tiesioginėje transformacijoje kampas imamas su teigiamu ženklu; pagal kitus susitarimus ženklai sukeičiami arba normalizuojama kitaip.
  • Diskrečioji transformacija taikoma baigtiniams vektoriams ir skiriasi nuo tolydžiojo Fourier integralo.
Šaltiniai · 1

Šaltiniai

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

  1. 6.046J (Spring 2012), Lecture 5: Fast Fourier transformMITPaskaitų medžiaga · PDFocw.mit.eduSkaityti šaltinį

Pagrindimas ir peržiūra

Paskaitos 5 skyriuje 5.1.1 aprašytas reikšmių skaičiavimas vieneto šaknyse, o skyriuje 5.1.2 – atvirkštinės matricos skaičiavimas.

2026-10-10 · Nepriklausoma AI redakcinė peržiūra: Perskaityti visi241 glausti teiginiai, prielaidos, pateiktos lygtys ir konvencijos bei visos596 iš šių įrašų išeinančios semantinės sąsajos; peržiūrėta visa autoriaus tikslių šaltinių patikros matrica, turinti241 įrašą, ir deklaruoti apribojimai. Siekiant aprėpti visą inventorių, perskaityti ankstesni105 faktiškai paveldėti matematikos ir informacijos įrašai. Toliau išvardyti tiksliniai nepriklausomai perskaityti pirminių šaltinių skyriai; tai NEREIŠKIA, kad nepriklausomai iš naujo perskaitytas kiekvienas cituotas šaltinio tekstas ar kiekvienas įrodymas. Tai AI atliekama informacinio turinio peržiūra, o ne žmogaus atliekamas dalykinis sertifikavimas, išsamus vadovėlio atkūrimas ar eksperimentų pakartojimas. Peržiūros dokumentas: mathematics-information-independent-content-review.1.

Įrašo informacijaNuolatinė nuoroda į šį įrašą ↗
Įrašo identifikatorius
info-discrete-fourier-transform
Versija
university-core.1
Struktūruotas žinyno įrašas
Universitetinių pagrindų plėtra