{"id":24,"date":"2020-12-18T02:42:15","date_gmt":"2020-12-18T02:42:15","guid":{"rendered":"http:\/\/blog.metu.edu.tr\/e235505\/?p=24"},"modified":"2020-12-18T22:51:33","modified_gmt":"2020-12-18T22:51:33","slug":"a-proposition-about-determinants","status":"publish","type":"post","link":"https:\/\/blog.metu.edu.tr\/e235505\/2020\/12\/18\/a-proposition-about-determinants\/","title":{"rendered":"Det(A\u1d57)=Det(A)"},"content":{"rendered":"\n<p>Theorem: Let A be nxn matrix on real numbers, then<\/p>\n\n\n\n<p class=\"has-text-align-center\">Det(A\u1d57)=Det(A)<\/p>\n\n\n\n<p>Proof: Let e be any elementary row operation on nxn matrices. Then, define e&#8217; to be analogous column operation on nxn matrices. What do we mean by the word &#8220;analogous&#8221; here? Well, let&#8217;s say e multiplies r&#8217;th row by c and adds it to s&#8217;th row. Then, e&#8217; multiplies r&#8217;th column by c and adds it to s&#8217;th column. If e multiplies r&#8217;th row by c that isn&#8217;t zero, then e&#8217; multiplies r&#8217;th row by c. Then, there are some interesting consequences from this definition.<\/p>\n\n\n\n<p>Proposition-1: Let A be an nxn matrix on real numbers. Also, let e be any elementary row operation. Finally, define e&#8217; to be analogous column operation as defined above. Then,<\/p>\n\n\n\n<p class=\"has-text-align-center\">(e(A))<sup>t<\/sup>=e'(A\u1d57)<\/p>\n\n\n\n<p>Proof: <\/p>\n\n\n\n<p>   ero-1: Let<\/p>\n\n\n\n<p class=\"has-text-align-center\">(e(A))<sub>(i,j)<\/sub>={ A<sub>(i,j)<\/sub> if i\u2260r ; c*A<sub>(s,j)<\/sub>+A<sub>(i,j)<\/sub> if i=r}<\/p>\n\n\n\n<p>then <\/p>\n\n\n\n<p class=\"has-text-align-center\">(e(A))<sup>t<\/sup><sub>(j,i)<\/sub>={ A<sub>(i,j)<\/sub> if i\u2260r ; c*A<sub>(s,j)<\/sub>+A<sub>(i,j)<\/sub> if i=r}<\/p>\n\n\n\n<p class=\"has-text-align-left\">also<\/p>\n\n\n\n<p class=\"has-text-align-center\">(A)<sup>t<\/sup><sub>(j,i)<\/sub>={A<sub>(i,j)<\/sub>}<\/p>\n\n\n\n<p class=\"has-text-align-center\">(e'(A)<sup>t<\/sup>)<sub>(j,i)<\/sub>={A<sup>t<\/sup><sub>(j,i)<\/sub> if i\u2260r ; c*A<sup>t<\/sup><sub>(j,s)<\/sub>+A<sup>t<\/sup><sub>(j,i)<\/sub> if i=r}<\/p>\n\n\n\n<p>this equality becomes,<\/p>\n\n\n\n<p class=\"has-text-align-center\">(e'(A)<sup>t<\/sup>)<sub>(j,i)<\/sub>={A<sub>(i,j)<\/sub> if i\u2260r ; c*A<sub>(s,j)<\/sub>+A<sub>(i,j)<\/sub> if i=r}<\/p>\n\n\n\n<p class=\"has-text-align-left\">     ero-2: Let<\/p>\n\n\n\n<p class=\"has-text-align-center\">(e(A))<sub>(i,j)<\/sub>={ A<sub>(i,j)<\/sub> if i\u2260r ; c*A<sub>(i,j)<\/sub> if i=r and c\u22600}<\/p>\n\n\n\n<p>then <\/p>\n\n\n\n<p class=\"has-text-align-center\">(e(A))<sup>t<\/sup><sub>(j,i)<\/sub>={ A<sub>(i,j)<\/sub> if i\u2260r ; c*A<sub>(i,j)<\/sub> if i=r and c\u22600}<\/p>\n\n\n\n<p class=\"has-text-align-left\">also<\/p>\n\n\n\n<p class=\"has-text-align-center\">(A)<sup>t<\/sup><sub>(j,i)<\/sub>={A<sub>(i,j)<\/sub>}<\/p>\n\n\n\n<p class=\"has-text-align-center\">(e'(A)<sup>t<\/sup>)<sub>(j,i)<\/sub>={A<sup>t<\/sup><sub>(j,i)<\/sub> if i\u2260r ; c*A<sup>t<\/sup><sub>(j,i)<\/sub> if i=r and c\u22600}<\/p>\n\n\n\n<p>this equality becomes,<\/p>\n\n\n\n<p class=\"has-text-align-center\">(e'(A)<sup>t<\/sup>)<sub>(j,i)<\/sub>={A<sub>(i,j)<\/sub> if i\u2260r ; c*A<sub>(i,j)<\/sub> if i=r and c\u22600 }<\/p>\n\n\n\n<p class=\"has-text-align-left\">     ero-3: Let<\/p>\n\n\n\n<p class=\"has-text-align-center\">(e(A))<sub>(i,j)<\/sub>={ A<sub>(i,j)<\/sub> if i\u2260r,s ; A<sub>(s,j)<\/sub> if i=r ; A<sub>(r,j)<\/sub> if i=s}<\/p>\n\n\n\n<p>then <\/p>\n\n\n\n<p class=\"has-text-align-center\">(e(A))<sup>t<\/sup><sub>(j,i)<\/sub>={ A<sub>(i,j)<\/sub> if i\u2260r,s ; A<sub>(s,j)<\/sub> if i=r ; A<sub>(r,j)<\/sub> if i=s}<\/p>\n\n\n\n<p class=\"has-text-align-left\">also<\/p>\n\n\n\n<p class=\"has-text-align-center\">(A)<sup>t<\/sup><sub>(j,i)<\/sub>={A<sub>(i,j)<\/sub>}<\/p>\n\n\n\n<p class=\"has-text-align-center\">(e'(A)<sup>t<\/sup>)<sub>(j,i)<\/sub>={A<sup>t<\/sup><sub>(j,i)<\/sub> if i\u2260r ; A<sup>t<\/sup><sub>(s,i)<\/sub> if i=r ; A<sup>t<\/sup><sub>(r,i)<\/sub> if i=s}<\/p>\n\n\n\n<p>this equality becomes,<\/p>\n\n\n\n<p class=\"has-text-align-center\">(e'(A)<sup>t<\/sup>)<sub>(j,i)<\/sub>={A<sub>(i,j)<\/sub> if i\u2260r ; A<sub>(i,s)<\/sub> if i=r ; A<sub>(i,r)<\/sub> if i=s}<\/p>\n\n\n\n<p>So, proposition is proved.<\/p>\n\n\n\n<p>Proposition-2: Let A be any nxn matrix on real numbers. Let e be any elementary row operation. Also, let e&#8217; be analogous column operation. Then,<\/p>\n\n\n\n<p class=\"has-text-align-center\">e'(A)=A.(e'(I))<\/p>\n\n\n\n<p>Proof: Let A<\/p>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Theorem: Let A be nxn matrix on real numbers, then Det(A\u1d57)=Det(A) Proof: Let e be any elementary row operation on nxn matrices. Then, define e&#8217; to be analogous column operation on nxn matrices. What do we mean by the word &#8220;analogous&#8221; here? Well, let&#8217;s say e multiplies r&#8217;th row by c and adds it to &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/blog.metu.edu.tr\/e235505\/2020\/12\/18\/a-proposition-about-determinants\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Det(A\u1d57)=Det(A)&#8221;<\/span><\/a><\/p>\n","protected":false},"author":6755,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":"","_links_to":"","_links_to_target":""},"categories":[1],"tags":[],"class_list":["post-24","post","type-post","status-publish","format-standard","hentry","category-uncategorized","entry"],"_links":{"self":[{"href":"https:\/\/blog.metu.edu.tr\/e235505\/wp-json\/wp\/v2\/posts\/24","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.metu.edu.tr\/e235505\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.metu.edu.tr\/e235505\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/e235505\/wp-json\/wp\/v2\/users\/6755"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/e235505\/wp-json\/wp\/v2\/comments?post=24"}],"version-history":[{"count":0,"href":"https:\/\/blog.metu.edu.tr\/e235505\/wp-json\/wp\/v2\/posts\/24\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.metu.edu.tr\/e235505\/wp-json\/wp\/v2\/media?parent=24"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/e235505\/wp-json\/wp\/v2\/categories?post=24"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/e235505\/wp-json\/wp\/v2\/tags?post=24"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}