Its a Mathematical World Cristian Rios University of Calgary PIMS - - PowerPoint PPT Presentation

it s a mathematical world
SMART_READER_LITE
LIVE PREVIEW

Its a Mathematical World Cristian Rios University of Calgary PIMS - - PowerPoint PPT Presentation

That sounds like math Math and Science Mathematics as the universe Its a Mathematical World Cristian Rios University of Calgary PIMS Lunchbox Lecture Series April 16 2015 Cristian Rios Mathematics 1 / 38 That sounds like math Math and


slide-1
SLIDE 1

That sounds like math Math and Science Mathematics as the universe

It’s a Mathematical World

Cristian Rios

University of Calgary

PIMS Lunchbox Lecture Series April 16 2015

Cristian Rios Mathematics 1 / 38

slide-2
SLIDE 2

That sounds like math Math and Science Mathematics as the universe Cristian Rios Mathematics 2 / 38

slide-3
SLIDE 3

That sounds like math Math and Science Mathematics as the universe

Mathematics everywhere

Cristian Rios Mathematics 3 / 38

slide-4
SLIDE 4

That sounds like math Math and Science Mathematics as the universe

Celestial mechanics

Cristian Rios Mathematics 4 / 38

slide-5
SLIDE 5

That sounds like math Math and Science Mathematics as the universe

General relativity

Cristian Rios Mathematics 5 / 38

slide-6
SLIDE 6

That sounds like math Math and Science Mathematics as the universe

Particle scatter

Cristian Rios Mathematics 6 / 38

slide-7
SLIDE 7

That sounds like math Math and Science Mathematics as the universe

Wave interference

Cristian Rios Mathematics 7 / 38

slide-8
SLIDE 8

That sounds like math Math and Science Mathematics as the universe

Quantum interference

Cristian Rios Mathematics 8 / 38

slide-9
SLIDE 9

That sounds like math Math and Science Mathematics as the universe

Quantum scattering

Cristian Rios Mathematics 9 / 38

slide-10
SLIDE 10

That sounds like math Math and Science Mathematics as the universe

Crossing a street

Cristian Rios Mathematics 10 / 38

slide-11
SLIDE 11

That sounds like math Math and Science Mathematics as the universe

The streets of Buenos Aires

Cristian Rios Mathematics 11 / 38

slide-12
SLIDE 12

That sounds like math Math and Science Mathematics as the universe

Social Mathematics

Every decision taken, or action performed, as a result of the use of our frontal cortex has a mathematical base. Basic Principles:

1

Minimize risk.

1

Accident prevention or avoidance.

2

Minimize losses.

3

Self preservation.

2

Maximize profit.

1

Economical advancement.

2

Social advancement.

3

Professional advancement.

4

Betterment of society.

Cristian Rios Mathematics 12 / 38

slide-13
SLIDE 13

That sounds like math Math and Science Mathematics as the universe

Social Mathematics

Every decision taken, or action performed, as a result of the use of our frontal cortex has a mathematical base. Basic Principles:

1

Minimize risk.

1

Accident prevention or avoidance.

2

Minimize losses.

3

Self preservation.

2

Maximize profit.

1

Economical advancement.

2

Social advancement.

3

Professional advancement.

4

Betterment of society.

Deterministic: Optimization problems. Probabilistic: Computing the odds, choosing the path with best expected outcome.

Cristian Rios Mathematics 12 / 38

slide-14
SLIDE 14

That sounds like math Math and Science Mathematics as the universe

Social mathematics

Example of a social mathematics problem: What is the optimal time to call for an election?

Cristian Rios Mathematics 13 / 38

slide-15
SLIDE 15

That sounds like math Math and Science Mathematics as the universe

Mathematics of sports

Cristian Rios Mathematics 14 / 38

slide-16
SLIDE 16

That sounds like math Math and Science Mathematics as the universe

Money ball math

"Sabermetrics is the empirical analysis of baseball, especially baseball statistics that measure in-game activity. The term is derived from the acronym SABR, which stands for the Society for American Baseball

  • Research. It was coined by Bill James, who is one of its pioneers and is
  • ften considered its most prominent advocate and public face." (Lewis,

