ΥڡϤƤʥ֥åޡɲΥڡޤϤƤʥ֥åޡ Υڡlivedoor åפɲΥڡޤlivedoor å

ܼ

  • Τϡľ˥ݥĥݥĤΥƤ뤬§ֳ֤¤Ǥ롣
  • ˴ؤȤλĤħ褫ŪǼˡͭǤ礬롣

{1,2,}ϿľΥŪ¤Ǥ뤬μ椫Ǥդͭ¸Ĥޤ̵¸ĤθǽAȡAˤɬǾm¸ߤ롣

[]
ΡǤʤǤդνAˤϺǾ¸ߤ롣

ϼν礬ħǤ롣ͭνQνZ¿νRˤϤΤ褦ħäƤʤ

[]A={x|xR0x1}Ȥ硢Aϳ(0,1)Ȱפ롣(0,1)ϲ01ĤǾϻʤʤʤСɤΤ褦ʾäƤ⡢ꤵ˾¸ߤ뤫Ǥ롣

ˤäݾڤΤ

  • Ǿܿ
    • 2Ĥμa,b˶̤ܿǡǺǾͤa,bκǾܿȤκǾܿ¸ߤϡˤäݾڤ롣
  • Ǿ¿༰
    • ʣǿ򺬤Ȥ¿༰f(x)ǡǹ⼡η1δ¿༰ǡǾΤΤκǾ¿༰Ȥ¿༰ϡˤäݾڤ롣

ȿŪǼˡθδط

μŪǼˡθƱͤǤ롣

[]οŪǼˡθ

[]

[1]򼨤

NζǤʤʬA()Ϳ줿ȤA˺Ǿ¸ߤ뤳Ȥ򼨤

ǡaAФơS:={x|xaxN}ʤAβǤˤȤ롣

ޤ餫1SǤ롣

ޤmNФơmAǤϤ뤬m+1~\not{\in}~SǤ롣
ʤʤС⤷٤ƤμkФơkAʤСk+1SפǤȤСŪǼˡθS=NȤʤꡢAǤϤʤȤ̷⤹롣

äơmAǤ롣
ʤʤС⤷ǤʤȤС٤ƤaAФơmaǤ롣¨m+1aȤʤꡢm+1SȤʤäơm+1~\not{\in}~S̷⤹뤫Ǥ롣

ơ٤ƤaAФơmaȤʤꡢmAκǾȤʤ롣

äơAϺǾޤࡣ

[2]ͤ򼨤

ŪǼˡξ(1)(2)νSͿ줿ȤΩĤȲꤷơS=NȤʤ뤳Ȥ򼨤

NˤS佸AȤ롣

⤷AǤʤʤСꡢAϺǾmޤǤ롣

1Sꡢm1Ǥ롣

ȡm-1SȤʤꡢǼˡξꡢmSȤʤ롣
mA̷⤹롣

äơS=NǤʤФʤʤ

ʸ

  • ɤdzڤء