Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
Jason Reed's user avatar
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(-{\...
vilvarin's user avatar
  • 267
32 votes
11 answers
23k views

A book for problems in Functional Analysis

I want to know if there's any book that categorizes problems by subjects of Functional Analysis. I'm studying Functional Analysis now a days and I really need to solve some problems in order to ...
11 votes
6 answers
3k views

Explicit Spin Structures on the Torus

Basically, I am trying to build explicit examples of Dirac operators. To this end, I'm looking at the surface E = C/(Z + λZ) - for some λ in H \ SL(2,Z) - with the Euclidean metric and ...
john mangual's user avatar
  • 22.8k
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] ...
Ady's user avatar
  • 4,060
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 ...
Bill Johnson's user avatar
  • 31.5k
17 votes
5 answers
3k views

Conditional probabilities are measurable functions - when are they continuous?

Let $\Omega$ be a Banach space; for the sake of this post, we will take $\Omega = {\mathbb R}^2$, but I am more interested in the infinite dimensional setting. Take $\mathcal F$ to be the Borel $\...
Tom LaGatta's user avatar
  • 8,512
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 ...
user3543's user avatar
8 votes
2 answers
1k views

Example for an integral, rectifiable varifold with unbounded first variation

I'm just looking for an example of an integral, rectifiable varifold, which has no locally bounded first variation. Recapitulation for every $m$-rectifiable varifold $\mu$ exists a $m$-rectifiable ...
Elgrimm's user avatar
  • 143
5 votes
1 answer
1k views

Why can't subvarieties separate?

I'm posting my answer to this question as its own question: Let $V$ be an irreducible projective variety over $\mathbb{C}$. Let $U$ be a Zariski open set in $V$. I'll use $V(\mathbb{C})$ and $U(\...
Autumn Kent's user avatar
  • 10.6k
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 ...
Pandelis Dodos's user avatar
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 ...
Nurdin Takenov's user avatar
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): ...
has2's user avatar
  • 498
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 ...
Łukasz Grabowski's user avatar
1 vote
1 answer
10k views

Region and domains? [closed]

Is every region a domain? Am I correct that I understood the definition of domain to be an open, connected set? Does every region have to be a domain? For example: $|z-1+i|\le 3$ is a region if I've ...
Anonymous's user avatar
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 ...
Łukasz Grabowski's user avatar
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 ...
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$ ;...
Ady's user avatar
  • 4,060
10 votes
1 answer
776 views

Saito-Wright definition of Rickart C*-algebras

A C*-algebra is Rickart if for each $x\in A$ there is a projection $p\in A$ so that $R(x)=pA$. Here the right-annihilator $R(S)$ of $S\subset A$ is defined as $$R(S)=\{a\in A\mid xa=0\, \forall x\...
Bas Spitters's user avatar
6 votes
3 answers
2k views

Complex projective space as a $U(1)$ quotient

$\DeclareMathOperator\U{U}\DeclareMathOperator\SU{SU}$As is well known, one can view $\mathbb{CP}^n$ as a quotient of the unit $(2n + 1)$-sphere in $\mathbb{C}^{n+1}$ under the action of $\U(1)$, ...
Aston Smythe's user avatar
-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 ...
Domagoj Peharda's user avatar
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 ...
Anweshi's user avatar
  • 7,442
12 votes
1 answer
5k views

Conformal maps of doubly connected regions to annuli.

In another question here on MO, Anweshi asks if any doubly connected region in the complex plane can be conformally mapped to some annulus. The answer to this is yes. But the fact is that two annuli ...
GMRA's user avatar
  • 2,050
34 votes
8 answers
9k views

When is a Banach space a Hilbert space?

Let $\mathcal{X}$ be a real or complex Banach space. It is a well known fact that $\mathcal{X}$ is a Hilbert space (i.e. the norm comes from an inner product) if the parallelogram identity holds. ...
Teiko Heinosaari's user avatar
6 votes
3 answers
1k views

How can I embed an N-points metric space to a hypercube with low distortion?

I have a N-point metric space defined by the pairwise distance matrix. I want to encode these N points with binary strings, i.e. each point will be mapped to a vertex in a hypercube. The lengths of ...
pacificmoth's user avatar
8 votes
3 answers
2k views

Riemann mapping for doubly connected regions

Remove the closure of simply connected region from the interior of a simply connected region. Is it true that the resulting domain can be mapped conformally to some annulus?
Anweshi's user avatar
  • 7,442
14 votes
5 answers
2k views

What is $\sum (x+\mathbb{Z})^{-2}$?

This is a simple question, but its been bugging me. Define the function $\gamma$ on $\mathbb{R}\backslash \mathbb{Z}$ by $$\gamma(x):=\sum_{i\in \mathbb{Z}}\frac{1}{(x+i)^2}$$ The sum converges ...
Greg Muller's user avatar
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 ...
Anonymous's user avatar
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,...
H. Hasson's user avatar
  • 1,522
23 votes
5 answers
11k views

Example of continuous function that is analytic on the interior but cannot be analytically continued?

I am looking for an example of a function $f$ that is 1) continuous on the closed unit disk, 2) analytic in the interior and 3) cannot be extended analytically to any larger set. A concrete example ...
Johan 's user avatar
  • 757
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 ...
Andrew Stacey's user avatar
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. ...
Mike Hartglass's user avatar
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 ...
Reid Barton's user avatar
  • 25.2k
