Associative Composition Algebra/Transcendental paradigm

From Wikibooks, open books for an open world
Jump to navigation Jump to search

In the ancient geometry of the circle, the relation between angle above the horizon and altitude of a star is called the sine function. Though a part of the nature of a circle, it is not an algebraic function in the sense of being expressible as a sequence of additions, subtractions, multiplications, divisions, powers or roots. Thus it is called a transcendental function. The invitation of this function "sine" into the polite company of algebraic manipulations required a fundamental innovation: a constant "base" b > 0 raised to a variable exponent: This innovation was used by Leonard Euler in his Introduction to the Analysis of the Infinite (1748). But the research that led to this development is due to a Jesuit trio: Gregoire de Saint-Vincent, A. A. de Sarasa, and Marin Mersenne working in the previous century. They tackled the ancient problem of quadrature of the hyperbola, a prominent issue since Archimedes had shown the quadrature of the parabola millennia before.

Angle size and sector area are the same when the conic radius is √2. This diagram illustrates the circular and hyperbolic functions based on sector areas u.

Consider first a unit square area. Then consider those rectangles that have the same area as the square. If x and y are the sides of such a rectangle, the graph of y = 1/x represents the rectangles {(0,0), (x,0), (1, 1/x), (x, 1/x)}. The rectangle with x = y = 1 is the unit square s. Now suppose b > a > 1 and (b, 1/b) is the corner of a rectangle h while (a, 1/a) is the corner of a rectangle g. The rectangles can be viewed as squeezed forms of one another: h is s squeezed by a, g is s squeezed by b. Then h can be re-inflated to s by a−1, so that g is obtained from h by squeezing with a−1b.

The squeezing operation corresponds to a positive real number p > 0. The squeeze is generally viewed with p > 1 so that x expands and y contracts, all the while area is preserved. This property of preservation of area, called equi-areal mapping, brings squeezing into contact with translations, rotations, and shear mappings which share the property. The squeeze is not part of classical kinematics but appears in special relativity as a re-linearization of velocity after the finitude of the speed of light exposes the non-linearity of classical velocity addition with vectors.

Note the axis of symmetry L: x = y of the hyperbola xy = 1. A point (x, 1/x) on the hyperbola determines a hyperbolic sector S(1,x) delimited by L, the hyperbola, and the line from (0,0) to the point. The perpendicular projection from the point to L establishes the hyperbolic sine, sinh v, where v is the area of the sector S(1,x), commonly called the hyperbolic angle. The foot of the projection determines cosh v by the length of the diagonal from (0,0) to the foot. In accord with a circle of area 2π, the sinh and cosh are normalized by a factor of √2.

Infinite series[edit]

Leonard Euler provided infinite series as an access point to the transcendental functions:

Look what happens when f is required to be its own derivative: the derivative of the nth term is

Given a0, where n! is the factorial. Take a0 = 1. Now which Euler computed to be 2.71828… and is now designated mathematical constant e.

The function f is known as the exponential function

Euler also broke the sum into even and odd terms: , where cosh takes the even terms, sinh the odd. The following lemma will be needed later.

Lemma:

proof: The odd terms 0f e−x turn negative, so they cancel in

and add in

Now squaring and adding in the right hand side of the lemma yields

Exercises[edit]

  1. Use Euler's formula to show sine and cosine have alternating series.
  2. Using infinite series, show
  3. Exchange triangles of area 1/2 to show a hyperbolic sector has the same area as a dented trapezoid under the hyperbola and against its asymptote.
  4. What are the merits and demerits of calling a squeeze mapping a "hyperbolic rotation" ?

Sample[edit]

For a sample of AC algebra, the following is offered: Let A = (R2, xy) be the real plane with quadratic form xy. Further, let A be equipped with component-wise addition and multiplication, making it a real algebra. Denote N(x,y) = xy in this case. Then

Thus N is said to compose over the multiplication in A, and A might be called a composition algebra. However, in this text, AC algebras have an involution called a conjugation, written x*, used to define N by N(x) = x x*. Nevertheless, the algebra A constructed above is very closely related to split-binarions described in the next chapter. The split-binarions are a normalized form of A, where the multiplicative identity is a unit distance from the origin, and it has some formal correspondences with the complex field C. In A, the quadratic form can be interpreted as a weight, so that a transformation leaving it invariant is an isobaric transformation, a name used in 1999 by Peter Olver (Classical Invariant Theory, page 217) to describe a squeeze mapping.


Introduction · Binarions