The study of vector space with a topology which makes the maps which sums two vectors and which multiply a vector by a scalar continuous. It's a natural generalization of normed spaces.

learn more… | top users | synonyms

1
vote
1answer
119 views

If every linear functional is continuous in $V$, is every linear functional continuous for $S\subseteq V$?

Suppose $V$ is a finite dimensional (real) topological vector space. The first lemma in these notes says that Every vector subspace of a tvs with the induced topology is a topological vector space ...
3
votes
2answers
198 views

Is there a dumbed down version of the open mapping theorem for finite dimensional real vector spaces?

I would like to understand why any surjective linear transformation between finite dimensional topological real vector spaces, each with the natural topology, is in fact an open map. Reading around, ...
0
votes
0answers
53 views

Linear Application that is open in a TVS

Let $T: E \to F$ be a linear map between topological vector spaces $E$, $F$. If for each nonempty open set $G$, the interior of $T(G)$ is non-empty, then, $T$ is open. Proof: $$\mathrm{Int}(T(G))= ...
0
votes
1answer
43 views

Linear Application in a TVS

Let $E$ a Topological Vector Spaces, $T: E \longrightarrow \mathbb{K}$, linear. If for some $x \in E$, $Tx \neq 0$. Then, $T$ is open. I think that it is sufficient to prove that $T(G) \subset ...
2
votes
0answers
37 views

Density problem

$U$ is any open set of $\mathbb{R}$. We known that $C_0^\infty(U)$ is dense in $C^k(U)$. But what about, say $C_0^\infty((0,1))$ in $C^k([0,1])$?
2
votes
2answers
344 views

Closure of interior and interior of closure in a topological vector space

If $Y$ is a subset of topological vector space $X$ and is compact and convex show that $\overline{Y^\circ} = \overline{Y}$ and $\overline{Y}^\circ = Y^\circ$. I tried this way but I am not sure: ...
2
votes
3answers
158 views

Are vector subspaces of $\mathbb{R}^n$ always closed?

Suppose $S$ is any proper vector subspace of $\mathbb{R}^n$. Is $S$ a closed set in the usual topology on $\mathbb{R}^n$? Geometrically, I think it is clear that $S$ must be closed in $\mathbb{R}^n$ ...
4
votes
1answer
104 views

Openness of linear mapping 2

