Why do mathematicians make things so complicated?

Size: px
Start display at page:

Download "Why do mathematicians make things so complicated?"

Transcription

1 Why do mathematicians make things so complicated? Zhiqin Lu, The Math Department March 9, 2010

2 Introduction What is Mathematics?

3 Introduction What is Mathematics? 24,100,000 answers from Google.

4 Introduction What is Mathematics? 24,100,000 answers from Google. Such a FAQ!

5 Introduction From Wikipedia Mathematics is the study of quantity, structure, space, and change. Mathematicians seek out patterns,[2][3] formulate new conjectures, and establish truth by rigorous deduction from appropriately chosen axioms and definitions.[4]

6 Introduction An example The Real World vs. The Math World

7 Introduction An example The Real World vs. The Math World How to become a millionaire

8 Introduction An example The Real World vs. The Math World How to become a millionaire in a month?

9 Introduction An example Fact/Secret/Assumption: Most interest checking accounts generate interest at least one cent a month.

10 Introduction An example Fact/Secret/Assumption: Most interest checking accounts generate interest at least one cent a month. Here is How: 1 Open 100,000,000 interest checking accounts and deposit one cent to each account;

11 Introduction An example Fact/Secret/Assumption: Most interest checking accounts generate interest at least one cent a month. Here is How: 1 Open 100,000,000 interest checking accounts and deposit one cent to each account; 2 Wait for a month.

12 Introduction An example Fact/Secret/Assumption: Most interest checking accounts generate interest at least one cent a month. Here is How: 1 Open 100,000,000 interest checking accounts and deposit one cent to each account; 2 Wait for a month. The profit?

13 Introduction An example Fact/Secret/Assumption: Most interest checking accounts generate interest at least one cent a month. Here is How: 1 Open 100,000,000 interest checking accounts and deposit one cent to each account; 2 Wait for a month. The profit? 100, 000, 000 $0.01 = $1, 000, 000!

14 Introduction An example...and that is not the end of the story...

15 Introduction An example...and that is not the end of the story... Mathematicians like to say

16 Introduction An example...and that is not the end of the story... Mathematicians like to say Let n (infinity)

17 Introduction An example...and that is not the end of the story... Mathematicians like to say Let n (infinity) If we let the number of checking accounts go to infinity, what will happen?

18 Introduction An example...and that is not the end of the story... Mathematicians like to say Let n (infinity) If we let the number of checking accounts go to infinity, what will happen? One can earn the whole Universe in a month!

19 Introduction An example Since that is not possible, we get the following result by Reductio ad absurdum (proof by contradiction).

20 Introduction An example Since that is not possible, we get the following result by Reductio ad absurdum (proof by contradiction). Theorem No banks can afford a free $0.01 interest.

21 Introduction An example Since that is not possible, we get the following result by Reductio ad absurdum (proof by contradiction). Theorem No banks can afford a free $0.01 interest. (in the math world)

22 Introduction Summary I am going to talk about

23 Introduction Summary I am going to talk about 1 Why everything has to be done in an indirect way?

24 Introduction Summary I am going to talk about 1 Why everything has to be done in an indirect way? 2 The power of symbols/abstractions.

25 Introduction Summary I am going to talk about 1 Why everything has to be done in an indirect way? 2 The power of symbols/abstractions. 3 How do we choose a problem/project to work on?

26 Introduction Summary I am going to talk about 1 Why everything has to be done in an indirect way? 2 The power of symbols/abstractions. 3 How do we choose a problem/project to work on? 4 Why do we care about other sciences?

27 Introduction Summary I am going to talk about 1 Why everything has to be done in an indirect way? 2 The power of symbols/abstractions. 3 How do we choose a problem/project to work on? 4 Why do we care about other sciences? 5 Use of Computer.

28 My field Mathematics

29 My field Mathematics Differential Geometry

30 My field Mathematics Differential Geometry Complex Geometry

31 My field 1 One of my projects is in the mathematical aspects of Super String Theory.

32 My field 1 One of my projects is in the mathematical aspects of Super String Theory. 2 It is related to the Mirror Symmetry.

33 My field 1 One of my projects is in the mathematical aspects of Super String Theory. 2 It is related to the Mirror Symmetry. 3 Two Universes, quite different, but have the same Quantum Field Theory.

34 My field Figure: Brain Greene, The Elegant Universe, NY Times Best Selling Book.

35 Why everything has to be done in an... indirect way? A problem in Math 2E. Triple integrals-a Problem in Math 2E

36 Why everything has to be done in an... indirect way? A problem in Math 2E. Triple integrals-a Problem in Math 2E Compute W xdxdydz, where W is the region bounded by the planes x = 0, y = 0, and z = 2, and the surface z = x 2 + y 2 and lying in the quadrant x 0, y 0.

37 II IV Why do mathematicians make things so complicated? Why everything has to be done in an... indirect way? A problem in Math 2E. Triple integrals-a Problem in Math 2E Compute W xdxdydz, where W is the region bounded by the planes x = 0, y = 0, and z = 2, and the surface z = x 2 + y 2 and lying in the quadrant x 0, y 0. N '<: II N >< II II >< 0 N + ~ ~ '<:

38 Why everything has to be done in an... indirect way? A problem in Math 2E. How to compute integrations over an n-dimensional object?

39 Why everything has to be done in an... indirect way? A problem in Math 2E. Figure: From the internet. It is the intersection of the quintic Calabi-Yau threefold to our three dimensional space.

40 Why everything has to be done in an... indirect way? A problem in Math 2E. How to study high dimensional geometric object? Use Calculus;

41 Why everything has to be done in an... indirect way? A problem in Math 2E. How to study high dimensional geometric object? Use Calculus; PDE, functional analysis, complex analysis, etc

