【情報論理数学】代数系 ①
今回はすべての代数系に共通の性質をまとめていきます。 まずは、演算について説明していきます ある集合Aにおいて定義された次のような写像 を考えてきます。この写像を2項演算といいます。 これから、… 続きを読む »【情報論理数学】代数系 ①
今回はすべての代数系に共通の性質をまとめていきます。 まずは、演算について説明していきます ある集合Aにおいて定義された次のような写像 を考えてきます。この写像を2項演算といいます。 これから、… 続きを読む »【情報論理数学】代数系 ①
今回は、束の公理、そしてイメージしずらい吸収律について解説します。 まず、束の定義から見ていきましょう! 二つの演算が定義されている代数系(L;+,・)が次の三つの条件を満たすとき、この代数系Lを束(lat… 続きを読む »【情報論理数学】 束の公理と吸収律の解説
今回は、なかなかわかりにくい閉じているって何なのかを解説しています。 整数の集合をSとしましょう。ここで、この集合をS={…,-2,-1,0,1,2,…}と表記してみます。 ちなみにこのように集合… 続きを読む »【情報論理数学】閉じていると代数系