「はてなブログでXyJaxが使えなくなった」ので、どうしたものか？ と考えています。他のブログサービスをちょっと調べたのですが、最近はだいたいTeX数式に対応しているようです。が、エンジンがKaTeXが多く、それだとMathJax拡張であるXyJaxが使えません。2…

実験してみましょう。XyJaxによる図式 ↓$`\newcommand{\B}[1]{ {\bf #1} } \xymatrix@C-1pc{ % 1 {\B{L}}\ar[d]\ar[rr] & {} & {\B{FinSet}}\ar[d]\ar[rr] & {} & {\B{Set}}\ar[d] & {} \\ % 2 {\B{MMat}} \ar[dd]\ar[dr]\ar[rr] & {} & {\B{MFXMat}} \ar[dd…

数式の区切り記号に、はてな記法ではなくてドルマークを使う。$$ \xymatrix{ {} & {X}\ar[ld] \ar[rd] & {} \\ {A} & {} & {B} }\\ \text{in }{\bf Set} $$

\(\coprod_x A_x\) \( p:\coprod_{x\in X}\sigma_x \rightarrow \coprod_{x\in X} A_x \)\(\coprod_{x\in X}\sigma_x \) \( (\coprod_{U\in |Open(X)|} A(U))\times X \) \( \{(a, x) \in (\coprod_{U\in |Open(X)|} A(U))\times X | x \in def(a)\} \)

ジャーム空間G(A)は、\(\coprod_x A_x\) と書けました。茎〈ストーク〉の寄せ集めですね。各茎には、前の補足で述べた射影 qxσx→Ax があります。これらの射影を寄せ集めると、次の写像を定義できます。 \( p:\coprod_{x\in X}\sigma_x \rightarrow \coprod_{…

\( T(f^{-1})( (y_1, \ldots, y_{m}), \begin{pmatrix} \eta_1 \\ \vdots \\ \eta_{m} \end{pmatrix}) \\ = \\ (f^{-1}(y_1, \ldots, y_{m}), \\ \begin{pmatrix} \frac{\partial f_1}{\partial x_1}(f^{-1}(y_1, \ldots, y_{m})) & \ldots & \frac{\partial…

ひとつ前の記事にて： このブログは、「はてなドメイン」内で運用すると思います。とりあえず当面は、「ゲーデルの不完全性定理」ゼミの、補足説明、予習・復習用問題などを公開するために使います。よろしくお願いします。 となると、(保存用) 檜山正幸のキ…

長年使ってきたブログサービス「はてなダイアリー」が新サービス「はてなブログ」に統合される（＝「はてなダイアリー」は終了する）ことになったので、複数ブログの編成を変えて、はてなダイアリーに移行することにしました。今まで2つのブログを運用してき…