42 Why everything has to be done in an... indirect way? A problem in Math 2E. How to study high dimensional geometric object? Use Calculus; PDE, functional analysis, complex analysis, etc Use Linear Algebra;

43 Why everything has to be done in an... indirect way? A problem in Math 2E. How to study high dimensional geometric object? Use Calculus; PDE, functional analysis, complex analysis, etc Use Linear Algebra; Lie algebra, commutative algebra, algebraic topology, etc

44 Why everything has to be done in an... indirect way? A problem in Math 2E. How to study high dimensional geometric object? Use Calculus; PDE, functional analysis, complex analysis, etc Use Linear Algebra; Lie algebra, commutative algebra, algebraic topology, etc Use the results in all other mathematics fields.

45 Why everything has to be done in an... indirect way? A problem in Math 2E. How to study high dimensional geometric object? Use Calculus; PDE, functional analysis, complex analysis, etc Use Linear Algebra; Lie algebra, commutative algebra, algebraic topology, etc Use the results in all other mathematics fields. Euclidean Geometry methods usually do not apply.

46 Why everything has to be done in an... indirect way? A simpler example. An even simpler example

47 Why everything has to be done in an... indirect way? A simpler example. An even simpler example 1 xdy ydx = 1. 2π circle x 2 + y 2

48 Why everything has to be done in an... indirect way? A simpler example. Conclusion: Since Human Beings can t image or sense a high dimensional object, we have to study it indirectly. Mathematics is our seventh sense organ.

49 The power of symbols/abstractions. An example The mirror map (in the simplest case) is (5ψ) 5 exp 5 (5n)! (n!) 5 (5ψ) 5n n=0 where ψ 1. { 5n } (5n)! 1 1 (n!) 5 j (5ψ) 5n j=n+1, n=1

50 The power of symbols/abstractions. An example The mirror map (in the simplest case) is (5ψ) 5 exp 5 (5n)! (n!) 5 (5ψ) 5n n=0 { 5n } (5n)! 1 1 (n!) 5 j (5ψ) 5n j=n+1, n=1 where ψ 1. Although complicated, it is very concrete.

51 The power of symbols/abstractions. An example...and we denoted it as q(ψ)

52 The power of symbols/abstractions. Another Example. Newton s Law of universal gravitation F = G m 1m 2 r 2

53 The power of symbols/abstractions. Another Example. Newton s Law of universal gravitation The Coulomb s Law F = G m 1m 2 r 2 F = k e q 1 q 2 r 2

54 The power of symbols/abstractions. Another Example. Newton s Law of universal gravitation The Coulomb s Law F = G m 1m 2 r 2 F = k e q 1 q 2 r 2 In mathematics we study the function y = C 1 r 2 which applies to both laws.

55 The power of symbols/abstractions. Another Example. The evolution of mathematics largely depends on the evolution of symbols.

56 How do we choose a problem/project to work on? Mathematicians choose problems/projects in a counter-productive way.

57 How do we choose a problem/project to work on? Mathematicians choose problems/projects in a counter-productive way. 1 Choose a problem that is unlikely to be solved.

58 How do we choose a problem/project to work on? Mathematicians choose problems/projects in a counter-productive way. 1 Choose a problem that is unlikely to be solved. 2 Choose a problem whose outcome is unexpected.

59 How do we choose a problem/project to work on? 1 Andrew Wiles proved the Fermat Last Theorem, a conjecture that lasted 398 years.

60 How do we choose a problem/project to work on? 1 Andrew Wiles proved the Fermat Last Theorem, a conjecture that lasted 398 years. 2 Grigori Perelman solved Poincaré Conjecture, almost 100 years old, using the Ricci flow method.

61 How do we choose a problem/project to work on? Pros 1 Very creative and original; 2 Usually quite deep in the discovery of new phenomena. Cons papers a year means very productive? 2 collaborative work becomes difficult. 3 the work usually finishes in the last minute.

62 Why do we care about other sciences? The evolution of Mathematics. The evolution of Mathematics How to push math forward?

63 Why do we care about other sciences? The evolution of Mathematics. 1 generalization

64 Why do we care about other sciences? The evolution of Mathematics. 1 generalization (Differential Geometry=Calculus on curved space)

65 Why do we care about other sciences? The evolution of Mathematics. 1 generalization (Differential Geometry=Calculus on curved space) 2 similar to bionical creativity engineering, get hints from other sciences

66 Why do we care about other sciences? My results in the math aspect of super string theory. There are some mathematical implications from Mirror Symmetry, one of which is the so-called BCOV Conjecture.

67 Why do we care about other sciences? My results in the math aspect of super string theory. There are some mathematical implications from Mirror Symmetry, one of which is the so-called BCOV Conjecture. Bershadsky-Cecotti-Ooguri-Vafa Conjecture 1 Let F A be an invariant obtained from symplectic geometry of one Calabi-Yau manifold; 2 Let F B be an invariant obtained from complex geometry of the Mirror Calabi-Yau manifold. Then F A = F B.

68 Why do we care about other sciences? My results in the math aspect of super string theory. Setup of Conjecture (B) Let X be a compact Kähler manifold.

69 Why do we care about other sciences? My results in the math aspect of super string theory. Setup of Conjecture (B) Let X be a compact Kähler manifold. Let = p,q be the Laplacian on (p, q) forms;

70 Why do we care about other sciences? My results in the math aspect of super string theory. Setup of Conjecture (B) Let X be a compact Kähler manifold. Let = p,q be the Laplacian on (p, q) forms; By compactness, the spectrum of are eigenvalues: 0 λ 0 λ 1 λ n +.

71 Why do we care about other sciences? My results in the math aspect of super string theory. Setup of Conjecture (B) Let X be a compact Kähler manifold. Let = p,q be the Laplacian on (p, q) forms; By compactness, the spectrum of are eigenvalues: 0 λ 0 λ 1 λ n +. Define det = λ i 0 λ i.

