写像

1. はじめに

数学の広大な領域において、「写像」という概念は、その根底を流れる最も普遍的かつ強力な道具の一つとして位置づけられます。日常的な言葉で言えば「対応」や「変換」といった直観的なアイデアを、数学的な厳密さをもって捉え直したものが写像です。異なる数学的対象、例えば集合の要素同士、あるいはより複雑な代数系や幾何学的空間といったものの間に、明確な規則に基づいた関連性を記述し、それらの構造を比較・分析するための基本的な枠組みを提供します。本レポートでは、この写像の基本的な定義から出発し、それに関連する重要な専門用語、写像の多様な種類とその固有の性質、そして代数学、解析学、位相空間論といった数学の主要な諸分野において写像がどのように活用され、なぜそれほどまでに重要視されるのかについて、段階を追って詳細に解説していきます。

写像の概念は、単に二つの集合の要素間に何らかの関係を定義するという基本的な機能を超えて、数学の異なる分野や多様な構造の間に橋を渡し、それらを統一的な視点から理解することを可能にする強力な枠組みを提供します。この力は特に、それぞれの分野で重要となる特定の性質、例えば代数的な演算構造や空間の位相的な近さといった「構造」を「保つ」ような写像を考える際に、より顕著に現れます。写像の定義自体は驚くほど単純ですが ¹、その単純さの背後には、数学的構造の普遍的な言語として機能し、抽象化と一般化を通じて数学の諸分野を繋ぐという、深い能力が秘められています。例えば、ある代数的な演算が写像によってどのように移されるか、あるいは点の近傍関係が写像によってどのように保たれるか ⁴ を調べることは、それぞれの数学的対象の本質を浮き彫りにする上で不可欠です。このように、写像は数学の世界における多様な現象を記述し、理解するための共通の糸を提供するのです。

2. 写像の基本的な定義

数学における写像とは、根本的には二つの集合の元の間に定められた明確な対応規則を指します。より形式的には、集合 A の「それぞれの」要素に対して、集合 B の要素を「ただ一つ」定める規則 f のことを、集合 A から集合 B への写像と呼びます ¹。この定義に含まれる二つの条件、すなわち「始集合（定義域）の全ての元に対応が存在すること（全域性）」と「その対応が一意的であること（一意性、あるいは well-definedness）」は、写像という概念を数学的に厳密かつ有用なものにするために極めて重要です。

写像 f が集合 A から集合 B への写像であることは、記号を用いて f:A→B と表記されます ²。このとき、集合 A の元 a が写像 f によって集合 B の元 b に対応付けられることは、f(a)=b と書かれます。また、a が f(a) に写されることを a↦f(a) や f:a↦b のように表現することもあります ⁶。

写像の具体例は数学の至る所に見出すことができます。

数学的関数: 最も馴染み深い例は、実数 x に対してその2乗 x2 を対応させる規則 f:R→R,f(x)=x2 でしょう（ここで R は実数全体の集合を表します）²。これは、任意の実数 x に対して、その像 x2 がただ一つ定まるため、写像の定義を満たします。
算術演算: 日常的に用いる算術演算も写像として捉えることができます。例えば、加法は、二つの実数の組 (x,y) （これは直積集合 R2=R×R の元と見なせます ⁷）に対して、その和 x+y という一つの実数を対応させる写像 +:R2→R と解釈できます ²。同様に、減法や乗法も R2 から R への写像と見なせます。除法については、分母が0になる場合を除いて定義されるため、例えば R×(R∖{0}) から R への写像となります ²。
日常的な対応の例: 数学の外の世界にも写像の考え方は適用できます。例えば、厳格な一夫一妻制が採用されている社会において、既婚男性全体の集合 M から既婚女性全体の集合 W へ、各既婚男性にその妻を対応させる規則は写像となります ²。各男性に対して妻はただ一人定まる（と仮定する）からです。
幾何学的変換: 平面上の点を別の点に移す操作、例えば原点を中心とする回転や、特定のベクトルに沿った平行移動なども、平面という集合からそれ自身への写像の例です。

一方で、ある規則が写像の定義を満たさない場合もあります。

