awesums - marvels and mysteries of mathematics lecture...

85
AweSums Marvels and Mysteries of Mathematics LECTURE 2 Peter Lynch School of Mathematics & Statistics University College Dublin Evening Course, UCD, Autumn 2019

Upload: others

Post on 23-Mar-2020

4 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

AweSumsMarvels and Mysteries of Mathematics

•LECTURE 2

Peter LynchSchool of Mathematics & Statistics

University College Dublin

Evening Course, UCD, Autumn 2019

Page 2: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Outline

Introduction

The Nippur Tablet

Distraction 2: Simpsons

Georg Cantor

Greek 1

Set Theory I

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 3: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Outline

Introduction

The Nippur Tablet

Distraction 2: Simpsons

Georg Cantor

Greek 1

Set Theory I

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 4: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Meaning and Content of Mathematics

The word Mathematics comes fromGreek µαθηµα (máthéma), meaning“knowledge” or “study” or “learning”.

It is the study of topics such asI Quantity (numbers)I Structure (patterns)I Space (geometry)I Change (analysis).

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 5: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Outline

Introduction

The Nippur Tablet

Distraction 2: Simpsons

Georg Cantor

Greek 1

Set Theory I

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 6: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Nippur Tablet

What is the last line?

The last line states that

13×13 = 2×60+49 = 169

But it could be

13×13 = 2×602+40×60+9

which comes to 9609.Babylonian numeration isambiguous.

There is no zero!

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 7: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Nippur Tablet

What is the last line?The last line states that

13×13 = 2×60+49 = 169

But it could be

13×13 = 2×602+40×60+9

which comes to 9609.Babylonian numeration isambiguous.

There is no zero!

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 8: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Nippur Tablet

What is the last line?The last line states that

13×13 = 2×60+49 = 169

But it could be

13×13 = 2×602+40×60+9

which comes to 9609.Babylonian numeration isambiguous.

There is no zero!

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 9: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Nippur Tablet

What purpose could the Nippur Tablet have had?

What use could there be for a list of squares?

Perhaps it was used for multiplication!

After a brief refresher on school maths,we show how this can be done.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 10: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Nippur Tablet

What purpose could the Nippur Tablet have had?

What use could there be for a list of squares?

Perhaps it was used for multiplication!

After a brief refresher on school maths,we show how this can be done.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 11: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Refresher: Some School Maths

How do we do multiplication of binomials

(a + b)× (c + d) ?

This can be evaluated by expanding twice:

a · (c + d) + b · (c + d) = a · c + a · d + b · c + b · d

A special case where the two factors are equal:

(a + b) · (a + b) = a · a + a · b + b · a + b · bso that

(a + b)2 = a2 + 2ab + b2

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 12: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Refresher: Some School Maths

How do we do multiplication of binomials

(a + b)× (c + d) ?

This can be evaluated by expanding twice:

a · (c + d) + b · (c + d) = a · c + a · d + b · c + b · d

A special case where the two factors are equal:

(a + b) · (a + b) = a · a + a · b + b · a + b · bso that

(a + b)2 = a2 + 2ab + b2

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 13: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Refresher: Some School Maths

How do we do multiplication of binomials

(a + b)× (c + d) ?

This can be evaluated by expanding twice:

a · (c + d) + b · (c + d) = a · c + a · d + b · c + b · d

A special case where the two factors are equal:

(a + b) · (a + b) = a · a + a · b + b · a + b · bso that

(a + b)2 = a2 + 2ab + b2

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 14: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Multiplication by SquaringLet a and b be any two numbers:

(a + b)2 = a2 + 2ab + b2

(a− b)2 = a2 − 2ab + b2

Subtracting, we get

(a + b)2 − (a− b)2 = 4ab

Thus, we can find the product using squares:

ab =14

[(a + b)2 − (a− b)2

].

Every product is the difference of two squares (÷4).

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 15: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Multiplication by SquaringLet a and b be any two numbers:

