DOCSLIB.ORG

A Generalized Cross Ratio 3

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

A GENERALIZED CROSS RATIO MICHAEL R. PILLA [email protected] SWAIN HALL EAST 205 729 EAST 3RD ST. BLOOMINGTON, IN 47405 Abstract. In one complex variable, the cross ratio is a well-known quantity associated with four given points in the complex plane that remains invariant under linear fractional maps. In particular, if one knows where three points in the complex plane are mapped under a linear fractional map, one can use this invariance to explicitly determine the map and to show that linear frac- tional maps are 3-transitive. In this paper, we define a generalized cross ratio and determine some of its basic properties. In particular, we determine which hypotheses must be made to guarantee that our generalized cross ratio is well defined. We thus obtain a class of maps that obey similar transitivity proper- ties as in one complex dimension, under some more restrictive conditions. 1. Background. In 1872, Felix Klein famously introduced a point of view regarding what geometry should be about [4]. Known as the Erlangen program, Klein viewed geometry as a study of invariants under group transformations. An important and robust example of such an invariant quantity is given by the cross ratio. Given four finite distinct points z1, z2, z3, and z4 in the complex plane, the cross ratio is defined as (z1 − z3)(z2 − z4) (1) (z1,z2,z3,z4)= . (z1 − z4)(z2 − z3) If zi = ∞ for some i =1, 2, 3, 4 then we cancel the terms with zi. For example, if z1 = ∞, then arXiv:2106.10570v1 [math.CV] 19 Jun 2021 (z2 − z4) (z1,z2,z3,z4)= . (z2 − z3) With this definition, we may view the cross ratio as a function of z given by (z,z1,z2,z3). Recall that a linear fractional map, also known as a Mobius transfor- mation, is defined as az + b f(z)= cz + d where the coefficients a, b, c, and d are complex numbers such that ad − bc 6= 0 (otherwise f(z) is a constant function). 2010 Mathematics Subject Classification. 32A08. Key words and phrases. LINEAR FRACTIONAL MAPS, CROSS RATIO, TRANSITIVITY. 1 2MICHAEL R. PILLA [email protected] SWAIN HALL EAST 205 729 EAST 3RD ST. BLOOMINGTON, IN 47405 It is well known that the cross ratio is preserved under linear fractional maps. Thus if φ is a linear fractional map in one complex variable and φ(zi) = wi for i =1, 2, 3 then (w − w )(w − w ) (z − z )(z − z ) 2 1 3 = 2 1 3 (w − w3)(w1 − w2) (z − z3)(z1 − z2) where w = φ(z). In such a case one may solve for w to determine the map explicitly. 2. Homogeneous coordinates. Given a linear fractional map az + b φ(z)= cz + d we may define the associated matrix of φ as a b m = . φ c d Although linear fractional maps can be associated with matrices, they are clearly C 1 not linear transformations of (take f(z) = z , for example). Instead, the asso- ciated matrix acts as a linear transformation on what are known as homogeneous coordinates in C2. Homogeneous coordinates are defined as follows. We associate the point u = (u ,u ) ∈ C2 \{0} with the point z = u1 ∈ C. We will write z ∼ u 1 2 u2 if z ∈ C is the point associated with u ∈ C2. This space is equivalent to the Rie- mann sphere and is known as the complex projective line CP1. The point (1, 0) is associated with the point at infinity on the Riemann sphere. Notice if φ(z) = w 1 and the point u ∈ CP is associated with z, then v = mφu is associated with the point w and vice versa. That is, if z ∼ u, then φ(z) ∼ mφu. The reason we are introducing these homogeneous coordinates is made evident by the following discussion. A linear transformation in C2 can be represented by a complex matrix as v a b u au + bu 1 = 1 = 1 2 . v c d u cu + du 2 2 1 2 u v Let z ∼ 1 and w ∼ 1 . Then we can associate the above linear transfor- u2 v2 mation with the linear fractional transformation a u1 + b v au + bu u2 az + b w = 1 = 1 2 = = . v2 cu1 + du2 c u1 + d cz + d u2 Thus, the associated matrices are linear transformations acting on CP1! (see [4] −1 for more details) A routine calculation shows that mφ1◦φ2 = mφ1 mφ2 and mφ = −1 (mφ) as well. We next define the cross ratio in homogeneous coordinates. As we will see, this is the key to generalized the definition to higher dimensions. First we define the 1 following quantity. If u = (u1,u2) and v = (v1, v2) are points in CP , then we define A GENERALIZED CROSS RATIO 3 u v (2) [u, v] = det 1 1 . u v 2 2 Since we have reserved subscripts for the components of a point in several vari- ables, for the remainder of our discussion we choose to designate superscripts for distinct points. As we will only consider linear fractional maps, there should be no confusion about notation. Just remember, superscripts will not designate exponents but rather distinct points. We may then define the cross ratio as follows. Definition. Let u1, u2, u3, and u4 be four distinct points in CP1, then we define the cross ratio to be [u1,u3][u2,u4] (u1,u2,u3,u4)= . [u1,u4][u2,u3] Amazingly, this definition agrees with the traditional definition of the cross ratio. For finite points we can see this as follows. Given four finite distinct points z1, z2, z3, and z4 in C, take a moment to convince yourself that we may write the associated points as ui = (zi, 1) for i =1, 2, 3, 4 and find z1 z3 z2 z4 det det (z1 − z3)(z2 − z4) 1 1 1 1 (z1,z2,z3,z4)= = (z1 − z4)(z2 − z3) z1 z4 z2 z3 det det 1 1 1 1 [u1,u3][u2,u4] = = (u1,u2,u3,u4). [u1,u4][u2,u3] If one of our points is associated with the point at infinity, then without loss of generality, we let z1 = ∞ and the point associated with z1 may, without loss of generality, be written as u1 = (1, 0) which gives us z2 z4 det (z2 − z4) 1 1 (z1,z2,z3,z4)= = (z2 − z3) z2 z3 det 1 1 1 z3 z2 z4 det det 0 1 1 1 [u1,u3][u2,u4] = = = (u1,u2,u3,u4). 1 z4 z2 z3 [u1,u4][u2,u3] det det 0 1 1 1 Thus, the cross ratio is not only invariant under φ but also mφ. In addition to this, the definition of the cross ratio in terms of homogeneous coordinates is more unifying in the sense that the case of “infinity” is included in the definition. This resonates with Klein’s Erlangen program and its focus on projective geometry (geometry done on projective spaces) as a more unifying geometry. In particular, we utilize this point of view to define a cross ratio in several complex variables. 4MICHAEL R. PILLA [email protected] SWAIN HALL EAST 205 729 EAST 3RD ST. BLOOMINGTON, IN 47405 3. Linear Fractional Maps in Several Complex Variables. To define the cross ratio in several complex variables, we must first say what it means to be a linear fractional map in CN for N > 1. We saw that in one variable the linear fractional maps were not linear transformations on C but rather on the complex projective line CP1. In this paper, we take the perspective that we would like our linear fractional maps in CN to be linear transformations on the complex projective space CPN . ′ ′ N Thus we associate the point z = (z ,z2) where z ∈ C and z2 ∈ C, z 6= 0, with ′ 1 1 the point z1 ∈ CN . This associated space is known as the complex projective space z2 CPN . We now consider a linear transformation in CPN which can be represented by a complex matrix as A B C∗ D where A is an N × N matrix, B and C are column vectors in CN , D ∈ C, and C∗ represents the conjugate transpose of C. Denote the rows of A by ai for i =1, ..., N T and B = b1 ··· bN and let h·, ·i be the standard inner product. For a point z′ 1 in CP N , we have z 2 ′ ha1, z1i + b1z2 ′ ′ . w1 A B z1 . = ∗ = . w2 C D z2 ha , z′ i + b z N 1 N 2 hz′ , Ci + Dz 1 2 z′ w′ Let z ∼ 1 and w ∼ 1 . Then we can associate the above linear transfor- z w 2 2 mation in CPN with the not necessarily linear transformation in CN given by ′ ′ ′ w1 ha1, z1i + b1z2 haN , z1i + bN z2 w = = ′ , ..., ′ w2 hz1, Ci + Dz2 hz1, Ci + Dz2 ! z′ z′ ha , 1 i + b ha , 1 i + b 1 z2 1 N z2 N = z′ , ..., z′ h 1 , Ci + D h 1 , Ci + D z2 z2 ha , zi + b ha , zi + b = 1 1 , ..., N N hz, Ci + D hz, Ci + D Az + B = . hz, Ci + D This is precisely the definition given by Cowen and MacCluer [1] and is the one we will adopt. Definition. We say φ is a linear fractional map in CN if Az + B (3) φ(z)= . hz, Ci + D A GENERALIZED CROSS RATIO 5 where A is an N × N matrix, B and C are column vectors in CN , D ∈ C, and h·, ·i is the standard inner product. This class of maps has been studied in more generality by others [3], [6], [7], [8].
Recommended publications
  • 13 Circles and Cross Ratio

    13 Circles and Cross Ratio

    13 Circles and Cross Ratio Following up Klein’s Erlangen Program, after defining the group of linear transformations, we study the invariant properites of subsets in the Riemann Sphere under this group. Appolonius’ Circle Recall that a line or a circle on the complex plane, their corresondence in the Riemann Sphere are all circles. We would like to prove that any linear transformation f maps a circle or a line into another circle or line. To prove this, we may separate 4 cases: f maps a line to a line; f maps a line to a circle; f maps a circle to a line; and f maps a circle to a circle. Also, we observe that f is a composition of several simple linear transformations of three type: 1 f1(z)= az, f2(z)= a + b and f3(z)= z because az + b g(z) f(z)= = = g(z)φ(h(z)) (56) cz + d h(z) 1 where g(z) = az + b, h(z) = cz + d and φ(z) = z . Then it suffices to separate 8 cases: fj maps a line to a line; fj maps a line to a circle; fj maps a circle to a line; and fj maps a circle to a circle for j =1, 2, 3. To simplify this proof, we want to write a line or a circle by a single equation, although usually equations for a line and for a circle are are quite different. Let us consider the following single equation: z − z1 = k, (57) z − z2 for some z1, z2 ∈ C and 0 <k< ∞.
  • Projective Geometry: a Short Introduction

    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.
  • Projective Coordinates and Compactification in Elliptic, Parabolic and Hyperbolic 2-D Geometry

    Projective Coordinates and Compactification in Elliptic, Parabolic and Hyperbolic 2-D Geometry

    PROJECTIVE COORDINATES AND COMPACTIFICATION IN ELLIPTIC, PARABOLIC AND HYPERBOLIC 2-D GEOMETRY Debapriya Biswas Department of Mathematics, Indian Institute of Technology-Kharagpur, Kharagpur-721302, India. e-mail: d [email protected] Abstract. A result that the upper half plane is not preserved in the hyperbolic case, has implications in physics, geometry and analysis. We discuss in details the introduction of projective coordinates for the EPH cases. We also introduce appropriate compactification for all the three EPH cases, which results in a sphere in the elliptic case, a cylinder in the parabolic case and a crosscap in the hyperbolic case. Key words. EPH Cases, Projective Coordinates, Compactification, M¨obius transformation, Clifford algebra, Lie group. 2010(AMS) Mathematics Subject Classification: Primary 30G35, Secondary 22E46. 1. Introduction Geometry is an essential branch of Mathematics. It deals with the proper- ties of figures in a plane or in space [7]. Perhaps, the most influencial book of all time, is ‘Euclids Elements’, written in around 3000 BC [14]. Since Euclid, geometry usually meant the geometry of Euclidean space of two-dimensions (2-D, Plane geometry) and three-dimensions (3-D, Solid geometry). A close scrutiny of the basis for the traditional Euclidean geometry, had revealed the independence of the parallel axiom from the others and consequently, non- Euclidean geometry was born and in projective geometry, new “points” (i.e., points at infinity and points with complex number coordinates) were intro- duced [1, 3, 9, 26]. In the eighteenth century, under the influence of Steiner, Von Staudt, Chasles and others, projective geometry became one of the chief subjects of mathematical research [7].
  • 2D and 3D Transformations, Homogeneous Coordinates Lecture 03

    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.
  • Lie Group and Geometry on the Lie Group SL2(R)

    Lie Group and Geometry on the Lie Group SL2(R)

    INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR Lie group and Geometry on the Lie Group SL2(R) PROJECT REPORT – SEMESTER IV MOUSUMI MALICK 2-YEARS MSc(2011-2012) Guided by –Prof.DEBAPRIYA BISWAS Lie group and Geometry on the Lie Group SL2(R) CERTIFICATE This is to certify that the project entitled “Lie group and Geometry on the Lie group SL2(R)” being submitted by Mousumi Malick Roll no.-10MA40017, Department of Mathematics is a survey of some beautiful results in Lie groups and its geometry and this has been carried out under my supervision. Dr. Debapriya Biswas Department of Mathematics Date- Indian Institute of Technology Khargpur 1 Lie group and Geometry on the Lie Group SL2(R) ACKNOWLEDGEMENT I wish to express my gratitude to Dr. Debapriya Biswas for her help and guidance in preparing this project. Thanks are also due to the other professor of this department for their constant encouragement. Date- place-IIT Kharagpur Mousumi Malick 2 Lie group and Geometry on the Lie Group SL2(R) CONTENTS 1.Introduction ................................................................................................... 4 2.Definition of general linear group: ............................................................... 5 3.Definition of a general Lie group:................................................................... 5 4.Definition of group action: ............................................................................. 5 5. Definition of orbit under a group action: ...................................................... 5 6.1.The general linear
  • 2-D Drawing Geometry Homogeneous Coordinates

    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.
  • Projective Geometry Lecture Notes

    Projective Geometry Lecture Notes

    Projective Geometry Lecture Notes Thomas Baird March 26, 2014 Contents 1 Introduction 2 2 Vector Spaces and Projective Spaces 4 2.1 Vector spaces and their duals . 4 2.1.1 Fields . 4 2.1.2 Vector spaces and subspaces . 5 2.1.3 Matrices . 7 2.1.4 Dual vector spaces . 7 2.2 Projective spaces and homogeneous coordinates . 8 2.2.1 Visualizing projective space . 8 2.2.2 Homogeneous coordinates . 13 2.3 Linear subspaces . 13 2.3.1 Two points determine a line . 14 2.3.2 Two planar lines intersect at a point . 14 2.4 Projective transformations and the Erlangen Program . 15 2.4.1 Erlangen Program . 16 2.4.2 Projective versus linear . 17 2.4.3 Examples of projective transformations . 18 2.4.4 Direct sums . 19 2.4.5 General position . 20 2.4.6 The Cross-Ratio . 22 2.5 Classical Theorems . 23 2.5.1 Desargues' Theorem . 23 2.5.2 Pappus' Theorem . 24 2.6 Duality . 26 3 Quadrics and Conics 28 3.1 Affine algebraic sets . 28 3.2 Projective algebraic sets . 30 3.3 Bilinear and quadratic forms . 31 3.3.1 Quadratic forms . 33 3.3.2 Change of basis . 33 1 3.3.3 Digression on the Hessian . 36 3.4 Quadrics and conics . 37 3.5 Parametrization of the conic . 40 3.5.1 Rational parametrization of the circle . 42 3.6 Polars . 44 3.7 Linear subspaces of quadrics and ruled surfaces . 46 3.8 Pencils of quadrics and degeneration . 47 4 Exterior Algebras 52 4.1 Multilinear algebra .
  • Chapter 12 the Cross Ratio

    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.
  • Homogeneous Representations of Points, Lines and Planes

    Homogeneous Representations of Points, Lines and Planes

    Chapter 5 Homogeneous Representations of Points, Lines and Planes 5.1 Homogeneous Vectors and Matrices ................................. 195 5.2 Homogeneous Representations of Points and Lines in 2D ............... 205 n 5.3 Homogeneous Representations in IP ................................ 209 5.4 Homogeneous Representations of 3D Lines ........................... 216 5.5 On Plücker Coordinates for Points, Lines and Planes .................. 221 5.6 The Principle of Duality ........................................... 229 5.7 Conics and Quadrics .............................................. 236 5.8 Normalizations of Homogeneous Vectors ............................. 241 5.9 Canonical Elements of Coordinate Systems ........................... 242 5.10 Exercises ........................................................ 245 This chapter motivates and introduces homogeneous coordinates for representing geo- metric entities. Their name is derived from the homogeneity of the equations they induce. Homogeneous coordinates represent geometric elements in a projective space, as inhomoge- neous coordinates represent geometric entities in Euclidean space. Throughout this book, we will use Cartesian coordinates: inhomogeneous in Euclidean spaces and homogeneous in projective spaces. A short course in the plane demonstrates the usefulness of homogeneous coordinates for constructions, transformations, estimation, and variance propagation. A characteristic feature of projective geometry is the symmetry of relationships between points and lines, called
  • 2 Lie Groups

    2 Lie Groups

    2 Lie Groups Contents 2.1 Algebraic Properties 25 2.2 Topological Properties 27 2.3 Unification of Algebra and Topology 29 2.4 Unexpected Simplification 31 2.5 Conclusion 31 2.6 Problems 32 Lie groups are beautiful, important, and useful because they have one foot in each of the two great divisions of mathematics — algebra and geometry. Their algebraic properties derive from the group axioms. Their geometric properties derive from the identification of group operations with points in a topological space. The rigidity of their structure comes from the continuity requirements of the group composition and inversion maps. In this chapter we present the axioms that define a Lie group. 2.1 Algebraic Properties The algebraic properties of a Lie group originate in the axioms for a group. Definition: A set gi,gj,gk,... (called group elements or group oper- ations) together with a combinatorial operation (called group multi- ◦ plication) form a group G if the following axioms are satisfied: (i) Closure: If g G, g G, then g g G. i ∈ j ∈ i ◦ j ∈ (ii) Associativity: g G, g G, g G, then i ∈ j ∈ k ∈ (g g ) g = g (g g ) i ◦ j ◦ k i ◦ j ◦ k 25 26 Lie Groups (iii) Identity: There is an operator e (the identity operation) with the property that for every group operation g G i ∈ g e = g = e g i ◦ i ◦ i −1 (iv) Inverse: Every group operation gi has an inverse (called gi ) with the property g g−1 = e = g−1 g i ◦ i i ◦ i Example: We consider the set of real 2 2 matrices SL(2; R): × α β A = det(A)= αδ βγ = +1 (2.1) γ δ − where α,β,γ,δ are real numbers.
  • Euclidean Versus Projective Geometry

    Euclidean Versus Projective Geometry

    Projective Geometry Projective Geometry Euclidean versus Projective Geometry n Euclidean geometry describes shapes “as they are” – Properties of objects that are unchanged by rigid motions » Lengths » Angles » Parallelism n Projective geometry describes objects “as they appear” – Lengths, angles, parallelism become “distorted” when we look at objects – Mathematical model for how images of the 3D world are formed. Projective Geometry Overview n Tools of algebraic geometry n Informal description of projective geometry in a plane n Descriptions of lines and points n Points at infinity and line at infinity n Projective transformations, projectivity matrix n Example of application n Special projectivities: affine transforms, similarities, Euclidean transforms n Cross-ratio invariance for points, lines, planes Projective Geometry Tools of Algebraic Geometry 1 n Plane passing through origin and perpendicular to vector n = (a,b,c) is locus of points x = ( x 1 , x 2 , x 3 ) such that n · x = 0 => a x1 + b x2 + c x3 = 0 n Plane through origin is completely defined by (a,b,c) x3 x = (x1, x2 , x3 ) x2 O x1 n = (a,b,c) Projective Geometry Tools of Algebraic Geometry 2 n A vector parallel to intersection of 2 planes ( a , b , c ) and (a',b',c') is obtained by cross-product (a'',b'',c'') = (a,b,c)´(a',b',c') (a'',b'',c'') O (a,b,c) (a',b',c') Projective Geometry Tools of Algebraic Geometry 3 n Plane passing through two points x and x’ is defined by (a,b,c) = x´ x' x = (x1, x2 , x3 ) x'= (x1 ', x2 ', x3 ') O (a,b,c) Projective Geometry Projective Geometry
  • 1 Homogeneous Coordinates and Vanishing Points

    1 Homogeneous Coordinates and Vanishing Points

    CSE 152: Solutions to Assignment 1 Spring 2006 1 Homogeneous Coordinates and Vanishing Points In class, we discussed the concept of homogeneous coordinates. In this example, we will confine ourselves to the real 2D plane. A point (x, y)> on the real 2D plane can be represented in homo- geneous coordinates by a 3-vector (wx, wy, w)>, where w 6= 0 is any real number. All values of w 6= 0 represent the same 2D point. Dividing out the third coordinate of a homogeneous point x y > (x, y, z) converts it back to its 2D equivalent: , . z z Consider a line in the 2D plane, whose equation is given by ax + by + c = 0. This can equiv- alently be written as l>x = 0, where l = (a, b, c)> and x = (x, y, 1)>. Noticing that x is a ho- mogeneous representation of (x, y)>, we define l as a homogeneous representation of the line ax + by + c = 0. Note that the line (ka)x + (kb)y + (kc) = 0 for k 6= 0 is the same as the line ax + by + c = 0, so the homogeneous representation of the line ax + by + c = 0 can be equivalently given by (a, b, c)> or (ka, kb, kc)> for any k 6= 0. All points (x, y) that lie on the line ax + by + c = 0 satisfy the equation l>x = 0, thus, we can say that a condition for a homogeneous point x to lie on the homogeneous line l is that their dot product is zero, that is, l>x = 0.