Musean hypernumber

From Wikipedia, the free encyclopedia

This article or section is in need of attention from an expert on the subject.
Please help recruit one or improve this article yourself. See the talk page for details.
Please consider using {{Expert-subject}} to associate this request with a WikiProject

Hypernumbers are numbers with associated dimensionalities, discovered by Dr. Charles A. Musès (1919–2000). Hypernumbers form a complete, integrated, connected, and natural system. There are ten levels of hypernumbers, each with its own arithmetic and geometry.

[edit] Select hypernumber types

[edit] Real and complex numbers

The first two levels in hypernumber arithmetic correspond to real and imaginary number arithmetic.

[edit] Epsilon numbers

With $\varepsilon$ numbers, the hypernumbers program is able to define a wide range of mathematical operations on number systems that contain bases with non-real square roots of 1, i.e. $\varepsilon^2 = 1$ but $\varepsilon \ne \pm 1$ (see also Split-complex number). The power orbit concept in hypernumbers allows for powers, roots, and logarithms on number systems that contain $\varepsilon$ bases.

Epsilon numbers are assigned the 3rd level in the hypernumbers program.

[edit] Exponential vs. power orbit

Whereas for complex numbers the power orbit $~i^\alpha$ falls together with the exponential orbit $\exp ~i\alpha$ of the imaginary base number, this is not the case anymore for $~\varepsilon$ numbers. Instead we have for the exponential orbit:

$e ^ { \varepsilon \alpha } = \cosh ~\alpha + \varepsilon ( \sinh ~\alpha )$

The power orbit is:

$\varepsilon ^ \alpha = \frac{1}{2} [ (1 - \varepsilon ) + (1 + \varepsilon ) e^{- \pi i \alpha } ]$

Please note that the power orbit contains a product of $~\varepsilon$ and $~i$ , which requires conic quaternion arithmetic (below).

[edit] Examples and Isomorphisms

[edit] Circular quaternions and octonions

Circular quaternions and octonions from the hypernumbers program are identical to quaternions and octonions from Cayley-Dickson construction.

[edit] Hyperbolic quaternions

Hyperbolic quaternions from the hypernumbers program are isomorphic to coquaternions (split-quaternions). They are different from A. MacFarlane's hyperbolic quaternions (first mention in 1891), which are not associative but also offer a multiplicative modulus.

In hypernumbers, hyperbolic quaternions consist of one real, one imaginary, and two counterimaginary bases (e.g. { $1, \varepsilon{}_1 , \varepsilon{}_2 , i_3$ }, or { $1, i_1, \varepsilon{}_2 , \varepsilon{}_3$ }; see also split-complex number). Like (circular) quaternions, their multiplication is associative but not commutative, the three non-real bases are mutually anti-commutative.

[edit] Conic quaternions

Conic quaternions are built on bases { $1, i, \varepsilon, i_0$ }, with $i_0 := \varepsilon i$ , and form a commutative, associative, distributive, closed arithmetic (containing roots and logarithms), with multiplicative modulus. They contain idempotents and zero divisors, but no nilpotents. Conic quaternions are isomorphic to tessarines, and also to bicomplex numbers (from the multicomplex numbers).

In contrast, (circular) quaternions and coquaternions (split-quaternions) are not commutative (coquaternions also contain nilpotents).

Conic quaternions are needed to describe the power orbit of $\varepsilon$ (above), and also the logarithm of $\varepsilon$ :

$\ln \varepsilon = \frac{\pi }{2} ( i_0 - i )$

[edit] Hyperbolic octonions

Hyperbolic octonions are isomorphic to split-octonion algebra. They consist of one real, three imaginary ( $\sqrt{-1}$ ), and four counterimaginary ( $\varepsilon$ , $\sqrt{1} \ne 1$ ) bases.

This algebra has been used in physics e.g. in String theory. Also, it can be used to describe the Dirac equation in physics on a native number system (instead of matrix algebra on complex numbers; see references below).

[edit] Conic octonions

Conic octonions to bases $\{ 1, i_1, i_2, i_3,~i_0, \varepsilon{}_1, \varepsilon{}_2, \varepsilon{}_3 \}$ form an associative, non-commutative octonionic number system.

The subalgebra $\{1,~i_0 \}$ is isomorphic to complex numbers, with $i_0 = i_n \varepsilon_n$ (for any n = 1,2,3) commutative and associative to all bases of the quaternion subalgebra $\{1,~i_1, i_2, i_3 \}$ . The conic octonion bases can therefore be written as $\{ 1, i_1, i_2, i_3,~i_0, -i_0 i_1, -i_0 i_2, -i_0 i_3 \}$ , showing their isomorphism to quaternions with complex number coefficients to form biquaternions.

[edit] Conic sedenions

A special case of hypernumber arithmetic are conic sedenions, which form a 16 dimensional modular (i.e. with multiplicative modulus), alternative, flexible, non-commutative, non-associative algebra; whereas Cayley-Dickson construction yields 8 dimensional (circular) octonions (built on one real and 7 imaginary axes) as widest modular and normed algebra.

