1
vote
0answers
88 views

Nerve Theorem: Is the finite union of closed convex sets triangulable?

My Question: Let $A_1, \ldots, A_k \subseteq \mathbb{R}^n$ be closed convex sets. Is the union $\bigcup_{i=1}^k A_i$ triangulable$^1$? If so, why? Background: I'm trying to better understand the ...
0
votes
0answers
19 views

Separating convex sets in a tvs $X$.

I got doubt with the proof of this theorem. Let $X$ be a tvs, $A,B \subset X$ with $A$ an open convex set and $B$ convex such that $A \cap B = \emptyset$. Then there exists $f \in X^*$ (where ...
0
votes
1answer
22 views

Increasing convex-like function in Hilbert space

I am intersted with the differential equation $$x'(t)=f(t,x(t)),\ t\in \mathbb{R}.$$ Can we find an example of a Hilbert space $H$ and a function $f:\mathbb{R}\times H \to H$ which satisfy the two ...
4
votes
1answer
46 views

Is the set of convex bodies include in a closed ball compact?

I consider the set $\mathcal{K}_B$ of convex bodies (convex and compact) which are include inside the unit closed ball of $\mathbb{R}^d$. I endow this set with the Hausdorff distance. Is it compact?
0
votes
1answer
21 views

Redefine a discrete compact set

I need to find twice continuously differentiable functions $g_i: \mathbb{R}^2 \rightarrow \mathbb{R}$ $i=1,\ldots,I$ such that the set $\{ 0,1\}^2=\{(0,0), (1,0), (0,1), (1,1) \}$ can be written as ...
0
votes
1answer
23 views

Define a compact and convex set through inequality constraints

I need to find twice continuously differentiable functions $g_i: \mathbb{R}^2 \rightarrow \mathbb{R}$ $i=1,...,I$ such that the set $\{ 0,1\}^2=\{(0,0), (1,0), (0,1), (1,1) \}$ can be written as $\{x ...
1
vote
1answer
65 views

How to use Markov-Kakutani fixed point theorem to show that abelian groups are amenable?

Recall that a group $\Gamma$ is amenable if there exists a state $\mu$ on $l^{\infty}(\Gamma)$ which is invariant under the left translation action: for all $s\in \Gamma$ and $f\in ...
1
vote
3answers
78 views

Is convex hull of a finite set of points in $\mathbb R^2$ closed?

Is the convex hull of a finite set of points in $\mathbb R^2$ closed? Intuitively, yes. But not sure how to show that. Thanks!
0
votes
0answers
22 views

Convex in $ \mathbb{R^n}$

Prove that: [A be a convexe part $(A\subseteq \mathbb{R^n})] \implies [\forall x_1,x_2,...x_n\in A ,\forall\alpha_1,\alpha_2,...\alpha_n\ge0 $ $with$ $ \ \alpha_1+\alpha_2+...+\alpha_n=1 ...
0
votes
1answer
52 views

Show homeomorphism between convex hull and unit ball?

In the proof of Schauder fixed point theorem in Evans' PDE book, he uses a claim that the convex hull $K$ of $N$ points $x_1,\dots,x_N$ in a convex compact subset $A$ of a Banach space $X$ is ...
0
votes
1answer
50 views

How can the sum of two closed cones be not closed?

Can there be two closed cones $K_1$ and $K_2$ in $\mathbb{R}^3$ such that $K_1+K_2$ need not be closed?
5
votes
4answers
112 views

Why is the projection of a closed polytope closed?

In general, projection of a closed set into a subspace does not result in a closed set. However, I was able to prove that in $\mathbb{R}^n$, the projection of a closed polytope (intersection of ...
1
vote
1answer
94 views

Why the cone generated by a closed convex set containing the origin may not be closed?

I encounter this problem in the proof of Theorem $1.28$, page 21, Skiadas' Asset Pricing Theory. $X$ is a constrained market which is defined to be a closed convex subset of $\Bbb R^{K+1}$, $C = \{kx ...
1
vote
1answer
45 views

Sets defined by distance to a convex set

Let $Y \subset \mathbb R^n$ be a bounded convex set, let $R>0$, and let $$Z := \left\{z \in \mathbb R^n : d(z,Y) > \dfrac12R \right\}$$ where $$ d(z,Y) = \inf_{y\in Y}|y-z|. $$ If you like, ...
0
votes
1answer
46 views

Interior of the sum of two sets?

Is it always true for two subsets $A $ and $B$ of a real Hilbert space $H$ that $\operatorname{int}(A+B)=\operatorname{int}(A)+\operatorname{int}(B)$ ?
2
votes
0answers
62 views

Existence of points in closed and bounded convex sets that cannot be expressed as convex combination of other elements of the set.

I have an intuition about convex, closed, bounded sets but I can't really find a way to prove whether it's right or wrong. Let $\Sigma$ be a convex set, that means, that given any $A,B \in \Sigma$, ...
1
vote
0answers
74 views

Relative Interior and dense subsets

(Due to no answers, I also posted this question here.) Let $A,B\subseteq \mathbb R^d$ be non-empty, such that $B\subseteq \overline A.$ For $S\subseteq\mathbb R^d$ define the relative interior of $S$ ...
0
votes
2answers
34 views

convexity and the interior sphere condition

Consider $\Omega $ a open, convex bounded subset of $R^n$. Let $x_0 \in \partial \Omega$. I believe that exists a open ball $B \subset \Omega$ such that $\partial B \cap \partial \Omega = \{ x_0 \}$. ...
1
vote
1answer
68 views

Question about relative interior of subsets in $\Bbb R^n$

I would love to get some hint or direction regarding this : If $S\subseteq T$, when $S,T$ are convex, and ${\rm ri}(S) \cap {\rm ri}(T) \neq \emptyset$ then ${\rm ri}(S) \subseteq {\rm ri}(T)$. ...
3
votes
1answer
94 views

Every face of compact convex set is closed?

Well, this is my doubt: Let $\vec{E}$ be a n.v.s. and $K\subset \vec{E}$ a compact convex set. Then every face of $K$ is closed. Any hint in order to prove it is welcome. Thanks in advance!
1
vote
1answer
39 views

Existence of a supporting hyperplane

In $\mathbb R^n$, let $C$ be a closed convex set not equal to $\mathbb R^n$ itself. I'd like to prove that the boundary of C: $\delta C$ is the set of all supporting points of $C$. For the first ...
0
votes
0answers
126 views

Subsets of R2 that are convex, closed, and have non-empty interiors?

Can someone give me some guidance with this problem? Thanks. Suppose that $A, B \subset \mathbb{R}$ are convex, closed, and have non-empty interiors. Prove that $A, B$ are the closure of their ...
0
votes
1answer
63 views

How can we ensure that a space is a subset of locally convex topological space?

I am looking for fast ways to ensure that a given set is a subset of topologically locally convex space. I have already read the posts post1:seminorms-in-locally-convex-spaces, ...
1
vote
1answer
27 views

Explanation in some part of proof

It might be too specific to be asked here, but I can't figure out myself. I have this thm and my problem is in the necessity part: $$ \text{M is hyperplane iff } \exists h\in\mathbf{R}^n \text{ and } ...
0
votes
1answer
370 views

Convexity of sum and intersection of convex sets

Let $A_i$ be a subset of $\Bbb{R}^m$ which is convex for $i=1,...,n$. How can I prove that the sum of $A_i$ is also convex? I know how to prove it with two sets: Let $x = a_1 + b_1$ and $y = a_2 ...
0
votes
0answers
59 views

Linear map preserves closedness of a convex set with property on recession cone

Let $\mathbf{E},\mathbf{Y}$ be two euclidean space, $C$ be a non-empty closed convex set in $\mathbf{E}$. The map $A:\mathbf{E}\rightarrow\mathbf{Y}$ is linear, and $N(A)\cap 0^+(C)$ is a linear ...
1
vote
1answer
74 views

Help with a proof of a theorem about convex sets

I'm studying the following theorem: Theorem 1. Let $C$ be a convex set and let $\textbf{y}$ be a point exterior to the closure of $C$. Then there is a vector $\textbf{a}$ such that ...
1
vote
1answer
115 views

closed epigraphs equivalence

Is there a way to prove that the epigraph of any real function $f$ is closed iff $f$ is lower semi-continuous without using limit superior or inferior?
1
vote
1answer
105 views

A weak version of Markov-Kakutani fixed point theorem

Let $\emptyset \not = X\subseteq \Bbb{R}^n$ be convex and compact and let $\cal{A}$ be a commuting family of affine maps from $\Bbb{R}^n$ into $\Bbb{R}^n$ such that $X$ is invariant under each element ...
0
votes
1answer
169 views

interior points and convexity

Question: Let If $P\subseteq \mathbb{R}^n$ be a convex set. show that $int(P)$ is a convex set. I know that a point $x$ is said to be the interior point of the set $P$ if there is an open ball ...
2
votes
2answers
51 views

Generalizing the Definition of Convexity

The definition of convexity can be given as: Definition: Call a subset of $\mathbb{R} ^ k$, which will be denoted $E$, convex if given two elements of $E$, $\boldsymbol{x}$ and $\boldsymbol{y}$ and ...
10
votes
2answers
175 views

What is the expected convex depth of a set of $m$ randomly chosen points in the unit square?

Definition. Let $X$ be a set of points in $\mathbb{R}^2$. Then the vertex sequence of $X$ is defined by $X_{0}=X$, and $X_{i+1}=\left\{x\in \operatorname{Conv}(X_{i}): x \notin ...
1
vote
1answer
438 views

Convex analysis: relative interior in finite and infinite dimension

Let $X$ be a normed space. Given a nonempty convex set $C \subset X$, the relative interior of $C$, denoted by $\text{ri} C$, is the set of the interior points of $C$, considered as a subset of ...
3
votes
2answers
87 views

Lipschitz functions in $\mathbb{R}^n, \ \ \mathbb{R}^m$, extension

I've found the following lemma : Let $\{x_1, . . . , x_k\}$ be a finite collection of points in $\mathbb{R}^n$ , and let $\{y_1, . . . , y_k\}$ be a collection of points in $\mathbb{R}^m$, such that ...
0
votes
1answer
204 views

Is this sum of convex and concave functions a convex function?

Is this a convex function in $X$, where all the entries are real and $Y,\beta$ are constants where $X,Y$ are rectangular matrices and $\beta$ is a constant vector and $A,B$ are constant p.s.d ...
0
votes
1answer
27 views

Continous map assuming positive value in the closure of a convex set

Let $\phi:\mathbb{R}^d\rightarrow\mathbb{R}$ be a continuous map w.r.t. Euclidean norm. Let $C\subseteq\mathbb{R}^d$ be a convex subset. Assume that there exists $y\in\overline{C}$ such that ...
8
votes
1answer
226 views

Proof that the set of doubly-stochastic matrices forms a convex polytope?

Does the set of all doubly-stochastic matrices form a convex polytope? In general, I wonder how the proofs of convexity and geometry can be established for sets of matrices of this kind? Anything to ...
2
votes
2answers
136 views

$ \text{int}(A) = \text{int(cl}(A))$, where $A$ is convex

How can one prove that $ \text{int}(A) = \text{int(cl}(A))$, where $ A \subseteq \mathbb{R}^n$ is convex?
4
votes
1answer
83 views

$ \text{cl}(\text{int}(A)) = \text{cl}(A)$ when A is convex

How can one prove that $ \text{cl}(\text{int}(A)) = \text{cl}(A)$, where $ A \subseteq \mathbb{R}$ is convex? I know that if $A$ is convex, $\text{int(A)}$ and $\text{cl(A)}$ are convex too. I need ...
2
votes
1answer
183 views

relative interior, convex hull, intersection

For any index set $I$, let $A_\iota\subseteq\mathbb{R}^d$ for $\iota\in I$ be closed sets. Do we have $\bigcap_{\iota\in ...
3
votes
1answer
147 views

Interior point and Minkowski functional

I want to prove for a convex set that contains zero a point $x$ is interior iff the value of Minkowski functional in that point is strictly less than $1$. is there anyone to help me.
3
votes
0answers
82 views

When is a sequentially closed cone, closed?

Let $X$ be a locally convex, Hausdorff topological vector space and $C\subseteq X$ a convex cone, which is sequentially closed. What are criteria, that would imply that $C$ is closed (in the topology ...
2
votes
2answers
144 views

Sets whose intersection with line segments have finite components

Certain subsets $A$ of $\mathbb{R}^n$ satisfy the property that given any line segment $L$, $A \cap L$ has a finite number of connected components. For instance, $A$ can be any finitary union of ...
2
votes
1answer
106 views

Convex functions and uniform convergence of derivatives

Let $f_n:[0,1]\to\mathbb{R},\ n\in\mathbb{N}$ be a sequence of convex analytic functions. Consider the sequence of derivatives $(f_n')_{n\in\mathbb{N}}$. Suppose that ...
0
votes
1answer
123 views

affine set convex set

How to show the following: Let $C$ be a convex subset of $\mathbb R^d$. Then $\operatorname{int} C \neq \emptyset$ if and only if $\operatorname{aff} C = \mathbb R^d$ where $\operatorname{aff} C$ is ...
0
votes
0answers
41 views

About the problem 20 chap 3 (functional analysis, Walter Rudin) [duplicate]

Possible Duplicate: I need to show that $K$ is compact and that $co(K)$ is bounded, but not closed. Let $\{u_1,u_2,u_3,\dots \}$ be sequence of pairwise orthogonal unit vectors in Hilbert ...
1
vote
1answer
219 views

Prove that the spaces have the same homotopy type

This exercise was taken from the book "Fundamental Groups and Covering Spaces", from Elon Lages Lima. "Let $X=C_1\cup\cdots\cup C_k$ be a finite union of convex open sets in the Euclidean space ...
7
votes
1answer
268 views

Making sense out of “field”, “algebra”, “ring” and “semi-ring” in names of set systems

There are some set systems with algebraic titles, such as "field", "algebra", "ring" and "semi-ring" (and possibly other titles), in their names. Examples are a sigma field (aka sigma algebra, ...
5
votes
1answer
219 views

When does it make sense to define a base of a set system?

In a topology, a base is defined to be a class of subsets such that every open set is the union of some members of it. In a convexity structure, a base is defined to be a class of subsets ...
2
votes
2answers
115 views

When does it make sense to define a generator of a set system?

In a set system, such as a topology, sigma algebra or convexity structure, a generator is defined to be a class of subsets such that the given set system is the coarsest such set system ...