Lecture 2.2 a Brief Introduction to Projective Geometry

Total Page:16

File Type:pdf, Size:1020Kb

Lecture 2.2 a Brief Introduction to Projective Geometry Lecture 1.3 Basic projective geometry Thomas Opsahl Motivation • For the pinhole camera, the correspondence between observed 3D points in the world and 2D points in the captured image is given by straight lines through a common point (pinhole) • This correspondence can be described by a mathematical model known as “the perspective camera model” or “the pinhole camera model” • This model can be used to describe the imaging geometry of many modern cameras, hence it plays a central part in computer vision 2 Motivation • Before we can study the perspective camera model in detail, we need to expand our mathematical toolbox • We need to be able to mathematically describe the position and orientation of the camera relative to the world coordinate frame • Also we need to get familiar with some basic elements of projective geometry, since this will make it MUCH easier to describe and work with the perspective camera model 3 Introduction • We have seen that the pose of a coordinate frame relative to a coordinate frame , denoted , can be represented as a homogeneous transformation in 2D rrA t AAR t 11 12 Bx AAξ = BB= A∈ B TB r21 r 22 tBx SE (2) 0 1 00 1 Introduction • We have seen that the pose of a coordinate frame relative to a coordinate frame , denoted , can be represented as a homogeneous transformation in 2D and 3D rrrA t 11 12 13 Bx AARt rrrA t AAξ T = BB = 21 22 23 By ∈ SE (3) BBA 0 1 rrr31 32 33 tBz 000 1 Introduction • And we have seen how they can transform points from one reference frame to another if we represent points in homogeneous coordinates x x x x y = = pp= = y ppy y z 1 z 1 • The main reason for representing pose as homogeneous transformations, was the nice algebraic properties that came with the representation Introduction AAB AABA • Euclidean geometry p=ξB⋅= p pRBB pt+ , AAB A A AB AB A – ξξξCBC=⊕=+ ( RC,,t C) ( RR B C R BCtt B) – Complicated algebra A AT ATA ⟼ ξB ( RRC,− CCt ) • Projective geometry AAB AAB p=⋅=ξBB p ppT – = AABξξξ=⊕=AT AB TT 1 CBC C BC AAξ −1 – Simple ⟼ algebra BB T • In the following we will take a closer look at some basic elements of projective geometry that we will encounter when we study the geometrical aspects of imaging – Homogeneous coordinates, homogeneous transformations The projective plane Points How to describe points in the plane? The projective plane Points How to describe points in the plane? Euclidean plane • Choose a 2D coordinate2 frame • Each point correspondsℝ to a unique pair of Cartesian coordinates y x = , = x 2 ∈ ℝ ⟼ 2 The projective plane Points How to describe points in the plane? Euclidean plane x 2 • Choose a 2D coordinate2 frame w • Each point correspondsℝ to a unique pair of Cartesian coordinates y x = , = 2 x Projective plane ∈ℝ ⟼ • Expand coordinate2 frame to 3D 2 y • Each point corresponds to a triple of homogeneous coordinates 1 = , , = x 2 � s.t.� � � � ∈ ℝ ⟼ � � , , = , , \� 0 � � � � � � ∀ ∈ ℝ The projective plane Points Observations 1. Any point = , in the Euclidean plane has a corresponding x = , , 1 2 homogeneous point in the w projective plane � 2. Homogeneous points of the form , , 0 y x does not have counterparts in the x Euclidean plane � � 2 y They correspond to points at infinity and are called ideal points 1 x The projective plane Points Observations 3. When we work with geometrical problems in the plane, we can swap x 2 between the Euclidean representation w and the projective representation x y x 22x ∋=xx =y ∈ x y 1 2 y x x 22 w ∋=xx y = y 1 w w x Example 1. These homogeneous vectors are different numerical representations of the same point in the plane 3 6 − 30 = = =−∈ 2 x 2 4 20 1 2 − 10 2. The homogeneous point 1,2,3 represents the same point as , 2 1 2 2 ∈ 3 3 ∈ ℝ The projective plane Lines How to describe lines in the plane? The projective plane Lines How to describe lines in the plane? Euclidean plane • 3 parameters ,2 , = , ℝ | + + = 0 ∈ ℝ y l x 2 The projective plane Lines How to describe lines in the plane? Euclidean plane • Triple , , 2 \ 2 ℝ w = , | 3 + + = 0 ∈ ℝ y Projective plane l • Homogeneous vector2 = , , x = | = 0 ̃ 2 2 ̃ y � ∈ � 1 l x The projective plane Lines Observations 1. Points and lines in the projective plane have the same representation, we say 2 that points and lines are dual objects in w 2 2. All lines in the Euclidean plane have a y l corresponding line in the projective x plane 2 y 3. The line = 0,0,1 in the projective plane does not have an Euclidean counterpart̃ 1 l x This line consists entirely of ideal points, and is know as the line at infinity The projective plane Lines Properties of lines in the projective plane 1. In the projective plane, all lines intersect, parallel lines intersect at 2 infinity w Two lines and intersect in the point = × y ̃1 ̃2 l 1 2 x 2. The line passing� ̃ through̃ points and 2 is given by 1 y = × � �2 ̃ �1 �2 1 l x Example Determine the line passing through the two points , and , Homogeneous representation of points 25 22 Matrix representation xx=∈=∈4 13 12 of the cross product 11 × × Homogeneous representation of line where ⟼ 0− 14 5 −− 9 3 0 −uu32 def lxx =×= xx =1 0 − 2 13 = 3 = 1 12[ 12]× [u] = uu0 − × 31 −42 0 1 6 2 −uu 0 21 Equation of the line −3xy ++= 20 ⇔ y = 3 x − 2 Example A point at infinity https://en.wikipedia.org/wiki/Projective_plane 21 The projective plane Transformations • Some important transformations – like the action of a pose on points in the plane – happen to be linear in the projective plane and non-linear in the Euclidean plane • The most general invertible transformations of the projective plane are known as homographies – or projective transformations / linear projective transformations / projectivities / collineations Definition A homography of is a linear transformation on homogeneous 3-vectors represented by a homogeneous, non2-singular 3 × 3 matrix = �′ ℎ11 ℎ12 ℎ13 � 21 22 23 �′ ℎ ℎ ℎ � ℎ31 ℎ32 ℎ33 So is unique up to scale, i.e. �=′ \ 0 � ∀ ∈ ℝ The projective plane Transformations • One characteristic of homographies is that they preserve lines, in fact any invertible transformation of that preserves lines is a homography 2 • Examples – Central projection from one plane to another is a homography Hence if we take an image with a perspective camera of a flat surface from an angle, we can remove the perspective distortion with a homography Perspective distortion Without distortion ′ Images from http://www.robots.ox.ac.uk/~vgg/hzbook.html The projective plane Transformations • One characteristic of homographies is that they preserve lines, in fact any invertible transformation of that preserves lines is a homography 2 • Examples – Central projection from one plane to another is a homography – Two images, captured by perspective cameras, of the same planar scene is related by a homography Image 1 Image 2 The projective plane Transformations • One characteristic of homographies is that they preserve lines, in fact any invertible transformation of that preserves lines is a homography 2 • Examples – Central projection from one plane to another is a homography – Two images, captured by perspective cameras, of the same planar scene is related by a homography • One can show that the product of two homographies also must be a homography We say that the homographies constitute a group – the projective linear group 3 • Within this group there are several more specialized subgroups Transformations of the projective plane Transformation of Matrix #DoF Preserves Visualization 2 Translation 2 Orientation 1 + all below Euclidean 3 Lengths 1 + all below Similarity 4 Angles 1 + all below Affine 11 12 13 6 Parallelism, 21 22 23 line at infinity 0 0 1 + all below Homography 11 12 13 8 Straight lines /projective 21 22 23 ℎ31 ℎ32 ℎ33 ℎ ℎ ℎ ℎ ℎ ℎ 26 The projective space • The relationship between the Euclidean space and the projective space is much like the relationship between and 3 3 2 2 ℝ ℝ x • In the projective space x – We represent points in homogeneous coordinates 33 y ∋=xxy = ∈ z = = \ 0 z � � 1 � � � ∀ ∈ ℝ x ̃ ̃ x w � – Points at infinity have last homogeneous coordinate� equal to zero 33y y ∋=xx = ∈ z w – Planes and points are dual objects z w w = | = 0 3 � � � � – The plane at infinity are made upΠ of all points∈ at infinity 27 Transformations of the projective space Transformation of Matrix #DoF Preserves Translation 3 Orientation 1 + all below Euclidean 6 Volumes, volume ratios, lengths 1 + all below Similarity 7 Angles 1 + all below Affine 12 Parallelism of planes, The plane at infinity 11 12 13 14 + all below 021 022 023 124 31 32 33 34 Homography 15 Intersection and tangency of /projective surfaces in contact, straight lines ℎ11 ℎ12 ℎ13 ℎ14 ℎ21 ℎ22 ℎ23 ℎ24 ℎ31 ℎ32 ℎ33 ℎ34 ℎ41 ℎ42 ℎ43 ℎ44 Summary • The projective plane • Additional reading – Homogeneous coordinates2 – Szeliski: 2.1.2, 2.1.3, – Line at infinity – Points & lines are dual • The projective space – Homogeneous coordinates3 – Plane at infinity – Points & planes are dual • Linear transformations of and – Represented by homogeneous2 matrices3 – Homographies Affine Similarities Euclidean Translations ⊃ ⊃ ⊃ ⊃ 29 Summary • The projective plane • Additional reading – Homogeneous coordinates2 – Szeliski: 2.1.2, 2.1.3, – Line at infinity – Points & lines are dual MATLAB WARNING When we work with linear transformations, we • The projective space represent them as matrices that act on points by – Homogeneous coordinates3 right multiplication nn – Plane at infinity T : → – Points & planes are dual x yx= M R Matlab seem to prefer left multiplication instead • Linear transformations of and nn T : → – Represented by homogeneous2 matrices3 T TT x yx= M L – Homographies Affine Similarities Euclidean Translations So if you use built in matlab functions when you ⊃ ⊃ ⊃ work with transformations, be careful!!! ⊃ 30 .
Recommended publications
  • Globally Optimal Affine and Metric Upgrades in Stratified Autocalibration
    Globally Optimal Affine and Metric Upgrades in Stratified Autocalibration Manmohan Chandrakery Sameer Agarwalz David Kriegmany Serge Belongiey [email protected] [email protected] [email protected] [email protected] y University of California, San Diego z University of Washington, Seattle Abstract parameters of the cameras, which is commonly approached by estimating the dual image of the absolute conic (DIAC). We present a practical, stratified autocalibration algo- A variety of linear methods exist towards this end, how- rithm with theoretical guarantees of global optimality. Given ever, they are known to perform poorly in the presence of a projective reconstruction, the first stage of the algorithm noise [10]. Perhaps more significantly, most methods a pos- upgrades it to affine by estimating the position of the plane teriori impose the positive semidefiniteness of the DIAC, at infinity. The plane at infinity is computed by globally which might lead to a spurious calibration. Thus, it is im- minimizing a least squares formulation of the modulus con- portant to impose the positive semidefiniteness of the DIAC straints. In the second stage, the algorithm upgrades this within the optimization, not as a post-processing step. affine reconstruction to a metric one by globally minimizing This paper proposes global minimization algorithms for the infinite homography relation to compute the dual image both stages of stratified autocalibration that furnish theoreti- of the absolute conic (DIAC). The positive semidefiniteness cal certificates of optimality. That is, they return a solution at of the DIAC is explicitly enforced as part of the optimization most away from the global minimum, for arbitrarily small .
    [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]
  • Arxiv:1702.00823V1 [Stat.OT] 2 Feb 2017
    Nonparametric Spherical Regression Using Diffeomorphic Mappings M. Rosenthala, W. Wub, E. Klassen,c, Anuj Srivastavab aNaval Surface Warfare Center, Panama City Division - X23, 110 Vernon Avenue, Panama City, FL 32407-7001 bDepartment of Statistics, Florida State University, Tallahassee, FL 32306 cDepartment of Mathematics, Florida State University, Tallahassee, FL 32306 Abstract Spherical regression explores relationships between variables on spherical domains. We develop a nonparametric model that uses a diffeomorphic map from a sphere to itself. The restriction of this mapping to diffeomorphisms is natural in several settings. The model is estimated in a penalized maximum-likelihood framework using gradient-based optimization. Towards that goal, we specify a first-order roughness penalty using the Jacobian of diffeomorphisms. We compare the prediction performance of the proposed model with state-of-the-art methods using simulated and real data involving cloud deformations, wind directions, and vector-cardiograms. This model is found to outperform others in capturing relationships between spherical variables. Keywords: Nonlinear; Nonparametric; Riemannian Geometry; Spherical Regression. 1. Introduction Spherical data arises naturally in a variety of settings. For instance, a random vector with unit norm constraint is naturally studied as a point on a unit sphere. The statistical analysis of such random variables was pioneered by Mardia and colleagues (1972; 2000), in the context of directional data. Common application areas where such data originates include geology, gaming, meteorology, computer vision, and bioinformatics. Examples from geographical domains include plate tectonics (McKenzie, 1957; Chang, 1986), animal migrations, and tracking of weather for- mations. As mobile devices become increasingly advanced and prevalent, an abundance of new spherical data is being collected in the form of geographical coordinates.
    [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]
  • 2D and 3D Transformations, Homogeneous Coordinates Lecture 03
    2D and 3D Transformations, Homogeneous Coordinates Lecture 03 Patrick Karlsson [email protected] Centre for Image Analysis Uppsala University Computer Graphics November 6 2006 Patrick Karlsson (Uppsala University) Transformations and Homogeneous Coords. Computer Graphics 1 / 23 Reading Instructions Chapters 4.1–4.9. Edward Angel. “Interactive Computer Graphics: A Top-down Approach with OpenGL”, Fourth Edition, Addison-Wesley, 2004. Patrick Karlsson (Uppsala University) Transformations and Homogeneous Coords. Computer Graphics 2 / 23 Todays lecture ... in the pipeline Patrick Karlsson (Uppsala University) Transformations and Homogeneous Coords. Computer Graphics 3 / 23 Scalars, points, and vectors Scalars α, β Real (or complex) numbers. Points P, Q Locations in space (but no size or shape). Vectors u, v Directions in space (magnitude but no position). Patrick Karlsson (Uppsala University) Transformations and Homogeneous Coords. Computer Graphics 4 / 23 Mathematical spaces Scalar field A set of scalars obeying certain properties. New scalars can be formed through addition and multiplication. (Linear) Vector space Made up of scalars and vectors. New vectors can be created through scalar-vector multiplication, and vector-vector addition. Affine space An extended vector space that include points. This gives us additional operators, such as vector-point addition, and point-point subtraction. Patrick Karlsson (Uppsala University) Transformations and Homogeneous Coords. Computer Graphics 5 / 23 Data types Polygon based objects Objects are described using polygons. A polygon is defined by its vertices (i.e., points). Transformations manipulate the vertices, thus manipulates the objects. Some examples in 2D Scalar α 1 float. Point P(x, y) 2 floats. Vector v(x, y) 2 floats. Matrix M 4 floats.
    [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]
  • Limits of Geometries
    Limits of Geometries Daryl Cooper, Jeffrey Danciger, and Anna Wienhard August 31, 2018 Abstract A geometric transition is a continuous path of geometric structures that changes type, mean- ing that the model geometry, i.e. the homogeneous space on which the structures are modeled, abruptly changes. In order to rigorously study transitions, one must define a notion of geometric limit at the level of homogeneous spaces, describing the basic process by which one homogeneous geometry may transform into another. We develop a general framework to describe transitions in the context that both geometries involved are represented as sub-geometries of a larger ambi- ent geometry. Specializing to the setting of real projective geometry, we classify the geometric limits of any sub-geometry whose structure group is a symmetric subgroup of the projective general linear group. As an application, we classify all limits of three-dimensional hyperbolic geometry inside of projective geometry, finding Euclidean, Nil, and Sol geometry among the 2 limits. We prove, however, that the other Thurston geometries, in particular H × R and SL^2 R, do not embed in any limit of hyperbolic geometry in this sense. 1 Introduction Following Felix Klein's Erlangen Program, a geometry is given by a pair (Y; H) of a Lie group H acting transitively by diffeomorphisms on a manifold Y . Given a manifold of the same dimension as Y , a geometric structure modeled on (Y; H) is a system of local coordinates in Y with transition maps in H. The study of deformation spaces of geometric structures on manifolds is a very rich mathematical subject, with a long history going back to Klein and Ehresmann, and more recently Thurston.
    [Show full text]
  • Feature Matching and Heat Flow in Centro-Affine Geometry
    Symmetry, Integrability and Geometry: Methods and Applications SIGMA 16 (2020), 093, 22 pages Feature Matching and Heat Flow in Centro-Affine Geometry Peter J. OLVER y, Changzheng QU z and Yun YANG x y School of Mathematics, University of Minnesota, Minneapolis, MN 55455, USA E-mail: [email protected] URL: http://www.math.umn.edu/~olver/ z School of Mathematics and Statistics, Ningbo University, Ningbo 315211, P.R. China E-mail: [email protected] x Department of Mathematics, Northeastern University, Shenyang, 110819, P.R. China E-mail: [email protected] Received April 02, 2020, in final form September 14, 2020; Published online September 29, 2020 https://doi.org/10.3842/SIGMA.2020.093 Abstract. In this paper, we study the differential invariants and the invariant heat flow in centro-affine geometry, proving that the latter is equivalent to the inviscid Burgers' equa- tion. Furthermore, we apply the centro-affine invariants to develop an invariant algorithm to match features of objects appearing in images. We show that the resulting algorithm com- pares favorably with the widely applied scale-invariant feature transform (SIFT), speeded up robust features (SURF), and affine-SIFT (ASIFT) methods. Key words: centro-affine geometry; equivariant moving frames; heat flow; inviscid Burgers' equation; differential invariant; edge matching 2020 Mathematics Subject Classification: 53A15; 53A55 1 Introduction The main objective in this paper is to study differential invariants and invariant curve flows { in particular the heat flow { in centro-affine geometry. In addition, we will present some basic applications to feature matching in camera images of three-dimensional objects, comparing our method with other popular algorithms.
    [Show full text]
  • 2-D Drawing Geometry Homogeneous Coordinates
    2-D Drawing Geometry Homogeneous Coordinates The rotation of a point, straight line or an entire image on the screen, about a point other than origin, is achieved by first moving the image until the point of rotation occupies the origin, then performing rotation, then finally moving the image to its original position. The moving of an image from one place to another in a straight line is called a translation. A translation may be done by adding or subtracting to each point, the amount, by which picture is required to be shifted. Translation of point by the change of coordinate cannot be combined with other transformation by using simple matrix application. Such a combination is essential if we wish to rotate an image about a point other than origin by translation, rotation again translation. To combine these three transformations into a single transformation, homogeneous coordinates are used. In homogeneous coordinate system, two-dimensional coordinate positions (x, y) are represented by triple- coordinates. Homogeneous coordinates are generally used in design and construction applications. Here we perform translations, rotations, scaling to fit the picture into proper position 2D Transformation in Computer Graphics- In Computer graphics, Transformation is a process of modifying and re- positioning the existing graphics. • 2D Transformations take place in a two dimensional plane. • Transformations are helpful in changing the position, size, orientation, shape etc of the object. Transformation Techniques- In computer graphics, various transformation techniques are- 1. Translation 2. Rotation 3. Scaling 4. Reflection 2D Translation in Computer Graphics- In Computer graphics, 2D Translation is a process of moving an object from one position to another in a two dimensional plane.
    [Show full text]
  • Generating Sequences of PSL(2,P) Which Will Eventually Lead Us to Study How This Group Behaves with Respect to the Replacement Property
    Generating Sequences of PSL(2,p) Benjamin Nachmana aCornell University, 310 Malott Hall, Ithaca, NY 14853 USA Abstract Julius Whiston and Jan Saxl [14] showed that the size of an irredundant generating set of the group G = PSL(2,p) is at most four and computed the size m(G) of a maximal set for many primes. We will extend this result to a larger class of primes, with a surprising result that when p 1 mod 10, m(G) = 3 except for the special case p = 7. In addition, we6≡ will ± determine which orders of elements in irredundant generating sets of PSL(2,p) with lengths less than or equal to four are possible in most cases. We also give some remarks about the behavior of PSL(2,p) with respect to the replacement property for groups. Keywords: generating sequences, general position, projective linear group 1. Introduction The two dimensional projective linear group over a finite field with p ele- ments, PSL(2,p) has been extensively studied since Galois, who constructed them and showed their simplicity for p > 3 [15]. One of their nice prop- erties is due to a theorem by E. Dickson, which shows that there are only a small number of possibilities for the isomorphism types of maximal sub- arXiv:1210.2073v2 [math.GR] 4 Aug 2014 groups. There are two possibilities: ones that exist for all p and ones that exist for exceptional primes. A more recent proof of Dickson’s Theorem can be found in [10] and a complete proof due to Dickson is in [3].
    [Show full text]
  • Estimating Projective Transformation Matrix (Collineation, Homography)
    Estimating Projective Transformation Matrix (Collineation, Homography) Zhengyou Zhang Microsoft Research One Microsoft Way, Redmond, WA 98052, USA E-mail: [email protected] November 1993; Updated May 29, 2010 Microsoft Research Techical Report MSR-TR-2010-63 Note: The original version of this report was written in November 1993 while I was at INRIA. It was circulated among very few people, and never published. I am now publishing it as a tech report, adding Section 7, with the hope that it could be useful to more people. Abstract In many applications, one is required to estimate the projective transformation between two sets of points, which is also known as collineation or homography. This report presents a number of techniques for this purpose. Contents 1 Introduction 2 2 Method 1: Five-correspondences case 3 3 Method 2: Compute P together with the scalar factors 3 4 Method 3: Compute P only (a batch approach) 5 5 Method 4: Compute P only (an iterative approach) 6 6 Method 5: Compute P through normalization 7 7 Method 6: Maximum Likelihood Estimation 8 1 1 Introduction Projective Transformation is a concept used in projective geometry to describe how a set of geometric objects maps to another set of geometric objects in projective space. The basic intuition behind projective space is to add extra points (points at infinity) to Euclidean space, and the geometric transformation allows to move those extra points to traditional points, and vice versa. Homogeneous coordinates are used in projective space much as Cartesian coordinates are used in Euclidean space. A point in two dimensions is described by a 3D vector.
    [Show full text]