## What's hot

Sets PowerPoint Presentation
Sets PowerPoint Presentation
Ashna Rajput

union and intersection of events.ppt
union and intersection of events.ppt
Izah Catli

Absolute Value
Absolute Value
DC Marie Lagura

Linear algebra-Basis & Dimension
Linear algebra-Basis & Dimension
Manikanta satyala

Measures of variability grouped data
Measures of variability grouped data
Jean Claudette Tolentino

Combinations
Combinations
Dr. Nirav Vyas

Lesson Plan Sample for Grade 8
Lesson Plan Sample for Grade 8
DC Marie Lagura

Probability 3.4
Probability 3.4
herbison

Group abstract algebra
Group abstract algebra
NaliniSPatil

What is an axiom?
What is an axiom?
Vishesh Kumar

Sets and venn diagrams
Sets and venn diagrams
Farhana Shaheen

5.4 mathematical induction
5.4 mathematical induction
math260

Lesson Plan on Basic concept of probability
Lesson Plan on Basic concept of probability

Chapter 1, Sets
Chapter 1, Sets
Ananya Sharma

Set Operations
Set Operations

Sets
SET THEORY
SET THEORY
Lena

Abstract algebra i
Abstract algebra i
Marco Antonio Moya Silvestre

A detailed lesson plan in permutation
A detailed lesson plan in permutation
Ruby Rose Ann Panganod

Lesson plan in mathematics 9 (illustrations of quadratic equations)
Lesson plan in mathematics 9 (illustrations of quadratic equations)
Decena15

### What's hot(20)

Sets PowerPoint Presentation
Sets PowerPoint Presentation

union and intersection of events.ppt
union and intersection of events.ppt

Absolute Value
Absolute Value

Linear algebra-Basis & Dimension
Linear algebra-Basis & Dimension

Measures of variability grouped data
Measures of variability grouped data

Combinations
Combinations

Lesson Plan Sample for Grade 8
Lesson Plan Sample for Grade 8

Probability 3.4
Probability 3.4

Group abstract algebra
Group abstract algebra

What is an axiom?
What is an axiom?

Sets and venn diagrams
Sets and venn diagrams

5.4 mathematical induction
5.4 mathematical induction

Lesson Plan on Basic concept of probability
Lesson Plan on Basic concept of probability

Chapter 1, Sets
Chapter 1, Sets

Set Operations
Set Operations

Sets
Sets

SET THEORY
SET THEORY

Abstract algebra i
Abstract algebra i

A detailed lesson plan in permutation
A detailed lesson plan in permutation

Lesson plan in mathematics 9 (illustrations of quadratic equations)
Lesson plan in mathematics 9 (illustrations of quadratic equations)

## Similar to On the axiom of choice

The Mathematical Universe in a Nutshell
The Mathematical Universe in a Nutshell
Kannan Nambiar

mechanizing reasoning
mechanizing reasoning
Rajendran

Presentation X-SHS - 27 oct 2015 - Topologie et perception
Presentation X-SHS - 27 oct 2015 - Topologie et perception
Michel Paillet

Đậu Đậu

paper publication
paper publication
rikaseorika

Matricų kombinatorikos taikymas automatų rūšiavimui ir NP ir P automatų klasi...
Matricų kombinatorikos taikymas automatų rūšiavimui ir NP ir P automatų klasi...
Lietuvos kompiuterininkų sąjunga

Category Theory made easy with (ugly) pictures
Category Theory made easy with (ugly) pictures
Ashwin Rao

Euclids postulates
Euclids postulates
Manthan Somvanshi

Standrewstalk
Standrewstalk
Igor Rivin

Basics of set theory
Basics of set theory
Tarun Gehlot

Fractals, Geometry of Nature and Logistic Model
Fractals, Geometry of Nature and Logistic Model
Osman Villanueva

lect14-semantics.ppt
lect14-semantics.ppt
RichardBobisSanAnton

True but Unprovable
True but Unprovable
Rishi Banerjee

Prolog 01
Prolog 01
saru40

Fractals
Fractals
guestc5cd98e

Albert Einstein (2) Relativity Special And General Theory
Albert Einstein (2) Relativity Special And General Theory
Kukuasu

The quantum strategy of completeness
The quantum strategy of completeness
Vasil Penchev

Second_Update_to my 2013 Paper
Second_Update_to my 2013 Paper
Herb Doughty

