In mathematics, especially analysis, exhaustion by compact sets of an open set E in the Euclidean space Rn (or a manifold with countable base) is an increasing sequence of compact sets, where by increasing we mean is a subset of, with the limit (union) of the sequence being E.
Sometimes one requires the sequence of compact sets to satisfy one more property— that is contained in the interior of for each . This, however, is dispensed in Rn or a manifold with countable base.
For example, consider a unit open disk and the concentric closed disk of each radius inside. That is let and . Then taking the limit (union) of the sequence gives E. The example can be easily generalized in other dimensions.
Famous quotes containing the words exhaustion, compact and/or sets:
“The becoming of man is the history of the exhaustion of his possibilities.”
—Susan Sontag (b. 1933)
“... in a history of spiritual rupture, a social compact built on fantasy and collective secrets, poetry becomes more necessary than ever: it keeps the underground aquifers flowing; it is the liquid voice that can wear through stone.”
—Adrienne Rich (b. 1929)
“The poem has a social effect of some kind whether or not the poet wills it to have. It has kinetic force, it sets in motion ... [ellipsis in source] elements in the reader that would otherwise be stagnant.”
—Denise Levertov (b. 1923)