\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{extended real number}

\hypertarget{extended_real_numbers}{}\section*{{Extended real numbers}}\label{extended_real_numbers}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{definitions}{Definitions}\dotfill \pageref*{definitions} \linebreak
\noindent\hyperlink{as_extended_dedekind_cuts}{As extended Dedekind cuts}\dotfill \pageref*{as_extended_dedekind_cuts} \linebreak
\noindent\hyperlink{as_ratios_of_real_numbers}{As ratios of real numbers}\dotfill \pageref*{as_ratios_of_real_numbers} \linebreak
\noindent\hyperlink{orders}{Orders}\dotfill \pageref*{orders} \linebreak
\noindent\hyperlink{arithmetic}{Arithmetic}\dotfill \pageref*{arithmetic} \linebreak
\noindent\hyperlink{constructive_aspects}{Constructive aspects}\dotfill \pageref*{constructive_aspects} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

An extended real number is usually a [[real number]], but it might be $\pm\infty$. We can also think of an extended real number as a number of the form $\log(1/t - 1)$ for $t \in [0,1]$ (including $t = 0,1$) or a number of the form $\tan t$ for $t$ a real number (including an odd multiple of $\pi/2$).

There are actually two slightly different notions that both go by the name `extended real number': one in which $\infty$ and $-\infty$ are distinct (the [[logarithm]]), and one in which they are identified (the [[tangent]]). The latter kind forms a [[quotient set|quotient space]] of the former.

\hypertarget{definitions}{}\subsection*{{Definitions}}\label{definitions}

Classically, one simply defines an extended real number to be either a real number, $\infty$, or (for the version in which these are distinguished) $-\infty$. However, one has to take more care for a definition that works in [[constructive mathematics]]. Such a definition may also be interesting to a classical mathematician for its own sake, of course.

\hypertarget{as_extended_dedekind_cuts}{}\subsubsection*{{As extended Dedekind cuts}}\label{as_extended_dedekind_cuts}

One way to define extended real numbers is to adjust the notion of [[Dedekind cut]]. This naturally defines the sort of extended real number in which $\infty \ne -\infty$.

So let an \textbf{extended Dedekind cut} be a pair $(L,U)$ of sets of [[rational numbers]] such that:

\begin{itemize}%
\item For each $a \in L$, there is some $b \in L$ such that $a \lt b$.
\item For each $b \in U$, there is some $a \in U$ such that $a \lt b$.
\item Whenever $a \lt b$ are rational numbers, either $a \in L$ or $b \in U$ (non-exclusively).
\item If $a \in L$ and $b \in U$, then $a \lt b$.

\end{itemize}
(The usual slight variations available in the notion of Dedekind cut apply here as well, in the same ways.)

If $L$ is empty, then $U$ must be the set of all rational numbers; this extended cut represents $-\infty$. If $U$ is empty, then $L$ must be the set of all rational numbers; this extended cut represents $\infty$. An extended Dedekind cut is \textbf{bounded} if instead $L$ and $U$ are both [[inhabited set|inhabited]]. The bounded cuts are the usual Dedekind cuts that represent real numbers. So the only change is that we no longer require this boundedness condition.

The space of extended real numbers in this sense is often denoted $\overline{\mathbb{R}}$. As a [[topological space]] (or [[locale]], constructively), it is the [[end compactification]] of the [[locally compact space]] $\mathbb{R}$. Geometrically, this is a [[line segment]], the \textbf{extended real number line segment}.

\hypertarget{as_ratios_of_real_numbers}{}\subsubsection*{{As ratios of real numbers}}\label{as_ratios_of_real_numbers}

Another way to define extended real numbers is to represent them as ratios of real numbers. This naturally defines the sort of extended real number in which $\infty = -\infty$.

So let a \textbf{nontrivial ratio} of real numbers be a pair $(a,b)$ of real numbers such that either $a \ne 0$ or $b \ne 0$. (By $\ne$ we mean the usual [[apartness relation]] on real numbers.) We write the ratio as $a &#8758; b$, and we consider $a &#8758; b$ and $c &#8758; d$ to be \textbf{equivalent}, written $a &#8758; b &#8759; c &#8758; d$, if $a d = b c$. This is an [[equivalence relation]] on nontrivial ratios; modulo this equivalence relation, the nontrivial ratios represent extended real numbers.

If $b \ne 0$, then the nontrivial ratio $a &#8758; b$ is equivalent to $a/b &#8758; 1$ and represents the real number $a/b$. The nontrivial ratios $a &#8758; 0$ for $a \ne 0$ are all equivalent and represent $\infty$. (The ratio $0 &#8758; 0$ is considered trivial and does not represent any extended real number.)

This is a special case of forming the [[projective line]] of a [[field]], in this case the field of real numbers. Accordingly, the space of extended real numbers in this sense is often denoted $\mathbb{P}\mathbb{R}^1$. As a [[topological space]] (or [[locale]], constructively), it is the [[one-point compactification]] of the [[locally compact space]] $\mathbb{R}$. Geometrically, this is a [[circle]], the \textbf{extended real number circle}.

\hypertarget{orders}{}\subsection*{{Orders}}\label{orders}

We can put a [[linear order]] on $\overline{\mathbb{R}}$ by setting $-\infty \lt x \lt \infty$ for any real number $x$. In terms of Dedekind cuts, this is the straightforward extension of the usual definition of $\lt$ on such cuts.

We can put a [[cyclic order]] $R$ on $\mathbb{P}\mathbb{R}^1$ by setting $R(x,y,z)$ true if any of the following hold:

\begin{itemize}%
\item $x \lt y \lt z$ are all real numbers,
\item $y \lt z \lt x$ are all real numbers,
\item $z \lt x \lt y$ are all real numbers,
\item $y \lt z$ are real numbers and $x = \infty$,
\item $z \lt x$ are real numbers and $y = \infty$,
\item $x \lt y$ are real numbers and $z = \infty$.

\end{itemize}
(These orders can be defined constructively too.)

\hypertarget{arithmetic}{}\subsection*{{Arithmetic}}\label{arithmetic}

In $\overline{\mathbb{R}}$, we take $x + \infty$, $\infty + x$, and $\infty + \infty$ to be $\infty$ (for $x$ a real number) and similarly $x - \infty$, $-\infty + x$, and $-\infty - \infty$ to be $-\infty$. Of course, $\infty$ and $-\infty$ are opposites (additive inverses). These are all straightforward extensions of the usual definition of addition for Dedekind cuts. However, when we try $\infty - \infty$ or $-\infty + \infty$, the Dedekind cut calculation gives us $(\empty,\empty)$, which is not a cut, even extended. (Although some sources define these sums, it is most common to leave them undefined, I think.)

In $\mathbb{P}\mathbb{R}^1$, we similarly take $x + \infty$ and $\infty + x$ to be $\infty$ (for $x$ a real number). Now $\infty$ is its own opposite. These all agree with the additive rule $(a &#8758; b) + (c &#8758; d) = (a d + b c &#8758; b d)$. If we apply this to $\infty + \infty$, however, the result is $0 &#8758; 0$, so again we take that to be undefined. (However, in this case, the definition $\infty + \infty = \infty$ is also widely seen, I think.)

Note that although we have blithely referred to `additive inverses', addition does not form a [[group]] in either case. The reason is that the opposites of $\pm\infty$ are not really additive inverses, since the result of the relevant addition is undefined rather than zero. (If you define the sum to be zero so that they become inverses, then you lose associativity; ultimately, there is no way to make a group, since $0 + \infty = 1 + \infty$ shows that the operation is not cancellative.)