Dialectica and Kolmogorov Problems
Dialectica and Kolmogorov Problems
Valeria de Paiva

The Many Worlds of Quantum Mechanics
The Many Worlds of Quantum Mechanics
Sean Carroll

### Similar to On the axiom of choice(20)

The Mathematical Universe in a Nutshell
The Mathematical Universe in a Nutshell

mechanizing reasoning
mechanizing reasoning

Presentation X-SHS - 27 oct 2015 - Topologie et perception
Presentation X-SHS - 27 oct 2015 - Topologie et perception

paper publication
paper publication

Matricų kombinatorikos taikymas automatų rūšiavimui ir NP ir P automatų klasi...
Matricų kombinatorikos taikymas automatų rūšiavimui ir NP ir P automatų klasi...

Category Theory made easy with (ugly) pictures
Category Theory made easy with (ugly) pictures

Euclids postulates
Euclids postulates

Standrewstalk
Standrewstalk

Basics of set theory
Basics of set theory

Fractals, Geometry of Nature and Logistic Model
Fractals, Geometry of Nature and Logistic Model

lect14-semantics.ppt
lect14-semantics.ppt

True but Unprovable
True but Unprovable

Prolog 01
Prolog 01

Fractals
Fractals

Albert Einstein (2) Relativity Special And General Theory
Albert Einstein (2) Relativity Special And General Theory

The quantum strategy of completeness
The quantum strategy of completeness

Second_Update_to my 2013 Paper
Second_Update_to my 2013 Paper

Dialectica and Kolmogorov Problems
Dialectica and Kolmogorov Problems

The Many Worlds of Quantum Mechanics
The Many Worlds of Quantum Mechanics

## More from 2idseminar

The importance of being human 3
The importance of being human 3
2idseminar

2idseminar

The unlimited desire IIS2019
The unlimited desire IIS2019
2idseminar

Causality from outside Time
Causality from outside Time
2idseminar

Can computers replace teachers?
Can computers replace teachers?
2idseminar

Future contingents and the Multiverse
Future contingents and the Multiverse
2idseminar

The CRISPR/CAS9 genome editing system and humans
The CRISPR/CAS9 genome editing system and humans
2idseminar

Achilles, the Tortoise and Quantum Mechanics
Achilles, the Tortoise and Quantum Mechanics
2idseminar

Transpostgenderism 5 jean_davidponci
Transpostgenderism 5 jean_davidponci
2idseminar

Transhumanism and brain
Transhumanism and brain
2idseminar

Transhumanism and brain
Transhumanism and brain
2idseminar

Netherhall 2018 m fox
Netherhall 2018 m fox
2idseminar

Sequential processing in nature
Sequential processing in nature
2idseminar

Infinite Chess: winning and draw
Infinite Chess: winning and draw
2idseminar

### More from 2idseminar(14)

The importance of being human 3
The importance of being human 3

The unlimited desire IIS2019
The unlimited desire IIS2019

Causality from outside Time
Causality from outside Time

Can computers replace teachers?
Can computers replace teachers?

Future contingents and the Multiverse
Future contingents and the Multiverse

The CRISPR/CAS9 genome editing system and humans
The CRISPR/CAS9 genome editing system and humans

Achilles, the Tortoise and Quantum Mechanics
Achilles, the Tortoise and Quantum Mechanics

Transpostgenderism 5 jean_davidponci
Transpostgenderism 5 jean_davidponci

Transhumanism and brain
Transhumanism and brain

Transhumanism and brain
Transhumanism and brain

Netherhall 2018 m fox
Netherhall 2018 m fox

Sequential processing in nature
Sequential processing in nature

Infinite Chess: winning and draw
Infinite Chess: winning and draw

Gasification and Pyrolyssis of plastic Waste under a Circular Economy perpective
Gasification and Pyrolyssis of plastic Waste under a Circular Economy perpective
Recupera

Bragg Brentano Alignment for D4 with LynxEye Rev3.pptx
Bragg Brentano Alignment for D4 with LynxEye Rev3.pptx
Lisandro Cunci

Introduction to Space (Our Solar System)
Introduction to Space (Our Solar System)
vanshgarg8002

How Does TaskTrain Integrate Workflow and Project Management Efficiently.pdf
How Does TaskTrain Integrate Workflow and Project Management Efficiently.pdf