72 Why do we care about other sciences? My results in the math aspect of super string theory. Setup of Conjecture (B) Let X be a compact Kähler manifold. Let = p,q be the Laplacian on (p, q) forms; By compactness, the spectrum of are eigenvalues: 0 λ 0 λ 1 λ n +. Define det = λ i 0 λ i. ζ function regularization (for example: Riemann ζ-function)

73 Why do we care about other sciences? My results in the math aspect of super string theory. Setup of Conjecture B Bershadsky-Ceccotti-Ooguri-Vafa defined T def = (det p,q ) ( 1)p+qpq. p,q

74 Why do we care about other sciences? My results in the math aspect of super string theory. Setup of Conjecture B Bershadsky-Ceccotti-Ooguri-Vafa defined T def = (det p,q ) ( 1)p+qpq. p,q Why define such a strange quantity?

75 Why do we care about other sciences? My results in the math aspect of super string theory. Conjecture (B) Let be the Hermitian metric on the line bundle (π K W/CP 1) 62 (T (CP 1 )) 3 CP 1 \D induced from the L 2 -metric on π K W/CP 1 and from the Weil-Petersson metric on T (CP 1 ). Then the following identity holds: ( ) 62 ( 1 Ωψ τ BCOV (W ψ ) = Const. F top q d ) 2 3 3, 1,B (ψ)3 y 0 (ψ) dq where Ω is the local holomorphic section of the (3, 0) forms.

76 Why do we care about other sciences? My results in the math aspect of super string theory. Conjecture (B) was proved by Fang-L-Yoshikawa. Fang-L-Yoshikawa Asymptotic behavior of the BCOV torsion of Calabi-Yau moduli ArXiv: JDG (80), 2008, ,

77 Why do we care about other sciences? My results in the math aspect of super string theory. Conjecture (B) was proved by Fang-L-Yoshikawa. Fang-L-Yoshikawa Asymptotic behavior of the BCOV torsion of Calabi-Yau moduli ArXiv: JDG (80), 2008, , Aleksey Zinger proved Conjecture (A). Combining the two results, we proved the BCOV Conjecture, which is an evidence that Super String Theory may be true.

78 Why do we care about other sciences? My results in the math aspect of super string theory. String theorists believe that there are parallel universes to our Universe. Ashok-Douglas developed a method to count the number of those parallel universes.

79 Why do we care about other sciences? My results in the math aspect of super string theory. String theorists believe that there are parallel universes to our Universe. Ashok-Douglas developed a method to count the number of those parallel universes. Joint with Michael R. Douglas, we proved that, if string theory is true, the the number of parallel universes is finite.

80 The use of computer Computer usage is absolutely important in pure math.

81 The use of computer Two kinds of math theorems Theorem π 2 > 9.8

82 The use of computer Two kinds of math theorems Theorem π 2 > 9.8 Theorem x 2 + y 2 2xy

83 The use of computer From Wikipedia A computer-assisted proof is a mathematical proof that has been at least partially generated by computer.

84 The use of computer The Antunes-Freitas Conjecture. Antunes-Freitas Conjecture A triangle drum with its longest side equal to 1. Let λ 1, λ 2 be the two lowest frequencies. Then λ 2 λ 1 64π2 9

85 The use of computer The Antunes-Freitas Conjecture. The conjecture was recently solved by Betcke-L-Rowlett, with an extensive use of computer. It is a computer assisted proof!

86 The use of computer The Antunes-Freitas Conjecture. The key part is, although there are infinitely many different triangles, we proved that by checking the conjecture for finitely many of them (In fact, we checked 10,000 triangles), the conjecture must be true for any triangles.

87 The use of computer The Antunes-Freitas Conjecture. We proved that 1 for triangles with hight < 0.04, the conjecture is true;

88 The use of computer The Antunes-Freitas Conjecture. We proved that 1 for triangles with hight < 0.04, the conjecture is true; 2 for triangles closed enough to the equilateral triangle, the conjecture is true;

89 The use of computer The Antunes-Freitas Conjecture. We proved that 1 for triangles with hight < 0.04, the conjecture is true; 2 for triangles closed enough to the equilateral triangle, the conjecture is true; 3 If for any triangle the gap is more than 64π 2 /9, there is a neighborhood such that for any triangle in that neighborhood, the Antunes-Freitas Conjecture is true.

90 Thank you!

How to minimize without knowing how to differentiate (in Riemannian geometry)

How to minimize without knowing how to differentiate (in Riemannian geometry) How to minimize without knowing how to differentiate (in Riemannian geometry) Spiro Karigiannis karigiannis@maths.ox.ac.uk Mathematical Institute, University of Oxford Calibrated Geometries and Special

More information

Lecture 3. Mathematical Induction

Lecture 3. Mathematical Induction Lecture 3 Mathematical Induction Induction is a fundamental reasoning process in which general conclusion is based on particular cases It contrasts with deduction, the reasoning process in which conclusion

More information

From Random Matrices to Geometry: the "topological recursion"

From Random Matrices to Geometry: the topological recursion From Random Matrices to Geometry: the "topological recursion" Bertrand Eynard, IPHT CEA Saclay, CERN Brunel workshop on random matri theory december 17th 1 Contents 1. Random Matrices, statistical properties

More information

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT?

WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? WHAT ARE MATHEMATICAL PROOFS AND WHY THEY ARE IMPORTANT? introduction Many students seem to have trouble with the notion of a mathematical proof. People that come to a course like Math 216, who certainly

More information

Understanding Basic Calculus

Understanding Basic Calculus Understanding Basic Calculus S.K. Chung Dedicated to all the people who have helped me in my life. i Preface This book is a revised and expanded version of the lecture notes for Basic Calculus and other

More information

How many numbers there are?

