Freiling's Axiom of Symmetry

Freiling's Axiom Of Symmetry

Freiling's axiom of symmetry (AX) is a set-theoretic axiom proposed by Chris Freiling. It is based on intuition of Stuart Davidson but the mathematics behind it goes back to Wacław Sierpiński.

Let A be the set of functions mapping numbers in the unit interval to countable subsets of the same interval. The axiom AX states:

For every f in A, there exist x and y such that x is not in f(y) and y is not in f(x).

A theorem of Sierpiński says that under the assumptions of ZFC set theory, AX is equivalent to the negation of the continuum hypothesis (CH). Sierpiński's theorem answered a question of Hugo Steinhaus and was proved long before the independence of CH had been established by Kurt Gödel and Paul Cohen.

Freiling claims that probabilistic intuition strongly supports this proposition while others disagree. There are several versions of the axiom, some of which are discussed below.

Read more about Freiling's Axiom Of Symmetry:  Freiling's Argument, Relation To The (Generalised) Continuum Hypothesis, Objections To Freiling's Argument, Connection To Graph Theory

Famous quotes containing the words axiom and/or symmetry:

    “You are bothered, I suppose, by the idea that you can’t possibly believe in miracles and mysteries, and therefore can’t make a good wife for Hazard. You might just as well make yourself unhappy by doubting whether you would make a good wife to me because you can’t believe the first axiom in Euclid. There is no science which does not begin by requiring you to believe the incredible.”
    Henry Brooks Adams (1838–1918)

    What makes a regiment of soldiers a more noble object of view than the same mass of mob? Their arms, their dresses, their banners, and the art and artificial symmetry of their position and movements.
    George Gordon Noel Byron (1788–1824)