Objectives. Geometry. Basic Elements. Coordinate-Free Geometry. Transformations to Change Coordinate Systems. Scalars

Transcription

1 Objecties Geometry CS 432 Interactie Computer Graphics Prof. Daid E. Breen Department of Computer Science Introduce the elements of geometry - Scalars - Vectors - Points Deelop mathematical operations among them in a coordinate-free manner Define basic primities - Line segments - Polygons 1 2 Basic Elements Coordinate-Free Geometry Geometry is the study of the relationships among objects in an n-dimensional space - In computer graphics, we are interested in objects that exist in three dimensions Want a minimum set of primities from which we can build more sophisticated objects We will need three basic elements - Scalars - Vectors - Points 3 When we learned simple geometry, most of us started with a Cartesian approach - Points were at locations in space p=(x,y,z) - We deried results by algebraic manipulations inoling these coordinates This approach was nonphysical - Physically, points exist regardless of the location of an arbitrary coordinate system - Most geometric results are independent of the coordinate system - Example Euclidean geometry: two triangles are identical if two corresponding sides and the angle between them are identical 4 Transformations to Change Coordinate Systems 4 coordinate systems 1 point P M M M = T (4,2) = T (2,3) S(0.5,0.5) = T (6.7,1.8) R(45 ) Scalars Need three basic elements in geometry - Scalars, Vectors, Points Scalars can be defined as members of sets which can be combined by two operations (addition and multiplication) obeying some fundamental axioms (associatiity, commutiity, inerses) Examples include the real and complex number systems under the ordinary rules with which we are familiar Scalars alone hae no geometric properties Foley/VanDam/Finer/Huges/Philips ICG 6 1

2 Vectors Physical definition: a ector is a quantity with two attributes - Direction - Magnitude Examples include - Force - Velocity - Directed line segments Most important example for graphics Can map to other types 7 Vector Operations Eery ector has an inerse - Same magnitude but points in opposite direction Eery ector can be multiplied by a scalar There is a zero ector - Zero magnitude, undefined orientation The sum of any two ectors is a ector - Use head-to-tail axiom - a u w 8 Linear Vector Spaces Mathematical system for manipulating ectors Operations - Scalar-ector multiplication u=a - Vector-ector addition: w=u+ Expressions such as =u+2w-3r Make sense in a ector space Vectors Lack Position These ectors are identical - Same length and magnitude Vectors spaces insufficient for geometry - Need points 9 10 Points Affine Spaces Location in space Operations allowed between points and ectors - Point-point subtraction yields a ector - Equialent to point-ector addition =P-Q P=+Q Point + a ector space Operations - Vector-ector addition - Scalar-ector multiplication - Point-ector addition - Scalar-scalar operations For any point define - 1 P = P - 0 P = 0 (zero ector)

3 Lines Consider all points of the form - P(a)=P 0 + a d - Set of all points that pass through P 0 in the direction of the ector d Parametric Form This form is known as the parametric form of the line - More robust and general than other forms - Extends to cures and surfaces Two-dimensional forms - Explicit: y = mx +h - Implicit: ax + by +c =0 - Parametric: x(a) = ax 0 + (1-a)x 1 y(a) = ay 0 + (1-a)y Rays and Line Segments Conexity If a >= 0, then P(a) is the ray leaing P 0 in the direction d If we use two points to define, then P( a) = Q + a (R-Q) = Q+a = ar + (1-a)Q For 0 <= a < =1 we get all the points on the line segment joining R and Q An object is conex iff for any two points in the object all points on the line segment between these points are also in the object P P Q conex Q not conex Affine Sums Conex Hull Consider the sum P=a 1P 1+a 2P 2+..+a np n If a 1+a 2+..a n=1 in which case we hae the affine sum of the points P 1,P 2,..P n If, in addition, a i>=0, we hae the conex hull of P 1,P 2,..P n Smallest conex object containing P 1,P 2,..P n Formed by shrink wrapping points

4 Cures and Surfaces Cures are one parameter entities of the form P(a) where the function is nonlinear Surfaces are formed from two-parameter functions P(a, b) - Linear functions gie planes and polygons P(a) P(a, b) Planes A plane can be defined by a point and two ectors or by three points P Q R u R P(a,b)=R+au+b P(a,b)=R+a(Q-R)+b(P-R) Triangles Barycentric Coordinates conex sum of P and Q conex sum of S(a) and R for 0<=a,b<=1, we get all points in triangle Triangle is conex so any point inside can be represented as an affine sum P(a 1, a 2, a 3)=a 1P+a 2Q+a 3R where a 1 +a 2 +a 3 = 1 a i>=0 The representation is called the barycentric coordinate representation of P Normals Eery plane has a ector n normal (perpendicular, orthogonal) to it From point-two ector form P(a,b)=R+au+b, we know we can use the cross product to find n = u and the equialent form (P(a)-P) n=0 Representation R u 23 E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley

