DOCSLIB.ORG

Back to the Homography: the Why

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Back to the Homography: the Why Back to the Homography: The Why Sanja Fidler CSC420: Intro to Image Understanding 1/1 Homography In Lecture 9 we said that a homography is a transformation that maps a projective plane to another projective plane. We shamelessly dumped the following equation for homography without explanation: x0 abc x w y = def y 2 03 2 3 2 3 1 ghi 1 4 5 4 5 4 5 Sanja Fidler CSC420: Intro to Image Understanding 2/1 Homography Let’s revisit our transformation in the (new) light of perspective projection. Sanja Fidler CSC420: Intro to Image Understanding 3/1 Homography Let’s revisit our transformation in the (new) light of perspective projection. Figure: We have our object in two di↵erent worlds, in two di↵erent poses relative to camera, two di↵erent photographers, and two di↵erent cameras. Sanja Fidler CSC420: Intro to Image Understanding 3/1 Homography Let’s revisit our transformation in the (new) light of perspective projection. Figure: Our object is a plane. Each plane is characterized by one point d on the plane and two independent vectors a and b on the plane. Sanja Fidler CSC420: Intro to Image Understanding 3/1 Homography Let’s revisit our transformation in the (new) light of perspective projection. Figure: Then any other point X on the plane can be written as: X = d + ↵a + βb. Sanja Fidler CSC420: Intro to Image Understanding 3/1 Homography Let’s revisit our transformation in the (new) light of perspective projection. Figure: Any two Chicken Run DVDs on our planet are related by some transformation T . We’ll compute it, don’t worry. Sanja Fidler CSC420: Intro to Image Understanding 3/1 Homography Let’s revisit our transformation in the (new) light of perspective projection. Figure: Each object is seen by a di↵erent camera and thus projects to the corresponding image plane with di↵erent camera intrinsics. Sanja Fidler CSC420: Intro to Image Understanding 3/1 Homography Let’s revisit our transformation in the (new) light of perspective projection. Figure: Given this, the question is what’s the transformation that maps the DVD on the first image to the DVD in the second image? Sanja Fidler CSC420: Intro to Image Understanding 3/1 We can rewrite this using homogeneous coordinates: ↵ ↵ First plane : X1 = a1 b1 d1 β = A1 β 213 213 ⇥ ⇤ 4↵5 4↵5 Second plane : X2 = a2 b2 d2 β = A2 β 213 213 ⇥ ⇤ 4 5 4 5 Careful: A = a b d and A = a b d are 3 3 matrices. 1 1 1 1 2 2 2 2 ⇥ ⇥ ⇤ ⇥ ⇤ Homography Each point on a plane can be written as: X = d + ↵ a + β b,whered is a point, and a and b are two independent directions on· the plane.· Let’s have two di↵erent planes in 3D: First plane : X = d + ↵ a + β b 1 1 · 1 · 1 Second plane : X = d + ↵ a + β b 2 2 · 2 · 2 Via ↵ and β, the two points X1 and X2 are in the same location relative to each plane. Sanja Fidler CSC420: Intro to Image Understanding 4/1 Careful: A = a b d and A = a b d are 3 3 matrices. 1 1 1 1 2 2 2 2 ⇥ ⇥ ⇤ ⇥ ⇤ Homography Each point on a plane can be written as: X = d + ↵ a + β b,whered is a point, and a and b are two independent directions on· the plane.· Let’s have two di↵erent planes in 3D: First plane : X = d + ↵ a + β b 1 1 · 1 · 1 Second plane : X = d + ↵ a + β b 2 2 · 2 · 2 Via ↵ and β, the two points X1 and X2 are in the same location relative to each plane. We can rewrite this using homogeneous coordinates: ↵ ↵ First plane : X1 = a1 b1 d1 β = A1 β 213 213 ⇥ ⇤ 4↵5 4↵5 Second plane : X2 = a2 b2 d2 β = A2 β 213 213 ⇥ ⇤ 4 5 4 5 Sanja Fidler CSC420: Intro to Image Understanding 4/1 Homography Each point on a plane can be written as: X = d + ↵ a + β b,whered is a point, and a and b are two independent directions on· the plane.· Let’s have two di↵erent planes in 3D: First plane : X = d + ↵ a + β b 1 1 · 1 · 1 Second plane : X = d + ↵ a + β b 2 2 · 2 · 2 Via ↵ and β, the two points X1 and X2 are in the same location relative to each plane. We can rewrite this using homogeneous coordinates: ↵ ↵ First plane : X1 = a1 b1 d1 β = A1 β 213 213 ⇥ ⇤ 4↵5 4↵5 Second plane : X2 = a2 b2 d2 β = A2 β 213 213 ⇥ ⇤ 4 5 4 5 Careful: A = a b d and A = a b d are 3 3 matrices. 1 1 1 1 2 2 2 2 ⇥ Sanja Fidler ⇥ CSC420:⇤ Intro to Image Understanding⇥ ⇤ 4/1 Homography Each point on a plane can be written as: X = d + ↵ a + β b,whered is a point, and a and b are two independent directions on· the plane.· Let’s have two di↵erent planes in 3D: First plane : X = d + ↵ a + β b 1 1 · 1 · 1 Second plane : X = d + ↵ a + β b 2 2 · 2 · 2 Via ↵ and β, the two points X1 and X2 are in the same location relative to each plane. We can rewrite this using homogeneous coordinates: ↵ ↵ First plane : X1 = a1 b1 d1 β = A1 β 213 213 ⇥ ⇤ 4↵5 4↵5 Second plane : X2 = a2 b2 d2 β = A2 β 213 213 ⇥ ⇤ 4 5 4 5 Careful: A = a b d and A = a b d are 3 3 matrices. 1 1 1 1 2 2 2 2 ⇥ Sanja Fidler ⇥ CSC420:⇤ Intro to Image Understanding⇥ ⇤ 4/1 Homography In 3D, a transformation between the planes is given by: X2 = TX1 There is one transformation T between every pair of points X1 and X2. Expand it: ↵ ↵ A2 β = TA1 β for every ↵, β 213 213 4 5 1 4 5 Then it follows: T = A A− ,withT a3 3 matrix. 2 1 ⇥ Let’s look at what happens in projective (image) plane. Note that we have each plane in a separate image and the two images may not have the same camera intrinsic parameters. Denote them with K1 and K2. x1 x2 w1 y1 = K1X1 and w2 y2 = K2X2 2 1 3 2 1 3 4 5 4 5 Sanja Fidler CSC420: Intro to Image Understanding 5/1 Homography From previous slide: x1 x2 w1 y1 = K1X1 and w2 y2 = K2X2 2 1 3 2 1 3 4 5 4 5 Insert X2 = T X1 into equality on the right: x2 w2 y2 = K2 T X1 2 1 3 4 5 Sanja Fidler CSC420: Intro to Image Understanding 6/1 Homography From previous slide: x1 x2 w1 y1 = K1X1 and w2 y2 = K2X2 2 1 3 2 1 3 4 5 4 5 Insert X2 = T X1 into equality on the right: x2 1 w2 y2 = K2 T X1 = K2 T (K1− K1)X1 2 1 3 4 5 Sanja Fidler CSC420: Intro to Image Understanding 6/1 Homography From previous slide: x1 x2 w1 y1 = K1X1 and w2 y2 = K2X2 2 1 3 2 1 3 4 5 4 5 Insert X2 = T X1 into equality on the right: x2 1 w2 y2 = K2 T X1 = K2 T (K1− K1)X1 2 1 3 x 4 5 1 w|12{zy13} 6 1 7 6 7 4 5 Sanja Fidler CSC420: Intro to Image Understanding 6/1 Homography From previous slide: x1 x2 w1 y1 = K1X1 and w2 y2 = K2X2 2 1 3 2 1 3 4 5 4 5 Insert X2 = T X1 into equality on the right: x2 x1 1 1 w2 y2 = K2 T X1 = K2 T (K1− K1)X1 = w1K2 TK1− y1 2 1 3 2 1 3 4 5 4 5 Sanja Fidler CSC420: Intro to Image Understanding 6/1 Homography From previous slide: x1 x2 w1 y1 = K1X1 and w2 y2 = K2X2 2 1 3 2 1 3 4 5 4 5 Insert X2 = T X1 into equality on the right: x2 x1 1 1 w2 y2 = K2 T X1 = K2 T (K1− K1)X1 = w1 K2 TK1− y1 2 1 3 2 1 3 3 3matrix 4 5 ⇥ 4 5 | {z } Sanja Fidler CSC420: Intro to Image Understanding 6/1 Homography From previous slide: x1 x2 w1 y1 = K1X1 and w2 y2 = K2X2 2 1 3 2 1 3 4 5 4 5 Insert X2 = T X1 into equality on the right: x2 x1 1 1 w2 y2 = K2 T X1 = K2 T (K1− K1)X1 = w1 K2 TK1− y1 2 1 3 2 1 3 3 3matrix 4 5 ⇥ 4 5 | {z } And finally: x2 abc x1 w2 y2 = def y1 2 1 3 2ghi3 2 1 3 4 5 4 5 4 5 Sanja Fidler CSC420: Intro to Image Understanding 6/1 Homography The nice thing about homography is that once we have it, we can compute where any point from one projective plane maps to on the second projective plane. We do not need to know the 3D location of that point. We don’t even need to know the camera parameters. We still owe one more explanation for Lecture 9. Sanja Fidler CSC420: Intro to Image Understanding 7/1 Homography The nice thing about homography is that once we have it, we can compute where any point from one projective plane maps to on the second projective plane. We do not need to know the 3D location of that point.
Load more

