Set (mathematical)

Set (mathematical)
Name	Set (mathematical)
Field	Mathematics
Introduced	1870s
Notable	Georg Cantor, Richard Dedekind, Ernst Zermelo, Abraham Fraenkel

Set (mathematical) A set is a collection of distinct objects considered as an object in its own right. The concept of a set underlies modern Cantor's development of real numbers and influences work by Dedekind, Zermelo, Fraenkel, and later contributions tied to Gödel and Cohen. Sets appear across theories used by Newton-era calculus, Riemann geometry, and contemporary Turing-style formal systems.

Definition and basic concepts

A set is often defined informally as a well-defined collection of distinct elements such as numbers, points, functions, or other mathematical entities; early formalists include Frege, Hilbert, and Russell. Fundamental notions include elementhood (membership) exemplified by Euclid's treatment of geometric points, the empty set introduced in discussions by von Neumann, and singleton sets used in arguments by Borel and Cantor. Paradoxes like Russell's paradox prompted axiomatic responses from Zermelo and Fraenkel and influenced the work of Gödel and Cohen on independence results.

Notation and operations

Standard notation uses braces { } with comma separation as in the presentations found in texts by Tartaglia-era compilations and later textbooks by Halmos and Enderton. Operations include union and intersection used in measure theory developed by Lebesgue and sigma-algebras in work by Borel; set difference and complement appear in probability discussions by Kolmogorov. Cartesian product notation links to coordinate systems studied by Descartes and matrix constructions used by Cayley; power set operations are central to proofs by Cantor and cardinality comparisons later used by Cantor and Zermelo.

Types and examples of sets

Common examples include finite sets studied in combinatorics by Pascal and Ramanujan, countably infinite sets exemplified by the integers central to Gauss and rationals considered by Dedekind, and uncountable sets exemplified by the real numbers in Riemann's analytic framework. Specialized families include algebraic sets in Grothendieck's algebraic geometry, measurable sets in Lebesgue theory, topological sets studied by Poincaré and Brouwer, and Borel sets named after Borel. Constructible sets arise in work by Gödel; large cardinal notions were developed by researchers influenced by Cohen and von Neumann.

Set theory foundations and axioms

Axiomatic set theory was formalized by systems such as Zermelo–Fraenkel with the Axiom of Choice (ZFC) articulated by Zermelo and Fraenkel; alternatives include von Neumann–Bernays–Gödel (NBG) and constructive approaches influenced by Brouwer and Bishop. Independence results by Gödel and Cohen show the independence of the Continuum Hypothesis from ZFC, while consistency proofs draw on methods from Hilbert and forcing techniques developed by Cohen. Foundational debates involve formalists like Hilbert, intuitionists like Brouwer, and logicists influenced by Frege and Russell.

Cardinality and comparisons of sets

Cardinality measures the size of sets as pioneered by Cantor and applied in classification problems by Hausdorff and Lebesgue. Comparisons include bijections used in permutations studied by Galois and injections/surjections common in function theory by Cauchy and Riemann. Concepts such as countable, uncountable, finite, and infinite link to number theory of Gauss and analysis of Cauchy; Cantor's diagonal argument influenced later work by Turing and Church on computability and enumerable sets.

Relations to other mathematical structures

Sets serve as the underlying foundations of structures like groups studied by Galois and rings developed by Dedekind, vector spaces used by Grassmann and Hilbert, topological spaces investigated by Poincaré and Kolmogorov, measure spaces in Lebesgue theory, and categories in Eilenberg and Mac Lane's category theory. Applications span theorems by Gauss, algorithms by Turing, and models in Gödel's work on formal systems, connecting to logic studied by Russell and Whitehead.

Category:Set theory