The Tangent Cone to the Real Determinantal Variety: Various Expressions and a Proof
摘要
The set of real matrices of upper-bounded rank is a real algebraic variety called the real generic determinantal variety. An explicit description of the tangent cone to that variety is given in Theorem 3.2 of Schneider and Uschmajew (SIAM J. Optim. 25(1):622–646,