Most Popular

1500 questions
90
votes
7 answers

Why is compactness in logic called compactness?

In logic, a semantics is said to be compact iff if every finite subset of a set of sentences has a model, then so to does the entire set. Most logic texts either don't explain the terminology, or allude to the topological property of compactness. I…
vanden
  • 1,217
90
votes
15 answers

Prove that $\lim \limits_{n \to \infty} \frac{x^n}{n!} = 0$, $x \in \Bbb R$.

Why is $$\lim_{n \to \infty} \frac{2^n}{n!}=0\text{ ?}$$ Can we generalize it to any exponent $x \in \Bbb R$? This is to say, is $$\lim_{n \to \infty} \frac{x^n}{n!}=0\text{ ?}$$ This is being repurposed in an effort to cut down on duplicates,…
Matt Nashra
  • 1,245
90
votes
9 answers

Why do mathematicians sometimes assume famous conjectures in their research?

I will use a specific example, but I mean in general. I went to a number theory conference and I saw one thing that surprised me: Nearly half the talks began with "Assuming the generalized Riemann Hypothesis..." Almost always, the crux of their…
Joseph DiNatale
  • 2,845
  • 22
  • 36
90
votes
3 answers

What is the importance of the infinitesimal generator of Brownian motion?

I have read that the infinitesimal generator of Brownian motion is $\frac{1}{2}\small\triangle$. Unfortunately, I have no background in semigroup theory, and the expositions of semigroup theory I have found lack any motivation or intuition. What is…
Potato
  • 40,171
90
votes
8 answers

Prove that the union of countably many countable sets is countable.

I am doing some homework exercises and stumbled upon this question. I don't know where to start. Prove that the union of countably many countable sets is countable. Just reading it confuses me. Any hints or help is greatly appreciated! Cheers!
wonggr
  • 1,665
90
votes
6 answers

Cardinality of set of real continuous functions

I believe that the set of all $\mathbb{R\to R}$ continuous functions is $\mathfrak c$, the cardinality of the continuum. However, I read in the book "Metric spaces" by Ó Searcóid that set of all $[0, 1]\to\mathbb{R}$ continuous functions is greater…
kennytm
  • 7,495
90
votes
2 answers

Difference between metric and norm made concrete: The case of Euclid

This is a follow-up question on this one. The answers to my questions made things a lot clearer to me (Thank you for that!), yet there is some point that still bothers me. This time I am making things more concrete: I am esp. interested in the…
vonjd
  • 8,810
90
votes
2 answers

Is Lagrange's theorem the most basic result in finite group theory?

Motivated by this question, can one prove that the order of an element in a finite group divides the order of the group without using Lagrange's theorem? (Or, equivalently, that the order of the group is an exponent for every element in the…
lhf
  • 216,483
90
votes
3 answers

Paul Erdos's Two-Line Functional Analysis Proof

Legends hold that once upon a time, some mathematicians were rather pleased about a 30-ish page result in functional analysis. Paul Erdos, upon learning of the problem, spent ten or so minutes thinking about the original problem, and came up with a…
Emily
  • 35,688
  • 6
  • 93
  • 141
90
votes
4 answers

Can a row of five equilateral triangles tile a big equilateral triangle?

Can rotations and translations of this shape perfectly tile some equilateral triangle? I've now also asked this question on mathoverflow. Notes: Obviously I'm ignoring the triangle of side $0$. Because the area of the triangle has to be a…
90
votes
6 answers

Not every metric is induced from a norm

I have studied that every normed space $(V, \lVert\cdot \lVert)$ is a metric space with respect to distance function $d(u,v) = \lVert u - v \rVert$, $u,v \in V$. My question is whether every metric on a linear space can be induced by norm? I know…
Srijan
  • 12,518
  • 10
  • 73
  • 115
90
votes
9 answers

Combinatorial proof of summation of $\sum\limits_{k = 0}^n {n \choose k}^2= {2n \choose n}$

I was hoping to find a more "mathematical" proof, instead of proving logically $\displaystyle \sum_{k = 0}^n {n \choose k}^2= {2n \choose n}$. I already know the logical Proof: $${n \choose k}^2 = {n \choose k}{ n \choose n-k}$$ Hence summation can…
Lance C
  • 901
  • 1
  • 7
  • 3
90
votes
10 answers

Would you ever stop rolling the die?

You have a six-sided die. You keep a cumulative total of your dice rolls. (E.g. if you roll a 3, then a 5, then a 2, your cumulative total is 10.) If your cumulative total is ever equal to a perfect square, then you lose, and you go home with…
Newb
  • 17,672
  • 13
  • 67
  • 114
90
votes
8 answers

Is there a size of rectangle that retains its ratio when it's folded in half?

A hypothetical (and maybe practical) question has been nagging at me. If you had a piece of paper with dimensions 4 and 3 (4:3), folding it in half along the long side (once) would result in 2 inches and 3 inches (2:3), which wouldn't retain its…
Pyraminx
  • 1,011
89
votes
2 answers

The Duals of $l^\infty$ and $L^{\infty}$

Can we identify the dual space of $l^\infty$ with another "natural space"? If the answer is yes, what can we say about $L^\infty$? By the dual space I mean the space of all continuous linear functionals.
omar
  • 2,445