Banach spaces, function spaces, real functions, integral transforms, theory of distributions, measure theory.

learn more… | top users | synonyms (1)

4
votes
2answers
182 views

On the possibility of extending the Sz.-Nagy dilation theorem for multiple contraction operators on Hilbert spaces

I am presently doing research concerned with operator algebras and operator theory and I thought to write here in the hopes of seeking expert advice on an idea I had here. The classic Sz.-Nagy ...
2
votes
0answers
152 views

Every convex sequentially closed set is closed

Let $X$ be a vector space. A vector (not necessarily Hausdorff) topology on $X$ will be called convex sequential if every convex sequentially closed subset of $X$ is closed. Is there some description ...
2
votes
2answers
134 views

Finding a specific Global Smooth Function

Any help with this problem would be appreciated. Thanks Suppose $(M^3,g)$ is a smooth compact Riemannian manifold with smooth boundary and $\gamma$ is a simple smooth orientable curve in $M$. Does ...
6
votes
1answer
166 views

von Neumann algebras as C*-algebras with multiplicative conditional expectation $A^{**}\to A$

Let $A$ be a C*-algebra. We identify $A$ with its canonical image in the bidual $A^{**}$. Consider the following conditions: (1) $A$ is a von Neumann algebra. (2) There is a multiplicative ...
3
votes
0answers
74 views

Automorphism group of Lie algebra of bounded operators

What is the automorphism group of the complex Lie algebra of bounded operators on a complex Hilbert space, with the commutator as Lie bracket? What for the real Lie algebra of bounded antihermitian ...
0
votes
0answers
36 views

regularity of the conditional expectation: from Markov to Non-Markov

Let $B=(B_t)_{0\le t\le T}$ be a standard Brownian motion and $\mathbb F=(\mathcal F_t)_{0\le t\le T}$ be its natural filtration. Let $\xi=\xi(B)$ be a bounded measurable functional. Now let's ...
1
vote
2answers
215 views

Density of sets whose image is dense

This is probably easy, but I can't think of an answer. Assume $X$ is a Banach space and $A$ is a (not assumed closed) subspace of $X$. Let $T:X \to X$ be a bounded linear operator, which is also ...
5
votes
2answers
489 views

Holomorphy of a function with values in a Hilbert space

I asked the same question on MathStackExchange. EDIT: This question has now a open bounty worth +50 reputation on MSE. Denote by $\mathbb C^\infty $ the Hilbert space $\ell^2 (\mathbb C)$. Fix $1\leq ...
3
votes
1answer
106 views

Two minimization problems using singular value decomposition

Posted here too: http://math.stackexchange.com/questions/1711026/two-minimization-problems-using-singular-value-decomposition Let $q_0, q_1:[0,1]\to \mathbb{R}^n$ be two maps whose components are ...
5
votes
2answers
173 views

Help in understanding result from publication on operator theory

in my research on dilations of contractions on Hilbert spaces and manifolds I have come across this nice publication concerning the classic Sz-Nagy theorem on the Arxiv by Levy and Shalit which states ...
1
vote
0answers
54 views

Finding the infimum of the range of a certain non-negative function associated to a $ C^{*} $-algebra

Let $ A $ be a non-trivial $ C^{*} $-algebra and $ n \in \mathbb{N} $. Setting $ \mathcal{D} \stackrel{\text{df}}{=} A^{n} \setminus \{ (0_{A},\ldots,0_{A}) \} $, we can define a function $ f: ...
1
vote
0answers
83 views

Regularity properties of convolution

Let $f$ be a compactly supported $C^{\alpha}$ function (that is Holder continuous with exponent $\alpha$) and let $g$ be a compactly supported $C^\beta$ function. What can we say about Holder ...
4
votes
1answer
181 views

Sequentiality of largest vector topology

I know that the largest vector topology on countable dimensional vector space is sequential (i.e. every sequentially closed set is closed). Does it keep for the arbitrary vector space? In countable ...
5
votes
1answer
120 views

Quantum group representations from (convolution) matrix units?

