|
Cofinality
In mathematics, especially in order theory, the cofinality cf(''A'') of a partially ordered set ''A'' is the least of the cardinalities of the cofinal subsets of ''A''. This definition of cofinality relies on the axiom of choice, as it uses the fact that every non-empty set of cardinal numbers has a least member. The cofinality of a partially ordered set ''A'' can alternatively be defined as the least ordinal ''x'' such that there is a function from ''x'' to ''A'' with cofinal image. This second definition makes sense without the axiom of choice. If the axiom of choice is assumed, as will be the case in the rest of this article, then the two definitions are equivalent. Cofinality can be similarly defined for a directed set and is used to generalize the notion of a subsequence in a net. Examples * The cofinality of a partially ordered set with greatest element is 1 as the set consisting only of the greatest element is cofinal (and must be contained in every other cofinal s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ordinal Number
In set theory, an ordinal number, or ordinal, is a generalization of ordinal numerals (first, second, th, etc.) aimed to extend enumeration to infinite sets. A finite set can be enumerated by successively labeling each element with the least natural number that has not been previously used. To extend this process to various infinite sets, ordinal numbers are defined more generally as linearly ordered labels that include the natural numbers and have the property that every set of ordinals has a least element (this is needed for giving a meaning to "the least unused element"). This more general definition allows us to define an ordinal number \omega that is greater than every natural number, along with ordinal numbers \omega + 1, \omega + 2, etc., which are even greater than \omega. A linear order such that every subset has a least element is called a well-order. The axiom of choice implies that every set can be well-ordered, and given two well-ordered sets, one is isomorph ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cofinal (mathematics)
In mathematics, a subset B \subseteq A of a preordered set (A, \leq) is said to be cofinal or frequent in A if for every a \in A, it is possible to find an element b in B that is "larger than a" (explicitly, "larger than a" means a \leq b). Cofinal subsets are very important in the theory of directed sets and nets, where “ cofinal subnet” is the appropriate generalization of "subsequence". They are also important in order theory, including the theory of cardinal numbers, where the minimum possible cardinality of a cofinal subset of A is referred to as the cofinality of A. Definitions Let \,\leq\, be a homogeneous binary relation on a set A. A subset B \subseteq A is said to be or with respect to \,\leq\, if it satisfies the following condition: :For every a \in A, there exists some b \in B that a \leq b. A subset that is not frequent is called . This definition is most commonly applied when (A, \leq) is a directed set, which is a preordered set with additional p ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cofinal Subset
In mathematics, a subset B \subseteq A of a preordered set (A, \leq) is said to be cofinal or frequent in A if for every a \in A, it is possible to find an element b in B that is "larger than a" (explicitly, "larger than a" means a \leq b). Cofinal subsets are very important in the theory of directed sets and nets, where “ cofinal subnet” is the appropriate generalization of "subsequence". They are also important in order theory, including the theory of cardinal numbers, where the minimum possible cardinality of a cofinal subset of A is referred to as the cofinality of A. Definitions Let \,\leq\, be a homogeneous binary relation on a set A. A subset B \subseteq A is said to be or with respect to \,\leq\, if it satisfies the following condition: :For every a \in A, there exists some b \in B that a \leq b. A subset that is not frequent is called . This definition is most commonly applied when (A, \leq) is a directed set, which is a preordered set with additional pr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and mathematical analysis, analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of mathematical object, abstract objects and the use of pure reason to proof (mathematics), prove them. These objects consist of either abstraction (mathematics), abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of inference rule, deductive rules to already established results. These results include previously proved theorems, axioms ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Order Isomorphic
In the mathematical field of order theory, an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially ordered sets (posets). Whenever two posets are order isomorphic, they can be considered to be "essentially the same" in the sense that either of the orders can be obtained from the other just by renaming of elements. Two strictly weaker notions that relate to order isomorphisms are order embeddings and Galois connections. Definition Formally, given two posets (S,\le_S) and (T,\le_T), an order isomorphism from (S,\le_S) to (T,\le_T) is a bijective function f from S to T with the property that, for every x and y in S, x \le_S y if and only if f(x)\le_T f(y). That is, it is a bijective order-embedding. It is also possible to define an order isomorphism to be a surjective order-embedding. The two assumptions that f cover all the elements of T and that it preserve orderings, are enough to ensure that f is also one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
König's Theorem (set Theory)
In set theory, König's theorem states that if the axiom of choice holds, ''I'' is a set, \kappa_i and \lambda_i are cardinal numbers for every ''i'' in ''I'', and \kappa_i < \lambda_i for every ''i'' in ''I'', then : The sum here is the cardinality of the of the sets ''mi'', and the product is the cardinality of the . However, without the use of the axiom of choice, the sum and the product cannot be defined as cardinal numbers, and the meaning of the inequality sign would need to be clarified. König's theorem was introduced by in the slightly weaker form that the sum of a strictly increasing sequence of nonzero cardinal numbers is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Disjoint Union
In mathematics, a disjoint union (or discriminated union) of a family of sets (A_i : i\in I) is a set A, often denoted by \bigsqcup_ A_i, with an injection of each A_i into A, such that the images of these injections form a partition of A (that is, each element of A belongs to exactly one of these images). A disjoint union of a family of pairwise disjoint sets is their union. In category theory, the disjoint union is the coproduct of the category of sets, and thus defined up to a bijection. In this context, the notation \coprod_ A_i is often used. The disjoint union of two sets A and B is written with infix notation as A \sqcup B. Some authors use the alternative notation A \uplus B or A \operatorname B (along with the corresponding \biguplus_ A_i or \operatorname_ A_i). A standard way for building the disjoint union is to define A as the set of ordered pairs (x, i) such that x \in A_i, and the injection A_i \to A as x \mapsto (x, i). Example Consider the sets A_0 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Bounded (set Theory)
In mathematics, particularly in mathematical logic and set theory, a club set is a subset of a limit ordinal that is closed under the order topology, and is unbounded (see below) relative to the limit ordinal. The name ''club'' is a contraction of "closed and unbounded". Formal definition Formally, if \kappa is a limit ordinal, then a set C\subseteq\kappa is ''closed'' in \kappa if and only if for every \alpha < \kappa, if then Thus, if the limit of some sequence from is less than then the limit is also in If is a limit ordinal and then is unbounded in if for any there is some such that |
Idempotent
Idempotence (, ) is the property of certain operations in mathematics and computer science whereby they can be applied multiple times without changing the result beyond the initial application. The concept of idempotence arises in a number of places in abstract algebra (in particular, in the theory of projectors and closure operators) and functional programming (in which it is connected to the property of referential transparency). The term was introduced by American mathematician Benjamin Peirce in 1870 in the context of elements of algebras that remain invariant when raised to a positive integer power, and literally means "(the quality of having) the same power", from + '' potence'' (same + power). Definition An element x of a set S equipped with a binary operator \cdot is said to be ''idempotent'' under \cdot if : . The ''binary operation'' \cdot is said to be ''idempotent'' if : . Examples * In the monoid (\mathbb, \times) of the natural numbers with multiplication, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Initial Ordinal
In a written or published work, an initial capital, also referred to as a drop capital or simply an initial cap, initial, initcapital, initcap or init or a drop cap or drop, is a letter at the beginning of a word, a chapter, or a paragraph that is larger than the rest of the text. The word is derived from the Latin ''initialis'', which means ''standing at the beginning''. An initial is often several lines in height and in older books or manuscripts are known as "inhabited" initials. Certain important initials, such as the Beatus initial or "B" of ''Beatus vir...'' at the opening of Psalm 1 at the start of a vulgate Latin. These specific initials in an illuminated manuscript were also called initiums. In the present, the word "initial" commonly refers to the first letter of any word or name, the latter normally capitalized in English usage and is generally that of a first given name or a middle one or ones. History The classical tradition was slow to use capital letters fo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Successor Ordinal
In set theory, the successor of an ordinal number ''α'' is the smallest ordinal number greater than ''α''. An ordinal number that is a successor is called a successor ordinal. Properties Every ordinal other than 0 is either a successor ordinal or a limit ordinal.. In Von Neumann's model Using von Neumann's ordinal numbers (the standard model of the ordinals used in set theory), the successor ''S''(''α'') of an ordinal number ''α'' is given by the formula :S(\alpha) = \alpha \cup \. Since the ordering on the ordinal numbers is given by ''α'' < ''β'' if and only if ''α'' ∈ ''β'', it is immediate that there is no ordinal number between α and ''S''(''α''), and it is also clear that ''α'' < ''S''(''α''). Ordinal addition The successor operation can be used to define ordinal addition rigorously via |
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 an ordinal γ such that β 0, are limits of limits, etc. Properties The classes of successor ordinals and limit ordinals (of various cofinalities) as well as zero exhaust the entire class of ordinals, so these cases are often used in proofs by transfinite induction or definitions by transfinite recursion. Limit ordinals represent a sort of "turning point" in such procedures, in which one must use limiting operations such as taking the union over all preceding ordinals. In principle, one could do anything at limit ordinals, but taking the union is continuous in the order topology and this is usually desirable. If we use the von Neumann cardinal assignment, every infinite cardinal number is also a limit ordinal (and this is a fitting o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Idempotent")
