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

44
votes
0answers
1k views

Differential forms on fuzzy manifolds

This post will take a bit to set up properly, but it is an easy read (and most likely easy to answer); in any event, please bear with me. Question In the usual setting of open subsets of ...
20
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 ...
19
votes
1answer
356 views

Learning Aid for Basic Theorems of Topological Vector Spaces in Functional Analysis

I am self-teaching myself the basics of functional analysis (e.g. topological vector spaces), and frankly I am starting to get a migraine sorting out/organizing in my head all of the ...
17
votes
2answers
849 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 ...
12
votes
2answers
4k 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 ...
12
votes
1answer
2k 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: ...
11
votes
2answers
1k 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 ...
11
votes
1answer
1k views

Semi-Norms and the Definition of the Weak Topology

When I was searching for the definition of the weak topology, I found two different definitions. One defines the weak topology in terms of a family of semi-norms, while the other defines it in terms ...
11
votes
2answers
2k 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!
11
votes
3answers
631 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 ...
10
votes
1answer
456 views

Isomorphisms of Fréchet Spaces

What is the proper notion of an isomorphism between Fréchet spaces? Obviously it should be a linear map. I'm just worried about the analytic structure. Should one be able to order the seminorms on ...
10
votes
1answer
450 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$ ...
10
votes
1answer
222 views

Is the standard structure of a topological vector space on reals unique?

The standard stucture of a topological vector space on reals is this given by the metric d(x,y)=|x-y| on the vector space $\mathbb{R},$ with the field of scalars $\mathbb R$ with standard topology. I ...
9
votes
3answers
650 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 ...
9
votes
1answer
780 views

Hahn-Banach theorem: 2 versions

I have a question regarding the Hahn-Banach Theorem. Let the analytical version be defined as: Let $E$ be a vector space, $p: E \rightarrow \mathbb{R}$ be a sublinear function and $F$ be a subspace of ...
9
votes
1answer
804 views

The dual of a Fréchet space.

Let $\mathcal{F}$ be a Fréchet space (locally convex, Hausdorff, metrizable, with a family of seminorms ${\|~\|_n}$). I've read that the dual $\mathcal{F}^*$ is never a Fréchet space, unless ...
9
votes
1answer
194 views

Does the vector space of compactly-supported continuous functions $X \rightarrow \mathbb{R}$ satisfy an interesting universal property?

Let $S$ denote a set. Then the vector space $FS$ freely generated by $S$ can be identified with the set of all finitely-supported functions $S \rightarrow \mathbb{R}$. This gave me the following idea; ...
8
votes
1answer
259 views

Do the notions of weak and weak* convergence coincide for $\ell^1(\mathbb{N})$?

As my friends and I were studying for our real analysis final exam yesterday, we were playing with various examples and found ourselves asking this question: The space $\ell^1(\mathbb{N})$ is the ...
8
votes
1answer
262 views

Strong topology vs Natural topology

Let $X$ be a locally convex space and $\left< X, X^{\prime} \right>$ stands for the dual pair. The bidual of $X$ is denoted by $X^{\prime \prime}$ and this is a dual of $X^{\prime}$ with a ...
8
votes
1answer
193 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 ...
7
votes
3answers
252 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 ...
7
votes
1answer
541 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 ...
7
votes
2answers
3k 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$. ...
7
votes
1answer
528 views

Contractibility of convex set

Suppose that $\Omega$ is a convex open subset of an infinite dimensional vector space $E$ such that $\Omega$ is not contained in any finite dimensional subspace of $E$. Let $Q_m\subset \Omega$ denote ...
7
votes
1answer
181 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 ...
7
votes
0answers
78 views

Nuclear spaces vs Banach spaces

The Wikipedia article on nuclear spaces say the following: "There are no Banach spaces that are nuclear, except for the finite-dimensional ones. In practice a sort of converse to this is often true: ...
6
votes
4answers
259 views

Books on locally convex topological vector spaces

