How can we generalize the fact of finite dimensional vector space to an infinte dimensional case?$k[x]$-module and cyclic module over a finite dimensional vector spaceSubspace of a finite dimensional space is finite dimensionalIf V is an infinite-dimensional vector space, and S is an infinite-dimensional subspace of V, must the dimension of V/S be finite? ExplainWhy is an infinite dimensional space so different than a finite dimensional one?base for finite dimensional vector space is not infinite dimensional vector space?Any finite-dimensional vector space is the dual space of anotherHaving Trouble Understanding Meaning Of A Finite-Dimensional Vector SpaceProve that “Every subspaces of a finite-dimensional vector space is finite-dimensional”Ring as a finite dimensional Vector space over a field KQuestion regarding basis and dimension

Can I sign legal documents with a smiley face?

Travelling outside the UK without a passport

Why does the Sun have different day lengths, but not the gas giants?

When were female captains banned from Starfleet?

Fear of getting stuck on one programming language / technology that is not used in my country

Create all possible words using a set or letters

How do I color the graph in datavisualization?

On a tidally locked planet, would time be quantized?

Are the IPv6 address space and IPv4 address space completely disjoint?

The screen of my macbook suddenly broken down how can I do to recover

Is there a name for this algorithm to calculate the concentration of a mixture of two solutions containing the same solute?

Strong empirical falsification of quantum mechanics based on vacuum energy density

It grows, but water kills it

Redundant comparison & "if" before assignment

Calculating Wattage for Resistor in High Frequency Application?

How can "mimic phobia" be cured or prevented?

Is it improper etiquette to ask your opponent what his/her rating is before the game?

Why do we read the Megillah by night and by day?

Longest common substring in linear time

Is it better practice to read straight from sheet music rather than memorize it?

How do you respond to a colleague from another team when they're wrongly expecting that you'll help them?

Does an advisor owe his/her student anything? Will an advisor keep a PhD student only out of pity?

Is it safe to use olive oil to clean the ear wax?

Approximating irrational number to rational number



How can we generalize the fact of finite dimensional vector space to an infinte dimensional case?


$k[x]$-module and cyclic module over a finite dimensional vector spaceSubspace of a finite dimensional space is finite dimensionalIf V is an infinite-dimensional vector space, and S is an infinite-dimensional subspace of V, must the dimension of V/S be finite? ExplainWhy is an infinite dimensional space so different than a finite dimensional one?base for finite dimensional vector space is not infinite dimensional vector space?Any finite-dimensional vector space is the dual space of anotherHaving Trouble Understanding Meaning Of A Finite-Dimensional Vector SpaceProve that “Every subspaces of a finite-dimensional vector space is finite-dimensional”Ring as a finite dimensional Vector space over a field KQuestion regarding basis and dimension













1












$begingroup$


I am reading vector space from Friedberg. There in the last section they told about infinite dimensional vector space but there is not sufficient contents. Now my question is why can't we define infinite sum? If this is the case then can anyone please tell me the difference between infinite sum in the series in analysis and here? How infinite sum in series is defined and not here?



I know I'm going wrong somewhere, please help me to find it out.










share|cite|improve this question











$endgroup$











  • $begingroup$
    Infinite sums in analysis are defined as limits of the sequence of finite partial sums. In general there is no limit in vector spaces.
    $endgroup$
    – Jens Schwaiger
    2 hours ago











  • $begingroup$
    @Jens Schwaiger please elaborate, I cant understand about how can we define infinite sum by limit of a sequence? And also what are the bounds that we can't do in vector spaces?
    $endgroup$
    – user639336
    2 hours ago










  • $begingroup$
    @user639336 What you are asking is not at all related to the dimension of vector spaces.
    $endgroup$
    – amsmath
    2 hours ago















1












$begingroup$


I am reading vector space from Friedberg. There in the last section they told about infinite dimensional vector space but there is not sufficient contents. Now my question is why can't we define infinite sum? If this is the case then can anyone please tell me the difference between infinite sum in the series in analysis and here? How infinite sum in series is defined and not here?



I know I'm going wrong somewhere, please help me to find it out.










share|cite|improve this question











$endgroup$











  • $begingroup$
    Infinite sums in analysis are defined as limits of the sequence of finite partial sums. In general there is no limit in vector spaces.
    $endgroup$
    – Jens Schwaiger
    2 hours ago











  • $begingroup$
    @Jens Schwaiger please elaborate, I cant understand about how can we define infinite sum by limit of a sequence? And also what are the bounds that we can't do in vector spaces?
    $endgroup$
    – user639336
    2 hours ago










  • $begingroup$
    @user639336 What you are asking is not at all related to the dimension of vector spaces.
    $endgroup$
    – amsmath
    2 hours ago













1












1








1





$begingroup$


I am reading vector space from Friedberg. There in the last section they told about infinite dimensional vector space but there is not sufficient contents. Now my question is why can't we define infinite sum? If this is the case then can anyone please tell me the difference between infinite sum in the series in analysis and here? How infinite sum in series is defined and not here?



I know I'm going wrong somewhere, please help me to find it out.










share|cite|improve this question











$endgroup$




I am reading vector space from Friedberg. There in the last section they told about infinite dimensional vector space but there is not sufficient contents. Now my question is why can't we define infinite sum? If this is the case then can anyone please tell me the difference between infinite sum in the series in analysis and here? How infinite sum in series is defined and not here?