始集合のある元に対して、対応する終集合の元が存在しない場合。例えば、規則 f(x)=1/x を考え、これを実数全体の集合 R から R への対応と見なそうとすると、x=0 のときに f(0) が定義されないため、このままでは写像とは言えません ²。始集合を 0 を含まない実数の集合 R∖{0} に制限すれば、これは写像となります。
始集合のある元に対して、対応する終集合の元が複数存在する場合（多価対応）。例えば、正の数 x に対してその平方根を対応させる規則を考えます。x=4 の平方根は +2 と −2 の二つが存在するため、対応が一意に定まらず、これは写像ではありません ²。このようなものは多価関数と呼ばれ、写像とは区別されます。

写像の定義における「各要素に」という全域性の条件と、「ただ一つ」という一意性の条件は、数学的議論を展開する上での一貫性と予測可能性を保証するために不可欠です。これらの条件がなぜそれほどまでに重要なのかを考えることは、写像概念の本質を理解する上で有益です。仮に「各要素に」という条件が満たされず、始集合のある元 a に対応する像 f(a) が存在しない場合、その f(a) を用いるような更なる操作、例えば別の写像 g との合成 g(f(a)) などを考えようとしても、その時点で定義が破綻してしまいます。また、仮に「ただ一つ」という条件が満たされず、始集合のある元 a が終集合の複数の元 b1,b2 に対応してしまうと、f(a) という記号が b1 を指すのか b2 を指すのか曖昧になり、例えば f(a)+1 といった計算の結果が一意に定まらなくなります。これは数学の命である厳密性を著しく損なうことになります ²。写像の相等（二つの写像が等しいかどうか）を判断する際にも ²、各 a に対して f(a) が一意に定まらなければ、f(a)=g(a) という比較自体が無意味になってしまいます。したがって、これらの条件は、写像を数学的に信頼でき、安定して扱える道具とするための基礎であり、これによって関数空間のようなより複雑な数学的構造を堅固に構築することが可能になるのです。

3. 写像に関する主要な用語

写像の概念を正確に扱うためには、いくつかの基本的な用語を理解しておく必要があります。これらの用語は、写像の性質を記述し、異なる写像を比較・分類する際の共通言語となります。

写像 f:A→B が与えられたとき、集合 A を f の始集合（ししゅうごう）あるいは定義域（ていぎいき）と呼び、集合 B を f の終集合（しゅうしゅうごう）と呼びます ²。ただし、これらの用語、特に「始集合」と「定義域」の使い分けには文献によって若干の揺れが見られるため、注意が必要です。この点については後ほど詳しく触れます ⁸。

次に、像と逆像に関連する用語を整理します。

像 (Image of an element): 始集合 A の特定の元 a に対して、写像 f によって対応づけられる終集合 B の元 f(a) を、f による a の像（ぞう）と呼びます ²。
値域 (Range / Image of the mapping): 始集合 A の全ての元の像を集めた集合、すなわち {f(a)∣a∈A} を、写像 f の値域（ちいき）と呼びます。これはしばしば Im(f) や f(A) とも表記されます ⁶。重要な点として、値域 f(A) は常に終集合 B の部分集合となります (f(A)⊆B) が、必ずしも B 全体と一致するとは限りません。
像 (Image of a subset): より一般的に、始集合 A の部分集合 C （C⊆A）に対して、 C の各元の像を集めた集合 {f(c)∣c∈C} を、f による C の像といい、f(C) と書きます ⁶。明らかに、f(A) はこの定義における特別な場合です。
逆像 (Preimage / Inverse image of a subset): 終集合 B の部分集合 D （D⊆B）に対して、f によって D の元に写されるような始集合 A の元全体の集合 {a∈A∣f(a)∈D} を、f による D の逆像（ぎゃくぞう）と呼び、f−1(D) と表記します ⁶。
逆像 (Preimage / Inverse image of an element): 終集合 B の特定の元 b に対して、その逆像は厳密には一点集合 {b} の逆像 f−1({b}) ですが、これを単に f−1(b) と書くことがあります。これは、f(a)=b を満たすような始集合 A の元 a 全体の集合 {a∈A∣f(a)=b} を意味します ⁶。注意すべきは、f−1(b) は一般に複数の元を含む集合である可能性があり、元が一つも存在しない場合（空集合 ∅）もあり得ることです。また、f−1 という記号は後述する「逆写像」にも用いられるため、文脈によって f−1(b) が元を指すのか集合を指すのかを区別する必要があります ⁹。

ここで、先に触れた用語の精密な理解について深掘りします。特に「始集合」と「定義域」、そして「終集合」と「値域」の区別は、写像の性質を正確に議論する上で重要です。一部の文献ではこれらの区別が曖昧にされがちですが ⁸、より厳密な立場からは以下のように整理されます。

