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

38
votes
0answers
938 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 ...
6
votes
0answers
61 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
0answers
147 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
0answers
115 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 ...
5
votes
0answers
41 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, ...
5
votes
0answers
205 views

Evaluation map is not continuous always.

Let $E$ be a not normable locally convex space, define $$F: E'\times E\to \mathbb R$$ $$(f,e)\to f(e)$$ I have to show that $F$ is not continuous when $E'\times E$ is given product topology. I was ...
5
votes
0answers
135 views

Curiosities about the content of a rare book: Topological Vector Spaces by A. Grothendieck

The book is a celebrated and highly influential book by A. Grothendeck, which was published in 1954, in French and for various reasons, it has been out of print since 1973. I am very much interested ...
4
votes
0answers
56 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 ...
4
votes
0answers
41 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 ...
4
votes
0answers
206 views

The converse of James's Theorem

The famous James theorem states that: Theorem. Let $X$ be a (Hausdorff separated) locally convex space (LCS for short) with topological dual $X^*$ and let $B\subset X$ be weakly-closed. If $X$ is ...
3
votes
0answers
53 views

Closedness of convex sets in a locally convex space

Let $C$ be a convex subset of a locally convex topological vector space. Consider the properties: a) $C$ is closed. b) $C$ is weakly closed. c) $C$ is weakly sequentially closed. d) $C$ is ...
3
votes
0answers
56 views

How general is the convergence of the exponential function's power series?

Let $\mathbf{V}$ be a Fréchet space whose underlying set is $V$. Let $\;\; \beta \: : \: V\times V \: \to \: V \;\;$ be a continuous bilinear map that has an identity element and is ...
3
votes
0answers
52 views

Every locally connected non separating plane continuum is an AR

A continuum is a compact connected metric space. A plane continuum is a continuum contained in $R^2$. We say that a plane continuum does not separate the plane provided that $R^2\setminus X$ is ...
3
votes
0answers
78 views

Pseudo norm-exercice

Let $f$ be a measurable function with finite values almost everywhere. We put $$N_0(f) = \displaystyle\int \dfrac{|f|}{1 + |f|} d \mu.$$ We denoted by $L^0$ the set of measurable functions $f$ such ...
3
votes
0answers
110 views

Which (endo)functors of the category of finite-dimensional real vector spaces induce continuous maps between Hom-sets?

Let $\operatorname{Vect-fin}$ be a category of finite-dimensional vector spaces over $\mathbb{R}$. In this category Hom-sets $\operatorname{Hom}(V,W)$ are themselves finite-dimensional vector spaces ...
3
votes
0answers
107 views

Density of operators

I am interested in operators on non-reflexive Banach space. Let $X$ be a Banach space and let $L(X)$ be the algebra of operators acting on $X$. We may embed $L(X)$ into $L(X^{**})$ by ...
3
votes
0answers
437 views

Translation invariant metric

Under what conditions can a metric vector space be given an equivalent metric that is translation invariant? I was wondering if the probability measures on real line can be embedded in vector space ...
3
votes
0answers
263 views

Definition of a topological module

A topological universal algebra of type $\Omega$ is a universal algebra $A$ of type $\Omega$ that is also a topological space, such that for any $n\!\in\!\mathbb{N}$ and any operation ...
3
votes
0answers
94 views

Consequence of metrizability proof - disregard, the question is an error

In Marian Fabian et al's Functional Analysis and Infinite-Dimensional Geometry, Proposition 3.22 states/proves that if $X$ is a separable Banach space, then the (closed) unit ball, $B_{X^{*}}$ of ...
3
votes
0answers
104 views

Self-absorbing subsets in a vector space

From planetmath Let $V$ be a vector space over a field $F$ equipped with a non-discrete valuation $|\cdot|:F\to \mathbb{R}$ . Let $A$ and $B$ be two subsets of $V$. Then $A$ is said to absorb ...
3
votes
0answers
406 views

Understanding examples - metric spaces, Minkowski functionals and topologies

I'm teaching myself a course on functional analysis but having trouble understanding the notes I've been using. I was hoping I could write out a section of the content and you might be able to help me ...
2
votes
0answers
23 views

Existence of particular functionals in a family of linear functionals

Let $U\subset B$ be a subset of a Banach space $B$, and let $D$ be a complete topological vector space. I have given a family $\mathcal L(U)=\{L_u\ |\ u\in U\}$ of linear functionals $L_u:D\to\mathbb ...
2
votes
0answers
66 views

Continuity of implicit function

I find a proof of the following theorem in A.N. Kolmogorov and S.V. Fomin's Элементы теории функций и функционального анализа (pp. 492-493 here): Let $X,Y,Z$ be Banach spaces, $U$ a neighbourhood ...
2
votes
0answers
61 views

Limit topology of a sequence of topological vector spaces

Under which circumstances is the limit topology of an increasing sequence $E_0\subseteq E_1\subseteq E_2\subseteq\cdots$ of topological vector spaces, where the inclusion maps are linear and ...
2
votes
0answers
44 views

Topological vector space question

