Fundamental Convex Euclidean Geometry and Its Applications

Total Page:16

File Type:pdf, Size:1020Kb

Fundamental Convex Euclidean Geometry and Its Applications Fundamental Convex Euclidean Geometry and its Applications Jon Dattorro June 2003 c 2001 Jon Dattorro, all rights reserved. ° for Jennie Columba ♦ Antonio ♦ ♦ and Sze Wan Sooner or later just like the world first day, Sooner or later we learn to throw the past away. Gordon Sumner − Preface Philosophy in Ph.D., to some these pages may seem stark; quite the con- trary... Very few places in life is it possible to achieve a glimpse of perfection, e.g., musical performance, sports,... Why do this... purpose is belief will make life better for others in some re- spect, reflects hope for the future. Passion...art...what we leave behind...life is short... do this regardless -Jon Dattorro, Stanford 2003 i § § ´ G § ´ § ´ § ´ § ´ § ´ ? § ´ § ? § ´ § ´ § ´ ? ? § ´ § ´ § § ´ ii Acknowledgements Reflecting on help given me all along the way, I am awed by my debt of gratitude: Anthony, Teppo Aatola, Bob Adams, Chuck Bagnaschi, Jeffrey Barish, Keith Barr, Steven Bass, David Beausejour, Leonard Bellin, Dave Berners, Barry Blesser, Stephen Boyd, Merril Bradshaw, Gary Brooks, Jack Brown, Patti Brown, Joe Bryan, Barb Burk, John Calderone, Kathryn Cal´ı,Terri Carter, Reginald Centracchio, Bonnie Charvez, Michael Chille, Jan Chomysin, John Cioffi, Sandra, Josie, and Freddy Colletta, Judy Copice, Kathy and Rita Copley, Gary Corsini, Domenico, Yvonne, Christine, and John D’Attoro, Cosmo Dellagrotta, Robin DeLuca, Lou D’Orsaneo, Tom Destefano, Peggy Donatelli, Jeannie Duguay, Pozzi Escot, Terry Fayer, Maryam Fazel, Carol Feola, Valery and Evelyn Ferrullo, Martin Fischer...(Brown U.), Salvatore Fransosi, Stanley Freedman, Tony Garnett, Ed Gauthier, Jeanette Genovese, Emilia Giglio, Chae Teok Goh, Gene Golub, Tricia Goodrich, Heather Graham, Robert Gray, David Griesinger, Robert Haas, George Heath et al..., Roy Hendrickson, Martin Henry, Mar Hershenson, Haitham Hindi, Evan Holland, Leland Jackson, Rene Jaeger, Joakim Jalden, Sung Dae Jun, Max Kamenetsky, Seymore Kass..., Patricia Keefe, James Koch, Paul Kruger, Helen Kung, Kurzweil..., Mike Ladra, Lynn Lamberis, Paul Lansky, Karen Law, Francis Lee, Scott Levine, Hal Lipset, Nando Lopez-Lezcano, Pat Macdonald, Ed Mahler, Sylvia and David Martinelli, Joyce, Al, and Tilly Menchini, Lisa McFall, Ginny Magee, Jamie Jacobs May, Paul and Angelia McLean, Teresa Meng, Tom Metcalf, Andy Moorer, Denise Murphy, Walter Murray, John O’Donnell, Ray Ouellette, Sal Pandozzi, Bob Peretti, Manny Pokotilow, Timothy Rapa, Doris Rapisardi, Katharina Reissing, Myron Romanul, Marvin Rous, Antonetta and Carlo Russo, Eric Safire, Anthony, Susan, and Esther Scorpio, John Senior, Robin Silver, Josh, Richard, and Jeremy Singer, Terry Stancil, Timothy Stilson, Brigitte Strain, John Strawn, Albert Siu-Toung, David Taraborelli, Robin Tepper, Susan Thomas, Stavros Toumpis, Georgette Trezvant, Jack, Dan, Stella, and Rebecca Tuttle, Maryanne Uccello, Joe Votta, Julia Wade, Shelley Marged Weber, Jennifer Westerlind, Bernard Widrow, Todd Wilson, WinEdt, George and MaryAnn Young, Donna and Joe Zagami iii 1 INTRODUCTION 1 1 Introduction There will be a virtual flood of applications with the realization that many problems hitherto believed non-convex can be transformed or relaxed into convexity. example, LMI books [1] [2]. Circuit design: analog/digital filter synthesis [3], chip design [4, 4.7], [Barcelona], economics [5] [6] [7] ... § [4, 4.3] [8] discuss the relaxation of NP-hard combinatorial problems by semidefinite§ programming. antenna array design, structural mechanics, med- ical imaging, ... Convex geometry and linear algebra are inextricably bonded... Summarize what lies ahead... 2 ESSENTIAL CONVEXITY THEOREMS, DEFINITIONS 2 2 Essential convexity theorems, definitions There is relatively less published pertaining to matrix-valued convex sets and functions. We present only a few pertinent results; purposely abbreviated. We assume the reader to be comfortable with chapters 2 and 3 from [9], while familiar with chapters 4 and 5 there. The essential references are [10] [9] [11]. The reader is referred to [12] [13] [14] [15] [16] (in that order) for a more comprehensive treatment of convexity. 2.1 Sets Definition. Convex set. A set is convex iff for all Y , Z and 0 µ 1, C ∈ C ≤ ≤ µY + (1 µ)Z (1) − ∈ C ⋄ Under that defining constraint on µ , the linear sum in (1) is called a convex combination of Y and Z . If Y and Z are points in Euclidean space n m n R or R × , then (1) represents the closed line segment joining them. All line segments are thereby convex sets; so are all affine sets ( 3.1.1), any ray ( 3.4.2), halfspace ( 3.2.1), hyperplane ( 3.2.2), and subspace.§ 1 Apparent from§ the definition, a§ convex set is a connected§ set. [18, 3.4, 3.5] § § Example. Orthant: the name given to a higher-dimensional generaliza- 2 tion of the term quadrant from the classical Cartesian partition of R . The n n orthant Ri- for example, identifies the region in R whose members’ sole neg- ative coordinate is their ith (analog to quadrant II or IV). The most common n n n is the nonnegative orthant R+ or R+× (I) to which membership denotes all nonnegative vector- or matrix-entries respectively. The nonpositive orthant n n n R- or R-× (III) denotes all negative or zero entries. Orthant convexity is easily verified by definition (1).2 ¤ 1A nonempty subset of a vector space Rn is called a subspace if every vector of the form αx + βy , for α,β R , is in the subset whenever x and y are both in the subset. [5, 2.3] A subspace contains∈ the origin, by definition, and is a convex set. Any subspace§ that does not constitute the whole vector space is called a proper subspace; for example, any hyperplane through the origin. The vector space is itself a subspace, [17, 2.1] inclusively, although not proper. § 2We will later learn that all orthants are self-dual simplicial cones. ( 3.6.2) § 2 ESSENTIAL CONVEXITY THEOREMS, DEFINITIONS 3 Theorem. Intersection. [9, 2] [11, 2] The intersection of an arbitrary collection of convex sets is convex.§ § ⋄ Theorem. Image, Inverse image. [11, 3] [9, 2] Let f be a mapping p k m n § § from R × to R × . The image of a convex set under any affine function • C m n f( )= f(X) X R × (2) C { | ∈ C} ⊆ is convex. The inverse image of a convex set , • F 1 p k f − ( )= X f(X) R × (3) F { | ∈F} ⊆ a single or many-valued mapping, under any affine function f is convex. ⋄ Each converse of this two-part theorem is generally not true; id est, given f affine, a convex image f( ) does not imply that set is convex, and C 1 C neither does a convex inverse image f − ( ) imply that set is convex. A counter-example is easy to visualize whenF the affine function isF an orthogonal projector [19] [5]: Corollary. Projection on subspace. [11, 3] The orthogonal projection of a convex set on a subspace is another convex§ set. ⋄ The corollary is true more generally for projection on hyperplanes. [14, 6.6] Again, the converse is not true. Shadows, for example, are umbral projections§ that can be convex when the object providing the shade is not. 2.1.1 Vectorized matrix inner product Euclidean space Rn comes equipped with a vector inner product <y,z> = yTz (4) that is linear. The vector inner product for matrices is calculated just as it p k pk is for vectors by first transforming a matrix in R × to a vector in R by 2 ESSENTIAL CONVEXITY THEOREMS, DEFINITIONS 4 concatenating its columns in the natural order. For lack of a better term, we shall call that transformation vectorization. For example, the vectorization p k of Y = [y y y ] R × is [20] [21] 1 2 ··· k ∈ y1 ∆ y2 vec Y = . Rpk (5) . ∈ yk Then the vectorized-matrix inner product is the trace of the matrix inner p k product; for Z R × , [9, 2] [10, 0.3.1] [22, 8] [23, 2.2] ∈ § § § § <Y,Z> =∆ tr(Y TZ) = vecT Y vec Z (6) where tr(Y TZ) = tr(ZY T ) = tr(Y ZT ) = tr(ZT Y )= 1T(Y Z)1 (7) ◦ and where denotes the Hadamard product3 of matrices [24] [25, 1.1.4]. ◦ § For example, consider any particular vectors v and w and take any ele- p k ment 1 from a matrix-valued set in R × . Then the vector inner product of withC vwT is C1 <vwT , > = vT w = tr(wvT ) = 1T (vwT ) 1 (8) C1 C1 C1 ◦ C1 ¡ ¢ p k Example. Application of the image theorem. Suppose the set R × p k C ⊆ is convex. Then for any particular vectors v R and w R , the set of vector inner products ∈ ∈ ∆ = vT w = <vwT , > R (9) ℜ C C ⊆ is convex. This result is a consequence of the image theorem. Yet it is easy to show directly that a convex combination of inner products from remains an element of . ℜ ¤ ℜ To verify that, take any two elements and from the convex matrix- C1 C2 valued set , and then form the vector inner products (9) that are two C 3The Hadamard product is a simple entry-wise product of corresponding entries from two matrices of like size; id est, not necessarily square. 2 ESSENTIAL CONVEXITY THEOREMS, DEFINITIONS 5 elements of by definition. Now make a convex combination of those inner products; videlicetℜ , for 0 µ 1, ≤ ≤ µ <vwT , > + (1 µ) <vwT , > = <vwT , µ + (1 µ) > (10) C1 − C2 C1 − C2 The two sides are equivalent by linearity of the inner product. The right-hand side remains a vector inner product of vwT with an element µ + (1 µ) C1 − C2 from the convex set ; hence belongs to . Since that holds true for any two elements from C, then it must be a convexℜ set. ¨ ℜ T p k More generally, vw may be replaced with any particular matrix Z R × ∈ while convexity of the set <Z , > R persists.
Recommended publications
  • Combinatorial and Discrete Problems in Convex Geometry
    COMBINATORIAL AND DISCRETE PROBLEMS IN CONVEX GEOMETRY A dissertation submitted to Kent State University in partial fulfillment of the requirements for the degree of Doctor of Philosophy by Matthew R. Alexander September, 2017 Dissertation written by Matthew R. Alexander B.S., Youngstown State University, 2011 M.A., Kent State University, 2013 Ph.D., Kent State University, 2017 Approved by Dr. Artem Zvavitch , Co-Chair, Doctoral Dissertation Committee Dr. Matthieu Fradelizi , Co-Chair Dr. Dmitry Ryabogin , Members, Doctoral Dissertation Committee Dr. Fedor Nazarov Dr. Feodor F. Dragan Dr. Jonathan Maletic Accepted by Dr. Andrew Tonge , Chair, Department of Mathematical Sciences Dr. James L. Blank , Dean, College of Arts and Sciences TABLE OF CONTENTS LIST OF FIGURES . vi ACKNOWLEDGEMENTS ........................................ vii NOTATION ................................................. viii I Introduction 1 1 This Thesis . .2 2 Preliminaries . .4 2.1 Convex Geometry . .4 2.2 Basic functions and their properties . .5 2.3 Classical theorems . .6 2.4 Polarity . .8 2.5 Volume Product . .8 II The Discrete Slicing Problem 11 3 The Geometry of Numbers . 12 3.1 Introduction . 12 3.2 Lattices . 12 3.3 Minkowski's Theorems . 14 3.4 The Ehrhart Polynomial . 15 4 Geometric Tomography . 17 4.1 Introduction . 17 iii 4.2 Projections of sets . 18 4.3 Sections of sets . 19 4.4 The Isomorphic Busemann-Petty Problem . 20 5 The Discrete Slicing Problem . 22 5.1 Introduction . 22 5.2 Solution in Z2 ............................................. 23 5.3 Approach via Discrete F. John Theorem . 23 5.4 Solution using known inequalities . 26 5.5 Solution for Unconditional Bodies . 27 5.6 Discrete Brunn's Theorem .
    [Show full text]
  • 131 865- EDRS PRICE Technclogy,Liedhanical
    ..DOCUMENT RASH 131 865- JC 760 420 TITLE- Training Program for Teachers of Technical Mathematics in Two-Year Cutricnla. INSTITUTION Queensborough Community Coll., Bayside, N Y. SPONS AGENCY New York State Education Dept., Albany. D v.of Occupational Education Instruction. PUB DATE Jul 76 GRANT VEA-78-2-132 NOTE 180p. EDRS PRICE MP-$0.83 HC-S10.03 Plus Postage. DESCRIPTORS *College Mathematics; Community Colleges; Curriculum Development; Engineering Technology; *Junior Colleges Mathematics Curriculum; *Mathematics Instruction; *Physics Instruction; Practical ,Mathematics Technical Education; *Technical Mathematics Technology ABSTRACT -This handbook 1 is designed'to.aS ist teachers of techhical'mathematics in:developing practically-oriented-curricula -for their students. The upderlying.assumption is that, while technology students are nOt a breed apartr their: needs-and orientation are_to the concrete, rather than the abstract. It describes the:nature, scope,and dontett,of curricula.. in Electrical, TeChnClogy,liedhanical Technology4 Design DraftingTechnology, and: Technical Physics', ..with-particularreterence to:the mathematical skills which are_important for the students,both.incollege.andot -tle job. SaMple mathematical problemsr-derivationSeand.theories tei be stressed it..each of_these.durricula-are presented, as- ate additional materials from the physics an4 mathematics. areas. A frame ok-reference-is.provided through diScussiotS ofthe\careers,for.which-. technology students-are heing- trained'. There.iS alsO &section deioted to
    [Show full text]
  • Research Statement
    RESEARCH STATEMENT SERGII MYROSHNYCHENKO Contents 1. Introduction 1 2. Nakajima-S¨ussconjecture and its functional generalization 2 3. Visual recognition of convex bodies 4 4. Intrinsic volumes of ellipsoids and the moment problem 6 5. Questions of geometric inequalities 7 6. Analytic permutation testing 9 7. Current work and future plans 10 References 12 1. Introduction My research interests lie mainly in Convex and Discrete Geometry with applications of Probability Theory and Harmonic Analysis to these areas. Convex geometry is a branch of mathematics that works with compact convex sets of non-empty interior in Euclidean spaces called convex bodies. The simple notion of convexity provides a very rich structure for the bodies that can lead to surprisingly simple and elegant results (for instance, [Ba]). A lot of progress in this area has been made by many leading mathematicians, and the outgoing work keeps providing fruitful and extremely interesting new results, problems, and applications. Moreover, convex geometry often deals with tasks that are closely related to data analysis, theory of optimizations, and computer science (some of which are mentioned below, also see [V]). In particular, I have been interested in the questions of Geometric Tomography ([Ga]), which is the area of mathematics dealing with different ways of retrieval of information about geometric objects from data about their different types of projections, sections, or both. Many long-standing problems related to this topic are quite intuitive and easy to formulate, however, the answers in many cases remain unknown. Also, this field of study is of particular interest, since it has many curious applications that include X-ray procedures, computer vision, scanning tasks, 3D printing, Cryo-EM imaging processes etc.
    [Show full text]
  • 900.00 Modelability
    986.310 Strategic Use of Min-max Cosmic System Limits 986.311 The maximum limit set of identical facets into which any system can be divided consists of 120 similar spherical right triangles ACB whose three corners are 60 degrees at A, 90 degrees at C, and 36 degrees at B. Sixty of these right spherical triangles are positive (active), and 60 are negative (passive). (See Sec. 901.) 986.312 These 120 right spherical surface triangles are described by three different central angles of 37.37736814 degrees for arc AB, 31.71747441 degrees for arc BC, and 20.90515745 degrees for arc AC__which three central-angle arcs total exactly 90 degrees. These 120 spherical right triangles are self-patterned into producing 30 identical spherical diamond groups bounded by the same central angles and having corresponding flat-faceted diamond groups consisting of four of the 120 angularly identical (60 positive, 60 negative) triangles. Their three surface corners are 90 degrees at C, 31.71747441 degrees at B, and 58.2825256 degrees at A. (See Fig. 986.502.) 986.313 These diamonds, like all diamonds, are rhombic forms. The 30- symmetrical- diamond system is called the rhombic triacontahedron: its 30 mid- diamond faces (right- angle cross points) are approximately tangent to the unit- vector-radius sphere when the volume of the rhombic triacontahedron is exactly tetravolume-5. (See Fig. 986.314.) 986.314 I therefore asked Robert Grip and Chris Kitrick to prepare a graphic comparison of the various radii and their respective polyhedral profiles of all the symmetric polyhedra of tetravolume 5 (or close to 5) existing within the primitive cosmic hierarchy (Sec.
    [Show full text]
  • 15 BASIC PROPERTIES of CONVEX POLYTOPES Martin Henk, J¨Urgenrichter-Gebert, and G¨Unterm
    15 BASIC PROPERTIES OF CONVEX POLYTOPES Martin Henk, J¨urgenRichter-Gebert, and G¨unterM. Ziegler INTRODUCTION Convex polytopes are fundamental geometric objects that have been investigated since antiquity. The beauty of their theory is nowadays complemented by their im- portance for many other mathematical subjects, ranging from integration theory, algebraic topology, and algebraic geometry to linear and combinatorial optimiza- tion. In this chapter we try to give a short introduction, provide a sketch of \what polytopes look like" and \how they behave," with many explicit examples, and briefly state some main results (where further details are given in subsequent chap- ters of this Handbook). We concentrate on two main topics: • Combinatorial properties: faces (vertices, edges, . , facets) of polytopes and their relations, with special treatments of the classes of low-dimensional poly- topes and of polytopes \with few vertices;" • Geometric properties: volume and surface area, mixed volumes, and quer- massintegrals, including explicit formulas for the cases of the regular simplices, cubes, and cross-polytopes. We refer to Gr¨unbaum [Gr¨u67]for a comprehensive view of polytope theory, and to Ziegler [Zie95] respectively to Gruber [Gru07] and Schneider [Sch14] for detailed treatments of the combinatorial and of the convex geometric aspects of polytope theory. 15.1 COMBINATORIAL STRUCTURE GLOSSARY d V-polytope: The convex hull of a finite set X = fx1; : : : ; xng of points in R , n n X i X P = conv(X) := λix λ1; : : : ; λn ≥ 0; λi = 1 : i=1 i=1 H-polytope: The solution set of a finite system of linear inequalities, d T P = P (A; b) := x 2 R j ai x ≤ bi for 1 ≤ i ≤ m ; with the extra condition that the set of solutions is bounded, that is, such that m×d there is a constant N such that jjxjj ≤ N holds for all x 2 P .
    [Show full text]
  • Convex Geometric Connections to Information Theory
    CONVEX GEOMETRIC CONNECTIONS TO INFORMATION THEORY by Justin Jenkinson Submitted in partial fulfillment of the requirements For the degree of Doctor of Philosophy Department of Mathematics CASE WESTERN RESERVE UNIVERSITY May, 2013 CASE WESTERN RESERVE UNIVERSITY School of Graduate Studies We hereby approve the dissertation of Justin Jenkinson, candi- date for the the degree of Doctor of Philosophy. Signed: Stanislaw Szarek Co-Chair of the Committee Elisabeth Werner Co-Chair of the Committee Elizabeth Meckes Kenneth Kowalski Date: April 4, 2013 *We also certify that written approval has been obtained for any proprietary material contained therein. c Copyright by Justin Jenkinson 2013 TABLE OF CONTENTS List of Figures . .v Acknowledgments . vi Abstract . vii Introduction . .1 CHAPTER PAGE 1 Relative Entropy of Convex Bodies . .6 1.1 Notation . .7 1.2 Background . 10 1.2.1 Affine Invariants . 11 1.2.2 Associated Bodies . 13 1.2.3 Entropy . 15 1.3 Mean Width Bodies . 16 1.4 Relative Entropies of Cone Measures and Affine Surface Areas . 24 1.5 Proof of Theorem 1.4.1 . 30 2 Geometry of Quantum States . 37 2.1 Preliminaries from Convex Geometry . 39 2.2 Summary of Volumetric Estimates for Sets of States . 44 2.3 Geometric Measures of Entanglement . 51 2.4 Ranges of Various Entanglement Measures and the role of the Di- mension . 56 2.5 Levy's Lemma and its Applications to p-Schatten Norms . 60 2.6 Concentration for the Support Functions of PPT and S ...... 64 2.7 Geometric Banach-Mazur Distance between PPT and S ...... 66 2.8 Hausdorff Distance between PPT and S in p-Schatten Metrics .
    [Show full text]
  • Convex and Combinatorial Geometry Fest
    Convex and Combinatorial Geometry Fest Abhinav Kumar (MIT), Daniel Pellicer (Universidad Nacional Autonoma de Mexico), Konrad Swanepoel (London School of Economics and Political Science), Asia Ivi´cWeiss (York University) February 13–February 15 2015 Karoly Bezdek and Egon Schulte are two geometers who have made important and numerous contribu- tions to Discrete Geometry. Both have trained many young mathematicians and have actively encouraged the development of the area by professors of various countries. Karoly Bezdek studied the illumination problem among many other problems about packing and covering of convex bodies. More recently he has also contributed to the theory of packing of equal balls in three-space and to the study of billiards, both of which are important for physicists. He has contributed two monographs [1, 2] in Discrete Geometry. Egon Schulte, together with Ludwig Danzer, initiated the study on abstract polytopes as a way to enclose in the same theory objects with combinatorial properties resembling those of convex polytopes. An important cornerstone on this topic is his monograph with Peter McMullen [11]. In the latest years he explored the link between abstract polytopes and crystallography. In this Workshop, which is a continuation of the preceding five-day one, we explored the ways in which the areas of abstract polytopes and discrete convex geometry has been influenced by the work of the two researchers. The last three decades have witnessed the revival of interest in these subjects and great progress has been made on many fundamental problems. 1 Abstract polytopes 1.1 Highly symmetric combinatorial structures in 3-space Asia Ivic´ Weiss kicked off the workshop, discussing joint work with Daniel Pellicer [15] on the combinatorial structure of Schulte’s chiral polyhedra.
    [Show full text]
  • Convex Bodies and Algebraic Geometry an Introduction to the Theory of Toric Varieties
    T. Oda Convex Bodies and Algebraic Geometry An Introduction to the Theory of Toric Varieties Series: Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, Vol. 15 The theory of toric varieties (also called torus embeddings) describes a fascinating interplay between algebraic geometry and the geometry of convex figures in real affine spaces. This book is a unified up-to-date survey of the various results and interesting applications found since toric varieties were introduced in the early 1970's. It is an updated and corrected English edition of the author's book in Japanese published by Kinokuniya, Tokyo in 1985. Toric varieties are here treated as complex analytic spaces. Without assuming much prior knowledge of algebraic geometry, the author shows how elementary convex figures give rise to interesting complex analytic spaces. Easily visualized convex geometry is then used to describe algebraic geometry for these spaces, such as line bundles, projectivity, automorphism groups, birational transformations, differential forms and Mori's theory. Hence this book might serve as an accessible introduction to current algebraic geometry. Conversely, the algebraic geometry of toric Softcover reprint of the original 1st ed. varieties gives new insight into continued fractions as well as their higher-dimensional 1988, VIII, 212 p. analogues, the isoperimetric problem and other questions on convex bodies. Relevant results on convex geometry are collected together in the appendix. Printed book Softcover ▶ 109,99 € | £99.99 | $139.99 ▶ *117,69 € (D) | 120,99 € (A) | CHF 130.00 Order online at springer.com ▶ or for the Americas call (toll free) 1-800-SPRINGER ▶ or email us at: [email protected].
    [Show full text]
  • 41 Three Dimensional Shapes
    41 Three Dimensional Shapes Space figures are the first shapes children perceive in their environment. In elementary school, children learn about the most basic classes of space fig- ures such as prisms, pyramids, cylinders, cones and spheres. This section concerns the definitions of these space figures and their properties. Planes and Lines in Space As a basis for studying space figures, first consider relationships among lines and planes in space. These relationships are helpful in analyzing and defining space figures. Two planes in space are either parallel as in Figure 41.1(a) or intersect as in Figure 41.1(b). Figure 41.1 The angle formed by two intersecting planes is called the dihedral angle. It is measured by measuring an angle whose sides line in the planes and are perpendicular to the line of intersection of the planes as shown in Figure 41.2. Figure 41.2 Some examples of dihedral angles and their measures are shown in Figure 41.3. 1 Figure 41.3 Two nonintersecting lines in space are parallel if they belong to a common plane. Two nonintersecting lines that do not belong to the same plane are called skew lines. If a line does not intersect a plane then it is said to be parallel to the plane. A line is said to be perpendicular to a plane at a point A if every line in the plane through A intersects the line at a right angle. Figures illustrating these terms are shown in Figure 41.4. Figure 41.4 Polyhedra To define a polyhedron, we need the terms ”simple closed surface” and ”polygonal region.” By a simple closed surface we mean any surface with- out holes and that encloses a hollow region-its interior.
    [Show full text]
  • The Isoperimetric Inequality: Proofs by Convex and Differential Geometry
    Rose-Hulman Undergraduate Mathematics Journal Volume 20 Issue 2 Article 4 The Isoperimetric Inequality: Proofs by Convex and Differential Geometry Penelope Gehring Potsdam University, [email protected] Follow this and additional works at: https://scholar.rose-hulman.edu/rhumj Part of the Analysis Commons, and the Geometry and Topology Commons Recommended Citation Gehring, Penelope (2019) "The Isoperimetric Inequality: Proofs by Convex and Differential Geometry," Rose-Hulman Undergraduate Mathematics Journal: Vol. 20 : Iss. 2 , Article 4. Available at: https://scholar.rose-hulman.edu/rhumj/vol20/iss2/4 The Isoperimetric Inequality: Proofs by Convex and Differential Geometry Cover Page Footnote I wish to express my sincere thanks to Professor Dr. Carla Cederbaum for her continuing guidance and support. I am grateful to Dr. Armando J. Cabrera Pacheco for all his suggestions to improve my writing style. And I am also thankful to Michael and Anja for correcting my written English. In addition, I am also gradeful to the referee for his positive and detailed report. This article is available in Rose-Hulman Undergraduate Mathematics Journal: https://scholar.rose-hulman.edu/rhumj/ vol20/iss2/4 Rose-Hulman Undergraduate Mathematics Journal VOLUME 20, ISSUE 2, 2019 The Isoperimetric Inequality: Proofs by Convex and Differential Geometry By Penelope Gehring Abstract. The Isoperimetric Inequality has many different proofs using methods from diverse mathematical fields. In the paper, two methods to prove this inequality will be shown and compared. First the 2-dimensional case will be proven by tools of ele- mentary differential geometry and Fourier analysis. Afterwards the theory of convex geometry will briefly be introduced and will be used to prove the Brunn–Minkowski- Inequality.
    [Show full text]
  • The Fragmentation of Being and the Path Beyond the Void 1555 Copyright 1994 Kent D
    DRAFT Fragment 34 AUTOPOIETIC STRUCTURE In this essay, a hypothetical structure of the autopoietic system will be explored. This structure has been alluded to throughout the foregoing metaphysical development of the importance of the autopoietic concept. But it is good to have a purely structural model to refer to in order to develop the metaphysical concepts at a more concrete level of the general architecture of autopoietic systems. This development will depart from the structure given by Plato, and will attempt to give a model that is clearer and more internally coherent, developed from first principles. This is not to say that all autopoietic systems necessarily have this form, but that it is closer to the archetypal form and more clearly of an axiomatic simplicity and purity. It is posited that autopoietic systems may take an unknown variety of forms, and that we are merely giving one which is closest to the threshold of minimality. Much of the contents of this essay owes its insights to work cited earlier on software development methodologies and software development work process. This concrete discipline lent itself to developing these ideas in The Fragmentation of Being and The Path Beyond The Void 1555 Copyright 1994 Kent D. Palmer. All rights reserved. Not for distribution. AUTOPOIETIC STRUCTURE unexpected ways. Some steps toward the position stated here may be found in my series on Software Engineering Foundations and the article on The Future Of Software Process. In the latter article, I attempted to articulate what an autopoietic software process might look like. In the course of developing those ideas and realizing their connection to the work on software design methods, the following approach to defining the autopoietic system arose.
    [Show full text]
  • &Doliruqld 6Flhqfh &Hqwhu
    &DOLIRUQLD6FLHQFH&HQWHU &$/,)251,$67$7(6&,(1&()$,5 2001 PROJECT SUMMARY Your Name (List all student names if multiple authors.) Science Fair Use Only Eric A. Ford Project Title (Limit: 120 characters. Those beyond 120 will be ignored. See pg. 9) J1111 Fair Dice? Division X Junior (6-8) Senior (9-12) Preferred Category (See page 5 for descriptions.) 11 - Mathematics & Software Abstract (Include Objective, Methods, Results, Conclusion. See samples on page 14.) Use no attachments. Only text inside these boxes will be used for category assignment or given to your judges. My objective was to test my hypothesis that the regular polyhedral dice I was testing (a tetrahedron, an octahedron, a dodecahedron, an icosahedron, and a rhombic triacontahedron) would be fair dice and that a non-isohedral pentahedral solid, which I predicted would be more likely to land on its larger faces more frequently than its smaller ones, would not be fair. I determined if each die were fair by conducting a set number of throws (50 times the number of sides of the die) under the same conditions, which I recorded on separate tally sheets, using different colors for each set of ten times the number of sides of the die. I was then able to determine what values were reached for each increment and enter those data into a spreadsheet that I had set up to calculate the chi-square values. Next, I calculated the confidence percentages and confidence intervals for each set of rolls. I believed that if the chi-square values reached a confidence level of 95% for a given die, it could be considered fair.
    [Show full text]