|
Glossary Of Set Theory
This is a glossary of set theory. Greek !$@ A B C D E F G H I J K L ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Set Theory
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects. Although objects of any kind can be collected into a set, set theory, as a branch of mathematics, is mostly concerned with those that are relevant to mathematics as a whole. The modern study of set theory was initiated by the German mathematicians Richard Dedekind and Georg Cantor in the 1870s. In particular, Georg Cantor is commonly considered the founder of set theory. The non-formalized systems investigated during this early stage go under the name of '' naive set theory''. After the discovery of paradoxes within naive set theory (such as Russell's paradox, Cantor's paradox and the Burali-Forti paradox) various axiomatic systems were proposed in the early twentieth century, of which Zermelo–Fraenkel set theory (with or without the axiom of choice) is still the best-known and most studied. Set theory is commonly employed as a foundational ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cardinal
Cardinal or The Cardinal may refer to: Animals * Cardinal (bird) or Cardinalidae, a family of North and South American birds **''Cardinalis'', genus of cardinal in the family Cardinalidae **''Cardinalis cardinalis'', or northern cardinal, the common cardinal of eastern North America * ''Argynnis pandora'', a species of butterfly * Cardinal tetra, a freshwater fish * ''Paroaria'', a South American genus of birds, called red-headed cardinals or cardinal-tanagers Businesses * Cardinal Brewery, a brewery founded in 1788 by François Piller, located in Fribourg, Switzerland * Cardinal Health, a health care services company Christianity * Cardinal (Catholic Church), a senior official of the Catholic Church **Member of the College of Cardinals * Cardinal (Church of England), either of two members of the College of Minor Canons of St. Paul's Cathedral Entertainment Films * ''Cardinals'' (film), a 2017 Canadian film * ''The Cardinal'' (1936 film), a British historical drama * '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Function Composition
In mathematics, function composition is an operation that takes two functions and , and produces a function such that . In this operation, the function is applied to the result of applying the function to . That is, the functions and are composed to yield a function that maps in domain to in codomain . Intuitively, if is a function of , and is a function of , then is a function of . The resulting ''composite'' function is denoted , defined by for all in . The notation is read as " of ", " after ", " circle ", " round ", " about ", " composed with ", " following ", " then ", or " on ", or "the composition of and ". Intuitively, composing functions is a chaining process in which the output of function feeds the input of function . The composition of functions is a special case of the composition of relations, sometimes also denoted by \circ. As a result, all properties of composition of relations are true of composition of functions, such as the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Square Principle
In mathematical set theory, a square principle is a combinatorial principle asserting the existence of a cohering sequence of short closed unbounded (club) sets so that no one (long) club set coheres with them all. As such they may be viewed as a kind of incompactness phenomenon. They were introduced by Ronald Jensen in his analysis of the fine structure of the constructible universe L. Definition Define Sing to be the class of all limit ordinal In set theory, a limit ordinal is an ordinal number that is neither zero nor a successor ordinal. Alternatively, an ordinal λ is a limit ordinal if there is an ordinal less than λ, and whenever β is an ordinal less than λ, then there exists a ...s which are not regular. ''Global square'' states that there is a system (C_\beta)_ satisfying: # C_\beta is a club set of \beta. # ot(C_\beta) < \beta # If is a limit point of then and |
Clubsuit
In mathematics, and particularly in axiomatic set theory, ♣''S'' (clubsuit) is a family of combinatorial principles that are a weaker version of the corresponding ◊''S''; it was introduced in 1975 by Adam Ostaszewski. Definition For a given cardinal number \kappa and a stationary set S \subseteq \kappa, \clubsuit_ is the statement that there is a sequence \left\langle A_\delta: \delta \in S\right\rangle such that * every ''A''''δ'' is a cofinal subset of ''δ'' * for every unbounded subset A \subseteq \kappa, there is a \delta so that A_ \subseteq A \clubsuit_ is usually written as just \clubsuit. ♣ and ◊ It is clear that ◊ ⇒ ♣, and it was shown in 1975 that ♣ + CH ⇒ ◊; however, Saharon Shelah gave a proof in 1980 that there exists a model of ♣ in which CH does not hold, so ♣ and ◊ are not equivalent (since ◊ ⇒ CH). See also *Club set In mathematics, particularly in mathematical logic and set theory, a club set is a subset of a limit ordinal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diamond Principle
In mathematics, and particularly in axiomatic set theory, the diamond principle is a combinatorial principle introduced by Ronald Jensen in that holds in the constructible universe () and that implies the continuum hypothesis. Jensen extracted the diamond principle from his proof that the axiom of constructibility () implies the existence of a Suslin tree. Definitions The diamond principle says that there exists a , a family of sets for such that for any subset of ω1 the set of with is stationary in . There are several equivalent forms of the diamond principle. One states that there is a countable collection of subsets of for each countable ordinal such that for any subset of there is a stationary subset of such that for all in we have and . Another equivalent form states that there exist sets for such that for any subset of there is at least one infinite with . More generally, for a given cardinal number and a stationary set , the statement (some ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Diagonal Intersection
Diagonal intersection is a term used in mathematics, especially in set theory. If \displaystyle\delta is an ordinal number and \displaystyle\langle X_\alpha \mid \alpha<\delta\rangle is a of subsets of , then the ''diagonal intersection'', denoted by : is defined to be : That is, an ordinal is in the diagonal intersection if and only if it is contained in the first members of the sequence. This is the same as : wh ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Superset
In mathematics, set ''A'' is a subset of a set ''B'' if all elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are unequal, then ''A'' is a proper subset of ''B''. The relationship of one set being a subset of another is called inclusion (or sometimes containment). ''A'' is a subset of ''B'' may also be expressed as ''B'' includes (or contains) ''A'' or ''A'' is included (or contained) in ''B''. A ''k''-subset is a subset with ''k'' elements. The subset relation defines a partial order on sets. In fact, the subsets of a given set form a Boolean algebra under the subset relation, in which the join and meet are given by intersection and union, and the subset relation itself is the Boolean inclusion relation. Definition If ''A'' and ''B'' are sets and every element of ''A'' is also an element of ''B'', then: :*''A'' is a subset of ''B'', denoted by A \subseteq B, or equivalently, :* ''B'' is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subset
In mathematics, Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are unequal, then ''A'' is a proper subset of ''B''. The relationship of one set being a subset of another is called inclusion (or sometimes containment). ''A'' is a subset of ''B'' may also be expressed as ''B'' includes (or contains) ''A'' or ''A'' is included (or contained) in ''B''. A ''k''-subset is a subset with ''k'' elements. The subset relation defines a partial order on sets. In fact, the subsets of a given set form a Boolean algebra (structure), Boolean algebra under the subset relation, in which the join and meet are given by Intersection (set theory), intersection and Union (set theory), union, and the subset relation itself is the Inclusion (Boolean algebra), Boolean inclusion relation. Definition If ''A'' and ''B'' are sets and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Element (mathematics)
In mathematics, an element (or member) of a set is any one of the distinct objects that belong to that set. Sets Writing A = \ means that the elements of the set are the numbers 1, 2, 3 and 4. Sets of elements of , for example \, are subsets of . Sets can themselves be elements. For example, consider the set B = \. The elements of are ''not'' 1, 2, 3, and 4. Rather, there are only three elements of , namely the numbers 1 and 2, and the set \. The elements of a set can be anything. For example, C = \ is the set whose elements are the colors , and . Notation and terminology The relation "is an element of", also called set membership, is denoted by the symbol "∈". Writing :x \in A means that "''x'' is an element of ''A''". Equivalent expressions are "''x'' is a member of ''A''", "''x'' belongs to ''A''", "''x'' is in ''A''" and "''x'' lies in ''A''". The expressions "''A'' includes ''x''" and "''A'' contains ''x''" are also used to mea ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ω-logic
In set theory, Ω-logic is an infinitary logic and deductive system proposed by as part of an attempt to generalize the theory of determinacy of pointclasses to cover the structure H_. Just as the axiom of projective determinacy yields a canonical theory of H_, he sought to find axioms that would give a canonical theory for the larger structure. The theory he developed involves a controversial argument that the continuum hypothesis is false. Analysis Woodin's Ω-conjecture asserts that if there is a proper class of Woodin cardinals (for technical reasons, most results in the theory are most easily stated under this assumption), then Ω-logic satisfies an analogue of the completeness theorem. From this conjecture, it can be shown that, if there is any single axiom which is comprehensive over H_ (in Ω-logic), it must imply that the continuum is not \aleph_1. Woodin also isolated a specific axiom, a variation of Martin's maximum, which states that any Ω-consistent \Pi_2 (over H_) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cantor's Absolute
The Absolute Infinite (''symbol'': Ω) is an extension of the idea of infinity proposed by mathematician Georg Cantor. It can be thought of as a number that is bigger than any other conceivable or inconceivable quantity, either finite or transfinite. Cantor linked the Absolute Infinite with God, Cited as ''Cantor 1883b'' by Jané; with biography by Adolf Fraenkel; reprinted Hildesheim: Georg Olms, 1962, and Berlin: Springer-Verlag, 1980, . Original article. and believed that it had various mathematical properties, including the reflection principle: every property of the Absolute Infinite is also held by some smaller object.''Infinity: New Research and Frontiers'' by Michael Heller and W. Hugh Woodin (2011)p. 11 Cantor's view Cantor said: Cantor also mentioned the idea in his letters to Richard Dedekind (text in square brackets not present in original): The Burali-Forti paradox The idea that the collection of all ordinal numbers cannot logically exist seems paradoxical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
