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
27 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
43 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: ...
0
votes
0answers
21 views

Linearly compact subspace is closed

Let $V$ be a vector space with a linear topology, meaning open linear subspaces form a basis of open neighborhoods of $0$. Recall that a subspace $W$ is called linearly compact if for any open ...
1
vote
2answers
31 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 :) ...
2
votes
0answers
8 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 ...
0
votes
1answer
27 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
29 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 ...
3
votes
1answer
470 views

How to plot N points on the surface of a D-dimensional sphere roughly equidistant apart?

Let's say I have a D-dimensional sphere with a radius R. I want to plot N number of points evenly distributed (equidistant apart from each other) on the surface of the sphere. It doesn't matter where ...
2
votes
1answer
50 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
0answers
25 views

Some fundamental relations in topology

Are the following relations correct? $\ \{ Normed\, Vector\, Spaces\} \subset \{Topological\, Vector\, Spaces\} \subset \{Uniform \,Spaces\} \subset \{Topological\, Spaces\}$ Then $\ \{Normed\, ...
3
votes
1answer
54 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
23 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
0answers
20 views

Convex in $ \mathbb{R^n}$

Prove that: [A be a convexe part $(A\subseteq \mathbb{R^n})] \implies [\forall x_1,x_2,...x_n\in A ,\forall\alpha_1,\alpha_2,...\alpha_n\ge0 $ $with$ $ \ \alpha_1+\alpha_2+...+\alpha_n=1 ...
0
votes
4answers
60 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 ...
2
votes
2answers
146 views

Why Strongly Continuous Representations?

When working with not-necessarily-finite-dimensional representations, the topology on $GL(V)$ makes a difference. My experience has been that usually people require that the representation $\pi ...
2
votes
3answers
74 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, ...
0
votes
1answer
46 views

Every Bounded set contained in a Compact set

In a general metric space, is every bounded set contained in a compact set?
7
votes
1answer
380 views

Contractibility of convex set

Suppose that $\Omega$ is a convex open subset of an infinite dimensional vector space $E$ such that $\Omega$ is not contained in any finite dimensional subspace of $E$. Let $Q_m\subset \Omega$ denote ...
0
votes
0answers
34 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 ...
0
votes
0answers
46 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) ...
1
vote
0answers
28 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
22 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 ...
18
votes
1answer
313 views

Learning Aid for Basic Theorems of Topological Vector Spaces in Functional Analysis

I am self-teaching myself the basics of functional analysis (e.g. topological vector spaces), and frankly I am starting to get a migraine sorting out/organizing in my head all of the ...
4
votes
0answers
28 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
28 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
80 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
52 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
76 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 ...
2
votes
0answers
57 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?
-1
votes
1answer
43 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
119 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?
5
votes
0answers
29 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
29 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
2answers
417 views

Meaning of “a mapping preserves structures/properties”

Sometimes I see something like "a mapping preserves the structures of its domain and of its codomain". From Wiki about morphisms in category theory: a morphism is an abstraction derived from ...
3
votes
1answer
79 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
52 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
86 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
71 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
43 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
44 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
52 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
40 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 ...
1
vote
3answers
269 views

Nonconstant linear functional on a topological vector space is an open mapping

In the middle of another proof (Theorem 3.4, p. 60) in his Functional Analysis book, Rudin says that "every nonconstant linear functional on $X$ (topological vector space) is an open mapping." Is ...
2
votes
1answer
67 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
1answer
136 views

Simple Continuity Question concerning Vector Bundles

I'm a bit confused about the following part in Sir Michael Atiyah's "K-Theory." Let $E = X \times V$ and $F = X\times W$, and let $\phi: E\to F$ be a vector bundle homomorphism. Why is the induced ...
3
votes
2answers
99 views

How to prove in a topological vector space: cl(A) + cl(B) is a subset of cl(A+B), where cl denotes closure?

I'm not sure where to really proceed. My process is as follows. Take any $x \in cl(A)+cl(B)$. Assume for a contradiction that $x \notin cl(A+B)$. Then there exists an open set $U$ such that $ x \in ...
0
votes
2answers
71 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
46 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 ...
2
votes
2answers
75 views

Convex Sets in Functional Analysis?

Why is it that convex sets and convex functions are a) so important & b) so intrinsically related to functional analysis as to deserve an entire chapter in Bourbaki's topological vector spaces? ...