Given a set for generators of a subspace of $R^n$, is it always possible to extend it to form a base of...












1














In my heart I feel it is always possible, but the subject of an exercise makes me doubt.



It has two subspaces:



$S_1 = langle(1,-1,2,1),(2,-3,3,-1),(-1,2,-1,2)rangle$



$S_2 = langle(2,-3,1,4,1), (2,-3,3,-1,1),(1,0,-1,3,1),(1,0,-3,2,1)rangle$



It says to find base for $S_1$ and $S_2$, which I did.
then it says extend, if possible the set of generators to form a base of $mathbb{R}^4$ and $mathbb{R}^5$ respectively.



It is my understanding that when you have a n-tuple for a space of $mathbb{R}^n$ then you can always fill the missing generators. Am I right?



I understand it would not be possible for example to form a base of $mathbb{R}^4$ with vectors having only 3 components.










share|cite|improve this question




















  • 1




    A rather important theorem in linear algebra states that any linearly independent set in a linear space can be extended to a base of the space, so yes: you can always extend a basis of a subspace to a basis of the whole space
    – DonAntonio
    Nov 20 '18 at 0:48






  • 1




    You can think of vectors with 3 components in $mathbb{R}^4$ as having its 4th entry 0. Then you can extend to a basis for $mathbb{R}^4$.
    – mathnoob
    Nov 20 '18 at 0:52










  • Here is a small silly example: $(1,0,0),(0,1,0)$ forms a basis for a subspace of $Bbb R^3$. You can extend that basis by including an additional linearly independent vector (or vectors) to it, for example $(0,0,1)$, in order to make a basis for $Bbb R^3$.
    – JMoravitz
    Nov 20 '18 at 0:53










  • Of course in my silly example, and in your examples, there are infinitely many correct answers. I could have extended the basis by instead including $(1,1,1)$ or $(pi, e, sqrt{2})$ or any other valid choice so long as it was linearly independent. The question is effectively "can you find a vector from $Bbb R^n$ which is linearly independent to your list of basis vectors that you already have" and recognizing that if you were to look at the span of all of your vectors, your original basis and whatever vector(s) you choose to include, that it spans the entirety of $Bbb R^n$.
    – JMoravitz
    Nov 20 '18 at 0:56










  • The “if possible” takes into account the possibility that the initial set of vectors is not linearly independent.
    – amd
    Nov 21 '18 at 1:21
















1














In my heart I feel it is always possible, but the subject of an exercise makes me doubt.



It has two subspaces:



$S_1 = langle(1,-1,2,1),(2,-3,3,-1),(-1,2,-1,2)rangle$



$S_2 = langle(2,-3,1,4,1), (2,-3,3,-1,1),(1,0,-1,3,1),(1,0,-3,2,1)rangle$



It says to find base for $S_1$ and $S_2$, which I did.
then it says extend, if possible the set of generators to form a base of $mathbb{R}^4$ and $mathbb{R}^5$ respectively.



It is my understanding that when you have a n-tuple for a space of $mathbb{R}^n$ then you can always fill the missing generators. Am I right?



I understand it would not be possible for example to form a base of $mathbb{R}^4$ with vectors having only 3 components.










share|cite|improve this question




















  • 1




    A rather important theorem in linear algebra states that any linearly independent set in a linear space can be extended to a base of the space, so yes: you can always extend a basis of a subspace to a basis of the whole space
    – DonAntonio
    Nov 20 '18 at 0:48






  • 1




    You can think of vectors with 3 components in $mathbb{R}^4$ as having its 4th entry 0. Then you can extend to a basis for $mathbb{R}^4$.
    – mathnoob
    Nov 20 '18 at 0:52










  • Here is a small silly example: $(1,0,0),(0,1,0)$ forms a basis for a subspace of $Bbb R^3$. You can extend that basis by including an additional linearly independent vector (or vectors) to it, for example $(0,0,1)$, in order to make a basis for $Bbb R^3$.
    – JMoravitz
    Nov 20 '18 at 0:53










  • Of course in my silly example, and in your examples, there are infinitely many correct answers. I could have extended the basis by instead including $(1,1,1)$ or $(pi, e, sqrt{2})$ or any other valid choice so long as it was linearly independent. The question is effectively "can you find a vector from $Bbb R^n$ which is linearly independent to your list of basis vectors that you already have" and recognizing that if you were to look at the span of all of your vectors, your original basis and whatever vector(s) you choose to include, that it spans the entirety of $Bbb R^n$.
    – JMoravitz
    Nov 20 '18 at 0:56










  • The “if possible” takes into account the possibility that the initial set of vectors is not linearly independent.
    – amd
    Nov 21 '18 at 1:21