5 Objecties Introduce concepts such as dimension and basis Introduce coordinate systems for representing ectors spaces and frames for representing affine spaces Discuss change of frames and bases Introduce homogeneous coordinates Linear Independence A set of ectors 1, 2,, n is linearly independent if a 1 1+a a n n=0 iff a 1=a 2= =0 If a set of ectors is linearly independent, we cannot represent one in terms of the others If a set of ectors is linearly dependent, at least one can be written in terms of the others E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley Dimension Representation In a ector space, the maximum number of linearly independent ectors is fixed and is called the dimension of the space In an n-dimensional space, any set of n linearly independent ectors form a basis for the space Gien a basis 1, 2,., n, any ector can be written as =a 1 1+ a a n n where the {a i} are unique Until now we hae been able to work with geometric entities without using any frame of reference, such as a coordinate system Need a frame of reference to relate points and objects to our physical world. - For example, where is a point? Can t answer without a reference system - World coordinates - Camera coordinates E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley Coordinate Systems Example Consider a basis 1, 2,., n A ector is written =a 1 1+ a a n n The list of scalars {a 1, a 2,. a n}is the representation of with respect to the gien basis We can write the representation as a row or column array of scalars a! a=[a 1 a 2. a n] T a = " = a=[2, 3, 4] T Note that this representation is with respect to a particular basis For example, in WebGL we start by representing ectors using the object basis but later the system needs a representation in terms of the camera or a $ eye basis 30 E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley

6 Coordinate Systems Frames Which is correct? A coordinate system is insufficient to represent points If we work in an affine space we can add a single point, the origin, to the basis ectors to form a frame Both are because ectors hae no fixed location 2 P E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley Representation in a Frame Frame determined by (P 0, 1, 2, 3) Within this frame, eery ector can be written as =a 1 1+ a a n n Eery point can be written as P = P 0 + b 1 1+ b b n n Confusing Points and Vectors Consider the point and the ector P = P 0 + b 1 1+ b b n n =a 1 1+ a a n n They appear to hae the similar representations p=[b 1 b 2 b 3] =[a 1 a 2 a 3] which confuses the point with the ector p A ector has no position Vector can be placed anywhere point: fixed E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley A Single Representation Homogeneous Coordinates If we define 0 P = 0 and 1 P =P then we can write =a 1 1+ a 2 2 +a 3 3 = [a 1 a 2 a 3 0 ] [ P 0] T P = P 0 + b 1 1+ b 2 2 +b 3 3= [b 1 b 2 b 3 1 ] [ P 0] T Thus we obtain the four-dimensional homogeneous coordinate representation = [a 1 a 2 a 3 0 ] T p = [b 1 b 2 b 3 1 ] T Angel and Shreiner: Interactie Computer Graphics 7E Addison-Wesley E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley

7 Homogeneous Coordinates The homogeneous coordinates form for a three dimensional point [x y z] is gien as p =[x y z w] T =[wx wy wz w] T We return to a three dimensional point (for w¹0) by x x /w y y /w z z /w If w=0, the representation is that of a ector Note that homogeneous coordinates replaces points in three dimensions by lines through the origin in four dimensions For w=1, the representation of a point is [x y z 1] Homogeneous Coordinates and Computer Graphics Homogeneous coordinates are key to all computer graphics systems - All standard transformations (rotation, translation, scaling) can be implemented with matrix multiplications using 4 x 4 matrices - Hardware pipeline works with 4 dimensional representations - For orthographic iewing, we can maintain w=0 for ectors and w=1 for points - For perspectie we need a perspectie diision E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley Change of Coordinate Systems Consider two representations of the same ector with respect to two different bases. The representations are a=[a 1 a 2 a 3 ] b=[b 1 b 2 b 3] where =a 1 1+ a 2 2 +a 3 3 = [a 1 a 2 a 3] [ 1 2 3] T =b 1u 1+ b 2u 2 +b 3u 3 = [b 1 b 2 b 3] [u 1 u 2 u 3] T Representing second basis in terms of first Each of the basis ectors, u1,u2, u3, are ectors that can be represented in terms of the first basis u 1 = g 11 1+g 12 2+g 13 3 u 2 = g 21 1+g 22 2+g 23 3 u 3 = g 31 1+g 32 2+g 33 3 E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley Matrix Form Change of Frames The coefficients define a 3 x 3 matrix g!! g!" g!% M = g "! g "" g "% g %! g %" g %% and the bases can be related by a=m T b see text for numerical examples We can apply a similar process in homogeneous coordinates to the representations of both points and ectors u 1 u 2 Consider two frames: 2 (P 0, 1, 2, 3) Q 0 (Q 0, u 1, u 2, u 3) P 0 1 u 3 3 Any point or ector can be represented in either frame We can represent Q 0, u 1, u 2, u 3 in terms of P 0, 1, 2, 3 E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley

8 Representing One Frame in Terms of the Other Extending what we did with change of bases u 1 = g 11 1+g 12 2+g 13 3 u 2 = g 21 1+g 22 2+g 23 3 u 3 = g 31 1+g 32 2+g 33 3 Q 0 = g 41 1+g 42 2+g g 44P 0 defining a 4 x 4 matrix M = g!! g "! g %! g &! g!" g "" g %" g &" g!% g "% g %% g &% Working with Representations Within the two frames any point or ector has a representation of the same form a=[a 1 a 2 a 3 a 4 ] in the first frame b=[b 1 b 2 b 3 b 4 ] in the second frame where a 4 = b 4 = 1 for points and a 4 = b 4 = 0 for ectors and a=m T b The matrix M is 4 x 4 and specifies an affine transformation in homogeneous coordinates E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley The World and Camera Frames When we work with representations, we work with n-tuples or arrays of scalars Changes in frame are then defined by 4 x 4 matrices In WebGL, the base frame that we start with is the world frame Eentually we represent entities in the camera frame by changing the world representation using the model-iew matrix Initially these frames are the same (M=I) Moing the Camera If objects are on both sides of z=0, we must moe camera frame [ ] d M = E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley E. Angel and D. Shriener: Interactie Computer Graphics 6E Addison-Wesley