Since there is no finite element subspace of rotated Q1 finite element space, a special coarse space is used. we prove the condition number of preconditioned problem is optimal.

• 因为旋转Q1有限元空间不包含任何协调的有限元子空间，所以我们使用了特殊的粗网格空间。我们证明预优问题的条件数是最优的。