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 and/or supports:
“It is turning three hundred years
On our cisatlantic shore
For family after family name.
We’ll make it three hundred more”
—Robert Frost (1874–1963)
“The knowledge of an unlearned man is living and luxuriant like a forest, but covered with mosses and lichens and for the most part inaccessible and going to waste; the knowledge of the man of science is like timber collected in yards for public works, which still supports a green sprout here and there, but even this is liable to dry rot.”
—Henry David Thoreau (1817–1862)