[일반] 이게 왜 성립하는거임?

[ScARfaC..(kayuaao)]

I_k 가 왜 U*의 부분집합인거임?

[겨울_(silhouet72)]

r이 diam(I_k)보다 커서

[ScARfaCE(kayuaao)]

diamA <= diamB 이면 AㄷB 를 어떻게 증명함?

[겨울_(silhouet72)]

그 명제 자체는 거짓인데.. R^2에서 선분 두 개 생각하면 반례지.

[ScARfaCE(kayuaao)]

그럼 diamIk<r 이라서 저렇게 된다는건 이상하지않나

[겨울_(silhouet72)]

y가 I_k에 있다고 하면 x랑 y는 기껏해야 diam(I_k)만큼 떨어져 있으니 y가 x를 중심으로 반지름 r인 open ball에 들어감. 그래서 U*에도 들어가고

[겨울_(silhouet72)]

x가 아니라 x*

[ScARfaCE(kayuaao)]

대충 정리하면 y in I_k에 대해 |x*-y|<r이라고 할수있고 이는 수직선상에서의 open ball과 같고 이는 U*에 포함되니까 y는 U*의 원소가되어 저게 성립한단거지?

[겨울_(silhouet72)]

그렇지

[ScARfaCE(kayuaao)]

(지금부터 완장 찬양을 시작하겠습니다 콘)