Let $A=F(\mathbb{G})$ be the algebra of functions on a finite quantum group with a Haar state $$h=:\int_\mathbb{G}:F(\mathbb{G})\rightarrow \mathbb{C}.$$ There is a convolution product on ...
3
votes
2answers
526 views

Are Hilbert-Schmidt operators on separable Hilbert spaces “Hilbert Schmidt” on the space of Hilbert Schmidt Operators?

Let's consider a separable Hilbert space $(\mathcal H, \langle\cdot, \cdot\rangle_{\mathcal H})$ with Norm $||\cdot||_{\mathcal H} := \langle\cdot, \cdot\rangle^{1/2}_{\mathcal H},$ orthonomal basis ...
5
votes
1answer
169 views

Is this a characterization of commutative $C^{*}$ algebras?

Assume that $A$ is a $C^{*}$ algebra with self adjoint elements $A_{sa}$. Assume that for all $a,b\in A$ we have $$ab\in A_{sa} \iff ba \in A_{sa}$$ Is $A$ necessarily a commutative ...
2
votes
0answers
150 views

Metric analogues of bounded variation

A function $f:[a,b]\to\mathbb{R}$ is said to be of bounded variation if $$ \sup_I \sum_{i=1}^n |f(x_i)-f(x_{i-1})| \le V $$ for some finite $V>0$, where the supremum is over all finite partitions ...
3
votes
1answer
285 views

Invariant probability on a unit ball of a Banach space

Let $\Gamma$ be a discrete group acting on an infinite-dimensional Banach space $X$ by linear isometries. Is there a probability measure (non-atomic, not supported on a finite dimensional subspace) ...
0
votes
1answer
85 views

Extracting a subsequence for which $\sup_j \left\vert \text{supp}(x_{n_j}) \right\vert < \infty$

Let $X$ be a Banach space with basis $(e_n)_{n=1}^\infty$, and suppose that $(x_i)_{i=1}^\infty$ is a normalized block basic sequence of $(e_n)_{n=1}^\infty$. In addition assume that ...
4
votes
0answers
114 views

A Banach space with the BD property and without the weak Gelfand-Phillips property

A subset A of X is called Grothendieck if every operator T from X to $c_0$ maps A to a relatively weakly compact set. A Banach space has the weak Gelfand-Phillips property (wGP) if every ...
1
vote
2answers
44 views

List of tensor product spaces with uniform crossnorms

Let $H^{(j)}$ and $G^{(j)}$ be Banach spaces for $j\in\{1,\dots,n\}$. Call norms $\|\cdot\|_{H}$ and $\|\cdot\|_{G}$ on the algebraic tensor products $H:=\bigotimes_{j=1}^n H^{(j)}$ and ...
1
vote
2answers
171 views

Is there a name for this metric on a Borel sets

