Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
集合・位相入門/松坂和夫 5.2 節:コンパクト性
Search
NomotoEriko
April 25, 2019
Technology
1
93
集合・位相入門/松坂和夫 5.2 節:コンパクト性
阪大の学生で開催した『位相・集合・多様体勉強会』の発表スライドです.『集合・位相入門/松坂和夫』の 5.2 節:コンパクト性を取り扱っています.
NomotoEriko
April 25, 2019
Tweet
Share
More Decks by NomotoEriko
See All by NomotoEriko
プレゼンのすゝめ
nomotoeriko
6
4k
集合・位相入門/松坂和夫 3.2 節:整列集合とその比較定理
nomotoeriko
0
440
集合・位相入門/松坂和夫 3.1 節:順序集合
nomotoeriko
0
280
レトリバインターン成果報告
nomotoeriko
0
1.6k
Other Decks in Technology
See All in Technology
#Zenoh 完全に理解した 〜組込み純情篇〜
takasehideki
1
450
リクルート新人研修2024 テキスト生成AI活用
recruitengineers
PRO
10
420
[RSJ24] Object Segmentation from Open-Vocabulary Manipulation Instructions Based on Optimal Transport Polygon Matching with Foundation Models
keio_smilab
PRO
0
120
エンジニア採用を起点に取り組む組織の改善活動と課題、中長期のタスク管理/ #HRmethod
nishiuma
4
3.3k
Staff Engineer / 20240827 Yuichiro Masui
shift_evolve
0
150
Datadogの便利な使い方 - 意外と知らない?CoScreenとCloudcraft
taijihagino
PRO
1
600
GraphQLとスキーマファーストで切り開く ライドシェアの未来
ku0522a
0
490
OCI コスト管理
ocise
1
110
自社開発した大規模言語モデルをどうプロダクションに乗せて運用していくか〜インフラ編〜
pfn
PRO
4
680
エンジニア視点で見る、 組織で運用されるデザインシステムにするには
shunya078
1
160
実践ジオフェンス 効率的に開発するために
navitimejapan
PRO
2
130
2024年版 運用者たちのLLM
nwiizo
3
290
Featured
See All Featured
Designing with Data
zakiwarfel
98
5k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
41
6.4k
I Don’t Have Time: Getting Over the Fear to Launch Your Podcast
jcasabona
26
1.9k
Embracing the Ebb and Flow
colly
83
4.4k
What the flash - Photography Introduction
edds
67
11k
Side Projects
sachag
451
42k
StorybookのUI Testing Handbookを読んだ
zakiyama
25
5k
Build The Right Thing And Hit Your Dates
maggiecrowley
29
2.2k
The MySQL Ecosystem @ GitHub 2015
samlambert
250
12k
Put a Button on it: Removing Barriers to Going Fast.
kastner
58
3.4k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
225
22k
The Mythical Team-Month
searls
218
43k
Transcript
5.2 201904xx Nomoto Eriko
B+1)=-;>=5/C A! :C&*7 $. <9? #8
0 %2 3=4C&:"@/6(',
#34< (", $) 89 & " :(>*5A
,>* ∪ & " '$!7 " & 9A & " 89 ;89 & " 89 & )& " ;>*?& ⊂ $@ 2=89 & " 89 2=%>*1?card & < ℵ/ @ " "0;89. " 2=89:(>*+ / -6 z #34< S :(>*5 &
#34< (", $) 89 & " :(>*5A
,>* ∪ & " '$!7 " & 9A & " 89 ;89 & " 89 & )& " ;>*?& ⊂ $@ 2=89 & " 89 2=%>*1?card & < ℵ/ @ " "0;89. " 2=89:(>*+ / -6
/ -6 #34< (", $) 89
& " :(>*5A ,>* ∪ & " '$!7 ( ) 9A ) ( 89 ;89 & " 89 & )& " ;>*?& ⊂ $@ 2=89 & " 89 2=%>*1?card & < ℵ1 @ " "0;89. " 2=89:(>*+ #34< S :(>*5 &
" + " + ()2 ! &". (C) '/
6 (C) | " ! #1,- 6 5 " 0! %34 5%34$ 4* "# S ,- 6
% & % <> $'&(
Euclid % !" #' #$ , &$ × ⋯×[#" , &" ] <!">
*7%$0! #34: ! =! 10! (C)’
(C)’’ 2 (6 (C)’ ?" ! 9<'-=/; &+. ",<'5 ⋂ " ≠ % (C)’’?" /; &+. ! ",8$<'5 ⋂&∈" Χ ≠ % /; &+ ! 8$<'5 " > " ",/;8$<' ") ) ⋂ ") ≠ % = " /; &+.
&)(%' " <I31C, (C)’ S! $ " MP6 ?!Q BO*4=$@
->P6F # ⋂ ! ≠ % <JA> [(C) ⇒ (C)’] ! $ (C)’ +8$E P6F Q' = )* ) ∈ !} "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
#"! 1A+):& (C)’ K! " DF-4I9E$,25 '3F-?
⋂ ! ≠ % <B7> [(C)’ ⇒ (C)]G6>8@)= JH 0(= J ! (C)’ %/< F-?I ' = )* ) ∈ !} J I! ⊂ . I ' ⊂ /J I! '39EC)F- !0 0 ⋂ !0 ≠ % I' '39EC)F- '0 0 ⋃ '0 ≠ "J B7.JI ⋃ ' = " %/ I' ¬(C) < J ⋃ ' = " de Morgan ;* ⋂ ! = % ¬(C)’ J
,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∈! - = ⋂ ! ≠ (>
', "#) ! ', " -""
* " "#) . <" ! (%&> # ! (, ,$ -⋃ # ⊃ " - # " ! (%& . <" ! !+%&> # ! !+', ,$ ⋃ # ⊃ " - # " ! !+%& .
<%@' ! * [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 $% & E D $ = ( ∩ " ( ∈ $% }, $′ = ( ∩ " ( ∈ $′% } E $ " =7: D" 0?7: $& (E [(C) ⇒ (CM ) ] .E
"! 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 <
#"! A ;*3 *311 &45@ ! #"!D! %/>C)
" #"! <:1> # " ! %/?89 E D" ⊂ ⋃ # D ! = " ∪ ! − " = ) # ∪ ! − " . ! − " ! ?C)D# ! − " $(- C)7 #+ ! ?89E D! #" !.D# <,2B='C) #, + ! = ) #, ∪ ! − " 06E " ⊂ ⋃ #,E " #"!E
%('$& =G CA, 2;12 ! #%('$&*<=G L" # !
*<=G !# CA., !M 7L"(!) %('$&!M < > %('$&=GCA,%('$& <B6> "(!) ⊂ ⋃(∈* +( # 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
%* (' #12" & & !, !# $%*
,$ ! !# (' - !,% ! )+ $(%) !# )+- <> )%* ('
.2 +- $* 13 (Tychonoff) ,.2' ("# )#∈&
+-.2 " = ∏ #∈& "# 3" 3 ) ∈ Λ % "# &0 4 <1(> #" 4/! p212~p214 )
$ Hausdroff #( <&> "#( ! "! 2
#, % & ∩ ( = * & ∈ ,(#)* ( ∈ ,(%) + <> ! "! 2 % ' )+
Hausdroff !" <> #, %
!" 2 ' #, % = ) * #; ⁄ ) 2 ∩ * %; ⁄ ) 2 = .
Hausdroff .3 '0 ( Hausdroff .3 ! 5
1 +) 4 {$} ! 24 6 </*> & $ - ! +5$ ! & 1 ' 5& & {$} #+ & ∉ {$} 6 & $ + ",%6 $ (S − $ ) = ( $ ). $ = $ ", + #+
#&%"$2 Hausdroff :E 08 14 Hausdroff :E ! B+G,
" #&%"$H " ! CG,I <?5> # = ! − " DG, !9 H& ! # (3 1 7 H& @* ( ( ⊂ # ( ∩ " = + /. !9 I & ! # -0 1 7 I, ! " (37 H & ≠ , 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 & , # "
#&%"$2 Hausdroff :E 08 14 Hausdroff :E ! B+G,
" #&%"$H " ! CG,I <?5> # = ! − " DG, !9 H& ! # (3 1 7 H& @* ( ( ⊂ # ( ∩ " = + /. !9 I & ! # -0 1 7 I, ! " (37 H & ≠ , 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 & , (/ # " 0 /
# Hausdroff '- !& 14 Hausdroff '- ! *.
" / " ! +. 0 <(%> # = ⋂&'( ) #*+ /# , ,)/$ - = 1, ⋯ , 1 " /# ⊂ #*+ , #*+ ∩ 4 *+ = 5 / # ∩ 4 *+ = 5 # ∩ 6 &'( ) 4 *+ = 6 &'( ) # ∩ 4 *+ = 5 # ∩ " = 5 , 7& # 8 " 4 *+
* 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%:' <
"! . 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'% ;
!"% !" $& <!" $& # > #
!" $(&; () ( # ) '& ! $& #
019 !" 6:" $. 16 Euclid 19 !"
6:" # ; # !" */7:" '4 < < 5)> # ⇒ # */7:" # !" 6:" < %" Hausdroff 19 ;$. 14 # 7:" < &' !" #$, ; &' & +!% 8-(:"2 ( &' ; * * > 0} 3 # !" &'
+,7 !" 4!8# %) 16 Euclid ,7 !"
4!8# # 9 # !" (*58# &1"! : < 3'> # ⇒ # (*58# # !" 4!8# : %" Hausdroff ,7 9%) 14 # 58# : ' 8#-$8# !" / 9 # !" 602.: # !" &'
-.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 # !" ()
(). !" ,/! "& 16 Euclid ). !"
,/! # 0 # !" %'-/! #* 1 < +$> # ⇒ # %'-/! # !" ,/! 1 %" Hausdroff ). 0"& 14 # -/! 1 max{*+ , ⋯ *. } = * B(34 ; *6 ) ⊂ 9(34 ; *) # ⊂ 9(34 ; *)1 # %' 1 # !" 34
!" 16 Euclid !" # # !" ] < [
> # ] ⇒ # # !" ] # !" ] % = '( , *( × ⋯×['" , *" ] % [ 11 M ! ] [', *] [ 13 J [ ! ] / = [', *] [ 11 0 0 ] # 13 (Tychonoff) (02 )2∈5 0 = ∏ 2∈5 02 0 7 ∈ Λ 02
!" 16 Euclid !" # [ # !" < >
# ⇒ # % & = [), +] ! [ - ∈ & [ % [), -] [ % [), -] & - &/ ) + %
!" 16 Euclid !" # [ # !" < >
# ⇒ # % & = [), +] ! [ - ∈ & [ % [), -] [ % [), -] & - &/ ) + % - &/ % %
[ !" ] 16 Euclid [ !" ] # #
!" ] < > # ] ⇒ # % & = [), +] ! - ∈ & % [), -] % [), -] & - ] &/ + ∈ &/ ! [ & = [), +] ) + % - % &/
!" 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
!" 16 Euclid !" # # !" [ < >
# ⇒ # % − ' ∈ )* [,, % − '] / 01 , ⋯ , 03 [ ,, % − ' ∪ % − ', % + ' = [,, % + '] 01 , ⋯ , 03 , 0 [ % ∈ )*[ % < 8 % + ' ∈ )* ' % )* [ % = 8, 8 ∈ )* 8 0 )* % % − ' % + '
!" 16 Euclid !" # # !" [ < >
# ⇒ # % − ' ∈ )* [,, % − '] / 01 , ⋯ , 03 [ ,, % − ' ∪ % − ', % + ' = [,, % + '] 01 , ⋯ , 03 , 0 [ % ∈ )*[ % < 8 % + ' ∈ )* ' % )* [ % = 8, 8 ∈ )* 8 0 )* % % − ' % + '
./4 !" 2"5% ', 16 Euclid /4 !" 2"5%
# 6 # !" *- 35% (1#" 7 +) 6 p5 0&$ 7 /4 !8 Euclid /4 !" *- 35% $% , '% × ⋯×[$" , '" ]
! ;$?& *3 16 Euclid 6= !" ;$?&
# @ # !" 04<?& -9%$ A 2 ! (&8@17 1, 2,A 71 # #56= ! ;$?&@ max #, min # )' <:/> # ! 04;$?& @# !>"> )'A .@# ! <?& @/ !>"> # +A max #, min # )'A
! !$# " 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 <H9> 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
%) 06 <"2> 3 9/06 ! (- #
5 $ ! ,9! %) : <> '.741+8 *& <> "
.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 <MB> 98 #TK6 , p219~p222 "4E