始域 (Initial set) と 終域 (Codomain): f:A→B と表記した際の A と B は、それぞれ始域と終域と呼ばれます。これらは、ある写像 f を考える際の「舞台設定」や「枠組み」として、議論の文脈によって指定される集合と捉えることができます。例えば、関数 f(x)=x2 を考える際に、これを実数全体から実数全体への写像 f:R→R と見るか、実数全体から非負実数全体への写像 $f: \mathbb{R} \rightarrow。
値域 (Range of f / Im(f)): 実際に写像 f によって写された終集合 B の元全体の集合 f(A) であり、これは写像の対応規則から一意に定まります。

この区別は、特に「全射」という性質を定義する際に本質的となります。全射であるかどうかは、値域 Im(f) と、文脈で指定された「終集合 B」が一致するかどうかで判定されるからです。もし終集合と値域を常に同一視してしまうと、全射という概念自体が意味をなさなくなってしまいます ⁸。

以下の表は、これらの用語を整理したものです。

表1: 始域・終域・定義域・値域の整理

用語 (日本語)	用語 (英語例)	記号例 (f:A→B)	説明	での強調点
始集合	Initial Set	A	写像の出発点となる集合。文脈で指定される。	個々の写像の属性というより、議論の文脈で規定される。
終集合	Codomain/Final Set	B	写像の到達点が含まれる集合。文脈で指定される。	個々の写像の属性というより、議論の文脈で規定される。値域とは異なる。
定義域	Domain (of f)	(通常 A)	始集合の元のうち、実際にfによって値が対応付けられる元の集合。全域写像では始集合と一致。	個々の写像に付随する属性。部分写像を許容する場合、始集合の部分集合となりうる。
値域	Range/Image (of f)	f(A) または Im(f)	定義域の全ての元がfによって写された先の元全体の集合。終集合の部分集合。	個々の写像に付随する属性。終集合と一致するとは限らない（一致すれば全射）。

この表が示すように、用語の正確な理解は、写像に関するより進んだ概念を学ぶ上での基礎となります。特に、⁸ で指摘されているように、始集合・終集合と定義域・値域を区別することは、全射性や部分写像といった概念を明瞭に捉えるために不可欠です。

さらに一歩進んで考えると、写像に関する用語の性質には興味深い二面性が見られます。始域や終域といった用語は、その写像がどのような数学的文脈（例えば、特定の理論や問題設定）の中で考慮されているかに依存して定まる側面を持っています 8。例えば、f(x)=x2 という同じ対応規則を持つ写像でも、それを f:R→R と捉えるか、$f: \mathbb{R} \rightarrow。

単射の特徴は、像が「重複しない」ということです。つまり、終集合 B の各元 b に対して、その逆像 f−1(b) （すなわち f(a)=b となる始集合 A の元 a の集合）に含まれる元の個数は、0個または1個のいずれかになります。複数の異なる始集合の元が、終集合の同じ元に写ることはありません。

具体例として、f:R→R,f(x)=2x+1 は単射です。なぜなら、2a1+1=2a2+1 ならば明らかに a1=a2 となるからです。一方、g:R→R,g(x)=x2 は単射ではありません。例えば、g(1)=12=1 かつ g(−1)=(−1)2=1 であり、1=−1 にもかかわらず像が等しくなるためです。

全射 (Surjective mapping / onto)
全射とは、写像 f:A→B の値域 Im(f) と終集合 B が一致する写像のことを言います。言い換えれば、終集合 B の任意の元 b に対して、f(a)=b となるような始集合 A の元 a が少なくとも一つは存在するということです 6。
全射の特徴は、終集合 B の全ての元が、始集合 A のいずれかの元の像として「カバーされている」ということです。つまり、終集合の中に「写ってこない元」が存在しない、「漏れがない」写像と言えます。
具体例として、f:R→R,f(x)=x3 は全射です。なぜなら、任意の（正、負、0のいずれの）実数 b に対しても、その三乗根 b は実数として存在し、f(b)=(b)3=b となるからです。一方、g:R→R,g(x)=x2 は全射ではありません。終集合 R の中には負の数が含まれますが、例えば −1 という元に対して、x2=−1 となるような実数 x は存在しないからです。しかし、ここで注目すべきは、終集合の取り方によって全射性が変わるという点です。もし終集合を非負実数全体の集合 $。
全単射 (Bijective mapping / one-to-one correspondence)
全単射とは、写像 f が単射であり、かつ全射でもある場合を指します 6。
全単射の特徴は、始集合 A の各元と終集合 B の各元が、過不足なくちょうど一対一に対応するということです 10。つまり、始集合の異なる元は必ず終集合の異なる元に写り（単射性）、かつ終集合の全ての元が始集合のいずれかの元の像となっている（全射性）のです。
具体例として、一次関数 f:R→R,f(x)=ax+b (ただし a=0) は全単射です。a=0 より単射性が保証され、また任意の y∈R に対して x=(y−b)/a とすれば f(x)=y となるため全射性も満たされます。

