| |
| | [No title] |
 | | This leads us into the world of projective geometry, where all we have are points, lines, planes, etc., together with incidence relations like: "the point P lies on the line Q", "the line Q lies on the plane R", and so on, satisfying various axioms. |
 | | Projective geometry goes way back to the Renaissance painters and their interest in perspective, and axiomatic projective geometry was very fashionable in the 19th century, but here we are seeing it in a more modern light, because we're seeing its relation to quantum logic. |
 | | In a geometry with symmetry group G, different types of figure correspond to different *subgroups* of G. The idea is that for each type of figure, there is a space X of all figures of that type, upon which G acts. |
| math.ucr.edu /home/baez/twf_ascii/week178 (3254 words) |
|