nach oben

Erschienen in:

2011 | OriginalPaper | Buchkapitel

4. Groups, Lie Groups, and Lie Algebras

verfasst von : Nadir Jeevanjee

Erschienen in: An Introduction to Tensors and Group Theory for Physicists

Verlag: Birkhäuser Boston

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

Chapter 4 introduces abstract groups and Lie groups, which are a formalization of the notion of a physical transformation. The chapter begins with the definition of an abstract group along with examples, then specializes to a discussion of the groups that arise most often in physics, particularly the rotation group O(3) and the Lorentz group SO(3,1)_o. These groups are discussed in coordinates and in great detail, so that the reader gets a sense of what they look like in action. Then we discuss homomorphisms of groups, which allows us to make precise the relationship between the rotation group O(3) and its quantum-mechanical ‘double-cover’ SU(2). We then define matrix Lie groups and demonstrate how the so-called ‘infinitesimal’ elements of the group give rise to a Lie algebra, whose properties we then explore. We discuss many examples of Lie algebras in physics, and then show how homomorphisms of matrix Lie groups induce homomorphisms of their associated Lie algebras.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Tensors

Nächstes Kapitel Basic Representation Theory

You may recall having met GL(n,ℝ) at the end of Sect. 2.1. There we asked why it is not a vector space, and now we know—it is more properly thought of as a group!

Hence the term ‘iso-metry’ = ‘same length’.

We are glossing over some subtleties with this claim. See Example 4.17 for the full story.

In fact, the only reason for speaking of both “isometries” and “unitary operators” is that unitary operators act solely on inner product spaces, whereas isometries can act on spaces with non-degenerate Hermitian forms that are not necessarily positive-definite, such as ℝ⁴ with the Minkoswki metric.

Meaning that there exists a continuous map γ:[0,1]→GL(n,ℝ) such that γ(0)=I and γ(1)=R. In other words, there is a path of invertible matrices connecting R to I.

Such as Goldstein [6].

This fact can be understood geometrically: since orthogonal matrices preserve distances and angles, they should preserve volumes as well. As we learned in Example 3.27, the determinant measures how volume changes under the action of a linear operator, so any volume preserving operator should have determinant ±1. The sign is determined by whether or not the orientation is reversed.

One can actually think of the inversion as following or preceding the proper rotation, since −I commutes with all matrices.

It is worth noting that, in contrast to rotations, Lorentz transformations are pretty much always interpreted passively. A vector in ℝ⁴ is considered an event, and it does not make much sense to start moving that event around in spacetime (the active interpretation), though it does make sense to ask what a different observer’s coordinates for that particular event would be (passive interpretation).

Note that β is measured in units of the speed of light, hence the restriction −1<β<1.

See Problem 4.8.

See Problem 4.6.

See Problem 4.7 of this chapter, or consider the following rough (but correct) argument: ρ:SU(2)→O(3) as defined above is a continuous map, and so the composition

https://static-content.springer.com/image/chp%3A10.1007%2F978-0-8176-4715-5_4/MediaObjects/148999_1_En_4_Equah_HTML.gif

is also continuous. Since SU(2) is connected any continuous function must itself vary continuously, so det○ρ cannot jump between 1 and −1, which are its only possible values. Since \(\det(\rho (I))=1\), we can then conclude that \(\det(\rho(A))=1\) ∀A∈SU(2).

See Problem 4.7 again.

See Problem 4.8 again.

See Herstein [9] for a proof and nice discussion.

The necessary machinery being the theory of differentiable manifolds; in this context, a Lie group is essentially a group that is also a differentiable manifold. See Schutz [15] or Frankel [4] for very readable introductions for physicists, and Warner [18] for a systematic but terse account.

See Hall [8] for further information and references.

This is actually only true when X and Y commute; more on this later.

See any standard text on linear algebra and linear ODEs.

To be rigorous, we also need to note that \(\mathfrak {g}\) is closed in the topological sense, but this can be regarded as a technicality.

The size of a matrix X∈M _n(ℂ) is usually expressed by the Hilbert–Schmidt norm, defined as

https://static-content.springer.com/image/chp%3A10.1007%2F978-0-8176-4715-5_4/MediaObjects/148999_1_En_4_Equ67_HTML.gif

