Banacho erdvės ir pilnumo vaidmuo
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.
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.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- research-math-banach-spaces
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas