All Questions
12,776 questions
6
votes
1
answer
780
views
What is the origin of this positive matrix characterization of bounded analytic functions on the unit disk?
Background: Let $S$ denote the so-called Schur class of complex analytic functions from the open unit disk $D$ in $\mathbb{C}$ to the closed unit disk $\overline{D}$. Given distinct points $z_1,\...
- 7,329
0
votes
1
answer
1k
views
How to prove that rational functions satisfy a Lipschitz condition in the *chordal metric*?
How can one show that rational functions satisfy a Lipschitz condition in the chordal metric on the Riemann sphere?
- 9,366
1
vote
1
answer
359
views
the Cech-cohomology of the sheaf of germs of plurisubharmonic functions defined on a domain in C^n
we all know that if we consider the sheaf of germs of a holomorphic functions defined on a domain in C^n,we have too many beautiful theorems characterizing the geometry of the domain by consider the ...
- 23.5k
0
votes
1
answer
288
views
The Quantum Operations On The Bipartite Systems
Given two distinct and noninteracting quantum mechanical
systems $\mathfrak{S}\_1$ and $\mathfrak{S}\_2$ with state spaces
$\mathcal H\_1$ and $\mathcal H\_2$, respectively, the state space
of the ...
- 6,342
28
votes
2
answers
3k
views
Restriction of a complex polynomial to the unit circle
I am pretty sure that the following statement is true. I would appreciate any references (or a proof if you know one).
Let $f(z)$ be a polynomial in one variable with complex coefficients. Then there ...
- 68.9k
3
votes
3
answers
2k
views
Error analysis of implicit functions
I'm trying to do propagation of error using the linearized variance method (assuming independent variables, thus no need for the covariance terms):
$$\sigma^2_f = \sum^n_{k=0} \left(\frac{\partial f}{...
- 15.4k
3
votes
0
answers
131
views
Slicing the fibres of a meromorphic function with the zero set of a section of an ample line bundle
I'm going through a proof of a vanishing theorem by Sommese ($H^{p,q}(X,L) = 0$ for $p+q > n+k$ if $L$ is $k$-ample) and have hit the following brick wall:
I've got a complex projective manifold $...
- 4,343
1
vote
2
answers
3k
views
bounding roots of a polynomial with Rouche's Theorem
Suppose f(z) = z^n - k [ z^(n-1) + ... + z + 1 ] where n is a positive integer and k is a real constant such that nk<1.
I have shown that a root of this ...
CommunityBot
- 1
5
votes
1
answer
467
views
Info about Elton–Odell theorem
Hello everyone, could anyone please tell me where can I find information about the Elton–Odell theorem?
It states:
For any infinite dimensional Banach space $X$ there is a $q > 1$ so that $X$ ...
- 9,366
5
votes
1
answer
1k
views
Mode of convergence of a power series
I am looking for a power series $\displaystyle f(z) = \sum_{n=0}^{+\infty} a_n z^n$ that converge uniformly on $\mathcal{D} = \Big\{ z \in \mathbb{C} \ / \ \vert z \vert \leq 1 \Big\}$ but not ...
CommunityBot
- 1
4
votes
1
answer
822
views
What is the tensor product of $L^p(\bf R)$ with $L^q(\bf R)$?
I'm wondering: What is the tensor product of $L^p({\bf R})$ with $L^q({\bf R})$?
(For p=q=2, the answer clearly should be $L^2({\bf R}^2)$; for other values of $p$ and $q$, it is not at all obvious ...
- 11.4k
3
votes
3
answers
584
views
Polynomials and L^p(R)
As someone who mostly does symbolic computation, I've always been puzzled by the fascination mathematicians seem to have with Lp(R) (for p<∞)? To be more precise, there are no non-trivial ...
- 2,283
3
votes
1
answer
1k
views
characterization of continuous functionals in weak-star topology
Reading Wojtaszczyk's Banach spaces for analysts, I'm trying to understand his proof that the space of all continuous linear functionals on $(X^\star,\sigma(X^\star, X))$ is $X$.
To show the $ \...
- 31.5k
4
votes
2
answers
340
views
Embeddings of Weighted Banach Spaces
Let be $d$ a positive integer, $\Omega=\mathbb{R}^{\mathbb{Z}^d}$ and fix $R\geq 2$. We define weighted Banach spaces
$$ \Omega_p:=\left\{ x\in \Omega\left| \left[\sum_{i\in\mathbb{Z}^d}\frac{|x_i|^...
- 25.8k
5
votes
1
answer
403
views
Nonlinear Nuclear Operators ?
Is there a "right" definition of the nuclear
operator in the nonlinear framework ? Of course, such an operator
must be compact, while a linear operator should be "nonlinearly"
nuclear iff it is ...
- 31.5k
24
votes
1
answer
2k
views
How many ways are there to globalize Harish Chandra modules?
Suppose $G$ a reductive Lie group with finitely many connected components, and suppose in addition that the connected component $G^0$ of the identity can be expressed as a finite cover of a linear Lie ...
CommunityBot
- 1
8
votes
3
answers
606
views
Compact Hausdorff and C^*-algebra "objects" in a category.
This is yet more on "algebraic objects in functional analysis".
Since Compact Hausdorff spaces are algebraic over Set, it seems to follow that one can find "Compact Hausdorff objects" in any suitable ...
- 5,827
16
votes
0
answers
1k
views
Finite Rank Commutators
My former student Detelin Dosev and I are interested in classifying the commutators in $L(X)$, the bounded linear operators on the Banach space $X$ (see our joint paper on my home page or the ArXiv ...
- 31.5k
5
votes
3
answers
1k
views
Functional calculus for direct integrals
Suppose I have a direct integral of Hilbert spaces $H = \int^\oplus H_x dx $, and suppose I have an operator $T: H \to H$ which is decomposable, and so it can be written as
$T = \int^\oplus T_x$ for ...
- 1,540
9
votes
2
answers
1k
views
Borsuk pairs of Banach spaces
Given $X$, $Y$ two real Banach spaces, let's say that $(X,\ Y)$
is a Borsuk pair if for any continuous mapping $T$ : {$x$ $\in$
$X$ ; $||x||\leq1$} $\rightarrow$ $Y$ s.t. $T$ is odd on {$x$
$\in$ $X$ ;...
CommunityBot
- 1
7
votes
2
answers
684
views
Yet more on distortion
I would like to elaborate a little bit on my previous question which can be found
here.
Firstly, let me recall that a separable Banach space $(X, \| \cdot \|)$ is said to be
arbitrarily distortable ...
CommunityBot
- 1
18
votes
3
answers
2k
views
What are the right categories of finite-dimensional Banach spaces?
This is inspired partly by this question, especially Tom Leinster's answer.
Let me start with some background. I apologize that this will be rather long, since I'm hoping for input from people who ...
CommunityBot
- 1
9
votes
1
answer
996
views
Topological "Interpolation" ?
Let E be a normed space, and let $T$:E * $\rightarrow$ E * be
a nonlinear operator.
Suppose that :
1) $T$ is continuous from (E *, ||.||) to itself (i.e., it is norm-continuous).
and
2) $T$ is ...
- 25.8k
3
votes
2
answers
416
views
Which Banach spaces have categorical duals?
I was looking carefully at all the definitions, trying to understand exactly what was going on in this question on categorical duals in Banach spaces. It seems that in the category of Banach spaces ...
CommunityBot
- 1
6
votes
0
answers
639
views
Hilbert subspaces of indefinite inner product spaces
Let $E$ be a real linear space, endowed with a non-degenerate symmetric
bilinear form $(.,.)$.
Suppose that the [indefinite] inner product space $(E,(.,.))$
satisfies the following [sequential] ...
- 25.8k
0
votes
1
answer
198
views
An integral arising in statistics(2)
The integral I am interested in is:
$$t(x)=\int_{-K}^{K}\frac{\exp(ixy)}{1+y^{2q}}dy$$
$K<\infty$, q natural number
For q=1 one can use contour integration.
So for K>1 we have :
$$\pi/2-\...
- 1,618
0
votes
1
answer
412
views
An integral arising in statistics
The integral I need:
$$t(x)=\int_{-K}^{K}\frac{\exp(ixy)}{1+y^{2q}}dy$$
$K<\infty$, q natural number
For q=1 this integral is
$$\pi/2-\int_{Arc}\frac{\exp(ixy)}{1+y^{2}}dy $$
Where Arc ...
- 267
12
votes
3
answers
1k
views
What's algebraic approach to QM good for?
The algebraic formulation of quantum mechanics (and related stuff, like quantum thermodynamics & dynamical systems etc.) via C*-algebras provides a viewpoint based mostly on abstract functional ...
- 21.5k
11
votes
1
answer
813
views
Approximation to divergent integral
Hi everyone,
I'm a physicist working on stochastic processes and I've come up against an integral that I'm not able to approximate using steepest descent (I don't have a large or small parameter), ...
CommunityBot
- 1
5
votes
2
answers
862
views
Hilbert $C^*$-modules and approximate units
Hi,
Given a $\sigma$-unital $C^*$-algebra $A$ and a full Hilbert $A$-module $E$, is it possible to find an approximate unit $ \{\epsilon_i\}, i\in I$ in $A$ such that each $\epsilon_i$ is of the ...
CommunityBot
- 1
11
votes
3
answers
1k
views
Continuous automorphism groups of normed vector spaces?
Consider the metric space on, say, ℝ2 induced by the various $L^p$ norms, and the group of isometries from that space into itself that preserve the origin. When $p=2$ I get the continuous group ...
- 4,060
2
votes
2
answers
242
views
Simultaneous convergence of powers of unit complex numbers
Let $z_1,\ldots,z_n$ be complex numbers of modulus one. Does it exist an increasing sequence $k_j\in\mathbb{N}$ such that $\lim_{j\to\infty}z_i^{k_j}=1$ for all i?
- 28k
8
votes
0
answers
605
views
convergence rate in Wiener's approximation theorem
Wiener has the following fantastic results about approximations using translation families:
Given a function $h: \mathbb{R} \to \mathbb{R}$, the set $\{\sum a_i h(\cdot - x_i): a_i, x_i \in \mathbb{...
- 1,839
1
vote
1
answer
1k
views
How can I calculate the characteristic function of these distributions? [previously: difficult integral]
How to compute this integral in general case?
$$t(x)=\int_{-\infty}^{\infty}\frac{\exp(ixy)}{1+y^{2q}}dy$$
Mathematica can compute it when q is known. For example,for q=1 this integral is
$$\exp(-{\...
- 267
10
votes
0
answers
609
views
Asymptotic non-distortion of the separable Hilbert space
By the work of E. Odell and Th. Schlumprecht, we know that the
separable Hilbert space $\ell_2$ is arbitrarily distortable. But
I don't know if an "asymptotic" version of their result is true.
To ...
- 25.8k
4
votes
2
answers
4k
views
Compact Convex sets and Extreme Points
There are examples that show the set of extreme points of a compact convex subset of a locally convex topological vector space need not be closed when the real dimension of the space is at least 3. ...
- 4,060
21
votes
5
answers
4k
views
Isomorphisms of Banach Spaces
Suppose $X$ and $Y$ are Banach spaces whose dual spaces are isometrically isomorphic. It is certainly true that $X$ and $Y$ need not be isometrically isomorphic, but must it be true that there is a ...
- 4,060
20
votes
3
answers
4k
views
What is the origin of the term "spectrum" in mathematics?
The use of the term "spectrum" to denote the prime ideals of a ring originates from the case that the ring is, say, $\mathbb{C}[T]$ where $T$ is a linear operator on a finite-dimensional vector space; ...
- 6,523
3
votes
1
answer
895
views
Bernstein inequality for multivariate polynomial
Let $P$ be a polynomial in $k$ variables with complex coefficients, and $\deg P=n$. If $k=1$ then there is Bernstein's inequality:$||P'||\le n||P||$, where $||Q||=\max_{|z|=1} |Q(z)|$.
So, are there ...
- 3
2
votes
3
answers
1k
views
Baire category theorem
Let's call the following conditions (1): $X$ is a complete metric space with metric $d$, $X = \cup_{n=1}^\infty A_n$. Let $\bar{A}$ denote the closure of $A$.
Let's call the following statement (2): ...
- 498
8
votes
3
answers
698
views
L_p norm balls for 1<p<2 - is it always similar to an L_q norm ball for some q>2?
The L_1 ball in 2D is shaped like a diamond (L_1 is also known as the Manhattan norm). The L_∞ ball is shaped like a square (L_∞ is also known as the supremum norm). They are similar, i.e. have same ...
- 31.5k
11
votes
2
answers
862
views
Monotone Lipschitz embedding ?
In 1974, Aharoni proved that every separable metric space (X, d) is Lipschitz isomorphic to a subset of the Banach space c_0.
Thus, for some constant L, there is a map K: X --> c_0 that satisfies the ...
- 61.9k
5
votes
0
answers
417
views
Direct integrals and fields of operators
Suppose we have a measure space $(X,\mu)$ and a measurable field of Hilbert spaces $H_x$ on it. We can form the direct integral ${\cal{H}} = \int H_x \ d \mu$, which is a Hilbert space.
Suppose now ...
- 3,897
7
votes
1
answer
457
views
Reference for equivalent definitions of the genus
Let $X$ be a (edit: nonsingular) projective complex algebraic curve. The genus of $X$ can be defined as the dimension of the space of holomorphic $1$-forms on $X$, which in turn can be defined either ...
CommunityBot
- 1
-2
votes
2
answers
2k
views
Taylor series of a complex function that is not holomorphic
I want to create Taylor series of a complex function that has complex conjugate in it. Obviously I cannot do a total derivative but derivations over real and imag parts exist.
Bonus question: Can I ...
CommunityBot
- 1
3
votes
2
answers
625
views
Continuation up to zero of a Dirichlet series with bounded coefficients
Let $a_n$ be a bounded sequence of positive real numbers. Is it the case that the Dirichlet series $\sum \frac{a_n}{n^s}$ can be meromorphically continued up to the right of zero, with at the most a ...
- 65.4k
2
votes
1
answer
168
views
Local supporting points of Lipschitz functions
Let X be a separable reflexive Banach space and f:X\to\mathbb{R} be a
Lipschitz function. Say that a point x in X is a local supporting point
of f if there exist x^* in X^* and an open neighborhood U ...
- 45k
5
votes
1
answer
514
views
Request for reference: Banach-type spaces as algebraic theories.
Sparked by Yemon Choi's answer to Is the category of Banach spaces with contractions an algebraic theory? I've just spent a merry time reading and doing a bit of reference chasing. Imagine my delight ...
CommunityBot
- 1
5
votes
1
answer
513
views
Field of Definition of a Meromorphic Function
Question
Let X be a smooth, projective curve over the algebraic closure of ℚ. Let f:X->ℙ1 be a meromorphic function. Assume that the zeros and the poles are defined over some number field,...
- 1,522
7
votes
1
answer
570
views
Categorical duals in Banach spaces
Near the bottom of the nlab page for Banach space I see "To be described: duals (p+q=pq)".
Are $(\mathbb{R}^n)_p$ and $(\mathbb{R}^n)_q$ dual objects in the closed symmetric monoidal category of ...
- 25.8k