Esto depende de la convención. Como usted dice, si el irrationals se definen como $\,\Bbb R\setminus \Bbb Q\,$ $\,i\,$ no es ni irracional ni racional. Sin embargo, muchos autores utilizan "irracional" para decir "no racional", es decir, $\,\not\in \Bbb Q,\,$ por lo tanto $\,i\,$ es irracional. Esto es bastante común el uso en la universidad a nivel de álgebra.
Por ejemplo, en mi 2006/3/8 de la lesión.matemáticas post , comenté que si uno busca books.google.com para "irracional algebraico" uno encuentra que dicho uso por muchos eminentes matemáticos: por ejemplo, John Conway, Gelfond, Manin, Ribenboim, Shafarevich, Waldschmidt (esp. en diophantine aproximación, por ejemplo, Thue-Siegel-teorema de Roth, Gelfond-Schneider teorema, etc). Ver también otros puestos en los que el sci.matemáticas hilo titulado "Es $\,i\,$ irracional"?
Nuestra curiosidad, me encontré con otra búsqueda de Libros de Google de búsqueda en real "irracional" de los números. Los autores utilizando la terminología presumiblemente emplear la definición más general de los números irracionales. Entre tales autores encontré el siguiente eminentes matemáticos: Bombieri, Davenport, Dedekind, Euler, Hurwitz, Kronecker, Kirilov, Mahler, Lang, Ostrowski, Ribenboim, Weil.
Sin embargo, no es fácil encontrar una definición explícita desde el más alto nivel de libros de texto asume que el lector ya conoce la terminología básica. Yo vagamente recordar que Gerry Myerson una vez publicado en el sci.matemáticas de enlaces a las definiciones que hacen es, sin duda, claro que el autor emplea la definición más general de "irracional". Tal vez alguien puede cavar esas, o localizar a otras personas.
En cualquier caso, es una cuestión de definición. En la mayoría de los casos uno rápidamente puede inferir la intención de denotación del contexto, por lo que hay poca probabilidad de confusión.