What does a “linear space of all continuous functions from R to R” mean?
$begingroup$
So far, I have learned that linear spaces are defined by vectors or tensors and the span of linearly independent vectors produces a vector space.
But, check this question out:
Let $C(mathbb{R})$ be the linear space of all continuous functions from $mathbb{R}$ to $mathbb{R}$. Let $S$ be the set of differentiable functions $u(x)$ that satisfy the differential equation $u' = 2xu + c$
for all real $x$. For which value(s) of the real constant $c$ is this set a linear subspace of $C(mathbb{R})$?
Here, what does the phrase "linear space of all continuous functions" mean?
linear-algebra abstract-algebra statistics discrete-mathematics
$endgroup$
add a comment |
$begingroup$
So far, I have learned that linear spaces are defined by vectors or tensors and the span of linearly independent vectors produces a vector space.
But, check this question out:
Let $C(mathbb{R})$ be the linear space of all continuous functions from $mathbb{R}$ to $mathbb{R}$. Let $S$ be the set of differentiable functions $u(x)$ that satisfy the differential equation $u' = 2xu + c$
for all real $x$. For which value(s) of the real constant $c$ is this set a linear subspace of $C(mathbb{R})$?
Here, what does the phrase "linear space of all continuous functions" mean?
linear-algebra abstract-algebra statistics discrete-mathematics
$endgroup$
add a comment |
$begingroup$
So far, I have learned that linear spaces are defined by vectors or tensors and the span of linearly independent vectors produces a vector space.
But, check this question out:
Let $C(mathbb{R})$ be the linear space of all continuous functions from $mathbb{R}$ to $mathbb{R}$. Let $S$ be the set of differentiable functions $u(x)$ that satisfy the differential equation $u' = 2xu + c$
for all real $x$. For which value(s) of the real constant $c$ is this set a linear subspace of $C(mathbb{R})$?
Here, what does the phrase "linear space of all continuous functions" mean?
linear-algebra abstract-algebra statistics discrete-mathematics
$endgroup$
So far, I have learned that linear spaces are defined by vectors or tensors and the span of linearly independent vectors produces a vector space.
But, check this question out:
Let $C(mathbb{R})$ be the linear space of all continuous functions from $mathbb{R}$ to $mathbb{R}$. Let $S$ be the set of differentiable functions $u(x)$ that satisfy the differential equation $u' = 2xu + c$
for all real $x$. For which value(s) of the real constant $c$ is this set a linear subspace of $C(mathbb{R})$?
Here, what does the phrase "linear space of all continuous functions" mean?
linear-algebra abstract-algebra statistics discrete-mathematics
linear-algebra abstract-algebra statistics discrete-mathematics
edited Jan 22 at 9:20


