Let$~${$ f_1 , f_2 , .. , f_n$} be functions lineary indepenedante in $ I$ Prove that every Subset …












3












$begingroup$



Let$~${$ f_1 , f_2 , .. , f_n$} be functions lineary indepenedante in $ I$ Prove that every Subset of the group is also lineary independante in $ I $ ( interval).




how do i prove such claim with differential equations ? say with the wronsekian .



here is my prof ( might not be right ) :



lets suppose that there exist subset such that



without the loss of generality {$ f_1 , f_2 , .. , f_k$} , $k<n$ dependant.



so $ sum_i^k alpha_i^*f_i = 0$ such that $alpha_1^* ,alpha_2^*,alpha_3^*,...,alpha_k^* $ not all $0$ ,suppose at least $alpha_1^* not= 0$.



so there exist $alpha_1^* ,alpha_2^*,alpha_3^*,...,alpha_k^*,0,0,0,0,...,0 $ not all $0$ such that :



$ sum_1^n alpha_if_i = sum_1^k alpha_i^*f_i + 0f_{k+1}+0f_{k+2}+...+0f_{n} = 0$



so its lineary dependant but we know that its not. QED










share|cite|improve this question











$endgroup$








  • 3




    $begingroup$
    Your proof is correct.
    $endgroup$
    – John Douma
    Jan 2 at 18:40
















3












$begingroup$



Let$~${$ f_1 , f_2 , .. , f_n$} be functions lineary indepenedante in $ I$ Prove that every Subset of the group is also lineary independante in $ I $ ( interval).




how do i prove such claim with differential equations ? say with the wronsekian .



here is my prof ( might not be right ) :



lets suppose that there exist subset such that



without the loss of generality {$ f_1 , f_2 , .. , f_k$} , $k<n$ dependant.



so $ sum_i^k alpha_i^*f_i = 0$ such that $alpha_1^* ,alpha_2^*,alpha_3^*,...,alpha_k^* $ not all $0$ ,suppose at least $alpha_1^* not= 0$.



so there exist $alpha_1^* ,alpha_2^*,alpha_3^*,...,alpha_k^*,0,0,0,0,...,0 $ not all $0$ such that :



$ sum_1^n alpha_if_i = sum_1^k alpha_i^*f_i + 0f_{k+1}+0f_{k+2}+...+0f_{n} = 0$



so its lineary dependant but we know that its not. QED










share|cite|improve this question











$endgroup$








  • 3




    $begingroup$
    Your proof is correct.
    $endgroup$
    – John Douma
    Jan 2 at 18:40














3












3








3





$begingroup$



Let$~${$ f_1 , f_2 , .. , f_n$} be functions lineary indepenedante in $ I$ Prove that every Subset of the group is also lineary independante in $ I $ ( interval).




how do i prove such claim with differential equations ? say with the wronsekian .



here is my prof ( might not be right ) :



lets suppose that there exist subset such that



without the loss of generality {$ f_1 , f_2 , .. , f_k$} , $k<n$ dependant.



so $ sum_i^k alpha_i^*f_i = 0$ such that $alpha_1^* ,alpha_2^*,alpha_3^*,...,alpha_k^* $ not all $0$ ,suppose at least $alpha_1^* not= 0$.



so there exist $alpha_1^* ,alpha_2^*,alpha_3^*,...,alpha_k^*,0,0,0,0,...,0 $ not all $0$ such that :



$ sum_1^n alpha_if_i = sum_1^k alpha_i^*f_i + 0f_{k+1}+0f_{k+2}+...+0f_{n} = 0$



so its lineary dependant but we know that its not. QED










share|cite|improve this question











$endgroup$





Let$~${$ f_1 , f_2 , .. , f_n$} be functions lineary indepenedante in $ I$ Prove that every Subset of the group is also lineary independante in $ I $ ( interval).




how do i prove such claim with differential equations ? say with the wronsekian .



here is my prof ( might not be right ) :



lets suppose that there exist subset such that



without the loss of generality {$ f_1 , f_2 , .. , f_k$} , $k<n$ dependant.



so $ sum_i^k alpha_i^*f_i = 0$ such that $alpha_1^* ,alpha_2^*,alpha_3^*,...,alpha_k^* $ not all $0$ ,suppose at least $alpha_1^* not= 0$.



so there exist $alpha_1^* ,alpha_2^*,alpha_3^*,...,alpha_k^*,0,0,0,0,...,0 $ not all $0$ such that :



$ sum_1^n alpha_if_i = sum_1^k alpha_i^*f_i + 0f_{k+1}+0f_{k+2}+...+0f_{n} = 0$



so its lineary dependant but we know that its not. QED







functional-analysis ordinary-differential-equations






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jan 2 at 19:02







Mather

















asked Jan 2 at 18:08









Mather Mather

1877




1877








  • 3




    $begingroup$
    Your proof is correct.
    $endgroup$
    – John Douma
    Jan 2 at 18:40














  • 3




    $begingroup$
    Your proof is correct.
    $endgroup$
    – John Douma
    Jan 2 at 18:40








3




3




$begingroup$
Your proof is correct.
$endgroup$
– John Douma
Jan 2 at 18:40




$begingroup$
Your proof is correct.
$endgroup$
– John Douma
Jan 2 at 18:40










0






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%2f3059769%2flet-f-1-f-2-f-n-be-functions-lineary-indepenedante-in-i-prove%23new-answer', 'question_page');
}
);

Post as a guest















Required, but never shown

























0






active

oldest

votes








0






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.




draft saved


draft discarded














StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3059769%2flet-f-1-f-2-f-n-be-functions-lineary-indepenedante-in-i-prove%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