Natūralumas kaip suderintas funktorių palyginimas
Tyrimų kontekstas
postgraduate concept · established · Patikros data 2026-10-10
Natūralioji transformacija eta:F⇒G kiekvienam objektui priskiria morfizmą eta-X:F(X)→G(X) taip, kad G(f) eta-X=eta-Y F(f).
Esminės žinios
Natūralioji transformacija eta:F⇒G kiekvienam objektui priskiria morfizmą eta-X:F(X)→G(X) taip, kad G(f) eta-X=eta-Y F(f). Vektorinėms erdvėms atvaizdis į antrąją dualiąją erdvę yra natūralus: vektorius tiesiniams funkcionalams priskiria jų reikšmes tame vektoriuje, suderintai su kiekvienu tiesiniu atvaizdžiu. Baigtiniamatėms vektorinėms erdvėms tai yra izomorfizmas, o begaliniamatės algebrinės antrosios dualiosios erdvės gali būti didesnės.
Vertės ir lygtys
G(f) o eta_X = eta_Y o F(f)
- F,G
- Funktoriai iš C į D
- f
- Morfizmas iš X į Y kategorijoje C
- eta_X
- Natūraliosios transformacijos komponentė
Sąlygos ir taikymo ribos
- Natūralumo kvadratas turi komutuoti kiekvienam morfizmui, o ne vien pasirinktos bazės elementams.
- Dvigubos dualiosios erdvės pavyzdyje naudojamos algebrinės dualiosios erdvės; Banacho erdvių refleksyvumas, apibrėžiamas naudojant tolydžiąsias dualiąsias erdves, yra kitas klausimas.
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Autorius patikrino šį anglišką teiginį, pateiktą lygtį, jei ji yra, ir nurodytas prielaidas pagal šias šaltinių vietas: §§1.1–1.4 kategorijos / funktoriai / natūralumas, §2.2 Yoneda, 4 skyrius jungtiniai funktoriai. Patikra apsiriboja užfiksuotais teiginiais; neteigiama, kad atlikta visa įrodymo rekonstrukcija, programinis įrodymo pakartojimas ar išsamiai aprėpta visa literatūra.
2026-10-10 · Autoriaus atlikta šaltinio pagrindinio teksto / teiginio / lygties / taikymo srities patikra; kiekvienos grafo sąsajos aprėptis nustatyta atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio / šaltinių / inventoriaus peržiūra.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- research-math-natural-transformations
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas