\right\}\end{equation*}を\(f\)のグラフ(graph)と呼びます。B\)の部分集合です。b=f\left(a\right)\end{equation*}という関係が成り立ちます。\)が写像\(f\)のグラフの要素であることは、\(f\)による\(a\)の像が\(b\)であるための必要十分条件です。B\)を以下の図で定義します。y=2x+1\right\}\end{equation*}となります。これを視覚化すると下図の斜線になります。\)を満たす実数\(y\)が一意的に存在することが確認できます。B\)の部分集合ですが、これはどのような性質を満たす集合でしょうか。定まることを意味します。f\right)\end{equation*}を満たす。!\)は「一意的に存在する」ことを表す記号である。G\end{equation*}という性質を満たすものとします。B\)を定めれば、これは\(A\)から\(B\)への写像になります。!\)は「一意的に存在する」ことを表す記号である。つの命題より、以下を得ます。B\)が存在するための必要十分条件である。!\)は「一意的に存在する」ことを表す記号である。B\)の部分集合\(G\)と同一視することができます。\mathbb{R}\)の部分集合\(G\)が下図の曲線として与えられているものとします。\mathbb{R}\)のグラフです。\mathbb{R}\)の部分集合\(G\)が下図の曲線として与えられているものとします。\mathbb{R}\)は存在しません。図:写像のグラフではない次回は写像による像という概念について学びます。>写像による像ワイズをさらに活用するための会員サービスユーザー名とメールアドレスを入力して一般会員に無料登録すれば、質問やコメントを投稿できるようになります。有料(500円/月)のプレミアム会員へアップグレードすることにより、プレミアムコンテンツ(命題の証明や演習問題、解答など)にアクセスできます。会員サービスの詳細を見る会員サービスディスカッションに参加しますか?質問やコメントを投稿するためにはログインが必要ですログイン会員登録コメント投稿に際するお願い返信をキャンセルする。>有料会員には様々な特典があります。理解を深めるための演習問題と解答の閲覧、テキストに登場した命題の証明の閲覧、演習や証明に関する質問の投稿など。>皆さまからよく頂く質問への回答をまとめました。こちらに解決方法が見つからない場合にはお問い合わせください。