Linear mapping/On finite dimensional space/Rank/Definition