무리수의 집합: ℝ\ℚ ([[실수,real_number]]에서 [[유리수,rational_number]]를 제외한 것)

[[실수,real_number]]에서 [[유리수,rational_number]]를 제외한 모든 수는 '''무리수'''.
i.e. 유리수와 '''무리수'''는 실수를 이룸.

Ex.
 [[원주율,pi]] π=3.141592…,
 [[자연로그의_밑,e]] e=2.718281828459…,
 √2=1.414213…, (무리수임의 증명이 [[귀류법,proof_by_contradiction]]에 있음)
 [[황금비,golden_ratio]] φ=1.618…
 등등...

대부분의 '''무리수'''는 [[초월수,transcendental_number]].
 TBW: [[초월수,transcendental_number]]와의 관계

[[정수,integer]]의 [[비,ratio]]로 나타낼 수 없다.

실수의 완비성(completeness of real numbers)과 깊은 관계, TBW.

See also:
[[연분수,continued_fraction]]
 저기에 '2차 무리수(quadratic irrational number)'라는 거 적어 놨음
[[무리함수,irrational_function]] curr goto [[함수,function#s-9.1]]

Twins:
https://en.citizendium.org/wiki/Irrational_number

----
Up: [[수의_집합]]