I know I'm going wrong somewhere, please help me to find it out.







linear-algebra vector-spaces






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited 2 hours ago









Rócherz

2,9863821




2,9863821










asked 2 hours ago









user639336user639336

62




62











  • $begingroup$
    Infinite sums in analysis are defined as limits of the sequence of finite partial sums. In general there is no limit in vector spaces.
    $endgroup$
    – Jens Schwaiger
    2 hours ago











  • $begingroup$
    @Jens Schwaiger please elaborate, I cant understand about how can we define infinite sum by limit of a sequence? And also what are the bounds that we can't do in vector spaces?
    $endgroup$
    – user639336
    2 hours ago










  • $begingroup$
    @user639336 What you are asking is not at all related to the dimension of vector spaces.
    $endgroup$
    – amsmath
    2 hours ago
















  • $begingroup$
    Infinite sums in analysis are defined as limits of the sequence of finite partial sums. In general there is no limit in vector spaces.
    $endgroup$
    – Jens Schwaiger
    2 hours ago











  • $begingroup$
    @Jens Schwaiger please elaborate, I cant understand about how can we define infinite sum by limit of a sequence? And also what are the bounds that we can't do in vector spaces?
    $endgroup$
    – user639336
    2 hours ago










  • $begingroup$
    @user639336 What you are asking is not at all related to the dimension of vector spaces.
    $endgroup$
    – amsmath
    2 hours ago















$begingroup$
Infinite sums in analysis are defined as limits of the sequence of finite partial sums. In general there is no limit in vector spaces.
$endgroup$
– Jens Schwaiger
2 hours ago





$begingroup$
Infinite sums in analysis are defined as limits of the sequence of finite partial sums. In general there is no limit in vector spaces.
$endgroup$
– Jens Schwaiger
2 hours ago













$begingroup$
@Jens Schwaiger please elaborate, I cant understand about how can we define infinite sum by limit of a sequence? And also what are the bounds that we can't do in vector spaces?
$endgroup$
– user639336
2 hours ago




$begingroup$
@Jens Schwaiger please elaborate, I cant understand about how can we define infinite sum by limit of a sequence? And also what are the bounds that we can't do in vector spaces?
$endgroup$
– user639336
2 hours ago












$begingroup$
@user639336 What you are asking is not at all related to the dimension of vector spaces.
$endgroup$
– amsmath
2 hours ago




$begingroup$
@user639336 What you are asking is not at all related to the dimension of vector spaces.
$endgroup$
– amsmath
2 hours ago










2 Answers
2






active

oldest

votes


















4












$begingroup$

It's not that one can't define an infinite sum, the issue is that in a space with a binary operation an infinite sum does not automatically make sense. You can't define an infinite sum solely in terms of the finite sum. You need to construct the sequence of partial sums, which then needs to converge.



However, in order to define convergence, you need something like a topology, and we're no longer talking simply about vector spaces anymore: we've moved on to topological vector spaces. So one could arguably say that in a plain vector space, which explicitly isn't given a topology, you can't define an infinite sum.






share|cite|improve this answer









$endgroup$












  • $begingroup$
    sir you are saying topological vector spaces, are they define infinite as a limit of a sequence or anything else? But sir whenever it's about infinite sum of a series we write something lile a1e1+a2e2+........ doesn't it seems like ordinary binary operation? Secondly I read somewhere we can add if all elements are zero except finitely many. Please help sir about clearing my ideas.
    $endgroup$
    – user639336
    1 hour ago










  • $begingroup$
    sir somehow are you want to mean topological vector spaces as functional analysis?
    $endgroup$
    – user639336
    1 hour ago










  • $begingroup$
    @user639 If all are zero but finitely many, that will converge in any topology so we don't need an explicit one. Just writing the infinite sum in general doesn't tell you which element of the vector space you're talking about. What if I wrote $1+1+1+cdots$? This gives the sequence of partial sums $1,2,3,ldots$, and this doesn't converge. Would you say that that was a silly example? We can't distinguish this from any other example without a topology. In fact you could define a topology where this actually does converge.
    $endgroup$
    – Matt Samuel
    1 hour ago











  • $begingroup$
    @user Topological vector spaces certainly do occur frequently in functional analysis, but they are also studied outside of that subject.
    $endgroup$
    – Matt Samuel
    1 hour ago










  • $begingroup$
    sir this means the only essence of topology is laid on infinite dimensional vector space? I mean in finite one the sum is defined, but in the infinite one the infinite sum is'nt.
    $endgroup$
    – user639336
    1 hour ago


















0












$begingroup$

In analysis you probably defined infinte sum as follows. Let us say that $a_n$ is some sequance of real numbers. We define partial sums $S_n$ as follows.
$$S_1 = a_1 $$
$$S_2 = a_1 + a_2 $$
$$...$$
$$S_n = a_1 + a_2 + ... + a_n$$
Now we define:
$$S = sum_n=1^inftya_n := lim_n to inftyS_n $$
The point of this is that you see that it is good to have a concept of limit (convergance) to define infinte sum. Limit involves, intuitivley speaking, that one things get closer to another; and that requaries notion of distance. If you have a vector space only, you still do not have a way to mesure length of a vector.



So it would be good if you had some way to mesure length of a vector and you can do that by norm. One way to create a norm on your vector space is to induce it with a inner (scalar) product. Then you can define that sequance of vectors $v_n$ converges to some vector $w$ if sequnace of norms $||v_n||$ of vector converges to norm $||w||$. Then you will be able to define infinte sum of vectors because you have notion of convergance.



