[일반] Definition property theorem은 알겠는데 fact는

[737374(118.42)]

뭐임 수학에서?

공리? 조건의 가정? 뭘 말하는거?

[lp(yyi050324)]

잘 알려진 정린데 여기서 증명하긴 싫으니 증명없이 갖다쓸때 주로 fact라고 하지 않나

[737374(118.42)]

유투브서 본 수학과교수가 수학문제 풀때 구조 설명하면서 definition에서 좀만 생가하면 나오는 간단하게 파생된게 fact property라는데 성질은 뭐 함수의 극한성질 이렇게 해서 익숙한데 fact가 뭐지

[TQFT(lemonkx)]

1. 밑에 있는 정리 증명할 때 쓸건데 이걸 증명하는 것이 우리의 주 목적은 아니니 FACT로 받아들이고 쓴다

[TQFT(lemonkx)]

2. 사실 우리가 방금 증명한 명제보다 조금 더 강한 명제가 참임이 알려져 있는데 이것은 우리가 다루는 scope를 넘어가니 FACT로 명시만 해둔다

[TQFT(lemonkx)]

3. It is easy to see that..., Exercise, Homework 등의 파생형

[TQFT(lemonkx)]

내 경험 상 보통 1과 2로 많이 쓰고 3은 가끔 씀

[크랑랑크앙랑(skybluepian)]

아니면 이전에 증명한 성질 중에 간단하게 증명 가능한 거이거나 핵심적인 정리라서 계속 빈번히 쓰는 그런 거 - dc App