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).

learn more… | top users | synonyms

0
votes
1answer
17 views

Regarding embeddings of locally convex spaces

If $f:E\rightarrow E'$ is a linear embedding of locally convex topological vector spaces, and $A\subseteq E$ open and convex, can we always find $A'\subseteq E'$ open and convex sucht that ...
2
votes
0answers
42 views

Closedness of convex sets in a locally convex space

Let $C$ be a convex subset of a locally convex topological vector space. Consider the properties: a) $C$ is closed. b) $C$ is weakly closed. c) $C$ is weakly sequentially closed. d) $C$ is ...
3
votes
2answers
102 views

Topology on the space of test functions

I try to read into the theory of distributions and there is one thing which bothers me. I read that a distribution is a linear, continuous functional from the space of test functions, which, depending ...
1
vote
2answers
30 views

Is the algebraic interior relatively open in a closed convex set?

I am struggling with proving or disproving the following: Let $X$ be a locally convex space and let $C\subset X$ be closed convex with non-empty algebraic interior which we denote by $C^i$ (recall ...
1
vote
1answer
34 views

Strong convexity on sets?

Consider the definition of convex functions: $$ f(tx+(1-t)y) \le t f(x)+(1-t)f(y) $$ It is easy to show the definition of the convexity on sets with respect to the above definition (Specifically for ...
0
votes
0answers
27 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}_+$ ...
1
vote
0answers
23 views

When is the normal cone to a closed convex set in a locally convex set maximal monotone?

Let $X$ be a locally convex set with the following property: (P) $\forall C\subset X$ closed convex, the normal cone $N_C$ is maximal monotone as a multi-valued operator from $X$ to its topological ...
1
vote
1answer
64 views

Existence of a Frechet topology on the dual of a barreled space

I have a Hausdorff separated locally convex barreled space $(X,\tau)$ with topological dual $X^*$. My questions are: $Q_1$ Is there a topology $\tau^*$ on $X^*$ that is finer than the weak-star ...
2
votes
1answer
51 views

Uniqueness of projection in a Banach space

Let $X$ be a Banach space, $M$ be a subspace of $X$ and $x \in X$ be any vector in $X$. Consider $\displaystyle \hat{x}_M=\arg \inf_{m\in M}\|x - m\|$. Under what conditions for $l_p$ norms $p = ...
1
vote
1answer
40 views

Proving a point is a local minimum

I have a rather basic question. I have a function $f:R \rightarrow R$, and I want to show a point, $x^*$, is local minimum, i.e., $f(x^*+\delta) \geq f(x^*), \ \delta \to 0$. I can show that: $f(x^* ...
1
vote
0answers
25 views

Direct sum decomposition of vector spaces and their tensor powers

Let $V$ be a locally convex vector space and let $U$ be a finite-dimensional subspace of $V$. The Hahn-Banach theorem guarantees that there exists a closed subspace $W$ of $V$ such that $$V=U\oplus ...
2
votes
1answer
45 views

Relation between $\text{Hom}_{\mathsf{Alg}_{\mathbb{R}}}(\mathcal{C}^\infty(M),A) $ and $ X \otimes_\mathbb{R} A$?

This question is a little bit of a shot in the dark, but maybe someone stumbled over it before... Let $M$ be a (simply connected) smooth manifold modelled on a locally convex space $X$ over ...
0
votes
0answers
11 views

Is the below formula equivalent?

$K$ is a simplicial complex: Is $\{\sigma \in K | \sigma \cap conv(\{a, b\}) = \emptyset\}$ equivalent to $\{ \sigma \in K | \sigma \cap \{ a \} = \emptyset \} \cap \{ \sigma \in K | \sigma \cap \{ ...
5
votes
0answers
140 views

Isomorphism between $C^\infty_0(B_1)$ and $\mathscr{S}(\mathbb{R}^n)$

Background: Related question I am trying to prove, that the countably-normed spaces $C^\infty_0(B_1)$ on the open unit ball (i.e. function and all derivatives vanish at the boundary) in ...
1
vote
1answer
16 views

Condition under which a locally convex topological vector space becomes a normed linear space

Is this true that a locally convex topological (Hausdorff) vector space becomes a normed space when its local base has only one element, so only one Minkowski functional and so only one seminorm and ...
1
vote
0answers
30 views

Motivation for the notion of locally convex topological vector space

Is the only motivation for the notion of locally convex topological vector space that the local bases have some nice property i.e. convex, balanced, absorbing ?
0
votes
1answer
46 views

Locally convex topological vector space using semi norms

Given a vector space and a family of semi-norms defined on it, I have to prove that it becomes a locally convex topological vector space. To prove that it becomes a locally convex space I have to ...
2
votes
0answers
69 views

Nuclearity of $\mathscr{S}$

I have big problems proving that the Schwartz Space $\mathscr{S}(\mathbb{R}^n)$ together with the topology induced by the family $$ \|\varphi\|_{p}:=\sup_{x\in \mathbb{R^n}}\sup_{|\alpha|\leq ...
1
vote
1answer
44 views

Inductive Limit of directed locally convex Frechet Spaces

Let $\Phi=\bigcup_{i\in \mathbb{N}}\Phi_i$ be the inductive limit of an upwardly directed set of countably-seminormed spaces (i.e. the locally convex topology is given by a countable family of ...
3
votes
1answer
55 views

Local convexity of the topology of weak convergence of probability measures

Let $X$ be a Polish or standard Borel space, and $\mathcal P(X)$ be the space of all Borel probability measures on $X$ endowed with the topology of weak convergence. I am thinking of using ...
0
votes
1answer
33 views

A question Kolmogrov's generalized inequality for projection onto convex sets

Kolmogrov's inequality says that, if $C$ is a convex set, and $P_C(x)$ is an operator for projecting point $x$ into the convex set $C$, if $z = P_C(x)$, then for any $y \in C$ we have $$ (z - y).(x - ...
2
votes
1answer
97 views

Uniform convex space

Please I want to know if this space $$H^1_{0,p}([0,+\infty))=\lbrace u, u\in AC([0,+\infty)), u(0)=u(+\infty)=0,\sqrt{p}u'\in L^2\rbrace$$ where $p>0$, $p\in L^1((0,+\infty))$ ...
4
votes
1answer
66 views

Topology Book including specific aspects

I am looking for a basic book about Topology (maybe also a bit of Functional analysis but basically Topology) including the following points (in addition to the basic points): $\bullet$ Seminorms ...
1
vote
1answer
112 views

Is $\sqrt{x}$ concave?

I have function $f(x)= \sqrt(x)$. To check is it concave or convex i am checkin $f''(x). $ Which is $ -\frac{1}{4x^{\frac{3}{2}}} < 0$ So the $f(x)$ is concave. Is it correct ? And is is the same ...
1
vote
0answers
70 views

Strong Notion of Integral

Is there a strong(!) notion of integral that can face all of those issues: Singularities Decay Modes Oscillations Measure Spaces Locally Convex Spaces For example combining decay modes with ...
1
vote
0answers
18 views

Differential calculus on locally convex spaces

For real finite dimensional vector spaces $V,W,Z$, i know that a map $f:V \times W \to Z$ is smooth if the maps $f(v,.)$ and $f(.,w)$ are for every $v\in V, w \in W$. Does the same thing hold for ...
2
votes
1answer
46 views

Please verify this definition of locally convex vector space

A locally convex vector space is a vector space $V$ equipped with a family $P$ of separating semi-norms. Is this a correct definiton? So to determine whether a norm induces a locally convex topology ...
2
votes
1answer
72 views

Locally convex topological vector space

In $C(\mathbb{R})$ space we define two families of seminorms: $p_x(f)=|f(x)|$ where $ x\in\mathbb{Q}$ and $q_x(f)=|f(e^x)|$ where $ x \in \mathbb{R}$ I have to check if above families induce locally ...
1
vote
0answers
49 views

The closed graph theorem for Banach spaces isn't true. True?

I'm reading through some functional analysis lecture notes and there the closed graph theorem was stated in the following form: Let $X$ be a Baire locally convex space and $Y$ a Frechet space. If ...
0
votes
1answer
26 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 ...
1
vote
1answer
61 views

Projection onto a convex closed set

H, If $K$ is a non-empty convex and closed subset of a uniformly convex Banach space $X$ (Hilbert for example) and $v \notin K$, we know that there exists a unique $k_0\in K$ such that ...
4
votes
1answer
96 views

Caught in the net

I'm reading through some notes one locally convex spaces ("lcs" from now on) analysis and there the following version of the Banach-Steinhaus theorem is given Theorem (Banach-Steinhaus) $\quad$ ...
1
vote
0answers
54 views

Separability of nuclear spaces

I'm currently studying nuclear spaces and the nuclear spectral theorem with the books of Gelfand, Vilekin and Schilow, "Generalized functions", especially the second and fourth part. Currently, I'm ...
4
votes
2answers
103 views

On the convexity of a particular form of integrals

EDIT: I made some critical corrections below. Let $\mathcal{H}\colon\mathbf{w}\cdot\mathbf{x}+c=0$ be a hypeplane in $\mathbb{R}^n$. Also, let $g\colon\mathbb{R}^n\to\mathbb{R}_+$, be a non-negative, ...
2
votes
0answers
22 views

Topological modules with enough continuous linear functionals.

Context: I'm trying to find out which topological (unital) modules are "good enough" for generalizing results from real or complex functional analysis. For example, I say that a module, in order to be ...
1
vote
2answers
67 views

strong topology = inductive limit topology on duals of projective limits

I've been bothering with this for some time now, and can't find any source with an actual proof, the statement simply appears to be "well-known". If you know (a source with) a proof, I'd be happy :) ...
1
vote
1answer
52 views

Non-locally convex topologies on $\mathbb{R}^{n}$ compatible with the vector space structure

So I know that every locally convex topology on $\mathbb{R}^{n}$ is equivalent to the norm topology. Are there any non-trivial examples of non-locally convex topologies on $\mathbb{R}^{n}$ that still ...
0
votes
1answer
14 views

Detecting ray cross after hit on a convex object

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

Generalization of Hahn-Banach Theorem

Let $Y$ be a subspace of a locally convex topological vector space $X$. Suppose $T:Y\longrightarrow l^\infty$ is a continuous linear operator. Prove that $T$ can be extended to a continuous linear ...
1
vote
1answer
74 views

On convex hulls and intersections of chains of compact sets

Let $V$ be a topological vector space, let $\{ C_i \}_{i \in I}$ be a set of compact subsets of $V$ which forms a chain with respect to inclusion. For now, assume the following stronger properties: ...
0
votes
0answers
37 views

Do finite dimensional real spaces have a canonical structure of locally convex space? [duplicate]

Note that I intentionally didn't use "euclidean spaces" but "finite dimensional real spaces" so I do not want to consider any specific inner product or any specific norm on such spaces (just their ...
2
votes
1answer
46 views

When does a dense subspace destine the weak topology?

Let $E$ be a locally convex space, let $E^{\prime}$ be its continuous dual space and let $F$ be a subspace of $E^{\prime}$ which is dense with respect to the strong topology on $E^{\prime}$ (i.e. the ...
2
votes
0answers
19 views

$T: H^{-\infty}(R^n) \to H^\infty(R^n)$ continuous iff $T: H^{-r}(R^n) \to H^s(R^n)$ bounded for all $r,s>0$?

Denote by $H^s(\mathbb{R}^n)$ the Sobolev space on $\mathbb{R}^n$ of order $s \in \mathbb{R}$ and recall that we have $H^s(\mathbb{R}^n)^\ast \cong H^{-s}(\mathbb{R}^n)$ for the dual space of ...
3
votes
1answer
96 views

Extending continuous, densely-defined linear maps between locally convex spaces

Let $X$ and $Y$ be locally convex topological vector spaces, say over $\mathbb{C}$. To set the stage a bit, I'll say that the topology on $X$ is given by a separating family of semi-norms $(p_i)_{i ...
0
votes
1answer
41 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 ...
1
vote
0answers
108 views

Topology of pointwise convergence - open sets

Let $X$ be the vector space of all complex functions on $[0,1]$, topologized by the family of seminorms $p_{x}(f)=|f(x)|$, $0\le x\le1$. This topology is called the topology of pointwise convergence. ...
0
votes
1answer
71 views

About absolutely summing operators

The concept of absolute summing operator between two Banach spaces is already well-known. I just would like to know if one can extend the definition between general spaces, say locally convex spaces. ...
1
vote
1answer
52 views

In the proof the proving duality of topological vector space

I find hard to understand the proof for this theorem. Hope that some one can help me to clarify this. Thanks Suppose $X$ is a vector space and $X'$ is a separating space of linear functionals on ...
2
votes
0answers
101 views

Does $\mathsf{Man}$ possess countable products?

In our lecture we defined a category $\mathcal C$ to have arbitrary products, iff every diagram $A:\mathcal J \to \mathcal C$ with $\text{Morph}(\mathcal J)=\{\text{id}_j\}_{j \in Ob(\mathcal J)}$ has ...