How many numbers there are? How many numbers there are? RADEK HONZIK Radek Honzik: Charles University, Department of Logic, Celetná 20, Praha 1, 116 42, Czech Republic radek.honzik@ff.cuni.cz Contents 1 What are numbers 2 1.1 Natural

More information

Handout #1: Mathematical Reasoning

Handout #1: Mathematical Reasoning Math 101 Rumbos Spring 2010 1 Handout #1: Mathematical Reasoning 1 Propositional Logic A proposition is a mathematical statement that it is either true or false; that is, a statement whose certainty or

More information

Metric Spaces. Chapter 7. 7.1. Metrics

Metric Spaces. Chapter 7. 7.1. Metrics Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some

More information

6 EXTENDING ALGEBRA. 6.0 Introduction. 6.1 The cubic equation. Objectives

6 EXTENDING ALGEBRA. 6.0 Introduction. 6.1 The cubic equation. Objectives 6 EXTENDING ALGEBRA Chapter 6 Extending Algebra Objectives After studying this chapter you should understand techniques whereby equations of cubic degree and higher can be solved; be able to factorise

More information

Knots as mathematical objects

Knots as mathematical objects Knots as mathematical objects Ulrich Krähmer = Uli U Glasgow Ulrich Krähmer = Uli (U Glasgow) Knots as mathematical objects 1 / 26 Why I decided to speak about knots They are a good example to show that

More information

Mirror symmetry: A brief history. Superstring theory replaces particles moving through space-time with loops moving through space-time.

Mirror symmetry: A brief history. Superstring theory replaces particles moving through space-time with loops moving through space-time. Mirror symmetry: A brief history. Superstring theory replaces particles moving through space-time with loops moving through space-time. A key prediction of superstring theory is: The universe is 10 dimensional.

More information

Alex, I will take congruent numbers for one million dollars please

Alex, I will take congruent numbers for one million dollars please Alex, I will take congruent numbers for one million dollars please Jim L. Brown The Ohio State University Columbus, OH 4310 jimlb@math.ohio-state.edu One of the most alluring aspectives of number theory

More information

Lesson 13: Proofs in Geometry

Lesson 13: Proofs in Geometry 211 Lesson 13: Proofs in Geometry Beginning with this lesson and continuing for the next few lessons, we will explore the role of proofs and counterexamples in geometry. To begin, recall the Pythagorean

More information

South Carolina College- and Career-Ready (SCCCR) Pre-Calculus

South Carolina College- and Career-Ready (SCCCR) Pre-Calculus South Carolina College- and Career-Ready (SCCCR) Pre-Calculus Key Concepts Arithmetic with Polynomials and Rational Expressions PC.AAPR.2 PC.AAPR.3 PC.AAPR.4 PC.AAPR.5 PC.AAPR.6 PC.AAPR.7 Standards Know

More information

DELAWARE MATHEMATICS CONTENT STANDARDS GRADES 9-10. PAGE(S) WHERE TAUGHT (If submission is not a book, cite appropriate location(s))

DELAWARE MATHEMATICS CONTENT STANDARDS GRADES 9-10. PAGE(S) WHERE TAUGHT (If submission is not a book, cite appropriate location(s)) Prentice Hall University of Chicago School Mathematics Project: Advanced Algebra 2002 Delaware Mathematics Content Standards (Grades 9-10) STANDARD #1 Students will develop their ability to SOLVE PROBLEMS

More information

Euclidean Geometry. We start with the idea of an axiomatic system. An axiomatic system has four parts:

Euclidean Geometry. We start with the idea of an axiomatic system. An axiomatic system has four parts: Euclidean Geometry Students are often so challenged by the details of Euclidean geometry that they miss the rich structure of the subject. We give an overview of a piece of this structure below. We start

More information

Geometry. Unit 1. Transforming and Congruence. Suggested Time Frame 1 st Six Weeks 22 Days

Geometry. Unit 1. Transforming and Congruence. Suggested Time Frame 1 st Six Weeks 22 Days Geometry Unit 1 Transforming and Congruence Title Suggested Time Frame 1 st Six Weeks 22 Days Big Ideas/Enduring Understandings Module 1 Tools of geometry can be used to solve real-world problems. Variety

More information

An introduction to number theory and Diophantine equations

An introduction to number theory and Diophantine equations An introduction to number theory and Diophantine equations Lillian Pierce April 20, 2010 Lattice points and circles What is the area of a circle of radius r? You may have just thought without hesitation

More information

1. A student followed the given steps below to complete a construction. Which type of construction is best represented by the steps given above?

1. A student followed the given steps below to complete a construction. Which type of construction is best represented by the steps given above? 1. A student followed the given steps below to complete a construction. Step 1: Place the compass on one endpoint of the line segment. Step 2: Extend the compass from the chosen endpoint so that the width

More information

Numerical Analysis Lecture Notes

Numerical Analysis Lecture Notes Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number

More information

Problem of the Month The Shape of Things

Problem of the Month The Shape of Things Problem of the Month The Problems of the Month (POM) are used in a variety of ways to promote problem solving and to foster the first standard of mathematical practice from the Common Core State Standards:

More information

algebra, geometry, and Schroedinger atoms

algebra, geometry, and Schroedinger atoms algebra, geometry, and Schroedinger atoms PILJIN YI Korea Institute for Advanced Study QUC Inauguration Conference February 2014 Atiyah-Singer Index Theorem ~ 1963 Calabi-Yau ~ 1978 Calibrated Geometry

More information

Quantum Mechanics and Representation Theory

Quantum Mechanics and Representation Theory Quantum Mechanics and Representation Theory Peter Woit Columbia University Texas Tech, November 21 2013 Peter Woit (Columbia University) Quantum Mechanics and Representation Theory November 2013 1 / 30

More information

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES

MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2016 47 4. Diophantine Equations A Diophantine Equation is simply an equation in one or more variables for which integer (or sometimes rational) solutions

