集合・位相入門/松坂和夫 3.2 節：整列集合とその比較定理

阪大の学生で開催した『位相・集合・多様体勉強会』の発表スライドです．『集合・位相入門/松坂和夫』の 3.2 節：整列集合とその比較定理と，3.3 節のしょっぱな，Zorn の補題のほんの少しだけを取り扱っています．

Transcript

1.    #7  3  ! Zorn
   "#$     M1 
2. § 1. 6!5 Ø6!3 Ø6!5:26!5 Ø& 89 :'& 89 : 4:4 Ø6! Ø(":+ § 2. $5)0+ Ø$5 Ø1/4 ,* Ø$56! Ø$5)0+ § 3. Zorn -7:$#+ Ø $53 7 ØZorn -78.%
   9 1
3.  
   2.   
4. š3,( ℕ !8 ≤ :#9&= $5' š - 1?ℕ % 0 69 *!' Ø#  ℕ 0 69 =(."2+/ Ø#  $ 
   3,('  - 1 &1  ü $ = 1 =1 = min ℕ = min # &1 ü $ + 1 ∈ # = #  $  3,('    # *!'>#  $  3,('   min # = $ + 1 
    3 )9 (ℕ, ≤) '
   ;74 <$5
5. š$). ! * ) - ' " ()  %# -! $)  š&+!, . * ) " -#, % ∈ ", # < %  # < ( < %  "  (  - #  % & 
    -%  # &! 
     4 $) $)
6. š$). ! * ) - ' " ()  %# -! $)  š&+!, . * ) " -#, % ∈ ", # < %  # < ( < %  "  (  - #  % & 
    -%  # &! 
     5 $) $) 3  4 & 
7. š%*- ! + * , (
   # )*
   &$ ,! %*  š%* # )*%* š%* "& š" ∈ ! ,∃% ∈ !, " < %  " '!  6 %* %*
8. š%*- ! + * , (
   # )*
   &$ ,! %*  š%* # )*%* š%* "& š" ∈ ! ,∃% ∈ !, " < %  " '!  7 %* %* !( = {%|% ∈ !, " < %} min !′  " '! 
9. š 2(1)! % +$& , š
   +  0   š-*'  1  %-*'+& š.(1  +&  )# " 8 (1 -*' .(1/
10.   
    2.  
11. š" ! š$" ∈ !, ! " = {'|' ∈ !, ' < "} 
     š" = min !    ! ! " = . š"   "∗ #"∗ = max ! " š"   
    #" = sup ! " 10  ! 
12. š$0 !2.0 !" š!" 
    ! # ⊂ !" ⟹ # ∈ !"",1 # 2!" = ! Ø!" ≠ ! 2! − !" ≠ * Ø$0.0%#  # = min ! − !"  Ø#  ! − !" % ! # ∩ ! − !" = *3! ! # ⊂ !" Ø1", # ∈ !" 2# = min ! − !" ∈ ! − !" *) 11 (-/ +& ",' 2$0.0
13. š%9 C2,7D- š,7DE1$A( ! !? *B " 
    ∀$ ∈ !   & < $  ! '! &   " /:  , C"  $   /:  4 C"  ! " !  /: š,7D<50? 0+8.;3=&C >@.;3) 12 #6>@.;3 >@.;3
14. š-356! "2 " 02
    # ∈ !, & ∈ ", & < # ⇒ & ∈ !' 4 $ ! = "  ∃+ ∈ ", ! = " + Ø! ≠ " 4" − ! ≠ .  ∃+ ∈ " − !, + = min " − ! Ø" + ⊂ ! .# ∀# ∈ " + , # < +  # ∉ " − !4 # ∈ ! Ø! ⊂ " + .# ∃# ∈ !, + ≤ # 4% + ∈ !4+ ∈ " − ! +*4 ∀# ∈ !, # < +   # ∈ " + 13 ( /1,& ()!-3
15. š) !, ", $ ∈ !   " ≤ $ ⇔ ! " ⊂ ! $ š  ): ! → {! " }.∈/ , ) " = ! "  ) *
     š", $ ∈ !, " < $    ! $ " = ! " 14 "%($! "& #'
16.  
    2.  
17. š38;>! ,6! " 24 7) (  "   # ' # ≤ !(#) +1 š38<>,6! * . - 7)"$ 
    š38=>,6!", "( 7)"$ 9 " * . " ) '  7)"$  "( )( %#9 )(  ) ' *0 & š&/<>,6!", "( 7)"$ 9 "  "(  7)"$*0 &: 16 ,6! 7)"$ ,6!  538 &/
