En algèbre générale, une algèbre de Jordan est une algèbre sur un corps commutatif, dans laquelle l'opération de multiplication interne, a deux propriétés :
elle vérifie l'identité suivante, dite identité de Jordan : .
Une algèbre de Jordan n'est donc pas associative en général ; elle vérifie toutefois une propriété d’associativité faible, car elle est à puissances associatives[1] et satisfait d’office à une généralisation de l'identité de Jordan : en notant simplement le produit de m termes , on a, pour tous les entiers positifs m et n,
.
Ce type de structure a été introduit dans un cas particulier par Pascual Jordan en 1933, afin de mieux décrire les propriétés algébriques utiles en mécanique quantique[2]. Jordan désignait cette structure simplement par l'expression « système de r-nombres ». Le nom de « algèbre de Jordan » fut proposé en 1946 par A. Adrian Albert, qui initia l'étude systématique des algèbres de Jordan générales[3].
L’espace vectoriel des matricesn×n à coefficients dans le corps ℝ des nombres réels devient avec le produit usuel des matrices une algèbre associative ; mais cette algèbre n’est pas commutative en général. En revanche, on peut munir cet espace vectoriel d’un autre produit interne, qui en fait une algèbre de Jordan.
Pour M et N deux matrices, notons simplement MN leur produit usuel. On définit alors le nouveau produit, noté , et souvent appelé « produit de Jordan[4] » de la manière suivante :
Autrement dit, il s’agit de remplacer le produit usuel des matrices par une version symétrisée. Cette loi n’est pas associative en général ; en revanche elle vérifie les deux propriétés souhaitées pour obtenir une algèbre de Jordan. La commutativité du produit, , est immédiate sur la définition même. L’identité de Jordan se vérifie par un calcul direct, en utilisant l’associativité du produit usuel ; ce calcul est détaillé dans la boîte déroulante ci-dessous.
L’espace vectoriel des matrices n×n à coefficients dans le corps des nombres réels , muni du produit de Jordan, est donc une algèbre de Jordan.
Preuve de l’identité de Jordan
Il s’agit de vérifier que
On remarque d’abord que est bien défini correctement, autrement dit que sa valeur est la même qu’on considère le produit usuel M M ou le produit de Jordan , puisque
En remplaçant le produit de Jordan par sa définition, on a :
soit en utilisant la distributivité de la multiplication par rapport à l’addition et l’associativité du produit usuel :
et donc, en regroupant :
Origine des algèbres de Jordan
La même construction vaut pour les matrices hermitiennes, le point de départ du travail de Jordan en 1933.
Dans la mécanique quantique d’Heisenberg à l’élaboration de laquelle Jordan avait d’ailleurs participé, les observables sont représentées par des matrices hermitiennes (autrement dit, auto-adjointes). Mais des opérations qui semblent naturelles du point de vue algébrique ne le sont pas toujours du point de vue physique : le carré x2 d’une observable, la multiplication d’une observable par un nombre réel, la somme x + y de deux observables x et y sont encore observables ; mais le produit xy ne l’est pas en général, puisque le produit de deux matrices hermitiennes n’est hermitien que si les matrices commutent. En revanche, une expression comme 1/2(xy + yx) est encore observable, car elle est égale à une somme d’observables 1/2[(x + y)2 – x2 – y2].
Jordan prouva qu’en définissant un « quasi-produit » x.y de x et y par x.y = 1/2(xy + yx) (nous parlons maintenant de « produit de Jordan »), ce produit est une loi commutative, qui n’est pas associative, mais vérifie ce que Jordan décrit comme une forme faible d’associativité, l’identité de Jordan[6]. Cette nouvelle structure lui paraissait apte à rendre compte directement des propriétés algébriques de la situation physique[7]. Pour Jordan, qui promouvait un positivisme radical, les mathématiques devaient fournir un cadre unifié pour représenter des phénomènes physiques, mais sans prétendre en révéler un fondement caché[8] ; c’est ce qu’il espérait obtenir avec une structure mathématique calquée sur les observables.
Un an plus tard, avec von Neumann et Wigner, Jordan étudie toutes les algèbres de dimension finie sur le corps des réels, à produit commutatif et vérifiant l’identité (x.y).x2 = x.(y.x2), et en établissent une classification sous une hypothèse supplémentaire (les algèbres considérées sont formellement réelles, une propriété qui leur semble importante pour les applications physiques). Cette étude leur apparaît comme un « point de départ pour une généralisation de la mécanique quantique », généralisation nécessaire pour espérer « appliquer la mécanique quantique aux questions des phénomènes relativistes et nucléaires[9] ». Ce projet vers une théorie unitaire satisfaisante se heurte au résultat même de la classification, car celle-ci montre que les nouvelles structures espérées n’existent pas. Diverses généralisations sont alors explorées dans les décennies suivantes ; les algèbres de Jordan (ainsi baptisées depuis le travail important d'A. Adrian Albert en 1946) et leurs développements apparaissent alors dans de nombreux contextes mathématiques[10].
Algèbres de Jordan spéciales et exceptionnelles
Les constructions expliquées ci-dessus pour les algèbres de matrices se généralisent immédiatement aux algèbres associatives générales.
À partir d'une algèbre associativeA (sur un corps qui n'est pas de caractéristique 2), on peut construire une algèbre de Jordan A+ qui conserve la même structure d'espace vectoriel sous-jacente. Il faut remarquer d'abord qu'une algèbre associative peut être elle-même une algèbre de Jordan ; c’est le cas si et seulement si elle est commutative. Si A n’est pas commutative, on peut définir sur A une nouvelle multiplication qui est commutative, et vérifie l’identité de Jordan ; l’espace vectoriel A, muni d’une (nouvelle) structure d’algèbre avec cette multiplication, est une algèbre de Jordan, A+. La nouvelle multiplication est donnée à partir de la multiplication de départ par le « produit de Jordan » :
On appelle les algèbres de Jordan obtenues de cette manière, ainsi que leurs sous-algèbres, des algèbres de Jordan spéciales. Toutes les autres algèbres de Jordan sont appelées algèbres de Jordan exceptionnelles.
Un cas intéressant est celui des algèbres de Jordan hermitiennes. Si l’algèbre associative de départ A est munie d’une involution *, le sous-espace de A formé des éléments fixés par l’involution est fermé pour le produit de Jordan, autrement dit, le produit de Jordan de deux éléments fixés par l’involution est encore fixé par l’involution. En effet, si et , on a :
.
Donc ce sous-espace est une sous-algèbre de Jordan de A+, c’est une algèbre de Jordan spéciale, qu’on note H(A, *) ; la lettre H rappelle hermitien. Par exemple, si A est une algèbre de matrices à coefficients réels ou complexes, l’opération qui associe à une matrice son adjointe) est une involution et les éléments fixés sont les éléments hermitiens (ou encore « auto-adjoints »). Les matrices hermitiennes (avec le produit de Jordan) forment donc une algèbre de Jordan spéciale. On rappelle qu’au contraire, ce sous-espace des éléments hermitiens n’est pas fermé en général pour le produit ordinaire.
Selon le théorème de Shirshov-Cohn, toute algèbre de Jordan à deux générateurs est spéciale. Le théorème de MacDonald dit que tout polynôme à 3 variables, de degré 1 par rapport à une des variables, et qui s'annule sur toute algèbre de Jordan spéciale, s'annule sur toute algèbre de Jordan[11].
Certaines identités dites spéciales sont satisfaites par les algèbres de Jordan spéciales mais pas dans les algèbres de Jordan exceptionnelles. Autrement dit, il existe des polynômes de Jordan qui s'annulent quand on les évalue dans une algèbre spéciale mais pas dans l'algèbre d'Albert. L'identité de Glennie est un tel polynôme.
Classification des algèbres de Jordan formellement réelles
Une algèbre A sur le corps des nombres réels est dite formellement réelle si une somme de n carrés d'éléments de A s'annule si et seulement si chaque élément/chaque carré s'annule, soit
… implique que .
Lorsque Pascual Jordan introduisit en 1932 ses systèmes de r-nombres (premiers exemples d'algèbres de Jordan) pour axiomatiser la mécanique quantique, il les avait munis de cette propriété. Les algèbres de Jordan formellement réelles et de dimension finie ont été classées dès 1934, par Jordan, von Neumann et Wigner.
L'ensemble des matrices autoadjointes réelles, complexes, ou quaternioniques, muni du produit de Jordan,
forme une algèbre de Jordan spéciale formellement réelle. L'ensemble des matrices hermitiennes sur l'algèbre des octonions, muni du produit de Jordan, est une algèbre de Jordan formellement réelle exceptionnelle de dimension 27 sur le corps des nombres réels. Son groupe d'automorphismes est le groupe de Lie exceptionnel F4.
Un idéal I dans une algèbre de Jordan A est un sous-espace de A tel que, pour tout élément a de A et tout élément i de I, est dans I (la définition est cohérente avec celle d'un idéal dans un anneau). Une algèbre de Jordan est dite simple si ses seuls idéaux sont {0} et l'algèbre elle-même.
Les algèbres de Jordan formellement réelles et de dimension finie peuvent se décomposer en une somme directe d'algèbres (formellement réelles et de dimension finie) simples. De plus, ces dernières sont de 5 types seulement, quatre familles infinies et un type exceptionnel :
l'algèbre de Jordan des matrices réelles n×n auto-adjointes (c'est-à-dire symétriques), munies du produit de Jordan ;
l'algèbre de Jordan des matrices complexes n×n auto-adjointes (c'est-à-dire hermitiennes), munies du produit de Jordan ;
l'algèbre de Jordan des matrices quaternioniques n×n auto-adjointes, munies du produit de Jordan ;
l'algèbre de Jordan engendrée par Rn, le produit étant défini par une forme bilinéaire symétrique , associée à une forme quadratique définie positive Q. Autrement dit, . Ces algèbres de Jordan sont dites de type Clifford ;
l'algèbre de Jordan des matrices octonioniques auto-adjointes 3×3, munies du produit de Jordan.
Les quatre premiers types sont des algèbres spéciales, c'est-à-dire qu'elles proviennent (en modifiant la définition du produit) d'algèbres associatives usuelles, en l'occurrence les algèbres de matrices réelles, complexes, quaternioniques autoadjointes, ou une algèbre de Clifford, associée à la forme Q, respectivement. Le dernier type est exceptionnel.
Généralisations
Dimension infinie
En 1979, Efim Zelmanov a réussi à classifier les algèbres de Jordan simples de dimension infinie. Elles sont ou bien de type hermitien (provenant par changement de produit d'algèbres associatives à involution), ou bien de type Clifford (provenant d'algèbres de Clifford), ou bien ce sont des algèbres d'Albert. En particulier les seules algèbres de Jordan simples exceptionnelles sont des algèbres d'Albert de dimension 27.
Utilisation en optimisation
Les algèbres de Jordan sont utilisées pour donner un cadre général aux algorithmes de points intérieurs en optimisation conique. Par exemple, en optimisation SDP, les conditions de complémentarité s'écrivent , où et sont des matrices symétriques semi-définies positives et est leur produit matriciel. Le produit de Jordan est utilisé pour symétriser ces conditions de complémentarité[12].
↑Jacobson 1968, p. 35-36, en particulier remarque avant (56) et théorème 8.
↑(de) Pascual Jordan, « Über Verallgemeinerungsmöglichkeiten des Formalismus der Quantenmechanik », Nachr.Ges. Wiss. Göttingen, , p. 209-214.
↑(en) A. Adrian Albert, « On Jordan algebras of linear transformations », Trans. A.M. S., vol. 59, , p. 524-555.
↑Certains auteurs, suivant Jordan, parlent de « quasi-multiplication », voir McCrimmon 2004, p. 4.
↑(de) Pascual Jordan, « Über Verallgemeinerungsmöglichkeiten des Formalismus der Quantenmechanik », Nachr.Ges. Wiss. Göttingen, , p. 209-214, voir aussi (en) Pascual Jordan, John von Neumann et Eugene Wigner, « On the algebraic generalization of the quantum mechanical formalism », Annals of Mathematics, 2e série, vol. 36, , p. 29-64.
↑Jordan définit {x, y, z} comme (x.y).z – x.(y.z). Le quasi-produit serait associatif si {x, y, z} était nul pour tous x, y, z, alors qu’il vérifie seulement l’identité de Jordan, c’est-à-dire {x, y, x2} = 0, pour tous x, y, voir (de) Pascual Jordan, « Über die Multiplikation quantenmechanischer Grössen », Zeitschrift für Physik, vol. 80, , p. 285-291, p. 288.
↑(en) Christoph Lehner, « Mathematical Foundations and Physical Visions », dans Karl-Heinz Schlote et Martina Schneider (eds.), Mathematics Meets Physics : A contribution to their interaction in the 19th and the first half of the 20th century, Frankfurt am Main, Verlag Harri Deutsch, , p. 271-293.
↑Certains d’entre eux sont expliqués dans la partie I, « A Historical Survey of Jordan Structure Theory », de McCrimmon 2004, p. 337-128, couvrant la période 1933 aux années 1980.
↑I. G. MacDonald, « Jordan algebras with three generators », Proceedings of the London Mathematical Society, 3e série, vol. 10, , p. 395-408.
↑(en) Farid Alizadeh, « An introduction to formally real Jordan algebras and their applications in optimization », dans Miguel F. Anjos et Jean-Bernard Lasserre (éditeurs), Handbook on Semidefinite, Conic and Polynomial Optimization, Springer, coll. « International Series in Operations Research and Management Science » (no 166), (ISBN978-1-4614-0768-3 et 978-1-4899-7803-5, DOI10.1007/978-1-4614-0769-0).
Références
(en) Cho-Ho Chu, Jordan Structures in Geometry and Analysis, Cambridge, Cambridge University Press, , 261 p. (ISBN978-1-107-01617-0)
(en) Jacques Faraut et A. Korányi, Analysis on Symmetric Cones, Oxford, Clarendon Press, .
(en) Nathan Jacobson, Structure and representations of Jordan algebras, Providence, R.I., AMS, coll. « AMS Colloquium Publications » (no XXXIX), .
(en) M. Koecher, The Minnesota Notes on Jordan Algebras and Their Applications, Berlin, Springer-Verlag, coll. « Lecture Notes in Mathematics » (no 1710), .
(en) Kevin McCrimmon, A Taste for Jordan algebras, NewYork, Springer, coll. « Universitext », , 563 p. (ISBN978-0-387-95447-9).
Voce principale: Società Sportiva Dilettantistica Pro Sesso. Associazione Calcio Pro SestoStagione 1987-1988Sport calcio Squadra Pro Sesto Allenatore Alfredo Spada poi Giancarlo Danova Presidente Giuseppe Peduzzi Serie C28° Coppa ItaliaPrimo turno Maggiori presenzeCampionato: Conte (34) Miglior marcatoreCampionato: Solimeno (15) StadioStadio Breda 1986-1987 1988-1989 Si invita a seguire il modello di voce Questa pagina raccoglie le informazioni riguardanti l'Associazione Calcio Pro Sesso …
Standard gauge tramway in East Anglia, England Wisbech and Upwell TramwayA train on the Wisbech and Upwell Tramway, pulled by steam tram locomotive 68225, running without sideplates.OperationLocaleWisbech, Cambridgeshire; Upwell, Norfolk, EnglandOpen20 August 1883Close31 December 1927 (passengers), 23 May 1966 (freight)StatusClosedInfrastructureTrack gauge1,435 mm (4 ft 8+1⁄2 in)Propulsion system(s)Steam and diesel vteWisbech & Upwell Tramway Legend Midland and Grea…
هذه المقالة بحاجة لصندوق معلومات. فضلًا ساعد في تحسين هذه المقالة بإضافة صندوق معلومات مخصص إليها. هذه قائمة ملاعب نهائيات كأس الأمم الأفريقية، حتى نسخة 2021 لعب 33 مباراة نهائية في 21 ملعب، ويعتبر ستاد القاهرة الدولي الأكثر استضافة للمباراة النهائية برصيد 4 مباريات في سنوات 1974…
Relationship between employee and employer For other uses, see Employment (disambiguation). Part of a series onEconomics History Outline Index Branches and classifications Applied Econometrics Heterodox International Micro / Macro Mainstream Mathematical Methodology Political JEL classification codes Concepts, theory and techniques Economic systems Economic growth Market National accounting Experimental economics Computational economics Game theory Operations research Middle income trap Industri…
Right to vote in public and political elections Not to be confused with Universal suffrage. Right to vote, Suffragist, and The Franchise redirect here. For the group, see Right to Vote. For the organisation, see National Union of Women's Suffrage Societies. For other uses, see The Franchise (disambiguation). People queuing and showing their identity document for voting in the 2014 Indian general election Suffrage, political franchise, or simply franchise is the right to vote in public, political…
American nurse (1919–2017) Faye Glenn AbdellahAbdellah, 1988Born(1919-03-13)March 13, 1919New York City, U.S.DiedFebruary 24, 2017(2017-02-24) (aged 97)EducationTeachers' College at Columbia University; Douglass Residential College; Ann May School of NursingOccupation(s)Professor of Nursing and Deputy Surgeon GeneralKnown forFirst nurse and woman to serve as Deputy to the Surgeon General; led the formation of the National Institute of Nursing Research at the NIH; founder and first de…
Al-AziziyaLingkunganNegaraArab SaudiProvinsiProvinsi MakkahPemerintahan • Wali kotaHani Abu Ras[1] • Gubernur kotaMish'al Al-SaudKetinggian12 m (39 ft)Zona waktuUTC+3 (AST) • Musim panas (DST)ASTKode pos(5 kode digit dimulai dari 23; e.g. 23434)Kode area telepon+966-12Situs webwww.jeddah.gov.sa/english/index.php Al-Aziziya adalah sebuah permukiman padat penduduk di kota Jeddah di Provinsi Makkah, tepatnya di sebelah barat Arab Saudi.[3 …
County in West Virginia, United States County in West VirginiaPocahontas CountyCountyPocahontas County Courthouse in MarlintonCass Scenic Railroad State ParkGreen Bank ObservatorySeneca State ForestSnowshoe Mountain SealLocation of Pocahontas County in West VirginiaWest Virginia's location within the U.S.Coordinates: 38°19′N 80°01′W / 38.32°N 80.01°W / 38.32; -80.01Country United StatesState West VirginiaFoundedDecember 21, 1821Named forPocahontasSeatMar…
National organization, founded 1937 This article is about the organization founded 1937. For the 1920–1925 entity, see United States Amateur Hockey Association. USA HockeyAssociation nameUSA HockeyFoundedOctober 29, 1937; 86 years ago (1937-10-29)IIHF membershipMarch 22, 1947 (1947-03-22)PresidentMike TrimboliIIHF men's ranking4IIHF women's ranking1usahockey.com USA Hockey is the national ice hockey organization in the United States. It is recognized by the Int…
2004 US human space exploration plan Cover page of report of Aldridge Commission, Report of the President's Commission on Implementation of United States Space Exploration Policy, 2004 The Vision for Space Exploration (VSE) was a plan for space exploration announced on January 14, 2004 by President George W. Bush. It was conceived as a response to the Space Shuttle Columbia disaster, the state of human spaceflight at NASA, and as a way to regain public enthusiasm for space exploration.[1]…
تحوي هذه المقالة أو هذا القسم ترجمة آلية. فضلًا، ساهم في تدقيقها وتحسينها أو إزالتها لأنها تخالف سياسات ويكيبيديا. (نقاش) 2003 Nobel Prize in Literaturewho in innumerable guises portrays the surprising involvement of the outsider.معلومات عامةالتاريخ 2 أكتوبر 2003 (2003-10-02) (announcement) 10 December 2003 (ceremony) مقدمة من الأكاديمية الس…
Euro Beach Soccer League 2012 Competizione Euro Beach Soccer League Sport Calcio da spiaggia Edizione 15ª Luogo Europa Partecipanti 21 Risultati Vincitore Svizzera(1º titolo) Secondo Russia Terzo Italia Quarto Romania Statistiche Miglior giocatore Dimitri Shishin Miglior marcatore Dejan Stankovic Miglior portiere Valentin Jaegy Incontri disputati 60 Gol segnati 521 (8,68 per incontro) Cronologia della competizione 2011 2013 Manuale L'Euro Beach Soccer League 2012 è la 15ª…
Evoluzione Meccanismi e processi Adattamento Deriva genetica Equilibri punteggiati Flusso genico Mutazione Radiazione adattativa Selezione artificiale Selezione ecologica Selezione naturale Selezione sessuale Speciazione Storia dell'evoluzionismo Storia del pensiero evoluzionista Lamarckismo Charles Darwin L'origine delle specie Neodarwinismo Saltazionismo Antievoluzionismo Campi della Biologia evolutiva Biologia evolutiva dello sviluppo Cladistica Evoluzione della vita Evoluzione molecolar…