All Questions
4,449 questions with no upvoted or accepted answers
6
votes
0
answers
563
views
Grothendieck letter to Jun-Ichi Yamashita on tame topology
I am looking for Grothendieck writings on tame topology:
a manuscript on tame topology mentioned by Scharlau; a letter to Jun-Ichi Yamashita; a letter to Z.Mebkhout.
I am also interested in ...
- 99
6
votes
0
answers
921
views
Direct proof of Closed Graph Theorem (or Bounded Inverse Theorem) from Uniform Boundedness Principle
I'm looking for a direct proof of the Closed Graph Theorem (or Bounded Inverse Theorem) from the Uniform Boundedness Principle. But I can't find one in the literature.
I'm hoping there's a nice ...
- 469
6
votes
0
answers
152
views
Spatiality of products of locally compact locales
In Johnstone´s Sketches of an Elephant Volume 2, page 716,
lemma 4.1.8 states that for spatial locales $X$ and $Y$ with $X$ locally compact then the locale product $X\times Y$ is spatial.
Is this ...
- 159
6
votes
0
answers
83
views
Are invertible measures strictly dense?
Let $L_1(\mathbb T)$ be considered as a closed ideal of $M(\mathbb T)$, the Banach algebra of measures on the circle. Then $M(\mathbb T)$ can be identified with the multiplier algebra of $L_1(\mathbb ...
- 113
6
votes
0
answers
117
views
Closedness of the partial order in complete Hausdorff semitopological semilattices
First some definitions.
A semilattice is a commutative semigroup consisting of idempotents (i.e., elements such that $xx=x$). A typical example of a semilattice is the unit interval endowed with the ...
- 41.9k
6
votes
0
answers
88
views
Density of squares of radial eigenfunctions
The eigenfunctions of the Laplace operator on the disc can be written in polar coordinates as $f(r,\theta)=R_{nk}(r)e^{ik\theta}$, where $k\in\mathbb Z$ and $n\in\mathbb N$ and the radial function is $...
- 8,086
6
votes
0
answers
476
views
Local isometry of complete length spaces that is not a covering map
Let $\pi:\widetilde{M}\to M$ be a surjective local isometry between complete length spaces (local isometry means that every point $x\in \widetilde{M}$ has a neighborhood which is isometrically mapped ...
- 2,934
6
votes
0
answers
180
views
The Fubini property of the $\sigma$-ideal generated by closed subsets of measure zero
Question. Can a Borel subset $B\subset\mathbb R\times \mathbb R$ be covered by countably many closed sets of measure zero in the plane if for every $(a,b)\in\mathbb R\times\mathbb R$ the horisontal ...
- 41.9k
6
votes
0
answers
282
views
Spectral properties of Non-local Differential operators on real line
I am encountering non-local (and nonlinear) PDEs in my work. To compute stability, I am trying to numerically estimate the spectrum of linearized-but-nonlocal version of the said PDEs.
Definition: A ...
- 318
6
votes
0
answers
4k
views
Interchange of supremum and integral
Let $f : X \to Y$, $X \subset R^n$, $Y$ Banach space, $g : X \times Y \to R \cup \{ \infty \}$, $L^n$ the n-dimensional Lebesgue measure.
Are there some results under which the following interchange ...
- 303
6
votes
0
answers
240
views
Unitary representations of finite dimensional Lie groups on infinite-dimensional Hilbert spaces
I am interested in the proofs of continuity of some standard unitary representations appearing in Physics. Additionally, I am interested in the integration of finite-dimensional Lie algebras of skew-...
- 493
6
votes
0
answers
388
views
Closedness of a set of measures, where conditional marginals are in closed $\varepsilon$-ball w.r.t. Wasserstein distance
Let $(E,d)$ be a bounded polish space (separable, complete metric space satisfying $\sup_{x,y\in E} d(x,y) < \infty$). By $\mathcal{P}(E)$ we denote the space of Borel probability measures on $E$ ...
- 1,095
6
votes
0
answers
137
views
Spectrum of perturbed differential operators
I am looking for a reference that could help me with the following two questions:
Let $\Omega \subset \mathbb{R}^d$ be a bounded domain with Lipschitz boundary. Consider a sequence of differential ...
- 61
6
votes
0
answers
281
views
Covariance operator analogue for manifolds and respective measure manifolds
Assume $E$ is a connected riemannian manifold with geodesic metric space structure given by $d$ and $P$ is a probability measure over $E$ with Borel sigma-algebra given by this metric structure. Also ...
- 519
6
votes
0
answers
798
views
What is the Banach dual of the Bochner space $L^\infty(\Omega;X)$?
Suppose $\Omega$ is a $\sigma$-finite measure space (I'm happy to take $\Omega = \mathbb{N}$) and let $X$ be a Banach space. It's pretty well known that the Banach dual of $L^\infty(\Omega)$ can be ...
user14166
6
votes
0
answers
188
views
Quotients of 4-sphere by smooth $Z_p$ actions with knotted fixed point sets
This question is closely related to another I asked today.
Giffen showed in 1966 that the generalized Smith conjecture is false by constructing for odd $p$ a smooth $Z_p$ action on $S^4$ with fixed-...
- 2,851
6
votes
0
answers
210
views
Generalized singular numbers and the Haagerup $L^p$ spaces
Let $M$ be a semi-finite von Neumann algebra with a trace $\tau$.Let $S(M)$ be the algebra of all affiliated operators measurable with respect to $M$.
The $L^p$ norm on $M$ is given by
\begin{...
- 361
6
votes
0
answers
774
views
Relationship between the Itō formula for a Q-Wiener process and the Itō formula for a cylindrical Wiener process. A question on the trace term
Remark: Even when this question is about stochastic PDEs, it can be answered by someone who has no knowledge about probability theory or PDEs.
I'm reading Stochastic Differential Equations in ...
- 167
6
votes
0
answers
272
views
Extension operators for topological vector space-valued smooth functions on closed sets
There are many known results about extension theorems for real-valued functions on closed sets, with varying levels of differentiability and so on, all very roughly following the Whitney approach. For ...
- 35.5k
6
votes
0
answers
252
views
Constructing Extreme Points in Reflexive Banach Spaces
A theorem of Lindenstrauss and Phelps states that if $X$ is a separable reflexive Banach space then the unit ball of $X$, $Ba(X)$, has uncountably many extreme points. The proof goes by contradiction ...
- 1,073
6
votes
0
answers
63
views
Chord-arc property of n-tuples of commuting operators
Assume that we have an $n$-tuple $S^0=(S^0_1,\dots,S^0_n)$ of commuting operators in a Hilbert space $H$ and another such an $n$-tuple $S^1$. Is it possible to connect these two $n$-tuples by a ...
- 315
6
votes
0
answers
369
views
Interpolation between $H^1$ and $H^1\cap L^1$
Suppose that $T:H^1(\mathbb{R}^3)\rightarrow\mathbb{R}$ is a linear bounded operator, with operator norm $M_2$. In particular, given $1\leq p\leq2$, there exist optimal constants $M_p\leq M_2$ such ...
- 943
6
votes
0
answers
216
views
Integral-like concepts
I am looking for interesting concepts (I guess you could say functionals from the function space $[a;b]\to\mathbb R$) that are like integrals in some respect.
The background is that I have proven a ...
- 1,241
6
votes
0
answers
400
views
Topologically transitive, pointwise minimal systems
I'm cross-posting this from SE.
Let $T$ be a group, and let $(X,T)$ be a flow, i.e. $X$ is a compact Hausdorff space and $T$ acts on $X$ by homeomorphisms. A flow $X$ is called topologically ...
- 369
6
votes
0
answers
118
views
Categorical description of dense homomorphisms of topological algebras
Let $A$ and $B$ be topological associative algebras (no matter, in which sense, for example, over $\mathbb C$, with identity, and with separately continuous multiplication). Let us say that a (...
- 7,426
6
votes
0
answers
406
views
Basis functions for approximation of a convex function on unit simplex
Consider the unit $D$-simplex $S^D=\left\lbrace (x_0, x_1, \ldots, x_D) \in \mathbb{R}^{D+1} \mid \sum\limits_{i=0}^{D}x_i = 1, x_i \geq 0 \right\rbrace$. I have a bounded, convex function $f:S^D\to\...
- 171
6
votes
0
answers
208
views
Is there a decomposition strengthening of the Sauer-Shelah Lemma?
Let $S \subset \{-1,1\}^n$. For a subset $A \subset [n]$ let $P_A$ denote the coordinate projection operator on S; in other words let $P_A(S)$ be the coordinate projection of $S$ onto the coordinates ...
- 13k
6
votes
0
answers
493
views
Reference for the Banach Manifold structure of $C^k(M,N)$
I'm completely new to the subject of banach manifolds and I'm looking for a reference of the following:
Let $M$,$N$ be smooth (=$C^\infty$) finite-dimensional compact manifolds. Consider the set $C^...
- 71
6
votes
0
answers
161
views
Real interpolation space between the Wiener algebra and $L^2$
The Wiener algebra $W_n$ is the image by the Fourier transform of $L^1(\mathbb R^n)$. What is the (complex) interpolation space between $W_n$ and $L^2(\mathbb R^n)$? It is probably not true that for $\...
- 16.2k
6
votes
0
answers
218
views
Are there any known ``topological" invariants for branched coverings?
My question is the following: let $f:\Omega\to \mathbb{R}^n$ be a branched covering, namely $f$ is continuous, discrete (each fiber is a discrete subset of $\Omega$) and open (open sets get mapped ...
- 1,881
6
votes
0
answers
190
views
Max min of functionals
I have an interesting question which I believe was probably already studied, but I could not find anything. Let $n, m \geq 1$ be fixed. Suppose that $|| \cdot ||$ is a norm in $\mathbb{R}^n$ and $f_1, ...
- 243
6
votes
0
answers
160
views
Proof that the second Borel cohomology group of $(\mathbb R, +)$ is trivial
Does anyone have a reference for a fairly direct proof that the second Borel cohomology group for $(\mathbb R, +)$ (with the trivial action on the circle group) is trivial? The motivation is to show ...
6
votes
0
answers
243
views
Operator arithmetic-harmonic mean inequality with operator-valued weights
Let $\Lambda_1,\dots,\Lambda_n$ be strictly positive definite operators in the Euclidean space $\mathbb{R}^d$. By an operator arithmetic-harmonic mean inequality with weights $\Lambda_i$ I mean the ...
- 4,010
6
votes
0
answers
105
views
Large discrete subspaces in spaces of separately continuous functions
For topological spaces $X,Y,Z$ let $SC_p(X\times Y,Z)$ be the space of separately continuous functions $f:X\times Y\to Z$ endowed with the topology of pointwise convergence.
It is easy to see that ...
- 41.9k
6
votes
0
answers
365
views
Approximating a measurable function from a second-countable, locally compact Hausdorff group to a separable Banach space
Let $ G $ be a second-countable, locally compact Hausdorff group and $ B $ a separable Banach space.
We say that a function $ f: G \to B $ is Bochner-measurable if and only if it is the everywhere ...
- 1,396
6
votes
0
answers
243
views
A compactification of the non-negative rationals with the discrete topology
Let $S$ be the set of non-negative rational numbers. (If it makes any difference, feel free to take the non-negative dyadic rationals instead.) Let $B=\ell_\infty(S)$; as a ${\rm C}^*$-algebra this is ...
- 25.8k
6
votes
0
answers
307
views
a question about Tsirelson's space
NOTE: I asked this question over at math.stackexchange.com but got no answer or comments after 3 days, probably because it's a bit specialized. Hopefully it is interesting enough to ask over here.
...
- 1,591
6
votes
0
answers
754
views
Homeomorphisms of product spaces: an example
In the first of these lectures (http://www.mpim-bonn.mpg.de/node/4436) given by M. Freedman he says that there exists (compact metric) spaces $X$ and $Y$ such that $X\times S^{1}$ is homeomorphic to $...
- 683
6
votes
0
answers
371
views
Tensor product of dual groups
Let $G,H$ be compact abelian groups, $G^*,H^*$ be their Pontryagin duals, $G^*\otimes H^*$ the tensor product of $G^*,H^*$ and $K=(G^*\otimes H^*)^*$. Does the group $K$ have a special name? What is ...
6
votes
0
answers
516
views
Which functions can be approximated by piecewise constant functions?
Let $\Omega \subset \mathbb{R}^d$ be a connected and bounded domain. We call a function $f\in L^\infty(\Omega)$ nice if for each $\epsilon>0$ there exist $n\in \mathbb{N}, a_1,\dots,a_n \in \mathbb{...
- 2,286
6
votes
0
answers
532
views
Products of spaces containing no copies of $\ell_2(\Gamma)$
Given an infinite set $\Gamma$, I would like to know if the class of Banach spaces containing no copies of $\ell_2(\Gamma)$ is stable under finite products.
When $\Gamma$ is countable the answer is ...
- 4,461
6
votes
0
answers
175
views
Ultrapowers and complemented subspaces
Let $Y$ be a closed subspace of a Banach space $X$, and let $\mathcal{U}$ be a nontrivial ultrafilter on the set $\mathbb{N}$ of all integer numbers.
It is not difficult to see that if $Y$ is ...
- 4,461
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
6
votes
0
answers
223
views
Series in topological rings that only converge if almost all summands are zero
While trying to understand a certain topological ring better, I stumbled onto the following question.
Suppose $I$ is a fixed infinite index set, $R$ is a topological ring and $(x_i)_{i\in I}$ is a ...
- 9,650
6
votes
0
answers
108
views
How to call a point in a space having the property that there is essentially one $\omega$-sequence converging to it?
Consider the point $x=\langle \omega_1,\omega\rangle$ in the Tychonov plank $(\omega_1 + 1)\times(\omega + 1)$. Then there is essentially only one sequence (of length $\omega$) converging to it, ...
- 1,855
6
votes
0
answers
259
views
Explicit form of the homeomorphism between $C[0,1]$ and $C[0,1]\setminus 0$
How to construct the homeomorphism between $C[0,1]$ and $C[0,1]\setminus\{\theta\}$
in the explicit form?
Here, as usual, $C[0,1]$ is the Banach space of continuous functions $f:[0,1]\to\mathbb{R}$ ...
- 91
6
votes
0
answers
319
views
Norms on tensor products
Let $A$ be an algebra of operators on a Hilbert space $H$. Let $A^m$ and $A^n$ be free $A$-modules with bases $e_1, \ldots, e_m$ and $f_1, \ldots, f_n$. Define a norm on $A^m \otimes A^n$ as follows:
$...
- 401
6
votes
0
answers
262
views
Given that a conditional measure is Gaussian, how bad can the original measure be?
Let $X$ and $Y$ be Banach spaces, and let $\varphi : X \to Y$ be a continuous linear map. Suppose that $\mathbb P$ is a probability measure on $X$ which satisfies the continuous disintegration ...
- 8,512
6
votes
0
answers
369
views
Paving conjecture for Toeplitz matrices
Let me first recall what is the so-called paving conjecture:
for any $\epsilon >0$, there exists $r\in \mathbb N$ such that
for any bounded operator $A$ on $\ell^2(\mathbb Z)$, there exists a ...
- 16.2k
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