Circles, Rotations, and Groups

Circles, Rotations, and Groups

Circles

In a Euclidean plane, fix a point c and a positive real number r. The circle with center c and radius r is the set of points at distance r from c.

To describe a circle algebraically, we might use Cartesian coordinates. Write c=(x0,y0), and let (x,y) denote the coordinates of a general point on the circle. The line segment with endpoints (x0,y0) and (x,y) may be viewed as the hypotenuse of a right triangle with sides |xx0| and |yy0|, the horizontal and vertical separations from the center to (x,y). By the Pythagorean theorem, the sum of the squares of the sides is the square of the hypotenuse: |xx0|2+|yy0|2=r2. Since |u|2=u2 for every real number u, the preceding equation may be written (xx0)2+(yy0)2=r2. A point (x,y) of the plane lies on the circle of center c and radius r (geometry) if and only if the preceding equation is true (algebra).

The unit circle is the circle centered at the origin, c=(0,0), and of radius r=1. Its Cartesian equation is x2+y2=1.

The Cartesian equation of a circle from the Pythagorean theorem. Angle measure in radians.

Angle

Take a vertical line segment of length , place its bottom end at the point (1,0) on the unit circle, and ``wrap'' the segment smoothly counterclockwise around the unit circle. The top end of the segment ``maps to'' a well-defined point p() of the circle. This function notation reminds us that the length  uniquely defines a point on the circle.

There is a positive real number 2π6.283 characterized by two properties:

  • The segment of length 2π wraps around: The upper endpoint maps to (1,0).
  • No smaller positive real number  wraps around the circle.

Algebraically, p(2π)=(1,0), and if 0<<2π then p()(1,0).

If  is negative, we place the top end of the segment at (1,0), and define p() by wrapping the segment clockwise around the circle.

For each real number , we say p() makes angle  with p(0)=(1,0). A point on the circle does not have a unique angle. For example, p(0)=(1,0)=p(2π), so the point (1,0) has angles 0, and 2π, and also 2π, 4π, and so on. Generally, each point has infinitely many distinct angles, any two differing by a whole multiple of 2π. (Mathematicians prefer to measure angles in radians rather than degrees because formulas involving calculus come out more neatly.)

For cultural reasons, angle is not denoted by , but by the Greek letter θ (theta). If θ is real, we write p(θ) for the point on the unit circle making angle θ with (1,0).

If p1=p(θ1) and p2=p(θ2) are points of the unit circle, we would like to view |θ2θ1| as a measure of ``distance'' between p1 and p2. Because θ1 and θ2 are not uniquely defined by the points, however, our numerical quantity is not well-defined.

To remedy this, we focus our attention on the smallest distance over all choices of θ1 and θ2. The angular separation of two points p1 and p2 on the unit circle is the smallest value of |θ2θ1| subject to p1=p(θ1) and p2=p(θ2).

The angular separation is non-negative, as the minimum of a collection of non-negative real numbers. Further, the angular separation of two points is 0 if and only if the points are the same. Finally, the angular separation is never larger than π, one-half the circumference, and is equal to π if and only if the points are opposite ends of a diameter. Intuitively, any two points on the unit circle lie in some half-circle, and so are separated by a distance ``along the circle'' of at most half the circumference, i.e., π.

Trigonometry

For each real θ, there is a unique point p(θ) on the unit circle making angle θ with (1,0). The horizontal and vertical coordinates of p(θ) are the cosine of θ, denoted cosθ, and the sine of θ, denoted sinθ. We call cos and sin the circular functions.

Cosine and sine as coordinates of a point on the unit circle.

Briefly, p(θ)=(cosθ,sinθ).

The Pythagorean theorem, which gives the Cartesian equation x2+y2=1 for the unit circle, tells us (cosθ)2+(sinθ)2=1. Mathematicians write cos2 and sin2 for the squares of the cosine and sine, and therefore write this basic identity cos2θ+sin2θ=1.

For each real θ, we have cos(θ+2π)=cosθ and sin(θ+2π)=sinθ. We say the circular functions are periodic with period 2π, or 2π-periodic. Geometrically, their graphs ``repeat'' after 2π.

The graphs of cosine and sine.

Rotation

