Posted on Categories:数学代写, 李群李代数

## avatest™帮您通过考试

avatest™的各个学科专家已帮了学生顺利通过达上千场考试。我们保证您快速准时完成各时长和类型的考试，包括in class、take home、online、proctor。写手整理各样的资源来或按照您学校的资料教您，创造模拟试题，提供所有的问题例子，以保证您在真实考试中取得的通过率是85%以上。如果您有即将到来的每周、季考、期中或期末考试，我们都能帮助您！

•最快12小时交付

•200+ 英语母语导师

•70分以下全额退款

## 数学代考|李群李代数代考Lie groups and Lie algebras代写|Cartan Subalgebra

Let $\mathcal{G}0$ be a finite-dimensional reductive Lie algebra over $\mathbb{C}$ or $\mathbb{R}, \mathcal{G}_0=\mathcal{G} \oplus \mathcal{Z}$, where $\mathcal{G}=\left[\mathcal{G}_0, \mathcal{G}_0\right]$ is a semisimple ideal of $\mathcal{G}_0, \mathcal{Z}$ is the center of $\mathcal{G}_0$. The description of the structure of $\mathcal{G}_0$ is based on a special class of commutative subalgebras $\mathcal{H}_0 \subset \mathcal{G}_0$. A subalgebra $\mathcal{H}_0 \subset \mathcal{G}_0$ is called a Cartan subalgebra of $\mathcal{G}_0$ if: (1) $\mathcal{H}_0$ is a maximal Abelian subalgebra of $\mathcal{G}_0$; (2) $a d X$ are diagonal in $\mathcal{G}_0$ for all $X \in \mathcal{H}_0$. It is clear that $\mathcal{H}_0 \supset \mathcal{Z}, \mathcal{H}_0=\mathcal{H} \oplus \mathcal{Z}$, where $\mathcal{H}$ is a Cartan subalgebra of $\mathcal{G}$. A theorem of Cartan shows that each semisimple Lie algebra has a nontrivial Cartan subalgebra. We give an idea of the proof in order to introduce the so-called regular elements. For $X \in \mathcal{G}$, let $$\mathcal{G}_X^0 \equiv\left{Y \in \mathcal{G}:(\operatorname{ad} X)^s(Y)=0 \text { for some } s \in \mathbb{N}\right} .$$ $X$ is called a regular element of $\mathcal{G}$ if $$\operatorname{dim} \mathcal{G}_X^0=\min {Z \in \mathcal{G}} \operatorname{dim} \mathcal{G}_Z^0$$
then one shows that regular elements exist and that $\mathcal{G}_X^0$ is a Cartan subalgebra for everv regular element.

## 数学代考|李群李代数代考Lie groups and Lie algebras代写|Lemmas on Root Systems

Further some results will be formulated as simple lemmas.
Lemma 1: (a) $B\left(\mathcal{G}\alpha, \mathcal{G}\beta\right)=0$ if $\alpha \neq-\beta$; (b) $B\left(\mathcal{H}, \mathcal{G}\alpha\right)=0 \forall \alpha \in \Delta$; (c) $B$ restricted to $\mathcal{H}$ is nondegenerate; (d) if $\alpha \in \Delta$, then $-\alpha \in \Delta$ and $B$ is a nondegenerate pairing of $\mathcal{G}\alpha$ with $\mathcal{G}{-\alpha}$. For further use let us denote $E\alpha \in \mathcal{G}\alpha, E{-\alpha} \in \mathcal{G}{-\alpha}$ as elements for which $B\left(E\alpha, E_{-\alpha}\right)=1$.

