<?xml version="1.0" encoding="UTF-8"?>

<record version="7" id="661">
 <title>irrational</title>
 <name>Irrational</name>
 <created>2001-11-04 06:49:22</created>
 <modified>2008-11-09 18:00:02</modified>
 <type>Definition</type>
 <creator id="2760" name="yark"/>
 <author id="2760" name="yark"/>
 <author id="1858" name="matte"/>
 <author id="2" name="akrowne"/>
 <classification>
	<category scheme="msc" code="11J72"/>
	<category scheme="msc" code="11J82"/>
 </classification>
 <synonyms>
	<synonym concept="irrational" alias="irrational number"/>
 </synonyms>
 <related>
	<object name="TranscedentalNumber"/>
	<object name="AlgebraicNumber"/>
	<object name="Integer"/>
	<object name="LindemannWeierstrassTheorem"/>
	<object name="GelfondsTheorem"/>
	<object name="ProofThatTheRationalsAreCountable"/>
 </related>
 <preamble>\usepackage{amssymb}
\usepackage{amsmath}
\usepackage{amsfonts}
</preamble>
 <content>An \emph{irrational number} is a real number which cannot be represented as a ratio of two integers.  That is, if $x$ is irrational, then 

$$ x \ne \frac{a}{b} $$

with $a,b \in \mathbb{Z}$ and $b \ne 0$.

\subsubsection*{Examples}
\begin{enumerate}
\item $\sqrt[p]{2}$ is irrational for $p=2,3,\ldots$,
\item $\pi, e$, and $\sqrt[p]{2}$ for $p=2,3,\ldots$,
       are irrational,
\item It is not known whether Euler's constant is rational or irrational.
\end{enumerate}

\subsubsection*{Properties}
\begin{enumerate}
\item It $a$ is a real number and $a^n$ is irrational for some $n=2,3,\ldots$, 
then $a$ is irrational (\PMlinkname{proof}{IfAnIsIrrationalThenAIsIrrational}). 
\item The sum, difference, product, and quotient (when defined) of two numbers,
one rational and another irrational, is irrational. 
(\PMlinkname{proof}{RationalAndIrrational}). 
\end{enumerate}</content>
</record>
