\( \newcommand{\Spec}{\mathop{\rm Spec}\nolimits} \newcommand{\id}{\mathop{\rm id}\nolimits} \newcommand{\td}{\mathop{\bf TD}\nolimits} \renewcommand{\sp}{\mathop{\bf SPEC}\nolimits} \newcommand{\f}{\rightarrow} \newcommand{\zar}{\mathop{\rm Zar}\nolimits} \newcommand{\oqc}{\mathop{\rm Co}\nolimits} \newcommand{\gi}{\mathfrak i} \newcommand{\gj}{\mathfrak j} \newcommand{\ga}{\mathfrak a} \newcommand{\gb}{\mathfrak b} \newcommand{\gf}{\mathfrak f} \newcommand{\sst}{\scriptscriptstyle} \newcommand{\tq}{\>|\>} % l'ensemble des x tels que... \newcommand{\Union}{\mathop{\bigcup}\limits} \newcommand{\Inter}{\mathop{\bigcap}\limits} \newcommand{\Vide}{\varnothing} \def\implique{\Longrightarrow} \def\inter{\mathrel{\cap}} \def\union{\mathrel{\cup}} \def\ssi{\mathrel{\Longleftrightarrow}} \def\ph{\varphi} \)

☰×The Abstract Side of the Force

toggle_fullscreen August 01, 2023 : Birth of This Blog

Paul Barbaroux August 01, 2023

Introduction

Here we go, I decided to switch from my old site to a real blog. I will now have the bare minimum to write mathematics online and usefully spend my upcoming retirement.Which indeed should not be long in pointing the tip of its nose, no offense to Mr. Macron's voters who doubtless imagine that they will enjoy their own retirement all the more as they delay the arrival of mine. I'm starting with the idea of maintaining a fully bilingual blog, we'll see if I manage to stick to it over time.

Finally I decided to write the whole code of the site structure (HTML and CSS) by hand, except for the contact form. Some great tools have helped me a lot:

  • Style owes a lot to tufte-css from which I was somewhat inspired.
  • MathJax offers a rendering that is well worth that of \(\rm{\TeX}\).Without sacrificing performance, by means of the lazy-typeset option, whose effect on a page containing many formulas is spectacular. Here is a small sample.This example is taken from post Stone's Representation Theorem in this blog. \begin{eqnarray*} (\theta_{T'}\circ f) (x)&=&D_{T'}(f(x))\\ &=&\{\ga\in\Spec(T')\tq f(x)\notin\ga\}\\ &=&\{\ga\in\Spec(T')\tq x\notin f^{-1}(\ga)\}\\ &=&\{\ga\in\Spec(T')\tq f^{-1}(\ga)\in D_T(x)\}\\ &=&\{\ga\in\Spec(T')\tq \Spec(f)(\ga)\in D_T(x)\}\\ &=&\Spec(f)^{-1}(D_T(x))\cr &=&\oqc(\Spec(f))(D_T(x))\\ &=&\oqc(\Spec(f))\circ \theta_T(x)\,, \end{eqnarray*}
  • Contact form uses Jotform.