I’m taking algebraic topology by Professor Zworski!

Story 1: Linear Algebra

Relevant Lectures: Lecture 1

We started out by defining cosets and quotient spaces, and then the first isomorphism theorem for vector spaces. Hahaha this is a homework problem I did for COMPSCI 189 yesterday!

We study the rest of mathematics because linear algebra is too hard. - Taylor, according to Zworski.

Why is this interesting? Suppose we start with $P : H_1 \rightarrow H_2$ and we can find $R_{-} : H_- \rightarrow H_2$ and $R_+ : H_1 \rightarrow H_+$ such that $\begin{pmatrix} P & R_{-} \\ R_+ & 0 \end{pmatrix} : H \oplus H_- \rightarrow H\oplus H_+$ is invertible and $\begin{pmatrix} P & R_- \\ R_+ & 0 \end{pmatrix}^{-1} = \begin{pmatrix} E & E_+ \\ E_- & E_{-+}\end{pmatrix} : H_2 \oplus H_+ \rightarrow H_1 \oplus H_-$ then $P$ is invertible if and only if the stuff from the theorem. Then we have reduced the invertibility of $P$ to something else. It is used in linear algebra for reducing huge systems in linear algebra to much smaller finite ones.

This problem of something is called a Grushih problem. “The key here is stability under perturbations and so on”. Although I have no clue what perturbations he is talking about.

Story 2: Dimension

Relevant Lectures: 1

Dimension of $V$ being $n$ is the same as saying there exists a corresponding basis of $n$ vectors for $V$. This is for finite idmensional vector spaes, and if this is not possible, we say that the dimension is infinite. Hormander actually has another different amusing definition of dimension for vector spaces.

Equivalently, $\dim$ is a functor from the category of vector spaces to $\N$ such that

• $\dim K^n = n$,
• $T : V_1 \rightarrow V_2$ is surjective is equvialent to $\dim V_1 \ge \dim V_2$,
• $T : V_2 \rightarrow V_1$ is injective is equivalent to $\dim V_1 \le \dim V_2$. Zworski kept laughing while writing this.

We say: $\text{Rank }T = \dim \text{Im }T = \text{codim } \ker T$ where $\text{codim } W = \dim V/W$ with $W \subseteq V$.

Proof.

Since $\dim W \le \dim V$ and $\text{codim } W \le \dim V$, we can assume that $\dim W$ and $\text{codim } W$ are finite, because otherwise we just have infinities summing together.

$T_1 : K^n \rightarrow V$ and $T_2 : K^m \rightarrow V/W$ bijection. There exists $\tilde{T}_2 : K^m \rightarrow V$ such that $\tilde{T}_2 \circ \pi = T_2$, $\pi : V \rightarrow V/W$. The tilde mappings are called “lifts” of the non-tilde mappings. $T_2 e_j = x_j + W, \tilde{T}_2(\sum a_j e_j) := \sum a_j x_j$ $e_j$ a basis of $K^m$.

$T: T_1 \oplus \tilde{T}_2 : K^{n+m} \ni (a,b) \mapsto T_1 a + \tilde{T}_2 b \in V$

If $\dim V_j < \infty$, then we define the index: $\text{ind}(T) L= \dim \ker T - \text{codim } \text{Im }T = \dim V_1 - \dim V_2$

Story 3: Index of a Transformation

Relevant Lectures: Lecture 1, Lecture 2

Suppose $\dim \ker T < \infty$ or $\dim (V_2/\text{Im }T) < \infty$. Then $\text{ind}(T) = \dim \ker T - \text{codim } \text{Im }T$

$0 \rightarrow V_0 \xrightarrow{T_0} V_1 \xrightarrow{T_1} \dots \xrightarrow{T_{N-1}} V_N \rightarrow 0$ is called a complex if $T_{k+1}T_k = 0$ or $\ker T_{k+1} \supseteq \text{Im }T_k$.

An example of a complex from MATH 53:

A complex is called exact if $\text{Im }T_k = \ker T_{k+1}$.

This result will allow us to show Theorem 2 by constructing an appropriate exact complex.

Proof.

Let $R_{k+1} = \ker T_{k+1} = \text{Im }T_k$. Then $\dim V_k = \dim R_k + \dim R_{k+1}$ Now, $\sum \dim V_{2k} = \sum \dim R_{2k} + \dim R_{2k+1} == \sum \dim V_{2k+1}$

