[PDF] PROJECTIVE GEOMETRY b3 course 2003 Nigel Hitchin





Previous PDF Next PDF



Projective Geometry

Projective Geometry. Alexander Remorov alexanderrem@gmail.com. Harmonic Division. Given four collinear points A B



Projective geometry of elliptic curves

the projection of the complete intersection of two quadric hyper- surfaces in IP4 and which is singular in 10 points (counting multi plicities) of C. We shall 



Projective Geometry: A Short Introduction

manipulated with projective geometry and this in contrast to the Euclidean geometry. This allows perspective deformations to be represented as projective.



PROJECTIVE GEOMETRY b3 course 2003 Nigel Hitchin

Projective geometry evens things out – it adds to the Euclidean plane extra points at infinity where parallel lines intersect. With these new points 



Some Interpretations of Abstract Linear Dependence in Terms of

IN TERMS OF PROJECTIVE GEOMETRY.1. By SAUNDERS MACLANE. 1. Introduction. The abstract theory of linear dependence in the form.



Projective Geometry

In contrast to Euclidean geometry the following proposition declines the existence of parallel lines. Proposition 2.4. Two distinct lines in a projective plane 



Projective Geometry and Camera Models

20 janv. 2011 Today's class. Mapping between image and world coordinates. – Pinhole camera model. – Projective geometry. • Vanishing points and lines.



Chapter 5 - Basics of Projective Geometry

complex projective spaces). Technically projective geometry can be defined axiomatically



PROJECTIVE GEOMETRY Contents 1. Basic Definitions 1 2. Axioms

PROJECTIVE GEOMETRY. KRISTIN DEAN. Abstract. This paper investigates the nature of finite geometries. It will focus on the finite geometries known as 



PROJECTIVE GEOMETRY Michel Lavrauw Nesin Mathematics

PROJECTIVE GEOMETRY. Lecture 1. Projective spaces. Intuitive definition. Consider a 3-dimensional vector space V and some plane ? which does not pass.



[PDF] Projective Geometry: From Foundations to Applications

So why should a person study projective geometry? First of all projective geometry is a jewel of mathematics one of the out- standing achievements of the 



[PDF] Projective Geometry: A Short Introduction - Morpheo

The objective of this course is to give basic notions and intuitions on projective geometry The interest of projective geometry arises in several visual 



[PDF] Projective Geometry - TU Berlin

An example for a theorem of projective geometry is Pappus' theorem It is concerned with points lines and the incidence relation between points and lines



[PDF] Basics of Projective Geometry - UPenn CIS

The following concepts are presented: projective spaces projective frames homo- geneous coordinates projective maps projective hyperplanes multiprojective 



[PDF] Essential Concepts of Projective Geomtry - UCR Math

First of all one of the basic reasons for studying projective geometry is for its applications to the geometry of Euclidean space and affine geometry is



[PDF] PROJECTIVE GEOMETRY

In projective geometry every two straight lines in the same plane have a point in common i e inter- sect All points being regarded as equivalent it can



[PDF] PROJECTIVE GEOMETRY b3 course 2003 Nigel Hitchin - People

This is a course on projective geometry Probably your idea of geometry in the past has been based on triangles in the plane Pythagoras' Theorem 



[PDF] Foundations of Projective Geometry - Userpage

Proposition 1 4 The projective plane S defined by homogeneous coordinates which are real numbers as above is isomorphic to the projective plane obtained by 



[PDF] A Course in Projective Geometry

In chapters 3 5 and 6 we develop the analytic theory of the real projective plane We prove Desargues' Theorem and Fano's Theorem by direct computation with 



[PDF] SCHAUMS Projective Geometry 250pdf - kishore koduvayur

