Skip to main content

All Questions

Filter by
Sorted by
Tagged with
26 votes
2 answers
2k views

Analogues of Luzin's theorem

If $X$ is a compact metric space and $\mu$ is a Borel probability measure on $X$, then the space $C(X)$ of continuous real-valued functions on $X$ is a closed nowhere dense subset of $L^\infty(X,\mu)$,...
Vaughn Climenhaga's user avatar
26 votes
8 answers
4k views

Euclidean volume of the unit ball of matrices under the matrix norm

The matrix norm for an $n$-by-$n$ matrix $A$ is defined as $$|A| := \max_{|x|=1} |Ax|$$ where the vector norm is the usual Euclidean one. This is also called the induced (matrix) norm, the operator ...
Samuel's user avatar
  • 365
26 votes
3 answers
2k views

About the category of von neumann algebras

I am looking for one (or more) reference about properties of the category of von Neumann algebra. More precisely, in an answer of a previous question, Dmitri Pavlov mentions that the $W^*$ category ...
Oliver's user avatar
  • 357
26 votes
2 answers
5k views

Does Arzelà-Ascoli require choice?

Inspired by a recent Math.SE question entitled Where do we need the axiom of choice in Riemannian geometry?, I was thinking of the Arzelà--Ascoli theorem. Let's state a very simple version: ...
Nate Eldredge's user avatar
25 votes
2 answers
2k views

When can an invertible function be inverted in closed form?

The Risch algorithm answers the question: "When can a function be integrated in closed form?", see: https://en.wikipedia.org/wiki/Symbolic_integration Is anyone aware of any work that answers the ...
P. Carr's user avatar
  • 351
25 votes
4 answers
4k views

