What is the cardinal number of a set


Cardinal Numbers - Meaning, Examples, Sets

Cardinal numbers are numbers that are used for counting. They are also known as natural numbers or cardinals. A set of cardinal numbers starts from 1 and it goes on up to infinity. We use cardinal numbers to answer the question "how many?". For example, how many students are going to the school picnic? The answer could be any number like 20, 23, 30, etc. So, all these numbers come in the category of cardinal numbers. In this article, we will explore the world of cardinal numbers and understand the difference between cardinal and ordinal numbers.

1. What are Cardinal Numbers?
2. Difference Between Cardinal and Ordinal Numbers
3. List of Cardinal Numbers from 1 to 100
4. Cardinal Numbers of a Set
5. FAQs on Cardinal Numbers

What are Cardinal Numbers?

A cardinal number describes or represents how many of something are present. Example 2 apples, 5 flowers, etc. It quantifies an object. It does not have values as fractions or decimals. Cardinal numbers are counting numbers, they help to count the number of items. Let's have a look at cardinal numbers examples. Ana wants to count the number of people standing in a queue at a billing counter. Can you help her? Ana started to count using Natural numbers.

Ana counted 1, 2, 3, 4, and 5. There are 5 people standing in a queue at the billing counter. Counting numbers are cardinal numbers! Now, Let's consider another example, Noah kept eight apples in a basket. The number eight denotes how many apples are there in the basket, irrespective of their order.

Examples of cardinal numbers are 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, and so on. The smallest cardinal number is 1 as 0 is not used for counting, so it is not a cardinal number.

Difference Between Cardinal and Ordinal Numbers

All the natural numbers are also referred to as cardinal numbers. Cardinal numbers are used for counting. While an ordinal number is a number that denotes the position or place of an object. Example: 1st, 2nd, 3rd, 4th, 5th, etc. Ordinal numbers are used for ranking. Here is an example that explains cardinal and ordinal numbers:

In the above image, we can see a team of 4 workers on the construction site. This is an example of cardinal numbers.

In the above image, we can see the position of the runners in the running event. First, second, third, and so on. This is an example of ordinal numbers. Let's discuss ordinal and cardinal number differences in the table below:

Cardinal Numbers Ordinal Numbers
They are counting numbers that represent quantity. They are based on the rank or position of an object in a given list or order.
Cardinal numbers give us the answer of 'how many?'. Ordinal numbers give us the answer of 'where'. For instance, where does the object lies in the list?
Examples are 1, 2, 3, 4, 5, 10, etc. Examples are 1st, 2nd, 3rd, 4th, 5th, 10th, etc.

List of Cardinal Numbers from 1 to 100

Given below are the basic and most important cardinal numbers, which form the base for other counting numbers.

1 - One 6 - Six
2 - Two 7 - Seven
3 - Three 8 - Eight
4 - Four 9 - Nine
5 - Five 10 - Ten
10 - Ten 60 - Sixty
20 - Twenty 70 - Seventy
30 - Thirty 80 - Eighty
40 - Forty 90 - Ninety
50 - Fifty 100 - Hundred

Given below is the list of all cardinal numbers from 1 to 100. It will also help you to see how we write cardinal numbers in words like 21- twenty-one.

Cardinal Numbers of a Set

In the case of a set, the cardinal number is the total number of elements present in it. In other words, the number of distinct elements present in a set is the cardinal number of the set. The cardinal number of a set A is represented as n(A). For example, the cardinal number of set W = {1, 3, 5, 7, 9} is n(W)=5, as there are 5 elements in it.

Think Tank:

  • Maria wrote January 1, 2020, as today’s date in her notebook. Does the number 1 in the date, represent a cardinal number?
  • There are _______ people in the line ahead of me. I am the 7th person in the line.

Important Notes:

  • Cardinal numbers help us to count the number of things or people in or around a place or a group.
  • The collection of all the ordinal numbers can be denoted by the cardinal.
  • Cardinal numbers can be written as words such as one, two, three, etc.
  • Cardinal numbers tell how many items, whereas ordinal numbers show position or ranking.

Related Articles

Check out these interesting articles to know more about cardinal numbers and its related articles.

  • Ordinal Numbers
  • Whole Numbers
  • Natural Numbers
  • Difference Between Natural and Whole Numbers

 

