X-Nico

unusual facts about irrational number


Irrational number

Al-Hassār, a Moroccan mathematician from Fez specializing in Islamic inheritance jurisprudence during the 12th century, first mentions the use of a fractional bar, where numerators and denominators are separated by a horizontal bar.


Baire category theorem

Note that neither of these statements implies the other, since there are complete metric spaces which are not locally compact (the irrational numbers with the metric defined below; also, any Banach space of infinite dimension), and there are locally compact Hausdorff spaces which are not metrizable (for instance, any uncountable product of non-trivial compact Hausdorff spaces is such; also, several function spaces used in Functional Analysis; the uncountable Fort space).

Wilbur Knorr

It traces the early history of irrational numbers from their first discovery (in Thebes between 430 and 410 BC, Knorr speculates), through the work of Theodorus of Cyrene, who showed the irrationality of the square roots of the integers up to 17, and Theodorus' student Theaetetus, who showed that all non-square integers have irrational square roots.


see also