Consider a finite measure space $(X,\Sigma,\mu)$. Consider the function $d:\Sigma \times \Sigma \to [0,1]$ given by $$d(\sigma_1,\sigma_2) = \mu \left\{ (\sigma_1^c \cap \sigma_2) \cup (\sigma_1 \cap ...
1
vote
0answers
60 views

Properties of a Sobolev bound

I am interested in computing $$ A:=\inf_{f\in L^{2}(\mathbb{R}^3)}\frac{||K^{\frac{1}{4}}f||_2^2}{||f||_{\frac{5}{2}}^2} $$ where $K:=-\Delta+1$. We call $f_c$ the function that saturates the bound. ...
3
votes
1answer
109 views

Structure of chain of duals in functional analysis

In functional analysis, there is a concept of a self dual space (Hilbert) and a self double dual space (reflexive). I am curious as to whether a generalization exists or not (and if it exists, whether ...
3
votes
1answer
92 views

Restrictions on spectral measure

Given any Borel measure $\mu$ on $\mathbb{R}$, define a map that sends any $f\in C_c(\mathbb{R})$ to $$T_\mu(f)(y)=\int \langle\exp(-i x \lambda),f(x)\rangle\exp(iy\lambda)d\mu(\lambda).$$ Here ...
2
votes
0answers
75 views

Quantum Groups and quantum spaces - From algebra to Analysis

My question will be about the non-standard quantum projective space $\mathcal{A}_q(\mathbb{CP}^n(c,d))$ introduced by Dijkhuizen and Noumi. I want to see this algebra now on a von Neumann algebraic ...
4
votes
1answer
174 views

Non-equivalence of admitting different types of bases in Banach spaces

Whenever a certain type of (Schauder) basis is defined, it is natural to ask where that type lies in the scheme of other types of bases. This involves finding counter-examples of one type of basis ...
1
vote
0answers
97 views

Extending continuous functions from $\partial X$ to $X\cup \partial X$

Consider a proper geodesic hyperbolic space $X$ (in the sense of Gromov). Let $\partial X$ be its Gromov boundary. Consider a complex-valued continuous function on the boundary $f\colon\partial ...
2
votes
0answers
121 views

The minimum value of a energy integral

Let $D \subset {\mathbb{R}^3}$ a simple connected open domain with volume $\int_{\bar D} {dV = 1} $. $\varphi :{\mathbb{R}^3} \to \mathbb{R}$ is ${C^1}$, $\varphi (\infty ) = 0 $ and $${\nabla ...
1
vote
2answers
99 views

Any analysis on phase of eigenvalue of unitary matrix?

I understand that there are invariant Haar measure for eigenvalues of unitary matrix. I further understand that absolute value of eigenvalues of unitary matrix is 1. But, I could not find any analysis ...
0
votes
0answers
36 views

Compatible topologies with same topology on a particular subset

Let $X$ be a Riesz space equipped with some locally convex Hausdorff topology, $C \subseteq X$ its positive cone and $X'$ its dual with dual cone $C' \subseteq X'$ (i.e. the polar of $-C$). Is there ...
7
votes
1answer
129 views

Does infinitesimal variance imply continuity?

Let $u:[0,1]\to\mathbb{R}^n$ be a bounded Borel function. It is well-known that if, for any compact interval $I\subseteq [0,1]$, $$ \int_I|u-u_I|^2\le C|I|^{1+\alpha} $$ for some $C,\alpha>0$ (here ...
1
vote
2answers
148 views

Where can I find some articles and lecture notes in renorming theory in Banach spaces? [closed]

I am really into renorming theory in Banach spaces especially, renorming in non-reflexive Banach spaces such that they have nice property, for example they have fixed point property,locally uniformly ...
0
votes
0answers
53 views

Existence of strictly convex Banach space without weak normal structure

This is a complementary question to the following at Existence of normal structure in strictly convex Banach spaces Does there exist a strictly convex Banach space without the weak normal structure ...
2
votes
0answers
151 views

Must rows of a transition matrix be distinct?

Is it true that for all continuous time Markov processes on a countable state space $S$, we have all rows of the transition matrix $\mathbf{P}_t$ are distinct for all time $t\in[0,\infty)$ ? This ...
4
votes
1answer
144 views

Is the topological dual of a Banach space weakly* closed in its algebraic dual?

The question is completely contained in the title :) I can only add, that it is not difficult to give a counterexample for normed spaces, and also Banach-Steinhaus theorem implies the sequential ...
0
votes
0answers
40 views

trace sobolecv inequality for $q=2(n-1)/(n-2)-\varepsilon$ in half space

Can I do the following inequality, for $ u\in D^{1,2}(R^n_+)$, we have $(\int _{R^{n-1}} |u|^{2(n-1)/(n-2)-\varepsilon}dx')^{\frac{ 1}{2(n-1)/(n-2)-\varepsilon } }\leq C ( \int _{ R^n_+}| \nabla ...
2
votes
1answer
111 views

$L^p$-bounding inequality [closed]

Do we have that$$\|Du\|_{L^{2p}} \le C\|u\|_{L^\infty}^{1\over2} \|D^2u\|_{L^p}^{1\over2}$$for $1 \le p < \infty$ and all $u \in C_c^\infty(U)$? Here, $U$ denotes an open subset of $\mathbb{R}^n$.
11
votes
0answers
258 views

Kolmogorov width for cartesian products

For an operator $T:X\to Y$ between Banach spaces with unit balls $B_X$ and $B_Y$ the sequence of Kolmogorov widths is $$ \delta_n(T)=\inf\lbrace \delta>0: T(B_X)\subseteq \delta B_Y +L \text{ for ...
3
votes
1answer
79 views

Sobolev inequality involving summing from $j = 0$ to $m - 2$, exists constant

Let $I = (0, 1)$ and $1 \le q < \infty$. For all $\epsilon > 0$, does there exist $C = C(\epsilon, q)$ such that$$\|D^{(m - 1)}u\|_{L^q(I)} + \sum_{j = 0}^{m - 2} \|D^ju\|_{L^\infty(I)} \le ...
0
votes
1answer
121 views

Countably generated $\sigma$-algebra

Let $(\Omega,\Sigma,\mu)$ be a countably generated probability space. Must $(\Omega,\Sigma,\mu)$ be isomorphic modulo null sets to a standard probability space? I assume not, so here is a more ...
11
votes
2answers
360 views
+100

A matrix norm inequality

Suppose that $A, B$ are Hermitian positive definite matrices of the same order and $0\le p\le 1$. Using a standard approach in matrix analysis, one can show that $\|A^{1-p}B^p\|\ge \|A\sharp_p B\|$, ...
1
vote
1answer
88 views

A problem about the quotient space of an extended Dirichlet space

Let $(\mathscr{E},\mathscr{F})$ be a recurrent Dirichlet form on $L^2(X;m)$ and $\mathscr{F}_e$ the corresponding extended Dirichlet space, then $1\in\mathscr{F}_e$ and $\mathscr{E}(1,1)=0$. Let ...
1
vote
0answers
59 views

inverse problem to resolution of the identity

Suppose $f_\lambda(x),\lambda \in \mathbb{R}$ is a continuous/smooth family of bounded function on $\mathbb{R}$. Given a measurable set $\mathfrak{m}$ on $\mathbb{R}$, define ...
0
votes
0answers
56 views

weakly precompact operators

A subset $S$ of $X$ is said to be weakly precompact provided that every sequence from $S$ has a weakly Cauchy subsequence. An operator $T:X\to Y$ is called weakly precompact (or almost weakly ...
7
votes
1answer
293 views

The Fourier transform of a function supported on $B_1$ is essentially constant on $B_1$?

I'm going through the last steps of Bourgain and Demeter's proof of the $l^2$ decoupling conjecture, but I'm unable to see how the first inequality in (43) goes through. I'll water down the question a ...
7
votes
1answer
233 views

What does the unique mean on weakly almost periodic functions look like?

There is a unique invariant mean $m$ on WAP functions on any discrete group (see definitions below, theorem of ?). However, the proofs I found are fairly non-explicit on how to obtain this invariant ...
1
vote
0answers
56 views

Perturbation in Besov space

$\|f\|_{B^{0}_{p,p}}=(\sum_{j\geq -1} \|\Delta_j f\|_p^p)^{1/p}$ is the Besov norm of $f$. Here the Fourier transform of $\Delta_jf~(j\geq 0)$ is $\psi(2^{-j}\xi)\hat{f}(\xi)$ and $\psi$ is a smooth ...
6
votes
1answer
217 views

Completion of spaces of measures w.r.t. weak norms

For the sake of concreteness denote by $M_0(X)$ the linear space of all signed Borel measures $\sigma$ with $\sigma(X)=0$ on some metric space $(X,d)$ and fix some base point $x_0\in X$. On this space ...
0
votes
0answers
108 views

Extension of harmonic function with bounded $L^{2}$ norm

Let $h:D\setminus \{0\}\rightarrow \mathbb{R}$ be a harmonic function, where $D$ is the unit disc in $\mathbb{R}^{2}$, with bounded $L^{2}$ norm, i.e. $||h||_{L^{2}(D)}^{2}=\int_{D}|h|^{2}(x,y)dxdy ...