I kept it brief, but if you do have any question, feel free to ask.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    It doesn't actually require a notion of distance. You can define infinite sums in topological vector spaces that are not metrizable, like $mathbb R^mathbb R $ in the product topology.
    $endgroup$
    – Matt Samuel
    2 hours ago










  • $begingroup$
    @MattSamuel You can even infinite sums in topological (additive) groups.
    $endgroup$
    – amsmath
    2 hours ago










  • $begingroup$
    @MattSamuel Thanks for comment. I tried to be pedagogical. However from the question asked I estimate that op is not looking for that kind of answer you propose (altrough it is correct). I estimate that he is probably undergrad in math or someone who just encountered vector spaces and mathematical analysis (and is still not able to have general overview), so I kept my answer informative and simple. If you think that op is looking for some other answer feel free to post your answer.
    $endgroup$
    – Thom
    2 hours ago










  • $begingroup$
    Sure, I actually already did.
    $endgroup$
    – Matt Samuel
    2 hours ago










  • $begingroup$
    @MattSamuel Great.
    $endgroup$
    – Thom
    2 hours ago










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%2f3160037%2fhow-can-we-generalize-the-fact-of-finite-dimensional-vector-space-to-an-infinte%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown

























2 Answers
2






active

oldest

votes








2 Answers
2






active

oldest

votes









active

oldest

votes






active

oldest

votes









4












$begingroup$

It's not that one can't define an infinite sum, the issue is that in a space with a binary operation an infinite sum does not automatically make sense. You can't define an infinite sum solely in terms of the finite sum. You need to construct the sequence of partial sums, which then needs to converge.



However, in order to define convergence, you need something like a topology, and we're no longer talking simply about vector spaces anymore: we've moved on to topological vector spaces. So one could arguably say that in a plain vector space, which explicitly isn't given a topology, you can't define an infinite sum.






share|cite|improve this answer









$endgroup$












  • $begingroup$
    sir you are saying topological vector spaces, are they define infinite as a limit of a sequence or anything else? But sir whenever it's about infinite sum of a series we write something lile a1e1+a2e2+........ doesn't it seems like ordinary binary operation? Secondly I read somewhere we can add if all elements are zero except finitely many. Please help sir about clearing my ideas.
    $endgroup$
    – user639336
    1 hour ago










  • $begingroup$
    sir somehow are you want to mean topological vector spaces as functional analysis?
    $endgroup$
    – user639336
    1 hour ago










  • $begingroup$
    @user639 If all are zero but finitely many, that will converge in any topology so we don't need an explicit one. Just writing the infinite sum in general doesn't tell you which element of the vector space you're talking about. What if I wrote $1+1+1+cdots$? This gives the sequence of partial sums $1,2,3,ldots$, and this doesn't converge. Would you say that that was a silly example? We can't distinguish this from any other example without a topology. In fact you could define a topology where this actually does converge.
    $endgroup$
    – Matt Samuel
    1 hour ago











  • $begingroup$
    @user Topological vector spaces certainly do occur frequently in functional analysis, but they are also studied outside of that subject.
    $endgroup$
    – Matt Samuel
    1 hour ago










  • $begingroup$
    sir this means the only essence of topology is laid on infinite dimensional vector space? I mean in finite one the sum is defined, but in the infinite one the infinite sum is'nt.
    $endgroup$
    – user639336
    1 hour ago















4












$begingroup$

It's not that one can't define an infinite sum, the issue is that in a space with a binary operation an infinite sum does not automatically make sense. You can't define an infinite sum solely in terms of the finite sum. You need to construct the sequence of partial sums, which then needs to converge.



However, in order to define convergence, you need something like a topology, and we're no longer talking simply about vector spaces anymore: we've moved on to topological vector spaces. So one could arguably say that in a plain vector space, which explicitly isn't given a topology, you can't define an infinite sum.






share|cite|improve this answer









$endgroup$












  • $begingroup$
    sir you are saying topological vector spaces, are they define infinite as a limit of a sequence or anything else? But sir whenever it's about infinite sum of a series we write something lile a1e1+a2e2+........ doesn't it seems like ordinary binary operation? Secondly I read somewhere we can add if all elements are zero except finitely many. Please help sir about clearing my ideas.
    $endgroup$
    – user639336
    1 hour ago










  • $begingroup$
    sir somehow are you want to mean topological vector spaces as functional analysis?
    $endgroup$
    – user639336
    1 hour ago










  • $begingroup$
    @user639 If all are zero but finitely many, that will converge in any topology so we don't need an explicit one. Just writing the infinite sum in general doesn't tell you which element of the vector space you're talking about. What if I wrote $1+1+1+cdots$? This gives the sequence of partial sums $1,2,3,ldots$, and this doesn't converge. Would you say that that was a silly example? We can't distinguish this from any other example without a topology. In fact you could define a topology where this actually does converge.
    $endgroup$
    – Matt Samuel
    1 hour ago











  • $begingroup$
    @user Topological vector spaces certainly do occur frequently in functional analysis, but they are also studied outside of that subject.
    $endgroup$
    – Matt Samuel
    1 hour ago










  • $begingroup$
    sir this means the only essence of topology is laid on infinite dimensional vector space? I mean in finite one the sum is defined, but in the infinite one the infinite sum is'nt.
    $endgroup$
    – user639336
    1 hour ago













