Lie groups and Lie algebras: The Killing form

[@Narmorano]

It is a good and useful video. I think it deserves this comment and a like.

[@peasant12345]

why killing form can be viewed as an inner product? Normally, y needs to be transposed tr(xy^T) to make it positive definite.

[@zkokalj7590]

Thanks!

[@edwardhartz1029]

So K(X,Y) is independent of the choice of Z?

[@Sudeep130]

For fixed X and Y, ad_X ad_Y is a (linear)function of Z, but it's trace, K(X, Y), is a unique complex number.

[@jonathanevans27]

As Sudeep says: K(X,Y) is the trace of a map (ad_X ad_Y) and the easiest way to define the map is to say what its value is on a given Z (ad_X ad_Y (Z) = [X,[Y,Z]], but Z is just a variable that's there to help defining ad_X ad_Y. It's a bit like saying "max(sin(x)) = 1". Sine is a function and max(sin) =1 makes sense, but often people write sin(x) for the function sin rather than the value of sin at x.

[@莫斯科科长]

guess I don't really know the meaning of the basis of Lie algebra, should probably catch up with that

[@2tehnik]

it's the same notion of basis as in linear algebra, no?