I quote a previously asked question : Let $X$ be a topological vector space over the field $K$, where $K=\mathbb{R}$ or $K=\mathbb{C}$, and let $\mathbb\{f\colon X\rightarrow K^n\}$ ($n \in ...
1
vote
1answer
32 views

Continuity and openess in quotient space

The setting: $X$ and $Y$ are topological vector spaces. $N \subset X$ is a closed subspace. $T(N)=\{0\}$ $\pi : X \rightarrow X/N$ the quotient map. $S : X/N \rightarrow Y$ uniquely determined by ...
1
vote
1answer
70 views

Set boundary preserved by an infinite union

Suppose I have a subset $U\subset\mathbb R^2$ and a real number $r>1$ with the following properties: $U$ is compact; $U\subset rU$ (self-similarity); $0\in U$; there exists an open set $H\subset ...
0
votes
1answer
109 views

Triangle inequality of a metric on a quotient space of a topological vector space

In "Functional Analysis" by Rudin, a metric $\rho$ on the quotient space $X/N$ of a topological vector space $X$ and a closed subspace $N$ is defined as follows: For $x,y \in X$, $$ \rho ...
4
votes
1answer
494 views

Is any Banach space a dual space?

Let $X$ be a Banach space. Is there always a normed vector space $Y$ such that $X$ and $Y^*$ are isometric or isomorphic as topological vector spaces (that is, there exists a linear homeomorphism ...
0
votes
2answers
75 views

Non-barreled topology compatible with the duality

Given $(X,s)$ a (real) barreled locally convex space (that is, every closed convex and absorbing set in $(X,s)$ is a neighborhood of the origin), is there a (strictly) finer, non-barreled linear ...
3
votes
0answers
103 views

Which (endo)functors of the category of finite-dimensional real vector spaces induce continuous maps between Hom-sets?

Let $\operatorname{Vect-fin}$ be a category of finite-dimensional vector spaces over $\mathbb{R}$. In this category Hom-sets $\operatorname{Hom}(V,W)$ are themselves finite-dimensional vector spaces ...
1
vote
1answer
223 views

Locally Convex Space Via Seminorms

Suppose that we have a Hausdorff locally convex space with its topology $\tau$ and let $P(X)$ be a separating family of $\tau$-continuous semi-norms so that $\tau$ is generated by $P(X)$. How do we ...
5
votes
0answers
126 views

Curiosities about the content of a rare book: Topological Vector Spaces by A. Grothendieck

The book is a celebrated and highly influential book by A. Grothendeck, which was published in 1954, in French and for various reasons, it has been out of print since 1973. I am very much interested ...
1
vote
2answers
259 views

Equation of a line on a plane…

Hi this question belongs to camera projections but i cannot understand the mathematics... i am not getting how the cross product of two vectors (underlined in red) gives the equation of a ...
3
votes
0answers
102 views

Density of operators

I am interested in operators on non-reflexive Banach space. Let $X$ be a Banach space and let $L(X)$ be the algebra of operators acting on $X$. We may embed $L(X)$ into $L(X^{**})$ by ...
0
votes
0answers
50 views

functions from the sphere

Can we assign in a continuous manner to each point of the sphere $S^2$ a two point subset of S^2? I think this would contradict in some way "The Poincare theorem" Thanks
4
votes
1answer
472 views

Are smooth functions with compact support weakly-* dense in $L^\infty$?

My question is this : given $f \in L^\infty(\mathbb{R}^2)$, can we find a sequence $\phi_n$ of smooth, compactly supported functions (test functions) such that for any $g \in L^1(\mathbb{R}^2)$, ...
4
votes
0answers
169 views

The converse of James's Theorem

The famous James theorem states that: Theorem. Let $X$ be a (Hausdorff separated) locally convex space (LCS for short) with topological dual $X^*$ and let $B\subset X$ be weakly-closed. If $X$ is ...
2
votes
3answers
323 views

What is the appropriate topology on $C_c^\infty (\mathbb{R}^d)$?

Let $\{ U_k:k\in \mathbb{N}\}$ be an increasing sequence of open subsets of $\mathbb{R}^d$ whose union is $\mathbb{R}^d$ and such that each $K_k:=\overline{U_k}$ is compact and $K_k\subseteq U_{k+1}$. ...
0
votes
1answer
308 views

Banach-Alaoglu theorem

If we have a Hilbert space $H$, (so it is reflexive) then by Banach-Alaoglu's theorem, the closed unit ball $B\subset H$ is weakly-compact. My question is, Is there any corollary or similar theorem ...
1
vote
1answer
197 views

Seminorms in locally convex spaces

This is a theorem in Rudin's functional analysis: Theorem. Suppose $\mathcal{P}$ is a separating family of seminorms on a real vector space $X$. Associate to each $p\in \mathcal{P}$ and to each $n\in ...
0
votes
0answers
68 views

Topological vector spaces question regarding dual spaces

there's a question that I've be puzzling over for a little while now and I haven't made much progress, so I thought I'd better ask for some help. It is as follows: Suppose that $\langle E,F\rangle$ ...
0
votes
1answer
83 views

Translate of a closed set is closed(part2)

Previously, I raised a question whether $$ (a+F)^c=a+F^c.$$ Jonas Meyer pointed out that it is true. After which, I was able to prove the first inclusion. The details are as follows: let $y\in a+F^c$. ...
1
vote
1answer
173 views

Translate of a closed set is closed

We assume that $X$ is a topological vector space with a topology $\tau$. I want to show that if $F$ is a closed subset of $X$, then its translate $a+F$ is also closed in $X$. Am I right to say that $$ ...
1
vote
0answers
67 views

Inductive limits

Let $E_n$ be a family of Banach spaces. Under which conditions imposed on $(E_n)$ can we represent the $\ell_\infty$-sum $(\bigoplus_{n\in \mathbb{N}} E_n)_{\ell_\infty}$ as a complemented subspace of ...
3
votes
1answer
155 views

Locally convex space characterization in terms of duality

Let $(X,\tau)$ be a topological vector space (TVS for short). Denote by $X^*$ the topological dual of $(X,\tau)$. If there exists a locally convex topology $\mu$ on $X$ compatible with the duality ...
3
votes
1answer
546 views

How to plot N points on the surface of a D-dimensional sphere roughly equidistant apart?

Let's say I have a D-dimensional sphere with a radius R. I want to plot N number of points evenly distributed (equidistant apart from each other) on the surface of the sphere. It doesn't matter where ...
6
votes
2answers
74 views

Alternate definition for boundedness in a TVS

Let $X$ be a topological vector space over $\mathbb R$ or $\mathbb C$. A subset $B\subset X$ is defined to be bounded if for any open neighborhood $N$ of $0$ there is a number $\lambda>0$ ...
1
vote
2answers
331 views

Continuity in Frechet spaces

These are undoubtably simple questions, but I have no background in functional analysis and am wondering about them. The first is an exercise from Folland, the second is not, but both are claims I've ...
2
votes
3answers
226 views

Balanced but not convex?

In a topological vector space $X$, a subset $S$ is convex if \begin{equation}tS+(1-t)S\subset S\end{equation} for all $t\in (0,1)$. $S$ is balanced if \begin{equation}\alpha S\subset S\end{equation} ...
1
vote
1answer
59 views

Nice example where $D^{\alpha}\Lambda_{f}\neq\Lambda_{D^{\alpha}f}$?

Let $\Omega\subset\mathbb{R}^n$ be open and $f$ be a locally integrable function. The distribution associated with $f$, $\Lambda_{f}\in D'(\Omega)$, is defined via \begin{equation} ...
12
votes
1answer
1k views

If $A$ and $B$ are compact, then so is $A+B$.

This is an exercise in Chapter 1 from Rudin's Functional Analysis. Prove the following: Let $X$ be a topological vector space. If $A$ and $B$ are compact subsets of $X$, so is $A+B$. My guess: ...
3
votes
0answers
373 views

Translation invariant metric

Under what conditions can a metric vector space be given an equivalent metric that is translation invariant? I was wondering if the probability measures on real line can be embedded in vector space ...
2
votes
2answers
154 views

Why Strongly Continuous Representations?

When working with not-necessarily-finite-dimensional representations, the topology on $GL(V)$ makes a difference. My experience has been that usually people require that the representation $\pi ...
6
votes
3answers
220 views

Can continuity of inverse be omitted from the definition of topological group?

According to Wikipedia, a topological group $G$ is a group and a topological space such that $$ (x,y) \mapsto xy$$ and $$ x \mapsto x^{-1}$$ are continuous. The second requirement follows from the ...
2
votes
0answers
51 views

Topology of $(\mathcal{A},*)$ determined by $\mathcal{A}_{sa}$?

Let $(\mathcal{A},*)$ be a $*$-algebra, we have the following observation: Let $\|\cdot\|_1$ and $\|\cdot\|_2$ be two norms on $\mathcal{A}$ such that the involution is an isometry with respect to ...
2
votes
1answer
629 views

Proof that every normed vector space is a topological vector space

The topology induced by the norm of a normed vector space is such that the space is a topological vector space. Can you tell me if my proof is correct? Of course we have to show that addition and ...
-1
votes
1answer
112 views

Practical implications of a vector space being a topological vector space

I have a space $V$ and I lately discovered that it's a topological vector space. What are the practical implications of that?
3
votes
0answers
221 views

Definition of a topological module

A topological universal algebra of type $\Omega$ is a universal algebra $A$ of type $\Omega$ that is also a topological space, such that for any $n\!\in\!\mathbb{N}$ and any operation ...
4
votes
4answers
141 views

Question on Topological vector space 1

I have numbered this question as (1) because I will be posting series of questions where I don't understand. I hope its allowed. I want to prove the following : If $X$ is a topological vector ...
4
votes
1answer
396 views

Finding the topological complement of a finite dimensional subspace

I know that for any finite dimensional subspace $F$ of a banach space $X$, there is always a closed subspace $W$ such that $X=W\oplus F$, that is, any finite dimensional subspace of a banach space is ...
2
votes
0answers
175 views

Hairy ball theorem: references to applications

I'm looking for references to applications of the Hairy ball theorem. I already visited wikipedia and cited references, but I need a little more explanation in both meteorology and applications in ...
3
votes
1answer
271 views

Extreme boundary of a compact, convex, metrizable set is $G_\delta$

Let $X$ be a topological vector space (no assumptions about local convexity are made in the question, though I am worried they might be required). Suppose $K\subset X$ is a compact, convex, metrizable ...
1
vote
0answers
66 views

When is the orbit of a vector a minimal sequence? When does an operator have a minimal orbit vector?

Let $X$ be a banach space. We say a sequence $(x_n)$ is minimal if for each $k$, $x_k\notin [x_n]_{n\neq k}$, where $[x,y,z,\cdots]$ is the closed linear span of the vectors. For ...
6
votes
2answers
249 views

Local base of a topological vector space

I would like to prove that if $B$ is local base for a topological vector space $X$, then every member of $B$ contains the closure of some member of $B$. I would appreciate if somebody can guide me ...
2
votes
1answer
114 views

Limit on a topological vector space

in the Wikipedia article on Gâteaux derivative , the limit of a function between two topological vector spaces is taken. How is the limit defined on a topological space for a function ? I find ...
2
votes
2answers
255 views

First theorem in Topological vector spaces.

I came across this theorem and I am disappointed not being able to understand or to have intuition to understand it . I would be glad to get help . Theorem : If $K$ and $C$ are subset of topological ...