Intereting Posts

“Pairwise independent” is weaker that “independent”
Why $Z_p$ is closed.
Compute the limit $\lim_{n \to \infty} \frac{n!}{n^n}$
Help with special function differential equation
Probability density function of a product of uniform random variables
entire function is constant
Calculate $f^{(25)}(0)$ for $f(x)=x^2 \sin(x)$
Explicit Galois theory computation in cyclotomic field
Does every positive rational number appear once and exactly once in the sequence $\{f^n(0)\}$ , where $f(x):=\frac1{2 \lfloor x \rfloor -x+1} $
I randomly assign $n$ objects into one of $m$ sets. How do I compute expected value of the number of non-empty sets?
Union of a countable collection of open balls
prove that $\frac{(2n)!}{(n!)^2}$ is even if $n$ is a positive integer
(Computationally) Simple sigmoid
Can this be counted with stars and bars method?
What is a real-world metaphor for irrational numbers?

Given $A$ is a skew-hermitian, (i.e $A^H=−A$), the Cayley transform of $A$ is defined as: $W=(I-A)^{-1} (I+A)$. How can be proved that $W$ is unitary (i.e. $W^H W = W W^H = I$)?

- For given $n\times n$ matrix $A$ singular matrix, prove that $\operatorname{rank}(\operatorname{adj}A) \leq 1$
- How to prove that a system of linear equations doesn't exist for the solutions set $\{(a, a^2, b)|a,b \in \mathbb{R}\}$?
- Are all multiplicative functions additive?
- Reflection across the plane
- Chain rule for matrix exponentials
- No solutions to a matrix inequality?
- A question in Subspaces in linear algebra
- $f(a+b)=f(a)+f(b)$ but $f$ is not linear
- Intuitive proof of multivariable changing of variables formula (jacobian) without using mapping and/or measure theory?
- Finding number of matrices whose square is the identity matrix

I present a slight modification on the answer to a very similar question. I assume we are working over the complex numbers.

Recall the eigenvalues of a skew-Hermitian matrix are imaginary. So the set of eigenvalues of $J=I-A$ cannot contain zero, and the matrix is invertible. We then have $W=J^{-1} J^H$. it remains to compute:

$$J^{-1} J^H (J^{-1} J^H)^H= J^{-1} J^H J (J^{-1})^H = J^{-1} J^H J (J^{H})^{-1}$$

Note now that $J$ and $J^H$ commute.

$$J^{-1} J^H J (J^{H})^{-1}=J^{-1} J J^H (J^{H})^{-1}=I.$$

The other computation is almost exactly the same.

First of all,

$$

I^2-A^2=(I-A)(I+A)=(I+A)(I-A)

$$

Multiply by $(I-A)^{-1}$ pre and post, to get

$$

(I+A)(I-A)^{-1}=(I-A)^{-1}(I+A) \tag{1}

$$

So order really doesn’t matter: these matrices commute.

The Hermitian transpose of the product in (1) is

$$ (I+A^H)(I-A^H)^{-1} = (I-A)(I+A)^{-1} \tag{2}$$

The inverse of this product is

$$

[(I-A)^{-1}(I+A)]^{-1} =(I+A)^{-1}(I-A)\tag{3}

$$

By (1), the matrices in (2) and (3) are equal: that is, the inverse of $I^2-A^2$ is its Hermitian transpose. Hence, that product matrix is unitary.

- Vandermonde identity corollary $\sum_{v=0}^{n}\frac{(2n)!}{(v!)^2(n-v)!^2}={2n \choose n}^2$
- Polar to cartesian form of r=cos(2θ)
- Better proof for $\frac{1+\cos x + \sin x}{1 – \cos x + \sin x} \equiv \frac{1+\cos x}{\sin x}$
- How to determine the direction of one point from another, given their coordinates?
- What, Exactly, Is a Tensor?
- Show that $\lim_{\epsilon\to0^{+}}\frac{1}{2\pi i}\int_{\gamma_\epsilon}\frac{f(z)}{z-a} \, dz=f(a)$
- nonlinear transform of Gaussian random variable that preserves Gaussianity
- History of notation: “!”
- Integral ${\large\int}_0^1\frac{\ln^2\ln\left(\frac1x\right)}{1+x+x^2}dx$
- Define square root function over the complex numbers.
- Inverse of diagonally dominant matrix with equal off-diagonal entries
- Prove that if Rank$(A)=n$, then Rank$(AB)=$Rank$(B)$
- Is Pigeonhole Principle the negation of Dedekind-infinite?
- Cyclotomic Polynomials and GCD
- Edge coloring of the cube