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

2
votes
3answers
81 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, ...
5
votes
0answers
33 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
39 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
100 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
73 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
94 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
179 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
45 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
63 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
55 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
49 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
72 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
49 views
2
votes
0answers
65 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
79 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
50 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
87 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? ...
0
votes
0answers
17 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
18 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
83 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. ...
-1
votes
1answer
67 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
59 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
95 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 ...
0
votes
1answer
137 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
96 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 ...
1
vote
1answer
47 views

In the proof the proving duality of topological vector space

I find hard to understand the proof for this theorem. Hope that some one can help me to clarify this. Thanks Suppose $X$ is a vector space and $X'$ is a separating space of linear functionals on ...
1
vote
1answer
48 views

About the continuity of a function in the closed graph theorem proof

I'm reading Functional Analysis book of Rudin, and in the proof of the closed graph theorem, there's one point that I don't understand. Can someone please explain it to me? I really appreciate this. ...
4
votes
1answer
35 views

Question about the continuity property of a function in topological vector space

I'm reading Functional Analysis book of Walter Rudin, and there's one point in this book that I don't know why he states that. Here is the statement: $f$ is a linear mapping from F-space $X$ into ...
2
votes
1answer
75 views

There exists function sequence $\{f_{n}\}$ converges to $0$ such that $\{a_{n}f_{n}\}$ not converges to $0$

Let $X$ be the vector space of all complex functions on the unit interval $[0,1]$, topologized by the family of seminorms $$p_{x}(f) = |f(x)|, \quad (0 \le x \le 1).$$ Show that there exists a ...
0
votes
1answer
52 views

Tempered fundamental solutions

According to the Malgrange–Ehrenpreis theorem every nontrivial linear constant coefficient PDO $P(\partial)$ admits a fundamental solution $E\in\mathscr{D}'$; I wonder whether $P(\partial)$ admits a ...
2
votes
1answer
68 views

Measure-valued maps equal a.e. if their integrals equal over any set

Let $X,Y$ be two standard Borel spaces and let $p,q:X\to\mathcal P(Y)$ be two stochastic kernels, which can be alternatively seen as measure-valued maps. Suppose that for some measure $\mu\in \mathcal ...
0
votes
2answers
76 views

Example of a sequence of functions

Construct an example of a sequence of functions $(f_n)$ defined on $[0,1]$ such that $f_n$ converges pointwise to $0$ and for every sequence of numbers $(a_n)$ that tends to $\infty$, sequence ...
1
vote
1answer
75 views

Question on the proof that $C(\Omega)$ is a Frechet space

I am using Rudin's book on Functional Analysis. I am studying the proof that the space $C(\Omega)$ of continuous functions on an open set $\Omega \subseteq \mathbb{C}$ is a Frechet space. I ...
1
vote
1answer
103 views

is the vector space $\mathbb{R}^\mathbb{N}$ locally compact?

is the vector space $\mathbb{R}^\mathbb{N}$ locally compact? for example, let $x=(x_1,x_2,....)$ any point of $\mathbb{R}^\mathbb{N}$ and let $V=[x_1-\epsilon,x_1+\epsilon] \times ...
0
votes
1answer
60 views

Proof details for the first theorem in functional analysis

The Proof details for the first theorem in functional analysis is given in this website: I have one questions for the proof of lemma 5 given here. (1) Why this claim hold? from equality $0+0=0$ ...
3
votes
1answer
71 views

In a topological vector space, show if $A$ and $B$ are bounded, then $A + B$ is bounded?

I get as far as this before I am stuck: Pick any neighbourhood of $0$ and call it $U$. Then there exists $a, b$ such that $A \subseteq aU$ and $B \subseteq bU$. So hence $ A + B \subseteq aU+bU$. ...
3
votes
2answers
107 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 ...
3
votes
1answer
63 views

Constructing a closed, convex subset of $X^{\ast}$ that is not weakly-* closed

I'm asked to show that if $X$ is a non-reflexive Banach space, there exists (norm) closed and convex subsets of $X^\ast$ that are not $w^{\ast}$-closed. In other words, there's no analogue of Mazur's ...
3
votes
1answer
658 views

Sum of closed and compact set in a TVS

I am trying to prove: $A$ compact, $B$ closed $\Rightarrow A+B = \{a+b | a\in A, b\in B\}$ closed (exercise in Rudin's Functional Analysis), where $A$ and $B$ are subsets of a topological vector space ...
3
votes
0answers
54 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 ...
0
votes
1answer
63 views

How can we ensure that a space is a subset of locally convex topological space?

I am looking for fast ways to ensure that a given set is a subset of topologically locally convex space. I have already read the posts post1:seminorms-in-locally-convex-spaces, ...
2
votes
1answer
39 views

Notions of topological spaces and matrices

How can I show that: For all $r>0$, exists $A$ nonsingular matrix, such that $B_r(A)\subseteq GL_n(\mathbb{C})$ For all $A\in GL_n(\mathbb{C})$ and for all $r>0$, there exists $\alpha>0$ ...
3
votes
0answers
45 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 ...
0
votes
2answers
20 views

if $v$ is a member of $H$ and $v$ is not a member of $M$ then $u$ is member of $K$. How is this possible?

Let $(V,K)$ and $u,v$ is a member of $V$. Suppose that $M$ is a subset of $V$ is a subspace of $V$ with basis $B_m=\{m_1,...,m_r\}$ with $r$ less than and equal to $n$. Let $H$ be a subspace spanned ...
5
votes
1answer
92 views

Dual of a topological vector space. Is it nontrivial?

In the case of normed spaces we know their duals are nonempty using a quick application of the Hahn Banach Theorem. If we step back to the larger class of locally convex spaces, an enthralling ...
1
vote
0answers
14 views

Seminorm topology on $C^{\infty}(\Omega)$ and proof of continuity [duplicate]

Let $\Omega\subset\mathbb{R}^n$ be open and $\Omega\neq\varnothing$ and suppose we have the Fréchet topology on $C^{\infty}(\Omega)$ (this can be obtained by the topology construction from out ...
0
votes
0answers
29 views

On function of bounded semi-variation

The following ideas were taken from the article of DUCHON, entitled "On Vector Measures and Distributions." Definition. Let $X$ be a locally convex space whose topology is generated by a family $P$ ...
3
votes
1answer
316 views

proving that $SO(n)$ is path connected

Our professor gave us exercise to show that $G=SO(n,\mathbb R)$ is path connected. He gave some hints, using them I have come upto this far: I have shown that $SO(n)$ acts on $S^{n-1}$ transitively ...
2
votes
1answer
170 views

Why are the Differential- and multiplication mapping on $C^{\infty}(\Omega)$ continuous?

Let $\Omega\subset\mathbb{R}^n$ be open and $\Omega\neq\varnothing$ and suppose we have the Fréchet topology on $C^{\infty}(\Omega)$ (this can be obtained by the topology construction from out ...
0
votes
0answers
56 views

An Extended Definition of Function of Bounded Variation

I am trying to formulate a definition of function of bounded variation in the setting of locally convex spaces. This is what I've tried. Definition. Let $X$ be a locally convex space whose topology ...