写像 | PDF教材

写像のPDF教材です。写像の定義、グラフ、像・逆像、合成写像、逆写像、単射・全射・全単射、左右逆写像、シュレーダー=ベルンシュタインの定理までを体系的に解説。豊富な具体例・証明・演習問題を通して学べます。プレミアム会員・サポーター会員向け教材です。

基本情報

  • ページ数:269ページ
  • 形式:PDF
  • バージョン:2026年8月3日版
  • 会員種別:プレミアム会員・サポーター会員

本教材は、WIISで公開しているWeb教材をもとに、写像に関する基礎理論を一冊の教科書として学べるよう再構成したPDF教材です。

写像の定義や表記、始集合・終集合、写像の相等といった基本概念から始め、写像のグラフ、像と逆像、合成写像、逆写像、単射・全射・全単射までを体系的に解説しています。さらに、単射と左逆写像、全射と右逆写像、全単射と逆写像の関係や、集合の大きさを比較する際に重要なシュレーダー=ベルンシュタインの定理も扱います。

写像は、ある集合の要素に別の集合の要素を対応させる規則を一般化した概念であり、大学数学における最も基本的な枠組みの一つです。関数、数列、演算なども写像として捉えることができ、解析学、線形代数学、位相空間論、確率論、代数学をはじめ、経済学、情報科学、データサイエンスなどの多くの分野で用いられます。本教材では、写像に関する記号や判定方法を覚えるだけでなく、始集合・終集合・対応規則を明確に区別し、写像の性質を定義にもとづいて厳密に考え、証明する力を身に付けることを目指しています。

エレガントさよりも分かりやすさを重視し、「どのような規則が写像とみなされるのか」「像と逆像はどのように異なるのか」「単射や全射は何を意味するのか」「逆写像はどのような場合に存在するのか」を丁寧に説明しています。初めて大学レベルの写像を学ぶ方から、解析学や線形代数学などを学ぶ前に基礎を固めたい方、写像に関する記法や証明を体系的に学び直したい方まで、幅広くご利用いただけます。

本教材では、次のような内容を体系的に学ぶことができます。

  • 写像の定義と表記
  • 始集合と終集合
  • 写像による要素の像
  • 恒等写像
  • 写像の相等
  • 写像のグラフ
  • 写像による像および値域
  • 写像による逆像および定義域
  • 像と逆像の関係
  • 像と集合演算の関係
  • 逆像と集合演算の関係
  • 合成写像
  • 逆写像
  • 単射と左逆写像
  • 全射と右逆写像
  • 全単射と逆写像
  • シュレーダー=ベルンシュタインの定理
  • 確認テスト

定義・命題・証明・具体例・演習問題をバランスよく配置し、一つずつ理解を積み重ねながら学習できる構成になっています。また、単射・全射・全単射などの性質については、単に判定方法を提示するのではなく、量化記号を用いた定義に立ち返り、どのような論理によって結論が導かれるのかを丁寧に解説しています。像と逆像についても、集合の要素による特徴づけにもとづいて、それらが集合演算とどのように関係するかを証明します。

写像を初めて本格的に学ぶための入門教材としてはもちろん、大学数学の学習を進めるための基礎固めや、既習事項の復習にもご活用ください。

本教材は、一度作成して終わりではありません。

WIISでは、Web教材の改善に合わせてPDF教材も継続的に更新しています。誤植の修正だけでなく、説明の改善や例題の追加なども反映されます。

プレミアム会員・サポーター会員の方は、会員期間中であれば最新版を何度でもダウンロードできます。

本教材は、プレミアム会員・サポーター会員限定で提供しています。

ダウンロードしたPDFは、ご自身の学習のためにご利用ください。

教材の著作権はWIISに帰属します。第三者への共有、転載、再配布、インターネット上へのアップロードなどはご遠慮ください。

サービスの適正な運営および不正利用防止のため、PDF教材のダウンロード履歴(日時、対象教材、アカウント情報など)を記録しています。第三者への共有やインターネット上への公開など、利用規約に反する行為が確認された場合には、当該履歴をもとに調査を行うことがあります。

学習ガイド

なぜ集合論を学ぶのか|大学数学の共通言語としての集合論

集合論は単なる数学の一分野ではありません。現代数学では、数・関数・図形・ベクトルなどの多くの対象が集合によって記述されます。本記事では、なぜ大学数学で集合論を学ぶのか、そして集合論が微分積分学・線形代数学・位相空間論・実数論などとどのように関わっているのかを解説します。

関連書籍

命題論理 | PDF教材

命題論理のPDF教材です。命題、論理式、真理値表、恒真式、同値変形、推論、証明までを体系的に解説。大学数学・情報科学・計算機科学の基礎となる論理学を、豊富な例題と演習を通して学べます。プレミアム会員・サポーター会員向け教材です。

述語論理 | PDF教材

述語論理のPDF教材です。命題関数、議論領域、量化記号、論理的同値、推論規則、証明までを体系的に解説。数学・情報科学・人工知能の基礎となる述語論理を、豊富な具体例と演習問題を通して学べます。プレミアム会員・サポーター会員向け教材です。

集合 | PDF教材

集合論のPDF教材です。集合の定義、集合演算、集合族、直積、選択公理、集合列の上極限・下極限・極限までを体系的に解説。大学数学の基礎となる集合論を、豊富な具体例・証明・演習問題を通して学べます。プレミアム会員・サポーター会員向け教材です。

論理学 | PDF教材

論理学のPDF教材です。命題論理・述語論理を体系的に学べる統合版教材。命題、論理式、真理値表、命題関数、量化記号、論理的同値、推論規則、証明までを網羅的に解説します。大学数学・情報科学・人工知能の基礎となる論理学を、豊富な具体例と演習問題を通して学べます。プレミアム会員・サポーター会員向け教材です。

このページの目次