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
2answers
43 views

Question about vector spaces with the discrete topology

Is it true that every vector space with the discrete topology is a topological vector space? (That is, a topological space with continuous addition and scalar multiplication whose singletons are ...
0
votes
2answers
15 views

Is multiplication by scalars a homeomorphism?

Let V be a complex topological vector space. For any nonzero v in V, consider the map x -> x * v from C to V. This map is continuous, but is it a homeomorphism onto its image? Thank you.
4
votes
1answer
45 views

Example of Topological Vector Space

Is there a topological vector space such that, for every $x\in X$, there is a proper neighbourhood $V$ of $x$ in $X$ which is convex, but the whole space is not locally convex (i.e. $X$ has a local ...
0
votes
0answers
49 views

Hilbert Cube and Metric Space

Given that $d(x,y)=\sum_{n=1}^{\infty}2^{-n}|x_{n}-y_{n}|$ defines a metric on $H^{\infty}$ where $H^{\infty}$ is the Hilbert Cube, a collection of all real sequence $x=(x_{n})$ with $|x_{n}|\leq 1$ ...
2
votes
1answer
53 views

Topology question with closed sets.

Let $ K\subseteq \mathbb{R}^n$ be a compact set and let $E\subseteq \mathbb{R}^n$ be a closed set. ***Its also given that $ \inf \{d(x,y)|x\in K, y\in E\}=0$. $ d(x,y)=\sqrt{\sum_j (x_j-y_j)^2}$ ...
1
vote
0answers
31 views

A consequence of “every norm is equivalent to the sup-norm” in a finite dimensional normed vector space

So, I am reading the following proposition in Neukirch's Algebraic Number Theory: Proposition. Let $K$ be a complete field with respect to the valuation $|\:\: |$ and let V be an $n$-dimensional ...
2
votes
1answer
22 views

Is the product of two complete TVS a complete TVS?

I'm reading about Topological Vector Spaces (using Treves's book) and I failed to answer the question on title. I'll be more precise: 1) We say that a TVS $E$ is complete if every Cauchy filter in ...
1
vote
0answers
16 views

Topological vector space with separating dual space

Let ‎$ X $ ‎‎‎be a topological vector space with dual ‎$ X‎^{‎\ast‎}‎ $. Has ‎$ X $ Hahn-Banach Extension Property, ‎i‎f ‎$ X‎^{‎\ast‎} $‎ ‎‎ separates points of ‎$ X $ ? (Hahn-Banach Extension ...
1
vote
0answers
15 views

Locally bounded topological vector spaces

Let ‎$ X $ ‎‎‎be a topological vector space ‎such that every neighborhood of zero contains an infinite dimensional subspace. Then ‎$ X $ is not locally bounded. I do not know, why? We know ‎$ X $ is ...
0
votes
0answers
28 views

Weak (operator) null sequence is bounded and pointwise convergent to zero

I was reading Diestel book (Absolutely Summing Operators) and it says: "(...) let $(f_n)$ be any weak null sequence in $\mathcal{C}(K)$. Then $(f_n)$ is bounded and converges pointwise to zero." I ...
1
vote
1answer
25 views

Cocountable topology and topological vector spaces

I am trying to understand topological vector spaces. Is $(\mathbb R,+,0)$ a TVS when equipped with the cocountable topology ? I mainly have problems to understand continuity of $+$. I think it is ...
2
votes
1answer
29 views

Dual of continuous functions in various topologies

Let $S$ be compact and Hausdorff and $C(S)$ be its space of continuous complex functions. When $C(S)$ is endowed with the $\sup$ norm, its dual is well known. Since this topology is too strong for my ...
0
votes
1answer
57 views

Topology on compactly supported smooth functions

I'm confused by a set of lecture notes I'm reading and would like help in understanding what's going on. First, there is the following nice theorem. Theorem. The topology of a locally convex space is ...
3
votes
0answers
64 views

When weakly compactness implies compactness?

Let $A$ be a Banach space. The weak topology on $A$ is a topology which produced by the following family of seminorms: $~~~~~~~~~~~~~~~~~~~~P_f(x)=|f(x)|,\qquad$ where $f\in A^*$ and $A^*$ is dual ...
1
vote
1answer
33 views

Topology property of inner product and norm

It is known that the norm can induce an inner product if and only if it satisfies Parallelogram law. I just want to know what topology property the inner product has while the norm doesn't have?
2
votes
2answers
57 views

Need example of: Algebraic sum of closed vector subspaces need not be closed

I've read somewhere that given two closed subspaces $V_1,V_2$ in topological vector space $X$, their algebraic span $V_1+V_2=\{x_1+x_2 |x_i \in V_i, i=1,2\}$ need not be closed. I always thought that ...
0
votes
1answer
38 views

Is $C(\Omega) \cong\prod_{n \in \mathbb{N}} C(K_n)$?

Let $\Omega$ be an open set in a topological space and $C(\Omega)$ be the vector space of continuous complex valued functions with the topology given by the following family of seminorms: ...
1
vote
1answer
42 views

Showing equivalence of seminorms

Let $K =[0,1]$ and let $X \subset C^{\infty}(K)$ be the subspace of all functions vanishing on the end points of $K$. Show that the following seminorms are equivalent: $||D^nf||_1$ $||D^nf||_2$ ...
1
vote
1answer
26 views

The Mazur–Ulam Theorem: A generalization to arbitrary topological vector spaces

Is there a corresponding result for arbitrary topological vector spaces? For example, is a surjective isometry between linear metric spaces affine?
0
votes
0answers
32 views

extremal functions and extreme points

A(D) :analytic functions on the unit disk form a locally convex tvs with the topology of uniform convergence on compact sets.Let F be a convex subset of A(D) which is also compact and J be a complex ...
3
votes
0answers
87 views

The topology of $GL(V)$

Let $V$ be a topological vector space (not necessarily finite-dimensional) over a field $K$, and let $GL(V)$ be the group of invertible linear maps $V\to V$ under composition. There are two obvious ...
7
votes
1answer
73 views

Topological space $\nRightarrow$ Metric space $\nRightarrow$ Normed space $\nRightarrow$ Inner product space (Examples)

If I have an inner product space, the hierarchy goes: Inner product space $\Rightarrow$ normed space $\Rightarrow$ metric space $\Rightarrow$ topological space. The reverse, however, is not always ...
0
votes
2answers
43 views

$C_c(X)$ is dense in $C_0(X)$

Let $X$ be a topological space, and let $C_0(X)$ be the $\mathbb{C}$-vector space of continuous functions $g:X \rightarrow \mathbb{C}$ with the property that for any $\epsilon > 0$, there exists a ...
0
votes
1answer
12 views

vector function derivative help

I need help with finding the derivative of a vector function, we haven't done any examples in class hence I have no idea how to proceed. So we have $\alpha:[a, b] \to R^2, \alpha'(t) \neq (0,0) $ ...
0
votes
0answers
51 views

Part (e) of Exercise 13 of first chapter of Rudin's book “Functional Analysis”

I would really appreciate it if you could give me some advice on the part (e) of Exercise 13 of first chapter of Walter Rudin's book "Functional Analysis": Let $C$ be the vector space of all ...
2
votes
1answer
58 views

Part (d) of Exercise 13 of first chapter of Rudin's book “Functional Analysis”

I would really appreciate it if you could give me some advice on the part (d) of Exercise 13 of first chapter of Walter Rudin's book "Functional Analysis": Let $C$ be the vector space of all ...
2
votes
1answer
44 views

Part (c) of Exercise 13 of first chapter of Rudin's book “Functional Analysis”

I would really appreciate it if you could give me some advice on the part (c) of Exercise 13 of first chapter of Walter Rudin's book "Functional Analysis": Let $C$ be the vector space of all ...
5
votes
1answer
69 views

Part (a) of Exercise 13 of first chapter of Rudin's book “Functional Analysis”

I would really appreciate it if you could give me some advice on the part (a) of Exercise 13 of first chapter of Walter Rudin's book "Functional Analysis": Let $C$ be the vector space of all ...
2
votes
0answers
56 views

Part (b) of Exercise 13 of first chapter of Rudin's book “Functional Analysis”

I would really appreciate it if you could give me some advice on the part (b) of Exercise 13 of first chapter of Walter Rudin's book "Functional Analysis": Let $C$ be the vector space of all ...
2
votes
1answer
63 views

Show that linear finite rank operators are open mappings [duplicate]

Suppose $X$ and $Y$ are topological vector spaces, $dim(Y) < \infty$, $\Lambda : X \rightarrow Y$ is linear, and $\Lambda (X) = Y$. Prove that $\Lambda$ is an open mapping. Thanks in advance. ...
5
votes
2answers
105 views

The convex hull of every open set is open

Let $X$ be a topological vector space. Prove that the convex hull of every open subset of $X$ is open. I tried using definition of Convex Hull and Open Set, but I couldn't prove the statement.
2
votes
1answer
17 views

Compact implies Totally Bounded in a TVS

Definition: If $X$ is a TVS and $E\subseteq X$ then $E$ is totally bounded iff for every nbhd of $0_X$, $V$, there exists some finite set $F\subseteq X$ such that $E\subseteq F+V$. Claim: If $K$ is ...
1
vote
0answers
17 views

Is the unitary group of a pre Hilbert space contractible?

for a separable Hilbert space $H$ it is known that the unitary group $U(H)$ is contractible, both for the norm topology (Kuiper's theorem) and for the strong operator topology (Dixmier and Douady, ...
0
votes
1answer
31 views

weak topology and weak* topology on $L^1, L^{\infty}$

Suppose $L^1(I)$ is the primal space and $L^{\infty}(I)$ is the dual. Could I simultaneously define weak topology on $L^1(I)$ with respect to $L^{\infty}(I)$ and define weak or weak* topology on ...
2
votes
0answers
41 views

Are countable strict inductive limits of Fréchet spaces always LF-spaces?

I would like to work with a slightly loser definition of an LF-space but am unsure what niceties I'm throwing away in the process. Let me provide a comparison of the conventional definition and my own ...
-1
votes
2answers
49 views

Simple example of a regular topological space that is not first countable or not metrisable?

Is there an example of a regular topological space that is not first countable? Is there an example of a regular topological space that is not metrisable?
2
votes
0answers
22 views

Schwartz space of functions versus Schwartz space in a more general sense?

Part of me is afraid that this isn't a well-formed question, but try as I might, I can't seem to figure out anything reasonable on this topic. I'm hoping someone here can help. In functional ...
1
vote
2answers
51 views

Norm of a space - How to show its one

Let $C^1([0,1])$ be the space of all functions having continuous derivative. For each $f\in C^1([0,1])$, set $$\|f\|=\left(\int_0^1 (|f|^2+|f'|^2)dx\right)^{(1/2)}$$ Show that $\|\cdot\|$ is a norm ...
2
votes
2answers
46 views

Compactness and (global) convergence in measure

Let $B$ denote the unit ball of $L^\infty$. Question: is $B$ sequentially compact for the topology of convergence in measure ? I am not necessarily assuming that the measure is finite (but $\sigma$ ...
0
votes
1answer
27 views

Elements near the identity of a linear subspace

I am currently trying to understand a proof and ran into the following problem. The proof states (everything takes place in a commutative, unital Banach-Algebra): A linear subspace $X$ with ...
1
vote
0answers
35 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
42 views

How to prove this: $\overline{A\cap B}=\overline{A\cap \overline{B}}$?

Let $A$ be an open set of $E$ an normed linear space, and $B\subset E$, then I have to prove that $$\overline{A\cap B}=\overline{A\cap \overline{B}}$$ (I'm stuck in the two $\subset$'s) Any help ...
1
vote
1answer
23 views

familyof seminorms on normed spaces

Let $(X,\|\cdot\|)$ be a normed space. It is known that the norm $\|\cdot\|$ induces a topology, known as the norm topology $\tau$ on $X$. Then the pair $(X,\tau)$ is a locally convex topological ...
0
votes
0answers
23 views

Confused about topological vector space defined by seminorms

I'm reading a book in which it's claimed that for a strongly continuous representation, $U: G\rightarrow Aut(E)$ of a Lie group, G, on a locally convex, complete, Hausdorff topological vector space,E, ...
0
votes
0answers
25 views

Necessity of continuity in Topological Vector Space

In the notion of a topological vector space, we define such as a vector space $X$ (over a field $\mathbb{K}$) with topology $\mathscr{T}$ such that $$\iota_+: (X,\mathscr{T}) \times (X, \mathscr{T}) ...
0
votes
1answer
31 views

Characterization of a quotient space

Given the space $C^n[0,1]$ of all real functions of class $C^n$ in $[0,1]$, let $\tilde{d}^j := d_\infty(f^{(j)},g^{(j)})$ a pseudometric $(j=1,\dots,n)$ on $C^n[0,1]$. Here $f^{(j)}$ mean the ...
0
votes
0answers
19 views

An example of a reflexive vector space that is not a Banach Space

I found in an article of Marianne Smith a definitiion of reflexive vector space that not need the space to be, even, a normed space. She said that a vector space is reflexive if the natural ...
2
votes
2answers
35 views

Is a metrizable topological vector space normable?

A tvs is metrizable iff it is $T_2$ and has a countable local base; while a tvs is normable iff it is $T_2$ and $0$ has a bonded convex neighbourhood. So any anybody give me an example of a ...
2
votes
1answer
56 views

a question about proving a normed space is complete

Let [a,b] be an interval in R,and denote by E the Vector space of functions f:[a,b]->R such that f is of bounded variation over [a,b] and f(a)=0.Prove that by setting $||f||=Var|_{a}^{b}(f)$ for each ...
0
votes
0answers
24 views

How to check a linear map between topological space is continuous?

I am reading something about distributions, and I have a question. I think it is not hard, but I don't know how to explain it rigorously. Suppose $M$ is a smooth manifold, $V$ is a Fréchet space, and ...