1












1








1







In my heart I feel it is always possible, but the subject of an exercise makes me doubt.



It has two subspaces:



$S_1 = langle(1,-1,2,1),(2,-3,3,-1),(-1,2,-1,2)rangle$



$S_2 = langle(2,-3,1,4,1), (2,-3,3,-1,1),(1,0,-1,3,1),(1,0,-3,2,1)rangle$



It says to find base for $S_1$ and $S_2$, which I did.
then it says extend, if possible the set of generators to form a base of $mathbb{R}^4$ and $mathbb{R}^5$ respectively.



It is my understanding that when you have a n-tuple for a space of $mathbb{R}^n$ then you can always fill the missing generators. Am I right?



I understand it would not be possible for example to form a base of $mathbb{R}^4$ with vectors having only 3 components.










share|cite|improve this question















In my heart I feel it is always possible, but the subject of an exercise makes me doubt.



It has two subspaces:



$S_1 = langle(1,-1,2,1),(2,-3,3,-1),(-1,2,-1,2)rangle$



$S_2 = langle(2,-3,1,4,1), (2,-3,3,-1,1),(1,0,-1,3,1),(1,0,-3,2,1)rangle$



It says to find base for $S_1$ and $S_2$, which I did.
then it says extend, if possible the set of generators to form a base of $mathbb{R}^4$ and $mathbb{R}^5$ respectively.



It is my understanding that when you have a n-tuple for a space of $mathbb{R}^n$ then you can always fill the missing generators. Am I right?



I understand it would not be possible for example to form a base of $mathbb{R}^4$ with vectors having only 3 components.







linear-algebra






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Nov 20 '18 at 1:08









mathnoob

1,799422




1,799422










asked Nov 20 '18 at 0:45









JorgeeFG

2661315




2661315








  • 1




    A rather important theorem in linear algebra states that any linearly independent set in a linear space can be extended to a base of the space, so yes: you can always extend a basis of a subspace to a basis of the whole space
    – DonAntonio
    Nov 20 '18 at 0:48






  • 1




    You can think of vectors with 3 components in $mathbb{R}^4$ as having its 4th entry 0. Then you can extend to a basis for $mathbb{R}^4$.
    – mathnoob
    Nov 20 '18 at 0:52










  • Here is a small silly example: $(1,0,0),(0,1,0)$ forms a basis for a subspace of $Bbb R^3$. You can extend that basis by including an additional linearly independent vector (or vectors) to it, for example $(0,0,1)$, in order to make a basis for $Bbb R^3$.
    – JMoravitz
    Nov 20 '18 at 0:53










  • Of course in my silly example, and in your examples, there are infinitely many correct answers. I could have extended the basis by instead including $(1,1,1)$ or $(pi, e, sqrt{2})$ or any other valid choice so long as it was linearly independent. The question is effectively "can you find a vector from $Bbb R^n$ which is linearly independent to your list of basis vectors that you already have" and recognizing that if you were to look at the span of all of your vectors, your original basis and whatever vector(s) you choose to include, that it spans the entirety of $Bbb R^n$.
    – JMoravitz
    Nov 20 '18 at 0:56










  • The “if possible” takes into account the possibility that the initial set of vectors is not linearly independent.
    – amd
    Nov 21 '18 at 1:21














  • 1




    A rather important theorem in linear algebra states that any linearly independent set in a linear space can be extended to a base of the space, so yes: you can always extend a basis of a subspace to a basis of the whole space
    – DonAntonio
    Nov 20 '18 at 0:48






  • 1




    You can think of vectors with 3 components in $mathbb{R}^4$ as having its 4th entry 0. Then you can extend to a basis for $mathbb{R}^4$.
    – mathnoob
    Nov 20 '18 at 0:52










  • Here is a small silly example: $(1,0,0),(0,1,0)$ forms a basis for a subspace of $Bbb R^3$. You can extend that basis by including an additional linearly independent vector (or vectors) to it, for example $(0,0,1)$, in order to make a basis for $Bbb R^3$.
    – JMoravitz
    Nov 20 '18 at 0:53










  • Of course in my silly example, and in your examples, there are infinitely many correct answers. I could have extended the basis by instead including $(1,1,1)$ or $(pi, e, sqrt{2})$ or any other valid choice so long as it was linearly independent. The question is effectively "can you find a vector from $Bbb R^n$ which is linearly independent to your list of basis vectors that you already have" and recognizing that if you were to look at the span of all of your vectors, your original basis and whatever vector(s) you choose to include, that it spans the entirety of $Bbb R^n$.
    – JMoravitz
    Nov 20 '18 at 0:56










  • The “if possible” takes into account the possibility that the initial set of vectors is not linearly independent.
    – amd
    Nov 21 '18 at 1:21