Recommended publications
  • 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]
  • Algebraic Geometry Michael Stoll
    Introductory Geometry Course No. 100 351 Fall 2005 Second Part: Algebraic Geometry Michael Stoll Contents 1. What Is Algebraic Geometry? 2 2. Affine Spaces and Algebraic Sets 3 3. Projective Spaces and Algebraic Sets 6 4. Projective Closure and Affine Patches 9 5. Morphisms and Rational Maps 11 6. Curves — Local Properties 14 7. B´ezout’sTheorem 18 2 1. What Is Algebraic Geometry? Linear Algebra can be seen (in parts at least) as the study of systems of linear equations. In geometric terms, this can be interpreted as the study of linear (or affine) subspaces of Cn (say). Algebraic Geometry generalizes this in a natural way be looking at systems of polynomial equations. Their geometric realizations (their solution sets in Cn, say) are called algebraic varieties. Many questions one can study in various parts of mathematics lead in a natural way to (systems of) polynomial equations, to which the methods of Algebraic Geometry can be applied. Algebraic Geometry provides a translation between algebra (solutions of equations) and geometry (points on algebraic varieties). The methods are mostly algebraic, but the geometry provides the intuition. Compared to Differential Geometry, in Algebraic Geometry we consider a rather restricted class of “manifolds” — those given by polynomial equations (we can allow “singularities”, however). For example, y = cos x defines a perfectly nice differentiable curve in the plane, but not an algebraic curve. In return, we can get stronger results, for example a criterion for the existence of solutions (in the complex numbers), or statements on the number of solutions (for example when intersecting two curves), or classification results.
    [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]
  • Arxiv:1910.11630V1 [Math.AG] 25 Oct 2019 3 Geometric Invariant Theory 10 3.1 Quotients and the Notion of Stability
    Geometric Invariant Theory, holomorphic vector bundles and the Harder–Narasimhan filtration Alfonso Zamora Departamento de Matem´aticaAplicada y Estad´ıstica Universidad CEU San Pablo Juli´anRomea 23, 28003 Madrid, Spain e-mail: [email protected] Ronald A. Z´u˜niga-Rojas Centro de Investigaciones Matem´aticasy Metamatem´aticas CIMM Escuela de Matem´atica,Universidad de Costa Rica UCR San Jos´e11501, Costa Rica e-mail: [email protected] Abstract. This survey intends to present the basic notions of Geometric Invariant Theory (GIT) through its paradigmatic application in the construction of the moduli space of holomorphic vector bundles. Special attention is paid to the notion of stability from different points of view and to the concept of maximal unstability, represented by the Harder-Narasimhan filtration and, from which, correspondences with the GIT picture and results derived from stratifications on the moduli space are discussed. Keywords: Geometric Invariant Theory, Harder-Narasimhan filtration, moduli spaces, vector bundles, Higgs bundles, GIT stability, symplectic stability, stratifications. MSC class: 14D07, 14D20, 14H10, 14H60, 53D30 Contents 1 Introduction 2 2 Preliminaries 4 2.1 Lie groups . .4 2.2 Lie algebras . .6 2.3 Algebraic varieties . .7 2.4 Vector bundles . .8 arXiv:1910.11630v1 [math.AG] 25 Oct 2019 3 Geometric Invariant Theory 10 3.1 Quotients and the notion of stability . 10 3.2 Hilbert-Mumford criterion . 14 3.3 Symplectic stability . 18 3.4 Examples . 21 3.5 Maximal unstability . 24 2 git, hvb & hnf 4 Moduli Space of vector bundles 28 4.1 GIT construction of the moduli space . 28 4.2 Harder-Narasimhan filtration .
    [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]
  • Vector Bundles and Projective Modules
    VECTOR BUNDLES AND PROJECTIVE MODULES BY RICHARD G. SWAN(i) Serre [9, §50] has shown that there is a one-to-one correspondence between algebraic vector bundles over an affine variety and finitely generated projective mo- dules over its coordinate ring. For some time, it has been assumed that a similar correspondence exists between topological vector bundles over a compact Haus- dorff space X and finitely generated projective modules over the ring of con- tinuous real-valued functions on X. A number of examples of projective modules have been given using this correspondence. However, no rigorous treatment of the correspondence seems to have been given. I will give such a treatment here and then give some of the examples which may be constructed in this way. 1. Preliminaries. Let K denote either the real numbers, complex numbers or quaternions. A X-vector bundle £ over a topological space X consists of a space F(£) (the total space), a continuous map p : E(Ç) -+ X (the projection) which is onto, and, on each fiber Fx(¡z)= p-1(x), the structure of a finite di- mensional vector space over K. These objects are required to satisfy the follow- ing condition: for each xeX, there is a neighborhood U of x, an integer n, and a homeomorphism <p:p-1(U)-> U x K" such that on each fiber <b is a X-homo- morphism. The fibers u x Kn of U x K" are X-vector spaces in the obvious way. Note that I do not require n to be a constant.
    [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]
  • Classical Algebraic Geometry
    CLASSICAL ALGEBRAIC GEOMETRY Daniel Plaumann Universität Konstanz Summer A brief inaccurate history of algebraic geometry - Projective geometry. Emergence of ’analytic’geometry with cartesian coordinates, as opposed to ’synthetic’(axiomatic) geometry in the style of Euclid. (Celebrities: Plücker, Hesse, Cayley) - Complex analytic geometry. Powerful new tools for the study of geo- metric problems over C.(Celebrities: Abel, Jacobi, Riemann) - Classical school. Perfected the use of existing tools without any ’dog- matic’approach. (Celebrities: Castelnuovo, Segre, Severi, M. Noether) - Algebraization. Development of modern algebraic foundations (’com- mutative ring theory’) for algebraic geometry. (Celebrities: Hilbert, E. Noether, Zariski) from Modern algebraic geometry. All-encompassing abstract frameworks (schemes, stacks), greatly widening the scope of algebraic geometry. (Celebrities: Weil, Serre, Grothendieck, Deligne, Mumford) from Computational algebraic geometry Symbolic computation and dis- crete methods, many new applications. (Celebrities: Buchberger) Literature Primary source [Ha] J. Harris, Algebraic Geometry: A first course. Springer GTM () Classical algebraic geometry [BCGB] M. C. Beltrametti, E. Carletti, D. Gallarati, G. Monti Bragadin. Lectures on Curves, Sur- faces and Projective Varieties. A classical view of algebraic geometry. EMS Textbooks (translated from Italian) () [Do] I. Dolgachev. Classical Algebraic Geometry. A modern view. Cambridge UP () Algorithmic algebraic geometry [CLO] D. Cox, J. Little, D.
    [Show full text]
  • • Rotations • Camera Calibration • Homography • Ransac
    Agenda • Rotations • Camera calibration • Homography • Ransac Geometric Transformations y 164 Computer Vision: Algorithms andx Applications (September 3, 2010 draft) Transformation Matrix # DoF Preserves Icon translation I t 2 orientation 2 3 h i ⇥ ⇢⇢SS rigid (Euclidean) R t 3 lengths S ⇢ 2 3 S⇢ ⇥ h i ⇢ similarity sR t 4 angles S 2 3 S⇢ h i ⇥ ⇥ ⇥ affine A 6 parallelism ⇥ ⇥ 2 3 h i ⇥ projective H˜ 8 straight lines ` 3 3 ` h i ⇥ Table 3.5 Hierarchy of 2D coordinate transformations. Each transformation also preserves Let’s definethe properties families listed of in thetransformations rows below it, i.e., similarity by the preserves properties not only anglesthat butthey also preserve parallelism and straight lines. The 2 3 matrices are extended with a third [0T 1] row to form ⇥ a full 3 3 matrix for homogeneous coordinate transformations. ⇥ amples of such transformations, which are based on the 2D geometric transformations shown in Figure 2.4. The formulas for these transformations were originally given in Table 2.1 and are reproduced here in Table 3.5 for ease of reference. In general, given a transformation specified by a formula x0 = h(x) and a source image f(x), how do we compute the values of the pixels in the new image g(x), as given in (3.88)? Think about this for a minute before proceeding and see if you can figure it out. If you are like most people, you will come up with an algorithm that looks something like Algorithm 3.1. This process is called forward warping or forward mapping and is shown in Figure 3.46a.
    [Show full text]
  • Chapter 12 the Cross Ratio
    Chapter 12 The cross ratio Math 4520, Fall 2017 We have studied the collineations of a projective plane, the automorphisms of the underlying field, the linear functions of Affine geometry, etc. We have been led to these ideas by various problems at hand, but let us step back and take a look at one important point of view of the big picture. 12.1 Klein's Erlanger program In 1872, Felix Klein, one of the leading mathematicians and geometers of his day, in the city of Erlanger, took the following point of view as to what the role of geometry was in mathematics. This is from his \Recent trends in geometric research." Let there be given a manifold and in it a group of transforma- tions; it is our task to investigate those properties of a figure belonging to the manifold that are not changed by the transfor- mation of the group. So our purpose is clear. Choose the group of transformations that you are interested in, and then hunt for the \invariants" that are relevant. This search for invariants has proved very fruitful and useful since the time of Klein for many areas of mathematics, not just classical geometry. In some case the invariants have turned out to be simple polynomials or rational functions, such as the case with the cross ratio. In other cases the invariants were groups themselves, such as homology groups in the case of algebraic topology. 12.2 The projective line In Chapter 11 we saw that the collineations of a projective plane come in two \species," projectivities and field automorphisms.
    [Show full text]