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

6
votes
2answers
2k views

The kernel of a continuous linear operator is a closed subspace?

If $V$ and $W$ are topological vector spaces (and $W$ is finite-dimensional) then a linear operator $L\colon V\to W$ is continuous if and only if the kernel of $L$ is a closed subspace of $V$. ...
0
votes
1answer
424 views

Weak *-topology of $X^*$ is metrizable if and only if …

Let $X$ be a topological vector space on which $X^*$ separates points. Prove that "the weak *-topology of $X^*$ is metrizable if and only if $X$ has a finite or countable Hamel basis"? (A set $\beta$ ...
3
votes
2answers
139 views

How to endow topology on a finite dimensional topological vector space?

This post may be coincide with some of the contents here. From Conway, A course in functional analysis, page 104. If $H$ is a finite dimensional vector space and $F_{1},F_{2}$ are two topologies ...
9
votes
2answers
3k views

“Every linear mapping on a finite dimensional space is continuous”

From Wiki Every linear function on a finite-dimensional space is continuous. I was wondering what the domain and codomain of such linear function are? Are they any two topological vector ...
5
votes
1answer
519 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 ...
3
votes
1answer
377 views

$\omega$ - space of all sequences with Fréchet metric

I'm working on to prove the following: Show that the convergence in the space $\omega$ (space of all sequences with respect to the Fréchet metric) is the coordinate convergence. Any hint is ...
9
votes
1answer
328 views

If weak topology and weak* topology on $X^*$ agree, must $X$ be reflexive?

Let $X$ be a Banach space and suppose that the weak topology on $X^*$ agrees with the weak* topology on $X^*$. Must $X$ be reflexive? To prove the contrapositive, it will suffice to assume that $X$ ...
8
votes
3answers
569 views

Do continuous linear functions between Banach spaces extend?

Just wondering... Let $E$, $G$ be Banach spaces, let $U\subset E$ be a subset of $E$, and let $f:U\rightarrow G$ be a continuous linear function. Can $f$ be extended to a continuous linear function on ...
8
votes
2answers
1k views

Dual of a dual cone

Any hint on how to prove the following please: Let $K$ be a convex cone, and $K^*$ its dual cone. Prove that $K^{**}$ is the closure of $K$. Thanks!
4
votes
1answer
318 views

What is the topological dual of a dual space with the weak* topology?

I'm trying to understand a claim I heard in class. To be concrete, suppose $X$ is a compact, hausdorff topological space, and let $C(X)$ be the space of continuous functions on $X$ with the supremum ...
2
votes
2answers
272 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 ...
18
votes
3answers
1k views

When do weak and original topology coincide?

Let $X$ be a topological vector space with topology $T$. When is the weak topology on $X$ the same as $T$? Of course we always have $T_{weak} \subset T$ by definition but when is $T \subset ...
6
votes
1answer
96 views

local convexity of $L_p$ spaces

wiki says The spaces $L_p([0, 1])$ for $0 < p < 1$ are equipped with the F-norm they are not locally convex, since the only convex neighborhood of zero is the whole space Why is this so? ...
3
votes
2answers
446 views

Meaning of “a mapping preserves structures/properties”

Sometimes I see something like "a mapping preserves the structures of its domain and of its codomain". From Wiki about morphisms in category theory: a morphism is an abstraction derived from ...
6
votes
3answers
221 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 ...
6
votes
1answer
539 views

Generic topology on a vector space?

For a (possibly infinite-dimensional) vector space $V$, I thought about the following topology $\tau$: Let $O \in \tau$ if every $x \in O$ has the property that for every $v \in V$, there is an ...
4
votes
1answer
278 views

An explicit construction for a “doubly weak” topology

Let $(X,s)$ be a topological vector space over $\mathbb{F}$ with linear topology $s$, which we will henceforth refer to as the strong topology. Then, as usual we can construct the continuous dual ...
7
votes
1answer
165 views

Rotation of $\mathbb{R}^3$ by using quaternion

Express the rotation of $\mathbb{R}^3$ by $\frac{\pi}{3}$ about the $x=y=z$ axis by using quaternions and identifying $\mathbb{R}^3$ with $(i,j,k)$-space. Thoughts: From my point of view, every ...
2
votes
1answer
29 views

How to construct a particular convex set (when defining inductive limits of Frechet spaces in Reed and Simon)

Let $X$ be a topological vector space (over $\mathbb{C}$) whose topology is defined by a family of separating seminorms $\{\rho_\alpha\}$. Let $X_1$ be a vector subspace of $X$ whose topology is the ...
2
votes
1answer
172 views

Why are the Differential- and multiplication mapping on $C^{\infty}(\Omega)$ continuous?

Let $\Omega\subset\mathbb{R}^n$ be open and $\Omega\neq\varnothing$ and suppose we have the Fréchet topology on $C^{\infty}(\Omega)$ (this can be obtained by the topology construction from out ...
1
vote
1answer
71 views

About a weak topology on TVS

Let $(X,\tau)$ be a topological vector space and suppose $P$ is a separating family of seminorms on $X$. Denote by $\sigma(X,P)$, the weak topology on $X$, the smallest topology on $X$ that makes each ...
16
votes
2answers
778 views

When is a notion of convergence induced by a topology?

I'm interested in sufficient conditions for a notion of sequential convergence to be induced by a topology. More precisely: Let $V$ be a vector space over $\mathbb{C}$ endowed with a notion $\tau$ of ...
11
votes
2answers
845 views

Does every $\mathbb{R},\mathbb{C}$ vector space have a norm?

Is there a canonical way to define on any vector space over $\mathbb{K}=\mathbb{R},\mathbb{C}$ a norm ? (Or, if there isn't, can someone give me an example of a vector space over $\mathbb{K}$ that is ...
8
votes
1answer
181 views

Is there finest topology which makes given vector space into a topological vector space?

I we are given a vector space $(V,+,\cdot)$ over a field $\mathbb K$ (where $\mathbb K=\mathbb R$ or $\mathbb K=\mathbb C$), is there the finest topology $\mathcal T$, such that $(V,\mathcal T)$ is ...
5
votes
1answer
451 views

Sequential and topological duals of test function spaces

Given a test function space, in particular $\mathcal{S}=\mathcal{S}(\mathbb{R}^n)$ (the Schwartz space) or $\mathcal{D}=\mathcal{D}(\mathbb{R}^n)$ (the space of compactly supported smooth test ...
3
votes
2answers
203 views

Left topological zero-divisors in Banach algebras.

Let $ A $ be a unital Banach algebra. Define $ \zeta: A \longrightarrow [0,\infty) $ by $$ \forall a \in A: \quad \zeta(a) \stackrel{\text{def}}{=} \inf_{b \in \mathbb{S}(A)} \| ab \|, $$ where $ ...
6
votes
1answer
308 views

Uniqueness of the derivative in locally convex topological vector space

I need a hint of proof of uniqueness of the derivative in locally convex topological vector space (it's asserted in Lang's "Introduction to differentiable manifolds"). Define derivative of a function ...
4
votes
1answer
403 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 ...
3
votes
1answer
330 views

proving that $SO(n)$ is path connected

Our professor gave us exercise to show that $G=SO(n,\mathbb R)$ is path connected. He gave some hints, using them I have come upto this far: I have shown that $SO(n)$ acts on $S^{n-1}$ transitively ...
2
votes
0answers
65 views

What do we call a Schauder-like basis that is uncountable?

In a topological vector space, every Schauder basis is assumed countable, by definition. Supposing we drop the countability condition, we call this a [what goes here?] basis?
2
votes
1answer
239 views

Definition of boundedness in topological vector spaces

From Wikipedia: Given a topological vector space $(X,τ)$ over a field $F$, $S$ is called bounded if for every neighborhood $N$ of the zero vector there exists a scalar $α$ so that $$ S ...
2
votes
1answer
140 views

Simple Continuity Question concerning Vector Bundles

I'm a bit confused about the following part in Sir Michael Atiyah's "K-Theory." Let $E = X \times V$ and $F = X\times W$, and let $\phi: E\to F$ be a vector bundle homomorphism. Why is the induced ...
11
votes
3answers
569 views

Topology on the general linear group of a topological vector space

Let $K$ be a topological field. Let $V$ be a topological vector space over $K$ (if it makes things convenient, you may assume it is finite dimensional). Naive Question: Is there a canonical way of ...
5
votes
1answer
248 views

Confused by proof in Rudin Functional Analysis, metrization of topological vector space with countable local base

I'm working through Rudin's Functional Analysis, and I am confused by a step in his proof for Theorem 1.24, which states that if X is a topological vector space with a countable local base, then there ...
4
votes
2answers
914 views

Closed Bounded but not compact Subset of a Normed Vector Space

Consider $\ell^\infty $ the vector space of real bounded sequences endowed with the sup norm, that is $||x|| = \sup_n |x_n|$ where $x = (x_n)_{n \in \Bbb N}$. Prove that $B'(0,1) = \{x \in l^\infty ...
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 ...
4
votes
2answers
257 views

If you know the convergent sequences, how do you know the open sets?

I have a homework problem which I feel should be simple but is actually surprisingly tricky. This is why I love math sometimes.... Let $X$ be a normed linear space. Suppose $\|\cdot\|_1$ and ...
3
votes
2answers
110 views

How to prove in a topological vector space: cl(A) + cl(B) is a subset of cl(A+B), where cl denotes closure?

I'm not sure where to really proceed. My process is as follows. Take any $x \in cl(A)+cl(B)$. Assume for a contradiction that $x \notin cl(A+B)$. Then there exists an open set $U$ such that $ x \in ...
3
votes
1answer
275 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 ...
2
votes
1answer
43 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
175 views

About functions of bounded variation

I got the following the following idea in one of the articles that I'm reading. It goes this way. Let $X$ be a Hausdorff topological vector space and let $\mathcal{D}$ be the family of all divisions ...
2
votes
2answers
104 views

Closure of opening of closure in $\mathbb R^2$

My question is somehow related to Closure of the interior of another closure However, I go a bit further. I have a closed set $X\subseteq \mathbb R^2$ and $Y:=\operatorname{cl}\operatorname{int} X$. ...
2
votes
2answers
239 views

Openness of linear mapping

Let $X$ be a topological vector space over the field $K$, where $K=\mathbb R$ or $K= \mathbb C$, and let $f:X\rightarrow K^n$ ($n \in \mathbb N$) be a linear and surjective functional. How to prove ...
1
vote
2answers
90 views

Topological Vector Space: $\dim V=n\implies V\cong\mathbb{K}^n$

Let $V$ be a finite dimensional Hausdorff topological vector space. Prove that it is is isomorphic to the Euclidean vector space of the same dimension: $$\dim V=n\implies V\cong\mathbb{K}^n$$
1
vote
1answer
60 views

A question on a function of bounded semivariation

Let $(X,\tau)$ be a Hausdorff locally convex TVS and let $P(X)$ be a family of continuous seminorms on $X$ that generates the topology $\tau$. I got the following definition from one of the articles ...
1
vote
1answer
48 views

About a Weak Topology on TVS(part 2)

Let $(X,\tau)$ be a topological vector space and suppose $P$ is a separating family of seminorms on $X$. Denote by $\sigma(X,P)$, the weak topology on $X$, the smallest topology on $X$ that makes each ...
1
vote
1answer
226 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 ...
1
vote
1answer
200 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 ...
1
vote
1answer
517 views

Continuous linear mapping and bounded subsets

Continuous linear mappings between topological vector spaces preserve boundedness. I was wondering if it means that the inverse image of a bounded subset under a continuous linear mapping is ...
0
votes
2answers
209 views

Vector Analysis & Linear Algebra

I'm given a positive number, a unit vector $u \in \mathbb{R} ^n $ and a sequence of vectors $ \{ b_k \} _{ k \geq 1} $ such that $|b_k - ku| \leq d $ for every $ k=1,2,...$. This obviously implies $ ...