1




1




A rather important theorem in linear algebra states that any linearly independent set in a linear space can be extended to a base of the space, so yes: you can always extend a basis of a subspace to a basis of the whole space
– DonAntonio
Nov 20 '18 at 0:48




A rather important theorem in linear algebra states that any linearly independent set in a linear space can be extended to a base of the space, so yes: you can always extend a basis of a subspace to a basis of the whole space
– DonAntonio
Nov 20 '18 at 0:48




1




1




You can think of vectors with 3 components in $mathbb{R}^4$ as having its 4th entry 0. Then you can extend to a basis for $mathbb{R}^4$.
– mathnoob
Nov 20 '18 at 0:52




You can think of vectors with 3 components in $mathbb{R}^4$ as having its 4th entry 0. Then you can extend to a basis for $mathbb{R}^4$.
– mathnoob
Nov 20 '18 at 0:52












Here is a small silly example: $(1,0,0),(0,1,0)$ forms a basis for a subspace of $Bbb R^3$. You can extend that basis by including an additional linearly independent vector (or vectors) to it, for example $(0,0,1)$, in order to make a basis for $Bbb R^3$.
– JMoravitz
Nov 20 '18 at 0:53




Here is a small silly example: $(1,0,0),(0,1,0)$ forms a basis for a subspace of $Bbb R^3$. You can extend that basis by including an additional linearly independent vector (or vectors) to it, for example $(0,0,1)$, in order to make a basis for $Bbb R^3$.
– JMoravitz
Nov 20 '18 at 0:53












Of course in my silly example, and in your examples, there are infinitely many correct answers. I could have extended the basis by instead including $(1,1,1)$ or $(pi, e, sqrt{2})$ or any other valid choice so long as it was linearly independent. The question is effectively "can you find a vector from $Bbb R^n$ which is linearly independent to your list of basis vectors that you already have" and recognizing that if you were to look at the span of all of your vectors, your original basis and whatever vector(s) you choose to include, that it spans the entirety of $Bbb R^n$.
– JMoravitz
Nov 20 '18 at 0:56




Of course in my silly example, and in your examples, there are infinitely many correct answers. I could have extended the basis by instead including $(1,1,1)$ or $(pi, e, sqrt{2})$ or any other valid choice so long as it was linearly independent. The question is effectively "can you find a vector from $Bbb R^n$ which is linearly independent to your list of basis vectors that you already have" and recognizing that if you were to look at the span of all of your vectors, your original basis and whatever vector(s) you choose to include, that it spans the entirety of $Bbb R^n$.
– JMoravitz
Nov 20 '18 at 0:56












The “if possible” takes into account the possibility that the initial set of vectors is not linearly independent.
– amd
Nov 21 '18 at 1:21




The “if possible” takes into account the possibility that the initial set of vectors is not linearly independent.
– amd
Nov 21 '18 at 1:21















active

oldest

votes











Your Answer





StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");

StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});

function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});


}
});














draft saved

draft discarded


















StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3005766%2fgiven-a-set-for-generators-of-a-subspace-of-rn-is-it-always-possible-to-exte%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown






























active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes
















draft saved

draft discarded




















































Thanks for contributing an answer to Mathematics Stack Exchange!


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.





Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


Please pay close attention to the following guidance:


  • Please be sure to answer the question. Provide details and share your research!

But avoid



  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3005766%2fgiven-a-set-for-generators-of-a-subspace-of-rn-is-it-always-possible-to-exte%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

MongoDB - Not Authorized To Execute Command

How to fix TextFormField cause rebuild widget in Flutter

in spring boot 2.1 many test slices are not allowed anymore due to multiple @BootstrapWith