Cardinal Numbers Examples

  1. Example 1: Kate has a list of numbers as shown - 7, 8th, 10, Two, Fourth, 2nd. Identify the cardinal numbers.

    Solution:

    7, 10 and two help us in counting, whereas 8th, fourth and 2nd helps us in identifying the position. Thus, 7, 10, and two are cardinal numbers.

  2. Example 2: Help Ryan, to calculate the number of vowels in "NUMBERS". Also, identify the number of alphabets used to form this word.

    Solution:

    (i) We know that a, e, i, o, and u are the vowels and in the given word u and e are used. Therefore, 2 vowels are used to form this number (2 is the required cardinal number).

    (ii) We start counting from N to S, we see that "Numbers" has 7 alphabets in all. Therefore, a total of 7 alphabets are required to form the given word and here 7 is a cardinal number.

go to slidego to slide

Breakdown tough concepts through simple visuals.

Math will no longer be a tough subject, especially when you understand the concepts through visualizations with Cuemath.

Book a Free Trial Class

Practice Questions on Cardinal Numbers

 

go to slidego to slidego to slide

FAQs on Cardinal Numbers

What is a Cardinal Number Example?

Cardinal numbers are used for counting. Some examples of cardinal numbers are 1, 2, 3, 4, 5, 10, 15, 20, 30, 40, 50, 100, etc. In our daily life, we use cardinal numbers a lot. Even a small child uses this mathematical concept without knowing the term for it. They do count how many toys they have, how many people are there around them, how many friends they have, how many subjects do they study at school, etc.

What is the Smallest Cardinal Number?

The smallest cardinal number is 1 (one) as whenever we count, we always start from 1.

How do you Find Cardinal Numbers?

Cardinal numbers can be found by counting. We start by 1 and then go on as per the number sequence.

How is Cardinal Number Different from the Ordinal Number?

Cardinal numbers are numbers that represent the number of items(quantity) while ordinal numbers represent the rank or position of an item in the given list.

What is a Cardinal Number in Sets?

In set A, if there are a total of 25 elements then 25 is the cardinal number of set A represented by n(A).

Can Cardinal Numbers Negative?

No, cardinal numbers cannot be negative. They are positive integers or natural numbers, as we always count the number of items starting from number 1, and then it goes up to infinity.

Is Zero a Cardinal Number?

No, 0 is not a cardinal number as cardinal numbers represent quantity, and 0 means nothing or no quantity.

What is the Biggest Cardinal Number?

There are infinite natural numbers. Therefore, there are as many cardinal numbers as natural numbers. There can be no generalization of the biggest natural number and so does for the biggest cardinal number.

cardinal number in nLab

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Discuss this page |

Contents

Context

Arithmetic

number theory

  • arithmetic

  • arithmetic geometry, arithmetic topology

  • higher arithmetic geometry, E-∞ arithmetic geometry

number

  • natural number, integer number, rational number, real number, irrational number, complex number, quaternion, octonion, adic number, cardinal number, ordinal number, surreal number

arithmetic

  • Peano arithmetic, second-order arithmetic

  • transfinite arithmetic, cardinal arithmetic, ordinal arithmetic

  • prime field, p-adic integer, p-adic rational number, p-adic complex number

arithmetic geometry, function field analogy

  • arithmetic scheme

    • arithmetic curve, elliptic curve

    • arithmetic genus

  • arithmetic Chern-Simons theory

  • arithmetic Chow group

  • Weil-étale topology for arithmetic schemes

  • absolute cohomology

  • Weil conjecture on Tamagawa numbers

  • Borger's absolute geometry

  • Iwasawa-Tate theory

    • arithmetic jet space
  • adelic integration

  • shtuka

  • Frobenioid

Arakelov geometry

  • arithmetic Riemann-Roch theorem

  • differential algebraic K-theory

Type theory

natural deduction metalanguage, practical foundations

  • judgement

  • hypothetical judgement, sequent

    • antecedents⊢\vdashconsequent, succedents
  1. type formation rule
  2. term introduction rule
  3. term elimination rule
  4. computation rule

type theory (dependent, intensional, observational type theory, homotopy type theory)

  • calculus of constructions

syntax object language

  • theory, axiom

  • proposition/type (propositions as types)

  • definition/proof/program (proofs as programs)

  • theorem

computational trinitarianism =
propositions as types +programs as proofs +relation type theory/category theory

