Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

From Simple Groups to Quantum Field Theory

  1. Jul 13, 2006 #1
    [tex]U = e^{\frac{1}{2} B} = \cos(\frac{1}{2} \theta) + b \sin(\frac{1}{2} \theta)[/tex]
    we can then write:
    [tex]U = e^{\frac{1}{2} \theta b} = \cos(\frac{1}{2} \theta) + b \sin(\frac{1}{2} \theta)[/tex]
    And if we rely on Joe's expression, [itex]r=\frac{\theta}{2}[/itex] (rotor angle is always half the rotation):
    [tex]U = e^{br} = \cos(r) + b \sin(r)[/tex]
    [tex]\begin{align*}U=e^T & = I \left(1 - \frac{1}{2!}r^2 + \frac{1}{4!}r^4 - \frac{1}{6!}r^6 + \dots\right) + T \left(1 - \frac{1}{3!}r^2 + \frac{1}{5!}r^4 - \frac{1}{7!}r^6 + \dots \right) \\ & = I \cos(r) + \frac{1}{r} T \sin(r)\end{align*}[/tex]
    we can therefore see that [itex]br = T[/itex]
    then : [itex]b = \frac{T}{r}[/itex]
    We have then Joe's expression :
    [tex]U = e^{T} = \cos(r) + \frac{T}{r} \sin(r)[/tex]

    And from [itex]bb=-1[/itex] we can deduce:

    and therefore [itex]TT =-r^2 I[/itex] (result defined by the joe previously)
    Last edited: Jul 13, 2006
  2. jcsd
  3. Jul 15, 2006 #2
    Relation between su(2) generators and Euler's formula in complex analysis.

    Euler's formula states that, for any real number x, [tex]e^{ix} = cos(x) + i sin(x)[/tex]
    If however x is a Pauli matrix, Euler's formula becomes :
    [tex]e^{i\sigma} = cos(\sigma) + i sin(\sigma)[/tex] being understood that [tex](\sigma_i)^2=1[/tex]
    Pauli matrices [tex]T= i \sigma[/tex] form a basis for su(2) over R.
    The matrices T could also be called generators of the Lie algebra su(2).
    And the Euler's formula becomes then:
    [tex]e^T = cos(\sigma) + \frac{T}{\sigma} sin(\sigma)[/tex]

    To every Lie group, we can associate a Lie algebra, whose underlying vector space is the tangent space of G at the identity element. But how to construct a Lie group from a Lie algebra ?
    Answer: The most general elements U of the group SU(2) can be obtained by exponentiating the generators of the algebra su(2).
    [tex]U = e^T = I cos(\sigma) + \frac{T}{\sigma} sin(\sigma)[/tex]
    Last edited: Jul 16, 2006
  4. Jul 18, 2006 #3
    The permutation symbol [tex] \epsilon_{ijk} [/tex] is a three-index object sometimes called the Levi-Civita symbol.
    [tex] \epsilon_{ijk}=0 [/tex] if i=j or j=k or i=k
    [tex] \epsilon_{ijk}=+1[/tex] if (i,j,k) \in {(1,2,3),(2,3,1),(3,1,2)}
    [tex] \epsilon_{ijk}=-1 [/tex] if (i,j,k) \in {(1,3,2),(3,2,1),(2,1,3)}

    The symbol can be defined as the scalar triple product of unit vectors in a right-handed coordinate system: [tex] \epsilon_{ijk} \equiv \vec{x}_i . (\vec{x}_j \times \vec{x}_k) [/tex]

    The symbol [tex] \epsilon_{ijk} [/tex] can be generalized to an arbitrary number of elements, in which case the permutation symbol is [tex] (-1)^{i(p)} [/tex] , where i(p) is the number of transpositions of pairs of elements that must be composed to build up the permutation p.

    The permutation symbol satisfies
    [tex] \delta_{ij}\epsilon_{ijk} = 0 [/tex]
    [tex] \epsilon_{ipq}\epsilon_{jpq} = 2\delta_{ij} [/tex]
    [tex] \epsilon_{ijk}\epsilon_{ijk} = 6 [/tex]
    [tex] \epsilon_{ijk}\epsilon_{pqk} = \delta_{ip}\delta_{iq}-\delta_{iq}\delta_{jp}[/tex]
    where [tex] \delta_{ij} [/tex] is the Kronecker delta
    Last edited: Jul 18, 2006
  5. Jul 18, 2006 #4
    The simplest interpretation of the Kronecker delta is as the discrete version of the delta function defined by
    [tex] \delta_{ij}=0 [/tex] for i and j different
    [tex] \delta_{ij}=1 [/tex] for i = j

    In three-space, the Kronecker delta satisfies the identities
    [tex] \delta_{ii} = 3 [/tex]
    [tex] \delta_{ij}\epsilon_{ijk} = 0 [/tex]
    [tex] \epsilon_{ipq}\epsilon_{jpq} = 2\delta_{ij} [/tex]
    [tex] \epsilon_{ijk}\epsilon_{pqk} = \delta_{ip}\delta_{iq}-\delta_{iq}\delta_{jp}[/tex]

    where Einstein summation is implicitly assumed (i,j = 1,2,3...)

    Technically, the Kronecker delta is a mixed second-rank tensor defined by the relationship
    [tex] \delta^{i}_{j} = \frac{\partial x_i}{\partial x_ j}[/tex]
    Since the coordinates [tex] x_i [/tex] and [tex] x_ j [/tex] are independent for i not equal to j, and therefore :

    [tex] \delta^{i}_{j} = \frac{\partial x_i}{\partial x_ k} \frac{\partial x_l}{\partial x_ j} \delta^{k}_{l} [/tex]

    The [tex] n \times n [/tex] identity matrix [tex] I [/tex] can be written in terms of the Kronecker delta as simply the matrix of the delta, [tex] I_{ij} = \delta_{ij} [/tex] , or simply [tex] I = (\delta_{ij}) [/tex].

    The generalized Kronecker is defined however by:
    [tex] \delta^{jk}_{ab}=\epsilon_{abi}\epsilon^{jki} = \delta^{j}_{a}\delta^{k}_{b}-\delta^{k}_{a}\delta^{j}_{b}[/tex]
    [tex] \delta_{abjk}= g_{aj}g_{bk}-g_{ak}g_{bj}[/tex]
    [tex] \epsilon_{aij}\epsilon^{bij} = \delta^{bi}_{ai} = 2 \delta^{b}_{a}[/tex]

    Actually, the generalized Kronecker delta could also be writen as as a determinant :

    [tex] \delta^{i_1.....i_k}_{j_1....j_k} = \sum & \mbox{ sign } & \tau \delta^{i_\tau_1)}_{j_1}.....\delta^{i_\tau_k}_{j_k}[/tex]

    [tex] = & \mbox{ det} & \left[\begin{array}{ccc}\delta^{i_1}_{j_1} & \mbox{ .... } & \delta^{i_k}_{j_1} \\ \mbox{ .... } & \mbox{ .... } & \mbox{ .... } \\ \delta^{i_1}_{j_k} & \mbox{ .... } & \delta^{i_k}_{j_k} \end{array}\right][/tex]
    Last edited: Jul 18, 2006
  6. Jul 19, 2006 #5
    Under summation convention, [tex] \delta_{ij} \mbox{ A_j } = \mbox{ A_i }[/tex]

    The cross product [tex] C = A \times B[/tex] can be written : [tex] C_i = \epsilon_{ijk}A_j B_k[/tex]

    The curl of A is : [tex] (\nabla \times A)_i = \epsilon_{ijk} \frac{\partial A_k}{\partial x_ j} [/tex]

    Orthonormality property : [tex] e_i . e_j = \delta_{ij}[/tex]
    Last edited: Jul 19, 2006
  7. Jul 20, 2006 #6
    Different kinds of Derivatives (extracted from Wikipedia, the free encyclopedia)

    The derivative is often defined as the instantaneous rate of change of a function.
    The simplest type of derivative is the derivative of a real-valued function of a single real variable; the derivative gives then the slope of the tangent to the graph of the function at a point or provides a mathematical formulation of rate of change.

    A partial derivative of a function of several variables is its derivative with respect to one of the variables with the others held constant.

    The total derivative however, all variables are allowed to vary.

    For real valued functions from [tex]R^n[/tex] to R, the total derivative is often called the gradient. An intuitive interpretation of the gradient is that it points "up": in other words, it points in the direction of fastest increase of the function. It can be used to calculate directional derivatives of scalar functions or normal directions.

    Several linear combinations of partial derivatives are especially useful in the context of differential equations defined by a vector valued function [tex]R^n \rightarrow R^n[/tex]. The divergence gives a measure of how much "source" or "sink" near a point there is. It can be used to calculate flux by divergence theorem. The curl measures how much "rotation" a vector field has near a point.

    The other forms of derivatives will be studied individually and more extensively : Directional derivatives, Lie derivative, lie brackets, Lie bracket, Exterior derivative, Covariant derivative, Jacobian matrix, pushforward.

    There is ever more other forms of derivatives that will not be studied here : Fréchet derivative, Gâteaux derivative, Exterior covariant derivative, Radon-Nikodym derivative, Kähler differential...
    Last edited: Jul 20, 2006
  8. Jul 24, 2006 #7
    Chain Rule & Derivative

    [tex] \frac{d}{dx} (u \mbox{ o } v) = \frac{dv}{dx}( \frac{du}{dx} \mbox{ o } v) [/tex]

    [tex] D( g \mbox{ o } f)(x) = D(g)(f(x)) \mbox{ o } D(f)(x) [/tex]

    [tex] \frac{du}{dx} = \frac{\frac{du}{dv}}{\frac{dx}{dv}} = \frac{du}{dv} \frac{dv}{dx} [/tex]
    Last edited: Jul 25, 2006
  9. Jul 24, 2006 #8
    Derivative of the Exponential and Logarithmic functions

    [tex] \frac{d}{dx} (ln(u)) = \frac{1}{u} \frac{du}{dx} [/tex]

    Because [tex] log_a(x) = \frac{ln(x)}{ln(a)} [/tex] we have however [tex] \frac{d}{dx} (log_a(u)) = \frac{1}{\mbox{ ln(a) u }} \frac{du}{dx} [/tex]

    [tex] \frac{d}{dx} (e^u) = e^u \frac{du}{dx} [/tex]

    [tex] \frac{d}{dx} (a^u) = ln (a)a^u \frac{du}{dx} [/tex]

    [tex] \frac{d}{dx} (u^v) = \frac{d}{dx} (e^{\mbox{v ln(u)}}) = e^{\mbox{v ln(u)} }} \frac{du}{dx} (\mbox{v ln(u)}) = v u^{v-1} \frac{du}{dx} \mbox{ + } u^v ln(u) \frac{dv}{dx}[/tex]
    Last edited: Jul 24, 2006
  10. Jul 25, 2006 #9
    The derivative at a point could be seen as a linear approximation of a function at that point.

    For example, if for a given differentiable function f of one real variable, Taylor's theorem near the point a is :

    [tex] f(x) = f(a) + \frac{f^{(1)}(a)}{1!} (x-a) + \frac{f^{(2)}(a)}{2!} (x-a)^2 + \frac{f^{(3)}(a)}{3!} (x-a)^3 +....+ \frac{f^{(n)}(a)}{n!} (x-a)^n + R_n[/tex]

    When n=1, Taylor's theorem simply becomes :

    [tex] f(x) = f(a) + \frac{f^{(1)}(a)}{1!} (x-a) + R_n[/tex]

    The linear approximation is then obtained by dropping the remainder:

    [tex] f(x) \approx f(a) + f^{(1)}(a) (x-a)[/tex]

    This process could therefore also be called the tangent line approximation.
    The function f is then approximated by a tangent line, fact which remaind us that in differential geometry, one can attach tangent vectors to every point p of a differentiable manifold.

    We can also use linear approximations for vector functions of vector variables, in which case [tex] f^{(1)}(a) [/tex] is the Jacobian matrix [tex] J_f(a)[/tex]. The approximation is then the equation of a tangent line, plane, or hyperplane...

    [tex] f(x) \approx f(a) + J_f(a) \mbox{.} (x-a)[/tex]

    In the more general case of Banach spaces, one has

    [tex] f(x) \approx f(a) + Df(a) (x-a)[/tex]

    where Df(a) is the Fréchet derivative of f at a.
    Last edited: Jul 25, 2006
  11. Jul 25, 2006 #10
    Fréchet & Gâteaux derivative (mostly from Wikipedia, the free encyclopedia)

    A Fréchet derivative is a derivative defined on Banach spaces.

    If a function f is Fréchet differentiable at a point a, then its Fréchet derivative is :

    [tex] Df(a) : R^n \rightarrow R^m \mbox{ with } Df(a)(v) = J_f(a) v[/tex]

    where [tex] J_f(a)[/tex] denotes the Jacobian matrix of f at a

    Furthermore, the partial derivatives of f are given by :

    [tex] \frac{\partial f}{\partial x_i} (a) = Df(a)(e_i) = J_f(a) e_i[/tex]

    where [itex] e_i [/itex] are the canonical basis of [tex] R^n[/tex].

    Since Fréchet derivative is a linear function, the directional derivative of the function f along vector h is given by :

    [tex] Df(a)(h) = \sum h_i \frac{\partial f}{\partial x_i} (a) [/tex]

    That bring us naturally to Gâteaux derivative which is a generalisation of the concept of directional derivative (see functional derivatives for more details).
    A Gâteaux derivative could sometimes be a Fréchet differentive but unlike the other forms of derivatives, the Gâteaux derivative is not linear.
    Last edited: Jul 25, 2006
  12. Jul 25, 2006 #11
    Jacobian matrix

    The Jacobian matrix is a matrix which elements are first-order partial derivatives of a vector-valued function.
    It represents a linear approximation to a differentiable function near a given point.

    Suppose [tex]F \mbox{ : } R^n \rightarrow R^m[/tex] is a function.
    Jacobian matrix of F is :

    [tex]J_F(x_1, ... , x_n) = \frac{\partial (y_1, ... , y_m)}{\partial (x_1, ... , x_n)} = \left[\begin{array}{ccc}\frac{\partial (y_1)}{\partial (x_1)} & \mbox{ .... } & \frac{\partial (y_1)}{\partial (x_n)} \\ \mbox{ .... } & \mbox{ .... } & \mbox{ .... } \\ \frac{\partial (y_m)}{\partial (x_1)}& \mbox{ .... } & \frac{\partial (y_m)}{\partial (x_n)}\end{array}\right][/tex]

    The determinant of [tex]J_F[/tex] is the Jacobian determinant [tex] \mid J_F \mid [/tex]

    [tex]| J_F(x_1, ... , x_n) | = det ( \frac{\partial (y_1, ... , y_m)}{\partial (x_1, ... , x_n) ) = \left | \begin{array}{ccc}\frac{\partial (y_1)}{\partial (x_1)} & \mbox{ .... } & \frac{\partial (y_1)}{\partial (x_n)} \\ \mbox{ .... } & \mbox{ .... } & \mbox{ .... } \\ \frac{\partial (y_m)}{\partial (x_1)}& \mbox{ .... } & \frac{\partial (y_m)}{\partial (x_n)}\end{array}\right |[/tex]
    Last edited: Jul 25, 2006
  13. Jul 31, 2006 #12
    Examples involving the Jacobian determinant [tex] \mid J_F \mid [/tex]

    We'll begin by looking first at an example which show how a definite integral is affected by a change of variables.
    Suppose we want to evaluate the definite integral [itex] \int^{a}_{b} f(u) du [/itex]

    [tex] \int^{a}_{b} f(u) du = \int^{c}_{d} f(u(x)) \frac{du}{dx}dx [/tex]

    We see that the endpoints are changed and there is a new factor [itex] \frac{du}{dx} [/itex].
    It can also be written [itex] du=\frac{du}{dx}dx [/itex]

    The new factor [itex] \frac{du}{dx} [/itex] is a partial derivative which can then be considered as a [itex] 1 \times 1 [/itex] Jacobian matrix [tex] J_{u(x)} [/tex].

    Often, because the limits of integration are not easily interchangeable one makes a change of variables to rewrite the integral on a different region of integration. To do that, the function must be changed to the new coordinates (i.e. Passage from cartesian to polar coordinates).

    As an example, let's consider a domaine [itex] D = (x^2+y^2 \leq 9, x^2+y^2 \geq 4, y \geq 0) [/itex] , that is the circular crown in the semiplane of positive y. Therefore the transformed domain will be the following rectangle:
    [tex] T = (2 \geq \rho \leq 3, 0 \geq \phi \leq \pi) [/tex]

    The Jacobian determinant of that transformation is the following:

    [tex]| J_{f(x,y)} | = det | \frac{\partial (x,y)}{\partial (\rho, \phi) }| = \left | \begin{array}{ccc} cos(\phi) & - \rho sin(\phi) \\ sin(\phi) & \rho cos(\phi)\end{array}\right | = \rho [/tex]

    which has been got by inserting the partial derivatives of [tex] x = \rho cos(\phi) [/tex] and [tex] y = \rho sin(\phi) [/tex]

    It's then possible to define the integral for the change of variables in polar coordinates:

    [tex] \int \int_{D} f(x,y) dx dy = \int \int_{T} f(\rho cos(\phi),\rho sin(\phi)) \mbox{ det( J_{f(x,y)} ) } d \rho d \phi) = \int \int_{T} f(\rho cos(\phi),\rho sin(\phi)) \mbox{ \rho } d \rho d \phi) [/tex]
    Last edited: Aug 1, 2006
  14. Aug 1, 2006 #13
    Differential forms

    A differential 0-form on [itex]R^3[/itex] is a scalar function [tex]w \mbox{ : } D \rightarrow R^3[/tex] of class [itex]C^1[/itex] on a domain D in [itex]R^3[/itex].

    A differential 1-form on [itex]R^3[/itex] is an expression of the form

    [tex]w = Adx + Bdy + Cdz [/tex]

    where [tex] F(A(x,y,z),B(x,y,z),C(x,y,z)) \mbox{ : } D \rightarrow R^3[/tex] is a vector field on a domain D in [itex]R^3[/itex] for which the functions A,B,C belong to class [itex]C^1[/itex].
    [itex] F(A(x,y,z),B(x,y,z),C(x,y,z))[/itex] could be also written [itex]F(a_i)[/itex] if [itex](a_1)=A(x_i)[/itex], [itex](a_2)=B(x_i),...[/itex].

    The differential 1-form could then be written [itex] w = \sum a_i dx_i [/itex] or simply [itex] w = a_i dx^i [/itex]

    A differential 2-form on [itex]R^3[/itex] is an expression of the form

    [tex]w = Ady \wedge dz + Bdz \wedge dx + Cdx \wedge dy [/tex]

    where [tex] F(A(x,y,z),B(x,y,z),C(x,y,z)) \mbox{ : } D \rightarrow R^3[/tex] is a vector field on a domain D in [itex]R^3[/itex] for which the functions A,B,C belong to class [itex]C^1[/itex].

    If [itex]\alpha[/itex] and [itex]\beta[/itex] two 1-forms:

    [itex]\alpha = f_1 dx^1 + f_2 dx^2 [/itex] and [itex]\beta = g_1 dx^1 + g_2 dx^2[/itex]

    [tex]\alpha \wedge \beta = (f_1 dx^1 + f_2 dx^2 ) \wedge (g_1 dx^1 + g_2 dx^2)[/tex]
    [tex]= f_1g_2 dx^1 \wedge dx^2 \mbox{+} f_2g_1 dx^2\wedge dx^1[/tex]
    [tex] = f_1g_2 dx^1 \wedge dx^2 \mbox{-} f_2g_1 dx^1\wedge dx^2[/tex]
    [tex]= (f_1g_2 \mbox{ - } f_2g_1) dx^1\wedge dx^2[/tex]
    [tex]= \left | \begin{array}{ccc} f_1 & f_2 \\ g_1 & g_2 \end{array}\right | \mbox{ } dx^1\wedge dx^2[/tex]

    [tex] \alpha \wedge \beta = \sum_{i < j} (f_i g_j \mbox{ - } f_j g_i) dx^i \wedge dx^j [/tex]

    A differential k-form could be written

    [tex] \xi = \sum a_{i_1 ... i_k} (x) dx^{i_1} \wedge .... \wedge dx^{i_k} [/tex]

    [tex] \gamma = \sum a_{i_1 ... i_j} (x) dx^{i_1} \wedge .... \wedge dx^{i_j} [/tex]

    [tex] \xi \wedge \gamma = \sum a_{i_1 ... i_k} (x) b_{i_1 ... i_j} (x) dx^{i_1} \wedge .... \wedge dx^{i_{k+j}} [/tex]

    which is differential (k+j)-form.

    The coefficients of a differential n-form change under a change of basis by multiplication by the Jacobian.
    If w is a differential n-form

    [tex] \omega = \omega (x) dx^1 \wedge .... \wedge dx^n [/tex]

    then if [itex] \bar{x^i} [/itex] are new coordinates for x, then, in these new coordinates

    [tex] \omega = \omega (x) J \mbox{ } d \bar{x^1} \wedge .... \wedge d \bar{x^n} [/tex]

    where [tex] J = \frac{ \partial x^i }{ \partial \bar{x^j} } [/tex]
    Last edited: Aug 1, 2006
  15. Aug 1, 2006 #14
    Now if F and G are a 0-form, [itex] \alpha [/itex] and [itex] \beta [/itex] could be written:

    [tex] \alpha = dF = \frac{\partial F}{\partial x^1} dx^1 + \frac{\partial F}{\partial x^2} dx^2 [/tex]
    [tex] \beta = dG = \frac{\partial G}{\partial x^1} dx^1 + \frac{\partial G}{\partial x^2} dx^2 [/tex]

    [tex] dF \wedge dG = (\frac{\partial F}{\partial x^1} dx^1 + \frac{\partial F}{\partial x^2} dx^2) \wedge (\frac{\partial G}{\partial x^1} dx^1 + \frac{\partial G}{\partial x^2} dx^2 ) [/tex]

    [tex] = (\frac{\partial F}{\partial x^1} \frac{\partial G}{\partial x^2} ) dx^1 \wedge dx^2 \mbox{ - } (\frac{\partial F}{\partial x^2} \frac{\partial G}{\partial x^1} ) dx^1 \wedge dx^2 [/tex]

    [tex] = ( \frac{\partial F}{\partial x^1} \frac{\partial G}{\partial x^2} \mbox{ - } \frac{\partial F}{\partial x^2} \frac{\partial G}{\partial x^1} ) dx^1 \wedge dx^2 [/tex]

    [tex] = | \frac{\partial (F,G)}{\partial (x^1,x^2) }| dx^1 \wedge dx^2 [/tex]

    The 2-form [itex] dF \wedge dG [/itex] has then be converted to [itex]dx^1dx^2-coordinates[/itex].

    [tex] dF \wedge dG = | \frac{\partial (F,G)}{\partial (x^1,x^2) }| dx^1 \wedge dx^2 [/tex]
    Last edited: Aug 1, 2006
  16. Aug 3, 2006 #15
    The exterior derivative of a k-differential form

    [tex] d \xi = \sum_{i_1 < i_k} d a_{i_1 ... i_k} (x) dx^{i_1} \wedge .... \wedge dx^{i_k} [/tex]

    [tex] d \xi = \sum_{i_1 < i_k} d a_{i_1 ... i_k} (x) \wedge dx^{i_1} \wedge .... \wedge dx^{i_k} [/tex]


    [tex] w = \sum_i f_i dx_i [/tex]

    [tex] w = b_1(x_1,x_2) dx_1 + b_2(x_1,x_2) dx_2[/tex]

    [tex] dw = db_1(x_1,x_2) dx_1 + db_2(x_1,x_2) dx_2[/tex]

    [tex] dw = db_1(x_1,x_2) \wedge dx_1 + db_2(x_1,x_2) \wedge dx_2[/tex]

    [tex] dw = (\frac{\partial b_1}{\partial x^1} dx_1 + \frac{\partial b_1}{\partial x^2} dx_2) \wedge dx_1 + (\frac{\partial b_2}{\partial x^1} dx_1 + \frac{\partial b_2}{\partial x^2} dx_2) \wedge dx_2 [/tex]
    Last edited: Aug 3, 2006
  17. Aug 4, 2006 #16
    [tex] dw = (\frac{\partial b_1}{\partial x^1} dx_1 + \frac{\partial b_1}{\partial x^2} dx_2) \wedge dx_1 + (\frac{\partial b_2}{\partial x^1} dx_1 + \frac{\partial b_2}{\partial x^2} dx_2) \wedge dx_2 [/tex]

    [tex] dw = (\frac{\partial b_1}{\partial x^1} dx_1 \wedge dx_1 + \frac{\partial b_1}{\partial x^2} dx_2 \wedge dx_1) + (\frac{\partial b_2}{\partial x^1} dx_1 \wedge dx_2 + \frac{\partial b_2}{\partial x^2} dx_2 \wedge dx_2 ) [/tex]

    [tex] dw = \frac{\partial b_1}{\partial x^2} dx_2 \wedge dx_1 + \frac{\partial b_2}{\partial x^1} dx_1 \wedge dx_2 [/tex]

    [tex] dw = - \frac{\partial b_1}{\partial x^2} dx_1 \wedge dx_2 + \frac{\partial b_2}{\partial x^1} dx_1 \wedge dx_2 [/tex]

    [tex] dw = \frac{\partial b_2}{\partial x^1} dx_1 \wedge dx_2 - \frac{\partial b_1}{\partial x^2} dx_1 \wedge dx_2[/tex]

    [tex] dw = ( \frac{\partial b_2}{\partial x^1} - \frac{\partial b_1}{\partial x^2} ) dx_1 \wedge dx_2 [/tex]
    Last edited: Aug 4, 2006
  18. Aug 6, 2006 #17
    A differential k-form should be written

    [tex] \omega = \sum_{i_1 < i_k} a_{i_1 ... i_k} (x^m) dx^{i_1} \wedge .... \wedge dx^{i_k} [/tex]

    The term [tex] i_1 < i_k [/tex] is very important.

    It could however also be written without [tex] \sum_{i_1 < i_k} [/tex].
    The new representation use the convenience of the summation convention.

    [tex] \omega = \frac{1}{k!} a_{i_1 ... i_k} (x^m) dx^{i_1} \wedge .... \wedge dx^{i_k} [/tex]

    We can see that the term [tex] \frac{1}{k!} [/tex] arises in this alternative way of writing a differential k-form in order to show clearly that we do not repeat k! times each term [tex] a_{i_1 ... i_k} (x^m) [/tex].
    Last edited: Aug 6, 2006
  19. Aug 7, 2006 #18
    Exterior algebra is the algebra of the exterior product [tex] \wedge [/tex], also called an alternating algebra or Grassmann algebra.

    with the properties (if [itex] \omega [/itex] and [itex] \gamma [/itex] differential forms )

    [tex] \omega \wedge \omega = 0 [/tex]

    [tex] \omega \wedge \gamma = \mbox{ - } \gamma \wedge \omega [/tex]

    Exterior algebra of a given vector space V over a field K is denoted by Λ(V) or Λ*(V).

    The exterior algebra can be written as the direct sum of each of the k-th powers:

    [tex] \bigwedge (V) = \bigoplus^{ n }_{k=0} \bigwedge^{k} V [/tex]


    [itex] \bigwedge (V) = \bigwedge^{0} V \bigoplus \bigwedge^{1} V \bigoplus ... \bigoplus \bigwedge^{k} V [/itex]

    where [itex] \bigwedge^{0} V = k [/itex] and [itex] \bigwedge^{1} V = V [/itex]

    The dimension of [itex] \bigwedge^{k} V [/itex] is n choose k, [tex] \left(\begin{array}{cc} n \\ k \end{array}\right) [/tex]

    The dimension of [itex] \bigwedge (V) [/itex] is then equal to the sum of the binomial coefficients, [tex] \sum^{n}_{k=0} \left(\begin{array}{cc} n \\ k \end{array}\right) [/tex], which is [tex] 2^n [/tex]
    Last edited: Aug 7, 2006
  20. Aug 8, 2006 #19
    If E is a vector space, E* is then it's dual space.

    [itex] \bigwedge^{r} E* [/itex] is the vector space of multilinear alternating r-forms on E.

    We have [itex] \bigwedge^{0} E* = R [/itex] and [itex] \bigwedge^{1} E* = E* [/itex]

    [itex] \bigwedge^{1} E* [/itex], the space of differential 1-forms, coincides with the dual space T*(E) which is the cotangent space.

    The elements of [itex] \bigwedge^{1} E* [/itex], in terms of natural basis [tex] dx^i [/tex], have the representation:

    [tex] \omega = \omega_ i (x^j) dx^i [/tex] which is a 1-form.

    The elements of [itex] \bigwedge^{0} E* [/itex] is referred to as the space of the forms of degree zero wich is the space of the functions f(x).
    Last edited: Aug 8, 2006
  21. Aug 8, 2006 #20


    User Avatar
    Science Advisor
    Homework Helper

    I'm sure you realize that's not an answer to your question. For your question "But how to construct a Lie group from a Lie algebra ?", the answer is: generally you can't. It's just for simply connected group manifolds that you can apply the method suggested for SU(2).

Share this great discussion with others via Reddit, Google+, Twitter, or Facebook