Project list

  1. Read John Baez's reading list.
  2. Read the references in the Background section of D. J. Myers, H. Sati, U. Schreiber Topological Quantum Gates in Homotopy Type Theory.
  3. Read the references in the statement of the Yang-Mills problem. BLOCKED: Need to know what a Lorentz tensor is.
  4. Write a rigorous treatment of quantum field theory (as much as is possible today).
  5. Write a mathematically rigorous version of this Wikipedia page.
  6. Read the Geometry of Physics pages.
  7. Write a treatment of quantum field theory in Martin-Löf Type Theory.
  8. Write a treatment of quantum field theory in Homotopy Type Theory.

Comments

Post a Comment

Popular posts from this blog

Reading List

Making a list here of things that come up in references that I'd like to read: R. M. Smullyan. The continuum hypothesis. In The Mathematical Sciences, A Collection of Essays . 1969. P. J. Campbell. The origin of “Zorn’s lemma”. Historia Mathematica , 5:77–89, 1978 G. H. Moore. Zermelo’s Axiom of Choice . Springer-Verlag, New York, 1982
Read more

Change of book?

I'm thinking of abandoning Jänich. It's not clear what he is assuming the reader already knows: he mentions manifolds, he assumes we know that addition and multiplication on \(\mathbb{R}^n\) and \(\mathbb{C}^n\) are continuous, and looking ahead I see he assumes we already know what an inner product space is. I'll switch instead to a book that I have started in the past but never finished, and so know is a good introduction to topology for those starting from nothing: Munkres Topology (2013).
Read more

J. Munkres. Topology (2013) Chapter 2: Topological Spaces and Continuous Functions. 21: The Metric Topology (continued)

Proposition Let \((X,d)\) be a metric space and \(Y \subseteq X\). Then \(d \restriction Y^2\) is a metric on \(Y\) that induces the subspace topology. Proposition Every metric space is Hausdorff. Proposition Let \(((X_n, d_n))\) be a sequence of metric spaces. Define \(D\) on \(prod_n X_n\) by \(D((x_n)) = \sup_n (\overline{d_n}(x_n, y_n)/n)\), where \(\overline{d_n}\) is the standard bounded metric corresponding to \(d_n\). Then \(D\) is a metric on \(\prod_n X_n\) that induces the product topology. Theorem 21.1 Let \((X, d_X)\) and \((Y, d_Y)\) be metric spaces. Let \(f : X \rightarrow Y\). Then \(f\) is continuous if and only if, for all \(x \in X\) and \(\epsilon > 0\), there exists \(\delta > 0\) such that, for all \(y \in X\), \[ d_X(x,y) Definition Let \(X\) be a topological space. Let \(x \in X\). A basis at the point \(x\) is a set \(\mathcal{B}\) of neighbourhoods of \(x\) such that every neighbourhood of \(x\) includes a member of \(\mathcal{B}\)...
Read more