Skip to content

Commit

Permalink
Very minor polish
Browse files Browse the repository at this point in the history
  • Loading branch information
jirilebl committed Sep 23, 2018
1 parent 59b1eb9 commit 38d7a5f
Show file tree
Hide file tree
Showing 2 changed files with 10 additions and 7 deletions.
8 changes: 5 additions & 3 deletions ch-approximate.tex
Original file line number Diff line number Diff line change
Expand Up @@ -762,7 +762,9 @@ \subsection{Differentiation}

\begin{example}
Let us construct a continuous nowhere differentiable function.
Such functions are often called Weierstrass functions, although this
Such functions are often called
\emph{Weierstrass functions}\index{Weierstrass function},
although this
particular one is a different example than what Weierstrass gave.

Define
Expand Down Expand Up @@ -2415,7 +2417,7 @@ \section{Equicontinuity and the Arzel{\`a}--Ascoli theorem}

\begin{example}
The sequence $f_n(x) := x^n$ of functions on $[0,1]$
is uniformly bounded, but contains no sequence that converges
is uniformly bounded, but contains no subsequence that converges
uniformly,
although the sequence converges pointwise to a discontinuous function.
\end{example}
Expand Down Expand Up @@ -2504,7 +2506,7 @@ \section{Equicontinuity and the Arzel{\`a}--Ascoli theorem}
is uniformly equicontinuous. The definition is really interesting
if $S$ is infinite.

And just as for continuity, one can define equicontinuity at a point.
Just as for continuity, one can define equicontinuity at a point.
That is, $S$ is \emph{\myindex{equicontinuous}} at $x \in X$
if for every $\epsilon > 0$, there is a $\delta > 0$
such that if $y \in X$ with $d(x,y) < \delta$ we have
Expand Down
9 changes: 5 additions & 4 deletions ch-several-vars-ders.tex
Original file line number Diff line number Diff line change
Expand Up @@ -215,11 +215,12 @@ \subsection{Vector spaces}
$S$ is closed under scalar multiplication, multiplying a vector in
$S$ by a scalar gets us a vector in $S$.
\end{enumerate}
2) and 3)
Items 2) and 3)
make sure that the addition and scalar multiplication are in fact defined on
$S$. 1) is required
to fullfill \ref{vecspacedefn:addidentity}. Existence
of additive inverse $-v$ follows because $-v = (-1)v$ and 3) says that
$S$. Item 1) is required
to fullfill item \ref{vecspacedefn:addidentity} from the deifnition of vector
space. Existence
of additive inverse $-v$ follows because $-v = (-1)v$ and item 3) says that
$-v \in S$ if $v \in S$. All other properties are certain equalities
which are already satisfied in $X$ and thus must be satisfied in a subset.
\end{remark}
Expand Down

0 comments on commit 38d7a5f

Please sign in to comment.