Derivative AT a Discontinuity

MOM Alok’s thinking about conic sections again. The Classical Groups The classical groups (that I was thinking about) are: Real Orthogonal Group: \(O(n, \mathbb{R})\). Real-valued matrices \(A\) such that \(A^T A = I\) where \(A^T\) is the transpose of \(A\), and \(I\) is the identity matrix. Complex Orthogonal Group: \(O(n, \mathbb{C})\)....

Nonstandard analysis gives a nice link between continuous and bounded functions, which are small and large-scale notions.1 Let \(X\) and \(Y\) be topological spaces. Identify them with their nonstandard extensions. A function \(f: X \rightarrow Y\) is continuous if \(x \approx x' \implies f(x) \approx f(x')\). Intuitively, infinitely close points...

Let \(H > \mathbb{Nat}\) be unlimited. Then the linear map \(T(x: \mathbb{R}^*): \mathbb{R}^* := Hx\) is discontinuous. Why, its discontinuity is equivalent to it being unbounded. This holds in general, but this example is the germ of generality. See my previous post for definitions of bounded and continuous. The map \(T\) is unbounded since it...

(written long time ago, publish or languish) These are some notes I made for Davide Radaelli for the first section of Schuller’s lectures on physics. Let’s turn Boolean algebra into something we know better: arithmetic. First we’ll set False to 0 and True to 1. To handle overflow, any arithmetic is mod 2. So even numbers are \(0\) and odd numbers...

The 2 Aspects There’s 2 Aspects to things in general. I will call them Mapping Out and Mapping In, in titlecase so you know they’re distinct concepts. warmup: 0 -> 1 Here, 0 is an initial object and 1 is a terminal object. 0 is Mapped Out of because it’s 0 -> and not -> 0. 1 is Mapped Into because it’s -> 1 and not 1 ->. The defining property of...