Finite intersection property

Template:Short description In general topology, a branch of mathematics, a non-empty family 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 non-empty. It has the strong finite intersection property (SFIP) if the intersection over any finite subcollection of $A$ is infinite. Sets with the finite intersection property are also called centered systems and filter subbases.Template:Sfn

The finite intersection property can be used to reformulate topological compactness in terms of closed sets; this is its most prominent application. Other applications include proving that certain perfect sets are uncountable, and the construction of ultrafilters.

Definition

Let $X$ be a set and $𝒜$ a nonempty family of subsets of Template:Nowrap that is, $𝒜$ is a nonempty subset of the power set of Template:Nowrap Then $𝒜$ is said to have the finite intersection property if every nonempty finite subfamily has nonempty intersection; it is said to have the strong finite intersection property if that intersection is always infinite.Template:Sfn

In symbols, $𝒜$ has the FIP if, for any choice of a finite nonempty subset $ℬ$ of Template:Nowrap there must exist a point $x \in ⋂_{B \in ℬ} B .$ Likewise, $𝒜$ has the SFIP if, for every choice of such Template:Nowrap there are infinitely many such Template:Nowrap Template:Sfn

In the study of filters, the common intersection of a family of sets is called a kernel, from much the same etymology as the sunflower. Families with empty kernel are called free; those with nonempty kernel, fixed.Template:Sfn

Families of examples and non-examples

The empty set cannot belong to any collection with the finite intersection property.

A sufficient condition for the FIP intersection property is a nonempty kernel. The converse is generally false, but holds for finite families; that is, if $𝒜$ is finite, then $𝒜$ has the finite intersection property if and only if it is fixed.

Pairwise intersection

The finite intersection property is strictly stronger than pairwise intersection; the family ${{1, 2}, {2, 3}, {1, 3}}$ has pairwise intersections, but not the FIP.

More generally, let $n \in ℕ ∖ {1}$ be a positive integer greater than unity, Template:Nowrap and Template:Nowrap Then any subset of $𝒜$ with fewer than $n$ elements has nonempty intersection, but $𝒜$ lacks the FIP.

End-type constructions

If $A_{1} \supseteq A_{2} \supseteq A_{3} \dots$ is a decreasing sequence of non-empty sets, then the family $𝒜 = {A_{1}, A_{2}, A_{3}, \dots}$ has the finite intersection property (and is even a [[Pi-system|Template:Pi–system]]). If the inclusions $A_{1} \supseteq A_{2} \supseteq A_{3} \dots$ are strict, then $𝒜$ admits the strong finite intersection property as well.

More generally, any $𝒜$ that is totally ordered by inclusion has the FIP.

At the same time, the kernel of $𝒜$ may be empty: if Template:Nowrap then the kernel of $𝒜$ is the empty set. Similarly, the family of intervals ${[r, \infty) : r \in ℝ}$ also has the (S)FIP, but empty kernel.

"Generic" sets and properties

