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

Santykio ir šaknies konvergavimo požymiai

Matematika ir logika

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

Esminės žinios

Jei |aₙ₊₁/aₙ|→ρ arba |aₙ|¹⁄ⁿ→ρ, tai Σaₙ konverguoja absoliučiai, kai ρ<1, ir diverguoja, kai ρ>1. Kai ρ=1, galimas bet kuris iš šių atvejų.

Sąlygos ir taikymo ribos

  • Santykio požymiui būtina, kad nuo tam tikro indekso aₙ būtų nenuliniai; šaknies požymis to nereikalauja.
  • Šios ribomis išreikštos požymių formos neleidžia padaryti išvados, jei nurodyta riba neegzistuoja.
Šaltiniai · 1

Šaltiniai

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

  1. Calculus Volume 2: Ratio and root testsOpenStax / Rice UniversityVadovėlio skyriusopenstax.orgSkaityti šaltinį

Pagrindimas ir peržiūra

Teoremos 5.16–5.17; išlaikyti griežtosios nelygybės atvejai ir lygybės atvejai, kuriais išvados padaryti negalima.

2026-10-10 · Nepriklausoma DI redakcinė peržiūra: perskaitytas visų 241 glaustų teiginių, prielaidų, atskirai pateiktų lygčių bei susitarimų turinys ir visos 596 iš šių įrašų išeinančios semantinės sąsajos; peržiūrėta visa autoriaus 241 įrašo tikslių šaltinių patikros matrica ir deklaruoti apribojimai. Siekiant aprėpti visą įrašų rinkinį, perskaityti 105 ankstesni faktiškai paveldėti matematikos ir informacijos įrašai. Toliau išvardyti tikslingai nepriklausomai peržiūrėti pirminių šaltinių skyriai; tuo NETEIGIAMA, kad kiekvieno cituojamo šaltinio visas tekstas ar kiekvienas įrodymas buvo nepriklausomai perskaitytas iš naujo. Tai DI atlikta informacinio turinio peržiūra, o ne žmogaus atliekamas dalykinis patvirtinimas, išsamus vadovėlio atkūrimas ar eksperimentinis pakartojimas. Peržiūros patvirtinimo įrašas: mathematics-information-independent-content-review.1.

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