Frequent Questions
18,053 questions
96
votes
16
answers
34k
views
Most 'unintuitive' application of the Axiom of Choice?
It is well-known that the axiom of choice is equivalent to many other assumptions, such as the well-ordering principle, Tychonoff's theorem, and the fact that every vector space has a basis. Even ...
92
votes
3
answers
14k
views
Is every sigma-algebra the Borel algebra of a topology?
This question arises from the excellent question posed on math.SE
by Salvo Tringali, namely, Correspondence
between Borel algebras and topology.
Since the question was not answered there after some ...
- 236k
92
votes
74
answers
27k
views
Pseudonyms of famous mathematicians
Many mathematicians know that Lewis Carroll was quite a good mathematician, who wrote about logic (paradoxes) and determinants. He found an expansion formula, which bears his real name (Charles ...
91
votes
70
answers
18k
views
Old books still used
It's a commonplace to state that while other sciences (like biology) may always need the newest books, we mathematicians also use to use older books. While this is a qualitative remark, I would like ...
86
votes
7
answers
21k
views
How many orders of infinity are there?
Define a growth function to be a monotone increasing function $F: {\bf N} \to {\bf N}$, thus for instance $n \mapsto n^2$, $n \mapsto 2^n$, $n \mapsto 2^{2^n}$ are examples of growth functions. Let's ...
- 114k
84
votes
4
answers
22k
views
Do we still need model categories?
One modern POV on model categories is that they are presentations of $(\infty, 1)$-categories (namely, given a model category, you obtain an $\infty$-category by localizing at the category of weak ...
- 25.6k
80
votes
7
answers
12k
views
Cubical vs. simplicial singular homology
Singular homology is usually defined via singular simplices, but Serre in his thesis uses singular cubes, which he claims are better adapted to the study of fibre spaces. This young man (25 years old ...
- 47.5k
79
votes
9
answers
21k
views
Results that are widely accepted but no proof has appeared
The background of this question is the talk given by Kevin Buzzard.
I could not find the slides of that talk. The slides of another talk given by Kevin Buzzard along the same theme are available here.
...
78
votes
5
answers
14k
views
Is there a "geometric" intuition underlying the notion of normal varieties?
I first got concious of the notion of normal varieties around 3 years ago and despite the fact that by now I can manipulate with it a bit, this notion still puzzles me a lot.
One thing that strikes me ...
- 14.3k
67
votes
10
answers
12k
views
Non-homeomorphic spaces that have continuous bijections between them
What are nice examples of topological spaces $X$ and $Y$ such that $X$ and $Y$ are not homeomorphic but there do exist continuous bijections $f: X \to Y$ and $g: Y \to X$?
66
votes
41
answers
40k
views
Major mathematical advances past age fifty
From A Mathematician’s Apology, G. H. Hardy, 1940:
"I had better say something here about this question of age, since it is particularly important for mathematicians. No mathematician should ever ...
62
votes
9
answers
9k
views
Fundamental groups of noncompact surfaces
I got fantastic answers to my previous question (about modern references for the fact that surfaces can be triangulated), so I thought I'd ask a related question. A basic fact about surface topology ...
- 44.8k
60
votes
6
answers
7k
views
Has decidability got something to do with primes?
Note: I have modified the question to make it clearer and more relevant. That makes some of references to the old version no longer hold. I hope the victims won't be furious over this.
Motivation:
...
- 2,824
58
votes
9
answers
16k
views
Learning Class Field Theory: Local or Global First?
I've noticed that there seem to be two approaches to learning class field theory. The first is to first learn about local fields and local class field theory, and then prove the basic theorems about ...
- 15.4k
55
votes
6
answers
8k
views
Is it possible to partition $\mathbb R^3$ into unit circles?
Is it possible to partition $\mathbb R^3$ into unit circles?
- 1,414
54
votes
4
answers
6k
views
Are the rationals homeomorphic to any power of the rationals?
I asked myself, which spaces have the property that $X^2$ is homeomorphic to $X$. I started to look at some examples like $\mathbb{N}^2 \cong \mathbb{N}$, $\mathbb{R}^2\ncong \mathbb{R}, C^2\cong C$ (...
- 11.1k
53
votes
1
answer
6k
views
Does $2^X=2^Y\Rightarrow |X|=|Y|$ imply the axiom of choice?
The Generalized Continuum Hypothesis can be stated as $2^{\aleph_\alpha}=\aleph_{\alpha+1}$. We know that GCH implies AC (Jech, The Axiom of Choice, Theorem 9.1 p.133).
In fact, a relatively weak ...
- 39.8k
52
votes
4
answers
17k
views
How hard is it to compute the number of prime factors of a given integer?
I asked a related question on this mathoverflow thread. That question was promptly answered. This is a natural followup question to that one, which I decided to repost since that question is answered.
...
- 2,416
52
votes
15
answers
11k
views
Explicit computations using the Haar measure
This question is somewhat related to my previous one on Grassmanians. The few times I've encountered the Haar measure in the course of my mathematical education, it's always been used in a very ...
- 4,586
51
votes
3
answers
7k
views
What to do now that Lusztig's and James' conjectures have been shown to be false?
Lusztig and James provided conjectures for dimensions of simple modules (or decomposition numbers) for algebraic groups and symmetric groups in characteristic $p$. These conjectures have been ...
- 1,413
49
votes
4
answers
4k
views
Are there primes of every Hamming weight?
Are there primes of every Hamming weight? That is, for every integer $n \in \mathbb{Z}_{>0}$ does there exist a prime which is the sum of $n$ distinct powers of $2$?
In this case, the Hamming ...
- 593
48
votes
5
answers
7k
views
What axioms are used to prove Gödel's Incompleteness Theorems?
I understand Gödel's Incompleteness Theorems to be statements about effectively generated formal systems, which basically makes them theorems about algorithms. This is cool, because despite being ...
- 11.3k
48
votes
5
answers
5k
views
The resultant and the ideal generated by two polynomials in $\mathbb{Z}[x]$
I was asked the following question by a colleague and was embarrassed not to know the answer.
Let $f(x), g(x) \in \mathbb{Z}[x]$ with no root in common. Let $I = (f(x),g(x))\cap \mathbb{Z}$, that is, ...
- 30.5k
48
votes
8
answers
8k
views
When are there enough projective sheaves on a space X?
This question is being asked on behalf of a colleague of mine.
Let $X$ be a topological space. It is well known that the abelian category of sheaves on $X$ has enough injectives: that is, every ...
- 65.4k
47
votes
1
answer
3k
views
improving known bounds for Pierce expansions; cash prize
Here's a problem that I thought of back in 1978 or so, and only a little progress has been made on it since then. I still think about it from time to time, but probably not that many people have ...
- 3,028
47
votes
4
answers
8k
views
Does the fact that this vector space is not isomorphic to its double-dual require choice?
Let $V$ denote the vector space of sequences of real numbers that are eventually 0, and let $W$ denote the vector space of sequences of real numbers. Given $w \in W$ and $v \in V$, we can take their "...
- 3,982
44
votes
11
answers
26k
views
Algorithm for finding the volume of a convex polytope
It's easy to find the area of a convex polygon by division into triangles, but what is the optimal way of finding the volume of higher-dimensional convex bodies? I tried a few methods for dividing ...
- 441
43
votes
7
answers
12k
views
On starting graduate school and common pitfalls...
Hi,
I'll be starting graduate school soon, and when I look back at my college career, there are certain things I wish I could have done differently. In hindsight, I wished I wasn't in such a rush to ...
42
votes
3
answers
5k
views
The probability for a symmetric matrix to be positive definite
Let me give a reasonable model for the question in the title. In ${\rm Sym}_n({\mathbb R})$, the positive definite matrices form a convex cone $S_n^+$. The probability I have in mind is the ratio $p_n=...
- 52.3k
42
votes
3
answers
3k
views
Are there "real" vs. "quaternionic" conjugacy classes in finite groups?
The complex irreps of a finite group come in three types: self-dual by a
symmetric form, self-dual by a symplectic form, and not self-dual at all.
In the first two cases, the character is real-valued, ...
- 27.9k
40
votes
8
answers
12k
views
How does one motivate the analytic continuation of the Riemann zeta function?
I saw the functional equation and its proof for the Riemann zeta function many times, but usually the books start with, e.g. tricky change of variable of Gamma function or other seemingly unmotivated ...
- 3,806
40
votes
5
answers
10k
views
Is there a natural measures on the space of measurable functions?
Given a set Ω and a σ-algebra F of subsets, is there some natural way to assign something like a "uniform" measure on the space of all measurable functions on this space? (I suppose first ...
- 1,475
39
votes
6
answers
7k
views
A remark of Connes on non-standard analysis
In an interview (at http://www.alainconnes.org/docs/Inteng.pdf) Connes remarks that
I had been working on non-standard analysis, but after a while I had found a catch in the theory.... The point is ...
- 1,131
38
votes
8
answers
6k
views
Why do we need model categories?
I cannot give a good answer to this question. And
2) Why this definition of model category is the right way to give a philosophy of homotopy theory? Why didn't we use any other definition?
3) Has ...
- 1,060
36
votes
3
answers
2k
views
Internal logic of the topos of simplicial sets
I am looking for a closed statement (i.e. not depending on any parameter objects) which is true in the internal logic of the topos of simplicial sets, but is not an intuitionistic tautology. Ideally, ...
- 66.8k
36
votes
3
answers
10k
views
The deep significance of the question of the Mandelbrot set's local connectedness?
I am given to understand that the celebrated open problem (MLC) of the Mandelbrot set's local connectness has broader and deeper significance deeper than some mere curiosity of point-set topology.
...
- 17.6k
35
votes
2
answers
3k
views
Examples of finite groups with "good" bijection(s) between conjugacy classes and irreducible representations?
For symmetric group conjugacy classes and irreducible representation both are parametrized by Young diagramms, so there is a kind of "good" bijection between the two sets. For general finite groups ...
- 24.9k
34
votes
4
answers
9k
views
Why are the integers with the cofinite topology not path-connected?
An apparently elementary question that bugs me for quite some time:
(1) Why are the integers with the cofinite topology not path-connected?
Recall that the open sets in the cofinite topology on a ...
- 5,743
34
votes
6
answers
3k
views
Compactification theorem for differentiable manifolds ?
Just parallelling this question, that seemed not to admit an easy answer at all, let's "soft down" the category and ask the same thing in the case of $\mathcal{C}^{\infty}$-differentiable manifolds [...
- 23.4k
33
votes
4
answers
7k
views
Classification of finite groups of isometries
Consider the problem of classifying the finite groups of isometries of $\mathbb{R}^n$.
For $n=2$ it is cyclic and dihedral groups.
For $n=3$ they are well known, probably from Kepler and are related ...
32
votes
6
answers
3k
views
Can distribution theory be developed Riemann-free?
I imagine most people who frequent MO have been indoctrinated into the point of view that the Riemann integral can be safely discarded once one has taken the time to develop the Lebesgue integral. ...
- 29.2k
32
votes
0
answers
3k
views
Vertex coloring inherited from perfect matchings (motivated by quantum physics)
Added (19.01.2021): Dustin Mixon wrote a blog post about the question where he reformulated and generalized the question.
Added (25.12.2020): I made a youtube video to explain the question in detail.
...
- 155
30
votes
4
answers
4k
views
Entire function bounded at every line
I would like to ask about, does there exists an entire function which is bounded on every line parallel to $x$ - axis , but unbounded on the $x$ - axis.
- 469
29
votes
4
answers
3k
views
When $2^\alpha = 2^\beta$ implies $\alpha=\beta$ ($\alpha,\beta$ cardinals)
Sorry if this is a silly question. I was wondering, under what axioms of set theory is it true that if $\alpha$,$\beta$ are cardinals, and $2^\alpha=2^\beta$, then $\alpha=\beta$? Do people use these ...
- 4,425
29
votes
6
answers
3k
views
Errata database?
Some authors do a really great job by collecting errors and comments to their books and putting a list on their websites. I wonder if there is some (perhaps wiki-style) website where errata are ...
- 5,243
29
votes
1
answer
1k
views
Is the Golomb countable connected space topologically rigid?
The Golomb space $\mathbb G$ is the set of positive integers endowed with the topology generated by the base consisting of the arithmetic progressions $a+b\mathbb N_0$ with relatively prime $a,b$ and $...
- 42k
29
votes
5
answers
5k
views
Why does the (S2) property of a ring correspond to the Hartogs phenomenon?
Hartogs Theorem says every function whose undefined locus is of codim 2 can be extend to the whole domain. I saw people saying this corresponds to the (S2) property of a ring. But I can't see why this ...
- 5,052
28
votes
3
answers
6k
views
Surreal numbers vs. non-standard analysis
What is the relationship between the surreal numbers and non-standard analysis?
In particular, is there a transfer principle for surreal numbers they way there is for NSA?
A specific situation in ...
- 19.7k
27
votes
5
answers
3k
views
Nice applications for Schwartz distributions
I am to teach a second year grad course in analysis with focus on Schwartz distributions. Among the core topics I intend to cover are:
Some multilinear algebra including the Kernel Theorem and ...
27
votes
2
answers
6k
views
Countable connected Hausdorff space
Let me start by reminding two constructions of topological spaces with such exotic combination of properties:
1) The elements are non-zero integers; base of topology are (infinite) arithmetic ...
- 109k