(a + b)2 = a2 + 2ab + b2

(a− b)2 = a2 − 2ab + b2

Subtracting, we get

(a + b)2 − (a− b)2 = 4ab

Thus, we can find the product using squares:

ab =14

[(a + b)2 − (a− b)2

].

Every product is the difference of two squares (÷4).

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 16: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Multiplication by SquaringLet a and b be any two numbers:

(a + b)2 = a2 + 2ab + b2

(a− b)2 = a2 − 2ab + b2

Subtracting, we get

(a + b)2 − (a− b)2 = 4ab

Thus, we can find the product using squares:

ab =14

[(a + b)2 − (a− b)2

].

Every product is the difference of two squares (÷4).

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 17: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Multiplication by Squaring

14

[(a + b)2 − (a− b)2

]= ab

Let us take a particular example: 37× 13 =?

a = 37 b = 13 a + b = 50 a− b = 24 .

14 [502 − 242] = 1

4 [2500− 576]= 1

4 [1924]= 481= 37× 13 .

Perhaps this was the function of the Nippur tablet.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 18: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Multiplication by Squaring

14

[(a + b)2 − (a− b)2

]= ab

Let us take a particular example: 37× 13 =?

a = 37 b = 13 a + b = 50 a− b = 24 .

14 [502 − 242] = 1

4 [2500− 576]= 1

4 [1924]= 481= 37× 13 .

Perhaps this was the function of the Nippur tablet.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 19: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Practicalities in Babylon

ab =14

[(a + b)2 − (a− b)2

].

Suppose it was important to be ableto multiply numbers up to, say, 100.

A full multiplication table would have10,000 entries. With 20 products on eachtablet, this would mean 500 clay tablets!

A table of squares up to 200 wouldrequire only 10 clay tablets.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 20: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Outline

Introduction

The Nippur Tablet

Distraction 2: Simpsons

Georg Cantor

Greek 1

Set Theory I

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 21: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Distraction: The Simpsons

Several writers of the Simpsons scriptshave advanced mathematical training.

They “sneak” jokes into the programmes.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 22: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Books on a Shelf

Ten books are arranged on a shelf.They include an Almanac (A) and a Bible (B).

Suppose A must be to the left of B(not necssarily beside it).

How many possible arrangements are there?

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 23: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Books on a Shelf

Ten books are arranged on a shelf.They include an Almanac (A) and a Bible (B).

BIG IDEA: SYMMETRY.

Every SOLUTION correponds to a NON-SOLUTION:Just switch the positions of A and B!

The total number of arrangements is 10!.For half of these, A is to the left of B.

So, answer is 12(10× 9× · · · × 1) = 1

2×10! Q.E.D.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 24: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Books on a Shelf

Ten books are arranged on a shelf.They include an Almanac (A) and a Bible (B).

BIG IDEA: SYMMETRY.

Every SOLUTION correponds to a NON-SOLUTION:Just switch the positions of A and B!

The total number of arrangements is 10!.For half of these, A is to the left of B.

So, answer is 12(10× 9× · · · × 1) = 1

2×10! Q.E.D.Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 25: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Stirling’s Formula

n ! = 1× 2× 3× · · · × n

An illustration of the ubiquity of π and e.Stirling’s approximation for factorials is

n ! ≈√

2πn(n

e

)n

where the numbers π and e are

π = 3.14159 . . . and e = 2.71828 . . .

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 26: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Outline

Introduction

The Nippur Tablet

Distraction 2: Simpsons

Georg Cantor

Greek 1

Set Theory I

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 27: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Georg Cantor

Inventor of Set Theory

Born in St. Petersburg,Russia in 1845.

Moved to Germany in1856 at the age of 11.

His main career was atthe University of Halle.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 28: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Georg Cantor (1845–1918)

I Invented Set Theory.I One-to-one Correspondence.I Infinite and Well-ordered Sets.I Cardinal and Ordinal Numbers.I Proved: #(Q) = #(N).I Proved: #(R) > #(N).I Infinite Hierarchy of Infinities.