SCHAUM'S outlines PROJECTIVE GEOMETRY Frank Ayres Jr The perfect aid for better grades Covers all course fundamentals and supplements any dass text

  • What is projective geometry and example?

    projective geometry, branch of mathematics that deals with the relationships between geometric figures and the images, or mappings, that result from projecting them onto another surface. Common examples of projections are the shadows cast by opaque objects and motion pictures displayed on a screen.
  • What is projective geometry used for?

    Sava College. By an extension, Descriptive or Projective Geometry, it can be used to transform the Three-Dimensional Space into a Tetra-Dimensional Space and the other, being the only branch of mathematics that can directly describe a four-dimensional space.
  • What are the basics of projective geometry?

    Projective geometries are characterised by the "elliptic parallel" axiom, that any two planes always meet in just one line, or in the plane, any two lines always meet in just one point. In other words, there are no such things as parallel lines or planes in projective geometry.
  • Although very beautiful and elegant, we believe that it is a harder approach than the linear algebraic approach. In the linear algebraic approach, all notions are considered up to a scalar. For example, a projective point is really a line through the origin.

PROJECTIVE GEOMETRYb3 course 2003Nigel Hitchin

hitchin@maths.ox.ac.uk1

1 Introduction

This is a course on projective geometry. Probably your idea of geometry in the past has been based on triangles in the plane, Pythagoras" Theorem, or something more analytic like three-dimensional geometry using dot products and vector products. In either scenario this is usually calledEuclidean geometryand it involves notions like distance, length, angles, areas and so forth. So what"s wrong with it? Why do we need something different?

Here are a few reasons:•Projective geometry started life over 500 years ago in the study of perspective

drawing: the distance between two points on the artist"s canvas does not rep- resent the true distance between the objects they represent so that Euclidean

distance is not the right concept.The techniques of projective geometry, in particular homogeneous coordinates,

provide the technical underpinning for perspective drawing and in particular for the modern version of the Renaissance artist, who produces the computer

graphics we see every day on the web.•Even in Euclidean geometry, not all questions are best attacked by using dis-

tances and angles. Problems about intersections of lines and planes, for example are not really metric. Centuries ago, projective geometry used to be called "de-2 scriptive geometry" and this imparts some of the flavour of the subject. This

doesn"t mean it is any less quantitative though, as we shall see.•The Euclidean space of two or three dimensions in which we usually envisage

geometry taking place has some failings. In some respects it is incomplete and asymmetric, and projective geometry can counteract that. For example, we know that through any two points in the plane there passes a unique straight line. But we can"t say that any two straight lines in the plane intersect in a unique point, because we have to deal with parallel lines. Projective geometry evens things out - it adds to the Euclidean plane extra points at infinity, where parallel lines intersect. With these new points incorporated, a lot of geometrical objects become more unified. The different types of conic sections - ellipses, hyperbolas and parabolas - all become the same when we throw in the extra points.•It may be that we are only interested in the points of good oldR2andR3but there are always other spaces related to these which don"t have the structure of a vector space - the space of lines for example. We need to have a geometrical and analytical approach to these. In the real world, it is necessary to deal with such spaces. The CT scanners used in hospitals essentially convert a series of readings from a subset of the space of straight lines inR3into a density distribution.At a simpler level, an optical device maps incoming light rays (oriented lines) to outgoing ones, so how it operates is determined by a map from the space of straight lines to itself.3 Projective geometry provides the means to describe analytically these auxiliary spaces of lines. In a sense, the basic mathematics you will need for projective geometry is something you have already been exposed to from your linear algebra courses. Projective ge- ometry is essentially a geometric realization of linear algebra, and its study can also help to make you understand basic concepts there better. The difference between the points of a vector space and those of its dual is less apparent than the difference between a point and a line in the plane, for example. When it comes to describing the space of lines in three-space, however, we shall need some additional linear algebra calledexterior algebrawhich is essential anyway for other subjects such as differential geometry in higher dimensions and in general relativity. At this level, then, you will

need to recall the basic properties of :•vector spaces, subspaces, sums and intersections•linear transformations•dual spaces