Which sequences can be extended to analytic functions? (e. g., Ackermann's function)

Let $\{a_n\}$ be a sequence of complex numbers indexed by the positive integers. Does there always exist an analytic function $f$ such that $f(n) = \{a_n\}$ for $n=1,2,...$? If not, are there any ...
Darsh Ranjan's user avatar
  • 5,992
25 votes
2 answers
2k views

Evaluation of an $n$-dimensional integral

I asked the same question on math.se but got no answer there. Since it pertains to my current research, I decided to ask here: Let $n\in 2\mathbb{N}$ be an even number. I want to evaluate $$I_n := \...
heiner's user avatar
  • 453
25 votes
6 answers
3k views

Quantum fields and infinite tensor products

As I understand it, a naive interpretation of the state space of a quantum field theory is an infinite tensor product $$\otimes_{x\in M} H_x,$$ where $x$ runs over the points of space. This ...
Minhyong Kim's user avatar
  • 13.6k
25 votes
2 answers
2k views

$f^3,f^2$ are the cube and quadratic of f respectively and both infinite differentiable on $R$,how to show so is $f$

Let $f$ be a real function with domain R. If $f^2$ and $f^3$ are both infinitely differentiable on R, how to prove $f$ is infinitely differentiable on R? I have been thinking about this problem for a ...
bo.gu's user avatar
  • 295
24 votes
4 answers
2k views

Curious inequality satisfied by $g(x)=\sum_{k=0}^{\infty}1/(x^{2k+1}+1)$

Set $$ g(x)=\sum_{k=0}^{\infty}\frac{1}{x^{2k+1}+1} \quad \text{for} \quad x>1. $$ Is it true that $$ \frac{x^{2}+1}{x(x^{2}-1)}+\frac{g'(x)}{g(x)}>0 \quad \text{for}\quad x>1? $$ The ...
Paata Ivanishvili's user avatar
24 votes
2 answers
2k views

Reference for exponential Vandermonde determinant identity

I recently stumbled upon the following identity, valid for any real numbers $\alpha_1,\dots,\alpha_n$ and $\lambda_{n1} \leq \dots \leq \lambda_{nn}$: $$ \mathrm{det}( e^{\alpha_i \lambda_{nj}} )_{1 \...
Terry Tao's user avatar
  • 114k
24 votes
2 answers
2k views

Is the Invariant Subspace Problem arithmetic?

Invariant Subspace Conjecture: A bounded operator on a separable Hilbert space has a non-trivial closed invariant subspace. Can this conjecture be reformulated as an arithmetic statement, that is, $\...
Alex Gavrilov's user avatar
24 votes
1 answer
4k views

What does the σ in σ-algebra stand for?

I was tutoring someone in analysis and realized I have no idea where this notation comes from (or analogous terms: σ-additive, σ-ring, etc). I would like to know why the letter σ was chosen. I can't ...
Oliver's user avatar
  • 1,793
23 votes
4 answers
2k views

Are almost commuting hermitian matrices close to commuting matrices (in the 2-norm)?

I consider on $M_n(\mathbb C)$ the normalized $2$-norm, i.e. the norm given by $\|A\|_2 = \sqrt{\mathrm{Tr}(A^* A)/n}$. My question is whether a $k$-uple of hermitian matrices that are almost ...
Mikael de la Salle's user avatar
23 votes
9 answers
2k views

Nonseparable counterexamples in analysis

When asking for uncountable counterexamples in algebra I noted that in functional analysis there are many examples of things that “go wrong” in the nonseparable setting. But most of the examples I'm ...
22 votes
2 answers
2k views

Is a real power series that maps rationals to rationals defined by a rational function?

Suppose that the function $p(x)$ is defined on an open subset $U$ of $\mathbb{R}$ by a power series with real coefficients. Suppose, further, that $p$ maps rationals to rationals. Must $p$ be defined ...
Sidney Raffer's user avatar
22 votes
2 answers
2k views

When are Fourier coefficients monotonic?

Given some sufficiently smooth function $f$ what conditions would be sufficient for its Fourier coefficients, as defined by $$ \hat{f}(n) := \int_{0}^{2\pi}\cos(nx)f(x)\ dx, \quad \text{for } n = 1,2,\...
spaceman's user avatar
  • 595
21 votes
2 answers
1k views

Meager subspaces of a Banach space and weak-* convergence

I previously asked a version of this question on Math.SE, but didn't receive an answer. (But there is a bounty there if you want to claim it!) Let $X$ be a Banach space. (If it helps, feel free to ...
Nate Eldredge's user avatar
21 votes
1 answer
3k views

Density of polynomials in $C^k(\overline\Omega)$

Let $\Omega$ be an open and bounded subset of $\mathbb{R}^2$ and let $C^k(\Omega)$, $1\leq k<\infty$, be the space of functions $f$ with continuous derivatives of order $\leq k$ in $\Omega$, ...
user111's user avatar
  • 4,034
21 votes
0 answers
732 views

Closed connected additive subgroups of the Hilbert space

It is a classical result that a closed and connected additive subgroup of $\mathbb{R}^n$ is necessarily a linear subspace. However, this is no longer true in infinite dimension: a very easy example is ...
Pietro Majer's user avatar
  • 60.5k
21 votes
5 answers
18k views

When is Sobolev space a subset of the continuous functions?

If we let $\Omega\subset\mathbb{R}^d$ with $d=1,2,3$ and define $\mathcal{H}^1(\Omega)=(w\in L_2(\Omega): \frac{\partial w}{\partial x_i}\in L_2(\Omega), i=1,...,d)$. My tutor has repeated several ...
alext87's user avatar
  • 3,217
20 votes
1 answer
1k views

Fourier transform of $f_a(x)= a^{-2}\exp(-|x|^a)$, $a \in (0,2)$, is decreasing in $a$

Can one show that Fourier transform of $$ f_a(x) = a^{-2} \exp(-|x|^a), \qquad a \in (0,2)$$ is decreasing in $a$? I have a solution for $a \in (0,1]$ which cannot be used for $a\in (1,2)$.
Tanya Vladi's user avatar
19 votes
1 answer
3k views

Infinite convex combinations in a Banach space

Let's say that a subset $C$ of a Banach space $X$ is $\sigma$-convex if the following property holds: For any sequence $(x_k)_{k\ge0}$ in $C$, and for any sequence of non-negative real numbers $(\...
Pietro Majer's user avatar
  • 60.5k
19 votes
6 answers
2k views

Variable-centric logical foundation of calculus

Since calculus originated long before our modern function concept, much of our language of calculus still focuses on variables and their interrelationships rather than explicitly on functions. For ...
Jason Howald's user avatar
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(...
falagar's user avatar
  • 2,821
18 votes
11 answers
5k views

Applications of measure, integration and Banach spaces to combinatorics

I'm going to be teaching a Master's level analysis course (measure theory, Lebesgue integration, Banach and Hilbert spaces, and if there's time, some spectral or PDE stuff) in the fall. My problem is ...
Gordon Craig's user avatar
  • 1,665
18 votes
3 answers
2k views

Poincare lemma for non-smooth differentiable forms

The Poincare lemma is almost always formulated for differential forms with smooth coefficients (or sometimes for currents that have distributional coefficients). I would like to have it for $C^k$-...
Jochen Wengenroth's user avatar
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
17 votes
2 answers
5k views

Positive-Definite Functions and Fourier Transforms

Bochner's theorem states that a positive definite function is the Fourier transform of a finite Borel measure. As well, an easy converse of this is that a Fourier transform must be positive definite. ...
Alex R.'s user avatar
  • 4,952
17 votes
3 answers
3k views

Why is multiplication on the space of smooth functions with compact support continuous?

I asked the question Why is multiplication on the space of smooth functions with compact support continuous? on M.SE sometime ago but I didn't receive a satisfactory answer. I was reading this ...
Hugo's user avatar
  • 394
17 votes
4 answers
3k views

Is Conway's base-13 function measurable?

Robin Chapman introduced me to Conway's Base 13 Function. Now, my real analysis is a tiny bit rusty, so maybe my question has a really simple and quick answer, but here it goes: Consider the support ...
Willie Wong's user avatar
17 votes
2 answers
1k views

The Bruss-Yor conjecture about an iterated integral

Is the sequence $$w_n=n! \int_0^{1/2} \int_{x_1}^{2/3} \cdots\int_{x_{n-2}}^{\frac{n-1}{n}} \int_{\frac{n}{n+1}}^1 dx_n dx_{n-1} \cdots dx_1$$ increasing for $n\ge 3$? This is a conjecture of F. ...
Jochen Wengenroth's user avatar
17 votes
3 answers
905 views

Existence of translation-invariant basis on $C_c(\mathbb R)$

Consider the space $C_c(\mathbb R)$ of complex-valued continuous functions of compact support. This is a vector space over $\mathbb C$, and I am not considering any topology, so the question is ...
Nick S's user avatar
  • 2,071
16 votes
1 answer
2k views

Normal approximation of tail probability in binomial distribution

My problem: From the Berry--Esseen theorem I know, that $$\sup_{x\in\mathbb R}|P(B_n \le x)-\Phi(x)|=O\left(\frac 1{\sqrt n}\right),$$ where $B_n$ has the standardized binomial distribution and $\Phi$ ...
Stephan Kulla's user avatar
16 votes
4 answers
11k views

Fourier transform of Analytic Functions

Forgive me if this question does not meet the bar for this forum. But i would really appreciated some help. I'm trying to construct a function according to some conditions in the frequency domain of ...
jonalm's user avatar
  • 317
16 votes
2 answers
682 views

Ultraweak topology on B(X): Is the map X\otimes X* -> B(X)* isometric?

Let $X$ be a Banach space. Consider the map $$ \alpha\colon X\hat{\otimes} X^* \to B(X)^*, $$ defined one simple tensors as $$ \alpha(\xi\otimes\eta)(a) = \eta(a(\xi)).\quad (\xi\in X, \eta\in X^*, a\...
Hannes Thiel's user avatar
  • 3,497
16 votes
2 answers
766 views

Surjectivity of curl

Let: $\mathbb R^3\ni x\mapsto v(x)\in\mathbb R^3$ be a vector field with null divergence belonging to the Schwartz class such that $$ \int_{\mathbb R^3} v(x) dx=0. $$ Is it true that there exists a ...
Bazin's user avatar
  • 16.2k
16 votes
1 answer
1k views

Open problem in analysis with just one quantifier?

I'm looking for an open problem in analysis or number theory with just one "genuine" or "second order" quantifier. E.g. "Every continuous function $\mathbb{R} \rightarrow \...
16 votes
2 answers
731 views

A reference to a characterization of metric spaces admitting an isometric embedding into a Hilbert space

I am looking for a reference to the bipartite version of the Schoenberg's criterion of embeddability into a Hilbert space. The Schoenberg criterion is formulated as Proposition 8.5(ii) of the book &...
Taras Banakh's user avatar
  • 41.9k
15 votes
2 answers
3k views

Generalizations of the Tietze extension theorem (and Lusin's theorem)

I am reasking a year-old math.stackexchange.com question asked by someone else. (For my needs every space $X$ and $Y$ will be Polish---that is a completely separably metrizable space.) The Tietze ...
Jason Rute's user avatar
  • 6,287
15 votes
3 answers
5k views

Zariski open sets are dense in analytic topology

How does one show that if $U \subseteq \mathbb{C}^n$ is nonempty and Zariski open then $U$ is also dense in the analytic topology on $\mathbb{C}^n$?
Manoj's user avatar
  • 685
15 votes
1 answer
2k views

Bases for spaces of smooth functions

Let $S$ denote the space of rapidly decreasing sequences, which means sequences $a=(a_k)_{k=1}^\infty$ such that the numbers $p_d(a)=\sup\{k^d|a_k| : 1\leq k<\infty\}$ are finite for all $d\in\...
Neil Strickland's user avatar
15 votes
3 answers
2k views

Can the Riemann integral be defined through a closure/completion process?

Let us consider real-valued functions on the bounded interval $[0,1]$. A "step function" means an element of the vector space spanned by indicator functions of (points and) intervals in $[0,1]$ (the ...
Gro-Tsen's user avatar
  • 32.5k
15 votes
1 answer
1k views

Second order differentiability of convex functions

Let $f:\mathbb{R}^n\to\mathbb{R}$ be a convex function. Then $f$ is locally Lipschitz and hence differentiable a.e. (Rademacher). Let $E\subset\mathbb{R}^n$ be the set of points where $f$ is ...
Piotr Hajlasz's user avatar
14 votes
2 answers
6k views

Are weak and strong convergence of sequences not equivalent?

For some infinite-dimensional Banach spaces $E$, it is easy to find sequences $\langle x_i:i\in\mathbb N_0\rangle$ which converge to zero weakly but not in the norm topology, i.e. we have $\lim_{i\to\...
TaQ's user avatar
  • 3,584
14 votes
2 answers
1k views

Are smooth functions tame?

I know the article of Hamilton on the inverse function theorem of Nash and Moser (with the same title) where he proves that $C^\infty(M)$ is a tame Fréchet space, when $M$ is closed or compact with ...
Matthias Ludewig's user avatar
14 votes
6 answers
3k views

What's a natural candidate for an analytic function that interpolates the tower function?

I know that there are analytic functions whose composition with itself is the exponential function, the so-called functional square root of the exponential function, with the additional property that ...
John Jiang's user avatar
  • 4,466
13 votes
3 answers
1k views

Is the set of separable quantum states closed?

Let $\mathcal H,\mathcal H'$ be Hilbert spaces (not necessarily separable). A "separable state" is a trace-class operator of the form $\sum_i \rho_i\otimes\rho_i'$ where $\rho_i,\rho_i'$ are positive ...
Dominique Unruh's user avatar
13 votes
8 answers
3k views

Evaluation of the following series... $S = 1/(2\times3) + 1/(5\times6) + 1/(7\times8) + 1/(10\times11) + ... $

EDIT, Will Jagy, December 8, 2010: to anyone considering working on this, please first see http://mathoverflow.tqft.net/discussion/817/could-a-few-moderators-please-remove-one-of-my-questions/#Item_9 ...
Max Lonysa Muller's user avatar
13 votes
3 answers
891 views

Effective algorithm to test positivity

Let $f(x_1,\ldots, x_n)$ be a real polynomial in several variables. Is there an effective algorithm to test whether $f$ is positive (or nonnegative) on the whole of ${\mathbb{R}}^n$?
user avatar

1 2 3
4
5
27