これらの写像の種類をまとめたものが次の表です。

表2: 単射・全射・全単射のまとめ

| :—– | :——— | :——————————————— | :—————————————————————————– | :———————– | :——————————————————- | :—————————————– |

| 全射 | ぜんしゃ | 終集合の全要素がカバーされる (値域=終集合) | ∀b∈B,∃a∈A s.t. f(a)=b | 1個以上 | ∣A∣≥∣B∣ | 一般には（全域的なものは）存在しない |

この表は、単射・全射・全単射という基本的な写像の分類を理解する上で非常に有用です。これらの概念は抽象的であるため、直感的な説明、形式的な定義、そして具体的な帰結（逆像の元の数、有限集合の場合の元の数（濃度）の関係、逆写像の存在の可否）を並べて比較することで、それぞれの特徴と相互の違いが明確になります。特に、逆写像が存在するための条件が全単射であることと密接に関連している点は重要であり ⁶、この表によってその関連性が一目で把握できます。また、⁸ の議論を踏まえ、単射の場合には「部分的な逆写像」の可能性に触れることで、より精密な理解へと繋がります。

単射・全射・全単射という分類は、単に要素間の対応の仕方を記述する以上に深い意味を持っています。これらの性質は、二つの集合の「大きさ」、すなわち濃度に関する情報を提供します。有限集合の場合、単射 f:A→B が存在すれば、A の各元が B の異なる元に対応するため、∣A∣≤∣B∣ が成り立ちます。全射 f:A→B が存在すれば、B の全ての元が A の何らかの元の像であるため、∣A∣≥∣B∣ が成り立ちます。そして、全単射 f:A→B が存在すれば、A と B の元は一対一に対応するため、∣A∣=∣B∣ となります。この考え方は無限集合の濃度の比較や定義（カントールによる）の基礎ともなっています。

さらに一般的に言えば、これらの写像の分類は、二つの数学的構造がどの程度「似ているか」を測る指標を提供します。特に全単射は、集合論のレベルでは二つの集合が「同じ大きさ」であることを意味し、代数系や位相空間といったより豊かな構造を考慮した場合には、それらの構造を保つ全単射（同型写像や同相写像と呼ばれる）が存在すれば、二つの構造は本質的に「同じ」であるとみなされます 3。したがって、単射・全射・全単射の概念は、単なる分類を超えて、数学的対象の比較と分類のための基本的な道具であり、より高度な「同値関係」や「同型類」といった抽象的な概念への道を開くものと言えるのです。

5. 写像に関連する重要な概念

写像の基本的な定義と種類に加えて、写像を操作したり、写像間の関係を記述したりするために用いられるいくつかの重要な概念があります。これらを理解することは、写像をより柔軟に扱い、その役割を深く理解する上で不可欠です。

