World Library  
Flag as Inappropriate
Email this Article

Finite intersection property

Article Id: WHEBN0000365026
Reproduction Date:

Title: Finite intersection property  
Author: World Heritage Encyclopedia
Language: English
Subject: WikiProject Mathematics/PlanetMath Exchange/54-XX General topology, FIP, Set families, Baire category theorem, Filter (mathematics)
Publisher: World Heritage Encyclopedia

Finite intersection property

In general topology, a branch of mathematics, a collection A of subsets of a set X is said to have the finite intersection property (FIP) if the intersection over any finite subcollection of A is nonempty. It has the strong finite intersection property (SFIP) if the intersection over any finite subcollection of A is infinite.

A centered system of sets is a collection of sets with the finite intersection property.


  • Definition 1
  • Discussion 2
  • Applications 3
  • Examples 4
  • Theorems 5
  • Variants 6
  • References 7


Let X be a set with A=\{A_i\}_{i\in I} a family of subsets of X. Then the collection A has the finite intersection property (FIP), if any finite subcollection J\subseteq I has non-empty intersection \bigcap_{i\in J} A_i.


Clearly the empty set cannot belong to any collection with the finite intersection property. 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.[1] This formulation of compactness is used in some proofs of Tychonoff's theorem and the uncountability of the real numbers (see next section)


Theorem. Let X be a non-empty compact Hausdorff space that satisfies the property that no one-point set is open. Then X is uncountable.

Proof. We will show that if UX is nonempty and open, and if x is a point of X, then there is a neighbourhood VU whose closure doesn’t contain x (x may or may not be in U). Choose y in U different from x (if x is in U, then there must exist such a y for otherwise U would be an open one point set; if x isn’t in U, this is possible since U is nonempty). Then by the Hausdorff condition, choose disjoint neighbourhoods W and K of x and y respectively. Then K ∩ U will be a neighbourhood of y contained in U whose closure doesn’t contain x as desired.

Now suppose f : NX is a bijection, and let {xi : iN} denote the image of f. Let X be the first open set and choose a neighbourhood U1X whose closure doesn’t contain x1. Secondly, choose a neighbourhood U2U1 whose closure doesn’t contain x2. Continue this process whereby choosing a neighbourhood Un+1Un whose closure doesn’t contain xn+1. Then the collection {Ui : iN} satisfies the finite intersection property and hence the intersection of their closures is nonempty (by the compactness of X). Therefore there is a point x in this intersection. No xi can belong to this intersection because xi doesn’t belong to the closure of Ui. This means that x is not equal to xi for all i and f is not surjective; a contradiction. Therefore, X is uncountable.

All the conditions in the statement of the theorem are necessary:

1. We cannot eliminate the Hausdorff condition; a countable set with the indiscrete topology is compact, has more than one point, and satisfies the property that no one point sets are open, but is not uncountable.

2. We cannot eliminate the compactness condition as the set of all rational numbers shows.

3. We cannot eliminate the condition that one point sets cannot be open as a finite space given the discrete topology shows.

Corollary. Every closed interval [ab] with a < b is uncountable. Therefore, R is uncountable.

Corollary. Every perfect, locally compact Hausdorff space is uncountable.

Proof. Let X be a perfect, compact, Hausdorff space, then the theorem immediately implies that X is uncountable. If X is a perfect, locally compact Hausdorff space which is not compact, then the one-point compactification of X is a perfect, compact Hausdorff space. Therefore the one point compactification of X is uncountable. Since removing a point from an uncountable set still leaves an uncountable set, X is uncountable as well.


A filter has the finite intersection property by definition.


Let X be nonempty, F ⊆ 2X, F having the finite intersection property. Then there exists an Fultrafilter (in 2X) such that FF′.

See details and proof in Csirmaz & Hajnal (1994).[2] This result is known as ultrafilter lemma.


A family of sets A has the strong finite intersection property (sfip), if every finite subfamily of A has infinite intersection.


  1. ^ A space is compact iff any family of closed sets having fip has non-empty intersection at
  2. ^ Csirmaz, László;  .
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.