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šų: 511–540 iš 1709

Matematika ir logikaBaigtinės Abelio grupės struktūra

Kiekviena netriviali baigtinė Abelio grupė yra ciklinių grupių, kurių eilės yra pirminių skaičių laipsniai, tiesioginė sandauga.

Matematinis teiginys
Matematika ir logikaCayley reguliarusis atvaizdavimas perstatomis

Bet kurioje grupėje G daugyba iš kairės λg(x)=gx yra aibės G perstata.

Matematinis teiginys
Matematika ir logikaIzoliuoti nuliai ir tapatumo principas

Nenulinė holomorfinė funkcija jungioje srityje Ω kiekvieno nulio a aplinkoje išskaidoma kaip f(z)=(z−a)ᵐh(z), kur m yra sveikasis skaičius, m≥1, o h yra holomorfinė funkcija ir h(a)≠0.

Matematinis teiginys
Matematika ir logikaPašalinamieji ypatingieji taškai, poliai ir esminiai ypatingieji taškai

Jei f yra holomorfinė srityje 0<|z−a|<R, jos Lorano eilutės pagrindinė dalis nusako taško a tipą: jei nėra neigiamų laipsnių, tai pašalinamasis ypatingasis taškas; jei jų yra baigtinis skaičius ir mažiausias rodiklis yra −m, tai m eilės polius; jei jų yra be galo daug, tai esminis ypatingasis taškas.

Apibrėžimas
Matematika ir logikaKoši įverčiai ir Liuvilio teorema

Jei f yra holomorfinė uždarojo skritulio |z−a|≤R aplinkoje ir jo krašte |f|≤M, tai |f⁽ⁿ⁾(a)|≤n!M/Rⁿ.

Matematinis teiginys
Matematika ir logikaModulio maksimumo principas

Jei |f| įgyja lokalųjį maksimumą jungios srities, kurioje f yra holomorfinė, vidiniame taške, tai f yra pastovi.

Matematinis teiginys
Matematika ir logikaReziduumų poliuose skaičiavimas

Ties m-osios eilės poliumi funkcija H(z)=(z−a)ᵐf(z) pratęsiama holomorfiškai ir Res(f,a)=H⁽ᵐ⁻¹⁾(a)/(m−1)!.

Metodas
Matematika ir logikaHarmoninės funkcijos ir jų jungtinės funkcijos

Realiųjų reikšmių C² klasės funkcija u yra harmoninė, kai Δu=uₓₓ+uᵧᵧ=0.

Matematinis teiginys
Matematika ir logikaHarmoninių funkcijų vidutinė reikšmė ir maksimumo principas

Harmoninės funkcijos u reikšmė lygi jos vidurkiui kiekviename apskritime, kurio uždaras skritulys yra jos apibrėžimo srityje.

Matematinis teiginys
Matematika ir logikaHolomorfinių atvaizdžių lokalusis konformiškumas

Taške a, kuriame f′(a)≠0, holomorfinis atvaizdis lokaliai išlaiko orientuotus kampus: liestinės vektoriai dauginami iš f′(a), pasukant juos kampu arg f′(a) ir keičiant jų ilgį |f′(a)| kartų.

Matematinis teiginys
Matematika ir logikaMöbiuso atvaizdžiai ir apskritimai

T(z)=(az+b)/(cz+d), ad−bc≠0, pratęsiamas iki aibės C∪{∞} bijekcijos, kur T(−d/c)=∞ ir T(∞)=a/c, kai c≠0.

Metodas
Matematika ir logikaRymano atvaizdavimo teorema

Kiekvieną netuščią vienajungį atvirą tikrinį C poaibį galima bijektyviai holomorfiškai atvaizduoti į vienetinį skritulį taip, kad atvirkštinis atvaizdis būtų holomorfinis.

Matematinis teiginys
Matematika ir logikaArgumento principas ir nulių bei polių skaičiavimas