Outline Galileo’s arguments on infinity.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 29: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Georg Cantor (1845–1918)

I Invented Set Theory.I One-to-one Correspondence.I Infinite and Well-ordered Sets.I Cardinal and Ordinal Numbers.I Proved: #(Q) = #(N).I Proved: #(R) > #(N).I Infinite Hierarchy of Infinities.

Outline Galileo’s arguments on infinity.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 30: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Set Theory: Controversy

Cantor was strongly criticized byI Leopold Kronecker.I Henri Poincaré.I Ludwig Wittgenstein.

Cantor is a “corrupter of youth” (LK).Set Theory is a “grave disease” (HP).Set Theory is “nonsense; laughable; wrong!” (LW).

Adverse criticism like this may well havecontributed to Cantor’s mental breakdown.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 31: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Set Theory: Controversy

Cantor was strongly criticized byI Leopold Kronecker.I Henri Poincaré.I Ludwig Wittgenstein.

Cantor is a “corrupter of youth” (LK).Set Theory is a “grave disease” (HP).Set Theory is “nonsense; laughable; wrong!” (LW).

Adverse criticism like this may well havecontributed to Cantor’s mental breakdown.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 32: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Set Theory: Controversy

Cantor was strongly criticized byI Leopold Kronecker.I Henri Poincaré.I Ludwig Wittgenstein.

Cantor is a “corrupter of youth” (LK).Set Theory is a “grave disease” (HP).Set Theory is “nonsense; laughable; wrong!” (LW).

Adverse criticism like this may well havecontributed to Cantor’s mental breakdown.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 33: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Set Theory: A Difficult Birth

Set Theory brought into prominenceseveral paradoxical results.

Many mathematicians had great difficultyaccepting some of the stranger results.

Some of these are still the subject ofdiscussion and disagreement today.

To illustrate the difficulty of accepting new ideas,let’s consider the problem of a river flowing uphill.

Describe the blog post “Paddling Uphill”.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 34: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Set Theory: A Difficult Birth

Set Theory brought into prominenceseveral paradoxical results.

Many mathematicians had great difficultyaccepting some of the stranger results.

Some of these are still the subject ofdiscussion and disagreement today.

To illustrate the difficulty of accepting new ideas,let’s consider the problem of a river flowing uphill.

Describe the blog post “Paddling Uphill”.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 35: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Set Theory: A Difficult Birth

Cantor’s Set Theory was ofprofound philosophical interest.

It was so innovative that many mathematicians couldnot appreciate its fundamental value and importance.

Gösta Mittag-Leffler was reluctant to publish itin his Acta Mathematica. He said the work was“100 years ahead of its time”.

David Hilbert said:“We shall not be expelled from theparadise that Cantor has created for us.”

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 36: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Set Theory: A Difficult Birth

Cantor’s Set Theory was ofprofound philosophical interest.

It was so innovative that many mathematicians couldnot appreciate its fundamental value and importance.

Gösta Mittag-Leffler was reluctant to publish itin his Acta Mathematica. He said the work was“100 years ahead of its time”.

David Hilbert said:“We shall not be expelled from theparadise that Cantor has created for us.”

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 37: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

A Passionate Mathematician

In 1874, Cantor married Vally Guttmann.

They had six children. The last one, a sonnamed Rudolph, was born in 1886.

According to Wikipedia:

“During his honeymoon in the Harz mountains,Cantor spent much time in mathematicaldiscussions with Richard Dedekind.”

[Cantor had met the renowned mathematician Dedekind

two years earlier while he was on holiday in Switzerland.]

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 38: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

A Passionate Mathematician

In 1874, Cantor married Vally Guttmann.

They had six children. The last one, a sonnamed Rudolph, was born in 1886.

According to Wikipedia:

“During his honeymoon in the Harz mountains,Cantor spent much time in mathematicaldiscussions with Richard Dedekind.”

