Ads
related to: universal set definition and example in geometry
Search results
Results from the WOW.Com Content Network
In set theory, a universal set is a set which contains all objects, including itself. [1] In set theory as usually formulated, it can be proven in multiple ways that a universal set does not exist. However, some non-standard variants of set theory include a universal set.
A set of polygons in an Euler diagram This set equals the one depicted above since both have the very same elements.. In mathematics, a set is a collection of different [1] things; [2] [3] [4] these things are called elements or members of the set and are typically mathematical objects of any kind: numbers, symbols, points in space, lines, other geometrical shapes, variables, or even other ...
A derived binary relation between two sets is the subset relation, also called set inclusion. If all the members of set A are also members of set B, then A is a subset of B, denoted A ⊆ B. For example, {1, 2} is a subset of {1, 2, 3}, and so is {2} but {1, 4} is not. As implied by this definition, a set is a subset of itself.
For instance, when investigating properties of the real numbers R (and subsets of R), R may be taken as the universal set. A true universal set is not included in standard set theory (see Paradoxes below), but is included in some non-standard set theories. Given a universal set U and a subset A of U, the complement of A (in U) is defined as
Within set theory, many collections of sets turn out to be proper classes. Examples include the class of all sets (the universal class), the class of all ordinal numbers, and the class of all cardinal numbers. One way to prove that a class is proper is to place it in bijection with the class of all ordinal numbers.
Together with the axiom of choice (see below), these are the de facto standard axioms for contemporary mathematics or set theory. They can be easily adapted to analogous theories, such as mereology. Axiom of extensionality; Axiom of empty set; Axiom of pairing; Axiom of union; Axiom of infinity; Axiom schema of replacement; Axiom of power set ...
Cantor's paradox is the name given to a contradiction following from Cantor's theorem together with the assumption that there is a set containing all sets, the universal set. In order to distinguish this paradox from the next one discussed below, it is important to note what this contradiction is.
However, once subsets of a given set X (in Cantor's case, X = R) are considered, the universe may need to be a set of subsets of X. (For example, a topology on X is a set of subsets of X.) The various sets of subsets of X will not themselves be subsets of X but will instead be subsets of PX, the power set of X.
Ads
related to: universal set definition and example in geometry