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
Matematinis teiginysPatikrinta pagal šaltinius

Rieszo atvaizdavimo teorema Hilberto erdvės funkcionalams

Matematika ir logika

Tyrimų kontekstas

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

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

Esminės žinios

Kiekvienas tolydusis tiesinis funkcionalas ell Hilberto erdvėje turi vienintelį jį vaizduojantį vektorių y, kuriam ell(x)=<x,y> ir ||ell||=||y||. Taip tolydžiųjų tiesinių funkcionalų dualioji erdvė sutapatinama su Hilberto erdve; laikantis susitarimo, kad skaliarinė sandauga yra tiesinė pirmojo argumento atžvilgiu, šis atvaizdis yra antitiesinis: padauginus funkcionalą iš kompleksinio skaliaro, jį vaizduojantis vektorius padauginamas iš to skaliaro jungtinio. Tai nėra ta pati teorema kaip teigiamųjų funkcionalų tolydžiųjų funkcijų erdvėje vaizdavimo matu teorema.

Vertės ir lygtys

ell(x)=<x,y>; ||ell||=||y||

ell
Aprėžtas tiesinis funkcionalas
x,y
Hilberto erdvės vektoriai

Sąlygos ir taikymo ribos

  • Funkcionalas yra tiesinis ir aprėžtas; jo apibrėžimo sritis yra pilna pagal skaliarinės sandaugos indukuotą normą.
  • Pakeitus, kurio argumento atžvilgiu skaliarinė sandauga yra tiesinė, pasikeičia kompleksinio jungimo vieta.
Šaltiniai · 1

Šaltiniai

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

  1. 18.102 (Spring 2021): Projection and Riesz representationCasey Rodriguez / MITPaskaitų medžiaga · PDFocw.mit.eduSkaityti šaltinį

Pagrindimas ir peržiūra

Autorius patikrino šį anglišką teiginį, atskirai pateiktą lygtį, jei ji yra, ir nurodytas prielaidas pagal šias šaltinio vietas: paskaitą 17, teoremą apie minimumą pasiekiantį elementą, ortogonaliąją projekciją ir teoremą 184. 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 turinio, teiginio, lygties ir apibrėžimo srities patikra; kiekvienos grafo sąsajos patikros apimtis 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–3 iš 3 ryšių

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

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

    • Kiekvienas tolydusis tiesinis funkcionalas ell Hilberto erdvėje turi vienintelį jį vaizduojantį vektorių y, kuriam ell(x)=<x,y> ir ||ell||=||y||. Taip tolydžiųjų tiesinių funkcionalų dualioji erdvė sutapatinama su Hilberto erdve; laikantis susitarimo, kad skaliarinė sandauga yra tiesinė pirmojo argumento atžvilgiu, šis atvaizdis yra antitiesinis: padauginus funkcionalą iš kompleksinio skaliaro, jį vaizduojantis vektorius padauginamas iš to skaliaro jungtinio. Tai nėra ta pati teorema kaip teigiamųjų funkcionalų tolydžiųjų funkcijų erdvėje vaizdavimo matu teorema.

    The functional belongs to the continuous dual.

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

    Susieti teiginiai

    • Kiekvienas tolydusis tiesinis funkcionalas ell Hilberto erdvėje turi vienintelį jį vaizduojantį vektorių y, kuriam ell(x)=<x,y> ir ||ell||=||y||. Taip tolydžiųjų tiesinių funkcionalų dualioji erdvė sutapatinama su Hilberto erdve; laikantis susitarimo, kad skaliarinė sandauga yra tiesinė pirmojo argumento atžvilgiu, šis atvaizdis yra antitiesinis: padauginus funkcionalą iš kompleksinio skaliaro, jį vaizduojantis vektorius padauginamas iš to skaliaro jungtinio. Tai nėra ta pati teorema kaip teigiamųjų funkcionalų tolydžiųjų funkcijų erdvėje vaizdavimo matu teorema.

    Projection onto the functional kernel supplies the representation.

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

    Susieti teiginiai

    • 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. Puankarė nelygybė užtikrina koercyvumą, todėl Laxo–Milgramo teorema garantuoja vienintelį silpnąjį sprendinį ir ||u||-H0^1 ≤ C||f||-H−1. Bendriau, aprėžta koercyvi bilinearinė forma realiojoje Hilberto erdvėje kiekvienam tolydžiajam tiesiniam funkcionalui turi vienintelį sprendinį.

    Hilbert duality underlies the variational existence framework.

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