Loading [MathJax]/jax/output/HTML-CSS/jax.js
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
620 kez görüntülendi

Diyelim F:Open(X)opCX topolojik uzayı üzerinde C değerli bir sheaf olsun.

Burada Open(X) kategorisi, X'in tüm açık kümelerini içeren ve morfizmaları "inclusion" olarak verilsin yani:

U,VX açık ise mor(U,V)={,UV,UV

Genel olarak F:Open(X)opC presheaf olsa bile üzerinde ve xX'deki stalkFx olarak denklik sınıfları üzerinden veriliyor veya colimit olarak 

Fx=limxUaçıkF(U)

Merak ettiğim bu stalkın bir sheaf için geometrik olarak tam olarak ne anlama geldiği, yani bunu bir şekilde görselleştirmek nasıl mümkün, en azından sezgisel olarak. Ayrıca colimit tanımı ve yukarıdaki stalk' linkindeki tanımın eşitliği sezgisel olarak nasıl hissedilebilinir?

Akademik Matematik kategorisinde (7.9k puan) tarafından  | 620 kez görüntülendi
20,333 soru
21,889 cevap
73,624 yorum
3,100,756 kullanıcı