Hypernombre - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs de cet article est disponible ici.

Introduction

Les hypernombres sont des nombres associés à des dimensions, découverts par le Dr. Charles A. Musès (1919 – 2000). Les hypernombres forment un système complet, cohérent, relié et naturel. Il existe dix niveaux d'hypernombres, chacun possède sa propre arithmétique et géométrie.

Sélection des types d'hypernombres

Nombres réels et complexes

Les deux premiers niveaux de l'arithmétique des hypernombres correspondent à l'arithmétique des réels et nombres imaginaires.

Nombres epsilon

Avec les nombres \varepsilon , le programme des hypernombres est capable de définir un large intervalle d'opérations mathématiques sur les systèmes de nombres contenant des bases avec les racines carrées non-réelles de 1, i.e. \varepsilon^2 = 1\, mais \varepsilon \ne \pm 1\, (voir aussi nombre complexe fendu). Le concept d'orbite de puissance des hypernombres permet les puissances, les racines et les logarithmes sur les systèmes de nombres qui contiennent les bases de \varepsilon .

Les nombres epsilon sont placés dans le troisième niveau du programme des hypernombres.

Exponentielle contre-orbite de puissance

Si l'on considére que pour les nombres complexes, l'orbite de puissance iα ainsi que l'orbite exponentielle \exp ~i\alpha du nombre de base imaginaire n'est plus valable, ce n'est pas le cas pour les nombres ~\varepsilon . A la place, nous avons pour l'orbite exponentielle :

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

L'orbite de puissance s'écrit :

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

Note : l'orbite de puissance contient un produit de ~\varepsilon et ~i , qui requiert l'arithmétique des quaternions coniques (ci-dessous).

Exemples et isomorphismes

Quaternions circulaires et octonions

Les quaternions et les octonions circulaires du programme des hypernombres sont identiques aux quaternions et aux octonions de la construction de Cayley-Dickson.

Quaternions hyperboliques

Les quaternions hyperboliques issus du programme des hypernombres sont isomorphes aux coquaternions (quaternions fendus). Ils sont différents des quaternions hyperboliques de A. MacFarlane (première mention en 1891), ils ne sont pas associatifs mais ils offrent comme eux un module multiplicatif.

Dans les hypernombres, les quaternions hyperboliques sont constitués d'une base réelle, une base imaginaire et deux bases contre-imaginaires (e.g. { 1, \varepsilon{}_1 , \varepsilon{}_2 , i_3 }, ou { 1, i_1, \varepsilon{}_2 , \varepsilon{}_3 }; voir aussi nombre complexe fendu). Comme les quaternions (circulaires), leur multiplication est associative mais non-commutative, les trois bases non-réelles sont mutuellement anti-commutatives.

Quaternions coniques

Les quaternions coniques sont construits sur la base { 1, i, \varepsilon, i_0 }, avec i_0 = \varepsilon i et forment une arithmétique close commutative, associative, distributive (contenant des racines et des logarithmes), avec un module multiplicatif. Ils contiennent des éléments idempotents et des diviseurs de zéro, mais pas d'éléments nilpotents. Les quaternions coniques sont isomorphes aux tessarines et aussi aux nombres bicomplexes (issus des nombres multicomplexes).

Par contraste, les quaternions et les coquaternions (circulaires) (quaternions fendus) ne sont pas commutatifs (les coquaternions contiennent aussi des éléments nilpotents).

Les quaternions coniques sont nécessaires pour décrire l'orbite de puissance de \varepsilon\, (ci-dessus) et aussi le logarithme de \varepsilon\,  :

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

Octonions hyperboliques

Les octonions hyperboliques sont isomorphes à l'algèbre des octonions fendus. Ils sont constitués d'une base réelle, trois bases imaginaires ( \sqrt{-1}\, ) et quatre bases contre-imaginaire ( \varepsilon\, , \sqrt{1} \ne \pm 1\, ).

Cette algèbre a été utilisée en physique dans la théorie des cordes. Elle peut être aussi utilisée pour décrire l'équation de Dirac en physique sur un système de nombres naturel (à la place de l'algèbre des matrices sur les nombres complexes; voir les références ci-dessous).

Octonions coniques

Les octonions coniques de bases \{1, i_1, i_2, i_3,~i_0, \varepsilon{}_1, \varepsilon{}_2, \varepsilon{}_3 \} forment un système de nombre octononique associatif mais non-commutatif.

La sous-algèbre \{1,~i_0 \} est isomorphe aux nombres complexes, avec i_0 = i_n \varepsilon_n\, (pour tout n = 1,2,3), est commutative et associative à toutes les bases de sous-algèbre de quaternion \{1,~i_1, i_2, i_3 \} . Les bases des octonions coniques peuvent par conséquent être écrites sous la forme \{ 1, i_1, i_2, i_3,~i_0, -i_0 i_1, -i_0 i_2, -i_0 i_3 \} montrant leur isomorphisme aux quaternions avec les coefficients en nombres complexes pour former les biquaternions.

Sédénions coniques

Un cas particulier de l'arithmétique des hypernombres sont les sédénions coniques, qui forment une algèbre modulaire (i.e. avec un module multiplicatif), alternative, flexible, non-commutative; par la construction de Cayley-Dickson, on obtient les octonions (circulaires) (construits sur un axe réel et 7 axes imaginaires), ceci forme une algèbre normée et modulaire la plus large.

Nombres complexes elliptiques (arithmétique w)

Dans le plan (réel, w), l'orbite de puissance ~w^\alpha\, (avec ~\alpha\, réel) est elliptique, et l'arithmétique est, par conséquent aussi appelée complexe elliptique ou nombres w-complexes. Ils sont placés dans le 4e niveau du programme des hypernombres.

