Wavelet transform: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Glenn
+{{Commons cat|Wavelets|Wavelets}}
 
en>Inferior Olive
m Updating sentence starting with "The higher the resolution in time is required, the..."(WG)
Line 1: Line 1:
She is recognized by the name of Myrtle Shryock. Bookkeeping is her working day occupation now. For a while she's been in South Dakota. To perform baseball is the hobby he will never quit doing.<br><br>Feel free to surf to my weblog - [http://Nuvem.tk/altergalactica/NumbersdbEstepvu at home std test]
{{Lie groups}}
 
In [[mathematics]], a [[Lie algebra]] ''<math>\mathfrak{g}</math>'' is '''nilpotent''' if the [[lower central series]]
 
:<math> \mathfrak{g} > [\mathfrak{g},\mathfrak{g}] > [[\mathfrak{g},\mathfrak{g}],\mathfrak{g}] > [[[\mathfrak{g},\mathfrak{g}],\mathfrak{g}],\mathfrak{g}] > \cdots </math>
 
becomes zero eventually. Equivalently, <math>\mathfrak{g}</math> is nilpotent if
:<math>\operatorname{ad}(x_1) \operatorname{ad}(x_2) \operatorname{ad}(x_3) ... \operatorname{ad}(x_r) = 0</math>
for any sequence <math>x_i</math> of elements of <math>\mathfrak{g}</math> of sufficiently large length. (Here, <math>\operatorname{ad}(x)</math> is given by <math>\operatorname{ad}(x)y = [x, y]</math>.) Consequences are that <math>\operatorname{ad}(x)</math> is nilpotent (as a linear map), and that the [[Killing form]] of a nilpotent Lie algebra is identically zero. (In comparison, a Lie algebra is [[semisimple Lie algebra|semisimple]] if and only if its Killing form is nondegenerate.)
 
Every nilpotent Lie algebra is [[solvable Lie algebra|solvable]]; this fact gives one of the powerful ways to prove the solvability of a Lie algebra since, in practice, it is usually easier to prove the nilpotency than the solvability. The converse is not true in general. A Lie algebra <math>\mathfrak{g}</math> is nilpotent if and only if its quotient over an ideal containing the center of <math>\mathfrak{g}</math> is nilpotent.
 
Most of classic classification results on nilpotency are concerned with finite-dimensional Lie algebras over a field of characteristic 0. Let <math>\mathfrak{g}</math> be a finite-dimensional Lie algebra. <math>\mathfrak{g}</math> is nilpotent if and only if <math>\operatorname{ad}(\mathfrak{g})</math> is nilpotent. [[Engel's theorem]] states that <math>\mathfrak{g}</math> is nilpotent if and only if <math>\operatorname{ad}(x)</math> is nilpotent for every <math>x \in \mathfrak{g}</math>. <math>\mathfrak{g}</math> is solvable if and only if <math>[\mathfrak{g}, \mathfrak{g}]</math> is nilpotent.
 
== Examples ==
*Every subalgebra and quotient of a nilpotent Lie algebra is nilpotent.
*If <math>\mathfrak{gl}_k</math> is the set of <math>k\times k</math> matrices, then the subalgebra consisting of strictly upper triangular matrices, denoted by <math>\mathfrak{n}_k</math>, is a nilpotent Lie algebra.
*A [[Heisenberg algebra]] is nilpotent.
*A [[Cartan subalgebra]] of a Lie algebra is nilpotent and [[self-normalizing]].
 
==References==
* Humphreys, James E. ''Introduction to Lie Algebras and Representation Theory''. Graduate Texts in Mathematics, 9. Springer-Verlag, New York, 1972. ISBN 0-387-90053-5
 
[[Category:Properties of Lie algebras]]

Revision as of 15:35, 24 January 2014

Template:Lie groups

In mathematics, a Lie algebra g is nilpotent if the lower central series

g>[g,g]>[[g,g],g]>[[[g,g],g],g]>

becomes zero eventually. Equivalently, g is nilpotent if

ad(x1)ad(x2)ad(x3)...ad(xr)=0

for any sequence xi of elements of g of sufficiently large length. (Here, ad(x) is given by ad(x)y=[x,y].) Consequences are that ad(x) is nilpotent (as a linear map), and that the Killing form of a nilpotent Lie algebra is identically zero. (In comparison, a Lie algebra is semisimple if and only if its Killing form is nondegenerate.)

Every nilpotent Lie algebra is solvable; this fact gives one of the powerful ways to prove the solvability of a Lie algebra since, in practice, it is usually easier to prove the nilpotency than the solvability. The converse is not true in general. A Lie algebra g is nilpotent if and only if its quotient over an ideal containing the center of g is nilpotent.

Most of classic classification results on nilpotency are concerned with finite-dimensional Lie algebras over a field of characteristic 0. Let g be a finite-dimensional Lie algebra. g is nilpotent if and only if ad(g) is nilpotent. Engel's theorem states that g is nilpotent if and only if ad(x) is nilpotent for every xg. g is solvable if and only if [g,g] is nilpotent.

Examples

  • Every subalgebra and quotient of a nilpotent Lie algebra is nilpotent.
  • If glk is the set of k×k matrices, then the subalgebra consisting of strictly upper triangular matrices, denoted by nk, is a nilpotent Lie algebra.
  • A Heisenberg algebra is nilpotent.
  • A Cartan subalgebra of a Lie algebra is nilpotent and self-normalizing.

References

  • Humphreys, James E. Introduction to Lie Algebras and Representation Theory. Graduate Texts in Mathematics, 9. Springer-Verlag, New York, 1972. ISBN 0-387-90053-5