2006年度上智大学シラバス

2006/10/06更新
◆現代数学入門 - (通)
都築 正男
○講義概要
現代の進んだ数学を学んでいく上で必須の集合・写像・同値関係等の基本的概念について講義する。数学独特の表現や論理的な推論の仕方などについて説明する。数(自然数・整数・有理数・実数)の理論や距離空間(主としてユークリッド空間)の基礎理論について講義する。
○評価方法
出席状況(20%)、前期学期末試験(定期試験期間中)(40%)、後期学期末試験(定期試験期間中)(40%)
○参考書
松坂和夫『集合・位相入門』岩波書店
鈴木晋一『演習集合と位相』サイエンス社
○他学部・他学科生の受講

○授業計画
1<命題・論理 (その1)> 帰納と演繹 / 公理的方法とは / 命題文と論理記号 /全称作用素と存在作用素
2<命題・論理 (その2)> 命題文の真偽・証明とは / 基本的な証明法 / i色々な恒真命題関数(1) / ド・モルガンの法則(1)
3<命題・論理 (その3)> 全称命題文・存在命題文の証明法 / 色々な恒真命題関数(2)/ ド・モルガンの法則(2)/ 真理値・真理表
4<集合・写像(その1)> 集合 / 部分集合 / 集合の相等 / 空集合 / 外延的記法 / 集合の演算
5<集合・写像(その2)> 直積集合 / 冪集合 / 集合の包含の証明(いくつかの例)
6<集合・写像(その3)> 写像 / 写像による集合の像と原像
7<集合・写像(その4)> 全射 / 単射 / 全単射
8<集合・写像(その5)> 写像の合成 / 写像の縮小・拡大 / 写像のなす集合
9<集合・写像(その6)> 集合族 / 集合族の合併・共通部分 / 一般直積
10<集合・写像(その7)> 同値関係・同値類・商集合
11<集合・写像(その8)> 同値関係の比較・商写像
12<実数の公理(その1)>加法と乗法に関する公理群
13<実数の公理(その2)>順序関係に関する公理群 / 上界・下界 / 自然数・整数・有理数
14<実数の公理(その3)>連続性の公理 / 上限・下限
15<数列と極限> アルキメデスの性質 / 数列の収束と発散 / 区間縮小法 / コーシー列と実数の完備性
16<開集合・閉集合と関数の連続性>
17<コンパクト集合とハイネ・ボレルの定理>
18中間試験

  

Copyright (C) 2006 Sophia University
By:上智大学 学事センター