恒等写像 (Identity mapping)
恒等写像とは、ある集合 A から A 自身への写像で、 A の各元 a を a 自身に対応させるものです。記号では idA:A→A または 1A:A→A と書かれ、その定義は idA(a)=a (全ての a∈A に対して) となります 2。
恒等写像は常に全単射です 6。また、後述する合成写像において、単位元（掛け算における 1 のようなもの）の役割を果たします。すなわち、任意の写像 f:A→B に対して、f∘idA=f かつ idB∘f=f が成り立ちます。
興味深い視点として、恒等写像の解釈も文脈に依存しうるという指摘があります 8。例えば、x↦x という対応規則は、集合 A から A 自身への写像と見なせば恒等写像ですが、A が B の部分集合 (A⊂B) である場合に、集合 A から集合 B への写像と見なせば、「包含写像」と呼ばれる別の種類の写像として扱われることもあります。
合成写像 (Composite mapping)
二つの写像 f:A→B と g:B→C が与えられたとき（ここで、f の終集合が g の始集合と一致していることに注意が必要です）、まず f によって A の元 a を B の元 f(a) に写し、次にその f(a) を g によって C の元 g(f(a)) に写すという操作を考えることができます。このようにして定まる A から C への新しい写像を、f と g の合成写像といい、g∘f と表記します。すなわち、(g∘f)(a)=g(f(a)) です 6。
表記の順序に注意が必要で、g∘f は、まず f が作用し、その結果に g が作用することを意味します。
写像の合成は結合法則を満たします。つまり、三つの写像 f:A→B, g:B→C, h:C→D に対して、(h∘g)∘f=h∘(g∘f) が成り立ちます。これは、写像を連続して適用する際に、どの隣り合う二つの合成を先に行っても結果が変わらないことを意味します。
また、全単射の性質は合成写像と深く関連しています。二つの全単射 f:A→B と g:B→C の合成写像 g∘f:A→C もまた全単射となります 11。逆に、合成写像 g∘f が全単射であるならば、f は単射であり、g は全射であることが示されます 11。
逆写像 (Inverse mapping) とその存在条件
写像 f:A→B が全単射であるとき、終集合 B の各元 b に対して、f(a)=b となるような始集合 A の元 a がただ一つだけ存在します（全射性により少なくとも一つ存在し、単射性により高々一つしか存在しないため）。この対応、すなわち B の各元 b に、そのような唯一の a∈A を対応させる規則は、B から A への写像を定めます。この新しい写像を f の逆写像といい、f−1:B→A と表記します 6。
写像 f が（全域的で一意的な）逆写像 f−1 を持つための必要十分条件は、f が全単射であることです 6。
逆写像 f−1 は、元の写像 f と合成すると恒等写像になります。すなわち、f−1∘f=idA かつ f∘f−1=idB が成り立ちます 6。また、元の写像 f が全単射であれば、その逆写像 f−1 もまた全単射となります。
ここで、8 で提示されているより一般的な視点に触れておくと、写像が単射ではあるが全射ではない場合（つまり、全単射ではない場合）でも、「部分写像としての逆写像」を考えることができます。例えば、f:R→R,f(x)=ex は単射ですが、値域が正の実数全体 (0,∞) であるため、終集合を R とすると全射ではありません。この写像は通常の意味での（R 全体で定義された）逆写像を持ちませんが、f の値域である (0,∞) から始域 R への写像として、f−1(y)=ln(y) (ただし y>0) を考えることができます。これは、f の値域上で定義された「部分的な」逆写像と解釈できます。
なお、f−1 という記号は、前述したように元の逆像（集合）を表すためにも用いられるため、文脈から逆写像（関数値）を指すのか、逆像（集合）を指すのかを慎重に判断する必要があります 9。
写像の相等 (Equality of mappings)
二つの写像 f:A→B と g:C→D が等しい（f=g と書く）とは、以下の三つの条件が全て成り立つ場合を指します 2。

始集合（より正確には定義域）が一致する。すなわち、A=C。
終集合が一致する。すなわち、B=D。
始集合の全ての元 x に対して、それぞれの像が一致する。すなわち、全ての x∈A (かつ x∈C) に対して、f(x)=g(x)。例えば、f:R→R を f(x)=x で定義し、g:R→R を g(x)=∣x∣ （x の絶対値）で定義すると、始集合と終集合は一致しますが、x=−1 のとき f(−1)=−1 であるのに対し g(−1)=∣−1∣=1 となり、像が一致しません。したがって、f と g は等しい写像ではありません。一方、始集合を非負実数全体の集合 $\mathbb{R}_+ =。

恒等写像と合成写像の概念は、単に個々の写像の性質を記述するだけでなく、写像の集まり自体に豊かな数学的構造を与えるという、より深い側面を持っています。ある集合 X が与えられたとき、X から X 自身への全ての写像 f:X→X の集合を考えてみましょう。この集合には、写像の合成という二項演算 $\circ$ が定義され、恒等写像 idX はこの演算に関する単位元として機能します（f∘idX=f, idX∘f=f）。また、写像の合成は結合法則 (h∘g)∘f=h∘(g∘f) を満たします。このような演算と単位元を持つ代数系はモノイドと呼ばれます。

