Search results
Results from the WOW.Com Content Network
In mathematics, a set A is Dedekind-infinite (named after the German mathematician Richard Dedekind) if some proper subset B of A is equinumerous to A. Explicitly, this means that there exists a bijective function from A onto some proper subset B of A. A set is Dedekind-finite if it is not
The ring = of algebraic integers in a number field K is Noetherian, integrally closed, and of dimension one: to see the last property, observe that for any nonzero prime ideal I of R, R/I is a finite set, and recall that a finite integral domain is a field; so by (DD4) R is a Dedekind domain. As above, this includes all the examples considered ...
The Dedekind number () is the number of different monotonic Boolean functions on variables. [ 4 ] An antichain of sets (also known as a Sperner family ) is a family of sets, none of which is contained in any other set.
is a finite set with five elements. The number of elements of a finite set is a natural number (possibly zero) and is called the cardinality (or the cardinal number) of the set. A set that is not a finite set is called an infinite set. For example, the set of all positive integers is infinite:
In ZF, a set is infinite if and only if the power set of its power set is a Dedekind-infinite set, having a proper subset equinumerous to itself. [4] If the axiom of choice is also true, then infinite sets are precisely the Dedekind-infinite sets. If an infinite set is a well-orderable set, then it has many well-orderings which are non-isomorphic.
The Dedekind–MacNeille completion of S has the same order dimension as does S itself. [19] In the category of partially ordered sets and monotonic functions between partially ordered sets, the complete lattices form the injective objects for order-embeddings, and the Dedekind–MacNeille completion of S is the injective hull of S. [20]
When interpreted as a proof within a first-order set theory, such as ZFC, Dedekind's categoricity proof for PA shows that each model of set theory has a unique model of the Peano axioms, up to isomorphism, that embeds as an initial segment of all other models of PA contained within that model of set theory. In the standard model of set theory ...
Dedekind η-function in the upper half-plane. In mathematics, the Dedekind eta function, named after Richard Dedekind, is a modular form of weight 1/2 and is a function defined on the upper half-plane of complex numbers, where the imaginary part is positive. It also occurs in bosonic string theory.