Finite intersection property

Finite intersection property

In general topology, the finite intersection property is a property of a collection of subsets of a set "X". A collection has this property if the intersection over any finite subcollection of the collection is nonempty.

Definition

Let X be a set with A={A_i}_{iin I} a family of subsets of X. Then the collection A has the finite intersection property (fip), if any finite subcollection Jsubset I has non-empty intersection igcap_{iin J} A_i.

Discussion

This 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 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", "X""i" 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 "X""i" 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 [planetmathref|id=4181|title=A space is compact if and only if the space has the finite intersection property] . This formulation of compactness is used in some proofs of Tychonoff's theorem and the uncountability of the real numbers (see next section)

Applications

Theorem

Let "X" be a compact Hausdorff space that has satisfies the property that no one point sets are open. If "X" has more than one point, then "X" is uncountable.

Before proving this, we give some examples:

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.

Proof of theorem:

Let "X" be a compact Hausdorff space. We will show that if "U" is a nonempty, open subset of "X" and if "x" is a point of "X", then there is a neighbourhood "V" contained in "U" whose closure doesn’t contain "x" ("x" may or may not be in "U"). First of all, 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 ƒ is a bijective function from "Z" (the positive integers) to "X". Denote the points of the image of "Z" under ƒ as {"x"1, "x"2, ……}. Let "X" be the first open set and choose a neighbourhood U1 contained in "X" whose closure doesn’t contain "x"1. Secondly, choose a neighbourhood "U"2 contained in "U"1 whose closure doesn’t contain "x"2. Continue this process whereby choosing a neighbourhood "U""n"+1 contained in "U""n" whose closure doesn’t contain "x""n"+1. Note that the collection {Ui} for i in the positive integers 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 "x""i" can belong to this intersection because "x""i" doesn’t belong to the closure of "U""i". This means that "x" is not equal to "x""i" for all "i" and ƒ is not surjective; a contradiction. Therefore, "X" is uncountable.

Corollary

Every closed interval ["a", "b"] ("a" < "b") is uncountable. Therefore, the set of real numbers is uncountable.

Corollary

Every locally compact Hausdorff space that is also perfect is uncountable.

Proof

Suppose "X" is a locally compact Hausdorff space that is perfect and compact. Then it immediately follows that "X" is uncountable (from the theorem). If "X" is a locally compact Hausdorff, perfect space that is not compact, then the one-point compactification of "X" is a compact Hausdorff space that is also perfect. It follows that the one point compactification of "X" is uncountable. Therefore "X" is uncountable (deleting a point from an uncountable set still retains the uncountability of that set).

Examples

A filter has the finite intersection property by definition.

Theorems

Let X eq emptyset, F subseteq 2^X, "F" having the finite intersection property. Then there exists an F^prime ultrafilter (in 2^X) such that F subseteq F^prime. See details and proof in [Csirmaz, László and Hajnal, András: Matematikai logika. Eötvös Loránd University, Budapest, 1994. ( [http://www.renyi.hu/~csirmaz/ online available, in Hungarian] )] .

Variants

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

References

*


Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • finite intersection property — Math. the property of a collection of nonempty sets in which the intersections of all possible finite numbers of the sets each contain at least one element. * * * …   Universalium

  • finite intersection property — Math. the property of a collection of nonempty sets in which the intersections of all possible finite numbers of the sets each contain at least one element …   Useful english dictionary

  • Intersection homology — In topology, a branch of mathematics, intersection homology is an analogue of singular homology especially well suited for the study of singular spaces, discovered by Mark Goresky and Robert MacPherson in the fall of 1974 and developed by them… …   Wikipedia

  • Intersection number (graph theory) — In the mathematical field of graph theory, the intersection number of a graph is the smallest number of elements in a representation of G as an intersection graph of finite sets. Equivalently, it is the smallest number of cliques needed to cover… …   Wikipedia

  • Topological property — In topology and related areas of mathematics a topological property or topological invariant is a property of a topological space which is invariant under homeomorphisms. That is, a property of spaces is a topological property if whenever a space …   Wikipedia

  • Uniform property — In the mathematical field of topology a uniform property or uniform invariant is a property of a uniform space which is invariant under uniform isomorphisms.Since uniform spaces come are topological spaces and uniform isomorphisms are… …   Wikipedia

  • Locally finite collection — In the mathematical field of topology, local finiteness is a property of collections of subsets of a topological space. It is fundamental in the study of paracompactness and topological dimension. A collection of subsets of a topological space X… …   Wikipedia

  • Compact space — Compactness redirects here. For the concept in first order logic, see compactness theorem. In mathematics, specifically general topology and metric topology, a compact space is an abstract mathematical space whose topology has the compactness… …   Wikipedia

  • De Bruijn–Erdős theorem (graph theory) — This article is about coloring infinite graphs. For the number of lines determined by a finite set of points, see De Bruijn–Erdős theorem (incidence geometry). In graph theory, the De Bruijn–Erdős theorem, proved by Nicolaas Govert de Bruijn and… …   Wikipedia

  • Compactness theorem — In mathematical logic, the compactness theorem states that a set of first order sentences has a model if and only if every finite subset of it has a model. This theorem is an important tool in model theory, as it provides a useful method for… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”