More music

Yesterday I was determined to write a song, and so I did.

 

Theorem classification

I claim (as an experiment) that there are three kinds of theorems "If A then B". Let \(|A|\) be the number of arrangements of objects that fit the description, i.e. interpret \(A\) as a set of tuples.

1. \(|A| = \aleph_0\) – these give exact answers
2. \(|A| = c\) – these give approximate results, usually to arbitrary precision
3. \(|A| > \aleph_0\text{ but }|A|\not=c\) – these are even deeper set-theoretical fantasies

If \(|A|\in\mathbb{N}\text{ or }|A| = 0\) then the theorem doesn't deserve to be called a theorem because the use of the implication can be avoided by enumerating all statements \((a_i\in A,b_i\in B)_{i=1}^n\).

A subtle issue is that my use of sets is not justified. For example, according to present set theory, there is no set of all sets, so my classification cannot handle statements like "All sets have a power set". I count all such theorems into category 3 because they are set-theoretic.

How many functions are there?

Claim
There are more real functions than there are real numbers.

Explanation
\(\{f:\mathbb{R}\to\mathbb{R}\} \geq \{f:\mathbb{R}\to\{0, 1\}\} = \mathcal{P}(\mathbb{R}) > \mathbb{R}\)

Claim
There are just as many continuous functions as there are real numbers.

Explanation
\(\{f:\mathbb{R}\to\mathbb{R}, f\text{ continuous}\}\\\qquad\begin{cases}\geq\{f:\{0\}\to\mathbb{R}\} = \mathbb{R}\\\leq\{f:\mathbb{N}\times\mathbb{N}\to\mathbb{R}\}=\mathbb{R}^{\mathbb{N}\cdot\mathbb{N}}=2^{\mathbb{N}\cdot\mathbb{N}\cdot\mathbb{N}}=2^\mathbb{N}=\mathbb{R}\end{cases}\)

The first step on the second line is justified by the fact that for every continuous function, there is a sequence of parallelogram functions converging pointwise to it. By parallelogram function, I mean a function whose value is specified at evenly distributed points and interpolated linearly in between. For example, a parallelogram function approximating \(\sin(x)\) is \[f(x) = \sin(\lfloor x\rfloor) + (x-\lfloor x\rfloor)\sin(\lfloor x\rfloor+1).\]
To narrow the number of parallelogram functions down to \(\{f:\mathbb{N}\times\mathbb{N}\to\mathbb{R}\}\), require that the value at \(0\) be specified and that the distance between specified points for the \(n\)th function in the sequence be \(1/n\).

Central motion excludes the center

Central motion is the motion of a particle under the influence of a central force. I have known for some year that the particle cannot not pass through the origin. Mimicking a proof in my multivariable calculus book, I'll formalize the fact.

Theorem
If \(r:(a, b)\to\mathbb{R}^3\) is twice differentiable, \(r(t)\times r''(t) = \vec{0}\) for all \(t\) and \(r(t_0)\times r'(t_0) \not=\vec{0}\) for some \(t_0\), then \(r(t)\) is never \(\vec{0}\).

Proof
\[\frac{d}{dt}(r(t)\times r'(t)) = r'(t)\times r'(t) + r(t)\times r''(t) = \vec{0}\]Thus \(r(t)\times r'(t)=c\) for some \(c\). Because \(r(t_0)\times r'(t_0) \not=\vec{0}\), \(c\not=\vec{0}\). If \(r(t_1)\) were \(\vec{0}\) for some \(t_1\) then \(c\) would be \(\vec{0}\) so there is no such \(t_1\).

I wonder how to generalize this to higher dimensions.

Continuity at infinity

Usually \(f(x)\to L\text{ as }x\to \infty\) is defined in an epsilon N fashion. With a projective point of view, infinity becomes a point among the usual numbers, and the definitions of convergence at finite and infinite points can be unified. What strikes me is that this means that if f(x) converges as x goes to infinity, then f can be continuously extended at infinity.

Cauchy–Schwarz

Finally I understand the Cauchy–Schwarz inequality! No induction needed.

Theorem
\(a, b\in \mathrm{Rat}^n\)
\(n\in\mathrm{Nat}\)
                     
\((a\bullet b)^2 \leq \mathop{\rm Q}(a)\mathop{\rm Q}(b)\)

Proof
Recall that by definition
\[a\bullet b=\sum_{i=1}^n a_ib_i\]\[\mathop{\rm Q}(a)=\sum_{i=1}^n a_i^2\]\[\mathop{\rm Q}(b)=\sum_{i=1}^n b_i^2.\]
The claim, reformulated as
\[\left(\sum_{i=1}^n a_ib_i\right)^2 \leq \left(\sum_{i=1}^n a_i^2\right)\left(\sum_{i=1}^n b_i^2\right),\]
is equivalent to (by distributing terms)
\[\left(\sum_{i=1}^n a_i^2b_i^2\right)+\sum_{1\leq i<j\leq n}2a_ib_ia_jb_j \leq \left(\sum_{i=1}^n a_i^2b_i^2\right)+\sum_{1\leq i<j\leq n}a_i^2b_j^2+a_j^2b_i^2\]
and (by collecting terms)
\[0 \leq \sum_{1\leq i<j\leq n}a_i^2b_j^2+a_j^2b_i^2-2a_ib_ia_jb_j = \sum_{1\leq i<j\leq n}(a_ib_j-a_jb_i)^2.\]
The last statement is true because squares are positive and sums of positive numbers are positive.

A spiral

Let \(\mathbb{O}\) be the countable set of all infinite rational number sequences which are ultimately but not identically zero, and let \(H\) contain those elements in \(\mathbb{O}\) whose last nonzero element is positive. With respect to \(\mathbb{O}\), define \(H^\complement\). Then \(f(x) = -x\) is a bijection from \(H\) to \(H^\complement\).

Also, \(H\) looks like a spiral. To see that, require the last nonzero element to be the first, then the second, and then the third one, and watch this sequence of subsets twist into a new dimension at each step.

That's really something! A spiral whose reflection in the origin is its complement.