every filter is contained in an ultrafilter

Let $X$ be a set and $\\mathcal{F}$ be a filter on $X$ . Then there exists an ultrafilter $\\mathcal{U}$ on $X$ which is finer than $\\mathcal{F}$ .

An importance consequnce of this theorem is the existence of free ultrafilters on infinite sets. According to the theorem, there must exist an ultrafilter which is finer than the cofinite filter. Since the cofinite filter is free, every filter finer than it must also be free, and hence there exists a free ultafilter.

Also note that this theorem requires the axiom of choice.

单词	EveryFilterIsContainedInAnUltrafilter
释义	every filter is contained in an ultrafilter Let $X$ be a set and $\\mathcal{F}$ be a filter on $X$ . Then there exists an ultrafilter $\\mathcal{U}$ on $X$ which is finer than $\\mathcal{F}$ . An importance consequnce of this theorem is the existence of free ultrafilters on infinite sets. According to the theorem, there must exist an ultrafilter which is finer than the cofinite filter. Since the cofinite filter is free, every filter finer than it must also be free, and hence there exists a free ultafilter. Also note that this theorem requires the axiom of choice.
随便看	Dedekind domains with finitely many primes are PIDs Dedekindfinite Dedekind-finite DedekindHasseValuation Dedekind-Hasse valuation Dedekindinfinite Dedekind-infinite Dedekind reals Dedekind reals are Cauchy complete Dedekind reals are Dedekind complete DedekindZetaFunction Dedekind zeta function Deduction deduction DeductionsAreDelta1 deductions are Δ_1 DeductionTheorem deduction theorem DeductionTheoremHoldsForClassicalPropositionalLogic deduction theorem holds for classical propositional logic DeductionTheoremHoldsForFirstOrderLogic deduction theorem holds for first order logic DeductionTheoremHoldsForIntuitionisticPropositionalLogic deduction theorem holds for intuitionistic propositional logic DeductiveSystem