26 votes
3 answers
2k views

Universality of zeta- and L-functions

Voronin´s Universality Theorem (for the Riemann zeta-Function) according to Wikipedia: Let $U$ be a compact subset of the "critical half-strip" $\{s\in\mathbb{C}:\frac{1}{2}<Re(s)<1\}$ with ...
M.G.'s user avatar
  • 7,127
212 votes
52 answers
82k views

Ways to prove the fundamental theorem of algebra

This seems to be a favorite question everywhere, including Princeton quals. How many ways are there? Please give a new way in each answer, and if possible give reference. I start by giving two: ...
31 votes
11 answers
13k views

Uniformization theorem for Riemann surfaces

How does one prove that every simply connected Riemann surface is conformally equivalent to the open unit disk, the complex plane, or the Riemann sphere, and these are not conformally equivalent to ...
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 ...
Ady's user avatar
  • 4,060
8 votes
1 answer
2k views

Level set of a harmonic function

Let $u$ be a nonconstant real-valued harmonic function defined in the open unit disk $D$. Suppose that $\Gamma\subset D$ is a smooth connected curve such that $u=0$ on $\Gamma$. Is there a universal ...
29 votes
15 answers
6k views

Important results that use infinite-dimensional manifolds?

Are Banach manifolds (or other types of infinite-dimensional manifolds) just curiosities, or have they been utilized to prove some interesting/important results? Where do they turn up? Important ...
7 votes
3 answers
2k views

What are some interesting sequences of functions for thinking about types of convergence?

I'm thinking about the basic types of convergence for sequences of functions: convergence in measure, almost uniform convergence, convergence in Lp and point wise almost everywhere convergence. I'm ...
20 votes
4 answers
6k views

Conformal maps in higher dimensions

In dimension 2 we know by the Riemann mapping theorem that any simply connected domain ( $\neq \mathbb{R}^{2}$) can be mapped bijectively to the unit disk with a function that preserves angles between ...
Johan 's user avatar
  • 757
6 votes
1 answer
989 views

What is the "continuity" in "absolute continuity", in general?

The wikipedia article on absolute continuity gives a delta-epsilon definition for a measure $\mu$ defined on the Borel $\sigma$-algebra on the real line, with respect to the Lebesgue measure $\lambda$:...
kweinert's user avatar
  • 208
4 votes
3 answers
6k views

Advantages of a back-propagation neural network over other function approximation methods

Hello. Let's say I have a set of input vectors $I = \{\mathbf{x_1}, \dots, \mathbf{x_k}\} \subset \mathcal{R}^m$ and a set of output vectors $O = \{\mathbf{y_1}, \dots, \mathbf{y_k}\} \subset \...
Bruno Reis's user avatar
9 votes
4 answers
1k views

Boundedness of nonlinear continuous functionals

Let $K$ be the closed unit ball of $C[0,1]$, and let $f$ in $C(K,\mathbb{\, R})$. Is it true that there exists an infinite dimensional reflexive subspace $E$ of $C[0,1]$ s.t. $f(K\cap E)$ is bounded ? ...
Ady's user avatar
  • 4,060
6 votes
1 answer
427 views

Subspaces of $L^{2}$

[In what follows $0^{0}$= 1 by convention.] Is there some closed infinite dimensional linear subspace $F$ of $L^{2}(0,1)$ such that $\left\lvert f\right\rvert^{\left\lvert f\right\rvert}$ belongs to $...
Ady's user avatar
  • 4,060
19 votes
7 answers
2k views

Generalizations of "standard" calculus

We have the usual analogy between infinitesimal calculus (integrals and derivatives) and finite calculus (sums and forward differences), and also the generalization of infinitesimal calculus to ...
Zev Chonoles's user avatar
  • 6,792
2 votes
2 answers
317 views

Bibliography for topologies defined by a family of seminorms

Hello I am trying to learn more about Fréchet spaces (in order to study the theory of distributions) and was wondering what people thought was the best resource. Thank you very much.
Learner's user avatar
  • 143
6 votes
2 answers
1k views

Definable collections of non measurable sets of reals

Is there a definable (in Zermelo Fraenkel set theory with choice) collection of non measurable sets of reals of size continuum? More verbosely: Is there a class A = {x: \phi(x)} such that ZFC proves "...
Ashutosh's user avatar
  • 9,641
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 ...
Andrew Stacey's user avatar
10 votes
1 answer
635 views

What's the nearest algebraic theory to inner product spaces?

Following the references to the accepted answer to Is the category of Banach spaces with contractions an algebraic theory? one discovers that there is an algebraic theory (infinitary) which is closely ...
Andrew Stacey's user avatar