Presentation is loading. Please wait.

Presentation is loading. Please wait.

The 2D Projective Plane Points and Lines.

Similar presentations


Presentation on theme: "The 2D Projective Plane Points and Lines."— Presentation transcript:

1 The 2D Projective Plane Points and Lines

2 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 )

3 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

4 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’

5 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

6 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

7 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

8 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

9 Points and lines of p2 are represented as rays and planes through the origin

10 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 linf Lines in x1x2 plane represent ideal points

11 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

12 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

13 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

14 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

15 Conics In matrix form xT C x = where C =

16 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

17 Constraints from 5 points

18 Tangent lines to conics
The line l tangent to a conic C at a point x on C is given by l = Cx

19 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

20 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

21 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

22 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 p2 represented 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

23 Central projection maps points to points and lines to lines

24 Definition A planar projective transform is represented by a non-singular 3x3 matrix H where x’ = H x

25 Removing the projective distortion from the perspective image of a plane
Compute projective transform from point correspondence: x’=Hx

26 Four point correspondences lead to 8 such linear equations on H
Four points gives 8 constraints are used to computing H. The points must be in general position: no 3 points are collinear. x= H-1x’ Remove projective distortion

27 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

28 Removing the projective distortion from a perspective image of a plane
H between image and plane can be computed without knowing the camera parameters

29 The projective transformation between two images induced by a world plane

30 The projective transformation between two images with the same camera centre

31 The projective transformation the image of a plane and the image of its shadow onto another plane

32 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

33 Transformation of conics
x = H-1 x’ xT =x’T H-T xT Cx = 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

34 Distortion arising under central projection
Images of a tiled floor: Similarity, Affine, Projective

35 A hierarchy of transformations
Class 1: Isometries An isometry is represented as where e = 1 or -1

36 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

37 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

38 Class ll: Similarity transformations

39 Class lll:Affine transformation

40 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))

41 Invariants (i) parallel lines
(ii) Ratio of lengths of parallel line segments (iii) Ratio of areas

42 Distortion arising from a planar affine transformation

43 Class lV: Projective transformation
Vector v is a 2-vector and v is a scaler. The matrix has 9 elements with only their ratio significant.

44 Comparing affine and projective transformations Ideal points are mapped to finite points in projective transformations

45 Decomposition of a projective transformation H
A is a non-singular matrix given by A=sRK+tvT And K is an upper triangular matrix normalized as Det K =1

46 An example

47

48 The projective Geometry of 1D

49 A few comments on the cross ratio

50 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

51 Concurrent lines A configuration of concurrent lines is dual to collinear points on a line. This means the concurrent lines on a plane also have the geometry p1. In particulars, 4 concurrent lines have across ratio as shown in the following slide

52 Projective transformation between lines There are 4 sets of four collinear points. The cross ratio is an invariant under projectivity

53 Concurrent lines; dual to collinear points on a line

54 Recovery of affine and metric properties from images
It is noted that the projective distortion in the perspective image of a plane is removed by specifying 4 points. ( 8 dof) However, only 4 dof is required to specified in order to determine metric properties. These 4 dof are given physical substance by associating them with geometric objects: The line at infinity linf( 2dof) and the circular points (2dof)

55 The line at infinity linf is a fixed line under the projective transformation H if and only if H is an affinity. Once the line at infinity linf is specified, the projective distortion is removed to give affine image. The affine distortion is removed once the image of the circular points are specified.

56 Recovery of affine properties from images
A transform H can be computed which transforms the identified linf to its canonical position linf = ( 0, 0, 1)T. Then H may be applied to every point to rectify the image. The H is given by ( HA is any affine matrix)

57 Affine rectification

58 Affine rectification via the vanishing line

59 Equal distance ratios on a line to determine the point at infinity 1inf

60 Equal distance ratios on a line to determine the point at infinity 2

61 Circular points and their dual

62 Notes on circular points

