\( \newcommand{\matr}[1] {\mathbf{#1}} \newcommand{\vertbar} {\rule[-1ex]{0.5pt}{2.5ex}} \newcommand{\horzbar} {\rule[.5ex]{2.5ex}{0.5pt}} \)
deepdream of
          a sidewalk
Show Question
\( \newcommand{\cat}[1] {\mathrm{#1}} \newcommand{\catobj}[1] {\operatorname{Obj}(\mathrm{#1})} \newcommand{\cathom}[1] {\operatorname{Hom}_{\cat{#1}}} \newcommand{\multiBetaReduction}[0] {\twoheadrightarrow_{\beta}} \newcommand{\betaReduction}[0] {\rightarrow_{\beta}} \newcommand{\betaEq}[0] {=_{\beta}} \newcommand{\string}[1] {\texttt{"}\mathtt{#1}\texttt{"}} \newcommand{\symbolq}[1] {\texttt{`}\mathtt{#1}\texttt{'}} \)
Math and science::Analysis::Tao::10: Differentiation of functions

Differentiability on a domain

Let \( X \) be a subset of \( \mathbb{R} \) and let \( f : X \to \mathbb{R} \) be a function. We say that \( f \) is differentiable on \( X \) iff for every limit point \( x_0 \in X \), \( f \) is differentiable at \( x_0 \) on \( X \).

Tao describes this as an if rather than iff statement.

I think this definition is allowing isolated points to be ignored. Note how the limit point is also an element, so we are also excluding points that are limit points but not in the \( X \).