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

3
votes
1answer
122 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
91 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
96 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
206 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
46 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
91 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
57 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
61 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
78 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
57 views
2
votes
0answers
70 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
88 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
59 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
253 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
18 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
20 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
105 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
71 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
61 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
132 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
172 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
110 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
52 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
63 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
41 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
76 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
55 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
83 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
86 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
86 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
125 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
127 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
67 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
971 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
70 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
42 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
49 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
99 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 ...
3
votes
1answer
401 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
179 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
1answer
111 views

Equicontinuous sequence of linear maps and a closed subspace

I'm having some difficulty with a homework problem regarding Exercise #14 from Chapter 2 of Rudin's $\textit{Functional Analysis}$. (a) Suppose $X,Y$ are topological vector spaces, $\{f_n\}$ is an ...
2
votes
0answers
54 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 ...
3
votes
1answer
82 views

What norm makes $C^\infty[a,b]$ a complete space?

I have been searching for some common norms used on vector spaces of functions but I am not having any luck finding what the most common norm is to use on $C^\infty[a,b]$ More specifically I would ...
-2
votes
1answer
66 views

Are all metric space as a euclidean space?

I believe that all euclidean space is a metric space? But I need to know about inverse? I mean: are all metric space as a euclidean space? Is there any kind of metric space which is not euclidean ...
3
votes
1answer
127 views

Topological vector space with discrete topology is the zero space

Hello i have a question about topological vector spaces. To remind the definition of such a space: A topological vector space is a pair $(X,\tau)$ with $X$ a vector space and $\tau$ a topology on ...
1
vote
1answer
140 views

Exercise involving topological vector spaces, linear maps, and the quotient map

I'm doing a homework problem out of Rudin's $\textit{Functional Analysis}$ which is basically a proof of which I have completed some of it, but I'm not sure about the rest of it. Without further ado, ...