Review Article:- A REVIEW ON RADIOISOTOPES IN CANCER THERAPY
Review Article:- A REVIEW ON RADIOISOTOPES IN CANCER THERAPY
niranjangiri009

SCIENCEgfvhvhvkjkbbjjbbjvhvhvhvjkvjvjvjj.pptx
SCIENCEgfvhvhvkjkbbjjbbjvhvhvhvjkvjvjvjj.pptx
WALTONMARBRUCAL

Transmission Spectroscopy of the Habitable Zone Exoplanet LHS 1140 b with JWS...
Transmission Spectroscopy of the Habitable Zone Exoplanet LHS 1140 b with JWS...
Sérgio Sacani

Travis Hills of Minnesota Sets a New Standard in Carbon Credits With Livestoc...
Travis Hills of Minnesota Sets a New Standard in Carbon Credits With Livestoc...
Travis Hills MN

ANTIGENS_.pptx ( Ranjitha SL) PRESENTATION SLIDE
ANTIGENS_.pptx ( Ranjitha SL) PRESENTATION SLIDE
RanjithaSL

[1] Data Mining - Concepts and Techniques (3rd Ed).pdf
[1] Data Mining - Concepts and Techniques (3rd Ed).pdf
PANDURANGLAWATE1

The Dynamical Origins of the Dark Comets and a Proposed Evolutionary Track
The Dynamical Origins of the Dark Comets and a Proposed Evolutionary Track
Sérgio Sacani

LOB LOD LOQ for method validation in laboratory
LOB LOD LOQ for method validation in laboratory
JCKH

Possible Anthropogenic Contributions to the LAMP-observed Surficial Icy Regol...
Possible Anthropogenic Contributions to the LAMP-observed Surficial Icy Regol...
Sérgio Sacani

smallintestinedisorders-causessymptoms-240626042532-363e8392.pptx
smallintestinedisorders-causessymptoms-240626042532-363e8392.pptx
muralinath2

El Nuevo Cohete Ariane de la Agencia Espacial Europea-6_Media-Kit_english.pdf
El Nuevo Cohete Ariane de la Agencia Espacial Europea-6_Media-Kit_english.pdf
Champs Elysee Roldan

Collaborative Team Recommendation for Skilled Users: Objectives, Techniques, ...
Collaborative Team Recommendation for Skilled Users: Objectives, Techniques, ...
Hossein Fani

MCQ in Electrostatics. for class XII pptx
MCQ in Electrostatics. for class XII pptx
ArunachalamM22

Testing the Son of God Hypothesis (Jesus Christ)
Testing the Son of God Hypothesis (Jesus Christ)
Robert Luk

University of Maribor

A slightly oblate dark matter halo revealed by a retrograde precessing Galact...
A slightly oblate dark matter halo revealed by a retrograde precessing Galact...
Sérgio Sacani

Gasification and Pyrolyssis of plastic Waste under a Circular Economy perpective
Gasification and Pyrolyssis of plastic Waste under a Circular Economy perpective

Bragg Brentano Alignment for D4 with LynxEye Rev3.pptx
Bragg Brentano Alignment for D4 with LynxEye Rev3.pptx

Introduction to Space (Our Solar System)
Introduction to Space (Our Solar System)

How Does TaskTrain Integrate Workflow and Project Management Efficiently.pdf
How Does TaskTrain Integrate Workflow and Project Management Efficiently.pdf

Review Article:- A REVIEW ON RADIOISOTOPES IN CANCER THERAPY
Review Article:- A REVIEW ON RADIOISOTOPES IN CANCER THERAPY

SCIENCEgfvhvhvkjkbbjjbbjvhvhvhvjkvjvjvjj.pptx
SCIENCEgfvhvhvkjkbbjjbbjvhvhvhvjkvjvjvjj.pptx

Transmission Spectroscopy of the Habitable Zone Exoplanet LHS 1140 b with JWS...
Transmission Spectroscopy of the Habitable Zone Exoplanet LHS 1140 b with JWS...

Travis Hills of Minnesota Sets a New Standard in Carbon Credits With Livestoc...
Travis Hills of Minnesota Sets a New Standard in Carbon Credits With Livestoc...

ANTIGENS_.pptx ( Ranjitha SL) PRESENTATION SLIDE
ANTIGENS_.pptx ( Ranjitha SL) PRESENTATION SLIDE

