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

7
votes
0answers
92 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
48 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
154 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
126 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
146 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
66 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
42 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
236 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
63 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 ...
3
votes
0answers
84 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 ...
3
votes
0answers
59 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
80 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, ...
3
votes
0answers
64 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
54 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
81 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
125 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
110 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
547 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
296 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
197 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 ...
3
votes
0answers
97 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
106 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
447 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
52 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
0answers
36 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 ...
2
votes
0answers
20 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 ...
2
votes
0answers
15 views

Is the unit ball of $H^\infty(\mathbb{D})$ a metrizable topological semigroup under multiplication?

The space $H^\infty(\mathbb{D})$ of all bounded holomorphic functions on the open unit disc carries many different topologies. One such topology is given by uniform convergence on compact subsets; ...
2
votes
0answers
29 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
105 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
52 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
37 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
38 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
19 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
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
29 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
75 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
62 views
2
votes
0answers
96 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
56 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
117 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
115 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
41 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
52 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
15 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, ...
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 ...
1
vote
0answers
70 views

a question of my real analysis class,can someone help me solve this question?

Let $n \geq 1$ be an integer, and $C: \mathbb{N}^n \to \mathbb{R}$ be a function. Prove that there exits a infinitely differentiable function $f: \mathbb{R}^n \to \mathbb{R}$ whose value and partial ...
1
vote
0answers
24 views

Isomorphism of finite dimensional topological vector space with $(\mathbf{R}^k,\mathcal{R})$

Let $(T,\mathcal{T})$ be a topological vector space over $\mathbf{R}$ with finite positive dimension. Is it true that there exists an isomorphism between $(T,\mathcal{T})$ and ...
1
vote
0answers
25 views

Generate a mesh from unsorted points (eight points)

I'm trying to generate a mesh from eight points. The challenge is that I don't know the order/label of the points, and I want it to work regardless of variations in the shape (see example below). The ...