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
98
集合・位相入門/松坂和夫 5.2 節:コンパクト性
阪大の学生で開催した『位相・集合・多様体勉強会』の発表スライドです.『集合・位相入門/松坂和夫』の 5.2 節:コンパクト性を取り扱っています.
NomotoEriko
April 25, 2019
Tweet
Share
More Decks by NomotoEriko
See All by NomotoEriko
プレゼンのすゝめ
nomotoeriko
6
4.3k
集合・位相入門/松坂和夫 3.2 節:整列集合とその比較定理
nomotoeriko
0
490
集合・位相入門/松坂和夫 3.1 節:順序集合
nomotoeriko
0
290
レトリバインターン成果報告
nomotoeriko
0
1.7k
Other Decks in Technology
See All in Technology
株式会社EventHub・エンジニア採用資料
eventhub
0
4.2k
アジャイル開発とスクラム
araihara
0
160
Developers Summit 2025 浅野卓也(13-B-7 LegalOn Technologies)
legalontechnologies
PRO
0
150
RSNA2024振り返り
nanachi
0
500
エンジニアのためのドキュメント力基礎講座〜構造化思考から始めよう〜(2025/02/15jbug広島#15発表資料)
yasuoyasuo
15
5.5k
マルチモーダル理解と生成の統合 DeepSeek Janus, etc... / Multimodal Understanding and Generation Integration
hiroga
0
360
Kubernetes x k6 で負荷試験基盤を開発して 負荷試験を民主化した話 / Kubernetes x k6
sansan_randd
2
730
技術負債の「予兆検知」と「状況異変」のススメ / Technology Dept
i35_267
1
1k
Data-centric AI入門第6章:Data-centric AIの実践例
x_ttyszk
1
370
CZII - CryoET Object Identification 参加振り返り・解法共有
tattaka
0
240
バックエンドエンジニアのためのフロントエンド入門 #devsumiC
panda_program
16
6.5k
「海外登壇」という 選択肢を与えるために 〜Gophers EX
logica0419
0
500
Featured
See All Featured
Thoughts on Productivity
jonyablonski
69
4.5k
YesSQL, Process and Tooling at Scale
rocio
171
14k
Build The Right Thing And Hit Your Dates
maggiecrowley
34
2.5k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
251
21k
How STYLIGHT went responsive
nonsquared
98
5.3k
Learning to Love Humans: Emotional Interface Design
aarron
273
40k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
27
1.9k
The Cost Of JavaScript in 2023
addyosmani
47
7.3k
Chrome DevTools: State of the Union 2024 - Debugging React & Beyond
addyosmani
3
310
Building a Modern Day E-commerce SEO Strategy
aleyda
38
7.1k
Scaling GitHub
holman
459
140k
Building an army of robots
kneath
302
45k
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