grandes-ecoles 2024 Q14

grandes-ecoles · France · polytechnique-maths-b__mp Sequences and Series Matrix Exponentials and Series of Matrices
Let $A \in \mathscr{M}_n(\mathbb{C})$. We denote by $\mathbb{C}[A]$ the set of elements of $\mathscr{M}_n(\mathbb{C})$ of the form $P(A)$ where $P \in \mathbb{C}[X]$ is a polynomial. We denote $$(\mathbb{C}[A])^* = \left\{B \in \mathbb{C}[A] \cap \mathrm{GL}_n(\mathbb{C}) \mid B^{-1} \in \mathbb{C}[A]\right\}$$ Using the result $\exp(\mathbb{C}[A]) = (\mathbb{C}[A])^*$, conclude that $\exp(\mathscr{M}_n(\mathbb{C})) = \mathrm{GL}_n(\mathbb{C})$.
Let $A \in \mathscr{M}_n(\mathbb{C})$. We denote by $\mathbb{C}[A]$ the set of elements of $\mathscr{M}_n(\mathbb{C})$ of the form $P(A)$ where $P \in \mathbb{C}[X]$ is a polynomial. We denote
$$(\mathbb{C}[A])^* = \left\{B \in \mathbb{C}[A] \cap \mathrm{GL}_n(\mathbb{C}) \mid B^{-1} \in \mathbb{C}[A]\right\}$$
Using the result $\exp(\mathbb{C}[A]) = (\mathbb{C}[A])^*$, conclude that $\exp(\mathscr{M}_n(\mathbb{C})) = \mathrm{GL}_n(\mathbb{C})$.