DOCSLIB.ORG

Octonionic Planes

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Octonionic Planes UNIVERSIDADE FEDERAL DE MINAS GERAIS INSTITUTO DE CIENCIAS^ EXATAS DEPARTAMENTO DE MATEMATICA´ OCTONIONIC PLANES In´acio Augusto Rabelo Pinto Belo Horizonte - Minas Gerais - Brasil 2021 UNIVERSIDADE FEDERAL DE MINAS GERAIS INSTITUTO DE CIENCIAS^ EXATAS DEPARTAMENTO DE MATEMATICA´ OCTONIONIC PLANES Vers~aoFinal Inacio´ Augusto Rabelo Pinto* Orientador: Nikolai Goussevskii Disserta¸c~ao apresentada ao Programa de P´os-Gradua¸c~aoem Matem´aticada Univer- sidade Federal de Minas Gerais, como requi- sito parcial `aobten¸c~aodo t´ıtulode Mestre em Matem´atica. Belo Horizonte - Minas Gerais - Brasil 2021 *Durante os estudos de Mestrado o autor recebeu suporte financeiro do CNPq. © 2021, Inácio Augusto Rabelo Pinto. Todos os direitos reservados Pinto, Inácio Augusto Rabelo P659o Octonionic planes [manuscrito] / Inácio Augusto Rabelo Pinto. ­ 2021. ix, 90 f. il. Orientador: Nikolai Alexandrovitch Goussevskii. Dissertação (mestrado) ­ Universidade Federal de Minas Gerais, Instituto de Ciências Exatas, Departamento de Matemática. Referências: f.87­90 . 1. Matemática – Teses. 2. Octônios ­ Teses. 3.Espaços hiperbólicos – Teses. 4. Espaços simétricos – Teses. 5. Planos projetivos ­ Teses. 5. Geometria projetiva – Teses. I. Goussevskii, Nikolai Alexandrovitch. II. Universidade Federal de Minas Gerais; Instituto de Ciências Exatas, Departamento de Matemática. III.Título. CDU 51(043) Ficha catalográfica elaborada pela bibliotecária Belkiz Inez Rezende Costa CRB 6ª Região nº 1510 Universidade Federal de Minas Gerais Departamento de Matemática Programa de Pós-Graduação em Matemática FOLHA DE APROVAÇÃO Octonionic Planes INÁCIO AUGUSTO RABELO PINTO Dissertação defendida e aprovada pela banca examinadora constituída pelos Senhores: ___________________________________________ Prof. Nikolai Alexandrovitch Goussevskii UFMG ___________________________________________ Prof. Heleno da Silva Cunha UFMG ___________________________________________ Prof. Maurício Barros Corrêa Júnior UFMG Belo Horizonte, 09 de março de 2021. Av. Antônio Carlos, 6627 – Campus Pampulha - Caixa Postal: 702 CEP-31270-901 - Belo Horizonte – Minas Gerais - Fone (31) 3409-5963 e-mail: [email protected] - home page: http://www.mat.ufmg.br/pgmat (...) e nisso eu sou - como a Poesia ´e e eu sei que meu trabalho ´e´arduo e existe para si mesmo como no cemit´erioda cidade a ins^oniado vigia Guen´adiAigui Trecho de Sil^encio (1954-1956) - tradu¸c~aode Boris Schnaiderman. Abstract The octonionic projective and hyperbolic planes are studied. We present the construc- tions based on Jordan Algebras, the Riemannian metrics, the structure of homogeneous spaces, and the classification of totally geodesic submanifolds. We also develop a similar description of the real, complex, and quaternionic projective and hyperbolic spaces. Keywords: Octonions, Octonionic projective plane, Octonionic hyperbolic plane, Projective spaces, Hyperbolic spaces, Riemannian symmetric spaces of rank one. vi Resumo Os planos projetivo e hiperb´olicooctoni^onicoss~aoestudados. Apresentamos as con- stru¸c~oesbaseadas em ´algebrasde Jordan, as m´etricas Riemannianas, a estrutura de espa¸coshomog^eneose a classifica¸c~aodas subvariedades totalmente geod´esicas. Desen- volvemos tamb´emuma descri¸c~aosimilar dos espa¸cosprojetivos e hiperb´olicosreais, com- plexos e quaterni^onicos. Palavras-chave: Oct^onios,Plano projetivo octoni^onico,Plano hiperb´olicooctoni^onico, Espa¸cosprojetivos, Espa¸cos hiperb´olicos,Espa¸cossim´etricosRiemannianos de posto um. vii Agradecimentos A` minha fam´ılia,em particular minha m~ae,pelo constante e irrestrito apoio; A` Dindi, pelo suporte, companheirismo e paci^enciainabal´aveis; Ao Nikolai, pela forma¸c~aoacad^emicae apresenta¸c~aodo tema; Aos irm~aosBruno e Toni; Ao Maur´ıcioe o Heleno, por comporem a banca; Aos demais colegas e amigos de departamento, pelas impag´aveis conversas de corre- dor. viii Contents Introduction1 Introdu¸c~ao2 Index of Notations3 0 Preliminaries4 0.1 Division Algebras................................4 0.1.1 Quaternions...............................6 0.1.2 Octonions................................8 0.1.3 Further Results............................. 11 0.2 Lie groups and Lie Algebras.......................... 11 0.2.1 Basic Theory.............................. 11 0.2.2 Unitary Groups............................. 12 0.2.3 Killing Form............................... 14 0.2.4 Classification of Simple Lie Algebras................. 16 0.3 Spin Groups................................... 17 0.3.1 Clifford Algebras............................ 17 0.3.2 Spin Groups............................... 18 0.3.3 The Group Spin(8)........................... 20 0.3.4 The Group Spin(9)........................... 20 0.4 Principal Bundles................................ 21 0.5 Symmetric Spaces................................ 22 0.5.1 Introduction............................... 22 0.5.2 Symmetric Pairs............................ 23 0.5.3 Orthogonal Symmetric Lie Algebras.................. 24 0.5.4 Lie Triple Systems and Totally Geodesic Submanifolds....... 24 0.5.5 Duality and Rank............................ 25 1 F-Projective Spaces 28 1.1 Introduction................................... 28 1.2 Collineation Groups............................... 31 1.3 Riemannian Metric............................... 33 1.4 The Projective Spaces as Symmetric Spaces................. 36 1.4.1 The Real Case............................. 36 1.4.2 The Complex Case........................... 36 1.4.3 The Quaternionic Case......................... 37 1.5 The Matrix Model............................... 37 1.5.1 The Real Case............................. 38 ix CONTENTS x 1.5.2 The Complex and Quaternionic Cases................. 38 1.6 Totally Geodesic Submanifolds......................... 39 2 The Octonionic Projective Plane 41 2.1 The Octonionic Projective Line........................ 41 2.2 The Jordan Algebra H3(O).......................... 43 2.3 The Octonionic Projective Plane........................ 47 2.4 Riemannian Metric............................... 50 2 2.5 OP as a Homogeneous Space......................... 53 2.6 Totally Geodesic Submanifolds......................... 57 2.7 Non-existence of Higher-Dimensional Spaces................. 59 3 F-Hyperbolic Spaces 62 3.1 Introduction................................... 62 3.2 Riemannian Metric............................... 63 3.3 The Hyperbolic Spaces as Symmetric Spaces................. 65 3.3.1 The Real Case............................. 66 3.3.2 The Complex Case........................... 67 3.3.3 The Quaternionic Case......................... 68 3.4 Totally Geodesic Submanifolds......................... 69 4 The Octonionic Hyperbolic Plane 71 4.1 The Jordan Algebra H1;2(O).......................... 71 4.2 The Octonionic Hyperbolic Plane....................... 72 4.3 Riemannian Metric............................... 76 4.4 2 as a Homogeneous Space.......................... 78 HO 4.5 Totally Geodesic Submanifolds......................... 80 A Automorphisms of H3(F) and H1;2(F) 82 A.1 Compact Case.................................. 82 A.2 Non-compact Case............................... 84 Bibliography 87 Introduction The real numbers, complex numbers, quaternions, and octonions form the four normed division algebras. While the quaternions are not commutative, octonions are not even associative. Despite this peculiarity, these numbers are related to exceptional structures founded by E. Cartan and W. Killing at the end of the 20th century and have a growing interest in Physics. In this work, we study the octonionic projective and hyperbolic planes. They are also called Cayley projective and hyperbolic planes. In addition to containing all the geometry of the real, complex, and quaternionic planes, these spaces also represent the relations mentioned above. However, the construction using projectivization of a vector space is not applicable because of non-associativity, so new tools are introduced to play the role of a vector structure and describe the octonionic spaces. Chapter 0 introduces the preliminaries to the theme. It has written to be a reference, then several proofs have been omitted. The content of the following chapters is primarily: Construction of the spaces; Riemannian Metric; Structure of homogeneous and symmetric spaces; Classification and stabilizers of totally geodesic submanifolds; We highlight the different topics of each chapter. The matrix model in Section 1.5 is the motivation to the main model of the octonionic projective plane. Chapter 2 starts with the configuration Jordan algebra and the exceptional group F4. In particular, Section 2.7 intends to detail a complete argumentation about the non-existence of higher-dimensional projective spaces over octonions. Chapter 3 deals with classical hyperbolic spaces. It contains the proofs of duality and rank. In Chapter 4, the configuration algebra of the octonionic hyperbolic plane is similar to that of the projective case, so several results have the same proof. We spend some work to describe and give characterizations of this space. Further, the original proofs of classification of totally geodesic submanifolds are given in the last two chapters and applied to the compact cases by duality. We also add an appendix in which we obtain the automorphism groups of Jordan subalgebras related to the classical planes. Although the constructions are not simple due to the non-associativity, they follow the same lines or motivations of the classical spaces. Finally, we note that the spaces studied here,
Load more

Recommended publications
  • Groups and Geometry 2018 Auckland University Projective Planes
    Groups and Geometry 2018 Auckland University Projective planes, Laguerre planes and generalized quadrangles that admit large groups of automorphisms G¨unterSteinke School of Mathematics and Statistics University of Canterbury 24 January 2018 G¨unterSteinke Projective planes, Laguerre planes, generalized quadrangles GaG2018 1 / 26 (School of Mathematics and Statistics University of Canterbury) Projective and affine planes Definition A projective plane P = (P; L) consists of a set P of points and a set L of lines (where lines are subsets of P) such that the following three axioms are satisfied: (J) Two distinct points can be joined by a unique line. (I) Two distinct lines intersect in precisely one point. (R) There are at least four points no three of which are on a line. Removing a line and all of its points from a projective plane yields an affine plane. Conversely, each affine plane extends to a unique projective plane by adjoining in each line with an `ideal' point and adding a new line of all ideal points. G¨unterSteinke Projective planes, Laguerre planes, generalized quadrangles GaG2018 2 / 26 (School of Mathematics and Statistics University of Canterbury) Models of projective planes Desarguesian projective planes are obtained from a 3-dimensional vector space V over a skewfield F. Points are the 1-dimensional vector subspaces of V and lines are the 2-dimensional vector subspaces of V . In case F is a field one obtains the Pappian projective plane over F. There are many non-Desarguesian projective planes. One of the earliest and very important class is obtain by the (generalized) Moulton planes.
    [Show full text]
  • Projective Geometry: a Short Introduction
    Projective Geometry: A Short Introduction Lecture Notes Edmond Boyer Master MOSIG Introduction to Projective Geometry Contents 1 Introduction 2 1.1 Objective . .2 1.2 Historical Background . .3 1.3 Bibliography . .4 2 Projective Spaces 5 2.1 Definitions . .5 2.2 Properties . .8 2.3 The hyperplane at infinity . 12 3 The projective line 13 3.1 Introduction . 13 3.2 Projective transformation of P1 ................... 14 3.3 The cross-ratio . 14 4 The projective plane 17 4.1 Points and lines . 17 4.2 Line at infinity . 18 4.3 Homographies . 19 4.4 Conics . 20 4.5 Affine transformations . 22 4.6 Euclidean transformations . 22 4.7 Particular transformations . 24 4.8 Transformation hierarchy . 25 Grenoble Universities 1 Master MOSIG Introduction to Projective Geometry Chapter 1 Introduction 1.1 Objective The objective of this course is to give basic notions and intuitions on projective geometry. The interest of projective geometry arises in several visual comput- ing domains, in particular computer vision modelling and computer graphics. It provides a mathematical formalism to describe the geometry of cameras and the associated transformations, hence enabling the design of computational ap- proaches that manipulates 2D projections of 3D objects. In that respect, a fundamental aspect is the fact that objects at infinity can be represented and manipulated with projective geometry and this in contrast to the Euclidean geometry. This allows perspective deformations to be represented as projective transformations. Figure 1.1: Example of perspective deformation or 2D projective transforma- tion. Another argument is that Euclidean geometry is sometimes difficult to use in algorithms, with particular cases arising from non-generic situations (e.g.
    [Show full text]
  • Robot Vision: Projective Geometry
    Robot Vision: Projective Geometry Ass.Prof. Friedrich Fraundorfer SS 2018 1 Learning goals . Understand homogeneous coordinates . Understand points, line, plane parameters and interpret them geometrically . Understand point, line, plane interactions geometrically . Analytical calculations with lines, points and planes . Understand the difference between Euclidean and projective space . Understand the properties of parallel lines and planes in projective space . Understand the concept of the line and plane at infinity 2 Outline . 1D projective geometry . 2D projective geometry ▫ Homogeneous coordinates ▫ Points, Lines ▫ Duality . 3D projective geometry ▫ Points, Lines, Planes ▫ Duality ▫ Plane at infinity 3 Literature . Multiple View Geometry in Computer Vision. Richard Hartley and Andrew Zisserman. Cambridge University Press, March 2004. Mundy, J.L. and Zisserman, A., Geometric Invariance in Computer Vision, Appendix: Projective Geometry for Machine Vision, MIT Press, Cambridge, MA, 1992 . Available online: www.cs.cmu.edu/~ph/869/papers/zisser-mundy.pdf 4 Motivation – Image formation [Source: Charles Gunn] 5 Motivation – Parallel lines [Source: Flickr] 6 Motivation – Epipolar constraint X world point epipolar plane x x’ x‘TEx=0 C T C’ R 7 Euclidean geometry vs. projective geometry Definitions: . Geometry is the teaching of points, lines, planes and their relationships and properties (angles) . Geometries are defined based on invariances (what is changing if you transform a configuration of points, lines etc.) . Geometric transformations
    [Show full text]
  • COMBINATORICS, Volume
    http://dx.doi.org/10.1090/pspum/019 PROCEEDINGS OF SYMPOSIA IN PURE MATHEMATICS Volume XIX COMBINATORICS AMERICAN MATHEMATICAL SOCIETY Providence, Rhode Island 1971 Proceedings of the Symposium in Pure Mathematics of the American Mathematical Society Held at the University of California Los Angeles, California March 21-22, 1968 Prepared by the American Mathematical Society under National Science Foundation Grant GP-8436 Edited by Theodore S. Motzkin AMS 1970 Subject Classifications Primary 05Axx, 05Bxx, 05Cxx, 10-XX, 15-XX, 50-XX Secondary 04A20, 05A05, 05A17, 05A20, 05B05, 05B15, 05B20, 05B25, 05B30, 05C15, 05C99, 06A05, 10A45, 10C05, 14-XX, 20Bxx, 20Fxx, 50A20, 55C05, 55J05, 94A20 International Standard Book Number 0-8218-1419-2 Library of Congress Catalog Number 74-153879 Copyright © 1971 by the American Mathematical Society Printed in the United States of America All rights reserved except those granted to the United States Government May not be produced in any form without permission of the publishers Leo Moser (1921-1970) was active and productive in various aspects of combin• atorics and of its applications to number theory. He was in close contact with those with whom he had common interests: we will remember his sparkling wit, the universality of his anecdotes, and his stimulating presence. This volume, much of whose content he had enjoyed and appreciated, and which contains the re• construction of a contribution by him, is dedicated to his memory. CONTENTS Preface vii Modular Forms on Noncongruence Subgroups BY A. O. L. ATKIN AND H. P. F. SWINNERTON-DYER 1 Selfconjugate Tetrahedra with Respect to the Hermitian Variety xl+xl + *l + ;cg = 0 in PG(3, 22) and a Representation of PG(3, 3) BY R.
    [Show full text]
  • Generalisations of the Fundamental Theorem of Projective
    GENERALIZATIONS OF THE FUNDAMENTAL THEOREM OF PROJECTIVE GEOMETRY A thesis submitted for the degree of Doctor of Philosophy By Rupert McCallum Supervisor: Professor Michael Cowling School of Mathematics, The University of New South Wales. March 2009 Acknowledgements I would particularly like to thank my supervisor, Professor Michael Cowling, for conceiving of the research project and providing much valuable feedback and guidance, and providing help with writing the Extended Abstract. I would like to thank the University of New South Wales and the School of Mathematics and Statistics for their financial support. I would like to thank Dr Adam Harris for giving me helpful feedback on drafts of the thesis, and particularly my uncle Professor William McCallum for providing me with detailed comments on many preliminary drafts. I would like to thank Professor Michael Eastwood for making an important contribution to the research project and discussing some of the issues with me. I would like to thank Dr Jason Jeffers and Professor Alan Beardon for helping me with research about the history of the topic. I would like to thank Dr Henri Jimbo for reading over an early draft of the thesis and providing useful suggestions for taking the research further. I would like to thank Dr David Ullrich for drawing my attention to the theorem that if A is a subset of a locally compact Abelian group of positive Haar measure, then A+A has nonempty interior, which was crucial for the results of Chapter 8. I am very grateful to my parents for all the support and encouragement they gave me during the writing of this thesis.
    [Show full text]
  • Collineations in Perspective
    Collineations in Perspective Now that we have a decent grasp of one-dimensional projectivities, we move on to their two di- mensional analogs. Although they are more complicated, in a sense, they may be easier to grasp because of the many applications to perspective drawing. Speaking of, let's return to the triangle on the window and its shadow in its full form instead of only looking at one line. Perspective Collineation In one dimension, a perspectivity is a bijective mapping from a line to a line through a point. In two dimensions, a perspective collineation is a bijective mapping from a plane to a plane through a point. To illustrate, consider the triangle on the window plane and its shadow on the ground plane as in Figure 1. We can see that every point on the triangle on the window maps to exactly one point on the shadow, but the collineation is from the entire window plane to the entire ground plane. We understand the window plane to extend infinitely in all directions (even going through the ground), the ground also extends infinitely in all directions (we will assume that the earth is flat here), and we map every point on the window to a point on the ground. Looking at Figure 2, we see that the lamp analogy breaks down when we consider all lines through O. Although it makes sense for the base of the triangle on the window mapped to its shadow on 1 the ground (A to A0 and B to B0), what do we make of the mapping C to C0, or D to D0? C is on the window plane, underground, while C0 is on the ground.
    [Show full text]
  • Finite Projective Geometry 2Nd Year Group Project
    Finite Projective Geometry 2nd year group project. B. Doyle, B. Voce, W.C Lim, C.H Lo Mathematics Department - Imperial College London Supervisor: Ambrus Pal´ June 7, 2015 Abstract The Fano plane has a strong claim on being the simplest symmetrical object with inbuilt mathematical structure in the universe. This is due to the fact that it is the smallest possible projective plane; a set of points with a subsets of lines satisfying just three axioms. We will begin by developing some theory direct from the axioms and uncovering some of the hidden (and not so hidden) symmetries of the Fano plane. Alternatively, some projective planes can be derived from vector space theory and we shall also explore this and the associated linear maps on these spaces. Finally, with the help of some theory of quadratic forms we will give a proof of the surprising Bruck-Ryser theorem, which shows that if a projective plane has order n congruent to 1 or 2 mod 4, then n is the sum of two squares. Thus we will have demonstrated fascinating links between pure mathematical disciplines by incorporating the use of linear algebra, group the- ory and number theory to explain the geometric world of projective planes. 1 Contents 1 Introduction 3 2 Basic Defintions and results 4 3 The Fano Plane 7 3.1 Isomorphism and Automorphism . 8 3.2 Ovals . 10 4 Projective Geometry with fields 12 4.1 Constructing Projective Planes from fields . 12 4.2 Order of Projective Planes over fields . 14 5 Bruck-Ryser 17 A Appendix - Rings and Fields 22 2 1 Introduction Projective planes are geometrical objects that consist of a set of elements called points and sub- sets of these elements called lines constructed following three basic axioms which give the re- sulting object a remarkable level of symmetry.
    [Show full text]
  • 7 Combinatorial Geometry
    7 Combinatorial Geometry Planes Incidence Structure: An incidence structure is a triple (V; B; ∼) so that V; B are disjoint sets and ∼ is a relation on V × B. We call elements of V points, elements of B blocks or lines and we associate each line with the set of points incident with it. So, if p 2 V and b 2 B satisfy p ∼ b we say that p is contained in b and write p 2 b and if b; b0 2 B we let b \ b0 = fp 2 P : p ∼ b; p ∼ b0g. Levi Graph: If (V; B; ∼) is an incidence structure, the associated Levi Graph is the bipartite graph with bipartition (V; B) and incidence given by ∼. Parallel: We say that the lines b; b0 are parallel, and write bjjb0 if b \ b0 = ;. Affine Plane: An affine plane is an incidence structure P = (V; B; ∼) which satisfies the following properties: (i) Any two distinct points are contained in exactly one line. (ii) If p 2 V and ` 2 B satisfy p 62 `, there is a unique line containing p and parallel to `. (iii) There exist three points not all contained in a common line. n Line: Let ~u;~v 2 F with ~v 6= 0 and let L~u;~v = f~u + t~v : t 2 Fg. Any set of the form L~u;~v is called a line in Fn. AG(2; F): We define AG(2; F) to be the incidence structure (V; B; ∼) where V = F2, B is the set of lines in F2 and if v 2 V and ` 2 B we define v ∼ ` if v 2 `.
    [Show full text]
  • Arxiv:1009.4249V12 [Math.MG] 17 Oct 2012 H Dniyof Identity the a K Ulig Fsmsml Leri Ruswihetbihsti.W O P Now We This
    A LOCAL-TO-GLOBAL RESULT FOR TOPOLOGICAL SPHERICAL BUILDINGS RUPERT McCALLUM Abstract. Suppose that ∆, ∆′ are two buildings each arising from a semisimple algebraic group over a field, a topological field in the former case, and that for both the buildings the Coxeter diagram has no isolated nodes. We give conditions under which a partially defined injective chamber map, whose domain is the subcomplex of ∆ generated by a nonempty open set of chambers, and whose codomain is ∆′, is guaranteed to extend to a unique injective chamber map. Related to this result is a local version of the Borel-Tits theorem on abstract homomorphisms of simple algebraic groups. Keywords: topological geometry, local homomorphism, topological building, Borel-Tits the- orem Mathematicsl Subject Classification 2000: 51H10 1. Introduction Throughout the history of Lie theory there has been a notion of “local isomorphism”. Indeed, the original notion of Lie groups considered by Sophus Lie in [9] was an essentially local one. Suppose that G is an algebraic group defined over a Hausdorff topological field k. One may consider the notion of a local k-isogeny from the group G to a group G′ defined over k of the same dimension. This is a mapping defined on a nonempty open neighbourhood of the identity of G(k) in the strong k-topology, (see Definition 1.10), which “locally” acts as a k-isogeny, in the sense that it is a local k-homomorphism and its range is Zariski dense. As far as I know this notion has not been investigated systematically. In this paper we shall produce a local version of the Borel-Tits theorem which hints at the possibility that it may be fruitful to investigate this notion.
    [Show full text]
  • Projective Planes
    Projective Planes A projective plane is an incidence system of points and lines satisfying the following axioms: (P1) Any two distinct points are joined by exactly one line. (P2) Any two distinct lines meet in exactly one point. (P3) There exists a quadrangle: four points of which no three are collinear. In class we will exhibit a projective plane with 57 points and 57 lines: the game of The Fano Plane (of order 2): SpotIt®. (Actually the game is sold with 7 points, 7 lines only 55 lines; for the purposes of this 3 points on each line class I have added the two missing lines.) 3 lines through each point The smallest projective plane, often called the Fano plane, has seven points and seven lines, as shown on the right. The Projective Plane of order 3: 13 points, 13 lines The second smallest 4 points on each line projective plane, 4 lines through each point having thirteen points 0, 1, 2, …, 12 and thirteen lines A, B, C, …, M is shown on the left. These two planes are coordinatized by the fields of order 2 and 3 respectively; this accounts for the term ‘order’ which we shall define shortly. Given any field 퐹, the classical projective plane over 퐹 is constructed from a 3-dimensional vector space 퐹3 = {(푥, 푦, 푧) ∶ 푥, 푦, 푧 ∈ 퐹} as follows: ‘Points’ are one-dimensional subspaces 〈(푥, 푦, 푧)〉. Here (푥, 푦, 푧) ∈ 퐹3 is any nonzero vector; it spans a one-dimensional subspace 〈(푥, 푦, 푧)〉 = {휆(푥, 푦, 푧) ∶ 휆 ∈ 퐹}.
    [Show full text]
  • Set Theory. • Sets Have Elements, Written X ∈ X, and Subsets, Written a ⊆ X. • the Empty Set ∅ Has No Elements
    Set theory. • Sets have elements, written x 2 X, and subsets, written A ⊆ X. • The empty set ? has no elements. • A function f : X ! Y takes an element x 2 X and returns an element f(x) 2 Y . The set X is its domain, and Y is its codomain. Every set X has an identity function idX defined by idX (x) = x. • The composite of functions f : X ! Y and g : Y ! Z is the function g ◦ f defined by (g ◦ f)(x) = g(f(x)). • The function f : X ! Y is a injective or an injection if, for every y 2 Y , there is at most one x 2 X such that f(x) = y (resp. surjective, surjection, at least; bijective, bijection, exactly). In other words, f is a bijection if and only if it is both injective and surjective. Being bijective is equivalent to the existence of an inverse function f −1 such −1 −1 that f ◦ f = idY and f ◦ f = idX . • An equivalence relation on a set X is a relation ∼ such that { (reflexivity) for every x 2 X, x ∼ x; { (symmetry) for every x; y 2 X, if x ∼ y, then y ∼ x; and { (transitivity) for every x; y; z 2 X, if x ∼ y and y ∼ z, then x ∼ z. The equivalence class of x 2 X under the equivalence relation ∼ is [x] = fy 2 X : x ∼ yg: The distinct equivalence classes form a partition of X, i.e., every element of X is con- tained in a unique equivalence class. Incidence geometry.
    [Show full text]
  • PROJECTIVE GEOMETRY Contents 1. Basic Definitions 1 2. Axioms Of
    PROJECTIVE GEOMETRY KRISTIN DEAN Abstract. This paper investigates the nature of finite geometries. It will focus on the finite geometries known as projective planes and conclude with the example of the Fano plane. Contents 1. Basic Definitions 1 2. Axioms of Projective Geometry 2 3. Linear Algebra with Geometries 3 4. Quotient Geometries 4 5. Finite Projective Spaces 5 6. The Fano Plane 7 References 8 1. Basic Definitions First, we must begin with a few basic definitions relating to geometries. A geometry can be thought of as a set of objects and a relation on those elements. Definition 1.1. A geometry is denoted G = (Ω,I), where Ω is a set and I a relation which is both symmetric and reflexive. The relation on a geometry is called an incidence relation. For example, consider the tradional Euclidean geometry. In this geometry, the objects of the set Ω are points and lines. A point is incident to a line if it lies on that line, and two lines are incident if they have all points in common - only when they are the same line. There is often this same natural division of the elements of Ω into different kinds such as the points and lines. Definition 1.2. Suppose G = (Ω,I) is a geometry. Then a flag of G is a set of elements of Ω which are mutually incident. If there is no element outside of the flag, F, which can be added and also be a flag, then F is called maximal. Definition 1.3. A geometry G = (Ω,I) has rank r if it can be partitioned into sets Ω1,..., Ωr such that every maximal flag contains exactly one element of each set.
    [Show full text]