63 Notes on circular points
Algebraically, the circular points are the orthogonal directions of Euclidean geometry, (1,0,0)T and (0, 1,0)T packaged into a single complex conjugate entity l = (1, 0, 0)T + i (0, 1, 0)T

64

65

66 Angles on the projective plane

67

68 Some results 1.22 once the conic C*inf is identified on the projective plane, then Euclidean angle can be measured As a corollary 1.23 Lines l and m are orthogonal if

69 Length ratios

70 Recovery of metric properties from images
Same as recovering affine properties by specifying linf , metric properties can be recovered from an image of a plane by transforming the circular points to their canonical position. A projective transform H that maps the images of the circular points to their canonical positions at

71 Length ratios

72 Metric rectification using

73 Results

74 Metric rectification via orthogonal lines l

75 Example 1.25 Metric rectification 1
Suppose the line l’ and m’ in the affinely rectified image corresponding to an orthogonal pair l and m on the world plane. Using v=0, and the result:

76 Metric rectification 1 (cond)
It is a linear constraint on the matrix S = KKT S is symmetric and with 3 parameters with 2 dof ( no overall scaling). Thus where s = (s11 , s12 , s22 )

77 Metric rectification via orthogonal lines ll

78 Example 1.26 Metric rectification ll using 5 line pairs
We start from the original perspective image and l and m are images of orthogonal lines in a world plane. Then from the result This provides a linear constraint on the conic

79 The pole-polar relationship

80 More properties of conics
A point x and conic C define a line l = Cx. The line is called the polar of x with respective to C, and point x is the pole of l with respect to C. The polar line l = Cx of the point x with respect to C intersects the conic in two points. The two lines tangent to C at these points intersect at x

81 Conjugate points If the point y is on the line l = C x ,
then, yT l = yT C x = 0. Any two points x,y satisfying yT C x = 0 are conjugate w.r.t. to the conic If x is on the polar of y then y is on the polar of x. The relation is symmetric

82 Projective classification of conics
The projective normal form for a conic C C is a symmetric matrix and has real eigenvalues C = UTDU where U is an orthogonal matrix and D is a diagonal one. Applying a projective transform represented by U on C gives C’ = U-TCU-1 = U-T UTDU U-1 = D

83 Projective classification of conics 2
Let D = diag(e1d1, e2d2, e3d3) where ei = +1, – 1 or 0 and each di > 0 Then D can be written as D = diag(s1 ,s2, s3)Tdiag (e1, e2, e3) diag(s1 ,s2, s3) where si2 = di Noting that diag(s1 ,s2, s3)T = diag(s1 ,s2, s3). Transforming D once more by diag(s1 ,s2, s3), D is transformed to diag (e1, e2, e3). Hence the classification of conics as given in the table below

84 Projective classifications of point conics

85 Affine classification of conics
In Euclidean geometry conics are classified into hyperbola, ellipse and parabola. These three types of conics are projectively equivalent to a circle. In affine geometry, this classification is still valid because it depends only on the relation of linf to the conic

86 Affine classification of point conics Ellipse, parabola and hyperbola The classification is unaltered by affine transformation

87 Fixed points and lines under transformation
linf and the circular points are line and points which are fixed under a projective trnasformation Key idea An eigenvector e corresponds to a fixed point of the transformation, since He = le Where l is the eigenvalue Noting that e and le represents the same point.

88 Fixed point and lines: Euclidean matrix
The complex conjugate pair of circular points I, J with corresponding eigenvalues {eiq, e-iq } , q the rotation angle. HE is equal to a pure rotation about the third eigenvector ( l =1 )about this point. For pure translation, q = 0. The eigenvalues are triply degenerate.

89 Fixed point and lines:Similarity matrix Affine matrix
Similarity : The two ideal fixed points are the circular points. The eignenvalues are {1, seiq, se-iq } Affine:The two ideal fixed point can be real or complex conjugates, but the fixed line Linf = (0, 0, 1)T is real in either cases

90 Fixed points and lines of a plane projective transformation


Download ppt "The 2D Projective Plane Points and Lines."

Similar presentations


Ads by Google