还没学到

看来没人应，我说说背景好了。这个问题的背景是关于黎曼球面的切丛与它的共扼丛是否同构的问题，那个J^2=-id就是来源于球面的复结构，假如同构存在于是可以得到后面的方程。此时 Φ有一个连续的一维特征空间，容易证明这与球面的欧拉示性类的代数特征矛盾。我利用切从的局部平凡化把上述问题转化到了J是九十度旋转矩阵的特殊情形，从而可以直接计算 Φ的特征值以及他的特征空间，避开了线性代数问题。但前提是已知局部平凡化存在，而且dimV=2，如果抛开这些几何背景，这个问题从代数上要怎样理解，比如J有没有特殊的基？不知道谁的线性代数比较好

没学过 不懂矩阵自同构什么意思 还有实矩阵平方怎么会是虚数

能看出Φ是关于某根轴的反射吗，或者至少证明它的行列式小于零