690: インジェクション(単射)たちのファイナイト(有限)コンポジション(合成)はインジェクション(単射)である
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>
インジェクション(単射)たちのファイナイト(有限)コンポジション(合成)はインジェクション(単射)であることの記述/証明
話題
About:
セット(集合)
この記事の目次
開始コンテキスト
ターゲットコンテキスト
-
読者は、インジェクション(単射)たちの任意のファイナイト(有限)コンポジション(合成)はインジェクション(単射)であるという命題の記述および証明を得る。
オリエンテーション
本サイトにてこれまで議論された定義たちの一覧があります。
本サイトにてこれまで議論された命題たちの一覧があります。
本体
1: 構造化された記述
ここに'構造化された記述'のルールたちがある。
エンティティ(実体)たち:
:
:
: ,
//
ステートメント(言明)たち:
//
2: 自然言語記述
任意のセット(集合)たち、任意のセット(集合)たち、以下を満たす任意のインジェクション(単射)たち、つまり、、に対して、もしも、各に対してである場合、はインジェクション(単射)である。
3: 証明
全体戦略: それをに関してインダクティブ(帰納的)に証明する; ステップ1: それをケースに対して証明する; ステップ2: それをケースに対して証明する; ステップ3: それをケースたちに対して仮定し、それをケースに対して証明する。
それをに関してインダクティブ(帰納的)に証明しよう。
ステップ1:
であると仮定しよう。
はインジェクション(単射)である。
ステップ2:
であると仮定しよう。
を、を満たす任意のものとしよう。、のインジェクティブ(単射)性によって。、のインジェクティブ(単射)性によって。したがって、はインジェクション(単射)である。
ステップ3:
本命題はケースたちに対して成立すると仮定しよう。
だと仮定しよう。
。はインジェクション(単射)である、ケースに対するインダクション(帰納)仮定によって。はインジェクション(単射)である、ケースに対する本命題によって。
4: 注
ステップ2を本当に私たちは必要とするのか?そう思う: ステップ2無しにはインジェクション(単射)であると、本命題がケースたちに対して成立することのみを根拠に主張する誘惑にかられるかもしれないが、である時、仮定されているのは、ケースだけだ。
参考資料
<このシリーズの前の記事 | このシリーズの目次 | このシリーズの次の記事>