[edit] Elliptic complex numbers (w arithmetic)

In the (real, w) plane, the power orbit $~w^\alpha$ (with $~\alpha$ real) is elliptic, and the arithmetic is therefore also called elliptic complex or w-complex numbers. They are assigned the 4th level in the hypernumbers program.

The powers of w are cyclic, with $w 0 = w 6 = 1$ and the following integral powers:

$w^1 = ~w$

$w^2 = ~-1 + w$

$w^3 = ~-1$

$w^4 = ~-w$

$w^5 = ~1 - w$

They offer a multiplicative modulus:

$||a + bw|| = \sqrt{a^2 + ab + b^2}$

If a and b are real number coefficients, the arithmetic <(1,w), +, *> is a field. However, the dual base number to (w) is (-w), which is different from the conjugate of (w), which is 1-(w). This is in contrast to e.g. the imaginary base $i := \sqrt{-1}$ , for which both dual and conjugate are the same (-i). The resulting (-w) arithmetic is therefore distinct from -(w) arithmetic, while coexisting on the same number plane. Additively, -(w) and (-w) are identical, but multiplicatively they are distinct.

[edit] Power orbit

The power orbit of w is:

$w ^ \alpha = \frac{2}{\sqrt{3}} ( \cos ~( \frac{\alpha \pi}{3} + \frac{\pi}{6} ) + w ~\sin ~\frac{\alpha \pi}{3} )$

[edit] Exponential orbit

The exponential orbit of w is (a, b real):

$e ^ {a + bw} = e ^ {a + \frac{b}{2}} w ^ {\frac{3 \sqrt{3} b}{2 \pi}}$

For the special case of $b = ~-2a$ the power orbit and exponential orbit fall together. This yields:

$e ^ {a (-1 + 2w)} = w ^ {\frac{3 \sqrt{3} a}{\pi}}$

and

$w ^ \alpha = e ^ {- \frac{\alpha \pi}{3 \sqrt{3}} (1 - 2w)}$

[edit] Rose numbers (p and q numbers)

Rose numbers are assigned the 5th level in the hypernumbers program, and form a nearly dual system. Each being nilpotent, the arithmetic yet offers a multiplicative modulus, an argument, and a polar form. Geometrically, the powers $~p^\alpha$ and $~q^\alpha$ are two-leaved roses.

Integral powers are:

$p^0 = q^0 = p^2 = q^2 =~0$

$p^1 =~p$

$q^1 =~q$

$p^3 =~q$

$q^3 =~p$

They offer a multiplicative modulus:

$||ap + bq|| = \frac{(a^2 + b^2)^2}{(a + b)(a - b)^2}$

[edit] Power orbit

In the {p, q} plane, both $~p^\alpha$ and $~q^\alpha$ (with $~\alpha$ real) lie on a two-leaved rose, described through $ap +~bq$ with

$(a^2 + b^2)^2 =~(a + b)(a - b)^2$ .

While the product $( ap +~bq )( cp +~dq) = 0$ for any real {a, b, c, d}, the power orbit and its related geometry allow to carry out non-trivial multiplication. The factors can be represented to the same power orbit, e.g.

$p^\alpha :=~\frac{ap + bq}{||ap + bq||}$

$p^\beta :=~\frac{cp + dq}{||cp + dq||}$

and multiplied subsequently to $||n||~p^\alpha p^\beta =||n||~p^{(\alpha + \beta)}$ (with $||n|| :=~||ap + bq||*||cp + dq||$ absolute; $~\alpha$ , $~\beta$ real). Therefore, multiplication is sensitive to the representation of the point in the {p, q} plane.

In general, there is an infinite amount of possible representations $||m||~( p^\gamma + q^\delta )$ (with $~||m||$ absolute; $~\gamma$ , $~\delta$ real) for any given $ap +~bq$ . But only multiplication along either the p or q power orbit allows for a multiplicative modulus.

[edit] Exponential orbit

The respective exponential orbits are:

$e^{ \alpha p} = 1 + \frac{p}{2} ( \sinh \alpha - \sin \alpha ) + \frac{q}{2} ( \sinh \alpha + \sin \alpha)$

$e^{ \alpha q} = 1 + \frac{p}{2} ( \sinh \alpha + \sin \alpha ) + \frac{q}{2} ( \sinh \alpha - \sin \alpha)$

[edit] Note on (-p), p^(-1), 1/p

From C. Musès, Computing in the bio-sciences with hypernumbers: A survey (see full reference below):

"...Note that -p is generated via w, thus: $(qw)^3 = (wq)^3 = (w^3)(q^3) = (-1)p =~-p$ . It must be remembered that because p is nilpotent ( $p^2 = 0, p \ne 0$ ), its zeroth power cannot be 1; in fact $p^0 =~0$ . Hence also $p^{-1} \ne 1/p$ , and since $(1/p)(1/p) = 1/p^2 = \infty$ , we see that $~1/p$ is panpotent, i.e. a root of infinity. Compare $1/(1 \pm \varepsilon)$ , which are a pair of divisors of infinity."

