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
QAはソフトウェアエンジニアリングを学んで実践するのが大事なの
ymty
1
400
(新URLに移行しました)FASTと向き合うことで見えた、大規模アジャイルの難しさと楽しさ
wooootack
0
730
Contract One Engineering Unit 紹介資料
sansan33
PRO
0
6.5k
Bill One 開発エンジニア 紹介資料
sansan33
PRO
4
12k
自分を理解するAI時代の準備 〜マイプロフィールMCPの実装〜
edo_m18
0
110
Snowflake Intelligenceで実現できるノーコードAI活用
takumimukaiyama
1
240
AI技術トレンド勉強会 #1MCPの基礎と実務での応用
nisei_k
1
220
Javalinの紹介
notoh
0
110
堅牢な認証基盤の実現 TypeScriptで代数的データ型を活用する
kakehashi
PRO
2
230
doda開発 生成AI元年宣言!自家製AIエージェントから始める生産性改革 / doda Development Declaration of the First Year of Generated AI! Productivity Reforms Starting with Home-grown AI Agents
techtekt
0
170
Amplifyとゼロからはじめた AIコーディング 成果と展望
mkdev10
1
280
kubellが挑むBPaaSにおける、人とAIエージェントによるサービス開発の最前線と技術展望
kubell_hr
1
310
Featured
See All Featured
No one is an island. Learnings from fostering a developers community.
thoeni
21
3.3k
Understanding Cognitive Biases in Performance Measurement
bluesmoon
29
1.8k
Product Roadmaps are Hard
iamctodd
PRO
53
11k
YesSQL, Process and Tooling at Scale
rocio
172
14k
A better future with KSS
kneath
239
17k
4 Signs Your Business is Dying
shpigford
184
22k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
panda_program
107
19k
Faster Mobile Websites
deanohume
307
31k
Dealing with People You Can't Stand - Big Design 2015
cassininazir
367
26k
Making the Leap to Tech Lead
cromwellryan
134
9.3k
The Power of CSS Pseudo Elements
geoffreycrofte
77
5.8k
Visualizing Your Data: Incorporating Mongo into Loggly Infrastructure
mongodb
46
9.6k
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!+ !+