$C[0,1]=$ space of all continuous complex valued function over $[0,1]$. Define metric, $d(f,g)={\int_{0}^{1} \frac {|f(x)-g(x)|}{1+|f(x)-g(x)|}}$, for all $f,g\in C[0,1] .$ Let $(C[0,1],\sigma)$ ...
2
votes
0answers
29 views

Metric space with measure and a special property

Let $R$ be a metric space endowed with a (complete) measure $\mu$ satisfying the following condition: all the open and closed sets of $R$ are measurable and for any measurable set $M\subset R$ and any ...
2
votes
0answers
35 views

Extension of function with values in a Banach space

I want to prove the following Let $E,X$ be Banach spaces, and $Y\subset E$ a closed subspace with codimension $1$. Let $T:Y \to X$ be a continuous linear function. Then there exists a continuous ...
2
votes
0answers
17 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 ...
2
votes
0answers
40 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, ...
2
votes
0answers
27 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 ...
2
votes
0answers
22 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 ...
2
votes
0answers
58 views

Is there a non-complete and non-separate metric space?

Is there a (non-trival) non-complete and non-separate metric space? Some notions are here: math.stackexchange.com/questions/182316.
2
votes
0answers
59 views
2
votes
0answers
73 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
0answers
55 views

Differential Operators over the space of Analytic Functions

Let $\mathcal{A}(-a,a)$ be the vector space of functions that are analytic on the interval $(-a,a)$ Is there a common topology to place on this space, if yes what is the topology and is it induced ...
2
votes
0answers
108 views

Functional analysis exercise

I would really appreciate it if you could give me some advice on the following exercise in Rudin. Put $K=[-1,1]$; define $\mathcal{D}_K$ as the set of all smooth functionals supported in $K$. ...
2
votes
0answers
109 views

Which are nontrivial examples of analytical functions on Frechet spaces?

Let $X$ be a real linear topological space, which is a (separable) Frechet space, such that the topology on $X$ is generated by the countable family $\{p_n:n\in\omega\}$ of norms . A real-valued ...
2
votes
0answers
39 views

Density problem

$U$ is any open set of $\mathbb{R}$. We known that $C_0^\infty(U)$ is dense in $C^k(U)$. But what about, say $C_0^\infty((0,1))$ in $C^k([0,1])$?
2
votes
0answers
51 views

Topology of $(\mathcal{A},*)$ determined by $\mathcal{A}_{sa}$?

Let $(\mathcal{A},*)$ be a $*$-algebra, we have the following observation: Let $\|\cdot\|_1$ and $\|\cdot\|_2$ be two norms on $\mathcal{A}$ such that the involution is an isometry with respect to ...
2
votes
0answers
190 views

Hairy ball theorem: references to applications

I'm looking for references to applications of the Hairy ball theorem. I already visited wikipedia and cited references, but I need a little more explanation in both meteorology and applications in ...
2
votes
0answers
49 views

When is a subset of {0,1} valued borel functions on a standard borel space (polish space) complete (see *) under the pointwise convergence topology?

*In other words, what restrictions on a family F of {0,1} valued borel functions will tell us that the pointwise limit of any net in F is borel. I feel like there must be lots known about this but I ...
1
vote
0answers
29 views

Bornological/Barrelled Operator-Topologies?

I'm looking for results concerning the following questions. If those have been already addressed in the literature, it would be nice to know proper citations: Let $(E, \tau_E)$ and $(F, \tau_F)$ be ...
1
vote
0answers
23 views

Continuity of the dual product reloaded

Let $X$ be a Banach space with topological dual $X^*$. Then the dual product $(x,x^*)\in X\times X^*\to x^*(x)\in\mathbb{R}$ is strongly$\times$strongly continuous in $X\times X^*$. That does not ...
1
vote
0answers
32 views

Weak operator topology is the smallest topology on $B(H)$

Show that weak operator topology is the weakest locally convex topology on $B(H)$ such that every $\phi\in F(H)$ is continuous. (F(H) means finite rank operators on $H$). To show it , let $\tau$ ...
1
vote
0answers
31 views

Closed unit ball of $B(H)$ with wot topology is compact

The following is a Theorem of Conway's operator theory: I can not understand how he proves it. I think $\phi(\text{ ball B(H)})$ is compact if $\phi(\text{ ball B(H)})$ is closed subset of compact ...
1
vote
0answers
26 views

Continuous functions dense in $L_p(X,\mu)$ if $X$ has a special property

Let $X$ be a metric space endowed with a measure $\mu$ satisfying the following condition: all the open and closed sets of $X$ are measurable and for any measurable set $M\subset X$ and any ...
1
vote
0answers
43 views

Initial topology coincides with the locally convex topology

Suppose that $\forall j\in J: X_j $ is a locally convex space, with defining family of seminorms $(q_{jk})_{k \in K_j}$. Also let $X$ be a vector space and $T_j: X \to X_j$ a linear map $\forall j\in ...
1
vote
0answers
31 views

Motivation for the notion of locally convex topological vector space

Is the only motivation for the notion of locally convex topological vector space that the local bases have some nice property i.e. convex, balanced, absorbing ?
1
vote
0answers
70 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 ...
1
vote
0answers
54 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: ...