(4.67)

If we introduce the basis {E _ij} of M _n(ℂ) from Example 2.8, then we can identify M _n(ℂ) with \(\mathbb{C} ^{n^{2}}\), and then (4.67) is just the norm given by the standard Hermitian inner product.

See Hall [8] for a nice discussion and Varadarajan [17] for a complete proof.

The space of all traceless 2×2 complex matrices viewed as a complex vector space is denoted \(\mathfrak{sl}(2,\mathbb{C})\) without the ℝ subscript. In this case, the S _i suffice to form a basis. In this text, however, we will usually take Lie algebras to be real vector spaces, even if they naturally form complex vector spaces as well. You should be aware, though, that \(\mathfrak{sl}(2,\mathbb{C})\) is fundamental in the theory of complex Lie algebras, and so in the math literature the Lie algebra of SL(2,ℂ) is almost always considered to be the complex vector space \(\mathfrak{sl}(2,\mathbb{C})\) rather than the real Lie algebra \(\mathfrak{sl}(2,\mathbb{C})_{\mathbb{R}}\). We will have more to say about \(\mathfrak{sl}(2,\mathbb{C})\) in the Appendix.

There is a subtlety here: the vector space underlying \(\mathfrak{gl}(V)\) is of course just \(\mathcal{L}(V)\), so the difference between the two is just that one comes equipped with a Lie bracket, and the other is considered as a vector space with no additional structure.

A function is “infinitely differentiable” if it can be differentiated an arbitrary number of times. Besides the step function and its derivative, the Dirac delta ‘function’, most functions that one meets in classical physics and quantum mechanics are infinitely differentiable. This includes the exponential and trigonometric functions, as well as any other function that permits a power series expansion.

By this we mean infinite-dimensional, and usually requiring a basis that cannot be indexed by the integers but rather must be labeled by elements of ℝ or some other continuous set. You should recall from Sect. 3.7 that L ²(ℝ) was another such ‘huge’ vector space.

I.e. one-to-one and onto transformations which preserve the form of Hamilton’s equations. See Goldstein [6].

Let φ _g:P→P be the transformation of P corresponding to the group element g∈G. Then H is invariant under G if H(φ _g(p))=H(p) ∀p∈P, g∈G.

Under some mild assumptions. See Cannas [3] or Arnold [1], for example.

See Arnold [1] for a discussion of Noether’s theorem and a derivation of an equivalent formula.

Of course, this identification depends on a choice of basis, which was made when we chose to work with \({\mathcal{B}}=\{S_{1},S_{2},S_{3}\}\).

V.I. Arnold, Mathematical Methods of Classical Mechanics, 2nd ed., Springer, Berlin, 1989

A. Cannas Da Silva, Lectures on Symplectic Geometry, Lecture Notes in Mathematics 1764, Springer, Berlin, 2001

T. Frankel, The Geometry of Physics, 1st ed., Cambridge University Press, Cambridge, 1997

H. Goldstein, Classical Mechanics, 2nd ed., Addison-Wesley, Reading, 1980

B. Hall, Lie Groups, Lie Algebras and Representations: An Elementary Introduction, Springer, Berlin, 2003

I. Herstein, Topics in Algebra, 2nd ed., Wiley, New York, 1975

10.

K. Hoffman and D. Kunze, Linear Algebra, 2nd ed., Prentice Hall, New York, 1971

15.

B. Schutz, Geometrical Methods of Mathematical Physics, Cambridge University Press, Cambridge, 1980

17.

V.S. Varadarajan, Lie Groups, Lie Algebras and Their Representations, Springer, Berlin, 1984

18.

F. Warner, Foundations of Differentiable Manifolds and Lie Groups, Springer, Berlin, 1979

Titel: Groups, Lie Groups, and Lie Algebras
verfasst von: Nadir Jeevanjee
Verlag: Birkhäuser Boston
Buch: An Introduction to Tensors and Group Theory for Physicists
Print ISBN: 978-0-8176-4714-8

Electronic ISBN: 978-0-8176-4715-5

Copyright-Jahr: 2011
DOI: https://doi.org/10.1007/978-0-8176-4715-5_4

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner