
An easily verifiable proof of the Brouwer fixed point theorem
: ๋ณธ ๋ ผ๋ฌธ์ ๋ธ๋ฃจ์ด ๊ณ ์ ์ ์ ๋ฆฌ๋ฅผ ๋ค๋ฃจ๋ฉฐ, ์ด ์ ๋ฆฌ๋ ์ํ์ ์ฌ๋ฌ ๋ถ์ผ์์ ์ค์ํ ์ญํ ์ ํ๋๋ฐ๋ ๋ถ๊ตฌํ๊ณ ๊ทธ ์ฆ๋ช ์ด ์๋์ ์ผ๋ก ์ด๋ ต๋ค๋ ์ ์ ์ฃผ๋ชฉํ๊ณ ์๋ค. ์ด๋ฌํ ๋ฐฐ๊ฒฝ ์๋ ๋ณธ ๋ ผ๋ฌธ์์๋ ๋ณต์กํ ์ฆ๋ช ๋์ ๊ฐ๋จํ๋ฉด์๋ ๋ช ํํ ์ฆ๋ช ๋ฐฉ๋ฒ์ ์ ์ํ๋ค. ๋ ผ๋ฌธ์ ํต์ฌ์ ๋ธ๋ฃจ์ด ๊ณ ์ ์ ์ ๋ฆฌ์ Sperner ์ ๋ฆฌ ์ฌ์ด์ ๊ด๊ณ๋ฅผ ํ์ํ๋ ๊ฒ์ด๋ค. Sperner ์ ๋ฆฌ๋ ๊ทธ๋ํฝ์ค๋ ๊ฒฝ์ ํ ๋ฑ ๋ค์ํ ๋ถ์ผ์์ ํ์ฉ๋๋ฉฐ, ์ด๋ ๋ธ๋ฃจ์ด ๊ณ ์ ์ ์ ๋ฆฌ์ ์ ์ฌํ ์ฑ์ง์ ๊ฐ์ง๊ณ ์๋ค. ๋ณธ ๋ ผ๋ฌธ์์๋ ์ด๋ฌํ ๋ ์ ๋ฆฌ ๊ฐ์ ์ฐ๊ฒฐ์ฑ์ ํตํด ์๋ก์ด ์ฆ๋ช ๋ฐฉ๋ฒ์