kazz の数学旅行記

数学の話題を中心に, 日々の知的活動の旅路を紹介します.

2020-05-05から1日間の記事一覧

LaTeX

予備の PC に LaTeX をインストールするのは、あきらめました。 PC がすごく性能が悪く、texwork を手順通りに設定しても、 ファイルがコンパイルされないからです。 だからウィンドウズはダメなんです。 Mac が返ってくるまで待ちます。

LaTeX インストール中

今、LaTeX を windows パソコンにインストール中です。 Mac を修理に出すので、その間の作業を、予備に買っておいた、windowsで行います。

弱微分関数の基本定理

ブルバキ多様体補足ノート、 微分多様体の基礎 1 更新しました。 今回の更新は、第 23 章です。 重要な定理の証明があります。 定理 r を 0 以上の整数, K = R, or C, E を K ノルム空間, U を E の開集合, F を点列完備な分離多ノルム空間, f : U → F を写…