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

0
votes
1answer
52 views

Is a sequentially compact (non-metrizable) uniform space totally bounded?

First some topological definitions in terms of nets and sequences: A topological space $(X, \tau)$ is compact iff every net has a convergent subnet sequentially compact iff every sequence has a ...
0
votes
0answers
37 views

embeddings of TVS are continuous

How to show that the two embeddings of TVS are continuous: $C^{\infty}_c\subset S\subset C^{\infty}$? According to Wikipedia, the definition of "Continuously embedded" is that " one normed vector ...
0
votes
0answers
32 views

Check proof that the embedding of the unit ball $B\subset X$ into $X^{**}$ in weak-* dense

I have to prove the following theorem: Let $X$ be a (real) Banach space, and let $B$ denote its closed unit ball, and let $\tau (B)$ denote its canonical embedding into $B^{**}$, the closed unit ...
1
vote
1answer
38 views

Open sets in the unitary group $ U(\mathcal{H}) $ of a Hilbert space $ \mathcal{H} $.

Let $H$ be an infinite dimensional Hilbert space and let $(x_i)_1^\infty$ be an orthonormal basis for $H$. Consider $U(H)$ the unitary group of the continuous unitary operators on $H$. Equip $U(H)$ ...
1
vote
0answers
43 views

Existence of linear continuous functional on locally convex TVS

Let $c>1$ and $X$ be a locally convex TVS. Take $a,b\in X$ and a closed subspace $Y$ of $X$ such that $Y\cap \{(1-t)a+bt \ | \ t\in\mathbb{R}\}=\emptyset$. How to prove that there exist $f\in X'$ ...
0
votes
2answers
72 views

Is Topological Space a Metric Space?

What's the correct relationship between these two spaces? I think that topological space is a metric space, since the open is defined by a metric such that $d(x, a) < \epsilon$.
3
votes
1answer
41 views

The weak topology on $H$ is the weak* topology on $H^*$ pulled back via $\Phi$

I'm reading the following in Analysis Now by Pedersen: The map, $H$ a Hilbert space $$\Phi:H\to H^*: x\mapsto(\cdot\mid x)=[y\mapsto (y,x)]$$ is a conjugate linear isometry. Then define the weak ...
1
vote
1answer
21 views

Does $\frac{1}{n}x_0$ converge to the origin in any topological vector-space?

Let $X$ be a topological $\mathbf{R}$-vector-space (not necessarily Hausdorff) and $x_0 \neq 0$ a non-zero element of $X$. Then intuitively the sequence $(\frac{1}{n} x_0)_{n \in \mathbf{N}}$ ...
0
votes
1answer
45 views

Proof of a property regarding weak-star topology

I am reading a book in which a theorem is only proven analogously in the situation of weak topology. The proof does not seem to work in the case of weak$^{*}$ topology. Let $X$ be a normed linear ...
2
votes
2answers
24 views

If $V$ is completely normable, then is every norm complete?

Here is a theorem that motivated my question. Let $(V,||\cdot||_V)$ be a normed space over $\mathbb{K}$. Then, there exists a Banach space $(X,||\cdot||_X)$ such that $V$ is dense in $X$ and ...
0
votes
0answers
11 views

Is there a terminology to denote a topological vector space that admits an inner product?

Let $(V,\tau)$ be a topological vector space over $\mathbb{K}$. If there is a norm $||\cdot||$ on $V$ such that the metric topology induced by $||\cdot||$ is $\tau$, then we call $V$ is normable. ...
1
vote
1answer
51 views

Complete as a semimetric space but not as a topological group

I shall begin with some definitions. 1) Suppose that $X$ is a topological (additive) group and $(x_{s})\subseteq X$ is a net, we said that $(x_{s})$ is Cauchy whenever $U$ is a neighbourhood of $0$, ...
4
votes
1answer
87 views

Example of a subnet that have no subsequence.

I have an elementary question on nets because I'm not familiar with this concept. Here are two basic facts: Every subsequence of a sequence is a subnet; Not every subnet of a sequence is a ...
0
votes
1answer
37 views

open and closed unit balls in topological vector space

It is a famous fact that in any seminormed space $X$, the open unit ball $B$ and closed unit ball $C$, which are defined by $B=\{x\in X: \|x\|_{X}<1\}$ and $C=\{x\in X: \|x\|_{X}\leq 1\}$ ...
1
vote
0answers
21 views

Core points of a convex set

In the book of Gamelin "Unifrom Algebras" I found the following definition: Let $K \subset V$ be a convex set in a vector space. An element $x \in K$ is called core point of $K$ if whenever $z ...
3
votes
2answers
51 views

Example of a topological vector space which is not locally convex

I'm currently studying Functional Analysis and the professor gave an example for a TVS (which we have defined to be a vector-space $X$ in which addition $X \times X \rightarrow X, (x, y) \mapsto x + ...
2
votes
1answer
43 views

Quotient map $\pi : X \rightarrow X / \mathrm{ker}(A)$ is open for a bounded linear operator $A$

