Finite Intersection Property - Discussion

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:

    My companion and I, having a minute’s discussion on some point of ancient history, were amused by the attitude which the Indian, who could not tell what we were talking about, assumed. He constituted himself umpire, and, judging by our air and gesture, he very seriously remarked from time to time, “you beat,” or “he beat.”
    Henry David Thoreau (1817–1862)

    This is certainly not the place for a discourse about what festivals are for. Discussions on this theme were plentiful during that phase of preparation and on the whole were fruitless. My experience is that discussion is fruitless. What sets forth and demonstrates is the sight of events in action, is living through these events and understanding them.
    Doris Lessing (b. 1919)

    What chiefly distinguishes the daily press of the United States from the press of all other countries is not its lack of truthfulness or even its lack of dignity and honor, for these deficiencies are common to the newspapers everywhere, but its incurable fear of ideas, its constant effort to evade the discussion of fundamentals by translating all issues into a few elemental fears, its incessant reduction of all reflection to mere emotion. It is, in the true sense, never well-informed.
    —H.L. (Henry Lewis)