Michael M. (2003). Moneyball: "The Art of Winning an Unfair Game")

Cristian Rios Mathematics 15 / 38

slide-17
SLIDE 17

That sounds like math Math and Science Mathematics as the universe

That sounds like math

Cristian Rios Mathematics 16 / 38

slide-18
SLIDE 18

That sounds like math Math and Science Mathematics as the universe Cristian Rios Mathematics 17 / 38

slide-19
SLIDE 19

That sounds like math Math and Science Mathematics as the universe

The miracle of feeding the multitude

Cristian Rios Mathematics 18 / 38

slide-20
SLIDE 20

That sounds like math Math and Science Mathematics as the universe

The Banach-Tarski Paradox - Paradoxical sets

Cristian Rios Mathematics 19 / 38

slide-21
SLIDE 21

That sounds like math Math and Science Mathematics as the universe

The Banach-Tarski Paradox (paradoxical sets)

Cristian Rios Mathematics 20 / 38

slide-22
SLIDE 22

That sounds like math Math and Science Mathematics as the universe

Foundations of mathematics

Principia Mathematica (1910-1913), by Alfred North Whitehead and Bertrand Russell. Intended to describe a set of axioms and inference rules in symbolic logic from which all mathematical truths could be proven.

Cristian Rios Mathematics 21 / 38

slide-23
SLIDE 23

That sounds like math Math and Science Mathematics as the universe

THE ROOTS (DNA) - Zermelo-Frankel axioms - Axiomatic set theory. Axiom of extensionality ∀A∀B (∀X (X ∈ A ⇐ ⇒ X ∈ B)) = ⇒ A = B Axiom of empty set ∃X∀Y¬ (Y ∈ X) Axiom of pairing ∀A∀B∃C∀D [D ∈ C ⇐ ⇒ (D = A ∨ D = B)] Axiom of union ∀A∃B∀c (c ∈ B ⇐ ⇒ ∃D (c ∈ D ∧ D ∈ A)) Axiom of infinity ∃I (∅ ∈ I ∧ ∀x ∈ I ((x {x}) ∈ I)) Axiom of replacement "the image of a set is a set" Axiom of power set ∀A∃P∀B [B ∈ P ⇐ ⇒ B ⊂ A] Axiom of regularity ∀x (x = ∅ = ⇒ ∃y ∈ x (y x = ∅)) Axiom schema of specification "a subclass of a set is a set" Axiom of choice ∀X

  • /

∅ / ∈ X = ⇒ ∃f : X → X ∀A ∈ X (f (A) ∈ A)

  • Cristian Rios

Mathematics 22 / 38

slide-24
SLIDE 24

That sounds like math Math and Science Mathematics as the universe

One odd family

Equivalence classes Z = {integers} = {0, 1, −1, 2, −2, 3, −3, . . . } . 2 Z = {even integers} = {0, 2, −2, 4, −4, 6, −6, . . . } . Define the equivalence p ≈ q (p is "related" to q) if p − q ∈ 2 Z. 2 equivalence classes (families): even integers, and odd integers. Representatives of the classes M = {0, 1} .

Cristian Rios Mathematics 23 / 38

slide-25
SLIDE 25

That sounds like math Math and Science Mathematics as the universe

One odd family

Equivalence classes Z = {integers} = {0, 1, −1, 2, −2, 3, −3, . . . } . 2 Z = {even integers} = {0, 2, −2, 4, −4, 6, −6, . . . } . Define the equivalence p ≈ q (p is "related" to q) if p − q ∈ 2 Z. 2 equivalence classes (families): even integers, and odd integers. Representatives of the classes M = {0, 1} . Each "family" is affinely equivalent to the whole set Z. q ∈ 2Z (even family) define T0 : q → q/2. Then T0 (2Z) = Z (biyective) p ∈ 2Z + 1 (odd family) define T1 : p → (p − 1) /2. Then T1 (2Z + 1) = Z (biyective)

Cristian Rios Mathematics 23 / 38

slide-26
SLIDE 26