18. +012! %. "
    *- /#"  "   # ! # ≤ !(#) $) Ø∃# ∈ ", !(#) < #  Ø+ = # # ∈ ", ! # < # ≠ .  min + = #2  Ø#2 ∈ +  !(#2 ) < #2 Ø! /#"  !(!(#2 )) < !(#2 ) ! #2 ∈ + Ø#2 = min + (' 17 %. /# +01 ,&
19. -356&1%) ( 2$ 
    Ø!  ! " 2$  # ! " Ø#  ! ,02$# .   Ø#(") ∈ ! "  #(") < " Ø-34 +* 18 &12$ -35/'
20. 7;>?/ 9!!, !# :+"$< ! .1 ! $ )  :+"$
     !# $# '#< $#  $ ) .2( Ø%  !  !# :+"$  Ø0 % ! $ = !# %($) Ø% (6% ! $ 4*<39! !# %($) & ! $  !# %($) :+"$, Ø$# = %($) 5 ! $ ≃ !# $# Ø.-7;=0 19 / 9!:+"$ 7;>80
21. #,.!'!, !# ( * !
     !# (  $ + Ø! ≃ !# *%, &  !
     !# ( Ø∀( ∈ !, ! ( ≃ !# % ( , ! ( ≃ !# & ( Ø%)-   % ( = &(()  % = & 20 !' ( #, &"
22.   
    2.   
23. š ! !, !#  2    3 
     1  1  1. ! ≃ !# 2. ∃&′ ∈ !#, ! ≃ !# &# 3. ∃& ∈ !, ! & ≃ !# 22   
24. š1 2(1 3 "
     #') š2, 3 (#') !, !#   š2, 3 "
     $ Ø∃!′ ∈ '#, ' ≃ '# !#  ∃! ∈ ', ' ! ≃ '#  Ø' ≃ '# !# #'* ∃)#∈ '# !# , ' ! ≃ '# !# )# = '# )# Ø' ! ≃ '# )# ' ! ≃ '# " #') ! 23 & % % 3   "
     $
25. š! = # # ∈ %, ∃#( ∈ %(, % # ≃ %( #( š!( = {#(|#( ∈ %(, ∃# ∈ %, % # ≃ %( #( } š(-/
    $
    .# ∈ ! ! #( "  š% #( ∈ !( ! # "  š! 
    ! !(   -  . -   24 #, &+' &+' 3   
    * )$
26. š! ∈ #, % ∈ &, % < ! ⇒ % ∈ # Ø! ∈ #, ) ! = !′  #  & ! ≃ &- !- Ø% < !  & % & !
     ! Ø &' ∃%/ - ∈ &-, & % ≃ &- !- %/ - = &- %/ - Ø#  % ∈ # š   !- = ) ! , %- = ) %  %′ < !′ Ø)  ) % = %- = %/ - Ø& % ≃ &- !- %/ - = &- %/ -  %/ - = %- < !- 25 % $ $ 3   # "
27. š! ∈ #, % ∈ &, % < ! ⇒ % ∈ # š  # !) = + ! , %) = + %  %′ < !′ š % ) a. & ./ # *12 $' b. !, % ∈ #; % < !  +(%) < +(!) š b  + 0  š a  # = &  ∃1 ∈ &, # = & 1 26 !/ &-( &-( 3   
    , +"
28. š" ! = #  ∃% ∈ #, ! = # % . š$+ !( = #(  ∃%( ∈ #(, !( = #( %( š7)  !  !( 4($% 
      ,2'- 3 &#0*  š! = #, !( = #( &#8# ≃ #( 51 &#6 š! = #, !( = #( %( &#8 # ≃ #( %( 52 &#6 š! = # % , !( = #( &#8 # % ≃ #( 53 &#6 27 )!3#,2'- ,2'- 3 &# 1 /*
29. š! = # $ , !& = #& $& &#
    Ø! = # $ , !& = #& $&    Ø# $ ≃ #& $&  ! ! $ ∈ ! Ø! = # $  28 % $ $ 3   # "
30. Zorn  Statement 
    3. Zorn   29
31. š#" ! %  # " !  ! %
      30 Zorn $ #"
32. š  
       31 Zorn  Zorn