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
0answers
198 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
1answer
336 views

Extreme boundary of a compact, convex, metrizable set is $G_\delta$

Let $X$ be a topological vector space (no assumptions about local convexity are made in the question, though I am worried they might be required). Suppose $K\subset X$ is a compact, convex, metrizable ...
1
vote
0answers
71 views

When is the orbit of a vector a minimal sequence? When does an operator have a minimal orbit vector?

Let $X$ be a banach space. We say a sequence $(x_n)$ is minimal if for each $k$, $x_k\notin [x_n]_{n\neq k}$, where $[x,y,z,\cdots]$ is the closed linear span of the vectors. For ...
6
votes
2answers
320 views

Local base of a topological vector space

I would like to prove that if $B$ is local base for a topological vector space $X$, then every member of $B$ contains the closure of some member of $B$. I would appreciate if somebody can guide me ...
2
votes
1answer
135 views

Limit on a topological vector space

in the Wikipedia article on Gâteaux derivative , the limit of a function between two topological vector spaces is taken. How is the limit defined on a topological space for a function ? I find ...
2
votes
2answers
312 views

First theorem in Topological vector spaces.

I came across this theorem and I am disappointed not being able to understand or to have intuition to understand it . I would be glad to get help . Theorem : If $K$ and $C$ are subset of topological ...
1
vote
1answer
76 views

Are seminorms convex and a question on local base?

How can I prove that seminorms are convex? Another question is that, when we talk about topological vector spaces, why do we emphasise neighborhoods about $0$? As far as I know, if we know the ...
0
votes
1answer
236 views

$X^*$ with its weak*-topology is of the first category in itself

Let $X$ be an infinite-dimensional Fréchet space. Prove that $X^*$,with its weak*-topology is of the first category in itself.
0
votes
0answers
80 views

Finding point distribution by eigen vectors

