|
矩阵 $A$ 表示射影变换。以下 eqn 表示 $A$ 将 twisted cubic 映射到其自身。
- A = Table[Indexed[a, {i, j}], {i, 4}, {j, 4}];
- eqn = Resolve[ForAll[t, x z - y^2 == y w - z^2 == 0 /. Thread[{x, y, z, w} -> {1, t, t^2, t^3} . A]]]
复制代码
eqn 是 16 个变量的多项式方程组,因為 $A$ 有4行4列。
求解集的维数
$A=0$是一个解,
对角矩阵$A=\pmatrix{1\\&t\\&&t^2\\&&&t^3}$對所有$t$的eqn的解。
所以eqn的解集的维数至少为$1$且小于$16$
我发到论坛询问 |
|