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
310
集合・位相入門/松坂和夫 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
120
集合・位相入門/松坂和夫 3.2 節:整列集合とその比較定理
nomotoeriko
0
530
レトリバインターン成果報告
nomotoeriko
0
1.7k
Other Decks in Technology
See All in Technology
DatabricksにOLTPデータベース『Lakebase』がやってきた!
inoutk
0
110
関数型プログラミングで 「脳がバグる」を乗り越える
manabeai
1
190
Connect 100+を支える技術
kanyamaguc
0
200
タイミーのデータモデリング事例と今後のチャレンジ
ttccddtoki
6
2.4k
FOSS4G 2025 KANSAI QGISで点群データをいろいろしてみた
kou_kita
0
400
AI専用のリンターを作る #yumemi_patch
bengo4com
5
4.3k
B2C&B2B&社内向けサービスを抱える開発組織におけるサービス価値を最大化するイニシアチブ管理
belongadmin
1
7k
SmartNewsにおける 1000+ノード規模 K8s基盤 でのコスト最適化 – Spot・Gravitonの大規模導入への挑戦
vsanna2
0
130
改めてAWS WAFを振り返る~業務で使うためのポイント~
masakiokuda
2
260
ビズリーチが挑む メトリクスを活用した技術的負債の解消 / dev-productivity-con2025
visional_engineering_and_design
3
7.6k
オーティファイ会社紹介資料 / Autify Company Deck
autifyhq
10
130k
PO初心者が考えた ”POらしさ”
nb_rady
0
210
Featured
See All Featured
We Have a Design System, Now What?
morganepeng
53
7.7k
Adopting Sorbet at Scale
ufuk
77
9.5k
The Illustrated Children's Guide to Kubernetes
chrisshort
48
50k
Connecting the Dots Between Site Speed, User Experience & Your Business [WebExpo 2025]
tammyeverts
6
300
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
34
3.1k
Creating an realtime collaboration tool: Agile Flush - .NET Oxford
marcduiker
30
2.1k
Building Flexible Design Systems
yeseniaperezcruz
328
39k
Fireside Chat
paigeccino
37
3.5k
XXLCSS - How to scale CSS and keep your sanity
sugarenia
248
1.3M
A Tale of Four Properties
chriscoyier
160
23k
Building a Modern Day E-commerce SEO Strategy
aleyda
42
7.4k
Making the Leap to Tech Lead
cromwellryan
134
9.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!+ !+