Lemma 2: $\Delta$ spans $\mathcal{H}^$. We can define for $\lambda \in \mathcal{H}^$, unique $H_\lambda: B\left(H_\lambda, H\right)=\lambda(H) \forall H \in \mathcal{H}$.
Then $\lambda \rightarrow H_\lambda$ is an isomorphism between $\mathcal{H}^$ and $\mathcal{H}$. We define inner products in $\mathcal{H}$ and $\mathcal{H}^$ by
\begin{aligned} \langle X, Y\rangle & \equiv B(X, Y), \quad X, Y \in \mathcal{H} \ \langle\lambda, \mu\rangle & \equiv\left\langle H_\lambda, H_\mu\right\rangle\left(=\lambda\left(H_\mu\right)=\mu\left(H_\lambda\right)\right), \lambda, \mu \in \mathcal{H}^* \end{aligned}
Note that $H_\alpha \neq 0$ for $\forall \alpha \in \Delta$.
Lemma 3: Let $X \in \mathcal{G}\alpha, Y \in \mathcal{G}{-\alpha}$, then
$$[X, Y]=B(X, Y) H_\alpha .$$
It is clear that $\left[\mathcal{G}\alpha, \mathcal{G}{-\alpha}\right]=\mathbb{C} H_\alpha$ because $\left[E_\alpha, E_{-\alpha}\right]=H_\alpha$. Then $a d H_\alpha=\left[\operatorname{ad} E_\alpha\right.$, ad $\left.E_{-\alpha}\right]$.
Lemma 4: tr $\left.a d H_\alpha\right|V=0$ for any subspace $V \subset \mathcal{G}$ invariant under both $a d E\alpha$, ad $E_{-\alpha}$ (and consequently under $a d H_\alpha$ ).

Lemma 5: Let $\alpha, \beta \in \Delta$. Then $\exists$ a rational number $q$ such that $\langle\beta, \alpha\rangle=q\langle\alpha, \alpha\rangle$; moreover $\langle\alpha, \alpha\rangle$ is a rational number greater than zero.
Lemma 6: $\operatorname{dim} \mathcal{G}\alpha=1, \alpha \in \Delta$. If $\alpha \in \Delta, k \alpha \in \Delta$, with $k \in \mathbb{Z}$, then $k=\pm 1$. Lemma 7: Let $$\mathcal{H}_R=\sum\alpha \mathbb{R} H_\alpha .$$
(1) Then $\operatorname{dim}_R \mathcal{H}_R=\operatorname{dim} \mathcal{H}\left(\equiv \operatorname{dim}_C \mathcal{H}\right)$. Moreover, $\langle$,$\rangle is a positive definite scalar$ product on $\mathcal{H}_R \times \mathcal{H}_R$. Each root is real-valued on $\mathcal{H}_R$.
(2) $\mathcal{H}=\mathcal{H}_R+i \mathcal{H}_R$
The positive number $\langle\alpha, \alpha\rangle$ will be called the length of the root $\alpha$, or root length.

## 数学代考|李群李代数代考Lie groups and Lie algebras代写|Lemmas on Root Systems

$$\langle X, Y\rangle \equiv B(X, Y), \quad X, Y \in \mathcal{H}\langle\lambda, \mu\rangle \quad \equiv\left\langle H_\lambda, H_\mu\right\rangle\left(=\lambda\left(H_\mu\right)=\mu\left(H_\lambda\right)\right), \lambda, \mu \in \mathcal{H}^*$$

$$[X, Y]=B(X, Y) H_\alpha .$$

$$\mathcal{H}R=\sum \alpha \mathbb{R} H\alpha .$$
(1) 然后 $\operatorname{dim}_R \mathcal{H}_R=\operatorname{dim} \mathcal{H}\left(\equiv \operatorname{dim}_C \mathcal{H}\right)$. 而且， 〈〉isapositivedefinitescalar产品在 $\mathcal{H}_R \times \mathcal{H}_R$. 每个根在 $\mathcal{H}_R$.
(2) $\mathcal{H}=\mathcal{H}_R+i \mathcal{H}_R$

## MATLAB代写

MATLAB 是一种用于技术计算的高性能语言。它将计算、可视化和编程集成在一个易于使用的环境中，其中问题和解决方案以熟悉的数学符号表示。典型用途包括：数学和计算算法开发建模、仿真和原型制作数据分析、探索和可视化科学和工程图形应用程序开发，包括图形用户界面构建MATLAB 是一个交互式系统，其基本数据元素是一个不需要维度的数组。这使您可以解决许多技术计算问题，尤其是那些具有矩阵和向量公式的问题，而只需用 C 或 Fortran 等标量非交互式语言编写程序所需的时间的一小部分。MATLAB 名称代表矩阵实验室。MATLAB 最初的编写目的是提供对由 LINPACK 和 EISPACK 项目开发的矩阵软件的轻松访问，这两个项目共同代表了矩阵计算软件的最新技术。MATLAB 经过多年的发展，得到了许多用户的投入。在大学环境中，它是数学、工程和科学入门和高级课程的标准教学工具。在工业领域，MATLAB 是高效研究、开发和分析的首选工具。MATLAB 具有一系列称为工具箱的特定于应用程序的解决方案。对于大多数 MATLAB 用户来说非常重要，工具箱允许您学习应用专业技术。工具箱是 MATLAB 函数（M 文件）的综合集合，可扩展 MATLAB 环境以解决特定类别的问题。可用工具箱的领域包括信号处理、控制系统、神经网络、模糊逻辑、小波、仿真等。

