arxiv: v2 [math.ho] 10 May 2018
|
|
- Alaina Hood
- 5 years ago
- Views:
Transcription
1 Constructive Harmonic Conjugates Mark Mandelkern arxiv: v2 [math.ho] 10 May 2018 Abstract In the study of the real projective plane, harmonic conjugates have an essential role, with applications to projectivities, involutions, and polarity. The construction of a harmonic conjugate requires the selection of auxiliary elements; it must be verified, with an invariance theorem, that the result is independent of the choice of these auxiliary elements. A constructive proof of the invariance theorem is given here; the methods used follow principles put forth by Errett Bishop. 1 Introduction The classical theory of the real projective plane is highly nonconstructive; it relies heavily, at nearly every turn, on the Law of Excluded Middle. For example, in classical treatises it is assumed that a given point is either on a given line, or outside the line, although this assumption is constructively invalid. 1 We follow the constructivist principles put forward by Errett Bishop [1]. Avoiding the Law of Excluded Middle, constructive mathematics is a generalization of classical mathematics, just as group theory, a generalization of abelian group theory, avoids the commutative law. Thus every result and proof obtained constructively is also classically valid. For the origins of modern constructivism, and the disengagement of mathematics from formal logic, see Bishop s Constructivist Manifesto [1, 2, Chapter 1]. Further discussion and additional references will be found in [6]. A constructive real projective plane is constructed in [6]; topics include Desargues s Theorem, harmonic conjugates, projectivities, involutions, conics, Pascal s Theorem, poles, and polars. Here we are concerned with the invariance theorem for harmonic conjugates. The construction of the harmonic conjugate of a point requires the selection of auxiliary elements; it must be demonstrated that the result is uniquely determined, independent of the choice of these auxiliary elements Mathematics Subject Classification. Primary 51A05; Secondary 03F65. Key words and phrases. Projective geometry, harmonic conjugates, constructive mathematics. 1 See, e.g., [6, Example 1.1] 1
2 In an intuitionistic context, a harmonic conjugate construction was given by A. Heyting [5, Section 7]. However, the proof of the invariance theorem given there uses axioms for projective space; it does not apply to a projective plane constructed using only axioms for a plane. Moreover, the proof is incomplete; it applies only to points distinct from the base points. For applications of harmonic conjugates, e.g., to projectivities, involutions, and polarity, a complete proof is required. A harmonic conjugate construction is given in [6], using only axioms for a plane; it applies uniformly to all points on the base line. However, the proof of the invariance theorem [6, Theorem 4.7] given there is incorrect; aside from the error, the proof is excessively complicated, and objectionable on several counts. The discovery of the error 2 is due to Guillermo Calderón [3]; he also obtained a proof of the invariance theorem, using the method of [6], within a computer formalization of projective geometry [4]. Using a method which is simpler, more transparent, and more direct, than the method used in [6], we will give a constructive proof of the invariance theorem below in Section 3. Background information, references to other work in constructive geometry, and properties of the constructive real projective plane, will be found in [6]. 2 Preliminaries Axioms, definitions, and results are given in [6] for the constructive real projective plane P. One axiom has a preëminent standing in the axiom system; it is indispensable for virtually all constructive proofs involving the plane P. Axiom C7. [6, Section 2] If l and m are distinct lines, and P is a point such that P l m, then either P / l or P / m. This axiom is a strongly-worded constructive form of the classical statement that the point common to two distinct lines is unique. The proof of the invariance theorem requires Desargues s Theorem and its converse. The following definition includes explicit details which are required for constructive applications of Desargues s Theorem. Definition 2.1. Two triangles are distinct if corresponding vertices are distinct and corresponding sides are distinct. 3 Distinct triangles are said to be perspective from the center O if the lines joining corresponding vertices are concurrent at the point O, and O lies outside 4 each of the sides. Distinct triangles are said to be perspective from the axis l if the points of intersection of corresponding sides are collinear on the line l, and l avoids 5 each of the vertices. 2 The error in the proof of [6, Theorem 4.7] is in the use of the conclusion of step (7) beyond that step, whereas it is valid only in relation to an assumption made in a previous step. 3 It is then easily shown that the lines joining corresponding vertices are distinct, and the points of intersection of corresponding sides are distinct. 4 The relation P lies outside l, or l avoids P, written P / l, is used here in a strict, affirmative sense; q.v., [6, Definition 2.3]. 5 Ibid. 2
3 Desargues s Theorem is adopted as an axiom in [6], and then used to prove the converse. Axiom. Desargues s Theorem. If distinct triangles are perspective from a center, then they are perspective from an axis. Theorem 2.2. [6, Theorem 3.2] If distinct triangles are perspective from an axis, then they are perspective from a center. The preliminary results below will be required for the proof of the invariance theorem. In classical work, harmonic conjugates are often defined using quadrangles; this necessitates a separate definition for the base points. Constructively, it is not known whether or not an arbitrary point on the line coincides with a base point. Thus we use the following less-problematic definition, which applies uniformly to each point on the line. Definition 2.3. [6, Definition 4.1] Let A and B be distinct points. For any point C on the line AB, select a line l through C, distinct from AB, and select a point R lying outside each of the lines AB and l. Set P = BR l, Q = AR l, and S = AP BQ. Pending verification in Theorem 3.2, the point D = AB RS will be called the harmonic conjugate of C with respect to the points A,B; we write D = h(a,b;c). Lemma 2.4. [6, Lemma 4.2] In Definition 2.3, for the construction of a harmonic conjugate, (a) P A, Q B, P Q. (b) P / AR, Q / BR, A / BR, B / AR. (c) AR BR, AP AR, AP BR, BQ BR, BQ AR. Lemma 2.5. [6, Lemma 4.4] In Definition 2.3, h(a,b;a) = A and h(a,b;b) = B, for any selection of the auxiliary elements (l,r). Lemma 2.6. [6, Lemma 4.5] In Definition 2.3, for the construction of a harmonic conjugate, (a) If C A, then Q / AB, Q S, S A, and D A. (b) If C B, then P / AB, P S, S B, and D B. Lemma 2.7. [6, Lemma 4.6] In Definition 2.3, for the construction of a harmonic conjugate, let the point C be distinct from each base point; i.e., C A and C B. Then the four points P,Q,R,S are distinct and lie outside the base line AB, and each subset of three points is noncollinear. 3 The invariance theorem In proving the invariance theorem, we consider first a situation in which the configuration allows application of Desargues s Theorem and its converse. Theorem 3.1. In Definition 2.3, let auxiliary element selections (l,r) and (l,r ) be used to construct harmonic conjugates D and D of the point C. If the point C is distinct from each base point; i.e., C A and C B, and AR AR, BR BR, and l l, l CP 1, l CQ 1, where P 1 = AP BR and Q 1 = BQ AR, then D = D. 3
4 Proof. We first check the validity of the conditions. Since C A and C B, the results of Lemma 2.7 will apply to the points P,Q,R,S, and also to the points P,Q,R,S. Since R / AB, we have AB BR. Since A B = AB BR, it follows from Axiom C7 that A / BR, and thus AP BR. By symmetry, BQ AR. Thus the definitions of P 1 and Q 1 are valid. Also, we see that A P 1 and B Q 1. Since P / AB, we have AB AP. Since P 1 A = AB AP, it follows that P 1 / AB, and thus P 1 C. Similarly, Q 1 C. This shows that the conditions specified for l are meaningful. (1) Suppose that D D. (2) Since R A = AR AR, it follows that R / AR, and thus R R. From the conditions AR AR and BR BR, we see that QR Q R and PR P R. By Lemma 2.4(a), we see that l = PQ and l = P Q ; thus PQ P Q. Since D D = AB R S, it follows that D / R S, and thus RS R S. Since P C = l CP 1, it follows that P / CP 1, and thus P P 1. Since P P 1 = AP BR, it follows that P / AP, and thus P P. Also, AP AP ; i.e., PS P S. 6 By symmetry, we have Q / BQ, Q Q, and QS Q S. 7 Since S A = AP AP, it follows that S / AP, and thus S S. The above, together with Lemma 2.7, shows that the quadrangles PQRS and P Q R S have distinct corresponding vertices and distinct corresponding sides, that the corresponding contained triangles are distinct, and that the line AB avoids all eight vertices. (3) The triangles PQR and P Q R have corresponding sides that meet at points QR Q R = A, PR P R = B, and PQ P Q = l l = C; thus they are perspective from the axis AB. By the converse to Desargues s Theorem, the triangles are perspective from a center; setting O = PP QQ, it follows that O RR. This also shows that O lies outside each of the six sides of these triangles, and that O R and O R. (4) The triangles PQS and P Q S are also perspective from the axis AB; thus they are perspective from the center O, and it follows that O SS. Also, O lies outside each of the six sides of these triangles, O S, and O S. (5) To apply Desargues s Theorem to the triangles PRS and P R S, all the required distinctness conditions have been verified above, except for one; it remains to be shown that the point O lies outside each of the sides RS and R S. It was shown at (2) that RS R S ; define E = RS R S. By cotransitivity, 8 either E S or E R. In the first case, since S E = RS R S, it follows that S / R S, and thus SS R S. Since O S = SS R S, it follows that O / R S. In the second case, since R E = RS R S, it follows that R / R S, and thus RR R S. Since O R = RR R S, it follows that O / R S. Thus in each case we obtain O / R S. Similarly, either E S or E R, and by symmetry we find that O / RS. (6) Now the triangles PRS and P R S are perspective from the center O. By Desargues s Theorem, these triangles are perspective from the axis (PS P S )(PR P R ) = AB, and thus RS R S AB. Hence E = D and E = D, contradicting 6 As for the necessity of taking the points P 1, Q 1 into account, note that if the line l were to pass through the point P 1, then we would have PS = P S. Similarly, if l were to pass through Q 1, then we would have QS = Q S. 7 Ibid. 8 For the properties of the inequality relation used here, see, e.g., [6, Definition 2.1]. 4
5 our assumption at (1); thus we have (D D ), and it follows from the tightness property of the inequality relation 9 that D = D. Theorem 3.2. Invariance Theorem. Let the projective plane P be such that at least eight distinct lines 10 pass through any given point. In Definition 2.3, let auxiliary element selections (l,r) and (l,r ) be used to construct harmonic conjugates D and D of the point C. Then D = D ; the harmonic conjugate construction is independent of the choice of auxiliary elements. Proof. We construct a third selection of auxiliary elements, and then utilize two applications of Theorem 3.1. (1) Suppose that D D. (2) By cotransitivity, either A D or A D ; by symmetry, it will suffice to consider the first case. Since A D = AB RS, it follows from Axiom C7 that A / RS, and thus A S. Since A S = AP BQ, it follows that A / BQ, and thus A Q. Since A Q = AR l, it follows that A / l, and thus A C. Similarly, B C. Thus the point C is distinct from each base point. (3) Select a line m through the point A such that m AB, m AR, and m AR. Select a line n through the point B such that n AB, n BR, and n BR. Since A B = AB n, it follows that A / n, and thus m n. Define R = m n; since A / n, we have A R. Since R A = AB m, it follows that R / AB. Since AR = m, it is clear that AR AR, and AR AR ; by symmetry, BR BR and BR BR. As verified in Theorem 3.1, we may define the points P 1 = AP BR, Q 1 = BQ AR, P 2 = AP BR, Q 2 = BQ AR, and note that these four points are distinct from the point C. Now select a line l through the point C such that l CR ; l l, l CP 1, l CQ 1 ; and l l, l CP 2, l CQ 2. Since R C = CR l, it follows that R / l. (4) The above shows that the auxiliary element selection (l,r ) satisfies the conditions for Definition 2.3, resulting in a harmonic conjugate D. This third selection (l,r ) also satisfies the conditions of Theorem 3.1, relating it to each of the selections (l,r) and (l,r ). Two applications of Theorem 3.1 now show that D = D andd = D, contradicting our assumption at (1); thus we have (D D ), and it follows that D = D. The harmonic conjugates constructed here can now be related to the traditional quadrangle configuration. 11 Corollary 3.3. [6, Lemma 4.8] Let A,B,C,D be collinear points, with A B, and C distinct from both points A and B. Then D = h(a,b;c) if and only if there exists a quadrangle PQRS, with vertices outside the line AB, such that A = PS QR, B = PR QS, C PQ, and D RS. Additional results concerning constructive harmonic conjugates, including applications to projectivities, involutions, and polarity, will be found in [6]. 9 Ibid. 10 In [6, Section 5], Axiom E specified at least six lines through any point. 11 See, e.g., [7, Chapter IV]. 5
6 Acknowledgments. Thanks are due Guillermo Calderón for discovering the error in the proof of the invariance theorem in [6], and for the communication [3]. References [1] E. Bishop, Foundations of Constructive Analysis, McGraw-Hill, New York, [2] E. Bishop and D. Bridges, Constructive Analysis, Springer-Verlag, Berlin, [3] G. Calderón, from Montevideo, Uruguay, March 16, [4] G. Calderón, Formalizing constructive projective geometry in Agda, pp , in LSFA 2017: the 12th Workshop on Logical and Semantic Frameworks, with Applications, September 2017, Brasília. [5] A. Heyting, Zur intuitionistischen Axiomatik der projektiven Geometrie, Math. Ann. 98: , [6] M. Mandelkern, A constructive real projective plane, J. Geom. 107: 19-60, [7] O. Veblen and J. W. Young, Projective Geometry, Vol. 1, Ginn, Boston, Department of Mathematics New Mexico State University Las Cruces, New Mexico USA mandelkern@zianet.com, mmandelk@nmsu.edu web: April 28, 2018; rev. May 9,
Correctness of depiction in planar diagrams of spatial figures
arxiv:1403.3621v1 [math.gm] 12 Mar 2014 Correctness of depiction in planar diagrams of spatial figures P. L. Robinson This study was motivated in part by the following question: is it possible to decide
More informationConstructive Coordinatization of Desarguesian Planes
Constructive Coordinatization of Desarguesian Planes Mark Mandelkern Abstract. 1 A classical theory of Desarguesian geometry, originating with D. Hilbert in his 1899 treatise Grundlagen der Geometrie,
More informationCONVEXITY AND OSCULATION IN NORMED SPACES
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 43, Number 2, 2013 CONVEXITY AND OSCULATION IN NORMED SPACES MARK MANDELKERN ABSTRACT. Constructive properties of uniform convexity, strict convexity, near
More informationOn the Generalized Gergonne Point and Beyond
Forum Geometricorum Volume 8 (2008) 151 155. FORUM GEOM SSN 1534-1178 On the Generalized Gergonne Point and Beyond Miklós Hoffmann and Sonja Gorjanc Abstract. n this paper we further extend the generalization
More informationOn Pappus configuration in non-commutative projective geometry
Linear Algebra and its Applications 331 (2001) 203 209 www.elsevier.com/locate/laa On Pappus configuration in non-commutative projective geometry Giorgio Donati Dipartimento di Matematica della, Seconda
More informationFINITE AFFINE PLANES. An incidence structure α = (P α, L α ) is said to be a finite affine plane if the following axioms are
FINITE AFFINE PLANES An incidence structure α = (P α, L α ) is said to be a finite affine plane if the following axioms are satisfied. A1 Every pair of distinct points are joined by exactly one line. A2
More informationDesign Theory Notes 1:
----------------------------------------------------------------------------------------------- Math 6023 Topics in Discrete Math: Design and Graph Theory Fall 2007 ------------------------------------------------------------------------------------------------
More informationSMT Power Round Solutions : Poles and Polars
SMT Power Round Solutions : Poles and Polars February 18, 011 1 Definition and Basic Properties 1 Note that the unit circles are not necessary in the solutions. They just make the graphs look nicer. (1).0
More informationSynthetic foundations of cevian geometry, II: The center of the cevian conic
arxiv:1505.05381v2 [math.mg] 14 Aug 2015 Synthetic foundations of cevian geometry, II: The center of the cevian conic 1 Introduction. Igor Minevich and atrick Morton 1 August 17, 2015 In this paper we
More informationA Quadrilateral and resulting Conics Part 2 A Special Case showing the role of the New Points X and Y
A Quadrilateral and resulting Conics Part 2 A Special Case showing the role of the New Points X and Y Christopher Bradley Article: CJB/231/2012 To 2 11 T G U To F To 7 X 24 41 P B A 13 1 34 14S D 5 6 E
More informationNeutral Geometry. October 25, c 2009 Charles Delman
Neutral Geometry October 25, 2009 c 2009 Charles Delman Taking Stock: where we have been; where we are going Set Theory & Logic Terms of Geometry: points, lines, incidence, betweenness, congruence. Incidence
More informationLESSON 2 5 CHAPTER 2 OBJECTIVES
LESSON 2 5 CHAPTER 2 OBJECTIVES POSTULATE a statement that describes a fundamental relationship between the basic terms of geometry. THEOREM a statement that can be proved true. PROOF a logical argument
More informationTEN AXIOMS FOR THREE DIMENSIONAL EUCLIDEAN GEOMETRY
TEN AXIOMS FOR THREE DIMENSIONAL EUCLIDEAN GEOMETRY LINO GUTIERREZ NOVOA 1. Introduction. The notion of an w-ordered set, introduced in [3], allows a drastic reduction in the number of axioms usually employed
More informationThe Uniform Distributions Puzzle
The Uniform Distributions Puzzle Luc Lauwers Center for Economic Studies, K.U.Leuven Naamsestraat 69, B-3000 Leuven, BELGIUM Luc.Lauwers@econ.kuleuven.be July 17, 2007 In the usual, countably additive
More informationSCTT The pqr-method august 2016
SCTT The pqr-method august 2016 A. Doledenok, M. Fadin, À. Menshchikov, A. Semchankau Almost all inequalities considered in our project are symmetric. Hence if plugging (a 0, b 0, c 0 ) into our inequality
More information8. Quadrilaterals. If AC = 21 cm, BC = 29 cm and AB = 30 cm, find the perimeter of the quadrilateral ARPQ.
8. Quadrilaterals Q 1 Name a quadrilateral whose each pair of opposite sides is equal. Mark (1) Q 2 What is the sum of two consecutive angles in a parallelogram? Mark (1) Q 3 The angles of quadrilateral
More informationADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS
J. OPERATOR THEORY 44(2000), 243 254 c Copyright by Theta, 2000 ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS DOUGLAS BRIDGES, FRED RICHMAN and PETER SCHUSTER Communicated by William B. Arveson Abstract.
More informationConstructive analysis
Constructive analysis Philosophy, Proof and Fundamentals Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology (JAIST) Nomi, Ishikawa 923-1292, Japan Interval
More informationNAME: Date: HOMEWORK: C1. Question Obtained. Total/100 A 80 B 70 C 60 D 50 E 40 U 39
NAME: Date: HOMEWORK: C1 Question Obtained 1 2 3 4 5 6 7 8 9 10 Total/100 A 80 B 70 C 60 D 50 E 40 U 39 1. Figure 2 y A(1, 7) B(20, 7) D(8, 2) O x C(p, q) The points A(1, 7), B(20, 7) and C(p, q) form
More informationMorphisms of polar spaces
Morphisms of polar spaces Claude-Alain Faure and Gavin J. Seal August 20, 2002 Abstract Polar spaces are presented from the point of view of paraprojective spaces. Morphisms are introduced and some immediate
More informationCHAPTER 8: EXPLORING R
CHAPTER 8: EXPLORING R LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN In the previous chapter we discussed the need for a complete ordered field. The field Q is not complete, so we constructed
More informationLacunary Polynomials over Finite Fields Course notes
Lacunary Polynomials over Finite Fields Course notes Javier Herranz Abstract This is a summary of the course Lacunary Polynomials over Finite Fields, given by Simeon Ball, from the University of London,
More informationOn Tripolars and Parabolas
Forum Geometricorum Volume 12 (2012) 287 300. FORUM GEOM ISSN 1534-1178 On Tripolars and Parabolas Paris Pamfilos bstract. Starting with an analysis of the configuration of chords of contact points with
More informationConstructivism Is Difficult
Constructivism Is Difficult Eric Schechter In a recent issue of this MONTHLY, Fred Richman[8] discussed existence proofs. Richman s conclusion, as I understood it, was that once a mathematician sees the
More informationy hsn.uk.net Straight Line Paper 1 Section A Each correct answer in this section is worth two marks.
Straight Line Paper 1 Section Each correct answer in this section is worth two marks. 1. The line with equation = a + 4 is perpendicular to the line with equation 3 + + 1 = 0. What is the value of a?.
More informationNear convexity, metric convexity, and convexity
Near convexity, metric convexity, and convexity Fred Richman Florida Atlantic University Boca Raton, FL 33431 28 February 2005 Abstract It is shown that a subset of a uniformly convex normed space is nearly
More informationON THE RELATIVE LENGTHS OF SIDES OF CONVEX POLYGONS. Zsolt Lángi
ON THE RELATIVE LENGTHS OF SIDES OF CONVEX POLYGONS Zsolt Lángi Abstract. Let C be a convex body. By the relative distance of points p and q we mean the ratio of the Euclidean distance of p and q to the
More informationLatin Squares and Projective Planes Combinatorics Seminar, SPRING, 2010
Latin Squares and Projective Planes Combinatorics Seminar, SPRING, 2010 1 CHAPTER 1 Finite Fields F 4 (x 2 + x + 1 is irreducable) x x + 1 x x + 1 1 x + 1 1 x 1. Examples F 4 = {(a, b) a, b Z 2 } (a,
More informationPrimitive arcs in P G(2, q)
Primitive arcs in P G(2, q) L. Storme H. Van Maldeghem December 14, 2010 Abstract We show that a complete arc K in the projective plane P G(2, q) admitting a transitive primitive group of projective transformations
More informationarxiv: v3 [math.co] 1 Oct 2018
NON-SPANNING LATTICE 3-POLYTOPES arxiv:7.07603v3 [math.co] Oct 208 Abstract. We completely classify non-spanning 3-polytopes, by which we mean lattice 3-polytopes whose lattice points do not affinely span
More informationConstructive (functional) analysis
Constructive (functional) analysis Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology (JAIST) Nomi, Ishikawa 923-1292, Japan Proof and Computation, Fischbachau,
More informationAn adjoint construction for topological models of intuitionistic modal logic Extended abstract
An adjoint construction for topological models of intuitionistic modal logic Extended abstract M.J. Collinson, B.P. Hilken, D.E. Rydeheard April 2003 The purpose of this paper is to investigate topological
More informationThe uniform distributions puzzle
The uniform distributions puzzle by Luc LAUWERS Econometrics Center for Economic Studies Discussions Paper Series (DPS) 09.06 http://www.econ.kuleuven.be/ces/discussionpapers/default.htm March 2009 The
More informationarxiv: v2 [math.ds] 14 May 2012
A SIMPLE PROOF OF VITALI S THEOREM FOR SIGNED MEASURES arxiv:1202.2106v2 [math.ds] 14 May 2012 T. SAMUEL Abstract. There are several theorems named after the Italian mathematician Vitali. In this note
More informationarxiv:math/ v1 [math.ag] 3 Mar 2002
How to sum up triangles arxiv:math/0203022v1 [math.ag] 3 Mar 2002 Bakharev F. Kokhas K. Petrov F. June 2001 Abstract We prove configuration theorems that generalize the Desargues, Pascal, and Pappus theorems.
More informationA TALE OF TWO CONFORMALLY INVARIANT METRICS
A TALE OF TWO CONFORMALLY INVARIANT METRICS H. S. BEAR AND WAYNE SMITH Abstract. The Harnack metric is a conformally invariant metric defined in quite general domains that coincides with the hyperbolic
More informationPrime and irreducible elements of the ring of integers modulo n
Prime and irreducible elements of the ring of integers modulo n M. H. Jafari and A. R. Madadi Department of Pure Mathematics, Faculty of Mathematical Sciences University of Tabriz, Tabriz, Iran Abstract
More informationParabola Conjugate to Rectangular Hyperbola
Forum Geometricorum Volume 18 (2018) 87 92. FORUM GEOM ISSN 1534-1178 Parabola onjugate to Rectangular Hyperbola Paris Pamfilos bstract. We study the conjugation, naturally defined in a bitangent pencil
More informationCS3110 Spring 2017 Lecture 11: Constructive Real Numbers
CS3110 Spring 2017 Lecture 11: Constructive Real Numbers Robert Constable Reminder: Prelim in class next Tuesday. It will not cover the real numbers beyond this lecture. Note: One definition of the void
More informationTwisted Projective Spaces and Linear Completions of some Partial Steiner Triple Systems
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 49 (2008), No. 2, 341-368. Twisted Projective Spaces and Linear Completions of some Partial Steiner Triple Systems Ma lgorzata
More informationMATH 426, TOPOLOGY. p 1.
MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p
More informationPower Round: Geometry Revisited
Power Round: Geometry Revisited Stobaeus (one of Euclid s students): But what shall I get by learning these things? Euclid to his slave: Give him three pence, since he must make gain out of what he learns.
More informationCreative Objectivism, a powerful alternative to Constructivism
Creative Objectivism, a powerful alternative to Constructivism Copyright c 2002 Paul P. Budnik Jr. Mountain Math Software All rights reserved Abstract It is problematic to allow reasoning about infinite
More informationLarge automorphism groups of 16-dimensional planes are Lie groups
Journal of Lie Theory Volume 8 (1998) 83 93 C 1998 Heldermann Verlag Large automorphism groups of 16-dimensional planes are Lie groups Barbara Priwitzer, Helmut Salzmann Communicated by Karl H. Hofmann
More informationOn the intersection of Hermitian surfaces
On the intersection of Hermitian surfaces Nicola Durante and Gary Ebert Abstract In [6] and [3] the authors determine the structure of the intersection of two Hermitian surfaces of PG(3, q 2 ) under the
More informationRee Geometries. Abstract
arxiv:0909.3211v1 [math.gr] 17 Sep 2009 Ree Geometries Fabienne Haot Koen Struyve Hendrik Van Maldeghem Abstract We introduce a rank 3 geometry for any Ree group over a not necessarily perfect field and
More informationConsistent digital line segments
Consistent digital line segments Tobias Christ Dömötör Pálvölgyi Miloš Stojaković November 27, 2009 Abstract We introduce a novel and general approach for digitalization of line segments in the plane that
More informationDense near octagons with four points on each line, III
Dense near octagons with four points on each line, III Bart De Bruyn Ghent University, Department of Pure Mathematics and Computer Algebra, Krijgslaan 281 (S22), B-9000 Gent, Belgium, E-mail: bdb@cage.ugent.be
More informationGeometry JWR. Monday September 29, 2003
Geometry JWR Monday September 29, 2003 1 Foundations In this section we see how to view geometry as algebra. The ideas here should be familiar to the reader who has learned some analytic geometry (including
More informationProperties of the Integers
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationa + b = b + a and a b = b a. (a + b) + c = a + (b + c) and (a b) c = a (b c). a (b + c) = a b + a c and (a + b) c = a c + b c.
Properties of the Integers The set of all integers is the set and the subset of Z given by Z = {, 5, 4, 3, 2, 1, 0, 1, 2, 3, 4, 5, }, N = {0, 1, 2, 3, 4, }, is the set of nonnegative integers (also called
More informationPDF hosted at the Radboud Repository of the Radboud University Nijmegen
PDF hosted at the Radboud Repository of the Radboud University Nijmegen The following full text is a preprint version which may differ from the publisher's version. For additional information about this
More informationA PROBABILISTIC PROOF OF THE VITALI COVERING LEMMA
A PROBABILISTIC PROOF OF THE VITALI COVERING LEMMA E. GWALTNEY, P. HAGELSTEIN, AND D. HERDEN Abstract. The classical Vitali Covering Lemma on R states that there exists a constant c > 0 such that, given
More informationARCHIMEDEAN CIRCLES PASSING THROUGH A SPECIAL POINT
INTERNATIONAL JOURNAL OF GEOMETRY Vol. 4 (2015), No. 1, 5-10 ARCHIMEDEAN CIRCLES PASSING THROUGH A SPECIAL POINT HIROSHI OKUMURA Abstract. We consider infinitely many Archimedean circles of the arbelos
More informationON DIFFERENTIAL BASES FORMED OF INTERVALS
GEORGAN MATHEMATCAL JOURNAL: Vol. 4, No., 997, 8-00 ON DFFERENTAL ASES FORMED OF NTERVALS G. ONAN AND T. ZEREKDZE n memory of young mathematician A. ereashvili Abstract. Translation invariant subbases
More informationTRANSITIVE AND ABSORBENT FILTERS OF LATTICE IMPLICATION ALGEBRAS
J. Appl. Math. & Informatics Vol. 32(2014), No. 3-4, pp. 323-330 http://dx.doi.org/10.14317/jami.2014.323 TRANSITIVE AND ABSORBENT FILTERS OF LATTICE IMPLICATION ALGEBRAS M. SAMBASIVA RAO Abstract. The
More informationMORE EXERCISES FOR SECTIONS II.1 AND II.2. There are drawings on the next two pages to accompany the starred ( ) exercises.
Math 133 Winter 2013 MORE EXERCISES FOR SECTIONS II.1 AND II.2 There are drawings on the next two pages to accompany the starred ( ) exercises. B1. Let L be a line in R 3, and let x be a point which does
More informationCOMMON FIXED POINT THEOREM OF THREE MAPPINGS IN COMPLETE METRIC SPACE
COMMON FIXED POINT THEOREM OF THREE MAPPINGS IN COMPLETE METRIC SPACE Latpate V.V. and Dolhare U.P. ACS College Gangakhed DSM College Jintur Abstract:-In this paper we prove common fixed point theorem
More informationIntrinsic Four-Point Properties
Intrinsic Four-Point Properties Edward Andalafte, Raymond Freese, Brody Dylan Johnson and Rebecca Lelko Abstract. Many characterizations of euclidean spaces (real inner product spaces) among metric spaces
More informationPROJECTIVE GEOMETRY. Contents
PROJECTIVE GEOMETRY Abstract. Projective geometry Contents 5. Geometric constructions, projective transformations, transitivity on triples, projective pl 1. Ceva, Menelaus 1 2. Desargues theorem, Pappus
More informationA note on cyclic semiregular subgroups of some 2-transitive permutation groups
arxiv:0808.4109v1 [math.gr] 29 Aug 2008 A note on cyclic semiregular subgroups of some 2-transitive permutation groups M. Giulietti and G. Korchmáros Abstract We determine the semi-regular subgroups of
More informationThis pre-publication material is for review purposes only. Any typographical or technical errors will be corrected prior to publication.
This pre-publication material is for review purposes only. Any typographical or technical errors will be corrected prior to publication. Copyright Pearson Canada Inc. All rights reserved. Copyright Pearson
More informationGraphs with prescribed star complement for the. eigenvalue.
Graphs with prescribed star complement for the eigenvalue 1 F. Ramezani b,a B. Tayfeh-Rezaie a,1 a School of Mathematics, IPM (Institute for studies in theoretical Physics and Mathematics), P.O. Box 19395-5746,
More informationMath 104: Homework 1 solutions
Math 10: Homework 1 solutions 1. The basis for induction, P 1, is true, since 1 3 = 1. Now consider the induction step, assuming P n is true and examining P n+1. By making use of the result (1 + +... +
More informationCalgary Math Circles: Triangles, Concurrency and Quadrilaterals 1
Calgary Math Circles: Triangles, Concurrency and Quadrilaterals 1 1 Triangles: Basics This section will cover all the basic properties you need to know about triangles and the important points of a triangle.
More informationON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES
Georgian Mathematical Journal Volume 9 (2002), Number 1, 75 82 ON THE UNIQUENESS PROPERTY FOR PRODUCTS OF SYMMETRIC INVARIANT PROBABILITY MEASURES A. KHARAZISHVILI Abstract. Two symmetric invariant probability
More informationThe L 3 (4) near octagon
The L 3 (4) near octagon A. Bishnoi and B. De Bruyn October 8, 206 Abstract In recent work we constructed two new near octagons, one related to the finite simple group G 2 (4) and another one as a sub-near-octagon
More informationFinite groups determined by an inequality of the orders of their elements
Publ. Math. Debrecen 80/3-4 (2012), 457 463 DOI: 10.5486/PMD.2012.5168 Finite groups determined by an inequality of the orders of their elements By MARIUS TĂRNĂUCEANU (Iaşi) Abstract. In this note we introduce
More informationarxiv:math/ v1 [math.fa] 26 Oct 1993
arxiv:math/9310217v1 [math.fa] 26 Oct 1993 ON COMPLEMENTED SUBSPACES OF SUMS AND PRODUCTS OF BANACH SPACES M.I.Ostrovskii Abstract. It is proved that there exist complemented subspaces of countable topological
More informationAN ELEMENTARY PROOF OF THE GROUP LAW FOR ELLIPTIC CURVES
AN ELEMENTARY PROOF OF THE GROUP LAW FOR ELLIPTIC CURVES Abstract. We give a proof of the group law for elliptic curves using explicit formulas. 1. Introduction In the following K will denote an algebraically
More informationAREAS OF PARALLELOGRAMS AND TRIANGLES
AREAS OF PARALLELOGRAMS AND TRIANGLES Main Concepts and Results: The area of a closed plane figure is the measure of the region inside the figure: Fig.1 The shaded parts (Fig.1) represent the regions whose
More informationCOMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS
Series Logo Volume 00, Number 00, Xxxx 19xx COMPLETELY INVARIANT JULIA SETS OF POLYNOMIAL SEMIGROUPS RICH STANKEWITZ Abstract. Let G be a semigroup of rational functions of degree at least two, under composition
More informationON THE SIZE OF KAKEYA SETS IN FINITE FIELDS
ON THE SIZE OF KAKEYA SETS IN FINITE FIELDS ZEEV DVIR Abstract. A Kakeya set is a subset of F n, where F is a finite field of q elements, that contains a line in every direction. In this paper we show
More informationEton College King's Scholarship Examination 2013
Eton College King's Scholarship Examination 2013 MATHEMATICS A Answer Question 1 and as many of the other five questions as you can. Question 1 is worth 50 marks. All other questions are worth 10 marks
More information1.1 Line Reflections and Point Reflections
1.1 Line Reflections and Point Reflections Since this is a book on Transformation Geometry, we shall start by defining transformations of the Euclidean plane and giving basic examples. Definition 1. A
More informationOn Projective Planes
C-UPPSATS 2002:02 TFM, Mid Sweden University 851 70 Sundsvall Tel: 060-14 86 00 On Projective Planes 1 2 7 4 3 6 5 The Fano plane, the smallest projective plane. By Johan Kåhrström ii iii Abstract It was
More informationAn invariance result for Hammersley s process with sources and sinks
An invariance result for Hammersley s process with sources and sinks Piet Groeneboom Delft University of Technology, Vrije Universiteit, Amsterdam, and University of Washington, Seattle March 31, 26 Abstract
More informationConstructive order completeness
Constructive order completeness Marian Alexandru Baroni Department of Mathematics and Statistics, University of Canterbury, Christchurch, New Zealand E-mail: mba39@student.canterbury.ac.nz 1 June 2004
More informationCeva s and Menelaus Theorems Characterize the Hyperbolic Geometry Among Hilbert Geometries
Ceva s and Menelaus Theorems Characterize the Hyperbolic Geometry Among Hilbert Geometries József Kozma and Árpád Kurusa Abstract. If a Hilbert geometry satisfies a rather weak version of either Ceva s
More informationDOUGLAS J. DAILEY AND THOMAS MARLEY
A CHANGE OF RINGS RESULT FOR MATLIS REFLEXIVITY DOUGLAS J. DAILEY AND THOMAS MARLEY Abstract. Let R be a commutative Noetherian ring and E the minimal injective cogenerator of the category of R-modules.
More informationEquivalence constants for certain matrix norms II
Linear Algebra and its Applications 420 (2007) 388 399 www.elsevier.com/locate/laa Equivalence constants for certain matrix norms II Bao Qi Feng a,, Andrew Tonge b a Department of Mathematical Sciences,
More informationz-classes in finite groups of conjugate type (n, 1)
Proc. Indian Acad. Sci. (Math. Sci.) (2018) 128:31 https://doi.org/10.1007/s12044-018-0412-5 z-classes in finite groups of conjugate type (n, 1) SHIVAM ARORA 1 and KRISHNENDU GONGOPADHYAY 2, 1 Department
More informationDefinitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg ( )
Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg (2009-03-26) Logic Rule 0 No unstated assumptions may be used in a proof.
More informationOn the lines passing through two conjugates of a Salem number
Under consideration for publication in Math. Proc. Camb. Phil. Soc. 1 On the lines passing through two conjugates of a Salem number By ARTŪRAS DUBICKAS Department of Mathematics and Informatics, Vilnius
More informationDISTINCT FUZZY SUBGROUPS OF A DIHEDRAL GROUP OF ORDER 2pqrs FOR DISTINCT PRIMES p, q, r AND s
Iranian Journal of Fuzzy Systems Vol 12, No 3, (2015) pp 137-149 137 DISTINCT FUZZY SUBGROUPS OF A DIHEDRAL GROUP OF ORDER 2pqrs FOR DISTINCT PRIMES p, q, r AND s O NDIWENI AND B B MAKAMBA Abstract In
More informationLINEAR SPACES. Define a linear space to be a near linear space in which any two points are on a line.
LINEAR SPACES Define a linear space to be a near linear space in which any two points are on a line. A linear space is an incidence structure I = (P, L) such that Axiom LS1: any line is incident with at
More informationConstructive (functional) analysis
Constructive (functional) analysis Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology (JAIST) Nomi, Ishikawa 923-1292, Japan Proof and Computation, Fischbachau,
More informationAn Exploration of the Group Law on an Elliptic Curve. Tanuj Nayak
An Exploration of the Group Law on an Elliptic Curve Tanuj Nayak Abstract Given its abstract nature, group theory is a branch of mathematics that has been found to have many important applications. One
More informationClassical Theorems in Plane Geometry 1
BERKELEY MATH CIRCLE 1999 2000 Classical Theorems in Plane Geometry 1 Zvezdelina Stankova-Frenkel UC Berkeley and Mills College Note: All objects in this handout are planar - i.e. they lie in the usual
More informationAN AXIOMATIC FORMATION THAT IS NOT A VARIETY
AN AXIOMATIC FORMATION THAT IS NOT A VARIETY KEITH A. KEARNES Abstract. We show that any variety of groups that contains a finite nonsolvable group contains an axiomatic formation that is not a subvariety.
More informationSTRONGLY EXTENSIONAL HOMOMORPHISM OF IMPLICATIVE SEMIGROUPS WITH APARTNESS
SARAJEVO JOURNAL OF MATHEMATICS Vol.13 (26), No.2, (2017), 155 162 DOI: 10.5644/SJM.13.2.03 STRONGLY EXTENSIONAL HOMOMORPHISM OF IMPLICATIVE SEMIGROUPS WITH APARTNESS DANIEL ABRAHAM ROMANO Abstract. The
More informationNotes on Geometry and Spacetime
Notes on Geometry and Spacetime Version 2.7, November 2009 David B. Malament Department of Logic and Philosophy of Science University of California, Irvine dmalamen@uci.edu Contents 1 Preface 2 2 Preliminary
More informationDefinitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg
Definitions, Axioms, Postulates, Propositions, and Theorems from Euclidean and Non-Euclidean Geometries by Marvin Jay Greenberg Undefined Terms: Point, Line, Incident, Between, Congruent. Incidence Axioms:
More informationLenz-Barlotti I.4 Perspectivity Groups are Abelian
Lenz-Barlotti I.4 Perspectivity Groups are Abelian Robert A. Liebler and Elizabeth Scott-Janda Abstract: We extend a 1972 result of Kantor and Pankin and give a new elementary proof of the assertion in
More informationExhaustion: From Eudoxus to Archimedes
Exhaustion: From Eudoxus to Archimedes Franz Lemmermeyer April 22, 2005 Abstract Disclaimer: Eventually, I plan to polish this and use my own diagrams; so far, most of it is lifted from the web. Exhaustion
More informationHilbert s Metric and Gromov Hyperbolicity
Hilbert s Metric and Gromov Hyperbolicity Andrew Altman May 13, 2014 1 1 HILBERT METRIC 2 1 Hilbert Metric The Hilbert metric is a distance function defined on a convex bounded subset of the n-dimensional
More informationOn the existence of a convex point subset containing one triangle in the plane
Discrete Mathematics 305 (2005) 201 218 www.elsevier.com/locate/disc On the existence of a convex point subset containing one triangle in the plane Kiyoshi Hosono Department of Mathematics, Tokai University,
More informationGergonne Meets Sangaku
Forum Geometricorum Volume 17 (2017) 143 148. FORUM GEOM ISSN 1534-1178 Gergonne Meets Sangaku Paris Pamfilos bstract. In this article we discuss the relation of some hyperbolas, naturally associated with
More informationQuestion 1 ( 1.0 marks) places of decimals? Solution: Now, on dividing by 2, we obtain =
Question 1 ( 1.0 marks) The decimal expansion of the rational number places of decimals? will terminate after how many The given expression i.e., can be rewritten as Now, on dividing 0.043 by 2, we obtain
More information5. Introduction to Euclid s Geometry
5. Introduction to Euclid s Geometry Multiple Choice Questions CBSE TREND SETTER PAPER _ 0 EXERCISE 5.. If the point P lies in between M and N and C is mid-point of MP, then : (A) MC + PN = MN (B) MP +
More information