Homersham Cox

Modèle:Voir homonymes Modèle:Infobox Biographie2 Homersham Cox (1857-1918) est un mathématicien anglaisModèle:,.

Biographie

Homersham Cox est le fils de Modèle:Lien (1821-1897) et le frère de Modèle:LienModèle:Sfn et il fait ses études à la Tonbridge School (1870-1875). Au Trinity College de Cambridge, il obtient un BA en tant que Modèle:4e wrangler en 1880 et une maîtrise en 1883. Il devient boursier en 1881. Sa sœur cadette Margaret le décrit comme un homme souvent complètement perdu dans ses penséesModèle:Sfn. Il est marié à Amy CoxModèle:Sfn. Plus tard, ils se séparent et elle commence à travailler comme gouvernante en Russie en 1907Modèle:Sfn.

Cox écrit quatre articles appliquant l'algèbre à la physique, puis se tourne vers l'enseignement des mathématiques avec un livre sur l'arithmétique en 1885. Ses Principles of Arithmetic comprennent les nombres binaires, les nombres premiers et les permutations.

Engagé pour enseigner les mathématiques au Modèle:Lien, Cox devient un résident d'Allahabad, dans l'Uttar Pradesh, de 1891 jusqu'à sa mort en 1918. Il est marié à Amy Cox, avec qui il a une fille, Ursula CoxModèle:Sfn.

Travail sur la géométrie non euclidienne

De 1881 à 1883, il publie des articles sur la géométrie non euclidienneModèle:,Modèle:,Modèle:,.

Par exemple, dans son article de 1881 (publié en deux parties en 1881 et 1882)Modèle:, il décrit les coordonnées homogènes pour la géométrie hyperbolique, maintenant appelées coordonnées de Weierstrass du modèle de l'hyperboloïde introduit par Wilhelm Killing (1879) et Henri Poincaré (1881). Comme Poincaré en 1881, Cox écrit les transformations générales de Lorentz laissant invariante la forme quadratique $z^2-x^2-y^2=1$, et aussi pour $w^2-x^2-y^2-z^2=1$. Il formule également le boost de Lorentz qu'il décrit comme un transfert de l'origine dans le plan hyperbolique, à la page 194 :

$\begin{array}{cc}X& =x\cosh p-z\sinh p\\ Z& =-x\sinh p+z\cosh p\end{array}\text{and}\begin{array}{cc}x& =X\cosh p+Z\sinh p\\ z& =X\sinh p+Z\cosh p\end{array}$

Des formules similaires sont utilisées par Gustav von Escherich en 1874, que Cox mentionne à la page 186. Dans son article de 1882/1883Modèle:,, qui traite de la géométrie non euclidienne, des quaternions et de l'algèbre extérieure, il fournit la formule suivante décrivant un transfert du point P au point Q dans le plan hyperbolique, à la page 86.

$\begin{array}{cc}Q{P}^{-1}& =\cosh \theta +\iota \sinh \theta \\ Q{P}^{-1}& =e^{\iota \theta }\end{array}({\iota }^2=1)$

ensemble avec $\cos \theta +\iota \sin \theta$ avec ${\iota }^2=-1$ pour l'espace elliptique, et $1-\iota \theta$ avec ${\iota }^2=0$ pour l'espace parabolique. À la page 88, il identifie tous ces cas comme des multiplications de quaternions. La variante ${\iota }^2=1$ est maintenant appelé nombre hyperbolique, l'expression entière de gauche peut être utilisée comme verseur hyperbolique. Par la suite, cet article est décrit par Alfred North Whitehead (1898) comme suit :

Chaîne de Cox

En 1891, Cox publie une chaîne de théorèmes en géométrie euclidienne en dimension trois :

(i) Dans un espace à trois dimensions, prenons un point 0 par lequel passent divers plans a, b, c, d, e...

(ii) Chaque paire de plans se coupent sur une ligne passant par 0. Sur chacune de ces lignes, un point est pris au hasard. Le point sur la ligne d'intersection des plans a et b sera appelé le point ab.

(iii) Trois plans a, b, c, donnent trois points bc, ac, ab . Ceux-ci déterminent un avion. On l'appellera le plan ABC. Ainsi les plans a, b, c, abc, forment un tétraèdre de sommets bc, ac, ab, 0.

(iv) Quatre plans a, b, c, d, donnent quatre plans abc, abd, acd, bcd. On peut prouver que ceux-ci se rejoignent en un point. Appelons ce point abcd.

(v) Cinq plans a, b, c, d, e, donnent cinq points tels que abcd. On peut prouver qu'ils se trouvent dans un plan. Appelons ce plan abcde.

(vi) Six plans a, b, c, d, e, f, donnent six plans tels que abcde. On peut prouver que ceux-ci se coupent en un point. Appelons ce point Modèle:Texte exact . Et ainsi de suite indéfiniment.

Le théorème est comparé aux Modèle:Lien car ils constituent tous deux une chaîne infinie de théorèmes. En 1941, Richmond affirme que la chaîne de Cox est supérieure :

H. S. M. Coxeter dérive le théorème de Clifford en échangeant le point arbitraire sur une droite ab avec une sphère arbitraire autour de 0 qui coupe ensuite ab. Les plans a, b, c... coupent cette sphère en cercles qui peuvent être projetés stéréographiquement dans un plan. Le langage planaire de Cox se traduit alors par les cercles de Clifford.

En 1965, les trois premiers théorèmes de Cox sont prouvés dans le manuel de Coxeter Introduction to Geometry.

Bibliographie

• Modèle:Ouvrage
• Modèle:Ouvrage Modèle:Commentaire biblio
• Modèle:Ouvrage