Les puissances de w sont cycliques, avec w^0 = w^6 = 1\, et les puissances entières suivantes :

w^1 = ~w

w^2 = ~-1 + w

w^3 = ~-1

w^4 = ~-w

w^5 = ~1 - w

Ils offrent un module multiplicatif :

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

Si a et b sont des coefficients réels, l'arithmétique <(1,w), +, *>\, est un corps. Néanmoins, la base de nombre duale de (w) est (-w), qui est différente du conjugué de (w), qui est 1-(w). Ceci contraste par exemple avec la base imaginaire i = \sqrt{-1}\, , pour laquelle le dual et le conjugué sont les mêmes (-i). L'arithmétique résultante (-w) est par conséquent distincte de l'arithmétique -(w), tandis qu'elles coexistent sur le même plan de nombres. Additivement, -(w) et (-w) sont identiques, mais multiplicativement, elles sont distinctes.

Orbite de puissance

L'orbite de puissance de w est :

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

Orbites de puissance de w et de -w

Orbite exponentielle

L'orbite exponentielle de w est (a, b réel) :

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

Pour le cas particulier de b = ~-2a\, , l'orbite de puissance et l'orbite exponentielle échouent toutes les deux. Ceci donne :

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

et

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

Nombres de rose (nombres p et q)

Les nombres de rose sont placés dans le 5e niveau dans le programme des hypernombres et forment un quasi système dual. Chacun étant nilpotent, l'arithmétique offre encore un module multiplicatif, un argument et une forme polaire. Géométriquement, les puissances ~p^\alpha\, et ~q^\alpha\, sont des roses à deux pétales.

Les puissances entières sont :

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

p^1 =~p

q^1 =~q

p^3 =~q

q^3 =~p

Ils offrent un module multiplicatif :

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

Orbite de puissance

Dans le plan {p, q}, ~p^\alpha\, et ~q^\alpha\, (avec ~\alpha réel) sont reliés sur une rose à deux pétales, décrite par ap +~bq\, avec

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

HypernumbersPowerOrbitPQ.png

Tandis que le produit ( ap +~bq )( cp +~dq) = 0 pour tout réel {a, b, c, d}, l'orbite de puissance et sa géomérie reliée permet d'effectuer une multiplication non-triviale. Les facteurs peuvent être représentée dans la même orbite de puissance, e.g.

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

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

et multiplié plus tard à ||n||~p^\alpha p^\beta =||n||~p^{(\alpha + \beta)} (avec ||n|| :=~||ap + bq||*||cp + dq|| absolu; ~\alpha , ~\beta réel). Par conséquent, la multiplication est sensible à la représentation du point dans le plan {p, q}.

En général, il existe une quantité infinie de représentation possibles de ||m||~( p^\gamma + q^\delta ) (avec ~||m|| absolu; ~\gamma , ~\delta réel) pour tout ap +~bq donné. Mais seule la multiplication le long de soit de l'orbite de puissance de p ou de q permet un module multiplicatif.

Orbite exponentielle

Les orbites exponentielle respectives sont :

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)

Note sur (-p), p^(-1), 1/p

A partir de C. Musès, Computing in the bio-sciences with hypernumbers: A survey (voir la référence complète ci-dessous) :

"...Notez que -p est engendré via w, ainsi : (qw)^3 = (wq)^3 = (w^3)(q^3) = (-1)p =~-p . Il doit être rappelé que parce que p est nilpotent ( p^2 = 0, p \ne 0 ), sa puissance zéro-ième ne peut pas être 1; en fait p^0 =~0 . Par conséquent p^{-1} \ne 1/p , et puisque (1/p)(1/p) = 1/p^2 = \infty , nous voyons que ~1/p est panpotent, i.e. une racine de l'infini. A comparer 1/(1 \pm \varepsilon) , qui sont une paire de diviseurs de l'infini."

Nombres cassinioïdes (nombres m)

L'arithmétique des nombres cassinioïdes, le 6e niveau du programe des hypernombres, est gouvernée par les cassinoïdes ou les ovales de Cassini. Leur relation avec la géométrie illustre la multiplication et leur modules multiplicatifs. Les coefficients de la base de nombre m sont des nombres absolus, qui sont similaires aux nombres réels positifs ; néanmoins, l'arithmétique m est sensible à la grandeur de ses coefficients.

Dans le plan {réel, m}, ils offrent les relations suivantes :

m^2 =~m

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

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

Caractéristique, module et poignée

Pour un nombre a +~bm , la "caractéristique" s est définie comme suit :

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

Un module multiplicatif t et une poignée k sont alors défini à travers :

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

k = \sqrt{ s^2 + 1 }

HypernumbersPowerOrbitM.png

Distinction entre coefficients et nombres réels

En citant K. Carmody, "Cassinoid Numbers: The Musèan Hypernumber m" (27 avril 2006, sur http://www.kevincarmody.com/math/hypernumbers.html ):

« Les coefficients tels que \sqrt{2} dans l'expression \sqrt{2} m\, ne sont pas véritablement des nombres réels. Par exemple, si nous multiplions -1 comme un nombre réel par + m, nous pouvons obtenir +m\, , mais nous ne pouvons pas obtenir -m\, . [...]

De manière correcte, +1, -1, +m et -m sont des unités, et les coefficients de leurs multiples le long de leurs axes respectifs sont des nombres absolus, qui sont distincts des nombres réels et qui ne sont jamais négatifs. »

Page générée en 0.391 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise