All Questions
9,779 questions
1
vote
1
answer
635
views
Closed range for a continuous linear transformation
I have a Banach space $B$ and a continuous linear transformation $F:B \rightarrow B\times B$. One of the induced transformations $F(1):B \rightarrow B$ and $F(2):B \rightarrow B$ into the factors of ...
- 31.5k
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 \...
- 833
7
votes
1
answer
737
views
Question about projections on a Hilbert space
Sorry for the vague title, I can't think of a better one that isn't overly long.
Suppose that $S$ is a commuting set of projection operators on a Hilbert space. I'll introduce the following notation: ...
- 73.2k
27
votes
1
answer
4k
views
Criteria for boundedness of power series
Consider a power series $\sum_{n=0}^{\infty} a_n x^n$ that is convergent for all real
x, thus defining a function $f: \mathbb{R} \to \mathbb{R}$.
Can one give necessary and sufficient criteria the ...
- 4,014
1
vote
1
answer
717
views
Double dual space of a C* algebra A
We know that $A$ embeds into $A$** (the double dual space of $A$ ). Is the following true? If $\Psi$ is in $A$** and weak* continuous, is there an element $a \in A$ such that $ \Psi$ is the ...
- 831
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 &...
- 31.5k
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 ...
- 25.8k
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 ...
- 2,821
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 ...
- 12.6k
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 ...
- 4,624
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(...
- 1,471
12
votes
3
answers
2k
views
Relevance of the complex structure of a function algebra for capturing the topology on a space.
This question is the outcome of a few naive thoughts, without reading the proof of Gelfand-Neumark theorem.
Given a compact Hausdorff space $X$, the algebra of complex continuous functions on it is ...
- 7,329
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
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 ...
CommunityBot
- 1
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?
- 1,471
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}$...
- 60.5k
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. ...
- 39k
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 ...
CommunityBot
- 1
4
votes
0
answers
487
views
Convolutions and Toeplitz Operators
Let be $d>0$ an integer number and consider the Cartesian product $\mathbb Z^d$ as metric space, with the distance between $x,y\in\mathbb Z^d$ given by $\|x-y\|_1=\sum_{j=0}^d|x_j-y_j|$.
Let be $...
- 2,044
7
votes
1
answer
286
views
a.e. convergence of the powers of an operator built from rotations
Consider two numbers $a,b\in R/Z$ and some integer $p\geq 1$. Let $T:L^p(R/Z)\rightarrow L^p(R/Z)$ be the operator given by
$$T(f)(x)=1/2(f(x+a)+f(x+b))$$
For which values of $a,b$ do we have almost ...
- 3,343
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\...
- 44.4k
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 ...
- 25.8k
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
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_\...
- 31.5k
15
votes
4
answers
2k
views
Naive questions about "matrices" representing endomorphisms of Hilbert spaces.
This is a very basic question and might be way too easy for MO. I am learning analysis in a very backwards way. This is a question about complex Hilbert spaces but here's how I came to it: I have in ...
- 75
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 ...
- 9,366
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 ...
- 1,471
12
votes
3
answers
1k
views
Drawing conclusions by NOT using AC.
The existence of non-measurable subsets and functions on $\mathbb{R}$ require the use of the axiom of choice. That is, there exist models of ZF in which all subsets of (and hence all functions defined ...
- 3,631
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})^...
- 3,183
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 ...
- 25.8k
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 ...
- 4,624
10
votes
5
answers
1k
views
What is a rigorous statement for "linear time-invariant systems can be represented as convolutions"?
In Signal Processing books, a fundamental theorem is that linear time invariant systems can be represented as a convolution with a distribution. Could you give a mathematically rigorous statement of ...
- 2,745
3
votes
3
answers
1k
views
Minimizing a functional
I have wondered the problem in http://www.helsinki.fi/~hmkokko/Stuff/Esdale/index.html for over year without success. If we try to minimize the functional equation
T(\theta ) = \int_0^L\frac {dx}{v_0\...
- 29k
1
vote
1
answer
1k
views
Besicovitch Covering Constant for R^1
In the case where $E\subset\mathbb{R}^1$, a Besicovitch cover of $E$ is a cover by open intervals such that each point of $E$ is the center of some interval in the cover.
The Besicovitch Covering ...
- 320
1
vote
1
answer
433
views
Intersection of ideals in C*-algebra or even rings in general
Dear all,
here is a question that has been bothering me. It goes without saying that I would appreciate any help in answering it.
Let {I_k} be a countable sequence of two sided closed ideals in a C*-...
- 20.8k
1
vote
0
answers
133
views
Square powers of hemicontinuous operators
Let H be an infinite dimensional real Hilbert space.
A [not necessarily linear] mapping of H into itself is said to be hemicontinuous if it is continuous from each line
segment of H to the weak ...
- 4,060
2
votes
2
answers
768
views
Elementary vector measure question: what am I doing wrong?
This is an edited post of a post I made on sci.math (e.g. to fit MO markup) with
an elementary question on vector measures. Since it is almost a week and I have
received no answers, I am trying here. ...
- 11.4k
3
votes
1
answer
556
views
"Radon-Nikodym theorem" for nonabsolute continuous measures
Recently, in a particular problem I was solving, I needed some kind of Radon-Nikodym theorem for measures where one of them is not necessarily absolutely continuous with respect to other.
My colleague ...
- 41.1k
94
votes
1
answer
11k
views
The mathematical theory of Feynman integrals
It is well known that Feynman integrals are one of the tools that physicists have and mathematicians haven't, sadly.
Arguably, they are the most important such tool. Briefly, the question I'd like to ...
- 2,097
10
votes
2
answers
1k
views
Are operators with trivial spectrum nilpotent in a sense?
Being far from analysis, I recently learned about the Invariant subspace problem and came up with the following (perhaps simple or well-known) question.
Let $H$ be a separable complex Hilbert space ...
- 60.5k
7
votes
1
answer
1k
views
Banach spaces with a certain separability property
In Ledoux and Talagrand's "Probability in Banach Spaces", for technical reasons they frequently assume that a Banach space $B$ has the property that the unit ball of $B^*$ contains a countable subset $...
- 1,544
1
vote
2
answers
3k
views
unit sphere is weak dense in the unit ball
As I remember the following is true:
Fact: for every infinite-dimensional normed space $X$
the unit sphere $S$ is weak-dense in the unit ball $B$.
Please help me find a reference.
Thanks in ...
- 29.8k
11
votes
2
answers
2k
views
What's wrong with compact-open topology on the space of maps?
Given a smooth vector bundle $E$ with non-compact base, let
$\Gamma(E)$ be the space of $C^\infty$ sections equipped with compact-open $C^\infty$-topology.
I have heard that $\Gamma(E)$ is not ...
- 26.8k
8
votes
1
answer
1k
views
Borel(X) = \sigma(X') for X non-separable
Let $X$ be a Banach space, $X' = \mathcal{L}(X, \mathbb{K})$ its dual space. Denote by $\mathcal{B}(X)$ the $\sigma$-algebra of Borel sets and denote by $\sigma(X')$ the $\sigma$-algebra which is ...
- 41.1k
6
votes
2
answers
1k
views
Quantitative questions about the size of a finite epsilon net
Let $X$ be a metric space, and let $U \subset X$ be any set. A finite set $N = N(\epsilon) \subset U$ is called a finite $\epsilon$-net of $U$ if every point of $U$ is at most a distance of $\epsilon$...
- 943
4
votes
1
answer
985
views
weak convergence in infinite dimensional spaces
Weak convergence can be tricky when dealing with infinite dimensional spaces. For example, the usual Levy's continuity theorem does not extend readily to separable Banach spaces.
Consider a (...
- 3,069
6
votes
0
answers
2k
views
Weak lower semi-continuity
Which conditions assure the weak lower semicontinuity of, say, an integral functional of the type
$F(u):=\int_\Omega f(u(x),Du(x))dx$ on $W^{1,2}(\Omega,\mathbb{R}^N)$ for a bounded, if you will even ...
9
votes
5
answers
870
views
Abelianization of GL(H)
This is related to Theo's question about the abelianizations of finite dimensionsal Lie groups.
I am interested in a specific (infinite-dimensional) case of the above question. Let H be an infinite-...
CommunityBot
- 1
11
votes
1
answer
654
views
Nonseparable Hilbert spaces as quotients of spaces of bounded functions
Is the following result true: the Hilbert space $\ell^{2}\left(2^{\Gamma}\right)$ is a quotient of $\ell^{\infty}\left(\Gamma\right)$ for any
uncountable $\Gamma$ ? [I think it is, but cannot remember ...
- 31.5k