logiccategory theorytype theory
trueterminal object/(-2)-truncated objecth-level 0-type/unit type
falseinitial objectempty type
proposition, truth value(-1)-truncated objecth-proposition, mere proposition
proofgeneralized elementprogram
cut rulecomposition of classifying morphisms / pullback of display mapssubstitution
cut elimination for implicationcounit for hom-tensor adjunctionbeta reduction
introduction rule for implicationunit for hom-tensor adjunctioneta conversion
logical conjunctionproductproduct type
disjunctioncoproduct ((-1)-truncation of)sum type (bracket type of)
implicationinternal homfunction type
negationinternal hom into initial objectfunction type into empty type
universal quantificationdependent productdependent product type
existential quantificationdependent sum ((-1)-truncation of)dependent sum type (bracket type of)
equivalencepath space objectidentity type/path type
equivalence classquotientquotient type
inductioncolimitinductive type, W-type, M-type
higher inductionhigher colimithigher inductive type
-0-truncated higher colimitquotient inductive type
coinductionlimitcoinductive type
presettype without identity types
completely presented setdiscrete object/0-truncated objecth-level 2-type/set/h-set
setinternal 0-groupoidBishop set/setoid with its pseudo-equivalence relation an actual equivalence relation
set of truth valuessubobject classifiertype of propositions
universeobject classifiertype universe
modalityclosure operator, (idempotent) monadmodal type theory, monad (in computer science)
linear logic(symmetric, closed) monoidal categorylinear type theory/quantum computation
proof netstring diagramquantum circuit
(absence of) contraction rule(absence of) diagonalno-cloning theorem
synthetic mathematicsdomain specific embedded programming language

homotopy levels

  • type theory

  • 2-type theory, 2-categorical logic

  • homotopy type theory, homotopy type theory - contents

    • homotopy type

    • univalence, function extensionality, internal logic of an (∞,1)-topos

    • cohesive homotopy type theory

    • directed homotopy type theory

    • HoTT methods for homotopy theorists

semantics

  • internal logic, categorical semantics

    • display map
  • internal logic of a topos

    • Mitchell-Benabou language

    • Kripke-Joyal semantics

  • internal logic of an (∞,1)-topos

    • type-theoretic model category

Edit this sidebar

  • Idea
  • Definition
    • In homotopy type theory
  • Cardinal arithmetic
    • Definition
    • Properties
  • Properties of cardinals
  • Related concepts
  • References

Idea

The cardinal numbers (or just cardinals) constitute a generalisation of a natural numbers to numbers of possibly infinite magnitudes. Specifically, cardinal numbers generalise the concept of ‘the number of …’. In particular, the number of natural numbers is the first infinite cardinal number.

Definition

Naïvely, a cardinal number should be an isomorphism class of sets, and the cardinality of a set SS would be its isomorphism class. That is:

  1. every set has a unique cardinal number as its cardinality;
  2. every cardinal number is the cardinality of some set;
  3. two sets have the same cardinality if and only if they are isomorphic as sets.

Then a finite cardinal is the cardinality of a finite set, while an infinite cardinal or transfinite cardinal is the cardinality of an infinite set. (If you interpret both terms in the strictest sense, then there may be cardinals that are neither finite nor infinite, without some form of the axiom of choice).

Taking this definition literally in material set theory, each cardinal is then a proper class (so one could not make further sets using them as elements). For this reason, in axiomatic set theory one usually defines a cardinal number as a particular representative of this equivalence class. There are several ways to do this:

  • The cardinality of a set SS is the smallest possible ordinal rank of any well-order on SS. In other words, it is the smallest ordinal number (usually defined following von Neumann) which can be put in bijection with SS. A cardinal number is then any cardinality, i.e. any ordinal which is not in bijection with any smaller ordinal.

    • On well-orderable sets, this cardinality function satisfies (1–3), but one needs the axiom of choice (precisely, the well-ordering theorem) to prove that every set is well-orderable. This approach is probably the most common one in the presence of the axiom of choice.

    • In the absence of excluded middle, when the “correct” definition of well-order is different from the usual one (and so “the least ordinal such that …” may not exist), a better definition of the cardinality of SS is as the set of all ordinal numbers less than the ordinal rank of every well-order on SS.

  • Alternatively, we can define the cardinality of a set XX to be the set of all well-founded pure sets that are isomorphic as sets to XX and such that no pure set of smaller hereditary rank (that is, which occurs earlier in the von Neumann hierarchy) is isomorphic to XX.

    • On those sets that are isomorphic to some well-founded set, this cardinality function satisfies (1–3), but one needs some assumption to prove that every set is isomorphic to a well-founded set. (This will follow directly from the axiom of foundation; it will also follow from the axiom of choice, since then every set is isomorphic to a von Neumann ordinal.)

In the absence of the appropriate axioms, the definitions above can still be used to define well-ordered cardinals and well-founded cardinals, respectively.

