Godement 《Theorie des faisceaux》前两章

内容导读

互联网集市收集整理的这篇技术教程文章主要介绍了Godement 《Theorie des faisceaux》前两章，小编现在分享给大家，供广大互联网技能从业者学习和参考。文章包含800字，纯文字阅读大概需要2分钟。

内容图文

Godement的定义中，section是可以定义在任意集合上的：这就产生了一个问题，关于层的第二要求，如果我们都定义在开集上是可以保证连续性的。但如果一般集合，第二要求不一定能满足。我们有一个弱化的定理：

 

 

Godement定义sheaf间的homomorphism的时候我看不懂，因为他考虑给定sheaf做正向极限后的那个etale space，但显然和原space是同构的，所以不是很明白到底什么意思。

有了sheaf间的homorphism后我们可以由两个已知的sheafs定义出新的sheafs：

 

 

拓扑空间的连续映射逆像诱导的sheaf有pull-back的unversal property，我们实际上可以根据universal property来构造（Godement不是如此做的）：

 

 

 

 

 

 

 

 

 

 

 交换代数的例子：

 

 

 

 

 X中的A是局部紧子空间等价于，对于任意X上abel群中的sheaf L，存在另一个sheaf，其在A上的限制同构于L|A，在X\A上等于0。

事实上前者成立时，决定的后者是唯一的：

 

 

 

证明的过程全然是拓扑的验证。从espaces étalés角度看，我们把A上的section延拓到全部上，但如果A是X中开集，那这样的延拓与拓扑不是compatible的。

 

如果A是X中的开集：

 

 考虑两个局部闭子空间：

 

 我们得到一个同构和一个functor：

 

 

我们可以得到定理2.9.1的强化版本：

 

 

一个有用的同构：

 

 这一性质又可以得出另一个推论：

X上的sheaf可以写作是类似Zu样子的sheaf的直和的quotient：

 松软层：在fibre是离散拓扑的时候（比如是），我们总是可以把任意层通过Godement化嵌入一个松软层

 

 

 

 

原文：https://www.cnblogs.com/zny14/p/12297535.html

内容总结

以上是互联网集市为您收集整理的Godement 《Theorie des faisceaux》前两章全部内容，希望文章能够帮你解决Godement 《Theorie des faisceaux》前两章所遇到的程序开发问题。 如果觉得互联网集市技术教程内容还不错，欢迎将互联网集市网站推荐给程序员好友。

内容备注

版权声明：本文内容由互联网用户自发贡献，该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 gblab@vip.qq.com 举报，一经查实，本站将立刻删除。

内容手机端

---