{"id":8,"date":"2020-11-29T15:02:42","date_gmt":"2020-11-29T15:02:42","guid":{"rendered":"http:\/\/blog.metu.edu.tr\/e235505\/?p=8"},"modified":"2020-11-29T16:58:24","modified_gmt":"2020-11-29T16:58:24","slug":"fifth-axiom-of-vector-spaces-can-be-slightly-changed","status":"publish","type":"post","link":"https:\/\/blog.metu.edu.tr\/e235505\/2020\/11\/29\/fifth-axiom-of-vector-spaces-can-be-slightly-changed\/","title":{"rendered":"Fifth axiom of vector spaces can be slightly changed"},"content":{"rendered":"\n<p>Let S be a Vector Space which consists of V (set of vectors) and F (field). Fifth axiom of <strong>vector spaces <\/strong>states that<\/p>\n\n\n\n<p class=\"has-text-align-center\"><strong>1<\/strong>\u2217\u03b1=\u03b1<\/p>\n\n\n\n<p>where <strong>1<\/strong> \u2208 F and \u03b1 \u2208 V. <\/p>\n\n\n\n<p>We can change this axiom as follows; there is an element, b, in F such that<\/p>\n\n\n\n<p class=\"has-text-align-center\">b*\u03b1=\u03b1<\/p>\n\n\n\n<p>Now, we can prove that for any vector space (with slightly different axiom), b can be replaced by <strong>1<\/strong>. <\/p>\n\n\n\n<p>Proposition: b can be replaced by <strong>1<\/strong>. In fact, if V has some non-zero vectors and S is a vector space, then b must be <strong>1<\/strong>.<\/p>\n\n\n\n<p>Proof: If V has only zero vector, then <\/p>\n\n\n\n<p class=\"has-text-align-center\">b*0=0<\/p>\n\n\n\n<p>for every b \u2208 F, particularly for b=<strong>1<\/strong><\/p>\n\n\n\n<p>If V has some non-zero vectors and for every \u03b1 \u2208 V <\/p>\n\n\n\n<p class=\"has-text-align-center\">b*\u03b1=\u03b1<\/p>\n\n\n\n<p>then b must be equal to <strong>1<\/strong>. Since there is at least one non-zero vector, <\/p>\n\n\n\n<p class=\"has-text-align-center\">b\u22600<\/p>\n\n\n\n<p>From another axiom of vector spaces, we know that<\/p>\n\n\n\n<p class=\"has-text-align-center\">c<sub>1<\/sub>\u2217c<sub>2<\/sub>(\u03b1)=c<sub>1<\/sub>(c<sub>2<\/sub>\u03b1)<\/p>\n\n\n\n<p>Since b\u22600, below equalities are valid<\/p>\n\n\n\n<p class=\"has-text-align-center\">(b<sup>-1<\/sup>\u2217b)\u03b1=<strong>1<\/strong>\u03b1<\/p>\n\n\n\n<p class=\"has-text-align-center\">b<sup>-1<\/sup>(b\u03b1)=b<sup>-1<\/sup>\u03b1<\/p>\n\n\n\n<p>then,<\/p>\n\n\n\n<p class=\"has-text-align-center\"><strong>1<\/strong>\u03b1=b<sup>-1<\/sup>\u03b1<\/p>\n\n\n\n<p class=\"has-text-align-center\">(<strong>1<\/strong>-b<sup>-1<\/sup>)\u03b1=0<\/p>\n\n\n\n<p>since this is true for even non-zero vectors in S,<\/p>\n\n\n\n<p class=\"has-text-align-center\"><strong>1<\/strong>-b<sup>-1<\/sup>=0<\/p>\n\n\n\n<p class=\"has-text-align-center\"><strong>1<\/strong>=b<sup>-1<\/sup><\/p>\n\n\n\n<p class=\"has-text-align-center\">b=<strong>1<\/strong><\/p>\n\n\n\n<p><\/p>\n\n\n\n<p>What does this proposition mean? It means that every vector space in which  fifth axiom is slightly different is &#8220;normal&#8221; vector space.<\/p>\n\n\n\n<p><\/p>\n","protected":false},"excerpt":{"rendered":"<p>Let S be a Vector Space which consists of V (set of vectors) and F (field). Fifth axiom of vector spaces states that 1\u2217\u03b1=\u03b1 where 1 \u2208 F and \u03b1 \u2208 V. We can change this axiom as follows; there is an element, b, in F such that b*\u03b1=\u03b1 Now, we can prove that for &hellip; <\/p>\n<p class=\"link-more\"><a href=\"https:\/\/blog.metu.edu.tr\/e235505\/2020\/11\/29\/fifth-axiom-of-vector-spaces-can-be-slightly-changed\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\"> &#8220;Fifth axiom of vector spaces can be slightly changed&#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":[3,2],"tags":[],"class_list":["post-8","post","type-post","status-publish","format-standard","hentry","category-linear-algebra","category-vector-spaces","entry"],"_links":{"self":[{"href":"https:\/\/blog.metu.edu.tr\/e235505\/wp-json\/wp\/v2\/posts\/8","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=8"}],"version-history":[{"count":0,"href":"https:\/\/blog.metu.edu.tr\/e235505\/wp-json\/wp\/v2\/posts\/8\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.metu.edu.tr\/e235505\/wp-json\/wp\/v2\/media?parent=8"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/e235505\/wp-json\/wp\/v2\/categories?post=8"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.metu.edu.tr\/e235505\/wp-json\/wp\/v2\/tags?post=8"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}