The state model of linear control system is $\Sigma:\dot{x}=Ax+Bu$, where $x$ is the state and $u$ is the input. A state feedback $F:u=Fx+v$ can be treated as a transformation which maps $\Sigma$ to $\Sigma_F:\dot{x}=(A+BF)x+Bv$. Prove the following conclusions:
All feedback transformation form a group which is called feedback group;
The controllability is invariant under the transformation.
The first question is obviously because the transformations form the linear transformation in $\mathbb R^n$. However what is the controllability in Math? And how can we prove that it is invariant under the transformation.
Any advice is helpful. Thank you.