4












4








4





$begingroup$

It's not that one can't define an infinite sum, the issue is that in a space with a binary operation an infinite sum does not automatically make sense. You can't define an infinite sum solely in terms of the finite sum. You need to construct the sequence of partial sums, which then needs to converge.



However, in order to define convergence, you need something like a topology, and we're no longer talking simply about vector spaces anymore: we've moved on to topological vector spaces. So one could arguably say that in a plain vector space, which explicitly isn't given a topology, you can't define an infinite sum.






share|cite|improve this answer









$endgroup$



It's not that one can't define an infinite sum, the issue is that in a space with a binary operation an infinite sum does not automatically make sense. You can't define an infinite sum solely in terms of the finite sum. You need to construct the sequence of partial sums, which then needs to converge.



However, in order to define convergence, you need something like a topology, and we're no longer talking simply about vector spaces anymore: we've moved on to topological vector spaces. So one could arguably say that in a plain vector space, which explicitly isn't given a topology, you can't define an infinite sum.







share|cite|improve this answer












share|cite|improve this answer



share|cite|improve this answer










answered 2 hours ago









Matt SamuelMatt Samuel

38.9k63769




38.9k63769











  • $begingroup$
    sir you are saying topological vector spaces, are they define infinite as a limit of a sequence or anything else? But sir whenever it's about infinite sum of a series we write something lile a1e1+a2e2+........ doesn't it seems like ordinary binary operation? Secondly I read somewhere we can add if all elements are zero except finitely many. Please help sir about clearing my ideas.
    $endgroup$
    – user639336
    1 hour ago










  • $begingroup$
    sir somehow are you want to mean topological vector spaces as functional analysis?
    $endgroup$
    – user639336
    1 hour ago










  • $begingroup$
    @user639 If all are zero but finitely many, that will converge in any topology so we don't need an explicit one. Just writing the infinite sum in general doesn't tell you which element of the vector space you're talking about. What if I wrote $1+1+1+cdots$? This gives the sequence of partial sums $1,2,3,ldots$, and this doesn't converge. Would you say that that was a silly example? We can't distinguish this from any other example without a topology. In fact you could define a topology where this actually does converge.
    $endgroup$
    – Matt Samuel
    1 hour ago











  • $begingroup$
    @user Topological vector spaces certainly do occur frequently in functional analysis, but they are also studied outside of that subject.
    $endgroup$
    – Matt Samuel
    1 hour ago










  • $begingroup$
    sir this means the only essence of topology is laid on infinite dimensional vector space? I mean in finite one the sum is defined, but in the infinite one the infinite sum is'nt.
    $endgroup$
    – user639336
    1 hour ago
















  • $begingroup$
    sir you are saying topological vector spaces, are they define infinite as a limit of a sequence or anything else? But sir whenever it's about infinite sum of a series we write something lile a1e1+a2e2+........ doesn't it seems like ordinary binary operation? Secondly I read somewhere we can add if all elements are zero except finitely many. Please help sir about clearing my ideas.
    $endgroup$
    – user639336
    1 hour ago










  • $begingroup$
    sir somehow are you want to mean topological vector spaces as functional analysis?
    $endgroup$
    – user639336
    1 hour ago










  • $begingroup$
    @user639 If all are zero but finitely many, that will converge in any topology so we don't need an explicit one. Just writing the infinite sum in general doesn't tell you which element of the vector space you're talking about. What if I wrote $1+1+1+cdots$? This gives the sequence of partial sums $1,2,3,ldots$, and this doesn't converge. Would you say that that was a silly example? We can't distinguish this from any other example without a topology. In fact you could define a topology where this actually does converge.
    $endgroup$
    – Matt Samuel
    1 hour ago











  • $begingroup$
    @user Topological vector spaces certainly do occur frequently in functional analysis, but they are also studied outside of that subject.
    $endgroup$
    – Matt Samuel
    1 hour ago










  • $begingroup$
    sir this means the only essence of topology is laid on infinite dimensional vector space? I mean in finite one the sum is defined, but in the infinite one the infinite sum is'nt.
    $endgroup$
    – user639336
    1 hour ago















$begingroup$
sir you are saying topological vector spaces, are they define infinite as a limit of a sequence or anything else? But sir whenever it's about infinite sum of a series we write something lile a1e1+a2e2+........ doesn't it seems like ordinary binary operation? Secondly I read somewhere we can add if all elements are zero except finitely many. Please help sir about clearing my ideas.
$endgroup$
– user639336
1 hour ago




$begingroup$
sir you are saying topological vector spaces, are they define infinite as a limit of a sequence or anything else? But sir whenever it's about infinite sum of a series we write something lile a1e1+a2e2+........ doesn't it seems like ordinary binary operation? Secondly I read somewhere we can add if all elements are zero except finitely many. Please help sir about clearing my ideas.
$endgroup$
– user639336
1 hour ago












$begingroup$
sir somehow are you want to mean topological vector spaces as functional analysis?
$endgroup$
– user639336
1 hour ago




$begingroup$
sir somehow are you want to mean topological vector spaces as functional analysis?
$endgroup$
– user639336
1 hour ago