さらに、考察の対象を X から X 自身への「全単射」な写像（これは X の元の置換とも呼ばれます）の集合 SX に限定すると、状況はさらに豊かになります。全単射の合成は再び全単射であり 11、各全単射 f∈SX は逆写像 f−1∈SX を持ちます。このとき、SX は合成演算 $\circ$ に関して群と呼ばれる、より構造の強い代数系をなします。これは特に対称群と呼ばれ、抽象代数学における基本的な研究対象の一つです 11。

このように、写像の基本的な操作である合成や逆写像の存在が、写像の集合それ自体にモノイドや群といった重要な代数構造を導入することを示しています。これは、写像が単なる対応規則であるだけでなく、それ自体が操作可能で研究対象となりうる数学的実体であることを意味し、例えば群の表現論（群の元を線形写像に対応させる理論）など、より高度な数学の分野へと繋がっていくのです。

6. 数学の諸分野における写像の役割と重要性

写像の概念は、その基本的な定義の単純さにもかかわらず、数学のほぼ全ての分野で中心的な役割を果たしています。各分野は、その研究対象とする数学的構造（例えば、集合の構造、代数的な演算構造、空間の位相構造など）を反映した特殊な種類の写像を定義し、それらを用いて対象の性質を深く探求します。

集合論における基礎概念として
集合論は現代数学の基礎言語の一つであり、写像はその中でも最も基本的な概念の一つです。写像は、集合間の関係を記述し、比較するための主要な手段となります。例えば、二つの集合の「大きさ」を比較する濃度の概念は、それらの間に単射、全射、あるいは全単射が存在するかどうかによって定義されます。特に、二つの集合の間に全単射が存在するとき、それらは同じ濃度を持つ（対等である）といいます。また、順序集合（要素間に順序関係が定義された集合）を考える際には、その順序関係を保つような写像（順序保存写像）が重要な役割を果たします。このように、集合論における多くの基本的な構成や定理が、写像の言葉を用いて定式化されています。
代数学における構造を保つ写像：準同型写像、同型写像
代数学では、群、環、体、ベクトル空間といった、何らかの演算が定義された集合（代数系）を扱います。これらの代数系の間の関係を調べる上で中心的な役割を果たすのが、演算構造を「保つ」写像です。
準同型写像 (Homomorphism) とは、二つの同種の代数系（例えば二つの群 G,H）の間の写像 f:G→H であって、それぞれの代数系で定義されている演算と両立するもののことを指します。例えば、G の演算を ∗G、H の演算を ∗H とするとき、G の任意の元 a,b に対して f(a∗Gb)=f(a)∗Hf(b) が成り立つ場合、f は群の準同型写像であると言います。同様の概念が環やベクトル空間など他の代数系に対しても定義されます。
同型写像 (Isomorphism) とは、全単射であるような準同型写像のことです。二つの代数系が同型写像で結ばれるとき、それらは代数的な構造に関して本質的に「同じ」であるとみなされます。つまり、一方の代数系で成り立つ性質は、同型写像を通じて他方の代数系における対応する性質に翻訳できるのです。
群論における重要な定理の一つに準同型定理があります 12。これは、群の準同型写像 f:G→H が与えられたとき、f の核（f によって H の単位元に写される G の元の集合、Kerf と書かれる）で G を割った商群 G/Kerf が、f の像（値域）Imf と同型であることを主張するものです。
これらの構造を保つ写像は、代数系を分類したり、複雑な代数系をより単純でよく理解されている代数系に関連付けたりする上で、不可欠な道具となっています。
解析学における関数と作用素
解析学で扱われる「関数」の多くは、実数や複素数の集合（あるいはそれらの部分集合）を始集合および終集合とする写像に他なりません 2。微分可能性、積分可能性、連続性といった、関数が持つ様々な解析的な性質が研究の中心となります。
さらに進んで、関数自体を元とするような無限次元のベクトル空間（関数空間と呼ばれる）を考えるようになると、関数空間から別の関数空間への写像が重要な役割を果たします。このような写像はしばしば作用素 (Operator) と呼ばれます 13。例えば、関数にその導関数を対応させる微分作用素 d/dx や、関数にその不定積分の一つを対応させる積分作用素 ∫ などは、作用素の典型的な例です。
線形代数学では、有限次元のベクトル空間の間の線形写像が主に行列によって表現されましたが、関数解析学ではこの概念を無限次元の関数空間へと一般化します 13。特に、線形性（すなわち、L(af+bg)=aL(f)+bL(g) が成り立つこと）を保つ作用素である線形作用素は、関数解析やそれと密接に関連する量子力学において極めて重要です 14。物理現象を記述する微分方程式や積分方程式は、しばしば作用素を用いた方程式として定式化され、その解の存在や一意性、性質などを調べるために、作用素の理論（スペクトル理論など）が強力な手段となります 13。
位相空間論における連続写像と同相写像
位相空間論は、点集合に「近さ」や「収束」といった概念を一般的に定義するための枠組み（位相構造）を与え、そのような構造を持つ空間（位相空間）の性質を研究する分野です。位相空間の間でその位相構造と両立する基本的な写像が連続写像 (Continuous mapping) です。
位相空間 X から位相空間 Y への写像 f:X→Y が連続であるとは、Y における任意の開集合 V の f による逆像 f−1(V) が X においても開集合となること、と定義されます 4。この定義は、実関数の連続性を定義する際に用いられる ε−δ 論法よりも抽象的かつ一般的であり、開集合という位相構造の基本的な要素のみを用いて連続性を特徴づけることができます 4。これにより、実数直線だけでなく、より一般的な様々な種類の空間における連続性の概念を統一的に扱うことが可能になります。
同相写像 (Homeomorphism) とは、全単射な連続写像であって、その逆写像もまた連続であるようなもののことです 4。二つの位相空間が同相写像で結ばれるとき、それらは位相的な性質（連結性、コンパクト性、穴の数など、連続的な変形によって変わらない性質）に関して区別がつかない、つまり本質的に「同じ形」をしているとみなされます。有名な例として、ドーナツの表面と取っ手のついたコーヒーカップの表面は同相である、というものがあります 4。
連続写像は位相空間の間の「位相構造を保つ」基本的な対応関係であり、同相写像は位相空間を分類する上での「同型」の概念に相当します。これらを用いて、図形の連続的な変形や空間のつながり具合といった位相的性質が研究されます。また、ザリスキ位相のように、代数幾何学で用いられる特殊な位相を考える際にも、写像の連続性が重要な役割を果たします 4。

