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šų: 1201–1230 iš 1709

InformacijaFLP: deterministinio asinchroninio konsensuso riba

Fischer, Lynch ir Paterson įrodo, kad deterministinis konsensuso protokolas jų visiškai asinchroniniame pranešimų perdavimo modelyje gali turėti leidžiamą vykdymą be sprendimo, kai įvyksta ne daugiau kaip vienas sustojimo gedimas.

Matematinis teiginysInformacijaRaft žurnalo replikavimas, patvarioji būsena ir gyvybingumas

Raft naudoja numeruotomis kadencijomis grindžiamus lyderio rinkimus, daugumos balsavimą ir žurnalų atitiktį būsenų mašinai replikuoti esant mazgų sustojimo gedimams.

MetodasInformacijaLinearizuojamumas ir operacijos realiuoju laiku

Linearizuojamo objekto veikimą galima aprašyti nuoseklia operacijų seka, kurioje kiekviena užbaigta operacija atrodo įsigaliojanti tarp jos iškvietimo ir atsakymo, išlaikant laike nepersidengiančių operacijų pirmumo tvarką realiuoju laiku.

ApibrėžimasInformacijaCAP esant tinklo skaidymui: tikslus nuoseklumo kompromisas

Gilberto ir Lynch asinchroniniame skaitymo ir rašymo modelyje realizacija negali užtikrinti ir atominio nuoseklumo, ir kiekvienos užklausos užbaigimo pateikiant atsakymą kiekviename nesugedusiame mazge, kai tinklas gali būti skaidomas bet kaip.

Matematinis teiginysInformacijaBizantiškasis susitarimas ir autentifikavimo prielaidos

Sinchroniniame Bizantijos generolų modelyje su žodiniais pranešimais, kai yra ne daugiau kaip f klaidingai veikiančių dalyvių, susitarimui reikia bent 3f+1 dalyvių; siuntėjai turi būti atpažįstami, o pristatymas – patikimas, tačiau nėra perduodamos nesuklastojamų parašų grandinės.

Matematinis teiginysMatematika ir logikaBanacho erdvės ir pilnumo vaidmuo

Normuotoji realioji arba kompleksinė vektorinė erdvė yra Banacho erdvė, jei kiekviena Koši seka normos atžvilgiu konverguoja toje erdvėje.

ApibrėžimasMatematika ir logikaAprėžtieji operatoriai ir tolydžiosios dualiosios erdvės

Tiesinis atvaizdis T:X→Y tarp normuotųjų erdvių yra tolydus tada ir tik tada, kai ||Tx|| ≤ C||x|| su tam tikra baigtine konstanta C.

ApibrėžimasMatematika ir logikaHilberto erdvės ir ortonormalieji skleidiniai

Hilberto erdvė yra pilna realiosios arba kompleksinės skaliarinės sandaugos indukuotos normos atžvilgiu.

ApibrėžimasMatematika ir logikaProjekcija į uždarą Hilberto poerdvį

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.

Matematinis teiginysMatematika ir logikaRieszo atvaizdavimo teorema Hilberto erdvės funkcionalams

Kiekvienas tolydusis tiesinis funkcionalas ell Hilberto erdvėje turi vienintelį jį vaizduojantį vektorių y, kuriam ell(x)=<x,y> ir ||ell||=||y||.

Matematinis teiginysMatematika ir logikaSilpnasis konvergavimas ir konvergavimas pagal normą

Silpnasis konvergavimas x-n→x Hilberto erdvėje reiškia, kad <x-n,y>→<x,y> kiekvienam fiksuotam y.

ApibrėžimasMatematika ir logikaBandomųjų funkcijų topologija ir skirstiniai

Skirstinys atviroje R-n aibėje U yra tolydus tiesinis funkcionalas, apibrėžtas glodžiųjų bandomųjų funkcijų su kompaktiška laikmena erdvėje.

ApibrėžimasMatematika ir logikaSkirstinių išvestinės ir šuolių šaltiniai

Skirstinių išvestinės perkelia diferencijavimą bandomajai funkcijai su integravimo dalimis nulemtu ženklu.

