نظام جذري

هذا المقال هو عن root systems in mathematics. إذا كنت تريد plants' root systems، انظر Root.

في الرياضيات، النظام الجذري Root system هو تشكيل من الأشعة في الفضاء الإقليدي ، يحقق خواصا هندسية معينة، هذا المصطلح ذو أهمية خاصة نظرية زمرة لي، خصوصاً تبويب وتمثيل نظرية جبر لي شبه البسيط. Since Lie groups (and some analogues such as algebraic groups) and Lie algebras have become important in many parts of mathematics during the twentieth century, the apparently special nature of root systems belies the number of areas in which they are applied. Further, the classification scheme for root systems, by Dynkin diagrams, occurs in parts of mathematics with no overt connection to Lie theory (such as singularity theory). Finally, root systems are important for their own sake, as in spectral graph theory.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

 تعريفات وأمثلة

The six vectors of the root system A₂.

 تعريف

Let E be a finite-dimensional Euclidean vector space, with the standard Euclidean inner product denoted by $(\cdot ,\cdot )$. A root system $\Phi$ in E is a finite set of non-zero vectors (called roots) that satisfy the following conditions:

1. The roots span E.
2. The only scalar multiples of a root $\alpha \in \Phi$ that belong to $\Phi$ are $\alpha$ itself and $-\alpha$.
3. For every root $\alpha \in \Phi$, the set $\Phi$ is closed under reflection through the hyperplane perpendicular to $\alpha$.
4. (Integrality) If $\alpha$ and $\beta$ are roots in $\Phi$, then the projection of $\beta$ onto the line through $\alpha$ is an integer or half-integer multiple of $\alpha$.

An equivalent way of writing conditions 3 and 4 is as follows:

3. For any two roots $\alpha ,\beta \in \Phi$, the set $\Phi$ contains the element $\sigma _{\alpha }(\beta ):=\beta -2{\frac {(\alpha ,\beta )}{(\alpha ,\alpha )}}\alpha \in \Phi .$
4. For any two roots $\alpha ,\beta \in \Phi$, the number $\langle \beta ,\alpha \rangle :=2{\frac {(\alpha ,\beta )}{(\alpha ,\alpha )}}$ is an integer.

Some authors only include conditions 1–3 in the definition of a root system. In this context, a root system that also satisfies the integrality condition is known as a crystallographic root system. Other authors omit condition 2; then they call root systems satisfying condition 2 reduced. In this article, all root systems are assumed to be reduced and crystallographic.

In view of property 3, the integrality condition is equivalent to stating that β and its reflection σ_α(β) differ by an integer multiple of α. Note that the operator

$\langle \cdot ,\cdot \rangle \colon \Phi \times \Phi \to \mathbb {Z}$

defined by property 4 is not an inner product. It is not necessarily symmetric and is linear only in the first argument.

Rank-2 root systems

Root system $A_{1}\times A_{1}$	Root system $D_{2}$
Root system $A_{2}$	Root system $G_{2}$
Root system $B_{2}$	Root system $C_{2}$

The rank of a root system Φ is the dimension of E. Two root systems may be combined by regarding the Euclidean spaces they span as mutually orthogonal subspaces of a common Euclidean space. A root system which does not arise from such a combination, such as the systems A₂, B₂, and G₂ pictured to the right, is said to be irreducible.

Two root systems (E₁, Φ₁) and (E₂, Φ₂) are called isomorphic if there is an invertible linear transformation E₁ → E₂ which sends Φ₁ to Φ₂ such that for each pair of roots, the number $\langle x,y\rangle$ is preserved.

The root lattice of a root system Φ is the Z-submodule of E generated by Φ. It is a lattice in E.

 Weyl group

المقالة الرئيسية: Weyl group

The Weyl group of the $A_{2}$ root system is the symmetry group of an equilateral triangle

 Weyl chambers and the Weyl group

انظر أيضاً: Coxeter group § Affine Coxeter groups

The shaded region is the fundamental Weyl chamber for the base $\{\alpha _{1},\alpha _{2}\}$

 E₆, E₇, E₈

72 vertices of 122 represent the root vectors of E6 (Green nodes are doubled in this E6 Coxeter plane projection)	126 vertices of 231 represent the root vectors of E7	240 vertices of 421 represent the root vectors of E8

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

 انظر أيضاً

• ADE classification
• Affine root system
• Coxeter–Dynkin diagram
• Coxeter group
• Coxeter matrix
• Dynkin diagram
• root datum
• Semisimple Lie algebra
• Weights in the representation theory of semisimple Lie algebras
• Root system of a semi-simple Lie algebra
• Weyl group

 المراجع

• Adams, J.F. (1983), Lectures on Lie groups, University of Chicago Press, ISBN 0-226-00530-5 
• Bourbaki, Nicolas (2002), Lie groups and Lie algebras, Chapters 4–6 (translated from the 1968 French original by Andrew Pressley), Elements of Mathematics, Springer-Verlag, ISBN 3-540-42650-7 . The classic reference for root systems.
• Bourbaki, Nicolas (1998). Elements of the History of Mathematics. Springer. ISBN 3540647678.
• A.J. Coleman (Summer 1989), "The greatest mathematical paper of all time", The Mathematical Intelligencer 11 (3): 29–38, doi:10.1007/bf03025189 
• Hall, Brian C. (2015), Lie groups, Lie algebras, and representations: An elementary introduction, Graduate Texts in Mathematics, 222 (2nd ed.), Springer, ISBN 978-3319134666 
• Humphreys, James (1992). Reflection Groups and Coxeter Groups. Cambridge University Press. ISBN 0521436133.
• Humphreys, James (1972). Introduction to Lie algebras and Representation Theory. Springer. ISBN 0387900535.
• Killing, Die Zusammensetzung der stetigen endlichen Transformationsgruppen Mathematische Annalen, Part 1: Volume 31, Number 2 June 1888, Pages 252-290 doi:10.1007/BF01211904; Part 2: Volume 33, Number 1 March 1888, Pages 1–48 doi:10.1007/BF01444109; Part3: Volume 34, Number 1 March 1889, Pages 57–122 doi:10.1007/BF01446792; Part 4: Volume 36, Number 2 June 1890,Pages 161-189 doi:10.1007/BF01207837
• Kac, Victor G. (1994), Infinite dimensional Lie algebras .
• Springer, T.A. (1998). Linear Algebraic Groups, Second Edition. Birkhäuser. ISBN 0817640215.

 للاستزادة

• Dynkin, E. B. The structure of semi-simple algebras. (بالروسية) Uspehi Matem. Nauk (N.S.) 2, (1947). no. 4(20), 59–127.