数学の各分野で定義されるこれらの特殊な写像（準同型写像、連続写像、線形作用素など）は、それぞれの分野で中心的に研究される数学的構造（代数構造、位相構造、線形構造など）の性質を「探る」ための精密な道具として機能していると見ることができます。ある写像がどのような性質を保存し（例えば、準同型写像が演算を保存するように）、どのような性質を変化させるのかを詳細に調べることは、その写像が作用する数学的構造自体の理解を深めることに直結します。

例えば、群論において、群 G から群 H への準同型写像 f を考えると、f の核 Kerf（H の単位元に写される G の元の集合）は G の正規部分群という特別な部分構造をなし、G の構造に関する重要な情報を提供します。また、f の像 Imf は H の部分群となります。準同型定理 12 は、これらの核と像の関係を通じて、G の構造がどのように H の構造に反映されるかを明確に示します。

同様に、位相空間論では、連続写像は点の「近さ」に関する情報を保存します。ある位相空間 X から別の位相空間 Y へどのような種類の連続写像が存在するか（あるいは存在しないか）は、X と Y が持つ位相的性質（例えば、連結であるか、コンパクトであるかなど）に強く依存し、またそれらの性質を明らかにします。例えば、連結な空間の連続写像による像は常に連結である、という定理があります。

関数解析においては、線形作用素のスペクトル（行列の固有値の概念を無限次元に一般化したもの）を調べることは、その作用素が記述するシステム（例えば量子力学的な系）の振る舞いや安定性を理解する上で中心的な課題です 14。

このように、各分野で適切に定義された「構造を保つ」写像は、対象とする数学的構造に作用し、それを別の（しばしばより単純な、あるいはよく知られた）構造に「写し取る」ことで、元の構造の「影」や「断面」を調べることを可能にします。この意味で、これらの写像は、複雑な数学的構造の内部を間接的に探るためのプローブ（探針）のような役割を果たしていると言えるでしょう。

7. まとめ

本レポートでは、数学における写像の基本的な定義から始め、関連する主要な用語（始集合、終集合、定義域、値域、像、逆像）、写像の基本的な種類（単射、全射、全単射）とその性質、そして恒等写像、合成写像、逆写像といった関連概念について解説してきました。さらに、集合論、代数学、解析学、位相空間論といった数学の主要な分野において、写像がそれぞれの分野特有の構造（演算構造や位相構造など）とどのように関わり、準同型写像や連続写像といった形でその重要性を発揮しているかを見てきました。