More information

THREE DIMENSIONAL GEOMETRY

THREE DIMENSIONAL GEOMETRY Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,

More information

Ultraproducts and Applications I

Ultraproducts and Applications I Ultraproducts and Applications I Brent Cody Virginia Commonwealth University September 2, 2013 Outline Background of the Hyperreals Filters and Ultrafilters Construction of the Hyperreals The Transfer

More information

8.1 Examples, definitions, and basic properties

8.1 Examples, definitions, and basic properties 8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A k-form ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)-form σ Ω k 1 (M) such that dσ = ω.

More information

Student Name: Teacher: Date: District: Miami-Dade County Public Schools. Assessment: 9_12 Mathematics Geometry Exam 1

Student Name: Teacher: Date: District: Miami-Dade County Public Schools. Assessment: 9_12 Mathematics Geometry Exam 1 Student Name: Teacher: Date: District: Miami-Dade County Public Schools Assessment: 9_12 Mathematics Geometry Exam 1 Description: GEO Topic 1 Test: Tools of Geometry Form: 201 1. A student followed the

More information

INTRODUCTION TO EUCLID S GEOMETRY

INTRODUCTION TO EUCLID S GEOMETRY CHAPTER 5 INTRODUCTION TO EUCLID S GEOMETRY (A) Main Concepts and Results Points, Line, Plane or surface, Axiom, Postulate and Theorem, The Elements, Shapes of altars or vedis in ancient India, Equivalent

More information

Master of Arts in Mathematics

Master of Arts in Mathematics Master of Arts in Mathematics Administrative Unit The program is administered by the Office of Graduate Studies and Research through the Faculty of Mathematics and Mathematics Education, Department of

More information

Module 3 Congruency can be used to solve real-world problems. What happens when you apply more than one transformation to

Module 3 Congruency can be used to solve real-world problems. What happens when you apply more than one transformation to Transforming and Congruence *CISD Safety Net Standards: G.3C, G.4C Title Big Ideas/Enduring Understandings Module 1 Tools of geometry can be used to solve real-world problems. Variety of representations

More information

Prentice Hall Algebra 2 2011 Correlated to: Colorado P-12 Academic Standards for High School Mathematics, Adopted 12/2009

Prentice Hall Algebra 2 2011 Correlated to: Colorado P-12 Academic Standards for High School Mathematics, Adopted 12/2009 Content Area: Mathematics Grade Level Expectations: High School Standard: Number Sense, Properties, and Operations Understand the structure and properties of our number system. At their most basic level

More information

SECTION 10-2 Mathematical Induction

SECTION 10-2 Mathematical Induction 73 0 Sequences and Series 6. Approximate e 0. using the first five terms of the series. Compare this approximation with your calculator evaluation of e 0.. 6. Approximate e 0.5 using the first five terms

More information

LAKE ELSINORE UNIFIED SCHOOL DISTRICT

LAKE ELSINORE UNIFIED SCHOOL DISTRICT LAKE ELSINORE UNIFIED SCHOOL DISTRICT Title: PLATO Algebra 1-Semester 2 Grade Level: 10-12 Department: Mathematics Credit: 5 Prerequisite: Letter grade of F and/or N/C in Algebra 1, Semester 2 Course Description:

More information

Nonlinear Fourier series and applications to PDE

Nonlinear Fourier series and applications to PDE CNRS/Cergy CIRM Sept 26, 2013 I. Introduction In this talk, we shall describe a new method to analyze Fourier series. The motivation comes from solving nonlinear PDE s. These PDE s are evolution equations,

More information

algebra, geometry, and Schroedinger atoms

algebra, geometry, and Schroedinger atoms algebra, geometry, and Schroedinger atoms PILJIN YI Korea Institute for Advanced Study USTC, Hefei, May 26 th 2016 what can string theory do, besides its yet-to-be-realized promise of a unified fundamental

More information

Section 13.5 Equations of Lines and Planes

Section 13.5 Equations of Lines and Planes Section 13.5 Equations of Lines and Planes Generalizing Linear Equations One of the main aspects of single variable calculus was approximating graphs of functions by lines - specifically, tangent lines.

More information

Mathematics Undergraduate Student Learning Objectives

Mathematics Undergraduate Student Learning Objectives Mathematics Undergraduate Student Learning Objectives The Mathematics program promotes mathematical skills and knowledge for their intrinsic beauty, effectiveness in developing proficiency in analytical

More information

Betweenness of Points

Betweenness of Points Math 444/445 Geometry for Teachers Summer 2008 Supplement : Rays, ngles, and etweenness This handout is meant to be read in place of Sections 5.6 5.7 in Venema s text [V]. You should read these pages after

More information

old supersymmetry as new mathematics

old supersymmetry as new mathematics old supersymmetry as new mathematics PILJIN YI Korea Institute for Advanced Study with help from Sungjay Lee Atiyah-Singer Index Theorem ~ 1963 Calabi-Yau ~ 1978 Calibrated Geometry ~ 1982 (Harvey & Lawson)

More information

Course 421: Algebraic Topology Section 1: Topological Spaces

Course 421: Algebraic Topology Section 1: Topological Spaces Course 421: Algebraic Topology Section 1: Topological Spaces David R. Wilkins Copyright c David R. Wilkins 1988 2008 Contents 1 Topological Spaces 1 1.1 Continuity and Topological Spaces...............

More information

G C.3 Construct the inscribed and circumscribed circles of a triangle, and prove properties of angles for a quadrilateral inscribed in a circle.

G C.3 Construct the inscribed and circumscribed circles of a triangle, and prove properties of angles for a quadrilateral inscribed in a circle. Performance Assessment Task Circle and Squares Grade 10 This task challenges a student to analyze characteristics of 2 dimensional shapes to develop mathematical arguments about geometric relationships.

