[일반] 질문좀( connect <-> pathwise connect)

[ExHenta..(nsa15464)]

(a)는 pathewise -> connected  증명하는 과정임.

문제는 t*를 사진에서처럼 잡았는데 나는 약간 더 간단하게 잡고 싶음.

내가 쓴 부분처럼 잡으면 안됨? 문제가 생기나?

[Rafle(probaroque)]

본문은 패스가 처음으로 첫번째 집합을 탈출할 때를 보는건데 너처럼 하면 나중에 두번째 집합 갔다가 다시 첫번째 집합으로 돌아오는 경우도 생각하게 되는거 같다. 문제 푸는데 큰 상관이 있나 싶기도 한데 그런 차이가 있음. 이거 스타인 1챕터던가?

[익명(118.235)]

오메가1에서 벗어난 다음 다시 들어간 경우 생각해보먄 될듯

[귀여운아기토끼(thecoqproofassistant)]

[익명(223.62)]

네가 잡은 t*가 문제에서 잡은 t*에서 Omega1 Omega2만 서로 바꾼 수준이라 비슷한 논리로 갈 수 있을걸