[일반] 선대질문

[익명(106.101)]

모든 벡터공간은 기저를 가진다 증명에 필요한 개념 설명해주는 파트임 근데 집합론 공부했었는데 이거 존스레마 아님? 물론 둘다 선택공리와 동치기는 하지만 임의의 사슬이 상계를 가지면 극대원소가 있다 이거 존스레마 아니냐

[익명(112.152)]

Zorns lemma 맞음

[Repub(joint7983)]

뭐 초른의 보조정리에서 부분순서를 ⊆라고 생각하면 똑같은 말인듯 ㅇㅇ

[수갤러 1(203.249)]

풋노트에 조른렘마인거 써있을텐데

[Affine(algebra500)]

맞음. 임의의 벡터공간이 기저가짐은 선택공리랑 동치니까 존스렘마가 쓰이는게 이상한 일이 아니긴 하지

[MetaFibonacci(equivalence)]