集合・位相入門/松坂和夫 5.2 節：コンパクト性

Slide 1

Slide 1 text

5.2 201904xx Nomoto Eriko

Slide 2

Slide 2 text

B+1)=-;>=5/C A! :C&*7 $. <9? #8 0 %2 3=4C&:"@/6(',

Slide 3

Slide 3 text

Slide 4

Slide 4 text

#34< (", $) 89 & " :(>*5A,>* ∪ & " '$!7 " & 9A & " 89 ;89 & " 89 & )& " ;>*?& ⊂ $@ 2=89 & " 89 2=%>*1?card & < ℵ/ @ " "0;89. " 2=89:(>*+ / -6 z #34< S :(>*5 &

Slide 5

Slide 5 text

#34< (", $) 89 & " :(>*5A,>* ∪ & " '$!7 " & 9A & " 89 ;89 & " 89 & )& " ;>*?& ⊂ $@ 2=89 & " 89 2=%>*1?card & < ℵ/ @ " "0;89. " 2=89:(>*+ / -6

Slide 6

Slide 6 text

/ -6 #34< (", $) 89 & " :(>*5A,>* ∪ & " '$!7 ( ) 9A ) ( 89 ;89 & " 89 & )& " ;>*?& ⊂ $@ 2=89 & " 89 2=%>*1?card & < ℵ1 @ " "0;89. " 2=89:(>*+ #34< S :(>*5 &

Slide 7

Slide 7 text

" + " + ()2 ! &". (C) '/6 (C) | " ! #1,-65 " 0! %34 5%34$ 4* "# S ,- 6

Slide 8

Slide 8 text

% & % <> $'&( Euclid % !" #' #$ , &$ × ⋯×[#" , &" ]

Slide 9

Slide 9 text

*7%$0! #34: ! =! 10! (C)’ (C)’’ 2 (6 (C)’ ?" ! 9<'-=/; &+. ",<'5 ⋂ " ≠ % (C)’’?" /; &+. ! ",8$<'5 ⋂&∈" Χ ≠ % /; &+ ! 8$<'5 " > " ",/;8$<' ") ) ⋂ ") ≠ % = " /; &+.

Slide 10

Slide 10 text

&)(%' " P6F # ⋂ ! ≠ % [(C) ⇒ (C)’] ! $ (C)’ +8$E P6FQ' = )* ) ∈ !} "R Q! ⊂ . ! " MP6F . 7#"" Q ' ⊂ / ' " NP6F / 7#"RQ! -> BOL1P6 !0 9! BO*4=$@ ⋂ !0 ≠ % " Q' ->BOL1P6 '0 9 de Morgan D2 ⋃ '0 ≠ "R; (C) 9/' K: BO.IG '0$5!0⋃ '0 = " " " Q⋃ ' = " H#!Q⋃ ' ≠ "R de Morgan D2! ⋂ ! ≠ %R

Slide 11

Slide 11 text

#"! 1A+):& (C)’ K! " DF-4I9E$,25 '3F-? ⋂ ! ≠ % [(C)’ ⇒ (C)]G6>8@)= JH 0(= J ! (C)’ %/< F-?I ' = )* ) ∈ !} J I! ⊂ . I ' ⊂ /JI! '39EC)F- !0 0 ⋂ !0 ≠ % I' '39EC)F- '0 0 ⋃ '0 ≠ "JB7.JI ⋃ ' = " %/ I' ¬(C) < J ⋃ ' = " de Morgan ;* ⋂ ! = % ¬(C)’ J

Slide 12

Slide 12 text

,7&$3! (C)’’?! 2; '-0 " ".9$<(6 ⋂$∈! Χ ≠ ( <81> [(C)’ ⇒ (C)’’] ! 2; '-0 =!* = , - - ∈ !} :%=#4 )54 2; '-0= !* ⊂ 0 = (C)’ ⋂ !* ≠ (>+ ⋂ !* = ⋂1∈! - ≠ (> [(C)’’ ⇒ (C)’] ! " :<(/=2; '-0 ". <(6>:<( - * - = - (C)’’ ⋂1∈! - = ⋂ ! ≠ (>

