Talk:Finite geometry

A reference

It seems that a reference to the website of Alan Offer at Ghent University, "Finite Geometry Web," [1], is in order. I have added an external link to that site. Cullinane 01:59, 9 August 2005 (UTC)

Symmetry group of Fano plane

The 168 symmetries of the Fano plane play a significant role in mathematics. Hence I have added a paragraph linking to a discussion of these symmetries. That discussion is my own. For some background, see other discussions of mine on finite geometry cited at Alan Offer's compilation [2] of online finite geometry notes at Ghent University. Cullinane 13:47, 9 August 2005 (UTC)

Finite number of points

You are defining finite geometry as the system of finite number of points.How can you define a line with finite number of points while we know that a line is topologically equvalent to the interval[0,1].Threrfore finite geometry cannot hve lines.Please comment. [B.R.Ivan,BARC,India,3 January 2006]

One can also define a field with only a finite number of points; i.e. one can add, subtract, multiply, and divide according to the conventional rules, except that only finitely many scalars exist. See finite field. When doing plane geometry in which points are pairs (x, y) of scalars from such a field, many of the usual results of plane geometry are still true. And lines in such geometries have only finitely many points. Michael Hardy 23:41, 3 January 2006 (UTC)

Best refrence is MathWorld. Check it out. —Preceding unsigned comment added by 67.174.157.126 (talk) 19:21, 29 March 2008 (UTC)

Finite geometry vs. finite plane geometry

The article discussed finite plane geometry as though it were the whole of finite geometry. This introduced errors in the discussion of finite projective geometry, where properties of finite projective planes were discussed as though they were properties of a general finite projective geometry. I revised the article to correct this. Cullinane 01:35, 15 February 2006 (UTC)

Duality

The article explained duality as if all projective planes were self-dual. While this is true for the Desarguesian planes, PG(2,q), it is not true in general. The smallest case where we see non self-duality is in the Veblen-Wedderburn Nearfield Plane of order 9. I fixed the statement so that it is at least true, but it is clear that this concept needs to be clarified with an expanded treatment and some specific examples. Wcherowi (talk) 16:38, 25 August 2011 (UTC)

Axiomatic treatment of projective 3-space

I have just looked at the section on the axiomatic treatment of projective 3-space. I am very disappointed. After the first paragraph the rest of the section is almost verbatim a copy of Meserve, section 2.1, pp. 26-28. He, in turn, got it from Veblen & Young but left out the essential sections which provided the definitions that you need to make sense of the axioms. Meserve at least attributed this to Veblen & Young. I propose deleting this copyright infringement and replacing it with a more modern treatment (Veblen & Young dates from 1910). There are two ways to do this. One can start with the primitive notions of point, line and plane and give six axioms that define 3-space (G. Eric Moorhouse does this in his 2007 Lecture notes on Incidence Geometry ... unfortunately that source is self-published and thus not an acceptable reference. I would need to find another source, but this may be hard as this approach is no longer popular.) The second approach needs only the primitives point and line because of the very clever Veblen axiom (P-3) which permits planes to be defined. Most modern treatments take this approach, but don't stop at three dimensions ... they just do it for general dimension. Only three or four axioms are needed for this. However, to get just three dimensions another axiom would have to be added which effectively forces this to be true. But that doesn't happen very often these days, so I will have to hunt for some source for this as well. What I am saying is ... this may take me some time, but if someone can come up with such references I would be grateful. Bill Cherowitzo (talk) 04:20, 16 August 2012 (UTC)

Introduction: Pixels as a finite geometry

I think the pixels example is misleading because it is so different from the finite geometries usually studied. How would "lines" even be defined without importing all the concepts associated with Bresenham's line algorithm? 72.230.215.230 (talk) 17:22, 17 November 2014 (UTC)

You are quite right in that this example would not hold up well under careful examination. However, given the nature and purpose of a lead to an article, one should be given a little leeway in terms of accuracy. The statement made is not an outright lie and except for computer graphics specialists it succinctly gets across the idea that lines need not have an infinite number of points. I know of no other example that can do a better job than this one, that is accessible to the general public without having to introduce a ton of context. If you know of such an example I'd be very interested in seeing it. Bill Cherowitzo (talk) 18:38, 17 November 2014 (UTC)

To use this example at all, we should mention lines. Different choices of lines produces different geometries, which is utterly invisible in the lead. For example, does every pair of points of the rectangular grid define a line? Also, intuitively this example does not work: the intuition is of a grid of points embedded in the Euclidean plane, where we are not interested in lines defined in the pure geometric sense, but rather in sets of point of various shapes as approximations in a rectangular region (complete with aliasing). We are not generally interested in geometric structure other than that of the Euclidean space being approximated. The lead has an additional problem: it does not adequately define a geometric system.

I'd say that even though the pixel example is familiar, it actually fails to provide even the most basic grasp of what is meant by a finite geometry due to omission of the lines. The example of the finite affine plane of order 2 seems to me to be a better example. We should at least convey the idea of it as a finite incidence structure: what could be simpler than a set of points with specific subsets defined as lines? —Quondum 19:09, 17 November 2014 (UTC)