Posted on Categories:数学代写, 李群李代数

## avatest™帮您通过考试

avatest™的各个学科专家已帮了学生顺利通过达上千场考试。我们保证您快速准时完成各时长和类型的考试，包括in class、take home、online、proctor。写手整理各样的资源来或按照您学校的资料教您，创造模拟试题，提供所有的问题例子，以保证您在真实考试中取得的通过率是85%以上。如果您有即将到来的每周、季考、期中或期末考试，我们都能帮助您！

•最快12小时交付

•200+ 英语母语导师

•70分以下全额退款

## 数学代考|李群李代数代考Lie groups and Lie algebras代写|Representations

An endomorphism $D$ of $\mathcal{A}$ is called a derivation of $\mathcal{A}$ if $D(X \cdot Y)=(D X) \cdot Y+$ $X \cdot(D Y), \forall X, Y \in \mathcal{A}$. Note that if $D_1, D_2$ are derivations of $\mathcal{A}$ then $D_1 \circ D_2-D_2 \circ D_1$ is also a derivation.

A representation of a Lie algebra $\mathcal{G}$ in a vector space $V$ is a linear map $\varphi: \mathcal{G} \rightarrow$ End $V$ such that $\varphi([X, Y])=[\varphi(X), \varphi(Y)] \equiv \varphi(X) \circ \varphi(Y)-\varphi(Y) \circ \varphi(X)$.

A representation $\varphi$ is called a reducible representation or simple if $V$ contains a nontrivial subspace $V^{\prime}, 0 \neq V^{\prime} \neq V$, which is invariant under the action of $\varphi$, i.e., $\varphi(Y) v \in V^{\prime}$ for all $Y \in \mathcal{G}, v \in V^{\prime}$; otherwise $\varphi$ is called an irreducible representation.
A representation is called a completely reducible or semisimple if $V$ can be represented as the direct sum of invariant subspaces.

A representation is called an indecomposable representation if it is reducible but not completely reducible.

An important representation of $\mathcal{G}$ is the so-called adjoint representation of $\mathcal{G}$ acting in $\mathcal{G}$ itself:
$$\operatorname{ad} X: \mathcal{G} \rightarrow \mathcal{G} ; \operatorname{ad} X: Y \mapsto[X, Y], X, Y \in \mathcal{G} .$$
It is easy to see that $\varphi: X \mapsto a d X$ is a representation, i.e., that $a d[X, Y]=(\operatorname{ad} X) \circ$ $(a d Y)-(a d Y) \circ(a d X)$.

It is also clear that $a d X$ is a derivation of $\mathcal{G}$, i.e., that $a d X([Y, Z])=[\operatorname{ad} X(Y), Z]+$ $[Y, a d X(Z)]$; the last equality is actually the Jacobi identity.
The derivations $a d X$ are called inner derivations of $\mathcal{G}$.
For further use, we shall note the equality ad $D Y=[D, a d Y]$ valid for every derivation $D$ and $\forall Y \in \mathcal{G}$.

## 数学代考|李群李代数代考Lie groups and Lie algebras代写|Solvable Lie Algebras

Let $\mathcal{G}$ be a Lie algebra. Define inductively $\mathcal{G}^{(1)}=[\mathcal{G}, \mathcal{G}], \mathcal{G}^{(k+1)}=\left[\mathcal{G}^{(k)}, \mathcal{G}^{(k)}\right]$, for $k=1,2, \ldots$

