Monthly Archives: Dezember 2017

张靓颖 – 我是我的

张靓颖 《我是我的》 Jane Zhang(Zhāng Liàngyǐng) 《wǒ shì wǒ de》 장량잉 《난 내 거야》 Translated into Korean by Sooji Shin. 天 蓝得舒服 我忍不住 / 想飞到云朵上看书 tiān lán dé shū fú wǒ rěn bù zhù / xiǎng fēi dào yún duǒ shàng kàn shū 하늘이 무척이나 맑고 상쾌해 / 책 한 권 품에 안고 구름 위로 날아오르고 싶은 기분 风… Read More »

집합론의 선택 공리

선택 공리는 Zermelo-Fraenkel 집합론의 공리 중에서 가장 논란이 많았던 공리이다. 공리적 집합론이 발달하기 시작한 20세기 초에는 선택 공리를 다른 공리로부터 증명하기 위하여 많은 수학자들이 노력하였으나, 이후 선택 공리는 ZF와는 독립적임이 밝혀졌다. 오늘날 선택 공리는 수학의 여러 분야에서 필수적인 것으로 받아들여지고 있다. 이 포스팅에서는 선택 공리와 동치인 정렬 원리와 Zorn의 보조 정리를 살펴본다. 먼저 선택 공리는 다음과 같은 공리이다.… Read More »

집합론의 ZFC 공리

집합에 관한 모든 문장은 원소 관계를 이용하여 나타낼 수 있다. 그러므로 집합론의 공리에서 사용되는 일계논리언어는 하나의 이항관계를 가진다. 일계논리언어를 이용하여 집합론의 공리를 논할 때 관계기호 \(R\)에 대하여 \((x,\,y) \in R\)로 나타내는 대신 \(x\in y\)로 나타내자. 집합론의 Zermelo-Fraenkel 공리는 다음과 같은 열 개의 공리로 이루어져 있다. 확장 공리 (Extension Axiom) 두 집합이 동일한 원소를 가지고 있으면 두 집합은 서로… Read More »