Last night, I learned, once more, the definition of absolute continuity. Formally, a function ‘s being absolutely continuous is its for any , having a such that for any finite number of pairs of points with implies . It is stronger than uniform continuity, a special case of it. I saw that it implied almost everywhere differentiability and is intimately related to the Radon-Nikodym derivative. A canonical example of a function not absolute continuous but uniformly continuous, to my learning last night afterwards, is the Cantor function, this wacky function still to be understood by myself.

I have no textbook on this or on anything measure theoretic, and though I could learn it from reading online, I thought I might as well buy a hard copy of Rudin that I can scribble over to assist my learning of this core material, as I do with the math textbooks I own. Then, it occurred to me to consult my math PhD student friend Oleg Olegovich on this, which I did through Skype this morning.

He explained very articulately absolute continuity as a statement on bounded variation. It’s like you take any set of measure less than and the total variation of that function on that set is no more than . It is a guarantee of a stronger degree of tightness of the function than uniform continuity, which is violated by functions such as on reals, the continuity requirements of which increases indefinitely as one goes to infinity and is thereby not uniformly continuous.

Our conversation then drifted to some lighter topics, lasting in aggregate almost 2 hours. We talked jokingly about IQ and cultures and politics and national and ethnic stereotypes. In the end, he told me that введите общение meant “input message”, in the imperative, and gave me a helping hand with the plural genitive conjugation, specifically for “советские коммунистические песни”. Earlier this week, he asked me how to go about learning Chinese, for which I gave no good answer. I did, on this occasion, tell him that with all the assistance he’s provided me with my Russian learning, I could do reciprocally for Chinese, and then the two of us would become like Москва-Пекин, the lullaby of which I sang to him for laughs.

Back to math, he gave me the problem of proving that for any group , a subgroup of index , the smallest prime divisor of , is normal. The proof is quite tricky. Note that the action of on induces a map , the kernel of which we call . The image’s order, as a subgroup of must divide , and as an isomorphism of a quotient group of must divide . Here is where the smallest prime divisor hypothesis is used. The greatest common divisor of and cannot not or not . It can’t be because not everything in is a self map on . as everything in must take to itself, which only holds for elements of . By that, which means . The desired result thus follows from for all .

Later on, I looked at some random linear algebra problems, such as proving that an invertible matrix is normal iff is unitary, and that the spectrum of is the complex conjugate of the spectrum of , which can be shown via examination of . Following that, I stumbled across some text involving minors of matrices, which reminded me of the definition of determinant, the most formal one of which is . In school though we learn its computation via minors with alternating signs as one goes along. Well, why not relate the two formulas.

In this computation, we are partitioning based on the element that or any specific element of , with a corresponding row in the matrix, maps to. How is the sign determined for each? Why does it alternate. Well, with the mapping for already determined in each case, it remains to determine the mapping for the remainder, through . There are of them, from to . If we were to treat through as shifted up by one so as to make it a self map on then each entry in the sum of the determinant of the minor would have its sign as the sign of the number of two cycles between consecutive elements (which generate the symmetric group). Following that, we’d need to shift back down , the presentation of which, in generator decomposition, would be , which has sign equal to the sign of , which is one minus the column we’re at, thereby explaining why we alternate, starting with positive.