Yuval Gat
572213
572213
asked Jan 22 at 9:00
Chirag RajuChirag Raju
1
1
add a comment |
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
Addition and scalar multiplication are the usual operations on functions. A set of real functions on $mathbb R$ functions is a vector space of it is closed under addition and scalar multiplication. In this case the zero function belongs to the space only if $c=0$. And if $c=0$ the set of solutions of the DE are closed under addition and scalar multiplication so it is a vector space. [ $u'=2xu,v'=2xv$ imply $(u+v)'=2x(u+v)$ and $(au)'=2x(au)$ ].
$endgroup$
$begingroup$
How did we determine c=0?
$endgroup$
– Chirag Raju
Jan 22 at 9:14
1
$begingroup$
@ChiragRaju The zero element is the function $u$ defined by $u(x)=0$ for all $x$. If this belongs to the given set then the equation $u'=2xu+c$ give $0=0+c$. Hence $c=0$.
$endgroup$
– Kavi Rama Murthy
Jan 22 at 9:18
add a comment |
$begingroup$
Here "linear space" is used synonymous for "vector space", you consider the set of all continuous functions $Bbb RtoBbb R$ with the addition of functions defined by
$$(f+g)(x) = f(x) + g(x)$$
and scalar multiples of functions defined by
$$(lambda cdot f)(x) = lambdacdot f(x).$$
Now in this vector space you have to figure out for each $cinmathbb R$ if the set of all differentiable $ucolon Bbb RtoBbb R$ satisfying the differential equation $u'=2xu+c$ is a subspace, that is, is it non-empty and closed under addition of functions and taking scalar multiples of functions?
$endgroup$
$begingroup$
Thank you!! could you tell me how to proceed with the problem? after integrating by parts the LHS : u'- 2xu, we get a c* exp(-x^2) on the RHS. How do I proceed from there?
$endgroup$
– Chirag Raju
Jan 22 at 9:12
$begingroup$
You don't actually need to solve the differential equation. You only need to check if the solutions satisfy the property of being a linear subspace. For example every linear subspace contains the zero vector which already tells you a lot about what values of $c$ are possible, see Kavi's answer.
$endgroup$
– Christoph
Jan 22 at 11:01
add a comment |
$begingroup$
Note that you do not need to solve the d.e. to answer this question.
Just suppose that you have two functions $f$ and $g$ which you know are in $S$. So you know that
$f'=2xf+c\g'=2xg+c$
Then if $S$ is a linear subspace you need $lambda f$ to be in $S$ for any $lambda in mathbb{R}$. So you need to have
$(lambda f)' = 2x lambda f + c$
but $(lambda f)' = lambda f' = lambda(2xf+c)=2xlambda f + lambda c$, so this can only work for any $lambda$ if $c=0$.
Similarly, $f+g$ will only be in $S$ if $c=0$.
$endgroup$
add a comment |
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%2f3082902%2fwhat-does-a-linear-space-of-all-continuous-functions-from-r-to-r-mean%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Addition and scalar multiplication are the usual operations on functions. A set of real functions on $mathbb R$ functions is a vector space of it is closed under addition and scalar multiplication. In this case the zero function belongs to the space only if $c=0$. And if $c=0$ the set of solutions of the DE are closed under addition and scalar multiplication so it is a vector space. [ $u'=2xu,v'=2xv$ imply $(u+v)'=2x(u+v)$ and $(au)'=2x(au)$ ].
$endgroup$
$begingroup$
How did we determine c=0?
$endgroup$
– Chirag Raju
Jan 22 at 9:14
1
$begingroup$
@ChiragRaju The zero element is the function $u$ defined by $u(x)=0$ for all $x$. If this belongs to the given set then the equation $u'=2xu+c$ give $0=0+c$. Hence $c=0$.
$endgroup$
– Kavi Rama Murthy
Jan 22 at 9:18
add a comment |
$begingroup$
Addition and scalar multiplication are the usual operations on functions. A set of real functions on $mathbb R$ functions is a vector space of it is closed under addition and scalar multiplication. In this case the zero function belongs to the space only if $c=0$. And if $c=0$ the set of solutions of the DE are closed under addition and scalar multiplication so it is a vector space. [ $u'=2xu,v'=2xv$ imply $(u+v)'=2x(u+v)$ and $(au)'=2x(au)$ ].
$endgroup$
$begingroup$
How did we determine c=0?
$endgroup$
– Chirag Raju
Jan 22 at 9:14
1
$begingroup$
@ChiragRaju The zero element is the function $u$ defined by $u(x)=0$ for all $x$. If this belongs to the given set then the equation $u'=2xu+c$ give $0=0+c$. Hence $c=0$.
$endgroup$
– Kavi Rama Murthy
Jan 22 at 9:18
add a comment |
$begingroup$
Addition and scalar multiplication are the usual operations on functions. A set of real functions on $mathbb R$ functions is a vector space of it is closed under addition and scalar multiplication. In this case the zero function belongs to the space only if $c=0$. And if $c=0$ the set of solutions of the DE are closed under addition and scalar multiplication so it is a vector space. [ $u'=2xu,v'=2xv$ imply $(u+v)'=2x(u+v)$ and $(au)'=2x(au)$ ].
$endgroup$
Addition and scalar multiplication are the usual operations on functions. A set of real functions on $mathbb R$ functions is a vector space of it is closed under addition and scalar multiplication. In this case the zero function belongs to the space only if $c=0$. And if $c=0$ the set of solutions of the DE are closed under addition and scalar multiplication so it is a vector space. [ $u'=2xu,v'=2xv$ imply $(u+v)'=2x(u+v)$ and $(au)'=2x(au)$ ].
answered Jan 22 at 9:04