Meromorfinei funkcijai f teigiamai orientuotas paprastasis uždaras dalimis C¹ kontūras γ, neinantis per jos nulius ir polius, duoda (2πi)⁻¹∮γf′/f dz=N−P=Ind(f∘γ,0), kur viduje esantys nuliai ir poliai skaičiuojami atsižvelgiant į jų kartotinumą.

Matematinis teiginys
Matematika ir logikaRouché nulių skaičiavimo metodas

Jei f ir h yra holomorfinės paprastojo uždaro kontūro γ vidaus uždarinio aplinkoje ir ant γ galioja |h(z)|<|f(z)|, tai f ir f+h turi vienodą skaičių viduje esančių nulių, skaičiuojamų atsižvelgiant į kartotinumą.

Metodas
Matematika ir logikaPuasono integralas skrituliui

Kai kraštiniai duomenys g yra tolydūs, realieji ir 2π periodiniai, u(r,θ)=(2π)⁻¹∫₋π^π[(1−r²)/(1−2r cos(θ−α)+r²)]g(α)dα yra harmoninė funkcija srityje 0≤r<1 ir tolydžiai pratęsiama iki u(1,θ)=g(θ).

Metodas
Matematika ir logikaSudėtinė Simpsono taisyklė ir paklaidos rėžis

Kai n≥2 yra lyginis ir h=(b−a)/n, Sₙ=(h/3)[f(a)+f(b)+4Σ_{nelyginiai i} f(a+ih)+2Σ_{lyginiai i} f(a+ih)], sumuojant pagal vidinius indeksus.

Metodas
Matematika ir logikaAdaptyvusis Simpsono paklaidos vertinimas

Kai Simpsono artiniai skaičiuojami glodiems duomenims, naudojant N ir 2N vienodų dalinių intervalų, (S_(2N)−S_N)/15 ekstrapoliacijos būdu įvertina S_(2N) pataisą.

Metodas
Matematika ir logikaSkaliarinis absoliutusis stabilumas ir Eulerio žingsniai

Lygčiai y′=λy, kai h>0 yra fiksuotas, vieno žingsnio metodas y_(k+1)=R(hλ)y_k su nenuline pradine verte yra absoliučiai stabilus tada ir tik tada, kai |R(hλ)|≤1; griežtoji nelygybė lemia slopimą.

Apibrėžimas
Matematika ir logikaNeišreikštinis Eulerio metodas ir jo skaliarinis stabilumas

Neišreikštinis Eulerio metodas apibrėžiamas lygtimi y_(k+1)=y_k+h f(t_(k+1),y_(k+1)), kurią paprastai reikia spręsti kaip neišreikštinę lygtį.

Metodas
Matematika ir logikaStandumas ir A stabilumas

Uždavinys vadinamas standžiu, kai dėl stabilumo, o ne dėl pageidaujamo tikslumo, metodui tenka rinktis itin mažus žingsnius.

Apibrėžimas
Matematika ir logikaLaipsnių iteracija su dominuojančia tikrine verte

Kai A yra diagonalizuojama, |λ₁|>|λ₂|≥… ir pradinio vektoriaus koeficientas prie λ₁ atitinkančio tikrinio vektoriaus yra nenulinis, kartojama iteracija x_(k+1)=Ax_k/‖Ax_k‖₂ artėja prie dominuojančios tikrinės krypties, nepaisant fazės arba ženklo skirtumo.

Metodas
InformacijaStabilus sveikųjų skaičių rikiavimas skaičiavimu

Turint n įrašų su sveikaisiais raktais 0≤k<U, pagal raktą pridėti įrašus į U krepšelių galus, išlaikant įterpimo tvarką, tada sujungti krepšelius raktų didėjimo tvarka.

Metodas
InformacijaSkaitmeninis rikiavimas nuo mažiausiai reikšminio skaitmens

Neneigiamus sveikuosius raktus išreikškite d skaitmenų B pagrindo sistemoje ir stabiliai rikiuokite pagal kiekvieną skaitmenį nuo mažiausiai iki labiausiai reikšminio.

Metodas
InformacijaTopologinė tvarka ir orientuotųjų ciklų aptikimas