[1] Data Mining - Concepts and Techniques (3rd Ed).pdf
[1] Data Mining - Concepts and Techniques (3rd Ed).pdf

The Dynamical Origins of the Dark Comets and a Proposed Evolutionary Track
The Dynamical Origins of the Dark Comets and a Proposed Evolutionary Track

LOB LOD LOQ for method validation in laboratory
LOB LOD LOQ for method validation in laboratory

Possible Anthropogenic Contributions to the LAMP-observed Surficial Icy Regol...
Possible Anthropogenic Contributions to the LAMP-observed Surficial Icy Regol...

smallintestinedisorders-causessymptoms-240626042532-363e8392.pptx
smallintestinedisorders-causessymptoms-240626042532-363e8392.pptx

El Nuevo Cohete Ariane de la Agencia Espacial Europea-6_Media-Kit_english.pdf
El Nuevo Cohete Ariane de la Agencia Espacial Europea-6_Media-Kit_english.pdf

Collaborative Team Recommendation for Skilled Users: Objectives, Techniques, ...
Collaborative Team Recommendation for Skilled Users: Objectives, Techniques, ...

MCQ in Electrostatics. for class XII pptx
MCQ in Electrostatics. for class XII pptx

Testing the Son of God Hypothesis (Jesus Christ)
Testing the Son of God Hypothesis (Jesus Christ)

A slightly oblate dark matter halo revealed by a retrograde precessing Galact...
A slightly oblate dark matter halo revealed by a retrograde precessing Galact...

### On the axiom of choice