I'd like to show: if $A : X \rightarrow Y$ is a bounded linear operator between Banach-spaces, then $\pi : X \rightarrow X / \mathrm{ker}(A)$ is a open map. I found a proof, which I do not really ...
1
vote
1answer
13 views

Semi-norm generating the standard locally convex topology on the space of locally finite Borel measures

In several articles available over the internet, it is written that: .. $M_{loc}(\Omega)$ is the space of locally finite Borel Measures on $\Omega$ with the standard locally convex topology ...
4
votes
2answers
49 views

A $T_0$ topological vector space is Hausdorff

I know a $T_0$ topological group is $T_1$, and if we have a topological vector space, there should be a way of using scalar multiplication to get disjoint neighborhoods. Right?
1
vote
1answer
47 views

Dual topology and Mackey–Arens theorem

I read only by wikipedia the Mackey–Arens theorem, that is: Given dual pair $(X, X')$ with $X$ a locally convex space and $X'$ its continuous dual, then $\mathcal{T}$ is a dual topology on $X$ if ...
1
vote
1answer
82 views

Equivalent definitions of locally convex topological vector space

This Wikipedia article gives two equivalent definitions of locally convex space (l.c.s). I don't see clearly the equivalence and I'd like to make it crystal clear. Definition 1 Let $(V,\tau)$ be a ...
0
votes
2answers
69 views

Continuity of seminorms

The following is from Wikipedia: A locally convex space is defined to be a vector space $V$ along with a family of seminorms $\{p_α\}_{α ∈ A}$ on $V$. A locally convex space carries a natural ...
2
votes
1answer
43 views

Different definitions of absorbing sets from the Wikepedia

Consider a vector space $X$ over the field $\mathbb{F}$ of real or complex numbers and a set $S\subset X$. In this Wikipedia article about absorbing sets, $S$ is called absorbing if for all ...
4
votes
1answer
91 views

Discontinuous surjective linear map which is not open

The following statement is true: Assume that $X$ and $Y$ are topological vector spaces where $Y$ is finite-dimensional Hausdorff, if $A:X\rightarrow Y$ is a continuous surjective linear map then $A$ ...
6
votes
2answers
146 views

Proving that scalar multiplication is continuous

Let $\mathbb{K} \in \{ \mathbb{R} , \mathbb{C} \}$ and $s= \mathbb{K}^{\omega}$ be the usual sequence set with entries on $\mathbb{K}$. I proved that $\mathbb{K}$ induces a $\mathbb{K}$-vector space ...
0
votes
2answers
30 views

Why is $\{x-y: x,y\in K,\ d(x,y)\geq 1/n\}$ a compact set in a metrizable topological space with compact $K$?

Assume that $K$ is a compact convex set in a Hausdorff locally convex space, and $K$ is metrizable with the induced topology. Let $d$ be a metric defining the induced topology. Show that the set ...
3
votes
1answer
40 views

Locally compact Hausdorff topological vector spaces are finite-dimensional

It's an important fact that locally compact Hausdorff topological vector spaces are finite-dimensional, a proof can be found here. I'm somewhat stuck with the proof. If ${U}$ is a neighbourhood of ...
0
votes
1answer
20 views

Second countable normed vector space

I know, that if $X$ and $Y$ is second countable, then $X_{/Y}$ is second countable. Is it true, that if $X$ is normed vector space, $Y$ is closed subspace of $X$, and $Y$ is second countable, and ...
0
votes
1answer
13 views

Show that $ F_n=\{x\in K:\textrm{there exist }\ y,z\in K\textrm{ such that }x=(y+z)/2\textrm{ and }d(x,y)\geq 1/n\}$ is a closed set

This is a follow-up question to a previous one. Assume that $K$ is a compact convex set in a Hausdorff locally convex space, and $K$ is metrizable with the induced topology. Then the set ...
1
vote
1answer
29 views

properties of non-extreme points

I'm reading a proof of the following lemma Assume that $K$ is a compact convex set in a Hausdorff locally convex space, and $K$ is metrizable with the induced topology. Then the set ...
1
vote
2answers
31 views

Can a metrizable TVS be induced by a non-translation invariant metric?

Is it possible to have a topological vector space $(X, \tau)$ with its topology induced by a metric $d$ which is not translation invariant? I'm asking this because in Rudin's 'Functional Analysis' ...
2
votes
0answers
36 views

$W^{1,p}$ is separable for $1\leq p<\infty$

I've been asked to prove that the Sobolev spaces $W^{1,p}(\Omega)$, $\Omega$ open in $\mathbb R^n$, are separable for $1\leq p <\infty$ using the map $$i\colon W^{1,p}(\Omega)\to L^p(\Omega)\times ...
1
vote
0answers
79 views

Local boundedness of monotone operators in general spaces

A classical result states that: If $X$ is a Banach space then every multi-valued monotone operator $T:X\to 2^{X^*}$ is locally bounded on $\operatorname*{int}D(T)$ (the interior of its domain). I ...
0
votes
1answer
28 views

Why would $\{f_c:x\mapsto c\|c\in [-1,1]\}\subset (C_\mathbb{R}[0,1],||\cdot||)$ be closed in the wk* topology?

When proving that $(C_\mathbb{R}[0,1],||\cdot||_\infty)$ is not a dual space of any Banach space using Alaoglu's theorem and Krein-Milman's theorem I'm stuck with the conclusion that $S=\{f_c:x\mapsto ...
1
vote
1answer
40 views

properties of a separable metrizable locally convex space

Let $X$ be a separable, metrizable locally convex space. Suppose $V$ is a neighborhood of $0$ and a barrel (closed, absolutely convex, and absorbing). Show that there exist points $y_n\in ...
2
votes
1answer
57 views

In the Krein-Milman theorem, can the weak closure of the convex hull be replaced by norm-closure?

I have a question on the following formulation of the Krein-Milman theorem: Consider a vector space $X$ equipped with the weak topology induced by a separating space $X^*$ of functionals on $X$. ...
0
votes
2answers
51 views

from finite to $\sigma$-finite measure space [duplicate]

This might be rather elementary. I have put it at MSE for a while without getting any answers. Here is the question: In the proof of the following theorem, would anyone explain how the general case ...
1
vote
1answer
44 views

Vector space of all Lebesgue measurable functions

Let $L_0$ be the vector space of all Lebesgue measurable functions on $[0,1]$ with metric $d(f,g)$ = $\int_{0}^{1} |f(t)-g(t)|/( 1+ |f(t)-g(t)| ) dt $ . Show that $d(f_n,f) \to 0$ iff $f_n \to f$ in ...
3
votes
1answer
319 views

How can this theorem about weakly measurable functions on $\sigma$-finite measure spaces be deduced from the finite measure space case?

I am reading a theorem about measurability of vector-valued functions in a note on functional analysis: Theorem 3.6.1. If $X$ is a separable, metrizable locally convex space, $(\Omega, \Sigma, ...
3
votes
1answer
200 views

Continuous inclusions in locally convex spaces

Let $(X, \left \| \cdot \right \|_X )$, $(X, \left \| \cdot \right \|_Y)$ two normed vector spaces with $X \subset Y$, by definition we have $X \hookrightarrow Y$ if $\left \| x \right \|_Y \leq C ...
0
votes
1answer
41 views

what is a cofinal sequence?

I understand that the subset $\Phi'$ of $\Phi$ is cofinal by looking at Wikipedia https://en.wikipedia.org/wiki/Cofinal_(mathematics) Would anybody explain what the cofinal sequence $(Y_n)$ means? ...
1
vote
1answer
32 views

The relation between Closed Operators (the graph is closed) and Closed Mappings (images of closed sets are closed)

Let $X$, and $Y$ be topological vector spaces and let $D$ be a dense vector subspace of $X$. An operator $T:D\to Y$ is called closed iff the graph of $T$, $\{(x,T(x))\in X\times Y|\,x\in D\}\subseteq ...
1
vote
1answer
35 views

Why is the dual space with the weak*-topology a topological vector space?

In my lecture-notes on functional analysis I've found the fact that the dual-space $X^*$ with the weak*-topology of a real vector-space $X$ is a topological vector-space. I've tried to prove it, but ...
4
votes
0answers
91 views

Are uncountable “Schauder-like” bases studied/used?

We could define the following notion of basis in a way analogous to unconditional Schauder basis: If $X$ is a topological vector space over $\mathbb R$ and $B=\{b_i; i\in I\}$ be a subset of $X$. ...
2
votes
1answer
35 views

Show that any convex subset of a Banach space X is closed with respect to the norm if and only if it is closed in the weak topology

How can it be proved? In a way which could be understood by a undergraduate math student. Specially if and "only if".
0
votes
1answer
12 views

If $Z$ is Hausdorff and if $Z=M\oplus N$, then $M$ and $N$ are closed.

Let $Z$ be a topological vector space over a field $K$. If $Z$ is Hausdorff and if $Z=M\oplus N$, then $M$ and $N$ are closed. Defn: $X$ is said to be topological vector space if $(i)$ $X$ ...
2
votes
0answers
76 views

Differential operators acting on the Schwartz space

I was asking me the following question and cannot find any answer to it. Any help/suggestion is most than welcome! Let $D$ be a linear differential operator with polynomial coefficients on ...
0
votes
1answer
36 views

Kadets-Pelczynki criterion to prove Eberlein Smulian Theorem.

I am studying the proof of the Eberlein-Smulian Theorem via basic sequences in the book "Topics in Banach Space Theory" from F.Albiac and N. Kalton. Although, I found myself stuck in the following ...
2
votes
1answer
19 views

Let $H$ be a real Hilbert space (an euclidian vector space over the real numbers field).

Let $H$ be a real Hilbert space (an euclidian vector space over the real numbers field). If $\{x_n\}$ weakly converges to $x$ and $\|x_n\|\rightarrow \|x\|$, show that $\|x_n-x\|\rightarrow 0$. My ...
3
votes
1answer
60 views

How are the assumptions used in the proof of Bourbaki-Alaoglu Theorem?

This is a follow up question to a previous one. In the proof of the following theorem, where are the assumptions "Hausdorff" and "locally convex" used?