Baigtinio orientuotojo grafo viršūnes galima išdėstyti taip, kad kiekvienai briaunai u→v viršūnė u eitų prieš v, tada ir tik tada, kai grafas yra aciklinis.

Metodas
InformacijaTrumpiausi keliai relaksuojant DAG

Baigtiniame orientuotajame acikliame grafe (DAG) su sveikaisiais briaunų svoriais nustatykite d(s)=0, o kitoms viršūnėms – d(v)=∞, apdorokite viršūnes topologine tvarka ir relaksuokite kiekvieną išeinančią briauną u→v pagal d(v)←min(d(v),d(u)+w(u,v)).

Metodas
InformacijaIlgiausias bendras posekis taikant dinaminį programavimą

Eilučių sufiksų A[i:],B[j:] ilgiausio bendro posekio ilgį pažymėkime L(i,j).

Metodas
InformacijaPagrindinė teorema „skaldyk ir valdyk“ rekurentiniams sąryšiams

Kai T(n)=aT(n/b)+f(n), T(1)=Θ(1), pažymėkime q=log_b a.

Matematinis teiginys
Matematika ir logikaMonotoninės realiųjų skaičių sekos konvergavimas

Monotoninė realiųjų skaičių seka konverguoja į baigtinę ribą tada ir tik tada, kai ji yra aprėžta.

Matematinis teiginys
Matematika ir logikaBolcano–Vejerštraso teorema realiųjų skaičių sekoms

Kiekviena aprėžta realiųjų skaičių seka turi konverguojantį posekį.

Matematinis teiginys
Matematika ir logikaSekų ribos: aritmetika ir suspaudimo teorema

Konverguojančių realiųjų skaičių sekų xₙ→x, yₙ→y sumos ir sandaugos konverguoja atitinkamai į x+y ir xy; dalmenys artėja prie x/y, jei y≠0.

Matematinis teiginys
Matematinis teiginysPatikrinta pagal šaltinius

Argumento principas ir nulių bei polių skaičiavimas

Matematika ir logika

Meromorfinei funkcijai f teigiamai orientuotas paprastasis uždaras dalimis C¹ kontūras γ, neinantis per jos nulius ir polius, duoda (2πi)⁻¹∮γf′/f dz=N−P=Ind(f∘γ,0), kur viduje esantys nuliai ir poliai skaičiuojami atsižvelgiant į jų kartotinumą.

Esminės žinios

Meromorfinei funkcijai f teigiamai orientuotas paprastasis uždaras dalimis C¹ kontūras γ, neinantis per jos nulius ir polius, duoda (2πi)⁻¹∮γf′/f dz=N−P=Ind(f∘γ,0), kur viduje esantys nuliai ir poliai skaičiuojami atsižvelgiant į jų kartotinumą.

Sąlygos ir taikymo ribos

  • f yra meromorfinė kontūro vidaus uždarinio aplinkoje ir neturi nei nulio, nei poliaus ant γ.
  • Vaizdo kreivės apsisukimų skaičius gali būti didesnis už vienetą, nors γ yra paprastasis kontūras.
Šaltiniai · 1

Šaltiniai

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

  1. 18.04 (2018), Topic 11: Argument principleJeremy Orloff / MITPaskaitų medžiaga · PDFocw.mit.eduSkaityti šaltinį

Pagrindimas ir peržiūra

Pradinės prielaidos ir teoremos 11.1/11.4, skyriai 11.2–11.2.2; patikrinti lokalūs logaritminės išvestinės reziduumai.

2026-10-10 · Nepriklausoma DI redakcinė peržiūra: perskaityti visi glaustai suformuluoti teiginiai (241), hipotezės, pateiktos lygtys ir susitarimai bei visos kilmės semantinės sąsajos (596); peržiūrėta visa autoriaus sudaryta 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 ir 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 eksperto patvirtinimas atitinkamoje mokslo srityje, išsamus vadovėlio atkūrimas ar eksperimentinis pakartojimas. Peržiūros įrašas: mathematics-information-independent-content-review.1.

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