エレファント・コンピューティング調査報告

極限に関する順序を論理プログラミングの手法を使って指定することを目指すブロクです。

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

群論の計算(17)

ここでは複素数の説明のためにベクトル空間の説明をします。 ベクトル空間 環上の加群のところでも説明しましたがベクトル空間の定義は以下のようになります。 を体とします。アーベル群 とスカラー乗法 が以下の条件を満たすとき を 上のベクトル空間と呼び…