Search results
Results From The WOW.Com Content Network
The logarithm of an infinite cardinal number κ is defined as the least cardinal number μ such that κ ≤ 2 μ. Logarithms of infinite cardinals are useful in some fields of mathematics, for example in the study of cardinal invariants of topological spaces , though they lack some of the properties that logarithms of positive real numbers possess.
Cantor introduced the cardinal numbers, and showed—according to his bijection-based definition of size—that some infinite sets are greater than others. The smallest infinite cardinality is that of the natural numbers ( ℵ 0 {\displaystyle \aleph _{0}} ).
In linguistics, and more precisely in traditional grammar, a cardinal numeral (or cardinal number word) is a part of speech used to count.Examples in English are the words one, two, three, and the compounds three hundred [and] forty-two and nine hundred [and] sixty.
In set theory, a regular cardinal is a cardinal number that is equal to its own cofinality. More explicitly, this means that κ {\displaystyle \kappa } is a regular cardinal if and only if every unbounded subset C ⊆ κ {\displaystyle C\subseteq \kappa } has cardinality κ {\displaystyle \kappa } .
The definition of ℵ 1 implies (in ZF, Zermelo–Fraenkel set theory without the axiom of choice) that no cardinal number is between ℵ 0 and ℵ 1. If the axiom of choice is used, it can be further proved that the class of cardinal numbers is totally ordered , and thus ℵ 1 is the second-smallest infinite cardinal number.
Cardinal numbers can be defined as follows. Define two sets to have the same size by: there exists a bijection between the two sets (a one-to-one correspondence between the elements). Then a cardinal number is, by definition, a class consisting of all sets of the same size. To have the same size is an equivalence relation, and the cardinal ...
Cardinal functions are widely used in topology as a tool for describing various topological properties. [2] [3] Below are some examples.(Note: some authors, arguing that "there are no finite cardinal numbers in general topology", [4] prefer to define the cardinal functions listed below so that they never taken on finite cardinal numbers as values; this requires modifying some of the ...
Existence of a cardinal number κ of a given type implies the existence of cardinals of most of the types listed above that type, and for most listed cardinal descriptions φ of lesser consistency strength, V κ satisfies "there is an unbounded class of cardinals satisfying φ".