All Questions
448 questions
4
votes
1
answer
174
views
A map into a Hilbert space with prescribed orthogonality
Let $X$ be a locally compact separable metric space, and let $L:X\times X\to \mathbb{C}$ be continuous and such that $L(x,x)=1$ and $L(y,x)=\overline{L(x,y)}$, for every $x,y$.
Does there always ...
- 5,529
4
votes
1
answer
224
views
Bounded growth of functions vs bounded growth of functions on countable sets
I am wondering if the boundedness of growth can be characterized by sequences. I am not sure if I use the term "growth" correctly, or use the correct tags for this question. Here is what I mean.
Let $...
- 5,529
4
votes
1
answer
574
views
Criterion for weak convergence of sequences
Let $E$ be a normed space and let $F\subset E^{*}$. It is known that $F$ is dense if and only if the restriction of $\sigma(E,F)$ on $B_E$ coincides with the weak topology.
Hence, if $F$ is dense and ...
- 5,529
4
votes
1
answer
394
views
Separable Lindelöf locally convex spaces that are not second-countable
A Lindelöf space is a topological space in which every open cover has a countable subcover.
Does there exists a Lindelöf locally convex space which is not second countable?
I am also looking for a ...
- 4,058
4
votes
1
answer
376
views
Is the topological dual of a Banach space weakly* closed in its algebraic dual?
The question is completely contained in the title :)
I can only add, that it is not difficult to give a counterexample for normed spaces, and also Banach-Steinhaus theorem implies the sequential ...
- 5,529
4
votes
1
answer
86
views
Approximation of multipliers by multipliers of a smaller set
Let $X$ be a compact metric space, and let $B$ be a convex balanced bounded set in $C(X)$ such that for every $x\in X$ there is $f\in B$ with $f(x)\ne 0$.
Let $M=\{u\in C(X),~ uf\in B,~\forall f\in B\...
- 5,529
4
votes
1
answer
107
views
Hereditary Lindelöfness in $C_p$-spaces
Let $X$ be a (infinite) separable topological space and consider $C_p(X)$, the space of continuous functions on $X$ endowed with the point-wise convergence topology.
Q. I am looking for ...
- 4,058
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
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
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
4
votes
1
answer
4k
views
Weak compactness and weak sequential compactness in Banach spaces
If $E$ is a Banach space, $A$ is a subset of $E$ and is compact with the weak topology $\sigma(E,E')$, that is the most coarse topology which make every $f\in E'$ continuous, is it true that $A$ is ...
4
votes
1
answer
228
views
Haar-null union of dense subsets
Let $\{X_i\}_{i \in \mathbb{R}-\{0\}}$ be a set of subsets of a separable infinite-dimensional Fréchet space $X$ and $I$ be uncountable. Moreover, suppose that
(Dense $G_{\delta}$) $X_i$ is a dense ...
- 63
4
votes
1
answer
122
views
Approximation of sets by sets with regular border
What kind of conditions on a (bounded) set $E \subset \mathbb{R}^{n}$ ensure that it can be approximated from outside/inside by sets with regular border (say Lipshitz or $C^{k}$ conditions) in the ...
- 321
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
4
votes
1
answer
178
views
Compact-open Topology for Partial Maps?
I asked the same question on MathStackExchange a month ago and received no answer. I feel that this would be more suitable for MathOverflow.
Compact open topology is one of the most common ways of ...
- 1,093
4
votes
1
answer
202
views
A problem on Demailly's proof of finiteness theorem of elliptic differential operator
I am reading Demailly's notes on pseudodifferential operators on manifolds. And I cannot understand a statement he had made when he tried to prove that the image of an elliptic differential operator ...
- 206
4
votes
1
answer
140
views
Whether a functional which preserves maximum for comonotone functions is monotone?
Let $X$ be a compactum (compact Hausdorff space). By $C(X,[0,1])$ we denote the space of continuous functions endowed with the sup-norm We also consider the natural lattice operations $\vee$ and $\...
- 61
4
votes
1
answer
121
views
Condition for existence of a continuous function realizing a partition
Let $\{U_i\}_{i=1}^{I}$ be a non-empty and finite collection of non-empty, disjoint, open, (and obviously bounded) subsets of $[0,1]^n$. Suppose also that $[0,1]^n=\cup_{i =1 }^{ I} \overline{U_i}$. ...
4
votes
1
answer
167
views
Consider a net of weak order units in a Riesz space converging in order to a weak order unit. Is there a tail whose infimum is a weak order unit?
Let $X$ be an extremally disconnected (the closure of an open set is open) compact Hausdorff space, and consider the Riesz space $C^\infty(X)$ of continuous functions from $X$ to the extended real ...
- 633
4
votes
1
answer
243
views
Choosing a convergent sub-sequence from a sequence of bi-Lipschitz homeomorphisms
Let $X,Y$ be two compact metric spaces. Suppose there is a sequence of bi-Lipschitz homeomorphisms $f_n: X\to Y$, and $c\in(0,1]$, satisfying
$$c\cdot d(x_1,x_2)\le d(f(x_1),f(x_2))\le \frac{1}{c}\...
- 14.3k
4
votes
1
answer
210
views
Sequentiality of largest vector topology
I know that the largest vector topology on countable dimensional vector space is sequential (i.e. every sequentially closed set is closed). Does it keep for the arbitrary vector space?
In countable ...
- 105
4
votes
2
answers
558
views
Is a specific sequentially closed subset of $M([0,1])$ closed?
Let $M([0,1])$ be the set of finite signed measures on $[0,1]$
(with the topology generated by the sets $\left\{ \mu \in M([0,1]) : \left| \int f(x) \mu(dx)- a\right| \leq \delta\right\}$ for all $\...
- 95
4
votes
1
answer
243
views
When is Prim(A) of an infinite discrete group hausdorff ?
Does anyone know, if the following result has been proved ?
Let G be an infinite discrete group. A = L1(G) it's algebra and Prim(A) the set of prime ideals with spectral topology.
The result is :
...
- 41
4
votes
1
answer
720
views
Are coordinate functionals on complete vector spaces always continuous?
(I'm just adding the completeness condition to $V$ from this 2 month old question of mine, because I realized it's relevant to whether Bill Johnson's answer to this 4 month old question of mine ...
user5810
4
votes
2
answers
335
views
If $\Omega$ is locally Lipschitz, then $\Omega = \bigcup_{k = 1}^N \Omega_k$ for $\Omega_k$ star shaped with respect to an open ball $B_k$
I am reading Galdi's Introduction to the mathematical theory of Navier Stokes equations and there is an argument which comes up quite often that I really don't understand.
In many theorems of Chapter $...
- 452
4
votes
1
answer
558
views
Weak topology on a pre-Hilbert Space
Since there was essentially no answers on my previous question, I will ask a partial case of it, which is very easy to state.
Let $\left(X,\left<\cdot,\cdot\right>\right)$ be an inner product (...
- 5,529
4
votes
1
answer
1k
views
A boundary-preserving map on the unit disk
We are given a (closed) ball $D^n$ and a (continuous) map $f: D^n \to D^n$, that is identity on the boundary of $D^n$.
Let $C$ be a subset of $D^n$, and let $f^{-1}(C)$ be the inverse image of $C$ ...
- 41
4
votes
0
answers
108
views
Larger possible chain of closed subspaces in the dual of a Banach space
In this question, is demonstrated that a separable space can have a chain (ordered by inclusion) of closed subspaces with uncountable many subspaces.
My question is the following. If $X$ is an ...
- 153
4
votes
0
answers
119
views
Is the range of a probability-valued random variable with the variation topology (almost) separable?
Let $X$ and $Y$ be uncountable Polish spaces, $\Delta(Y)$ be the space of Borel probability measures on $Y$ endowed with the Borel $\sigma$-algebra induced by the variation distance, and let $g:X\to \...
4
votes
0
answers
152
views
Maximally fine topologies on $B(H)$ making the unit ball compact
Let $H$ be a Hilbert space, and $B(H)$ its algebra of bounded operators. One of the reasons the Ultraweak topology is (in a way) more useful than the weak operator topology is that the Ultraweak ...
- 190
4
votes
0
answers
263
views
Is there a notion of „flatness” in point-set topology?
In algebraic geometry, flat morphisms are usually associated with the intuition that they have „continuously varying fibers”. Is there a notion in topology formalizing the same intuition? Consider for ...
- 1,153
4
votes
0
answers
81
views
The least distance of $f\in\ell_\infty(K,X)$ to $C_b(K,X)$
Let $K$ be a paracompact space and consider a bounded function $f:K\to\mathbb R$ not necessarily continuous, that is, $f\in\ell_\infty(K,\mathbb R)$. It's a well-known fact that the least distance of $...
- 563
4
votes
0
answers
105
views
Borel selections of usco maps on metrizable compacta
The problem posed below is motivated by this problem of Chris Heunen and in fact is its reformulation in the language of usco maps. Let us recal that an usco map is an upper semicontinuous compact-...
- 41.9k
4
votes
0
answers
115
views
point-wise approximation of the identity in hereditary Lindelof spaces
Let $X$ be a topological vector space. Assume that there exists a sequence of finite range measurable functions $\phi_n:X\to X$ with $\lim\phi_n(x)=x$.
Q. Can we concluded that $X$ is hereditery ...
- 4,058
4
votes
0
answers
143
views
A point concerning Fremlin's example on Borel sets in non-separable Banach spaces
Let $E$ be a Banach space. Let us consider the following three sigma algebras on $E$.
$~~~~\mathcal{B}$= The $\sigma$-algebra coming from the norm topology.
$~~\mathcal{M}$= The sigma algebra ...
- 4,058
4
votes
0
answers
502
views
Every convex sequentially closed set is closed
Let $X$ be a vector space. A vector (not necessarily Hausdorff) topology on $X$ will be called convex sequential if every convex sequentially closed subset of $X$ is closed.
Is there some description ...
- 105
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
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
3
votes
2
answers
2k
views
Can every real function be approximated with a Riemann-integrable one with any precision required?
Is there some proof that Riemann-integrable functions are dense in the space of all real functions?
In a sense that for every real function $f$ and number $\varepsilon>0$, there is Riemann-...
- 117
3
votes
4
answers
514
views
Better terminology than "equivalence class of functions"
Let $X = C(\mathbb R)$ be the Fréchet space of real-valued continuous functions. For each $f \in X$ and each compact set $D \subseteq \mathbb R$, let $$[f]_D = \{ g \in X : \mbox{$g(t) = f(t)$ for ...
- 8,512
3
votes
2
answers
306
views
Smoothing a map $f:X\to \mathbb{R}$ while fixing it over a closed $C\subset X$
$\newcommand{\R}{\mathbb{R}}$I have a map $f\in C^0(X,\mathbb{R})$, where $X$ is a compact and Hausdorff topological space, which is a manifold outside of a compact subset $K\subset X$.
I would like ...
- 2,533
3
votes
2
answers
200
views
Surjection in compact-open topology [closed]
Let $Z$, $X$ and $Y$ be topological spaces and let $f:X\to Y$ be a continuous surjection then is the induced map $g \to f\circ g$ from $C(Z,X)$ to $C(Z,Y)$ is continuous. But is it still a surjection?...
- 5,405
3
votes
2
answers
265
views
Ultraweak topology in abelian von Neumann algebras
Let $A$ be an abelian von Neumann algebra acting on the (not necessarily separable) Hilbert space $\mathcal{H}$ (with identity $I$). From the Gelfand-Neumark theorem, there is a compact Hausdorff ...
- 159
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
3
votes
1
answer
298
views
Pointwise convergence and disjoint sequences in $C(K)$
Let $K$ be a Hausdorff compact space and let $C(K)$ be the space of continuous real-valued functions on $K$. A sequence $(h_n)$ in $C(K)$ is called almost disjoint if there is a sequence $(g_n)$ with ...
- 5,529
3
votes
1
answer
241
views
$\int_0^1 f(\sin(1/x)) \times g(\cos(1/x)) dx \leq \int_0^1 f(\sin(1/x)) dx \times \int_0^1 g(\cos(1/x))dx? $
I have noticed experimentally that the following question has a positive answer.
Is it true that for all even and convex functions $f$, $g$:
$$\int_0^1 f(\sin(1/x)) \times g(\cos(1/x)) dx \leq \int_0^...
- 4,074
3
votes
2
answers
676
views
Compact-open limit of continuous functions is continuous?
Let $X$ be a topological space and $Y$ a metric space.
A classical result states that compact-open topology on the space $C(X,Y)$ of continuous functions is the same as the topology of uniform ...
- 829
3
votes
1
answer
337
views
Is there an operation in topology analogous to the operation of averaging over a compact subgroup in harmonic analysis?
Let me start with the following
Illustration: Let $G$ be a compact group, and let $\pi:G\to H$ be its (surjective) continuous homomorphism onto a (compact) group $H$. So we can think that $H$ is the ...
- 7,426
3
votes
1
answer
145
views
Is $ {C_{c}}(G) $ a meager subset of $ {L^{2}}(G) $ for a second-countable locally compact Hausdorff group $ G $?
The following problem is a stumbling block in a research project that I am working on:
Problem. Let $ G $ be a second-countable locally compact Hausdorff group with a fixed Haar measure. Is it true ...
- 1,396
3
votes
0
answers
637
views
Fixed point theorem for convex, closed multivalued mapping
There is well-known fixed point theorem theorem for multivalued l.s.c. maps, based on Michael selection theorem:
Suppose, that $X$ is compact, convex and metrizable in locally convex Hausdorff ...
- 696