After we have seen the essential features of projective geometry we shall step back and ask the question "What is geometry?" One answer given many years ago by Felix Klein was the rather abstract but highly influential statement: "Geometry is the study of invariants under the action of a group of transformations". With this point of view both Euclidean geometry and projective geometry come under one roof. But more than that, non-Euclidean geometries such as spherical or hyperbolic geometry can be treated in the same way and we finish these lectures with what was historically a driving force for the study of new types of geometry - Euclid"s axioms and the parallel postulate.

2 Projective spaces

2.1 Basic definitionsDefinition 1LetVbe a vector space. Theprojective spaceP(V)ofVis the set of

1-dimensional vector subspaces ofV.Definition 2If the vector spaceVhas dimensionn+ 1, thenP(V)is a projective

space ofdimensionn. A1-dimensional projective space is called aprojective line, and a2-dimensional one aprojective plane.4 For most of the course, the fieldFof scalars for our vector spaces will be either the real numbersRor complex numbersC. Our intuition is best served by thinking of the real case. So the projective space ofRn+1is the set of lines through the origin. Each such line intersects the unitn-sphereSn={x?Rn+1:? ix2i= 1}in two points±u, so from this point of viewP(Rn+1) isSnwith antipodal points identified. Since each line intersects the lower hemisphere, we could equally remove the upper hemisphere and then identify opposite points on the equatorial sphere. Whenn= 1 this is just identifying the end points of a semicircle which gives a circle,

but whenn= 2 it becomes more difficult to visualize:If this were a course on topology, this would be a useful starting point for looking at

some exotic topological spaces, but it is less so for a geometry course. Still, it does explain why we should think ofP(Rn+1) asn-dimensional, and so we shall write it asPn(R) to make this more plain. A better approach for our purposes is the notion of arepresentative vectorfor a point ofP(V). Any 1-dimensional subspace ofVis the set of multiples of a non-zero vector v?V. We then say thatvis a representative vector for the point [v]?P(V). Clearly ifλ?= 0 thenλvis another representative vector so [λv] = [v]. Now suppose we choose a basis{v0,...,vn}forV. The vectorvcan be written v=n? i=0x ivi and then+ 1-tuple (x0,...,xn) provides the coordinates ofv?V. Ifv?= 0 we write

the corresponding point [v]?P(V) as [v] = [x0,x1,...,xn] and these are known ashomogeneous coordinatesfor a point inP(V). Again, forλ?= 0

[λx0,λx1,...,λxn] = [x0,x1,...,xn]. Homogeneous coordinates give us another point of view of projective space. Let U

0?P(V) be the subset of points with homogeneous coordinates [x0,x1,...,xn]5

such thatx0?= 0. (Since ifλ?= 0,x0?= 0 if and only ifλx0?= 0, so this is a well-defined subset, independent of the choice of (x0,...,xn)). Then, inU0, [x0,x1,...,xn] = [x0,x0(x1/x0),...,x0(xn/x0)] = [1,(x1/x0),...,(xn/x0)]. Thus we can uniquely represent any point inU0by one of the form [1,y1,...,yn], so U

0≂=Fn.

The points we have missed out are those for whichx0= 0, but these are the 1- dimensional subspaces of then-dimensional vector subspace spanned byv1,...,vn, which is a projective space of one lower dimension. So, whenF=R, instead of thinking ofPn(R) asSnwith opposite points identified, we can write P n(R) =Rn?Pn-1(R).

A large chunk of real projectiven-space is thus our familiarRn.Example:The simplest example of this is the casen= 1. Since a one-dimensional

projective space is a single point (if dimV= 1,Vis the only 1-dimensional subspace) the projective lineP1(F) =F?pt.Since [x0,x1] maps tox1/x0?Fwe usually call this extra point [0,1] the point∞. WhenF=C, the complex numbers, the projective line is what is called in complex analysis theextended complex planeC? {∞}. Having said that, there are many different copies ofFninsidePn(F), for we could have chosenxiinstead ofx0, or coordinates with respect to a totally different basis. Projective space should normally be thought of as a homogeneous object, without any distinguished copy ofFninside.

2.2 Linear subspacesDefinition 3Alinear subspaceof the projective spaceP(V)is the set of1-dimensional

