Άλγεβρα Lie

Άλγεβρα Lie

Lie Algebra

Άλγεβρα Lie

Άλγεβρα Lie

---

Lie group is an analytic manifold with a group structure such that the group operations are analytic. Lie groups arise in a natural way as transformation groups of geometric objects. The tangent space g at the identity element of a Lie group G has a rule of composition (X,Y)→[X,Y] derived from the bracket operation on the left invariant vector fields on G. The vector space g with this rule of composition is called the Lie algebra of G. The structures of g and G are related by the exponential mapping exp: g → G which sends straight lines through the origin in g onto one-parameter subgroups of G (see Fig 1). The power of using Lie algebra, due to its linearity, the object moves along a geodesic without deforming its shape.

Άλγεβρα Lie
Ομάδα Lie

---

Representation of the relation between the Lie group and the Lie algebra. The Lie algebra (red plane) is the tangent space to the Lie group's manifold (here represented as a blue sphere) at the identity. Through the exponential map, each straight path through the origin on the Lie algebra produces a path over the manifold which runs along the respective geodesic. Conversely, each element of the group has an equivalent in the Lie algebra. This relation is so profound that (nearly) all operations in the group, which is curved and nonlinear, have an exact equivalent in the Lie algebra, which is a linear vector space. Though the sphere in R^3 is not a Lie group (we just use it as a representation that can be drawn on paper), that in R^4 is, and describes the group of unit quaternions.

Άλγεβρα Lie
σκελετός

Ομαδοθεωρία

---

Αλγεβρική Ομάδα
Γενική Γραμμική Ομάδα
Ορθογώνια Ομάδα
Μοναδιακή Ομάδα

---

Μαθηματική Αναπαράσταση
Μαθηματική Μήτρα

- Ένα Μαθηματικό Δόμημα.

Ετυμολογία

Η ονομασία "Άλγεβρα Lie" σχετίζεται ετυμολογικά με το όνομα "Lie".

Εισαγωγή

In mathematics, a Lie algebra (pronounced "Lee") is a vector space $\mathfrak g$ over a field F together with a non-associative, alternating bilinear map $\mathfrak g \times \mathfrak g \rightarrow \mathfrak g; (x, y) \mapsto [x, y]$, called the Lie bracket, satisfying the Jacobi identity.

Lie algebras are closely related to Lie groups, which are groups that are also smooth manifolds, with the property that the group operations of multiplication and inversion are smooth maps. Any Lie group gives rise to a Lie algebra.

Conversely, to any finite-dimensional Lie algebra over real or complex numbers, there is a corresponding connected Lie group unique up to covering (Lie's third theorem). This correspondence between Lie groups and Lie algebras allows one to study Lie groups in terms of Lie algebras.

Lie algebras were so termed by Hermann Weyl after Sophus Lie in the 1930s. In older texts, the name infinitesimal group is used.

History

Lie algebras were introduced to study the concept of infinitesimal transformations by Lie in the 1870s, and independently discovered by Wilhelm Killing in the 1880s.

Definitions

A Lie algebra is a vector space $\mathfrak g$ over some field F allows more generally for a module over a commutative ring together with a binary operation $[\cdot,\cdot]: \mathfrak{g}\times\mathfrak{g}\to\mathfrak{g}$ called the Lie bracket that satisfies the following axioms:

• Bilinearity,

$[a x + b y, z] = a [x, z] + b [y, z], \quad [z, a x + b y] = a[z, x] + b [z, y]$

for all scalars a, b in F and all elements x, y, z in $\mathfrak g$.

• Alternativity,

$[x,x]=0\$

for all x in $\mathfrak g$.

• The Jacobi identity,

$[x,[y,z]] + [z,[x,y]] + [y,[z,x]] = 0 \$

for all x, y, z in $\mathfrak g$.

Using bilinearity to expand the Lie bracket $[x+y,x+y]$ and using alternativity shows that $[x,y] + [y,x]=0\$ for all elements x, y in $\mathfrak g$, showing that bilinearity and alternativity together imply

• Anticommutativity,

$[x,y] = -[y,x],\$

for all elements x, y in $\mathfrak g$. If the field's characteristic is not 2 then anticommutativity implies alternativity.

It is customary to express a Lie algebra in lower-case fraktur, like $\mathfrak g$. If a Lie algebra is associated with a Lie group, then the spelling of the Lie algebra is the same as that Lie group. For example, the Lie algebra of SU(n) is written as $\mathfrak{su}(n)$.

Generators and dimension

Elements of a Lie algebra $\mathfrak g$ are said to be generators of the Lie algebra if the smallest subalgebra of $\mathfrak g$ containing them is $\mathfrak g$ itself.

The dimension of a Lie algebra is its dimension as a vector space over F.

The cardinality of a minimal generating set of a Lie algebra is always less than or equal to its dimension.

Εσωτερική Αρθρογραφία

• Ομάδα
• Ομαδοθεωρία
• Ορθογώνια Ομάδα
• Μοναδιακή Ομάδα
• Ετεροτική Ομάδα
• Αναπαράσταση
• Μήτρα
• Μεταθετική Άλγεβρα

Ιστογραφία

Ομώνυμο άρθρο στην Βικιπαίδεια 

• Ομώνυμο άρθρο στην Livepedia
• math.upenn.edu
• Geometric Particle Filter
• Representation of the relation between the Lie group and the Lie algebra
• How is a Lie Algebra able to describe a Group

Κίνδυνοι Χρήσης

Αν και θα βρείτε εξακριβωμένες πληροφορίες σε αυτήν την εγκυκλοπαίδεια ωστόσο, παρακαλούμε να λάβετε σοβαρά υπ' όψη ότι η "Sciencepedia" δεν μπορεί να εγγυηθεί, από καμιά άποψη, την εγκυρότητα των πληροφοριών που περιλαμβάνει. "Οι πληροφορίες αυτές μπορεί πρόσφατα να έχουν αλλοιωθεί, βανδαλισθεί ή μεταβληθεί από κάποιο άτομο, η άποψη του οποίου δεν συνάδει με το "επίπεδο γνώσης" του ιδιαίτερου γνωστικού τομέα που σας ενδιαφέρει." Πρέπει να λάβετε υπ' όψη ότι όλα τα άρθρα μπορεί να είναι ακριβή, γενικώς, και για μακρά χρονική περίοδο, αλλά να υποστούν κάποιο βανδαλισμό ή ακατάλληλη επεξεργασία, ελάχιστο χρονικό διάστημα, πριν τα δείτε. Επίσης, Οι διάφοροι "Εξωτερικοί Σύνδεσμοι (Links)" (όχι μόνον, της Sciencepedia αλλά και κάθε διαδικτυακού ιστότοπου (ή αλλιώς site)), αν και άκρως απαραίτητοι, είναι αδύνατον να ελεγχθούν (λόγω της ρευστής φύσης του Web), και επομένως είναι ενδεχόμενο να οδηγήσουν σε παραπλανητικό, κακόβουλο ή άσεμνο περιεχόμενο. Ο αναγνώστης πρέπει να είναι εξαιρετικά προσεκτικός όταν τους χρησιμοποιεί.

- Μην κάνετε χρήση του περιεχομένου της παρούσας εγκυκλοπαίδειας
αν διαφωνείτε με όσα αναγράφονται σε αυτήν

---

>>Διαμαρτυρία προς την wikia<<

- Όχι, στις διαφημίσεις που περιέχουν απαράδεκτο περιεχόμενο (άσεμνες εικόνες, ροζ αγγελίες κλπ.)

---