• 検索結果がありません。

幾何学序論1

N/A
N/A
Protected

Academic year: 2021

シェア "幾何学序論1"

Copied!
6
0
0

読み込み中.... (全文を見る)

全文

(1)

幾何学序論1 K.Ichihara

集合族

集合族とは 集合族の和集合・共通部分 集合族の補集合

幾何学序論1

市原一裕

2014

5

12

日(月)

2

1 / 6

(2)

幾何学序論1 K.Ichihara

集合族

集合族とは 集合族の和集合・共通部分 集合族の補集合

小テスト

1.

全体集合

X

の部分集合

Y

について,

Y

cの定義を書き なさい.

2.

集合

A = { a }

に対して,

2

Aを列挙法であらわしな さい.

3.

集合

A

B

C

に対して,

(A B) C (A C) (B C)

を証明しなさい.

4.

集合

A

B

C

に対して,

A × (B C) (A × B) (A × C)

を証明しなさい.

(3)

幾何学序論1 K.Ichihara

集合族

集合族とは 集合族の和集合・共通部分 集合族の補集合

集合族とは

定義

1.6.1

【集合族(

family of sets)

ある集合

Λ

の各要素

λ Λ

に対応して,集合

A

λが与えら れているとき,この集合の集まり

{ A

λ

}

λΛを,

Λ

を添字集

合(

index set

)とする集合族という.

注意

1.6.1

集合族と添字集合は,なんの関係もない.添字集合は単に ラベルをつけるだけのもの.

確認:以下では,全体集合

U

を一つ定めてあって,

{ A

λ

}

λΛは,集合

Λ

を添字集合とする部分集合族をあ らわす.

3 / 6

(4)

幾何学序論1 K.Ichihara

集合族

集合族とは 集合族の和集合・共通部分 集合族の補集合

集合族の和集合・共通部分

定義

1.6.2

【集合族の和集合】

集合族

{A

λ

}

λΛの和集合とは

λΛ

A

λ

:= { x U | ∃ λ Λ s.t. x A

λ

}

1.6.1

Λ = { 1, 2 }

のとき,

λΛ

A

λ

= A

1

A

2

一般には,

Λ

は自然数とは限らないので,このように列挙 するような書き方はできない.

定義

1.6.3

【集合族の共通部分】

集合族

{ A

λ

}

λΛの共通部分とは

A

λ

:= { x U | ∀ λ Λ, x A

λ

}

(5)

幾何学序論1 K.Ichihara

集合族

集合族とは 集合族の和集合・共通部分 集合族の補集合

集合族の和集合・共通部分の性質

定理

1.6.1

全体集合

U

の部分集合族

{ A

λ

}

λΛ

U

の部分集合

B

に対 して,以下が成り立つ.

1.

( ∪

λΛ

A

λ

)

B = ∪

λΛ

(A

λ

B)

2.

( ∩

λΛ

A

λ

)

B = ∩

λΛ

(A

λ

B)

3.

( ∩

λΛ

A

λ

)

B = ∩

λΛ

(A

λ

B)

4.

( ∪

λΛ

A

λ

)

B = ∪

λΛ

(A

λ

B)

5 / 6

(6)

幾何学序論1 K.Ichihara

集合族

集合族とは 集合族の和集合・共通部分 集合族の補集合

集合族の補集合

定理

1.6.2

全体集合

U

の部分集合族

{ A

λ

}

λΛに対して,次が成り 立つ.

1.

( ∪

λΛ

A

λ

)

c

= ∩

λΛ

(A

λ

)

c

2.

( ∩

λΛ

A

λ

)

c

= ∪

λΛ

(A

λ

)

c

参照

関連したドキュメント

任意の集合 X に対して, ♯X ≤ ♯2

自然数の集合 N が定義できたので,次は整数 の集合 Z を定義したい.そのために,準備と

有理数の集合の構成 有理数の定義 約分 有理数の演算 逆数 有理数の除法

写像の定義 写像の用語 写像の相等 恒等写像,包含写像,制限

全単射とは 逆写像

定義 2.7.1 【無限集合( infinite set )】. 集合

有理数の集合の構成 有理数の定義 約分 有理数の演算 逆数 有理数の除法

位相空間X 部分集合A ⇔部分集合A (X )任意 開被覆 有限部分被覆を持... 距離空間 部分集合