vector subspaces of a vector subspaceU?V. Note that a linear subspace is a projective space in its own right, the projective space P(U). Recall that a 1-dimensional projective space is called a projective line. We have the following two propositions which show that projective lines behave nicely:6 Proposition 1Through any two distinct points in a projective space there passes a unique projective line.Proof:LetP(V) be the projective space andx,y?P(V) distinct points. Letu,v be representative vectors. Thenu,vare linearly independent for otherwiseu=λv and x= [u] = [λv] = [v] =y. LetU?Vbe the 2-dimensional vector space spanned byuandv, thenP(U)?P(V) is a line containingxandy. SupposeP(U?) is another such line, thenu?U?andv?U?and so the space spanned byu,v(namelyU) is a subspace ofU?. ButUandU?are 2-dimensional soU=U?

and the line is thus unique.?Proposition 2In a projective plane, two distinct projective lines intersect in a

unique point.Proof:Let the projective plane beP(V) where dimV= 3. Two lines are defined byP(U1),P(U2) whereU1,U2are distinct 2-dimensional subspaces ofV. Now from elementary linear algebra dimV≥dim(U1+U2) = dimU1+ dimU2-dim(U1∩U2) so that

3≥2 + 2-dim(U1∩U2)

and dim(U1∩U2)≥1.

But sinceU1andU2are 2-dimensional,

with equality if and only ifU1=U2. As the lines are distinct, equality doesn"t occur and so we have the 1-dimensional vector subspace U

1∩U2?V

which is the required point of intersection inP(V).?7 Remark:The model of projective space as the sphere with opposite points identified illustrates this proposition, for a projective line inP2(R) is defines by a 2-dimensional subspace ofR3, which intersects the unit sphere in a great circle. Two great circles intersect in two antipodal points. When we identify opposite points, we just get one

intersection.Instead of the spherical picture, let"s consider instead the link between projective lines

and ordinary lines in the plane, using the decomposition P

2(R) =R2?P1(R).

Here we see that the real projective plane is the union ofR2with a projective line P

1(R). Recall that this line is given in homogeneous coordinates byx0= 0, so

it corresponds to the 2-dimensional space spanned by (0,1,0) and (0,0,1). Any 2- dimensional subspace ofR3is defined by a single equation a

0x0+a1x1+a2x2= 0

and ifa1anda2are not both zero, this intersectsU0≂=R2(the points wherex0?= 0) where

0 =a0+a1(x1/x0) +a2(x2/x0) =a0+a1y1+a2y2

which is an ordinary straight line inR2with coordinatesy1,y2. The projective line has one extra point on it, wherex0= 0, i.e. the point [0,a2,-a1]. Conversely, any straight line inR2extends uniquely to a projective line inP2(R). Two lines inR2are parallel if they are of the form a

0+a1y1+a2y2= 0, b0+a1y1+a2y2= 08

but then the added point to make them projective lines is the same one: [0,a2,-a1], so the two lines meet at a single point on the "line at infinity"P1(R).

2.3 Projective transformations

IfV,Ware vector spaces andT:V→Wis a linear transformation, then a vector subspaceU?Vgets mapped to a vector subspaceT(U)?W. IfThas a non- zero kernel,T(U) may have dimension less than that ofU, but if kerT= 0 then dimT(U) = dimU. In particular, ifUis one-dimensional, so isT(U) and soTgives a well-defined map τ:P(V)→P(W).Definition 4Aprojective transformationfromP(V)toP(W)is the mapτdefined by an invertible linear transformationT:V→W. Note that ifλ?= 0, thenλTandTdefine the same linear transformation since [(λT)(v)] = [λ(T(v))] = [T(v)]. The converse is also true: supposeTandT?define the same projective transformation

τ. Take a basis{v0,...,vn}forV, then since

τ([vi]) = [T?(vi)] = [T(vi)]