$begingroup$
@user639 If all are zero but finitely many, that will converge in any topology so we don't need an explicit one. Just writing the infinite sum in general doesn't tell you which element of the vector space you're talking about. What if I wrote $1+1+1+cdots$? This gives the sequence of partial sums $1,2,3,ldots$, and this doesn't converge. Would you say that that was a silly example? We can't distinguish this from any other example without a topology. In fact you could define a topology where this actually does converge.
$endgroup$
– Matt Samuel
1 hour ago





$begingroup$
@user639 If all are zero but finitely many, that will converge in any topology so we don't need an explicit one. Just writing the infinite sum in general doesn't tell you which element of the vector space you're talking about. What if I wrote $1+1+1+cdots$? This gives the sequence of partial sums $1,2,3,ldots$, and this doesn't converge. Would you say that that was a silly example? We can't distinguish this from any other example without a topology. In fact you could define a topology where this actually does converge.
$endgroup$
– Matt Samuel
1 hour ago













$begingroup$
@user Topological vector spaces certainly do occur frequently in functional analysis, but they are also studied outside of that subject.
$endgroup$
– Matt Samuel
1 hour ago




$begingroup$
@user Topological vector spaces certainly do occur frequently in functional analysis, but they are also studied outside of that subject.
$endgroup$
– Matt Samuel
1 hour ago












$begingroup$
sir this means the only essence of topology is laid on infinite dimensional vector space? I mean in finite one the sum is defined, but in the infinite one the infinite sum is'nt.
$endgroup$
– user639336
1 hour ago




$begingroup$
sir this means the only essence of topology is laid on infinite dimensional vector space? I mean in finite one the sum is defined, but in the infinite one the infinite sum is'nt.
$endgroup$
– user639336
1 hour ago











0












$begingroup$

In analysis you probably defined infinte sum as follows. Let us say that $a_n$ is some sequance of real numbers. We define partial sums $S_n$ as follows.
$$S_1 = a_1 $$
$$S_2 = a_1 + a_2 $$
$$...$$
$$S_n = a_1 + a_2 + ... + a_n$$
Now we define:
$$S = sum_n=1^inftya_n := lim_n to inftyS_n $$
The point of this is that you see that it is good to have a concept of limit (convergance) to define infinte sum. Limit involves, intuitivley speaking, that one things get closer to another; and that requaries notion of distance. If you have a vector space only, you still do not have a way to mesure length of a vector.



So it would be good if you had some way to mesure length of a vector and you can do that by norm. One way to create a norm on your vector space is to induce it with a inner (scalar) product. Then you can define that sequance of vectors $v_n$ converges to some vector $w$ if sequnace of norms $||v_n||$ of vector converges to norm $||w||$. Then you will be able to define infinte sum of vectors because you have notion of convergance.



I kept it brief, but if you do have any question, feel free to ask.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    It doesn't actually require a notion of distance. You can define infinite sums in topological vector spaces that are not metrizable, like $mathbb R^mathbb R $ in the product topology.
    $endgroup$
    – Matt Samuel
    2 hours ago










  • $begingroup$
    @MattSamuel You can even infinite sums in topological (additive) groups.
    $endgroup$
    – amsmath
    2 hours ago










  • $begingroup$
    @MattSamuel Thanks for comment. I tried to be pedagogical. However from the question asked I estimate that op is not looking for that kind of answer you propose (altrough it is correct). I estimate that he is probably undergrad in math or someone who just encountered vector spaces and mathematical analysis (and is still not able to have general overview), so I kept my answer informative and simple. If you think that op is looking for some other answer feel free to post your answer.
    $endgroup$
    – Thom
    2 hours ago










  • $begingroup$
    Sure, I actually already did.
    $endgroup$
    – Matt Samuel
    2 hours ago










  • $begingroup$
    @MattSamuel Great.
    $endgroup$
    – Thom
    2 hours ago















0












$begingroup$

In analysis you probably defined infinte sum as follows. Let us say that $a_n$ is some sequance of real numbers. We define partial sums $S_n$ as follows.
$$S_1 = a_1 $$
$$S_2 = a_1 + a_2 $$
$$...$$
$$S_n = a_1 + a_2 + ... + a_n$$
Now we define:
$$S = sum_n=1^inftya_n := lim_n to inftyS_n $$
The point of this is that you see that it is good to have a concept of limit (convergance) to define infinte sum. Limit involves, intuitivley speaking, that one things get closer to another; and that requaries notion of distance. If you have a vector space only, you still do not have a way to mesure length of a vector.



So it would be good if you had some way to mesure length of a vector and you can do that by norm. One way to create a norm on your vector space is to induce it with a inner (scalar) product. Then you can define that sequance of vectors $v_n$ converges to some vector $w$ if sequnace of norms $||v_n||$ of vector converges to norm $||w||$. Then you will be able to define infinte sum of vectors because you have notion of convergance.



I kept it brief, but if you do have any question, feel free to ask.






share|cite|improve this answer











$endgroup$












  • $begingroup$
    It doesn't actually require a notion of distance. You can define infinite sums in topological vector spaces that are not metrizable, like $mathbb R^mathbb R $ in the product topology.
    $endgroup$
    – Matt Samuel
    2 hours ago










  • $begingroup$
    @MattSamuel You can even infinite sums in topological (additive) groups.
    $endgroup$
    – amsmath
    2 hours ago










  • $begingroup$
    @MattSamuel Thanks for comment. I tried to be pedagogical. However from the question asked I estimate that op is not looking for that kind of answer you propose (altrough it is correct). I estimate that he is probably undergrad in math or someone who just encountered vector spaces and mathematical analysis (and is still not able to have general overview), so I kept my answer informative and simple. If you think that op is looking for some other answer feel free to post your answer.
    $endgroup$
    – Thom
    2 hours ago










  • $begingroup$
    Sure, I actually already did.
    $endgroup$
    – Matt Samuel
    2 hours ago










  • $begingroup$
    @MattSamuel Great.
    $endgroup$
    – Thom
    2 hours ago













