Variants of the Schwarz lemma

Take some self map on the unit disk \mathbb{D}, f. If f(0) = 0, g(z) = f(z) / z has a removable singularity at 0. On |z| = r, |g(z)| \leq 1 / r, and with the maximum principle on r \to 1, we derive |f(z)| \leq |z| everywhere. In particular, if |f(z)| = |z| anywhere, constancy by the maximum principle tells us that f(z) = \lambda z, where |\lambda| = 1. g with the removable singularity removed has g(0) = f'(0), so again, by the maximum principle, |f'(0)| = 1 means g is a constant of modulus 1. Moreover, if f is not an automorphism, we cannot have |f(z)| = |z| anywhere, so in that case, |f'(0)| < 1.


Cauchy’s integral formula in complex analysis

I took a graduate course in complex analysis a while ago as an undergraduate. However, I did not actually understand it well at all, to which is a testament that much of the knowledge vanished very quickly. It pleases me though now following some intellectual maturation, after relearning certain theorems, they seem to stick more permanently, with the main ideas behind the proof more easily understandably clear than mind-disorienting, the latter of which was experienced by me too much in my early days. Shall I say it that before I must have been on drugs of something, because the way about which I approached certain things was frankly quite weird, and in retrospect, I was in many ways an animal-like creature trapped within the confines of an addled consciousness oblivious and uninhibited. Almost certainly never again will I experience anything like that. Now, I can only mentally rationalize the conscious experience of a mentally inferior creature but such cannot be experienced for real. It is almost like how an evangelical cannot imagine what it is like not to believe in God, and even goes as far as to contempt the pagan. Exaltation, exhilaration was concomitant with the leap of consciousness till it not long after established its normalcy.

Continue reading “Cauchy’s integral formula in complex analysis”

Implicit function theorem and its multivariate generalization

The implicit function theorem for a single output variable can be stated as follows:

Single equation implicit function theorem. Let F(\mathbf{x}, y) be a function of class C^1 on some neighborhood of a point (\mathbf{a}, b) \in \mathbb{R}^{n+1}. Suppose that F(\mathbf{a}, b) = 0 and \partial_y F(\mathbf{a}, b) \neq 0. Then there exist positive numbers r_0, r_1 such that the following conclusions are valid.

a. For each \mathbf{x} in the ball |\mathbf{x} - \mathbf{a}| < r_0 there is a unique y such that |y - b| < r_1 and F(\mathbf{x}, y) = 0. We denote this y by f(\mathbf{x}); in particular, f(\mathbf{a}) = b.

b. The function f thus defined for |\mathbf{x} - \mathbf{a}| < r_0 is of class C^1, and its partial derivatives are given by

\partial_j f(\mathbf{x}) = -\frac{\partial_j F(\mathbf{x}, f(\mathbf{x}))}{\partial_y F(\mathbf{x}, f(\mathbf{x}))}.

Proof. For part (a), assume without loss of generality positive \partial_y F(\mathbf{a}, b). By continuity of that partial derivative, we have that in some neighborhood of (\mathbf{a}, b) it is positive and thus for some r_1 > 0, r_0 > 0 there exists f such that |\mathbf{x} - \mathbf{a}| < r_0 implies that there exists a unique y (by intermediate value theorem along with positivity of \partial_y F) such that |y - b| < r_1 with F(\mathbf{x}, y) = 0, which defines some function y = f(\mathbf{x}). Continue reading “Implicit function theorem and its multivariate generalization”

A nice consequence of Baire category theorem

In a complete metric space X, we call a point x for which \{x\} is open an isolated point. If X is countable and there are no isolated points, we can take \displaystyle\cap_{x \in X} X \setminus x = \emptyset, with each of the X \setminus x open and dense, to violate the Baire category theorem. From that, we can arrive at the proposition that in a complete metric space, no isolated points implies that the space uncountable, and similarly, that countable implies there is an isolated point.


Urysohn metrization theorem

The Urysohn metrization theorem gives conditions which guarantee that a topological space is metrizable. A topological space (X, \mathcal{T}) is metrizable is there is a metric that induces a topology that is equivalent to the topological space itself. These conditions are that the space is regular and second-countable. Regular means that any combination of closed subset and point not in it is separable, and second-countable means there is a countable basis.

Continue reading “Urysohn metrization theorem”

Riemann mapping theorem

I am going to make an effort to understand the proof of the Riemann mapping theorem, which states that there exists a conformal map from any simply connected region that is not the entire plane to the unit disk. I learned of its significance that its combination with the Poisson integral formula can be used to solve basically any Dirichlet problem where the region in question in simply connected.

Continue reading “Riemann mapping theorem”

Arzela-Ascoli theorem and delta epsilons

I always like to think of understanding of the delta epsilon definition of limit as somewhat of an ideal dividing line on the cognitive hierarchy, between actually smart and pseudo smart. I still remember vividly struggling to grok that back in high school when I first saw it junior year, though summer after, it made sense, as for why it was reasonable to define it that way. That such was only established in the 19th century goes to show how unnatural such abstract precise definitions are for the human brain (more reason to use cognitive genomics to enhance it 😉 ). At that time, I would not have imagined easily that this limit definition could be generalized further, discarding the deltas and epsilons, which presumes and restricts to real numbers, as it already felt abstract enough. Don’t even get me started on topological spaces, nets, filters, and ultrafilters; my understanding of them is still cursory at best, but someday I will fully internalize them.

Continue reading “Arzela-Ascoli theorem and delta epsilons”

Path lifting lemma and fundamental group of circle

I’ve been reading some algebraic topology lately. It is horrendously abstract, at least for me at my current stage. Nonetheless, I’ve managed to make a little progress. On that, I’ll say that the path lifting lemma, a beautiful fundamental result in the field, makes more sense to me now at the formal level, where as perceived by me right now, the difficulty lies largely in the formalisms.

Path lifting lemma:    Let p : \tilde{X} \to X be a covering projection and \gamma : [0,1] \to X be a path such that for some x_0 \in X and \tilde{x} \in \tilde{X}, Continue reading “Path lifting lemma and fundamental group of circle”