Story 4: Fedholm Operations

Recall that an operator $T : V_1 \rightarrow V_2$ is Fredholm when $\dim \ker T < \infty$ and $\dim \text{coker } T < \infty$.

Last time, we said $V_1 \supseteq V$ and $x \not\in V_1$ implies there is a hyperplane $V_2$ such that $V_2$ contains $V_1$ and $x$ isn’t in $V_2$.

Proof Sketch.

Take $x \in W_1 \backslash \{0\}$. There is a hyperplane $H_1$ such that $x \not \in H_1$, so that $H_1 + W_1 = V$, and so

For the first direction, we use Theorem 1 to get a $W_2$ satisfying $\ker T \cap W_2 = 0$, $W_2 + \ker T = V$, $\dim \ker T = n_+$. Lte $x_1,\dots,x_{n_+}$ be a basis of $\ker T$. There exists $L_j : V_1 \rightarrow K$ such that $L_j(x_i) = \delta_{ij}$, $y \in V_1$, $y = \sum a_j x_j + \overline{y}$, $\overline{y} \in W_2$, $L_j(y) = a_j$.

$V_+ := K^{n_+}$, $R_+ : V_1 \rightarrow K^{n_+}$. $y \mapsto (L_1(y),...,L_{n_+}(y))$.

Choose a basis of $V_2/\text{Im }T$.

Similarly, we do $V_= := K^{n_-}$, and $(b_1,...,b_{n_-}) \mapsto \sum_{j=1}^{n_-} b_j y_j$.

We now wish to show that $R_+$ is surjective. So

To show the other direction, first we observed that $R_+$ is surjective and $R_-$ is injective by actually multiplying out $\begin{pmatrix}T & R_- \\ R_+ & 0 \end{pmatrix}\begin{pmatrix} E & E_+ \\ E_- & E_{-+} \end{pmatrix}$ and $\begin{pmatrix} E & E_+ \\ E_- & E_{-+} \end{pmatrix}\begin{pmatrix}T & R_- \\ R_+ & 0 \end{pmatrix}.$

Then, we took $\begin{pmatrix} u \\ u_-\end{pmatrix} \in V_1 \oplus V_-$ and $\begin{pmatrix} v \\ v_+\end{pmatrix} \in V_2 \oplus V_+$, and saw that $Tu = v$, $u_- = 0$, $Ev + E_+ v_+ = u$ and $E_- v + E_{-+} v_+ = 0$.

Since $v$ is in the image of $T$, $E_-v$ is in the image of $E_{-+}$. This allows us to make a well defined map from $E_- : \text{Im }T \rightarrow \text{Im }E_{-+}$:

Now we can define a map $E_+ : \ker E_{-+} \rightarrow \ker T$. We get $E_+$ is injective on all of $V_+$ and thus on $\ker E_{-+}$ from the fact that $R_+ E_+$ is identity. Surjectivity comes from the same two equations in the iff statement.

The main helpful idea was that $Tu = v, u_- = 0$ was equivalent to $Ev + E_+ v_+ = u$ and $E_- v + E_{-+} v_+ = 0$.

We can purturb our operator by a finite rank operator and stuff.

Proof similar to above.

We can write $V_1 \simeq \ker T \oplus W_1$ and $V_2 \simeq W_2 \oplus \text{Im }T$, so that the matrix of $T$ is

Convex Sets

Now we take $K = \R$.

A convex set $A \subseteq V$, $K = \R$ is convex if for all $x, y\in A$, $\R \supseteq \{t \in \R : x + ty \in A\}$ is an interval in $\R$.

The reason we define it weirdly like this as opposed to the canonical definition is that we want to say that a convex set is linearly open if that interval is open.

Hahn-Banach Theorem

This one was taught by Zhongkai.

Proof.

First looked at $V = \R^2$ and made observation that for any $\in V$, half line $\{t x : t\ ge 0\}$ if it intersects $A$, then $\{tx : t\le 0\} \cap A = \varnothing$ (or else $0 \in A$ by convexity).

He did a ton of stuff and then had to use Zorn’s Lemma.

Now we will stop this topic for a while and go back to Hahn Banach with a version in topology or something.

Metrics and Topologies

Defined topological space and topological structure. Defined Metric space as well, and how metric space induces a topology.

Defined closed and also what it means for a set to be complete.

