5
votes
0answers
75 views

Is the space of $C^r$ vector fields inducing locally uniformly bounded trajectories Baire?

Let $\mathcal{V}$ be the space $C^r$ vector fields on a non-compact (smooth) manifold $M$. Being a subspace of $C^r(M, T M)$, it inherits the natural $C^r$ topology (i.e. the strong topology) of that ...
0
votes
1answer
44 views

Finiteness of “novel variance” from a kernel on a compact space [on hold]

Let $c(i,i')$ be a kernel function on a reasonable index space $I$. Choose a dense sequence of points $\{i_1, i_2, \cdots \} \subseteq I$, and define the one-point kernel functions $k_n := c(\cdot, ...
1
vote
1answer
153 views

Final topology of surjective linear map on Banach space

Let $L:X\rightarrow Y$ be a surjective linear map from Banach space $(X,||\cdot||_X)$ to vector space $Y$ and denote with $\tau_L$ the final topology on $Y$ induced by $T$. Is $\tau_L$ equivalent ...
4
votes
2answers
128 views

Tightness of Measures, Riesz Representation for locally compact spaces

Let $X$ be a locally compact, separable metric space and $\mu_n$ a sequence of probability measures on $S$. Let $\mathfrak{C}$ be a convergence determining class for the weak topology (for instance, ...
0
votes
0answers
94 views

Krein-Rutman version of Hahn-Banach

Consider an arbitrary set of normed Riesz spaces $(X_i,\Vert \cdot \Vert_i,\leq)$, $i\in I$ ($I$ can be compact). Can I apply the Krein-Rutman version ( see Schaefer; TVS; Corollary 2 of 5.4, ...
0
votes
1answer
59 views

dual space of the quotient space of some locally convex topological space

I would like to a classical result about dual space. Let $E$ be a locally convex space and $F$ its closed linear subspace. If $E^{\ast}$ is the dual space of $E$, could some one affirm me that the ...
1
vote
0answers
84 views

Relationship between weak Lp and strong Lq topologies for q<p

Specificaly: Does convergence in $L^{\frac{1}{2}}$ imply weak $L^2$ convergence? Having a limit in $L^{\frac{1}{2}}$ topology and a limit in weak $L^2$ topology whether these are always equal? If ...
0
votes
0answers
31 views

Sequence of solutions of approximated problem converging to stationary solution of the original problem

Let $I(x)$ be the indicator function defined as $$I(x) \triangleq \begin{cases} 1, & x \geq 0 \\ 0, & x < 0 \end{cases}$$ and let $L(x,\alpha) \in [0,1]$ be a smoothing function that ...
1
vote
1answer
160 views

Tietze's extension theorem for compact subspaces

The topological question: Are there Hausdorff topological spaces $X$ which are compactly generated (=Kelly spaces = $k$-spaces, that is, a subset is closed if its intersection with every compact set ...
2
votes
0answers
117 views

Approximation of continuous functions by Lipschitz functions in the topology of uniform convergence on compact sets

I was involved into this subject when I answered this question from MSE. Trying to generalize my answer, I am thinking about a following Question. Let $X$ and $Y$ be metric spaces. When each ...
2
votes
0answers
141 views

Homeomorphisms between infinite-dimensional Banach spaces and their spheres

As I know Cz. Bessaga has proved that an infinite-dimensional Banach space is homeomorphic to its unit sphere. Unfortunately I do not have his book but I want to know is this theorem true without ...
0
votes
0answers
65 views

What do sparse sets in a norm topology look like in the weak* topology?

I'm wondering if a very "sparse" set in a normed vector space can look connected in the weak* topology. Specifically, Let V be a Banach space, V* its dual, and X a (uncountable) subset of the unit ...
3
votes
1answer
187 views

Density of linear functionals in $L^2$

Let $X$ be a locally convex topological linear space, and let $\mathbb P$ be a probability measure on $X$. Suppose that $\operatorname{var}(\varphi) < \infty$ for all continuous linear functionals ...
1
vote
2answers
199 views

Existence of non-locally constant functions

Given a nondiscrete compact Hausdorff space $K$, does there always exist a real-valued function $f$ on $K$ that is not locally constant? Why/why not? In http://arxiv.org/abs/math/9505204 the authors ...
2
votes
0answers
132 views

Convex hulls of compact sets

Let $A$ be a compact set in a separable Hilbert space $H$, and let $\bar A$ denote its convex hull. Is $\bar A$ compact?
16
votes
1answer
464 views

Is Grothendieck classification of tensor norms and Kuratowski's 14 sets theorem somehow related?

It is known that there are only 14 reasonable tensor norms in $Ban$. On the other hand it is well known fact for topologists that one can obtain only 14 different sets from a given set applying ...
-1
votes
1answer
110 views

Is the countably infinite product of locally convex topological vector spaces locally convex?

Let $(X,\tau)$ be a locally convex topological vector space and denote the product space $$X^{\infty}=X\times X\times X\cdots:=\big\{x=(x_i)_{i\geq 1}:~ x_i\in X\big\}$$ If we endow $X^{\infty}$ ...
1
vote
0answers
67 views

equivalence of topologies defined on $M_1$(a subspace of bounded measures on $\mathbb{R}$)

Let $\mathcal{C}:=\mathcal{C}(\mathbb{R})$ be the space of continuous functions on $\mathbb{R}$ and $\mathcal{C}_b$ its subspace consisting of bounded elements. Define for $\phi(x):=1+|x|$, $$ ...
12
votes
2answers
279 views

compact-open topology on $B(H)$

In topology, it is common to use the compact-open topology on the set of continuous maps between two given topological spaces. Let now $H$ be a Hilbert space and $B(H)$ the set of continuous linear ...
1
vote
0answers
75 views

Topologies on spaces of linear sections

Let $X$ and $Y$ be topological linear spaces which are complete & Hausdorff, and admit dual spaces which separate points. Suppose the topologies are non-separable and non-metrizable. Let $f : X ...
1
vote
1answer
166 views

algebra-geometry duality

For topological spaces $S$ and $T$, denote by $C(S)$ and $C(T)$ the corresponding algebras of continuous real-valued functions. What are the necessary conditions that we need to impose on $S$ and $T$ ...
2
votes
1answer
184 views

Probability measures on $L^p$

Let $(X,\mathcal X,\mu)$ be a fixed measure space, and suppose that $\mu$ is stationary and ergodic with respect to the (left) action of a topological group $G$. Stationarity means that $\mu = g_* \mu ...
4
votes
1answer
141 views

Statistical models in terms of families of random variables

A statistical model is a function $P : \Theta \to \Delta(X)$, where $\Theta$ is a parameter space, and $\Delta(X)$ is the set of probability measures on a state space $X$. Suppose that $\Theta$ and ...
3
votes
0answers
106 views

Pettis Integrability and Laws of Large Numbers

Let $(\Omega, \mathcal F, \mathbb P)$ be a probability space, and let $V$ be a topological vector space with a dual space that separates points. Let $v_n : \Omega \to V$ be a sequence of Pettis ...
0
votes
0answers
54 views

Is there a collectionwise normal topological vector space which is not paracompact?

I am looking for an example of a collectionwise normal topological vector space that is not paracompact. Any idea about it?
0
votes
0answers
55 views

How to construct point finite covering in collectionwise normal spaces

I am actually looking for a related reference (and ideally if anyone knows the answer) on the following construction problem: Let X= $\prod_{i=1,..,n} X_{i}$ be a collectionwise normal and Hausdorff ...
27
votes
2answers
2k views

Dynamical properties of injective continuous functions on $\mathbb{R}^d$

Let $\varphi:\mathbb{R}^d\to\mathbb{R}^d$ be an injective continuous function. Denote by $\varphi_n$ the $n$-th iterate of $\varphi$, i.e. $\varphi_n(x)=\varphi_{n-1}(\varphi(x))$ for all ...
2
votes
1answer
200 views

Dual of the space of continuous functions

Let $T \subseteq \mathbb R$ be a closed set of real numbers. Let $X := C(T, \mathbb R)$ denote the Fr├ęchet space of continuous real-valued functions on $T$. The topology on $X$ is generated by ...
3
votes
2answers
190 views

A Fixed point Theorem that does not need the convexity of set valued map?

I am looking for a fixed point theorem for set valued maps that does not assume the set valued map should be convex valued. Something like contractiblity or other properties can be replaced with ...
0
votes
1answer
255 views

What are some characterizations of the strong and total variation convergence topologies on measures?

I asked this question on StackExchange a few days ago but didn't get any response, so I thought I would try here. The Wikipedia article on convergence of measures defines three kinds of convergence: ...
2
votes
1answer
318 views

Different Metrics for Baire Space and their induced Topologies

The Baire-Space is the set of all infinite sequences of integers, i.e. $$ \mathcal N = \omega^{\omega}. $$ On this space usually the following metric is given $$ d(\alpha, \beta) = \left\{ ...
6
votes
0answers
239 views

Prokhorov's theorem for finite signed measures?

Prokhorov theorem provides a useful characterization of relatively compact sets w.r.t. narrow topology (topology induced by narrow convergence) in the space of probability measure. Notation used ...
2
votes
1answer
165 views

Properties of the weak-$*$ topology

Let $X$ be a topological affine space over a complete base field $\mathbb S := \mathbb C$, $\mathbb R$ or $\mathbb Q_p$. Let $X^*$ be the dual space of continuous affine functionals equipped with the ...
6
votes
1answer
223 views

Does a metric refine the weak-* topology on a dual space?

Let $X$ be a topological affine space over $\mathbb C$, with no additional assumptions. Let $X^*$ denote its dual space of continuous affine functionals $X \to \mathbb C$, equipped with the weak-$*$ ...
9
votes
1answer
576 views

Generalizations of the Tietze extension theorem (and Lusin's theorem)

I am reasking a year-old math.stackexchange.com question asked by someone else. (For my needs every space $X$ and $Y$ will be Polish---that is a completely separably metrizable space.) The Tietze ...
4
votes
1answer
241 views

Isomorphisms between topological vector spaces [closed]

Let $f : X \to Y$ be a continuous map of complete topological vector spaces. Suppose that $A \subseteq X$ and $B \subseteq Y$ are proper, dense linear subspaces, and that the restriction map $f : A ...
1
vote
1answer
194 views

Agreement of two topologies on a linear space

I'm dealing with the formalism of an abstract Wiener space, and I'm not sure if two relevant topologies coincide. Let $X$ be a topological vector space, and let $X^*$ be its dual space of continuous ...
6
votes
1answer
336 views

Topological Generalization of Whitney's Extension Theorem

From Wikipedia: In mathematics, in particular in mathematical analysis, the Whitney extension theorem is a partial converse to Taylor's theorem. Roughly speaking, the theorem asserts that if $A$ ...
0
votes
1answer
172 views

The pth power of a distance function is twice continuously differentiable, for $p>2$?

Suppose $\mathcal{O}$ is an open convex connected strict subset in $\mathbb{R}^n$ and define $\beta(x)=dist(x, \mathcal{O})$, for each $x\in\mathbb{R}^n$. Is $\beta^p$, $p>2$ a twice continuously ...
1
vote
0answers
115 views

Regular Borel Measures equivalent definition

Please help me understand how the below definition is equivalent to the standard definition of regularity which says that a measure is regular if for which every measurable set can be approximated ...
2
votes
1answer
265 views

Riesz representation theorem for vector-valued fields

Let $Q$ be a locally compact Hausdorff space, and let $V$ be a topological vector space. Consider the space $X = C_0(Q, V)$ of $V$-valued fields which vanish at infinity. Let $X^*$ denote the dual ...
3
votes
0answers
148 views

Extending a Hilbert space isometrically

Let $H$ be a Hilbert space, and let $X$ be a topological vector space. Under what conditions on the topologies of $X$ and $H$ does there exist an injective, continuous linear map $f : H \to X$? ...
4
votes
1answer
233 views

Compactly generated Banach spaces

Suppose that $X$ is a Banach space (or more generally, Frechet space) such that $X$ is the closure of the span of a compact (in the original topology) subset $K$. Do we know anything "nice" about $X$, ...
3
votes
3answers
318 views

When is a sequentially closed cone, closed?

The following question I also posed here, but still got no answer. Let $X$ be a locally convex, Hausdorff topological vector space and $C\subseteq X$ a convex cone, which is sequentially closed. What ...
1
vote
1answer
150 views

Measures idempotent with respect to addition and multiplication.

Does there exist a probability finitely additive measure on $\mathbb N$ which is idempotent with respect to addition and multiplication simultaneously? It is known (due to Hindman) that there is no ...
4
votes
0answers
142 views

Does this construction yield an injective hull ?

Let $K$ be an object of $\mathbf{CHaus}$, the category of compact Hausdorff spaces, and $K \xrightarrow{\ \ \sigma \ \ } K$ be an involutory morphism without fixed points. Define $C^{\sigma}(K)$ as ...
1
vote
1answer
405 views

Topological properties of SpecMax(A)

We consider $A = C_{b}(X)$, the ring of continuous bounded functions on a completely regular space $X$. Let $\DeclareMathOperator{\SpecMax}{SpecMax} \SpecMax(A)$ be the set of maximal ideals of $A$ ...
-2
votes
1answer
658 views

a question about algebras between $C^{\ast}(X)$ and $C(X)$ [closed]

Let $X$ be a completely regular space, and $C(X)$ be the algebra of all real-valued continuous functions on a completely regular space $X$,and $C^{\ast}(X)$ is the subalgebra of bounded functions.and ...
3
votes
1answer
161 views

Is P(X) a connected set for a set X with a $\sigma$-algebra P(X) and a measure function m on it to [0,$\infty$] when P(X) is equiped with meter d, that for every A,B in P(X), $d(A,B)=m(A \Delta B)$?

look at Problem14.12 of chapter3 of "Aliprantis-Burkinshaw-Principles of real analysis-3ed.1998" ; 12. Let A be the collection of all measurable subsets of X of finite measure. That is, A = {B in X: ...
7
votes
2answers
287 views

Direct proof of “K is projective iff C(K) has the Hahn-Banach property” ?

An object $X$ of a given category is called projective if for each morphism $f : X \rightarrow Z$, and each epimorphism $ g : Y \twoheadrightarrow Z$, there is a morphism $h : X \rightarrow Y$ such ...