Spherical Geometry

Total Page:16

File Type:pdf, Size:1020Kb

Spherical Geometry 987023 2473 < % 52873 52 59 3 1273 ¼4 14 578 2 49873 3 4 7∆��≌ ≠ 3 δ � 2 1 2 7 5 8 4 3 23 5 1 ⅓β ⅝Υ � VCAA-AMSI maths modules 5 1 85 34 5 45 83 8 8 3 12 5 = 2 38 95 123 7 3 7 8 x 3 309 �Υβ⅓⅝ 2 8 13 2 3 3 4 1 8 2 0 9 756 73 < 1 348 2 5 1 0 7 4 9 9 38 5 8 7 1 5 812 2 8 8 ХФУШ 7 δ 4 x ≠ 9 3 ЩЫ � Ѕ � Ђ 4 � ≌ = ⅙ Ё ∆ ⊚ ϟϝ 7 0 Ϛ ό ¼ 2 ύҖ 3 3 Ҧδ 2 4 Ѽ 3 5 ᴂԅ 3 3 Ӡ ⍰1 ⋓ ӓ 2 7 ӕ 7 ⟼ ⍬ 9 3 8 Ӂ 0 ⤍ 8 9 Ҷ 5 2 ⋟ ҵ 4 8 ⤮ 9 ӛ 5 ₴ 9 4 5 € 4 ₦ € 9 7 3 ⅘ 3 ⅔ 8 2 2 0 3 1 ℨ 3 ℶ 3 0 ℜ 9 2 ⅈ 9 ↄ 7 ⅞ 7 8 5 2 ∭ 8 1 8 2 4 5 6 3 3 9 8 3 8 1 3 2 4 1 85 5 4 3 Ӡ 7 5 ԅ 5 1 ᴂ - 4 �Υβ⅓⅝ 0 Ѽ 8 3 7 Ҧ 6 2 3 Җ 3 ύ 4 4 0 Ω 2 = - Å 8 € ℭ 6 9 x ℗ 0 2 1 7 ℋ 8 ℤ 0 ∬ - √ 1 ∜ ∱ 5 ≄ 7 A guide for teachers – Years 11 and 12 ∾ 3 ⋞ 4 ⋃ 8 6 ⑦ 9 ∭ ⋟ 5 ⤍ ⅞ Geometry ↄ ⟼ ⅈ ⤮ ℜ ℶ ⍬ ₦ ⍰ ℨ Spherical Geometry ₴ € ⋓ ⊚ ⅙ ӛ ⋟ ⑦ ⋃ Ϛ ό ⋞ 5 ∾ 8 ≄ ∱ 3 ∜ 8 7 √ 3 6 ∬ ℤ ҵ 4 Ҷ Ӂ ύ ӕ Җ ӓ Ӡ Ҧ ԅ Ѽ ᴂ 8 7 5 6 Years DRAFT 11&12 DRAFT Spherical Geometry – A guide for teachers (Years 11–12) Andrew Stewart, Presbyterian Ladies’ College, Melbourne Illustrations and web design: Catherine Tan © VCAA and The University of Melbourne on behalf of AMSI 2015. Authorised and co-published by the Victorian Curriculum and Assessment Authority Level 1, 2 Lonsdale Street Melbourne VIC 3000 This publication may be used in accordance with the VCAA Copyright Policy: www.vcaa.vic.edu.au/Pages/aboutus/policies/policy-copyright.aspx Copyright in materials appearing at any sites linked to this document rests with the copyright owner/s of those materials. The VCAA recommends you refer to copyright statements at linked sites before using such materials. Australian Mathematical Sciences Institute Building 161 The University of Melbourne VIC 3010 Email: [email protected] Website: www.amsi.org.au Assumed knowledge ..................................... 4 Motivation ........................................... 4 Content ............................................. 4 Circular Geometry ..................................... 5 Calculation Notes ...................................... 6 The Earth as a sphere ................................... 11 Latitude and Longitude .................................. 11 Distances along meridians ................................. 14 Distances between places with the same longitude .................. 17 Distance between places on the Equator ........................ 20 Distances between places with the same latitude ................... 21 Great circle distance between places with the same latitude ............ 24 Time zones and travel times ............................... 26 Using Pythagoras’ theorem in spheres .......................... 29 Extension Activity ....................................... 29 Distance between any two places on the earth’s surface ............... 30 The calculation ....................................... 30 Comparing great circle distance with small circle distance .............. 33 Spherical Geometry Assumed knowledge • Familiarity with circle measurement formulae, including circumference and area • Familiarity with trigonometric calculations, including basic SOHCAHTOA, sine and cosine rules • Familiarity with area of triangles using sine area rule • Familiarity with circle geometry. Motivation • What have circles to do with measuring distances on the surface of the Earth ? • Do I have to use radians for measuring any angles ? • Will it make much difference to the distance calculated if I use an incorrect method ? • Why is the straight-line distance between two points on a sphere not necessarily the shortest distance between those two points ? • How does a spherical model of the Earth help me to understand the different time zones that have been established ? Content A circle is formed by a point moving around a fixed point (the centre) at a constant dis- tance. A sphere is a three-dimensional form of a circle, where all points on the surface of the sphere are at a constant distance from the centre of the sphere. The Earth is not exactly a sphere. A grapefruit is a better analogy, as it is flatter at the top and bottom (an oblate sphere). The diameter as measured through the North and South Poles is about 40 km less than the diameter using two points on the Equator. The radius of the Earth is usually given as 6 370 kilometres. A guide for teachers – Years 11 and 12 • {5} For the purposes of modelling key aspects of travel and time on the Earth, for a course such as Further Mathematics in the Victorian Certificate of Education, treating the Earth as a true sphere with a radius of 6 400 kilometres will provide reasonable answers from a conceptually simple framework. Circular Geometry Radii and chords We begin by revisiting the definition of a circle and some of the language used for de- scribing the geometry of circles. • A circle is the set of all points in the plane that are a fixed distance (the ra- dius) from a fixed point (the centre). chord • Any interval joining a point on the cir- cle to the centre is called a radius. By diameter the definition of a circle, any two radii have the same length. • An interval joining two points on the circle is called a chord. radiusradius • A chord that passes through the centre is called a diameter. Since a diameter consists of two radii joined at their endpoints, every diameter has length equal to twice the radius. Let AB be a chord of a circle not passing through its centre O. The chord and the two equal radii OA and BO form an isosceles triangle whose base is the chord. The \AOB is called the angle at the centre subtended by the chord. A O B {6} • Spherical Geometry AMSI module Let A and B be two different points on a circle with centre O. These two points divide the circle into two opposite arcs. A If the chord AB is a diameter, then the minor arc two arcs are called semicircles. Other- wise, one arc is longer than the other. The longer arc is called the major arc AB and O B the shorter arc is called the minor arc AB. Now join the radii OA and OB. The reflex angle AOB is called the angle subtended major arc by the major arc AB. The non-reflex angle AOB is called the angle subtended by the minor arc AB, and is also the angle subtended by the chord AB. The two radii divide the circle into two sectors, called correspondingly the major sector OAB and the minor sector OAB. Segments minor segment A A chord AB of a circle divides the circle into two segments. The two segments are called a major segment (the larger one) and a mi- B nor segment (the smaller one). major segment Subtend The word ’subtend’ literally means ’holds under’, and is often used in geometry to de- scribe an angle. The phrase ’opposite to’ could also be used, since, in the case above, the angle subtended by an arc is located opposite to that arc in the diagram. Calculation Notes Unless it is specifically requested, the ¼ value obtained by accessing the appropriate function in a scientific or graphic calculator should be used in any calculation involv- ing ¼. ALL angles in this unit will be specified in degrees. A guide for teachers – Years 11 and 12 • {7} Measuring arc length In any circle, the length of an arc (l) is proportional to the angle (θ) it creates (subtends) at the centre. For a circle of radius r , the circumference will be 2¼ units. Thus, the length of the arc θ , circumference Æ 360± l θ so . 2¼r Æ 360± θ ) l 2¼r Æ 360± £ θ ¼r Æ 180± £ ¼ Exampler θ (Alternate formulations) Æ £ 180± £ A circle has a radius of 30 cm. Find the length of an arc subtending an angle of 75± at the centre, correct to one decimal place. Solution r ¼ Length of arc θ Æ 180± £ 30¼ 75± Æ 180± £ 39.2699... Æ 39.3 cm ¼ Example An arc of a circle has a length of 30 cm. If the radius of the circle is 25 cm, what angle, correct to the nearest whole degree, does the arc subtend at the centre ? Solution r ¼ 30 θ Æ 180± £ 25¼ θ Æ 180± £ 30 180± θ £ Æ 25 ¼ £ 68.754... 69± Æ ¼ {8} • Spherical Geometry AMSI module Sector The area of a sector depends not only on the radius of the circle r involved, but also the angle be- tween the two straight edges. r 휃 We can see this in the following table : Angle Fraction of circle area Area rule 180± 1 1 2 180± A ¼r 360± Æ 2 Æ 2 £ 90± 1 1 2 90± A ¼r 360± Æ 4 Æ 4 £ 45± 1 1 2 45± A ¼r 360± Æ 8 Æ 8 £ 30± 1 1 2 30± A ¼r 360± Æ 12 Æ 12 £ θ θ θ A ¼r 2 360± Æ 360 £ Example Find the area of a sector with a radius of 40 mm, that contains an angle of 60±, correct to the nearest square millimetre. Solution θ 60± A ¼r 2 ¼402 923.628... 924 mm2 Æ 360± £ Æ 360± £ Æ ¼ A guide for teachers – Years 11 and 12 • {9} Areas of segments Where a chord subtends an angle θ at the r centre of a circle of radius r, the area of the minor segment is given by : 1 µ 2πθ ¶ r Area r 2 sinθ 휃 Æ 2 £ 360± ¡ θ The area of the sector that includes the segment is given by A ¼r 2 Æ 360± £ or rewritten as 1 2πθ A r 2 .
Recommended publications
  • Proofs with Perpendicular Lines
    3.4 Proofs with Perpendicular Lines EEssentialssential QQuestionuestion What conjectures can you make about perpendicular lines? Writing Conjectures Work with a partner. Fold a piece of paper D in half twice. Label points on the two creases, as shown. a. Write a conjecture about AB— and CD — . Justify your conjecture. b. Write a conjecture about AO— and OB — . AOB Justify your conjecture. C Exploring a Segment Bisector Work with a partner. Fold and crease a piece A of paper, as shown. Label the ends of the crease as A and B. a. Fold the paper again so that point A coincides with point B. Crease the paper on that fold. b. Unfold the paper and examine the four angles formed by the two creases. What can you conclude about the four angles? B Writing a Conjecture CONSTRUCTING Work with a partner. VIABLE a. Draw AB — , as shown. A ARGUMENTS b. Draw an arc with center A on each To be prof cient in math, side of AB — . Using the same compass you need to make setting, draw an arc with center B conjectures and build a on each side of AB— . Label the C O D logical progression of intersections of the arcs C and D. statements to explore the c. Draw CD — . Label its intersection truth of your conjectures. — with AB as O. Write a conjecture B about the resulting diagram. Justify your conjecture. CCommunicateommunicate YourYour AnswerAnswer 4. What conjectures can you make about perpendicular lines? 5. In Exploration 3, f nd AO and OB when AB = 4 units.
    [Show full text]
  • Examples of Manifolds
    Examples of Manifolds Example 1 (Open Subset of IRn) Any open subset, O, of IRn is a manifold of dimension n. One possible atlas is A = (O, ϕid) , where ϕid is the identity map. That is, ϕid(x) = x. n Of course one possible choice of O is IR itself. Example 2 (The Circle) The circle S1 = (x,y) ∈ IR2 x2 + y2 = 1 is a manifold of dimension one. One possible atlas is A = {(U , ϕ ), (U , ϕ )} where 1 1 1 2 1 y U1 = S \{(−1, 0)} ϕ1(x,y) = arctan x with − π < ϕ1(x,y) <π ϕ1 1 y U2 = S \{(1, 0)} ϕ2(x,y) = arctan x with 0 < ϕ2(x,y) < 2π U1 n n n+1 2 2 Example 3 (S ) The n–sphere S = x =(x1, ··· ,xn+1) ∈ IR x1 +···+xn+1 =1 n A U , ϕ , V ,ψ i n is a manifold of dimension . One possible atlas is 1 = ( i i) ( i i) 1 ≤ ≤ +1 where, for each 1 ≤ i ≤ n + 1, n Ui = (x1, ··· ,xn+1) ∈ S xi > 0 ϕi(x1, ··· ,xn+1)=(x1, ··· ,xi−1,xi+1, ··· ,xn+1) n Vi = (x1, ··· ,xn+1) ∈ S xi < 0 ψi(x1, ··· ,xn+1)=(x1, ··· ,xi−1,xi+1, ··· ,xn+1) n So both ϕi and ψi project onto IR , viewed as the hyperplane xi = 0. Another possible atlas is n n A2 = S \{(0, ··· , 0, 1)}, ϕ , S \{(0, ··· , 0, −1)},ψ where 2x1 2xn ϕ(x , ··· ,xn ) = , ··· , 1 +1 1−xn+1 1−xn+1 2x1 2xn ψ(x , ··· ,xn ) = , ··· , 1 +1 1+xn+1 1+xn+1 are the stereographic projections from the north and south poles, respectively.
    [Show full text]
  • An Introduction to Topology the Classification Theorem for Surfaces by E
    An Introduction to Topology An Introduction to Topology The Classification theorem for Surfaces By E. C. Zeeman Introduction. The classification theorem is a beautiful example of geometric topology. Although it was discovered in the last century*, yet it manages to convey the spirit of present day research. The proof that we give here is elementary, and its is hoped more intuitive than that found in most textbooks, but in none the less rigorous. It is designed for readers who have never done any topology before. It is the sort of mathematics that could be taught in schools both to foster geometric intuition, and to counteract the present day alarming tendency to drop geometry. It is profound, and yet preserves a sense of fun. In Appendix 1 we explain how a deeper result can be proved if one has available the more sophisticated tools of analytic topology and algebraic topology. Examples. Before starting the theorem let us look at a few examples of surfaces. In any branch of mathematics it is always a good thing to start with examples, because they are the source of our intuition. All the following pictures are of surfaces in 3-dimensions. In example 1 by the word “sphere” we mean just the surface of the sphere, and not the inside. In fact in all the examples we mean just the surface and not the solid inside. 1. Sphere. 2. Torus (or inner tube). 3. Knotted torus. 4. Sphere with knotted torus bored through it. * Zeeman wrote this article in the mid-twentieth century. 1 An Introduction to Topology 5.
    [Show full text]
  • The Sphere Project
    ;OL :WOLYL 7YVQLJ[ +XPDQLWDULDQ&KDUWHUDQG0LQLPXP 6WDQGDUGVLQ+XPDQLWDULDQ5HVSRQVH ;OL:WOLYL7YVQLJ[ 7KHULJKWWROLIHZLWKGLJQLW\ ;OL:WOLYL7YVQLJ[PZHUPUP[PH[P]L[VKL[LYTPULHUK WYVTV[LZ[HUKHYKZI`^OPJO[OLNSVIHSJVTT\UP[` /\THUP[HYPHU*OHY[LY YLZWVUKZ[V[OLWSPNO[VMWLVWSLHMMLJ[LKI`KPZHZ[LYZ /\THUP[HYPHU >P[O[OPZ/HUKIVVR:WOLYLPZ^VYRPUNMVYH^VYSKPU^OPJO [OLYPNO[VMHSSWLVWSLHMMLJ[LKI`KPZHZ[LYZ[VYLLZ[HISPZO[OLPY *OHY[LYHUK SP]LZHUKSP]LSPOVVKZPZYLJVNUPZLKHUKHJ[LK\WVUPU^H`Z[OH[ YLZWLJ[[OLPY]VPJLHUKWYVTV[L[OLPYKPNUP[`HUKZLJ\YP[` 4PUPT\T:[HUKHYKZ This Handbook contains: PU/\THUP[HYPHU (/\THUP[HYPHU*OHY[LY!SLNHSHUKTVYHSWYPUJPWSLZ^OPJO HUK YLÅLJ[[OLYPNO[ZVMKPZHZ[LYHMMLJ[LKWVW\SH[PVUZ 4PUPT\T:[HUKHYKZPU/\THUP[HYPHU9LZWVUZL 9LZWVUZL 7YV[LJ[PVU7YPUJPWSLZ *VYL:[HUKHYKZHUKTPUPT\TZ[HUKHYKZPUMV\YRL`SPMLZH]PUN O\THUP[HYPHUZLJ[VYZ!>H[LYZ\WWS`ZHUP[H[PVUHUKO`NPLUL WYVTV[PVU"-VVKZLJ\YP[`HUKU\[YP[PVU":OLS[LYZL[[SLTLU[HUK UVUMVVKP[LTZ"/LHS[OHJ[PVU;OL`KLZJYPILwhat needs to be achieved in a humanitarian response in order for disaster- affected populations to survive and recover in stable conditions and with dignity. ;OL:WOLYL/HUKIVVRLUQV`ZIYVHKV^ULYZOPWI`HNLUJPLZHUK PUKP]PK\HSZVMMLYPUN[OLO\THUP[HYPHUZLJ[VYH common language for working together towards quality and accountability in disaster and conflict situations ;OL:WOLYL/HUKIVVROHZHU\TILYVMºJVTWHUPVU Z[HUKHYKZ»L_[LUKPUNP[ZZJVWLPUYLZWVUZL[VULLKZ[OH[ OH]LLTLYNLK^P[OPU[OLO\THUP[HYPHUZLJ[VY ;OL:WOLYL7YVQLJ[^HZPUP[PH[LKPU I`HU\TILY VMO\THUP[HYPHU5.6ZHUK[OL9LK*YVZZHUK 9LK*YLZJLU[4V]LTLU[ ,+0;065 7KHB6SKHUHB3URMHFWBFRYHUBHQBLQGG The Sphere Project Humanitarian Charter and Minimum Standards in Humanitarian Response Published by: The Sphere Project Copyright@The Sphere Project 2011 Email: [email protected] Website : www.sphereproject.org The Sphere Project was initiated in 1997 by a group of NGOs and the Red Cross and Red Crescent Movement to develop a set of universal minimum standards in core areas of humanitarian response: the Sphere Handbook.
    [Show full text]
  • Quick Reference Guide - Ansi Z80.1-2015
    QUICK REFERENCE GUIDE - ANSI Z80.1-2015 1. Tolerance on Distance Refractive Power (Single Vision & Multifocal Lenses) Cylinder Cylinder Sphere Meridian Power Tolerance on Sphere Cylinder Meridian Power ≥ 0.00 D > - 2.00 D (minus cylinder convention) > -4.50 D (minus cylinder convention) ≤ -2.00 D ≤ -4.50 D From - 6.50 D to + 6.50 D ± 0.13 D ± 0.13 D ± 0.15 D ± 4% Stronger than ± 6.50 D ± 2% ± 0.13 D ± 0.15 D ± 4% 2. Tolerance on Distance Refractive Power (Progressive Addition Lenses) Cylinder Cylinder Sphere Meridian Power Tolerance on Sphere Cylinder Meridian Power ≥ 0.00 D > - 2.00 D (minus cylinder convention) > -3.50 D (minus cylinder convention) ≤ -2.00 D ≤ -3.50 D From -8.00 D to +8.00 D ± 0.16 D ± 0.16 D ± 0.18 D ± 5% Stronger than ±8.00 D ± 2% ± 0.16 D ± 0.18 D ± 5% 3. Tolerance on the direction of cylinder axis Nominal value of the ≥ 0.12 D > 0.25 D > 0.50 D > 0.75 D < 0.12 D > 1.50 D cylinder power (D) ≤ 0.25 D ≤ 0.50 D ≤ 0.75 D ≤ 1.50 D Tolerance of the axis Not Defined ° ° ° ° ° (degrees) ± 14 ± 7 ± 5 ± 3 ± 2 4. Tolerance on addition power for multifocal and progressive addition lenses Nominal value of addition power (D) ≤ 4.00 D > 4.00 D Nominal value of the tolerance on the addition power (D) ± 0.12 D ± 0.18 D 5. Tolerance on Prism Reference Point Location and Prismatic Power • The prismatic power measured at the prism reference point shall not exceed 0.33Δ or the prism reference point shall not be more than 1.0 mm away from its specified position in any direction.
    [Show full text]
  • Using Non-Euclidean Geometry to Teach Euclidean Geometry to K–12 Teachers
    Using non-Euclidean Geometry to teach Euclidean Geometry to K–12 teachers David Damcke Department of Mathematics, University of Portland, Portland, OR 97203 [email protected] Tevian Dray Department of Mathematics, Oregon State University, Corvallis, OR 97331 [email protected] Maria Fung Mathematics Department, Western Oregon University, Monmouth, OR 97361 [email protected] Dianne Hart Department of Mathematics, Oregon State University, Corvallis, OR 97331 [email protected] Lyn Riverstone Department of Mathematics, Oregon State University, Corvallis, OR 97331 [email protected] January 22, 2008 Abstract The Oregon Mathematics Leadership Institute (OMLI) is an NSF-funded partner- ship aimed at increasing mathematics achievement of students in partner K–12 schools through the creation of sustainable leadership capacity. OMLI’s 3-week summer in- stitute offers content and leadership courses for in-service teachers. We report here on one of the content courses, entitled Comparing Different Geometries, which en- hances teachers’ understanding of the (Euclidean) geometry in the K–12 curriculum by studying two non-Euclidean geometries: taxicab geometry and spherical geometry. By confronting teachers from mixed grade levels with unfamiliar material, while mod- eling protocol-based pedagogy intended to emphasize a cooperative, risk-free learning environment, teachers gain both content knowledge and insight into the teaching of mathematical thinking. Keywords: Cooperative groups, Euclidean geometry, K–12 teachers, Norms and protocols, Rich mathematical tasks, Spherical geometry, Taxicab geometry 1 1 Introduction The Oregon Mathematics Leadership Institute (OMLI) is a Mathematics/Science Partner- ship aimed at increasing mathematics achievement of K–12 students by providing professional development opportunities for in-service teachers.
    [Show full text]
  • And Are Lines on Sphere B That Contain Point Q
    11-5 Spherical Geometry Name each of the following on sphere B. 3. a triangle SOLUTION: are examples of triangles on sphere B. 1. two lines containing point Q SOLUTION: and are lines on sphere B that contain point Q. ANSWER: 4. two segments on the same great circle SOLUTION: are segments on the same great circle. ANSWER: and 2. a segment containing point L SOLUTION: is a segment on sphere B that contains point L. ANSWER: SPORTS Determine whether figure X on each of the spheres shown is a line in spherical geometry. 5. Refer to the image on Page 829. SOLUTION: Notice that figure X does not go through the pole of ANSWER: the sphere. Therefore, figure X is not a great circle and so not a line in spherical geometry. ANSWER: no eSolutions Manual - Powered by Cognero Page 1 11-5 Spherical Geometry 6. Refer to the image on Page 829. 8. Perpendicular lines intersect at one point. SOLUTION: SOLUTION: Notice that the figure X passes through the center of Perpendicular great circles intersect at two points. the ball and is a great circle, so it is a line in spherical geometry. ANSWER: yes ANSWER: PERSEVERANC Determine whether the Perpendicular great circles intersect at two points. following postulate or property of plane Euclidean geometry has a corresponding Name two lines containing point M, a segment statement in spherical geometry. If so, write the containing point S, and a triangle in each of the corresponding statement. If not, explain your following spheres. reasoning. 7. The points on any line or line segment can be put into one-to-one correspondence with real numbers.
    [Show full text]
  • Sphere Vs. 0°/45° a Discussion of Instrument Geometries And
    Sphere vs. 0°/45° ® Author - Timothy Mouw Sphere vs. 0°/45° A discussion of instrument geometries and their areas of application Introduction When purchasing a spectrophotometer for color measurement, one of the choices that must be made is the geometry of the instrument; that is, whether to buy a spherical or 0°/45° instrument. In this article, we will attempt to provide some information to assist you in determining which type of instrument is best suited to your needs. In order to do this, we must first understand the differences between these instruments. Simplified schematics of instrument geometries We will begin by looking at some simple schematic drawings of the two different geometries, spherical and 0°/45°. Figure 1 shows a drawing of the geometry used in a 0°/45° instrument. The illumination of the sample is from 0° (90° from the sample surface). This means that the specular or gloss angle (the angle at which the light is directly reflected) is also 0°. The fiber optic pick-ups are located at 45° from the specular angle. Figure 1 X-Rite World Headquarters © 1995 X-Rite, Incorporated Doc# CA00015a.doc (616) 534-7663 Fax (616) 534-8960 September 15, 1995 Figure 2 shows a drawing of the geometry used in an 8° diffuse sphere instrument. The sphere wall is lined with a highly reflective white substance and the light source is located on the rear of the sphere wall. A baffle prevents the light source from directly illuminating the sample, thus providing diffuse illumination. The sample is viewed at 8° from perpendicular which means that the specular or gloss angle is also 8° from perpendicular.
    [Show full text]
  • Recognizing Surfaces
    RECOGNIZING SURFACES Ivo Nikolov and Alexandru I. Suciu Mathematics Department College of Arts and Sciences Northeastern University Abstract The subject of this poster is the interplay between the topology and the combinatorics of surfaces. The main problem of Topology is to classify spaces up to continuous deformations, known as homeomorphisms. Under certain conditions, topological invariants that capture qualitative and quantitative properties of spaces lead to the enumeration of homeomorphism types. Surfaces are some of the simplest, yet most interesting topological objects. The poster focuses on the main topological invariants of two-dimensional manifolds—orientability, number of boundary components, genus, and Euler characteristic—and how these invariants solve the classification problem for compact surfaces. The poster introduces a Java applet that was written in Fall, 1998 as a class project for a Topology I course. It implements an algorithm that determines the homeomorphism type of a closed surface from a combinatorial description as a polygon with edges identified in pairs. The input for the applet is a string of integers, encoding the edge identifications. The output of the applet consists of three topological invariants that completely classify the resulting surface. Topology of Surfaces Topology is the abstraction of certain geometrical ideas, such as continuity and closeness. Roughly speaking, topol- ogy is the exploration of manifolds, and of the properties that remain invariant under continuous, invertible transforma- tions, known as homeomorphisms. The basic problem is to classify manifolds according to homeomorphism type. In higher dimensions, this is an impossible task, but, in low di- mensions, it can be done. Surfaces are some of the simplest, yet most interesting topological objects.
    [Show full text]
  • The Real Projective Spaces in Homotopy Type Theory
    The real projective spaces in homotopy type theory Ulrik Buchholtz Egbert Rijke Technische Universität Darmstadt Carnegie Mellon University Email: [email protected] Email: [email protected] Abstract—Homotopy type theory is a version of Martin- topology and homotopy theory developed in homotopy Löf type theory taking advantage of its homotopical models. type theory (homotopy groups, including the fundamen- In particular, we can use and construct objects of homotopy tal group of the circle, the Hopf fibration, the Freuden- theory and reason about them using higher inductive types. In this article, we construct the real projective spaces, key thal suspension theorem and the van Kampen theorem, players in homotopy theory, as certain higher inductive types for example). Here we give an elementary construction in homotopy type theory. The classical definition of RPn, in homotopy type theory of the real projective spaces as the quotient space identifying antipodal points of the RPn and we develop some of their basic properties. n-sphere, does not translate directly to homotopy type theory. R n In classical homotopy theory the real projective space Instead, we define P by induction on n simultaneously n with its tautological bundle of 2-element sets. As the base RP is either defined as the space of lines through the + case, we take RP−1 to be the empty type. In the inductive origin in Rn 1 or as the quotient by the antipodal action step, we take RPn+1 to be the mapping cone of the projection of the 2-element group on the sphere Sn [4].
    [Show full text]
  • Geometry: Euclid and Beyond, by Robin Hartshorne, Springer-Verlag, New York, 2000, Xi+526 Pp., $49.95, ISBN 0-387-98650-2
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 39, Number 4, Pages 563{571 S 0273-0979(02)00949-7 Article electronically published on July 9, 2002 Geometry: Euclid and beyond, by Robin Hartshorne, Springer-Verlag, New York, 2000, xi+526 pp., $49.95, ISBN 0-387-98650-2 1. Introduction The first geometers were men and women who reflected on their experiences while doing such activities as building small shelters and bridges, making pots, weaving cloth, building altars, designing decorations, or gazing into the heavens for portentous signs or navigational aides. Main aspects of geometry emerged from three strands of early human activity that seem to have occurred in most cultures: art/patterns, navigation/stargazing, and building structures. These strands developed more or less independently into varying studies and practices that eventually were woven into what we now call geometry. Art/Patterns: To produce decorations for their weaving, pottery, and other objects, early artists experimented with symmetries and repeating patterns. Later the study of symmetries of patterns led to tilings, group theory, crystallography, finite geometries, and in modern times to security codes and digital picture com- pactifications. Early artists also explored various methods of representing existing objects and living things. These explorations led to the study of perspective and then projective geometry and descriptive geometry, and (in the 20th century) to computer-aided graphics, the study of computer vision in robotics, and computer- generated movies (for example, Toy Story ). Navigation/Stargazing: For astrological, religious, agricultural, and other purposes, ancient humans attempted to understand the movement of heavenly bod- ies (stars, planets, Sun, and Moon) in the apparently hemispherical sky.
    [Show full text]
  • The Sphere Packing Problem in Dimension 8 Arxiv:1603.04246V2
    The sphere packing problem in dimension 8 Maryna S. Viazovska April 5, 2017 8 In this paper we prove that no packing of unit balls in Euclidean space R has density greater than that of the E8-lattice packing. Keywords: Sphere packing, Modular forms, Fourier analysis AMS subject classification: 52C17, 11F03, 11F30 1 Introduction The sphere packing constant measures which portion of d-dimensional Euclidean space d can be covered by non-overlapping unit balls. More precisely, let R be the Euclidean d vector space equipped with distance k · k and Lebesgue measure Vol(·). For x 2 R and d r 2 R>0 we denote by Bd(x; r) the open ball in R with center x and radius r. Let d X ⊂ R be a discrete set of points such that kx − yk ≥ 2 for any distinct x; y 2 X. Then the union [ P = Bd(x; 1) x2X d is a sphere packing. If X is a lattice in R then we say that P is a lattice sphere packing. The finite density of a packing P is defined as Vol(P\ Bd(0; r)) ∆P (r) := ; r > 0: Vol(Bd(0; r)) We define the density of a packing P as the limit superior ∆P := lim sup ∆P (r): r!1 arXiv:1603.04246v2 [math.NT] 4 Apr 2017 The number be want to know is the supremum over all possible packing densities ∆d := sup ∆P ; d P⊂R sphere packing 1 called the sphere packing constant. For which dimensions do we know the exact value of ∆d? Trivially, in dimension 1 we have ∆1 = 1.
    [Show full text]