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

J. Munkres. Topology (2013) Chapter 3: Connectedness and Compactness. 23: Connected Spaces

Definition Let \(X\) be a topological space. A separation of \(X\) is a pair of disjoint nonempty open sets \(U\), \(V\) such that \(U \cup V = X\). The space \(X\) is connected iff there does not exist a separation of \(X\). Lemma 23.1 Let \(X\) be a topological space. Let \(Y\) be a subspace of \(X\). A separation of \(Y\) is a pair of disjoint nonempty sets \(A\) and \(B\) whose union is \(Y\), neither of which contains a limit point (in \(X\)) of the other. Example 4 The rationals are not connected. \(\{q \in \mathbb{Q} \mid q^2 2\}\) form a separation. Lemma 23.2 Let \(X\) be a topological space. If \(U\) and \(V\) form a separation of \(X\), and \(Y\) is a connected subspace of \(X\), then \(Y \subseteq U\) or \(Y \subseteq V\). Theorem 23.3 Let \(X\) be a topological space. The union of a set of connected subspaces of \(X\) that have a point in common is connected. Theorem 23.4 Let \(X\) be a topological space. Let \(A\) be a connected subspace of \...
Read more

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

J. Munkres. Topology (2013) Chapter 3: Connectedness and Compactness. 25: Components and Local Connectedness

Definition Let \(X\) be a topological space. Define an equivalence relation \(\sim\) on \(X\) by: \(x \sim y\) iff there exists a connected subspace \(C\) of \(X\) such that \(x \in C\) and \(y \in C\). The (connected) components of \(X\) are the equivalence classes of \(X\) under this equivalence relation. Theorem 25.1 The components of \(X\) are the maximal connected subspaces of \(X\). Definition Let \(X\) be a topological space. Define an equivalence relation \(\sim\) on \(X\) by: \(x \sim y\) iff there exists a path in \(X\) from \(x\) to \(y\). The path components of \(X\) are the equivalence classes of \(X\) under this equivalence relation. Theorem 25.2 The path components of \(X\) are the maximal path connected subspaces of \(X\). Proposition Every component is closed. Proof Since the closure of a connected subspace is connected. Definition Let \(X\) be a topological space. For \(x \in X\), \(X\) is locally (path) connected at \(x\) iff, for ever...
Read more