we have T ?(vi) =λiT(vi) for some non-zero scalarsλiand also T ?(n? i=0v i) =λT(n? i=0v i) for some non-zeroλ. But then n i=0λT(vi) =λT(n? i=0v i) =T?(n? i=0v i) =n? i=0λ iT(vi). SinceTis invertible,T(vi) are linearly independent, so this impliesλi=λ. Then T ?(vi) =λT(vi) for all basis vectors and hence for all vectors and so T ?=λT.9 Example:You are, in fact, already familiar with one class of projective transfor- mations - M¨obius transformations of the extended complex plane. These are just projective transformations of the complex projective lineP1(C) to itself. We de- scribe points inP1(C) by homogeneous coordinates [z0,z1], and then a projective transformationτis given by

τ([z0,z1]) = ([az0+bz1,cz0+dz1])

wheread-bc?= 0. This corresponds to the invertible linear transformation

T=?a b

c d? It is convenient to writeP1(C) =C?{∞}where the point∞is now the 1-dimensional spacez1= 0. Then ifz1?= 0, [z0,z1] = [z,1] and

τ([z,1]) = [az+b,cz+d]

and ifcz+d?= 0 we can write

τ([z,1]) = [az+bcz+d,1]

which is the usual form of a M¨obius transformation, i.e. z?→az+bcz+d. The advantage of projective geometry is that the point∞= [1,0] plays no special role. Ifcz+d= 0 we can still write

τ([z,1]) = [az+b,cz+d] = [az+b,0] = [1,0]

and ifz=∞(i.e. [z0,z1] = [1,0]) then we have τ([1,0]) = [a,c].Example:If we view the real projective planeP2(R) in the same way, we get some less familiar transformations. WriteP2(R) =R2?P1(R) where the projective line at infinity isx0= 0. A linear transformationT:R3→R3can then be written as the matrix T=( (d b 1b2 c

1a11a12

c

2a21a22)

)10 and its action on [1,x,y] can be expressed, withv= (x,y)?R2, as v?→1b·v+d(Av+c) whereAis the 2×2 matrixaijandb,cthe vectors (b1,b2),(c2,c2). These are the

2-dimensional versions of M¨obius transformations. Each one can be considered as a

composition of•an invertible linear transformationv?→Av•a translationv?→v+c•an inversionv?→v/(b·v+d)

Clearly it is easier here to consider projective transformations defined by 3×3 ma-

trices, just ordinary linear algebra.Example:A more geometric example of a projective transformation is to take two

linesP(U),P(U?) in a projective planeP(V) and letK?P(V) be a point disjoint from both. For each pointx?P(U), the unique line joiningKtoxintersectsP(U?) in a unique pointX=τ(x). Then

τ:P(U)→P(U?)

is a projective transformation. To see why, letWbe the 1-dimensional subspace ofVdefined byK?P(V). Then sinceKdoes not lie inP(U?),W∩U?= 0. This means that

V=W?U?.

Now takea?Uas a representative vector forx. It can be expressed uniquely as a=w+a?, withw?Wanda??U?. The projective line joiningKtoxis defined by the 2-dimensional vector subspace ofVspanned bywandaand soa?=a-wis a representative vector forτ(x). In linear algebra terms the mapa?→a?is just the linear projection mapP:V→U?restricted toU. It has zero kernel sinceKdoes not lie inP(U), and henceW∩U= 0. ThusT:U→U?is an isomorphism andτis a projective transformation. If we restrict to the points inR2, then this is what thisprojection fromKlooks like:11 A linear transformation of a vector space of dimensionnis determined by its value on nlinearly independent vectors. A similar statement holds in projective space. The

analogue of linear independence is the followingDefinition 5LetP(V)be ann-dimensional projective space, thenn+ 2points in

P(V)are said to be ingeneral positionif each subset ofn+1points has representative

vectors inVwhich are linearly independent.Example:Any two distinct points in a projective line are represented by linearly

independent vectors, so any three distinct points are in general position.Theorem 3IfX1,...,Xn+2are in general position inP(V)andY1,...,Yn+2are

