T.B.P.日本語版
2022年6月19日日曜日
307: モノイドアイデンティティ要素の唯一存在
<
このシリーズの前の記事
|
このシリーズの目次
|
このシリーズの次の記事
>
モノイドアイデンティティ要素の唯一存在の記述/証明
話題
About:
モノイド
この記事の目次
開始コンテキスト
ターゲットコンテキスト
オリエンテーション
本体
1: 記述
2: 証明
開始コンテキスト
読者は、
モノイドの定義
を知っている。
ターゲットコンテキスト
読者は、任意のモノイド内には唯一つのアイデンティティ要素があるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義の一覧
があります。
本サイトにてこれまで議論された命題の一覧
があります。
本体
1: 記述
任意のモノイド
(
S
,
∙
)
に対して、唯一つのアイデンティティ要素
i
∈
S
がある。
2: 証明
以下を満たす任意の要素
p
1
∈
S
、つまり、任意の要素
p
2
∈
S
に対して
p
1
∙
p
2
=
p
2
∙
p
1
=
p
2
、に対して、
p
2
はiでもよい、したがって、
p
1
∙
i
=
i
、しかし
p
1
∙
i
=
p
1
なので、
p
1
=
i
。
参考資料
<
このシリーズの前の記事
|
このシリーズの目次
|
このシリーズの次の記事
>
次の投稿
前の投稿
ホーム