Intereting Posts

Basic Modulo Question
State of the progess of the automated proof checking
The proof of the Helmholtz decomposition theorem through Neumann boundary value problem
Do trivial homology groups imply contractibility of a compact polyhedron?
Uniqueness of a configuration of $7$ points in $\Bbb R^2$ such that, given any $3$, $2$ of them are $1$ unit apart
If a Laplacian eigenfunction is zero in an open set, is it identically zero?
Why is exponentiation defined as $x^y=e^{\ln(x)\cdot y}$?
Mrs Reed safe combination
Solving a ODE from a diffeomorphism numerically
Star-shaped domain whose closure is not homeomorphic to $B^n$
Conjugacy Class in Symmetric Group
Stalk of the quotient presheaf
Mathematics and Music
How to find $E(X|X+Y=k)$ for geometrical distribution?
Prove that if $\int_{a}^{b} f(x)$ exists, $\delta >0 $ such that $|\sigma_1 -\sigma_2|<\epsilon$

A statement is made below. The questions are:

(a) Is the statement true?

(b) If it is, does it appear in the literature?

- Composition of Linear Rotations and Reflections
- Cool mathematics I can show to calculus students.
- eigen decomposition of an interesting matrix
- Generalized Cross Product
- Proof relation between Levi-Civita symbol and Kronecker deltas in Group Theory
- Motivation for linear transformations

Here is the statement.

For any matrix $A$ in $M_n(\mathbb C)$, write $\Lambda(A)$ for the set of eigenvalues of $A$.

Recall that there is a unique continuous $\mathbb C[X]$-algebra morphism

$$

\mathcal O(\Lambda(A))\to M_n(\mathbb C),

$$

where $\mathcal O(\Lambda(A))$ is the algebra of those functions which are holomorphic on (some open neighborhood of) $\Lambda(A)$. Recall also that this morphism is usually denoted by $f\mapsto f(A)$. (Here $X$ is an indeterminate.)

Let $U$ be an open subset of $\mathbb C$, let $U’$ be the open subset of $M_n(\mathbb C)$ defined by the condition

$$

\Lambda(A)\subset U,

$$

and let $f$ be holomorphic on $U$. (The fact the $U’$ is open follows from Rouché’s Theorem.)

STATEMENT.The map $A\mapsto f(A)$ from $U’$ to $M_n(\mathbb C)$ is holomorphic.

- How to prove that the collection of rank-k matrices forms a closed subset of the space of matrices?
- If $A$ and $B$ are positive definite, then is $B^{-1} - A^{-1}$ positive semidefinite?
- Finding number of matrices whose square is the identity matrix
- Proving that the dual of the $\mathcal{l}_p$ norm is the $\mathcal{l}_q$ norm.
- The Parallelogram Identity for an inner product space
- Minimum and Maximum eigenvalue inequality from a positive definite matrix.
- what does ∇ (upside down triangle) symbol mean in this problem
- How do I exactly project a vector onto a subspace?
- If $A$ is positive definite, then $\int_{\mathbb{R}^n}\mathrm{e}^{-\langle Ax,x\rangle}\text{d}x=\left|\det\left({\pi}^{-1}A\right)\right|^{-1/2}$
- $f\colon\mathbb R^n \rightarrow \mathbb R$ be a linear map with $f(0,0,0,\ldots,0)=0.$

The following was explained to me by Jean-Pierre Ferrier, and Ahmed Jeddi made useful comments.

For any matrix $a$ in $A:=M_n(\mathbb C)$, write $\Lambda(a)$ for the set of eigenvalues of $a$. For each $\lambda$ in $\Lambda(a)$, write $1_\lambda\in\mathbb C[a]$ for the projector onto the $\lambda$-generalized eigenspace parallel to the other generalized eigenspaces, and put $a_\lambda:=a1_\lambda$, and $z_\lambda:=z1_\lambda$ for $z$ in $\mathbb C$.

Let $U$ be an open subset of $\mathbb C$, let $U’$ be the subset of $A$, which is open by Rouché’s Theorem, defined by the condition $\Lambda(a)\subset U$, let $a$ be in $U’$, let $X$ be an indeterminate, let $\mathcal O(U)$ be the $\mathbb C$-algebra of holomorphic functions on $U$, and equip $\mathcal O(U)$ and $\mathbb C[a]$ with the $\mathbb C[X]$-algebra structures associated respectively with the element $z\mapsto z$ of $\mathcal O(U)$ and the element $a$ of $\mathbb C[a]$.

Theorem 1. (i)There is a unique $\mathbb C[X]$-algebra morphism from $\mathcal O(U)$ to $\mathbb C[a]$. We denote this morphism by $f\mapsto f(a)$.

(ii)The map $U’\ni a\mapsto f(a)\in A$ is holomorphic.

(iii)For any $a$ in $U’$ we have

$$

f(a)=\sum_{\lambda\in\Lambda(a),0\le k<n}\frac{f^{(k)}(\lambda)_\lambda}{k!}\ (a-\lambda)^k.

