All Questions
10,198 questions
8
votes
1
answer
920
views
Looking for references talking about category of topological vector spaces
It's known that category of topological vector spaces is not abelian but quasi-abelian or exact category. I am looking for the references playing with this category(category theory). All the related ...
- 5,515
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, ...
- 8,903
21
votes
0
answers
876
views
Are the eigenvalues of the Laplacian of a generic Kähler metric simple?
It is a theorem of Uhlenbeck that for a generic Riemannian metric, the Laplacian acting on functions has simple eigenvalues, i.e., all the eigenspaces are 1-dimensional. (Here "generic" means the set ...
- 6,247
7
votes
3
answers
1k
views
If *Y* is weakly dense in *X*, is the unit ball in *Y* necessarily dense in the unit ball in *X*?
Let X be a normed space and denote by X* the space of all bounded linear functionals on X. Take a linear subspace G ≤ X* which separates the elements of X, i.e., for each x ∈ X, there is an f &...
- 73
3
votes
1
answer
1k
views
Cyl(E) = Borel(E) for E non-reflexive Grothendieck Banach space
This is sort of a follow-up to Borel(X) = \sigma(X') for X non-separable
PROBLEM: Given a Banach space $E$ over $\mathbb{K} \in \{\mathbb{C}, \mathbb{R}\}$ that has the Grothendieck property. ...
- 1,338
2
votes
1
answer
2k
views
Cesaro convergence implies weak convergence of a subsequence
Suppose a bounded sequence $(x_n)$ converges to $x$ in the Cesaro sense (i.e., $\frac{1}{n}(x_1 + x_2 + \dots + x_n)\rightarrow x$) in a separable Hilbert space $H$. How to prove that some subsequence ...
- 5,019
1
vote
2
answers
3k
views
Weak-* compactness in L^1
Hey I'm really stuck on what I think is an interesting 'paradox'. Consider the sequence of functions $f_n = 1_{[n,n+1]}$ (indicator functions of the interval $[n,n+1]$.
These are uniformly bounded ...
- 19
3
votes
1
answer
615
views
When is a fixed point of f^n a fixed point of f?
Let $E$ be a Banach space and $f:E\to E$ be a continuous map. By $f^n$ we denote the $n$-th iterate of $f$, i.e. $f^n:=\underbrace{f\circ f\circ\cdots \circ f}_{\text{n times}}$. Let $x_0$ denote a ...
- 41
11
votes
1
answer
603
views
Reference for a particular Radon transform on non-positively curved spaces
Let me first recall that the classical Radon transform takes a (smooth compactly supported, say) function $f$ defined on $\mathbb{R}^n$ as an input, and gives as output the map $H\mapsto \int_H f$ for ...
- 14.4k
14
votes
1
answer
1k
views
Any further applications of Freudenthal's 1936 Spectral Theorem?
Seemingly completely forgotten, back in 1936, the Dutch mathematician Freudenthal, quite well known at the time, proved his so called Spectral Theorem, see chapter 6 in Luxemburg & Zaanen : Riesz ...
5
votes
2
answers
1k
views
Applications of minmax theorem(s)
Intro We suppose $X$ and $Y$ are nonempty sets and f: $X\times Y \rightarrow \mathbb{R}$. A minimax theorem is a theorem that asserts that, under certain conditions,
$$ \inf_Y \sup_X f = \sup_X \...
2
votes
0
answers
433
views
Banach lattice with AP but without BAP?
Is there an example of a Banach lattice with the approximation property
of Grothendieck, but without the MAP (metric approximation property)?
- 67
6
votes
1
answer
444
views
When does a matrix define a convolution operator on a hypergroup?
Let $H$ be a discrete hypergroup. Suppose I have a matrix $A=(A_{x,y})$ indexed over $H$ with nonnegative entries which defines a bounded operator on $\ell^2(H)$. When does there exist $f\in\ell^1(H)$ ...
- 5,425
18
votes
1
answer
3k
views
Let a function f have all moments zero. What conditions force f to be identically zero?
Throughout, let $f$ be a Lebesgue measurable function (or continuous if you wish, but this is probably no easier). (Questions with distributions etc. are possible also but I want to keep things simple ...
- 1,990
7
votes
1
answer
577
views
Does a crossed product R⋊_α F_n of the hyperfinite factor of type II_1 and a free group have the QWEP?
Let $\mathcal{R}$ be the hyperfinite factor of type $\rm{II}_1$ and let $\mathbb{F}_n$ be a free group with $n$ generators. Let $\alpha$ be an action of $\mathbb{F}_n$ on $\mathcal{R}$.
Does the von ...
- 1,222
6
votes
2
answers
2k
views
Inner products and norms
Let $f:[n]\times [n] \rightarrow [0,1]$ be a function from pair of integers to the real interval [0.1]. I would like to find sets of complex vectors
$X= \{x_i\}$ and $Y=\{y_j\}$ satisfying $x_i\cdot ...
18
votes
1
answer
5k
views
Unbounded linear operator defined on $l^2$
Let $l^2$ be a Hilbert space of infinite sequences $(z_0, z_1, \cdots)$ with finite $\sum_{i=0}^{\infty} |z_i|^2$.
Are there any simple example of unbounded linear opearator $T: l^2 \to l^2$ with $D(...
- 2,821
19
votes
6
answers
10k
views
Subspaces of finite codimension in Banach spaces
Is every finite codimensional subspace of a Banach space closed? Is it also complemented? I know how to answer the same questions for finite dimensional subspaces, but couldn't figure out the finite ...
- 5,019
3
votes
1
answer
1k
views
Adjoint/transpose of wavelet transform
I'm using a wavelet transform in Matlab, so I think of it as a black-box. I'll represent it here as $W(x)$. There's a reconstruction function as well, which I'll write as $W^\dagger(y)$. I can ...
- 170
10
votes
2
answers
960
views
Stone-Weierstrass for cones
A version of the Stone-Weierstrass Theorem asserts: If A is a linear subspace of C(K), the set of continuous functions on a compact space, and if A is a subalgebra that contains the constant functions ...
- 101
4
votes
1
answer
228
views
When can closedness of the range of an operator be checked on a positive cone?
Let $T:X\to Y$ be an operator between Banach spaces $X$ and $Y$. Assume that $X$ has a positive cone $C\subset X$, which generates $X$: every element of $X$ can be written as a difference of elements ...
user2412
2
votes
2
answers
874
views
Dimension of the space of harmonic functions on the unit ball
Is the dimension of the space of $H^2(B)$ harmonic functions on unit ball $B\subset\mathbb{R}^d$ countably or uncountably infinite?
- 21
21
votes
1
answer
1k
views
Banach spaces with few linear operators ?
Sometimes, dealing with the concrete and familiar Banach spaces of everyday life in maths, I happen nevertheless to ask myself about the generality of certain constructions. But, as I try to abstract ...
- 60.5k
5
votes
2
answers
3k
views
Uniform convergence of difference quotient
Let $\phi\in C^\infty_c(\mathbb R)$ be a smooth function with compact support.
For $h>0$ define the difference quotient $\phi_h\in C^\infty_c(\mathbb R)$ by $\phi_h(t)=\dfrac{\phi(t+h)-\phi(t)}{h}$...
- 3,184
4
votes
3
answers
3k
views
Distributional derivative of non continuously differentiable functions
Hello,
let $f$ be a continuously differentiable function on $R^n$. Then its classical derivative and its distributional derivative coincide.
It is known (cf. Rudin, Functional Analysis, Sect. 6.13) ...
- 5,327
6
votes
1
answer
581
views
A puzzling question on real interpolation
Suppose an operator $T$ is bounded on $L^2$ and also bounded from $L^{1}$ to $L^{1}$-weak. Then by Marcinkewicz interpolation one gets that $T$ is bounded on every $L^{p}$ for p between 1 and 2. ...
- 9,007
10
votes
1
answer
1k
views
Strictly convex equivalent norm
Does every Banach space admit an equivalent strictly convex norm (i.e. such a norm, that a unit sphere does not contain segments)?
- 109k
15
votes
2
answers
1k
views
Approximating operators on Banach spaces by bounded operators on a proper dense subspace
While digging through old piles of notes and jottings, I came across a question I'd looked at several years ago. While I was able to get partial answers, it seemed even then that the answer should be ...
- 25.8k
3
votes
2
answers
1k
views
Spectral decomposition for an arbitrary linear combination of position and momentum operators
Suppose we have the Hilbert space L2(Rn) and we have n operators Qi and n operators Pi defined in the usual way by:
Qi ψ(q1,q2,...,qn) = qi ψ(q1,q2,...,qn)
Pi ψ(q1,q2,...,qn) = -i $\frac{...
- 195
3
votes
6
answers
8k
views
Functional Analysis and its relation to mechanics
Hi I'm currently learning Hamiltonian and Lagrangian Mechanics (which I think also encompasses the calculus of variations) and I've also grown interested in functional analysis. I'm wondering if there ...
- 33
9
votes
2
answers
674
views
Small crown probabilities (and infinite dimensional margin assumption)
My question is:
How do I find sharp upper bounds on $P(|q|\leq \epsilon)$ uniformly over a set of gaussian polynomes $q$ of degree two.
Notations and definitions (to make the question rigorous)
Let ...
23
votes
3
answers
6k
views
Density of smooth functions under "Hölder metric"
This question came up when I was doing some reading into convolution squares of singular measures. Recall a function $f$ on the torus $T = [-1/2,1/2]$ is said to be $\alpha$-Hölder (for $0 < \alpha ...
- 505
1
vote
0
answers
308
views
Loynes spaces, also called pseudo-Hilbert spaces
Let me first define my object:
First, a locally convex space $Z$ is called admissible in the sense of Loynes if
$Z$ is complete
There is a closed convex cone in $Z$, called $Z_+$, satisfying (for $x\...
- 2,600
26
votes
3
answers
11k
views
L1 distance between gaussian measures
L1 distance between gaussian measures: Definition
Let $P_1$ and $P_0$ be two gaussian measures on $\mathbb{R}^p$ with respective "mean,Variance" $m_1,C_1$ and $m_0,C_0$ (I assume matrices have full ...
- 833
11
votes
0
answers
1k
views
Is the Fourier-Transform a bounded operator on Lorentz spaces L(2,q)?
It is well known that the Fourier transform $\mathcal{F}$ maps $L^1(\mathbb{R}^n)$ continuously into $L^\infty(\mathbb{R}^n)$ and $L^2(\mathbb{R}^n)$ continuously into $L^2(\mathbb{R}^n)$.
Then, by ...
- 111
3
votes
1
answer
280
views
An analogue of an old proposition
For the absolute value $|C|=(C^*C)^\frac{1}{2}$ and the
Hilbert-Schmidt norm
$\parallel C\parallel_{HS}=(trC^*C)^\frac{1}{2}$ of the operator $C$. The
following inequality is shown by Araki et al in ...
- 223
8
votes
2
answers
915
views
Group homomorphisms and maps between function spaces
Let G and H be locally compact groups, and let $\theta:G\rightarrow H$ be a continuous group homomorphism. This induces a *-homomorphism $\pi:C^b(H) \rightarrow C^b(G)$ between the spaces of bounded ...
- 18.7k
25
votes
1
answer
8k
views
Convergence of Fourier Series of $L^1$ Functions
I recently learned of the result by Carleson and Hunt (1968) which states that if $f \in L^p$ for $p > 1$, then the Fourier series of $f$ converges to $f$ pointwise-a.e. Also, Wikipedia informs me ...
- 871
19
votes
6
answers
8k
views
Unbounded operator bounded in a dense subset
Let $X, Y$ be normed vector spaces, where $X$ is infinite dimensional. Does there exist a linear map $T : X \rightarrow Y$ and a subset $D$ of $X$ such that $D$ is dense in $X$, $T$ is bounded in $D$ (...
- 783
2
votes
4
answers
1k
views
An inequality question
Let $M$ be a $3\times2$ matrix. Is it true that for any $x\in\mathbb{R}^{2}$
with $\left\Vert x\right\Vert _{3}=1$ there is some subspace $V$
with dimension $2$ of $\mathbb{R}^{3}$, such that $\left\...
- 59
8
votes
1
answer
713
views
Factoring operators $L_\infty \longrightarrow L_2$ as the composition of $n$ strictly singular operators, $n\in \mathbb{N}$
Motivation and background This question is motivated by the problem of classifying the (two-sided) closed ideals of the Banach algebra $\mathcal{B}(L_\infty)$ of all (bounded, linear) operators on $L_\...
- 2,378
4
votes
1
answer
311
views
Continuous functions on the states of a C*-algebra and its elements
Let $\mathcal A$ be a C*-algebra and $s(\mathcal A)$ the set of states on $\mathcal A$, with the weak* topology, as a subspace of the dual space. Suppose $f: s(\mathcal A) \to \mathbb C$ is a ...
- 41
152
votes
18
answers
24k
views
Why do we care about $L^p$ spaces besides $p = 1$, $p = 2$, and $p = \infty$?
I was helping a student study for a functional analysis exam and the question came up as to when, in practice, one needs to consider the Banach space $L^p$ for some value of $p$ other than the obvious ...
5
votes
1
answer
681
views
Does the norm of a normed linear space determine the form of its dual spaces elements?
Hello everybody,
As an introductory example, suppose $U \subset R^n$ is open and bounded, let $p = 2$. Then there is a constant $c>0$ s.t. $\forall u \in W^{1,p}_0 : \Vert u \Vert _ {W^{1,p}_0} \...
- 5,327
2
votes
2
answers
679
views
L^2 space of holomorphic functions with given weight
Hi folks, what is known about the $L^2$ space of holomorphic functions of 1 complex variable with the scalar product
$\langle f, g \rangle = \int dzd{\bar z} \frac{ {\bar f(z)} g(z) }{(1 + z{\bar z})^...
- 362
13
votes
5
answers
1k
views
Does this sequence span $L^2$?
Consider the following sequence of functions in $L^2[0,\infty)$:
$$f_n(x)=e^{-x/n}x^n,\;\;n\geq 1$$
Does this sequence span $L^2[0,\infty)$ (that is, is the set of finite linear combinations
of these ...
- 520
2
votes
1
answer
272
views
Contractions and spaces
Suppose $X$ is a closed subspace of an $L^{1}$-space and $X$ is isometric to another $L^{1}$-space. Then we know that $X$ is in the range of a contractive projection on the $L^{1}$-space. Is there any ...
- 95
4
votes
1
answer
466
views
Injection between non-isomorphic irreducible Hilbert space reps?
I must be missing something trivial here.
Let $G$ be, say, a reductive Lie group (or more generally any locally compact Hausdorff unimodular topological group). A unitary Hilbert space representation ...
- 41.4k
8
votes
3
answers
1k
views
When does a unitary Hilbert space rep of a reductive Lie group decompose into a direct sum of irreps with finite multiplicities?
I'm giving some lectures on the trace formula. Here's something I proved in the last lecture. Let $G$ be a locally compact Hausdorff unimodular topological group (e.g. a reductive Lie group), let $\...
- 41.4k
81
votes
3
answers
9k
views
Norms of commutators
If an $n$ by $n$ complex matrix $A$ has trace zero, then it is a commutator, which means that there are $n$ by $n$ matrices $B$ and $C$ so that $A= BC-CB$. What is the order of the best constant $\...
- 31.5k