My friend asked me for a good book about locally convex topological vector space. I'm not familar with this. Could you give me some good references on it?
6
votes
2answers
307 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 ...
6
votes
1answer
301 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 ...
6
votes
1answer
650 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 ...
6
votes
1answer
105 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? ...
6
votes
1answer
338 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 ...
6
votes
1answer
60 views

Open neighbourhoods in topological vector spaces

It is well known that each open ball in a Banach space is homeomorphic to the whole space. Can we extend this to topological vector spaces? In other words, does every non-void open set in a ...
6
votes
2answers
220 views

Why do we need dual space [closed]

In functional analysis there are many places where dual space is mentioned, but I still don't understand the real power of that concept. Why do we need the dual space?
6
votes
1answer
678 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 ...
6
votes
2answers
76 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$ ...
6
votes
1answer
258 views

Is Reflexivity Necessary for the Weak and Weak* Topologies to Coincide?

Let $X$ be a normed vector space, not necessarily Banach. Suppose that $X$ is not reflexive, implying the existence of such $\varphi\in X^{**}$ ($X^{**}$ being the double dual of $X$) of that for any ...
6
votes
0answers
47 views

Closed Monoidal Structures On The Category Of Complete Topological Vector Spaces

Context: The category of Banach spaces, with the projective tensor product is a closed monoidal category. Question 1: Is there a tensor product on the category of complete topological vector spaces, ...
6
votes
0answers
152 views

Isomorphism between spaces of sections.

Let $M$ be a compact manifold and let $E_i \xrightarrow{\Large \pi_i} M$, $i = 1, 2$, be two (real or complex) vector bundles of the same rank $k$ over $M$. Assume we have metrics $g_1, g_2$ on $E_1$, ...
5
votes
3answers
633 views

Is $C([0,1])$ a compact space?

Is $C([0,1])$ (I guesss with the max-norm) a compact space? I have to know that because I want to apply Arzela Ascoli.
5
votes
2answers
232 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 ...
5
votes
2answers
281 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 ...
5
votes
2answers
122 views

Question about Topological Vector Spaces

Let $E$ be a Topological Vector Space and $U$ a bounded set of $E$ with $0\in U$, i.e. given any neighborhood $W$ of the origin, there exist $\alpha>0$ such that $\alpha U\subset W$. Is it true ...
5
votes
1answer
110 views

Dual of a topological vector space. Is it nontrivial?

In the case of normed spaces we know their duals are nonempty using a quick application of the Hahn Banach Theorem. If we step back to the larger class of locally convex spaces, an enthralling ...
5
votes
1answer
835 views

Interior of a convex set is convex [duplicate]

A set $S$ in $\mathbb{R}^n$ is convex if for every pair of points $x,y$ in $S$ and every real $\theta$ where $0 < \theta < 1$, we have $\theta x + (1- \theta) y \in S$. I'm trying to show that ...
5
votes
2answers
99 views

A question about convex open set in a topological vector space.

Supose $E$ is a topological vector space(may not be Hausdorff). $U\subset E$ is an open set such that $U+U=2U$. How to show $U$ is convex? I can see if $E$ is $T_1$,then $E$ should be Hausdorff. ...
5
votes
1answer
1k views

Convex functions and families of affine functions

I know that the supremum of a family of affine functions is convex. Just wondering if it is true (and if so how one proves) that the converse -- any $C^1$ convex function is the supremum of some ...
5
votes
1answer
175 views

Taking a convex hull does not increase a supremum of a linear function

Let $X$ be a topological vector space, let $f:X\to\Bbb R$ be a continuous linear function and let $P(X)$ denote the set of all Borel probability measures on $X$. For any $M\subseteq X$ we define the ...
5
votes
1answer
133 views

The weak topology of a product

Let $E$ and $F$ be normed vector spaces and let $E^{\sigma}$, resp. $F^{\sigma}$ be $E$, resp. $F$ with the weak topology associated with the elements of the duals $E^*$, resp. $F^*$. Then, for ...
5
votes
1answer
93 views

Pseudonormable Product Spaces

I want to prove that a product $\prod_{i\in I}X_i$ of topological vector spaces is pseudonormable only if a finite number of the factor spaces are also pseudonormable and the rest have the trivial ...