ガットですりおろされたい大根のブログ

• 2022.11.24

• 圏論, 数学

米田埋め込みは連続関手である

        $\mathcal{Set}$ を集合の圏とし、$\mathcal{C}$ を局所小圏とします。$\hat{\mathcal{C}} = \mathcal{Set}^{\mathcal{C}^{op}}$, $h_c ...

続きを読む

• 2022.11.18

• 幾何, 数学

リーマン幾何学の捩れテンソルの意味 : 最短性と真っ直ぐさ（接続の幾何：番外編１）

        捩れテンソル (捩率テンソル) について調べて、矢野健太郎先生の「接続の幾何学」という本を呼んでいたら、なぜ捩れテンソルが現れる理由が分かりにくいのかわかった気がしました。本記事ではそれを紹介しようと思います。 ...

続きを読む

• 2022.11.14

• 圏論, 数学小ネタ

【圏論】部分対象分類子の冪のevalが要素記号で表される理由

        $\mathcal{C}$ を圏とし、$\Omega$ を $\mathcal{C}$ の部分対象分類子 (subobject classifier) とます。$X \in Ob(C)$ に対し以下の冪 $$\O...

続きを読む

• 2022.11.04

• 幾何, 数学

接続の捩れと接枠バンドル（接続の幾何３）

        本記事は接続の捩れを理解することを目的としたシリーズ記事、接続の幾何シリーズの3回目の記事です。前回は一般の主束の接続とその曲率について述べました。 「ファイバー束の接続（接続の幾何１）」 「主束の接続と...

続きを読む

• 2022.09.05

• 解析, 数学, 統計・機械学習

【ルベーグ積分】測度論が難しいのは全体像を俯瞰しにくいからではないか？

        測度論に苦手意識を持つ人は多いようです。私もその一人で、学生の頃に結構勉強したつもりでしたが、この記事を書くときには全て忘れていました。振り返ってみると、測度論はルベーグの収束定理やフビニの定理のようなインパクトのある...

続きを読む

• 2022.07.01

• バドミントン

【バドミントン】桃田復活の兆し？不調の原因を考えてみる

        昨日、マレーシアオープン2022の2回戦が行われました。1回戦は桃田選手は不戦勝でしたので、昨日の試合が今大会初の試合でした。そこでの桃田選手のプレーを見た感想を述べたいと思います。 結論から言うと、今大会、桃田...

続きを読む

• 2022.03.12

• 幾何, 数学

主束の接続と曲率 : 最短解説（接続の幾何２）

        本記事は接続の捩れを理解することを目的としたシリーズ記事、接続の幾何シリーズの２回目の記事です。前回は一般のファイバー束上の接続を定義し、それがベクトル束の共変微分の接続の一般化であることを確認しました。 「フ...

続きを読む

• 2022.01.26

• 幾何, 数学

ジェットとジェット束のまとめ

        ジェット (jet) について、日本語の詳しい情報が見当たらなかったので、まとめようと思います。個人的な勉強ノートくらいの気持ちで書いています。(いくつか間違いがある可能性があります。見つけたら修正していきます。) ...

続きを読む

• 2022.01.04

• 幾何, 数学

ファイバー束の接続（接続の幾何１）

        接続という概念に最初に出会うのはリーマン幾何学のLevi-Civita接続だと思います。Levi-Civita接続は計量を保つ捩れのない接続と定義されますが、接続の「捩れ」は幾何学的な理解がかなり難しい概念のように思い...

続きを読む

• 2022.01.02

• 統計・機械学習

機械学習と統計的推定の数学的な枠組み

        機械学習を勉強すると、必ず統計学についても学ぶことになります。そして、多くの場合それらの関係性が明示されることはないように思います。解析手法に焦点を当てれば、どちらも同じことをやっているので違いがないように思います。し...

続きを読む