the axiom of infinity and the natural numbers
play

The Axiom of Infinity and The Natural Numbers Bernd Schr oder - PowerPoint PPT Presentation

Axiom of Infinity Natural Numbers Axiomatic Systems The Axiom of Infinity and The Natural Numbers Bernd Schr oder logo1 Bernd Schr oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The


  1. Axiom of Infinity Natural Numbers Axiomatic Systems The Axiom of Infinity and The Natural Numbers Bernd Schr¨ oder logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  2. Axiom of Infinity Natural Numbers Axiomatic Systems Infinite Sets logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  3. Axiom of Infinity Natural Numbers Axiomatic Systems Infinite Sets 1. The axioms that we have introduced so far provide for a rich theory. logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  4. Axiom of Infinity Natural Numbers Axiomatic Systems Infinite Sets 1. The axioms that we have introduced so far provide for a rich theory. 2. But they do not guarantee the existence of infinite sets. logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  5. Axiom of Infinity Natural Numbers Axiomatic Systems Infinite Sets 1. The axioms that we have introduced so far provide for a rich theory. 2. But they do not guarantee the existence of infinite sets. 3. In fact, the superstructure over the empty set is a model that satisfies all the axioms so far and which does not contain any infinite sets. logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  6. Axiom of Infinity Natural Numbers Axiomatic Systems Infinite Sets 1. The axioms that we have introduced so far provide for a rich theory. 2. But they do not guarantee the existence of infinite sets. 3. In fact, the superstructure over the empty set is a model that satisfies all the axioms so far and which does not contain any infinite sets. (Remember that the superstructure itself is not a set in the model.) logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  7. Axiom of Infinity Natural Numbers Axiomatic Systems The Axiom of Infinity logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  8. Axiom of Infinity Natural Numbers Axiomatic Systems The Axiom of Infinity 0 as an element, and for each a ∈ I There is a set I that contains / the set a ∪{ a } is also in I. logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  9. Axiom of Infinity Natural Numbers Axiomatic Systems The Axiom of Infinity 0 as an element, and for each a ∈ I There is a set I that contains / the set a ∪{ a } is also in I. In some ways this axiom says we can “cut across” the different levels of a superstructure and still obtain a set. logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  10. Axiom of Infinity Natural Numbers Axiomatic Systems The Axiom of Infinity 0 as an element, and for each a ∈ I There is a set I that contains / the set a ∪{ a } is also in I. In some ways this axiom says we can “cut across” the different levels of a superstructure and still obtain a set. The superstructure over I is a model that satisfies all axioms introduced so far. logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  11. Axiom of Infinity Natural Numbers Axiomatic Systems Theorem. logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  12. Axiom of Infinity Natural Numbers Axiomatic Systems Theorem. (Existence of the natural numbers.) logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  13. Axiom of Infinity Natural Numbers Axiomatic Systems Theorem. (Existence of the natural numbers.) There is a set, denoted N and called the set of natural numbers , so that the following hold. logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  14. Axiom of Infinity Natural Numbers Axiomatic Systems Theorem. (Existence of the natural numbers.) There is a set, denoted N and called the set of natural numbers , so that the following hold. 1. There is a special element in N , which we denote by 1 . logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  15. Axiom of Infinity Natural Numbers Axiomatic Systems Theorem. (Existence of the natural numbers.) There is a set, denoted N and called the set of natural numbers , so that the following hold. 1. There is a special element in N , which we denote by 1 . 2. For each n ∈ N , there is a corresponding element n ′ ∈ N , called the successor of n. logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  16. Axiom of Infinity Natural Numbers Axiomatic Systems Theorem. (Existence of the natural numbers.) There is a set, denoted N and called the set of natural numbers , so that the following hold. 1. There is a special element in N , which we denote by 1 . 2. For each n ∈ N , there is a corresponding element n ′ ∈ N , called the successor of n. 3. The element 1 is not the successor of any natural number. logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  17. Axiom of Infinity Natural Numbers Axiomatic Systems Theorem. (Existence of the natural numbers.) There is a set, denoted N and called the set of natural numbers , so that the following hold. 1. There is a special element in N , which we denote by 1 . 2. For each n ∈ N , there is a corresponding element n ′ ∈ N , called the successor of n. 3. The element 1 is not the successor of any natural number. 4. Principle of Induction . If S ⊆ N is such that 1 ∈ S and for each n ∈ S we also have n ′ ∈ S, then S = N . logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  18. Axiom of Infinity Natural Numbers Axiomatic Systems Theorem. (Existence of the natural numbers.) There is a set, denoted N and called the set of natural numbers , so that the following hold. 1. There is a special element in N , which we denote by 1 . 2. For each n ∈ N , there is a corresponding element n ′ ∈ N , called the successor of n. 3. The element 1 is not the successor of any natural number. 4. Principle of Induction . If S ⊆ N is such that 1 ∈ S and for each n ∈ S we also have n ′ ∈ S, then S = N . 5. For all m , n ∈ N if m ′ = n ′ , then m = n. logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  19. Axiom of Infinity Natural Numbers Axiomatic Systems Theorem. (Existence of the natural numbers.) There is a set, denoted N and called the set of natural numbers , so that the following hold. 1. There is a special element in N , which we denote by 1 . 2. For each n ∈ N , there is a corresponding element n ′ ∈ N , called the successor of n. 3. The element 1 is not the successor of any natural number. 4. Principle of Induction . If S ⊆ N is such that 1 ∈ S and for each n ∈ S we also have n ′ ∈ S, then S = N . 5. For all m , n ∈ N if m ′ = n ′ , then m = n. The above properties are also called the Peano Axioms for the natural numbers. logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  20. Axiom of Infinity Natural Numbers Axiomatic Systems Proof. logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  21. Axiom of Infinity Natural Numbers Axiomatic Systems Proof. (Defining N .) logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  22. Axiom of Infinity Natural Numbers Axiomatic Systems Proof. (Defining N .) Let I be the set from the Axiom of Infinity. logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  23. Axiom of Infinity Natural Numbers Axiomatic Systems Proof. (Defining N .) Let I be the set from the Axiom of Infinity. Let 1 : = { / 0 } = / 0 ∪{ / 0 } ∈ I . logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

  24. Axiom of Infinity Natural Numbers Axiomatic Systems Proof. (Defining N .) Let I be the set from the Axiom of Infinity. Let 0 } ∈ I . For each n ∈ I , let n ′ : = n ∪{ n } . 1 : = { / 0 } = / 0 ∪{ / logo1 Bernd Schr¨ oder Louisiana Tech University, College of Engineering and Science The Axiom of Infinity and The Natural Numbers

Recommend


More recommend