0












0








0





$begingroup$

In analysis you probably defined infinte sum as follows. Let us say that $a_n$ is some sequance of real numbers. We define partial sums $S_n$ as follows.
$$S_1 = a_1 $$
$$S_2 = a_1 + a_2 $$
$$...$$
$$S_n = a_1 + a_2 + ... + a_n$$
Now we define:
$$S = sum_n=1^inftya_n := lim_n to inftyS_n $$
The point of this is that you see that it is good to have a concept of limit (convergance) to define infinte sum. Limit involves, intuitivley speaking, that one things get closer to another; and that requaries notion of distance. If you have a vector space only, you still do not have a way to mesure length of a vector.



So it would be good if you had some way to mesure length of a vector and you can do that by norm. One way to create a norm on your vector space is to induce it with a inner (scalar) product. Then you can define that sequance of vectors $v_n$ converges to some vector $w$ if sequnace of norms $||v_n||$ of vector converges to norm $||w||$. Then you will be able to define infinte sum of vectors because you have notion of convergance.



I kept it brief, but if you do have any question, feel free to ask.






share|cite|improve this answer











$endgroup$



In analysis you probably defined infinte sum as follows. Let us say that $a_n$ is some sequance of real numbers. We define partial sums $S_n$ as follows.
$$S_1 = a_1 $$
$$S_2 = a_1 + a_2 $$
$$...$$
$$S_n = a_1 + a_2 + ... + a_n$$
Now we define:
$$S = sum_n=1^inftya_n := lim_n to inftyS_n $$
The point of this is that you see that it is good to have a concept of limit (convergance) to define infinte sum. Limit involves, intuitivley speaking, that one things get closer to another; and that requaries notion of distance. If you have a vector space only, you still do not have a way to mesure length of a vector.



So it would be good if you had some way to mesure length of a vector and you can do that by norm. One way to create a norm on your vector space is to induce it with a inner (scalar) product. Then you can define that sequance of vectors $v_n$ converges to some vector $w$ if sequnace of norms $||v_n||$ of vector converges to norm $||w||$. Then you will be able to define infinte sum of vectors because you have notion of convergance.



I kept it brief, but if you do have any question, feel free to ask.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited 2 hours ago

























answered 2 hours ago









ThomThom

361111




361111











  • $begingroup$
    It doesn't actually require a notion of distance. You can define infinite sums in topological vector spaces that are not metrizable, like $mathbb R^mathbb R $ in the product topology.
    $endgroup$
    – Matt Samuel
    2 hours ago










  • $begingroup$
    @MattSamuel You can even infinite sums in topological (additive) groups.
    $endgroup$
    – amsmath
    2 hours ago










  • $begingroup$
    @MattSamuel Thanks for comment. I tried to be pedagogical. However from the question asked I estimate that op is not looking for that kind of answer you propose (altrough it is correct). I estimate that he is probably undergrad in math or someone who just encountered vector spaces and mathematical analysis (and is still not able to have general overview), so I kept my answer informative and simple. If you think that op is looking for some other answer feel free to post your answer.
    $endgroup$
    – Thom
    2 hours ago










  • $begingroup$
    Sure, I actually already did.
    $endgroup$
    – Matt Samuel
    2 hours ago










  • $begingroup$
    @MattSamuel Great.
    $endgroup$
    – Thom
    2 hours ago
















  • $begingroup$
    It doesn't actually require a notion of distance. You can define infinite sums in topological vector spaces that are not metrizable, like $mathbb R^mathbb R $ in the product topology.
    $endgroup$
    – Matt Samuel
    2 hours ago










  • $begingroup$
    @MattSamuel You can even infinite sums in topological (additive) groups.
    $endgroup$
    – amsmath
    2 hours ago










  • $begingroup$
    @MattSamuel Thanks for comment. I tried to be pedagogical. However from the question asked I estimate that op is not looking for that kind of answer you propose (altrough it is correct). I estimate that he is probably undergrad in math or someone who just encountered vector spaces and mathematical analysis (and is still not able to have general overview), so I kept my answer informative and simple. If you think that op is looking for some other answer feel free to post your answer.
    $endgroup$
    – Thom
    2 hours ago










  • $begingroup$
    Sure, I actually already did.
    $endgroup$
    – Matt Samuel
    2 hours ago










  • $begingroup$
    @MattSamuel Great.
    $endgroup$
    – Thom
    2 hours ago















$begingroup$
It doesn't actually require a notion of distance. You can define infinite sums in topological vector spaces that are not metrizable, like $mathbb R^mathbb R $ in the product topology.
$endgroup$
– Matt Samuel
2 hours ago




$begingroup$
It doesn't actually require a notion of distance. You can define infinite sums in topological vector spaces that are not metrizable, like $mathbb R^mathbb R $ in the product topology.
$endgroup$
– Matt Samuel
2 hours ago












$begingroup$
@MattSamuel You can even infinite sums in topological (additive) groups.
$endgroup$
– amsmath
2 hours ago




