The study of the properties of sets (cf. Set), pre-eminently infinite, disregarding the properties of the elements in those sets. The idea of a set is one of the primitive mathematical ideas and can only be explained by means of examples. Thus, it is possible to speak of the set of people living on our planet at a given time, of the set of points of a given geometric figure and of the set of solutions of a given differential equation. A person living on the planet at the given time, a point of the given geometric figure, a solution of the given differential equation are elements of their respective sets. A set is regarded as given if a characteristic property of the elements of the set is given, that is, a property which all the elements of the set, and only they, possess. One of the fundamental ideas of set theory is that of membership of an element of a set. To denote that an object belongs to a set one writes (if does not belong to one writes or ). (It can happen that no object has the characteristic property defining ; it is then said that is empty and one writes . For example, the set of real solutions of the equation is empty.) If each element of a set is at the same time an element of a set , then is called a subset of and one writes . If and simultaneously, then and are said to be equal and one writes . The union of two sets and is the set comprising all the elements which belong to at least one of the sets or . The intersection of and is the set comprising all the elements which belong to both and . The operations of union and intersection are commutative, associative and mutually distributive. For example, . Often one considers only sets which are contained in some fixed set . If is a subset of and is a property characterizing the elements of , then one writes . For example, if is the set of all real numbers and is the subset of positive numbers, then . If , then the set is called the complement of the set (in ). The operations of union, intersection and taking the complement are connected by the so-called de Morgan laws. For example, . The branch of set theory concerned with the study of operations on sets (not only finite, but also infinite operations) is called the algebra of sets. The algebra of sets, in its turn, is a special case of the theory of Boolean algebras (cf. Boolean algebra).
Set theory was created by the work of 19th century mathematicians, who posed the aim of a complete revision of the foundations of mathematical analysis. Already in the first papers in this area (B. Bolzano, P. du Bois-Reymond, R. Dedekind), which considered sets of numbers or functions, the question of a quantitative comparison of infinite sets was posed. Is infinity of a set purely a negative property, not admitting elaboration, or do there exist different levels of mathematical infinity; are there infinite sets of different quantitative strength, of different "power" ? The answer to this question was given by G. Cantor (1871–1883), who presented an almost modern exposition of the theory of cardinal and ordinal numbers (cf. Cardinal number; Ordinal number) and the theory of well-ordered sets (cf. Well-ordered set). The possibility of a comparative quantitative estimation of sets was based on the idea of a one-to-one correspondence (or bijection) between two sets. Associate to each element of a set , by any rule whatever, a definite element of a set . If each element of turns out to be in correspondence to one and only one element of , then it is said that a one-to-one correspondence (or bijective mapping or bijection) has been established between and . There is a bijection between two finite sets if and only if both sets have the same number of elements. Generalizing this fact, Cantor defined quantitative equivalence, or equipotence, as the possibility of establishing a one-to-one correspondence between them. If a set is equipotent to a set , then and have the same cardinal number. The value of the notion of the power of a set is determined by the existence of non-equipotent infinite sets. For example, the set of all real numbers and the set of all natural numbers have different powers. The first has the power of the continuum, and the second is a countable set. In each infinite set there is a proper subset of equipotent to the whole of , whereas in a finite set such a proper part cannot be found. Therefore the presence of a proper part equipotent to the whole can be taken as the definition of an infinite set.
The merit of Cantor is not just in the solution of the problem of the power of a set, but in the decisive step he made of considering sets with elements of an arbitrary nature. To testify that this step to generality was difficult, there are firstly the various inconsistencies (cf. Antinomy), discoveries by various scholars at the beginning of the 20th century and leading to the creation of axiomatic set theory, and secondly, the emergence of various problems (for example, the continuum hypothesis) which turned out to be undecidable.
A subsequent contribution to set theory was made by F. Hausdorff, who, after developing the theory of totally ordered sets and applying set theory to topology, completed the foundations of the theory of topological spaces (cf. Topological space) (or, general topology). Later, the -operation, arising in the study of Borel sets, led to the creation of descriptive set theory. From a number of problems in combinatorial mathematics and graph theory, combinatorial set theory arose. Finally, the discoveries of K. Gödel and P. Cohen in axiomatic set theory significantly influenced the methods and development of set theory.
|||P.S. Aleksandrov, "Einführung in die Mengenlehre und die Theorie der reellen Funktionen" , Deutsch. Verlag Wissenschaft. (1956) (Translated from Russian)|
|||B. Bolzano, "Paradoxes of the infinite" , Routledge & Kegan Paul (1950) (Translated from German)|
|||, Lectures on the sets of Georg Cantor , New ideas in mathematics , 6 , St. Petersburg (1914) (In Russian)|
|||F. Hausdorff, "Grundzüge der Mengenlehre" , Leipzig (1914) (Reprinted (incomplete) English translation: Set theory, Chelsea (1978))|
|||K. Kuratowski, A. Mostowski, "Set theory" , North-Holland (1968)|
|||N. Bourbaki, "Elements of mathematics. Theory of sets" , Addison-Wesley (1968) (Translated from French)|
|[a1]||A. Levy, "Foundations of set theory" , North-Holland (1973)|
|[a2]||K. Kuratowski, "Topology" , 1 , Acad. Press (1966) (Translated from French)|
Set theory. Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Set_theory&oldid=13051