in general position inP(W), then there is a unique projective transformationτ: inP(V). By general position the firstn+1 vectors are linearly independent, so they form a basis forVand there are scalarsλisuch that v n+2=n+1? i=1λ ivi(1)Ifλi= 0 for somei, then (1) provides a linear relation amongst a subset ofn+ 1 vectors, which is not possible by the definition of general position, so we deduce that i?= 0 for alli. This means that eachλiviis also a representative vector forxi, so (1) tells us that we could have chosen representative vectorsvisuch that v n+2=n+1? i=1v i(2)12

Moreover, givenvn+2, theseviare unique for

n+1? i=1v i=n+1? i=1μ ivi impliesμi= 1 sincev1,...,vn+1are linearly independent. [Note: This is a very useful idea which can simplify the solution of many problems]. Now do the same for the pointsY1,...Yn+2inP(W) and choose representative vectors such that w n+2=n+1? i=1w i(3)Sincev1,...,vn+1are linearly independent, they form a basis forVso there is a w

1,...,wn+1are linearly independent,Tis invertible. Furthermore, from (2) and (3)

Tv n+2=n+1? i=1Tv i=n+1? i=1w i=wn+2 and soTdefines a projective transformationτsuch thatτ(Xi) =Yifor alln+ 2 vectorsvi. To show uniqueness, supposeT?defines another projective transformationτ?with the same property. ThenT?vi=μiwiand n+2wn+2=T?vn+2=n+1? i=1T ?vi=n+1? i=1μ iwi. But by the uniqueness of the representation (3), we must haveμi/μn+2= 1, so that T ?vi=μn+2Tviandτ?=τ.?Examples:

1. InP1(C) take the three distinct points [0,1],[1,1],[1,0] and any other three distinct

pointsX1,X2,X3. Then there is a unique projective transformation takingX1,X2,X3 to [0,1],[1,1],[1,0]. In the language of complex analysis, we can say that there is a unique M¨obius transformation taking any three distinct points to 0,1,∞.

2. In any projective line we could take the three points [0,1],[1,1],[1,0] and then

forX1,X2,X3any permutation of these. Now projective transformations of a space13 to itself form a group under composition, so we see that the group of projective transformations of a line to itself always contains a copy of the symmetric groupS3. In fact if we take the scalars to be the fieldZ2with two elements 0 and 1, theonly points on the projective line are [0,1],[1,1],[1,0], andS3is the full group of projective transformations. As an example of the use of the notion of general position, here is a classical theorem called Desargues" theorem. In fact, Desargues (1591-1661) is generally regarded as the founder of projective geometry. The proof we give here uses the method of choosing

representative vectors above.Theorem 4(Desargues) LetA,B,C,A?,B?,C?be distinct points in a projective space

P(V)such that the linesAA?,BB?CC?are distinct and concurrent. Then the three

points of intersectionAB∩A?B?,BC∩B?C?,CA∩C?A?are collinear.Proof:LetPbe the common point of intersection of the three linesAA?,BB?,CC?.

SinceP,A,A?lie on a projective line and are distinct, they are in general position, so as in (2) we choose representative vectorsp,a,a?such that p=a+a?. These are vectors in a 2-dimensional subspace ofV. Similarly we have representative vectorsb,b?forB,B?andc,c?forC,C?with p=b+b?p=c+c?.

It follows thata+a?=b+b?and so

a-b=b?-a?=c?? and similarly b-c=c?-b?=a??c-a=a?-c?=b??.

But then

c ??+a??+b??=a-b+b-c+c-a= 0 anda??,b??,c??are linearly independent and lie in a 2-dimensional subspace ofV. Hence the pointsA??,B??,C??inP(V) represented bya??,b??,c??are collinear. Now sincec??=a-b,c??lies in the 2-dimensional space spanned byaandb, soC?? lies on the lineAB. Sincec??also equalsb?-a?,C??lies on the lineA?B?and soc?? represents the pointAB∩A?B?. Repeating forB??andA??we see that these are the three required collinear points.?14 Desargues" theorem is a theorem in projective space which we just proved by linear algebra - linear independence of vectors. However, if we take the projective space P(V) to be the real projective planeP2(R) and then just look at that part of the

