6
votes
2answers
537 views
Reference for a nice proof of “undetermined coefficients”
I'm teaching an honors differential equations class and have been using linear algebra heavily. I thought it would be interesting to include a proof of the method of undetermined …
14
votes
5answers
1k views
Smoothness of $f(\sqrt x)$
I found that I need to use the following facts in a paper that I am writing.
Let $f\in C^\infty(\mathbb R)$, then
If $f(0)=0$, then $f(x)=x g(x)$ for some $g\in C^\infty(\mathbb …
63
votes
6answers
5k views
What are the most elegant proofs that you have learned from MO?
One of the things that MO does best is provide clear, concise
answers to specific mathematical questions. I have picked up ideas
from areas of mathematics I normally wouldn't touc …
32
votes
4answers
4k views
Slick proof?: A vector space has the same dimension as its dual if and only if it is finite dimensional
A very important theorem in linear algebra that is rarely taught is:
A vector space has the same dimension as its dual if and only if it is finite dimensional.
I have seen a …
17
votes
6answers
3k views
A slick proof of the Bruhat Decomposition for GL_n(k)?
On one of my exams last year, we were given a problem (we chose five or six out of eight problems) on an exam, the goal of which was to prove the Bruhat decomposition for $GL_n(k)$ …
36
votes
6answers
3k views
Geometric proof of the Vandermonde determinant?
The Vandermonde matrix is the $n\times n$ matrix whose $(i,j)$-th component is $x_j^{i-1}$, where the $x_j$ are indeterminates. It is well known that the determinant of this matri …
18
votes
5answers
1k views
Easy proof of the fact that isotropic spaces are Euclidean
Let $X$ be a finite-dimensional Banach space whose isometry group acts transitively on the set of lines (or, equivalently, on the unit sphere: for every two unit-norm vectors $x,y\ …
8
votes
2answers
1k views
Noncombinatorial proofs of Ramsey’s Theorem?
I know of 2(.5) proofs of Ramsey's theorem, which states (in its simplest form) that for all $k, l\in \mathbb{N}$ there exists an integer $R(k, l)$ with the following property: for …
23
votes
2answers
905 views
Slick proof related to choosing points from an interval in order
Choose a point anywhere in the unit interval $[0, 1]$. Now choose a second point from the same interval so that there is one point in each half, $[0, \frac12]$ and $[\frac12, 1]$. …
3
votes
1answer
354 views
Slick verification of the model category axioms for Spaces and SSets with the q-model structure?
We choose our category of spaces to be compactly generated weak Hausdorff spaces for convenience, denoted $CGWH$.
Questions:
1.) Is there any sort of slick argument to verify t …
2
votes
2answers
182 views
A better way to compute the mapping spaces of the category of spans in an enriched tensored category?
Let X be a tensored and cotensored V-category, where V is a fixed complete, cocomplete, closed symmetric monoidal category.
Define $C:=Span(X)$ to be the category of spans in X …
1
vote
1answer
200 views
Synthetic Proof for Ratio of Volumes of Concentric Spheres?
Let $B^n(r)$ be the $n$-ball of radius $r$. A standard (easy) problem for first year calculus students is the following.
$(1)$ Show that $$ \lim_{n\to \infty} \frac{\text{Vo …

