Lie 群論いsf による Lie 群論 はじめに： Lie 群論で sf を使う理由 数値実験をとおして Lie 群論を理解・応用するために sf を使います。厳密な証明ではなく、数値実験を通して Lie 群論の定理を理解・応用することを目指します。 Lie 群論は U(3), SU(5) などの変換群をより基本的な SU(2), SO(2) などに分解する方法論です。基本要素に分解してやることで、自然の対象性を基本要素の組み合わせ関係として理解できるようになります。 しかし Lie 群論の数学理論書を読むだけで理解・応用することは困難です。Lie 群論の教科書では抽象的な定義と、それを使った形式的な証明の羅列が延々と続きます。Lie 理論全体の俯瞰図は、その数学書の証明全部を追跡し、理解し終わってからでしか得られません。何を目的としているか分らぬままに何ヶ月も厳密な証明を追い続けるねばなりま
