All Questions
13,926 questions
22
votes
5
answers
7k
views
Defining a topology in the Power Set
I have the following question:
Given a topological space $T$ is possible in general to give a topology to $2^T$ (the power set of $T$) such that this topology in $2^T$ is related to $T$.
If the ...
- 335
22
votes
3
answers
2k
views
What is a TMF in topology?
What is a topological modular form? How are they related to 'normal' (number-theoretic) modular forms?
- 15.1k
22
votes
2
answers
1k
views
Can a continuous real-valued function on a large product space depend on uncountably many coordinates?
Is there a reasonably well-behaved topological space $X$ (ideally Polish), a set $\kappa$, and a continuous function $g: X^\kappa\to\mathbb{R}$ that depends on uncountable many coordinates?
If $X$ is ...
22
votes
1
answer
4k
views
Image of the trace operator
It is well-known that we have the trace theorem for Sobolev spaces. Let $\Omega$ be an open domain with smooth boundary, we know that the map
$$ T: C^1(\bar\Omega) \to C^1(\partial\Omega) \subset L^...
- 39.1k
22
votes
1
answer
3k
views
Reference for Diagonalization Trick
There is a standard trick in analysis, where one chooses a subsequence, then a subsequence of that... and wants to get an eventual subsubsequence of all of them and you take the diagonal. I've always ...
- 827
22
votes
1
answer
754
views
Undetermined Banach-Mazur games in ZF?
This question was previously asked and bountied on MSE, with no response. This MO question is related, but is also unanswered and the comments do not appear to address this question.
Given a ...
- 20.5k
22
votes
1
answer
712
views
Are $\beta \mathbb{Q}$ and $\beta(\beta\mathbb{Q}\setminus\mathbb{Q})$ homeomorphic?
The canonical inclusion $\beta\mathbb{Q}\setminus \mathbb{Q} \hookrightarrow \beta\mathbb{Q}$ is not the Stone-Čech compactification of $\beta\mathbb{Q}\setminus \mathbb{Q}$. Even so, this doesn't ...
- 1,211
22
votes
2
answers
652
views
Does every positive continuous function have a non-negative interpolating polynomial of every degree?
Let $f:[a,b] \to (0,\infty)$ be a continuous function. Then is it necessarily true that for every $n\ge 1$, we can find $n+1$ distinct points $\{x_0,x_1,...,x_n\}$ in $[a,b]$ such that the ...
- 1,209
22
votes
1
answer
745
views
The Mackey Topology on a Von Neumann Algebra
Every von Neumann algebra $\mathcal M$ is the dual of a unique Banach space $\mathcal M_* $. The Mackey topology on $\mathcal M$ is the topology of uniform convergence on weakly compact subsets of $\...
- 1,199
22
votes
2
answers
2k
views
Examples of loss of regularity by "creation of topology"
I would like to have a list as general as possible of examples of situations where the density of smooth objects into some "natural class" (the meaning of "natural" depending on the problem considered)...
- 2,041
22
votes
0
answers
676
views
Are there "chain complexes" and "homology groups" taking values in pairs of topological spaces?
Throughout this question, notation of the form $(X,A)$ denotes a sufficiently nice pair of topological spaces. I think for most of what I'm saying here, it is enough to assume that the inclusion $A \...
- 15.5k
21
votes
8
answers
11k
views
Nice applications of the spectral theorem?
Most books and courses on linear algebra or functional analysis present at least one version of the spectral theorem (either in finite or infinite dimension) and emphasize its importance to many ...
- 4,874
21
votes
7
answers
1k
views
Reference for topological graph theory (research / problem-oriented)
I would be interested in recommendations for topological graph theory texts. I think Gross and Yellen has a great chapter on topological graph theory, and I find Mohar and Thomassen's Graphs on ...
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 ...
- 629
21
votes
4
answers
2k
views
Why are currents named currents?
Why do currents, functionals on compactly supported differentiable n-forms, bear the name they do?
I've assumed that it has something to do with an electrical current being formalized as a vector ...
- 695
21
votes
4
answers
4k
views
Is every locally connected subset of Euclidean space R^n locally path connected ?
This is not actually a question asked by me. But since I do not know the answer, I would love to know if someone here could answer it.
- 1,598
21
votes
2
answers
2k
views
Colimits in the category of smooth manifolds
In the category of smooth real manifolds, do all small colimits exist? In other words, is this category small-cocomplete? I can see that computing push-outs in the category of topological spaces of ...
- 1,162
21
votes
7
answers
2k
views
Identities and inequalities in analysis and probability
Usually, at the heart of a good limit theorem in probability theory is at least one good inequality – because, in applications, a topological neighborhood is usually defined by inequalities. Of course,...
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 ...
- 3,217
21
votes
1
answer
3k
views
The list of problems for Grothendieck's thesis
Is the list of open problems which were given by Dieudonne and Schwartz to Grothendieck for his thesis published somewhere? I know a quotation of Dieudonne that the problems concerned duality theory ...
- 16.4k
21
votes
3
answers
610
views
Which partitions of $[0,1]$ are collection of level sets of a real continuous function?
Let $f:[0,1]\to[0,1]$ be given. The level sets of $f$ (ie the collection of all sets of the form $\{x\in[0,1]:f(x)=y\}$, for each fixed $y\in[0,1]$) partition the domain of $f$. I am curious for set ...
- 1,014
21
votes
3
answers
3k
views
Can you tell whether a space is Banach from the unit ball?
Let $V$ be a real vector space. It is well known that a subset $B\subset V$ is the unit ball for some norm on $V$ if and only if $B$ satisfies the following conditions:
$B$ is convex, i.e. if $v,w\...
- 8,493
21
votes
5
answers
1k
views
Explanation for E_8's torsion
To study the topology of Lie groups, you can decompose them into the simple compact ones, plus some additional steps, such as taking the cover if necessary. After that, the structure of $SO(n)$'s is ...
- 15.1k
21
votes
2
answers
3k
views
A measure on the space of probability measures
This question was originaly posted in the stackexchange https://math.stackexchange.com/questions/1226701/a-measure-on-the-space-of-probability-measures but since it only got a comment I decided to ...
- 361
21
votes
4
answers
2k
views
A question on the integral of Hilbert valued functions
This questions stems from an attempt to recast in a form suitable for teaching some standard computations which are usually proved by handwaving, without much care about the details. My hope is that ...
- 9,007
21
votes
1
answer
1k
views
Is Dependent Choice all we really need?
http://en.wikipedia.org/wiki/Axiom_of_dependent_choice
Is DC sufficient for the understanding of objects that are countable in some suitable sense?
For example, is DC sufficient for the full ...
- 1,199
21
votes
1
answer
742
views
Non real eigenvalues for elliptic equations
I am looking for an example of a pure second order uniformly elliptic operator
$L=\sum_{i,j=1}^da_{ij}(x)D_{ij}$ in a bounded domain $\Omega$ (with Dirichlet boundary conditions, for example) having a ...
- 6,035
21
votes
2
answers
1k
views
Is there an L^p tauberian theorem?
From Wiener's tauberian theorem we know that linear combinations of translates of f \in L^1(R) are dense in L^1(R) if and only if the Fourier transform of f never vanishes. It is also known that ...
- 13k
21
votes
1
answer
690
views
Diameter of a quotient of the infinite dimensional sphere
Suppose a group $\Gamma$ acts by isometries on the Hilbert space $\mathbb{H}^\infty$ and it fixes the origin. So $\Gamma$ acts on the unit sphere $\mathbb{S}^\infty$ as well.
Assume that the action $...
- 45k
21
votes
2
answers
1k
views
Closed subspaces of Banach spaces
Is it true that, assuming the Axiom of Choice, every infinite-dimensional Banach space has an infinite-dimensional closed subspace with infinite codimension? Note that this is different from the ...
- 2,049
21
votes
1
answer
2k
views
Almost commuting unitary matrices
Suppose that $A_1,\dots, A_k$ are unitary matrices such that any two of them can be approximated by commuting unitary matrices. i.e. for any $i$ and $j$, there are unitary matrices $A_i'$ and $A_j'$ ...
- 901
21
votes
3
answers
1k
views
Separating pure states on the $2\times 2$ matrix algebra
I have an idea for a possible counterexample to the noncommutative Stone-Weierstrass problem. A good answer to the following question would really help.
Let $\mathcal{A}$ be the C*-algebra of $2\...
- 42.8k
21
votes
1
answer
835
views
On complemented von Neumann algebras
Edit: according to Narutaka Ozawa, question 3) is still open in the type $\mathrm{II}_1$ case. In other terms, it is not known whether every topologically complemented type $\mathrm{II}_1$ factor in $...
- 660
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$, ...
- 4,034
21
votes
1
answer
939
views
Is Grothendieck classification of tensor norms and Kuratowski's 14 sets theorem somehow related?
It is known that there are only 14 reasonable tensor norms in $Ban$. On the other hand it is well known fact for topologists that one can obtain only 14 different sets from a given set applying ...
- 1,697
21
votes
2
answers
2k
views
In a Banach algebra, do ab and ba have almost the same exponential spectrum?
Let $A$ be a complex Banach algebra with identity 1. Define the exponential spectrum $e(x)$ of an element $x\in A$ by $$e(x)= \{\lambda\in\mathbb{C}: x-\lambda1 \notin G_1(A)\},$$ where $G_1(A)$ is ...
- 2,154
21
votes
1
answer
1k
views
"Minimal" group C*-algebra?
Let $\Gamma$ be a discrete group (though this could be asked for general locally compact groups) and consider the Banach $*$-algebra $\ell^1(\Gamma)$. We have two natural $C^*$-algebra completions: ...
- 18.7k
21
votes
2
answers
2k
views
Uncertainty principle and Cramer-Rao bound - is there relation?
Just out of curiosity.
The two things sounds a little bit similar - 1) Uncertainty principle 2) Cramer-Rao bound.
Saying that we cannot measure something with certain accuracy.
However looking closer ...
- 24.9k
21
votes
1
answer
846
views
Is there a category of topological spaces such that open surjections admit local sections?
The class of open surjections $Q \to X$ is a Grothendieck pretopology on the category $Top$ of spaces, and includes the class of maps $\amalg U_\alpha \to X$ where $\{U_\alpha\}$ is an open cover of $...
- 35.5k
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 ...
- 29.8k
21
votes
1
answer
1k
views
Which complete Boolean algebras arise as the algebras of projections of commutative von Neumann algebras?
Projections in an arbitrary commutative von Neumann algebra form a complete Boolean algebra.
Moreover, a morphism of commutative von Neumann algebras induces
a continuous morphism of the corresponding ...
- 37.8k
21
votes
2
answers
2k
views
A strange variant of the Gaussian log-Sobolev inequality
Let $\phi : \mathbb{R}^d \to \mathbb{R}$ be a convex function, and assume that it grows at most linearly at infinity for simplicity. Denote by $\gamma$ the standard Gaussian measure on $\mathbb{R}^d$, ...
- 562
21
votes
1
answer
2k
views
Characterization of Fréchet-Urysohn spaces using sequential continuity at a point
A map $f \colon X \to Y$ is called sequentially continuous at the point $a$ if for every sequence $(x_n)$ such that $x_n\to a$, we also have $f(x_n)\to f(a)$.
$$x_n\to a \qquad \Rightarrow \qquad f(...
- 4,713
21
votes
0
answers
869
views
Noncommutative arithmetic mean geometric mean inequality and symmetric polynomials
While analyzing convergence speed of stochastic-gradient methods for convex optimization problems, Recht et al (2011) posed a tantalizing conjecture. It seems quite tricky, so after having struggled a ...
- 28.6k
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 ...
- 60.5k
21
votes
0
answers
876
views
Are the eigenvalues of the Laplacian of a generic Kähler metric simple?
It is a theorem of Uhlenbeck that for a generic Riemannian metric, the Laplacian acting on functions has simple eigenvalues, i.e., all the eigenspaces are 1-dimensional. (Here "generic" means the set ...
- 6,247
20
votes
12
answers
9k
views
The role of completeness in Hilbert Spaces
Why do Hilbert spaces have to be complete?
I've been studying (teaching myself about) Hilbert spaces for a while now as they have a habit of popping up in many of the papers I'm come across (I'm a ...
- 661
20
votes
7
answers
5k
views
Why do infinite-dimensional vector spaces usually have additional structure?
On Mathematics Stack Exchange, I asked the following question: Why are infinite-dimensional vector spaces usually equipped with additional structure? Although it received one good answer, I feel that ...
- 961
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; ...
- 118k
20
votes
6
answers
7k
views
Does the derivative of log have a Dirac delta term?
Dirac writes down the following formula on page 61 of his "Principles of quantum mechanics":
$\frac{d}{dx}\log x = \frac{1}{x} -i\pi\delta(x)$, see http://adsabs.harvard.edu/abs/1947pqm..book.....D ...
- 16.6k