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

2
votes
1answer
41 views

For an inductive limit $X = \bigcup X_n$ of vector spaces, show that $X$ is complete if $X_n$ is complete for all $n$

Let $X$ be a vector space. Suppose that $\{X_n\}_{n=1}^\infty$ is a sequence of vector subspaces such that $X_n \subseteq X_{n+1}$ for all $n$, Each $X_n$ is a locally convex topological vector ...
2
votes
0answers
14 views

T1 axiom in dual space

My books talks about the conjugated space, but does it mean dual space? Are not the same thing? I don't understand why in the dual space $E^\ast$ of $E$, the separation axiom $T_1$ is satisfied and ...
0
votes
1answer
33 views

Linear bijection non-preserving Hausdorff propery

My question is: If $f: X \to Y$ is a continuous and linear bijection between topological vector spaces, is it possible that $X$ is Hausdorff and $Y$ is non-Hausdorff? (TVSs are considered in the more ...
1
vote
1answer
28 views

Question about the basis for the topology on an inductive limit of Frechet spaces

Let $X$ be a complex vector space, and let $\{X_n\}_{n=1}^\infty$ be a sequence of vector subspaces such that $X_n \subseteq X_{n+1}$ for all $n$ and $X = \bigcup_n X_n$. Furthermore, suppose that: ...
1
vote
0answers
51 views

Can complex-valued affine function be approximated?

If $K$ is a compact convex set of a locally convex Hausdorff space $V$ over $\mathbb{R}$ and $A(K)$ is the set of all continuous affine real-valued function on $K$, then the set of all restrictions to ...
3
votes
1answer
59 views

Absorbing at Each point means Open?

In a topological vector space, it seems that open sets have the property that they are absorbing at each of their points, since $(\alpha,x)\to \alpha x$ is continuous. I am wondering if the converse ...
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 ...
1
vote
0answers
25 views

Almost Everywhere Function Space

Problem Let $\Omega$ be a measure space with measure $\mu$ and $V$ a topological vector space not necessarily Hausdorff as well as the function space $\mathcal{F}:=\{f:\Omega\to V\}$ topologized by ...
3
votes
1answer
46 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
22 views

Topological Tensor Product is a Topological Ring Independent of the Choice of Basis

Let $A, B$ be commutative rings containing a field $k$, with $B$ a finite dimensional $k$-module, $w_1, ... , w_N$ a basis. If $w_iw_j = \sum\limits_{n=1}^N c_{ijn}w_n$, then we can define $C$ to be ...
1
vote
1answer
14 views

How to show $\mu_A(x)=\inf\{\alpha>0: \alpha^{-1} x\in A\}$ where $\mu_A(x)$ is the Minkowski functional of $A$?

Let $X$ be a $\mathbb K$-vector space ($\mathbb K=\mathbb R$ or $\mathbb C$) and suppose $A\subset X$ is convex (and absorbing). How to show $$\{x\in X: \mu_A(x)<1\}\subset A?$$ Above ...
2
votes
0answers
17 views

When a locally convex space is metrizable

Let $X$ be a locally convex Hausdorff topological space, whose topology if generated by the countable family of seminorms $\{p_i:\space i\in\mathbb{N}\}$. I'd like to prove that $X$ is metrizable. So, ...
0
votes
1answer
53 views

Balanced Core: $U\text{ open }\implies U^*\text{ open}$

I need one last lemma for the proof of finite dimensional subspaces are closed: Is it true that if a subset is open so is its balanced core??
5
votes
0answers
102 views

Connections and dependences between topological and algebraic basis in topological vector space

On my last functional analysis exam, one of the tasks was to show that if normed vector space $X$ have countable Hamel basis, then $X$ is separable space (over field $\mathbb{R}$). I am not sure if ...
0
votes
1answer
38 views

Topological Vector Space: Uniform Structure

Disclaimer: This thread is meant informative and therefore written in Q&A style. Of course everybody is encouraged to give an answer as well! Prove that any topological vector space gives rise ...
1
vote
2answers
89 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
22 views

Balanced Core: Explicit Expression?

Denote the collection of all balanced subsets by: $\mathcal{B}:=\{B\subseteq X: B\text{ balanced}\}$ Since the union of arbitrary balanced sets is balanced we can form the balanced core of arbitrary ...
2
votes
0answers
25 views

Criteria for a sequence in $C[0,1]$ to converge weakly [duplicate]

Is there a criterion for a sequence in $C[0,1]$ to converge weakly? Let $\{f_n\}$ be a sequence in $C[0,1]$, $f\in C[0,1]$. Suppose $f_n\to f$ (weakly). Then for each $x\in [0,1]$ $ev_x(f_n)\to ...
0
votes
1answer
24 views

Various convergences in the space of bounded operators

Could you please help me to find some classical (counter)examples in functional analysis? Let $X$ and $Y$ be some normed spaces over $\mathbb{C}$. By $\mathcal{B}(X,Y)$ we denote the space of bounded ...
2
votes
1answer
22 views

Closure of a von Neumann bounded set

Let $V$ be a topological vector space and $B \subseteq V$ bounded. Then the closure $\overline{B}$ is bounded. This appears on the Wikipedia page ...
4
votes
0answers
43 views

Infinite Dimensional Topological Vector Space

Let $V$ is a finite-dimensional vector space over $\mathbb{R}$ (or $\mathbb{C}$). To make $V$ a topological space, we may choose the sets $f^{-1}(U)$ as a sub-basis, where $f$ ranges over all linear ...
2
votes
2answers
76 views

Show that no topological vector space is bounded.

I am studying the concept of topological vector spaces in Grubb's Distributions and Operators. A vector space $X$ (over $\mathbb{L} = \mathbb{R}$ or $\mathbb{C}$) is called a topological vector ...
2
votes
1answer
42 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 ...
0
votes
2answers
31 views

Infinite field which is not a metric space

Are there any infinite fields which are not metric spaces (other than the discrete topology)? If so, why must a finite-dimensional vector space over this field be locally compact?
0
votes
0answers
20 views

Hausdorff topologies on a finite dimensional vector spaces

Let $X$ be a finite dimensional vector space (over complex numbers), $\mathcal{P}_1$,$\mathcal{P}_2$ - two families of seminorms. There is the following statement: these families are equivalent if the ...
0
votes
1answer
57 views

Does the continuity at $0$ of the addition map in a vector space imply its continuity?

I have a question about the proof of Theorem 1.41 in Rudin, Functional Analysis, 2/e. The theorem states Let $N$ be a closed subspace of a topological vector space (t.v.s.) $X$. Let $\tau$ be the ...
2
votes
0answers
25 views

When a sort of weak topology is enough to generate vector space topology

Consider a vector space $V$, and some functions $f_\alpha: V \rightarrow \mathbb{C}$ where $\alpha$ ranges over some index set $A$. We can think about the coarsest topology which: a) makes the ...
0
votes
1answer
61 views