That sounds like math Math and Science Mathematics as the universe

5 Families

Z = {integers} = {0, 1, −1, 2, −2, 3, −3, . . . } . 5 Z = {multiples of five } = {0, 5, −5, 10, −10, 15, −15, . . . } . Define the equivalence p ≈ q (p is "related" to q) if p − q ∈ 5 Z. 5 equivalence classes (families): 5 Z, 5 Z + 1, 5 Z + 2, 5 Z + 3, 5 Z + 4. Representatives of the classes M = {0, 1, 2, 3, 4} .

Cristian Rios Mathematics 24 / 38

slide-27
SLIDE 27

That sounds like math Math and Science Mathematics as the universe

Group of rotations in the circle

Q = {rationals} = p

q, p, q ∈ Z, q = 0

  • T = {group of rotations} = [0, 2π).

R = {group of rational rotations} = 2πQmod 2π. Define the equivalence. p, q ∈ T, p ≈ q if p − q ∈ R. ∞ equivalence classes (families). Axiom of choice: We can build a set M of representatives of the classes. Given a rotation p, its family is p + R. T = disjoint union of all families =

·

  • p∈M {p + R} =

·

  • p∈RpM.

Cristian Rios Mathematics 25 / 38

slide-28
SLIDE 28

That sounds like math Math and Science Mathematics as the universe

Rationals are countable

Q = {rationals} = p

q, p, q ∈ Z, q = 0

  • = {p1, p2, p3, p4,...}

Cristian Rios Mathematics 26 / 38

slide-29
SLIDE 29

That sounds like math Math and Science Mathematics as the universe

A paradoxical decomposition

We enumerate the rationals Q = {p1, p2, p3, p4, . . . } Then, we let Mi = piM (ith rotation of the representatives) T = (circle) =

·

i=1Mi =

·

  • i evenMi
  • ·
  • ·
  • i oddMi
  • .

Cristian Rios Mathematics 27 / 38

slide-30
SLIDE 30

That sounds like math Math and Science Mathematics as the universe

A paradoxical decomposition

We enumerate the rationals Q = {p1, p2, p3, p4, . . . } Then, we let Mi = piM (ith rotation of the representatives) T = (circle) =

·

i=1Mi =

·

  • i evenMi
  • ·
  • ·
  • i oddMi
  • .

The paradox T =

·

  • i evenp i

2 p−1

i

Mi and T =

·

  • i oddp i+1

2 p−1

i

Mi.

Cristian Rios Mathematics 27 / 38

slide-31
SLIDE 31

That sounds like math Math and Science Mathematics as the universe Cristian Rios Mathematics 28 / 38

slide-32
SLIDE 32

That sounds like math Math and Science Mathematics as the universe

Banach-Tarski Paradox for the unit ball in 3-space

Cristian Rios Mathematics 29 / 38

slide-33
SLIDE 33

That sounds like math Math and Science Mathematics as the universe

Mathematics evolution

Axioms are the "atoms" of mathematics. Basic accepted truths. These atoms "interact" and combine, according to the rules of logic. These interactions lead to new "molecules" (theorems). Molecules combine and group into "proteins", (theories, areas).

Cristian Rios Mathematics 30 / 38

slide-34
SLIDE 34

That sounds like math Math and Science Mathematics as the universe Cristian Rios Mathematics 31 / 38

slide-35
SLIDE 35

That sounds like math Math and Science Mathematics as the universe

The tree of known mathematics

Cristian Rios Mathematics 32 / 38

slide-36
SLIDE 36

That sounds like math Math and Science Mathematics as the universe

Mathematical subjects

Cristian Rios Mathematics 33 / 38

slide-37
SLIDE 37

That sounds like math Math and Science Mathematics as the universe

Math Zen

By connecting mathematical objects apparently dissociated, one glimpses into the notion the whole contained in the parts, of the mysteries of the universe, the intricate connections between all that exists. 1 12 + 1 22 + 1 32 + 1 42 + 1 52 + · · · = π2 6 . eiπ + 1 = 0.

Cristian Rios Mathematics 34 / 38