# Questions tagged [locally-convex-spaces]

For questions about topological vector spaces whose topology is locally convex, that is, there is a basis of neighborhoods of the origin which consists of convex open sets. This tag has to be used with (topological-vector-spaces) and often with (functional-analysis).

339 questions
Filter by
Sorted by
Tagged with
0answers
22 views

1answer
28 views

### Strongly Minkowski equivalence

Assume that $(X, \{ p_i \}_{i \in I})$ is a locally convex space. $A,B \subset X$ are said to be strongly Minkowski separated iff there exists $j \in I$ and $z \in X$ such that one of the following ...
1answer
23 views

### Prove that a function is sequentially lower semicontinuous

Let be $(X, \{ p_i \}_{i \in I} )$ a locally convex space, $M_0\subset X$ a bounded and nonempty set and $f = l + I_{M_0}$ where l is a continuous function and \begin{equation*} I_{M_0}(x)= \begin{...
0answers
5 views

### Generalization to $n$ dimensions of partition into convex subsets of a function’s domain?

Let $f:\mathbb R\to\mathbb R$ be a smooth and bounded function with a finite number of local minima. Then we can partition $\mathbb R$ into a finite number of sets $\{ A_i\}$, such that the ...
0answers
18 views

### direct limit in locally convex modules and continuous map

Let we have short exact sequences of LCM over LC algebra $A$ with continuous linear maps $$0\to B_j\;{\xrightarrow {\ f_j\ }}\;C_j\;{\xrightarrow {\ g_j\ }}\;D_j\to 0.$$ We can take inductive limit (...
0answers
29 views

### Product of open maps open? (not the cartesian)

Let $A$ be a locally convex algebra, or even just a topological algebra, and let $U_1,U_2\in A$ be open, is the product $$U_1\cdot U_2=\left\{ a\cdot b\mid a\in U_{ 1} ,b\in U_{ 2} \right\}$$ ...
1answer
39 views

### A theorem about convex function

Assume that function $h(x)=f(ax+b)$ is a convex function. What can we say about the convexity of function $f(x)$? My notes: By taking the second derivative from both sides of eqaution $h(x)=f(ax+b)$ ...
0answers
53 views

### Rudin's functional analysis Theorem 3.18, second part.

Just a follow up to the following two questions: Rudin's functional analysis 3.18, every originally bounded subset of a locally convex space is weakly bounded. Theorem 3.18, Rudin's ...
0answers
17 views

### About Locally Convex Frèchet Space

I need to proof the following statements, having $\quad X = \{x_n : \mathbb{N} \rightarrow \mathbb{C}\}$ and $p_j = max_{k \le j}|x(k)|$ 1)$p_j$ is a countable family of seminorms which induces ...
1answer
38 views

### On the completeness of topologically isomorphic spaces

Let $(E_1,\tau_1)$ be a locally convex space and let $(E_2,\tau_2)$ be a complete locally convex space. Suppose that $T:(E_1,\tau_1) \longrightarrow (E_2,\tau_2)$ is a topological isomorphism (that is,...
0answers
127 views

### Closed and convex subset of a locally convex space

For the following problem concerning functional analysis I cannot seem to find a solution. It states as follows. Let $(E, \tau)$ be a locally convex vector space and $S \subseteq E$ with $S \ni 0$. ...
1answer
74 views

### how to prove the following equation is convex funcion?

prove that $$f(x,t)=\frac{\Vert x\Vert _p^p} {t^{p-1}}$$ is convex on $$\{ (x,t)|x\in R^n ,t\ge 0 \}$$
0answers
95 views

### Is this true? A strict monotonic function F satisfying Jensen equation with F(0)=0, only expresses dyadic rationals multiples?

. Is is really true that a function satisfying jensen equation F(x/2+y/2)=F(x)/2+F(y)/2, F(0)=0, and F strictly monotonic, where F is a function from F:[0,1] to [0,1] can only express dyadic fraction ...
1answer
52 views

### $f|_{(a, b)}$ convex. Is $f$ convex on $[a, b]$? [closed]

Suppose $f : [a, b] \rightarrow R$ is continuous on $[a, b]$ and convex on the open interval $(a, b).$ Show that $f$ is convex on the closed interval $[a, b].$
0answers
29 views

### Showing $\forall q\in\mathcal{P}_Y$ there exists $p\in\mathcal{P}_X:q\circ A\le p\implies A:X\to Y$ continuous

Let $(X,\mathcal{P}_X)$ and $(Y,\mathcal{P}_Y)$ be locally convex topological vector spaces with topologies induced by the families of continuous seminorms $\mathcal{P}_X$ and $\mathcal{P}_Y$ ...
0answers
117 views

### Application of the separation theorem of convex sets

Let $X$ be a locally convex topological vector space over $\mathbb{R}$, $a,b\in X$, and let $Y$ be a closed, subspace of $X$, such that: $$Y\cap\left\{(1-t)a+tb: \ t\in\mathbb{R}\right\}=\emptyset.$$ ...
1answer
41 views

### Possible explanation for a terminology confusion

In the usual sense, given two spaces $X,Y$ and a family of functions $F$ which map $X$ into $Y$, we say $F$ separates points if for any distinct $x_{1,2}\in X$ there exists at least one $f\in F$ such ...
1answer
179 views

### Extension of continuous linear functionals from a closed subspace to the whole locally-convex space

Consider a Hausdorff, real (but I believe this not to be relevant), locally-convex topological linear space $X$ and a closed linear subspace $Y$. Let $f \in Y^*$ (the topological dual). I want to show ...
1answer
377 views

### Proof of the Banach-Alaoglu theorem

I have some doubts about the point of this proof of the Banach-Alaouglu theorem: "The cloesed ball $B_{E'}:=\lbrace u \in E' : \left \| u \right \|_{E'} \leq 1 \rbrace$ of dual $E'$ of a normed space ...
1answer
61 views

### discrete convexity arising in a simple discrete optimization problem

Let $S$ be a fixed integer satisfying $S \ge 1$, let $a$ range over the integers between $1$ and $S$ inclusive, and for $i = 1, \dotsc, a$, let each $x_i$ range over the nonnegative integers, such ...
0answers
84 views

### Metrisability of locally convex spaces/weak topology

The weak topology of a Banach space $X$ is the locally convex topology associated to the family of semi-norms $$p_f(x)= |f(x)|, \qquad f\in X^*.$$ If $X^*$ is separable, it obviously suffices to ...
2answers
465 views

### Continuity of Minkowski functional in locally convex topological vector space

Let $X$ be a locally convex topological vector space over $\mathbb{R}$ or $\mathbb{C}$ and let $p_C(x)=\inf (\lbrace t>0 \mid t^{-1}x \in C\rbrace)$ be the Minkowski functional for an arbitrary ...
2answers
53 views

0answers
52 views

### How to show that the vertices of a convex hull are given by these specific subsets…

We work over $\mathbb{R}^N$. Let $V$ be the corners of the unit cube $[0,1]^N$, or equivalently the set of vectors whose coordinates take values $0$ or $1$. Let $d:\{0, \ldots, N\} \to \mathbb{R}_+$ ...
1answer
28 views

### ($\forall x\in E_1 \exists y\in E_2: f_1(x_1)=f_2(x_2))\ \Longrightarrow \ x \mapsto y$ continuous

I'm reading through some notes on functional analysis where on a couple of occasion we where in the following setting: $E_1$ and $E_2$ are two Frechet spaces and $f_i:E_i \rightarrow F$ two ...
1answer
17 views

### Detecting ray cross after hit on a convex object

I have a hw question im struggling to solve - Any guidance will be appreciated.
1answer
51 views

### How to detect reflexivity of the closure

Consider the space of continuous bounded functions on a bounded interval. Its closure for the Lebesgue $L_p$ norm is reflexive when $1 < p < \infty$, but it is not reflexive for $p = 1$. How ...
1answer
367 views

### Relative interior inclusion of convex sets

Is relative interior(C-D) = relative interior(C) - relative interior(D) where C and D are nonempty convex sets. If so please give the proof If thats not the case could you give a counterexample ...
1answer
156 views

### Convex Sets and Linear Subspace

Consider the set $\{(x,y) \in \Bbb R_+ \times \Bbb R \text{ s.t. } y\leq \ln x - e^x\}$. This set is: A) A linear subspace of $\mathbb R^2$ B) Convex C) Convex & a linear subspace of \$\mathbb ...