From the perspective of structural set theory, it is evil to care about distinctions between isomorphic objects, and unnecessary to insist on a canonical choice of representatives for isomorphism classes. Therefore, from this point of view it is natural to simply say:

  • A cardinal is a set (that is, an object of Set).

However, one still may need sets of cardinals, that is sets that serve as the target of a cardinality function satisfying (1–3) on any (small) collection of sets. One can construct this as a quotient set of that collection.

Lowercase Greek letters starting from κ\kappa are often used for cardinal numbers.

In homotopy type theory

A cardinal in homotopy type theory is an element of the type of cardinals κ:Card𝒰\kappa \colon Card_\mathcal{U} relative to a universe 𝒰\mathcal{U}. The type of cardinals is defined as the set-truncation of the type of sets Set𝒰Set_\mathcal{U} relative to 𝒰\mathcal{U}, Card𝒰≔|Set𝒰|0Card_\mathcal{U} \coloneqq \left| Set_\mathcal{U} \right|_0 with Set𝒰Set_\mathcal{U} defined as

Set𝒰≔∑A:𝒰∏a:A∏b:A∏p:a=Ab∏q:a=Abp=a=AbqSet_\mathcal{U} \coloneqq \sum_{A:\mathcal{U}} \prod_{a:A} \prod_{b:A} \prod_{p:a =_A b} \prod_{q:a =_A b} p =_{a =_A b} q

Cardinal arithmetic

Definition

For SS a set, write |S|{|S|} for its cardinality. Then the standard operations in the category Set induce arithmetic operations on cardinal numbers (“cardinal arithmetic”):

For S1S_1 and S2S_2 two sets, the sum of their cardinalities is the cardinality of their disjoint union, the coproduct in SetSet:

|S1|+|S2|≔|S1⨿S2|. {|S_1|} + {|S_2|} \coloneqq {|S_1 \amalg S_2|} \,.

More generally, given any family (Si)i:I(S_i)_{i: I} of sets indexed by a set II, the sum of their cardinalities is the cardinality of their disjoint union:

∑i:I|Si|≔|∐i:ISi|. \sum_{i: I} {|S_i|} \coloneqq {|\coprod_{i: I} S_i|} \,.

Likewise, the product of their cardinalities is the cardinality of their cartesian product, the product in SetSet:

|S1||S2|≔|S1×S2|. {|S_1|} \, {|S_2|} \coloneqq {|S_1 \times S_2|} \,.

More generally again, given any family (Si)i:I(S_i)_{i: I} of sets indexed by a set II, the product of their cardinalities is the cardinality of their cartesian product:

∏i:I|Si|≔|∏i:ISi|. {|S|}, where Ω\Omega is the cardinality of the set of truth values.

The usual way to define an ordering on cardinal numbers is that |S1|≤|S2|{|S_1|} \leq {|S_2|} if there exists an injection from S1S_1 to S2S_2:

(|S1|≤|S2|):⇔(∃(S1↪S2)). ({|S_1|} \leq {|S_2|}) \;:\Leftrightarrow\; (\exists (S_1 \hookrightarrow S_2)) \,.

Classically, this is almost equivalent to the existence of a surjection S2→S1S_2 \to S_1, except when S1S_1 is empty. Even restricting to inhabited sets, these are not equivalent conditions in constructive mathematics, so one may instead define that |S1|≤|S2|{|S_1|} \leq {|S_2|} if there exists a subset XX of S2S_2 and a surjection X→S1X \to S_1. Another alternative is to require that S1S_1 (or XX) be a decidable subset of S2S_2. All of these definitions are equivalent using excluded middle.

