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
JSX - 歴史を振り返り、⾯⽩がって、エモくなろう
pal4de
4
1.1k
5min GuardDuty Extended Threat Detection EKS
takakuni
0
110
Node-RED × MCP 勉強会 vol.1
1ftseabass
PRO
0
140
Snowflake Summit 2025全体振り返り / Snowflake Summit 2025 Overall Review
mtpooh
2
390
Navigation3でViewModelにデータを渡す方法
mikanichinose
0
220
Amazon S3標準/ S3 Tables/S3 Express One Zoneを使ったログ分析
shigeruoda
3
450
250627 関西Ruby会議08 前夜祭 RejectKaigi「DJ on Ruby Ver.0.1」
msykd
PRO
2
220
より良いプロダクトの開発を目指して - 情報を中心としたプロダクト開発 #phpcon #phpcon2025
bengo4com
1
3.1k
初めてのAzure FunctionsをClaude Codeで作ってみた / My first Azure Functions using Claude Code
hideakiaoyagi
1
210
“社内”だけで完結していた私が、AWS Community Builder になるまで
nagisa53
1
340
OpenHands🤲にContributeしてみた
kotauchisunsun
1
390
あなたの声を届けよう! 女性エンジニア登壇の意義とアウトプット実践ガイド #wttjp / Call for Your Voice
kondoyuko
4
380
Featured
See All Featured
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
228
22k
[RailsConf 2023 Opening Keynote] The Magic of Rails
eileencodes
29
9.5k
ピンチをチャンスに:未来をつくるプロダクトロードマップ #pmconf2020
aki_iinuma
124
52k
A Tale of Four Properties
chriscoyier
160
23k
ReactJS: Keep Simple. Everything can be a component!
pedronauck
667
120k
The Cult of Friendly URLs
andyhume
79
6.5k
Documentation Writing (for coders)
carmenintech
71
4.9k
Bootstrapping a Software Product
garrettdimon
PRO
307
110k
Gamification - CAS2011
davidbonilla
81
5.3k
CoffeeScript is Beautiful & I Never Want to Write Plain JavaScript Again
sstephenson
161
15k
Refactoring Trust on Your Teams (GOTO; Chicago 2020)
rmw
34
3k
Dealing with People You Can't Stand - Big Design 2015
cassininazir
367
26k
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!+ !+