[Cantor had met the renowned mathematician Dedekind

two years earlier while he was on holiday in Switzerland.]

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 39: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Outline

Introduction

The Nippur Tablet

Distraction 2: Simpsons

Georg Cantor

Greek 1

Set Theory I

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 40: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Greek Alphabet, Part 1

Some Motivation

I Greek letters are used extensively in maths.I Greek alphabet is the basis of the Roman one.I Also the basis of the Cyrillic and others.I A great advantage for touring in Greece.I You already know several of the letters.I It is simple to learn in small sections.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 41: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Greek Alphabet, Part 1

Some Motivation

I Greek letters are used extensively in maths.I Greek alphabet is the basis of the Roman one.I Also the basis of the Cyrillic and others.

I A great advantage for touring in Greece.I You already know several of the letters.I It is simple to learn in small sections.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 42: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Greek Alphabet, Part 1

Some Motivation

I Greek letters are used extensively in maths.I Greek alphabet is the basis of the Roman one.I Also the basis of the Cyrillic and others.I A great advantage for touring in Greece.I You already know several of the letters.I It is simple to learn in small sections.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 43: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Ursa Major

Figure: The Great Bear: Dubhe is α-Ursae Majoris.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 44: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Figure: The Greek Alphabet (from Wikipedia)

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 45: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Figure: 24 beautiful letters

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 46: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The First Six Letters

We will take the alphabet in groups of six letters.

α β γ δ ε ζ

A B Γ ∆ E Z

Let us focus first on the small lettersand come back to the big ones later.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 47: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

You know α and β from the word Alphabet: α βYou have heard of gamma-rays, or γ-rays

Both δ and ε are widely used in maths. For example,the definition of continuity of function f (x) at x = a is

∀ε > 0 ∃δ > 0 : |x − a| < δ ⇒ |f (x)− f (a)| < ε

A famous unsolved maths problem, Riemann’sHypothesis, is concerned with zeros of theRiemann zeta-function:

ζ(s) =∞∑

n=1

1ns

Now we already know the first six letters!

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 48: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

You know α and β from the word Alphabet: α βYou have heard of gamma-rays, or γ-rays

Both δ and ε are widely used in maths. For example,the definition of continuity of function f (x) at x = a is

∀ε > 0 ∃δ > 0 : |x − a| < δ ⇒ |f (x)− f (a)| < ε

A famous unsolved maths problem, Riemann’sHypothesis, is concerned with zeros of theRiemann zeta-function:

ζ(s) =∞∑

n=1

1ns

Now we already know the first six letters!

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 49: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

You know α and β from the word Alphabet: α βYou have heard of gamma-rays, or γ-rays

Both δ and ε are widely used in maths. For example,the definition of continuity of function f (x) at x = a is

∀ε > 0 ∃δ > 0 : |x − a| < δ ⇒ |f (x)− f (a)| < ε

A famous unsolved maths problem, Riemann’sHypothesis, is concerned with zeros of theRiemann zeta-function:

ζ(s) =∞∑

n=1

1ns

Now we already know the first six letters!

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 50: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

You know α and β from the word Alphabet: α βYou have heard of gamma-rays, or γ-rays

Both δ and ε are widely used in maths. For example,the definition of continuity of function f (x) at x = a is

∀ε > 0 ∃δ > 0 : |x − a| < δ ⇒ |f (x)− f (a)| < ε

A famous unsolved maths problem, Riemann’sHypothesis, is concerned with zeros of theRiemann zeta-function:

ζ(s) =∞∑

n=1

1ns

Now we already know the first six letters!

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 51: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

End of Greek 101

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 52: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Outline

Introduction

The Nippur Tablet

Distraction 2: Simpsons

Georg Cantor

Greek 1

Set Theory I

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 53: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Set Theory IThe concept of set is very general.

Sets are the basic building-blocks of mathematics.

Definition: A set is a collection of objects.