data which lives inR2, we get a theorem about perspective triangles in the plane:Here is an example of the use of projective geometry - a "higher form of geometry"

to prove simply a theorem inR2which is less accessible by other means. Another theorem in the plane for which these methods give a simple proof is Pappus" theorem. Pappus of Alexandria (290-350) was thinking again of plane Euclidean geometry, but his theorem makes sense in the projective plane since it only discusses collinearity and not questions about angles and lengths. It means that we can transform the given configuration by a projective transformation to a form which reduces the proof

to simple linear algebra calculation:Theorem 5(Pappus) LetA,B,CandA?,B?,C?be two pairs of collinear triples of

distinct points in a projective plane. Then the three pointsBC?∩B?C,CA?∩C?A,AB?∩ A ?Bare collinear.Proof:Without loss of generality, we can assume thatA,B,C?,B?are in general position. If not, then two of the three required points coincide, so the conclusion is trivial. By Theorem 3, we can then assume that

A= [1,0,0], B= [0,1,0], C?= [0,0,1], B?= [1,1,1].

The lineABis defined by the 2-dimensional subspace{(x0,x1,x2)?F3:x2= 0}, so the pointC, which lies on this line, is of the formC= [1,c,0] andc?= 0 sinceA?=C. Similarly the lineB?C?isx0=x1, soA?= [1,1,a] witha?= 1.15 The lineBC?is defined byx0= 0 andB?Cis defined by the span of (1,1,1) and (1,c,0), so the pointBC?∩B?Cis represented by the linear combination of (1,1,1) and (1,c,0) for whichx0= 0, i.e. (1,1,1)-(1,c,0) = (0,1-c,1). The lineC?Ais given byx1= 0, so similarlyCA?∩C?Ais represented by (1,c,0)-c(1,1,a) = (1-c,0,-ca).

FinallyAB?is given byx1=x2, soAB?∩A?Bis

(1,1,a) + (a-1)(0,1,0) = (1,a,a).

But then

(c-1)(1,a,a) + (1-c,0,-ca) +a(0,1-c,1) = 0. Thus the three vectors span a 2-dimensional subspace and so the three points lie on a projective line.?

2.4 Duality

Projective geometry gives, as we shall see, a more concrete realization of the linear algebra notion of duality. But first let"s recall what dual spaces are all about. Here

are the essential points:•Given a finite-dimensional vector spaceVover a fieldF, the dual spaceV?is

the vector space of linear transformationsf:V→F.16 •Ifv1,...,vnis a basis forV, there is adual basisf1,...fnofV?characterized

by the propertyfi(vj) = 1 ifi=jandfi(vj) = 0 otherwise.•IfT:V→Wis a linear transformation, there is a natural linear transformation

T ?:W?→V?defined byT?f(v) =f(Tv). Although a vector spaceVand its dualV?have the same dimension there is no natural way of associating a point in one with a point in the other. We can do so however with vector subspaces:Definition 6LetU?Vbe a vector subspace. TheannihilatorUo?V?is defined byUo={f?V?:f(u) = 0for allu?U}. The annihilator is clearly a vector subspace ofV?sincef(u) = 0 impliesλf(u) = 0 and if alsog(u) = 0 then (f+g)(u) =f(u) +g(u) = 0. Furthermore, ifU1?U2and f(u) = 0 for allu?U2, then in particularf(u) = 0 for allu?U1, so that U o2?Uo1.

We also have:Proposition 6dimU+ dimUo= dimV.Proof:Letu1,...,umbe a basis forUand extend to a basisu1,...,um,v1,...,vn-m

Conversely iff?Uo, write

f=n? i=1c ifi f m+1,...,fnis a basis forUoand dimU+ dimUo=m+n-m=n= dimV. If we take the dual of the dual we get a vector spaceV??, but this is naturally isomor- phic toVitself. To see this, defineS:V→V??by