$begingroup$
@MattSamuel You can even infinite sums in topological (additive) groups.
$endgroup$
– amsmath
2 hours ago












$begingroup$
@MattSamuel Thanks for comment. I tried to be pedagogical. However from the question asked I estimate that op is not looking for that kind of answer you propose (altrough it is correct). I estimate that he is probably undergrad in math or someone who just encountered vector spaces and mathematical analysis (and is still not able to have general overview), so I kept my answer informative and simple. If you think that op is looking for some other answer feel free to post your answer.
$endgroup$
– Thom
2 hours ago




$begingroup$
@MattSamuel Thanks for comment. I tried to be pedagogical. However from the question asked I estimate that op is not looking for that kind of answer you propose (altrough it is correct). I estimate that he is probably undergrad in math or someone who just encountered vector spaces and mathematical analysis (and is still not able to have general overview), so I kept my answer informative and simple. If you think that op is looking for some other answer feel free to post your answer.
$endgroup$
– Thom
2 hours ago












$begingroup$
Sure, I actually already did.
$endgroup$
– Matt Samuel
2 hours ago




$begingroup$
Sure, I actually already did.
$endgroup$
– Matt Samuel
2 hours ago












$begingroup$
@MattSamuel Great.
$endgroup$
– Thom
2 hours ago




$begingroup$
@MattSamuel Great.
$endgroup$
– Thom
2 hours ago

















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%2f3160037%2fhow-can-we-generalize-the-fact-of-finite-dimensional-vector-space-to-an-infinte%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

Францішак Багушэвіч Змест Сям'я | Біяграфія | Творчасць | Мова Багушэвіча | Ацэнкі дзейнасці | Цікавыя факты | Спадчына | Выбраная бібліяграфія | Ушанаванне памяці | У філатэліі | Зноскі | Літаратура | Спасылкі | НавігацыяЛяхоўскі У. Рупіўся дзеля Бога і людзей: Жыццёвы шлях Лявона Вітан-Дубейкаўскага // Вольскі і Памідораў з песняй пра немца Адвакат, паэт, народны заступнік Ашмянскі веснікВ Минске появится площадь Богушевича и улица Сырокомли, Белорусская деловая газета, 19 июля 2001 г.Айцец беларускай нацыянальнай ідэі паўстаў у бронзе Сяргей Аляксандравіч Адашкевіч (1918, Мінск). 80-я гады. Бюст «Францішак Багушэвіч».Яўген Мікалаевіч Ціхановіч. «Партрэт Францішка Багушэвіча»Мікола Мікалаевіч Купава. «Партрэт зачынальніка новай беларускай літаратуры Францішка Багушэвіча»Уладзімір Іванавіч Мелехаў. На помніку «Змагарам за родную мову» Барэльеф «Францішак Багушэвіч»Памяць пра Багушэвіча на Віленшчыне Страчаная сталіца. Беларускія шыльды на вуліцах Вільні«Krynica». Ideologia i przywódcy białoruskiego katolicyzmuФранцішак БагушэвічТворы на knihi.comТворы Францішка Багушэвіча на bellib.byСодаль Уладзімір. Францішак Багушэвіч на Лідчыне;Луцкевіч Антон. Жыцьцё і творчасьць Фр. Багушэвіча ў успамінах ягоных сучасьнікаў // Запісы Беларускага Навуковага таварыства. Вільня, 1938. Сшытак 1. С. 16-34.Большая российская1188761710000 0000 5537 633Xn9209310021619551927869394п