MetodasMatematika ir logikaDaugdaros, suderinti žemėlapiai ir liestinės erdvės

Glodžioji n-matė daugdara turi lokaliai euklidinius žemėlapius su glodžiais apgręžiamais perėjimo atvaizdžiais, o jos topologija yra Hausdorfo ir turi skaičiąją bazę.

ApibrėžimasMatematika ir logikaKoliestiniai vektoriai, tenzoriai ir atitraukimas

Kovektorius yra tiesinis funkcionalas liestinės erdvės vektoriams, o tenzorius yra daugialinijinis liestinių ir koliestinių argumentų atžvilgiu.

ApibrėžimasMatematika ir logikaIšorinės formos ir išorinė išvestinė

Diferencialinės k-formos yra glodūs alternuojantys kovariantiniai tenzoriai.

ApibrėžimasMatematika ir logikaApibendrintoji Stokso teorema su krašto orientacija

Kompaktiškoje orientuotoje glodžioje n-matėje daugdaroje su kraštu glodžios (n−1)-formos omega išorinės išvestinės d-omega integralas lygus omega integralui per kraštą su indukuota orientacija.

Matematinis teiginysMatematika ir logikaDe Rhamo kohomologija ir netiksli uždaroji forma

De Rhamo kohomologija yra uždarųjų k-formų erdvės faktorerdvė tiksliųjų k-formų erdvės atžvilgiu.

Matematinis teiginysMatematika ir logikaHodžo teorija: topologija ir elipsinė analizė

Kompaktiškoje glodžioje Rymano daugdaroje be krašto kiekviena de Ramo klasė turi vienintelį harmoninį atstovą.

Matematinis teiginysMatematika ir logikaGalua sprendžiamumo radikalais kriterijus

Virš nulinės charakteristikos lauko daugianaris yra išsprendžiamas radikalais tada ir tik tada, kai jo skaidymo lauko Galua grupė yra išsprendžiamoji.

Matematinis teiginysMatematika ir logikaKonkretus radikalusis plėtinys su grupe S3

Polinomo x³−2 virš Q skaidymo laukas yra Q(kubinė šaknis iš 2,zeta-3); jo laipsnis yra šeši, o Galois grupė – S3.

Matematinis teiginysMatematika ir logikaCiklotominiai laukai ir abelinės Galois grupės

Primityviajai n-tojo laipsnio vieneto šakniai zeta-n grupė Gal(Q(zeta-n)/Q) yra izomorfiška apverčiamųjų liekanų modulo n grupei pagal atvaizdį a↦(zeta-n↦zeta-n^a), o plėtinio laipsnis yra Eulerio phi(n).

Matematinis teiginysMatematika ir logikaTiesinės reprezentacijos ir Maschke skaidymas

Baigtinės grupės G reprezentacija yra homomorfizmas G→GL(V).

Matematinis teiginysMatematika ir logikaCharakterių ortogonalumas ir S3 lentelė

Kompleksinėms baigtinių grupių reprezentacijoms chi(g)=tr rho(g) yra pastovus jungtinumo klasėse, o neredukuojamieji charakteriai yra ortonormuoti pagal grupės vidurkiu apibrėžtą skaliarinę sandaugą.

Matematinis teiginysMatematika ir logikaSąlyginis vidurkis σ-algebros atžvilgiu

Kai X yra integruojamas, o G yra σ-poalgebris, E[X|G] yra G-matus integruojamas atsitiktinis dydis, kurio integralas per kiekvieną G įvykį lygus X integralui per tą įvykį.

ApibrėžimasMatematika ir logikaFiltracijos, adaptuoti procesai ir martingalai

Diskretusis martingalas M-n yra adaptuotas didėjančios sigma algebrų F-n sekos atžvilgiu, yra integruojamas kiekvienu laiko momentu ir tenkina E[M-(n+1)|F-n]=M-n.

ApibrėžimasMatematika ir logikaMartingalų konvergencija ir tolygus integruojamumas