Sv(f) =f(v).17

This is clearly linear inv, and kerSis the set of vectors such thatf(v) = 0 for all f, which is zero, since we could extendv=v1to a basis, andf1(v1)?= 0. Since dimV= dimV?,Sis an isomorphism. Under this transformation, for each vector subspaceU?V,S(U) =Uoo. This follows since ifu?U, andf?U0

Su(f) =f(u) = 0

soS(U)?Uoo. But from (6) the dimensions are the same, so we have equality. Thus to any vector spaceVwe can naturally associate another vector space of the same dimensionV?, and to any projective spaceP(V) we can associate another one P(V?). Our first task is to understand what a point ofP(V?) means in terms of the original projective spaceP(V). From the linear algebra definition of dual, a point ofP(V?) has a non-zero represen- tative vectorf?V?. Sincef?= 0, it defines a surjective linear map f:V→F and so dimkerf= dimV-dimF= dimV-1. Ifλ?= 0, then dimkerλf= dimkerfso the point [f]?P(V?) defines unambiguously a vector subspaceU?Vof dimension one less than that ofV, and a corresponding

linear subspaceP(U) ofP(V).Definition 7Ahyperplanein a projective spaceP(V)is a linear subspaceP(U)of

dimensiondimP(V)-1(orcodimensionone). Conversely, a hyperplane defines a vector subspaceU?Vof dimension dimV-1, and so we have a 1-dimensional quotient spaceV/Uand a surjective linear map

π:V→V/U

defined byπ(v) =v+U. Ifν?V/Uis a non-zero vector then

π(v) =f(v)ν

for some linear mapf:V→F, and thenU= kerf. A different choice ofνchanges

ftoλf, so the hyperplaneP(U) naturally defines a point [f]?P(V?). Hence,Proposition 7The points of thedual projective spaceP(V?)of a projective space

P(V)are in natural one-to-one correspondence with the hyperplanes inP(V).18 The surprise here is that the space of hyperplanes should have the structure of a projective space. In particular there are linear subspaces ofP(V?) and they demand an interpretation. From the point of view of linear algebra, this is straightforward: to eachm+ 1-dimensional vector subspaceU?Vof then+ 1-dimensional vector spaceVwe associate then-m-dimensional annihilatorUo?V?. Conversely, given W?V?, takeWo?V??thenWo=S(U) for someUand sinceS(U) =Uoo, it follows that W=Uo. Thus taking the annihilator defines a one-to-one correspondence between vector sub- spaces ofVand vector subspaces ofV?. We just need to give this a geometrical interpretation.Proposition 8A linear subspaceP(W)?P(V?)of dimensionmin a dual projective spaceP(V?)of dimensionnconsists of the hyperplanes inP(V)which contain a fixed

linear subspaceP(U)?P(V)of dimensionn-m-1.Proof:As we saw above,W=Uofor some vector subspaceU?V, sof?Wis

a linear mapf:V→Fsuch thatf(U) = 0. This means thatU?kerfso the hyperplane defined byfcontainsP(U).? A special case of this is a hyperplane inP(V?). This consists of the hyperplanes in P(V) which pass through a fixed pointX?P(V), and this describes geometrically the projective transformation defined bySquotesdbs_dbs43.pdfusesText_43
[PDF] valeur du k opératoire maroc

[PDF] nomenclature générale des actes professionnels des médecins maroc

[PDF] tarif national de reference cnops

[PDF] k opératoire supérieur ? 50

[PDF] nomenclature des actes chirurgicaux au maroc

[PDF] tarification nationale de référence en vigueur pour l'assurance maladie obligatoire

[PDF] nomenclature générale des actes professionnels maroc

[PDF] nomenclature des actes dentaires au maroc

[PDF] tarif national de référence cnss

[PDF] tarif national de référence maroc

[PDF] tarif cnss maroc

[PDF] remboursement dossier maladie cnss

[PDF] cnss remboursement medicament

[PDF] affelmap lyon

[PDF] cnops remboursement en ligne au maroc