Беларусь Змест Назва Гісторыя Геаграфія Сімволіка Дзяржаўны лад Палітычныя партыі Міжнароднае становішча і знешняя палітыка Адміністрацыйны падзел Насельніцтва Эканоміка Культура і грамадства Сацыяльная сфера Узброеныя сілы Заўвагі Літаратура Спасылкі НавігацыяHGЯOiТоп-2011 г. (па версіі ej.by)Топ-2013 г. (па версіі ej.by)Топ-2016 г. (па версіі ej.by)Топ-2017 г. (па версіі ej.by)Нацыянальны статыстычны камітэт Рэспублікі БеларусьШчыльнасць насельніцтва па краінахhttp://naviny.by/rubrics/society/2011/09/16/ic_articles_116_175144/А. Калечыц, У. Ксяндзоў. Спробы засялення краю неандэртальскім чалавекам.І ў Менску былі мамантыА. Калечыц, У. Ксяндзоў. Старажытны каменны век (палеаліт). Першапачатковае засяленне тэрыторыіГ. Штыхаў. Балты і славяне ў VI—VIII стст.М. Клімаў. Полацкае княства ў IX—XI стст.Г. Штыхаў, В. Ляўко. Палітычная гісторыя Полацкай зямліГ. Штыхаў. Дзяржаўны лад у землях-княствахГ. Штыхаў. Дзяржаўны лад у землях-княствахБеларускія землі ў складзе Вялікага Княства ЛітоўскагаЛюблінская унія 1569 г."The Early Stages of Independence"Zapomniane prawdy25 гадоў таму было аб'яўлена, што Язэп Пілсудскі — беларус (фота)Наша вадаДакументы ЧАЭС: Забруджванне тэрыторыі Беларусі « ЧАЭС Зона адчужэнняСведения о политических партиях, зарегистрированных в Республике Беларусь // Министерство юстиции Республики БеларусьСтатыстычны бюлетэнь „Полаўзроставая структура насельніцтва Рэспублікі Беларусь на 1 студзеня 2012 года і сярэднегадовая колькасць насельніцтва за 2011 год“Индекс человеческого развития Беларуси — не было бы нижеБеларусь занимает первое место в СНГ по индексу развития с учетом гендерного факцёраНацыянальны статыстычны камітэт Рэспублікі БеларусьКанстытуцыя РБ. Артыкул 17Трансфармацыйныя задачы БеларусіВыйсце з крызісу — далейшае рэфармаванне Беларускі рубель — сусветны лідар па дэвальвацыяхПра змену коштаў у кастрычніку 2011 г.Бядней за беларусаў у СНД толькі таджыкіСярэдні заробак у верасні дасягнуў 2,26 мільёна рублёўЭканомікаГаласуем за ТОП-100 беларускай прозыСучасныя беларускія мастакіАрхитектура Беларуси BELARUS.BYА. Каханоўскі. Культура Беларусі ўсярэдзіне XVII—XVIII ст.Анталогія беларускай народнай песні, гуказапісы спеваўБеларускія Музычныя IнструментыБеларускі рок, які мы страцілі. Топ-10 гуртоў«Мясцовы час» — нязгаслая легенда беларускай рок-музыкіСЯРГЕЙ БУДКІН. МЫ НЯ ЗНАЕМ СВАЁЙ МУЗЫКІМ. А. Каладзінскі. НАРОДНЫ ТЭАТРМагнацкія культурныя цэнтрыПублічная дыскусія «Беларуская новая пьеса: без беларускай мовы ці беларуская?»Беларускія драматургі па-ранейшаму лепш ставяцца за мяжой, чым на радзіме«Працэс незалежнага кіно пайшоў, і дзяржаву турбуе яго непадкантрольнасць»Беларускія філосафы ў пошуках прасторыВсе идём в библиотекуАрхіваванаАб Нацыянальнай праграме даследавання і выкарыстання касмічнай прасторы ў мірных мэтах на 2008—2012 гадыУ космас — разам.У суседнім з Барысаўскім раёне пабудуюць Камандна-вымяральны пунктСвяты і абрады беларусаў«Мірныя бульбашы з малой краіны» — 5 непраўдзівых стэрэатыпаў пра БеларусьМ. Раманюк. Беларускае народнае адзеннеУ Беларусі скарачаецца колькасць злачынстваўЛукашэнка незадаволены мінскімі ўладамі Крадзяжы складаюць у Мінску каля 70% злачынстваў Узровень злачыннасці ў Мінскай вобласці — адзін з самых высокіх у краіне Генпракуратура аналізуе стан са злачыннасцю ў Беларусі па каэфіцыенце злачыннасці У Беларусі стабілізавалася крымінагеннае становішча, лічыць генпракурорЗамежнікі сталі здзяйсняць у Беларусі больш злачынстваўМУС Беларусі турбуе рост рэцыдыўнай злачыннасціЯ з ЖЭСа. Дазволіце вас абкрасці! Рэйтынг усіх службаў і падраздзяленняў ГУУС Мінгарвыканкама вырасАб КДБ РБГісторыя Аператыўна-аналітычнага цэнтра РБГісторыя ДКФРТаможняagentura.ruБеларусьBelarus.by — Афіцыйны сайт Рэспублікі БеларусьСайт урада БеларусіRadzima.org — Збор архітэктурных помнікаў, гісторыя Беларусі«Глобус Беларуси»Гербы и флаги БеларусиАсаблівасці каменнага веку на БеларусіА. Калечыц, У. Ксяндзоў. Старажытны каменны век (палеаліт). Першапачатковае засяленне тэрыторыіУ. Ксяндзоў. Сярэдні каменны век (мезаліт). Засяленне краю плямёнамі паляўнічых, рыбакоў і збіральнікаўА. Калечыц, М. Чарняўскі. Плямёны на тэрыторыі Беларусі ў новым каменным веку (неаліце)А. Калечыц, У. Ксяндзоў, М. Чарняўскі. Гаспадарчыя заняткі ў каменным векуЭ. Зайкоўскі. Духоўная культура ў каменным векуАсаблівасці бронзавага веку на БеларусіФарміраванне супольнасцей ранняга перыяду бронзавага векуФотографии БеларусиРоля беларускіх зямель ва ўтварэнні і ўмацаванні ВКЛВ. Фадзеева. З гісторыі развіцця беларускай народнай вышыўкіDMOZGran catalanaБольшая российскаяBritannica (анлайн)Швейцарскі гістарычны15325917611952699xDA123282154079143-90000 0001 2171 2080n9112870100577502ge128882171858027501086026362074122714179пппппп

ValueError: Expected n_neighbors <= n_samples, but n_samples = 1, n_neighbors = 6 (SMOTE) The 2019 Stack Overflow Developer Survey Results Are InCan SMOTE be applied over sequence of words (sentences)?ValueError when doing validation with random forestsSMOTE and multi class oversamplingLogic behind SMOTE-NC?ValueError: Error when checking target: expected dense_1 to have shape (7,) but got array with shape (1,)SmoteBoost: Should SMOTE be ran individually for each iteration/tree in the boosting?solving multi-class imbalance classification using smote and OSSUsing SMOTE for Synthetic Data generation to improve performance on unbalanced dataproblem of entry format for a simple model in KerasSVM SMOTE fit_resample() function runs forever with no result