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
集合・位相入門/松坂和夫 3.1 節:順序集合
Search
NomotoEriko
February 22, 2019
Technology
0
290
集合・位相入門/松坂和夫 3.1 節:順序集合
阪大の学生で開催した『位相・集合・多様体勉強会』の発表スライドです.『集合・位相入門/松坂和夫』の 3.1 節:順序集合について取り扱っています.
NomotoEriko
February 22, 2019
Tweet
Share
More Decks by NomotoEriko
See All by NomotoEriko
プレゼンのすゝめ
nomotoeriko
6
4.3k
集合・位相入門/松坂和夫 5.2 節:コンパクト性
nomotoeriko
1
97
集合・位相入門/松坂和夫 3.2 節:整列集合とその比較定理
nomotoeriko
0
480
レトリバインターン成果報告
nomotoeriko
0
1.7k
Other Decks in Technology
See All in Technology
Bounded Context: Problem or Solution?
ewolff
1
200
High Performance PHP
cmuench
0
120
ソフトウェアアーキテクトのための意思決定術: Software Architecture and Decision-Making
snoozer05
PRO
20
4.4k
WAF に頼りすぎない AWS WAF 運用術 meguro sec #1
izzii
0
390
MC906491 を見据えた Microsoft Entra Connect アップグレード対応
tamaiyutaro
1
120
パフォーマンスとコスト改善のために法人データ分析基盤をBigQueryに移行した話
seiya303
1
110
Googleマップ/Earthが一般化した 地図タイルのイマ
mapconcierge4agu
1
170
ろう・難聴者のコミュニケーションを円滑化する取り組み
chiemi627
0
120
データ基盤の成長を加速させる:アイスタイルにおける挑戦と教訓
tsuda7
3
580
BLEAでAWSアカウントのセキュリティレベルを向上させよう
koheiyoshikawa
0
180
さいきょうのアーキテクチャを生み出すセンスメイキング
jgeem
0
400
[TechNight #86] Oracle GoldenGate - 23ai 最新情報&プロジェクトからの学び
oracle4engineer
PRO
1
220
Featured
See All Featured
BBQ
matthewcrist
86
9.4k
For a Future-Friendly Web
brad_frost
176
9.5k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
44
7k
Large-scale JavaScript Application Architecture
addyosmani
510
110k
Responsive Adventures: Dirty Tricks From The Dark Corners of Front-End
smashingmag
251
21k
Product Roadmaps are Hard
iamctodd
PRO
50
11k
The Web Performance Landscape in 2024 [PerfNow 2024]
tammyeverts
4
390
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
27
1.9k
Statistics for Hackers
jakevdp
797
220k
How To Stay Up To Date on Web Technology
chriscoyier
790
250k
Save Time (by Creating Custom Rails Generators)
garrettdimon
PRO
29
1k
The Power of CSS Pseudo Elements
geoffreycrofte
75
5.4k
Transcript
#6 3 ! Zorn "#$
M1
P4:2I6GJI@9Q O' $F!Q/!3B%,8"HEK)D R7Q/L-; =I?Q/!$F(N/A105 .SM>*<
T only #&C+ 1 *<
§ 1. Ø Ø" Ø ! " !
" " Ø Ø " 2
1.
◎ ≦ × 4
1 2 3 4 5 6 7 ≦ ≦ ≦ ≦ ≦ ≦
" ! ! " " ! #!$
#% Ø&∀$ ∈ ! $"$ Ø&$, ' ∈ ! $"', '"$ ⟹ $ = ' Ø&$, ', * ∈ ! $"', '"* ⟹ $"* 5 #! #! 2 2 ≦ 1 ? ≦ ? 1 ≦ ∩ 1 2 ≦ 3 ≦
DAG 6
'%"* &$ # *!
7 )& )& ( $
∀" ∈ $ "%" 8
!, #, $ ∈ & !'#, #'$ ⟹
!'$ 9
('% +*!( DAG ØDAG + &" !,
#, $ ∈ & !'#, #'$ ⟹ !'!$ 10 *!( *!() # '%
7!*# 3, & 8'7!65 - 40& wiki +/ $( .3
%"2) 11 8'7! %19&
≦ b #
12
'" ! ≤ # # ≤ ! ,#
)(- . !, # '" +!+ # '" + 13 +* %$& '
1.
! ! ≤ " !, ≤ !
" ! ≤ ! !, ≤ ! ! 15 ! "! !
! ", ≤ " " "
%, & ∈ ! % ≤ & ! % ≤( & ≤( #" !, ≤( ", ≤ #" 16 #"$#" #"
17
1.
!, ≤ $ ∈ !∀' ∈ ! ' ≤
$ $ max ! $ ≤ ' $ min ! 1 19
(' !, ≤ +$ ∈ !+∀' ∈ ! ', $
"%# ' ≤ $ $ ! ', $ "%# $ ≤ ' $ ! + !+! !+! $ 20 )* + ! )* + &+ & !+! !
0$/ !, ≤ , -0$/ $, ≤ ∃& ∈ !,
∀) ∈ $, ) ≤ & & $ ! + $ +# 1 ! $ (+ * & ≤ ) & & $ + 3 $ (+ $ (+& (+ 21 ' 1"2 3 )' 1"2 3 .3 . -0$/(+% + -0$/ (+
! #& ! & * !* " min !∗
!. min !∗ ! "& ) sup ! ' "& ) %.inf ! ' 22 " ,- . $" ,- . ). ) (+ * ).) ) & *
! sup ! = & & ∈
! & = max ! inf ! = &, & ∈ ! & = min ! 23 ! " ! " " "
1.
!, ≤ , !$, ≤$ %: !
→ !′ ∀*, + ∈ !, * ≤ + ⇒ % * ≤$ %(+) % % % * ≤$ %(+) ⇒ * ≤ + % 25
! ≤ # ⇒ % ! ≤& %(#)
% ! ≤& %(#) ⇒ ! ≤ # % ! = % !& ⇒ ! = !′ 26
! ≤ # ⇒ % ! ≤& %(#)
% ! ≤& %(#) ⇒ ! ≤ # % ! = % !& ⇒ ! = !′ 27
! ≤ # ⇒ % ! ≤& %(#)
% ! ≤& %(#) ⇒ ! ≤ # % ! = % !& ⇒ ! = !′ 28 % ! ≤& %(#) ⇒ ! ≤ #
! ≤ # ⇒ % ! ≤& %(#)
% ! ≤& %(#) ⇒ ! ≤ # % ! = % !& ⇒ ! = !′ 29 # = #′
14 ! ≤ # ⇒ % ! ≤& %(#)
% ! ≤& %(#) ⇒ ! ≤ # % ! = % !& ⇒ ! = !′ .'4 % ! ≤& %(#) 2( % ! = % # -3 & ! ≤ # # ≤ ! 2 0$/ !+% ! = # #,3 30 0$ 0$"" )* -4 https://nuhsnuh.hatenablog.jp/entries/2012/04/08
& % !, ≤ , !$, ≤$ ' %:
! → !′ ∀*, + ∈ !, * ≤ + ⇒ % * ≤$ %(+) % & # % & % * ≤$ %(+) ⇒ * ≤ + !" % '& % & ' % ! !′ & & $& 31 & &
"! !, ≤ , !$, ≤$ " # "
# !, ≤ ≃ !$, ≤$ "! " Ø !, ≤ ≃ !, ≤ Ø !, ≤ ≃ !$, ≤$ ⇒ !$, ≤$ ≃ !, ≤ Ø !, ≤ ≃ !$, ≤$ , !$, ≤$ ≃ !$$, ≤$$ ⇒ !, ≤ ≃ !$$, ≤$$ 32 " "
1.
(", ≤) a, b ∈ ", ) ≤ *
" * ≤+, ) ≤+, ≤+, $! % ≤ $ (", ≤+,) (", ≤) $# 34 % $%$#
'# Ø"" Ø " " Ø!$ % 35
& #
! 130"/. 1!2 1 )$!)$ -' # 1
1&, ! 1&, !+30".( ! * %0"/ &, 1 12 ! 1 # )$!)$ -' # ( !′ * %0"/ &, 36 !)$2!+ !+