A set $A\subseteq E$ is called nowhere dense if its closure $\overline{A}$ doesn’t have interior. A set is called first category if it is a countable union of nowhere dense sets. A set is called second category if it is NOT first category.

Baire Category Theorem

$(E,d)$ is a complete metric space, $\{U_n\}_{n=1}^\infty$ countable family of open dense sets. Then $\cap_{n=1}^\infty U_n$ is dense in $E$.

Definition. $A \subseteq E$ is called generic if it contains the countable intersection of open dense sets.

When discussing something, he did a proof by picture where he drew a zig zaggy function with slope on any interval being either $2n$ or $-2n$.

Tychonov Theorem

Locally convex, balanced, absorbing.

• $M \subseteq V$ is called balanced if for all $x \in M$, $|a| \le 1$, $ax \in M$.
• $M\subseteq V$ is called absorbing if for all $x \in V$, $|a|$ sufficiently small, $ax \in M$.

Locally convex: $N$ is open, balanced, and absorbing. $P_n(x) := \inf\{t > 0 : \frac{x}{t} \in N\}$

Seminorms $N_{i,j} = \{x \in V : p_i(x) < \epsilon_j\}$, $\epsilon_j \rightarrow 0$. Hausdorff implies $\cap_{i,j}N_{ij} = \{0\}$, which is how we can guarantee that $d(x,y) = 0 \Rightarrow p_i(x-y) = 0\Rightarrow x - y = 0$. Some classical consutrction $d(x,y) = \sum_{n=1}^\infty 26{-n} \frac{p_n(x-y)}(1+p_n(x-y))$ Triangle inequality is a bit tricky but we can show it from the regular triangle inequality on $p_n$.

TBS is a supset of locally convex TBS which is a supset of seminorm space which is a supset of Frechet space which is a supset of Banach space is a supset of Hilbert space.

Metrizable Locally Convex Topological Veector Spaces

As a consequence of a bunch of theorems, a topology is defined using a countable family of seminorms $p_j : V \rightarrow [,\infty)$, $p_j(x+y) \le p_j(x) + p_j(y)$, $p_j(a_x) = |a|p_j(x)$, i.e., $x_n \rightarrow x$ is equivalent to $p_j(x_n - x) \rightarrow 0$ as $n \rightarrow \infty$ for all $j$.

$V, \{p_j\}$ is called a Frechet space if and only if it is complete.

Seminormal space (i.e. top space defined by one seminorm).

The $\|f\|_p$ norm is a seminorm based on Minkowski’s theorem or something.

$W \subseteq V$, we would like to define a norm on $V/W$. $\tilde{p}(x+W) := \inf_{y \in x + W} p(y)$ $\tilde{p}$ is continuous if and only if $W$ is closed.

Issue in theorem statement, basically we have a seminorm, but we want to show that when we divide it by points that go to zero, we get a norm.

Now notice that $C(\R^n)$ is not a normed space. Why? Suppose there exists a norm $p$ such that $\forall j \exists c_j$ such that $p_j(x) \le c_j p(x)$. Just take $f(j) = jc_j$ (connected by linear pieces in between), and then the condition would be $j c_j \le c_j p(f)$ which is impossible if it has to happen over all $j$.

We have a whole bunch of different Hahn-Banach theorems. These are all based on the geometric version. There is one version though here:

In Rudin’s Real and Complex Analysis, in an appendix, there is a proof that you only need it to be holomorphic on the interior of $K$. $\|u\| = \sup_{x \in K} |u(x)|$.

There exists a nontrivial fact which is that every continuous linear functional $f$ from … $f(u) = \int u(z) \; d\mu(z)$ for a finite complex supported something. (I think he’s saying we can find $\mu$ so that this works for any functional $f$). The proof is also in the book by Rudin that he mentioned apparently.

Suppose $v$ is compactly supported and smooth in $\mathbb{C}$.

$\overline{\partial} = \frac{1}{2}(\partial_x + i\partial_y)$ $u \in C^1(U)$ $u \in \mathcal{O}(U) \Leftrightarrow \overline{\partial} u = 0$

$\int_{\mathbb{C}} \overline{\partial}v(z) \; dm(z) = 0$ $-\frac{1}{\pi}\int_{\mathbb{C}} \overline{\partial} v(z) (\zeta - z)^{-1} \; dm(z) = v(\zeta)$ Basically proved using Green’s formula to reduce it to Cauchy’s integral formula.