Diskrečiojo laiko neneigiamas supermartingalas konverguoja beveik tikrai į baigtinę integruojamą ribą. Jo matematiniai vidurkiai taip pat konverguoja, tačiau jų riba gali skirtis nuo to ribinio atsitiktinio dydžio matematinio vidurkio.

Matematinis teiginysMatematika ir logikaPasirenkamasis stabdymas ir jo svarba

Martingalui ir aprėžtiems stabdymo momentams S≤T galioja E[M-T|F-S]=M-S.

Matematinis teiginysMatematika ir logikaSobolevo erdvės ir silpnieji kraštiniai duomenys

W^(k,p)(Omega) sudaro L-p funkcijos, kurių skirstinių (apibendrintų funkcijų) prasme apibrėžtos išvestinės iki k eilės imtinai taip pat priklauso L-p; H^k žymi atvejį p=2.

ApibrėžimasMatematika ir logikaSilpnieji Puasono lygties sprendiniai ir Laxo–Milgramo teorema

Aprėžtoje srityje Puasono lygties uždavinyje su homogenine Dirichlė kraštine sąlyga ieškoma u iš H0^1, tokio, kad grad-u·grad-v integralas srityje būtų lygus <f,v> kiekvienam v iš H0^1, kai f priklauso H−1.

Matematinis teiginys
ApibrėžimasPatikrinta pagal šaltinius

Banacho erdvės ir pilnumo vaidmuo

Matematika ir logika

Tyrimų kontekstas

postgraduate concept · established · Patikros data 2026-10-10

Normuotoji realioji arba kompleksinė vektorinė erdvė yra Banacho erdvė, jei kiekviena Koši seka normos atžvilgiu konverguoja toje erdvėje.

Esminės žinios

Normuotoji realioji arba kompleksinė vektorinė erdvė yra Banacho erdvė, jei kiekviena Koši seka normos atžvilgiu konverguoja toje erdvėje. L-p erdvėse, kai 1 ≤ p ≤ begalybė, naudojamos ekvivalentiškumo klasės pagal lygybę beveik visur; šios erdvės yra pilnos. C([a,b]) su supremumo norma yra pilna. O tolydžios rampos pavidalo funkcijos intervale [0,1] gali konverguoti L1 normos atžvilgiu į laiptinę funkciją, neturinčią tolydaus atstovo, todėl ši tolydžiųjų funkcijų erdvė su L1 norma nėra pilna.

Sąlygos ir taikymo ribos

  • Nurodyti skaliarų kūnas, norma ir mato erdvė; L-p erdvėje beveik visur lygios funkcijos tapatinamos.
  • Iš L1 apibrėžčių gaunamas konkretus kontrpavyzdys: f_n(x)=max(0,min(1,n(x−1/2))), kai n>=2; šios funkcijos L1 atstumas iki intervalo (1/2,1] indikatorinės funkcijos yra 1/(2n). Taigi ši seka yra Koši seka L1 normos atžvilgiu, tačiau jos vienintelė riba lygybės beveik visur prasme neturi tolydaus atstovo.
  • Pilnumas nėra kompaktumas; begalinės dimensijos Banacho erdvės uždarieji aprėžtieji poaibiai nebūtinai yra kompaktiniai.
Šaltiniai · 2

Šaltiniai

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

  1. 18.102 (Spring 2021): Banach spacesCasey Rodriguez / MITPaskaitų medžiaga · PDFocw.mit.eduSkaityti šaltinį
  2. Measure Theory, chapter 7: L-p spacesJohn K. Hunter / University of California, DavisPaskaitų medžiaga · PDFmath.ucdavis.eduSkaityti šaltinį

Pagrindimas ir peržiūra

Autorius patikrino šį anglišką teiginį, atskirai pateiktą lygtį, jei tokia yra, ir nurodytas prielaidas pagal šias šaltinių vietas: paskaita 1, p. 1–7: norma, pilnumas, sekų ir funkcijų pavyzdžiai; §7.1: faktorizavimas pagal lygybę beveik visur ir normos; §7.4, teorema 7.10 ir jos įrodymas: pilnumas mato erdvėje, kai 1<=p<=begalybė. Patikra apsiriboja užfiksuotais teiginiais; neteigiama, kad buvo visiškai atkurtas įrodymas, programiškai pakartotinai patikrintas įrodymas ar išsamiai aprėpta visa literatūra.

