Kuratowski's free set theorem

Kuratowski's free set theorem, named after Kazimierz Kuratowski, is a result of set theory, an area of mathematics. It is a result which has been largely forgotten for almost 50 years, but has been applied recently in solving several lattice theory problems.

Denote by $[X] ^{the set of all finite subsets of a set X . Likewise, for a positive integer n, denote by [X] ^n the set of all n -elements subsets of X . For a mapping Phicolon [X] ^n o [X] ^{, we say that a subset U of X is "free" (with respect to Phi), if u
otinPhi(V), for any n -element subset V of U and any uin Usetminus V . Kuratowski published in 1951 the following result, which characterizes the infinite cardinals of the form aleph_n .$

The theorem states the following. Let $n$ be a positive integer and let $X$ be a set. Then the cardinality of $X$ is greater than or equal to $aleph_n$ if and only if for every mapping $Phi$ from $[X] ^n$ to $[X] ^{,there exists an (n+1) -element free subset of X with respect to Phi .$

For $n=1$ , Kuratowski's free set theorem is superseded by Hajnal's set mapping theorem.

References

* P. Erdős, A. Hajnal, A. Máté, R. Rado: "Combinatorial Set Theory: Partition Relations for Cardinals", North-Holland, 1984, pp. 282-285.
* C. Kuratowski, "Sur une caractérisation des alephs", Fund. Math. 38 (1951), 14--17.

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

Kazimierz Kuratowski — TOCleftKazimierz Kuratowski (Warsaw, February 2, 1896 ndash;June 18, 1980) was a Polish mathematician and logician.BiographyKuratowski was born a subject of Tsarist Russia. In 1913, he enrolled in an engineering course at the University of… … Wikipedia
Congruence lattice problem — In mathematics, the congruence lattice problem asks whether every algebraic distributive lattice is isomorphic to the congruence lattice of some other lattice. The problem was posed by Robert P. Dilworth, and for many years it was one of the most … Wikipedia
List of mathematics articles (K) — NOTOC K K approximation of k hitting set K ary tree K core K edge connected graph K equivalence K factor error K finite K function K homology K means algorithm K medoids K minimum spanning tree K Poincaré algebra K Poincaré group K set (geometry) … Wikipedia
Implementation of mathematics in set theory — This article examines the implementation of mathematical concepts in set theory. The implementation of a number of basic mathematical concepts is carried out in parallel in ZFC (the dominant set theory) and in NFU, the version of Quine s New… … Wikipedia
Arithmetical hierarchy — In mathematical logic, the arithmetical hierarchy, arithmetic hierarchy or Kleene hierarchy classifies certain sets based on the complexity of formulas that define them. Any set that receives a classification is called arithmetical. The… … Wikipedia
Planar graph — Example graphs Planar Nonplanar Butterfly graph K5 The complete graph K4 … Wikipedia
Ordered pair — In mathematics, an ordered pair (a, b) is a pair of mathematical objects. In the ordered pair (a, b), the object a is called the first entry, and the object b the second entry of the pair. Alternatively, the objects are called the first and… … Wikipedia
New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for … Wikipedia
mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… … Universalium
Function (mathematics) — f(x) redirects here. For the band, see f(x) (band). Graph of example function, In mathematics, a function associates one quantity, the a … Wikipedia

Academic Dictionaries and Encyclopedias

Kuratowski's free set theorem

Look at other dictionaries:

Share the article and excerpts

Academic Dictionaries and Encyclopedias

Wikipedia

Kuratowski's free set theorem

Look at other dictionaries:

Share the article and excerpts

Direct link