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
continuity
Search
poyo
May 27, 2017
Education
0
170
continuity
poyo
May 27, 2017
Tweet
Share
More Decks by poyo
See All by poyo
Extended Euclidean algorithm
poyo
0
170
Chinese Remainder Theorem
poyo
0
140
CoordinateTransformation
poyo
0
140
n^k/a^n
poyo
0
190
ABC 041 D 徒競走
poyo
0
370
ARC 050 B 花束
poyo
0
550
Other Decks in Education
See All in Education
Data Management and Analytics Specialisation
signer
PRO
0
990
6ヶ月間の授業でここまでできた。コンテスト参加に向けての授業内容と生徒の様子を紹介!
asial_corp
0
410
前期教育実習事前指導0221
naradai
0
130
論文の読み方 / How to survey
kaityo256
PRO
175
120k
Часто задаваемые вопросы
pnuslide
0
22k
Padlet opetuksessa
matleenalaakso
3
11k
Data Presentation - Lecture 5 - Information Visualisation (4019538FNR)
signer
PRO
0
1.8k
千葉県印西市立・原山小学校における新たな学び「情報探究の時間」実践報告』
codeforeveryone
1
710
Project Sprint 学生版(入門編)
copilot
PRO
0
180
人生の転機からチャンスを掴む「シュロスバーグの4Sモデル」/4s-models
yuko_yokouchi
2
720
Tangible, Embedded and Embodied Interaction - Lecture 9 - Next Generation User Interfaces (4018166FNR)
signer
PRO
0
1.2k
ISMSってどんなもの?
fbei_ot
0
170
Featured
See All Featured
Statistics for Hackers
jakevdp
789
220k
Automating Front-end Workflow
addyosmani
1356
200k
GraphQLとの向き合い方2022年版
quramy
32
12k
Happy Clients
brianwarren
92
6.4k
Faster Mobile Websites
deanohume
299
30k
Writing Fast Ruby
sferik
621
60k
"I'm Feeling Lucky" - Building Great Search Experiences for Today's Users (#IAC19)
danielanewman
221
21k
What's new in Ruby 2.0
geeforr
337
31k
Code Reviewing Like a Champion
maltzj
514
39k
Visualization
eitanlees
136
14k
Debugging Ruby Performance
tmm1
70
11k
Pencils Down: Stop Designing & Start Developing
hursman
117
11k
Transcript
ྻͷۃݶͱؔͷۃݶ May 27, 2017
f a ΛؚΉ͋Δ۠ؒͰఆٛ͞Ε͍ͯΔؔͱ͠·͢ɻ͜ͷͱ ͖ f ͕ a Ͱ࿈ଓͰ͋Δ͜ͱɺͭ·Γ lim
x→a f(x) = f(a) ͕ΓཱͭͨΊͷඞཁे݅ lim n→∞ xn = a ͱͳΔશͯͷྻ {xn } ʹରͯ͠ lim n→∞ f(xn) = f(a) Ͱ͋Δ͜ͱΛূ໌͠·͢ɻ
ඞཁੑ lim x→a f(x) = f(a) ͱ͠·͢ɻͭ·Γɺ ∀ε, ∃δ (|x
− a| < δ ⇒ | f(x) − f(a)| < ε) ͕Γཱͭͱ͠·͢ɻ·ͨɺxn → a ΑΓ ∀ε1 , ∃N (N < n ⇒ |xn − a| < ε1) ͕Γཱ͍ͬͯ·͢ɻε1 ҙͳͷͰɺಛʹ্ͷࣜͷ δ ʹରͯ͠ ε1 = δ ͱ͢Δͱ ∀ε, ∃δ, ∃N (N < n ⇒ |xn − a| < δ ⇒ | f(xn) − f(a)| < ε) ͕ΓཱͭͷͰඞཁੑ͕ݴ͑·ͨ͠ɻ1 1{xn } a ʹऩଋ͍ͯ͠ΕΑ͍͚ͩͳͷͰɺҙͰ͢ɻ
ेੑ ͍͠ͷͰରۮ lim x→a f(x) f(a) ͳΒ lim n→∞ xn
= a ͕ͩ lim n→∞ f(xn) f(a) ͳΔ {xn } ͕ଘࡏ͢Δ Λࣔ͠·͢ɻ
ेੑ f a Ͱ࿈ଓͰͳ͍ͷͰ ∃ε1 , ∀δ, ∃x (|x
− a| < δ, |f(x) − f(a)| ≥ ε1) ͕Γཱ͍ͬͯ·͢ɻδ ҙͳͷͰɺͨͱ͑ δ = 1, 1/2, . . . , 1/n, . . . ʹରͯͦ͠ΕͧΕଘࡏ͢Δ x Λॱʹ x1 , x2 , . . . , xn , . . . ͱͯ͠ {xn } ΛఆΊ·͢ɻ2 ͜ͷͱ͖ɺ lim n→∞ xn = a lim n→∞ f(xn) f(a) ͕Γཱͪ·͢ɻҎԼʹ͜ΕΛࣔ͠·͢ɻ 2ແݶݸબͿͷ͜Θ͍Ͱ͕͢ɺେৎͩͱ৴͡·͢ɻ
ेੑ ·ͣɺN Λ N > 1/ε ʹͱΕ ∀ε, ∃N (N
< n ⇒ |xn − a| < ε) ͕Γཱͪ·͢ɻ࣮ࡍɺ{xn } ͷఆٛʹΑͬͯશͯͷ n ʹରͯ͠ |xn − a| < 1/n ͳͷͰ |xn − a| < 1 n < 1 N < ε Ͱ͢ɻ࣍ʹɺε = ε1 ͱ͢Ε ∃ε, ∀N (N < n, |f(xn) − f(a)| ≥ ε) ͕Γཱͪ·͢ɻ͜Ε {xn } ͷఆ͔ٛΒ໌Β͔Ͱ͢ɻ