For this tripotent linear operator, the relation gives . Since , there is with , and that nonzero vector belongs to . Hence . Also , because would imply . The rank-nullity theorem in dimension three therefore givesNow suppose . Then is a line. On this line, is the identity operator: if , then . Consequently acts on this line by a scalar satisfying . If , then for every , contrary to . Thus .
Articles by others on the same topic
There are currently no matching articles.