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
540
レトリバインターン成果報告
nomotoeriko
0
1.7k
Other Decks in Technology
See All in Technology
メモ整理が苦手な者による頑張らないObsidian活用術
optim
0
150
ecspressoの設計思想に至る道 / sekkeinight2025
fujiwara3
12
2k
分散トレーシングによる コネクティッドカーのデータ処理見える化の試み
thatsdone
0
260
CSPヘッダー導入で実現するWebサイトの多層防御:今すぐ試せる設定例と運用知見
llamakko
1
260
20250719_JAWS_kobe
takuyay0ne
1
170
PdM業務における使い分け
shinshiro
0
660
MCPに潜むセキュリティリスクを考えてみる
milix_m
1
850
機械学習を「社会実装」するということ 2025年夏版 / Social Implementation of Machine Learning July 2025 Version
moepy_stats
1
1.4k
大規模イベントを支える ABEMA の アーキテクチャ 変遷 2025
nagapad
4
440
人と生成AIの協調意思決定/Co‑decision making by people and generative AI
moriyuya
0
120
隙間時間で爆速開発! Claude Code × Vibe Coding で作るマニュアル自動生成サービス
akitomonam
2
180
Webの技術とガジェットで那須の子ども達にワクワクを! / IoTLT_20250720
you
PRO
0
130
Featured
See All Featured
Cheating the UX When There Is Nothing More to Optimize - PixelPioneers
stephaniewalter
283
13k
個人開発の失敗を避けるイケてる考え方 / tips for indie hackers
panda_program
110
19k
[RailsConf 2023 Opening Keynote] The Magic of Rails
eileencodes
29
9.6k
The Success of Rails: Ensuring Growth for the Next 100 Years
eileencodes
45
7.5k
Visualization
eitanlees
146
16k
Code Review Best Practice
trishagee
69
19k
Raft: Consensus for Rubyists
vanstee
140
7k
Intergalactic Javascript Robots from Outer Space
tanoku
271
27k
Exploring the Power of Turbo Streams & Action Cable | RailsConf2023
kevinliebholz
34
5.9k
The MySQL Ecosystem @ GitHub 2015
samlambert
251
13k
Producing Creativity
orderedlist
PRO
346
40k
CSS Pre-Processors: Stylus, Less & Sass
bermonpainter
357
30k
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!+ !+