Dedekind-infinite Set - Comparison With The Usual Definition of Infinite Set

Comparison With The Usual Definition of Infinite Set

This definition of "infinite set" should be compared with the usual definition: a set A is infinite when it cannot be put in bijection with a finite ordinal, namely a set of the form {0,1,2,...,n−1} for some natural number n – an infinite set is one that is literally "not finite", in the sense of bijection.

During the latter half of the 19th century, most mathematicians simply assumed that a set is infinite if and only if it is Dedekind-infinite. However, this equivalence cannot be proved with the axioms of Zermelo–Fraenkel set theory without the axiom of choice (AC) (usually denoted "ZF"). The full strength of AC is not needed to prove the equivalence; in fact, the equivalence of the two definitions is strictly weaker than the axiom of countable choice (CC). (See the references below.)

Read more about this topic:  Dedekind-infinite Set

Famous quotes containing the words comparison with the, comparison with, comparison, usual, definition, infinite and/or set:

    In everyone’s youthful dreams, philosophy is still vaguely but inseparably, and with singular truth, associated with the East, nor do after years discover its local habitation in the Western world. In comparison with the philosophers of the East, we may say that modern Europe has yet given birth to none.
    Henry David Thoreau (1817–1862)

    [Girls] study under the paralyzing idea that their acquirements cannot be brought into practical use. They may subserve the purposes of promoting individual domestic pleasure and social enjoyment in conversation, but what are they in comparison with the grand stimulation of independence and self- reliance, of the capability of contributing to the comfort and happiness of those whom they love as their own souls?
    Sarah M. Grimke (1792–1873)

    From top to bottom of the ladder, greed is aroused without knowing where to find ultimate foothold. Nothing can calm it, since its goal is far beyond all it can attain. Reality seems valueless by comparison with the dreams of fevered imaginations; reality is therefore abandoned.
    Emile Durkheim (1858–1917)

    The usual derivation of the word Metaphysics is not to be sustained ... the science is supposed to take its name from its superiority to physics. The truth is, that Aristotle’s treatise on Morals is next in succession to his Book of Physics.
    Edgar Allan Poe (1809–1849)

    Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.
    Walter Pater (1839–1894)

    It has no future but itself—
    Its infinite contain
    Its past—enlightened to perceive
    New periods of pain.
    Emily Dickinson (1830–1886)

    Ceremony was but devised at first
    To set a gloss on faint deeds, hollow welcomes,
    Recanting goodness, sorry ere ‘tis shown;
    But where there is true friendship, there needs none.
    William Shakespeare (1564–1616)