More information

Advanced Higher Mathematics Course Assessment Specification (C747 77)

Advanced Higher Mathematics Course Assessment Specification (C747 77) Advanced Higher Mathematics Course Assessment Specification (C747 77) Valid from August 2015 This edition: April 2016, version 2.4 This specification may be reproduced in whole or in part for educational

More information

When Is the Sum of the Measures of the Angles of a Triangle Equal to 180º?

When Is the Sum of the Measures of the Angles of a Triangle Equal to 180º? Sum of the Measures of Angles Unit 9 Non-Euclidean Geometries When Is the Sum of the Measures of the Angles of a Triangle Equal to 180º? Overview: Objective: This activity illustrates the need for Euclid

More information

Trigonometric Functions and Equations

Trigonometric Functions and Equations Contents Trigonometric Functions and Equations Lesson 1 Reasoning with Trigonometric Functions Investigations 1 Proving Trigonometric Identities... 271 2 Sum and Difference Identities... 276 3 Extending

More information

RICCI SUMMER SCHOOL COURSE PLANS AND BACKGROUND READING LISTS

RICCI SUMMER SCHOOL COURSE PLANS AND BACKGROUND READING LISTS RICCI SUMMER SCHOOL COURSE PLANS AND BACKGROUND READING LISTS The Summer School consists of four courses. Each course is made up of four 1-hour lectures. The titles and provisional outlines are provided

More information

Classical theorems on hyperbolic triangles from a projective point of view

Classical theorems on hyperbolic triangles from a projective point of view tmcs-szilasi 2012/3/1 0:14 page 175 #1 10/1 (2012), 175 181 Classical theorems on hyperbolic triangles from a projective point of view Zoltán Szilasi Abstract. Using the Cayley-Klein model of hyperbolic

More information

Math Real Analysis I

Math Real Analysis I Math 431 - Real Analysis I Solutions to Homework due October 1 In class, we learned of the concept of an open cover of a set S R n as a collection F of open sets such that S A. A F We used this concept

More information

Introduction to Topology

Introduction to Topology Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................

More information

Prerequsites: Math 1A-1B, 53 (lower division calculus courses)

Prerequsites: Math 1A-1B, 53 (lower division calculus courses) Math 151 Prerequsites: Math 1A-1B, 53 (lower division calculus courses) Development of the rational number system. Use the number line (real line), starting with the concept of parts of a whole : fractions,

More information

The following is Dirac's talk on projective geometry in physics at Boston University on October 30, 1972.

The following is Dirac's talk on projective geometry in physics at Boston University on October 30, 1972. Audio recording made by John B. Hart, Boston University, October 30, 1972 Comments by Roger Penrose [JOHN HART] The following is Dirac's talk on projective geometry in physics at Boston University on October

More information

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES

RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES RIGIDITY OF HOLOMORPHIC MAPS BETWEEN FIBER SPACES GAUTAM BHARALI AND INDRANIL BISWAS Abstract. In the study of holomorphic maps, the term rigidity refers to certain types of results that give us very specific

More information

The Mathematics of Origami

The Mathematics of Origami The Mathematics of Origami Sheri Yin June 3, 2009 1 Contents 1 Introduction 3 2 Some Basics in Abstract Algebra 4 2.1 Groups................................. 4 2.2 Ring..................................

More information

December 4, 2013 MATH 171 BASIC LINEAR ALGEBRA B. KITCHENS

December 4, 2013 MATH 171 BASIC LINEAR ALGEBRA B. KITCHENS December 4, 2013 MATH 171 BASIC LINEAR ALGEBRA B KITCHENS The equation 1 Lines in two-dimensional space (1) 2x y = 3 describes a line in two-dimensional space The coefficients of x and y in the equation

More information

ANALYTICITY OF SETS ASSOCIATED TO LELONG NUMBERS AND THE EXTENSION OF MEROMORPHIC MAPS 1

ANALYTICITY OF SETS ASSOCIATED TO LELONG NUMBERS AND THE EXTENSION OF MEROMORPHIC MAPS 1 BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 79, Number 6, November 1973 ANALYTICITY OF SETS ASSOCIATED TO LELONG NUMBERS AND THE EXTENSION OF MEROMORPHIC MAPS 1 BY YUM-TONG SIU 2 Communicated

More information

Section 1.1. Introduction to R n

Section 1.1. Introduction to R n The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to

More information

Not Even Wrong, ten years later: a view from mathematics February on prospects 3, 2016for fundamenta 1 / 32. physics without experiment

Not Even Wrong, ten years later: a view from mathematics February on prospects 3, 2016for fundamenta 1 / 32. physics without experiment Not Even Wrong, ten years later: a view from mathematics on prospects for fundamental physics without experiment Peter Woit Columbia University Rutgers Physics Colloquium, February 3, 2016 Not Even Wrong,

More information

A Foundation for Geometry

A Foundation for Geometry MODULE 4 A Foundation for Geometry There is no royal road to geometry Euclid 1. Points and Lines We are ready (finally!) to talk about geometry. Our first task is to say something about points and lines.

More information

Linear Systems and Gaussian Elimination

Linear Systems and Gaussian Elimination Eivind Eriksen Linear Systems and Gaussian Elimination September 2, 2011 BI Norwegian Business School Contents 1 Linear Systems................................................ 1 1.1 Linear Equations...........................................

More information

Geometry 2: Remedial topology

Geometry 2: Remedial topology Geometry 2: Remedial topology Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have

More information

Diablo Valley College Catalog 2014-2015

Diablo Valley College Catalog 2014-2015 Mathematics MATH Michael Norris, Interim Dean Math and Computer Science Division Math Building, Room 267 Possible career opportunities Mathematicians work in a variety of fields, among them statistics,

More information

Classical Physics Prof. V. Balakrishnan Department of Physics Indian Institution of Technology, Madras. Lecture No. # 13