It is clear that $\mathcal{G}^{(k+1)} \subset \mathcal{G}^{(k)}$ and that all $\mathcal{G}^{(k)}$ are ideals of $\mathcal{G}$. (For the latter first note that $\mathcal{G}^{(1)}$ is an ideal as the commutator of two ideals; then by induction.)
If $\mathcal{G}^{(k)}=0$ for some $k$ then $\mathcal{G}$ is called solvable. (Then all $\mathcal{G}^{(i)}$ are solvable.)
In particular, if $\mathcal{G}^{(1)}=0$ then $\mathcal{G}$ is an Abelian algebra.
Note that a solvable Lie algebra contains an Abelian ideal.

It can also be shown that a finite-dimensional Lie algebra is solvable iff its adjoint representation is triangular (i.e., there exists a basis in which all operators $a d X$ are given by upper (or equivalently lower) triangular matrices with zeros below (above) the main diagonal).

## 数学代考|李群李代数代考Lie groups and Lie algebras代写|Representations

$$\operatorname{ad} X: \mathcal{G} \rightarrow \mathcal{G} ; \operatorname{ad} X: Y \mapsto[X, Y], X, Y \in \mathcal{G} .$$

## MATLAB代写

MATLAB 是一种用于技术计算的高性能语言。它将计算、可视化和编程集成在一个易于使用的环境中，其中问题和解决方案以熟悉的数学符号表示。典型用途包括：数学和计算算法开发建模、仿真和原型制作数据分析、探索和可视化科学和工程图形应用程序开发，包括图形用户界面构建MATLAB 是一个交互式系统，其基本数据元素是一个不需要维度的数组。这使您可以解决许多技术计算问题，尤其是那些具有矩阵和向量公式的问题，而只需用 C 或 Fortran 等标量非交互式语言编写程序所需的时间的一小部分。MATLAB 名称代表矩阵实验室。MATLAB 最初的编写目的是提供对由 LINPACK 和 EISPACK 项目开发的矩阵软件的轻松访问，这两个项目共同代表了矩阵计算软件的最新技术。MATLAB 经过多年的发展，得到了许多用户的投入。在大学环境中，它是数学、工程和科学入门和高级课程的标准教学工具。在工业领域，MATLAB 是高效研究、开发和分析的首选工具。MATLAB 具有一系列称为工具箱的特定于应用程序的解决方案。对于大多数 MATLAB 用户来说非常重要，工具箱允许您学习应用专业技术。工具箱是 MATLAB 函数（M 文件）的综合集合，可扩展 MATLAB 环境以解决特定类别的问题。可用工具箱的领域包括信号处理、控制系统、神经网络、模糊逻辑、小波、仿真等。

Posted on Categories:数学代写, 李群李代数

## avatest™帮您通过考试

avatest™的各个学科专家已帮了学生顺利通过达上千场考试。我们保证您快速准时完成各时长和类型的考试，包括in class、take home、online、proctor。写手整理各样的资源来或按照您学校的资料教您，创造模拟试题，提供所有的问题例子，以保证您在真实考试中取得的通过率是85%以上。如果您有即将到来的每周、季考、期中或期末考试，我们都能帮助您！

•最快12小时交付

•200+ 英语母语导师

•70分以下全额退款

## 数学代考|李群李代数代考Lie groups and Lie algebras代写|Lie Algebras

Let $F$ be a field of characteristic 0 . Let $\mathcal{A}$ be an algebra over $F$, i.e., $\mathcal{A}$ is a linear space over $F$ with additional bilinear operation: $\mathcal{A} \times \mathcal{A} \ni(X, Y) \mapsto X \cdot Y \in \mathcal{A}$ is called multiplication; $X \cdot Y$ is called the product of $X, Y \in \mathcal{A}$.

An algebra $\mathcal{A}$ is called an associative algebra if $X \cdot(Y \cdot Z)=(X \cdot Y) \cdot Z$ for all $X, Y, Z \in \mathcal{A}$. An algebra $\mathcal{A}$ is called an Abelian algebra (or commutative algebra) if $X \cdot Y=Y \cdot X$ for all $X, Y \in \mathcal{A}$.
An algebra $\mathcal{A}$ is called a Lie algebra if the following properties hold:
$$\begin{array}{r} X \cdot X=0, \ X \cdot(Y \cdot Z)+Y \cdot(Z \cdot X)+Z \cdot(X \cdot Y)=0 . \end{array}$$
These properties are called anticommutativity and Jacobi identity, respectively. From (2.1a) follows
$$0=(X+Y) \cdot(X+Y)=X \cdot X+X \cdot Y+Y \cdot X+Y \cdot Y=X \cdot Y+Y \cdot X$$

