Convex Vector Spaces: Does Sum Exist in Normed Vectorial Space?

  • Context: Graduate 
  • Thread starter Thread starter Calabi
  • Start date Start date
Click For Summary

Discussion Overview

The discussion revolves around the existence of a sum in a normed vector space, specifically concerning an open convex set and a sequence of vectors. Participants explore whether the weighted sum of vectors, given certain conditions, necessarily belongs to the original set.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant poses a question about whether the sum ##\sum_{i \in \mathbb{N}} a_{i}v_{i}## exists in the open convex set V, given that the weights sum to 1.
  • Another participant suggests a specific sequence of weights, ##a_{n} = \frac{1}{2^{n+1}}##, indicating a positive assumption about the existence of the sum.
  • A third participant questions the clarity of the original statement and suggests that the sum may not necessarily be in V, but rather in the closure of V, depending on the completeness of the space E.
  • A fourth participant references a theorem regarding open convex sets that may provide insight into the question posed, although it does not directly resolve the issue.
  • A fifth participant reiterates the need for proofreading the original statement and emphasizes that the sum's existence is contingent on the completeness of E.

Areas of Agreement / Disagreement

Participants express differing views on the conditions under which the sum exists in the set V, with no consensus reached regarding the necessity of the sum being in V itself.

Contextual Notes

There are unresolved issues regarding the completeness of the normed vector space E and the definitions of the terms used, such as the nature of V and its closure.

Calabi
Messages
140
Reaction score
2
Hello every one, let be V an open convex a a normed vectorial space E.
Let be ##(a_{n}) \in \mathbb{R}^{n}## with ##\sum_{i \in \mathbb{N}} a_{i} = 1##.
Let be ##(v_{n}) \in V^{\mathbb{N}}## as ##\sum_{i \in \mathbb{N}} a_{i}v_{i}## exists.
Does necessarly ##\sum_{i \in \mathbb{N}} a_{i}v_{i} \in V## please?

Thank you in advance and have a nice afternoon:oldbiggrin:.
 
  • Like
Likes   Reactions: DavideGenoa
Physics news on Phys.org
I suppose a positive.
In fact for my need I can suppose ##a_{n} = \frac{1}{2^{n+1}}##.
 
Your original statement needs proofreading. I assume you meant V an open convex set (but I'm not sure). Also V^N? In any case, the sum is not necessarily in V, if it exists, but in the closure of V. The sum existence depends on whether on not E is complete.
 
Here is a theorem about open convex sets that might help (based on theorem 3.4 in Rudin's Functional Analysis).

Suppose ##X## is a topological vector space over ##\mathbb R##, ##A## and ##B## disjoint, nonempty, convex subsets of ##X## with ##A## open, then there exists a continuous linear function ##f: X \to \mathbb R## and a real number ##\gamma## such that ##f(a) \lt \gamma \leq f(b)## for all ##a \in A,\ b\in B##.

This should help answer the question.

For reference, the theorem from the book:
rudin34.jpg
 
Last edited:
  • Like
Likes   Reactions: DavideGenoa
mathman said:
Your original statement needs proofreading. I assume you meant V an open convex set (but I'm not sure). Also V^N? In any case, the sum is not necessarily in V, if it exists, but in the closure of V. The sum existence depends on whether on not E is complete.

No I suppose my sum exist . And I clearly wroght V is an open convex.
 

Similar threads

  • · Replies 0 ·
Replies
0
Views
716
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 9 ·
Replies
9
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K