Given a set for generators of a subspace of $R^n$, is it always possible to extend it to form a base of...
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
add a comment |
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
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
add a comment |
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
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
linear-algebra
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
add a comment |
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
add a comment |
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
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
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.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
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