All Questions
448 questions
65
votes
14
answers
6k
views
Notions of convergence not corresponding to topologies
This question concerns the ramifications of the following interesting problem that
appeared on Ed Nelson's final exam on Functional Analysis some years ago:
Exam question: Is there a metric on the ...
- 801
43
votes
3
answers
9k
views
Why the name 'separable' space?
It is well known that a separable space is a topological space that has a countable dense subset. I am wondering how is this related to the name 'separable'? Any intuition where the name come from?
- 1,157
31
votes
2
answers
3k
views
Is a normed space which is homeomorphic to a Banach space complete?
I have a normed space $(E,||\cdot||)$ which is homeomorphic (as a topological space) to a Banach space $F$.
Does this imply that $(E,||\cdot||)$ is also a Banach space?
I think I read something ...
- 495
28
votes
7
answers
13k
views
Regular borel measures on metric spaces
When teaching Measure Theory last year, I convinced myself that a finite measure defined on the Borel subsets of a (compact; separable complete?) metric space was automatically regular. I used the ...
- 18.7k
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
27
votes
3
answers
5k
views
Weak and Strong Integration of vector-valued functions
This is probably an elementary question, but outside my area of expertise, and I was unable to find any suitable reference:
Suppose $f:X\to E$ is a continuous function from a compact spaces (endowed ...
- 741
26
votes
2
answers
5k
views
Does Arzelà-Ascoli require choice?
Inspired by a recent Math.SE question entitled Where do we need the axiom of choice in Riemannian geometry?, I was thinking of the Arzelà--Ascoli theorem. Let's state a very simple version:
...
- 29.8k
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
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
20
votes
2
answers
1k
views
The Gelfand duality for pro-$C^*$-algebras
The Gelfand duality says that
$$X\to C(X)$$
is a contravariant equivalence between the category of compact Hausdorff spaces and continuous maps and the category of commutative unital $C^*$-algebras ...
- 1,344
20
votes
1
answer
993
views
Which spaces are characterized by functions with compact support ?
It's well known that two locally compact Hausdorff spaces $X, Y$ are homeomorphic iff the rings $C_0(X), C_0(Y)$ (continuous functions vanishing at infinity) are isomorphic.
Is there a class $\...
- 16.2k
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
18
votes
1
answer
11k
views
Is every continuous function measurable?
This question has already been asked on Math StackExchange here, but was too old to be migrated, and I think will be more appropriate to MathOverflow.
In non-Hausdorff topology it is standard to ...
- 321
17
votes
1
answer
2k
views
Which Fréchet manifolds have a smooth partition of unity?
A classical theorem is saying that every smooth, finite-dimensional manifold has a smooth partition of unity. My question is:
Which Fréchet manifolds have a smooth partition of unity?
How is the ...
- 4,519
17
votes
1
answer
569
views
Does a completely metrizable space admit a compatible metric where all intersections of nested closed balls are non-empty?
(cross-posted from this math.SE question)
It is well-known that given a metric space $(X,d)$, the metric is complete if and only if every intersection of nested (i.e. decreasing with respect to ...
- 775
16
votes
3
answers
951
views
What are the 'wonderful consequences' following from the existence of a minimal dense subspace?
In Peddechio & Tholens Categorical Foundations they quote PT Johnstone in their chapter on Frames & Locales:
...the single most important fact which distinguishes locales from spaces: the ...
- 2,369
15
votes
5
answers
2k
views
Between Tietze's and Dugundji's extension theorems
The celebrated Tietze extension theorem asserts that any continuous real-valued function defined on a closed subset of a normal space, can be extended to a continuous function on the whole space. Seen ...
- 60.5k
15
votes
3
answers
1k
views
Version of Banach-Steinhaus theorem
I am wondering about the following version of the Banach-Steinhaus theorem.
Let $A$ be a closed convex subset contained in the unit ball of a Banach space $X$ and consider bounded operators $T_n \in \...
- 536
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
15
votes
2
answers
931
views
Distinguishing topologically weak topologies of Banach spaces
Are the weak topologies of $\ell_1$ and $L_1$ homeomorphic?
Strangely may it sound, the question seeks contrasts between norm and weak topologies of Banach spaces from the non-linear point of view. ...
- 11.3k
15
votes
1
answer
601
views
Topological spaces in which countable intersections of dense open sets have dense interior
In certain topological spaces, known as Baire spaces (e.g., completely metrizable spaces), a countable intersection of dense open sets is dense.
Now consider the following strengthening of the Baire ...
- 32.5k
13
votes
3
answers
3k
views
Are uniformly continuous functions dense in all continuous functions?
Suppose that $X$ is a metric space. Is the family of all real-valued uniformly continuous functions on $X$ dense in the space of all continuous functions with respect to the topology of uniform ...
- 233
13
votes
2
answers
915
views
Topological vector spaces (reference request)
In his book Topological Function Spaces Arhangel'skii says that "it is well known that every nontrivial locally convex linear topological space $X$ is homeomorphic to a space of the form $Y \...
- 674
13
votes
2
answers
2k
views
When can we divide continuous functions?
Let $X$ be a compact Hausdorff topological space such that for every continuous $f,g:X\to\mathbb{R}$ with $0\le f\le g$ there is a continuous $h:X\to\mathbb{R}$ such that $f=gh$.
What can be said ...
- 5,529
13
votes
1
answer
911
views
Are $L^\infty(\Bbb R)$ and $L^2(\Bbb R)$ homeomorphic?
It's easy to see that, for $1\le p,q< \infty$ the spaces $L^p(\Bbb R)$ and $L^q(\Bbb R)$ of $p$-th and $q$-th power integrable functions on the real line are homeomorphic as topological spaces. In ...
- 3,017
13
votes
1
answer
736
views
Idempotent measures on the free binary system?
Let $(S,*)$ be the free (non associative) binary system on one generator (so $S$ is just the set of terms in $*$ and $1$). There is an extension of $*$ to the space $P(S)$ of finitely additive ...
- 3,547
13
votes
0
answers
818
views
Covering number estimates for Hölder balls
Let $\alpha \in (0,1]$, $r>0$ and $L>0$, and positive intwgers $n$ and $m$. The Arzela-Ascoli Theorem guarantees that the set $X(\alpha,L,r)$ of $f:[-1,1]^n\rightarrow [-r,r]^m$ with $\alpha$-...
- 5,405
12
votes
5
answers
1k
views
Examples of metric spaces with measurable midpoints
Given a (separable complete) metric space $X=(X,d)$, let us say $X$ has the measurable (resp. continuous) midpoint property if there exists a measurable (resp. continuous) mapping $m:X \times X \to X$ ...
- 6,853
12
votes
4
answers
1k
views
Topologizing free abelian groups
For any set $S$ one can consider the free abelian group $\mathbb{Z}[S]$ generated by this set. Now suppose, there is a topology on $S$ given. Is it possible to find a topology on $\mathbb{Z}[S]$ in ...
- 11.1k
12
votes
1
answer
1k
views
What is the structure associated to almost-everywhere convergence?
Let $M(X)$ be the vector space (actually it's an algebra) of all equivalent classes of measurable functions $X\to \mathbb{C}$ (where $X$ is a measured space) modulo equality almost-everywhere.
One ...
- 549
12
votes
1
answer
394
views
Is $X\times X$ homeomorphic to $X$ for a space of probability measures?
Let $\mathcal M_1(S)$ be the (compact, metrizable) space of probability Borel measures on the circle $S=\{z\in\mathbb C: |z|=1\}$ with its weak $*$ topology, so $\mu_n\to\mu$ if and only if
$$
\int_S ...
- 24.2k
12
votes
2
answers
679
views
Non-sequential spaces in the wild
TLDR: What are examples of (function-)spaces that are not sequential? When does this matter?
As a simple analyst, I am most happy if I can just work with sequences all the time. In most situations ...
- 779
12
votes
1
answer
447
views
Discrete subsets in the topology of pointwise convergence vs. metrisability
While reading Arkhangel'skii's Topological function spaces, I encountered an unexpected application of Martin's Axiom. This is Theorem II.5.20:
Assume $\mathsf{MA}+\neg \mathsf{CH}$. Let $X$ be a ...
- 11.3k
11
votes
5
answers
5k
views
A criterion for the sum of two closed sets to be closed ?
Let $V$ and $I$ be two closed subsets of a Banach space $A$.
The set $V$ is a convex cone, and $I$ is a linear subspace of $A$. I also know that $V\cap I=\{0\}$.
I would like to know whether $I+V$ ...
- 452
11
votes
2
answers
1k
views
How to show that something is not completely metrizable
I have a Polish space $X$ and a subset $A \subset X$.
I know that $A$ is completely metrizable (in its induced topology) if and only if $A$ is a $G_\delta$-set in $X$.
This means: If I want to show ...
- 987
11
votes
2
answers
721
views
Existence of an open convex set
Let $T$ be a normed vector space, $K\subseteq T$ compact and convex and $O\subseteq K$ convex and open in $K$ (i.e. open w.r.t. the subspace topology of $K$ inherited by $T$).
Can we find an open set $...
- 113
11
votes
1
answer
341
views
Density of linear subspaces in $C(K)$
Let $K$ be a compact Hausdorff space and denote by $C(K)$ the space of all real valued and continuous functions on $K$. We endow $C(K)$ with the supremum norm topology, making it a Banach space.
...
- 467
11
votes
1
answer
441
views
Example of Banach spaces with non-unique uniform structures
While it is known that compact Hausdorff spaces admit unique uniform structures, it is further shown by Johson and Lindenstrauss's result that Banach spaces are characterized by their uniform ...
- 8,071
11
votes
1
answer
309
views
Which closed subsets $Y$ of a compact space $X$ admit a linear extensor $C(Y)\to C(X)$?
In the following $X$ is a Hausdorff compact topological space. Let $Y$ be a closed subset of $X$.
The restriction operator $R_Y:C(X)\to C(Y)$ is surjective (Tietze), so it admits a continuous right ...
- 60.5k
11
votes
0
answers
758
views
A basic question on Stone-Cech compactification of $\mathbb{Z}$
Can the identity isomorphism on the additive group $\mathbb{Z}$ be extended to a non-identity semigroup isomorphism on $\beta\mathbb{Z}$, and still preserves $\beta\mathbb{Z}\setminus\mathbb{Z}$? ...
- 895
10
votes
5
answers
2k
views
Do subalgebras of C(X) admit a description in terms of the compact Hausdorff space X?
In light of the well-known theorem of Gelfand that, bluntly put, ends up saying that unital abelian C*-algebras are the 'same' as compact Hausdorff topological spaces, I tried to compile a dictionary ...
- 1,105
10
votes
1
answer
2k
views
Counting norms on an infinite dimensional vector space
It is known that whenever E is a finite dimensional real vector space, there is only one norm on E up to equivalence (actually one non discrete vector space topology).
Is it known what happens when E ...
- 101
10
votes
2
answers
843
views
Implicit function theorem with continuous dependence on parameter
Let $X,Y$ be Hilbert spaces and $P$ a topological space$^1$ and $p_0\in P$.
Let $f:X\times P\to Y$ be a continuous map such that
for any parameter $p\in P$, $f_p:= f|_{X\times \{p\}}:X\to Y$ is ...
- 2,533
10
votes
1
answer
366
views
Are all compact subsets of Banach spaces small in a measure-theoretic sense?
Definition. A subset $K$ of a topological group $X$ is called measure-continuous if there exists a $\sigma$-additive Borel probability measure $\mu$ on $X$ such that for every compact subset $C\subset ...
- 41.9k
10
votes
1
answer
869
views
Completeness of Borel measure
Let $X$ be a compact Hausdorff space and $\mu$ a finite Borel measure without atoms which is outer regular with respect to open sets and inner regular with respect to compact sets. Can such measure be ...
- 277
10
votes
0
answers
744
views
Is the set of real-valued lower semi-continuous functions measurable in epigraph topology (= topology of Gamma convergence)?
Let LSC = LSC([0,1]) be the set of non-negative, lower semi-continuous functions on the unit interval which take values in $\mathbb{R}_+ \cup \{\infty\}$. We use epigraph topology on LSC, i.e. a ...
- 888
9
votes
1
answer
777
views
Abstract result on partitions of unity?
A motivation: The classical Stone-Weierstrass theorem says that polynomials are dense among continuous functions (say, on the unit interval), while the abstract Stone-Weierstrass theorem (and also the ...
- 2,479
9
votes
2
answers
306
views
Ideal characterization of almost convergence
$\bullet$ A real sequence $x=(x_n)_n$ is called convergent to $\alpha$ in usual sense if for any $\epsilon>0$ the set $\{n\in\mathbb N:|x_n-\alpha|\geq\epsilon\}$ is finite.
$\bullet$ A real ...
- 930
9
votes
1
answer
551
views
Is the unit sphere of a Banach space dense in the unit sphere of its second dual with respect to the weak-$\ast$ topology
To be a bit more precise and fix notations, let $X$ be a Banach space (over $\mathbb{R}$ or $\mathbb{C}$), $X^{\ast\ast}$ its second dual (as a Banach space). Here and in the following we identify $X$ ...
- 1,586
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