drive.google.com
今回は関数解析の事実を圏論の言葉にしてみました。たまたま関数解析の復習をしていたところ、圏同型が見えたので記事にしてみました。
内容はすごく簡単で中線定理が成立するノルム空間と内積空間を同一視するというものです。あまり関数解析で扱う空間の圏を触ってなかったので射に何を選択するかに苦戦しました。
今回はPaNorとPreHillのどちらも射を有界線型作用素としましたが違う射で随伴や圏同値が得られるとしたらその辺も気になるところです。
次回の月1圏論ゼミは11月10日の予定なのでお時間ある方は是非！