Slide 13

Slide 13 text

', "#) ! ', " -"" * " "#) . <" ! (%&> # ! (, ,$-⋃ # ⊃ " - # " ! (%& . <" ! !+%&> # ! !+', ,$ ⋃ # ⊃ " - # " ! !+%& .

Slide 14

Slide 14 text

<%@' ! * [8A] $24> ! <%@' " ! D 1 (CM) ,5 )9&% E (CM) | " ! #+=7: " ! 0?7:(E <;.>B-3/ 6% " C [(CM ) ⇒ (C)] $% " ! #+=7: E(CM ) $% " ! 0?7:(D $% & ED $ = ( ∩ " ( ∈ $% }, $′ = ( ∩ " ( ∈ $′% } E $ " =7: D" 0?7: $& (E [(C) ⇒ (CM ) ] .E

Slide 15

Slide 15 text

"! 8 4*. *.10 $/07 ! -9%5&:' "# , "% ⋯ , "' "! ;"# ∪ "% ∪ ⋯ ∪ "' "! < <3,> ") (+ = 1, 2, ⋯ /) ! 612 1) < #* 1) ") -912(; 1) 2 < ⋃) 1) ⊃ ⋃) ") ; 6:'):'6:' ⋃) 1) ⊂ 6<+ ⋃) 1) ⋃) ") 612 < ;⋃) 1) 2 ⊃ ⋃) ") ⋃) 1) 2 -9%:' ; ⋃) 1) 2 ⋃) ") -912 <

Slide 16

Slide 16 text

#"! A ;*3 *311 &45@ ! #"!D! %/>C) " #"! <:1> # " ! %/?89 ED" ⊂ ⋃ # D ! = " ∪ ! − " = ) # ∪ ! − " . ! − " ! ?C)D# ! − " $(- C)7 #+ ! ?89E D! #" !.D# <,2B='C) #, + ! = ) #, ∪ ! − " 06E " ⊂ ⋃ #,E " #"!E

Slide 17

Slide 17 text

%('$& =G CA, 2;12 ! #%('$&*<=G L" # ! *<=G !# CA.,!M7L"(!) %('$&!M < > %('$&=GCA,%('$& "(!) ⊂ ⋃(∈* +( # J+( # !# FI1K"L ! = - (∈* "./(+( # ) L" CA!L "./(+( # ) ! FI1! p186 2; 23 #09M! %('$&!L "./(+( # ) D38H+ ! = "./(+(0 # ) ∪ ⋯ ∪ "./(+(3 # ) 4 >M "(!) ⊂ +(0 # ∪ ⋯ ∪ +(3 # "(!) %('$&!M p186 2; 23 J5?K I1 ! *<=G (!#, +#)L., ": ! → !#)" !M L 7# - +# " !:, "./(+#) 4! ! E/I1@ ! !*<!M

Slide 18

Slide 18 text

%* (' #12"& & !, !# $%* ,$ ! !# (' - !,% ! )+ $(%) !# )+- <> )%*('

Slide 19

Slide 19 text

.2 +- $* 13 (Tychonoff) ,.2' ("# )#∈& +-.2 " = ∏ #∈& "# 3" 3 ) ∈ Λ % "# &0 4 <1(> #" 4/! p212~p214 )

Slide 20

Slide 20 text

$ Hausdroff #( <&> "#( ! "! 2 #, % & ∩ ( = * & ∈ ,(#)* ( ∈ ,(%) + <> ! "! 2 %' )+

Slide 21

Slide 21 text

Hausdroff !" <> #, % !" 2 ' #, % = ) * #; ⁄ ) 2 ∩ * %; ⁄ ) 2 = .

Slide 22

Slide 22 text

Hausdroff .3 '0 ( Hausdroff .3 ! 5 1 +) 4 {$} ! 24 6 *> & $ - ! +5$ ! & 1 ' 5& & {$} #+ & ∉ {$} 6 & $ + ",%6 $ (S − $ ) = ( $ ). $ = $ ", + #+

Slide 23

Slide 23 text

#&%"$2 Hausdroff :E 08 14 Hausdroff :E ! B+G, " #&%"$H " ! CG,I 5> # = ! − " DG, !9H& ! # (3 1 7H& @* ( ( ⊂ # ( ∩ " = + /. !9I & ! # -0 1 7I, ! " (37H & ≠ , I ! Hausdroff :EH&, , D@* '</.H ! (/ , 0 / I & ∈ (/ , , ∈ 0 / , (/ ∩ 0 / = +I 0 / , ∈ " 5 " ! D=>I" #&%"$H " A16F)7 ,2 , ⋯ ,4 !H M ⊂ 6 782 4 0 /9 !4; I & , # "

Slide 24

Slide 24 text

Slide 25

Slide 25 text

# Hausdroff '- !& 14 Hausdroff '- ! *. " / " ! +. 0 <(%> # = ⋂&'( ) #*+ /# , ,)/$ - = 1, ⋯ , 1 " /# ⊂ #*+ , #*+ ∩ 4 *+ = 5 / # ∩ 4 *+ = 5 # ∩ 6 &'( ) 4 *+ = 6 &'( ) # ∩ 4 *+ = 5 # ∩ " = 5 , 7& # 8 " 4 *+

Slide 26

Slide 26 text

* Hausdroff 19 (. 14 Hausdroff 19 ! 7%:' " ; " ! 8:'< 2 19 ! Hausdroff 19 !# 63$" $ 8$"< <)4| 8$"> 8:'0#8:' $" <5,> " ! 8:';(. 11 " ; (. 12 2 $(") !# 7%:'<&(. $(") !# 8:'< (. 11 !/19 ! ; ! +8:' " (. 12 2 !, !# !/19;$ ! !# 63$"< -;" ! 7%:' $(") !# 7%:'<

Slide 27

Slide 27 text

"! . Hausdroff 29 +0 15 ! "! 29:!" Hausdroff 29: #: ! → !" 74&(,:# )1'% ; <-5| )1'%> 2 $129 !, !" #: ! → !" &(, # #() 74 '% # <6/> #+:# 74&(, ; +0 14 3 # 8'% ; p186 * 7 # 74&(, 8'% # )1'% :# )1'% ; +0 14 3 "! 29 ! Hausdroff 29 !" 74'% # 8'% ;

Slide 28

Slide 28 text

!"% !" $& # !" $(&; () ( # ) '& ! $& #

Slide 29

Slide 29 text

019 !" 6:" $. 16 Euclid 19 !" 6:" # ; # !" */7:" '4 < < 5)> # ⇒ # */7:" # !" 6:" < %" Hausdroff 19 ;$. 14 # 7:"< &' !" #$, ; &' & +!% 8-(:"2 ( &' ; * * > 0} 3 # !" &'

Slide 30

Slide 30 text

+,7 !" 4!8# %) 16 Euclid ,7 !" 4!8# # 9 # !" (*58# &1"! : < 3'> # ⇒ # (*58# # !" 4!8#: %" Hausdroff ,7 9%) 14 # 58# : ' 8#-$8# !" /9 # !" 602.: # !" &'

Slide 31

Slide 31 text

-.4 !" 2#6% &+ 16 Euclid .4 !" 2#6% # 7 # !" ),36%'/$#8 < 1(> # ⇒ # ),36% # !" 2#6% 8 %" Hausdroff .4 7&+ 14 # 36%8 M M *! &(() ; +) )5" 08 # ⊂ ⋃/01 2 &( () ; +/ )8 # !" ()

Slide 32

Slide 32 text

(). !" ,/! "& 16 Euclid ). !" ,/! # 0 # !" %'-/! #* 1 < +$> # ⇒ # %'-/! # !" ,/!1 %" Hausdroff ). 0"& 14 # -/! 1 max{*+ , ⋯ *. } = * B(34 ; *6 ) ⊂ 9(34 ; *) # ⊂ 9(34 ; *)1 # %' 1 # !" 34

Slide 33

Slide 33 text

!" 16 Euclid !" # # !" ] < [ > # ] ⇒ # # !" ] # !" ] % = '( , *( × ⋯×['" , *" ] % [ 11 M ! ] [', *] [ 13 J [ ! ] / = [', *] [ 11 0 0 ] # 13 (Tychonoff) (02 )2∈5 0 = ∏ 2∈5 02 0 7 ∈ Λ 02

Slide 34

Slide 34 text

!" 16 Euclid !" # [ # !" < > # ⇒ # % & = [), +] ! [ - ∈ & [ % [), -] [ % [), -] & - &/ ) + %

Slide 35

Slide 35 text

!" 16 Euclid !" # [ # !" < > # ⇒ # % & = [), +] ! [ - ∈ & [ % [), -] [ % [), -] & - &/ ) + % - &/ % %

Slide 36

Slide 36 text

[ !" ] 16 Euclid [ !" ] # # !" ] < > # ] ⇒ # % & = [), +] ! - ∈ & % [), -] % [), -] & - ] &/ + ∈ &/ ! [ & = [), +] ) + % - % &/

Slide 37

Slide 37 text

!" 16 Euclid !" # # !" [ < > # ⇒ # % ∈ '( '( ≠ *[ + '( sup '( = 0 0 ≦ +[ 0 ∈ ' 0 ∈ 2 3 2 2 4 > 0 [0 − 4, 0 + 4] ⊂ 2 [ 0 − 4 ∈ '( [%, 0 − 4] 3 2= , ⋯ , 2? [ %, 0 − 4 ∪ 0 − 4, 0 + 4 = [%, 0 + 4] 2= , ⋯ , 2? , 2 [ 0 ∈ '([ + 2 '( 0 0 − 4 0 + 4

Slide 38

Slide 38 text

!" 16 Euclid !" # # !" [ < > # ⇒ # % − ' ∈ )* [,, % − '] / 01 , ⋯ , 03 [ ,, % − ' ∪ % − ', % + ' = [,, % + '] 01 , ⋯ , 03 , 0 [ % ∈ )*[ % < 8 % + ' ∈ )* ' % )* [ % = 8, 8 ∈ )* 8 0 )* % % − ' % + '

Slide 39

Slide 39 text

Slide 40

Slide 40 text

./4 !" 2"5% ', 16 Euclid /4 !" 2"5% # 6 # !" *-35% (1#" 7 +)6 p5 0&$ 7 /4 !8 Euclid /4 !" *-35% $% , '% × ⋯×[$" , '" ]

Slide 41

Slide 41 text

! ;$?& *3 16 Euclid 6= !" ;$?& # @ # !" 04& -9%$ A 2 ! (&8@17 1, 2,A 71 # #56= ! ;$?&@ max #, min # )' <:/> # ! 04;$?& @# !>"> )'A .@# ! & @/ !>"> # +A max #, min # )'A

Slide 42

Slide 42 text

! !$# " J*N, 2? 16 Euclid BL !" J*N, # !$# "Q # !" <@KN,6G+*R > ! /,FQ=C 1, 25R C2O;0'Q;4'2?P $: & → !!$# "&ABL & %2E 3IDM8 Q '. $(&) ;0';4'1- R 2? 12 $(&) !$# "R $(&) 2? 16 C 1 ;0';4'7 R 2? 12 & !$# "&ABLQ$ & &ABL &* ID)( R :Q$(&) !$# "R 2? 16 C 1 # &ABL ! !$# " J*N, Q max #, min # 1- R

Slide 43

Slide 43 text

%) 06 <"2> 3 9/06 ! (- # 5 $! ,9! %) : <> '.741+8 *& <> "

Slide 44

Slide 44 text

.GHQ" %('$& HQ 7N :F 17 ! = (S, &) ".GHQ S! S + 1 D )* " -2R5" !∗ = ! ∪ {)* } T S !∗ O>.G &∗ "<0 .GHQ !∗ = (!∗, &∗) "/S C (i), (ii) @I S! Hausdroff HQ ?L31 T (i) | !∗ %('$& Hausdroff HQ T (ii) | *! ! !∗P1HQ T S&∗ ! G;.GS ! *!.G & )J T <> =A%('$& Hausdroff HQ%('$&HQ7N 98 #TK6 , p219~p222 "4E