Snop (matematika)

matematika
(преусмерено са Sheaf (mathematics))

U matematici, snop je alat za sistematsko praćenje lokalno definisanih podataka vezanih za otvorene skupove topološkog prostora.[1] Podaci se mogu ograničiti na manje otvorene skupove, a podaci dodeljeni otvorenom skupu su ekvivalentni svim kolekcijama kompatibilnih podataka dodeljenih zbirkama manjih otvorenih skupova koji pokrivaju izvorne. Na primer, takvi podaci mogu se sastojati od prstenova neprekidnih ili glatkih realno vrednosnih funkcija definisanih na svakom otvorenom skupu. Snopovi su po dizajnu prilično opšti i apstraktni objekti, i njihova korektna definicija je prilično tehnička. Oni su različito definisani, na primer, kao snopovi skupova ili snopovi prstenova, zavisno od tipa podataka dodeljenih otvorenim skupovima.

Postoje takođe mape (ili morfizmi) od jednog snopa do drugog; snopovi (specifičnog tipa, poput snopova abelovskih grupa) sa svojim morfizmima na fiksnom topološkom prostoru formiraju kategoriju. S druge strane, svakoj neprekidnoj mapi pridružen je i funktor direktnog imidža, uzimajući snopove i njihove morfizme na domenu u snopove i morfizme na kododenu, i funktor inverznog imidža koji deluje u suprotnom smeru. Ovi funktori i njihove određene varijante su esencijalni delovi teorije snopova.

Zbog svoje opšte prirode i svestranosti, snopovi imaju nekoliko primena u topologiji, a posebno u algebarskoj i diferencijalnoj geometriji. Prvo, geometrijske strukture kao što su diferencijabilne mnogostrukosti ili šeme mogu se izraziti snopom prstenova na prostoru.[2] U takvim je kontekstima nekoliko geometrijskih konstrukcija poput vektorskih svežnjeva ili razdelnika prirodno određeno u obliku snopova. Drugo, snopovi pružaju okvir za vrlo opštu teoriju kohomologije, koja obuhvata i „uobičajene” teorije topološke kohomologije, kao što je singularne kohomologije. Posebno u algebarskoj geometriji i teoriji kompleksnih mnogostrukosti, kohomologija snopova pruža snažnu vezu između topoloških i geometrijskih svojstava prostora. Snopovi takođe daju osnovu za teoriju D-modula koji pružaju aplikacije teoriji diferencijalnih jednačina. Pored toga, generalizacije snopova na opštije postavke od topoloških prostora, poput Grotendikove topologije, pružile su aplikacije za matematičku logiku i teoriju brojeva.

Pregled уреди

U topologiji, diferencijalnoj geometriji, i algebarskoj geometriji, nekoliko struktura definisanih u topološkom prostoru (e.g., diferencijabilna mnogostrukost) mogu se prirodno lokalizovati ili ograničiti na otvorene podskupe prostora: tipični primeri uključuju kontinuirane funkcije realnih ili kompleksnih vrednosti, n puta diferencijabilnih (realno ili kompleksno vrednosnih) funkcija, ograničenih realno vrednosnih funkcija, vektorskih polja, i sekcija bilo kog vektorskog svežnja u prostoru.

Presnopovi formalizuju situaciju zajedničku za gore navedene primere: presnop (skupova) na topološkom prostoru je struktura koja svakom otvorenom skupu U prostora pridružuje skup F(U) sekcija na U, i za svaki otvoreni skup V uključen u U mapa F(U) → F(V) daje ograničenja sekcije nad U do V. Svaki od gornjih primera definiše presnop uzimajući da su ograničenja mape uobičajena ograničenja funkcija, vektorskih polja i sekcija vektorog snopa. Štaviše, u svakom od ovih primera skupovi sekcija imaju dodatnu algebarsku strukturu: operacije na tačkama ih čine abelovskim grupama, a u primerima realnih i kompleksno vrednosnih funkcija skupovi sekcija imaju čak i prstenastu strukturu. Pored toga, u svakom primeru restrikcije mape su homomorfizmi korespondirajuće algebarske strukture. Ovo zapažanje dovodi do prirodne definicije presnopova sa dodatnom algebarskom strukturom, kao što su predsnopovi grupa, abelovske grupe, prstenova: setovi sekcija moraju imati specifičnu algebarsku strukturu, a ograničenja su potrebna za homomorfizme. Tako, na primer, kontinuirane realno vrednosne funkcije na topološkom prostoru formiraju predsnop prstenova u prostoru.

