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

2
votes
0answers
161 views

Show that continuous linear maps on the space of test functions take $C_K^\infty(\Omega)$ into some $C_{K_N}^\infty(\Omega)$

Let $\Omega$ be a nonempty open subset of $\mathbb{R}^n$, and let $\cup_{n=1}^\infty K_n = \Omega$ be an exhaustion of $\Omega$ by compact sets. Let $\mathcal{D}(\Omega) = \mathcal{D}$ be the standard ...
2
votes
1answer
364 views

Characterize polytopes resulting from cutting a convex polytope by a hyperplane

We have a convex polytope $P$ for which we know its set of vertices. Using this set we characterize the H-representation of $P$ as: $\mathbf{A}\mathbf{x} < \mathbf{b}$. If a hyperplane defined by ...
1
vote
0answers
330 views

Half space representation of a convex polytope

We know that the half space representation of a polytope is given by: $Ax<b$. Consider a convex polytope in $\mathbb{R}^3_+$ with vertices given by the following set of points: $\left\{(0,0,0),(1,0,...
2
votes
0answers
28 views

On the Space $C([a,b],X)$, where $X$ is LCS

Definition. A family $P$ of semi-norms on a vector space $X$ is called directed if for any $p_1,p_2\in P$ there exist $p\in P$ and $C>0$ such that $p_1(x)+p_2(x)\leq Cp(x)$ for all $x\in X$. Let $...
1
vote
0answers
208 views

Find the intersection between two convex hulls, in this specific case

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

Approximate model of a convex/concave surface

I have a set of measurements in 3d that yields a concave surface of a function $f(x,y)$ that I don't know its expression. I am thinking to approximate the function to a model where any point from the ...
1
vote
0answers
61 views

The element presentation of convex hull of the union of compact sets

I want to show that the convex hull of the union of compact convex sets $k_{1}$ and $k_{2}$ in a locally convex topology linear space, consist of the points of the form $$ay_1+(1-a)y_2,\ \ \ \ \ y_1\...
7
votes
1answer
267 views

Reference request: infinite-dimensional manifolds

The following books and/or notes develop various aspects of the theory of infinite-dimensional manifolds: Lang, Fundamentals of Differential Geometry. Kriegl & Michor, The Convenient Setting of ...
2
votes
1answer
71 views

$x\in X$ LCS, $f\in X^\ast$ s.t. $f(x)=1$, $f|_Y=0$

Let $X$ be a locally convex space (topology induced by a family of seminorms $P$ which separates points) and $Y\subset X$ a closed subspace. Assume $x\in X\setminus Y$. Show that there exists a $f\in ...
3
votes
0answers
168 views

Are not all neighborhoods of $0$ in a locally convex space absorbent?

A locally convex space (LCS) can be defined as a topological vector space (i.e. scalar product and sum are continuous) whose topology is generated by translation of a family of balanced and absorbent ...
0
votes
1answer
180 views

Proof of convexity of a quadratic function

I have the next problem: If $f(x)$ is a quadratic function with n variables: $f(x) = 0.5$$\mathbf{x}^T$$A$$\mathbf{x}$$+$$\mathbf{b}$$^T$$\mathbf{x}$$+$$\mathbf{c}$ were $A$ is a symmetric matrix ...
3
votes
1answer
286 views

Convex open neighborhood of compact convex subset

I'm stuck on what ought to be a straightforward topology problem. Say $X$ is a compact convex subset of a locally convex space (everything in sight is assumed Hausdorff). Say $Y\subseteq X$ is a ...
3
votes
0answers
129 views

Continuity of a function in a locally convex topological space

I endow the space of bounded sequences with a locally convex topology $\tau$ such that $\tau$ is strictly finer than the product topology (the topology of pointwise convergence), $\tau_p$, and ...
1
vote
2answers
141 views

Does every LCS has a convex balanced local base?

Does every LCS--locally convex (topological vector) space has a convex balanced local base? Then it implies every LCS is topologized with a countable number of separating seminorms. So there seems ...
1
vote
1answer
164 views

Topological modules and relative homological algebra.

This question might be a bit dumb but I'm tired right now and this is just going over my head at the moment, in "The homology of Banach and topological algebras" Helemskii said that relative ...
6
votes
1answer
417 views

Generalization of inner product spaces (analogue to uniform spaces/locally convex spaces)

In the following I am going to devise a chart of topological spaces that contains inner product spaces, normed vector spaces, metric spaces and other related spaces. In the end there will be a gap in ...
2
votes
0answers
344 views

If a line goes through the boundary of a convex set, does that line intersect with exactly two boundary points of the convex region?

I have found the following theorem that is often cited from the text Convex Figures by Yaglom and Boltyanskii: A bounded figure in $\mathbb{R}^2$ is convex iff every straight line passing through an ...
0
votes
1answer
72 views

Preserved properties through continuous linear maps

I just looked at the fact (at least according to Definition 2.8.1. in Distribution Theory by Friedlander et al.) that for $K_0\subseteq{\bf R}^{n(0)}$ compact, $\Omega_1\subseteq{\bf R}^{n(1)}$ open ...
0
votes
1answer
146 views

About locally convex Hausdorff topological vector space

Let $E$ be a locally convex Hausdorff topological vector space. Show that $E$ is isomorphic to a subspace of a product of normed spaces. All I know is that, if $E$ is locally convex Hausdorff, then ...
2
votes
0answers
75 views

Direct limits of locally convex spaces and embeddings

I was thinking about whether this positive result would hold in the category of locally convex spaces also... Here is what I got so far: The direct limit of a locally convex system consists of the ...
3
votes
1answer
1k views

Is the dual space of all Radon measures the space of signed measures on a $\delta$-ring?

Consider the Banach space $C_c(\mathbb{R})$ of continuous functions with compact support equipped with the uniform norm $||f||_\infty := \sup_{x \in \mathbb{R}} |f(x)|$. Then it is known (Riesz ...
0
votes
1answer
61 views

Geometrical meaning of a face

Let $(X,P)$ be a locally convex space, $K$ a compact, convex subset of $X$. A face $F$ of K is a nonempty, compact, convex subset of $K$ s.t. $$\forall y,z\in K \,\forall t\in(0,1) \left[ (1-t)y + tz \...
1
vote
0answers
68 views

Continuity of the dual product reloaded

Let $X$ be a Banach space with topological dual $X^*$. Then the dual product $(x,x^*)\in X\times X^*\to x^*(x)\in\mathbb{R}$ is strongly$\times$strongly continuous in $X\times X^*$. That does not ...
0
votes
1answer
81 views

A Problem on Locally Convex Spaces

In the book A Course in Functional Analysis by Conway, there is the following problem: Problem. Let $ X $ be a completely regular topological space, and let $ C(X) $ denote the set of all ...
1
vote
1answer
134 views

Continuity of the dual product

Let $X$ be a Banach space with topological dual $X^*$. Then the dual product $$ (x,x^*)\in X\times X^*\to x^*(x)\in\mathbb{R} $$ is strongly$\times$strongly continuous on $X\times X^*$, mainly because ...
6
votes
6answers
3k views

Is there such thing as an unnormed vector space?

I learned about Banach spaces a few weeks ago. A Banach space is a complete normed vector space. This of course made me wonder: are there unnormed vector spaces? If there are, can anyone please ...
0
votes
1answer
24 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 $f(A)=f(E)\...
3
votes
0answers
89 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 ...
6
votes
2answers
888 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
250 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 ...
0
votes
1answer
140 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
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}_+$ ...
1
vote
0answers
159 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
115 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 ...
4
votes
1answer
523 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,...,...
1
vote
1answer
89 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
121 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 W.$...
2
votes
1answer
58 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 $\mathbb{R}...
5
votes
0answers
216 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 $\mathbb{R}^n$...
1
vote
1answer
67 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 ...
3
votes
0answers
108 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
333 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 ...
3
votes
1answer
118 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 p}|(1+|...
1
vote
1answer
464 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 ...
4
votes
1answer
507 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 Choquet-...
2
votes
1answer
106 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 - ...
1
vote
1answer
261 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))$ $$||u||^2=\int_0^...
4
votes
1answer
105 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 $\...
6
votes
1answer
8k 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 ...
3
votes
0answers
100 views

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