SlideShare une entreprise Scribd logo
1  sur  37
Télécharger pour lire hors ligne
#6
3 Zorn
M1
š
š
š /
š
only
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
š
š
š wiki
š
11
š ≦
š
b #
12
š
! ≤ # # ≤ !
!, #
š
13
1.
š ! ≤
!, ≤ !
š ≤
!, ≤
15
š! ", ≤ "
š%, & ∈ ! % ≤ & % ≤( &
≤(
š !, ≤( ", ≤
16
š
š
17
1.
š !, ≤ $ ∈ ! ∀' ∈ !
š' ≤ $ $ max !
š$ ≤ ' $ min !
š
1
19
š !, ≤ $ ∈ ! ∀' ∈ !
š', $ ' ≤ $ $
š', $ $ ≤ ' $
š
š
20
š !, ≤ $, ≤
š∃& ∈ !, ∀) ∈ $, ) ≤ & & $ !
š$ 1
$
š & ≤ ) & $
$
š$
21
š! ! !*
min !∗
min !∗
! sup !
š
inf !
22
š! sup ! = & & ∈ ! & = max !
š inf ! = &, & ∈ ! & = min !
23
1.
š !, ≤ , !$
, ≤$
%: ! → !′
š∀*, + ∈ !, * ≤ + ⇒ % * ≤$
%(+)
%
š% % * ≤$
%(+) ⇒ * ≤ +
%
25
š
! ≤ # ⇒ % ! ≤&
%(#) % ! ≤&
%(#) ⇒ ! ≤ #
% ! = % !&
⇒ ! = !′
26
š
! ≤ # ⇒ % ! ≤&
%(#) % ! ≤&
%(#) ⇒ ! ≤ #
% ! = % !&
⇒ ! = !′
27
š
! ≤ # ⇒ % ! ≤&
%(#) % ! ≤&
%(#) ⇒ ! ≤ #
% ! = % !&
⇒ ! = !′
28
% ! ≤& %(#) ⇒ ! ≤ #
š
! ≤ # ⇒ % ! ≤&
%(#) % ! ≤&
%(#) ⇒ ! ≤ #
% ! = % !&
⇒ ! = !′
29
# = #′
š
! ≤ # ⇒ % ! ≤&
%(#) % ! ≤&
%(#) ⇒ ! ≤ #
% ! = % !&
⇒ ! = !′
š
% ! ≤&
%(#) % ! = % #
! ≤ # # ≤ !
! = #
30
https://nuhsnuh.hatenablog.jp/entries/2012/04/08
š !, ≤ , !$
, ≤$
%: ! → !′
š∀*, + ∈ !, * ≤ + ⇒ % * ≤$
%(+)
%
š% % * ≤$
%(+) ⇒ * ≤ +
%
š%
% ! !′
š
31
š !, ≤ , !$
, ≤$
!, ≤ ≃ !$
, ≤$
š
Ø !, ≤ ≃ !, ≤
Ø !, ≤ ≃ !$, ≤$ ⇒ !$, ≤$ ≃ !, ≤
Ø !, ≤ ≃ !$, ≤$ , !$, ≤$ ≃ !$$, ≤$$ ⇒ !, ≤ ≃ !$$, ≤$$
32
1.
š(", ≤) a, b ∈ ", ) ≤ *
* ≤+,
) ≤+,
š≤+,
≤
š(", ≤+,
) (", ≤)
34
š
Ø
Ø
Ø
35
š
š
š !
1
#
!′
36

Contenu connexe

Tendances

Sorting quick-sort
Sorting   quick-sortSorting   quick-sort
Sorting quick-sortFajar Zain
 
ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.6 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.6 (ΕΚΤΥΠΩΣΗ) ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.6 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.6 (ΕΚΤΥΠΩΣΗ) Dimitris Psounis
 
ΠΛΗ31 ΜΑΘΗΜΑ 2.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ31 ΜΑΘΗΜΑ 2.1 (ΕΚΤΥΠΩΣΗ)ΠΛΗ31 ΜΑΘΗΜΑ 2.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ31 ΜΑΘΗΜΑ 2.1 (ΕΚΤΥΠΩΣΗ)Dimitris Psounis
 
Sales order
Sales orderSales order
Sales orderb3randal
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.1 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.1 (ΕΚΤΥΠΩΣΗ)Dimitris Psounis
 
ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2
ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2
ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2Dimitris Psounis
 
Purchase invoice
Purchase invoicePurchase invoice
Purchase invoiceb3randal
 
To nie jest eldorado
To nie jest eldoradoTo nie jest eldorado
To nie jest eldoradomarcinw
 
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 0.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 0.1 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 0.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 0.1 (ΕΚΤΥΠΩΣΗ)Dimitris Psounis
 
Kuidas toimib tellija esindamine ja järelevalve IT valdkonnas?
Kuidas toimib tellija esindamine ja järelevalve IT valdkonnas?Kuidas toimib tellija esindamine ja järelevalve IT valdkonnas?
Kuidas toimib tellija esindamine ja järelevalve IT valdkonnas?Leego
 
Camfil Farr Webinar - Air filtration Design and Application
Camfil Farr Webinar - Air filtration Design and Application Camfil Farr Webinar - Air filtration Design and Application
Camfil Farr Webinar - Air filtration Design and Application Simply Marcomms
 
Cortexm3 lpc1768 peripherals
Cortexm3 lpc1768  peripheralsCortexm3 lpc1768  peripherals
Cortexm3 lpc1768 peripheralsfivesquare
 
ΠΛΗ31 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 4.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ31 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 4.2 (ΕΚΤΥΠΩΣΗ)ΠΛΗ31 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 4.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ31 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 4.2 (ΕΚΤΥΠΩΣΗ)Dimitris Psounis
 

Tendances (19)

Jpeg to doc 3 pc
Jpeg to doc 3 pcJpeg to doc 3 pc
Jpeg to doc 3 pc
 
Frosted hazel nuts
Frosted hazel nutsFrosted hazel nuts
Frosted hazel nuts
 
Entrevista juan serrano
Entrevista juan serranoEntrevista juan serrano
Entrevista juan serrano
 
Sorting quick-sort
Sorting   quick-sortSorting   quick-sort
Sorting quick-sort
 
ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.6 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.6 (ΕΚΤΥΠΩΣΗ) ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.6 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.6 (ΕΚΤΥΠΩΣΗ)
 
Relaince caf form filling
Relaince caf form fillingRelaince caf form filling
Relaince caf form filling
 
ΠΛΗ31 ΜΑΘΗΜΑ 2.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ31 ΜΑΘΗΜΑ 2.1 (ΕΚΤΥΠΩΣΗ)ΠΛΗ31 ΜΑΘΗΜΑ 2.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ31 ΜΑΘΗΜΑ 2.1 (ΕΚΤΥΠΩΣΗ)
 
Sales order
Sales orderSales order
Sales order
 
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.1 (ΕΚΤΥΠΩΣΗ)ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ30 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 3.1 (ΕΚΤΥΠΩΣΗ)
 
Peran_TL
Peran_TLPeran_TL
Peran_TL
 
ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2
ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2
ΠΛΗ20 ΤΥΠΟΛΟΓΙΟ ΕΝΟΤΗΤΑΣ 2
 
Purchase invoice
Purchase invoicePurchase invoice
Purchase invoice
 
Vodafone outbound process
Vodafone outbound processVodafone outbound process
Vodafone outbound process
 
To nie jest eldorado
To nie jest eldoradoTo nie jest eldorado
To nie jest eldorado
 
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 0.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 0.1 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 0.1 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΚΑΡΤΑ ΜΑΘΗΜΑ 0.1 (ΕΚΤΥΠΩΣΗ)
 
Kuidas toimib tellija esindamine ja järelevalve IT valdkonnas?
Kuidas toimib tellija esindamine ja järelevalve IT valdkonnas?Kuidas toimib tellija esindamine ja järelevalve IT valdkonnas?
Kuidas toimib tellija esindamine ja järelevalve IT valdkonnas?
 
Camfil Farr Webinar - Air filtration Design and Application
Camfil Farr Webinar - Air filtration Design and Application Camfil Farr Webinar - Air filtration Design and Application
Camfil Farr Webinar - Air filtration Design and Application
 
Cortexm3 lpc1768 peripherals
Cortexm3 lpc1768  peripheralsCortexm3 lpc1768  peripherals
Cortexm3 lpc1768 peripherals
 
ΠΛΗ31 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 4.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ31 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 4.2 (ΕΚΤΥΠΩΣΗ)ΠΛΗ31 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 4.2 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ31 ΚΑΡΤΕΣ ΜΑΘΗΜΑΤΟΣ 4.2 (ΕΚΤΥΠΩΣΗ)
 

Similaire à 集合・位相入門/松坂和夫 3.1 節:順序集合

Benefits of cross platform app development
Benefits of cross platform app developmentBenefits of cross platform app development
Benefits of cross platform app developmentkoteshwarreddy7
 
Uu no.2 th.1992_ttg_usaha_perasuransian
Uu no.2 th.1992_ttg_usaha_perasuransianUu no.2 th.1992_ttg_usaha_perasuransian
Uu no.2 th.1992_ttg_usaha_perasuransianTommy Wibowo
 
Projet de développement d'un secteur numérique en bibliothèque
Projet de développement d'un secteur numérique en bibliothèqueProjet de développement d'un secteur numérique en bibliothèque
Projet de développement d'un secteur numérique en bibliothèqueLudivine Goizet
 
ΠΛΗ20 ΜΑΘΗΜΑ 1.7 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.7 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΜΑΘΗΜΑ 1.7 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.7 (ΕΚΤΥΠΩΣΗ)Dimitris Psounis
 
Instalación en casa de una estufa de leña
Instalación en casa de una estufa de leñaInstalación en casa de una estufa de leña
Instalación en casa de una estufa de leñaQué Pasa Si
 
Manuale d'istruzioni di Audacity
Manuale d'istruzioni di AudacityManuale d'istruzioni di Audacity
Manuale d'istruzioni di AudacityVirtualdeejay.net
 
What new on the regulatory agenda
What new on the regulatory agendaWhat new on the regulatory agenda
What new on the regulatory agendaGeorge Teriakidis
 
AAM National competition rules 2010
AAM National competition rules 2010AAM National competition rules 2010
AAM National competition rules 2010Leona Chin
 
ΠΛΗ10 ΜΑΘΗΜΑ 2.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ10 ΜΑΘΗΜΑ 2.3 (ΕΚΤΥΠΩΣΗ)ΠΛΗ10 ΜΑΘΗΜΑ 2.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ10 ΜΑΘΗΜΑ 2.3 (ΕΚΤΥΠΩΣΗ)Dimitris Psounis
 
Heráldica Autárquica
Heráldica AutárquicaHeráldica Autárquica
Heráldica AutárquicaElsa Fernandes
 
Trane experience matrices.v12
Trane experience matrices.v12Trane experience matrices.v12
Trane experience matrices.v12Jef Davis
 
Dictamen.Para CEPES y otras Confederaciones Nacionales de Cooperativas de.aso...
Dictamen.Para CEPES y otras Confederaciones Nacionales de Cooperativas de.aso...Dictamen.Para CEPES y otras Confederaciones Nacionales de Cooperativas de.aso...
Dictamen.Para CEPES y otras Confederaciones Nacionales de Cooperativas de.aso...University of Castile-La Mancha
 
40 rabbana duas
40 rabbana duas40 rabbana duas
40 rabbana duasAnuarie
 
(Modelo de proposta de armazenagem) - ES
(Modelo de proposta de armazenagem) - ES(Modelo de proposta de armazenagem) - ES
(Modelo de proposta de armazenagem) - ESMarcos Roberto de Lima
 
01 notions de pression et de température
01 notions de pression et de température01 notions de pression et de température
01 notions de pression et de températureAchraf Ourti
 
ΠΛΗ20 ΜΑΘΗΜΑ 3.5 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 3.5 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΜΑΘΗΜΑ 3.5 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 3.5 (ΕΚΤΥΠΩΣΗ)Dimitris Psounis
 
Accurate set-up-mahir
Accurate set-up-mahirAccurate set-up-mahir
Accurate set-up-mahirM Edy Amin
 

Similaire à 集合・位相入門/松坂和夫 3.1 節:順序集合 (20)

Benefits of cross platform app development
Benefits of cross platform app developmentBenefits of cross platform app development
Benefits of cross platform app development
 
Uu no.2 th.1992_ttg_usaha_perasuransian
Uu no.2 th.1992_ttg_usaha_perasuransianUu no.2 th.1992_ttg_usaha_perasuransian
Uu no.2 th.1992_ttg_usaha_perasuransian
 
Resumen gcff 2014
Resumen gcff   2014Resumen gcff   2014
Resumen gcff 2014
 
Projet de développement d'un secteur numérique en bibliothèque
Projet de développement d'un secteur numérique en bibliothèqueProjet de développement d'un secteur numérique en bibliothèque
Projet de développement d'un secteur numérique en bibliothèque
 
ΠΛΗ20 ΜΑΘΗΜΑ 1.7 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.7 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΜΑΘΗΜΑ 1.7 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 1.7 (ΕΚΤΥΠΩΣΗ)
 
Instalación en casa de una estufa de leña
Instalación en casa de una estufa de leñaInstalación en casa de una estufa de leña
Instalación en casa de una estufa de leña
 
Manuale d'istruzioni di Audacity
Manuale d'istruzioni di AudacityManuale d'istruzioni di Audacity
Manuale d'istruzioni di Audacity
 
What new on the regulatory agenda
What new on the regulatory agendaWhat new on the regulatory agenda
What new on the regulatory agenda
 
AAM National competition rules 2010
AAM National competition rules 2010AAM National competition rules 2010
AAM National competition rules 2010
 
ΠΛΗ10 ΜΑΘΗΜΑ 2.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ10 ΜΑΘΗΜΑ 2.3 (ΕΚΤΥΠΩΣΗ)ΠΛΗ10 ΜΑΘΗΜΑ 2.3 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ10 ΜΑΘΗΜΑ 2.3 (ΕΚΤΥΠΩΣΗ)
 
Heráldica Autárquica
Heráldica AutárquicaHeráldica Autárquica
Heráldica Autárquica
 
Ai in digital marketing
Ai in digital marketingAi in digital marketing
Ai in digital marketing
 
Trane experience matrices.v12
Trane experience matrices.v12Trane experience matrices.v12
Trane experience matrices.v12
 
Dictamen.Para CEPES y otras Confederaciones Nacionales de Cooperativas de.aso...
Dictamen.Para CEPES y otras Confederaciones Nacionales de Cooperativas de.aso...Dictamen.Para CEPES y otras Confederaciones Nacionales de Cooperativas de.aso...
Dictamen.Para CEPES y otras Confederaciones Nacionales de Cooperativas de.aso...
 
40 rabbana duas
40 rabbana duas40 rabbana duas
40 rabbana duas
 
Templo griego
Templo griegoTemplo griego
Templo griego
 
(Modelo de proposta de armazenagem) - ES
(Modelo de proposta de armazenagem) - ES(Modelo de proposta de armazenagem) - ES
(Modelo de proposta de armazenagem) - ES
 
01 notions de pression et de température
01 notions de pression et de température01 notions de pression et de température
01 notions de pression et de température
 
ΠΛΗ20 ΜΑΘΗΜΑ 3.5 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 3.5 (ΕΚΤΥΠΩΣΗ)ΠΛΗ20 ΜΑΘΗΜΑ 3.5 (ΕΚΤΥΠΩΣΗ)
ΠΛΗ20 ΜΑΘΗΜΑ 3.5 (ΕΚΤΥΠΩΣΗ)
 
Accurate set-up-mahir
Accurate set-up-mahirAccurate set-up-mahir
Accurate set-up-mahir
 

集合・位相入門/松坂和夫 3.1 節:順序集合

  • 4. 1.
  • 5. ◎ ≦ × 4 1 2 3 4 5 6 7≦ ≦≦≦≦≦
  • 6. š ! " " ! Ø ∀$ ∈ ! $"$ Ø $, ' ∈ ! $"', '"$ ⟹ $ = ' Ø $, ', * ∈ ! $"', '"* ⟹ $"* 5 2 2≦ 1 ?≦ ? 1≦∩ 1 2≦ 3≦
  • 9. š ∀" ∈ $ "%" 8
  • 10. š !, #, $ ∈ & !'#, #'$ ⟹ !'$ 9
  • 11. š DAG ØDAG !, #, $ ∈ & !'#, #'$ ⟹ !'! 10
  • 14. š ! ≤ # # ≤ ! !, # š 13
  • 15. 1.
  • 16. š ! ≤ !, ≤ ! š ≤ !, ≤ 15
  • 17. š! ", ≤ " š%, & ∈ ! % ≤ & % ≤( & ≤( š !, ≤( ", ≤ 16
  • 19. 1.
  • 20. š !, ≤ $ ∈ ! ∀' ∈ ! š' ≤ $ $ max ! š$ ≤ ' $ min ! š 1 19
  • 21. š !, ≤ $ ∈ ! ∀' ∈ ! š', $ ' ≤ $ $ š', $ $ ≤ ' $ š š 20
  • 22. š !, ≤ $, ≤ š∃& ∈ !, ∀) ∈ $, ) ≤ & & $ ! š$ 1 $ š & ≤ ) & $ $ š$ 21
  • 23. š! ! !* min !∗ min !∗ ! sup ! š inf ! 22
  • 24. š! sup ! = & & ∈ ! & = max ! š inf ! = &, & ∈ ! & = min ! 23
  • 25. 1.
  • 26. š !, ≤ , !$ , ≤$ %: ! → !′ š∀*, + ∈ !, * ≤ + ⇒ % * ≤$ %(+) % š% % * ≤$ %(+) ⇒ * ≤ + % 25
  • 27. š ! ≤ # ⇒ % ! ≤& %(#) % ! ≤& %(#) ⇒ ! ≤ # % ! = % !& ⇒ ! = !′ 26
  • 28. š ! ≤ # ⇒ % ! ≤& %(#) % ! ≤& %(#) ⇒ ! ≤ # % ! = % !& ⇒ ! = !′ 27
  • 29. š ! ≤ # ⇒ % ! ≤& %(#) % ! ≤& %(#) ⇒ ! ≤ # % ! = % !& ⇒ ! = !′ 28 % ! ≤& %(#) ⇒ ! ≤ #
  • 30. š ! ≤ # ⇒ % ! ≤& %(#) % ! ≤& %(#) ⇒ ! ≤ # % ! = % !& ⇒ ! = !′ 29 # = #′
  • 31. š ! ≤ # ⇒ % ! ≤& %(#) % ! ≤& %(#) ⇒ ! ≤ # % ! = % !& ⇒ ! = !′ š % ! ≤& %(#) % ! = % # ! ≤ # # ≤ ! ! = # 30 https://nuhsnuh.hatenablog.jp/entries/2012/04/08
  • 32. š !, ≤ , !$ , ≤$ %: ! → !′ š∀*, + ∈ !, * ≤ + ⇒ % * ≤$ %(+) % š% % * ≤$ %(+) ⇒ * ≤ + % š% % ! !′ š 31
  • 33. š !, ≤ , !$ , ≤$ !, ≤ ≃ !$ , ≤$ š Ø !, ≤ ≃ !, ≤ Ø !, ≤ ≃ !$, ≤$ ⇒ !$, ≤$ ≃ !, ≤ Ø !, ≤ ≃ !$, ≤$ , !$, ≤$ ≃ !$$, ≤$$ ⇒ !, ≤ ≃ !$$, ≤$$ 32
  • 34. 1.
  • 35. š(", ≤) a, b ∈ ", ) ≤ * * ≤+, ) ≤+, š≤+, ≤ š(", ≤+, ) (", ≤) 34