The objects in a set are called the elements.

Examples:I All the prime numbers, PI All even numbers: E = {2,4,6,8 . . . }I All the people in Ireland: See Census returns.I The colours of the rainbow: {Red, . . . , Violet}.I Light waves with wavelength λ ∈ [390− 700nm]

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 54: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Set Theory IThe concept of set is very general.

Sets are the basic building-blocks of mathematics.

Definition: A set is a collection of objects.

The objects in a set are called the elements.

Examples:I All the prime numbers, PI All even numbers: E = {2,4,6,8 . . . }I All the people in Ireland: See Census returns.I The colours of the rainbow: {Red, . . . , Violet}.I Light waves with wavelength λ ∈ [390− 700nm]

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 55: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Set Theory IThe concept of set is very general.

Sets are the basic building-blocks of mathematics.

Definition: A set is a collection of objects.

The objects in a set are called the elements.

Examples:I All the prime numbers, PI All even numbers: E = {2,4,6,8 . . . }I All the people in Ireland: See Census returns.I The colours of the rainbow: {Red, . . . , Violet}.I Light waves with wavelength λ ∈ [390− 700nm]

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 56: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Do You Remember Venn?

John Venn was a logicianand philosopher, born inHull, Yorkshire in 1834.

He studied at CambridgeUniversity, graduating in1857 as sixth Wrangler.

Venn introduced his dia-grams in Symbolic Logic, abook published in 1881.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 57: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 58: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Venn Diagrams

Venn diagrams are very valuable forshowing elementary properties of sets.

They comprise a number of overlapping circles.

The interior of a circle represents a collection ofnumbers or objects or perhaps a more abstract set.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 59: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Universe of Discourse

We often draw a rectangle to represent the universe,the set of all objects under current consideration.

For example, suppose we consider allspecies of animals as the universe.

A rectangle represents this universe.

Two circles indicate subsets ofanimals of two different types.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 60: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Birds and the Bees

Two-legged Animals Flying Animals

Where do we fit in this diagram?

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 61: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Birds and the Bees

Two-legged Animals Flying Animals

Where do we fit in this diagram?

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 62: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Union of Two SetsThe aggregate of two sets is called their union.

Let one set contain all two-legged animalsand the other contain all flying animals.

Bears, birds and bees (and we) are in the union.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 63: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Union of Two SetsThe aggregate of two sets is called their union.

Let one set contain all two-legged animalsand the other contain all flying animals.

Bears, birds and bees (and we) are in the union.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 64: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Intersection of Two SetsThe elements in both sets make up the intersection.

Let one set contain all two-legged animalsand the other contain all flying animals.

Birds are in the intersection. Bears and bees are not.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 65: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Notation for Union and Intersection

Let A and B be two sets

The union of the sets is

A ∪ B

The intersection is

A ∩ B

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 66: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Technical (Logical) Definitions

Let A and B be two sets.

The union of the sets A ∪ B is defined by

[x ∈ A ∪ B] ⇐⇒ [(x ∈ A) ∨ (x ∈ B)]

The intersection of the sets A ∩ B is defined by

[x ∈ A ∩ B] ⇐⇒ [(x ∈ A) ∧ (x ∈ B)]

There is an intimate connection betweenSet Theory and Symbolic Logic.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 67: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Technical (Logical) Definitions

Let A and B be two sets.

The union of the sets A ∪ B is defined by

[x ∈ A ∪ B] ⇐⇒ [(x ∈ A) ∨ (x ∈ B)]

The intersection of the sets A ∩ B is defined by

[x ∈ A ∩ B] ⇐⇒ [(x ∈ A) ∧ (x ∈ B)]

There is an intimate connection betweenSet Theory and Symbolic Logic.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 68: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Digression: A Simple Puzzle

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 69: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Subset of a Set

For two sets A and B we write

B ⊂ A or B ⊆ A

to denote that B is a subset of A.