First of all I want to tell that my mathematics is poor, so I can’t use correct terms. Sorry for that. I have a point data set. This data represents some cylindrical objects surfaces (not exactly ...
4
votes
1answer
136 views

Connected components that are relatively open in $\sigma(T)$

Let $T$ be an bounded linear operator on a Banach space $X$. Suppose the spectrum of $T$, $\sigma(T)$ has infinitely many connected components, then $\sigma(T)$ must contain infinitely many ...
0
votes
2answers
263 views

Vector Analysis & Linear Algebra

I'm given a positive number, a unit vector $u \in \mathbb{R} ^n $ and a sequence of vectors $ \{ b_k \} _{ k \geq 1} $ such that $|b_k - ku| \leq d $ for every $ k=1,2,...$. This obviously implies $ ...
1
vote
2answers
181 views

Closure of a nontrivial normed vector subspace that is equal to the whole space

Can you show me an example of a normed vector subspace $S$ strictly included in a normed vector space $V$ whose closure is equal to the whole $V$?
1
vote
1answer
588 views

Weak *-topology of $X^*$ is metrizable if and only if …

Let $X$ be a topological vector space on which $X^*$ separates points. Prove that "the weak *-topology of $X^*$ is metrizable if and only if $X$ has a finite or countable Hamel basis"? (A set $\beta$ ...
8
votes
1answer
266 views

Do the notions of weak and weak* convergence coincide for $\ell^1(\mathbb{N})$?

As my friends and I were studying for our real analysis final exam yesterday, we were playing with various examples and found ourselves asking this question: The space $\ell^1(\mathbb{N})$ is the ...
20
votes
3answers
2k views

When do weak and original topology coincide?

Let $X$ be a topological vector space with topology $T$. When is the weak topology on $X$ the same as $T$? Of course we always have $T_{weak} \subset T$ by definition but when is $T \subset ...
1
vote
1answer
104 views

Topological fields questions

From Wikipedia: "Let $K$ be a topological field, namely a field with a topology such that addition, multiplication, and division are continuous. In most applications $K$ will be either the field of ...
7
votes
2answers
4k views

The kernel of a continuous linear operator is a closed subspace?

If $V$ and $W$ are topological vector spaces (and $W$ is finite-dimensional) then a linear operator $L\colon V\to W$ is continuous if and only if the kernel of $L$ is a closed subspace of $V$. ...
0
votes
1answer
1k views

Must a complete space be locally compact?

There are two versions of second category space: one is complete metric space, the other is locally compact space. As we know, an open interval is locally compact but not complete. But how about the ...
3
votes
0answers
98 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 ...
6
votes
1answer
735 views

Generic topology on a vector space?

For a (possibly infinite-dimensional) vector space $V$, I thought about the following topology $\tau$: Let $O \in \tau$ if every $x \in O$ has the property that for every $v \in V$, there is an ...
0
votes
1answer
148 views

How is the topology on a vector space induced from its base field $\mathbb{R}$?

I don't remember where on this site, but I vaguely remember seeing that for a vector space with its base field being $\mathbb{R}$ (or more generally, a topological field?), there can be a natural ...
0
votes
2answers
196 views

Does “two topological vector spaces in duality” means they are each other's continuous dual?

When saying two topological vector spaces $E$ and $F$ are in duality, does it mean that they are each other's continuous dual, i.e. $E = F^*$ and $F=E^*$, or just that one is the other's continuous ...
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
186 views

Are topological vector spaces completely regular?

Every uniformizable space is a completely regular topological space. topological vector spaces are uniform spaces. every Hausdorff topological vector space is completely regular. From ...
1
vote
2answers
163 views

Completability of a uniform space, metric space and topological vector space?

From Wikipedia In particular, topological vector spaces are uniform spaces and one can thus talk about completeness, uniform convergence and uniform continuity. (This implies that every ...
1
vote
2answers
285 views

“A linear operator $f$ is continuous if $f(V)$ is bounded for some neighborhood $V$ of $0$.”

From Wikipedia a linear operator $f$ between two topological vector spaces is continuous if $f(V)$ is bounded for some neighborhood $V$ of $0$. I wonder why it is true? If I understand ...
5
votes
3answers
260 views

Boundedness in a topological space?

I was wondering if there is a concept of boundedness for subsets of a topological space? If yes to 1, is it this one from Wiki Elements of a Bornology B on a set X are called bounded sets and the ...
3
votes
1answer
806 views

Definition of locally convex topological vector space

From Wiki A locally convex topological vector space is a topological vector space in which the origin has a local base of absolutely convex *absorbent* sets. Also from Wiki Locally ...
3
votes
3answers
555 views

Metric linear space and locally convex topological vector space

I was wondering which one is more general, metric linear spaces or locally convex topological vector spaces? Is a metric linear space a locally convex topological vector space? Vice versa? In terms ...
4
votes
2answers
255 views

“The two notions of boundedness coincide for locally convex spaces”

From Wiki The boundedness condition for linear operators on normed spaces can be restated. An operator is bounded if it takes every bounded set to a bounded set, and here is meant the more ...
3
votes
2answers
589 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 ...
1
vote
1answer
760 views

Continuous linear mapping and bounded subsets

Continuous linear mappings between topological vector spaces preserve boundedness. I was wondering if it means that the inverse image of a bounded subset under a continuous linear mapping is ...
13
votes
2answers
5k views

“Every linear mapping on a finite dimensional space is continuous”

From Wiki Every linear function on a finite-dimensional space is continuous. I was wondering what the domain and codomain of such linear function are? Are they any two topological vector ...
1
vote
0answers
45 views

A subset that can be scaled to be the whole space, or that can contain a scaled version of the whole space

The following is from Mariano's comments on my earlier question In a topological vector space, why is the following true: if a neighborhood U of zero contains a scaled copy of the whole space, ...
2
votes
3answers
456 views

Why is boundedness defined so differently in a topological vector space and in a metric space?

From Wikipedia A subset S of a metric space (M, d) is bounded if it is contained in a ball of finite radius Also from Wikipedia a set in a topological vector space is called bounded or von ...
2
votes
1answer
475 views

Are operator and mapping the same concept?

I was wondering what differences and relations are between a mapping and an operator generally? For topological vector spaces or functional analysis, it seems like an operator and a mapping are the ...
9
votes
1answer
893 views

The dual of a Fréchet space.

Let $\mathcal{F}$ be a Fréchet space (locally convex, Hausdorff, metrizable, with a family of seminorms ${\|~\|_n}$). I've read that the dual $\mathcal{F}^*$ is never a Fréchet space, unless ...
4
votes
1answer
413 views

Constructing a countable family of seminorms in a metrizable LCS.

Here's some context before my question. Let $\mathbb{V}$ be a topological vector space, which is Hausdorff and such that its topology is generated by some arbitrary family of seminorms ...
1
vote
1answer
429 views

How to get a projected 3d line segment, lie on another 3d line parallel to that line segment.

I have a 3D line segment and another 3D position which locate slightly away from the line segment. I want to get the projected line segment (3D) which lies on imaginary 3D line which passes through ...
4
votes
1answer
163 views

Question about using continuity of a seminorm

I almost have a homework problem solved but I've used a claim that might be dubious. The setting is this: Let $(V,Q)$ be a locally convex space ($Q$ is the family of seminorms inducing the topology ...
1
vote
1answer
293 views

Relationship between Convergence and Open sets

If you show that convergence of nets in a topological vector space $V$ with topology $\tau$ is equivalent to convergence of nets in a topological vector space $V$ With topology $\sigma$, does it ...
2
votes
1answer
601 views

Continuity of Minkowski functional

I'm working through a proof and the setting is that I have a convex, balanced, open subset $U$ of a topological vector space $V$. The claim that I can't verify is made briefly: the Minkowski ...
10
votes
1answer
840 views

Hahn-Banach theorem: 2 versions

I have a question regarding the Hahn-Banach Theorem. Let the analytical version be defined as: Let $E$ be a vector space, $p: E \rightarrow \mathbb{R}$ be a sublinear function and $F$ be a subspace of ...
10
votes
1answer
225 views

Is the standard structure of a topological vector space on reals unique?

The standard stucture of a topological vector space on reals is this given by the metric d(x,y)=|x-y| on the vector space $\mathbb{R},$ with the field of scalars $\mathbb R$ with standard topology. I ...
2
votes
1answer
104 views

How can I verify the topology of locally convex vector spaces induced by seminorms is closed under unions?

The definitions I am using are as follows: A vector space $V$ equipped with a family $P$ of semi-norms such that $\cap_{p\in P}\{x\in V : p(x) = 0\} = \{0\}$ is called a locally convex vector space. ...
9
votes
3answers
697 views

Do continuous linear functions between Banach spaces extend?

Just wondering... Let $E$, $G$ be Banach spaces, let $U\subset E$ be a subset of $E$, and let $f:U\rightarrow G$ be a continuous linear function. Can $f$ be extended to a continuous linear function on ...
3
votes
0answers
107 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 ...
2
votes
1answer
261 views

Definition of boundedness in topological vector spaces

From Wikipedia: Given a topological vector space $(X,τ)$ over a field $F$, $S$ is called bounded if for every neighborhood $N$ of the zero vector there exists a scalar $α$ so that $$ S ...
8
votes
1answer
579 views

Sequential and topological duals of test function spaces

Given a test function space, in particular $\mathcal{S}=\mathcal{S}(\mathbb{R}^n)$ (the Schwartz space) or $\mathcal{D}=\mathcal{D}(\mathbb{R}^n)$ (the space of compactly supported smooth test ...
3
votes
0answers
451 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 ...