or
$$X \cdot Y=-Y \cdot X .$$
(Actually (2.2) is equivalent to (2.1a) if $c h a r F \neq 2$.)

## 数学代考|李群李代数代考Lie groups and Lie algebras代写|Subalgebras, Ideals, and Factor-Algebras

Let $\mathcal{B}$ be a vector subspace of $\mathcal{A} ; \mathcal{B}$ is called a subalgebra of $\mathcal{A}$ if $X \cdot Y \in \mathcal{B}$ for all $X, Y \in \mathcal{B}$. Let $\mathcal{B} \subset \mathcal{A}$ and $\mathcal{C} \subset \mathcal{A}$, then we define
$$\mathcal{B} \cdot \mathcal{C} \equiv\left{\sum_{i=1}^k a_i Y_i \cdot Z_i: k \in \mathbb{N}, a_i \in F, Y_i \in \mathcal{B}, Z_i \in \mathcal{C}\right} .$$
A subalgebra $\mathcal{I}$ of $\mathcal{A}$ is called an ideal of $\mathcal{A}$ if
$$\mathcal{A} \cdot \mathcal{I} \subset \mathcal{I}, \mathcal{I} \cdot \mathcal{A} \subset \mathcal{I} .$$
If $\mathcal{A}$ is a Lie algebra, only one of the two conditions in (2.7) is sufficient for $\mathcal{I}$ to be an ideal (because of $(2.2)$ ).

## 数学代考|李群李代数代考Lie groups and Lie algebras代写|Lie Algebras

$X \cdot Y=Y \cdot X$ 对所有人 $X, Y \in \mathcal{A}$.
$$X \cdot X=0, X \cdot(Y \cdot Z)+Y \cdot(Z \cdot X)+Z \cdot(X \cdot Y)=0 .$$

$$0=(X+Y) \cdot(X+Y)=X \cdot X+X \cdot Y+Y \cdot X+Y \cdot Y=X \cdot Y+Y \cdot X$$

$$X \cdot Y=-Y \cdot X .$$
$($ 实际上 (2.2) 等价于 (2.1a) 如果 $c h a r F \neq 2$.

## 数学代考|李群李代数代考Lie groups and Lie algebras代写|Subalgebras, Ideals, and Factor-Algebras

〈left 缺少或无法识别的分隔符

$$\mathcal{A} \cdot \mathcal{I} \subset \mathcal{I}, \mathcal{I} \cdot \mathcal{A} \subset \mathcal{I} .$$

## MATLAB代写

MATLAB 是一种用于技术计算的高性能语言。它将计算、可视化和编程集成在一个易于使用的环境中，其中问题和解决方案以熟悉的数学符号表示。典型用途包括：数学和计算算法开发建模、仿真和原型制作数据分析、探索和可视化科学和工程图形应用程序开发，包括图形用户界面构建MATLAB 是一个交互式系统，其基本数据元素是一个不需要维度的数组。这使您可以解决许多技术计算问题，尤其是那些具有矩阵和向量公式的问题，而只需用 C 或 Fortran 等标量非交互式语言编写程序所需的时间的一小部分。MATLAB 名称代表矩阵实验室。MATLAB 最初的编写目的是提供对由 LINPACK 和 EISPACK 项目开发的矩阵软件的轻松访问，这两个项目共同代表了矩阵计算软件的最新技术。MATLAB 经过多年的发展，得到了许多用户的投入。在大学环境中，它是数学、工程和科学入门和高级课程的标准教学工具。在工业领域，MATLAB 是高效研究、开发和分析的首选工具。MATLAB 具有一系列称为工具箱的特定于应用程序的解决方案。对于大多数 MATLAB 用户来说非常重要，工具箱允许您学习应用专业技术。工具箱是 MATLAB 函数（M 文件）的综合集合，可扩展 MATLAB 环境以解决特定类别的问题。可用工具箱的领域包括信号处理、控制系统、神经网络、模糊逻辑、小波、仿真等。