2024年7月21日日曜日

690: インジェクション(単射)たちのファイナイト(有限)コンポジション(合成)はインジェクション(単射)である

<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>

インジェクション(単射)たちのファイナイト(有限)コンポジション(合成)はインジェクション(単射)であることの記述/証明

話題


About: セット(集合)

この記事の目次


開始コンテキスト



ターゲットコンテキスト



  • 読者は、インジェクション(単射)たちの任意のファイナイト(有限)コンポジション(合成)はインジェクション(単射)であるという命題の記述および証明を得る。

オリエンテーション


本サイトにてこれまで議論された定義たちの一覧があります。

本サイトにてこれまで議論された命題たちの一覧があります。


本体


1: 構造化された記述


ここに'構造化された記述'のルールたちがある

エンティティ(実体)たち:
{S1,...,Sn}: Sj{ 全てのセット(集合)たち }
{S1,...,Sn}: Sj{ 全てのセット(集合)たち }
{f1,...,fn}: fj:SjSj, { 全てのインジェクション(単射)たち }
//

ステートメント(言明)たち:
j{1,...,n1}(SjSj+1)

fn...f1:S1Sn{ 全てのインジェクション(単射)たち }
//


2: 自然言語記述


任意のセット(集合)たち{S1,...,Sn}、任意のセット(集合)たち{S1,...,Sn}、以下を満たす任意のインジェクション(単射)たち{f1,...,fn}、つまり、fj:SjSj、に対して、もしも、各j{1,...,n1}に対してSjSj+1である場合、fn...f1:S1Snはインジェクション(単射)である。


3: 証明


全体戦略: それをnに関してインダクティブ(帰納的)に証明する; ステップ1: それをn=1ケースに対して証明する; ステップ2: それをn=2ケースに対して証明する; ステップ3: それをn=1,...,n1ケースたちに対して仮定し、それをn=nケースに対して証明する。

それをnに関してインダクティブ(帰納的)に証明しよう。

ステップ1:

n=1であると仮定しよう。

f1はインジェクション(単射)である。

ステップ2:

n=2であると仮定しよう。

p1,p2S1を、p1p2を満たす任意のものとしよう。f1(p1)f1(p2)f1のインジェクティブ(単射)性によって。f2f1(p1)f2f1(p2)f2のインジェクティブ(単射)性によって。したがって、f2f1はインジェクション(単射)である。

ステップ3:

本命題はn=1,...,n1ケースたちに対して成立すると仮定しよう。

n=nだと仮定しよう。

fn...f1=fn(fn1...f1)fn1...f1はインジェクション(単射)である、n=n1ケースに対するインダクション(帰納)仮定によって。fn(fn1...f1)はインジェクション(単射)である、n=2ケースに対する本命題によって。


4: 注


ステップ2を本当に私たちは必要とするのか?そう思う: ステップ2無しにfn(fn1...f1)はインジェクション(単射)であると、本命題がn=1,...,n1ケースたちに対して成立することのみを根拠に主張する誘惑にかられるかもしれないが、n=2である時、仮定されているのは、n=1=n1ケースだけだ。


参考資料


<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>