Assignment5: For the class’s Christmas calendar, each group is asked to contribute one beautiful, self-made mathematical image. Please subclass the java class template.Assignment to produce an application named Assignment5 which displays this image when it is run. I encourage you to use this assignment as a preparation for your project — even if you don’t know what the topic of your project is! Choose some favorite domain of mathematics and use what you’ve learned about jReality to create an image appropriate for inclusion in a Christmas calendar. For example, the image below shows another of my free-lance efforts for Matheon from several Christmases ago … Assignment5 due on Dec 6 13 — see the next paragraph for the continuation of Assignment4, due on Dec. 6. Assignment4 continuation. I have, as promised, extended Assignment 4 to include another “assignment”. The problem with the standard painting algorithm is shown in the following image: when the center of the brush approaches the boundary of the fundamental region (always a square for these groups), it can happen that only part of the brush is painted. See the red and blue “half-paths” which join along a seam: the red was painted with the center of the brush slightly to the left side, the blue with the center of the brush just slightly to the right. It ain’t right — you gotta fix it.
To complete this assignment: Please make sure your Assignment4 class subclasses from template.AbstractAssignment4 not from a copy in your student package. Then update to the latest version of my repository. You should only need to make a copy of template.Assignment4PaintTool — see the directions at the top of this file. The new version of AbstractAssignment4 invokes this class to provide painting support — your task is to edit Assignment4PaintTool so it supports all 7 frieze groups so that no seams are visible during painting. This assignment is due in a week, on Dec. 6.
Note: Do some of your frieze groups appear wrong (the last three groups on the menu, when there should be two rows there is only one with L’s lying on top of each other)? If so, make sure that the updateCopies() method in Assignment4 contains the following line of code:
MatrixBuilder.euclidean().
translate(0, (whichGroup >= 4 && whichGroup <= 6) ? .5 : 0, 0).
assignTo(fundamentalDomain);
It could be that you made a copy of template.Assignment4Example before I included the above line of code.
Mathematical News. This week we continue the exploration of planar (or at least 2-dimensional) symmetry patterns. The focus turned from frieze groups to spherical groups, that is, groups of isometries of the 2-dimensional sphere
Fundamental domains and quotient spaces. Before continuing the investigation of particular groups, Mr. Gunn introduced some general language. First he observed that we are considering symmetries of 2-dimensional spaces of constant curvature, such as the Euclidean plane or the 2-sphere. In general we call this space
Simplest example: the circle as quotient of the line. Mr. Gunn explained in detail the construction of the quotient space
Connection of quotient space and fundamental region. The quotient space is closely related to a fundamental domain. A fundamental domain for this group is the half-open interval
Dirichlet domain. There are many possible choices for a fundamental domain. For the groups we consider, we can always arrange that the fundamental domain is topologically an open disk along with a subset of its boundary.
The problem with overlaps. An n-dimensional euclidean manifold is a space in which every point has a neighborhood homeomorphic to
Orbifolds to the rescue. If
Example. Consider a rotation of order-2 in the plane and the associated cyclic group
Why this is important. This relation between symmetry groups and quotient spaces is important since it turns out that every topological space can be realized in this way as the quotient of some simply-connected space by an appropriate discrete group. More on this on Thursday when I’ll show the video “Shape of Space”. This wasn’t completely proven until the Poincare Conjecture was proved by Grigori Perelman in 2006.
The spherical groups fixing two points. We began by restricting attention to symmetry groups which fix two antipodal points. We began by showing that there are a family of cyclic groups generated by a rotation of order
Pingback: 9.12 Assignment5 | Mathematical Visualization
Pingback: Course Log | Mathematical Visualization