Za dati presnop, prirodno je postaviti pitanje do koje mere su njegove sekcije nad otvorenim skupom U određene ograničenjima na manjim otvorenim skupovima Vi otvorenog pokrivača U. Presnop je odvojen ako su njegovi delovi „lokalno određeni”: kad god se dve sekcije nad U podudaraju ako su ograničene na svako od Vi, dva sekcije su identične. Svi gore navedeni primeri presnopova su odvojeni, jer su u svakom slučaju sekcije određene njihovim vrednostima u tačkama datog prostora. Konačno, odvojeni presnop je snop ako se kompatibilne sekcije mogu spojiti zajedno, tj. kad god postoji sekcija presnopa nad svakim od pokrovnih setova Vi, izabrana tako da se oni podudaraju na preklapanjima prekrivnih setova, te sekcije korespondiraju (jedinstvenoj) sekciji na U, čija su oni ograničenja. Lako je proveriti da su svi gore navedeni primeri, osim presnopa ograničenih funkcija, zapravo snopovi: u svim slučajevima kriterijum pripadnosti sekciji presnopa je lokalan u smislu da je dovoljno da se verifikuje u proizvoljnom okruženju svake tačke.

S druge strane, funkcija može biti ograničena na svakom skupu (beskonačnog) otvorenog pokrivača prostora bez ograničavanja na celom prostoru; tako ograničene funkcije pružaju primer (odvojenog) presnopa koji generalno ne postaje snop. Drugi primer presnopa koji ne postaje snop je konstantan presnop koji svakom otvorenom skupu pridružuje isti fiksni skup (ili abelovsku grupu, ili prsten, ...): iz svojstva spajanja snopova proizlazi da je set sekcija na razdvojenoj uniji dva otvorena skupa kartezijanski proizvod setova sekcija nad dva otvorena skupa. Ispravan način da se na topološkom prostoru definiše konstantan snop FA (povezan sa na primer skupom A) je da se zahteva da sekcije na otvorenom skupu U budu kontinuirane mape od U na A opremljene diskretnom topologijom; onda u datom FA(U) = A za povezani U.

Mape između snopova ili presnopova (koje se nazivaju morfizmi) sastoje se od mapa između skupova sekcija preko svakog otvorenog skupa datog prostora, kompatibilnih sa ograničenjima sekcija. Ako se razmatranim presnopovima ili snopovima da dodatna algebarska struktura, te mape se smatraju homomorfizmima. Od posebnog su interesa snopovi sa netrivijalnim endomorfizmima, poput dejstva algebarskog torusa ili grupe Galoa.

Presnopovi i snopovi se tipično označavaju velikim slovima, a F je naročito uobičajeno, verovatno po francuskoj reči snopovi, faisceaux. Upotreba kaligrafskih slova kao što je   takođe je uobičajena.

Reference уреди

  1. ^ Bredon, Glen E. (1997), Sheaf theory, Graduate Texts in Mathematics, 170 (2nd изд.), Berlin, New York: Springer-Verlag, ISBN 978-0-387-94905-5, MR 1481706 
  2. ^ Kashiwara, Masaki; Schapira, Pierre (1994), Sheaves on manifolds, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 292, Berlin, New York: Springer-Verlag, ISBN 978-3-540-51861-7, MR 1299726 

Literatura уреди

Spoljašnje veze уреди