Revision #279 → #1528 · back to history
addedReal projective linec572764e1f42
addedFormal definition of P(R)50f0cbc4d050
addedProjective transformationsd930596b2ac9
addedAutomorphisms form PGL(2,R)3add5d028ce3
addedHomeomorphic to circlese0cf558b9e81
addedEquivalence relation on V6a57cd7b7ed5
addedP(V) as set of equivalence classesab94648487f6
addedProjective coordinates notation28eaa15871f0
addedProjective line as quotient of circle5103c98c9f55
addedProjective line is a manifoldfc288c56e989
addedTransition map and analytic manifold50aace5121fc
addedProjectively extended real line embedding40af197c6b33
addedAssociation with antipodal points199aceac16e5
addedComplete projective rangefd07f7b625af
addedCyclic order on the projective linef7ea112e1dbd
addedRight action of GL2(R) on row vectorse637eab6b4a7
addedInduced action on P1(R)2f3a8233ecc7
addedProjective linear group5d00a764d0ca
addedFaithful action of PGL2(R)4ea524298aa6
addedAction by linear fractional transformations67ce7824709e
addedSharply 3-transitive action6433062cbb6c
addedCayley transformb8948af3a1b0
addedStabilizer of the point at infinityc4f8a066d9de