Classical Physics Prof. V. Balakrishnan Department of Physics Indian Institution of Technology, Madras. Lecture No. # 13 Classical Physics Prof. V. Balakrishnan Department of Physics Indian Institution of Technology, Madras Lecture No. # 13 Now, let me formalize the idea of symmetry, what I mean by symmetry, what we mean

More information

Mathematics Program Description Associate in Arts Degree Program Outcomes Required Courses............................. Units

Mathematics Program Description Associate in Arts Degree Program Outcomes Required Courses............................. Units Program Description Successful completion of this maj will assure competence in mathematics through differential and integral calculus, providing an adequate background f employment in many technological

More information

7. The Gauss-Bonnet theorem

7. The Gauss-Bonnet theorem 7. The Gauss-Bonnet theorem 7. Hyperbolic polygons In Euclidean geometry, an n-sided polygon is a subset of the Euclidean plane bounded by n straight lines. Thus the edges of a Euclidean polygon are formed

More information

Algebraic Geometry. Andreas Gathmann. Notes for a class. taught at the University of Kaiserslautern 2002/2003

Algebraic Geometry. Andreas Gathmann. Notes for a class. taught at the University of Kaiserslautern 2002/2003 Algebraic Geometry Andreas Gathmann Notes for a class taught at the University of Kaiserslautern 2002/2003 CONTENTS 0. Introduction 1 0.1. What is algebraic geometry? 1 0.2. Exercises 6 1. Affine varieties

More information

Metric Spaces. Chapter 1

Metric Spaces. Chapter 1 Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence

More information

Studievereniging A Eskwadraat. Druk. Jaargang 09/10 Nummer 1

Studievereniging A Eskwadraat. Druk. Jaargang 09/10 Nummer 1 Studievereniging A Eskwadraat Druk Jaargang 09/10 Nummer 1 VAKidioot Wiskunde VAK Spaces becoming noncommutative Door: Jorge Plazas Noncommutative geometry has developed over the last three decades building

More information

Mathematics (MAT) MAT 061 Basic Euclidean Geometry 3 Hours. MAT 051 Pre-Algebra 4 Hours

Mathematics (MAT) MAT 061 Basic Euclidean Geometry 3 Hours. MAT 051 Pre-Algebra 4 Hours MAT 051 Pre-Algebra Mathematics (MAT) MAT 051 is designed as a review of the basic operations of arithmetic and an introduction to algebra. The student must earn a grade of C or in order to enroll in MAT

More information

MATH HISTORY: POSSIBLE TOPICS FOR TERM PAPERS

MATH HISTORY: POSSIBLE TOPICS FOR TERM PAPERS MATH HISTORY: POSSIBLE TOPICS FOR TERM PAPERS Some possible seeds for historical developmental topics are: The Platonic Solids Solution of nth degree polynomial equation (especially quadratics) Difference

More information

MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

More information

Venn Symmetry and Prime Numbers: A Seductive Proof Revisited

Venn Symmetry and Prime Numbers: A Seductive Proof Revisited Venn Symmetry and Prime Numbers: A Seductive Proof Revisited Stan Wagon and Peter Webb When he was an undergraduate at Swarthmore College in 1960, David W. Henderson [4] discovered an important and surprising

More information

alternate interior angles

alternate interior angles alternate interior angles two non-adjacent angles that lie on the opposite sides of a transversal between two lines that the transversal intersects (a description of the location of the angles); alternate

More information

MATH. ALGEBRA I HONORS 9 th Grade 12003200 ALGEBRA I HONORS

MATH. ALGEBRA I HONORS 9 th Grade 12003200 ALGEBRA I HONORS * Students who scored a Level 3 or above on the Florida Assessment Test Math Florida Standards (FSA-MAFS) are strongly encouraged to make Advanced Placement and/or dual enrollment courses their first choices

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

MAT2400 Analysis I. A brief introduction to proofs, sets, and functions

MAT2400 Analysis I. A brief introduction to proofs, sets, and functions MAT2400 Analysis I A brief introduction to proofs, sets, and functions In Analysis I there is a lot of manipulations with sets and functions. It is probably also the first course where you have to take

More information

Quantum manifolds. Manuel Hohmann

Quantum manifolds. Manuel Hohmann Quantum manifolds Manuel Hohmann Zentrum für Mathematische Physik und II. Institut für Theoretische Physik, Universität Hamburg, Luruper Chaussee 149, 22761 Hamburg, Germany Abstract. We propose a mathematical

More information

Discrete Mathematics

Discrete Mathematics Slides for Part IA CST 2014/15 Discrete Mathematics Prof Marcelo Fiore Marcelo.Fiore@cl.cam.ac.uk What are we up to? Learn to read and write, and also work with, mathematical

More information

Triangle Congruence and Similarity: A Common-Core-Compatible Approach

Triangle Congruence and Similarity: A Common-Core-Compatible Approach Triangle Congruence and Similarity: A Common-Core-Compatible Approach The Common Core State Standards for Mathematics (CCSSM) include a fundamental change in the geometry curriculum in grades 8 to 10:

More information

TExES Mathematics 7 12 (235) Test at a Glance

TExES Mathematics 7 12 (235) Test at a Glance TExES Mathematics 7 12 (235) Test at a Glance See the test preparation manual for complete information about the test along with sample questions, study tips and preparation resources. Test Name Mathematics

More information

Chapter 1 - Matrices & Determinants

Chapter 1 - Matrices & Determinants Chapter 1 - Matrices & Determinants Arthur Cayley (August 16, 1821 - January 26, 1895) was a British Mathematician and Founder of the Modern British School of Pure Mathematics. As a child, Cayley enjoyed

More information

Lecture 4 DISCRETE SUBGROUPS OF THE ISOMETRY GROUP OF THE PLANE AND TILINGS