The family of all Borel subsets of $[0, 1]$ with Lebesgue measure $1$ has the FIP, as does the family of comeagre sets. If $X$ is an infinite set, then the Fréchet filter (the family Template:Nowrap has the FIP. All of these are free filters; they are upwards-closed and have empty infinitary intersection.Template:Sfn Template:Sfn

If $X = (0, 1)$ and, for each positive integer $i,$ the subset $X_{i}$ is precisely all elements of $X$ having digit $0$ in the $i$ ^th decimal place, then any finite intersection of $X_{i}$ is non-empty — just take $0$ in those finitely many places and $1$ in the rest. But the intersection of $X_{i}$ for all $i \geq 1$ is empty, since no element of $(0, 1)$ has all zero digits.

Extension of the ground set

The (strong) finite intersection property is a characteristic of the family Template:Nowrap not the ground set Template:Nowrap If a family $𝒜$ on the set $X$ admits the (S)FIP and Template:Nowrap then $𝒜$ is also a family on the set $Y$ with the FIP (resp. SFIP).

Generated filters and topologies

Template:See also If $K \subseteq X$ is a non-empty set, then the family $𝒜 = {S \subseteq X : K \subseteq S}$ has the FIP; this family is called the principal filter on $X$ generated by Template:Nowrap The subset $ℬ = {I \subseteq ℝ : K \subseteq I and I an open interval}$ has the FIP for much the same reason: the kernels contain the non-empty set Template:Nowrap If $K$ is an open interval, then the set $K$ is in fact equal to the kernels of $𝒜$ or Template:Nowrap and so is an element of each filter. But in general a filter's kernel need not be an element of the filter.

A proper filter on a set has the finite intersection property. Every neighbourhood subbasis at a point in a topological space has the FIP, and the same is true of every neighbourhood basis and every neighbourhood filter at a point (because each is, in particular, also a neighbourhood subbasis).

Relationship to Template:Pi-systems and filters

Template:Main A [[Pi-system|Template:Pi–system]] is a non-empty family of sets that is closed under finite intersections. The set $π (𝒜) = {A_{1} \cap \dots \cap A_{n} : 1 \leq n < \infty and A_{1}, \dots, A_{n} \in 𝒜}$ of all finite intersections of one or more sets from $𝒜$ is called the [[Pi-system|Template:Pi–system]] generated by Template:Nowrap because it is the smallest Template:Pi–system having $𝒜$ as a subset.

The upward closure of $π (𝒜)$ in $X$ is the set $π (𝒜)^{↑ X} = {S \subseteq X : P \subseteq S for some P \in π (𝒜)} .$ For any family Template:Nowrap the finite intersection property is equivalent to any of the following:

The [[Pi-system|Template:Pi–system]] generated by $𝒜$ does not have the empty set as an element; that is, $\emptyset \notin π (𝒜) .$
The set $π (𝒜)$ has the finite intersection property.
The set $π (𝒜)$ is a (proper)^[1] prefilter.
The family $𝒜$ is a subset of some (proper) prefilter.Template:Sfn
The upward closure $π (𝒜)^{↑ X}$ is a (proper) filter on Template:Nowrap In this case, $π (𝒜)^{↑ X}$ is called the filter on $X$ generated by Template:Nowrap because it is the minimal (with respect to $\subseteq$ ) filter on $X$ that contains $𝒜$ as a subset.
$𝒜$ is a subset of some (proper)^[1] filter.Template:Sfn

Applications

Compactness

The finite intersection property is useful in formulating an alternative definition of compactness:

Template:Math theorem

This formulation of compactness is used in some proofs of Tychonoff's theorem.

Uncountability of perfect spaces

Another common application is to prove that the real numbers are uncountable. Template:Math theoremAll the conditions in the statement of the theorem are necessary:

We cannot eliminate the Hausdorff condition; a countable set (with at least two points) 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.
We cannot eliminate the compactness condition, as the set of rational numbers shows.
We cannot eliminate the condition that one point sets cannot be open, as any finite space with the discrete topology shows.

Template:Math proof Template:Math theorem

Template:Math theorem

Template:Math proof

Ultrafilters

Let $X$ be non-empty, $F \subseteq 2^{X} .$ $F$ having the finite intersection property. Then there exists an $U$ ultrafilter (in $2^{X}$ ) such that $F \subseteq U .$ This result is known as the ultrafilter lemma.^[2]

References

Notes

Template:Reflist

Citations

Template:Reflist

General sources

External links

Template:Planetmathref

Template:Large Template:Navbar
Template:Nowrap Template:Nowrap	Template:Small	Template:Small	Template:Small	Template:Small	Template:Small	Template:Small	Template:Small	Template:Small	Template:Small	Template:Small
Template:Nowrap	Template:Ya	Template:Ya	Template:Na	Template:Na	Template:Na	Template:Na	Template:Na	Template:Na	Template:Na	Template:Na
Template:Nowrap	Template:Ya	Template:Ya	Template:Na	Template:Na	Template:Na	Template:Na	Template:Na	Template:Na	Template:Ya	Never
Template:Nowrap	Template:Ya	Template:Ya	Template:Na	Template:Na	Template:Na	Template:Na	Template:Na	Template:Na	Template:Ya	Never
[[Monotone class\|Template:Nowrap]]	Template:Na	Template:Na	Template:Na	Template:Na	Template:Na	Template:Ya	Template:Ya	Template:Na	Template:Na	Template:Na
[[Dynkin system\|Template:Nowrap Template:Nowrap]]	Template:Ya	Template:Na	Template:Na	Template:Ya	Template:Ya	Template:Na	Template:Ya	Template:Ya	Template:Ya	Never
[[Ring of sets\|Template:Nowrap]]	Template:Ya	Template:Ya	Template:Ya	Template:Na	Template:Na	Template:Na	Template:Na	Template:Na	Template:Na	Template:Na
[[Ring of sets\|Template:Nowrap]]	Template:Ya	Template:Ya	Template:Ya	Template:Ya	Template:Na	Template:Na	Template:Na	Template:Na	Template:Ya	Never
[[Delta-ring\|Template:Nowrap]]	Template:Ya	Template:Ya	Template:Ya	Template:Ya	Template:Na	Template:Ya	Template:Na	Template:Na	Template:Ya	Never
[[Sigma-ring\|Template:Nowrap]]	Template:Ya	Template:Ya	Template:Ya	Template:Ya	Template:Na	Template:Ya	Template:Ya	Template:Na	Template:Ya	Never
[[Field of sets\|Template:Nowrap]]	Template:Ya	Template:Ya	Template:Ya	Template:Ya	Template:Ya	Template:Na	Template:Na	Template:Ya	Template:Ya	Never
[[σ-algebra\|Template:Nowrap Template:Small]]	Template:Ya	Template:Ya	Template:Ya	Template:Ya	Template:Ya	Template:Ya	Template:Ya	Template:Ya	Template:Ya	Never
[[Dual ideal\|Template:Nowrap]]	Template:Ya	Template:Ya	Template:Ya	Template:Na	Template:Na	Template:Na	Template:Ya	Template:Ya	Template:Na	Template:Na
[[Filter (set theory)\|Template:Nowrap]]	Template:Ya	Template:Ya	Template:Ya	Never	Never	Template:Na	Template:Ya	Template:Ya	$\emptyset \in̸ ℱ$	Template:Ya
[[Prefilter\|Template:Nowrap Template:Small]]	Template:Ya	Template:Na	Template:Na	Never	Never	Template:Na	Template:Na	Template:Na	$\emptyset \in̸ ℱ$	Template:Ya
[[Filter subbase\|Template:Nowrap]]	Template:Na	Template:Na	Template:Na	Never	Never	Template:Na	Template:Na	Template:Na	$\emptyset \in̸ ℱ$	Template:Ya
[[Topology (structure)\|Template:Nowrap]]	Template:Ya	Template:Ya	Template:Ya	Template:Na	Template:Na	Template:Na	Template:Ya	Template:Ya	Template:Ya	Never
[[Topology (structure)\|Template:Nowrap]]	Template:Ya	Template:Ya	Template:Ya	Template:Na	Template:Na	Template:Ya	Template:Na	Template:Ya	Template:Ya	Never
Template:Nowrap Template:Nowrap	Template:Small	Template:Small	Template:Small	Template:Small	Template:Small	Template:Small	Template:Small	Template:Small	Template:Small	Template:Small
Additionally, a Template:Em is a [[pi-system\|Template:Pi-system]] where every complement $B ∖ A$ is equal to a finite disjoint union of sets in $ℱ .$ A Template:Em is a semiring where every complement $Ω ∖ A$ is equal to a finite disjoint union of sets in $ℱ .$ $A, B, A_{1}, A_{2}, \dots$ are arbitrary elements of $ℱ$ and it is assumed that $ℱ \neq \emptyset .$

Template:Set theory

↑ ^1.0 ^1.1 A filter or prefilter on a set is Template:Em or Template:Em if it does not contain the empty set as an element. Like many − but not all − authors, this article will require non-degeneracy as part of the definitions of "prefilter" and "filter".
↑ Template:Citation.

[ProperDef-1] 1.0 ^1.1 A filter or prefilter on a set is Template:Em or Template:Em if it does not contain the empty set as an element. Like many − but not all − authors, this article will require non-degeneracy as part of the definitions of "prefilter" and "filter".

[2] Template:Citation.

[1]

[2]

Finite intersection property

Contents

Definition

Families of examples and non-examples

Pairwise intersection

End-type constructions

"Generic" sets and properties

Extension of the ground set

Generated filters and topologies

Relationship to Template:Pi-systems and filters

Applications

Compactness

Uncountability of perfect spaces

Ultrafilters

See also

References

Notes

Citations

General sources

External links

Navigation menu

Finite intersection property

Definition

Families of examples and non-examples

Pairwise intersection

End-type constructions

"Generic" sets and properties

Extension of the ground set

Generated filters and topologies

Relationship to Template:Pi-systems and filters

Applications

Compactness

Uncountability of perfect spaces

Ultrafilters

See also

References

Notes

Citations

General sources

External links

Navigation menu

Search