• Tidak ada hasil yang ditemukan

PDF 集合と写像の基本事項 - Osaka U

N/A
N/A
Protected

Academic year: 2024

Membagikan "PDF 集合と写像の基本事項 - Osaka U"

Copied!
2
0
0

Teks penuh

(1)

数学の楽しみ1D[第3回] 2016428

集合と写像の基本事項

3.1 集合

「ものの集まり」のことを集合というのであった.現代の数学は,集合の概念を基礎にして組み立てられて いる.(より厳密には,集合の概念を公理的に記述すべきだけれども,ここではナイーブな理解にとどめて おく.)

既知の集合から次のような新しい集合を作る操作がある.基本的性質とともにおさえておこう.

和集合,共通部分

差集合

補集合

直積集合

羃集合

また,特別な記号で表される集合として,次の集合を知っておくこと.

数の集合

N(自然数全体の集合)

Z(整数全体の集合)

Q(有理数全体の集合)

R(実数全体の集合)

C(複素数全体の集合)

なお,この授業では特に断らない限り,0はNの元ではない(自然数ではない)と約束する.

区間

[a, b] ={x∈R|a≤x≤b} (a, b) ={x∈R|a < x < b} [a, b) ={x∈R|a≤x < b} (a, b] ={x∈R|a < x≤b} [a,∞) ={x∈R|a≤x} (a,∞) ={x∈R|a < x} (−∞, b] ={x∈R|x≤b} (−∞, b) ={x∈R|x < b} (−∞,∞) =R

3.2 写像

2つの集合A,Bが与えられているとき,Aの各元に対しBの元を対応させる規則のことを,AからBへ の写像という.これについて次の概念を知っておこう.

定義域と終域,値域

写像のグラフ

全射,単射,全単射

授業に関する補足

• 成績判定にあたり,授業中の演習問題に関する発表の状況を加点の材料として使う場合があります.

次回から,冒頭の15分を使って小テストを行います.演習問題を復習しておいてください(?付きの ものは範囲外).

1

(2)

演習問題

3.1 (1) 集合AをA={3m+ 2n|m, n∈Z}と定義する.A=Zであることを証明せよ.

(2) 集合AをA=

1

x+ 1

x∈R, x >0

と定義する.A= (0,1)であることを証明せよ.

3.2 A,B, Cを集合とする.次の等式を証明せよ.

(1) (A\B)\C=A\(B∪C). (2) A\(B\C) = (A\B)∪(A∩C). 3.3 写像f:R\ {1} →R

f(x) = 2x x−1

によって定義する.このfは単射であるか否か,また全射であるか否か判定せよ.

3.4 (1) 写像f:N×N→N

f(m, n) = 2m−1(2n−1) によって定義する.これが全単射であることを証明せよ.

(注:f((m, n))というのが正式な書き方だが,普通はそれをf(m, n)と略記する.)

(2) 全射であるが単射でない写像f:N×N→Nの例を一つ挙げよ.また,単射であるが全射でない 写像f:N×N→Nの例を一つ挙げよ.

3.5?(問題1.2の言い換え)

集合や写像に関する言葉を用いて,自然数を次のように定義することができる.(ここでは,0は自然 数であるという立場をとっている.)

定義 Xを集合とする.Xはある特定の元0を持ち,また写像S:X →Xが与えられていると する.これらが次の性質を満たすとき,Xを自然数の集合と呼び,Xの各々の元を自然数と呼ぶ.

(i) 0はSの値域には属さない.

(ii) Sは単射である.

(iii) Xの任意の部分集合Aについて,もし0∈A,かつ「x∈AのときS(x)∈A」であるな らば,A=X が成り立つ.

(注:本来は集合Xだけが大切なのではなくて,特別な元0や写像Sも重要な役割を果たすのだ

から,組(X,0, S)のことを「自然数の体系」とでも呼ぶほうが適切であろう.)

これについて,次の定理を証明せよ.

定理 Xを自然数の集合とする.そのとき,任意の自然数x∈Xに対し,次の性質(i)x, (ii)xを 満たすような写像fx:X →Xが一意的に存在する.

(i)x fx(0) =x.

(ii)x 任意の自然数y∈Xに対しfx(S(y)) =S(fx(y)).

(注:これは自然数の和を定義するための定理である.上のfxを用いて,x+y =fx(y)と定める.)

[一意性の証明のヒント:x∈ Xとし,写像fx, gxがいずれも性質(i)x, (ii)xを満たすと仮定する.

A={y∈X |fx(y) =gx(y)}とおき,A=Xであることを証明せよ.]

2

Referensi

Dokumen terkait

- 6 - ああノートパソコンの準備について 大阪工業大学では、学生全員がノートパソコンを必携としています。すでに所有している場合は新 たに購入する必要はありませんが、授業などで使用しますので大学が定めるスペックとソフトウェ アが必要となります。詳細については入学手続後にお知らせします。 入学準備学習について入学

もの づく り 創 造 ルーブリック 学習成果 評価尺度 4 評価尺度3 評価尺度2 評価尺度1 評価尺度 0 期待している以上 十分に満足できる 満足できる ほぼ満足できる 努力を要する 1 . ス ケ ッ チ による作品の 表現が で き る。 作ろうとする作品がどの ようなものかがよく分か るスケッチが作成でき る。 作ろうとする作品がどの

発見事実の解釈基準 設計のタイプ TYPE IV TYPE II 部分的 (複数分析 単位) TYPE III TYPE I 全体的 (単一分析 単位) 複数ケース 単一ケース 調査法を支える理論 理論検証型 lある公式理論の検証 l理論開発型(Yin) lある理論を前提に設計、対立理論の検証と対比しながら、理 論の開発に役立つ l記述理論

206]と いう二つの言明のうち,少なくとも一方あるいは 両方とも比喩でない可能性がある. 以下では,写像の理論としては意味があるかも 知れないが厳密な意味での比喩の理論としては完 全に破綻しているMMTの比喩の規定に依拠せず に「何が本当に比喩なのか,あるいは比喩であるべ きなのか」という形に問題を設定し直し,それに対

トポロジー Hex はトポロジカル・ゲームの元祖とよく言われます。 その後、多くのゲームが Hex からヒントを得て誕生し ました。Euler Getter もその一つです。トポロジーは幾 何学の一分野で、曲げたり伸ばしたりしても変わらない 図形の性質を調べる学問です。例えば、最近 Perelman によって証明された Poincaré 予想はトポロジーの問題

アリスはせいぜい1,000ビットのデータアルファベット125字分までならキーボー ドから直接コンピュータへ入力できると仮定しよう.コンピュータは彼女の入力を もとに{0,1}108の一つの元をあるアルゴリズムによって生成するとする.†7 このとき, アリスが自分の意志で選ぶことのできるω∈ {0,1}108 の個数はせいぜい21001に過ぎ

c≡d modm について bc≡bd modm b は 整数なので,ac≡bc≡bd modm を得ます.. 1, 2, 3は,等号=や同値⇔ のような,両者が同等であることが満

, 𝑥𝜆𝑛 }𝜆∈Λが向きを定めるとは,Sに属する任意の二つの座標 近傍について,それらが交わるならば同じ向きであることをいう. 多様体𝑀 に向きを定める座標近傍系Sが一つ与えられているとき,𝑀は向きづけられてい るorientedという.さらにそのとき,𝑀 の座標近傍 𝑈;𝑥1,