Constructible sheaf
http://dbpedia.org/resource/Constructible_sheaf
In mathematics, a constructible sheaf is a sheaf of abelian groups over some topological space X, such that X is the union of a finite number of locally closed subsets on each of which the sheaf is a locally constant sheaf. It has its origins in algebraic geometry, where in étale cohomology constructible sheaves are defined in a similar way . For the derived category of constructible sheaves, see a section in ℓ-adic sheaf. The finiteness theorem in étale cohomology states that the higher direct images of a constructible sheaf are constructible.
rdf:langString
Inom matematiken är en konstruerbar kärve en kärve av abelska grupper över något topologiskt rum X så att X är unionen av ett ändligt antal så att kärven är en lokalt sliten kärve på alla av delmängderna. Den är en generalisering av begreppet konstruerbar topologi i klassisk algebraisk geometri. Ändlighetssatsen i étalekohomologi säger att högre direkta bilderna av konstruerbara kärven är konstruerbara.
rdf:langString
rdf:langString
Constructible sheaf
rdf:langString
Konstruerbar kärve
xsd:integer
26131119
xsd:integer
1114047341
rdf:langString
In mathematics, a constructible sheaf is a sheaf of abelian groups over some topological space X, such that X is the union of a finite number of locally closed subsets on each of which the sheaf is a locally constant sheaf. It has its origins in algebraic geometry, where in étale cohomology constructible sheaves are defined in a similar way . For the derived category of constructible sheaves, see a section in ℓ-adic sheaf. The finiteness theorem in étale cohomology states that the higher direct images of a constructible sheaf are constructible.
rdf:langString
Inom matematiken är en konstruerbar kärve en kärve av abelska grupper över något topologiskt rum X så att X är unionen av ett ändligt antal så att kärven är en lokalt sliten kärve på alla av delmängderna. Den är en generalisering av begreppet konstruerbar topologi i klassisk algebraisk geometri. I definieras konstruerbara kärven på ett liknande sätt . En kärve av abelska grupper på ett säges vara konstruerbart om schemat har ett ändligt täcke av delscheman på vilka kärven är lokalt konstant konstruerbar (vilket betyder att den är representerad av ett étalt täcke). Konstruerbara kärven bildar en . Ändlighetssatsen i étalekohomologi säger att högre direkta bilderna av konstruerbara kärven är konstruerbara.
xsd:nonNegativeInteger
6359