There is a geometric operation of ``rotation'' about the origin of the Euclidean plane that fixes (does not move) the origin, preserves Euclidean distances, and ``preserves relative angles'' at the origin. For each real number θ, rotation by θ about the origin maps the rightmost point (1,0) of the unit circle to the point p(θ)=(cosθ,sinθ).

Rotation about the origin by various angles.

Rotation by 0 is the ``identity map'' on the plane: Each point maps to itself. Because an angle θ=2π represents one full turn, rotation by 2π is also the identity map: If we rotate the plane one full turn about the origin, every point maps to itself. The same is true of rotation by every whole multiple of 2π.

Rotations satisfy a remarkable composition law. For example, if we rotate the plane by an angle π2 (90 degrees) and then by angle π3 (60 degrees), the net result is rotation by the sum of the angles, π2+π3=5π6 (150 degrees).

Generally, if we rotate about the origin by an angle θ1, and then rotate about the origin by an angle θ2, the net result is rotation about the origin by the sum, θ1+θ2.

We might express the composition law for rotations in symbols by letting Rθ denote the operation of rotating about the origin by angle θ. This entity Rθ is a type of function. Its inputs and outputs are points of the plane. If (x,y) is a point of the plane, then Rθ(x,y) denotes the image of (x,y) under rotation.

If we write (x,y)=Rθ1(x,y), giving a name to the ``output'' of Rθ1 acting on (x,y), substitution tells us that Rθ2(x,y)=Rθ2(Rθ1(x,y)) is the image of the point Rθ1(x,y) under Rθ2, namely the net result of rotating (x,y) about the origin by angle θ1 and then by θ2.

The composition law would then be written Rθ1+θ2(x,y)=Rθ2(Rθ1(x,y)). There is one further abbreviation we can make. The preceding relation holds for every point (x,y), so mentioning (x,y) is unnecessary. Abstracting to the operations themselves, we might write Rθ1+θ2=Rθ2Rθ1. In symbols, this says ``the result of rotating about the origin by angle θ1 and then by angle θ2 has the same effect as the single rotation through angle θ1+θ2.

Groups

In particular, the composition law for rotations says a composition of rotations about the origin is a rotation about the origin. Mathematicians say the set of rotations about the origin is ``closed under composition.''

Further, the identity mapping is a rotation (by angle 0, or any whole multiple of 2π), and the ``inverse'' of a rotation about the origin—the operation that ``undoes'' the rotation—is itself a rotation about the origin.

These three properties—a set G of mappings that is closed under composition, contains the identity map, and contains the inverse of each mapping in G—characterize a mathematical structure known as a group. The group of plane rotations about the origin is a personal favorite at Differential Geometry, and underlies many images and objects in our math art shop.

If we fix an arbitrary point p of the plane, the set of rotations about p is also a group under composition. In a mathematical sense (that we will not make precise here), this group of rotations has the same abstract structure as the group of rotations about the origin. Mathematicians say any two of these groups are isomorphic (iso: same, morph: form).

The set of rotations about arbitrary points of the plane, by contrast, is not a group. Can you see why? (Caution: Unless centers and angles are chosen carefully, a composition of rotations with different centers is a rotation, although its center is not the center of either ``factor.'')

The identity mapping is a particularly special rotation: By itself it forms a group! No other single rotation has this property.

Among non-identity rotations, there is the interesting class of half-turns, rotations by angle π (or 180 degrees) about some point. The set of all half-turns does not form a group. (Hint: What is the effect of successively performing two half-turns with different centers?) The identity mapping together with a half-turn a particular point does form a group, with just two elements.

If we focus on the half-turn about the origin, our group is abstractly the set {1,1} under multiplication. The identity mapping sends each point (x,y) to 1(x,y)=(x,y). The half-turn about the origin sends each point (x,y) to (1)(x,y)=(x,y). Composition effects multiplication of ``coefficients.''

One final observation is worth making: Consider a quarter-turn about the origin. (There are two, counterclockwise and clockwise.) Performing the same quarter-turn twice gives a half-turn. If there were a way to view a quarter-turn about the origin as ``multiplication'' by some kind of number, then the square of that number would be the coefficient of a half-turn, namely 1. In other words, we would have a concrete implementation of the (sometimes mysterious) ``square root of 1.'' This observation is a departure point for the world of complex numbers.

Back to blog

Leave a comment