Discussion
Clearly the empty set cannot belong to any collection with the f.i.p. The condition is trivially satisfied if the intersection over the entire collection is nonempty (in particular, if the collection itself is empty), and it is also trivially satisfied if the collection is nested, meaning that the collection is totally ordered by inclusion (equivalently, for any finite subcollection, a particular element of the subcollection is contained in all the other elements of the subcollection), e.g. the nested sequence of intervals
- (0, 1/n).
These are not the only possibilities however. For example, if X = (0, 1) and for each positive integer i, Xi is the set of elements of X having a decimal expansion with digit 0 in the i'th decimal place, then any finite intersection is nonempty (just take 0 in those finitely many places and 1 in the rest), but the intersection of all Xi for i≥1 is empty, since no element of (0, 1) has all zero digits.
The finite intersection property is useful in formulating an alternative definition of compactness: a space is compact if and only if every collection of closed sets satisfying the finite intersection property has nonempty intersection itself. This formulation of compactness is used in some proofs of Tychonoff's theorem and the uncountability of the real numbers (see next section)
Read more about this topic: Finite Intersection Property
Famous quotes containing the word discussion:
“There are answers which, in turning away wrath, only send it to the other end of the room, and to have a discussion coolly waived when you feel that justice is all on your own side is even more exasperating in marriage than in philosophy.”
—George Eliot [Mary Ann (or Marian)
“It was heady stuff, recognizing ourselves as an oppressed class, but the level of discussion was poor. We explained systemic discrimination, and men looked prettily confused and said: “But, I like women.””
—Jane O’Reilly, U.S. feminist and humorist. The Girl I Left Behind, ch. 2 (1980)
“Opinions are formed in a process of open discussion and public debate, and where no opportunity for the forming of opinions exists, there may be moods—moods of the masses and moods of individuals, the latter no less fickle and unreliable than the former—but no opinion.”
—Hannah Arendt (1906–1975)