For more on set theory, see website of Claire Wladishttp://www.cwladis.com/math100/Lecture4Sets.htm

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 70: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Subset of a Set

For two sets A and B we write

B ⊂ A or B ⊆ A

to denote that B is a subset of A.

For more on set theory, see website of Claire Wladishttp://www.cwladis.com/math100/Lecture4Sets.htm

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 71: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Intersections between 3 Sets

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 72: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Example: Intersection of 3 SetsIn the diagram the elements of the universeare all the people from Connacht.

Three subsets are shown:

I Red-headsI SingersI Left-handers.

All are from Connacht.

These sets overlap and, indeed, there are somecopper-topped, crooning cithogues in Connacht.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 73: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Three and Four Sets

8 Domains 14 Domains

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 74: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

How Many Possibilities?

With just one set A, there are 2 possibilities:

x ∈ A or x 6∈ A

With two sets, A and B, there are 4 possibilities:

(x ∈ A) ∧ (x ∈ B) or (x ∈ A) ∧ (x 6∈ B)

(x 6∈ A) ∧ (x ∈ B) or (x 6∈ A) ∧ (x 6∈ B)

With three sets there are 8 possible conditions.

With four sets there are 16 possible conditions.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 75: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

How Many Possibilities?

With just one set A, there are 2 possibilities:

x ∈ A or x 6∈ A

With two sets, A and B, there are 4 possibilities:

(x ∈ A) ∧ (x ∈ B) or (x ∈ A) ∧ (x 6∈ B)

(x 6∈ A) ∧ (x ∈ B) or (x 6∈ A) ∧ (x 6∈ B)

With three sets there are 8 possible conditions.

With four sets there are 16 possible conditions.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 76: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

How Many Possibilities?

With just one set A, there are 2 possibilities:

x ∈ A or x 6∈ A

With two sets, A and B, there are 4 possibilities:

(x ∈ A) ∧ (x ∈ B) or (x ∈ A) ∧ (x 6∈ B)

(x 6∈ A) ∧ (x ∈ B) or (x 6∈ A) ∧ (x 6∈ B)

With three sets there are 8 possible conditions.

With four sets there are 16 possible conditions.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 77: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

How Many Possibilities?

With just one set A, there are 2 possibilities:

x ∈ A or x 6∈ A

With two sets, A and B, there are 4 possibilities:

(x ∈ A) ∧ (x ∈ B) or (x ∈ A) ∧ (x 6∈ B)

(x 6∈ A) ∧ (x ∈ B) or (x 6∈ A) ∧ (x 6∈ B)

With three sets there are 8 possible conditions.

With four sets there are 16 possible conditions.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 78: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Three and Four Sets

8 Domains 14 Domains

With three sets there are 8 possible conditions.With four sets there are 16 possible conditions.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 79: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Three and Four Sets

8 Domains 14 Domains

With three sets there are 8 possible conditions.With four sets there are 16 possible conditions.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 80: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

The Intersection of 3 Sets

The three overlappingcircles have attained aniconic status, seen in ahuge range of contexts.

It is possible to deviseVenn diagrams with foursets, but the simplicityof the diagram is lost.

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 81: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Exercise: Four Set Venn Diagram

Can you modify the 4-set diagram to cover all cases.(You will not be able to do it with circles only)

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 82: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Hint: Venn Diagrams for 5 and 7 Sets

Image from Wolfram MathWorld: Venn Diagram

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 83: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Solution: Next Week (if you are lucky)

We will find a surprising connection with a Cube

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 84: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Digression: A Simple Puzzle

Intro NipTab DIST02 Cantor Greek 1 Sets 1

Page 85: AweSums - Marvels and Mysteries of Mathematics LECTURE 2mathsci.ucd.ie/~plynch/AweSums/SEE-02.pdf · Introduction The Nippur Tablet Distraction 2: Simpsons Georg Cantor Greek 1 Set

Thank you

Intro NipTab DIST02 Cantor Greek 1 Sets 1