{"id":1246,"date":"2017-05-21T10:33:12","date_gmt":"2017-05-21T15:33:12","guid":{"rendered":"http:\/\/blog.espol.edu.ec\/matg1003\/?p=1246"},"modified":"2017-05-21T10:33:12","modified_gmt":"2017-05-21T15:33:12","slug":"cl2-06-bases-y-dimensiones","status":"publish","type":"post","link":"https:\/\/blog.espol.edu.ec\/matg1049\/cl2-06-bases-y-dimensiones\/","title":{"rendered":"cl2-06. Bases y Dimensiones"},"content":{"rendered":"<hr \/>\n<pre style=\"text-align: justify\"><strong>Definici\u00f3n.<\/strong> Se denomina <strong><em>base de un espacio vectorial <\/em><\/strong><span class=\"wp-katex-eq\" data-display=\"false\">V<\/span> a un subconjunto finito de vectores <span class=\"wp-katex-eq\" data-display=\"false\">\\small{A=\\left\\{v_1,v_2,...,v_n\\right\\}}<\/span>, si y solo si, <span class=\"wp-katex-eq\" data-display=\"false\">A<\/span> es linealmente independiente y es un conjunto generador de <span class=\"wp-katex-eq\" data-display=\"false\">V<\/span>.<\/pre>\n<p style=\"text-align: justify\"><strong>Observaci\u00f3n.<\/strong> Cada espacio vectorial puede tener diferentes bases, pero todas las bases siempre tendr\u00e1n el mismo n\u00famero de vectores.<\/p>\n<pre style=\"text-align: justify\"><strong>Ejemplo.<\/strong> Sean <span class=\"wp-katex-eq\" data-display=\"false\">\\small{f(x)=x^2+1}<\/span>, <span class=\"wp-katex-eq\" data-display=\"false\">\\small{g(x)=3x-1}<\/span> y <span class=\"wp-katex-eq\" data-display=\"false\">\\small{h(x)=-4x+1}<\/span>, demuestre que <span class=\"wp-katex-eq\" data-display=\"false\">\\small{H=\\left\\{f,g,h\\right\\}}<\/span> es una base para el espacio vectorial de los polinomios de grado menor o igual a dos, <span class=\"wp-katex-eq\" data-display=\"false\">\\mathcal{P}_2<\/span>.<\/pre>\n<p style=\"text-align: justify\"><strong>Soluci\u00f3n.<\/strong> Primero se prueba el criterio de independencia lineal, por lo que se plantea la siguiente igualdad<span class=\"wp-katex-eq katex-display\" data-display=\"true\">\\begin{array}{rcl}\\alpha_1 f(x)+\\alpha_2 g(x)+\\alpha_3 h(x) &amp;=&amp; n \\\\ \\alpha_1 f(x)+\\alpha_2 g(x)+\\alpha_3 h(x) &amp;=&amp; 0x^2+0x+0\\\\ \\alpha_1 (x^2+1)+\\alpha_2 (3x-1)+\\alpha_3 (-4x+1) &amp;=&amp; 0x^2+0x+0 \\\\ \\alpha_1 x^2+\\alpha_1 + 3\\alpha_2 x - \\alpha_2 - 4\\alpha_3 x + \\alpha_3 &amp;=&amp; 0x^2+0x+0 \\\\ \\alpha_1 x^2+(3\\alpha_2 - 4\\alpha_3)x+(\\alpha_1 -\\alpha_2+\\alpha_3) &amp;=&amp; 0x^2+0x+0\\end{array}<\/span>Esto implica que<span class=\"wp-katex-eq katex-display\" data-display=\"true\">\\left\\{ \\begin{array}{rcl}\\alpha_1 &amp;=&amp;0 \\\\ 3\\alpha_2 -4\\alpha_3&amp;=&amp;0 \\\\ \\alpha_1 - \\alpha_2 + \\alpha_3 &amp;=&amp;0 \\end{array}\\right.<\/span>Al resolver el sistema se tiene que \u00e9ste tiene soluci\u00f3n \u00fanica y esta dada por <span class=\"wp-katex-eq\" data-display=\"false\">\\alpha_1=\\alpha_2=\\alpha_3=0<\/span>; es decir, la igualdad <span class=\"wp-katex-eq\" data-display=\"false\">\\alpha_1 f(x)+\\alpha_2 g(x)+\\alpha_3 h(x)=0<\/span> se cunple solo si <span class=\"wp-katex-eq\" data-display=\"false\">\\alpha_1=\\alpha_2=\\alpha_3<\/span>. Por tanto, el conjunto <span class=\"wp-katex-eq\" data-display=\"false\">\\small{H=\\left\\{f,g,h\\right\\}}<\/span> es linealmente independiente en <span class=\"wp-katex-eq\" data-display=\"false\">\\wp_2<\/span>.<\/p>\n<p style=\"text-align: justify\">Ahora se verifica que el conjunto <span class=\"wp-katex-eq\" data-display=\"false\">H<\/span> genere a todo <span class=\"wp-katex-eq\" data-display=\"false\">\\wp_2<\/span>. Para esto, se considera <span class=\"wp-katex-eq\" data-display=\"false\">p(x)=ax^2 +bx+c<\/span> y escalares <span class=\"wp-katex-eq\" data-display=\"false\">\\alpha_1<\/span>, <span class=\"wp-katex-eq\" data-display=\"false\">\\alpha_2<\/span> y <span class=\"wp-katex-eq\" data-display=\"false\">\\alpha_3<\/span> tales que <span class=\"wp-katex-eq katex-display\" data-display=\"true\">\\begin{array}{rcl}p(x)&amp;=&amp;\\alpha_1 f(x)+\\alpha_2 g(x)+\\alpha_3 h(x) \\\\ &amp;=&amp;\\alpha_1 x^2+(3\\alpha_2 -4\\alpha_3)x+(\\alpha_1 -\\alpha_2+\\alpha_3) \\end{array}<\/span>Lo cual genera el sistema<span class=\"wp-katex-eq katex-display\" data-display=\"true\">\\left\\{ \\begin{array}{rcl}\\alpha_1&amp;=&amp;a \\\\ 3\\alpha_2-4\\alpha_3&amp;=&amp;b \\\\\\alpha_1-\\alpha_2+\\alpha_3&amp;=&amp;c \\end{array}\\right.<\/span>Al analizar el sistema, se tiene que siempre tiene soluci\u00f3n pues la matriz adjunta del mismo es <span class=\"wp-katex-eq katex-display\" data-display=\"true\">(A|B)=\\left(\\begin{array}{rrr|r} 1 &amp; 0 &amp; 0&amp;a\\\\ 0 &amp; 3 &amp; -4&amp;b\\\\ 1 &amp; -1 &amp; 1&amp;c \\end{array}\\right)<\/span>que en forma escalonada reducida es<span class=\"wp-katex-eq katex-display\" data-display=\"true\">(A|B)=\\left(\\begin{array}{rrr|c} 1 &amp; 0 &amp; 0&amp;a\\\\ 0 &amp; 3 &amp; -4&amp;4a-b-4c\\\\ 1 &amp; -1 &amp; 1&amp;3a-b-3c \\end{array}\\right)<\/span>Entonces <span class=\"wp-katex-eq\" data-display=\"false\">\\rho(A|B)=\\rho(A)=3<\/span>. Luego como el sistema siempre tiene soluci\u00f3n, independientemente de los valores de <span class=\"wp-katex-eq\" data-display=\"false\">a<\/span>, <span class=\"wp-katex-eq\" data-display=\"false\">b<\/span> y <span class=\"wp-katex-eq\" data-display=\"false\">c<\/span> se concluye que el sistema es consistente; adem\u00e1s, su \u00fanica soluci\u00f3n es <span class=\"wp-katex-eq\" data-display=\"false\">\\alpha_1=a<\/span>, <span class=\"wp-katex-eq\" data-display=\"false\">\\alpha_2=4a-b-4c<\/span> y <span class=\"wp-katex-eq\" data-display=\"false\">\\alpha_3=3a-b-3c<\/span>. En consecuencia, cualquier polinomio <span class=\"wp-katex-eq\" data-display=\"false\">p(x)=ax^2 +bx+c<\/span> en <span class=\"wp-katex-eq\" data-display=\"false\">\\wp_2<\/span> puede ser expresado como combinaci\u00f3n lineal de los polinomios <span class=\"wp-katex-eq\" data-display=\"false\">\\small{f(x)=x^2+1}<\/span>, <span class=\"wp-katex-eq\" data-display=\"false\">\\small{g(x)=3x-1}<\/span> y <span class=\"wp-katex-eq\" data-display=\"false\">\\small{h(x)=-4x+1}<\/span>, es decir, <span class=\"wp-katex-eq\" data-display=\"false\">\\small{\\wp_2=gen\\left\\{f,g,h\\right\\}}<\/span>.<\/p>\n<p style=\"text-align: justify\"><em>Por consiguiente, dado que <span class=\"wp-katex-eq\" data-display=\"false\">H<\/span> es linealmente independiente y es un conjunto generador de los polinomios de grado menor o igual a dos, entonces <span class=\"wp-katex-eq\" data-display=\"false\">H<\/span> es una base para <span class=\"wp-katex-eq\" data-display=\"false\">\\wp_2<\/span>.<\/em><\/p>\n<p style=\"text-align: justify\">\u00a0<\/p>\n<pre style=\"text-align: justify\"><strong>Definici\u00f3n.<\/strong> Si el espacio vectorial <span class=\"wp-katex-eq\" data-display=\"false\">V<\/span> tiene una base con un n\u00famero finito de elementos, entonces la dimensi\u00f3n de <span class=\"wp-katex-eq\" data-display=\"false\">V<\/span> es el n\u00famero de vectores en todas las bases y <span class=\"wp-katex-eq\" data-display=\"false\">V<\/span> se denomina espacio vectorial de dimensi\u00f3n finita. De otra manera, <span class=\"wp-katex-eq\" data-display=\"false\">V<\/span> se denomina espacio vectorial de dimensi\u00f3n infinita. Si <span class=\"wp-katex-eq\" data-display=\"false\">V=\\left \\{ 0_V\\right\\}<\/span> (neutro del espacio), entonces se dice que <span class=\"wp-katex-eq\" data-display=\"false\">V<\/span> tiene dimensi\u00f3n cero.<\/pre>\n<p style=\"text-align: justify\"><strong>Notaci\u00f3n.<\/strong> La dimensi\u00f3n <span class=\"wp-katex-eq\" data-display=\"false\">V<\/span> se denota por <span class=\"wp-katex-eq\" data-display=\"false\">dim\\ V<\/span>.<\/p>\n<p style=\"text-align: justify\">La dimensi\u00f3n de algunos espacios vectoriales (sin restricciones) pueden determinarse conforme a la siguientes regla:<span class=\"wp-katex-eq katex-display\" data-display=\"true\">\\begin{array}{rcl}dim\\ \\mathbb{R^n}&amp;=&amp;n \\\\ dim\\ \\wp_n&amp;=&amp;n+1\\\\ dim\\ \\mathbb{M_{m\\times n}}&amp;=&amp;m\\times n\\end{array}<\/span><\/p>\n<hr \/>\n<p><strong>Enlaces de inter\u00e9s<\/strong><\/p>\n<pre><a href=\"http:\/\/blog.espol.edu.ec\/matg1003\/videos-semana-05\/\">Clase Online<\/a>\n<a href=\"https:\/\/www.sidweb.espol.edu.ec\/\" target=\"_blank\" rel=\"noopener noreferrer\">Plataforma SIDWeb<\/a>\n<a href=\"http:\/\/blog.espol.edu.ec\/matg1003\/referencias-bibliograficas\/\">Referencias Bibliogr\u00e1ficas<\/a><\/pre>\n","protected":false},"excerpt":{"rendered":"<p>Definici\u00f3n. Se denomina base de un espacio vectorial a un subconjunto finito de vectores , si y solo si, es linealmente independiente y es un conjunto generador de . Observaci\u00f3n. Cada espacio vectorial puede tener diferentes bases, pero todas las bases siempre tendr\u00e1n el mismo n\u00famero de vectores. Ejemplo. Sean , y , demuestre que &hellip; <a href=\"https:\/\/blog.espol.edu.ec\/matg1049\/cl2-06-bases-y-dimensiones\/\" class=\"more-link\">Sigue leyendo <span class=\"screen-reader-text\">cl2-06. Bases y Dimensiones<\/span><\/a><\/p>\n","protected":false},"author":609,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"footnotes":""},"categories":[1414633],"tags":[],"class_list":["post-1246","post","type-post","status-publish","format-standard","hentry","category-temas-1ra-evaluacion"],"aioseo_notices":[],"_links":{"self":[{"href":"https:\/\/blog.espol.edu.ec\/matg1049\/wp-json\/wp\/v2\/posts\/1246","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.espol.edu.ec\/matg1049\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.espol.edu.ec\/matg1049\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.espol.edu.ec\/matg1049\/wp-json\/wp\/v2\/users\/609"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.espol.edu.ec\/matg1049\/wp-json\/wp\/v2\/comments?post=1246"}],"version-history":[{"count":0,"href":"https:\/\/blog.espol.edu.ec\/matg1049\/wp-json\/wp\/v2\/posts\/1246\/revisions"}],"wp:attachment":[{"href":"https:\/\/blog.espol.edu.ec\/matg1049\/wp-json\/wp\/v2\/media?parent=1246"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.espol.edu.ec\/matg1049\/wp-json\/wp\/v2\/categories?post=1246"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.espol.edu.ec\/matg1049\/wp-json\/wp\/v2\/tags?post=1246"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}