Lecture 4 DISCRETE SUBGROUPS OF THE ISOMETRY GROUP OF THE PLANE AND TILINGS 1 Lecture 4 DISCRETE SUBGROUPS OF THE ISOMETRY GROUP OF THE PLANE AND TILINGS This lecture, just as the previous one, deals with a classification of objects, the original interest in which was perhaps

More information

arxiv: v1 [math.mg] 6 May 2014

arxiv: v1 [math.mg] 6 May 2014 DEFINING RELATIONS FOR REFLECTIONS. I OLEG VIRO arxiv:1405.1460v1 [math.mg] 6 May 2014 Stony Brook University, NY, USA; PDMI, St. Petersburg, Russia Abstract. An idea to present a classical Lie group of

More information

Doug Ravenel. October 15, 2008

Doug Ravenel. October 15, 2008 Doug Ravenel University of Rochester October 15, 2008 s about Euclid s Some s about primes that every mathematician should know (Euclid, 300 BC) There are infinitely numbers. is very elementary, and we

More information

Liouville Quantum gravity and KPZ. Scott Sheffield

Liouville Quantum gravity and KPZ. Scott Sheffield Liouville Quantum gravity and KPZ Scott Sheffield Scaling limits of random planar maps Central mathematical puzzle: Show that the scaling limit of some kind of discrete quantum gravity (perhaps decorated

More information

CHAPTER 1 BASIC TOPOLOGY

CHAPTER 1 BASIC TOPOLOGY CHAPTER 1 BASIC TOPOLOGY Topology, sometimes referred to as the mathematics of continuity, or rubber sheet geometry, or the theory of abstract topological spaces, is all of these, but, above all, it is

More information

Euclidean Geometry: An Introduction to Mathematical Work

Euclidean Geometry: An Introduction to Mathematical Work Euclidean Geometry: An Introduction to Mathematical Work Math 3600 Fall 2016 Introduction We have two goals this semester: First and foremost, we shall learn to do mathematics independently. Also, we shall

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information

Mathematics Review for MS Finance Students

Mathematics Review for MS Finance Students Mathematics Review for MS Finance Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,

More information

Complex Function Theory. Second Edition. Donald Sarason >AMS AMERICAN MATHEMATICAL SOCIETY

Complex Function Theory. Second Edition. Donald Sarason >AMS AMERICAN MATHEMATICAL SOCIETY Complex Function Theory Second Edition Donald Sarason >AMS AMERICAN MATHEMATICAL SOCIETY Contents Preface to the Second Edition Preface to the First Edition ix xi Chapter I. Complex Numbers 1 1.1. Definition

More information

3. INNER PRODUCT SPACES

3. INNER PRODUCT SPACES . INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.

More information

Allocation of Mathematics Modules at Maynooth to Areas of Study for PME (Professional Masters in Education)

Allocation of Mathematics Modules at Maynooth to Areas of Study for PME (Professional Masters in Education) Allocation of Mathematics Modules at Maynooth to Areas of Study for PME (Professional Masters in Education) Module Code Module Title Credits Area 1 Area 2 MT101 Differential Calculus In One Real Variable

More information

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011

Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely

More information

MCS 563 Spring 2014 Analytic Symbolic Computation Wednesday 15 January. Elimination Methods

MCS 563 Spring 2014 Analytic Symbolic Computation Wednesday 15 January. Elimination Methods Elimination Methods In this lecture we define projective coordinates, give another application, explain the Sylvester resultant method, illustrate how to cascade resultants to compute discriminant, and

More information

There is no royal road to geometry (Euclid)

There is no royal road to geometry (Euclid) THE CRAFOORD PRIZE IN MATEMATICS 2016 POPULAR SCIENCE BACKGROUND There is no royal road to geometry (Euclid) Yakov Eliashberg is one of the leading mathematicians of our time. For more than thirty years

More information

Grade 7/8 Math Circles Greek Constructions - Solutions October 6/7, 2015

Grade 7/8 Math Circles Greek Constructions - Solutions October 6/7, 2015 Faculty of Mathematics Waterloo, Ontario N2L 3G1 Centre for Education in Mathematics and Computing Grade 7/8 Math Circles Greek Constructions - Solutions October 6/7, 2015 Mathematics Without Numbers The

More information

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.

CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,

More information

DEGREE OF NEGATION OF AN AXIOM

DEGREE OF NEGATION OF AN AXIOM DEGREE OF NEGATION OF AN AXIOM Florentin Smarandache, Ph D Professor of Mathematics Chair of Department of Math & Sciences University of New Mexico 200 College Road Gallup, NM 87301, USA E-mail: smarand@unm.edu

More information

vertex, 369 disjoint pairwise, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws

vertex, 369 disjoint pairwise, 395 disjoint sets, 236 disjunction, 33, 36 distributive laws Index absolute value, 135 141 additive identity, 254 additive inverse, 254 aleph, 466 algebra of sets, 245, 278 antisymmetric relation, 387 arcsine function, 349 arithmetic sequence, 208 arrow diagram,

More information

Direct Proofs. CS 19: Discrete Mathematics. Direct Proof: Example. Indirect Proof: Example. Proofs by Contradiction and by Mathematical Induction

Direct Proofs. CS 19: Discrete Mathematics. Direct Proof: Example. Indirect Proof: Example. Proofs by Contradiction and by Mathematical Induction Direct Proofs CS 19: Discrete Mathematics Amit Chakrabarti Proofs by Contradiction and by Mathematical Induction At this point, we have seen a few examples of mathematical proofs. These have the following

More information

Euclid s 5 th Axiom (on the plane):

Euclid s 5 th Axiom (on the plane): Euclid s 5 th Axiom (on plane): That, if a straight line falling on two straight lines makes interior angles on same side less than two right angles, two straight lines, if produced indefinitely, meet

More information