$$

**Proof of (i) and (iii).** By the Chinese Remainder Theorem, $\mathbb C[a]$ is isomorphic to the product of $\mathbb C[X]$-algebras of the form $\mathbb C[X]/(X-\lambda)^m$, with $\lambda\in\mathbb C$. So we can assume that $\mathbb C[a]$ is of this form, and the lemma follows from the fact that, for any $f$ in $\mathcal O(U)$, there is unique $g$ in $\mathcal O(U)$ such that

$$

f(z)=\sum_{k=0}^{m-1}\ \frac{f^{(k)}(\lambda)}{k!}\ (z-\lambda)^k+(z-\lambda)^mg(z)

$$

for all $z$ in $U$. **q.e.d.**

Say that a **cycle** is a formal finite sum of smooth closed curves. Let $\gamma$ be a cycle in $U\setminus\Lambda(a)$ such that $I(\gamma,\lambda)=1$ for all $\lambda\in\Lambda(a)$ (where $I(\gamma,\lambda)$ is the winding number of $\gamma$ around $\lambda$), and let $N$ be the set of those $b$ in $A$ such that $\Lambda(b)\subset U$, and that $\gamma$ is a cycle in $U\setminus\Lambda(b)$ satisfying $I(\gamma,\lambda)=1$ for all $\lambda\in\Lambda(b)$. As already observed, Rouché’s Theorem implies that $N$ is an open neighborhood of $a$ in $A$. Theorem 2 below will imply Part (ii) of Theorem 1.

Theorem 2.We have

$$

f(b)=\frac{1}{2\pi i}\int_\gamma\ \frac{f(z)}{z-b}\ dz

$$

for all $f$ in $\mathcal O(U)$ and all $b$ in $N$. In particular the map $b\mapsto f(b)$ from $U’$ to $A$ is holomorphic.

**Proof.** We have

$$

\frac{1}{2\pi i}\int_\gamma\ \frac{f(z)}{z-b}\ dz

$$

$$

=\frac{1}{2\pi i}\int_\gamma\ \frac{f(z)}{z-b}\ \sum_{\lambda\in\Lambda(b)}1_\lambda\ dz

$$

$$

=\sum_{\lambda\in\Lambda(b)}\frac{1_\lambda}{2\pi i}\int_\gamma\ \frac{f(z)}{z-b}\ dz

$$

$$

=\sum_{\lambda\in\Lambda(b)}\frac{1_\lambda}{2\pi i}\int_\gamma\ \frac{f(z)\ dz}{(z-\lambda)-(b-\lambda)}

$$

$$

=\sum_{\lambda\in\Lambda(b)}\frac{1_\lambda}{2\pi i}\int_\gamma\ f(z)\ \sum_{k=0}^{n-1}\

\frac{(b-\lambda)^k}{(z-\lambda)^{k+1}}\ dz

$$

$$

=\sum_{\lambda\in\Lambda(b),0\le k<n}\frac{1_\lambda}{2\pi i}\int_\gamma\ \frac{f(z)\ dz}{(z-\lambda)^{k+1}}\ (b-\lambda)^k

$$

$$

\overset{(*)}{=}\sum_{\lambda\in\Lambda(b),0\le k<n}I(\gamma,\lambda)\ \frac{f^{(k)}(\lambda)_\lambda}{k!}\ (b-\lambda)^k

$$

$$

=\sum_{\lambda\in\Lambda(b),0\le k<n}\frac{f^{(k)}(\lambda)_\lambda}{k!}\ (b-\lambda)^k

$$

$$

\overset{(**)}{=}f(b),

$$

where Equality $(*)$ follows from the Residue Theorem, and Equality $(**)$ from Part (iii) of Theorem 1. **q.e.d**.

- Open mathematical questions for which we really, really have no idea what the answer is
- Approximation of $e^{\pi\sqrt{n}}$ using Ramanujan's Class Invariants
- For any smooth manifold, is it true that for any two points on the manifold, there exists a chart that covers the two points?
- Given point $P=(x,y)$ and a line $l$, what is a general formula for the reflection of $P$ in $l$
- Does the formula $\sqrt{ 1 + 24n }$ always yield prime?
- Show that, for any $\epsilon>0$, there exist two rationals such that $q < x < q'$ and $|q-q'|<\epsilon$
- A proof for Landau inequality and similar cases
- Is there any significance in the order in which group axioms are presented?
- Suppose $a, b$ and $n$ are positive integers. Prove that $a^n$ divides $b^n$ if and only if $a$ divides $b$.
- Does there exist any surjective group homomrophism from $(\mathbb R^* , .)$ onto $(\mathbb Q^* , .)$?
- product of hermitian and unitary matrix
- Equivalent characterizations of faithfully exact functors of abelian categories
- derivation of derangement with inclusion -exclusion
- When is something “obvious”?
- Rational parametrization of circle in Wikipedia