[edit] Cassinoid numbers (m numbers)

Cassiniod number arithmetic, the 6th level in the hypernumbers program, is governed by cassinoids or Cassinian ovals. Their relation to geometry illustrates multiplication and their multiplicative modulus. Coefficients to the m number base are absolute numbers, which are similar to positive real numbers; however, m arithmetic is sensitive to the magnitude of its coefficients.

In the {real, m} plane, they offer the following relations:

$m^2 =~m$

$(\sqrt{2} m )^2 =~0$

$(\sqrt{3} m )^2 =~-1$

[edit] Characteristic, modulus, and handle

For a number $a +~bm$ the "characteristic" s is defined as:

$s^4 =~(a^2 + b^2)^2 + 2(a^2 - b^2) + 1$

A multiplicative modulus t and a handle k are then defined through:

$t = |a + bm| = \sqrt{ | s^2 - 1 | }$

$k = \sqrt{ s^2 + 1 }$

[edit] Distinction between coefficients and real numbers

Citing K. Carmody, "Cassinoid Numbers: The Musèan Hypernumber m" (27 April 2006, in a now withdrawn .html file):

"Coefficients such as $\sqrt{2}$ in the expression $\sqrt{2} m$ are not actually real numbers. For example, if we multiply -1 as a real number by $+ m$ , we can get $+ m$ , but we cannot get $- m$ . [...]

Properly, +1, -1, +m, and -m are units, and the coefficients of their multiples along their respective axes are absolute numbers, which are distinct from real numbers and are never negative."

[edit] See also

Biquaternion
Hyperbolic quaternion (per A. MacFarlane)
Hypercomplex number
Nilpotents
Octonion
Quaternion
Sedenion
Split-complex number
Split-octonions
Split-quaternion / Coquaternion
Tessarines
Zero divisor

[edit] Hypernumber references and publications

C. Musès, Hypernumbers and their Spaces: a Summary of New Findings, J. Study. Consciousness 5 (1972), 251-256.
C. Musès, Applied hypernumbers: Computational concepts, Appl. Math. Comput. 3 (1977) 211–226. doi:10.1016/0096-3003(77)90002-9
C. Musès, Explorations in mathematics, impact of science on society 27 (1977), 67-85.
C. Musès, Hypernumbers II—Further concepts and computational applications, Appl. Math. Comput. 4 (1978) 45–66. doi:10.1016/0096-3003(78)90026-7
C. Musès, Computing in the bio-sciences with hypernumbers: a survey, Intl. J. Bio-Med. Comput. 10 (1979) 519–525.
C. Musès, Hypernumbers and quantum field theory with a summary of physically applicable hypernumber arithmetics and their geometries, Appl. Math. Comput. 6 (1980) 63-94.
C. Musès, Hypernumbers and time operators, Appl. Math. Comput. 12 (1983) 139-167.
C. Musès, Some current dilemmas in applied physical mathematics with some solutions, Appl. Math. Comput. 14 (1984) 207-211.
K. Carmody, Circular and hyperbolic quaternions, octonions, and sedenions, Appl. Math. Comput. 28 (1988) 47–72. doi:10.1016/0096-3003(88)90133-6
C. Musès, Hypernumbers applied, or how they interface with the physical world, Appl. Math. Comput. 60 (1994) 25–36. doi:10.1016/0096-3003(94)90203-8
K. Carmody, Circular and hyperbolic quaternions, octonions, and sedenions— further results, Appl. Math. Comput. 84 (1997) 27–48. doi:10.1016/S0096-3003(96)00051-3

Retrieved from "http://en.wikipedia.org../../../m/u/s/Musean_hypernumber.html"

Categories: Pages needing expert attention | Hypercomplex numbers | Nonassociative algebra

Musean hypernumber

From Wikipedia, the free encyclopedia

Contents

[edit] Select hypernumber types

[edit] Real and complex numbers

[edit] Epsilon numbers

[edit] Exponential vs. power orbit

[edit] Examples and Isomorphisms

[edit] Circular quaternions and octonions

[edit] Hyperbolic quaternions

[edit] Conic quaternions

[edit] Hyperbolic octonions

[edit] Conic octonions

[edit] Conic sedenions

[edit] Elliptic complex numbers (w arithmetic)

[edit] Power orbit

[edit] Exponential orbit

[edit] Rose numbers (p and q numbers)

[edit] Power orbit

[edit] Exponential orbit

[edit] Note on (-p), p^(-1), 1/p

[edit] Cassinoid numbers (m numbers)

[edit] Characteristic, modulus, and handle

[edit] Distinction between coefficients and real numbers

[edit] See also

[edit] Hypernumber references and publications

Views

Navigation

Search

In other languages