Revision #637 → #1500 · back to history
addedProjective space (via vector lines)c9b8298c449c
addedProjective line and projective plane912f4c8200d0
addedProjective space as set of vector linesbeb8fb06bb59
addedProjective space via equivalence classes96c1005b07e0
addedProjective space as antipodal point pairs0cbdc36c3df4
addedProjective space P(V)70966d7d4329
addedProjective coordinates3a6ce688aab8
addedReal and complex projective space756461604b02
addedRiemann spherecdeae7df7474
addedLinear subspace is a union of linesd6a2bcba979e
addedProjective subspace7ef3e02098e9
addedUnique line through two pointsb21768668f54
addedIntersection of projective subspacesf17989588815
addedProjective span and spanning set3823a5d66da9
addedProjectively independent set9dcd77e95404
addedExistence of independent spanning subset835d8b736069
addedProjective frame / basis48e5b595b136
addedFrame characterization via basisc4236f8e37da
addedHomogeneous coordinates on a frameebece684899b
addedCanonical frame57b043767b1c
addedProjective geometry3ec2e544abc3
addedHomographycc20a9f8d258
addedFundamental theorem of projective geometrye07db68f9787
addedProjective space is a topological space9bfb1f6a90ec
addedProjective space is a manifolddcb448c459b2
addedProjective spaces are analytic manifoldsd6e9345e8367
addedCW complex structure of real projective space1ae8d5fb9f0b
addedFundamental theorem of algebra7a9e51185548
addedBézout's theoremef9f41935bb7
addedProjective varietyab681b592f4f
addedCompletion of an affine variety2bc1b99ad9e0
addedImage of projective variety is closedb009a5139a5e
addedProjective space is a projective varietye1e8fdd7555d
addedProj construction46785444ca78
addedAxiomatic projective space75dea4a9a3d7
addedVeblen–Young theorem (dimension ≥ 3)c89007e1fd34
addedPappus's theorem (as axiom)724736f6c2a1
addedFano's axiom352f014b9df7
addedSubspace (synthetic)4cdafd3ef341
addedGeometric dimensionc5d5329934fc
addedCorrespondence with geomodular lattices700cdc72f23f
addedClassification: dimension 0533dd30fc8f5
addedClassification: dimension 1ad72168f552a
addedClassification: dimension 2 equals projective planee1a27bf6bca4
addedClassification: dimension ≥ 3 isomorphic to PG(n,K)3a62d122ea94
addedFinite projective space12341a39885e
addedOrder of a finite projective space68d15a7ae762
addedWedderburn's theorem implication4bfb6f9e7b30
addedFano plane PG(2,2)9f14e4430bda
addedInjective maps induce projective maps36cc2c7fcf5d
addedMaps agree iff scalar multiple87e8de30aba4
addedAlgebraic automorphisms are lineard86f02211ecc
addedProjective linear groups PGL819ea6475602
addedMöbius transformationsdb6f3ebae755
addedDual projective space183ba9f551ac
addedGrassmannian manifolde437ca41afd2
addedFlag manifold40e0a1222604
addedSeveri–Brauer varietiese280bc915d6a
addedWeighted projective spaces8018e07b0fd0