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
0answers
26 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
112 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
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 ...
1
vote
1answer
529 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
57 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
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
2answers
83 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
56 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
35 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
100 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
1answer
141 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
4answers
77 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
138 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
62 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
55 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
41 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
37 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
34 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
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 ...
0
votes
1answer
44 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
380 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
84 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
219 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 ...
-1
votes
1answer
55 views

Linear independence in 3-space

The orthogonal orthonormal basis vectors $i,j,k$ in $3$-space are generally accepted as linearly independent. However $j$ can be derived from $i$, by the process of differentiation, and likewise ...
6
votes
2answers
229 views

Why do we need dual space [closed]

In functional analysis there are many places where dual space is mentioned, but I still don't understand the real power of that concept. Why do we need the dual space?
2
votes
3answers
95 views

$\sigma$-Algebra: Why do we want it to contain complements as well?

Everybody Hello, I was always wondering: (Please answers apart from historical reasons) Why do we want a $\sigma$-Algebra to possess more than just its crucial disjoint $\sigma$-union property? Say, ...
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, ...
2
votes
1answer
51 views

When does a dense subspace destine the weak topology?

Let $E$ be a locally convex space, let $E^{\prime}$ be its continuous dual space and let $F$ be a subspace of $E^{\prime}$ which is dense with respect to the strong topology on $E^{\prime}$ (i.e. the ...
3
votes
1answer
186 views

Weak* continuity

Let $B$ be the open unit ball in $\mathbb{R}^2$ and $\mathcal{M}^+$ the set of nonnegative Radon measures on $B$ and $\mathcal{M}^2$ the set of $\mathbb{R}^2 \text{-valued}$ Radon measures on $B.$ I ...
3
votes
1answer
119 views

Given a Banach space $X$, are weak$^*$ bounded subsets of the dual space $X '$ also strongly bounded (with respect to the usual norm in $X '$)?

Some related facts I already know: 1) In a Banach space $X$, weakly bounded sets are strongly bounded and vice-versa (Thm 3.18 - "Functional Analysis", Rudin); 2) From 1, it follows that my question ...
0
votes
1answer
105 views

Two basic questions about topological linear space theory

For a topological vector space(tvs), I'd like to know whether 1.there exist a topological vector space V which is a Hausdorff space but does not satisfies the first countable axiom or 2.there exist ...
6
votes
1answer
273 views

Is Reflexivity Necessary for the Weak and Weak* Topologies to Coincide?

Let $X$ be a normed vector space, not necessarily Banach. Suppose that $X$ is not reflexive, implying the existence of such $\varphi\in X^{**}$ ($X^{**}$ being the double dual of $X$) of that for any ...
2
votes
1answer
48 views

Is there a topological space and meanwhile a linear space such that its vector addition is discontinuous but scalar multiplication is continuous?

The title is the question. Does there exist a topological space and meanwhile a linear space X such that its vector addition operation is discontinuous but scalar multiplication operation is ...
3
votes
1answer
141 views

Extending continuous, densely-defined linear maps between locally convex spaces

Let $X$ and $Y$ be locally convex topological vector spaces, say over $\mathbb{C}$. To set the stage a bit, I'll say that the topology on $X$ is given by a separating family of semi-norms $(p_i)_{i ...
2
votes
0answers
74 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.
1
vote
1answer
80 views

Prove that a set is dense and of the first category in $L^2(T)$

Define the Fourier coefficients $\hat{f}(n)$ of a function $f\in L^2(T)$, $T$ is a unit circle, by: $\hat{f}(n)=\frac{1}{2\pi}\int\limits_{-\pi}^{\pi}f(e^{i\theta})e^{-in\theta}d\theta$ Let ...
2
votes
1answer
89 views

Give an example of Euclidean space.

In the question it is asking what will be if we take out one condition of theorem. $\textbf{Theorem}$: Let {$\phi_{n}$} be orthonormal system in a complete Euclidean Space R. Then {$\phi_{n}$} is ...
2
votes
0answers
62 views
2
votes
0answers
86 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?
0
votes
2answers
98 views

Compactness in Infinite Dimensional Vector Spaces

Show that, in an infinite dimensional normed space $(V,\|\cdot\|)$, the closed ball of radius $2$ $$ B_2:=\{x\in V:\ \|x\|\leq2\} $$ is not compact. I suspect I am not understanding what is going ...
1
vote
1answer
64 views

About the closedness of Banach space

I'm reading a proof in trying to prove that a Banach space $X$ is reflexive if and only if $X^{*}$ is reflexive. There's a point in the proof saying that $X$ is a closed subspace of $X^{**}$, but I ...
3
votes
6answers
301 views

Convex Sets in Functional Analysis?

Why did Bourbaki choose to study convex sets, convex functions and locally convex sets as part of the theory of topological vector spaces, and what is so important about these concepts? I'd like to ...
0
votes
0answers
23 views

A question on a function of bounded semivariation(part 2)

Let $(X,\tau)$ be a Hausdorff locally convex topological vector space and let $P(X)$ be a family of continuous seminorms on $X$ that generates the topology $\tau$. I got the following definition from ...
1
vote
1answer
27 views

Is a function of bounded semivariation bounded?

Let $X$ be a topological vector space and let $f:[a,b]\to X$. We say that $f$ is of bounded semi-variation in $[a,b]$ if the set $SV(f,[a,b])$ consisting of all the elements of the form $$\sum_{i=1}^n ...
1
vote
0answers
132 views

Topology of pointwise convergence - open sets

Let $X$ be the vector space of all complex functions on $[0,1]$, topologized by the family of seminorms $p_{x}(f)=|f(x)|$, $0\le x\le1$. This topology is called the topology of pointwise convergence. ...
0
votes
1answer
76 views

Does a barrel contain a neighborhood of $0$? [closed]

Suppose $X$ is topological vector space which is of the second category in itself. Let $K$ be a closed, convex, absorbing subset (a barrel) of $X$. Prove that $K$ contains a neighborhood of $0$.
1
vote
1answer
72 views

A question on a function of bounded semivariation

Let $(X,\tau)$ be a Hausdorff locally convex TVS and let $P(X)$ be a family of continuous seminorms on $X$ that generates the topology $\tau$. I got the following definition from one of the articles ...
2
votes
1answer
181 views

About open mapping and closed range theorem

I'm self-learning Functional Analysis in Rudin's book and found some following statement hard to understand. Hope someone can help me clarify this. 1) $X, Y$ are Banach spaces, $T \in B(X,Y)$, let ...
2
votes
1answer
298 views

No infinite-dimensional $F$-space has a countable Hamel basis

If $X$ is an infinite-dimensional topological vector space which is the union of countably many finite-dimensional subspaces, prove that $X$ is of the first category in itself. Prove that therefore ...
3
votes
1answer
152 views

Subspaces of a Topological Vector Spaces

I have a few questions about topological spaces which I am currently studying. First some definitions that I am using: Definition of subspace topology: Given a topological space $(X,\tau)$ and a ...