|
Local System
In mathematics, a local system (or a system of local coefficients) on a topological space ''X'' is a tool from algebraic topology which interpolates between homology theory, cohomology with coefficients in a fixed abelian group ''A'', and general sheaf cohomology in which coefficients vary from point to point. Local coefficient systems were introduced by Norman Steenrod in 1943. Local systems are the building blocks of more general tools, such as constructible sheaf, constructible and perverse sheaf, perverse sheaves. Definition Let ''X'' be a topological space. A local system (of abelian groups/Module over a ring, modules...) on ''X'' is a locally constant sheaf (of abelian groups/sheaf of modules, of modules...) on ''X''. In other words, a sheaf \mathcal is a local system if every point has an open neighborhood U such that the restricted sheaf \mathcal, _U is isomorphic to the sheafification of some constant presheaf. Equivalent definitions Path-connected spaces If ''X'' is C ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