From Hahn-Banach, we need that $\int \zeta^n \; d\mu(\zeta) = 0$ finite for all measure supported in $K$ for all $n$ implies $\int u(\zeta) d\mu(\zeta) = 0$. This left hand side of the implication is the condition that it vanishes on the sapce of polynomials.

Eventually, $z \rightarrow \int (\zeta - z)^{-1} d\mu(\zeta)$ is holomorphic on $K^c$.

Next time we’ll solve PDEs using Hahn-Banach theorem :eyes:.

Recollection of Theorems

• If $K = \R$, apply gen? theory so $H \supseteq F$, $H \cap A = \varnothing$, $\text{codim }H = 1$, all we need is $\overline{H} = H$, since $\overline{H} \neq V$ as $A$ is open and nonempty.
• If $K = \mathbb{C}$, take it as a real vector space to get some $H$ from the first part, then consider $H_1 = H \cap (iH)$. Then it is not too hard to show that it works.

As a corollary,

… (I may have missed some things in here)

Analytic Fredholm Theory

We say that $z \rightarrow B(z)$ is meromorphic with a pole of finite rank at $z = z_0$ if there exists finite rank operators $B_1, ..., B_J$ and an analytic family of open $z \rightarrow \tilde{B}(z)$, for $z$ near $z_0$ such that $B(z) = \sum_{j=1}^J \frac{B_j}{(z - z_0)^j} + \tilde{B}(z)$.

Proof.

Notice $\text{ind}(A(z)) = \text{ind}(A(z_0)) = 0$. Fix $w \in \Omega$. $\dim \ker A(w) = n(q) = n = \dim\text{coker }A(w)$. There exists $R_- : K^n \rightarrow B_2$ and $R_{+} : B_ \rightarrow K^n$ such that ?? $E_{-+}^W (z) : K^n \rightarrow K^n$

$\begin{pmatrix} A(w) & R_{-} \\ R_+ & 0\end{pmatrix} : B_1 \oplus K^n \rightarrow B_2 \oplus K^n$ is invertible. There exists $U(w)$ neighborhood of $w$ wsuch that we have the schur’s complement thing. Now $A(z)^{-1}$ exists is equivalent to $E_{-+}^2(z)^{-}$ existing, and then $A(z)^{-1} = E^w(z) - E_{+}^w(z) E_{-+}^w(z)^{-1} E_-^w(z)$

Proof.

$\Pi_z = \frac{1}{2\pi i} \int_{\gamma_j} (w - P)^{-1}\;dw$ $w = wI$, $\Pi_z^2 = \left(\frac{1}{2\pi i}\right)^2 \int_{\gamma_1}\int_{\gamma_2} (w_1 - P)^{-1} (w_2 - P)^{-1}\; dw_1 \; dw_2$ $(w_1 - P)^{-1} - (w_2 - P)^{-1} = (w_1 - P)^{-1}((w_2 - P) - (w_1 - P))(w_2 - P)^{-1}$ $= (w_1 - P)^{-1}(w_2 - w_1)(w_2 - P)^{-1}$ $(w_1 - P)^{-1}(w_2 - P)^{-1} = \frac{1}{w_2 - w_1}((w_1 - P)^{-1} - (w_2 - P)^{-1})$ $\Pi_z^2 = \frac{1}{(2 \pi i)^2} \int_{\gamma_1} \int_{\gamma_2} (w_1 - P)^{-1}\frac{1}{w_2 - w_1}\;dw_1 \;dw_2\;\frac{1}{(2 \pi i)^2} \int_{\gamma_1} \int_{\gamma_2} (w_2 - P)^{-1}\frac{1}{w_2 - w_1}\;dw_1 \;dw_2$ Integral outside is zero.

Weak Topology and Weak Star Topology and Other things

• $F$, $G$ vector spaces, $F \times G \ni (x,y) \mapsto \langle x, y\rangle$ nilpotent.

Fact: If $L : F \rightarrow K$ is continuous iwth respect to $\sigma(F,G)$ where $\sigma(F,G)$ is the topology on $F$ by seminorms $x \mapsto |\langle x, y\rangle|$, $y \in G$, then $\exists y \in G$ such that $L(x) = \langle x, y\rangle$.

• Banach-Alaoglou Theorem