Properties of compact set: non-empty intersection of any system of closed subsets with finite intersection property

Let $X$ be a Hausdorff topological vector space. Let $C$ be a nonempty compact subset of $X$ and $\{C_\alpha\}_{\alpha \in I}$ be a collection of closed subsets such that $C_\alpha \subset C$ for each ...
1
vote
0answers
49 views

Open Convex Subsets of Dense Spaces

So I asked this question yesterday, Existence of Non-Trivial, Convex, Open Set in $C_{\mathbb{C}}[0,1]$ Under $L^{0}$ Metric, and it made my start wondering the following... Suppose the following: ...
2
votes
0answers
15 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 ...
0
votes
0answers
23 views

Linearly compact subspace is closed

Let $V$ be a vector space with a linear topology, meaning open linear subspaces form a basis of open neighborhoods of $0$. Recall that a subspace $W$ is called linearly compact if for any open ...
1
vote
2answers
55 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
41 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 ...
1
vote
0answers
32 views

Does this topology on the dual have a name

Let $X$ be a topological vector space. Let $X^\ast$ denote its continuous dual. It is possible to endow $X^\ast$ with the weak star topology: Def.1: If $e_x: X^\ast \to \mathbb C$ is the map $\varphi ...
2
votes
1answer
57 views

Counterexample about non Hausdorff topological vector spaces

I have some troubles with Hausdorffness in TVS: Question 1. Is there any topological vector space $X$ which is not Hausdorff? Question 2. Give an explicit example of a topological vector space $X$ ...
0
votes
0answers
26 views

