All Questions
10,049 questions
2
votes
1
answer
208
views
Expanding Measurable Sets
Let $S,T \subset \mathbb{R}^n$ be measurable sets, and suppose that there exists a measurable bijection $f\colon S\to T$ so that
$$
\|f(x)-f(y)\| \;\geq\; \|x-y\|
$$
for all $x,y \in S$. Does it ...
- 45k
21
votes
4
answers
2k
views
A question on the integral of Hilbert valued functions
This questions stems from an attempt to recast in a form suitable for teaching some standard computations which are usually proved by handwaving, without much care about the details. My hope is that ...
- 60.5k
2
votes
1
answer
570
views
Is a polynomial positive on the sphere a sum of squares of spherical harmonic polynomials?
Let $p\in {\mathbb{R}}[x_1,\ldots, x_n]$ be a homogenous polynomial of even degree $2d$. If $p$ is positive on the unit sphere $S\subset {\mathbb{R}}^n$, then does there exist some $m>0$ and ...
CommunityBot
- 1
1
vote
1
answer
754
views
Addition of essentially self-adjoint operators
Say $A, B : H \supset D \to H$ are essentially self-adjoint operators on the dense common domain $D$. $H$ is some Hilbert space. Does it hold that $A + B$ is also essentially self-adjoint? If not, can ...
- 13k
1
vote
0
answers
369
views
Infinite internal direct sums of subspaces
Given a compact Hausdorff space $K$ such that $C(K)$ is of density $\omega_1$. Suppose that every copy of $c_0(\omega_1)$ in $C(K)$ is complemented. Let $\{Y_\alpha\colon\alpha<\omega_1\}$ be a ...
- 11.3k
0
votes
2
answers
444
views
Sobolev space: probably simple ode....
I am trying to solve for $y(x)$ in terms of $f(x)$ in a convenient space (eg. $\dot{H}^2(\mathbb{T})$-zero mean). Here is the ode:
$y(x)+y(x)y'(x)=f(x)$.
I think a contraction mapping argument will ...
- 1
5
votes
1
answer
588
views
Detect compactness on unit sphere
In Pedersen's Analysis Now, for example, you learn that a bounded operator on Hilbert space $T: \mathcal{H} \to \mathcal{H}$ is compact if and only if the image $T(B)$ of the unit ball is compact. It ...
- 23.5k
2
votes
0
answers
140
views
WLD Banach spaces
Does anyone know of an example of a weakly Lindeloff determined (WLD) Banach space which does not contain c_0 and is not weak Asplund? I believe the example of a WLD, non-weak Asplund space by Argyros ...
- 21
7
votes
3
answers
4k
views
Measures on infinite dimensional Banach spaces
Does there exist a Borel measure or any valid measure on an infinite dimensional Banach space such that a bounded open set in this space has a positive measure ?
1
vote
2
answers
515
views
continuity of extension of maps along curves
Let $a\le b$ and $k\ge 0$ be given and fixed. Let furthermore $x$ and $y$ denote two different elements of a Hilbert space $H$. Suppose $u:\mathbb{R}\rightarrow H$ is a $C^k$-embedding connecting $x$ ...
CommunityBot
- 1
3
votes
2
answers
1k
views
Do the Euler method's approximations always approach the true solution?
Let $B$ be a Banach space and $f : [0,+\infty)\times B \to B$ be a continuous function which is Lipschitz continuous in the second argument with Lipschitz constant $L$ (which does not depend on the ...
- 1,171
2
votes
0
answers
366
views
Are affine continuous functions on Bauer sub-simplices of the probability measures given by integration over continuous functions?
Let $X$ be a compact (non-metrizable) Hausdorff space and $\mathcal{P}(X)$ the set of Radon probability measures with
weak-$*$ topology (weak topology induced by the continuous functions).
Consider a ...
- 888
9
votes
2
answers
477
views
An extension of Gaussian Isoperimetry
The Gaussian isoperimetric inequality (Tsirelson,Sudakov, Borell) states that among all sets of given Gaussian measure in the n-dimensional Euclidean space, half-spaces have the minimal Gaussian ...
- 6,694
7
votes
1
answer
592
views
topologies on U(H)
There are many topologies on the algebra $B(H)$ of bounded operators on Hilbert space:
the weak, strong, ultraweak (also called σ-weak), ultrastrong (also called σ-strong), and some more......
- 11.1k
0
votes
1
answer
622
views
products in the category of banach spaces
Let $\{X_{\alpha} \}_{\alpha \in A}$ be a collection of Banach spaces. It is easy to show that $ P = \{(x_{\alpha}) : {\rm sup}_{\alpha} \|x_{\alpha} \| < \infty \} $ with $\| (x_{\alpha} ) \| = {\...
- 25.8k
3
votes
4
answers
2k
views
Suitable references for the the Stone-von Neumann Theorem
Hi all,
I am working on a mathematical physics project now and I need to understand the Stone-von Neumann Theorem properly. Wikipedia says that it is any one of a number of different formulations of ...
CommunityBot
- 1
7
votes
1
answer
423
views
Best constant in comparison between Rademacher and gaussian averages?
Let $(g_k)$ be a sequence of independent standard gaussians variables on a fixed probability space $\Omega$. Let $(\epsilon_k)$ be a sequence of independent rademacher variables.
What is the best ...
- 31.5k
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
12
votes
4
answers
4k
views
Locally constant functions with compact support = smooth ?
Hello,
I have a trivial question, but I hope that you don't mind helping. I often get confused with basic definitions.
Let F be a p-adic field. Then (from what I understand) $C_c^{\infty}(F)$ is the ...
- 3,584
5
votes
1
answer
878
views
Short five lemma in Banach spaces
Denote by $\mathbf{Ban}$ the category of Banach spaces and bounded linear maps and by $\mathbf{Banc}$ the subcategory of Banach spaces and linear contractions. The isomorphisms of $\mathbf{Ban}$ are ...
- 41.1k
5
votes
2
answers
579
views
Improved versions of discontinuous functions
Given a set X (such as the set of points in an interval), the space ℝX of all real-valued functions on X is not usually the function space we work with -- it is "too large" in some sense. Thus, ...
- 13k
2
votes
1
answer
265
views
Multiple ergodic averages with varying number of terms
Hi. I've been stuck on the following question for some time.
Consider a sequence of functions $\left( f_n \right)$ from an ergodic space $\left( \mathsf{X}, \mathsf{S}, \mu \right)$ to $\left[ 0,1 \...
- 17k
9
votes
2
answers
928
views
Property (T) for pseudogroups
Let $H$ be a Hilbert space, $S(H)$ be the inverse semigroup (pseudogroup) of linear maps between (closed) subspaces of $H$ preserving the dot product (the operation is composition of partial maps). ...
CommunityBot
- 1
9
votes
1
answer
2k
views
The Invariant Subspace Problem: examples
Question. Is there a concrete example of a bounded linear operator on a Hilbert space for which it is not known if it has a non-trivial closed invariant subspace?
[Added 24.01.2011: According to ...
- 512
0
votes
1
answer
365
views
Integral in a σ−convex set.
Having had no (proper) answer to this question, I formulate the remaining case as a new question as follows. With $I=[0,1]$, let $E$ be a separable (real) Banach space, and let $\gamma:I\to E$ be ...
CommunityBot
- 1
14
votes
3
answers
3k
views
The difference between $l^1(G)$ and the reduced group $C^*$ algebra $C_r^*(G)$
Let $G$ be a group and $l^2(G)$ the Hilbert space on $G$. The complex group algebra $CG$ can be imbedded in $B(l^2(G))$, the set of all bounded linear operators, by left translation. The reduced group ...
- 11.1k
4
votes
3
answers
1k
views
Set of invertible operators in B(H) is connected. Is it true? Is there a reference?
Suppose $H$ is a Hilbert space, $B(H)$ is the algebra of bounded linear operators on it, $K(H)$ is ideal of compact operators in $B(H)$, $Inv(B(H)/K(H))$ is the topological group of invertible ...
- 11.1k
2
votes
1
answer
431
views
Sobolev imbedding
It is known that, for $n \ge 3, 2 < p< 2^*$, the imbedding $H^1(\mathbb{R}^n) \hookrightarrow L^p(\mathbb{R}^n)$ is not compact. Let $G=O(n_1) \times O(n_2)\times\cdots\times O(n_k)$, with
$n_1+...
- 397
8
votes
1
answer
1k
views
Ring of continuous functions, reference request.
I am looking for a reference for the following facts in functional analysis and topology. (If these "facts" are not true, I suppose I'm looking for the closest approximation which is true.)
Let $X$ ...
- 13.3k
23
votes
1
answer
2k
views
Which Fréchet spaces have a dual that is a Fréchet space?
I've read the claim that Fréchet spaces that are not Banach spaces never have a dual that is a Fréchet space, but have not been able to find a proof of this statement. Is it trivial or does someone ...
- 22.3k
1
vote
1
answer
630
views
Stuck on a convergence argument in $H_0^1(\Omega)$.
I'm trying to verify that a functional I have satisfies the Palais Smale condition for appliction of the Mountain Pass lemma.
However I've encountered this step along the way which seems clear to me ...
11
votes
1
answer
642
views
Random walk origin return monotinicity
Consider a Markov chain on $\mathbb{Z}^d$ with transition kernel $P$ for adjacent vertices (non-diagonal). Essentially this is a $d$ dimensional random walk with the probability of a transition ...
- 17k
3
votes
0
answers
385
views
Off-diagonal asymptotic expansion of the Bergman kernel on hyperbolic Riemann surfaces
Let $X$ be a compact Riemann surface of genus at least 2. Let $K$ denote the canonical line bundle, and $E$ be any vector bundle. Let $P^{(m)}$ be the projection map from the space $L^2(X,K^mE)$ of ...
CommunityBot
- 1
5
votes
2
answers
491
views
Is independence meaningful for commutative $C^*$-algebras?
I don't know very much about spectral theory so probably the answer to my question has a basic reference which I would appreciate.
Let's say I have two self-adjoint operators on a Hilbert space and ...
2
votes
2
answers
1k
views
description of functions of conditionally negative type on a group
Recall that a kernel conditionaly of negative type on a set $X$ is a map $\psi:X\times X\rightarrow\mathbb{R}$ with the following properties:
1) $\psi(x,x)=0$
2) $\psi(y,x)=\psi(x,y)$
3) for any ...
- 11.1k
7
votes
1
answer
362
views
Nonexpansive multi-valued maps in $\ell^2$
Let $C$ be a nonempty bounded closed convex subset, say the unit ball, of $\ell^2(\mathbb{N})$. Let $T: C\to 2^C$ be a map such that $T(x)$ is nonempty closed for each $x$, and that $$D(Tx,Ty)\le \|x-...
CommunityBot
- 1
8
votes
1
answer
2k
views
Limits of Nilpotent and Quasi-nilpotent Operators in a $\mathrm{II}_1$-factor
A bounded operator $A$ in a Hilbert space is called nilpotent if there exists $n$ such that $A^{n}=0$. An operator is called quasi-nilpotent iff
$$
\limsup_{n\to\infty}{ \|A^{n}\|^{1/n}}=0.
$$
Every ...
- 3,626
2
votes
1
answer
508
views
Fractional integration lemma
Hello everyone.
I am trying to establish a fractional integration lemma of this form.
For $\alpha\geq 0$, and
$1\leq p,q<\infty$ and $0\leq \frac{1}{q}-\frac{1}{p}=\frac{\alpha}{d}$
or $1\leq p,...
CommunityBot
- 1
5
votes
2
answers
1k
views
Critical Radius for Infinite Dimensional Sphere Packing
Hello. I'd like to consider the open unit ball in an infinite dimensional Hilbert space and ask when can we fit infinitely many open balls of radius $r<1$ inside.
For example, when $r=1/(1+\sqrt2)$...
- 60.5k
6
votes
1
answer
404
views
Unique preduals up to (nonisometric) isomorphism?
It's well known that there are Banach spaces which has a unique isometric predual-- for example, any von Neumann algebra. As other questions on here (for example, Isomorphisms of Banach Spaces ) ...
CommunityBot
- 1
3
votes
2
answers
642
views
Localization of Laplacian eigenfunction on the unit square?
Let A be the unit square, $\{u_k\}$ is the set of all L2-normalized Laplacian eigenfunctions with Dirichlet boundary condition. Is it true that for any open subset V, $C_V = \inf\limits_k \int\...
- 13k
-1
votes
1
answer
1k
views
relation between inclusion and embedding [closed]
Assume that $X$ and $Y$ are two Banach spaces, now we have that $X$ is included in $Y$, in the sense that $\forall a\in X$, we have $a\in Y$. Then can we get that $X$ is embedded in $Y$, namely, $\...
- 331
4
votes
2
answers
1k
views
Projective Banach spaces
Injective Banach spaces, with morphisms as contractive linear maps, have been classically studied (and are $C(K)$ spaces with $K$ Stonian). But what about projectives?
So $P$ will be projective if ...
- 5,743
2
votes
3
answers
358
views
Almost Orthogonal Vectors given a Unitary Operator
Let $\mathit{H}$ be a (real or complex) Hilbert space and $U:\mathit{H}\rightarrow\mathit{H}$ be a unitary operator. What conditions can be placed on $U$ to guarantee a sequence $v_n$ such that $|v_n|...
- 54.2k
2
votes
2
answers
1k
views
Characterization of closed subspaces of $ L^2(R)$
Natural way to find an example of banach spaces is to look at closed subspaces of Banach spaces. Initially, It was really hard to find examples of closed subspaces of $L^2(R)$. Then, my professor gave ...
- 60.5k
1
vote
2
answers
1k
views
Convergence of eigenvectors
Let $T$ be a compact operator on $l^2$. Let $T_n$ be finite rank operators and $T_n \to T$ in the operator norm. Is it true that the eigenvalues and eigenvectors of $T_n$ converge to eigenvalues and ...
- 3,504
3
votes
1
answer
588
views
orthonormal basis of eigenvectors for laplacian on a concave polygon
I am interested in the Laplace operator $\Delta$ on a concave polygon.
When the polygon is convex, it is known that $\Delta: H^2(\Omega) \rightarrow L^2(\Omega)$
is boundedly invertible. In addition, ...
- 3,343
1
vote
2
answers
294
views
inequality of norms [closed]
Let $X$ and $Y$ be two Banach spaces with norms $\|\|_X$ and $\|\|_Y$ respectively. If $Z=X\times Y$ is also a Banach space with norm $\|\|_Z$ then what is the relation between $\|\|_X,\:\|\|_Y$ and $\...
- 18.7k
2
votes
0
answers
520
views
Eigenvector of infinite matrix
I consider the system of reaction-diffusion PDEs in a ball
with Robin boundary condition.
It is a Steklov eigenvalue problem
(see G Auchmuty (2004) "Steklov eigenproblems and the representation
of ...
- 31
4
votes
1
answer
688
views
Subgroups of U(M_n)
can any subgroup of the unitary group of full matrix alg $M_d(\mathbb{C})$ be approximated on finite
sets by a finite subgroup?
i.e. is the following True or false?
Let $n, d$ be positive integers ...
CommunityBot
- 1