This order relation is antisymmetric (and therefore a partial order) by the Cantor–Schroeder–Bernstein theorem (proved by Cantor using the well-ordering theorem, then proved by Schroeder and Bernstein without it). +}) is called Cantor’s continuum problem; the assertion that this is the case is called the (generalized) continuum hypothesis. It is known that the continuum hypothesis is undecidable in ZFC.

  • For every transfinite cardinal π\pi we have (using the axiom of choice) π+π=π\pi + \pi = \pi and π⋅π=π\pi \cdot \pi = \pi, so addition and multiplication are idempotent.

  • Properties of cardinals

    • A transfinite cardinal π\pi is a regular cardinal if no set of cardinality π\pi is the union of fewer than π\pi sets of cardinality less than π\pi. Equivalently, π\pi is regular if given a function P→XP \to X (regarded as a family {Px}x∈X\{P_x\}_{x\in X}) such that |X|<π{|X|} \lt \pi and |Px|<π{|P_x|} \lt \pi for all x∈Xx \in X, then |P|<π{|P|} \lt \pi. Again equivalently, π\pi is regular if the category Set<π\Set_{\lt\pi} of sets of cardinality <π\lt\pi has all colimits of size <π\lt\pi. The successor of any infinite cardinal, such as ℵ1\aleph_1, is a regular cardinal. \lambda is the cardinality of the power set P(λ)P(\lambda), a cardinal π\pi is a strong limit iff the category Set<π\Set_{\lt\pi} is an elementary topos.

    • An inaccessible cardinal is any (usually uncountable) regular strong limit cardinal. A weakly inaccessible cardinal is a regular limit cardinal.

    • A cardinal κ\kappa is a measurable cardinal if some (hence any) set of cardinality κ\kappa admits a two-valued measure which is κ\kappa-additive, or equivalently an ultrafilter which is κ\kappa-complete.

    • groupoid cardinality

    • counting measure

    • ordinal number

    References

    The original article is

    • Georg Cantor, Beiträge zur Begründung der transfiniten Mengenlehre, Math. Ann. 46 (1895) pp.481-512, reprinted from p. 282 on in Ernst Zermelo (ed.), Georg Cantor – Gesammelte Abhandlungen mathematischen und philosophischen Inhalts, Springer Berlin 1932 (online English translation)

    The book

    • Peter J Cameron, Sets, Logic and Categories (ISBN: 1-85233-056-2 )

    contains a very readable account of ZFC and the definitions of both ordinal and cardinal numbers.

    Any serious reference on set theory should cover cardinal numbers. The long-established respected tome is

    • Thomas Jech Set Theory;

    there are also some references listed at

    • MathWorld and

    • the English Wikipedia.

    A good introduction to infinite cardinals is:

    • Frank R. Drake, Set Theory: An Introduction to Large Cardinals, Studies in Logic and the Foundations of Mathematics, vol. 76, Elsevier, 1974.

    For a much deeper treatment, which assumes most of the material in Drake as a prerequisite, see:

    • Akihiro Kanamori, The Higher Infinite: Large Cardinals in Set Theory from Their Beginning, Springer, 2003.

    This is a very readable and freely available historical introduction:

    • Akihiro Kanamori and M. Magidor, The evolution of large cardinal axioms in set theory, in Higher Set Theory, Springer Lecture Notes in Mathematics 669, 1978. (pdf)

    Standard approaches start with a material set theory, such as ZFC, whereas the approach here uses structural set theory as emphasized above. Since cardinality is isomorphism-invariant, it is easy to interpret the standard material structurally, although the basic definitions will be different. There does not seem to be a standard account of cardinality from within structural set theory.

    For cardinal numbers in homotopy type theory, see chapter 10 of

    • Univalent Foundations Project, Homotopy Type Theory – Univalent Foundations of Mathematics (2013)

    For a critical discussion of the history of the meaning of Cantor’s “Kardinalen”, see

    • William Lawvere, Cohesive Toposes and Cantor's "lauter Einsen",

    which argues that Cantor’s original meaning of set was more like what today is cohesive set and that his Kardinalen refer to the underlying set (see at flat modality).

    Last revised on September 30, 2022 at 16:52:43. See the history of this page for a list of all contributions to it.

    Cardinality of a set, cardinal number (cardinal) of a set Discrete Mathematics....

    Hello, you will learn about the cardinality of a set, Let's analyze its main types and features of use. There will be many more detailed examples and descriptions. In order to better understand what is cardinality of a set, cardinal number of a set, cardinal number, cardinal, I highly recommend reading everything from the Discrete Mathematics category. Set Theory. Graph Theory. Combinatorics..

    set power , the cardinal number of a set (lat. cardinalis ← cardo “the main circumstance; basis; heart”) is a characteristic of sets (including infinite ones), generalizing the concept of the number (number) of elements of a finite set.

    This concept is based on natural ideas about comparing sets:

    1. Any two sets, between whose elements a one-to-one correspondence (bijection) can be established, contain the same number of elements (have the same cardinality, are equally powerful).
    2. Conversely, equivalent sets must allow such a one-to-one correspondence.
    3. Part of the set does not exceed the full set in cardinality (that is, in the number of elements).

    Before the theory of cardinality of sets was constructed, sets differed in terms of characteristics: empty/non-empty and finite/infinite, and finite sets also differed in the number of elements. Infinite sets could not be compared.

    Cardinality of sets allows infinite sets to be compared. For example, countable sets are the "smallest" infinite sets.

    The cardinality of a set is denoted by . Sometimes there are notations , and .

    block diagram of the algorithm for determining the cardinality of a set

    The cardinal number or shortly cardinal in set theory is called an object that characterizes the cardinality of a set. The cardinal number of any set is A is marked as | A | or Card A .

    For a finite set A, the cardinal number |A| is a natural number, which means the number of elements of this set. For infinite sets, the cardinal number is a generalization of the concept of the number of elements.

    Although the cardinal numbers of infinite sets are not reflected in natural numbers, they can be compared. Let A and B be infinite sets, then the following four cases are logically possible:

    1. There is a one to one correspondence between A and B , i.e. A ~ B and | A |=| B |.
    2. There is a one-to-one correspondence between set A and some proper subset B' of set B . Then we say that the cardinality of the set A is not greater than the cardinality of the set B and write | A |≤| B |.
    3. many a is equal to some subsentity of the set of b , and vice versa, many b is equal to some subsidence of the set A , that is, A ~ b ' b and b ~ ~ ~ 9003 ⊆ A . According to the Cantor-Bernstein theorem, in this case, A ~ B is fulfilled, i.e. | A |=| B |.
    4. There is no one-to-one correspondence between set A and any subset of set B and there is also no one-to-one correspondence between set B and any subset of set A . It follows from this that the cardinalities of the sets A and B are not comparable with each other.

    However, deeper research in set theory has shown that, relying on the axiom of choice, one can prove the impossibility of the existence of the fourth case.

    Thus, the cardinalities of any two sets are A and B are always comparable. That is, for cardinal numbers | A | and | B | arbitrary sets A and B , one of the three relations holds: | A |=|B|, | A |≤| B | or | B |≤| A |. If | A |≤| B |, but the set A is not equivalent to the set B , then | A |<| B |.

    Definition

    Assuming the axiom of choice to be true, the cardinality of a set is formally defined as the smallest ordinal number , under which a bijective correspondence can be established between and. This definition is also called the von Neumann distribution of cardinal numbers.

    If we do not accept the axiom of choice, then a different approach is required. The very first definition of the cardinality of a set (it is implicit in Cantor's work and explicitly stated in Frege, as well as in Principia Mathematica) is the class of all sets that are equivalent in cardinality. In axiomatic systems based on the theory of ZFC, such a definition is inapplicable, since for non-empty such a collection is too large to fit the definition of a set. More precisely, if , then there is an injective mapping of the universal set into , under which each set goes to , whence, by virtue of the axiom of the size restriction, it follows that is a proper class. This definition can be used in type theory and "new foundations" [en] , as well as in related axiomatic systems. In the case of ZFC, the definition can be used by restricting the collection to the least rank equivalent sets (this trick, proposed by Dana Scott, works because the collection of objects that have a given rank is a set).

    The formal order among cardinal numbers is introduced as follows: means that the set can be injectively mapped to . According to the Cantor-Bernstein theorem, it follows from the pair of inequalities and that . The axiom of choice is equivalent to the statement that for any sets and , at least one of the inequalities or .

    A set is called Dedekind infinite [en] if it has a proper subset such that . Otherwise, the set is called Dedekind finite. Finite cardinal numbers coincide with ordinary natural numbers - in other words, the set is finite if and only if for some natural . All other sets are infinite. Subject to the axiom of choice, one can prove that the Dedekind definitions coincide with the standard ones. In addition, it can be proved that the cardinality of the set of natural numbers (alef-zero, or aleph-0 - the name is derived from the first letter of the Hebrew alphabet) is the smallest infinitely large cardinal number, that is, in any infinite set there is a subset of cardinality. The cardinal number next in order is denoted, and so on, the number of alephs is infinite. Any ordinal number corresponds to a cardinal number, and in this way any infinitely large cardinal number can be described.

    Related definitions

    • The cardinality of the set of natural numbers is denoted by the symbol ("aleph-zero"). A set is called infinite if its cardinality is (not less than the cardinality of the set of natural numbers), so countable sets are the "smallest" of infinite sets. The next cardinal numbers in ascending order are denoted (where the index runs through all ordinal numbers). Among the cardinal numbers, there is no largest: for any set of cardinal numbers, there is a cardinal number that is greater than all elements of this set.
    • Sets that are equivalent to the set of all real numbers are said to have the cardinality of the continuum, and the cardinality of such sets is denoted by the symbol . The assumption that , is called the continuum hypothesis.
    • For cardinalities, as in the case of finite sets, there are concepts: "equality", "greater", "less". That is, for any sets and only one of the three is possible:
      1. , or and are equivalent;
      2. , or is more powerful than , that is, it contains a subset that is equally powerful, but not equally powerful;
      3. , or more powerful - in this case, contains a subset that is equivalent to , but not equally powerful.
      • The situation in which and are not equivalent and in none of them there is a part that is equivalent to the other is impossible. This is indicated by the site https://intellect.icu. This follows from Zermelo's theorem. Otherwise, this would mean the existence of incomparable powers (which is possible in principle if one does not accept the axiom of choice).
      • The situation in which and is impossible by the Cantor-Bernstein theorem.
    • Sets and are called equivalent to if there exists a one-to-one mapping of a set onto a set .

    Examples

    • A set is called finite if it is equivalent to a segment of the natural series for some non-negative integer . The number expresses the number of elements in the finite set. For , the set contains no elements (the empty set). If , then there is no injective mapping from to (the Dirichlet principle), and hence there is no bijection between them. Therefore, the sets and have different cardinalities.
    • A set is called countable if it is equivalent to the set of all natural numbers . The countable sets are:
      • Set for any natural . Conformity: .
      • Set of . Conformity: .
      • The set of integers . Correspondence is obtained by comparing the terms of the series with its partial sums (the terms of the series are taken without taking into account the sign).
      • Set of pairs of natural numbers .
      • The set of rational numbers is mapped injectively into a set (an irreducible fraction of the form corresponds to a pair of numbers ). Therefore, the set of rational numbers is at most countable. But since it contains the set of natural numbers, it is not less than countable. By the Cantor-Bernstein theorem, it is countable.
    • Infinite sets not equivalent to the set are called uncountable. According to Cantor's theorem, the set of infinite sequences composed of the digits 0 and 1 is uncountable. The cardinality of this set is called the continuum.
    • The cardinality of the set of real numbers is equal to the continuum.

    Properties

    • Two finite sets are equivalent if and only if they consist of the same number of elements. That is, for a finite set, the concept of power coincides with the usual concept of quantity.
    • For infinite sets, the cardinality of a set can be the same as the cardinality of its own subset, for example .
    • Moreover, a set is infinite if and only if it contains an equally powerful proper (that is, not coinciding with the main set) subset.
    • Any infinite set is equivalent to the set of all its finite subsets.
    • Cantor's theorem The set of all subsets of the set A has more power than A , or .
      • In particular, there exists a set more powerful than any given one.
    • Using the Cantor square, one can also prove the following useful statement: The Cartesian product of an infinite set A with itself is equivalent to A .
    • Cartesian product power:

    • Inclusion-exclusion formula for two and three sets:

    • Power of the symmetric difference of two and three sets:

    Arithmetic of cardinal numbers

    Ordinary arithmetic operations on natural numbers can be generalized to the case of cardinal numbers. It can also be shown that in the case of finite cardinal numbers these operations coincide with the corresponding arithmetic operations on numbers. In addition, operations on cardinal numbers retain many of the properties of ordinary arithmetic operations.

    The next cardinal number

    Subject to the axiom of choice, for each cardinal number it is possible to determine the number following it, and between and there are no other cardinal numbers. If of course, then the next cardinal number is the same as . In the case of infinite, the next cardinal number is different from the next ordinal number.

    Addition of cardinal numbers

    If the sets and have no common elements, then the sum of cardinalities is determined by the cardinality of their union. If there are common elements, the original sets can be replaced by non-intersecting sets of the same cardinality — for example, by replacing with , and with .

    Neutrality of zero regarding the addition:

    Association:

    CommetTativity:

    Monotony (failure) of addition to both arguments:

    The sum of two infinite cardinal numbers can be easily calculated with the observance of the selection . If one of the numbers or is infinite, then

    Subtraction

    Subject to the axiom of choice for any infinite cardinal number and arbitrary cardinal number, the existence of , for which , is equivalent to the inequality . This is unique (and coincides with ) if and only if .

    Multiplication of fundamental numbers

    The work of two cardinal numbers is expressed through the decartion of the sets:

    Octos of zero:

    Unit relative to multiplication:

    Associative:

    Commonity:

    (non-decreasing) multiplication with respect to both arguments:

    Distributivity of multiplication with respect to addition:

    By analogy with addition, the product of two infinite cardinal numbers can be easily calculated if the axiom of choice is observed. If the numbers and are nonzero and at least one of them is infinite, then

    Division

    Subject to the axiom of choice, for any pair of cardinal numbers and , where is infinite and not equal to zero, the existence of , for which , is equivalent to the inequality . This is unique (and coincides with ) if and only if .

    Exponentiation of cardinal numbers

    Exponentiation is defined as follows:

    ,

    where denotes the set of all functions from to .

    (in particular), see the empty function

    Monotony:

    Note that it is the power of Bulean and, therefore, for any set (see see Cantor's Diagonal Method). This implies that among the cardinal numbers there is no largest (since for any cardinal number, a larger number can be specified). In fact, the class of all cardinal numbers is proper (although in some axiomatizations of the theory, the set of this cannot be proved - such, for example, is the system of "New Foundations" [en]).

    All subsequent statements in this section are based on the axiom of choice.

    If and are finite numbers greater than 1, and is an infinite cardinal number, then If the cardinal number is infinite, and finitely different from zero, then .

    If and , and at least one of them is infinite, then

    .

    Using Koenig's theorem, we can prove that for any infinite cardinal number the following inequalities hold:

    ,

    where denotes confinality .

    Extracting roots

    Subject to the axiom of choice, for any infinite cardinal and finite cardinal there exists a cardinal number such that , and .

    Logarithms

    Subject to the axiom of choice, a cardinal number that satisfies the condition , given infinite and finite , does not always exist. If such exists, then it is infinite and less than , and any finite cardinal number will also satisfy the equality .

    The logarithm of an infinite cardinal number is the smallest cardinal number that satisfies the condition . Despite the fact that the logarithms of infinitely large cardinal numbers lack some of the properties that are characteristic of the logarithms of positive real numbers, they turn out to be useful in certain areas of mathematics - in particular, in the study of cardinal invariants of topological spaces.

    Continuum hypothesis

    According to the continuum hypothesis, there are no other cardinal numbers between and. The cardinal number is also denoted and represents the cardinality of the continuum (that is, the set of real numbers). In this case . The generalized continuum hypothesis denies the existence of cardinal numbers strictly between and for any infinite set of . The continuum hypothesis is independent of the standard axiomatization of set theory, i.e. the Zermelo-Fraenkel axiom system combined with the axiom of choice (see Zermelo-Fraenkel set theory).

    See also

    • Ordinal number
    • TRANSFINITE NUMBER

    In general, my friend, you have overcome reading this article about the cardinality of the set. You will have a lot of work ahead of you. Feel free to write comments, develop and happiness will be in your hands. I hope that now you understand what is the cardinality of the set, cardinal number of the set, cardinal number, cardinal and why all this is needed, and if you don’t understand, or there are comments, then feel free to write or ask in the comments, I will answer with pleasure. In order to understand more deeply, I strongly recommend that you study all the information from the category Discrete Math. Set Theory. Graph Theory. Combinatorics.

    Cardinal number | it's... What is a cardinal number?

    Aleph-zero, the smallest infinite cardinal.

    Cardinal number or shortly cardinal in set theory is an object that characterizes the cardinality of a set. The cardinal number of any set A is denoted as | A | or Card A .

    For a finite set A, the cardinal number |A| is a natural number, which means the number of elements of this set. For infinite sets, the cardinal number is a generalization of the concept of the number of elements.

    Although the cardinal numbers of infinite sets are not reflected in natural numbers, they can be compared. Let A and B be infinite sets, then the following four cases are logically possible:

    1. A ~ B and | A |=| B |.
    2. There is a one-to-one correspondence between the set A and some own subset B' of the set B . Then they say that the cardinality of the set A is not greater than the cardinality of the set B and write | A |≤| B |.
    3. The set A is equivalent to some subset of the set B , and vice versa, the set B is equivalent to some subset of the set A , i.e. A ~ B' ⊆ B0461 B ~ A' A . According to the Cantor-Bernstein theorem, in this case, A ~ B is fulfilled, i. e. | A |=| B |.
    4. There is no one-to-one correspondence between set A and any subset of set B , and there is also no one-to-one correspondence between set B and any subset of set A . It follows from this that the cardinalities of the sets A and B are not comparable.

    However, deeper research in set theory has shown that, relying on the axiom of choice, it is possible to prove the impossibility of the existence of the fourth case.

    Thus, the cardinalities of any two sets A and B are always comparable. That is, for cardinal numbers | A | and | B | arbitrary sets A and B , one of the three relations holds: | A |=|B|, | A |≤| B | or | B |≤| A |. If | A |≤| B |, but the set A is not equivalent to the set B , then | A |<| B |.

    Contents

    • 1 Aleph numbers
    • 2 Continuum hypothesis
    • 3 See also
    • 4 Links

    Aleph numbers

    Cardinal number of set N all natural numbers (and hence any countable set) are denoted by (read "aleph-zero").


    Learn more