2026-10-10 · Autoriaus atlikta šaltinio pagrindinio teksto, teiginio, lygties ir galiojimo srities patikra; kiekvienos grafo sąsajos patikros aprėptis nustatyta atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir inventoriaus peržiūra.

Susiję žinyno įrašai

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

Rodomi 1–4 iš 4 ryšių

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

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

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

    Susieti teiginiai

    • Lygties i u-t=−Delta-u−lambda|u|^alpha u erdvėje R-n atveju, kai lambda yra realusis skaičius ir 0<alpha<4/n, kiekvienas pradinis L2 duomuo turi vienintelį lokalųjį švelnųjį (mild) sprendinį erdvių C([0,T];L2) ir L-q(0,T;L^(alpha+2)) sankirtoje, kur q=4(alpha+2)/(n alpha). Strichartzo įverčiai ir suspaudžiančio atvaizdžio argumentas kontroliuoja netiesinį integralinį atvaizdį, o lokalusis sprendinio atvaizdis lokaliai tenkina Lipšico sąlygą. Ši L2 subkritinio atvejo teorema automatiškai neišsiplečia į kritinius ar superkritinius laipsnius arba savavališkas krašto geometrijas.

    A complete space supports the contraction argument.

  2. Susiję su
    Ryšio šaltiniai · 2

    Susieti teiginiai

    • Normuotoji realioji arba kompleksinė vektorinė erdvė yra Banacho erdvė, jei kiekviena Koši seka normos atžvilgiu konverguoja toje erdvėje. L-p erdvėse, kai 1 ≤ p ≤ begalybė, naudojamos ekvivalentiškumo klasės pagal lygybę beveik visur; šios erdvės yra pilnos. C([a,b]) su supremumo norma yra pilna. O tolydžios rampos pavidalo funkcijos intervale [0,1] gali konverguoti L1 normos atžvilgiu į laiptinę funkciją, neturinčią tolydaus atstovo, todėl ši tolydžiųjų funkcijų erdvė su L1 norma nėra pilna.

    Norm completeness reuses the metric Cauchy definition.

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

    Susieti teiginiai

    • Normuotoji realioji arba kompleksinė vektorinė erdvė yra Banacho erdvė, jei kiekviena Koši seka normos atžvilgiu konverguoja toje erdvėje. L-p erdvėse, kai 1 ≤ p ≤ begalybė, naudojamos ekvivalentiškumo klasės pagal lygybę beveik visur; šios erdvės yra pilnos. C([a,b]) su supremumo norma yra pilna. O tolydžios rampos pavidalo funkcijos intervale [0,1] gali konverguoti L1 normos atžvilgiu į laiptinę funkciją, neturinčią tolydaus atstovo, todėl ši tolydžiųjų funkcijų erdvė su L1 norma nėra pilna.

    L-p spaces depend on integrability and almost-everywhere equivalence.

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

    Susieti teiginiai

    • Tiesinis atvaizdis T:X→Y tarp normuotųjų erdvių yra tolydus tada ir tik tada, kai ||Tx|| ≤ C||x|| su tam tikra baigtine konstanta C. Jo operatoriaus norma yra ||Tx|| supremumas, imamas per visus vienetinius vektorius. Tolydžiąją dualiąją erdvę X* sudaro aprėžtieji tiesiniai funkcionalai; begalinio matmens erdvėse bet kurie algebriniai funkcionalai nebūtinai yra tolydūs. Jei Y yra Banacho erdvė, tai aprėžtieji operatoriai X→Y su šia norma sudaro Banacho erdvę.

    Operator-space completeness requires completeness of the codomain.

Įrašo informacijaNuolatinė nuoroda į šį įrašą ↗
Įrašo identifikatorius
research-math-banach-spaces
Versija
research.1
Struktūruotas žinyno įrašas
Podiplominis ir tyrimų žinynas