All Questions
4,448 questions with no upvoted or accepted answers
5
votes
0
answers
255
views
Equality from the Grothendieck inequality
I asked the following question on math.stackexchange.com but have not received any response. So I would like to try my luck here.
This question is related to the Grothendieck inequality. Let field $\...
- 2,239
5
votes
0
answers
236
views
Proof of density of smooth functions in $H(\operatorname{curl})$ with $L^2$ tangential trace
I am trying to understand the proof of the following statement that is presented in the book “Finite Element Methods for Maxwell's Equations” by Peter Monk. The original source of the proof is a 1997 ...
5
votes
0
answers
171
views
Length metrics on covering spaces
This is a question (Exercise 3.30(2)) in the book `Metric spaces of non-positive curvature' written by Bridson and Haefliger.
In the book, there is the following proposition (Proposition 3.28)
Let $p:\...
- 439
5
votes
0
answers
116
views
Multiplier algebra of Fock space
For any vector space, one may form the tensor algebra with multiplication being the tensor product. For a Hilbert space $\mathcal{H}$, the analogous construction is the Fock space
$$
\mathcal{F}(\...
- 439
5
votes
0
answers
206
views
Equality of weak solutions for inner products inducing equivalent norms
This is a repost of a now-deleted MSE question that did not get any comments or answers.
$\textbf{Background}$: This question is mainly about two basic questions: How do we systematically obtain the ...
- 153
5
votes
0
answers
204
views
What are all of the topological (commutative) monoid structures on a closed interval?
Consider a closed real interval $[a,b]$ as a toplogical space. Up to homeomeorphism it doesn't matter, but I like to take $[a,b] = [0,\infty]$.
Question 1: What are all of the topological commutative ...
- 64k
5
votes
0
answers
238
views
Is a circle of circles necessarily a 2-manifold?
Let $X$ be a continuum (a compact connected metric space).
Suppose that there is a collection of simple closed curves $\mathcal C$ which partitions $X$ into pairwise-disjoint, nowhere dense sets. ...
- 3,317
5
votes
1
answer
630
views
Infinite dimensional involutions: infinitely large sets of multivariate polynomials self-inverse under self-substitution
Examples of infinite dimensional involutions
Edit 2/25/23, as suggested by YCOR below: (Start)
The first return on a Google search on involution--from late Latin 'a rolling up'--gives the Oxford ...
- 10.5k
5
votes
0
answers
169
views
Is the Grassmannian of a Banach space an infinite dimensional manifold?
Grassmannian of complemented subspaces in a Banach space is a Banach manifold. This is explained for example in the thesis of Douady and is rather analogous to the finite-dimensional case.
I would ...
- 344
5
votes
0
answers
74
views
Concentration bound on additive functions with constraints
Given a family of sets $F \subseteq P(\{1,\ldots,n\})$. I define the function $f_F:[0,1]^n \rightarrow R$ to be $f_F(x_1,\ldots,x_n)= \max_{S \in F} \sum_{j \in S} x_j$.
Given a series of independent ...
- 107
5
votes
0
answers
208
views
Perturbation of Neumann Laplacian
Consider the $N \times N$ matrix
$$A_{\alpha}=\begin{pmatrix} \lambda_1 & -1 & -\alpha & 0 & \cdots & 0\\
-1 & \lambda_2 & -1 & -\alpha & \cdots & 0\\
-\alpha &...
- 73
5
votes
0
answers
280
views
Completeness of the space $L^p$ and the Axiom of Countable Choice
I am thinking about the proof that the usual $L^p$ spaces are complete.
So, let $(X,\mathcal{F},\mu)$ be a measure space and let
$p\in[1,+\infty)$.
Important: by a measure I mean a nonnegative $\sigma$...
- 935
5
votes
0
answers
137
views
A concrete description of the projective tensor product of Lipschitz spaces
$\newcommand{\projtenprod}[2]{#1 \; \hat\otimes_\pi #2}$
$\DeclareMathOperator\Lip{Lip}\DeclareMathOperator\AE{AE}$
$\newcommand{\norm}[1]{\| #1\|}$
$\newcommand{\abs}[1]{| #1|}$
Background
...
- 437
5
votes
0
answers
186
views
Is a Banach space with a predual of arbitrary order necessarily reflexive?
Let $X$ be a Banach space, by a predual of order $n$ ($n$ is a positive integer), I mean a Banach space $X_{n}$, such that the $n$-th dual $X_n^{(n)}$ of $X_n$ is isometrically isomorphic to $X$. My ...
- 1,586
5
votes
0
answers
158
views
Bochner–Minlos Theorem for locally convex spaces and their duals
Let $(X,\tau)$ be a locally convex space and $(X^{*},\tau_{s})$ be its topological dual space equipped with the strong topology. Denote by $S(X,X^{*})$ the collection of operators from $X$ to $X^{*}$ ...
- 3,515
5
votes
0
answers
315
views
Schauder basis in the Arens-Eells space
Context
Arens-Eells space. Let $X$ be a separable pointed metric space with base point $e$. An elementary molecule is defined as follows (Nik Weaver, Lipschitz Algebras, 2nd ed.)
$$
m_{pq} := \delta_p ...
- 437
5
votes
0
answers
211
views
Weaker analogues of amenability for groups of piecewise projective homeomorphisms
Let $A$ be a subring of ${\bf R}$ and let $H(A)$ be the group defined/constructed in Monod's 2013 PNAS paper. Monod showed that provided $A\neq {\bf Z}$, $H(A)$ is non-amenable. (The proof breaks down ...
- 25.8k
5
votes
0
answers
138
views
Are open subsets of a $\sigma$-compact LCH space $\mathcal{K}$-analytic?
I'm reading Guedj and Zeriahi's Degenerate Complex Monge-Ampère Equations Chapter 4 which talks about capacities. Specifically Corollary 4.13 claims that when $X$ is a locally compact Hausdorff $\...
- 1,141
5
votes
0
answers
145
views
Second dual $X^{**}$ of ternary $C^*$-ring $X$ is again ternary $C^*$-ring?
Recall that a ternary $C^*$-ring is a complex Banach space $X$, equipped with a associative ternary product $[.,.,.]:X^3 \to X$ which is linear in outer variables and conjugate linear in middle ...
- 1,115
5
votes
0
answers
163
views
Commutator of pseudodifferential operator and multiplication operator
Cross-post from math.sx.
Let $\eta:\mathbb R^n\to[0,1]$ be a smooth and compactly supported function and assume $f:\mathbb R^n \to\mathbb R$ is measurable. I want to bound the commutator of the ...
- 245
5
votes
0
answers
121
views
Which operations commute with fractional translation?
Let $\mathbf{v}$ be a real signal (i.e., an infinitely long vector).
A translation operation $T_{s}\mathbf{v}$ with integer $s$ is trivially
defined by $\forall i,s:\left(T_{s}\mathbf{v}\right)_{i}=v_{...
- 968
5
votes
0
answers
199
views
Standard function spaces with the approximation property
A Banach space $\mathcal{X}$ is said to have the approximation property (AP) if, for every compact set $K \subset \mathcal{X}$, there is a sequence of finite rank operators $\{U_n : \mathcal{X} \to \...
- 313
5
votes
0
answers
170
views
Can maximal filters of nowhere meager subsets of Cantor space be countably complete?
Let $X$ denote Cantor space. A subset $A\subseteq X$ is nowhere meager if for every non-empty open $U\subseteq X$, we have $A\cap U$ non-meager. We call $\mathcal{F}\subseteq \mathcal{P}(X)$ a maximal ...
- 369
5
votes
0
answers
419
views
Nonlinear variation of constants formula
Suppose that we wish to solve $x'(t)=f(x(t))+g(x(t)), \; x(0)=x_0\in X,$ where $X$ is an infinite dimensional Banach space and $f , g : X \rightarrow X $ are two nonlinear functions. Furthermore, ...
- 51
5
votes
0
answers
100
views
What is a mild sufficient condition on $X$ such that $C(X, Y)$ is sequential?
Let $X$ be a topological space, $(Y, d)$ a metric space and $C(X, Y)$ the space of continuous maps with the topology of compact convergence.
Question: What is a minimal topological condition on $X$ ...
- 315
5
votes
0
answers
113
views
Stronger form of countable dense homogeneity
I am completing my undergrad thesis about topological properties of some subspaces of the real numbers, and CDH spaces are one of the topics I´ve covered (I know almost nothing about it, I only prove ...
- 10.6k
5
votes
0
answers
218
views
When is it true that $Z(A)^{**} = Z(A^{**})$ for a C*-algebra $A$?
For a (unital) C$^*$-algebra $A$ with centre $Z(A)$ the bidual $A^{**}$ is a von Neumann algebra with centre $Z(A^{**})$ for which I believe that $Z(A)^{**} \subset Z(A^{**})$ holds by extending the ...
- 633
5
votes
0
answers
118
views
Good (Sidon) Approximation of "Bumps"
Given a rational point $p\in S^1$ and a continuous function $f:S^1\rightarrow \mathbb C$, we say that $f$ is an $\epsilon$-bump around $p$ (for some $\epsilon>0$) if $f(p)=1,|f|_{\infty}\leq 1+\...
- 113
5
votes
0
answers
489
views
Dual norm for weighted Sobolev space
Consider a "weight" function $\rho: \mathbb{R}^{d} \rightarrow \mathbb{R}$ and the following weighted Sobolev norm:
\begin{equation}
\|h\|_{\dot{H}^{1}(\rho;\mathbb{R}^{d})}:=(\int_{\mathbb{...
- 407
5
votes
0
answers
278
views
Reflexive norm-closed subalgebras of $B(X)$
Let $X$ be a reflexive Banach space, and let $B(X)$ denote the set of all bounded linear operators $X\to X$.
Does there exist a norm-closed subalgebra $A\subseteq B(X)$ with the following properties?
...
- 2,605
5
votes
0
answers
156
views
Homotopy, contraction mapping and the inverse function theorem on Banach spaces
We all know the "open mapping" part of the inverse function theorem on Euclidean spaces can be proved by either contraction mapping (iterations), or homotopy methods (degree theory / ...
- 179
5
votes
1
answer
425
views
Positiveness of the largest Lyapunov exponent
Let $\alpha\in \mathbb{R} / \mathbb{Q}$, let $A(x)$ be the $2$-by-$2$ matrix
$$
A(x)=\begin{pmatrix}
\dfrac{1}{{\lambda}^2}-2 \cos 2\pi x -1& 2\lambda \cos 2\pi x-\dfrac{1}{{\lambda}} \\
\dfrac{...
- 131
5
votes
0
answers
154
views
Sheaf-like reconstruction of a continuous function
Let $X$ and $Y$ be topological manifolds and let $\{(\phi_x,U_x)\}_{x \in X}$ and $\{(\psi_y,Y_y)\}_{y \in Y}$ be respective atlases of $X$ and $Y$; with each $\phi_x:U_x\rightarrow \mathbb{R}^n,\...
- 5,405
5
votes
0
answers
222
views
Right derived contravariant hom-functor
I am interested in additive categories appearing in functional analysis, in particular, the category $LCS$ of locally convex spaces and continuous linear functions. This category is not abelian but ...
- 16.4k
5
votes
0
answers
61
views
Minimizers of variational problems with less symmetry
In am interested in understanding the so-called Hartree ground states, namely, minimizers of variational problems of the form
$$\inf_{\phi\in H^1,~\|\phi\|_2=1}\left\{\int|\nabla\phi(x)|^2dx
-\int|\...
- 891
5
votes
0
answers
144
views
Is there a discrete Schrödinger operator with empty spectrum?
A relatively well-known example of (continuous) Schrödinger operator with empty spectrum is the complex Airy operator on the line, i.e., the operator acting on $L^{2}(\mathbb{R})$ given by the ...
- 2,188
5
votes
0
answers
203
views
Global analysis on punctured surfaces
Global analysis on open manifolds seems pretty hard. For one, the space of $C^{n,\alpha}$ functions on an open manifold need not be a tame Fréchet space (see the post Are smooth functions tame? for ...
- 163
5
votes
1
answer
490
views
$L^2$ uniform integrability in terms of Fourier coefficients
Given a bounded sequence $(f_n)_n$ in $L^2(\mathbf{T})$ where $\mathbf{T}:=\mathbf{R}/\mathbf{Z}$, the strong compactness of $(f_n)_n$ is equivalent to $$\lim_N \sup_n \sum_{|k|\geq N} |c_k(f_n)|^2=0,$...
- 3,425
5
votes
0
answers
143
views
Two cardinal characteristics of the continuum, related to the Bohr topology on integers
For a subset $A\subseteq\mathbb T$ of the unit circle $\mathbb T=\{z\in\mathbb C:|z|=1\}$, let $\tau_A$ be the smallest topology on the additive group of integers $\mathbb Z$ such that for every $z\in ...
- 41.9k
5
votes
0
answers
170
views
Who should be attributed for the definition of almost disjoint families of true cardinality $\mathfrak{c}$?
A family $\mathcal{A}$ of infinite subsets of $\omega$ is called
almost disjoint if for any two distinct sets $a, b \in \mathcal{A}$, the intersection $a\cap b$ is finite.
An almost disjoint family $\...
- 105
5
votes
0
answers
154
views
Is there a Hausdorff space whose "covering problem" has intermediate complexity?
For a "reasonable" pointclass ${\bf \Gamma}$, say that a second-countable space $(X,\tau)$ is ${\bf \Gamma}$-describable iff for some (equivalently, every) enumerated subbase $B=(B_i)_{i\in\...
- 20.5k
5
votes
0
answers
77
views
Are these two versions of Sobolev embedding related?
In Griffith-Harris Section 0.6 we have this Sobolev lemma:
Let $H_s$ be the space of formal Fourier series $u(x):=\sum_{k\in \mathbb Z^n}u_ke^{i(k,x)}$ on $(\mathbb R/2\pi\mathbb Z)^n$ such that the $...
- 1,630
5
votes
0
answers
515
views
Learning from eigenvalues of Hilbert-Schmidt integral operator
Do eigenvalues of the Hilbert-Schmidt integral operator determine the underlying measure up to translation, reflection and rotation?
Details: Suppose we have a measure $\mu$ on a Euclidean space $X=\...
- 903
5
votes
1
answer
774
views
Question/References on the Skorokhod M1 topology
Let $D(0,T)$ be the space of right continuous functions with left limits defined on $[0,T]$. Consider the Skorokhod M1 topology on $D(0,T)$, see e.g. S. Ledger, Skorokhod’s M1 topology for ...
user128095
5
votes
0
answers
135
views
Relationship between continuous vector fields and divergence measure fields in dimension $\ge 2$
Let $\Omega \subset \mathbb R^d$ with $d \geq 2$ (I am mostly interested in the case when $\Omega$ is the unit ball). A vector field in $L^p(\Omega,\mathbb R^d)$ is called a divergence measure field ...
- 437
5
votes
0
answers
304
views
Wightman reconstruction theorem-details of the proof
First of all forgive me if this question is not well suited for this forum: it is motivated by physics however after all my concerns are mathematical so I hope it would be appropriate to post it here. ...
- 9,330
5
votes
0
answers
252
views
Generalized convexity
Let $X$ be a vector space. The positive-homogeneous function $\|\cdot\|$ is said to be a quasinorm
if $\|x+y\|\le K(\|x\|+\|y\|)$, for some $K\ge1$; it is a norm if $K=1$.
Question: 1. (terminology) ...
- 6,541
5
votes
0
answers
153
views
Characterizing Besov spaces in terms of p-variation
For $s>1/p$ the Besov space $B_{p,q}^s([0,1])$ can be characterized in terms of the $p$-variation:
Let $p,q \in (1,\infty)$ and $s \in (0,1)$, $s>1/p$. A function $f:[0,1] \to \mathbb{R}$ is in ...
- 151
5
votes
0
answers
272
views
Riesz Representation Theorem for $L^2(\mathbb{R}) \oplus L^2(\mathbb{T})$?
The spaces $L^2(\mathbb{R})$ (square-integrable functions) and $L^2(\mathbb{T})$ (1-periodic square-integrable functions, considered over the real line $\mathbb{R}$) are two subspaces of the space of ...
- 2,306
5
votes
0
answers
144
views
Do products of distance functions separate points?
Let $(X,d)$ be a metric space without isolated points and of diameter $1$. Let $Y=\{y_m\}_{m=1}^{\infty}$ be a dense subset of $X$.
Define $g_0\equiv 1$, and for $m>0$ let $g_m=d(\cdot,y_1)\dotsm d(...
- 5,529