The 2D Projective Plane. Points and Lines. The 2D projective plane. A point in a plane is represented by (x, y) in R 2 (x, y) is also a vector Homogeneous representation point ( x 1 , x 2 , x 3 ) x= x 1 / x 3 y = x 2 / x 3
Une image / un lien ci-dessous est fourni (tel quel) pour télécharger la présentation
Politique de téléchargement : le contenu du site vous est fourni TEL QUEL pour votre information et votre usage personnel ; il ne peut être vendu, concédé sous licence ni partagé sur d’autres sites sans l’accord de son auteur.Le contenu vous est fourni TEL QUEL, pour votre information et votre usage personnel uniquement.Téléchargez la présentation en cliquant sur ce lien.Lors du téléchargement, si vous ne parvenez pas à télécharger une présentation, l’éditeur a peut-être supprimé le fichier de son serveur.Pendant le téléchargement, si vous ne parvenez pas à obtenir une présentation, le fichier a peut-être été supprimé par l’éditeur.
The 2D projective plane A point in a plane is represented by (x, y) in R2 (x, y) is also a vector Homogeneous representation point ( x1, x2 , x3 ) x= x1/ x3 y = x2/ x3 One representation of a point is ( x, y, 1)
Lines and points Line ax + by +c = 1 • ( x, y, 1) ( a, b, c)T =0 • xTl = 0 • l = (a, b, c)T l’ = (a’, b’, c’)T Define the vector x = l x l’ Intersection of 2 lines Where x is a cross product
Cross products • From the identity l. (l x l’) = l’. (l x l’) = 0 lTx = l’Tx = 0 • Thus x is a point lying in both l and l’ which is the intersection of two lines • Line joining 2 points l = x x x’
Ideal points and line at infinity 1 • Intersection of parallel lines l = (a, b, c) and l’ =(a, b, c’) are parallel l x l’ = (c’ – c)( b, -a, 0)T • Ignoring scale, it is a point ( b, -a, 0)T with inhomogeneous coordinates (b/0, -a/0)T It is a point at infinity where the lines meet. It is not a finite point in R2
Ideal points and line at infinity 2 • The points with last coordinate x3 = 0 are known as ideal points, or points at infinity. Note that this set lies on a single line , the line at infinity linf =( 0, 0, 1)T as ( 0,0,1) (x1 , x2 , 0) = 0 A line l =( a, b, c)T intersect the line at infinity in the ideal point ( b, -a, 0)T (b, -a) T represent the line’s direction
Ideal points and line at infinity 3 • The line at infinity can be thought of as the set of directions of all lines in the plane. • One may argument R2 by adding points with the last coordinate x3 = 0, • The resulting space is p2 is named the projective space • The geometry of p2 is known as projective geometry
A model of projective plane • A fruitful way of thinking : p2 is a set of rays in R3. Each vector k( x1, x2, x3)T as k varies forms a ray pass through the origin. A ray can be thought of a point in p2 In this model , the lines in p2 are planes passing through the origin
A model of the projective plane • Points and lines of p2 are represented by rays and planes respectively, through the origin in R3. • x1x2 - plane represents the line at infinity linfLines in x1x2 plane represent ideal points
Projective plane model 2 • Two non-identical rays lie on exactly one plane, and any two planes intersect at one ray. • This is analogue of two distinct points define a line and two lines meet always intersect at a point. • Points and lines may be obtained by intersecting rays and planes by the plane x3 = 1 • The rays representing ideal points and the plane representing linfinity are parallel to the plane x3 =1
Duality Principle • To any theorem of 2 –dimensional projective geometry, there corresponds a dual theorem, which may be derived by interchanging the roles of points and lines in the original theorem
Conics and Dual conics • A conic is a curve described by a second-degree equation in the plane. • In Euclidean geometry, conics are of 3 main types: hyperbola, ellipse and parabola • In 2D projective geometry all non-degenerate conics are equivalent under projective transformations
Equation of conics • In inhomogeneous coordinates, a conic is given by • ax2 + bxy + cy2 + dx + ey + f = 0 • Let x = x1/x3 , y = x1/x3 , Then • ax12 + bx1x2 + cx12 + dx1x3 +ex2x3 +fx32 =0
Five point define a conic • C is symmetric and only the ratios of the matrix elements are important. C has 5 degrees of freedom Put x3 =1. If C passes through xi, yi, , then ( xi2 xi yi yi2 xi yi 1) c =0 where c = ( a, b, c, d, e, f)T is the conic represented as a 6-vector
Tangent lines to conics • The line l tangent to a conic C at a point x on C is given by l = Cx
Dual Conics • There exist a dual conic C* which defines an equation on lines. • A line l tangent to the conic C satisfies • lT C*l = 0 • C* is the adjoint matrix of C • For a non-singular symmetric matrix C* = C-1
Degenerated conics • If C is not of full rank, then the conic is termed degnerate. Degenerate point conics include 2 lines ( rank 2) and a repeated line (rank1) • C = l mT + m lT • Is composed of two lines l and m
Projective transformations • A projectivity is an invertible mapping h from p2 to itself such that three points x1, x2 and x3 lie on the same line if and only if h (x1), h(x2) and h( x3) do. Projectivities form a group. Projectivity is also called A projective transformation or a homography
Projective transformations 2 • A mapping h :p2 p2 is a projectivity if and only if there exists a non-singular 3 x 3 matrix H such that for any point in p2represented by a vector x is true that h(x) = H x. Any point in p2 is represented as a homogenous 3-vector x, and Hx is a linear mapping of the homogeneous coordinates
Three remarks on computing H • Knowledge of camera parameters or the pose of plane are not required • 4 points are not always necessary. Alternative approach requires less information. • Superior methods of computing projective transform are described later
Transformation of lines • Under a point transformation x’ = H x, • Given xi lies on l , x’ will lie on a transformed line l’ =H-T l • In this way, l’T xi’ = lT H-1Hxi =0
Transformation of conics x = H-1 x’ xT =x’T H-T xTCx = x’T H-TC H-1 x’ = x’T C’x’ A conic C transform to C’= H-T C H-1 A dual conic transform to C*’ = HC*HT
Euclidean transformation • If e = 1, the isometry is orientation- preserving and is an Euclidean transformation If e = -1, the isometry reverse orientation HE is a planar Euclidean transformation with R a 2x2 rotation matrix
Groups and orientation • An isometry is orientation-preserving if R has determinant 1. The isometries form a group. • This also applies to the cases of • Similarity and affine transformation
Decomposing an affine matrix A • A = R (q) R(-f) D R(f) • Where R (q) and R(f) are rotation by q and f respectively. D is a diagonal matrix. • This follows from the SVD where U and V are orthogonal matrices • A = (UVT)(VDVT)= R (q) (R(-f) D R(f))
Invariants • (i) parallel lines • (ii) Ratio of lengths of parallel line segments • (iii) Ratio of areas
Cross ratio: alternative definition • Cross ratio expressed as ratio of ratios of lengths: • Let A, B, C, and D be 4 collinear points. The basic invariant of any homology is the cross ratio • (A, B, C, D) = • The points at infinity
Connexion au compte
Connectez-vous pour publier votre contenu sur SlideServe.