• 1. On the Axiom of Choice Flora Dellini Marco Natale Francesco Urso
• 2. Preliminary ›For every set S, a set U is a subset of S if, for every item in U, this item belongs to S too. ›For every set S, we define the set of the parts of S, P(S), as the set of all the possible subsets of S. Example: 𝑆 = 1,2,3 𝑃 𝑆 = {∅, 1 , 2 , 3 , 1,2 , 1,3 , 2,3 , {1,2,3}}
• 3. The Axiom of Choice (AC) › The Axiom of Choice is a statement about the existence of a certain kind of functions. › A choice function is a function which selects an item from a subset of a given set. › AC claims that, for every group of subsets of S, there exists a function of choice which selects a particular item from every given subset. ∀𝑆, ∀𝑈 ⊆ 𝑃 𝑆 ∅, ∃𝑓: 𝑈 → 𝑆 such that ∀𝑋 ∈ 𝑈, 𝑓(𝑋) ∈ 𝑋
• 4. AC: Examples with finite sets When a set is finite, everything is trivial. The existence of f is not disputable: we can actually show and build it! 𝑆 = 1,2,3,4,5 𝑈 = { 1 , 1,2,3 , 2,3 , 3,4,5 } ⊆ 𝑃(𝑆) 𝑓: 𝑈 ⊆ 𝑃(𝑆){∅} → 𝑆 𝑓 1 = 1 ∈ 1 𝑓 1,2,3 = 3 ∈ 1,2,3 𝑓 2,3 = 2 ∈ 2,3 𝑓 3,4,5 = 5 ∈ 3,4,5
• 5. AC: Examples of Infinite Sets Hilbert’s Shoes and Socks › Let’s suppose there is a shop with infinite pair of shoes, we want to built an infinite set containing a shoe for each pair. › A Turing machine (i.e. a personal computer) can choose between right or left shoe because it can distinguish them. For example we can build the set of all right shoes. › Can we do the same with infinite pair of socks?
• 6. AC: Examples of Infinite Sets Hilbert’s Shoes and Socks › A machine can not do it while a man could do. › The reason is: right and left shoes can be distinguished due to this feature. A man can do this, a machine can do it too. › It is not possible to choose right or left socks, because there are no such things as right or left socks! › As a consequence, in principle, a compuer can not build the wanted set.
• 7. AC: Examples of Infinite Sets Hilbert’s Shoes and Socks ›Could a man build a set from a single sock for each pair? ›Actually, it is impossible, because we would die before we can name all the items in the set. ›But is it possible in principle? How can we distinguish between the socks of a pair? ›We do this by choosing “this one”, without any criterion but our free will.
• 8. AC: Examples of Infinite Sets Hilbert’s Shoes and Socks ›As human beings, it is in our everyday experience that we can distinguish between two socks by calling «this one» or «that one». ›Is it admissible that in maths it is also possible to act in such a way? ›The answer is far from trivial!
• 9. The Way of Formalism › The mathematical concept of Set raised up in XIX century by Georg Cantor (1845-1918). › Cantor’s idea of Set was a “collection” of “objects” which satisfy certain properties (e.g. “the set of all odd numbers”, “the set of all the right shoes”). › Paradoxes arise from a “too free” use of the concept of “property”.
• 10. The Way of Formalism › Russell Paradoxes: the set of all the sets which don’t contain themselves. › The problem is in the semantic. › D. Hilbert’s “Formalism” school proposed the reduction of mathematics to a pure “formal game”. In this way, Mathematics would have been stripped of all its “human components”.
• 11. The Way of Formalism › Zermelo and Fraenkel, following Hilbert’s intuition, began to develop the Formal Set Theory (also known as ZF). › In according to the formalistic concept of mathematics, the semantic in ZF is “eliminated” reducing the concept of proprieties to pure syntactic formulas, computable in principle by a machine. › The nature of Sets is so implicitly defined by syntactic formulas.
• 12. The Way of Formalism ›The validity of a formula must be determined through “propositional calculus”, an absolutely formal procedure which can be, theoretically, implemented on an ideal machine. ›E.g. instead of saying “there is the empty set”, we shall write the following formula: ∃𝑦 ∀𝑥 (𝑥 ∉ 𝑦)
• 13. The Axioms of Zermelo-Fraenkel 1. Axioms describing implicitly the concept of Set (Regularity and Extensionality Axioms). 2. Axiom of Existence. The unique axiom of existence in ZF is the Axiom of Infinity, which asserts that there exists an infinite set. 3. Axioms of Individuation, which allow us to “individuate” (i.e. build) new sets starting from ones already known (Axiom of Power Set, Axiom of Union and Axiom of Replacement).
• 14. Is AC compatible with ZF? › Being compatible means that, if we add AC to ZF, we cannot deduce a theorem and its negation. › ZF claims to describe all mathematical universe: “…with regard to ZF it’s hard to conceive of any other model”. P. Cohen. › Because we would like to proceed in maths as we do with socks, that is by choosing items as we want to, the compatibility of AC with ZF is highly desirable.
• 15. ZF does not disprove AC “Inside only ZF, it’s not possible to prove that AC is false” (Gödel, 1938). Main steps of proof: 1. Gödel added another axiom to ZF (“every set is constructible”), obtaining the stronger theory ZFL. 2. Gödel proved that ZFL is consistent. In this stronger theory he proved that every set can be well-ordered, that is a demonstration of AC. So, ZFL → AC.
• 16. ZF does not disprove AC 3. If, by contradiction, AC is false in ZF, it has to be false also in ZFL. But we have just seen that AC is true in ZFL! So AC could not be disproved in ZF. ZF does not disprove AC! This does NOT mean that AC is true in ZF !
• 17. ZF does not imply AC In 1960 Cohen has completed Gödel’s demonstration about independence of AC from ZF. So ZF does not imply AC.
• 18. Independence of AC from ZF As a consequence, we can add or remove AC from ZF as we like. So, its presence is actually a preference of the mathematician who can want a “richer” or “poorer” theory.
• 19. Theorems we lose without AC • Every non empty Vectorial Space has a base – i.e. imagine that, in the classic Euclidean 3D space, you don’t have the 𝑖, 𝑗, and 𝑘 vectors you use to build every other vector. • Every field has an algebraic closure – i.e. imagine that you could not define the complex numbers
• 20. What does it mean? “Simply” that there are sets whose volume is not invariant under translation and rotation. Strange! Isn’t it? This is why some mathematicians worry about the Axiom of Choice Decomposition of a ball into four pieces which, properly rotated and traslated, yield two balls Counterintuitive effects of AC: Banach-Tarski Paradox
• 21. Counterintuitive effects of AC: Zermelo’s Lemma This statement is equivalent to the Axiom of Choice: Every set S can be well ordered As a consequence, we could «well order» ℝ - i.e. defining an order in ℝ such that every subset of ℝ has a minimum. This order relation is strongly counterintuitive, as it implies that sets like (0,1), without a minimum – 0 ∉ (0,1) do not exist.
Current LanguageEnglish
Español
Portugues
Français
Deutsche