In $\overline{\mathbb{R}}$, we take $x \cdot {\pm \infty}$ to be $\pm \infty$ when $x \gt 0$ but $x \cdot {\pm \infty} = \mp \infty$ for $x \lt 0$. (This continues to work even if $x$ is infinite too.) But now $0 \cdot {\pm \infty}$ is undefined. (Many sources define this to be zero, although I think this is really because they are using $0 \cdot \infty = 0$ in the nonnegative [[lower reals]], at least in applications to [[measure theory]].)

In $\mathbb{P}\mathbb{R}^1$, we take $x \cdot \infty$ to be $\infty$ as long as $x \ne 0$; but $0 \cdot \infty$ is undefined. We may write $1/\infty = 0$ and $1/0 = \infty$ to define division, but again these are not really multiplicative inverses. (With $0 \cdot 1 = 0 \cdot 2$ and $\infty \cdot 1 = \infty \cdot 2$, multiplication is not cancellative either.)

\hypertarget{constructive_aspects}{}\subsection*{{Constructive aspects}}\label{constructive_aspects}

The definitions as phrased above give us \emph{[[located real number|located]]} extended real numbers. We can of course consider unlocated extended real numbers, either [[one-sided real number|one-sided]] or [[MacNeille real number|MacNeille]]. The natural definitions of these are at least somewhat extended; the lower one-sided reals include $\infty$, the upper one-sided reals include $-\infty$, and the MacNeille reals include both (with $\infty \ne -\infty$). However, one can always restrict to bounded numbers or alternatively fully extend the one-sided numbers, so being extended and being located are technically independent. Still, whenever $\pm\infty$ shows up constructively (especially if only one of them appears), then this is a sign that one may want to generalise to one-sided (or even MacNeille) reals.

This has implications for arithmetic; for example, while $0 \cdot \infty$ is undefined in the extended located real numbers (and in the MacNeille real numbers), it is $0$ in the nonnegative lower real numbers (and $\infty$ in the extended nonnegative upper real numbers).

[[!redirects extended real]] [[!redirects extended reals]] [[!redirects extended real number]] [[!redirects extended real numbers]]

[[!redirects extended real line]] [[!redirects extended real number line]] [[!redirects extended real line segment]] [[!redirects extended real number line segment]] [[!redirects extended real circle]] [[!redirects extended real number circle]]



\end{document}