写像の概念の核心は、二つの集合の元の間に明確な対応規則を与えるという、一見単純なアイデアにあります。しかし、その定義における「各元に」「ただ一つ」という厳密な条件が数学的議論の安定性と一貫性を保証し、単射・全射・全単射といった分類が対応の具体的な性質を明確にすることを可能にしました。そして、この基本的な枠組みの上に、各数学分野が自身の研究対象とする「構造」を保存するという付加的な条件を課すことで、準同型写像、連続写像、線形作用素といった、それぞれの分野の理論を展開し深化させる上で不可欠な道具が生み出されてきたのです。

写像は、数学的対象を静的に記述するだけでなく、対象間の動的な関係性、変換のプロセス、そして構造がどのように保存され、あるいは変化するかを捉えることを可能にします。この「関係性に着目する視点」と、それを厳密に扱うための言語としての写像の概念は、現代数学の多くの発展を駆動してきたと言えるでしょう。例えば、本レポートでは深く立ち入りませんでしたが、圏論（Category Theory）という分野では、数学的対象（オブジェクト）とそれらの間の写像（射、morphism）を最も基本的な構成要素として、数学の様々な分野に共通する抽象的な構造を統一的に扱います。これは、写像という概念がいかに根源的で、広範な一般性を持つかを示す一例です。

したがって、写像を理解することは、単に一つの数学用語や定義を学ぶことにとどまりません。それは、数学者が世界をどのように捉え、どのようにして抽象的な理論を構築していくかという、数学的な思考の様式そのものに触れることであると言えます。本レポートが、この深く広大な写像の世界への一助となれば幸いです。さらなる学習を進めるにあたっては、各専門分野の教科書で、それぞれの文脈における写像のより詳細な扱いや応用例に触れることが推奨されます。

引用文献

wiis.info https://wiis.info/math/set/mapping/mapping/#:~:text=%E9%9B%86%E5%90%88%20A%20%E3%81%AE%E3%81%9D%E3%82%8C%E3%81%9E%E3%82%8C%E3%81%AE,%E3%81%AE%E5%86%99%E5%83%8F%E3%81%A8%E5%91%BC%E3%81%B3%E3%81%BE%E3%81%99%E3%80%82
写像の定義と具体例 | 写像 | 集合 | 数学 | ワイズ – WIIS https://wiis.info/math/set/mapping/mapping/
準同型写像・同型写像の定義と基本的な性質【群・環・体】 | 数学の … https://mathlandscape.com/homomorphism/
大学数学の難関分野：【位相空間論】とは一体何なのか？｜きいねく https://note.com/keyneqq/n/na8d370a26bff
位相空間論のコツ・勉強法 – Takatani Note https://takataninote.com/topology/point-topology.html
ccmath.meijo-u.ac.jp https://ccmath.meijo-u.ac.jp/~uematsu/ja/teaching/toyotact2016/linearalgebra/lecture_9.pdf
第4章写像 https://www.math.is.tohoku.ac.jp/~obata/student/subject/file/2018-4_shazo.pdf
嘉田勝 (Masaru Kada) – 研究ブログ – researchmap https://researchmap.jp/blogs/blog_entries/view/81524/036b276742469c06dc19c11e0b4c5cc5?frame_id=771777
意味と使い方を徹底解説！集合や写像の基礎概念［大学数学準備講座4/4］ – YouTube https://m.youtube.com/watch?v=MSAWlP0nKfw&pp=ygUNI-ebuOWvvuS9jeebuA%3D%3D
第4話実数と写像 – くいなちゃん数学 https://kuina.ch/mathematics/basic4
全単射 – Wikipedia https://ja.wikipedia.org/wiki/%E5%85%A8%E5%8D%98%E5%B0%84
群の準同型定理と使い方 (群論) – 大学数学の授業ノート https://math-notes.info/2022/06/19/group-10/
My_NoteBook/数学/数学_関数解析_Note.md at master · Yagami360 … https://github.com/Yagami360/My_NoteBook/blob/master/%E6%95%B0%E5%AD%A6/%E6%95%B0%E5%AD%A6_%E9%96%A2%E6%95%B0%E8%A7%A3%E6%9E%90_Note.md
関数解析と量子力学の胡乱な話 | Mathlog https://mathlog.info/articles/iVGS7lNFazRUpCAZBZVd