Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

According to wikipedia (constant sheaf) the constant sheaf $\underline{S}$ for an object $S$ is given by defining $\underline{S}(U)$ to be the set of functions $U \to S$, which are constant on each connected component of $U$. I believe this is only true if $S$ is trivial (terminal object) or the space $X$ is locally connected. For example if $X$ is totally disconnected, then $\underline{S}(U)$ consists of all functions $U \to S$, and the canonical map $\underline{S}$ $_x \to S$ won't be injective. I think that we have to define $\underline{S}(U)$ to be the set of locally constant functions $U \to S$. That is, continuous functions $U \to S$, where $S$ is endowed with the discrete topology. Since continuity is a local condition, this is a sheaf and it can be checked that the stalks are all $S$. This is the constant sheaf. Remark that locally constant functions are constant on each connected component, but the converse is not true. Interesting, in the wikipedia article about sheaves you can find the right definition.

Am I right or did I miss something?

share|improve this question

closed as no longer relevant by Martin Brandenburg, David Eppstein, Yemon Choi, Steve Huntsman, Noah Snyder May 2 '10 at 0:03

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

@Kevin Your onion plus one xkcd xkcd.com/386 –  Felipe Voloch May 1 '10 at 11:33
lmgtfy.com/?q=vandalize+every+equation (Warning: many of the links contain content that may offend and is definitely not safe for work). As Vinge wrote, "It is not called the Net of a Million Lies for nothing." –  Steve Huntsman May 1 '10 at 13:09
The standard response to "Wikipedia is wrong": en.wikipedia.org/wiki/Wikipedia:SOFIXIT –  David Eppstein May 1 '10 at 14:45
So I think it is clear by now that wikipedia is wrong, and that you are right. I don't think anyone is going to post an answer to this question beyond what is already in the comments. So shouldn't this question be closed? –  Steven Gubkin May 1 '10 at 17:14
show 15 more comments

Browse other questions tagged or ask your own question.