Kavi Rama MurthyKavi Rama Murthy
65.8k42867
65.8k42867
$begingroup$
How did we determine c=0?
$endgroup$
– Chirag Raju
Jan 22 at 9:14
1
$begingroup$
@ChiragRaju The zero element is the function $u$ defined by $u(x)=0$ for all $x$. If this belongs to the given set then the equation $u'=2xu+c$ give $0=0+c$. Hence $c=0$.
$endgroup$
– Kavi Rama Murthy
Jan 22 at 9:18
add a comment |
$begingroup$
How did we determine c=0?
$endgroup$
– Chirag Raju
Jan 22 at 9:14
1
$begingroup$
@ChiragRaju The zero element is the function $u$ defined by $u(x)=0$ for all $x$. If this belongs to the given set then the equation $u'=2xu+c$ give $0=0+c$. Hence $c=0$.
$endgroup$
– Kavi Rama Murthy
Jan 22 at 9:18
$begingroup$
How did we determine c=0?
$endgroup$
– Chirag Raju
Jan 22 at 9:14
$begingroup$
How did we determine c=0?
$endgroup$
– Chirag Raju
Jan 22 at 9:14
1
1
$begingroup$
@ChiragRaju The zero element is the function $u$ defined by $u(x)=0$ for all $x$. If this belongs to the given set then the equation $u'=2xu+c$ give $0=0+c$. Hence $c=0$.
$endgroup$
– Kavi Rama Murthy
Jan 22 at 9:18
$begingroup$
@ChiragRaju The zero element is the function $u$ defined by $u(x)=0$ for all $x$. If this belongs to the given set then the equation $u'=2xu+c$ give $0=0+c$. Hence $c=0$.
$endgroup$
– Kavi Rama Murthy
Jan 22 at 9:18
add a comment |
$begingroup$
Here "linear space" is used synonymous for "vector space", you consider the set of all continuous functions $Bbb RtoBbb R$ with the addition of functions defined by
$$(f+g)(x) = f(x) + g(x)$$
and scalar multiples of functions defined by
$$(lambda cdot f)(x) = lambdacdot f(x).$$
Now in this vector space you have to figure out for each $cinmathbb R$ if the set of all differentiable $ucolon Bbb RtoBbb R$ satisfying the differential equation $u'=2xu+c$ is a subspace, that is, is it non-empty and closed under addition of functions and taking scalar multiples of functions?
$endgroup$
$begingroup$
Thank you!! could you tell me how to proceed with the problem? after integrating by parts the LHS : u'- 2xu, we get a c* exp(-x^2) on the RHS. How do I proceed from there?
$endgroup$
– Chirag Raju
Jan 22 at 9:12
$begingroup$
You don't actually need to solve the differential equation. You only need to check if the solutions satisfy the property of being a linear subspace. For example every linear subspace contains the zero vector which already tells you a lot about what values of $c$ are possible, see Kavi's answer.
$endgroup$
– Christoph
Jan 22 at 11:01
add a comment |
$begingroup$
Here "linear space" is used synonymous for "vector space", you consider the set of all continuous functions $Bbb RtoBbb R$ with the addition of functions defined by
$$(f+g)(x) = f(x) + g(x)$$
and scalar multiples of functions defined by
$$(lambda cdot f)(x) = lambdacdot f(x).$$
Now in this vector space you have to figure out for each $cinmathbb R$ if the set of all differentiable $ucolon Bbb RtoBbb R$ satisfying the differential equation $u'=2xu+c$ is a subspace, that is, is it non-empty and closed under addition of functions and taking scalar multiples of functions?
$endgroup$
$begingroup$
Thank you!! could you tell me how to proceed with the problem? after integrating by parts the LHS : u'- 2xu, we get a c* exp(-x^2) on the RHS. How do I proceed from there?
$endgroup$
– Chirag Raju
Jan 22 at 9:12
$begingroup$
You don't actually need to solve the differential equation. You only need to check if the solutions satisfy the property of being a linear subspace. For example every linear subspace contains the zero vector which already tells you a lot about what values of $c$ are possible, see Kavi's answer.
$endgroup$
– Christoph
Jan 22 at 11:01
add a comment |
$begingroup$
Here "linear space" is used synonymous for "vector space", you consider the set of all continuous functions $Bbb RtoBbb R$ with the addition of functions defined by
$$(f+g)(x) = f(x) + g(x)$$
and scalar multiples of functions defined by
$$(lambda cdot f)(x) = lambdacdot f(x).$$
Now in this vector space you have to figure out for each $cinmathbb R$ if the set of all differentiable $ucolon Bbb RtoBbb R$ satisfying the differential equation $u'=2xu+c$ is a subspace, that is, is it non-empty and closed under addition of functions and taking scalar multiples of functions?
$endgroup$
Here "linear space" is used synonymous for "vector space", you consider the set of all continuous functions $Bbb RtoBbb R$ with the addition of functions defined by
$$(f+g)(x) = f(x) + g(x)$$
and scalar multiples of functions defined by
$$(lambda cdot f)(x) = lambdacdot f(x).$$
Now in this vector space you have to figure out for each $cinmathbb R$ if the set of all differentiable $ucolon Bbb RtoBbb R$ satisfying the differential equation $u'=2xu+c$ is a subspace, that is, is it non-empty and closed under addition of functions and taking scalar multiples of functions?
answered Jan 22 at 9:04
ChristophChristoph
12.5k1642
12.5k1642
$begingroup$
Thank you!! could you tell me how to proceed with the problem? after integrating by parts the LHS : u'- 2xu, we get a c* exp(-x^2) on the RHS. How do I proceed from there?
$endgroup$
– Chirag Raju
Jan 22 at 9:12
$begingroup$
You don't actually need to solve the differential equation. You only need to check if the solutions satisfy the property of being a linear subspace. For example every linear subspace contains the zero vector which already tells you a lot about what values of $c$ are possible, see Kavi's answer.
$endgroup$
– Christoph
Jan 22 at 11:01
add a comment |
$begingroup$
Thank you!! could you tell me how to proceed with the problem? after integrating by parts the LHS : u'- 2xu, we get a c* exp(-x^2) on the RHS. How do I proceed from there?
$endgroup$
– Chirag Raju
Jan 22 at 9:12
$begingroup$
You don't actually need to solve the differential equation. You only need to check if the solutions satisfy the property of being a linear subspace. For example every linear subspace contains the zero vector which already tells you a lot about what values of $c$ are possible, see Kavi's answer.
$endgroup$
– Christoph
Jan 22 at 11:01
$begingroup$
Thank you!! could you tell me how to proceed with the problem? after integrating by parts the LHS : u'- 2xu, we get a c* exp(-x^2) on the RHS. How do I proceed from there?
$endgroup$
– Chirag Raju
Jan 22 at 9:12
$begingroup$
Thank you!! could you tell me how to proceed with the problem? after integrating by parts the LHS : u'- 2xu, we get a c* exp(-x^2) on the RHS. How do I proceed from there?
$endgroup$
– Chirag Raju
Jan 22 at 9:12
$begingroup$
You don't actually need to solve the differential equation. You only need to check if the solutions satisfy the property of being a linear subspace. For example every linear subspace contains the zero vector which already tells you a lot about what values of $c$ are possible, see Kavi's answer.
$endgroup$
– Christoph
Jan 22 at 11:01
$begingroup$
You don't actually need to solve the differential equation. You only need to check if the solutions satisfy the property of being a linear subspace. For example every linear subspace contains the zero vector which already tells you a lot about what values of $c$ are possible, see Kavi's answer.
$endgroup$
– Christoph
Jan 22 at 11:01
add a comment |
$begingroup$
Note that you do not need to solve the d.e. to answer this question.
Just suppose that you have two functions $f$ and $g$ which you know are in $S$. So you know that
$f'=2xf+c\g'=2xg+c$
Then if $S$ is a linear subspace you need $lambda f$ to be in $S$ for any $lambda in mathbb{R}$. So you need to have
$(lambda f)' = 2x lambda f + c$
but $(lambda f)' = lambda f' = lambda(2xf+c)=2xlambda f + lambda c$, so this can only work for any $lambda$ if $c=0$.
Similarly, $f+g$ will only be in $S$ if $c=0$.
$endgroup$
add a comment |
$begingroup$
Note that you do not need to solve the d.e. to answer this question.
Just suppose that you have two functions $f$ and $g$ which you know are in $S$. So you know that
$f'=2xf+c\g'=2xg+c$
Then if $S$ is a linear subspace you need $lambda f$ to be in $S$ for any $lambda in mathbb{R}$. So you need to have
$(lambda f)' = 2x lambda f + c$
but $(lambda f)' = lambda f' = lambda(2xf+c)=2xlambda f + lambda c$, so this can only work for any $lambda$ if $c=0$.
Similarly, $f+g$ will only be in $S$ if $c=0$.
$endgroup$
add a comment |
$begingroup$
Note that you do not need to solve the d.e. to answer this question.
Just suppose that you have two functions $f$ and $g$ which you know are in $S$. So you know that
$f'=2xf+c\g'=2xg+c$
Then if $S$ is a linear subspace you need $lambda f$ to be in $S$ for any $lambda in mathbb{R}$. So you need to have
$(lambda f)' = 2x lambda f + c$
but $(lambda f)' = lambda f' = lambda(2xf+c)=2xlambda f + lambda c$, so this can only work for any $lambda$ if $c=0$.
Similarly, $f+g$ will only be in $S$ if $c=0$.
$endgroup$
Note that you do not need to solve the d.e. to answer this question.
Just suppose that you have two functions $f$ and $g$ which you know are in $S$. So you know that
$f'=2xf+c\g'=2xg+c$
Then if $S$ is a linear subspace you need $lambda f$ to be in $S$ for any $lambda in mathbb{R}$. So you need to have
$(lambda f)' = 2x lambda f + c$
but $(lambda f)' = lambda f' = lambda(2xf+c)=2xlambda f + lambda c$, so this can only work for any $lambda$ if $c=0$.
Similarly, $f+g$ will only be in $S$ if $c=0$.
answered Jan 22 at 10:24
gandalf61gandalf61
8,936725
8,936725
add a comment |
add a comment |
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.
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%2f3082902%2fwhat-does-a-linear-space-of-all-continuous-functions-from-r-to-r-mean%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