User:Caliburn/s

Progress List
Feel free to finish these off and move to mainspace if you want


 * /1 - uniformly convergent sequence of continuous functions is equicontinuous
 * /2 - arithmetic average of $\psi$
 * /3 - equicontinuous family of functions on compact space is equicontinuous
 * /4 - $\sum_{d \divides n} \size {\map \mu d}$
 * /5 - $\sum_{m \le x} \map \Lambda m/m = \log x + \map \OO 1$
 * /6 - Entire Function with Constant Real Part is Constant
 * /7 - Closed Interval is Non-Meager
 * /8 - locally constant function on connected space is constant
 * /9 - order of quantity of numbers divisible by certain number
 * /10 - integral representation of total variation
 * /11
 * /12 - $\sum_{p \le x} \log p/p = \log x + \map \OO 1$

Analytic Number Theory TODO

 * $\map \pi x \asymp x/\log x$
 * $\ds \sum_{p \le x} \frac 1 p = \map \log {\log x} + \map \OO 1$

Functional Analysis TODO

 * Normed Space Finite Dimensional iff Unit Sphere Compact
 * Proper setup of Inner Product Spaces
 * Polarisation identities
 * Orthonormal sets in hilbert space
 * Orthogonal complements and projections
 * Dual spaces