# Introductory Real Analysis

*Introductory Real Analysis* is a translation, and revision, by Richard A.
Silverman of the second edition of Элементы теории функций и функционального
анализа (Elements of the Theory of Functions and Functional Analysis), written
by Андрей Николаевич Колмогоров (Andrey Nikolaevich Kolmogorov) and Сергей
Васильевич Фомни (Sergei Vasilyevich Fomin).

The original Russian ran to a total of four editions. Based off of a cursory
glance, Silverman’s translation is more fluent (and up to date) than the overly
literal translation by Leo F. Boron of the first edition called *Elements of
the Theory of the Theory of Functions and Functional Analysis*. However,
Silverman appears to have introduced several mathematical errors.

## Errata

As no official errata page is available (though a collection uploaded by Charlie Hoang is available here), I will collate errors Jeffrey Kwan and I come across below:

Page 11: \(\dfrac{0}{1} = 0\) has a rational number height of \(1\), not \(0\).

Page 17:

*On the other hand…*should discuss if \(x \in X\), then \(x \notin X\), instead of repeating the same scenario twice.Page 23: Definition 1. \(\mu\) such that \(\mu \leq a\) not \(\mu < a\).

Page 27:

*It follows from the well-ordering theorem and*Theorem 4, not Theorem 5.Page 28, 29: There are two Theorem 4s. The second Theorem 4 (mathematical induction) should be Theorem 5, and accordingly the transfinite induction theorem should be renamed Theorem 5’.

Page 29:

*Suppose \(P(a)\) fails to be true*for, not tor.Page 30: Problem 4.

*By a lattice is meant a partially ordered set*which*has both a greatest*…Page 64: \(\leq \epsilon\) should be \(< \epsilon\).

Page 65: Definition 2. A sequence, not a subsequence.

## On the display of mathematical symbols

Typically websites call upon MathJax to wrangle \(\LaTeX\) incantations into a
more standard and readable form. MathML is a JavaScript-free alternative.
However, until I am able to figure out how to export org-mode to HTML using
`latexmlc`

or `latex2mathml`

without causing Emacs to stutter, I apologise for
the use of JavaScript on an otherwise script-free site.

## Sketched notes

My notes are simply for the purposes of jogging my memory. CoveredInChocolate has more substantial notes here. Nalin Pithwa also has notes here, although Jeffrey has spotted some errors in a couple of Pithwa’s solutions.

My solutions for problems may simply be sketched out too, especially in cases where the \(\LaTeX\) is particularly cumbersome. Any corrections, or clarification of open ends, would be greatly welcomed.

Set theory

Metric Spaces

*In progress.*