1 誘導写像の概要
1.1 基本的な考え方
誘導写像とは、ある数学的対象に対して定義された基本的な構成（例：商、直積、系列、随伴、テンソル積、ホモロジー等）を通じて、与えられた元の写像や作用が「別のレベルの対象」へ自然に引き継がれるように作られる写像である。典型例では、位相空間の連続写像によりホモロジーやコホモロジーが変化するが、その際に得られる変換が「誘導される」ものに対応する。
誘導写像の要点は次の2点にある。第一に、元の写像が与える構造上の情報（連続性、線形性、準同型、準同型類など）が、より複雑な構成にも矛盾なく反映されることである。第二に、その写像が恣意的でなく、定義規則から一意に決まる（もしくは自然変換として一意に確定する）ことが、理論の整理と計算の効率化を支える。
1.2 「誘導される」とは何か
「誘導される」と言うとき、一般には次のいずれかの状況が想定される。
第一に、元の写像が構成に必要な条件を満たす結果、普遍性や定義から自動的に写像が定まる場合である。たとえば、商写像 \(q:A\to A/N\) を考えると、商の普遍性により \(N\) が消える（あるいは適切に包含される）条件を満たす写像は商上に一意に持ち上げられる。
第二に、図式が可換になるように写像が選ばれる場合である。可換図式の要請は、核や像、制限・延長、あるいはテンソル積や系列の扱いで自然に現れる。
第三に、どの代表を選んでも同じ結果になる、つまり同値類上に値が定まる場合である。この性質はホモロジー・コホモロジーや剰余構造で特に重要で、誘導写像が「よく定義される」ことの核心になる。
1.3 自然性と可換図式
誘導写像が「自然」であるとは、構成が持つ普遍性に基づいて、関連する選択が本質的でないことを意味する。より具体的には、誘導写像を作る手順が、入力の写像の合成に対して整合的であり、恒等写像に対して恒等写像を返すように振る舞うことが求められる。
可換図式は自然性を検証するための標準的な道具である。たとえば、写像 \(f\) の誘導が行われる過程において、ある構成 \(T\)（ホモロジー、商、テンソル、制限など）が「関手的」な性格を持つならば、任意の \(f,g\) に対し \[ T(g\circ f)=T(g)\circ T(f) \] が成立することが、対応する図式の可換性として現れる。これにより、計算の段取りを変えても最終結果が一致することが保証される。
2 ホモロジー・コホモロジーにおける誘導写像
2.1 連続写像からの誘導
2.1.1 ホモロジーへの誘導写像
位相空間 \(X\) から \(Y\) への連続写像 \(f:X\to Y\) は、連続性により鎖（chain）やサイクル（cycle）の対応が定義可能となり、ホモロジー群に写像を与える。具体的には、ある理論（特異ホモロジー、CW複体のホモロジーなど）で構成された鎖複体に対して、各次の鎖への写像が誘導され、その結果として境界作用と両立するためにホモロジー上の準同型が得られる。
この誘導の特徴は、境界が保存されることにより、ホモロジー類への写像がよく定義される点にある。つまり、境界の像が境界に写るため、境界に属する鎖はホモロジーではゼロに対応し、同値関係（相異が境界であること）が崩れない。
2.1.2 コホモロジーへの誘導写像
コホモロジーでは反変／共変の扱いが理論や定義に依存しうるが、一般に連続写像 \(f:X\to Y\) はコホモロジー群に対して引き戻し（pullback）の形で働く。直観的には、\(Y\) 上のコホモロジー類を \(X\) 側へ「沿って」戻す操作に対応する。
よく定義されるためには、コチェーン（cochain）複体の微分（コボーダリー）と整合し、コボーダリーに属する要素が適切にコボーダリーへ写ることが必要である。この整合性が確保されることで、同値類としてのコホモロジー上の準同型が定まる。
2.2 短完全列と長完全列
2.2.1 連結準同型（境界準同型）との関係
短完全列から長完全列が得られる枠組みにおいて、誘導写像は連結準同型（境界準同型）を含む形で登場する。たとえば加群の短完全列 \[ 0\to A\to B\to C\to 0 \] があり、ホモロジー（またはコホモロジー）のような関手が関係を解釈すると、対応する長完全列には \(A\) から \(C\) への「途中の変換」を与える写像が含まれる。この境界準同型は、連続した完全列の情報を次の次数へ持ち上げる役割を果たす。
誘導写像の自然性により、長完全列の各矢印が、元の完全列の準同型と両立するように組み合わされる。結果として、どの段階で生成される元の不変量であっても、位相的あるいは代数的な整合性が保たれる。
2.3 複体の写像と誘導された準同型
2.3.1 コホモロジー上の誘導
鎖複体 \(C^\bullet\) と \(D^\bullet\) の間に複体の写像（次数保存で微分と両立する写像）が与えられるとき、その写像はコホモロジー上でも準同型を誘導する。理由は、コボーダリーの定義が微分に依存し、複体写像が微分を尊重するためである。
さらに、複体の写像がホモロジー（またはコホモロジー）同型にどの程度影響するかが重要になる。複体準同型がホモトピー同値である場合、誘導されるコホモロジー上の写像は同一になる。これは、複体が表す「本質的情報」がホモトピーの下で不変であることを示す。
3 加群・線形代数における誘導写像
3.1 商・部分加群からの誘導
3.1.1 商加群上の誘導
加群準同型 \(f:M\to N\) が与えられ、さらに部分加群 \(M'\subseteq M\) や \(f(M')\subseteq N'\) のような制約があると、商（剰余）構造に対して誘導写像が構成できる。代表的には、\(M'\) を消すことで同値類が作られるため、\(f\) の値が同値類に依存しない条件、すなわち \(M'\) の要素が \(f\) により適切にゼロ化されることが必要となる。
このとき、\(M/M'\) から \(N/N'\) への写像が可換図式を満たすように一意に定まる。これにより、商上の計算が「元の準同型を通じて」体系的に整理される。
3.1.2 影響の追跡（準同型性の保存）
誘導写像の成立には、写像が商や部分の制約と両立していることが要件となる。具体的には、加法構造に関して準同型である性質が保たれること、さらに核・像の振る舞いが適切に反映されることが検証項目となる。
たとえば、\(f\) が全射であれば誘導写像も全射になりうるが、常にそうとは限らない。条件の整理は、核がどの部分加群に含まれるか、あるいは像がどの剰余に落ちるかに依存する。このため、誘導写像はしばしば次の段階の性質（単射、全射、同型）を推論する道具として用いられる。
3.2 テンソル積と双線形形式
3.2.1 テンソル積上の誘導準同型
双線形写像 \(b:V\times W\to U\) は、テンソル積 \(V\otimes W\) の普遍性により、一意の線形写像 \(\tilde b:V\otimes W\to U\) に対応する。逆に、線形写像 \(f:V\to V'\) と \(g:W\to W'\) があるとき、これらはテンソル積上で合成可能な形として \[ f\otimes g:V\otimes W\to V'\otimes W' \] が誘導される。
重要なのは、これが「基底の選択に依らない」構成である点である。よって、線形代数の計算は抽象的な普遍性と整合し、同値な定義に基づいて同一の写像が得られる。
3.2.2 接続準同型と自然変換
テンソル積や双線形形式の文脈では、テンソル積と随伴関係（自由性、内部同型、写像空間との関係）が絡み、自然変換として誘導写像が表れる。たとえば、対称性や交換性を捉えるために、テンソル因子を入れ替える同型が構成されることがある。
自然変換としての誘導は、入力の線形写像の合成に整合し、構成された矢印がカテゴリ的な意味で破綻しないことを保証する。結果として、同型判定や計算の簡約が体系化される。
3.3 拘束と拡張（制限・延長）
3.3.1 制限写像としての誘導
制限とは、部分対象に対する振る舞いを抜き出す操作である。たとえば、関数や準同型が部分集合や部分加群上でどのように作用するかを考えると、その結果として制限写像が得られる。誘導写像として捉える場合、元の構造が部分へ自然に継承されるため、制限も同様の整合性を満たす。
制限では、定義域が狭まることで条件が緩む方向がある一方、像の情報が失われる可能性もある。そのため、単射性や全射性などの性質が一般に保持されるとは限らず、具体的な状況で確認が必要になる。
3.3.2 延長写像としての誘導
延長は、部分から大域へ値や作用を広げる操作である。延長写像が存在するかどうか、また一意に定まるかどうかは、普遍性（自由性、補題的構成）や制約の選び方に依存する。とりわけ、部分的に定義された写像を全体へ引き伸ばす際には、矛盾が生じない条件が必要になる。
延長が可能な場合、誘導される矢印はしばしば可換性を通じて特徴づけられる。制限と延長が互いに逆になっているとき、対応する同型性が得られる。反対に、部分情報では決まらない場合には、延長は多様な候補を持ちうる。
4 表現論・加群の文脈での誘導写像
4.1 表現の間の写像
表現論では、群 \(G\) の表現とは \(G\) の作用を持つベクトル空間（あるいは加群）と見ることができる。表現の間の写像（準同型）は、線形性に加えて \(G\) の作用と両立することを要する。誘導写像はこの両立性が保たれる形で、構成された新しい表現（商、部分、双線形形式、随伴表現など）へ作用を引き継ぐ。
この設定では、可換性（作用を経由した結果が一致する）が誘導の可否を決める基本要件となる。したがって誘導写像は、単なる線形代数の機械だけでなく、「群作用が壊れていないか」の確認を含む。
4.2 不変部分・剰余表現への誘導
4.2.1 不変部分の取り出しと誘導
ある表現 \(V\) に対し、不変部分 \(W\subseteq V\) があると、\(W\) は \(G\) 作用により安定である。表現準同型 \(f:V\to U\) が与えられていて、たとえば \(f(W)\subseteq W'\) のような包含が成立するなら、制限によって \(W\to W'\) の準同型が誘導される。
この誘導の意味は、より小さな空間に情報を閉じ込めることにある。結果として、表現の性質（既約性、可約分解、固有値の構造など）の解析で扱いやすい舞台が用意される。
4.2.2 剰余への誘導と性質
剰余表現では、\(W\subseteq V\) を潰して \(V/W\) を作る。表現準同型が \(W\) を適切に消す条件を満たすとき、剰余上の準同型が誘導される。具体的には、商を通る可換図式が成立するように、元の写像が同値類に矛盾なく降りてくる必要がある。
剰余への誘導は、核と像の解析と密接に結びつく。ある部分が表現理論の中で「無視できる成分」として扱える場合、剰余上に出現する情報が本質部分として浮かび上がる。
4.3 加群準同型の結合と可換性
4.3.1 合成と誘導の整合性
誘導写像は、合成に対して整合することが期待される。たとえば \(G\)-加群準同型 \(f:V\to U\) と \(g:U\to W\) があるとき、それぞれがある構成（商、テンソル、随伴など）へ誘導されるなら、合成 \(g\circ f\) を誘導した結果は、個別に誘導してから合成したものと一致する。
この整合性は、可換図式を用いて定式化できる。可換性が保たれることで、どの順序で誘導を適用しても同じ矢印が得られるため、理論の一貫性が保証される。さらに、合成の性質から核や像の関係が追跡しやすくなり、証明の設計が明確になる。