Some fundamental relations in topology

Are the following relations correct? $\ \{ Normed\, Vector\, Spaces\} \subset \{Topological\, Vector\, Spaces\} \subset \{Uniform \,Spaces\} \subset \{Topological\, Spaces\}$ Then $\ \{Normed\, ...
0
votes
1answer
41 views

Question about proof of Krein-Milman Theorem.

I am in the middle of working through the details of the proof of the Krein-Milman theorem in Rudin's Functional Analysis (Theorem 3.23), and I am stuck on one detail. I will state the theorem and ...
0
votes
0answers
22 views

Convex in $ \mathbb{R^n}$

Prove that: [A be a convexe part $(A\subseteq \mathbb{R^n})] \implies [\forall x_1,x_2,...x_n\in A ,\forall\alpha_1,\alpha_2,...\alpha_n\ge0 $ $with$ $ \ \alpha_1+\alpha_2+...+\alpha_n=1 ...
0
votes
4answers
67 views

Are the axioms of a topological space superfluous?

A topology on a set $X$ is a family $\mathcal{T}$ of subsets of $X$, which are open sets and satisfy: (1) $\emptyset, X \in \mathcal{T}$. (2) Any union of elements of $\mathcal{T}$ belongs to ...
3
votes
1answer
70 views

Is every “nice” topological vector space a manifold?

Say $V$ is a topological vector space. What conditions do you need to add on $V$ to make it a (topological, maybe infinite-dimensional) manifold? For instance, can we view the Schwartz class ...
0
votes
1answer
51 views

Every Bounded set contained in a Compact set

In a general metric space, is every bounded set contained in a compact set?
0
votes
0answers
48 views

topological vector space of measure functions

Let $(X, \mathcal X, \mu )$ be a measure space, and let $ L(X)$ be the space of measurable functions $f: X \to \mathbb C$. Show that the sets $B(f, \epsilon ,r ): = \{ g \in L(X) : \mu( \{ x : | f(x) ...
0
votes
0answers
35 views

A vector space with topology generated by a family of typologies each makes it a topological vector space is a topological vector space

Let $V$ be a vector space, and let $(\mathcal F_ \alpha ) _{ \alpha \in A}$ be a family of topologies on V, each of which turning $V$ into a topological vector space. Let $\mathcal F$ be the vector ...
1
vote
0answers
33 views

Direct limit, density and norm

Let $E$ be a Banach space, $A_n$ be an increasing sequence of finite dimensional subspaces of $E$, $B_n$ be an increasing sequence of subspaces of $A_n$ and let $C_n = A_n/B_n$. Assume that the ...
1
vote
1answer
31 views

Are the finite signed measures on a compact set $M(Compact)$ first countable?

Let $M(Compact)$ be the set of finite signed measures on a countable set? (with the topology generated by the sets $\left\{ \mu \in M(Compact) : \left| \int f(x) \mu(dx)- a\right| \leq ...
4
votes
0answers
38 views

How do they call the topological tensor product that classifies operators from Hilbert space?

Let $V$ and $W$ be topological vector spaces. There are different ways to complete the tensor product $V \otimes W$, and the only ones that are usually discussed in introductory literature are the ...
0
votes
1answer
32 views

The dual of a dual space with the topology of uniform convergence on compact subsets?

$W$ is a Banach space. The topology of $W^*$ is the uniform convergence on the compact subsets of $W$. That is generated by the family of seminorms $$p_K(f)=\sup_{x\in K}|f(x)|,$$ for all compact ...
0
votes
2answers
162 views

Infinite Dimensional Vector Space: Finite Dim Subspace Closed and Nowhere Dense

Show that any finite-dimensional subspace $(S,\|\cdot\|)$ of an infinite-dimensional normed vector space $(V,\|\cdot\|)$ is closed and nowhere dense. Proof: Let $\{x^{(n)}\}_{n\geq1}$ be a ...
1
vote
1answer
59 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: ...
4
votes
1answer
112 views

Prove that the weak$^*$ topology on the space of tempered distributions is not 1st countable

Please, help me with a proof of this (apparently) known fact whose proof is out of my reach, even though I spent a considerable amount of time looking it up: The weak$^*$ topology on the space of ...