Most Popular

1500 questions
89
votes
11 answers

Does $G\cong G/H$ imply that $H$ is trivial?

Let $G$ be any group such that $$G\cong G/H$$ where $H$ is a normal subgroup of $G$. If $G$ is finite, then $H$ is the trivial subgroup $\{e\}$. Does the result still hold when $G$ is infinite ? In what kind of group could I search for a…
89
votes
2 answers

Dantzig's unsolved homework problems

From Wikipedia: An event in George Dantzig 's life became the origin of a famous story in 1939 while he was a graduate student at UC Berkeley. Near the beginning of a class for which Dantzig was late, professor Jerzy Neyman wrote two examples of…
Max
  • 1,127
89
votes
4 answers

Fastest way to check if $x^y > y^x$?

What is the fastest way to check if $x^y > y^x$ if I were writing a computer program to do that? The issue is that $x$ and $y$ can be very large.
learner
  • 955
  • 2
  • 8
  • 10
89
votes
0 answers

If $f(n)$ is the number of groups of order $n$, then is $f(a)\cdot f(b)\leq f(a\cdot b)$?

Let $f(n)$ be the number of groups of order $n$ up to isomorphism . We want to prove that: $$f(a) \cdot f(b) \leq f(a \cdot b)$$ for all nonnegative integers $a$ and $b$ . Our progress: If $a \cdot b \leq 8191$ , then our conjecture holds. If $a + b…
89
votes
1 answer

Can someone explain this integration trick for log-sine integrals?

I was working on this rather challenging log-sine integral: $$ \int_{0}^{2\pi}x^{2}\ln^{2}\left(2\sin\left(x \over 2\right)\right)\,{\rm d}x = {13\pi^{5} \over 45} $$ The upper limit is a waiver from the norm of $\frac{\pi}{2}$ . Anyway, when…
Cody
  • 14,538
89
votes
9 answers

Does mathematics require axioms?

I just read this whole article: http://web.maths.unsw.edu.au/~norman/papers/SetTheory.pdf which is also discussed over here: Infinite sets don't exist!? However, the paragraph which I found most interesting is not really discussed there. I think…
Kasper
  • 14,040
  • 18
  • 71
  • 129
89
votes
3 answers

Is there a definitive guide to speaking mathematics?

Is there a definitive guide to speaking mathematics to avoid ambiguity? I'm writing a program to generate text for a variety of mathematical expressions and would like to code it so that it adheres to some standard. I've found Handbook for Spoken…
89
votes
5 answers

What am I doing when I separate the variables of a differential equation?

I see an equation like this: $$y\frac{\textrm{d}y}{\textrm{d}x} = e^x$$ and solve it by "separating variables" like this: $$y\textrm{d}y = e^x\textrm{d}x$$ $$\int y\textrm{d}y = \int e^x\textrm{d}x$$ $$y^2/2 = e^x + c$$ What am I doing when I solve…
89
votes
7 answers

If $a+b=1$ then $a^{4b^2}+b^{4a^2}\leq1$

Let $a$ and $b$ be positive numbers such that $a+b=1$ . Prove that: $$a^{4b^2}+b^{4a^2}\leq1$$ I think this inequality is very interesting because the equality "occurs" for $a=b=\frac{1}{2}$ and also for $a\rightarrow0$ and $b\rightarrow1$ . I tried…
89
votes
1 answer

Let $X$ be an infinite dimensional Banach space. Prove that every Hamel basis of $X$ is uncountable.

Let $X$ be an infinite dimensional Banach space. Prove that every Hamel basis of $X$ is uncountable. Can anyone help how can I solve the above problem?
89
votes
8 answers

Equivalent Definitions of the Operator Norm

How do you prove that these four definitions of the operator norm are equivalent? $$\begin{align*} \lVert A\rVert_{\mathrm{op}} &= \inf\{ c\;\colon\; \lVert Av\rVert\leq c\lVert v\rVert \text{ for all }v\in V\}\\ &=\sup\{ \lVert Av\rVert\;\colon\;…
89
votes
6 answers

Why Zariski topology?

Why in algebraic geometry we usually consider the Zariski topology on $\mathbb A^n_k$? Ultimately it seems a not very interesting topology, infact the open sets are very large and it doesn't satisfy the Hausdorff separation axiom. Ok the basis is…
89
votes
5 answers

Volumes of n-balls: what is so special about n=5?

The volume of an $n$-dimensional ball of radius $1$ is given by the classical formula $$V_n=\frac{\pi^{n/2}}{\Gamma(n/2+1)}.$$ For small values of $n$, we have $$V_1=2\qquad$$ $$V_2\approx 3.14$$ $$V_3\approx 4.18$$ $$V_4\approx 4.93$$ $$V_5\approx…
89
votes
5 answers

Are all eigenvectors, of any matrix, always orthogonal?

I have a very simple question that can be stated without any proof. Are all eigenvectors, of any matrix, always orthogonal? I am trying to understand principal components and it is crucial for me to see the basis of eigenvectors.
Bober02
  • 2,604
89
votes
7 answers

In what sense are math axioms true?

Say I am explaining to a kid, $A +B$ is the same as $B+A$ for natural numbers. The kid asks: why? Well, it's an axiom. It's called commutativity (which is not even true for most groups). How do I "prove" the axioms? I can say, look, there are $3$…
user4951
  • 1,808