An abstract notion of family of supports on a topological space X, suitable for sheaf theory, was defined by Henri Cartan. In extending Poincaré duality to manifolds that are not compact, the 'compact support' idea enters naturally on one side of the duality; see for example Alexander-Spanier cohomology.
Bredon, Sheaf Theory (2nd edition, 1997) gives these definitions. A family Φ of closed subsets of X is a family of supports, if it is down-closed and closed under finite union. Its extent is the union over Φ. A paracompactifying family of supports satisfies further than any Y in Φ is, with the subspace topology, a paracompact space; and has some Z in Φ which is a neighbourhood. If X is a locally compact space, assumed Hausdorff the family of all compact subsets satisfies the further conditions, making it paracompactifying.
Read more about this topic: Support (mathematics)
Famous quotes containing the words family of, family and/or supports:
“They would probably help, in some trying time to come, to keep the jewel of liberty within the family of freedom.”
—Abraham Lincoln (1809–1865)
“My family pride is something inconceivable. I can’t help it. I was born sneering.”
—Sir William Schwenck Gilbert (1836–1911)
“Patron: One who countenances, supports or protects. Commonly a wretch who supports with insolence, and is paid with flattery.”
—Samuel Johnson (1709–1784)