高校数学からはじめる作用素環論入門の入門

$$\newcommand{Cstar}[0]{\mathrm{C}^*\!} \newcommand{n}[1]{\left\lVert#1\right\rVert} \newcommand{Sp}[0]{\mathrm{Sp}} $$ はじめに久々のMathlog投稿です． この記事は Wathematicaのアドカレ をきっかけに書かれたものです． 僕は作用素環周りの関数解析を専門に勉強しているのですが，今回は作用素環論のわかりやすい記事を作ろうと思います．書生只今修行中でして至らぬ点があれば（優しく）コメントして頂ければ幸いです． この記事を書くにあたり大変お世話になった戸松玲治先生，ゼミとお酒を通して交流してくれた先輩方と友人たちにこの場を借りて感謝致します．