All Questions
448 questions
-1
votes
1
answer
75
views
Finiteness of "novel variance" from a kernel on a compact space [closed]
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, ...
- 8,512
3
votes
1
answer
365
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 ...
- 315
6
votes
2
answers
963
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, ...
- 71
1
vote
1
answer
686
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,835
1
vote
0
answers
331
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 not,...
- 203
2
votes
1
answer
775
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 ...
- 16.4k
4
votes
0
answers
2k
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 ...
- 5,409
2
votes
0
answers
473
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 ...
- 21
3
votes
1
answer
184
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 ...
- 333
4
votes
1
answer
580
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 $...
- 8,512
1
vote
2
answers
410
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 ...
- 388
8
votes
0
answers
6k
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?
- 8,512
21
votes
1
answer
939
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,697
3
votes
1
answer
684
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,835
2
votes
0
answers
136
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|$,
$$
\...
- 1,835
18
votes
2
answers
1k
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 ...
- 43.2k
1
vote
0
answers
83
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 \...
- 8,512
2
votes
1
answer
356
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$ ...
- 21
2
votes
1
answer
245
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 ...
- 8,512
4
votes
1
answer
234
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 $...
- 8,512
6
votes
0
answers
189
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 ...
- 8,512
28
votes
2
answers
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 $x\in\...
- 419
5
votes
1
answer
2k
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 ...
- 8,512
2
votes
2
answers
458
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 ...
- 383
9
votes
1
answer
4k
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: ...
- 203
4
votes
1
answer
1k
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\{ \begin{...
- 798
7
votes
0
answers
2k
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 ...
- 339
2
votes
1
answer
384
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
1
answer
396
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-$*$ ...
- 8,512
15
votes
2
answers
3k
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 ...
- 6,287
4
votes
1
answer
480
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 \...
- 8,512
1
vote
1
answer
353
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 ...
- 8,512
9
votes
1
answer
783
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$ is ...
- 8,512
0
votes
1
answer
208
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 ...
- 9
1
vote
0
answers
275
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 ...
- 11
2
votes
1
answer
891
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 ...
- 8,512
26
votes
1
answer
1k
views
Why are quasitopological spaces needed in sheaf theoretic approaches to the h-principle?
Recently I have been learning more about the h-principle and in particular the methods of "continuous sheaves". In many treatments of this I see people using "quasi-topological spaces" and I am trying ...
- 27.5k
3
votes
0
answers
176
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$?
...
- 8,512
4
votes
2
answers
5k
views
Is $C^{\infty}[0,1]$ or $S$ separable?
I want to know if $C^{\infty}[0,1]$ or $S$ (Schwartz function space) is separable. Can somebody offer me some results or references?
Thank you!
- 231
4
votes
1
answer
520
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,115
5
votes
3
answers
700
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 ...
- 215
1
vote
1
answer
179
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 ...
- 723
4
votes
0
answers
158
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 ...
- 7,249
2
votes
1
answer
637
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$ ...
- 933
3
votes
1
answer
199
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: m(...
8
votes
2
answers
464
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 ...
- 7,249
6
votes
0
answers
322
views
Terminology for notion dual to "support"
If $X$ is a set (feel free to think of it as finite, but it doesn't have to be) and $f$ a real function on $X$, call the support $\operatorname{supp} f$ the subset of $X$ consisting of all elements $i\...
- 21.5k
7
votes
2
answers
2k
views
Arbitrary union of meagre open sets
Let $X$ be a topological space. A subset $M$ of $X$ is called meagre (or of first category) if it is covered by the union of a countable family of closed subsets of $X$ with empty interior.
Can you ...
- 73
7
votes
0
answers
299
views
Generalized Skorokhod spaces
Skorokhod spaces of càdlàg functions are an extremely useful setting to describe stochastic processes. I'd like to understand the Skorokhod topology from a pure topological point of view, without ...
- 8,512
6
votes
2
answers
605
views
$\beta\mathbb{N}$ vs $\beta\mathbb{Z}$
Just started learning the Stone-Cech compactification of discrete groups this week. My motivation comes from a question on $\beta\mathbb{Z}$. Surprisingly, I realized there are muchhhh more literature ...