[일반] 엡델 헷갈리는데

[기미리(djewflws1978)]

엡델 대우명제 어텋게 써먹음?

[익명(203.229)]

엡델 대우명제가 머임. 명제 p->q에 대해 ~q->~p가 대우명제임 엡델은 ∀ε∃δ[p(δ)->q(ε)] 꼴임

[기미리(djewflws1978)]

아 그런가??? 아 그 뭐야 극한 없는거보일때

[기미리(djewflws1978)]

ㅈㅅ 술마셔서 이상게 썼나봐

[익명(203.229)]

정확히는 ∃L∀ε∃δ∀x[p(x,δ)->q(x,L,ε)] 이네

[익명(203.229)]

극한 엡델 부정하면 임의의 실수 L에 대해, 어떤 양수 ε이 존재해서, 임의의 양수δ에 대해 0<|x-a|<δ 이고 |f(x)-L|≥ε인 정의역의 원소 x가 존재한다임.