

Using these ideas and other ideas developed by Goodman and Pollack (the order type of a configuration), O. (Condition (c) means that in terms of point configurations we do not permit all the points to be on one line.)Īllowable sequences provide a tool for telling when the point configurations are "inequivalent" because the allowable sequences are inequivalent. All the symbols do not switch simultaneously. After a move in which symbols i and j switch, they do not switch again until every other pair has switchedĬ. The way one gets from one permutation to the next is to switch (reverse) one or more sets of non-overlapping strings of consecutive symbolsī. What has been accomplished is to capture information about the point configuration in terms of "algebra." A collection of permutations on the symbols 1., n, starting and ending with the same permutation, is called allowable if:Ī. The sequence of permutations that is obtained from the point configuration in this way is called an allowable sequence by Goodman and Pollack.
#Series and sequences math and science initiative code
Notice that we can code the way one obtains the next permutation in the sequence by the "section(s)" of the previous permutation that must be flipped to obtain the next permutation. We can now continue our rotation until we get back to the original position for the rotating line, and arrive at the original permutation 31452. The permutation is exactly the reverse of what it was originally. At this point we have rotated the original line through 180 degrees.

Rotating further for the above configuration and making switches as they are encountered, we get the new permutation 34152, and then 34512, 54321 (note for this position we get two switches of numbers simultaneously because there are two parallel lines in the configuration), 54231, 52431, and 25431. If we rotate just a bit further (to the green line L') and project the points onto this line, the order of the points 1 and 3 will reverse and we obtain the permutation 31452. As we rotate the line L into other positions in a counterclockwise direction, we reach a location where there is a pair of points in the original configuration which for the first time determine a line whose direction is perpendicular to the rotating line. If we take the point configuration above and project (using the red lines) its labeled vertices onto the blue line L, we obtain points in the order 13452. To get at a concept of equivalence or inequivalence of point configurations that goes beyond the construction of associated graphs, let us consider the ingenious approach below, developed by Jacob Eli Goodman (City College, City University of New York) and Richard Pollack (Courant Institute of Mathematical Sciences, NYU). (They would still be isomorphic if we had included edges between the vertices 3 and 5.) However, can you make a case for why the two original point configurations might be said to be different, even though the constructed graphs were the same? Notice that as graphs, these two graphs are isomorphic. Since 5 points determine 10 lines, we might have 10 edges in the resulting graphs but we have chosen not to have an edge in diagrams for the line segments from the vertices labeled 3 and 5, because these segments would "lie on top of" segments joining other vertices. The diagrams above were obtained from the original two-point configurations by joining any two vertices that determine a line with a line segment.

The set of 5 planar points below will serve as an example. What is involved here is a collection of points (the points are labeled) at various locations in a plane. In the discussion below we see the complex way that previously explored concepts are put to work for the purpose of generating new ideas and making progress on problems that have eluded solution with previously explored ideas.Ī tenacious problem in dealing with configurations of points and lines has been finding a good way of determining when two such configurations are the same or different. It is subtle distinctions of this kind that intrigue mathematicians and drive math skeptics nuts! There are statements which are true of simple graphs but are not true of graphs with multiple edges. Digraphs can be thought of as an extension of the graph concept. There are pros and cons to either approach. Two schools have developed with regard to defining graphs so as to allow multiple edges and loops or not. Thus, allowing multiple edges and/or loops in a "graph" extends the idea of a (simple) graph. Nearly always, something new is inspired by something old and extends some aspect of the old ideas in a new direction. Often in the discussion of new ideas, new inventions, and new technologies, the distinction between incremental improvements versus true "revolutions" is made.
